Chris Lattner | 27dd642 | 2003-12-28 07:59:53 +0000 | [diff] [blame] | 1 | //===-- Passes.cpp - Target independent code generation passes ------------===// |
Misha Brukman | 835702a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 2 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | 835702a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 7 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Alkis Evlogimenos | 5facafa | 2003-10-02 16:57:49 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file defines interfaces to access the target independent code |
| 11 | // generation passes provided by the LLVM backend. |
| 12 | // |
| 13 | //===---------------------------------------------------------------------===// |
| 14 | |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/Passes.h" |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 16 | #include "llvm/Analysis/Passes.h" |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/RegAllocRegistry.h" |
Chandler Carruth | b8ddc70 | 2014-01-12 11:10:32 +0000 | [diff] [blame] | 19 | #include "llvm/IR/IRPrintingPasses.h" |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 20 | #include "llvm/IR/LegacyPassManager.h" |
Chandler Carruth | 5ad5f15 | 2014-01-13 09:26:24 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Verifier.h" |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 22 | #include "llvm/MC/MCAsmInfo.h" |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 23 | #include "llvm/Support/CommandLine.h" |
| 24 | #include "llvm/Support/Debug.h" |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 25 | #include "llvm/Support/ErrorHandling.h" |
Benjamin Kramer | 799003b | 2015-03-23 19:32:43 +0000 | [diff] [blame] | 26 | #include "llvm/Support/raw_ostream.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 27 | #include "llvm/Transforms/Scalar.h" |
Saleem Abdulrasool | 5898e09 | 2014-11-07 21:32:08 +0000 | [diff] [blame] | 28 | #include "llvm/Transforms/Utils/SymbolRewriter.h" |
Jim Laskey | 95eda5b | 2006-08-01 14:21:23 +0000 | [diff] [blame] | 29 | |
Chris Lattner | 27dd642 | 2003-12-28 07:59:53 +0000 | [diff] [blame] | 30 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 31 | |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 32 | static cl::opt<bool> DisablePostRA("disable-post-ra", cl::Hidden, |
| 33 | cl::desc("Disable Post Regalloc")); |
| 34 | static cl::opt<bool> DisableBranchFold("disable-branch-fold", cl::Hidden, |
| 35 | cl::desc("Disable branch folding")); |
| 36 | static cl::opt<bool> DisableTailDuplicate("disable-tail-duplicate", cl::Hidden, |
| 37 | cl::desc("Disable tail duplication")); |
| 38 | static cl::opt<bool> DisableEarlyTailDup("disable-early-taildup", cl::Hidden, |
| 39 | cl::desc("Disable pre-register allocation tail duplication")); |
Chandler Carruth | 4190b50 | 2012-04-16 13:49:17 +0000 | [diff] [blame] | 40 | static cl::opt<bool> DisableBlockPlacement("disable-block-placement", |
Benjamin Kramer | 70671b9 | 2013-03-29 17:14:24 +0000 | [diff] [blame] | 41 | cl::Hidden, cl::desc("Disable probability-driven block placement")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 42 | static cl::opt<bool> EnableBlockPlacementStats("enable-block-placement-stats", |
| 43 | cl::Hidden, cl::desc("Collect probability-driven block placement stats")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 44 | static cl::opt<bool> DisableSSC("disable-ssc", cl::Hidden, |
| 45 | cl::desc("Disable Stack Slot Coloring")); |
| 46 | static cl::opt<bool> DisableMachineDCE("disable-machine-dce", cl::Hidden, |
| 47 | cl::desc("Disable Machine Dead Code Elimination")); |
Jakob Stoklund Olesen | 0f6e8bb | 2012-10-03 00:51:32 +0000 | [diff] [blame] | 48 | static cl::opt<bool> DisableEarlyIfConversion("disable-early-ifcvt", cl::Hidden, |
| 49 | cl::desc("Disable Early If-conversion")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 50 | static cl::opt<bool> DisableMachineLICM("disable-machine-licm", cl::Hidden, |
| 51 | cl::desc("Disable Machine LICM")); |
| 52 | static cl::opt<bool> DisableMachineCSE("disable-machine-cse", cl::Hidden, |
| 53 | cl::desc("Disable Machine Common Subexpression Elimination")); |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 54 | static cl::opt<cl::boolOrDefault> |
Quentin Colombet | 61b305e | 2015-05-05 17:38:16 +0000 | [diff] [blame] | 55 | EnableShrinkWrapOpt("enable-shrink-wrap", cl::Hidden, |
| 56 | cl::desc("enable the shrink-wrapping pass")); |
| 57 | static cl::opt<cl::boolOrDefault> OptimizeRegAlloc( |
| 58 | "optimize-regalloc", cl::Hidden, |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 59 | cl::desc("Enable optimized register allocation compilation path.")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 60 | static cl::opt<bool> DisablePostRAMachineLICM("disable-postra-machine-licm", |
| 61 | cl::Hidden, |
| 62 | cl::desc("Disable Machine LICM")); |
| 63 | static cl::opt<bool> DisableMachineSink("disable-machine-sink", cl::Hidden, |
| 64 | cl::desc("Disable Machine Sinking")); |
| 65 | static cl::opt<bool> DisableLSR("disable-lsr", cl::Hidden, |
| 66 | cl::desc("Disable Loop Strength Reduction Pass")); |
Juergen Ributzka | f26beda | 2014-01-25 02:02:55 +0000 | [diff] [blame] | 67 | static cl::opt<bool> DisableConstantHoisting("disable-constant-hoisting", |
| 68 | cl::Hidden, cl::desc("Disable ConstantHoisting")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 69 | static cl::opt<bool> DisableCGP("disable-cgp", cl::Hidden, |
| 70 | cl::desc("Disable Codegen Prepare")); |
| 71 | static cl::opt<bool> DisableCopyProp("disable-copyprop", cl::Hidden, |
Evan Cheng | 63618f9 | 2012-02-20 23:28:17 +0000 | [diff] [blame] | 72 | cl::desc("Disable Copy Propagation pass")); |
James Molloy | bc9fed8 | 2014-07-23 13:33:00 +0000 | [diff] [blame] | 73 | static cl::opt<bool> DisablePartialLibcallInlining("disable-partial-libcall-inlining", |
| 74 | cl::Hidden, cl::desc("Disable Partial Libcall Inlining")); |
Sanjoy Das | 69fad07 | 2015-06-15 18:44:27 +0000 | [diff] [blame] | 75 | static cl::opt<bool> EnableImplicitNullChecks( |
| 76 | "enable-implicit-null-checks", |
| 77 | cl::desc("Fold null checks into faulting memory operations"), |
| 78 | cl::init(false)); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 79 | static cl::opt<bool> PrintLSR("print-lsr-output", cl::Hidden, |
| 80 | cl::desc("Print LLVM IR produced by the loop-reduce pass")); |
| 81 | static cl::opt<bool> PrintISelInput("print-isel-input", cl::Hidden, |
| 82 | cl::desc("Print LLVM IR input to isel pass")); |
| 83 | static cl::opt<bool> PrintGCInfo("print-gc", cl::Hidden, |
| 84 | cl::desc("Dump garbage collector data")); |
| 85 | static cl::opt<bool> VerifyMachineCode("verify-machineinstrs", cl::Hidden, |
| 86 | cl::desc("Verify generated machine code"), |
Owen Anderson | 21b1788 | 2015-02-04 00:02:59 +0000 | [diff] [blame] | 87 | cl::init(false), |
| 88 | cl::ZeroOrMore); |
| 89 | |
Bob Wilson | 33e5188 | 2012-05-30 00:17:12 +0000 | [diff] [blame] | 90 | static cl::opt<std::string> |
| 91 | PrintMachineInstrs("print-machineinstrs", cl::ValueOptional, |
| 92 | cl::desc("Print machine instrs"), |
| 93 | cl::value_desc("pass-name"), cl::init("option-unspecified")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 94 | |
Andrew Trick | 17080b9 | 2013-12-28 21:56:51 +0000 | [diff] [blame] | 95 | // Temporary option to allow experimenting with MachineScheduler as a post-RA |
| 96 | // scheduler. Targets can "properly" enable this with |
Andrew Trick | 8d2ee37 | 2014-06-04 07:06:27 +0000 | [diff] [blame] | 97 | // substitutePass(&PostRASchedulerID, &PostMachineSchedulerID); Ideally it |
| 98 | // wouldn't be part of the standard pass pipeline, and the target would just add |
| 99 | // a PostRA scheduling pass wherever it wants. |
Andrew Trick | 17080b9 | 2013-12-28 21:56:51 +0000 | [diff] [blame] | 100 | static cl::opt<bool> MISchedPostRA("misched-postra", cl::Hidden, |
| 101 | cl::desc("Run MachineScheduler post regalloc (independent of preRA sched)")); |
| 102 | |
Cameron Zwarich | 71f0acb | 2013-02-10 06:42:34 +0000 | [diff] [blame] | 103 | // Experimental option to run live interval analysis early. |
Jakob Stoklund Olesen | 1c46589 | 2012-08-03 22:12:54 +0000 | [diff] [blame] | 104 | static cl::opt<bool> EarlyLiveIntervals("early-live-intervals", cl::Hidden, |
| 105 | cl::desc("Run live interval analysis earlier in the pipeline")); |
| 106 | |
Hal Finkel | 445dda5 | 2014-09-02 22:12:54 +0000 | [diff] [blame] | 107 | static cl::opt<bool> UseCFLAA("use-cfl-aa-in-codegen", |
| 108 | cl::init(false), cl::Hidden, |
| 109 | cl::desc("Enable the new, experimental CFL alias analysis in CodeGen")); |
| 110 | |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 111 | /// Allow standard passes to be disabled by command line options. This supports |
| 112 | /// simple binary flags that either suppress the pass or do nothing. |
| 113 | /// i.e. -disable-mypass=false has no effect. |
| 114 | /// These should be converted to boolOrDefault in order to use applyOverride. |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 115 | static IdentifyingPassPtr applyDisable(IdentifyingPassPtr PassID, |
| 116 | bool Override) { |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 117 | if (Override) |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 118 | return IdentifyingPassPtr(); |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 119 | return PassID; |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 120 | } |
| 121 | |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 122 | /// Allow standard passes to be disabled by the command line, regardless of who |
| 123 | /// is adding the pass. |
| 124 | /// |
| 125 | /// StandardID is the pass identified in the standard pass pipeline and provided |
| 126 | /// to addPass(). It may be a target-specific ID in the case that the target |
| 127 | /// directly adds its own pass, but in that case we harmlessly fall through. |
| 128 | /// |
| 129 | /// TargetID is the pass that the target has configured to override StandardID. |
| 130 | /// |
| 131 | /// StandardID may be a pseudo ID. In that case TargetID is the name of the real |
| 132 | /// pass to run. This allows multiple options to control a single pass depending |
| 133 | /// on where in the pipeline that pass is added. |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 134 | static IdentifyingPassPtr overridePass(AnalysisID StandardID, |
| 135 | IdentifyingPassPtr TargetID) { |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 136 | if (StandardID == &PostRASchedulerID) |
| 137 | return applyDisable(TargetID, DisablePostRA); |
| 138 | |
| 139 | if (StandardID == &BranchFolderPassID) |
| 140 | return applyDisable(TargetID, DisableBranchFold); |
| 141 | |
| 142 | if (StandardID == &TailDuplicateID) |
| 143 | return applyDisable(TargetID, DisableTailDuplicate); |
| 144 | |
| 145 | if (StandardID == &TargetPassConfig::EarlyTailDuplicateID) |
| 146 | return applyDisable(TargetID, DisableEarlyTailDup); |
| 147 | |
| 148 | if (StandardID == &MachineBlockPlacementID) |
Benjamin Kramer | 70671b9 | 2013-03-29 17:14:24 +0000 | [diff] [blame] | 149 | return applyDisable(TargetID, DisableBlockPlacement); |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 150 | |
| 151 | if (StandardID == &StackSlotColoringID) |
| 152 | return applyDisable(TargetID, DisableSSC); |
| 153 | |
| 154 | if (StandardID == &DeadMachineInstructionElimID) |
| 155 | return applyDisable(TargetID, DisableMachineDCE); |
| 156 | |
Jakob Stoklund Olesen | f8a63a1 | 2012-07-04 00:09:54 +0000 | [diff] [blame] | 157 | if (StandardID == &EarlyIfConverterID) |
Jakob Stoklund Olesen | 0f6e8bb | 2012-10-03 00:51:32 +0000 | [diff] [blame] | 158 | return applyDisable(TargetID, DisableEarlyIfConversion); |
Jakob Stoklund Olesen | f8a63a1 | 2012-07-04 00:09:54 +0000 | [diff] [blame] | 159 | |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 160 | if (StandardID == &MachineLICMID) |
| 161 | return applyDisable(TargetID, DisableMachineLICM); |
| 162 | |
| 163 | if (StandardID == &MachineCSEID) |
| 164 | return applyDisable(TargetID, DisableMachineCSE); |
| 165 | |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 166 | if (StandardID == &TargetPassConfig::PostRAMachineLICMID) |
| 167 | return applyDisable(TargetID, DisablePostRAMachineLICM); |
| 168 | |
| 169 | if (StandardID == &MachineSinkingID) |
| 170 | return applyDisable(TargetID, DisableMachineSink); |
| 171 | |
| 172 | if (StandardID == &MachineCopyPropagationID) |
| 173 | return applyDisable(TargetID, DisableCopyProp); |
| 174 | |
| 175 | return TargetID; |
| 176 | } |
| 177 | |
Jim Laskey | 29e635d | 2006-08-02 12:30:23 +0000 | [diff] [blame] | 178 | //===---------------------------------------------------------------------===// |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 179 | /// TargetPassConfig |
| 180 | //===---------------------------------------------------------------------===// |
| 181 | |
| 182 | INITIALIZE_PASS(TargetPassConfig, "targetpassconfig", |
| 183 | "Target Pass Configuration", false, false) |
| 184 | char TargetPassConfig::ID = 0; |
| 185 | |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 186 | // Pseudo Pass IDs. |
| 187 | char TargetPassConfig::EarlyTailDuplicateID = 0; |
| 188 | char TargetPassConfig::PostRAMachineLICMID = 0; |
| 189 | |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 190 | namespace llvm { |
| 191 | class PassConfigImpl { |
| 192 | public: |
| 193 | // List of passes explicitly substituted by this target. Normally this is |
| 194 | // empty, but it is a convenient way to suppress or replace specific passes |
| 195 | // that are part of a standard pass pipeline without overridding the entire |
| 196 | // pipeline. This mechanism allows target options to inherit a standard pass's |
| 197 | // user interface. For example, a target may disable a standard pass by |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 198 | // default by substituting a pass ID of zero, and the user may still enable |
| 199 | // that standard pass with an explicit command line option. |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 200 | DenseMap<AnalysisID,IdentifyingPassPtr> TargetPasses; |
Bob Wilson | 33e5188 | 2012-05-30 00:17:12 +0000 | [diff] [blame] | 201 | |
| 202 | /// Store the pairs of <AnalysisID, AnalysisID> of which the second pass |
| 203 | /// is inserted after each instance of the first one. |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 204 | SmallVector<std::pair<AnalysisID, IdentifyingPassPtr>, 4> InsertedPasses; |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 205 | }; |
| 206 | } // namespace llvm |
| 207 | |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 208 | // Out of line virtual method. |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 209 | TargetPassConfig::~TargetPassConfig() { |
| 210 | delete Impl; |
| 211 | } |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 212 | |
Andrew Trick | 58648e4 | 2012-02-08 21:22:48 +0000 | [diff] [blame] | 213 | // Out of line constructor provides default values for pass options and |
| 214 | // registers all common codegen passes. |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 215 | TargetPassConfig::TargetPassConfig(TargetMachine *tm, PassManagerBase &pm) |
Quentin Colombet | 61b305e | 2015-05-05 17:38:16 +0000 | [diff] [blame] | 216 | : ImmutablePass(ID), PM(&pm), StartAfter(nullptr), StopAfter(nullptr), |
| 217 | Started(true), Stopped(false), AddingMachinePasses(false), TM(tm), |
| 218 | Impl(nullptr), Initialized(false), DisableVerify(false), |
| 219 | EnableTailMerge(true), EnableShrinkWrap(false) { |
Andrew Trick | dd37d52 | 2012-02-08 21:22:39 +0000 | [diff] [blame] | 220 | |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 221 | Impl = new PassConfigImpl(); |
| 222 | |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 223 | // Register all target independent codegen passes to activate their PassIDs, |
| 224 | // including this pass itself. |
| 225 | initializeCodeGen(*PassRegistry::getPassRegistry()); |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 226 | |
| 227 | // Substitute Pseudo Pass IDs for real ones. |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 228 | substitutePass(&EarlyTailDuplicateID, &TailDuplicateID); |
| 229 | substitutePass(&PostRAMachineLICMID, &MachineLICMID); |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 230 | } |
| 231 | |
Bob Wilson | 33e5188 | 2012-05-30 00:17:12 +0000 | [diff] [blame] | 232 | /// Insert InsertedPassID pass after TargetPassID. |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 233 | void TargetPassConfig::insertPass(AnalysisID TargetPassID, |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 234 | IdentifyingPassPtr InsertedPassID) { |
Benjamin Kramer | e7c45bc | 2013-04-11 11:57:01 +0000 | [diff] [blame] | 235 | assert(((!InsertedPassID.isInstance() && |
| 236 | TargetPassID != InsertedPassID.getID()) || |
| 237 | (InsertedPassID.isInstance() && |
| 238 | TargetPassID != InsertedPassID.getInstance()->getPassID())) && |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 239 | "Insert a pass after itself!"); |
| 240 | std::pair<AnalysisID, IdentifyingPassPtr> P(TargetPassID, InsertedPassID); |
Bob Wilson | 33e5188 | 2012-05-30 00:17:12 +0000 | [diff] [blame] | 241 | Impl->InsertedPasses.push_back(P); |
| 242 | } |
| 243 | |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 244 | /// createPassConfig - Create a pass configuration object to be used by |
| 245 | /// addPassToEmitX methods for generating a pipeline of CodeGen passes. |
| 246 | /// |
| 247 | /// Targets may override this to extend TargetPassConfig. |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 248 | TargetPassConfig *LLVMTargetMachine::createPassConfig(PassManagerBase &PM) { |
| 249 | return new TargetPassConfig(this, PM); |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 250 | } |
| 251 | |
| 252 | TargetPassConfig::TargetPassConfig() |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 253 | : ImmutablePass(ID), PM(nullptr) { |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 254 | llvm_unreachable("TargetPassConfig should not be constructed on-the-fly"); |
| 255 | } |
| 256 | |
Andrew Trick | dd37d52 | 2012-02-08 21:22:39 +0000 | [diff] [blame] | 257 | // Helper to verify the analysis is really immutable. |
| 258 | void TargetPassConfig::setOpt(bool &Opt, bool Val) { |
| 259 | assert(!Initialized && "PassConfig is immutable"); |
| 260 | Opt = Val; |
| 261 | } |
| 262 | |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 263 | void TargetPassConfig::substitutePass(AnalysisID StandardID, |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 264 | IdentifyingPassPtr TargetID) { |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 265 | Impl->TargetPasses[StandardID] = TargetID; |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 266 | } |
Andrew Trick | ee874db | 2012-02-11 07:11:32 +0000 | [diff] [blame] | 267 | |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 268 | IdentifyingPassPtr TargetPassConfig::getPassSubstitution(AnalysisID ID) const { |
| 269 | DenseMap<AnalysisID, IdentifyingPassPtr>::const_iterator |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 270 | I = Impl->TargetPasses.find(ID); |
| 271 | if (I == Impl->TargetPasses.end()) |
| 272 | return ID; |
| 273 | return I->second; |
| 274 | } |
| 275 | |
Bob Wilson | cac3b90 | 2012-07-02 19:48:45 +0000 | [diff] [blame] | 276 | /// Add a pass to the PassManager if that pass is supposed to be run. If the |
| 277 | /// Started/Stopped flags indicate either that the compilation should start at |
| 278 | /// a later pass or that it should stop after an earlier pass, then do not add |
| 279 | /// the pass. Finally, compare the current pass against the StartAfter |
| 280 | /// and StopAfter options and change the Started/Stopped flags accordingly. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 281 | void TargetPassConfig::addPass(Pass *P, bool verifyAfter, bool printAfter) { |
Bob Wilson | a3f9fa7 | 2012-07-02 19:48:39 +0000 | [diff] [blame] | 282 | assert(!Initialized && "PassConfig is immutable"); |
| 283 | |
Chandler Carruth | 34263a0 | 2012-07-02 22:56:41 +0000 | [diff] [blame] | 284 | // Cache the Pass ID here in case the pass manager finds this pass is |
| 285 | // redundant with ones already scheduled / available, and deletes it. |
| 286 | // Fundamentally, once we add the pass to the manager, we no longer own it |
| 287 | // and shouldn't reference it. |
| 288 | AnalysisID PassID = P->getPassID(); |
| 289 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 290 | if (Started && !Stopped) { |
| 291 | std::string Banner; |
| 292 | // Construct banner message before PM->add() as that may delete the pass. |
| 293 | if (AddingMachinePasses && (printAfter || verifyAfter)) |
| 294 | Banner = std::string("After ") + std::string(P->getPassName()); |
Bob Wilson | cac3b90 | 2012-07-02 19:48:45 +0000 | [diff] [blame] | 295 | PM->add(P); |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 296 | if (AddingMachinePasses) { |
| 297 | if (printAfter) |
| 298 | addPrintPass(Banner); |
| 299 | if (verifyAfter) |
| 300 | addVerifyPass(Banner); |
| 301 | } |
Akira Hatanaka | c100c56 | 2015-06-05 21:58:14 +0000 | [diff] [blame] | 302 | |
| 303 | // Add the passes after the pass P if there is any. |
| 304 | for (SmallVectorImpl<std::pair<AnalysisID, IdentifyingPassPtr> >::iterator |
| 305 | I = Impl->InsertedPasses.begin(), |
| 306 | E = Impl->InsertedPasses.end(); |
| 307 | I != E; ++I) { |
| 308 | if ((*I).first == PassID) { |
| 309 | assert((*I).second.isValid() && "Illegal Pass ID!"); |
| 310 | Pass *NP; |
| 311 | if ((*I).second.isInstance()) |
| 312 | NP = (*I).second.getInstance(); |
| 313 | else { |
| 314 | NP = Pass::createPass((*I).second.getID()); |
| 315 | assert(NP && "Pass ID not registered"); |
| 316 | } |
| 317 | addPass(NP, false, false); |
| 318 | } |
| 319 | } |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 320 | } else { |
Benjamin Kramer | 483b9fb | 2013-08-05 11:11:11 +0000 | [diff] [blame] | 321 | delete P; |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 322 | } |
Chandler Carruth | 34263a0 | 2012-07-02 22:56:41 +0000 | [diff] [blame] | 323 | if (StopAfter == PassID) |
Bob Wilson | cac3b90 | 2012-07-02 19:48:45 +0000 | [diff] [blame] | 324 | Stopped = true; |
Chandler Carruth | 34263a0 | 2012-07-02 22:56:41 +0000 | [diff] [blame] | 325 | if (StartAfter == PassID) |
Bob Wilson | cac3b90 | 2012-07-02 19:48:45 +0000 | [diff] [blame] | 326 | Started = true; |
| 327 | if (Stopped && !Started) |
| 328 | report_fatal_error("Cannot stop compilation after pass that is not run"); |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 329 | } |
| 330 | |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 331 | /// Add a CodeGen pass at this point in the pipeline after checking for target |
| 332 | /// and command line overrides. |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 333 | /// |
| 334 | /// addPass cannot return a pointer to the pass instance because is internal the |
| 335 | /// PassManager and the instance we create here may already be freed. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 336 | AnalysisID TargetPassConfig::addPass(AnalysisID PassID, bool verifyAfter, |
| 337 | bool printAfter) { |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 338 | IdentifyingPassPtr TargetID = getPassSubstitution(PassID); |
| 339 | IdentifyingPassPtr FinalPtr = overridePass(PassID, TargetID); |
| 340 | if (!FinalPtr.isValid()) |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 341 | return nullptr; |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 342 | |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 343 | Pass *P; |
| 344 | if (FinalPtr.isInstance()) |
| 345 | P = FinalPtr.getInstance(); |
| 346 | else { |
| 347 | P = Pass::createPass(FinalPtr.getID()); |
| 348 | if (!P) |
| 349 | llvm_unreachable("Pass ID not registered"); |
| 350 | } |
| 351 | AnalysisID FinalID = P->getPassID(); |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 352 | addPass(P, verifyAfter, printAfter); // Ends the lifetime of P. |
Andrew Trick | e220323 | 2013-04-10 01:06:56 +0000 | [diff] [blame] | 353 | |
Andrew Trick | c9ce9d2 | 2012-02-15 03:21:47 +0000 | [diff] [blame] | 354 | return FinalID; |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 355 | } |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 356 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 357 | void TargetPassConfig::printAndVerify(const std::string &Banner) { |
| 358 | addPrintPass(Banner); |
| 359 | addVerifyPass(Banner); |
| 360 | } |
Matthias Braun | a7c82a9 | 2014-12-11 19:42:05 +0000 | [diff] [blame] | 361 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 362 | void TargetPassConfig::addPrintPass(const std::string &Banner) { |
| 363 | if (TM->shouldPrintMachineCode()) |
| 364 | PM->add(createMachineFunctionPrinterPass(dbgs(), Banner)); |
| 365 | } |
| 366 | |
| 367 | void TargetPassConfig::addVerifyPass(const std::string &Banner) { |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 368 | if (VerifyMachineCode) |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 369 | PM->add(createMachineVerifierPass(Banner)); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 370 | } |
| 371 | |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 372 | /// Add common target configurable passes that perform LLVM IR to IR transforms |
| 373 | /// following machine independent optimization. |
| 374 | void TargetPassConfig::addIRPasses() { |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 375 | // Basic AliasAnalysis support. |
| 376 | // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that |
| 377 | // BasicAliasAnalysis wins if they disagree. This is intended to help |
| 378 | // support "obvious" type-punning idioms. |
Hal Finkel | 445dda5 | 2014-09-02 22:12:54 +0000 | [diff] [blame] | 379 | if (UseCFLAA) |
| 380 | addPass(createCFLAliasAnalysisPass()); |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 381 | addPass(createTypeBasedAliasAnalysisPass()); |
Hal Finkel | 9414665 | 2014-07-24 14:25:39 +0000 | [diff] [blame] | 382 | addPass(createScopedNoAliasAAPass()); |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 383 | addPass(createBasicAliasAnalysisPass()); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 384 | |
| 385 | // Before running any passes, run the verifier to determine if the input |
| 386 | // coming from the front-end and/or optimizer is valid. |
Duncan P. N. Exon Smith | ab58a56 | 2015-03-19 22:24:17 +0000 | [diff] [blame] | 387 | if (!DisableVerify) |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 388 | addPass(createVerifierPass()); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 389 | |
| 390 | // Run loop strength reduction before anything else. |
| 391 | if (getOptLevel() != CodeGenOpt::None && !DisableLSR) { |
Chandler Carruth | 26c59fa | 2013-01-07 14:41:08 +0000 | [diff] [blame] | 392 | addPass(createLoopStrengthReducePass()); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 393 | if (PrintLSR) |
Chandler Carruth | 9d80513 | 2014-01-12 11:30:46 +0000 | [diff] [blame] | 394 | addPass(createPrintFunctionPass(dbgs(), "\n\n*** Code after LSR ***\n")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 395 | } |
| 396 | |
Philip Reames | 23cf2e2 | 2015-01-28 19:28:03 +0000 | [diff] [blame] | 397 | // Run GC lowering passes for builtin collectors |
| 398 | // TODO: add a pass insertion point here |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 399 | addPass(createGCLoweringPass()); |
Philip Reames | 23cf2e2 | 2015-01-28 19:28:03 +0000 | [diff] [blame] | 400 | addPass(createShadowStackGCLoweringPass()); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 401 | |
| 402 | // Make sure that no unreachable blocks are instruction selected. |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 403 | addPass(createUnreachableBlockEliminationPass()); |
Juergen Ributzka | f26beda | 2014-01-25 02:02:55 +0000 | [diff] [blame] | 404 | |
| 405 | // Prepare expensive constants for SelectionDAG. |
| 406 | if (getOptLevel() != CodeGenOpt::None && !DisableConstantHoisting) |
| 407 | addPass(createConstantHoistingPass()); |
James Molloy | bc9fed8 | 2014-07-23 13:33:00 +0000 | [diff] [blame] | 408 | |
| 409 | if (getOptLevel() != CodeGenOpt::None && !DisablePartialLibcallInlining) |
| 410 | addPass(createPartiallyInlineLibCallsPass()); |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 411 | } |
| 412 | |
| 413 | /// Turn exception handling constructs into something the code generators can |
| 414 | /// handle. |
| 415 | void TargetPassConfig::addPassesToHandleExceptions() { |
| 416 | switch (TM->getMCAsmInfo()->getExceptionHandlingType()) { |
| 417 | case ExceptionHandling::SjLj: |
| 418 | // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both |
| 419 | // Dwarf EH prepare needs to be run after SjLj prepare. Otherwise, |
| 420 | // catch info can get misplaced when a selector ends up more than one block |
| 421 | // removed from the parent invoke(s). This could happen when a landing |
| 422 | // pad is shared by multiple invokes and is also a target of a normal |
| 423 | // edge from elsewhere. |
Bill Wendling | afc1036 | 2013-06-19 20:51:24 +0000 | [diff] [blame] | 424 | addPass(createSjLjEHPreparePass(TM)); |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 425 | // FALLTHROUGH |
| 426 | case ExceptionHandling::DwarfCFI: |
| 427 | case ExceptionHandling::ARM: |
Bill Wendling | afc1036 | 2013-06-19 20:51:24 +0000 | [diff] [blame] | 428 | addPass(createDwarfEHPass(TM)); |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 429 | break; |
Reid Kleckner | 1185fce | 2015-01-29 00:41:44 +0000 | [diff] [blame] | 430 | case ExceptionHandling::WinEH: |
Reid Kleckner | 47c8e7a | 2015-03-12 00:36:20 +0000 | [diff] [blame] | 431 | // We support using both GCC-style and MSVC-style exceptions on Windows, so |
| 432 | // add both preparation passes. Each pass will only actually run if it |
| 433 | // recognizes the personality function. |
Reid Kleckner | 1185fce | 2015-01-29 00:41:44 +0000 | [diff] [blame] | 434 | addPass(createWinEHPass(TM)); |
Reid Kleckner | 47c8e7a | 2015-03-12 00:36:20 +0000 | [diff] [blame] | 435 | addPass(createDwarfEHPass(TM)); |
Reid Kleckner | 1185fce | 2015-01-29 00:41:44 +0000 | [diff] [blame] | 436 | break; |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 437 | case ExceptionHandling::None: |
Mark Seaborn | b6118c5 | 2014-03-20 19:54:47 +0000 | [diff] [blame] | 438 | addPass(createLowerInvokePass()); |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 439 | |
| 440 | // The lower invoke pass may create unreachable code. Remove it. |
| 441 | addPass(createUnreachableBlockEliminationPass()); |
| 442 | break; |
| 443 | } |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 444 | } |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 445 | |
Bill Wendling | c786b31 | 2012-11-30 22:08:55 +0000 | [diff] [blame] | 446 | /// Add pass to prepare the LLVM IR for code generation. This should be done |
| 447 | /// before exception handling preparation passes. |
| 448 | void TargetPassConfig::addCodeGenPrepare() { |
| 449 | if (getOptLevel() != CodeGenOpt::None && !DisableCGP) |
Bill Wendling | 7a639ea | 2013-06-19 21:07:11 +0000 | [diff] [blame] | 450 | addPass(createCodeGenPreparePass(TM)); |
Saleem Abdulrasool | d2c5d7f | 2014-11-08 00:00:50 +0000 | [diff] [blame] | 451 | addPass(createRewriteSymbolsPass()); |
Bill Wendling | c786b31 | 2012-11-30 22:08:55 +0000 | [diff] [blame] | 452 | } |
| 453 | |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 454 | /// Add common passes that perform LLVM IR to IR transforms in preparation for |
| 455 | /// instruction selection. |
| 456 | void TargetPassConfig::addISelPrepare() { |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 457 | addPreISel(); |
| 458 | |
Josh Magee | 22b8ba2 | 2013-12-19 03:17:11 +0000 | [diff] [blame] | 459 | addPass(createStackProtectorPass(TM)); |
| 460 | |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 461 | if (PrintISelInput) |
Chandler Carruth | 9d80513 | 2014-01-12 11:30:46 +0000 | [diff] [blame] | 462 | addPass(createPrintFunctionPass( |
| 463 | dbgs(), "\n\n*** Final LLVM Code input to ISel ***\n")); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 464 | |
| 465 | // All passes which modify the LLVM IR are now complete; run the verifier |
| 466 | // to ensure that the IR is valid. |
| 467 | if (!DisableVerify) |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 468 | addPass(createVerifierPass()); |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 469 | } |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 470 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 471 | /// Add the complete set of target-independent postISel code generator passes. |
| 472 | /// |
| 473 | /// This can be read as the standard order of major LLVM CodeGen stages. Stages |
| 474 | /// with nontrivial configuration or multiple passes are broken out below in |
| 475 | /// add%Stage routines. |
| 476 | /// |
| 477 | /// Any TargetPassConfig::addXX routine may be overriden by the Target. The |
| 478 | /// addPre/Post methods with empty header implementations allow injecting |
| 479 | /// target-specific fixups just before or after major stages. Additionally, |
| 480 | /// targets have the flexibility to change pass order within a stage by |
| 481 | /// overriding default implementation of add%Stage routines below. Each |
| 482 | /// technique has maintainability tradeoffs because alternate pass orders are |
| 483 | /// not well supported. addPre/Post works better if the target pass is easily |
| 484 | /// tied to a common pass. But if it has subtle dependencies on multiple passes, |
Andrew Trick | 09fc1bb | 2012-02-10 07:08:25 +0000 | [diff] [blame] | 485 | /// the target should override the stage instead. |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 486 | /// |
| 487 | /// TODO: We could use a single addPre/Post(ID) hook to allow pass injection |
| 488 | /// before/after any target-independent pass. But it's currently overkill. |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 489 | void TargetPassConfig::addMachinePasses() { |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 490 | AddingMachinePasses = true; |
| 491 | |
Bob Wilson | 33e5188 | 2012-05-30 00:17:12 +0000 | [diff] [blame] | 492 | // Insert a machine instr printer pass after the specified pass. |
| 493 | // If -print-machineinstrs specified, print machineinstrs after all passes. |
| 494 | if (StringRef(PrintMachineInstrs.getValue()).equals("")) |
| 495 | TM->Options.PrintMachineCode = true; |
| 496 | else if (!StringRef(PrintMachineInstrs.getValue()) |
| 497 | .equals("option-unspecified")) { |
| 498 | const PassRegistry *PR = PassRegistry::getPassRegistry(); |
| 499 | const PassInfo *TPI = PR->getPassInfo(PrintMachineInstrs.getValue()); |
Akira Hatanaka | 7ba7830 | 2014-12-13 04:52:04 +0000 | [diff] [blame] | 500 | const PassInfo *IPI = PR->getPassInfo(StringRef("machineinstr-printer")); |
Bob Wilson | 33e5188 | 2012-05-30 00:17:12 +0000 | [diff] [blame] | 501 | assert (TPI && IPI && "Pass ID not registered!"); |
Roman Divacky | ad06cee | 2012-09-05 22:26:57 +0000 | [diff] [blame] | 502 | const char *TID = (const char *)(TPI->getTypeInfo()); |
| 503 | const char *IID = (const char *)(IPI->getTypeInfo()); |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 504 | insertPass(TID, IID); |
Bob Wilson | 33e5188 | 2012-05-30 00:17:12 +0000 | [diff] [blame] | 505 | } |
| 506 | |
Jakob Stoklund Olesen | 29506f5 | 2012-07-04 19:28:27 +0000 | [diff] [blame] | 507 | // Print the instruction selected machine code... |
| 508 | printAndVerify("After Instruction Selection"); |
| 509 | |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 510 | // Expand pseudo-instructions emitted by ISel. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 511 | addPass(&ExpandISelPseudosID); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 512 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 513 | // Add passes that optimize machine instructions in SSA form. |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 514 | if (getOptLevel() != CodeGenOpt::None) { |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 515 | addMachineSSAOptimization(); |
Craig Topper | 36f2912 | 2012-11-19 00:11:50 +0000 | [diff] [blame] | 516 | } else { |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 517 | // If the target requests it, assign local variables to stack slots relative |
| 518 | // to one another and simplify frame index references where possible. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 519 | addPass(&LocalStackSlotAllocationID, false); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 520 | } |
| 521 | |
| 522 | // Run pre-ra passes. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 523 | addPreRegAlloc(); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 524 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 525 | // Run register allocation and passes that are tightly coupled with it, |
| 526 | // including phi elimination and scheduling. |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 527 | if (getOptimizeRegAlloc()) |
| 528 | addOptimizedRegAlloc(createRegAllocPass(true)); |
| 529 | else |
| 530 | addFastRegAlloc(createRegAllocPass(false)); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 531 | |
| 532 | // Run post-ra passes. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 533 | addPostRegAlloc(); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 534 | |
| 535 | // Insert prolog/epilog code. Eliminate abstract frame index references... |
Quentin Colombet | 61b305e | 2015-05-05 17:38:16 +0000 | [diff] [blame] | 536 | if (getEnableShrinkWrap()) |
| 537 | addPass(&ShrinkWrapID); |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 538 | addPass(&PrologEpilogCodeInserterID); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 539 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 540 | /// Add passes that optimize machine instructions after register allocation. |
| 541 | if (getOptLevel() != CodeGenOpt::None) |
| 542 | addMachineLateOptimization(); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 543 | |
| 544 | // Expand pseudo instructions before second scheduling pass. |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 545 | addPass(&ExpandPostRAPseudosID); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 546 | |
| 547 | // Run pre-sched2 passes. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 548 | addPreSched2(); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 549 | |
Sanjoy Das | 69fad07 | 2015-06-15 18:44:27 +0000 | [diff] [blame] | 550 | if (EnableImplicitNullChecks) |
| 551 | addPass(&ImplicitNullChecksID); |
| 552 | |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 553 | // Second pass scheduler. |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 554 | if (getOptLevel() != CodeGenOpt::None) { |
Andrew Trick | 17080b9 | 2013-12-28 21:56:51 +0000 | [diff] [blame] | 555 | if (MISchedPostRA) |
| 556 | addPass(&PostMachineSchedulerID); |
| 557 | else |
| 558 | addPass(&PostRASchedulerID); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 559 | } |
| 560 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 561 | // GC |
Evan Cheng | 59421ae | 2012-12-21 02:57:04 +0000 | [diff] [blame] | 562 | if (addGCPasses()) { |
| 563 | if (PrintGCInfo) |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 564 | addPass(createGCInfoPrinter(dbgs()), false, false); |
Evan Cheng | 59421ae | 2012-12-21 02:57:04 +0000 | [diff] [blame] | 565 | } |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 566 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 567 | // Basic block placement. |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 568 | if (getOptLevel() != CodeGenOpt::None) |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 569 | addBlockPlacement(); |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 570 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 571 | addPreEmitPass(); |
Juergen Ributzka | e829475 | 2013-12-14 06:53:06 +0000 | [diff] [blame] | 572 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 573 | addPass(&StackMapLivenessID, false); |
| 574 | |
| 575 | AddingMachinePasses = false; |
Andrew Trick | de401d3 | 2012-02-04 02:56:48 +0000 | [diff] [blame] | 576 | } |
| 577 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 578 | /// Add passes that optimize machine instructions in SSA form. |
| 579 | void TargetPassConfig::addMachineSSAOptimization() { |
| 580 | // Pre-ra tail duplication. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 581 | addPass(&EarlyTailDuplicateID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 582 | |
| 583 | // Optimize PHIs before DCE: removing dead PHI cycles may make more |
| 584 | // instructions dead. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 585 | addPass(&OptimizePHIsID, false); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 586 | |
Nadav Rotem | 7c277da | 2012-09-06 09:17:37 +0000 | [diff] [blame] | 587 | // This pass merges large allocas. StackSlotColoring is a different pass |
| 588 | // which merges spill slots. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 589 | addPass(&StackColoringID, false); |
Nadav Rotem | 7c277da | 2012-09-06 09:17:37 +0000 | [diff] [blame] | 590 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 591 | // If the target requests it, assign local variables to stack slots relative |
| 592 | // to one another and simplify frame index references where possible. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 593 | addPass(&LocalStackSlotAllocationID, false); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 594 | |
| 595 | // With optimization, dead code should already be eliminated. However |
| 596 | // there is one known exception: lowered code for arguments that are only |
| 597 | // used by tail calls, where the tail calls reuse the incoming stack |
| 598 | // arguments directly (see t11 in test/CodeGen/X86/sibcall.ll). |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 599 | addPass(&DeadMachineInstructionElimID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 600 | |
Jakob Stoklund Olesen | 213a2f8 | 2013-01-17 00:58:38 +0000 | [diff] [blame] | 601 | // Allow targets to insert passes that improve instruction level parallelism, |
| 602 | // like if-conversion. Such passes will typically need dominator trees and |
| 603 | // loop info, just like LICM and CSE below. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 604 | addILPOpts(); |
Jakob Stoklund Olesen | 213a2f8 | 2013-01-17 00:58:38 +0000 | [diff] [blame] | 605 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 606 | addPass(&MachineLICMID, false); |
| 607 | addPass(&MachineCSEID, false); |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 608 | addPass(&MachineSinkingID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 609 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 610 | addPass(&PeepholeOptimizerID, false); |
Quentin Colombet | 03e43f8 | 2014-08-20 17:41:48 +0000 | [diff] [blame] | 611 | // Clean-up the dead code that may have been generated by peephole |
| 612 | // rewriting. |
| 613 | addPass(&DeadMachineInstructionElimID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 614 | } |
| 615 | |
Quentin Colombet | 61b305e | 2015-05-05 17:38:16 +0000 | [diff] [blame] | 616 | bool TargetPassConfig::getEnableShrinkWrap() const { |
| 617 | switch (EnableShrinkWrapOpt) { |
| 618 | case cl::BOU_UNSET: |
| 619 | return EnableShrinkWrap && getOptLevel() != CodeGenOpt::None; |
| 620 | // If EnableShrinkWrap is set, it takes precedence on whatever the |
| 621 | // target sets. The rational is that we assume we want to test |
| 622 | // something related to shrink-wrapping. |
| 623 | case cl::BOU_TRUE: |
| 624 | return true; |
| 625 | case cl::BOU_FALSE: |
| 626 | return false; |
| 627 | } |
| 628 | llvm_unreachable("Invalid shrink-wrapping state"); |
| 629 | } |
| 630 | |
Andrew Trick | b755133 | 2012-02-04 02:56:45 +0000 | [diff] [blame] | 631 | //===---------------------------------------------------------------------===// |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 632 | /// Register Allocation Pass Configuration |
Jim Laskey | 29e635d | 2006-08-02 12:30:23 +0000 | [diff] [blame] | 633 | //===---------------------------------------------------------------------===// |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 634 | |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 635 | bool TargetPassConfig::getOptimizeRegAlloc() const { |
| 636 | switch (OptimizeRegAlloc) { |
| 637 | case cl::BOU_UNSET: return getOptLevel() != CodeGenOpt::None; |
| 638 | case cl::BOU_TRUE: return true; |
| 639 | case cl::BOU_FALSE: return false; |
| 640 | } |
| 641 | llvm_unreachable("Invalid optimize-regalloc state"); |
| 642 | } |
| 643 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 644 | /// RegisterRegAlloc's global Registry tracks allocator registration. |
Jim Laskey | 29e635d | 2006-08-02 12:30:23 +0000 | [diff] [blame] | 645 | MachinePassRegistry RegisterRegAlloc::Registry; |
| 646 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 647 | /// A dummy default pass factory indicates whether the register allocator is |
| 648 | /// overridden on the command line. |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 649 | static FunctionPass *useDefaultRegisterAllocator() { return nullptr; } |
Jakob Stoklund Olesen | b613ae2 | 2010-05-27 23:57:25 +0000 | [diff] [blame] | 650 | static RegisterRegAlloc |
| 651 | defaultRegAlloc("default", |
| 652 | "pick register allocator based on -O option", |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 653 | useDefaultRegisterAllocator); |
Jim Laskey | 29e635d | 2006-08-02 12:30:23 +0000 | [diff] [blame] | 654 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 655 | /// -regalloc=... command line option. |
Dan Gohman | d78c400 | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 656 | static cl::opt<RegisterRegAlloc::FunctionPassCtor, false, |
| 657 | RegisterPassParser<RegisterRegAlloc> > |
| 658 | RegAlloc("regalloc", |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 659 | cl::init(&useDefaultRegisterAllocator), |
Jakob Stoklund Olesen | b613ae2 | 2010-05-27 23:57:25 +0000 | [diff] [blame] | 660 | cl::desc("Register allocator to use")); |
Alkis Evlogimenos | 5facafa | 2003-10-02 16:57:49 +0000 | [diff] [blame] | 661 | |
Jim Laskey | 29e635d | 2006-08-02 12:30:23 +0000 | [diff] [blame] | 662 | |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 663 | /// Instantiate the default register allocator pass for this target for either |
| 664 | /// the optimized or unoptimized allocation path. This will be added to the pass |
| 665 | /// manager by addFastRegAlloc in the unoptimized case or addOptimizedRegAlloc |
| 666 | /// in the optimized case. |
| 667 | /// |
| 668 | /// A target that uses the standard regalloc pass order for fast or optimized |
| 669 | /// allocation may still override this for per-target regalloc |
| 670 | /// selection. But -regalloc=... always takes precedence. |
| 671 | FunctionPass *TargetPassConfig::createTargetRegisterAllocator(bool Optimized) { |
| 672 | if (Optimized) |
| 673 | return createGreedyRegisterAllocator(); |
| 674 | else |
| 675 | return createFastRegisterAllocator(); |
| 676 | } |
| 677 | |
| 678 | /// Find and instantiate the register allocation pass requested by this target |
| 679 | /// at the current optimization level. Different register allocators are |
| 680 | /// defined as separate passes because they may require different analysis. |
| 681 | /// |
| 682 | /// This helper ensures that the regalloc= option is always available, |
| 683 | /// even for targets that override the default allocator. |
| 684 | /// |
| 685 | /// FIXME: When MachinePassRegistry register pass IDs instead of function ptrs, |
| 686 | /// this can be folded into addPass. |
| 687 | FunctionPass *TargetPassConfig::createRegAllocPass(bool Optimized) { |
Jim Laskey | 03593f7 | 2006-08-01 18:29:48 +0000 | [diff] [blame] | 688 | RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault(); |
Jakob Stoklund Olesen | b613ae2 | 2010-05-27 23:57:25 +0000 | [diff] [blame] | 689 | |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 690 | // Initialize the global default. |
Jim Laskey | 95eda5b | 2006-08-01 14:21:23 +0000 | [diff] [blame] | 691 | if (!Ctor) { |
Jim Laskey | 29e635d | 2006-08-02 12:30:23 +0000 | [diff] [blame] | 692 | Ctor = RegAlloc; |
| 693 | RegisterRegAlloc::setDefault(RegAlloc); |
Jim Laskey | 95eda5b | 2006-08-01 14:21:23 +0000 | [diff] [blame] | 694 | } |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 695 | if (Ctor != useDefaultRegisterAllocator) |
Jakob Stoklund Olesen | b613ae2 | 2010-05-27 23:57:25 +0000 | [diff] [blame] | 696 | return Ctor(); |
| 697 | |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 698 | // With no -regalloc= override, ask the target for a regalloc pass. |
| 699 | return createTargetRegisterAllocator(Optimized); |
| 700 | } |
| 701 | |
Arnaud A. de Grandmaison | a61262f | 2014-10-21 20:47:22 +0000 | [diff] [blame] | 702 | /// Return true if the default global register allocator is in use and |
| 703 | /// has not be overriden on the command line with '-regalloc=...' |
| 704 | bool TargetPassConfig::usingDefaultRegAlloc() const { |
Arnaud A. de Grandmaison | 5c7fe7e9 | 2014-10-21 21:50:49 +0000 | [diff] [blame] | 705 | return RegAlloc.getNumOccurrences() == 0; |
Arnaud A. de Grandmaison | a61262f | 2014-10-21 20:47:22 +0000 | [diff] [blame] | 706 | } |
| 707 | |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 708 | /// Add the minimum set of target-independent passes that are required for |
| 709 | /// register allocation. No coalescing or scheduling. |
| 710 | void TargetPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) { |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 711 | addPass(&PHIEliminationID, false); |
| 712 | addPass(&TwoAddressInstructionPassID, false); |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 713 | |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 714 | addPass(RegAllocPass); |
Jim Laskey | d1a714e | 2006-07-27 20:05:00 +0000 | [diff] [blame] | 715 | } |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 716 | |
| 717 | /// Add standard target-independent passes that are tightly coupled with |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 718 | /// optimized register allocation, including coalescing, machine instruction |
| 719 | /// scheduling, and register allocation itself. |
| 720 | void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) { |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 721 | addPass(&ProcessImplicitDefsID, false); |
Jakob Stoklund Olesen | eb49566 | 2012-06-25 18:12:18 +0000 | [diff] [blame] | 722 | |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 723 | // LiveVariables currently requires pure SSA form. |
| 724 | // |
| 725 | // FIXME: Once TwoAddressInstruction pass no longer uses kill flags, |
| 726 | // LiveVariables can be removed completely, and LiveIntervals can be directly |
| 727 | // computed. (We still either need to regenerate kill flags after regalloc, or |
| 728 | // preferably fix the scavenger to not depend on them). |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 729 | addPass(&LiveVariablesID, false); |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 730 | |
Rafael Espindola | 9770bde | 2013-10-14 16:39:04 +0000 | [diff] [blame] | 731 | // Edge splitting is smarter with machine loop info. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 732 | addPass(&MachineLoopInfoID, false); |
| 733 | addPass(&PHIEliminationID, false); |
Jakob Stoklund Olesen | 1c46589 | 2012-08-03 22:12:54 +0000 | [diff] [blame] | 734 | |
| 735 | // Eventually, we want to run LiveIntervals before PHI elimination. |
| 736 | if (EarlyLiveIntervals) |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 737 | addPass(&LiveIntervalsID, false); |
Jakob Stoklund Olesen | 1c46589 | 2012-08-03 22:12:54 +0000 | [diff] [blame] | 738 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 739 | addPass(&TwoAddressInstructionPassID, false); |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 740 | addPass(&RegisterCoalescerID); |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 741 | |
| 742 | // PreRA instruction scheduling. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 743 | addPass(&MachineSchedulerID); |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 744 | |
| 745 | // Add the selected register allocation pass. |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 746 | addPass(RegAllocPass); |
Jakob Stoklund Olesen | 59a0d32 | 2012-06-26 17:09:29 +0000 | [diff] [blame] | 747 | |
| 748 | // Allow targets to change the register assignments before rewriting. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 749 | addPreRewrite(); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 750 | |
Jakob Stoklund Olesen | 1224312 | 2012-06-08 23:44:45 +0000 | [diff] [blame] | 751 | // Finally rewrite virtual registers. |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 752 | addPass(&VirtRegRewriterID); |
Jakob Stoklund Olesen | 1224312 | 2012-06-08 23:44:45 +0000 | [diff] [blame] | 753 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 754 | // Perform stack slot coloring and post-ra machine LICM. |
Andrew Trick | d3f8fe8 | 2012-02-10 04:10:36 +0000 | [diff] [blame] | 755 | // |
| 756 | // FIXME: Re-enable coloring with register when it's capable of adding |
| 757 | // kill markers. |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 758 | addPass(&StackSlotColoringID); |
Andrew Trick | 899f46c | 2012-02-15 07:57:03 +0000 | [diff] [blame] | 759 | |
| 760 | // Run post-ra machine LICM to hoist reloads / remats. |
| 761 | // |
| 762 | // FIXME: can this move into MachineLateOptimization? |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 763 | addPass(&PostRAMachineLICMID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 764 | } |
| 765 | |
| 766 | //===---------------------------------------------------------------------===// |
| 767 | /// Post RegAlloc Pass Configuration |
| 768 | //===---------------------------------------------------------------------===// |
| 769 | |
| 770 | /// Add passes that optimize machine instructions after register allocation. |
| 771 | void TargetPassConfig::addMachineLateOptimization() { |
| 772 | // Branch folding must be run after regalloc and prolog/epilog insertion. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 773 | addPass(&BranchFolderPassID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 774 | |
| 775 | // Tail duplication. |
Vincent Lejeune | 92b0a64 | 2013-12-07 01:49:19 +0000 | [diff] [blame] | 776 | // Note that duplicating tail just increases code size and degrades |
| 777 | // performance for targets that require Structured Control Flow. |
| 778 | // In addition it can also make CFG irreducible. Thus we disable it. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 779 | if (!TM->requiresStructuredCFG()) |
| 780 | addPass(&TailDuplicateID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 781 | |
| 782 | // Copy propagation. |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 783 | addPass(&MachineCopyPropagationID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 784 | } |
| 785 | |
Evan Cheng | 59421ae | 2012-12-21 02:57:04 +0000 | [diff] [blame] | 786 | /// Add standard GC passes. |
| 787 | bool TargetPassConfig::addGCPasses() { |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 788 | addPass(&GCMachineCodeAnalysisID, false); |
Evan Cheng | 59421ae | 2012-12-21 02:57:04 +0000 | [diff] [blame] | 789 | return true; |
| 790 | } |
| 791 | |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 792 | /// Add standard basic block placement passes. |
| 793 | void TargetPassConfig::addBlockPlacement() { |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 794 | if (addPass(&MachineBlockPlacementID, false)) { |
Andrew Trick | e9a951c | 2012-02-15 03:21:51 +0000 | [diff] [blame] | 795 | // Run a separate pass to collect block placement statistics. |
| 796 | if (EnableBlockPlacementStats) |
Bob Wilson | b9b6936 | 2012-07-02 19:48:37 +0000 | [diff] [blame] | 797 | addPass(&MachineBlockPlacementStatsID); |
Andrew Trick | f542675 | 2012-02-09 00:40:55 +0000 | [diff] [blame] | 798 | } |
| 799 | } |