顾名思义，Mem2Reg的意思是我们可以通过维护每个函数中局部变量被赋值之后产生的副本来消除对其alloca，而后进行一系列load/store的过程（众所周知这一类操作是需要更多时间的）。