一、简单介绍
原本之前用简单的汇编指令写了一个函数,不过发现进入死循环了,这是为什么呢?首先先看看之前写的汇编代码吧,下面的.text的意思就是告诉编译器,我这个在内存中是一个代码段,.global的意思就是全局函数的意思
.text
.global _C,_D
_C:
mov x0, #0xaaaa0000
bl _D
mov x0,#0xcccc0000
ret
_D:
mov x0,#0xbbbb0000
ret
在外面进行声明
void C();
然后调用
printf(“A”);
C();
printf(“B”);
我们会发现只输出了A,而没有输出B
然后我们可以去查看汇编代码进行分析,会发现其实是进入了死循环中,查看过程如下所示
在main函数中调用C函数
然后进入C函数之后,我们再去查看lr寄存器的值是不是bl指令的下一个内存地址
之后我们从函数C中再跳转到D中,lr变成了6a0
然后当执行到ret的时候就又返回出去了
之后我们返回的时候,返回的也是到6a0当中,也就是说最外面的那个lr的寄存器中的值是被覆盖了,所以就跳不回去了
二、紧接着我们去观察系统调用的函数生成的汇编指令是什么样子的
所以我们要先去写函数
void c(){
int a=10;
return;
}
void d()
{
c();
return;
}
使用代码
printf("A");
c();
printf("B");
这个时候我们再去看A和B是打印出来的
在函数调用中,因为我CPU肯定都是需要去使用寄存器的,所以我们有些数据肯定不可能只是去保存在寄存器中,还应该考虑其他的地方。每进一个函数都会有一个栈空间,所以只有这个栈空间才会是使用你本身的函数的。
我们看系统调用函数的时候有将x29 和x30的值从寄存器中存储到栈中
关于 stp x29, x30, [sp, #-0x10]! 这个的指令的意思就是下面
的两条指令的含义
sub sp,sp,#0x10
stp x29,x30,[sp]
可以看到执行了下面一条指令后,栈顶指针减少了
然后进入bl指令中的c函数出来之后,又把x29和x30的值给取出来了, ldp x29, x30, [sp], #0x10 就是将存储器地址为sp的两个字数据读入寄存器x29和x30,开将新地址sp+0x10写入sp
再来看看上面的mov x29,sp
栈顶应该是低地址,栈底是高地址,进入C函数,看sp和fp变化,可以发现fp还是原来的50,sp减了0x10
这里我们就可以用下面的图来表示,相当于函数嵌套的函数,所用的栈空间就在自己使用的基础上沿着用下去了。
按照上面的函数调用的汇编指令,我们可以更改我们自己写的汇编代码如下所示
.text
.global _C,_D
_C:
mov x0, #0xaaaa0000
stp x29,x30,[sp,#-0x10]!
bl _D
mov x0,#0xcccc0000
ldp x29,x30,[sp],#0x10
ret
_D:
mov x0,#0xbbbb0000
ret
结果如下所示,可以看到这是可以输出为AB了