JG跳转的判定与溢出状态位的关系 SF==OF amp;amp;amp;amp;amp;amp;amp;amp; ZF == 0

Intel有很多条件跳转指令，都是根据状态寄存器的值来裁决是否需要跳转的，一般的跳转，其判定原则是比较明显的，例如JZ就是ZF为1跳转，为0则不跳转。
而有符号数跳转命令JG,JL,JNG,JNL,JLE,JGE...的判定原则则不是那么的明显，先用JG作为例子分析之：

CMP a, b; //假设a和b都是一个字节的参数
JG addr;

此时，JG跳转的条件是：SF==OF并且ZF==0
为何SF==OF且ZF==0表示a>b呢？
要求ZF==0好理解，如果ZF==1表示a==b，不满足a>b，故如果ZF必须是0
而要求SF==OF就不是那么的好理解了，需要分解成几个步骤来考虑：

如果SF是0，表示a-b是一个正数，这间接说明了a>b，这很好理解
如果SF是1，表示a-b是一个负数，似乎间接说明a<b,其实不然，我们需要考虑溢出的情况

可以看一下溢出(OF)或符号(SF)被置位的所有组合：

a是正数，b是正数，a>b,此时a-b>0，SF==0, OF==0, SF==OF
a是正数，b是负数，a>b,a-b=a-(-绝对值b)=a+绝对值b的结果小于等于127时，没有溢出，OF==0,此时SF==0,则SF==OF
a是正数，b是负数，a>b,但a-b=a-(-绝对值b)=a+绝对值b的结果大于127时，导致上溢出(单字节最大的正数是127)，同时导致SF==1(超过127时D7位为1），此时SF==OF
a是0，b是-128,a>b,但a-b=0-(-128)=128,由于128>127，导致上溢出，同时导致SF==1(128即0x80,D7位为1），此时SF==OF
a是负数，b是正数，a<b,a-b>=-128,没有导致下溢出，此时SF==1,OF==0,SF!=OF
a是负数，b是正数，a<b,但a-b<-128导致下溢出（单字节最小的负数是-128),同时导致SF==0(0x80减正数导致结果小于0x80导致D7位为0),此时SF!=OF
a是负数-128,b是0，a<b,a-b=-128-0=-128，此时没有下溢出,OF==0, SF==1,SF!=OF
a是负数，b是负数，a>b则a-b>0且不可能溢出，则SF==0, OF==0,则SF==OF
a是负数，b是负数，a<b，a-b<0且a-b>-128,此时没有溢出，则SF==1, OF==0, 则SF!=OF
a是负数，b是负数，a<b，且a-b<-128，此时出现下溢出，则SF==0, OF==1,则SF!=OF

通过罗列所有的组合，不难观察到SF==OF的时候a>b,SF!=OF时，a<b（前提ZF==0,即a!=b,否则就变成了JGE)

JG跳转的判定与溢出状态位的关系 SF==OF amp;amp;amp;amp;amp;amp;amp;amp; ZF == 0相关推荐

C++IO流，istream status(状态位)，cout，cin，if(非fs)/while(cin)【C++IO流】（58）
IO流 IO流类 Hierarchy(层次架构) 流类特性(从ios继承下来的共有的特性) 不可赋值和复制缓冲重载了<< >> istream status(状态位) 状态 ...
DTC之DTC Status状态位
部分转自//https://zhuanlan.zhihu.com/p/35371763## 一.UDS的DTC分类说明 PCBU:Powertrain(动力系统).chassis(地盘).body(车 ...
三极管的工作状态及电流关系
三级管分为NPN和PNP两种: 一.先来说说三极管3种工作状态的电压关系 1.放大发射结正偏.集电结反偏 (1)NPN UBE>0,UBC<0 (2)PNP UBE<0,UBC&g ...
vue router.beforeEach跳转路由验证用户登录状态
使用vue判断验证用户登录状态导航钩子类似于生命周期钩子,包含路由进入前,进入后,更新时,退出前等几个周期,主要用于控制导航的前进后退或跳转等. 其中router.beforeEach就是路由进入前 ...
kotlin_08:wlan直连/wifi_p2p的页面跳转以及实时获取连接状态
前言之前一段时间一直加班,淦.五一,有点时间,简单的陈述一下,wlan直连页面的跳转和状态获取以及监听. 1. 先看效果 2. 布局文件 2.1 wifi_p2p_actvity_main.xml & ...
【Kotlin 协程】协程取消 ② ( CPU 密集型协程任务取消 | 使用 isActive 判定协程状态 | 使用 ensureActive 函数取消协程 | 使用 yield 函数取消协程 )
文章目录一.CPU 密集型协程任务取消二.使用 isActive 判定当前 CPU 密集型协程任务是否取消三.使用 ensureActive 自动处理协程退出四.使用 yield 函数检查协程 ...
海康威视摄像头使用网线连网输入IP地址跳转显示“网站处于联机状态，但未对联机尝试做出反应”
最近买了一个海康威视的4G枪机摄像头,买回来用4G网卡的话还需要交流量费,就想着连网线,但是产品说明上面并未教如何使用网线连接,于是找客服问了一下.客服给了两个链接. 一.使用网线连接前要先激活4G网 ...
linux64 溢出,64位Linux下的栈溢出
from:http://packetstormsecurity.com/files/download/127007/64bit-overflow.pdf 本文的目的是让大家学到64位缓冲区溢出的基础知 ...
【汇编语言】状态标志符(CF/OF/SF/ZF)在运算(ADD/SUB/ADC/SBB)过程中的响应变化
目录各类运算时状态标志的响应变化标志符在各种`ADD`运算下的响应情况标志符在各种`SUB`运算下的响应情况借助标志符实现多位数之间运算 `ADC`(add with carry)带进位加法指 ...

JG跳转的判定与溢出状态位的关系 SF==OF amp;amp;amp;amp;amp;amp;amp;amp; ZF == 0

JG跳转的判定与溢出状态位的关系 SF==OF amp;amp;amp;amp;amp;amp;amp;amp; ZF == 0相关推荐

最新文章

热门文章