从汇编看函数

一、简介

CPU
中央处理器,内部主要包括寄存器、运算器、控制器。

  • 寄存器:存储数据
  • 运算器:处理数据
  • 控制器:控制硬件IO口的高低电平
  • x0、x1:存放参数的寄存器
  • w0、w1:是寄存器x0、x1的低32位,使用中w0=x0、w1=x1

常用寄存器

  • pc:程序计数器,确定指令位置
  • sp:在任意时刻都会保存栈顶的地址,调用函数就会开辟栈空间(通过操作sp寄存器来开辟栈空间)
  • fp:也称为x29寄存器属于通用寄存器,在某些时刻利用它来保存栈底的地址

x30寄存器

  • x30寄存器存放当前调用函数的返回地址
  • ret指令执行时,会找到x30寄存器保存的地址值,继续向下执行

常用指令

  • str:读取寄存器值,存入内存中
  • ldr:读内存中的值,存入到寄存器
  • stp:入栈指令 stp x0, x1, [sp] 存入两个值
  • ldp:出栈指令 ldp x0, x1, [sp] 取出两个值
  • bl:将下一条指令的地址放入lr(x30)寄存器,跳转到标号处执行指令
  • ret:默认使用lr(x30)寄存器的值,通过底层指令提示CPU此处作为下条指令的地址
  • orrorr{条件}{S} 目的寄存器,操作数1,操作数2,把结果放置到目的寄存器

函数参数和返回值
ARM64下,函数存放在x0~x7(w0~w7)8个寄存器中,超过8个参数,就会入栈。函数返回值是放在x0寄存器中的。通用寄存器32个。

二、汇编函数嵌套

1、demo1-汇编函数嵌套

.text
.global _A, B
_A:
    mov x0, #0xaaaa
    bl _B
    mov x0,#0xaaaa
    ret
_B:
    mov x0, #0xbbbb
    ret

执行顺序:

demo`A:
    0x102c0a0c4 <+0>:  mov    x0, #0xaaaa
    0x102c0a0c8 <+4>:  bl     0x102c0a0d4               ; B ①
    0x102c0a0cc <+8>:  mov    x0, #0xaaaa   ②
->  0x102c0a0d0 <+12>: ret    

继续执行,①和②会来回执行,①->②->①->…。
原因:在A函数中调用了B函数,这里x30的值将被置为B函数的结束地址,继续执行到retret会读取了x30的地址(B函数的结束地址)①处,继续往下执行到②,因此就①->②->①->…。

下面看系统是如何处理嵌套函数的调用的:

2、demo2-c函数嵌套

int A(void);
void b() {
    return;
}
void c() {
    b();
}
int main(int argc, char * argv[]) {
    c();
//    A();
}

断点单步执行打印如下:

demo`c:
    0x102f9a318 <+0>:  stp    x29, x30, [sp, #-0x10]!
    0x102f9a31c <+4>:  mov    x29, sp
    0x102f9a320 <+8>:  bl     0x102f9a314               ; b at main.m:14:5
    0x102f9a324 <+12>: ldp    x29, x30, [sp], #0x10
->  0x102f9a328 <+16>: ret    
  • stp:写入,将x29、x30写入到栈空间
  • stp x29, x30, [sp, #-0x10]!:等价于sp = sp-0x10(16字节)并赋值所在地址,拉伸栈空间,拉伸栈空间的大小为16字节的倍数
  • 执行c函数
  • ldp x29, x30, [sp], #0x10:将用sp所在地址值给x29、x30赋值,sp+0x10释放空间,保持栈平衡

在每一步打印x30的值:

asm1.png

从上面的运行结果可以看出,x30寄存器在调起内嵌函数前,存储x30中的值到 [sp, #-0x10]的地址中,内嵌函数调用完成后,重新设置当前x30 = spsp存储了当前函数的地址),执行到retret读取到的地址即当前函数的结束地址,继续执行则跳出该函数。

3、demo3-完善demo1
在函数内调用函数,保存当前函数A结束地址x30sp-0x10(16个字节)位置,函数B结束后重新设置x30的值为sp(函数A的结束地址),这样就完成嵌套函数调用。

.text
.global _A, B
_A:
    mov x0, #0xaaaa
    str x30,[sp, #-0x10]!
    bl _B
    mov x0,#0xaaaa
    ldr x30, [sp], #0x10
    ret
_B:
    mov x0, #0xbbbb
    ret

如下:

asm2.png

三、函数

上面了解了汇编函数嵌套的处理方法,下面看一下在汇编层对参数是怎么处理的。

int sum(int a, int b) {
    return a+b;
}

int main(int argc, char * argv[]) {
    Int res = sum(5,7);
}

断点查看主函数汇编代码:

main.png
  • sub sp, sp, #0x30sp-0x30申请48个字节的栈空间(sp指向可用栈空间的栈顶),sub减指令
  • x29、x30保存栈底栈顶,做为嵌套函数的中间变量
  • 上面可以看到变量值#0x5、#0x7,存入到w0、w1寄存器中

进入sum函数内查看,汇编指令:

sum.png
  • sum函数内拉伸栈空间
  • str指令将w0、w1寄存器中的值入栈,再取出计算,为什么不直接计算呢?这是编译规则(编译->汇编),防止存在内嵌函数,在内嵌函数内使用了w0、w1寄存器(参数),会影响外层函数的参数值,因此为了方便编译器操作设定了这样一条逻辑:所有参数要入栈。当然编译器也可以优化,优化后的指令就直接走add sp, sp, #0x10
  • sp, sp, #0x10:数据处理完成回收栈空间
  • ret:有参数函数返回值是x0寄存器的值不是x30寄存器的值,w0x0寄存器的低32位,因此x0=w0ret=w0=0x12=12

编译器优化:


fast.png

优化后的汇编指令:

fast2.png
  • 优化掉了参数的存储,取值,直接将寄存器值相加
  • 没有拉伸栈空间

掉了两根头发!!!

多参数demo

int sum(int a,int b,int c,int d,int e,int f,int g,int h,int i,int j,int k,int l) {
    return a+b+b+c+d+e+f+g+h+i+j+k+l;
}

int main(int argc, char * argv[]) {
    int res = sum(5,7);
}

main函数汇编指令如下:

more.png

初始化寄存器的值,这里使用w0~w8、x9,这里w0=x0,w9=x9,不用纠结为什么没有都使用wxwx的低32位,同属于一个寄存器,在系统级别怎么用都行。过!

进入函数内部:

add.png

拉伸栈空间,存寄存器值,取值,相加,指令太多,每一条指令耗时1/主频,复合指令耗时2/主频,这么多指令,太烧了。

局部变量

demo1-函数多参数

int funcC() {
    int a = 1;
    int b = 2;
    int c = 3;
    return a+b+c;
}

int main(int argc, char * argv[]) {
    int res = funcC();
}

函数汇编指令如下:

func.png
  • 开辟栈空间0x10
  • 将值存入到w8寄存器中(任意w)
  • 将寄存器值入栈,出栈,计算

再看一段代码:

int funcC() {
    return 1+2+3;
}

int main(int argc, char * argv[]) {
    int res = funcC();
}

汇编指令:

less.png

这里就执行了一条指令,其实内部有做add相关指令,这里做了优化,但相比上面声明的局部变量,这里没有开辟栈空间,省去了很多指令,每一条指令耗时1/主频,复合指令耗时2/主频,每条指令都要放电一次,耗电,局部变量悠着点用,当然真正开发中编译器是会优化掉这些多余代码。

……
……

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 194,088评论 5 459
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 81,715评论 2 371
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 141,361评论 0 319
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 52,099评论 1 263
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 60,987评论 4 355
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 46,063评论 1 272
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 36,486评论 3 381
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 35,175评论 0 253
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 39,440评论 1 290
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 34,518评论 2 309
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 36,305评论 1 326
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,190评论 3 312
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 37,550评论 3 298
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 28,880评论 0 17
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,152评论 1 250
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 41,451评论 2 341
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 40,637评论 2 335

推荐阅读更多精彩内容