请教有关栈帧大小对齐的问题

井蛙夏虫

回复 14# chenzhanyiczy
gcc-4.6.3
前一个

1. 08048394 <func1>:
   
2. 8048394:        55                           push   %ebp
   
3. 8048395:        89 e5                        mov    %esp,%ebp
   
4. 8048397:        5d                           pop    %ebp
   
5. 8048398:        c3                           ret   
   
6. 
   
7. 08048399 <func2>:
   
8. 8048399:        55                           push   %ebp
   
9. 804839a:        89 e5                        mov    %esp,%ebp
   
10. 804839c:        e8 f3 ff ff ff               call   8048394 <func1>
    
11. 80483a1:        5d                           pop    %ebp
    
12. 80483a2:        c3                           ret   
    
13. 
    
14. 080483a3 <main>:
    
15. 80483a3:        55                           push   %ebp
    
16. 80483a4:        89 e5                        mov    %esp,%ebp
    
17. 80483a6:        e8 ee ff ff ff               call   8048399 <func2>
    
18. 80483ab:        5d                           pop    %ebp
    
19. 80483ac:        c3                           ret   
    
20. 80483ad:        90                           nop
    
21. 80483ae:        90                           nop
    
22. 80483af:        90                           nop
    

复制代码

后一个

1. 08048394 <main>:
   
2. 8048394:        55                           push   %ebp
   
3. 8048395:        89 e5                        mov    %esp,%ebp
   
4. 8048397:        83 e4 f0                     and    $0xfffffff0,%esp
   
5. 804839a:        e8 02 00 00 00               call   80483a1 <func2>
   
6. 804839f:        c9                           leave  
   
7. 80483a0:        c3                           ret   
   
8. 
   
9. 080483a1 <func2>:
   
10. 80483a1:        55                           push   %ebp
    
11. 80483a2:        89 e5                        mov    %esp,%ebp
    
12. 80483a4:        83 ec 08                     sub    $0x8,%esp
    
13. 80483a7:        e8 02 00 00 00               call   80483ae <func1>
    
14. 80483ac:        c9                           leave  
    
15. 80483ad:        c3                           ret   
    
16. 
    
17. 080483ae <func1>:
    
18. 80483ae:        55                           push   %ebp
    
19. 80483af:        89 e5                        mov    %esp,%ebp
    
20. 80483b1:        5d                           pop    %ebp
    
21. 80483b2:        c3                           ret   
    
22. 80483b3:        90                           nop
    
23. 80483b4:        90                           nop
    
24. 80483b5:        90                           nop
    
25. 80483b6:        90                           nop
    
26. 80483b7:        90                           nop
    
27. 80483b8:        90                           nop
    
28. 80483b9:        90                           nop
    
29. 80483ba:        90                           nop
    
30. 80483bb:        90                           nop
    
31. 80483bc:        90                           nop
    
32. 80483bd:        90                           nop
    
33. 80483be:        90                           nop
    
34. 80483bf:        90                           nop
    

复制代码

井蛙夏虫

回复 18# myworkstation
我认为gcc的栈对齐还是可靠的。
印象中在哪看过这种说法，现在找不到在哪：gcc在编译一个函数的时候，如果它能够看见这个函数所依赖的所有函数的实现，那么它就产生更加高效的汇编代码；
否则的话，它就产生更加保守的代码。在我的三个版本的编译器下测试了下，发现是符合这个的。


   

myworkstation

回复 22# 井蛙夏虫


    你可以把这个问题深入研究一下，然后整理个专题出来。我帮你加精，置顶。

Third-Edition

Third-Edition

井蛙夏虫

回复 23# myworkstation
我自己也是一知半解

   

superwujc

回复 25# Third-Edition
《深入理解计算机系统》第3章的内容，小弟自己也正在看这本书，不过这里只是说了结果，而没有过程，感觉还是有点玄，似乎并不能自圆其说
难不成只能把16字节对齐作为一个公理，而不是有推导过程或者依据的定理了么？
这里有一个08年的帖子，大概看了看，最起码可以解释分配的栈帧字节数是怎样得出的：
http://bbs.csdn.net/topics/100119366

呵呵，谢谢。