llvm - 从 LLVM 获取“最小”SSA

Question

LLVM 的opt -S -mem2reg通行证产生所谓的“修剪”SSA - 删除了所有死phi函数的形式。我想将这些phi指令保留在 IR 中，以获得“最小”的 SSA，但我找不到一个简单的方法来做到这一点。

我注定要从头开始实现整个 SSA 构造算法，还是有办法使用现有工具来实现？

Answer 1

LLVM 不支持形成除经过修剪的 SSA 形式之外的任何东西，并且不太可能发展这种机制。在进行 phi 放置时，我们甚至不做综合这些信息的工作。