40 lines · plain
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 %s2 3; opt already manually verifies input IR4; CHECK-NOT: Running pass: VerifierPass5 6; CHECK: Running pass: NoOpModulePass7; CHECK: Verifying module8; CHECK-NOT: Verifying module9; CHECK: Running pass: NoOpCGSCCPass10; CHECK: Verifying module11; CHECK-NOT: Verifying module12; CHECK: Running pass: NoOpFunctionPass13; CHECK: Verifying function foo14; CHECK: Running pass: LoopSimplifyPass15; CHECK: Verifying function foo16; CHECK: Running pass: LCSSAPass17; CHECK: Verifying function foo18; CHECK: Running pass: NoOpLoopPass19; CHECK: Verifying function foo20; CHECK-NOT: Verifying function21; CHECK-NOT: Verifying module22 23; Added manually by opt at end24; CHECK: Running pass: VerifierPass25 26define void @foo(i1 %x, ptr %p1, ptr %p2) {27entry:28 store i8 42, ptr %p129 br i1 %x, label %loop, label %exit30 31loop:32 %tmp1 = load i8, ptr %p233 br label %loop34 35exit:36 ret void37}38 39declare void @bar()40