mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
003ef14be1
various opt verifier commandline options. Mostly mechanical wiring of the verifier to the new pass manager. Exercises one of the more unusual aspects of it -- a pass can be either a module or function pass interchangably. If this is ever problematic, we can make things more constrained, but for things like the verifier where there is an "obvious" applicability at both levels, it seems convenient. This is the next-to-last piece of basic functionality left to make the opt commandline driving of the new pass manager minimally functional for testing and further development. There is still a lot to be done there (notably the factoring into .def files to kill the current boilerplate code) but it is relatively uninteresting. The only interesting bit left for minimal functionality is supporting the registration of analyses. I'm planning on doing that on top of the .def file switch mostly because the boilerplate for the analyses would be significantly worse. llvm-svn: 199646
70 lines
3.2 KiB
LLVM
70 lines
3.2 KiB
LLVM
; 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
|
|
}
|