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
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
18 ; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='print,verify' %s 2>&1 \
19 ; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY
20 ; CHECK-MODULE-VERIFY: Starting module pass manager
21 ; CHECK-MODULE-VERIFY: Running module pass: PrintModulePass
22 ; CHECK-MODULE-VERIFY: ModuleID
23 ; CHECK-MODULE-VERIFY: define void @foo()
24 ; CHECK-MODULE-VERIFY: Running module pass: VerifierPass
25 ; CHECK-MODULE-VERIFY: Finished module pass manager
27 ; RUN: opt -disable-output -debug-pass-manager -passes='function(print)' %s 2>&1 \
28 ; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PRINT
29 ; CHECK-FUNCTION-PRINT: Starting module pass manager
30 ; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass
31 ; CHECK-FUNCTION-PRINT: Starting function pass manager
32 ; CHECK-FUNCTION-PRINT: Running function pass: PrintFunctionPass
33 ; CHECK-FUNCTION-PRINT-NOT: ModuleID
34 ; CHECK-FUNCTION-PRINT: define void @foo()
35 ; CHECK-FUNCTION-PRINT: Finished function pass manager
36 ; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass
37 ; CHECK-FUNCTION-PRINT: Finished module pass manager
39 ; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='function(print,verify)' %s 2>&1 \
40 ; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY
41 ; CHECK-FUNCTION-VERIFY: Starting module pass manager
42 ; CHECK-FUNCTION-VERIFY: Starting function pass manager
43 ; CHECK-FUNCTION-VERIFY: Running function pass: PrintFunctionPass
44 ; CHECK-FUNCTION-VERIFY-NOT: ModuleID
45 ; CHECK-FUNCTION-VERIFY: define void @foo()
46 ; CHECK-FUNCTION-VERIFY: Running function pass: VerifierPass
47 ; CHECK-FUNCTION-VERIFY: Finished function pass manager
48 ; CHECK-FUNCTION-VERIFY: Finished module pass manager
50 ; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \
51 ; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
52 ; CHECK-NOOP: define void @foo() {
53 ; CHECK-NOOP: ret void
56 ; Round trip through bitcode.
57 ; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \
59 ; RUN: | FileCheck %s --check-prefix=CHECK-NOOP
61 ; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \
62 ; RUN: | FileCheck %s --check-prefix=CHECK-VERIFY-EACH
63 ; CHECK-VERIFY-EACH: Starting module pass manager
64 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass
65 ; CHECK-VERIFY-EACH: Running module pass: NoOpModulePass
66 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass
67 ; CHECK-VERIFY-EACH: Starting function pass manager
68 ; CHECK-VERIFY-EACH: Running function pass: NoOpFunctionPass
69 ; CHECK-VERIFY-EACH: Running function pass: VerifierPass
70 ; CHECK-VERIFY-EACH: Finished function pass manager
71 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass
72 ; CHECK-VERIFY-EACH: Finished module pass manager
74 ; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \
75 ; RUN: | FileCheck %s --check-prefix=CHECK-NO-VERIFY
76 ; CHECK-NO-VERIFY: Starting module pass manager
77 ; CHECK-NO-VERIFY-NOT: VerifierPass
78 ; CHECK-NO-VERIFY: Running module pass: NoOpModulePass
79 ; CHECK-NO-VERIFY-NOT: VerifierPass
80 ; CHECK-NO-VERIFY: Starting function pass manager
81 ; CHECK-NO-VERIFY: Running function pass: NoOpFunctionPass
82 ; CHECK-NO-VERIFY-NOT: VerifierPass
83 ; CHECK-NO-VERIFY: Finished function pass manager
84 ; CHECK-NO-VERIFY-NOT: VerifierPass
85 ; CHECK-NO-VERIFY: Finished module pass manager