arm汇编进入C函数分析,C函数压栈，出栈，传参，返回值

 2 int main(void)

 3 {

 4    c:    e52db004     push    {fp}        ; (str fp, [sp, #-4]!)

 5   10:    e28db000     add    fp, sp, #0

 6   14:    e24dd00c     sub    sp, sp, #12

 7     int a;

 8     a = 3;

 9   18:    e3a03003     mov    r3, #3

10   1c:    e50b3008     str    r3, [fp, #-8]

11 

12     return 0;

13   20:    e3a03000     mov    r3, #0

14 }

15   24:    e1a00003     mov    r0, r3

16   28:    e28bd000     add    sp, fp, #0

17   2c:    e8bd0800     pop    {fp}

18   30:    e12fff1e     bx    lr

可以看到有一对互为逆向操作的指令组合 push {fp}； add fp, sp, #0 <-------> add sp, fp, #0；pop {fp}，在这对组合指令之间的代码是不会去修改fp的值的，这样就实现了恢复调用前fp sp的值，而在它们之间的指令是通过修改sp来访问堆栈。但是这里有个问题，此处我仅定义了一个int型变量，为何堆栈向下偏移了12个字节？按道理sp-4即可。未找到原因，虽然对于堆栈，Procedure Call Standard for the ARM Architecture，要求遵守几个约定，比如堆栈指针必须是4字节对齐，此外，对于public interface即全局的接口，要求sp 8字节对齐。这里我的main算是个public interface，因此8字节对齐必须遵守，但是sp-4也是8字节对齐啊，搞不清为什么-12。增加局部变量可以很明细看出8字节对齐的约定。

传参　　　

 1 int foo(int a, int b, int c, int d)

 2 {

 3     int A,B,C,D;

 4     A = a;

 5     B = b;

 6     C = c;

 7     D = d;

 8 

 9     return 0;

10 }

11 void main(void)

12 {

13     int a;    

14     a = foo(1,2,3,4);

15 }

反汇编:

 1 00000000 <_start>:

 2 .text

 3 .global _start

 4 _start:

 5         ldr sp,=4096

 6    0:    e3a0da01     mov    sp, #4096    ; 0x1000

 7         bl main

 8    4:    eb000014     bl    5c