5.循环&选择&指针

[TOC]

if的识别

叶子函数未保存x30、x29寄存器；

CMP             W0, W1
B.LE            loc_1000068E0

解释：
`cmp w0, w1` CMP此处相当于做了一次减法，但不影响w0、w1，结果CPSR寄存器产生影响。
同sub不一样，`sub w0, w1`，sub影响w0，`w0=w0-w1`。

​ CMP 把一个寄存器的内容和另一个寄存器的内容或立即数进行比较。但不存储结果，只是正确的更改标志。
一般CMP做完判断后会进行跳转，后面通常会跟上B指令

​ 在汇编中B.LE这个比较的方法和高级语言中的比价相反，如：高级代码写大于，在生成的汇编中就是小于等于。

​ 关于B.LE loc_1000068E0是小于等于是跳转到后面的地址处。而BL意思是在跳转前保存LR寄存器后在进行跳转。而B就直接进行跳转。

​ 在if的汇编中有跳转就进行跳转，跳转后继续执行后面的代码。

如下是if_else if_else的汇编代码：

if_else if_else.png

B.LE            loc_1000068E0
// 小于等于时，跳转到loc_1000068E0

ADRP            X8, #_g@PAGE  
ADD             X8, X8, #_g@PAGEOFF
// 找到g的地址
// int8* x8 = &g;
// 将g的地址存放到x8中

LDR             W9, [SP,#0x10+var_4]
// 取出栈里面的var_4给w9
STR             W9, [X8] 
// 将w9的内容写入到x8所指的地址中。

B               loc_1000068F0 
//直接跳转到loc_1000068F0。

循环

do-while

do-while.png

break

while_break.png

while

while.png

for

for.png

可以while的就可以用for来还原。

效率比较，可以比汇编代码，CPU读取每条指令的速度一样，所以可以只看汇编代码量。

for-in：是对C的扩展，需要使用到对象，所以延后实验；

Switch

待续

编译器优化

xcode 指令优化设置buildsetting的optimization，

优化有5个分级，debug：None，release：Fastest、Smallest.

没有用到的局部变量和函数会被优化掉，前提原则是不损坏源代码的逻辑、运行结果不受影响。

IDA拿到的是优化过的代码，所以IDA不会有优化过程；

release下设置成None会对代码指令、包的大小有所影响；

函数有返回结果时，编译器优化时可能将函数运行结果存起来。

函数是静态的，OC是动态的。函数在编译时知道实现代码，可以进行运算。OC方法的实现要在运行时在内存中进行查找；

c函数时静态固定的，OC的是动态的

因为OC是对象的方法？那么C函数是编译阶段全部已经编译成机器码吗？那OC在编译阶段方法被编译成什么样子；C函数和OC的方法在写法形式上都是名称后面跟具体实现，那么C是否会和OC一样生成方法列表和对应的实现地址？或者说成OC方法在编译时都将方法编译成了机器码、另外再生成方法列表，所以在APP加载时只加载了方法列表，调用时去查询对应的方法具体实现的地址？

因为被生成了机器码，所以有种说法：核心代码最好用C或者用assembly编写会比用OC编写更安全，但是话说回来OC和C都被编译成了机器码，那么就不存在这种说法了吧，或者说这种相对的更安全是针对哪个阶段而言吗？

多线程补充

​ CPU的寄存器是通用的，所有程序都可以使用它，线程的切换是由操作系统来做的。线程切换时，当前线程会对当前的寄存器进行保护，切换回来的是，再读取出来放回寄存器。

​ 防止资源抢夺时对内存进行的。包括代码片段、属性变量等；

​ 所以寄存器由操作系统保护，内存的加锁由程序来控制；