llvm 分配依赖项

Question

我正在尝试从我的传递中确定某些 Load 指令，它们对应的 Alloca 指令(可以在其他先前的 block 中)。链可以是这样的:TargetLoad(var) -> other stores/loads that use var (or dependencies on var) -> alloca(var). ，链接在几个基本 block 上。你知道我该怎么做吗？

我尝试使用 DependenceAnalysis 和 MemoryDe​​pendenceAnalysis 中的方法，但结果不正确。例如，MemoryDependenceAnalysis::getDependency选项“Def”应该很好，但仅适用于商店，不适用于负载。我在尝试使用 MemoryDependenceAnalysis::getNonLocalPointerDependency 时也遇到了段错误。或 MemoryDependenceAnalysis::getPointerDependencyFrom .当我尝试使用 MemDepResult::getDef() 检查结果时，加载指令的结果是相同的指令!所以它取决于它自己，这很奇怪，因为它使用的是之前在代码中定义的变量。

在 target_load_instructions 使用的所有变量和所有分配的变量之间进行交集以识别公共(public)部分的替代方法不是一种选择。因为可能有这样的东西:alloca(a) ... c=a*b+4 .... load(c) .

似乎 DependenceAnalysis::depends() 也不适合我的通行证。下一行代码仅供引用:if(DA.depends(allocaInstrArray[i],loadInstrArray[j],true))总是假的。在几种情况下应该是正确的。我想我没有正确使用它。

但是，我假设可能 depends() 不适用于 Alloca。所以我检查了保存在数组中的所有加载指令之间的依赖关系。某些结果并非应有的基于加载的变量。例如:LOAD %3 = load i32* %c, align 4 IS DEPENDENT ON %1 = load i32* %j, align 4 .如您所见，一个正在加载 c，一个正在加载 j。在我的 Test.cpp 目标代码中，j 和 c 之间没有依赖关系。也许依赖关系不是基于使用的变量/内存位置？

感谢您的任何建议!

Answer 1

首先，使用 getOperand(0)或 getOperand(1) ICMP 指令。如果有isa<LoadInst>有效，然后将它们转换为 LoadInst . getPointerOperand()将获得 Value* ，它是被搜索的实际变量。
其次，在加载指令和 Alloca 之间执行相同的过程。指示。 getOperand(0)应用于 Load 给出相应的 Alloca操作说明。
最后，通过检查依赖关系将两个结果链接在一起。