blob: 52d1b1c65cd4b2142c8804140fb607a7f6613f6f [file] [log] [blame]
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +00001//===--- HexagonBlockRanges.cpp -------------------------------------------===//
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#define DEBUG_TYPE "hbr"
11
12#include "HexagonBlockRanges.h"
13#include "HexagonInstrInfo.h"
14#include "HexagonSubtarget.h"
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000015#include "llvm/ADT/BitVector.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000016#include "llvm/ADT/STLExtras.h"
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000017#include "llvm/CodeGen/MachineBasicBlock.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000018#include "llvm/CodeGen/MachineFunction.h"
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000019#include "llvm/CodeGen/MachineInstr.h"
20#include "llvm/CodeGen/MachineRegisterInfo.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000021#include "llvm/MC/MCRegisterInfo.h"
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000022#include "llvm/Support/Debug.h"
23#include "llvm/Support/raw_ostream.h"
Mehdi Aminib550cb12016-04-18 09:17:29 +000024#include "llvm/Target/TargetRegisterInfo.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000025#include <algorithm>
26#include <cassert>
27#include <iterator>
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000028#include <map>
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000029
30using namespace llvm;
31
32bool HexagonBlockRanges::IndexRange::overlaps(const IndexRange &A) const {
33 // If A contains start(), or "this" contains A.start(), then overlap.
34 IndexType S = start(), E = end(), AS = A.start(), AE = A.end();
35 if (AS == S)
36 return true;
37 bool SbAE = (S < AE) || (S == AE && A.TiedEnd); // S-before-AE.
38 bool ASbE = (AS < E) || (AS == E && TiedEnd); // AS-before-E.
39 if ((AS < S && SbAE) || (S < AS && ASbE))
40 return true;
41 // Otherwise no overlap.
42 return false;
43}
44
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000045bool HexagonBlockRanges::IndexRange::contains(const IndexRange &A) const {
46 if (start() <= A.start()) {
47 // Treat "None" in the range end as equal to the range start.
48 IndexType E = (end() != IndexType::None) ? end() : start();
49 IndexType AE = (A.end() != IndexType::None) ? A.end() : A.start();
50 if (AE <= E)
51 return true;
52 }
53 return false;
54}
55
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000056void HexagonBlockRanges::IndexRange::merge(const IndexRange &A) {
57 // Allow merging adjacent ranges.
58 assert(end() == A.start() || overlaps(A));
59 IndexType AS = A.start(), AE = A.end();
60 if (AS < start() || start() == IndexType::None)
61 setStart(AS);
62 if (end() < AE || end() == IndexType::None) {
63 setEnd(AE);
64 TiedEnd = A.TiedEnd;
65 } else {
66 if (end() == AE)
67 TiedEnd |= A.TiedEnd;
68 }
69 if (A.Fixed)
70 Fixed = true;
71}
72
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000073void HexagonBlockRanges::RangeList::include(const RangeList &RL) {
74 for (auto &R : RL)
David Majnemer42531262016-08-12 03:55:06 +000075 if (!is_contained(*this, R))
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000076 push_back(R);
77}
78
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000079// Merge all overlapping ranges in the list, so that all that remains
80// is a list of disjoint ranges.
81void HexagonBlockRanges::RangeList::unionize(bool MergeAdjacent) {
82 if (empty())
83 return;
84
85 std::sort(begin(), end());
86 iterator Iter = begin();
87
88 while (Iter != end()-1) {
89 iterator Next = std::next(Iter);
90 // If MergeAdjacent is true, merge ranges A and B, where A.end == B.start.
91 // This allows merging dead ranges, but is not valid for live ranges.
92 bool Merge = MergeAdjacent && (Iter->end() == Next->start());
93 if (Merge || Iter->overlaps(*Next)) {
94 Iter->merge(*Next);
95 erase(Next);
96 continue;
97 }
98 ++Iter;
99 }
100}
101
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000102// Compute a range A-B and add it to the list.
103void HexagonBlockRanges::RangeList::addsub(const IndexRange &A,
104 const IndexRange &B) {
105 // Exclusion of non-overlapping ranges makes some checks simpler
106 // later in this function.
107 if (!A.overlaps(B)) {
108 // A - B = A.
109 add(A);
110 return;
111 }
112
113 IndexType AS = A.start(), AE = A.end();
114 IndexType BS = B.start(), BE = B.end();
115
116 // If AE is None, then A is included in B, since A and B overlap.
117 // The result of subtraction if empty, so just return.
118 if (AE == IndexType::None)
119 return;
120
121 if (AS < BS) {
122 // A starts before B.
123 // AE cannot be None since A and B overlap.
124 assert(AE != IndexType::None);
125 // Add the part of A that extends on the "less" side of B.
126 add(AS, BS, A.Fixed, false);
127 }
128
129 if (BE < AE) {
130 // BE cannot be Exit here.
131 if (BE == IndexType::None)
132 add(BS, AE, A.Fixed, false);
133 else
134 add(BE, AE, A.Fixed, false);
135 }
136}
137
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000138// Subtract a given range from each element in the list.
139void HexagonBlockRanges::RangeList::subtract(const IndexRange &Range) {
140 // Cannot assume that the list is unionized (i.e. contains only non-
141 // overlapping ranges.
142 RangeList T;
143 for (iterator Next, I = begin(); I != end(); I = Next) {
144 IndexRange &Rg = *I;
145 if (Rg.overlaps(Range)) {
146 T.addsub(Rg, Range);
147 Next = this->erase(I);
148 } else {
149 Next = std::next(I);
150 }
151 }
152 include(T);
153}
154
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000155HexagonBlockRanges::InstrIndexMap::InstrIndexMap(MachineBasicBlock &B)
156 : Block(B) {
157 IndexType Idx = IndexType::First;
158 First = Idx;
159 for (auto &In : B) {
160 if (In.isDebugValue())
161 continue;
162 assert(getIndex(&In) == IndexType::None && "Instruction already in map");
163 Map.insert(std::make_pair(Idx, &In));
164 ++Idx;
165 }
166 Last = B.empty() ? IndexType::None : unsigned(Idx)-1;
167}
168
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000169MachineInstr *HexagonBlockRanges::InstrIndexMap::getInstr(IndexType Idx) const {
170 auto F = Map.find(Idx);
Eugene Zelenko82085922016-12-13 22:13:50 +0000171 return (F != Map.end()) ? F->second : nullptr;
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000172}
173
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000174HexagonBlockRanges::IndexType HexagonBlockRanges::InstrIndexMap::getIndex(
175 MachineInstr *MI) const {
176 for (auto &I : Map)
177 if (I.second == MI)
178 return I.first;
179 return IndexType::None;
180}
181
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000182HexagonBlockRanges::IndexType HexagonBlockRanges::InstrIndexMap::getPrevIndex(
183 IndexType Idx) const {
184 assert (Idx != IndexType::None);
185 if (Idx == IndexType::Entry)
186 return IndexType::None;
187 if (Idx == IndexType::Exit)
188 return Last;
189 if (Idx == First)
190 return IndexType::Entry;
191 return unsigned(Idx)-1;
192}
193
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000194HexagonBlockRanges::IndexType HexagonBlockRanges::InstrIndexMap::getNextIndex(
195 IndexType Idx) const {
196 assert (Idx != IndexType::None);
197 if (Idx == IndexType::Entry)
198 return IndexType::First;
199 if (Idx == IndexType::Exit || Idx == Last)
200 return IndexType::None;
201 return unsigned(Idx)+1;
202}
203
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000204void HexagonBlockRanges::InstrIndexMap::replaceInstr(MachineInstr *OldMI,
205 MachineInstr *NewMI) {
206 for (auto &I : Map) {
207 if (I.second != OldMI)
208 continue;
209 if (NewMI != nullptr)
210 I.second = NewMI;
211 else
212 Map.erase(I.first);
213 break;
214 }
215}
216
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000217HexagonBlockRanges::HexagonBlockRanges(MachineFunction &mf)
218 : MF(mf), HST(mf.getSubtarget<HexagonSubtarget>()),
219 TII(*HST.getInstrInfo()), TRI(*HST.getRegisterInfo()),
220 Reserved(TRI.getReservedRegs(mf)) {
221 // Consider all non-allocatable registers as reserved.
Krzysztof Parzyszekee9aa3f2017-01-25 19:29:04 +0000222 for (const TargetRegisterClass *RC : TRI.regclasses()) {
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000223 if (RC->isAllocatable())
224 continue;
225 for (unsigned R : *RC)
226 Reserved[R] = true;
227 }
228}
229
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000230HexagonBlockRanges::RegisterSet HexagonBlockRanges::getLiveIns(
Krzysztof Parzyszek5bb417b2016-10-18 19:47:20 +0000231 const MachineBasicBlock &B, const MachineRegisterInfo &MRI,
232 const TargetRegisterInfo &TRI) {
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000233 RegisterSet LiveIns;
Krzysztof Parzyszek5bb417b2016-10-18 19:47:20 +0000234 RegisterSet Tmp;
235 for (auto I : B.liveins()) {
Krzysztof Parzyszek91b5cf82016-12-15 14:36:06 +0000236 if (I.LaneMask.all()) {
Krzysztof Parzyszek5bb417b2016-10-18 19:47:20 +0000237 Tmp.insert({I.PhysReg,0});
238 continue;
239 }
240 for (MCSubRegIndexIterator S(I.PhysReg, &TRI); S.isValid(); ++S) {
241 LaneBitmask M = TRI.getSubRegIndexLaneMask(S.getSubRegIndex());
Krzysztof Parzyszekea9f8ce2016-12-16 19:11:56 +0000242 if ((M & I.LaneMask).any())
Krzysztof Parzyszek5bb417b2016-10-18 19:47:20 +0000243 Tmp.insert({S.getSubReg(), 0});
244 }
245 }
246
247 for (auto R : Tmp) {
248 if (!Reserved[R.Reg])
249 LiveIns.insert(R);
250 for (auto S : expandToSubRegs(R, MRI, TRI))
251 if (!Reserved[S.Reg])
252 LiveIns.insert(S);
253 }
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000254 return LiveIns;
255}
256
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000257HexagonBlockRanges::RegisterSet HexagonBlockRanges::expandToSubRegs(
258 RegisterRef R, const MachineRegisterInfo &MRI,
259 const TargetRegisterInfo &TRI) {
260 RegisterSet SRs;
261
262 if (R.Sub != 0) {
263 SRs.insert(R);
264 return SRs;
265 }
266
267 if (TargetRegisterInfo::isPhysicalRegister(R.Reg)) {
268 MCSubRegIterator I(R.Reg, &TRI);
269 if (!I.isValid())
270 SRs.insert({R.Reg, 0});
271 for (; I.isValid(); ++I)
272 SRs.insert({*I, 0});
273 } else {
274 assert(TargetRegisterInfo::isVirtualRegister(R.Reg));
275 auto &RC = *MRI.getRegClass(R.Reg);
276 unsigned PReg = *RC.begin();
277 MCSubRegIndexIterator I(PReg, &TRI);
278 if (!I.isValid())
279 SRs.insert({R.Reg, 0});
280 for (; I.isValid(); ++I)
281 SRs.insert({R.Reg, I.getSubRegIndex()});
282 }
283 return SRs;
284}
285
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000286void HexagonBlockRanges::computeInitialLiveRanges(InstrIndexMap &IndexMap,
287 RegToRangeMap &LiveMap) {
288 std::map<RegisterRef,IndexType> LastDef, LastUse;
289 RegisterSet LiveOnEntry;
290 MachineBasicBlock &B = IndexMap.getBlock();
291 MachineRegisterInfo &MRI = B.getParent()->getRegInfo();
292
Krzysztof Parzyszek5bb417b2016-10-18 19:47:20 +0000293 for (auto R : getLiveIns(B, MRI, TRI))
294 LiveOnEntry.insert(R);
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000295
296 for (auto R : LiveOnEntry)
297 LastDef[R] = IndexType::Entry;
298
299 auto closeRange = [&LastUse,&LastDef,&LiveMap] (RegisterRef R) -> void {
300 auto LD = LastDef[R], LU = LastUse[R];
301 if (LD == IndexType::None)
302 LD = IndexType::Entry;
303 if (LU == IndexType::None)
304 LU = IndexType::Exit;
305 LiveMap[R].add(LD, LU, false, false);
306 LastUse[R] = LastDef[R] = IndexType::None;
307 };
308
309 for (auto &In : B) {
310 if (In.isDebugValue())
311 continue;
312 IndexType Index = IndexMap.getIndex(&In);
313 // Process uses first.
314 for (auto &Op : In.operands()) {
315 if (!Op.isReg() || !Op.isUse() || Op.isUndef())
316 continue;
317 RegisterRef R = { Op.getReg(), Op.getSubReg() };
318 if (TargetRegisterInfo::isPhysicalRegister(R.Reg) && Reserved[R.Reg])
319 continue;
320 bool IsKill = Op.isKill();
321 for (auto S : expandToSubRegs(R, MRI, TRI)) {
322 LastUse[S] = Index;
323 if (IsKill)
324 closeRange(S);
325 }
326 }
Rafael Espindola6eab4042017-02-17 02:08:58 +0000327 // Process defs.
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000328 for (auto &Op : In.operands()) {
329 if (!Op.isReg() || !Op.isDef() || Op.isUndef())
330 continue;
331 RegisterRef R = { Op.getReg(), Op.getSubReg() };
Rafael Espindola6eab4042017-02-17 02:08:58 +0000332 if (TargetRegisterInfo::isPhysicalRegister(R.Reg) && Reserved[R.Reg])
Krzysztof Parzyszekfb9503c2017-02-16 20:25:23 +0000333 continue;
Rafael Espindola6eab4042017-02-17 02:08:58 +0000334 for (auto S : expandToSubRegs(R, MRI, TRI)) {
335 if (LastDef[S] != IndexType::None || LastUse[S] != IndexType::None)
336 closeRange(S);
337 LastDef[S] = Index;
Krzysztof Parzyszekfb9503c2017-02-16 20:25:23 +0000338 }
339 }
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000340 }
341
342 // Collect live-on-exit.
343 RegisterSet LiveOnExit;
344 for (auto *SB : B.successors())
Krzysztof Parzyszek5bb417b2016-10-18 19:47:20 +0000345 for (auto R : getLiveIns(*SB, MRI, TRI))
346 LiveOnExit.insert(R);
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000347
348 for (auto R : LiveOnExit)
349 LastUse[R] = IndexType::Exit;
350
351 // Process remaining registers.
352 RegisterSet Left;
353 for (auto &I : LastUse)
354 if (I.second != IndexType::None)
355 Left.insert(I.first);
356 for (auto &I : LastDef)
357 if (I.second != IndexType::None)
358 Left.insert(I.first);
359 for (auto R : Left)
360 closeRange(R);
361
362 // Finalize the live ranges.
363 for (auto &P : LiveMap)
364 P.second.unionize();
365}
366
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000367HexagonBlockRanges::RegToRangeMap HexagonBlockRanges::computeLiveMap(
368 InstrIndexMap &IndexMap) {
369 RegToRangeMap LiveMap;
Reid Kleckner40d72302016-10-20 00:22:23 +0000370 DEBUG(dbgs() << __func__ << ": index map\n" << IndexMap << '\n');
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000371 computeInitialLiveRanges(IndexMap, LiveMap);
Reid Kleckner40d72302016-10-20 00:22:23 +0000372 DEBUG(dbgs() << __func__ << ": live map\n"
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000373 << PrintRangeMap(LiveMap, TRI) << '\n');
374 return LiveMap;
375}
376
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000377HexagonBlockRanges::RegToRangeMap HexagonBlockRanges::computeDeadMap(
378 InstrIndexMap &IndexMap, RegToRangeMap &LiveMap) {
379 RegToRangeMap DeadMap;
380
381 auto addDeadRanges = [&IndexMap,&LiveMap,&DeadMap] (RegisterRef R) -> void {
382 auto F = LiveMap.find(R);
383 if (F == LiveMap.end() || F->second.empty()) {
384 DeadMap[R].add(IndexType::Entry, IndexType::Exit, false, false);
385 return;
386 }
387
388 RangeList &RL = F->second;
389 RangeList::iterator A = RL.begin(), Z = RL.end()-1;
390
391 // Try to create the initial range.
392 if (A->start() != IndexType::Entry) {
393 IndexType DE = IndexMap.getPrevIndex(A->start());
394 if (DE != IndexType::Entry)
395 DeadMap[R].add(IndexType::Entry, DE, false, false);
396 }
397
398 while (A != Z) {
399 // Creating a dead range that follows A. Pay attention to empty
400 // ranges (i.e. those ending with "None").
401 IndexType AE = (A->end() == IndexType::None) ? A->start() : A->end();
402 IndexType DS = IndexMap.getNextIndex(AE);
403 ++A;
404 IndexType DE = IndexMap.getPrevIndex(A->start());
405 if (DS < DE)
406 DeadMap[R].add(DS, DE, false, false);
407 }
408
409 // Try to create the final range.
410 if (Z->end() != IndexType::Exit) {
411 IndexType ZE = (Z->end() == IndexType::None) ? Z->start() : Z->end();
412 IndexType DS = IndexMap.getNextIndex(ZE);
413 if (DS < IndexType::Exit)
414 DeadMap[R].add(DS, IndexType::Exit, false, false);
415 }
416 };
417
418 MachineFunction &MF = *IndexMap.getBlock().getParent();
419 auto &MRI = MF.getRegInfo();
420 unsigned NumRegs = TRI.getNumRegs();
421 BitVector Visited(NumRegs);
422 for (unsigned R = 1; R < NumRegs; ++R) {
423 for (auto S : expandToSubRegs({R,0}, MRI, TRI)) {
424 if (Reserved[S.Reg] || Visited[S.Reg])
425 continue;
426 addDeadRanges(S);
427 Visited[S.Reg] = true;
428 }
429 }
430 for (auto &P : LiveMap)
431 if (TargetRegisterInfo::isVirtualRegister(P.first.Reg))
432 addDeadRanges(P.first);
433
Reid Kleckner40d72302016-10-20 00:22:23 +0000434 DEBUG(dbgs() << __func__ << ": dead map\n"
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000435 << PrintRangeMap(DeadMap, TRI) << '\n');
436 return DeadMap;
437}
438
Benjamin Kramer922efd72016-05-27 10:06:40 +0000439raw_ostream &llvm::operator<<(raw_ostream &OS,
440 HexagonBlockRanges::IndexType Idx) {
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000441 if (Idx == HexagonBlockRanges::IndexType::None)
442 return OS << '-';
443 if (Idx == HexagonBlockRanges::IndexType::Entry)
444 return OS << 'n';
445 if (Idx == HexagonBlockRanges::IndexType::Exit)
446 return OS << 'x';
447 return OS << unsigned(Idx)-HexagonBlockRanges::IndexType::First+1;
448}
449
450// A mapping to translate between instructions and their indices.
Benjamin Kramer922efd72016-05-27 10:06:40 +0000451raw_ostream &llvm::operator<<(raw_ostream &OS,
452 const HexagonBlockRanges::IndexRange &IR) {
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000453 OS << '[' << IR.start() << ':' << IR.end() << (IR.TiedEnd ? '}' : ']');
454 if (IR.Fixed)
455 OS << '!';
456 return OS;
457}
458
Benjamin Kramer922efd72016-05-27 10:06:40 +0000459raw_ostream &llvm::operator<<(raw_ostream &OS,
460 const HexagonBlockRanges::RangeList &RL) {
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000461 for (auto &R : RL)
462 OS << R << " ";
463 return OS;
464}
465
Benjamin Kramer922efd72016-05-27 10:06:40 +0000466raw_ostream &llvm::operator<<(raw_ostream &OS,
467 const HexagonBlockRanges::InstrIndexMap &M) {
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000468 for (auto &In : M.Block) {
469 HexagonBlockRanges::IndexType Idx = M.getIndex(&In);
470 OS << Idx << (Idx == M.Last ? ". " : " ") << In;
471 }
472 return OS;
473}
474
Benjamin Kramer922efd72016-05-27 10:06:40 +0000475raw_ostream &llvm::operator<<(raw_ostream &OS,
476 const HexagonBlockRanges::PrintRangeMap &P) {
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000477 for (auto &I : P.Map) {
478 const HexagonBlockRanges::RangeList &RL = I.second;
479 OS << PrintReg(I.first.Reg, &P.TRI, I.first.Sub) << " -> " << RL << "\n";
480 }
481 return OS;
482}