iOS汇编教程(2)

最新推荐文章于 2024-09-12 19:37:59 发布

2401_84097427

最新推荐文章于 2024-09-12 19:37:59 发布

阅读量956

点赞数 28

分类专栏：程序员文章标签： ios 汇编 cocoa

本文链接：https://blog.csdn.net/2401_84097427/article/details/138459937

版权

程序员专栏收录该内容

262 篇文章 1 订阅

订阅专栏

r0-r3：用于存放传递给函数的参数；
r4-r11：用于存放函数的本地参数；
r12：是内部程序调用暂时寄存器。这个寄存器很特别是因为可以通过函数调用来改变它；
r13：栈指针sp(stack pointer)。在计算机科学内栈是非常重要的术语。寄存器存放了一个指向栈顶的指针。看这里了解更多关于栈的信息；
r14：是链接寄存器lr(link register)。它保存了当目前函数返回时下一个函数的地址；
r15：是程序计数器pc(program counter)。它存放了当前执行指令的地址。在每个指令执行完成后会自动增加；

你可以在ARM文档里了解更多关于ARM调用约定的信息。苹果也在文档【iOS开发调用约定】内有做过详细描述。

OK，前戏已足，是时候开始真正的码代码了~

创建工程

在这个汇编教程里，你不会创建一个应用，但还是得使用Xcode工程来说明其中含义。启动Xcode，再新建工程，选择iOS\应用\单个view的工程（ iOS\Application\Single View Application）点击下一步，工程最终如下：

Product name: ARMAssembly；
Company Identifier: 你的通常的反向域名标识；
Class Prefix：置空；
Devices：iPhone；
Use StoryBoards：否
使用ARC：是
Include Unit Tests：否

最后点击下一步，选择一个保存你工程的地址。

1 + 1

你要做的第一件事就是写一个两个数相加后并返回的函数。没有比这更简单的事了。

事实上，你可以先写一个C语言函数，因为Objective-C会是我们的复杂度增加。在Supporting Files里打开main.m，并把下面的代码贴到文件内：

int addFunction(int a, int b) {

int c = a + b;

return c;

}

现在保证你选择的Scheme是iOS设备（或者你的设备名），比如，如果你连上了设备就是xx的iPhone。选择Scheme是设备的原因是这样才会用ARM汇编，而选择模拟器的话就会用x86的方式汇编。Scheme选择后的类似于这样：

现在去Product\Generate Output\Assembly File生成汇编码（其实现在Xcode7是Product\Perform Action\Assemble “main.m”）。Xcode会展示一个奇怪的文件。在文件最顶部，你可以看到许多以.section开头的行。如果有那说明你生成成功了！

注意：你默认运行的Scheme是Debug配置。在Debug模式下，编译器不会开启优化。你想看到无优化版本的汇编，这样你才能真正看清发生了什么。

文件中搜索_addFunction。你会发现像以下的代码：

.globl _addFunction .align 2 .code 16 @ @addFunction .thumb_func _addFunction _addFunction: .cfi_startproc Lfunc_begin0: .loc 1 13 0 @ main.m:13:0 @ BB#0: sub sp, #12 str r0, [sp, #8] str r1, [sp, #4] .loc 1 14 18 prologue_end @ main.m:14:18 Ltmp0: ldr r0, [sp, #8] ldr r1, [sp, #4] add r0, r1 str r0, [sp] .loc 1 15 5 @ main.m:15:5 ldr r0, [sp] add sp, #12 bx lr Ltmp1: Lfunc_end0: .cfi_endproc

这代码看起来让人有点沮丧，但其实没那么难看懂。首先，所有以.号开始的行都不是汇编指令而是作用于汇编器的。你可以忽略所有这样的代码。

这些以冒号为结束的行，例如：_addFunction:和Ltmp0:，被称为标签。他们是这部分的汇编代码名字。称为_addFunction:标签实际上是这个函数的入口。

这个标签是必须的，这样其他代码可以通过使用addFunction标签来路由函数而不需要知道函数的位置。当最终应用二进制生成的时候，将这些标签转换成实际内存地址是链接器的工作。

注意到编译器通常在函数名的前面添加一个下划线，这也是一个约定。其他的所有以L.开头的叫本地标签，这些标签只能用于函数内部。在这个简单的例子里，没有任何一个本地标签真正被使用，但编译器仍然生成了，因为这个代码并没有做任何编译优化。

注意是以@字符开头的。在汇编代码后边注释上对应的main.c文件行数对我们看懂汇编代码非常有用。

因此，忽略掉注释和标签，重要的代码如下：

_addFunction: @ 1: sub sp, #12 @ 2: str r0, [sp, #8] str r1, [sp, #4] @ 3: ldr r0, [sp, #8] ldr r1, [sp, #4] @ 4: add r0, r1 @ 5: str r0, [sp] ldr r0, [sp] @ 6: add sp, #12 @ 7: bx lr

首先，分配栈所需的所有临时存储空间。栈是一大块函数随时想使用的内存。ARM中的栈内存是高地址向低地址分布的，意味着你必须从栈指针开始减。在这里，分配了12个字节。
r0和r1存放传给函数的参数。如果入参有四个参数，那么r2和r3就会分别存放第三和第四个参数。如果函数超过四个参数，或者一些例如结构体的参数超过了32位比特，那么参数将会通过栈来传递。这里，两个参数被存入栈中。这是通过存储寄存指令（str）实现的。第一个参数是要存储的寄存器，第二个是存储的位置。方括号代表里面值是内存地址。这个方括号指令允许你为一个值指定偏移量，因此[sp, #8]的意思『在栈指针的地址上加上8字节偏移量』。同样地，str r0, [sp, #8]意味着『存储r0寄存器的值到栈指针地址加上8字节内存的位置』。
刚被保存到栈的值又被读取到相同的寄存器内。和str指令相反的，ldr指令是从一个内存中加载内容到寄存器。两者语法非常相似。因此，ldr r0, [sp, #8]意思是『读取出在栈指针地址加上8字节内存的位置的内容，并将内容赋值给寄存器r0』。如果你好奇为何r0和r1刚被存储又被加载出来，对，它是很奇怪，这两行明明就是多余的嘛！如果编译器允许基本的编译优化，那么这多余的就会被消除。
这是该函数最重要的指令了：做加法。意思是将r0和r1中的内容相加，并将相加的值赋值给r0。 add指令入参可以是两个或者三个，如果是三个，那第一个参数就是存储后两个参数相加的值的寄存器。所以，这行指令也可以写成：add r0, r0, r1。
再一次，编译器生成了一些多余的代码：将相加的结果存储起来，又读取到相同的位置。
函数即将终止，因此栈指针放回原来的地方。函数开始时从sp（栈指针）上减去了12个字节而得到12个字节内存使用。现在它把12个字节还回去。函数必须保证栈指针操作平衡，否则栈指针可能漂移，最终可能超出了已分配的内存。你应该不希望那样…
最后，间接分支调度指令bx被执行，用于返回到调用函数（调用本函数的函数）。lr(link register)存放了调用函数执行完当前函数的下一条指令。注意到，在addFunction执行返回后，r0保存了相加的值。这是调用约定的另一部分。函数的返回值总是r0，除非一个寄存器不够存储，这种情况下才会使用r1-r3。

其实并没有那么难，对不？想知道更多关于指令的信息，可以看看这个文档，或者看其他的中文.

你发现了这个函数很多汇编代码是多余的。因为一开始，我们的编译器就是Debug（调试）模式，没有任何编译器优化的。如果你把编译优化打开，你会得到一个非常精简的代码。

改变 Show Assembly Output For 到选择器到存档（Xcode7不一样，区别是如果你想获取精简的汇编，需要Edit Scheme成Release模式，另外切换后记得clean下工程）。搜索_addFunction:，你可以看到如下代码：

_addFunction: add r0, r1 bx lr

这非常简洁! 可以看到仅仅两个指令就写完了这个函数。你可能没想到仅用两个指令就完成了~ 当然，你平时写的函数一般更长也更有趣点~

现在你已经有一个以返回到调用者分支为结束的函数。那么作为一个相互关系的另一个函数，调用该函数的调用者呢？

调用函数

首先，你需要给addFunction函数添加一个让编译器不做优化的属性。你已经发现如果我们开启优化，那么代码会移除掉不必要的指令，甚至连函数调用都会被移除，或者可能直接将函数作为内联函数使用。

例如，编译器可能直接用add指令代替函数调用。实际上，编译器是非常强大智能的，它可能直接帮你计算好了相加后的值，连add指令都不需要生成。

这个教程，我们不希望编译器做优化或者将函数内联。回到main.m文件，修改函数成如下：

attribute((noinline))

int addFunction(int a, int b) {

int c = a + b;

return c;

}

继续在下方添加另一个函数如下：

void fooFunction() { int add = addFunction(12, 34); printf(“add = %i”, add); }

fooFunction函数简单地用addFunction让12和34相加并且打印出值。这里使用的是C语言的printf而不是Objective-C的NSLog函数的原因是后者的汇编结果更加复杂。

再一次生成汇编代码，搜索_fooFunction，你可以看到如下代码：

fooFunction: @ 1: push {r7, lr} @ 2: movs r0, #12 movs r1, #34 @ 3: mov r7, sp @ 4: bl addFunction @ 5: mov r1, r0 @ 6: movw r0, :lower16:(L.str-(LPC1_0+4)) movt r0, :upper16:(L.str-(LPC1_0+4)) LPC1_0: add r0, pc @ 7: blx _printf @ 8: pop {r7, pc}

这里引入了一些教程之前没有介绍过的指令，但不用担心，他们并不复杂，我们来看：

这个指令跟我们之前的add sp, #12指令做的事情差不多。这里，r7和lr被推入到栈，意味着sp（栈指针）减掉了8字节（栈指针始终指向栈顶，所以在push的时候会变小），因为r7和lr都是4字节。注意到栈指针变小了而且通过一个指令存储了两个值。r7的值需要存储起来的原始是之后函数执行时它会被使用到并重写。lr被存储的原因在函数最后将会知晓；
这两个指令（mov）是Move组的成员之一。有时候你会看到movs，或者movw，或者其他，但他们的作用都是用一个值来填充寄存器。你可以将一个寄存器的值移动到另一个寄存器，因此mov r0, r1会将r1寄存器内容填充到r0，r1的值不变。在这两行代码中，r0和r1是用函数中定义的两个常量赋值的。注意到他们是被加载到r0和r1中，刚好是addFunction的入参。
在函数调用边界时，栈指针应该被保存起来，因此作为可存储本地变量的寄存器之一r7被使用了。你会发现剩余的函数代码中并没有使用栈指针或者r7，因此这是个小小的多余处理。有时候开启了优化也优化不掉。
指令bl意味着函数调用。记得函数的入参已经放入相关的寄存器r0及r1了吧。这个指令执行的代码我们称之为分支。因为是指令bl而不是指令b，指令bl全称是『branch with link』，意味着在执行分支代码之前，需要将lr（链接寄存器）置为当前函数的下一个指令。回想下，当addFunction方法返回时，lr就是指向下一个要执行的指令。
这是将两个数相加的addFunction分支返回的节点。记得之前说明过函数的返回值是存放在r0的吧~ 这个值会作为printf函数的第二个参数，因此mov指令用于将r0的内容赋值给r1。
printf函数的第一个参数是一个字符串。这三条指令加载指向所需的字符串的开始地址的指针到r0寄存器。字符串存储在我们称之为二机制『数据段』的位置。但只有最终二进制被链接时才能知道该数据的具体位置。字符串可以在main.m生成的目标文件例找到。如果你在生成的汇编代码内搜索『L.str』，便可找到它。前两个指令加载常量的地址，并减去标签的地址（LPC1_0加上4字节）。看到第三个指令这么做的目的就很明显了。r0加上pc（程序计数器），这样无论L.str在二进制文件的什么位置都能够准确的存放字符串的位置。下面的图展示了内存分布。L_.str - (LPC1_0 + 4)差值可以随便变动，但是加载r0的代码却不用变化。

这条指令是调用printf函数。这里的blx跟bl指令有点不同，x代表交换，当有需要时，处理器可以改变当前运行模式。处理器运行模式有点超越了本教程的范围，ARM处理器有两种运行模式：ARM和Thumb。Thumb指令集是16位宽，而ARM是32位。Thumb指令比ARM少，使用Thumb意味着更少的代码大小及更好的CPU缓存。通常使用有限的Thumb指令集可以让你从更小的包大小中获益。想了解更多Thumb的知识请戳这里
最后一条指令是推出第一条指令推入的值。这次列表中的寄存器的值是用栈中的值填充的，且栈指针增加了。回想下，r7和lr之前是被推入到栈中，那么此时为何是推出来的值存入到了r7和pc中，而不是r7和lr呢？好的，记得lr是存储当前函数执行完成后的下一个指令地址吧。当你把lr推出栈赋值给pc后，执行将会从本函数调用的地方继续执行。这通常是一个函数返回的实现方式，而不是像addFunction那样切分支的方式。

以上是对ARM指令集大致的介绍。还有很多其他指令集，但这些是开始理解指令集最重要的的指令。让我们来用伪代码快速回忆一下代码做的事情：

mov r0, r1 => r0 = r1 mov r0, #10 => r0 = 10 ldr r0, [sp] => r0 = *sp str r0, [sp] => *sp = r0 add r0, r1, r2 => r0 = r1 + r2 add r0, r1 => r0 = r0 + r1 push {r0, r1, r2} => r0, r1 r2 入栈 pop {r0, r1, r2} => 栈顶出三个, 并赋值给r0, r1 and r2. b _label => pc = _label bl _label => lr = pc + 4; pc = _label

哇哦~ 现在你可以读懂一些ARM汇编代码了~

Objective-C 汇编

至此，你看到的函数都是C语言的。Objective-C代码要复杂点，不过让我们来检验一下。在ViewController.m代码中添加以下代码实现:

(int)addValue:(int)a toValue:(int)b {

int c = a + b;

return c;

}

让我们再次重复之前精简的汇编方式，搜索addValue:toValue:函数，可以看到：

“-[ViewController addValue:toValue:]”:

adds r0, r3, r2

bx lr

首先你会注意到标签名字。这次便签名字包含了类名及全部的方法名。

如果你和之前的addFunction汇编代码相比较，你会发现两个入参存储在了r2及r3而不是r0和r1。为什么呢？

OK，因为Objective-C函数在C函数的基础上多传了两个隐式的参数。addValue:toValue:方法语法上和以下方法相同：

int ViewController_addValue_toValue(id self, SEL _cmd, int a, int b) {

int c = a + b;

return c;

}

这就是为什么a和b变量分别存储在r2和r3内了。现在你大概知道了前两个隐式参数的含义了，你总是可以使用self这个变量。

但是，_cmd可能之前你没有见过。像self变量一样，在Objective-C代码中它是可获取的，而且代表着当前函数的selector。你一般从不会用到它，这就是你为何没听过的原因了。

为了看清Objective-C函数是如何被调用的，我们在ViewController中添加如下代码：

(void)foo {

int add = [self addValue:12 toValue:34];

NSLog(@“add = %i”, add);

}

生成代码并找到该方法，你可以看到类似下面的代码(Xcode7生成的有点不一样了)：

“-[ViewController foo]”: @ 1: push {r7, lr} @ 2: movw r1, :lower16:(L_OBJC_SELECTOR_REFERENCES_-(LPC1_0+4)) movt r1, :upper16:(L_OBJC_SELECTOR_REFERENCES_-(LPC1_0+4)) LPC1_0: add r1, pc @ 3: ldr r1, [r1] @ 4: movs r2, #12 movs r3, #34 @ 5: mov r7, sp @ 6: blx objc_msgSend @ 7: mov r1, r0 @ 8: movw r0, :lower16:(L__unnamed_cfstring-(LPC1_1+4)) movt r0, :upper16:(L__unnamed_cfstring_-(LPC1_1+4)) LPC1_1: add r0, pc @ 9: blx _NSLog @ 10: pop {r7, pc}

再次，和之前我们看到的C语言函数差不多。分解它：

将r7及lr入栈；
使用同样加载字符串的方式，加载在名为L_OBJC_SELECTOR_REFERENCES_的标签处的字符串指针到r1。像便签名字一样，它是一个selector的引用。其实selector就是存储在数据段的字符串。
如果你在汇编代码里查找L_OBJC_SELECTOR_REFERENCES_，你会发现：L_OBJC_SELECTOR_REFERENCES_:.long L_OBJC_METH_VAR_NAME_，这说明r1指向的是L_OBJC_METH_VAR_NAME_标签的地址。如果你继续查看该便签，你将找到addValue:toValue:字符串。指令ldr r1, [r1]表示加载存储在r1指针内的内容并赋值给r1。用伪代码是这么表述的r1 = *r1。再仔细想想，r1其实已经指向addValue:toValue:字符串地址。
加载常量到r2和r3。
保存栈指针。
以保存lr指针且可更换模式的方式切分支到objc_msgSend。这个方式是Objective-C语言的核心。它调用它的入参selector的实现。参数最终和传给这个方法的参数一样，r0是self，r1是_cmd，r2和r3是剩下的参数。这就是为何selector要赋值给r1，剩余参数赋值给r2和r3，r0是隐式加载的，因为self变量已经存在了。
addValue:toValue:方法的返回值还是r0。这个指令将r0的值赋值给r1，因为r0之后要作为C函数NSLog的参数。
加载NSLog需要的字符串给r0，像printf函数一样。
以保存lr指针且可更换模式的方式切分支到NSLog。
两个值被推出来，一个赋值给r7一个给pc。这个指令将使函数返回。