为什么编译器要把函数的参数复制到函数的堆栈中

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. }
    

复制代码

编译成汇编语言后如下

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
    

复制代码

我用的是GCC 4.7.0。麻烦各位看下func函数中有注释的那四句汇编代码，它居然把参数a复制到自己的堆
栈中了，我发现如果func的参数是int型的话则不会出现这种现象，请问各位这种设定是为
什么。。

liuiang

查阅相关体系的ABI接口规范。

dean_go

一般来说参数少就放寄存器里，参数数据量大就放堆栈里。如二楼。