- 只判断了 是不是cmp，没判断cmp的类型（因为有个二级enum类型，忘了判断）

* 待优化情况：
    - 可以对二元运算进行化简，比如 a+ a -> a<<2;
    - 添加对其他指令的模式识别并化简

* 解决的bug：
    - 自循环块在支配性分析时内存炸了.