llvm - LLVM IR 上的 Phi 指令

Question

有什么方法可以获取 .ll 文件的“phi”指令吗？

对于以下代码部分，我没有得到任何“phi”指令在字节码上:

int y, z;
y = f;

if (y < 0)
    z = y + 1;
else
    z = y + 2;
return z;

我知道我可以使用传递“-mem2reg”，但我希望，如果可能的话，能够在字节码上看到 phi 指令。

Answer 1

LLVM 中的虚拟寄存器是 SSA 形式，而内存单元不是。对于 Clang 等 LLVM 前端，不必关心 SSA 形式很方便。如果我使用 Clang 将 C 代码编译为 LLVM IR，则所有变量都分配在堆栈上。不需要 SSA 形式，因为 z 位于内存中。

如果你使用

opt -mem2reg -S example.ll -o example-opt.ll

正如前面评论中所建议的那样，z 不再分配在堆栈上，而是分配在虚拟寄存器中。因此，您还将看到一个 phi 指令，用于您的示例以维护 SSA 形式。