mem2Reg-ConstProp This is a llvm pass that combimnes constant propagation and mem2reg passes. Please read the report for more details.