test/Analysis/MemoryDependenceAnalysis/invalidation.ll

   1 ; Test that memdep gets invalidated when the analyses it depends on are
   2 ; invalidated.
   3 ;
   4 ; Check AA. AA is stateless, there's nothing to invalidate.
   5 ; RUN: opt -disable-output -debug-pass-manager -aa-pipeline='basic-aa' %s 2>&1 \
   6 ; RUN:     -passes='require<memdep>,invalidate<aa>,gvn' \
   7 ; RUN:     | FileCheck %s --check-prefix=CHECK-AA-INVALIDATE
   8 ; CHECK-AA-INVALIDATE: Running pass: RequireAnalysisPass
   9 ; CHECK-AA-INVALIDATE: Running analysis: MemoryDependenceAnalysis
  10 ; CHECK-AA-INVALIDATE: Running pass: InvalidateAnalysisPass
  11 ; CHECK-NOT-AA-INVALIDATE: Invalidating analysis: MemoryDependenceAnalysis
  12 ; CHECK-AA-INVALIDATE: Running pass: GVN
  13 ; CHECK-NOT-AA-INVALIDATE: Running analysis: MemoryDependenceAnalysis
  14 ;
  15 ; Check domtree specifically.
  16 ; RUN: opt -disable-output -debug-pass-manager %s 2>&1 \
  17 ; RUN:     -passes='require<memdep>,invalidate<domtree>,gvn' \
  18 ; RUN:     | FileCheck %s --check-prefix=CHECK-DT-INVALIDATE
  19 ; CHECK-DT-INVALIDATE: Running pass: RequireAnalysisPass
  20 ; CHECK-DT-INVALIDATE: Running analysis: MemoryDependenceAnalysis
  21 ; CHECK-DT-INVALIDATE: Running pass: InvalidateAnalysisPass
  22 ; CHECK-DT-INVALIDATE: Invalidating analysis: DominatorTreeAnalysis
  23 ; CHECK-DT-INVALIDATE: Invalidating analysis: MemoryDependenceAnalysis
  24 ; CHECK-DT-INVALIDATE: Running pass: GVN
  25 ; CHECK-DT-INVALIDATE: Running analysis: MemoryDependenceAnalysis
  26 ;
  27
  28 define void @test_use_domtree(i32* nocapture %bufUInt, i32* nocapture %pattern) nounwind {
  29 entry:
  30   br label %for.body
  31
  32 for.exit:                                         ; preds = %for.body
  33   ret void
  34
  35 for.body:                                         ; preds = %for.body, %entry
  36   %i.01 = phi i32 [ 0, %entry ], [ %tmp8.7, %for.body ]
  37   %arrayidx = getelementptr i32, i32* %bufUInt, i32 %i.01
  38   %arrayidx5 = getelementptr i32, i32* %pattern, i32 %i.01
  39   %tmp6 = load i32, i32* %arrayidx5, align 4
  40   store i32 %tmp6, i32* %arrayidx, align 4
  41   %tmp8.7 = add i32 %i.01, 8
  42   %cmp.7 = icmp ult i32 %tmp8.7, 1024
  43   br i1 %cmp.7, label %for.body, label %for.exit
  44 }
  45
  46 %t = type { i32 }
  47 declare void @foo(i8*)
  48
  49 define void @test_use_aa(%t* noalias %stuff ) {
  50 entry:
  51   %p = getelementptr inbounds %t, %t* %stuff, i32 0, i32 0
  52   %before = load i32, i32* %p
  53
  54   call void @foo(i8* null)
  55
  56   %after = load i32, i32* %p
  57   %sum = add i32 %before, %after
  58
  59   store i32 %sum, i32* %p
  60   ret void
  61 }