我正在尝试从我的传递中确定某些 Load 指令,它们对应的 Alloca 指令(可以在其他先前的 block 中)。链可以是这样的:TargetLoad(var) -> other stores/loads that use var (or dependencies on var) -> alloca(var).
,链接在几个基本 block 上。你知道我该怎么做吗?
我尝试使用 DependenceAnalysis 和 MemoryDependenceAnalysis 中的方法,但结果不正确。例如,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 之间没有依赖关系。也许依赖关系不是基于使用的变量/内存位置?
感谢您的任何建议!
最佳答案
首先,使用 getOperand(0)
或 getOperand(1)
ICMP 指令。如果有isa<LoadInst>
有效,然后将它们转换为 LoadInst
. getPointerOperand()
将获得 Value* ,它是被搜索的实际变量。
其次,在加载指令和 Alloca
之间执行相同的过程。指示。 getOperand(0)
应用于 Load 给出相应的 Alloca
操作说明。
最后,通过检查依赖关系将两个结果链接在一起。
关于llvm 分配依赖项,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14437555/