test/Analysis/DependenceAnalysis/new-pm-invalidation.ll

   1 ; RUN: opt < %s -passes='require<da>,invalidate<scalar-evolution>,print<da>'   \
   2 ; RUN:   -disable-output -debug-pass-manager 2>&1 | FileCheck %s
   3
   4 ; CHECK: Running analysis: DependenceAnalysis on test_no_noalias
   5 ; CHECK: Running analysis: ScalarEvolutionAnalysis on test_no_noalias
   6 ; CHECK: Invalidating analysis: ScalarEvolutionAnalysis on test_no_noalias
   7 ; CHECK: Invalidating analysis: DependenceAnalysis on test_no_noalias
   8 ; CHECK: Running analysis: DependenceAnalysis on test_no_noalias
   9 ; CHECK: da analyze - none!
  10 ; CHECK: da analyze - confused!
  11 ; CHECK: da analyze - none!
  12 define void @test_no_noalias(i32* %A, i32* %B) {
  13   store i32 1, i32* %A
  14   store i32 2, i32* %B
  15   ret void
  16 }