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; Added manually by opt at beginning 4; CHECK: 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 26define void @foo(i1 %x, i8* %p1, i8* %p2) { 27entry: 28 store i8 42, i8* %p1 29 br i1 %x, label %loop, label %exit 30 31loop: 32 %tmp1 = load i8, i8* %p2 33 br label %loop 34 35exit: 36 ret void 37} 38 39declare void @bar() 40