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