回溯变量的使用和依赖关系的算法

Question

我正在扩展 LLVM 以进行实验。因此，我想跟踪一个变量的使用及其依赖关系。

例如，在找到由比较两个操作数引起的条件分支后，我想回溯该变量的所有用法并确定其所有依赖项(哪些变量用于计算条件的操作数)。对我来说，这似乎是某种递归回溯操作。

是否有专门针对该问题的特殊算法？

Answer 1

你要的叫“达到定义”。这些是对其值“达到”感兴趣的语句或表达式的变量的赋值(或副作用)。

参见 https://en.wikipedia.org/wiki/Reaching_definition有关如何计算它们的更多讨论和算法(以及任何经典编译器教科书)。

我希望 LLVM 有一些内置机制来帮助计算这个。我不是 LLVM 专家，所以我可能是错的。