test/Other/new-pass-manager.ll

   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 -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
  26
  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: Running module pass: ModuleToFunctionPassAdaptor
  32 ; CHECK-FUNCTION-PRINT: Running module analysis: FunctionAnalysisManagerModuleProxy
  33 ; CHECK-FUNCTION-PRINT: Starting function pass manager
  34 ; CHECK-FUNCTION-PRINT: Running function pass: PrintFunctionPass
  35 ; CHECK-FUNCTION-PRINT-NOT: ModuleID
  36 ; CHECK-FUNCTION-PRINT: define void @foo()
  37 ; CHECK-FUNCTION-PRINT: Finished function pass manager
  38 ; CHECK-FUNCTION-PRINT: Running module pass: VerifierPass
  39 ; CHECK-FUNCTION-PRINT: Finished module pass manager
  40
  41 ; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='function(print,verify)' %s 2>&1 \
  42 ; RUN:     | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY
  43 ; CHECK-FUNCTION-VERIFY: Starting module pass manager
  44 ; CHECK-FUNCTION-VERIFY: Starting function pass manager
  45 ; CHECK-FUNCTION-VERIFY: Running function pass: PrintFunctionPass
  46 ; CHECK-FUNCTION-VERIFY-NOT: ModuleID
  47 ; CHECK-FUNCTION-VERIFY: define void @foo()
  48 ; CHECK-FUNCTION-VERIFY: Running function pass: VerifierPass
  49 ; CHECK-FUNCTION-VERIFY: Finished function pass manager
  50 ; CHECK-FUNCTION-VERIFY: Finished module pass manager
  51
  52 ; RUN: opt -S -o - -passes='no-op-module,no-op-module' %s \
  53 ; RUN:     | FileCheck %s --check-prefix=CHECK-NOOP
  54 ; CHECK-NOOP: define void @foo() {
  55 ; CHECK-NOOP:   ret void
  56 ; CHECK-NOOP: }
  57
  58 ; Round trip through bitcode.
  59 ; RUN: opt -f -o - -passes='no-op-module,no-op-module' %s \
  60 ; RUN:     | llvm-dis \
  61 ; RUN:     | FileCheck %s --check-prefix=CHECK-NOOP
  62
  63 ; RUN: opt -disable-output -debug-pass-manager -verify-each -passes='no-op-module,function(no-op-function)' %s 2>&1 \
  64 ; RUN:     | FileCheck %s --check-prefix=CHECK-VERIFY-EACH
  65 ; CHECK-VERIFY-EACH: Starting module pass manager
  66 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass
  67 ; CHECK-VERIFY-EACH: Running module pass: NoOpModulePass
  68 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass
  69 ; CHECK-VERIFY-EACH: Starting function pass manager
  70 ; CHECK-VERIFY-EACH: Running function pass: NoOpFunctionPass
  71 ; CHECK-VERIFY-EACH: Running function pass: VerifierPass
  72 ; CHECK-VERIFY-EACH: Finished function pass manager
  73 ; CHECK-VERIFY-EACH: Running module pass: VerifierPass
  74 ; CHECK-VERIFY-EACH: Finished module pass manager
  75
  76 ; RUN: opt -disable-output -debug-pass-manager -disable-verify -passes='no-op-module,function(no-op-function)' %s 2>&1 \
  77 ; RUN:     | FileCheck %s --check-prefix=CHECK-NO-VERIFY
  78 ; CHECK-NO-VERIFY: Starting module pass manager
  79 ; CHECK-NO-VERIFY-NOT: VerifierPass
  80 ; CHECK-NO-VERIFY: Running module pass: NoOpModulePass
  81 ; CHECK-NO-VERIFY-NOT: VerifierPass
  82 ; CHECK-NO-VERIFY: Starting function pass manager
  83 ; CHECK-NO-VERIFY: Running function pass: NoOpFunctionPass
  84 ; CHECK-NO-VERIFY-NOT: VerifierPass
  85 ; CHECK-NO-VERIFY: Finished function pass manager
  86 ; CHECK-NO-VERIFY-NOT: VerifierPass
  87 ; CHECK-NO-VERIFY: Finished module pass manager
  88
  89 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
  90 ; RUN:     -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \
  91 ; RUN:     | FileCheck %s --check-prefix=CHECK-ANALYSES
  92 ; CHECK-ANALYSES: Starting module pass manager
  93 ; CHECK-ANALYSES: Running module pass: No-op Analysis Requirement Pass
  94 ; CHECK-ANALYSES: Running module analysis: NoOpModuleAnalysis
  95 ; CHECK-ANALYSES: Starting CGSCC pass manager
  96 ; CHECK-ANALYSES: Running CGSCC pass: No-op Analysis Requirement Pass
  97 ; CHECK-ANALYSES: Running CGSCC analysis: NoOpCGSCCAnalysis
  98 ; CHECK-ANALYSES: Starting function pass manager
  99 ; CHECK-ANALYSES: Running function pass: No-op Analysis Requirement Pass
 100 ; CHECK-ANALYSES: Running function analysis: NoOpFunctionAnalysis
 101
 102 ; Make sure no-op passes that preserve all analyses don't even try to do any
 103 ; analysis invalidation.
 104 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
 105 ; RUN:     -passes='require<no-op-module>,cgscc(require<no-op-cgscc>,function(require<no-op-function>))' %s 2>&1 \
 106 ; RUN:     | FileCheck %s --check-prefix=CHECK-NO-OP-INVALIDATION
 107 ; CHECK-NO-OP-INVALIDATION: Starting module pass manager
 108 ; CHECK-NO-OP-INVALIDATION-NOT: Invalidating all non-preserved analyses
 109
 110 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
 111 ; RUN:     -passes='require<no-op-module>,require<no-op-module>,require<no-op-module>' %s 2>&1 \
 112 ; RUN:     | FileCheck %s --check-prefix=CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS
 113 ; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Starting module pass manager
 114 ; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running module pass: No-op Analysis Requirement Pass
 115 ; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS: Running module analysis: NoOpModuleAnalysis
 116 ; CHECK-DO-CACHE-MODULE-ANALYSIS-RESULTS-NOT: Running module analysis: NoOpModuleAnalysis
 117
 118 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
 119 ; RUN:     -passes='require<no-op-module>,invalidate<no-op-module>,require<no-op-module>' %s 2>&1 \
 120 ; RUN:     | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS
 121 ; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Starting module pass manager
 122 ; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running module pass: No-op Analysis Requirement Pass
 123 ; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running module analysis: NoOpModuleAnalysis
 124 ; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Invalidating module analysis: NoOpModuleAnalysis
 125 ; CHECK-DO-INVALIDATE-MODULE-ANALYSIS-RESULTS: Running module analysis: NoOpModuleAnalysis
 126
 127 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
 128 ; RUN:     -passes='cgscc(require<no-op-cgscc>,require<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
 129 ; RUN:     | FileCheck %s --check-prefix=CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS
 130 ; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Starting CGSCC pass manager
 131 ; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running CGSCC pass: No-op Analysis Requirement Pass
 132 ; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS: Running CGSCC analysis: NoOpCGSCCAnalysis
 133 ; CHECK-DO-CACHE-CGSCC-ANALYSIS-RESULTS-NOT: Running CGSCC analysis: NoOpCGSCCAnalysis
 134
 135 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
 136 ; RUN:     -passes='cgscc(require<no-op-cgscc>,invalidate<no-op-cgscc>,require<no-op-cgscc>)' %s 2>&1 \
 137 ; RUN:     | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS
 138 ; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Starting CGSCC pass manager
 139 ; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running CGSCC pass: No-op Analysis Requirement Pass
 140 ; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running CGSCC analysis: NoOpCGSCCAnalysis
 141 ; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Invalidating CGSCC analysis: NoOpCGSCCAnalysis
 142 ; CHECK-DO-INVALIDATE-CGSCC-ANALYSIS-RESULTS: Running CGSCC analysis: NoOpCGSCCAnalysis
 143
 144 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
 145 ; RUN:     -passes='function(require<no-op-function>,require<no-op-function>,require<no-op-function>)' %s 2>&1 \
 146 ; RUN:     | FileCheck %s --check-prefix=CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS
 147 ; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Starting function pass manager
 148 ; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running function pass: No-op Analysis Requirement Pass
 149 ; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS: Running function analysis: NoOpFunctionAnalysis
 150 ; CHECK-DO-CACHE-FUNCTION-ANALYSIS-RESULTS-NOT: Running function analysis: NoOpFunctionAnalysis
 151
 152 ; RUN: opt -disable-output -debug-pass-manager -debug-cgscc-pass-manager \
 153 ; RUN:     -passes='function(require<no-op-function>,invalidate<no-op-function>,require<no-op-function>)' %s 2>&1 \
 154 ; RUN:     | FileCheck %s --check-prefix=CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS
 155 ; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Starting function pass manager
 156 ; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running function pass: No-op Analysis Requirement Pass
 157 ; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running function analysis: NoOpFunctionAnalysis
 158 ; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Invalidating function analysis: NoOpFunctionAnalysis
 159 ; CHECK-DO-INVALIDATE-FUNCTION-ANALYSIS-RESULTS: Running function analysis: NoOpFunctionAnalysis
 160
 161 define void @foo() {
 162   ret void
 163 }