一、 条件表达式: 表达式1?表达式2:表达式3
1. 当表达式1为等值比较,表达式2和3都为常数/可以优化为常数且差值为1时,编译器会通过setne指令进行平衡
2. 当表达式1为等值比较,表达式2和3都为常数/可以优化为常数且差值大于1时,编译器会通过下面的指令进行
sub reg,A
neg reg
sbb reg,reg
and reg,B
add reg,C
这时可还原为高级代码 reg==A ? C : B+C;
3. 当表达式1为区间比较,表达式2和3都为常数/可以优化为常数时先通过1中的(类似的)方式,然后通过
and reg,A
add reg,B
这样的代码进行计算,可还原为
表达式1?B+A:B
4. 当表达式2和3的值都未知时无法进行优化,会通过cmp和jxx 指令进行比较判断
二、 If-else语句
1. 单独if语句执行的通过相反的判断和jxx 进行跳转的
2. If-else语句 通过
cmp
jxx label1
••••••;//if中的内容
label1:
jmp label2
……;//else 中的内容
label2:
;//其他代码
这样的结构进行,但是当使用O2优化时会按条件表达式的方式进行流水线优化。
3. if-else的多分支的形式与单独的if-else很相似,只是jmp会直接跳到所有else的末尾
三、 switch
1. 当case的数量小于等于3时编译器会将其转成if-else语句,只不过没了jmp
2. 当case的标号是一个有序的序列时编译器会将其首地址存到数组&
c++反汇编学习笔记----------3.流程控制
最新推荐文章于 2021-11-30 13:01:45 发布
![](https://img-home.csdnimg.cn/images/20240711042549.png)