xref: /freebsd/contrib/llvm-project/llvm/lib/Analysis/RegionPass.cpp (revision 5956d97f4b3204318ceb6aa9c77bd0bc6ea87a41)
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