ARM64栈结构浅析

测试源码

int g(int x, int y, int z)
{
    return x + y + z;
}
 
int f(int x)
{
    unsigned long long a = 3;
    int b = 4;
    int c = 5;
    c = a + b;
    //sp指针是否会再次扩大？
    //不会，sp指针只扩大一次，刚进入函数f的时候，就会一次性把所有需要的栈空间都申请出来
    //猜测是编译器做了工作，扫描了一遍函数，把代码块中的局部变量申请都移动到了前面
    int d = 6;
    //如何再次找到b的地址的？编译时确定
    b = 2;
    //多个参数如何传递的？
    //通过w0 w1 w2三个寄存器传递
    return g(x, c, d);
}

int main(void)
{
    return f(8) + 1;
}

汇编代码

编译指令

aarch64-linux-gnu-gcc calc.c -S -o calc.S

	.arch armv8-a
	.file	"calc.c"
	.text
	.align	2
	.global	g
	.type	g, %function
g:
.LFB0:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	w0, [sp, 12]
	str	w1, [sp, 8]
	str	w2, [sp, 4]
	ldr	w1, [sp, 12]
	ldr	w0, [sp, 8]
	add	w1, w1, w0
	ldr	w0, [sp, 4]
	add	w0, w1, w0
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE0:
	.size	g, .-g
	.align	2
	.global	f
	.type	f, %function
f:
.LFB1:
	.cfi_startproc
	stp	x29, x30, [sp, -64]!
	.cfi_def_cfa_offset 64
	.cfi_offset 29, -64
	.cfi_offset 30, -56
	mov	x29, sp
	str	w0, [sp, 28]
	mov	x0, 3
	str	x0, [sp, 56]
	mov	w0, 4
	str	w0, [sp, 44]
	mov	w0, 5
	str	w0, [sp, 48]
	ldr	x0, [sp, 56]
	mov	w1, w0
	ldr	w0, [sp, 44]
	add	w0, w1, w0
	str	w0, [sp, 48]
	mov	w0, 6
	str	w0, [sp, 52]
	mov	w0, 2
	str	w0, [sp, 44]
	ldr	w2, [sp, 52]
	ldr	w1, [sp, 48]
	ldr	w0, [sp, 28]
	bl	g
	ldp	x29, x30, [sp], 64
	.cfi_restore 30
	.cfi_restore 29
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE1:
	.size	f, .-f
	.align	2
	.global	main
	.type	main, %function
main:
.LFB2:
	.cfi_startproc
	stp	x29, x30, [sp, -16]!
	.cfi_def_cfa_offset 16
	.cfi_offset 29, -16
	.cfi_offset 30, -8
	mov	x29, sp
	mov	w0, 8
	bl	f
	add	w0, w0, 1
	ldp	x29, x30, [sp], 16
	.cfi_restore 30
	.cfi_restore 29
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE2:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0"
	.section	.note.GNU-stack,"",@progbits

重点分析f函数的代码，实验之前有四个问题：

1、写程序的时候，有的编译器支持在代码块中间定义一个局部变量，那么SP指针会在定义的时候再进行偏移吗？
stp x29, x30, [sp, -64]!SP指针在进入函数的时候一次性偏移了64字节，之后再也没有移动过SP指针，所以答案是否定的，个人推测是编译的时候编译器先扫了一遍代码，如果有定义局部变量的地方就提到前面去，如果有依赖后面的变量(例如int e = b + c)，不能直接确定其值的情况，编译器会拆分成多个指令

2、函数f中先定义了局部变量b，后面使用b的时候，如何知道b的地址在哪里？查符号表吗？
在编译阶段就已经确定了b的地址，运行的时候可以说和b这个名字再没关系，符号表保存的是函数等（动态链接可能有变量名？）

3、调用子函数时多个参数如何传递的？
理论是通过x0-x7这8个寄存器传递的，实验也验证了，通过w0,w1,w2这三个寄存器传递

4、函数f的栈帧是什么样的？

反汇编

编译指令

aarch64-linux-gnu-gcc calc.c -o calc.o
aarch64-linux-gnu-objdump -S -D calc.o > calc.objdump.S

参考资料

https://blog.csdn.net/weixin_43549265/article/details/121993888