Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 1 | //===- RegionPass.cpp - Region Pass and Region Pass Manager ---------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements RegionPass and RGPassManager. All region optimization |
| 11 | // and transformation passes are derived from RegionPass. RGPassManager is |
| 12 | // responsible for managing RegionPasses. |
David Majnemer | f29b7ba | 2016-07-19 17:50:27 +0000 | [diff] [blame] | 13 | // Most of this code has been COPIED from LoopPass.cpp |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | #include "llvm/Analysis/RegionPass.h" |
Eli Friedman | 0d823d6 | 2017-06-01 21:22:26 +0000 | [diff] [blame] | 17 | #include "llvm/IR/OptBisect.h" |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Debug.h" |
Chandler Carruth | d990388 | 2015-01-14 11:23:27 +0000 | [diff] [blame] | 19 | #include "llvm/Support/Timer.h" |
Benjamin Kramer | 799003b | 2015-03-23 19:32:43 +0000 | [diff] [blame] | 20 | #include "llvm/Support/raw_ostream.h" |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 21 | using namespace llvm; |
| 22 | |
Chandler Carruth | f1221bd | 2014-04-22 02:48:03 +0000 | [diff] [blame] | 23 | #define DEBUG_TYPE "regionpassmgr" |
| 24 | |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 25 | //===----------------------------------------------------------------------===// |
| 26 | // RGPassManager |
| 27 | // |
| 28 | |
| 29 | char RGPassManager::ID = 0; |
| 30 | |
Andrew Trick | 0896621 | 2011-08-29 17:07:00 +0000 | [diff] [blame] | 31 | RGPassManager::RGPassManager() |
| 32 | : FunctionPass(ID), PMDataManager() { |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 33 | skipThisRegion = false; |
| 34 | redoThisRegion = false; |
Craig Topper | 9f00886 | 2014-04-15 04:59:12 +0000 | [diff] [blame] | 35 | RI = nullptr; |
| 36 | CurrentRegion = nullptr; |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | // Recurse through all subregions and all regions into RQ. |
David Blaikie | ec649ac | 2014-04-15 18:32:43 +0000 | [diff] [blame] | 40 | static void addRegionIntoQueue(Region &R, std::deque<Region *> &RQ) { |
| 41 | RQ.push_back(&R); |
| 42 | for (const auto &E : R) |
| 43 | addRegionIntoQueue(*E, RQ); |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 44 | } |
| 45 | |
| 46 | /// Pass Manager itself does not invalidate any analysis info. |
| 47 | void RGPassManager::getAnalysisUsage(AnalysisUsage &Info) const { |
Matt Arsenault | 1b8d837 | 2014-07-19 18:29:29 +0000 | [diff] [blame] | 48 | Info.addRequired<RegionInfoPass>(); |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 49 | Info.setPreservesAll(); |
| 50 | } |
| 51 | |
| 52 | /// run - Execute all of the passes scheduled for execution. Keep track of |
| 53 | /// whether any of the passes modifies the function, and if so, return true. |
| 54 | bool RGPassManager::runOnFunction(Function &F) { |
Matt Arsenault | 1b8d837 | 2014-07-19 18:29:29 +0000 | [diff] [blame] | 55 | RI = &getAnalysis<RegionInfoPass>().getRegionInfo(); |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 56 | bool Changed = false; |
| 57 | |
| 58 | // Collect inherited analysis from Module level pass manager. |
| 59 | populateInheritedAnalysis(TPM->activeStack); |
| 60 | |
David Blaikie | ec649ac | 2014-04-15 18:32:43 +0000 | [diff] [blame] | 61 | addRegionIntoQueue(*RI->getTopLevelRegion(), RQ); |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 62 | |
| 63 | if (RQ.empty()) // No regions, skip calling finalizers |
| 64 | return false; |
| 65 | |
| 66 | // Initialization |
David Majnemer | f29b7ba | 2016-07-19 17:50:27 +0000 | [diff] [blame] | 67 | for (Region *R : RQ) { |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 68 | for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) { |
| 69 | RegionPass *RP = (RegionPass *)getContainedPass(Index); |
| 70 | Changed |= RP->doInitialization(R, *this); |
| 71 | } |
| 72 | } |
| 73 | |
| 74 | // Walk Regions |
| 75 | while (!RQ.empty()) { |
| 76 | |
| 77 | CurrentRegion = RQ.back(); |
| 78 | skipThisRegion = false; |
| 79 | redoThisRegion = false; |
| 80 | |
| 81 | // Run all passes on the current Region. |
| 82 | for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) { |
| 83 | RegionPass *P = (RegionPass*)getContainedPass(Index); |
| 84 | |
Chad Rosier | 99b3e02 | 2015-03-06 16:15:04 +0000 | [diff] [blame] | 85 | if (isPassDebuggingExecutionsOrMore()) { |
| 86 | dumpPassInfo(P, EXECUTION_MSG, ON_REGION_MSG, |
| 87 | CurrentRegion->getNameStr()); |
| 88 | dumpRequiredSet(P); |
| 89 | } |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 90 | |
| 91 | initializeAnalysisImpl(P); |
| 92 | |
| 93 | { |
| 94 | PassManagerPrettyStackEntry X(P, *CurrentRegion->getEntry()); |
| 95 | |
| 96 | TimeRegion PassTimer(getPassTimer(P)); |
| 97 | Changed |= P->runOnRegion(CurrentRegion, *this); |
| 98 | } |
| 99 | |
Chad Rosier | 99b3e02 | 2015-03-06 16:15:04 +0000 | [diff] [blame] | 100 | if (isPassDebuggingExecutionsOrMore()) { |
| 101 | if (Changed) |
| 102 | dumpPassInfo(P, MODIFICATION_MSG, ON_REGION_MSG, |
| 103 | skipThisRegion ? "<deleted>" : |
| 104 | CurrentRegion->getNameStr()); |
| 105 | dumpPreservedSet(P); |
| 106 | } |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 107 | |
| 108 | if (!skipThisRegion) { |
| 109 | // Manually check that this region is still healthy. This is done |
| 110 | // instead of relying on RegionInfo::verifyRegion since RegionInfo |
| 111 | // is a function pass and it's really expensive to verify every |
| 112 | // Region in the function every time. That level of checking can be |
| 113 | // enabled with the -verify-region-info option. |
| 114 | { |
| 115 | TimeRegion PassTimer(getPassTimer(P)); |
| 116 | CurrentRegion->verifyRegion(); |
| 117 | } |
| 118 | |
| 119 | // Then call the regular verifyAnalysis functions. |
| 120 | verifyPreservedAnalysis(P); |
| 121 | } |
| 122 | |
| 123 | removeNotPreservedAnalysis(P); |
| 124 | recordAvailableAnalysis(P); |
| 125 | removeDeadPasses(P, |
Chad Rosier | 99b3e02 | 2015-03-06 16:15:04 +0000 | [diff] [blame] | 126 | (!isPassDebuggingExecutionsOrMore() || skipThisRegion) ? |
| 127 | "<deleted>" : CurrentRegion->getNameStr(), |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 128 | ON_REGION_MSG); |
| 129 | |
| 130 | if (skipThisRegion) |
| 131 | // Do not run other passes on this region. |
| 132 | break; |
| 133 | } |
| 134 | |
| 135 | // If the region was deleted, release all the region passes. This frees up |
| 136 | // some memory, and avoids trouble with the pass manager trying to call |
| 137 | // verifyAnalysis on them. |
| 138 | if (skipThisRegion) |
| 139 | for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) { |
| 140 | Pass *P = getContainedPass(Index); |
| 141 | freePass(P, "<deleted>", ON_REGION_MSG); |
| 142 | } |
| 143 | |
| 144 | // Pop the region from queue after running all passes. |
| 145 | RQ.pop_back(); |
| 146 | |
| 147 | if (redoThisRegion) |
| 148 | RQ.push_back(CurrentRegion); |
| 149 | |
| 150 | // Free all region nodes created in region passes. |
| 151 | RI->clearNodeCache(); |
| 152 | } |
| 153 | |
| 154 | // Finalization |
| 155 | for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) { |
| 156 | RegionPass *P = (RegionPass*)getContainedPass(Index); |
| 157 | Changed |= P->doFinalization(); |
| 158 | } |
| 159 | |
| 160 | // Print the region tree after all pass. |
| 161 | DEBUG( |
| 162 | dbgs() << "\nRegion tree of function " << F.getName() |
| 163 | << " after all region Pass:\n"; |
| 164 | RI->dump(); |
| 165 | dbgs() << "\n"; |
| 166 | ); |
| 167 | |
| 168 | return Changed; |
| 169 | } |
| 170 | |
| 171 | /// Print passes managed by this manager |
| 172 | void RGPassManager::dumpPassStructure(unsigned Offset) { |
| 173 | errs().indent(Offset*2) << "Region Pass Manager\n"; |
| 174 | for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) { |
| 175 | Pass *P = getContainedPass(Index); |
| 176 | P->dumpPassStructure(Offset + 1); |
| 177 | dumpLastUses(P, Offset+1); |
| 178 | } |
| 179 | } |
| 180 | |
| 181 | namespace { |
| 182 | //===----------------------------------------------------------------------===// |
| 183 | // PrintRegionPass |
| 184 | class PrintRegionPass : public RegionPass { |
| 185 | private: |
| 186 | std::string Banner; |
| 187 | raw_ostream &Out; // raw_ostream to print on. |
| 188 | |
| 189 | public: |
| 190 | static char ID; |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 191 | PrintRegionPass(const std::string &B, raw_ostream &o) |
| 192 | : RegionPass(ID), Banner(B), Out(o) {} |
| 193 | |
Craig Topper | e9ba759 | 2014-03-05 07:30:04 +0000 | [diff] [blame] | 194 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 195 | AU.setPreservesAll(); |
| 196 | } |
| 197 | |
Craig Topper | e9ba759 | 2014-03-05 07:30:04 +0000 | [diff] [blame] | 198 | bool runOnRegion(Region *R, RGPassManager &RGM) override { |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 199 | Out << Banner; |
Richard Trieu | 6b1aa5f | 2015-04-15 01:21:15 +0000 | [diff] [blame] | 200 | for (const auto *BB : R->blocks()) { |
Richard Trieu | c148522 | 2014-06-21 02:43:02 +0000 | [diff] [blame] | 201 | if (BB) |
| 202 | BB->print(Out); |
| 203 | else |
| 204 | Out << "Printing <null> Block"; |
Richard Trieu | a23043c | 2014-06-09 22:53:16 +0000 | [diff] [blame] | 205 | } |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 206 | |
| 207 | return false; |
| 208 | } |
Yaron Keren | 1de4792 | 2017-03-10 07:09:20 +0000 | [diff] [blame] | 209 | |
Michael Kruse | c0a6aab | 2017-08-25 12:38:53 +0000 | [diff] [blame] | 210 | StringRef getPassName() const override { return "Print Region IR"; } |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 211 | }; |
| 212 | |
| 213 | char PrintRegionPass::ID = 0; |
| 214 | } //end anonymous namespace |
| 215 | |
| 216 | //===----------------------------------------------------------------------===// |
| 217 | // RegionPass |
| 218 | |
| 219 | // Check if this pass is suitable for the current RGPassManager, if |
| 220 | // available. This pass P is not suitable for a RGPassManager if P |
| 221 | // is not preserving higher level analysis info used by other |
| 222 | // RGPassManager passes. In such case, pop RGPassManager from the |
| 223 | // stack. This will force assignPassManager() to create new |
| 224 | // LPPassManger as expected. |
| 225 | void RegionPass::preparePassManager(PMStack &PMS) { |
| 226 | |
| 227 | // Find RGPassManager |
| 228 | while (!PMS.empty() && |
| 229 | PMS.top()->getPassManagerType() > PMT_RegionPassManager) |
| 230 | PMS.pop(); |
| 231 | |
| 232 | |
| 233 | // If this pass is destroying high level information that is used |
| 234 | // by other passes that are managed by LPM then do not insert |
| 235 | // this pass in current LPM. Use new RGPassManager. |
| 236 | if (PMS.top()->getPassManagerType() == PMT_RegionPassManager && |
| 237 | !PMS.top()->preserveHigherLevelAnalysis(this)) |
| 238 | PMS.pop(); |
| 239 | } |
| 240 | |
| 241 | /// Assign pass manager to manage this pass. |
| 242 | void RegionPass::assignPassManager(PMStack &PMS, |
| 243 | PassManagerType PreferredType) { |
| 244 | // Find RGPassManager |
| 245 | while (!PMS.empty() && |
| 246 | PMS.top()->getPassManagerType() > PMT_RegionPassManager) |
| 247 | PMS.pop(); |
| 248 | |
| 249 | RGPassManager *RGPM; |
| 250 | |
| 251 | // Create new Region Pass Manager if it does not exist. |
| 252 | if (PMS.top()->getPassManagerType() == PMT_RegionPassManager) |
| 253 | RGPM = (RGPassManager*)PMS.top(); |
| 254 | else { |
| 255 | |
| 256 | assert (!PMS.empty() && "Unable to create Region Pass Manager"); |
| 257 | PMDataManager *PMD = PMS.top(); |
| 258 | |
Hongbin Zheng | cd5afc5 | 2011-05-05 13:59:38 +0000 | [diff] [blame] | 259 | // [1] Create new Region Pass Manager |
Andrew Trick | 0896621 | 2011-08-29 17:07:00 +0000 | [diff] [blame] | 260 | RGPM = new RGPassManager(); |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 261 | RGPM->populateInheritedAnalysis(PMS); |
| 262 | |
| 263 | // [2] Set up new manager's top level manager |
| 264 | PMTopLevelManager *TPM = PMD->getTopLevelManager(); |
| 265 | TPM->addIndirectPassManager(RGPM); |
| 266 | |
| 267 | // [3] Assign manager to manage this new manager. This may create |
| 268 | // and push new managers into PMS |
Tobias Grosser | f3e1ada | 2010-12-12 21:58:28 +0000 | [diff] [blame] | 269 | TPM->schedulePass(RGPM); |
Tobias Grosser | 23c8341 | 2010-10-20 01:54:44 +0000 | [diff] [blame] | 270 | |
| 271 | // [4] Push new manager into PMS |
| 272 | PMS.push(RGPM); |
| 273 | } |
| 274 | |
| 275 | RGPM->add(this); |
| 276 | } |
| 277 | |
| 278 | /// Get the printer pass |
| 279 | Pass *RegionPass::createPrinterPass(raw_ostream &O, |
| 280 | const std::string &Banner) const { |
| 281 | return new PrintRegionPass(Banner, O); |
| 282 | } |
Eli Friedman | 0d823d6 | 2017-06-01 21:22:26 +0000 | [diff] [blame] | 283 | |
| 284 | bool RegionPass::skipRegion(Region &R) const { |
| 285 | Function &F = *R.getEntry()->getParent(); |
| 286 | if (!F.getContext().getOptBisect().shouldRunPass(this, R)) |
| 287 | return true; |
| 288 | |
| 289 | if (F.hasFnAttribute(Attribute::OptimizeNone)) { |
| 290 | // Report this only once per function. |
| 291 | if (R.getEntry() == &F.getEntryBlock()) |
| 292 | DEBUG(dbgs() << "Skipping pass '" << getPassName() |
| 293 | << "' on function " << F.getName() << "\n"); |
| 294 | return true; |
| 295 | } |
| 296 | return false; |
| 297 | } |