// Mem2Reg（SSA 构造）：
// - 将局部变量的 alloca/load/store 提升为 SSA 形式
// - 插入 PHI 并重写使用，依赖支配树等分析