llvm 分配依赖项

Question

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

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

在 target_load_instructions 使用的所有变量和所有分配的变量之间进行交集以识别公共部分的替代方法不是一种选择。因为可能会有类似：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

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