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

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