I want to be able to use the base pointer register (%rbp) within inline asm. A toy example of this is like so:
%rbp
void Foo(int &x) { asm vo
In x86-64, the stack pointer needs to be aligned to 8 bytes.
This:
subq $12, %rsp; // make room
should be:
subq $16, %rsp; // make room