Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 1 | //===- LexicalScopes.cpp - Collecting lexical scope info ------------------===// |
| 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 LexicalScopes analysis. |
| 11 | // |
| 12 | // This pass collects lexical scope information and maps machine instructions |
| 13 | // to respective lexical scopes. |
| 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/LexicalScopes.h" |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineFunction.h" |
| 19 | #include "llvm/CodeGen/MachineInstr.h" |
Chandler Carruth | 9a4c9e5 | 2014-03-06 00:46:21 +0000 | [diff] [blame] | 20 | #include "llvm/IR/DebugInfo.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Function.h" |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 22 | #include "llvm/Support/Debug.h" |
| 23 | #include "llvm/Support/ErrorHandling.h" |
| 24 | #include "llvm/Support/FormattedStream.h" |
| 25 | using namespace llvm; |
| 26 | |
Chandler Carruth | 1b9dde0 | 2014-04-22 02:02:50 +0000 | [diff] [blame] | 27 | #define DEBUG_TYPE "lexicalscopes" |
| 28 | |
Eric Christopher | b7dee8a | 2013-11-20 00:54:28 +0000 | [diff] [blame] | 29 | /// reset - Reset the instance so that it's prepared for another function. |
| 30 | void LexicalScopes::reset() { |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 31 | MF = nullptr; |
| 32 | CurrentFnLexicalScope = nullptr; |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 33 | LexicalScopeMap.clear(); |
| 34 | AbstractScopeMap.clear(); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 35 | InlinedLexicalScopeMap.clear(); |
| 36 | AbstractScopesList.clear(); |
| 37 | } |
| 38 | |
| 39 | /// initialize - Scan machine function and constuct lexical scope nest. |
| 40 | void LexicalScopes::initialize(const MachineFunction &Fn) { |
Eric Christopher | b7dee8a | 2013-11-20 00:54:28 +0000 | [diff] [blame] | 41 | reset(); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 42 | MF = &Fn; |
| 43 | SmallVector<InsnRange, 4> MIRanges; |
| 44 | DenseMap<const MachineInstr *, LexicalScope *> MI2ScopeMap; |
| 45 | extractLexicalScopes(MIRanges, MI2ScopeMap); |
| 46 | if (CurrentFnLexicalScope) { |
| 47 | constructScopeNest(CurrentFnLexicalScope); |
| 48 | assignInstructionRanges(MIRanges, MI2ScopeMap); |
| 49 | } |
| 50 | } |
| 51 | |
| 52 | /// extractLexicalScopes - Extract instruction ranges for each lexical scopes |
| 53 | /// for the given machine function. |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 54 | void LexicalScopes::extractLexicalScopes( |
| 55 | SmallVectorImpl<InsnRange> &MIRanges, |
| 56 | DenseMap<const MachineInstr *, LexicalScope *> &MI2ScopeMap) { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 57 | |
| 58 | // Scan each instruction and create scopes. First build working set of scopes. |
Alexey Samsonov | 41b977d | 2014-04-30 18:29:51 +0000 | [diff] [blame] | 59 | for (const auto &MBB : *MF) { |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 60 | const MachineInstr *RangeBeginMI = nullptr; |
| 61 | const MachineInstr *PrevMI = nullptr; |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 62 | const DILocation *PrevDL = nullptr; |
Alexey Samsonov | f74bde6 | 2014-04-30 22:17:38 +0000 | [diff] [blame] | 63 | for (const auto &MInsn : MBB) { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 64 | // Check if instruction has valid location information. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 65 | const DILocation *MIDL = MInsn.getDebugLoc(); |
Duncan P. N. Exon Smith | 9dffcd0 | 2015-03-30 19:14:47 +0000 | [diff] [blame] | 66 | if (!MIDL) { |
Alexey Samsonov | f74bde6 | 2014-04-30 22:17:38 +0000 | [diff] [blame] | 67 | PrevMI = &MInsn; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 68 | continue; |
| 69 | } |
| 70 | |
| 71 | // If scope has not changed then skip this instruction. |
| 72 | if (MIDL == PrevDL) { |
Alexey Samsonov | f74bde6 | 2014-04-30 22:17:38 +0000 | [diff] [blame] | 73 | PrevMI = &MInsn; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 74 | continue; |
| 75 | } |
| 76 | |
| 77 | // Ignore DBG_VALUE. It does not contribute to any instruction in output. |
Alexey Samsonov | f74bde6 | 2014-04-30 22:17:38 +0000 | [diff] [blame] | 78 | if (MInsn.isDebugValue()) |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 79 | continue; |
| 80 | |
| 81 | if (RangeBeginMI) { |
| 82 | // If we have already seen a beginning of an instruction range and |
| 83 | // current instruction scope does not match scope of first instruction |
| 84 | // in this range then create a new instruction range. |
| 85 | InsnRange R(RangeBeginMI, PrevMI); |
| 86 | MI2ScopeMap[RangeBeginMI] = getOrCreateLexicalScope(PrevDL); |
| 87 | MIRanges.push_back(R); |
| 88 | } |
| 89 | |
| 90 | // This is a beginning of a new instruction range. |
Alexey Samsonov | f74bde6 | 2014-04-30 22:17:38 +0000 | [diff] [blame] | 91 | RangeBeginMI = &MInsn; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 92 | |
| 93 | // Reset previous markers. |
Alexey Samsonov | f74bde6 | 2014-04-30 22:17:38 +0000 | [diff] [blame] | 94 | PrevMI = &MInsn; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 95 | PrevDL = MIDL; |
| 96 | } |
| 97 | |
| 98 | // Create last instruction range. |
Duncan P. N. Exon Smith | 9dffcd0 | 2015-03-30 19:14:47 +0000 | [diff] [blame] | 99 | if (RangeBeginMI && PrevMI && PrevDL) { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 100 | InsnRange R(RangeBeginMI, PrevMI); |
| 101 | MIRanges.push_back(R); |
| 102 | MI2ScopeMap[RangeBeginMI] = getOrCreateLexicalScope(PrevDL); |
| 103 | } |
| 104 | } |
| 105 | } |
| 106 | |
| 107 | /// findLexicalScope - Find lexical scope, either regular or inlined, for the |
| 108 | /// given DebugLoc. Return NULL if not found. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 109 | LexicalScope *LexicalScopes::findLexicalScope(const DILocation *DL) { |
| 110 | DILocalScope *Scope = DL->getScope(); |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 111 | if (!Scope) |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 112 | return nullptr; |
Eric Christopher | 6647b83 | 2011-10-11 22:59:11 +0000 | [diff] [blame] | 113 | |
| 114 | // The scope that we were created with could have an extra file - which |
| 115 | // isn't what we care about in this case. |
Amjad Aboud | a5ba991 | 2016-04-21 16:58:49 +0000 | [diff] [blame] | 116 | Scope = Scope->getNonLexicalBlockFileScope(); |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 117 | |
Duncan P. N. Exon Smith | 5a227ff | 2015-03-30 21:54:46 +0000 | [diff] [blame] | 118 | if (auto *IA = DL->getInlinedAt()) { |
David Blaikie | 9b8c8cd | 2014-05-14 01:08:28 +0000 | [diff] [blame] | 119 | auto I = InlinedLexicalScopeMap.find(std::make_pair(Scope, IA)); |
| 120 | return I != InlinedLexicalScopeMap.end() ? &I->second : nullptr; |
| 121 | } |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 122 | return findLexicalScope(Scope); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 123 | } |
| 124 | |
| 125 | /// getOrCreateLexicalScope - Find lexical scope for the given DebugLoc. If |
| 126 | /// not available then create new lexical scope. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 127 | LexicalScope *LexicalScopes::getOrCreateLexicalScope(const DILocalScope *Scope, |
| 128 | const DILocation *IA) { |
Duncan P. N. Exon Smith | 82eba74 | 2015-03-30 23:47:26 +0000 | [diff] [blame] | 129 | if (IA) { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 130 | // Create an abstract scope for inlined function. |
| 131 | getOrCreateAbstractScope(Scope); |
| 132 | // Create an inlined scope for inlined function. |
Duncan P. N. Exon Smith | 82eba74 | 2015-03-30 23:47:26 +0000 | [diff] [blame] | 133 | return getOrCreateInlinedScope(Scope, IA); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 134 | } |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 135 | |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 136 | return getOrCreateRegularScope(Scope); |
| 137 | } |
| 138 | |
| 139 | /// getOrCreateRegularScope - Find or create a regular lexical scope. |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 140 | LexicalScope * |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 141 | LexicalScopes::getOrCreateRegularScope(const DILocalScope *Scope) { |
Amjad Aboud | a5ba991 | 2016-04-21 16:58:49 +0000 | [diff] [blame] | 142 | assert(Scope && "Invalid Scope encoding!"); |
| 143 | Scope = Scope->getNonLexicalBlockFileScope(); |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 144 | |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 145 | auto I = LexicalScopeMap.find(Scope); |
| 146 | if (I != LexicalScopeMap.end()) |
| 147 | return &I->second; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 148 | |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 149 | // FIXME: Should the following dyn_cast be DILexicalBlock? |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 150 | LexicalScope *Parent = nullptr; |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 151 | if (auto *Block = dyn_cast<DILexicalBlockBase>(Scope)) |
Duncan P. N. Exon Smith | 82eba74 | 2015-03-30 23:47:26 +0000 | [diff] [blame] | 152 | Parent = getOrCreateLexicalScope(Block->getScope()); |
Aaron Ballman | f17583e | 2015-02-16 18:21:19 +0000 | [diff] [blame] | 153 | I = LexicalScopeMap.emplace(std::piecewise_construct, |
| 154 | std::forward_as_tuple(Scope), |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 155 | std::forward_as_tuple(Parent, Scope, nullptr, |
| 156 | false)).first; |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 157 | |
David Blaikie | 3dfe478 | 2014-10-14 18:22:52 +0000 | [diff] [blame] | 158 | if (!Parent) { |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 159 | assert(cast<DISubprogram>(Scope)->describes(MF->getFunction())); |
David Blaikie | 3dfe478 | 2014-10-14 18:22:52 +0000 | [diff] [blame] | 160 | assert(!CurrentFnLexicalScope); |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 161 | CurrentFnLexicalScope = &I->second; |
David Blaikie | 3dfe478 | 2014-10-14 18:22:52 +0000 | [diff] [blame] | 162 | } |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 163 | |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 164 | return &I->second; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 165 | } |
| 166 | |
| 167 | /// getOrCreateInlinedScope - Find or create an inlined lexical scope. |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 168 | LexicalScope * |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 169 | LexicalScopes::getOrCreateInlinedScope(const DILocalScope *Scope, |
| 170 | const DILocation *InlinedAt) { |
Amjad Aboud | a5ba991 | 2016-04-21 16:58:49 +0000 | [diff] [blame] | 171 | assert(Scope && "Invalid Scope encoding!"); |
| 172 | Scope = Scope->getNonLexicalBlockFileScope(); |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 173 | std::pair<const DILocalScope *, const DILocation *> P(Scope, InlinedAt); |
David Blaikie | 9b8c8cd | 2014-05-14 01:08:28 +0000 | [diff] [blame] | 174 | auto I = InlinedLexicalScopeMap.find(P); |
| 175 | if (I != InlinedLexicalScopeMap.end()) |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 176 | return &I->second; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 177 | |
David Blaikie | 9b8c8cd | 2014-05-14 01:08:28 +0000 | [diff] [blame] | 178 | LexicalScope *Parent; |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 179 | if (auto *Block = dyn_cast<DILexicalBlockBase>(Scope)) |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 180 | Parent = getOrCreateInlinedScope(Block->getScope(), InlinedAt); |
David Blaikie | 9b8c8cd | 2014-05-14 01:08:28 +0000 | [diff] [blame] | 181 | else |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 182 | Parent = getOrCreateLexicalScope(InlinedAt); |
David Blaikie | 9b8c8cd | 2014-05-14 01:08:28 +0000 | [diff] [blame] | 183 | |
David Blaikie | 9b8c8cd | 2014-05-14 01:08:28 +0000 | [diff] [blame] | 184 | I = InlinedLexicalScopeMap.emplace(std::piecewise_construct, |
Aaron Ballman | f17583e | 2015-02-16 18:21:19 +0000 | [diff] [blame] | 185 | std::forward_as_tuple(P), |
| 186 | std::forward_as_tuple(Parent, Scope, |
| 187 | InlinedAt, false)) |
| 188 | .first; |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 189 | return &I->second; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 190 | } |
| 191 | |
| 192 | /// getOrCreateAbstractScope - Find or create an abstract lexical scope. |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 193 | LexicalScope * |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 194 | LexicalScopes::getOrCreateAbstractScope(const DILocalScope *Scope) { |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 195 | assert(Scope && "Invalid Scope encoding!"); |
Amjad Aboud | a5ba991 | 2016-04-21 16:58:49 +0000 | [diff] [blame] | 196 | Scope = Scope->getNonLexicalBlockFileScope(); |
David Blaikie | ea86226 | 2014-05-25 18:11:35 +0000 | [diff] [blame] | 197 | auto I = AbstractScopeMap.find(Scope); |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 198 | if (I != AbstractScopeMap.end()) |
| 199 | return &I->second; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 200 | |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 201 | // FIXME: Should the following isa be DILexicalBlock? |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 202 | LexicalScope *Parent = nullptr; |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 203 | if (auto *Block = dyn_cast<DILexicalBlockBase>(Scope)) |
Duncan P. N. Exon Smith | 33af7a8 | 2015-03-30 23:21:21 +0000 | [diff] [blame] | 204 | Parent = getOrCreateAbstractScope(Block->getScope()); |
| 205 | |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 206 | I = AbstractScopeMap.emplace(std::piecewise_construct, |
David Blaikie | ea86226 | 2014-05-25 18:11:35 +0000 | [diff] [blame] | 207 | std::forward_as_tuple(Scope), |
| 208 | std::forward_as_tuple(Parent, Scope, |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 209 | nullptr, true)).first; |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 210 | if (isa<DISubprogram>(Scope)) |
David Blaikie | 2f143e0 | 2014-05-08 22:24:51 +0000 | [diff] [blame] | 211 | AbstractScopesList.push_back(&I->second); |
| 212 | return &I->second; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 213 | } |
| 214 | |
| 215 | /// constructScopeNest |
| 216 | void LexicalScopes::constructScopeNest(LexicalScope *Scope) { |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 217 | assert(Scope && "Unable to calculate scope dominance graph!"); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 218 | SmallVector<LexicalScope *, 4> WorkStack; |
| 219 | WorkStack.push_back(Scope); |
| 220 | unsigned Counter = 0; |
| 221 | while (!WorkStack.empty()) { |
| 222 | LexicalScope *WS = WorkStack.back(); |
Craig Topper | 80170e5 | 2013-07-03 04:30:58 +0000 | [diff] [blame] | 223 | const SmallVectorImpl<LexicalScope *> &Children = WS->getChildren(); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 224 | bool visitedChildren = false; |
Adrian Prantl | 16b2ace | 2016-09-28 17:31:17 +0000 | [diff] [blame^] | 225 | for (auto &ChildScope : Children) |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 226 | if (!ChildScope->getDFSOut()) { |
| 227 | WorkStack.push_back(ChildScope); |
| 228 | visitedChildren = true; |
| 229 | ChildScope->setDFSIn(++Counter); |
| 230 | break; |
| 231 | } |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 232 | if (!visitedChildren) { |
| 233 | WorkStack.pop_back(); |
| 234 | WS->setDFSOut(++Counter); |
| 235 | } |
| 236 | } |
| 237 | } |
| 238 | |
Devang Patel | 784077e | 2011-08-10 23:58:09 +0000 | [diff] [blame] | 239 | /// assignInstructionRanges - Find ranges of instructions covered by each |
| 240 | /// lexical scope. |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 241 | void LexicalScopes::assignInstructionRanges( |
| 242 | SmallVectorImpl<InsnRange> &MIRanges, |
| 243 | DenseMap<const MachineInstr *, LexicalScope *> &MI2ScopeMap) { |
| 244 | |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 245 | LexicalScope *PrevLexicalScope = nullptr; |
Adrian Prantl | 16b2ace | 2016-09-28 17:31:17 +0000 | [diff] [blame^] | 246 | for (const auto &R : MIRanges) { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 247 | LexicalScope *S = MI2ScopeMap.lookup(R.first); |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 248 | assert(S && "Lost LexicalScope for a machine instruction!"); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 249 | if (PrevLexicalScope && !PrevLexicalScope->dominates(S)) |
| 250 | PrevLexicalScope->closeInsnRange(S); |
| 251 | S->openInsnRange(R.first); |
| 252 | S->extendInsnRange(R.second); |
| 253 | PrevLexicalScope = S; |
| 254 | } |
| 255 | |
| 256 | if (PrevLexicalScope) |
| 257 | PrevLexicalScope->closeInsnRange(); |
| 258 | } |
| 259 | |
| 260 | /// getMachineBasicBlocks - Populate given set using machine basic blocks which |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 261 | /// have machine instructions that belong to lexical scope identified by |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 262 | /// DebugLoc. |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 263 | void LexicalScopes::getMachineBasicBlocks( |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 264 | const DILocation *DL, SmallPtrSetImpl<const MachineBasicBlock *> &MBBs) { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 265 | MBBs.clear(); |
| 266 | LexicalScope *Scope = getOrCreateLexicalScope(DL); |
| 267 | if (!Scope) |
| 268 | return; |
Eric Christopher | 6211e4b | 2013-11-20 00:54:19 +0000 | [diff] [blame] | 269 | |
Devang Patel | db4374a | 2011-08-12 18:01:34 +0000 | [diff] [blame] | 270 | if (Scope == CurrentFnLexicalScope) { |
Alexey Samsonov | 41b977d | 2014-04-30 18:29:51 +0000 | [diff] [blame] | 271 | for (const auto &MBB : *MF) |
| 272 | MBBs.insert(&MBB); |
Devang Patel | db4374a | 2011-08-12 18:01:34 +0000 | [diff] [blame] | 273 | return; |
| 274 | } |
| 275 | |
Craig Topper | 80170e5 | 2013-07-03 04:30:58 +0000 | [diff] [blame] | 276 | SmallVectorImpl<InsnRange> &InsnRanges = Scope->getRanges(); |
Adrian Prantl | 16b2ace | 2016-09-28 17:31:17 +0000 | [diff] [blame^] | 277 | for (auto &R : InsnRanges) |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 278 | MBBs.insert(R.first->getParent()); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 279 | } |
| 280 | |
| 281 | /// dominates - Return true if DebugLoc's lexical scope dominates at least one |
| 282 | /// machine instruction's lexical scope in a given machine basic block. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 283 | bool LexicalScopes::dominates(const DILocation *DL, MachineBasicBlock *MBB) { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 284 | LexicalScope *Scope = getOrCreateLexicalScope(DL); |
| 285 | if (!Scope) |
| 286 | return false; |
Devang Patel | db4374a | 2011-08-12 18:01:34 +0000 | [diff] [blame] | 287 | |
| 288 | // Current function scope covers all basic blocks in the function. |
| 289 | if (Scope == CurrentFnLexicalScope && MBB->getParent() == MF) |
| 290 | return true; |
| 291 | |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 292 | bool Result = false; |
Adrian Prantl | 16b2ace | 2016-09-28 17:31:17 +0000 | [diff] [blame^] | 293 | for (auto &I : *MBB) { |
| 294 | if (const DILocation *IDL = I.getDebugLoc()) |
Duncan P. N. Exon Smith | 3386e0e | 2015-03-30 23:58:59 +0000 | [diff] [blame] | 295 | if (LexicalScope *IScope = getOrCreateLexicalScope(IDL)) |
| 296 | if (Scope->dominates(IScope)) |
| 297 | return true; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 298 | } |
| 299 | return Result; |
| 300 | } |
| 301 | |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 302 | /// dump - Print data structures. |
Manman Ren | e498b25 | 2013-02-02 00:02:03 +0000 | [diff] [blame] | 303 | void LexicalScope::dump(unsigned Indent) const { |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 304 | #ifndef NDEBUG |
| 305 | raw_ostream &err = dbgs(); |
Manman Ren | e498b25 | 2013-02-02 00:02:03 +0000 | [diff] [blame] | 306 | err.indent(Indent); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 307 | err << "DFSIn: " << DFSIn << " DFSOut: " << DFSOut << "\n"; |
| 308 | const MDNode *N = Desc; |
Manman Ren | e498b25 | 2013-02-02 00:02:03 +0000 | [diff] [blame] | 309 | err.indent(Indent); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 310 | N->dump(); |
| 311 | if (AbstractScope) |
Manman Ren | e498b25 | 2013-02-02 00:02:03 +0000 | [diff] [blame] | 312 | err << std::string(Indent, ' ') << "Abstract Scope\n"; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 313 | |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 314 | if (!Children.empty()) |
Manman Ren | e498b25 | 2013-02-02 00:02:03 +0000 | [diff] [blame] | 315 | err << std::string(Indent + 2, ' ') << "Children ...\n"; |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 316 | for (unsigned i = 0, e = Children.size(); i != e; ++i) |
| 317 | if (Children[i] != this) |
Manman Ren | e498b25 | 2013-02-02 00:02:03 +0000 | [diff] [blame] | 318 | Children[i]->dump(Indent + 2); |
Devang Patel | e1649c3 | 2011-08-10 19:04:06 +0000 | [diff] [blame] | 319 | #endif |
| 320 | } |