如何从LLVM的MemoryDe​​pendenceAnalysis传递中获得更好的结果？

Question

我正在尝试在我正在使用的自定义LLVM传递中使用LLVM内置MemoryDe​​pendenceAnalysis（MDA）的结果。给定一些从内存中读取的指令（例如，load），我希望MDA告诉我所有先前的指令，这些指令可能已经定义或Clobbered它。如果我对MDA文档的理解正确地为我服务，MDA应该能够给我这个信息。但是，我很难从中获得所需的精度。这是我一直在玩的简单测试程序的相关片段：

%1 = alloca i32, align 4
%result = alloca i32, align 4
%x = alloca i32, align 4
%xp = alloca i32*, align 8
store i32 0, i32* %1
store i32 5, i32* %result, align 4, !dbg !14
store i32 7, i32* %x, align 4, !dbg !16
store i32* %x, i32** %xp, align 8, !dbg !19
%2 = load i32* %x, align 4, !dbg !20
%3 = icmp eq i32 %2, 4, !dbg !20
br i1 %3, label %4, label %7, !dbg !22, !dataware.bbuid !23 

; <label>:4                                       ; preds = %0 
%5 = load i32** %xp, align 8, !dbg !24
%6 = load i32* %5, align 4, !dbg !26
store i32 %6, i32* %result, align 4, !dbg !27
br label %8, !dbg !28, !dataware.bbuid !29

; <label>:7                                       ; preds = %0
store i32 42, i32* %result, align 4, !dbg !30
br label %8, !dataware.bbuid !32

用于运行分析的命令：

opt-3.6 -enable-tbaa -tbaa -basicaa -libcall-aa -scev-aa -globalsmodref-aa -domtree -memdep -print-memdeps -gvn -analyze test.bc

对于某些说明，我正在按预期获得结果。例如，它告诉我%5 = load i32** %xp依赖于store i32* %x, i32** %xp。但是，它并不确定%6 = load i32* %5是否依赖store i32 7, i32* %x。这是输出的片段：

  Def in block %0 from:   store i32* %x, i32** %xp, align 8, !dbg !19
%5 = load i32** %xp, align 8, !dbg !24

  Unknown in block %4
%6 = load i32* %5, align 4, !dbg !26

后一种情况（它显然不知道如何推理）似乎应该很容易检测，即使是次优的别名分析。我该如何调查为什么MDA的结果是次优的？您是否有获得更精确结果的建议？我可以添加一些额外的分析过程以使MDA更好地工作吗？我使用的是opt 3.6.0 - 自从这个版本发布以来，MDA可能已经有所改进了吗？

感谢。

Answer 1

我得到了与你获得的相同的结果。您可以使用更简单的指针分析结果来推断％5和％x mayalias，这反过来推断可能从％5加载到％x的商店。

opt -basicaa -aa-eval -print-all-alias-modref-info test.bc -disable-output

MayAlias：i32 *％5，i32 *％x