从LLVM获得“最小”SSA

Question

LLVM的opt -S -mem2reg传递产生所谓的"pruned" SSA - 删除了所有死 phi 函数的形式。我想在IR中保留那些 phi 指令，获得“最小”SSA，但我没有找到一个简单的方法来做到这一点。

我是否注定要从头开始实施整个SSA构造算法，或者有一种方法可以使用现有工具吗？

Answer 1

除了修剪过的SSA形式之外，LLVM还没有任何形式的支持，并且不太可能增加这样的机制。在进行phi放置时，我们甚至不会做合成这些信息的工作。