汇编语言 跳转指令与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指令前需要判断条件,若条件不符合要求,啥都不做;符合要求,进行赋值
  • 既然已经有了跳转指令,为何要引入条件数据传输指令:跳转指令存在性能问题。处理器体系结构中有流水线技术,可实现对于指令执行的加速。但流水线须执行对指令的预先读取,预读的通常策略是顺序取址。若遇到跳转指令,无法事先判断是否进行跳转,导致跳转指令对流水线指令的预取有破坏意义。尽管流水线做了大量工作来避免破坏性(如分支预测),但无论如何弥补,都可能导致程序性能下降。而条件数据传输指令会预先将条件计算出来,然后判断是否进行赋值(即赋值指令是否执行),从而避免了对流水线的破坏。尽管增加了计算量,但对流水线性能优化要高于计算性能的代价

结合实例

指令就是跳转指令去掉-fno-if-conversion

条件数据传输指令过程:

把一种情况的结果(x-y)先计算出来,放到rax寄存器;另一种同样计算出来,放到rdx寄存器;然后比较x与y大小

比较大小时用到cmov指令组,与set指令组类似。如cmovle是在小于等于的情况下,将rdx赋值给rax;大于则保持原状。

条件数据传输指令可对性能进行很好的优化,但不是所有条件数据分支都可用条件语句表达,如下图

分支语句块中包含非常重的计算,导致计算开销远大于对流水线性能的优化

具有一些临界风险情况。如取p指针指向地址的值的操作,必须在p不为0前提下进行。而条件数据传输指令会先将两个结果计算出来,再做取舍。此时若p指针不存在,会报错

计算中可能出现副作用,即使用变量互相间有关联。两种结果均会对x进行更新,若使用条件数据传输指令先计算结果的话,会使x值变化,与原逻辑不符

到此这篇关于汇编语言 跳转指令与C语言的条件分支的文章就介绍到这了,更多相关汇编语言 跳转指令内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

时间: 2020-03-23

汇编语言:比较指令、跳转指令、JCC的使用

一.JMP 指令:修改EIP 当前运行的下一条指令 JMP 寄存器/立即数        目标类似:  mov  EIP,寄存器/立即数 CALL指令:  调用函数  CALL 地址A/寄存器        等价:                 PUSH 地址B           :保存call的下一条指令地址,压栈,作为返回值,                MOV EIP,地址A/寄存器            : 将函数首地址作为EIP RET指令:        等价:LEA ESP,

汇编跳转指令使用总结

虽然jmp指令提供了控制转移,但是它不允许进行任何复杂的判断.80x86条件跳转指令提供了这种判断.条件跳转指令是创建循环和实现其他条件执行语句.条件跳转指令检查一个或多个标志位,判断它们是否匹配某个特殊条件(就像setcc指令):如果标志匹配成功,该指令就将控制转移到目标位置:如果匹配失败,CPU忽略该条件跳转指令而继续执行下一条指令.条件跳转指令有一个限制:目标标号的位置必须在跳转指令本身附近32768字节范围内,这通常对应着8000-32000条机器指令.一般情况下不会超过这种限制. 用自

汇编语言指令集之串处理指令讲解

串处理指令 串处理指令分类情况如下: 指令类型 MOVS move string 传传送 CMPS compare string 串比较 SCAS scan string 串扫描 LODS load from string 从串取 STOS store in to string 存入串 INS input from port to string 串输入 OUTS output string to port 串输出 REP repeat 重复 REPE/REPZ repeat while equa

AngularJS自定义指令之复制指令实现方法

本文实例讲述了AngularJS自定义指令之复制指令实现方法.分享给大家供大家参考,具体如下: <!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <link rel="stylesheet" href="bootstrap.min.c

JSP中的编译指令和动作指令的两点区别

JSP中的编译指令和动作指令的区别 1.编译指令是通知Servlet引擎的处理消息,而动作指令只是运行时的脚本动作 2.编译指令是在将JSP编译成Servlet时起作用,而动作指令可替换成JSP脚本,是JSP脚本标准化写法

redis 用scan指令 代替keys指令(详解)

众所周知,当redis中key数量越大,keys 命令执行越慢,而且最重要的会阻塞服务器,对单线程的redis来说,简直是灾难,终于找到了替代命令scan. SCAN cursor [MATCH pattern] [COUNT count] SCAN 命令及其相关的 SSCAN 命令. HSCAN 命令和 ZSCAN 命令都用于增量地迭代(incrementally iterate)一集元素(a collection of elements): SCAN 命令用于迭代当前数据库中的数据库键. S

JSP指令元素(page指令/include指令/taglib指令)复习整理

今天复习了JSP指令元素部分,整理了下,跟大家一起分享: 一.page指令:设定JSP页面的全局属性,该配置作用于整个JSP页面,设置包括静态包含的文件. <%@ page 属性1="属性值1" 属性2="属性值2" %> 1.language属性:申明所使用的脚本语言种类,目前只有java一种,不排斥以后有其他语言的加入. <%@ page language="java" %> 2.extends属性:指定该JSP页面生

Vue的土著指令和自定义指令实例详解

1.土著指令 当我开始学习Vue的时候,看官网的时候看到了"指令"两个字.我愣住了,what?指令是啥啊?后来继续往下看,像这种什么"v-for""v-show""v-if"都叫做指令.等到后来Vue玩的差不多了,开始写项目的时候发现,常见的指令也就那么几个,比如"v-if""v-show""v-model""v-for""v-bind&

汇编语言XOR指令:对两个操作数进行逻辑(按位)异或操作(推荐)

汇编语言 汇编语言(assembly language)是一种用于电子计算机.微处理器.微控制器或其他可编程器件的低级语言,亦称为符号语言.在汇编语言中,用助记符代替机器指令的操作码,用地址符号或标号代替指令或操作数的地址.在不同的设备中,汇编语言对应着不同的机器语言指令集,通过汇编过程转换成机器指令.特定的汇编语言和特定的机器语言指令集是一一对应的,不同平台之间不可直接移植. XOR 指令在两个操作数的对应位之间进行(按位)逻辑异或(XOR)操作,并将结果存放在目标操作数中: XOR dest