c++反汇编学习笔记----------3.流程控制

一、 条件表达式： 表达式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的标号是一个有序的序列时编译器会将其首地址存到数组&