汇编语言 跳转指令与C语言的条件分支

跳转指令

跳转指令也是一个组的指令，称为j组。其中jmp为无条件跳转，其余为条件跳转

上图为j组指令，可结合条件码访问指令加深理解

在机器指令水平上理解如何对跳转指令编码

如上图，通过反汇编软件得到机器指令与汇编语言，其中左边为机器指令编码，右边为对应汇编语言含义，最左边为每条机器指令地址 jmp指令的对应机器指令有两个字节：eb表示这是jmp指令，03描述跳转信息。值得注意的是，跳转指令进行编码时，采用相对位置编码，如03描述的就是偏移量 结合实例进行理解：在未执行jmp指令时，rip寄存器存储的地址为4004d5（rip寄存器存放即将加载的指令地址）；执行jmp指令后，rip寄存器的值改为新的目标位置地址，目标位置=原先位置+偏移量，在此例子中为4004d5+03=4004d8。jg指令同理 存放相对位置意义：可获得更高灵活度，若存放绝对地址，分配地址可能改变；而相对位置一定不変

使用汇编语言的跳转指令实现C语言的条件分支

如上图，左边的程序可以通过上边的指令翻译成汇编指令

对上边指令的理解:

control.c为输入的文件 -s表示把c语言程序翻译为汇编指令 -og是一种程序优化形式。这种形式优化程度较低，但是是在不改变程序原有结构的前提下进行优化，故而能更加清楚的看到程序语言和汇编语言间的关系。在实际应用中，-o1、-o2优化程度更高，能更大程度提高程序性能，尤其-o2已经成为当前的主流标准。但是这两种形式可能改变原有高级语言的语句结构，难以建立高级语言和汇编指令间的映射关系，故在学习中不采用 -fno-if-conversion告诉编译器，在编译时，不要把分支语句用条件传输指令去执行，而用跳转指令执行。在早期X86处理器中，分支语句只又跳转指令表示，但后来又加入了条件传输指令，现在许多处理器用条件传输指令表示分支语句

使用条件数据传输指令实现条件分支

条件数据传输指令，先计算条件结果，然后根据条件结果的具体状态，来决定是否把原操作数的值赋值到目标操作数 和传统mov指令相似，只不过相当于在mov指令前需要判断条件，若条件不符合要求，啥都不做；符合要求，进行赋值 既然已经有了跳转指令，为何要引入条件数据传输指令：跳转指令存在性能问题。处理器体系结构中有流水线技术，可实现对于指令执行的加速。但流水线须执行对指令的预先读取，预读的通常策略是顺序取址。若遇到跳转指令，无法事先判断是否进行跳转，导致跳转指令对流水线指令的预取有破坏意义。尽管流水线做了大量工作来避免破坏性（如分支预测），但无论如何弥补，都可能导致程序性能下降。而条件数据传输指令会预先将条件计算出来，然后判断是否进行赋值（即赋值指令是否执行），从而避免了对流水线的破坏。尽管增加了计算量，但对流水线性能优化要高于计算性能的代价