> весь ABI (т.е. как передавать аргументы в функцию и как она возвращает) построен не на стеке, а на регистрах.

верю! как сейчас

$ objdump -d /some/bare
...
  404e21:       bf 19 68 40 00          mov    $0x406819,%edi
  404e26:       31 c0                   xor    %eax,%eax
  404e28:       5b                      pop    %rbx
  404e29:       41 5c                   pop    %r12
  404e2b:       41 5e                   pop    %r14
  404e2d:       41 5f                   pop    %r15
  404e2f:       5d                      pop    %rbp
  404e30:       e9 07 d0 ff ff          jmpq   401e3c <xo_emit@plt>
  404e35:       bf 58 69 40 00          mov    $0x406958,%edi
  404e3a:       5b                      pop    %rbx
  404e3b:       41 5c                   pop    %r12
  404e3d:       41 5e                   pop    %r14
  404e3f:       41 5f                   pop    %r15
  404e41:       5d                      pop    %rbp
  404e42:       e9 15 cf ff ff          jmpq   401d5c <xo_close_list@plt>
  404e47:       5b                      pop    %rbx
  404e48:       41 5c                   pop    %r12
  404e4a:       41 5e                   pop    %r14
  404e4c:       41 5f                   pop    %r15
  404e4e:       5d                      pop    %rbp
  404e4f:       c3                      retq  
  404e50:       55                      push   %rbp
  404e51:       48 89 e5                mov    %rsp,%rbp
  404e54:       41 57                   push   %r15
  404e56:       41 56                   push   %r14
  404e58:       41 55                   push   %r13
  404e5a:       41 54                   push   %r12
  404e5c:       53                      push   %rbx
  404e5d:       48 83 ec 38             sub    $0x38,%rsp
...