创建 LLVM 分析通道

Question

我想创建一个分析通道，它的使用方式与 LLVM 附带的“预制”分析通道相同，即使用 getAnalysisUsage 等。

我真的很难找到关于如何做到这一点的文档，或者做类似的事情。

我确信这是一个相当复杂的过程，但即使是指向正确程序的链接也是非常宝贵的。我确定我不是唯一遇到此问题的人，因此这对其他人也有帮助。

Answer 1

分析只是一个不修改字节码并存储可以稍后检索的内部状态的过程。

所以你需要做的就是编写一个 LLVM pass，将其注册为分析（RegisterPass 的第三个和第四个参数设置为true），并提供一个公共方法来访问内部状态。

附在october 2015 LLVM Developper meeting 提供的教程中，有一个 git repo。您会对以下内容感兴趣：

• header
• implementation

• code of a pass using the analysis，尤其是。的定义

  void getAnalysisUsage(AnalysisUsage const &) const override;
  

  和调用

  getAnalysis<ReachableIntegerValuesPass>()