从LLVM获取“最小”SSA

Question

LLVM的opt -S -mem2reg传递生成所谓的“修剪”SSA --该表单删除了所有已死的phi函数。我想将这些phi指令保存在IR中，获得“最小”的SSA，但是我没有找到一个简单的方法来实现它。

我是注定要从头开始实现整个SSA构造算法，还是有一种方法可以用现有的工具来实现？

Answer 1

除了修剪的SSA表单之外，LLVM不支持任何其他形式的形成，并且不太可能形成这样的机制。我们甚至在做phi放置的时候甚至都不做合成这些信息的工作。