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