在intel CPU平台下，可以在代码加上__attribute__((regparm(number ) ) )指定函数调用时通过寄存器eax，edx，ecx来传递参数。其中number就是指定有多少个参数是通过寄存器来传递。由于只有这3个寄存器可以传递参数，所以number最大值为3。

那么，使用这个属性会对栈布局产生什么样的影响呢？会不会影响之前探讨过的两个规律？

多说无谓，重要是写例子来实验。

先看一下例子：

int add( int a, int b, int c,
         int d  )
{
     return a + b + c + d;
}
 
__attribute__( ( regparm( 1 ) ) ) int addOne( int a, int b, int c,
         int d )
{
     return a + b + c + d;
}
 
__attribute__( ( regparm( 2 ) ) ) int addTwo( int a, int b, int c,
         int d )
{
     return a + b + c + d ;
}
 
__attribute__( ( regparm( 3 ) ) ) int addThree( int a, int b, int c,
         int d )
{
     return a + b + c + d;
}
 
int main()
{
     int sum = 0;
     sum += add( 1,2,3,4);
     sum += addOne( 1,2,3,4);
     sum += addTwo( 1,2,3,4);
     sum += addThree( 1,2,3,4);

     return sum;
}

看一下main函数的汇编：

(gdb) disassemble main
Dump of assembler code for function main:
   0x080484e7 <+0>:     push   %ebp
   0x080484e8 <+1>:     mov    %esp,%ebp
   0x080484ea <+3>:     sub    $0x20,%esp
   0x080484ed <+6>:     movl   $0x0,-0x4(%ebp)
   0x080484f4 <+13>:    movl   $0x4,0xc(%esp)
   0x080484fc <+21>:    movl   $0x3,0x8(%esp)
   0x08048504 <+29>:    movl   $0x2,0x4(%esp)
   0x0804850c <+37>:    movl   $0x1,(%esp)
   0x08048513 <+44>:    call   0x8048470 <_Z3addiiii>
   0x08048518 <+49>:    add    %eax,-0x4(%ebp)

   0x0804851b <+52>:    movl   $0x4,0x8(%esp)
   0x08048523 <+60>:    movl   $0x3,0x4(%esp)
   0x0804852b <+68>:    movl   $0x2,(%esp)
   0x08048532 <+75>:    mov    $0x1,%eax
   0x08048537 <+80>:    call   0x8048487 <_Z6addOneiiii>

   0x0804853c <+85>:    add    %eax,-0x4(%ebp)

   0x0804853f <+88>:    movl   $0x4,0x4(%esp)
   0x08048547 <+96>:    movl   $0x3,(%esp)
   0x0804854e <+103>:   mov    $0x2,%edx
   0x08048553 <+108>:   mov    $0x1,%eax
   0x08048558 <+113>:   call   0x80484a4 <_Z6addTwoiiii>

   0x0804855d <+118>:   add    %eax,-0x4(%ebp)

   0x08048560 <+121>:   movl   $0x4,(%esp)
   0x08048567 <+128>:   mov    $0x3,%ecx
   0x0804856c <+133>:   mov    $0x2,%edx
   0x08048571 <+138>:   mov    $0x1,%eax
   0x08048576 <+143>:   call   0x80484c4 <_Z8addThreeiiii>

   0x0804857b <+148>:   add    %eax,-0x4(%ebp)
   0x0804857e <+151>:   mov    -0x4(%ebp),%eax
   0x08048581 <+154>:   leave  
   0x08048582 <+155>:   ret    
End of assembler dump.

由上面汇编可以看到：

1.      main函数调用addOne时，第一个参数通过eax传递，其它依次压入栈里。

2.      main函数调用addTwo时，第一个参数通过eax传递，第二个参数通过edx传递，其它依次压入栈中。

3.      main函数调用addThree时，第一个参数通过eax传递，第二个参数通过edx传递，第三个参数通过ecx传递，其它依次压入栈中。

可见，通过寄存器传递参数，会依次使用eax，edx，ecx。

再回忆一下上一节的规律，两个相邻的返回地址ret1，ret2，其中ret1属于函数func1，ret2属于函数func2，且func1调用func2。当func2调用func3时，ret2被压入栈。其中func2的局部变量空间大小为var_size,func3压入栈中的参数大小为par_size，那么它们会满足下面的条件：

1． addr（ret1）－addr（ret2）＝ var_size + par_size + 4

2． info symbol ret1, info symbolret2都能够显示出func1,func2

也就是说，__attribute__((regparm(number ) ) )对于par_size是有影响，函数参数个数减去number才是真正的par_size。

运行一下程序来验证一下结果，在main，addOne，addTwo，addThree上打断点。

(gdb) tbreak main
Temporary breakpoint 1 at 0x80484ed
(gdb) tbreak addOne
Temporary breakpoint 2 at 0x804848d
(gdb) tbreak addTwo
Temporary breakpoint 3 at 0x80484aa
(gdb) tbreak addThree(int, int, int, int) 
Temporary breakpoint 4 at 0x80484ca
(gdb) r
Starting program: /home/buckxu/work/3/5/xuzhina_dump_c3_s5 

Temporary breakpoint 1, 0x080484ed in main ()
Missing separate debugi