diff options
Diffstat (limited to 'test/Other/new-pass-manager.ll')
-rw-r--r-- | test/Other/new-pass-manager.ll | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/test/Other/new-pass-manager.ll b/test/Other/new-pass-manager.ll new file mode 100644 index 0000000..cec01b5 --- /dev/null +++ b/test/Other/new-pass-manager.ll @@ -0,0 +1,69 @@ +; This test is essentially doing very basic things with the opt tool and the +; new pass manager pipeline. It will be used to flesh out the feature +; completeness of the opt tool when the new pass manager is engaged. The tests +; may not be useful once it becomes the default or may get spread out into other +; files, but for now this is just going to step the new process through its +; paces. + +; RUN: opt -disable-output -debug-pass-manager -passes=print %s 2>&1 \ +; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PRINT +; CHECK-MODULE-PRINT: Starting module pass manager +; CHECK-MODULE-PRINT: Running module pass: VerifierPass +; CHECK-MODULE-PRINT: Running module pass: PrintModulePass +; CHECK-MODULE-PRINT: ModuleID +; CHECK-MODULE-PRINT: define void @foo() +; CHECK-MODULE-PRINT: Running module pass: VerifierPass +; CHECK-MODULE-PRINT: Finished module pass manager + +; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \ +; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT +; CHECK-FUNCTION-PRINT: Starting module pass manager +; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass +; CHECK-FUNCTION-PRINT: Starting function pass manager +; CHECK-FUNCTION-PRINT: Running function pass: PrintFunctionPass +; CHECK-FUNCTION-PRINT-NOT: ModuleID +; CHECK-FUNCTION-PRINT: define void @foo() +; CHECK-FUNCTION-PRINT: Finished function pass manager +; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass +; CHECK-FUNCTION-PRINT: Finished module pass manager + +; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \ +; RUN: | FileCheck %s --check-prefix=CHECK-NOOP +; CHECK-NOOP: define void @foo() { +; CHECK-NOOP: ret void +; CHECK-NOOP: } + +; Round trip through bitcode. +; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \ +; RUN: | llvm-dis \ +; RUN: | FileCheck %s --check-prefix=CHECK-NOOP + +; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \ +; RUN: | FileCheck %s --check-prefix=CHECK-VERIFY-EACH +; CHECK-VERIFY-EACH: Starting module pass manager +; CHECK-VERIFY-EACH: Running module pass: VerifierPass +; CHECK-VERIFY-EACH: Running module pass: NoOpModulePass +; CHECK-VERIFY-EACH: Running module pass: VerifierPass +; CHECK-VERIFY-EACH: Starting function pass manager +; CHECK-VERIFY-EACH: Running function pass: NoOpFunctionPass +; CHECK-VERIFY-EACH: Running function pass: VerifierPass +; CHECK-VERIFY-EACH: Finished function pass manager +; CHECK-VERIFY-EACH: Running module pass: VerifierPass +; CHECK-VERIFY-EACH: Finished module pass manager + +; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \ +; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY +; CHECK-NO-VERIFY: Starting module pass manager +; CHECK-NO-VERIFY-NOT: VerifierPass +; CHECK-NO-VERIFY: Running module pass: NoOpModulePass +; CHECK-NO-VERIFY-NOT: VerifierPass +; CHECK-NO-VERIFY: Starting function pass manager +; CHECK-NO-VERIFY: Running function pass: NoOpFunctionPass +; CHECK-NO-VERIFY-NOT: VerifierPass +; CHECK-NO-VERIFY: Finished function pass manager +; CHECK-NO-VERIFY-NOT: VerifierPass +; CHECK-NO-VERIFY: Finished module pass manager + +define void @foo() { + ret void +} |