直接比对LLVM IR比源码或机器码更可靠，因其消除前后端差异、聚焦语义；需统一优化层级（推荐-O0）、过滤非确定性内容、用llvm-diff或opt-instnamer处理命名问题，并重点分析icmp操作数、phi入边、函数签名及隐式转换等真实行为变更点。
直接比对两个版本的 LLVM IR，比看机器码或源码更可靠——IR 剔除了编译器前端差异和后端目标细节，聚焦逻辑语义。关键不是“能不能比”，而是“怎么提取可比的 IR 片段”和“比什么才真正反映行为变化”。
怎么从两个编译版本中提取干净的 LLVM IR
必须确保 IR 是在相同优化层级下生成的，否则 opt -O2 和 opt -O0 的输出差异几乎全是优化引入的噪声，跟源码改动无关。
- 用
clang -S -emit-llvm -O0生成未优化 IR（推荐起点），避免-O1及以上自动内联、死代码消除等干扰 - 如果必须比优化后结果，两个版本都统一用
opt -O2 -S处理原始.bc文件，而不是依赖 clang 直接输出（clang 的-O2 -S -emit-llvm实际会多走一遍后端预处理） - 过滤掉非确定性内容：用
llvm-dis解析.bc后，用sed '/^;.*module.*$/d; /^;.*source.*$/d'删除注释行（含时间戳、路径、调试元数据），否则 diff 会因文件名/时间不同而误报
为什么不能直接 diff .ll 文件
LLVM IR 中的寄存器名（%1, %2）、基本块标签（entry:, if.end:）是编译器自动生成的，同一份源码两次编译可能分配完全不同的名字，导致文本 diff 看似大改，实则逻辑一致。
- 用
opt -strip-debug -strip-llvm-debug -S先清理调试信息，减少干扰 - 更可靠的做法：用
llvm-diff（LLVM 自带工具，非默认启用，需编译时开启LLVM_DYLIB=ON）——它基于 AST 结构比对，能识别%x = add i32 %a, %b和%tmp = add i32 %p, %q是等价运算 - 若
llvm-diff不可用，可先用opt -instnamer统一寄存器命名（如%add.0,%add.1），再 diff 文本，但注意它不重排指令顺序，控制流变化仍需人工核对
重点关注哪些 IR 差异才真正影响行为
不是所有 icmp、br、phi 的增删都代表逻辑变更。有些是优化副产物，有些才是真实改动点。
-
icmp指令本身不危险，但要看它的操作数来源：如果比较对象从常量（icmp eq i32 %0, 42）变成变量（icmp eq i32 %0, %1），说明分支条件泛化了 -
phi节点增加通常意味着控制流合并逻辑变复杂，比如从 if-else 简单二选一，变成 if-else-if 多路分支，需检查入边数量和值来源 - 函数签名变化（参数类型、返回类型、
attributes中的noalias/nonnull）直接影响调用方契约，比函数体内修改更严重 - 新增
call @__stack_chk_fail或@llvm.trap表明启用了栈保护或未定义行为检测，属于安全加固，不是 bug
最易被忽略的是隐式转换：比如旧版 IR 中 sext i8 %0 to i32 在新版里消失，可能因为前端改用了 int32_t 类型，也可能是优化消除了符号扩展——得回溯到源码确认意图，不能只信 IR 表象。
