通过添加SimplifyCFG来删除无用basicblock，解决支配树计算时的段错误
mem2reg 通过测试