llvm/test/Other/new-pass-manager-verify-each.ll

   1 ; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,verify,cgscc(no-op-cgscc,function(no-op-function,loop(no-op-loop)))' %s 2>&1 | FileCheck %s
   2
   3 ; opt already manually verifies input IR
   4 ; CHECK-NOT: Running pass: VerifierPass
   5
   6 ; CHECK: Running pass: NoOpModulePass
   7 ; CHECK: Verifying module
   8 ; CHECK-NOT: Verifying module
   9 ; CHECK: Running pass: NoOpCGSCCPass
  10 ; CHECK: Verifying module
  11 ; CHECK-NOT: Verifying module
  12 ; CHECK: Running pass: NoOpFunctionPass
  13 ; CHECK: Verifying function foo
  14 ; CHECK: Running pass: LoopSimplifyPass
  15 ; CHECK: Verifying function foo
  16 ; CHECK: Running pass: LCSSAPass
  17 ; CHECK: Verifying function foo
  18 ; CHECK: Running pass: NoOpLoopPass
  19 ; CHECK: Verifying function foo
  20 ; CHECK-NOT: Verifying function
  21 ; CHECK-NOT: Verifying module
  22
  23 ; Added manually by opt at end
  24 ; CHECK: Running pass: VerifierPass
  25
  26 define void @foo(i1 %x, ptr %p1, ptr %p2) {
  27 entry:
  28   store i8 42, ptr %p1
  29   br i1 %x, label %loop, label %exit
  30
  31 loop:
  32   %tmp1 = load i8, ptr %p2
  33   br label %loop
  34
  35 exit:
  36   ret void
  37 }
  38
  39 declare void @bar()