llvm/test/Other/new-pm-eager-invalidate.ll

   1 ; RUN: opt -disable-verify -debug-pass-manager -passes='function(require<no-op-function>)' -disable-output %s 2>&1 | FileCheck %s --check-prefix=NORMAL
   2 ; RUN: opt -disable-verify -debug-pass-manager -passes='cgscc(function(require<no-op-function>))' -disable-output %s 2>&1 | FileCheck %s --check-prefix=NORMAL
   3 ; RUN: opt -disable-verify -debug-pass-manager -passes='function<eager-inv>(require<no-op-function>)' -disable-output %s 2>&1 | FileCheck %s --check-prefix=EAGER
   4 ; RUN: opt -disable-verify -debug-pass-manager -passes='cgscc(function<eager-inv>(require<no-op-function>))' -disable-output %s 2>&1 | FileCheck %s --check-prefix=EAGER
   5
   6 ; RUN: opt -disable-verify -debug-pass-manager -passes='default<O2>' -eagerly-invalidate-analyses=0 -disable-output %s 2>&1 | FileCheck %s --check-prefix=PIPELINE
   7 ; RUN: opt -disable-verify -debug-pass-manager -passes='default<O2>' -eagerly-invalidate-analyses=1 -disable-output %s 2>&1 | FileCheck %s --check-prefix=PIPELINE-EAGER
   8
   9 ; NORMAL-NOT: Invalidating analysis: NoOpFunctionAnalysis
  10 ; EAGER: Invalidating analysis: NoOpFunctionAnalysis
  11 ; PIPELINE-NOT: Invalidating analysis: DominatorTreeAnalysis
  12 ; PIPELINE-EAGER: Invalidating analysis: DominatorTreeAnalysis
  13
  14 declare void @bar() local_unnamed_addr
  15
  16 define void @foo(i32 %n) local_unnamed_addr {
  17 entry:
  18   br label %loop
  19 loop:
  20   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
  21   %iv.next = add i32 %iv, 1
  22   tail call void @bar()
  23   %cmp = icmp eq i32 %iv, %n
  24   br i1 %cmp, label %exit, label %loop
  25 exit:
  26   ret void
  27 }