函数的参数传递方式是怎样的？

Arm中，函数调用遵循ATPCS规范，以ARMv7（最大32位指令长度）为例，R0-R3用于传递参数，当参数大于4个时，则通过栈传递。实测如下：

测试函数：

int g_arr[10] = {0};

void outArr(int arr[], int len){

    int i = 0;

    for(;i<len;i++){

        printf("-%d\n",arr[i]);

    }

}



void funcA(int p1,int p2,int p3,int p4,int p5,int p6){

    g_arr[0] = p1;

    g_arr[1] = p2;

    g_arr[2] = p3;

    g_arr[3] = p4;

    g_arr[4] = p5;

    g_arr[5] = p6;



    outArr(g_arr,6);

    printf("mark 1:%d.\n",p1);

    printf("mark 2:%d.\n",p2);

    printf("mark 3:%d.\n",p3);

    printf("mark 4:%d.\n",p4);

    printf("mark 5:%d.\n",p5);

    printf("mark 6:%d.\n",p6);

}


#pragma O0
int main(int argc, char** argv){

    printf("entry main.\n");

    funcA(1,2,3,4,5,6);

    return 0;

}

结合汇编，来梳理一下参数（1,2,3,4,5,6）是怎么传递的：
：

movs r0, #6     ;将数值6传递给r0寄存器
movs r1, #5     ;将数值5传递给r1寄存器
movs r2, #3     ;将数值3传递给r2寄存器
movs r3, #4     ;将数值4传递给r3寄存器
strd r1,r0,[sp]   ;将r1存入[sp],r0存入[sp+4]
movs r0, #1     ;将数值1传递给r0寄存器
movs r1, #2     ;将数值2传递给r1寄存器
bl 1368 <_Z5funcAiiiiii> ;跳转funcA

阅读以上汇编可见，参数(1,2,3,4)分别通过R0-R3传递，参数(5,6)则压栈了。跳转前的寄存器和栈状态如下图：

image.png

再看一下funcA是如何取参的。
先看一下跳转后寄存器和栈的变化：

00001368 < Z5funcAiiiiii>:
; 将{r4, r5, r6, r7, r8, r9, sl, fp, lr} 从右向左入栈
    1368:    e92d 4ff0 stmdb    sp!, {r4, r5, r6, r7, r8, r9, sl, fp, lr}

image.png

; sp - 4，开辟4字节空间，并将r3存入
    136c:    b081      sub sp #4
    136e:    4flf      ldr r7, [pc,#124] ; (13ec <_Z5funcAiiiiii+0x84>)
    1370:    9300      str r3, [sp, #0]

image.png

下面看一下使用p1-p6时是如何取的：

    1372:    4605      mov r5, r0
    1374:    460c      mov r4, rl
    1376:    4692      mov sl, r2
    1378:    447f      add r7, pc
    137a:    e887 000f stmia.w r7, {r0, rl, r2, r3}
    137e:    4629      mov rl, r5
    1380:    f8dd 902c ldr.w r9, [sp, #44] ; 0x2c
    1384:    f8c7 9014 str.w r9, [r7, #20]
    1388:    f8dd b028 ldr.w fp, [sp, #40] ; 0x28
    138c:    f8c7 b010 str.w fp, [r7, #16]
    1390:    4el7      ldr r6, [pc, #92] ; (13f0 <_Z5funcAiiiiii+0x88>)
    1392:    447e      add r6, pc
    1394:    4630      mov r0, r6
    1396:    f000 e864 blx 1460 <_ ThumbV7PILongThunk_printf+0x3c>
    139a:    f04f C801 mov.w r8, #1
    139e:    f857 1028 ldr.w rl, [r7, r8, lsl #2]
    13a2:    4630      mov r0, r6
    13a4:    f000 e85c blx 1460 <_ ThumbV7PILongThunk_printf+0x3c>
    13a8:    fl08 C801 add.w r8, r8, #1
    13ac:    flb8 Cf06 cmp.w r8, #6
    13b0:    dlf5      bne.n 139e < Z5funcAiiiiii+0x36>
    13b2:    4el0      ldr r6, [pc, #64] ; (13f4 <_Z5funcAiiiiii+0x8c>)
; printf() 传递了两个参数，分别使用R0和R1，所以，第二个参数p[x]就是对应R1 。
;打印p1时，r1来自r5，r5来自r0（r0存的为1）。
    13b4:    4629      mov r1, r5
    13b6:    447e      add r6, pc
    13b8:    4630      mov r0, r6
    13ba:    f000 e852 blx 1460 < ThumbV7PILongThunk_printf+0x3c>    ;printf("mark 6:%d.\n",p1);
;打印p2时，r1来自r4，r4来自r1（r1存的为2）。
    13be:    4630      mov r0, r6
    13c0:    4621      mov r1, r4
    13c2:    f000 e84e blx 1460 <_ ThumbV7PILongThunk_printf+0x3c>    ;printf("mark 6:%d.\n",p2);
;打印p3时，r1来自sl，sl来自r2（r2存的为3）。
    13c6:    4630      mov r0, r6
    13c8:    4651      mov r1, sl
    13ca:    f000 e84a blx 1460 <_ ThumbV7PILongThunk_printf+0x3c>    ;printf("mark 6:%d.\n",p3);
;打印p4时，r1来自[sp+0]，[sp+0]来自r3（r3存的为4）。
    13ce:    9900      ldr r1, [sp, #0]
    13d0:    4630      mov r0, r6
    13d2:    f000 e846 blx 1460 <_ ThumbV7PILongThunk_printf+0x3c>    ;printf("mark 6:%d.\n",p4);
;打印p5时，r1来自fp，fp来自[sp+40]（[sp+40]就是bl funcA前压入的参数5）。
    13d6:    4630      mov r0, r6
    13d8:    4659      mov r1, fp
    13da:    f000 e842 blx 1460 <_ ThumbV7PILongThunk_printf+0x3c>    ;printf("mark 6:%d.\n",p5);
;打印p6时，r1来自r9，fp来自[sp+44]（[sp+44]就是bl funcA前压入的参数6）。
    13de:    4630      mov r0, r6
    13e0:    4649      mov r1, r9
    13e2:    b00l      add ap, #4
    13e4:    e8bd 4ff0 ldmia.w sp! {r4, r5, r6, r7, r8, r9, sl, fp, lr}
    13e8:    f000 b81c b.w 1424 <_ ThumbV7PILongThunk_printf>    ;printf("mark 6:%d.\n",p6);
    13ec:    00002228  andeq r2, r0, r8, #4
    13f0:    ffffef8f        ; <UNDEFINED> instruction: 0xffffef8f
                         ; <UNDEFINED> instruction: 0xffffef52

对于ARM64，X0-X7用于传参，比如ARMv8.