编译器-条件/循环代码生成

条件判断语句的代码生成

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）