LLVM执行mem2reg pass时如何识别引用j与变量i等价？

要理解这个等价性判断的来源，我们可以从IR生成和mem2reg pass的执行逻辑两部分拆解：

1. 前端IR生成的底层表现 #

C++中的引用j在Clang生成未优化的初始IR时，本质就是一个存储了变量i的栈内存地址的指针常量，初始未优化IR中会包含两个alloca指令：

• 给i分配的int类型栈内存
• 给j分配的int*类型栈内存，初始化时直接存入i的alloca返回的地址

2. mem2reg pass依赖的核心分析能力 #

你看到的等价性识别是Promote Memory to Register（即-mem2reg pass）结合其依赖的两项分析共同完成的：

• 支配树构造（Dominator Tree Construction）：用来确定变量定义点对所有使用点的支配关系，保证后续值替换的安全性，避免出现使用前未定义的非法情况，这是mem2reg实现SSA构造的基础依赖，你的日志中也能看到mem2reg执行前会先运行该分析。
• 基础无状态别名分析（Basic Alias Analysis）：mem2reg处理栈内存的load/store操作时，别名分析会判断从j的栈内存中load出来的指针，和i的alloca返回的地址是完全等价的别名关系，也就是说所有对j指向地址的写入操作，本质就是对i的栈内存的写入。

基于这两项分析，mem2reg可以把i和j的所有读写操作合并为同一个SSA值进行提升，最终你看到的优化后IR中就没有了对应的栈内存操作，直接返回常量10。你观察到的llvm.dbg.value是调试信息专用指令，仅用来保留源码变量和IR值的映射关系，不影响实际执行逻辑。

内容的提问来源于stack exchange，提问作者Taik-Dai