堆栈帧对齐到不同的大小？
这是一个简单的测试。 一个类似的话题已经在堆栈分配，填充和对齐方面进行了讨论，但是当我编译以下两个源代码时，我遇到了相互冲突的结果。
#include <stdio.h>
//first source code
void haha()
{
printf("HI");
}
int main()
{
int b = 2;
b = b << 1;
haha();
//printf("n = %d",b);
return 0;
}
#include <stdio.h>
//second source code
void haha3()
{
int c,a,b;
c=a+b;
}
void haha2()
{
int c,a,b;
c=a+b;
haha3();
}
int main()
{
int b = 2;
b = b << 1;
haha2();
//printf("n = %d",b);
return 0;
}
对于第一个源代码，我得到了汇编代码：
haha:
pushl %ebp
movl %esp, %ebp
subl $24, %esp
movl $.LC0, %eax
movl %eax, (%esp)
call printf
leave
ret
.size haha, .-haha
.globl main
.type main, @function
main:
pushl %ebp
movl %esp, %ebp
andl $-16, %esp
subl $16, %esp
movl $2, 12(%esp)
sall 12(%esp)
call haha
movl $0, %eax
leave
ret
对于第二个源代码，我得到了汇编代码：
haha3:
pushl %ebp
movl %esp, %ebp
subl $16, %esp
movl -4(%ebp), %eax
movl -8(%ebp), %edx
leal (%edx,%eax), %eax
movl %eax, -12(%ebp)
leave
ret
.size haha3, .-haha3
.globl haha2
.type haha2, @function
haha2:
pushl %ebp
movl %esp, %ebp
subl $16, %esp
movl -4(%ebp), %eax
movl -8(%ebp), %edx
leal (%edx,%eax), %eax
movl %eax, -12(%ebp)
call haha3
leave
ret
.size haha2, .-haha2
.globl main
.type main, @function
main:
pushl %ebp
movl %esp, %ebp
subl $16, %esp
movl $2, -4(%ebp)
sall -4(%ebp)
call haha2
movl $0, %eax
leave
ret
我的问题是为什么第一个代码的堆栈框架与24（subl $ 24，％esp）对齐并且第二个代码与16（subl $ 16，％esp）对齐？ 据说Stack的分配，填充和对齐SSEx系列指令需要打包的128位向量对齐到16个字节。 因此，我预计第一个代码的堆栈框架有一个subl $ 32，％esp和subl $ 16，第二个为％esp，或者subl为$ 24，第一个和第八个为$ esp，第二个为％esp，因为正如它所说的，离开并保留8个字节。 然而，事实上，第一个代码使用'subl $ 24，％esp'，第二个使用'subl $ 16，％esp'感谢您的关注。
链接地址: http://www.djcxy.com/p/80341.html