我正在尝试从我的传递中确定某些 Load 指令，它们对应的 Alloca 指令（可以在其他先前的块中）。链可以类似于 : TargetLoad(var) -> other stores/loads that use var (or dependencies on var) -> alloca(var).，链接在几个基本块上。你知道我该怎么做吗？
我尝试使用 DependenceAnalysis 和 MemoryDependenceAnalysis 中的方法，但结果不正确。例如，MemoryDependenceAnalysis::getDependency选项“Def”应该很好，但仅适用于商店，不适用于加载。我在尝试使用MemoryDependenceAnalysis::getNonLocalPointerDependencyor时也有段错误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 之间没有依赖关系。也许依赖关系不是基于使用的变量/内存位置？
感谢您的任何建议！