条件判断语句的代码生成
st1
if(r1<r2)
st2
else
st3
st4
st1
BB1 com_LT r1,r2 → r3
cbr r3 → L1,L2
L1 : st2
BB2 jumpI L3
BB3 L2 : st3
BB4 L3 : st4
这里的com_LT是比较less than 如果r1比r2小 返回true到r3
cbr是condition branch 如果r3是true 走L1 否则走L2
BB代表的basic block 这里遇到分支branch 或 jump 或 一个新的label 都是一个basic block
Control Flow Graph(CFG)