為什么編譯器要把函數(shù)的參數(shù)復(fù)制到函數(shù)的堆棧中

nwcfafniw

C程序如下

1. 
   
2. #include <stdio.h>
   
3. 
   
4. void func(long long a) { }
   
5. 
   
6. int main()
   
7. {
   
8.     func(0x400000002);
   
9.     return 0;
   
10. }
    

復(fù)制代碼

編譯成匯編語言后如下

1. 
   
2. .file        "test.c"
   
3.         .text
   
4.         .globl        func
   
5.         .type        func, @function
   
6. func:
   
7. .LFB0:
   
8.         .cfi_startproc
   
9.         pushl        %ebp
   
10.         .cfi_def_cfa_offset 8
    
11.         .cfi_offset 5, -8
    
12.         movl        %esp, %ebp
    
13.         .cfi_def_cfa_register 5
    
14.         subl        $8, %esp
    
15.    movl        8(%ebp), %eax      ;; 這句
    
16.         movl        %eax, -8(%ebp)     ;; 這句
    
17.         movl        12(%ebp), %eax    ;; 這句
    
18.         movl        %eax, -4(%ebp)     ;; 這句
    
19.         leave
    
20.         .cfi_restore 5
    
21.         .cfi_def_cfa 4, 4
    
22.         ret
    
23.         .cfi_endproc
    
24. .LFE0:
    
25.         .size        func, .-func
    
26.         .globl        main
    
27.         .type        main, @function
    
28. main:
    
29. .LFB1:
    
30.         .cfi_startproc
    
31.         pushl        %ebp
    
32.         .cfi_def_cfa_offset 8
    
33.         .cfi_offset 5, -8
    
34.         movl        %esp, %ebp
    
35.         .cfi_def_cfa_register 5
    
36.         andl        $-8, %esp
    
37.         subl        $8, %esp
    
38.         movl        $2, (%esp)
    
39.         movl        $4, 4(%esp)
    
40.         call        func
    
41.         movl        $0, %eax
    
42.         leave
    
43.         .cfi_restore 5
    
44.         .cfi_def_cfa 4, 4
    
45.         ret
    
46.         .cfi_endproc
    
47. .LFE1:
    
48.         .size        main, .-main
    
49.         .ident        "GCC: (GNU) 4.7.0 20120507 (Red Hat 4.7.0-5)"
    
50.         .section        .note.GNU-stack,"",@progbits
    

復(fù)制代碼

我用的是GCC 4.7.0。麻煩各位看下func函數(shù)中有注釋的那四句匯編代碼，它居然把參數(shù)a復(fù)制到自己的堆
棧中了，我發(fā)現(xiàn)如果func的參數(shù)是int型的話則不會出現(xiàn)這種現(xiàn)象，請問各位這種設(shè)定是為
什么。。

liuiang

查閱相關(guān)體系的ABI接口規(guī)范。

dean_go

一般來說參數(shù)少就放寄存器里，參數(shù)數(shù)據(jù)量大就放堆棧里。如二樓。