1 ; This test is essentially doing very basic things with the opt tool and the 2 ; new pass manager pipeline. It will be used to flesh out the feature 3 ; completeness of the opt tool when the new pass manager is engaged. The tests 4 ; may not be useful once it becomes the default or may get spread out into other 5 ; files, but for now this is just going to step the new process through its 6 ; paces. 7 8 ; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \ 9 ; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PRINT 10 ; CHECK-MODULE-PRINT: Starting module pass manager 11 ; CHECK-MODULE-PRINT: Running module pass: VerifierPass 12 ; CHECK-MODULE-PRINT: Running module pass: PrintModulePass 13 ; CHECK-MODULE-PRINT: ModuleID 14 ; CHECK-MODULE-PRINT: define void @foo() 15 ; CHECK-MODULE-PRINT: Running module pass: VerifierPass 16 ; CHECK-MODULE-PRINT: Finished module pass manager 17 18 ; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \ 19 ; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT 20 ; CHECK-FUNCTION-PRINT: Starting module pass manager 21 ; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass 22 ; CHECK-FUNCTION-PRINT: Starting function pass manager 23 ; CHECK-FUNCTION-PRINT: Running function pass: PrintFunctionPass 24 ; CHECK-FUNCTION-PRINT-NOT: ModuleID 25 ; CHECK-FUNCTION-PRINT: define void @foo() 26 ; CHECK-FUNCTION-PRINT: Finished function pass manager 27 ; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass 28 ; CHECK-FUNCTION-PRINT: Finished module pass manager 29 30 ; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \ 31 ; RUN: | FileCheck %s --check-prefix=CHECK-NOOP 32 ; CHECK-NOOP: define void @foo() { 33 ; CHECK-NOOP: ret void 34 ; CHECK-NOOP: } 35 36 ; Round trip through bitcode. 37 ; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \ 38 ; RUN: | llvm-dis \ 39 ; RUN: | FileCheck %s --check-prefix=CHECK-NOOP 40 41 ; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \ 42 ; RUN: | FileCheck %s --check-prefix=CHECK-VERIFY-EACH 43 ; CHECK-VERIFY-EACH: Starting module pass manager 44 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass 45 ; CHECK-VERIFY-EACH: Running module pass: NoOpModulePass 46 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass 47 ; CHECK-VERIFY-EACH: Starting function pass manager 48 ; CHECK-VERIFY-EACH: Running function pass: NoOpFunctionPass 49 ; CHECK-VERIFY-EACH: Running function pass: VerifierPass 50 ; CHECK-VERIFY-EACH: Finished function pass manager 51 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass 52 ; CHECK-VERIFY-EACH: Finished module pass manager 53 54 ; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \ 55 ; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY 56 ; CHECK-NO-VERIFY: Starting module pass manager 57 ; CHECK-NO-VERIFY-NOT: VerifierPass 58 ; CHECK-NO-VERIFY: Running module pass: NoOpModulePass 59 ; CHECK-NO-VERIFY-NOT: VerifierPass 60 ; CHECK-NO-VERIFY: Starting function pass manager 61 ; CHECK-NO-VERIFY: Running function pass: NoOpFunctionPass 62 ; CHECK-NO-VERIFY-NOT: VerifierPass 63 ; CHECK-NO-VERIFY: Finished function pass manager 64 ; CHECK-NO-VERIFY-NOT: VerifierPass 65 ; CHECK-NO-VERIFY: Finished module pass manager 66 67 define void @foo() { 68 ret void 69 } 70
