我正在尝试通过我传递的相应Alloca指令（可以在其他以前的块中）确定某些Load指令。链可以是：TargetLoad(var) -> other stores/loads that use var (or dependencies on var) -> alloca(var).，链接在几个基本块上。你知道我该怎么办？
我尝试使用DependenceAnalysis和MemoryDependenceAnalysis中的方法，但结果不正确。例如，MemoryDependenceAnalysis::getDependency应该适用于选项“Def”，但仅适用于商店，而不适用于加载。此外，我在尝试使用MemoryDependenceAnalysis::getNonLocalPointerDependency或MemoryDependenceAnalysis::getPointerDependencyFrom时遇到了段错误。当我尝试使用MemDepResult :: getDef（）检查我的结果时，Load指令的结果是相同的指令！所以它取决于它自己，这很奇怪，因为它使用的是先前在代码中定义的变量。
在target_load_instructions和所有已分配变量使用的所有变量之间建立交集以识别公共部分的替代方法不是一种选择。因为可能有类似的内容：alloca(a) ... c=a*b+4 .... load(c)。
DependenceAnalysis :: depends（）似乎也不适合我的传球。下一行代码仅供参考：if(DA.depends(allocaInstrArray[i],loadInstrArray[j],true))始终为false。在某些情况下应该是这样。我想我没有正确使用它。
然而，我假设可能依赖（）不适用于Alloca。所以我检查了数组中保存的所有Load指令之间的依赖关系。某些结果不是基于加载的变量。例如：LOAD %3 = load i32* %c, align 4 IS DEPENDENT ON %1 = load i32* %j, align 4。如您所见，一个正在加载c，一个正在加载j。在我的Test.cpp目标代码中，j和c之间没有依赖关系。也许依赖性不是基于使用的变量/内存位置？
感谢您的任何建议！
答案 0 :(得分：1)
首先，使用ICMP说明的getOperand(0)或getOperand(1)。如果isa<LoadInst>有效，请将其转换为LoadInst。 getPointerOperand()将获得Value *，它是搜索的实际变量。
其次，在加载指令和Alloca指令之间执行相同的过程。在Load上应用的getOperand(0)会给出相应的Alloca指令。
最后，通过检查依赖关系将两个结果链接在一起。