使用LLVM到达定义

Question

我正在尝试实现“达到定义”的天真实现。但是，我无法浏览LLVM框架。我正在考虑如何首先获得基本块的GEN集，然后去KILL集（与天真算法中的方法相同）。

对此事项的任何指导表示赞赏。 感谢

Answer 1

达到定义分析并不真正适用于LLA IR这样的SSA格式语言，因为从未对之前定义的变量进行任何重新定义（或重新分配）。