1 //===- llvm/CodeGen/MachineRegisterInfo.h -----------------------*- C++ -*-===//
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 defines the MachineRegisterInfo class.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #ifndef LLVM_CODEGEN_MACHINEREGISTERINFO_H
15 #define LLVM_CODEGEN_MACHINEREGISTERINFO_H
16
17 #include "llvm/ADT/ArrayRef.h"
18 #include "llvm/ADT/BitVector.h"
19 #include "llvm/ADT/DenseMap.h"
20 #include "llvm/ADT/IndexedMap.h"
21 #include "llvm/ADT/PointerUnion.h"
22 #include "llvm/ADT/SmallVector.h"
23 #include "llvm/ADT/StringSet.h"
24 #include "llvm/ADT/iterator_range.h"
25 #include "llvm/CodeGen/GlobalISel/RegisterBank.h"
26 #include "llvm/CodeGen/LowLevelType.h"
27 #include "llvm/CodeGen/MachineBasicBlock.h"
28 #include "llvm/CodeGen/MachineFunction.h"
29 #include "llvm/CodeGen/MachineInstrBundle.h"
30 #include "llvm/CodeGen/MachineOperand.h"
31 #include "llvm/CodeGen/TargetRegisterInfo.h"
32 #include "llvm/CodeGen/TargetSubtargetInfo.h"
33 #include "llvm/MC/LaneBitmask.h"
34 #include <cassert>
35 #include <cstddef>
36 #include <cstdint>
37 #include <iterator>
38 #include <memory>
39 #include <utility>
40 #include <vector>
41
42 namespace llvm {
43
44 class PSetIterator;
45
46 /// Convenient type to represent either a register class or a register bank.
47 using RegClassOrRegBank =
48 PointerUnion<const TargetRegisterClass *, const RegisterBank *>;
49
50 /// MachineRegisterInfo - Keep track of information for virtual and physical
51 /// registers, including vreg register classes, use/def chains for registers,
52 /// etc.
53 class MachineRegisterInfo {
54 public:
55 class Delegate {
56 virtual void anchor();
57
58 public:
59 virtual ~Delegate() = default;
60
61 virtual void MRI_NoteNewVirtualRegister(unsigned Reg) = 0;
62 };
63
64 private:
65 MachineFunction *MF;
66 Delegate *TheDelegate = nullptr;
67
68 /// True if subregister liveness is tracked.
69 const bool TracksSubRegLiveness;
70
71 /// VRegInfo - Information we keep for each virtual register.
72 ///
73 /// Each element in this list contains the register class of the vreg and the
74 /// start of the use/def list for the register.
75 IndexedMap<std::pair<RegClassOrRegBank, MachineOperand *>,
76 VirtReg2IndexFunctor>
77 VRegInfo;
78
79 /// Map for recovering vreg name from vreg number.
80 /// This map is used by the MIR Printer.
81 IndexedMap<std::string, VirtReg2IndexFunctor> VReg2Name;
82
83 /// StringSet that is used to unique vreg names.
84 StringSet<> VRegNames;
85
86 /// The flag is true upon \p UpdatedCSRs initialization
87 /// and false otherwise.
88 bool IsUpdatedCSRsInitialized;
89
90 /// Contains the updated callee saved register list.
91 /// As opposed to the static list defined in register info,
92 /// all registers that were disabled are removed from the list.
93 SmallVector<MCPhysReg, 16> UpdatedCSRs;
94
95 /// RegAllocHints - This vector records register allocation hints for
96 /// virtual registers. For each virtual register, it keeps a pair of hint
97 /// type and hints vector making up the allocation hints. Only the first
98 /// hint may be target specific, and in that case this is reflected by the
99 /// first member of the pair being non-zero. If the hinted register is
100 /// virtual, it means the allocator should prefer the physical register
101 /// allocated to it if any.
102 IndexedMap<std::pair<unsigned, SmallVector<unsigned, 4>>,
103 VirtReg2IndexFunctor> RegAllocHints;
104
105 /// PhysRegUseDefLists - This is an array of the head of the use/def list for
106 /// physical registers.
107 std::unique_ptr<MachineOperand *[]> PhysRegUseDefLists;
108
109 /// getRegUseDefListHead - Return the head pointer for the register use/def
110 /// list for the specified virtual or physical register.
getRegUseDefListHead(unsigned RegNo)111 MachineOperand *&getRegUseDefListHead(unsigned RegNo) {
112 if (TargetRegisterInfo::isVirtualRegister(RegNo))
113 return VRegInfo[RegNo].second;
114 return PhysRegUseDefLists[RegNo];
115 }
116
getRegUseDefListHead(unsigned RegNo)117 MachineOperand *getRegUseDefListHead(unsigned RegNo) const {
118 if (TargetRegisterInfo::isVirtualRegister(RegNo))
119 return VRegInfo[RegNo].second;
120 return PhysRegUseDefLists[RegNo];
121 }
122
123 /// Get the next element in the use-def chain.
getNextOperandForReg(const MachineOperand * MO)124 static MachineOperand *getNextOperandForReg(const MachineOperand *MO) {
125 assert(MO && MO->isReg() && "This is not a register operand!");
126 return MO->Contents.Reg.Next;
127 }
128
129 /// UsedPhysRegMask - Additional used physregs including aliases.
130 /// This bit vector represents all the registers clobbered by function calls.
131 BitVector UsedPhysRegMask;
132
133 /// ReservedRegs - This is a bit vector of reserved registers. The target
134 /// may change its mind about which registers should be reserved. This
135 /// vector is the frozen set of reserved registers when register allocation
136 /// started.
137 BitVector ReservedRegs;
138
139 using VRegToTypeMap = IndexedMap<LLT, VirtReg2IndexFunctor>;
140 /// Map generic virtual registers to their low-level type.
141 VRegToTypeMap VRegToType;
142
143 /// Keep track of the physical registers that are live in to the function.
144 /// Live in values are typically arguments in registers. LiveIn values are
145 /// allowed to have virtual registers associated with them, stored in the
146 /// second element.
147 std::vector<std::pair<unsigned, unsigned>> LiveIns;
148
149 public:
150 explicit MachineRegisterInfo(MachineFunction *MF);
151 MachineRegisterInfo(const MachineRegisterInfo &) = delete;
152 MachineRegisterInfo &operator=(const MachineRegisterInfo &) = delete;
153
getTargetRegisterInfo()154 const TargetRegisterInfo *getTargetRegisterInfo() const {
155 return MF->getSubtarget().getRegisterInfo();
156 }
157
resetDelegate(Delegate * delegate)158 void resetDelegate(Delegate *delegate) {
159 // Ensure another delegate does not take over unless the current
160 // delegate first unattaches itself. If we ever need to multicast
161 // notifications, we will need to change to using a list.
162 assert(TheDelegate == delegate &&
163 "Only the current delegate can perform reset!");
164 TheDelegate = nullptr;
165 }
166
setDelegate(Delegate * delegate)167 void setDelegate(Delegate *delegate) {
168 assert(delegate && !TheDelegate &&
169 "Attempted to set delegate to null, or to change it without "
170 "first resetting it!");
171
172 TheDelegate = delegate;
173 }
174
175 //===--------------------------------------------------------------------===//
176 // Function State
177 //===--------------------------------------------------------------------===//
178
179 // isSSA - Returns true when the machine function is in SSA form. Early
180 // passes require the machine function to be in SSA form where every virtual
181 // register has a single defining instruction.
182 //
183 // The TwoAddressInstructionPass and PHIElimination passes take the machine
184 // function out of SSA form when they introduce multiple defs per virtual
185 // register.
isSSA()186 bool isSSA() const {
187 return MF->getProperties().hasProperty(
188 MachineFunctionProperties::Property::IsSSA);
189 }
190
191 // leaveSSA - Indicates that the machine function is no longer in SSA form.
leaveSSA()192 void leaveSSA() {
193 MF->getProperties().reset(MachineFunctionProperties::Property::IsSSA);
194 }
195
196 /// tracksLiveness - Returns true when tracking register liveness accurately.
197 /// (see MachineFUnctionProperties::Property description for details)
tracksLiveness()198 bool tracksLiveness() const {
199 return MF->getProperties().hasProperty(
200 MachineFunctionProperties::Property::TracksLiveness);
201 }
202
203 /// invalidateLiveness - Indicates that register liveness is no longer being
204 /// tracked accurately.
205 ///
206 /// This should be called by late passes that invalidate the liveness
207 /// information.
invalidateLiveness()208 void invalidateLiveness() {
209 MF->getProperties().reset(
210 MachineFunctionProperties::Property::TracksLiveness);
211 }
212
213 /// Returns true if liveness for register class @p RC should be tracked at
214 /// the subregister level.
shouldTrackSubRegLiveness(const TargetRegisterClass & RC)215 bool shouldTrackSubRegLiveness(const TargetRegisterClass &RC) const {
216 return subRegLivenessEnabled() && RC.HasDisjunctSubRegs;
217 }
shouldTrackSubRegLiveness(unsigned VReg)218 bool shouldTrackSubRegLiveness(unsigned VReg) const {
219 assert(TargetRegisterInfo::isVirtualRegister(VReg) && "Must pass a VReg");
220 return shouldTrackSubRegLiveness(*getRegClass(VReg));
221 }
subRegLivenessEnabled()222 bool subRegLivenessEnabled() const {
223 return TracksSubRegLiveness;
224 }
225
226 //===--------------------------------------------------------------------===//
227 // Register Info
228 //===--------------------------------------------------------------------===//
229
230 /// Returns true if the updated CSR list was initialized and false otherwise.
isUpdatedCSRsInitialized()231 bool isUpdatedCSRsInitialized() const { return IsUpdatedCSRsInitialized; }
232
233 /// Disables the register from the list of CSRs.
234 /// I.e. the register will not appear as part of the CSR mask.
235 /// \see UpdatedCalleeSavedRegs.
236 void disableCalleeSavedRegister(unsigned Reg);
237
238 /// Returns list of callee saved registers.
239 /// The function returns the updated CSR list (after taking into account
240 /// registers that are disabled from the CSR list).
241 const MCPhysReg *getCalleeSavedRegs() const;
242
243 /// Sets the updated Callee Saved Registers list.
244 /// Notice that it will override ant previously disabled/saved CSRs.
245 void setCalleeSavedRegs(ArrayRef<MCPhysReg> CSRs);
246
247 // Strictly for use by MachineInstr.cpp.
248 void addRegOperandToUseList(MachineOperand *MO);
249
250 // Strictly for use by MachineInstr.cpp.
251 void removeRegOperandFromUseList(MachineOperand *MO);
252
253 // Strictly for use by MachineInstr.cpp.
254 void moveOperands(MachineOperand *Dst, MachineOperand *Src, unsigned NumOps);
255
256 /// Verify the sanity of the use list for Reg.
257 void verifyUseList(unsigned Reg) const;
258
259 /// Verify the use list of all registers.
260 void verifyUseLists() const;
261
262 /// reg_begin/reg_end - Provide iteration support to walk over all definitions
263 /// and uses of a register within the MachineFunction that corresponds to this
264 /// MachineRegisterInfo object.
265 template<bool Uses, bool Defs, bool SkipDebug,
266 bool ByOperand, bool ByInstr, bool ByBundle>
267 class defusechain_iterator;
268 template<bool Uses, bool Defs, bool SkipDebug,
269 bool ByOperand, bool ByInstr, bool ByBundle>
270 class defusechain_instr_iterator;
271
272 // Make it a friend so it can access getNextOperandForReg().
273 template<bool, bool, bool, bool, bool, bool>
274 friend class defusechain_iterator;
275 template<bool, bool, bool, bool, bool, bool>
276 friend class defusechain_instr_iterator;
277
278 /// reg_iterator/reg_begin/reg_end - Walk all defs and uses of the specified
279 /// register.
280 using reg_iterator =
281 defusechain_iterator<true, true, false, true, false, false>;
reg_begin(unsigned RegNo)282 reg_iterator reg_begin(unsigned RegNo) const {
283 return reg_iterator(getRegUseDefListHead(RegNo));
284 }
reg_end()285 static reg_iterator reg_end() { return reg_iterator(nullptr); }
286
reg_operands(unsigned Reg)287 inline iterator_range<reg_iterator> reg_operands(unsigned Reg) const {
288 return make_range(reg_begin(Reg), reg_end());
289 }
290
291 /// reg_instr_iterator/reg_instr_begin/reg_instr_end - Walk all defs and uses
292 /// of the specified register, stepping by MachineInstr.
293 using reg_instr_iterator =
294 defusechain_instr_iterator<true, true, false, false, true, false>;
reg_instr_begin(unsigned RegNo)295 reg_instr_iterator reg_instr_begin(unsigned RegNo) const {
296 return reg_instr_iterator(getRegUseDefListHead(RegNo));
297 }
reg_instr_end()298 static reg_instr_iterator reg_instr_end() {
299 return reg_instr_iterator(nullptr);
300 }
301
302 inline iterator_range<reg_instr_iterator>
reg_instructions(unsigned Reg)303 reg_instructions(unsigned Reg) const {
304 return make_range(reg_instr_begin(Reg), reg_instr_end());
305 }
306
307 /// reg_bundle_iterator/reg_bundle_begin/reg_bundle_end - Walk all defs and uses
308 /// of the specified register, stepping by bundle.
309 using reg_bundle_iterator =
310 defusechain_instr_iterator<true, true, false, false, false, true>;
reg_bundle_begin(unsigned RegNo)311 reg_bundle_iterator reg_bundle_begin(unsigned RegNo) const {
312 return reg_bundle_iterator(getRegUseDefListHead(RegNo));
313 }
reg_bundle_end()314 static reg_bundle_iterator reg_bundle_end() {
315 return reg_bundle_iterator(nullptr);
316 }
317
reg_bundles(unsigned Reg)318 inline iterator_range<reg_bundle_iterator> reg_bundles(unsigned Reg) const {
319 return make_range(reg_bundle_begin(Reg), reg_bundle_end());
320 }
321
322 /// reg_empty - Return true if there are no instructions using or defining the
323 /// specified register (it may be live-in).
reg_empty(unsigned RegNo)324 bool reg_empty(unsigned RegNo) const { return reg_begin(RegNo) == reg_end(); }
325
326 /// reg_nodbg_iterator/reg_nodbg_begin/reg_nodbg_end - Walk all defs and uses
327 /// of the specified register, skipping those marked as Debug.
328 using reg_nodbg_iterator =
329 defusechain_iterator<true, true, true, true, false, false>;
reg_nodbg_begin(unsigned RegNo)330 reg_nodbg_iterator reg_nodbg_begin(unsigned RegNo) const {
331 return reg_nodbg_iterator(getRegUseDefListHead(RegNo));
332 }
reg_nodbg_end()333 static reg_nodbg_iterator reg_nodbg_end() {
334 return reg_nodbg_iterator(nullptr);
335 }
336
337 inline iterator_range<reg_nodbg_iterator>
reg_nodbg_operands(unsigned Reg)338 reg_nodbg_operands(unsigned Reg) const {
339 return make_range(reg_nodbg_begin(Reg), reg_nodbg_end());
340 }
341
342 /// reg_instr_nodbg_iterator/reg_instr_nodbg_begin/reg_instr_nodbg_end - Walk
343 /// all defs and uses of the specified register, stepping by MachineInstr,
344 /// skipping those marked as Debug.
345 using reg_instr_nodbg_iterator =
346 defusechain_instr_iterator<true, true, true, false, true, false>;
reg_instr_nodbg_begin(unsigned RegNo)347 reg_instr_nodbg_iterator reg_instr_nodbg_begin(unsigned RegNo) const {
348 return reg_instr_nodbg_iterator(getRegUseDefListHead(RegNo));
349 }
reg_instr_nodbg_end()350 static reg_instr_nodbg_iterator reg_instr_nodbg_end() {
351 return reg_instr_nodbg_iterator(nullptr);
352 }
353
354 inline iterator_range<reg_instr_nodbg_iterator>
reg_nodbg_instructions(unsigned Reg)355 reg_nodbg_instructions(unsigned Reg) const {
356 return make_range(reg_instr_nodbg_begin(Reg), reg_instr_nodbg_end());
357 }
358
359 /// reg_bundle_nodbg_iterator/reg_bundle_nodbg_begin/reg_bundle_nodbg_end - Walk
360 /// all defs and uses of the specified register, stepping by bundle,
361 /// skipping those marked as Debug.
362 using reg_bundle_nodbg_iterator =
363 defusechain_instr_iterator<true, true, true, false, false, true>;
reg_bundle_nodbg_begin(unsigned RegNo)364 reg_bundle_nodbg_iterator reg_bundle_nodbg_begin(unsigned RegNo) const {
365 return reg_bundle_nodbg_iterator(getRegUseDefListHead(RegNo));
366 }
reg_bundle_nodbg_end()367 static reg_bundle_nodbg_iterator reg_bundle_nodbg_end() {
368 return reg_bundle_nodbg_iterator(nullptr);
369 }
370
371 inline iterator_range<reg_bundle_nodbg_iterator>
reg_nodbg_bundles(unsigned Reg)372 reg_nodbg_bundles(unsigned Reg) const {
373 return make_range(reg_bundle_nodbg_begin(Reg), reg_bundle_nodbg_end());
374 }
375
376 /// reg_nodbg_empty - Return true if the only instructions using or defining
377 /// Reg are Debug instructions.
reg_nodbg_empty(unsigned RegNo)378 bool reg_nodbg_empty(unsigned RegNo) const {
379 return reg_nodbg_begin(RegNo) == reg_nodbg_end();
380 }
381
382 /// def_iterator/def_begin/def_end - Walk all defs of the specified register.
383 using def_iterator =
384 defusechain_iterator<false, true, false, true, false, false>;
def_begin(unsigned RegNo)385 def_iterator def_begin(unsigned RegNo) const {
386 return def_iterator(getRegUseDefListHead(RegNo));
387 }
def_end()388 static def_iterator def_end() { return def_iterator(nullptr); }
389
def_operands(unsigned Reg)390 inline iterator_range<def_iterator> def_operands(unsigned Reg) const {
391 return make_range(def_begin(Reg), def_end());
392 }
393
394 /// def_instr_iterator/def_instr_begin/def_instr_end - Walk all defs of the
395 /// specified register, stepping by MachineInst.
396 using def_instr_iterator =
397 defusechain_instr_iterator<false, true, false, false, true, false>;
def_instr_begin(unsigned RegNo)398 def_instr_iterator def_instr_begin(unsigned RegNo) const {
399 return def_instr_iterator(getRegUseDefListHead(RegNo));
400 }
def_instr_end()401 static def_instr_iterator def_instr_end() {
402 return def_instr_iterator(nullptr);
403 }
404
405 inline iterator_range<def_instr_iterator>
def_instructions(unsigned Reg)406 def_instructions(unsigned Reg) const {
407 return make_range(def_instr_begin(Reg), def_instr_end());
408 }
409
410 /// def_bundle_iterator/def_bundle_begin/def_bundle_end - Walk all defs of the
411 /// specified register, stepping by bundle.
412 using def_bundle_iterator =
413 defusechain_instr_iterator<false, true, false, false, false, true>;
def_bundle_begin(unsigned RegNo)414 def_bundle_iterator def_bundle_begin(unsigned RegNo) const {
415 return def_bundle_iterator(getRegUseDefListHead(RegNo));
416 }
def_bundle_end()417 static def_bundle_iterator def_bundle_end() {
418 return def_bundle_iterator(nullptr);
419 }
420
def_bundles(unsigned Reg)421 inline iterator_range<def_bundle_iterator> def_bundles(unsigned Reg) const {
422 return make_range(def_bundle_begin(Reg), def_bundle_end());
423 }
424
425 /// def_empty - Return true if there are no instructions defining the
426 /// specified register (it may be live-in).
def_empty(unsigned RegNo)427 bool def_empty(unsigned RegNo) const { return def_begin(RegNo) == def_end(); }
428
getVRegName(unsigned Reg)429 StringRef getVRegName(unsigned Reg) const {
430 return VReg2Name.inBounds(Reg) ? StringRef(VReg2Name[Reg]) : "";
431 }
432
insertVRegByName(StringRef Name,unsigned Reg)433 void insertVRegByName(StringRef Name, unsigned Reg) {
434 assert((Name.empty() || VRegNames.find(Name) == VRegNames.end()) &&
435 "Named VRegs Must be Unique.");
436 if (!Name.empty()) {
437 VRegNames.insert(Name);
438 VReg2Name.grow(Reg);
439 VReg2Name[Reg] = Name.str();
440 }
441 }
442
443 /// Return true if there is exactly one operand defining the specified
444 /// register.
hasOneDef(unsigned RegNo)445 bool hasOneDef(unsigned RegNo) const {
446 def_iterator DI = def_begin(RegNo);
447 if (DI == def_end())
448 return false;
449 return ++DI == def_end();
450 }
451
452 /// use_iterator/use_begin/use_end - Walk all uses of the specified register.
453 using use_iterator =
454 defusechain_iterator<true, false, false, true, false, false>;
use_begin(unsigned RegNo)455 use_iterator use_begin(unsigned RegNo) const {
456 return use_iterator(getRegUseDefListHead(RegNo));
457 }
use_end()458 static use_iterator use_end() { return use_iterator(nullptr); }
459
use_operands(unsigned Reg)460 inline iterator_range<use_iterator> use_operands(unsigned Reg) const {
461 return make_range(use_begin(Reg), use_end());
462 }
463
464 /// use_instr_iterator/use_instr_begin/use_instr_end - Walk all uses of the
465 /// specified register, stepping by MachineInstr.
466 using use_instr_iterator =
467 defusechain_instr_iterator<true, false, false, false, true, false>;
use_instr_begin(unsigned RegNo)468 use_instr_iterator use_instr_begin(unsigned RegNo) const {
469 return use_instr_iterator(getRegUseDefListHead(RegNo));
470 }
use_instr_end()471 static use_instr_iterator use_instr_end() {
472 return use_instr_iterator(nullptr);
473 }
474
475 inline iterator_range<use_instr_iterator>
use_instructions(unsigned Reg)476 use_instructions(unsigned Reg) const {
477 return make_range(use_instr_begin(Reg), use_instr_end());
478 }
479
480 /// use_bundle_iterator/use_bundle_begin/use_bundle_end - Walk all uses of the
481 /// specified register, stepping by bundle.
482 using use_bundle_iterator =
483 defusechain_instr_iterator<true, false, false, false, false, true>;
use_bundle_begin(unsigned RegNo)484 use_bundle_iterator use_bundle_begin(unsigned RegNo) const {
485 return use_bundle_iterator(getRegUseDefListHead(RegNo));
486 }
use_bundle_end()487 static use_bundle_iterator use_bundle_end() {
488 return use_bundle_iterator(nullptr);
489 }
490
use_bundles(unsigned Reg)491 inline iterator_range<use_bundle_iterator> use_bundles(unsigned Reg) const {
492 return make_range(use_bundle_begin(Reg), use_bundle_end());
493 }
494
495 /// use_empty - Return true if there are no instructions using the specified
496 /// register.
use_empty(unsigned RegNo)497 bool use_empty(unsigned RegNo) const { return use_begin(RegNo) == use_end(); }
498
499 /// hasOneUse - Return true if there is exactly one instruction using the
500 /// specified register.
hasOneUse(unsigned RegNo)501 bool hasOneUse(unsigned RegNo) const {
502 use_iterator UI = use_begin(RegNo);
503 if (UI == use_end())
504 return false;
505 return ++UI == use_end();
506 }
507
508 /// use_nodbg_iterator/use_nodbg_begin/use_nodbg_end - Walk all uses of the
509 /// specified register, skipping those marked as Debug.
510 using use_nodbg_iterator =
511 defusechain_iterator<true, false, true, true, false, false>;
use_nodbg_begin(unsigned RegNo)512 use_nodbg_iterator use_nodbg_begin(unsigned RegNo) const {
513 return use_nodbg_iterator(getRegUseDefListHead(RegNo));
514 }
use_nodbg_end()515 static use_nodbg_iterator use_nodbg_end() {
516 return use_nodbg_iterator(nullptr);
517 }
518
519 inline iterator_range<use_nodbg_iterator>
use_nodbg_operands(unsigned Reg)520 use_nodbg_operands(unsigned Reg) const {
521 return make_range(use_nodbg_begin(Reg), use_nodbg_end());
522 }
523
524 /// use_instr_nodbg_iterator/use_instr_nodbg_begin/use_instr_nodbg_end - Walk
525 /// all uses of the specified register, stepping by MachineInstr, skipping
526 /// those marked as Debug.
527 using use_instr_nodbg_iterator =
528 defusechain_instr_iterator<true, false, true, false, true, false>;
use_instr_nodbg_begin(unsigned RegNo)529 use_instr_nodbg_iterator use_instr_nodbg_begin(unsigned RegNo) const {
530 return use_instr_nodbg_iterator(getRegUseDefListHead(RegNo));
531 }
use_instr_nodbg_end()532 static use_instr_nodbg_iterator use_instr_nodbg_end() {
533 return use_instr_nodbg_iterator(nullptr);
534 }
535
536 inline iterator_range<use_instr_nodbg_iterator>
use_nodbg_instructions(unsigned Reg)537 use_nodbg_instructions(unsigned Reg) const {
538 return make_range(use_instr_nodbg_begin(Reg), use_instr_nodbg_end());
539 }
540
541 /// use_bundle_nodbg_iterator/use_bundle_nodbg_begin/use_bundle_nodbg_end - Walk
542 /// all uses of the specified register, stepping by bundle, skipping
543 /// those marked as Debug.
544 using use_bundle_nodbg_iterator =
545 defusechain_instr_iterator<true, false, true, false, false, true>;
use_bundle_nodbg_begin(unsigned RegNo)546 use_bundle_nodbg_iterator use_bundle_nodbg_begin(unsigned RegNo) const {
547 return use_bundle_nodbg_iterator(getRegUseDefListHead(RegNo));
548 }
use_bundle_nodbg_end()549 static use_bundle_nodbg_iterator use_bundle_nodbg_end() {
550 return use_bundle_nodbg_iterator(nullptr);
551 }
552
553 inline iterator_range<use_bundle_nodbg_iterator>
use_nodbg_bundles(unsigned Reg)554 use_nodbg_bundles(unsigned Reg) const {
555 return make_range(use_bundle_nodbg_begin(Reg), use_bundle_nodbg_end());
556 }
557
558 /// use_nodbg_empty - Return true if there are no non-Debug instructions
559 /// using the specified register.
use_nodbg_empty(unsigned RegNo)560 bool use_nodbg_empty(unsigned RegNo) const {
561 return use_nodbg_begin(RegNo) == use_nodbg_end();
562 }
563
564 /// hasOneNonDBGUse - Return true if there is exactly one non-Debug
565 /// instruction using the specified register.
566 bool hasOneNonDBGUse(unsigned RegNo) const;
567
568 /// replaceRegWith - Replace all instances of FromReg with ToReg in the
569 /// machine function. This is like llvm-level X->replaceAllUsesWith(Y),
570 /// except that it also changes any definitions of the register as well.
571 ///
572 /// Note that it is usually necessary to first constrain ToReg's register
573 /// class and register bank to match the FromReg constraints using one of the
574 /// methods:
575 ///
576 /// constrainRegClass(ToReg, getRegClass(FromReg))
577 /// constrainRegAttrs(ToReg, FromReg)
578 /// RegisterBankInfo::constrainGenericRegister(ToReg,
579 /// *MRI.getRegClass(FromReg), MRI)
580 ///
581 /// These functions will return a falsy result if the virtual registers have
582 /// incompatible constraints.
583 ///
584 /// Note that if ToReg is a physical register the function will replace and
585 /// apply sub registers to ToReg in order to obtain a final/proper physical
586 /// register.
587 void replaceRegWith(unsigned FromReg, unsigned ToReg);
588
589 /// getVRegDef - Return the machine instr that defines the specified virtual
590 /// register or null if none is found. This assumes that the code is in SSA
591 /// form, so there should only be one definition.
592 MachineInstr *getVRegDef(unsigned Reg) const;
593
594 /// getUniqueVRegDef - Return the unique machine instr that defines the
595 /// specified virtual register or null if none is found. If there are
596 /// multiple definitions or no definition, return null.
597 MachineInstr *getUniqueVRegDef(unsigned Reg) const;
598
599 /// clearKillFlags - Iterate over all the uses of the given register and
600 /// clear the kill flag from the MachineOperand. This function is used by
601 /// optimization passes which extend register lifetimes and need only
602 /// preserve conservative kill flag information.
603 void clearKillFlags(unsigned Reg) const;
604
605 void dumpUses(unsigned RegNo) const;
606
607 /// Returns true if PhysReg is unallocatable and constant throughout the
608 /// function. Writing to a constant register has no effect.
609 bool isConstantPhysReg(unsigned PhysReg) const;
610
611 /// Returns true if either isConstantPhysReg or TRI->isCallerPreservedPhysReg
612 /// returns true. This is a utility member function.
613 bool isCallerPreservedOrConstPhysReg(unsigned PhysReg) const;
614
615 /// Get an iterator over the pressure sets affected by the given physical or
616 /// virtual register. If RegUnit is physical, it must be a register unit (from
617 /// MCRegUnitIterator).
618 PSetIterator getPressureSets(unsigned RegUnit) const;
619
620 //===--------------------------------------------------------------------===//
621 // Virtual Register Info
622 //===--------------------------------------------------------------------===//
623
624 /// Return the register class of the specified virtual register.
625 /// This shouldn't be used directly unless \p Reg has a register class.
626 /// \see getRegClassOrNull when this might happen.
getRegClass(unsigned Reg)627 const TargetRegisterClass *getRegClass(unsigned Reg) const {
628 assert(VRegInfo[Reg].first.is<const TargetRegisterClass *>() &&
629 "Register class not set, wrong accessor");
630 return VRegInfo[Reg].first.get<const TargetRegisterClass *>();
631 }
632
633 /// Return the register class of \p Reg, or null if Reg has not been assigned
634 /// a register class yet.
635 ///
636 /// \note A null register class can only happen when these two
637 /// conditions are met:
638 /// 1. Generic virtual registers are created.
639 /// 2. The machine function has not completely been through the
640 /// instruction selection process.
641 /// None of this condition is possible without GlobalISel for now.
642 /// In other words, if GlobalISel is not used or if the query happens after
643 /// the select pass, using getRegClass is safe.
getRegClassOrNull(unsigned Reg)644 const TargetRegisterClass *getRegClassOrNull(unsigned Reg) const {
645 const RegClassOrRegBank &Val = VRegInfo[Reg].first;
646 return Val.dyn_cast<const TargetRegisterClass *>();
647 }
648
649 /// Return the register bank of \p Reg, or null if Reg has not been assigned
650 /// a register bank or has been assigned a register class.
651 /// \note It is possible to get the register bank from the register class via
652 /// RegisterBankInfo::getRegBankFromRegClass.
getRegBankOrNull(unsigned Reg)653 const RegisterBank *getRegBankOrNull(unsigned Reg) const {
654 const RegClassOrRegBank &Val = VRegInfo[Reg].first;
655 return Val.dyn_cast<const RegisterBank *>();
656 }
657
658 /// Return the register bank or register class of \p Reg.
659 /// \note Before the register bank gets assigned (i.e., before the
660 /// RegBankSelect pass) \p Reg may not have either.
getRegClassOrRegBank(unsigned Reg)661 const RegClassOrRegBank &getRegClassOrRegBank(unsigned Reg) const {
662 return VRegInfo[Reg].first;
663 }
664
665 /// setRegClass - Set the register class of the specified virtual register.
666 void setRegClass(unsigned Reg, const TargetRegisterClass *RC);
667
668 /// Set the register bank to \p RegBank for \p Reg.
669 void setRegBank(unsigned Reg, const RegisterBank &RegBank);
670
setRegClassOrRegBank(unsigned Reg,const RegClassOrRegBank & RCOrRB)671 void setRegClassOrRegBank(unsigned Reg,
672 const RegClassOrRegBank &RCOrRB){
673 VRegInfo[Reg].first = RCOrRB;
674 }
675
676 /// constrainRegClass - Constrain the register class of the specified virtual
677 /// register to be a common subclass of RC and the current register class,
678 /// but only if the new class has at least MinNumRegs registers. Return the
679 /// new register class, or NULL if no such class exists.
680 /// This should only be used when the constraint is known to be trivial, like
681 /// GR32 -> GR32_NOSP. Beware of increasing register pressure.
682 ///
683 /// \note Assumes that the register has a register class assigned.
684 /// Use RegisterBankInfo::constrainGenericRegister in GlobalISel's
685 /// InstructionSelect pass and constrainRegAttrs in every other pass,
686 /// including non-select passes of GlobalISel, instead.
687 const TargetRegisterClass *constrainRegClass(unsigned Reg,
688 const TargetRegisterClass *RC,
689 unsigned MinNumRegs = 0);
690
691 /// Constrain the register class or the register bank of the virtual register
692 /// \p Reg to be a common subclass and a common bank of both registers
693 /// provided respectively. Do nothing if any of the attributes (classes,
694 /// banks, or low-level types) of the registers are deemed incompatible, or if
695 /// the resulting register will have a class smaller than before and of size
696 /// less than \p MinNumRegs. Return true if such register attributes exist,
697 /// false otherwise.
698 ///
699 /// \note Assumes that each register has either a low-level type or a class
700 /// assigned, but not both. Use this method instead of constrainRegClass and
701 /// RegisterBankInfo::constrainGenericRegister everywhere but SelectionDAG
702 /// ISel / FastISel and GlobalISel's InstructionSelect pass respectively.
703 bool constrainRegAttrs(unsigned Reg, unsigned ConstrainingReg,
704 unsigned MinNumRegs = 0);
705
706 /// recomputeRegClass - Try to find a legal super-class of Reg's register
707 /// class that still satisfies the constraints from the instructions using
708 /// Reg. Returns true if Reg was upgraded.
709 ///
710 /// This method can be used after constraints have been removed from a
711 /// virtual register, for example after removing instructions or splitting
712 /// the live range.
713 bool recomputeRegClass(unsigned Reg);
714
715 /// createVirtualRegister - Create and return a new virtual register in the
716 /// function with the specified register class.
717 unsigned createVirtualRegister(const TargetRegisterClass *RegClass,
718 StringRef Name = "");
719
720 /// Get the low-level type of \p Reg or LLT{} if Reg is not a generic
721 /// (target independent) virtual register.
getType(unsigned Reg)722 LLT getType(unsigned Reg) const {
723 if (TargetRegisterInfo::isVirtualRegister(Reg) && VRegToType.inBounds(Reg))
724 return VRegToType[Reg];
725 return LLT{};
726 }
727
728 /// Set the low-level type of \p VReg to \p Ty.
729 void setType(unsigned VReg, LLT Ty);
730
731 /// Create and return a new generic virtual register with low-level
732 /// type \p Ty.
733 unsigned createGenericVirtualRegister(LLT Ty, StringRef Name = "");
734
735 /// Remove all types associated to virtual registers (after instruction
736 /// selection and constraining of all generic virtual registers).
737 void clearVirtRegTypes();
738
739 /// Creates a new virtual register that has no register class, register bank
740 /// or size assigned yet. This is only allowed to be used
741 /// temporarily while constructing machine instructions. Most operations are
742 /// undefined on an incomplete register until one of setRegClass(),
743 /// setRegBank() or setSize() has been called on it.
744 unsigned createIncompleteVirtualRegister(StringRef Name = "");
745
746 /// getNumVirtRegs - Return the number of virtual registers created.
getNumVirtRegs()747 unsigned getNumVirtRegs() const { return VRegInfo.size(); }
748
749 /// clearVirtRegs - Remove all virtual registers (after physreg assignment).
750 void clearVirtRegs();
751
752 /// setRegAllocationHint - Specify a register allocation hint for the
753 /// specified virtual register. This is typically used by target, and in case
754 /// of an earlier hint it will be overwritten.
setRegAllocationHint(unsigned VReg,unsigned Type,unsigned PrefReg)755 void setRegAllocationHint(unsigned VReg, unsigned Type, unsigned PrefReg) {
756 assert(TargetRegisterInfo::isVirtualRegister(VReg));
757 RegAllocHints[VReg].first = Type;
758 RegAllocHints[VReg].second.clear();
759 RegAllocHints[VReg].second.push_back(PrefReg);
760 }
761
762 /// addRegAllocationHint - Add a register allocation hint to the hints
763 /// vector for VReg.
addRegAllocationHint(unsigned VReg,unsigned PrefReg)764 void addRegAllocationHint(unsigned VReg, unsigned PrefReg) {
765 assert(TargetRegisterInfo::isVirtualRegister(VReg));
766 RegAllocHints[VReg].second.push_back(PrefReg);
767 }
768
769 /// Specify the preferred (target independent) register allocation hint for
770 /// the specified virtual register.
setSimpleHint(unsigned VReg,unsigned PrefReg)771 void setSimpleHint(unsigned VReg, unsigned PrefReg) {
772 setRegAllocationHint(VReg, /*Type=*/0, PrefReg);
773 }
774
clearSimpleHint(unsigned VReg)775 void clearSimpleHint(unsigned VReg) {
776 assert (RegAllocHints[VReg].first == 0 &&
777 "Expected to clear a non-target hint!");
778 RegAllocHints[VReg].second.clear();
779 }
780
781 /// getRegAllocationHint - Return the register allocation hint for the
782 /// specified virtual register. If there are many hints, this returns the
783 /// one with the greatest weight.
784 std::pair<unsigned, unsigned>
getRegAllocationHint(unsigned VReg)785 getRegAllocationHint(unsigned VReg) const {
786 assert(TargetRegisterInfo::isVirtualRegister(VReg));
787 unsigned BestHint = (RegAllocHints[VReg].second.size() ?
788 RegAllocHints[VReg].second[0] : 0);
789 return std::pair<unsigned, unsigned>(RegAllocHints[VReg].first, BestHint);
790 }
791
792 /// getSimpleHint - same as getRegAllocationHint except it will only return
793 /// a target independent hint.
getSimpleHint(unsigned VReg)794 unsigned getSimpleHint(unsigned VReg) const {
795 assert(TargetRegisterInfo::isVirtualRegister(VReg));
796 std::pair<unsigned, unsigned> Hint = getRegAllocationHint(VReg);
797 return Hint.first ? 0 : Hint.second;
798 }
799
800 /// getRegAllocationHints - Return a reference to the vector of all
801 /// register allocation hints for VReg.
802 const std::pair<unsigned, SmallVector<unsigned, 4>>
getRegAllocationHints(unsigned VReg)803 &getRegAllocationHints(unsigned VReg) const {
804 assert(TargetRegisterInfo::isVirtualRegister(VReg));
805 return RegAllocHints[VReg];
806 }
807
808 /// markUsesInDebugValueAsUndef - Mark every DBG_VALUE referencing the
809 /// specified register as undefined which causes the DBG_VALUE to be
810 /// deleted during LiveDebugVariables analysis.
811 void markUsesInDebugValueAsUndef(unsigned Reg) const;
812
813 /// Return true if the specified register is modified in this function.
814 /// This checks that no defining machine operands exist for the register or
815 /// any of its aliases. Definitions found on functions marked noreturn are
816 /// ignored, to consider them pass 'true' for optional parameter
817 /// SkipNoReturnDef. The register is also considered modified when it is set
818 /// in the UsedPhysRegMask.
819 bool isPhysRegModified(unsigned PhysReg, bool SkipNoReturnDef = false) const;
820
821 /// Return true if the specified register is modified or read in this
822 /// function. This checks that no machine operands exist for the register or
823 /// any of its aliases. The register is also considered used when it is set
824 /// in the UsedPhysRegMask.
825 bool isPhysRegUsed(unsigned PhysReg) const;
826
827 /// addPhysRegsUsedFromRegMask - Mark any registers not in RegMask as used.
828 /// This corresponds to the bit mask attached to register mask operands.
addPhysRegsUsedFromRegMask(const uint32_t * RegMask)829 void addPhysRegsUsedFromRegMask(const uint32_t *RegMask) {
830 UsedPhysRegMask.setBitsNotInMask(RegMask);
831 }
832
getUsedPhysRegsMask()833 const BitVector &getUsedPhysRegsMask() const { return UsedPhysRegMask; }
834
835 //===--------------------------------------------------------------------===//
836 // Reserved Register Info
837 //===--------------------------------------------------------------------===//
838 //
839 // The set of reserved registers must be invariant during register
840 // allocation. For example, the target cannot suddenly decide it needs a
841 // frame pointer when the register allocator has already used the frame
842 // pointer register for something else.
843 //
844 // These methods can be used by target hooks like hasFP() to avoid changing
845 // the reserved register set during register allocation.
846
847 /// freezeReservedRegs - Called by the register allocator to freeze the set
848 /// of reserved registers before allocation begins.
849 void freezeReservedRegs(const MachineFunction&);
850
851 /// reservedRegsFrozen - Returns true after freezeReservedRegs() was called
852 /// to ensure the set of reserved registers stays constant.
reservedRegsFrozen()853 bool reservedRegsFrozen() const {
854 return !ReservedRegs.empty();
855 }
856
857 /// canReserveReg - Returns true if PhysReg can be used as a reserved
858 /// register. Any register can be reserved before freezeReservedRegs() is
859 /// called.
canReserveReg(unsigned PhysReg)860 bool canReserveReg(unsigned PhysReg) const {
861 return !reservedRegsFrozen() || ReservedRegs.test(PhysReg);
862 }
863
864 /// getReservedRegs - Returns a reference to the frozen set of reserved
865 /// registers. This method should always be preferred to calling
866 /// TRI::getReservedRegs() when possible.
getReservedRegs()867 const BitVector &getReservedRegs() const {
868 assert(reservedRegsFrozen() &&
869 "Reserved registers haven't been frozen yet. "
870 "Use TRI::getReservedRegs().");
871 return ReservedRegs;
872 }
873
874 /// isReserved - Returns true when PhysReg is a reserved register.
875 ///
876 /// Reserved registers may belong to an allocatable register class, but the
877 /// target has explicitly requested that they are not used.
isReserved(unsigned PhysReg)878 bool isReserved(unsigned PhysReg) const {
879 return getReservedRegs().test(PhysReg);
880 }
881
882 /// Returns true when the given register unit is considered reserved.
883 ///
884 /// Register units are considered reserved when for at least one of their
885 /// root registers, the root register and all super registers are reserved.
886 /// This currently iterates the register hierarchy and may be slower than
887 /// expected.
888 bool isReservedRegUnit(unsigned Unit) const;
889
890 /// isAllocatable - Returns true when PhysReg belongs to an allocatable
891 /// register class and it hasn't been reserved.
892 ///
893 /// Allocatable registers may show up in the allocation order of some virtual
894 /// register, so a register allocator needs to track its liveness and
895 /// availability.
isAllocatable(unsigned PhysReg)896 bool isAllocatable(unsigned PhysReg) const {
897 return getTargetRegisterInfo()->isInAllocatableClass(PhysReg) &&
898 !isReserved(PhysReg);
899 }
900
901 //===--------------------------------------------------------------------===//
902 // LiveIn Management
903 //===--------------------------------------------------------------------===//
904
905 /// addLiveIn - Add the specified register as a live-in. Note that it
906 /// is an error to add the same register to the same set more than once.
907 void addLiveIn(unsigned Reg, unsigned vreg = 0) {
908 LiveIns.push_back(std::make_pair(Reg, vreg));
909 }
910
911 // Iteration support for the live-ins set. It's kept in sorted order
912 // by register number.
913 using livein_iterator =
914 std::vector<std::pair<unsigned,unsigned>>::const_iterator;
livein_begin()915 livein_iterator livein_begin() const { return LiveIns.begin(); }
livein_end()916 livein_iterator livein_end() const { return LiveIns.end(); }
livein_empty()917 bool livein_empty() const { return LiveIns.empty(); }
918
liveins()919 ArrayRef<std::pair<unsigned, unsigned>> liveins() const {
920 return LiveIns;
921 }
922
923 bool isLiveIn(unsigned Reg) const;
924
925 /// getLiveInPhysReg - If VReg is a live-in virtual register, return the
926 /// corresponding live-in physical register.
927 unsigned getLiveInPhysReg(unsigned VReg) const;
928
929 /// getLiveInVirtReg - If PReg is a live-in physical register, return the
930 /// corresponding live-in physical register.
931 unsigned getLiveInVirtReg(unsigned PReg) const;
932
933 /// EmitLiveInCopies - Emit copies to initialize livein virtual registers
934 /// into the given entry block.
935 void EmitLiveInCopies(MachineBasicBlock *EntryMBB,
936 const TargetRegisterInfo &TRI,
937 const TargetInstrInfo &TII);
938
939 /// Returns a mask covering all bits that can appear in lane masks of
940 /// subregisters of the virtual register @p Reg.
941 LaneBitmask getMaxLaneMaskForVReg(unsigned Reg) const;
942
943 /// defusechain_iterator - This class provides iterator support for machine
944 /// operands in the function that use or define a specific register. If
945 /// ReturnUses is true it returns uses of registers, if ReturnDefs is true it
946 /// returns defs. If neither are true then you are silly and it always
947 /// returns end(). If SkipDebug is true it skips uses marked Debug
948 /// when incrementing.
949 template<bool ReturnUses, bool ReturnDefs, bool SkipDebug,
950 bool ByOperand, bool ByInstr, bool ByBundle>
951 class defusechain_iterator
952 : public std::iterator<std::forward_iterator_tag, MachineInstr, ptrdiff_t> {
953 friend class MachineRegisterInfo;
954
955 MachineOperand *Op = nullptr;
956
defusechain_iterator(MachineOperand * op)957 explicit defusechain_iterator(MachineOperand *op) : Op(op) {
958 // If the first node isn't one we're interested in, advance to one that
959 // we are interested in.
960 if (op) {
961 if ((!ReturnUses && op->isUse()) ||
962 (!ReturnDefs && op->isDef()) ||
963 (SkipDebug && op->isDebug()))
964 advance();
965 }
966 }
967
advance()968 void advance() {
969 assert(Op && "Cannot increment end iterator!");
970 Op = getNextOperandForReg(Op);
971
972 // All defs come before the uses, so stop def_iterator early.
973 if (!ReturnUses) {
974 if (Op) {
975 if (Op->isUse())
976 Op = nullptr;
977 else
978 assert(!Op->isDebug() && "Can't have debug defs");
979 }
980 } else {
981 // If this is an operand we don't care about, skip it.
982 while (Op && ((!ReturnDefs && Op->isDef()) ||
983 (SkipDebug && Op->isDebug())))
984 Op = getNextOperandForReg(Op);
985 }
986 }
987
988 public:
989 using reference = std::iterator<std::forward_iterator_tag,
990 MachineInstr, ptrdiff_t>::reference;
991 using pointer = std::iterator<std::forward_iterator_tag,
992 MachineInstr, ptrdiff_t>::pointer;
993
994 defusechain_iterator() = default;
995
996 bool operator==(const defusechain_iterator &x) const {
997 return Op == x.Op;
998 }
999 bool operator!=(const defusechain_iterator &x) const {
1000 return !operator==(x);
1001 }
1002
1003 /// atEnd - return true if this iterator is equal to reg_end() on the value.
atEnd()1004 bool atEnd() const { return Op == nullptr; }
1005
1006 // Iterator traversal: forward iteration only
1007 defusechain_iterator &operator++() { // Preincrement
1008 assert(Op && "Cannot increment end iterator!");
1009 if (ByOperand)
1010 advance();
1011 else if (ByInstr) {
1012 MachineInstr *P = Op->getParent();
1013 do {
1014 advance();
1015 } while (Op && Op->getParent() == P);
1016 } else if (ByBundle) {
1017 MachineBasicBlock::instr_iterator P =
1018 getBundleStart(Op->getParent()->getIterator());
1019 do {
1020 advance();
1021 } while (Op && getBundleStart(Op->getParent()->getIterator()) == P);
1022 }
1023
1024 return *this;
1025 }
1026 defusechain_iterator operator++(int) { // Postincrement
1027 defusechain_iterator tmp = *this; ++*this; return tmp;
1028 }
1029
1030 /// getOperandNo - Return the operand # of this MachineOperand in its
1031 /// MachineInstr.
getOperandNo()1032 unsigned getOperandNo() const {
1033 assert(Op && "Cannot dereference end iterator!");
1034 return Op - &Op->getParent()->getOperand(0);
1035 }
1036
1037 // Retrieve a reference to the current operand.
1038 MachineOperand &operator*() const {
1039 assert(Op && "Cannot dereference end iterator!");
1040 return *Op;
1041 }
1042
1043 MachineOperand *operator->() const {
1044 assert(Op && "Cannot dereference end iterator!");
1045 return Op;
1046 }
1047 };
1048
1049 /// defusechain_iterator - This class provides iterator support for machine
1050 /// operands in the function that use or define a specific register. If
1051 /// ReturnUses is true it returns uses of registers, if ReturnDefs is true it
1052 /// returns defs. If neither are true then you are silly and it always
1053 /// returns end(). If SkipDebug is true it skips uses marked Debug
1054 /// when incrementing.
1055 template<bool ReturnUses, bool ReturnDefs, bool SkipDebug,
1056 bool ByOperand, bool ByInstr, bool ByBundle>
1057 class defusechain_instr_iterator
1058 : public std::iterator<std::forward_iterator_tag, MachineInstr, ptrdiff_t> {
1059 friend class MachineRegisterInfo;
1060
1061 MachineOperand *Op = nullptr;
1062
defusechain_instr_iterator(MachineOperand * op)1063 explicit defusechain_instr_iterator(MachineOperand *op) : Op(op) {
1064 // If the first node isn't one we're interested in, advance to one that
1065 // we are interested in.
1066 if (op) {
1067 if ((!ReturnUses && op->isUse()) ||
1068 (!ReturnDefs && op->isDef()) ||
1069 (SkipDebug && op->isDebug()))
1070 advance();
1071 }
1072 }
1073
advance()1074 void advance() {
1075 assert(Op && "Cannot increment end iterator!");
1076 Op = getNextOperandForReg(Op);
1077
1078 // All defs come before the uses, so stop def_iterator early.
1079 if (!ReturnUses) {
1080 if (Op) {
1081 if (Op->isUse())
1082 Op = nullptr;
1083 else
1084 assert(!Op->isDebug() && "Can't have debug defs");
1085 }
1086 } else {
1087 // If this is an operand we don't care about, skip it.
1088 while (Op && ((!ReturnDefs && Op->isDef()) ||
1089 (SkipDebug && Op->isDebug())))
1090 Op = getNextOperandForReg(Op);
1091 }
1092 }
1093
1094 public:
1095 using reference = std::iterator<std::forward_iterator_tag,
1096 MachineInstr, ptrdiff_t>::reference;
1097 using pointer = std::iterator<std::forward_iterator_tag,
1098 MachineInstr, ptrdiff_t>::pointer;
1099
1100 defusechain_instr_iterator() = default;
1101
1102 bool operator==(const defusechain_instr_iterator &x) const {
1103 return Op == x.Op;
1104 }
1105 bool operator!=(const defusechain_instr_iterator &x) const {
1106 return !operator==(x);
1107 }
1108
1109 /// atEnd - return true if this iterator is equal to reg_end() on the value.
atEnd()1110 bool atEnd() const { return Op == nullptr; }
1111
1112 // Iterator traversal: forward iteration only
1113 defusechain_instr_iterator &operator++() { // Preincrement
1114 assert(Op && "Cannot increment end iterator!");
1115 if (ByOperand)
1116 advance();
1117 else if (ByInstr) {
1118 MachineInstr *P = Op->getParent();
1119 do {
1120 advance();
1121 } while (Op && Op->getParent() == P);
1122 } else if (ByBundle) {
1123 MachineBasicBlock::instr_iterator P =
1124 getBundleStart(Op->getParent()->getIterator());
1125 do {
1126 advance();
1127 } while (Op && getBundleStart(Op->getParent()->getIterator()) == P);
1128 }
1129
1130 return *this;
1131 }
1132 defusechain_instr_iterator operator++(int) { // Postincrement
1133 defusechain_instr_iterator tmp = *this; ++*this; return tmp;
1134 }
1135
1136 // Retrieve a reference to the current operand.
1137 MachineInstr &operator*() const {
1138 assert(Op && "Cannot dereference end iterator!");
1139 if (ByBundle)
1140 return *getBundleStart(Op->getParent()->getIterator());
1141 return *Op->getParent();
1142 }
1143
1144 MachineInstr *operator->() const { return &operator*(); }
1145 };
1146 };
1147
1148 /// Iterate over the pressure sets affected by the given physical or virtual
1149 /// register. If Reg is physical, it must be a register unit (from
1150 /// MCRegUnitIterator).
1151 class PSetIterator {
1152 const int *PSet = nullptr;
1153 unsigned Weight = 0;
1154
1155 public:
1156 PSetIterator() = default;
1157
PSetIterator(unsigned RegUnit,const MachineRegisterInfo * MRI)1158 PSetIterator(unsigned RegUnit, const MachineRegisterInfo *MRI) {
1159 const TargetRegisterInfo *TRI = MRI->getTargetRegisterInfo();
1160 if (TargetRegisterInfo::isVirtualRegister(RegUnit)) {
1161 const TargetRegisterClass *RC = MRI->getRegClass(RegUnit);
1162 PSet = TRI->getRegClassPressureSets(RC);
1163 Weight = TRI->getRegClassWeight(RC).RegWeight;
1164 }
1165 else {
1166 PSet = TRI->getRegUnitPressureSets(RegUnit);
1167 Weight = TRI->getRegUnitWeight(RegUnit);
1168 }
1169 if (*PSet == -1)
1170 PSet = nullptr;
1171 }
1172
isValid()1173 bool isValid() const { return PSet; }
1174
getWeight()1175 unsigned getWeight() const { return Weight; }
1176
1177 unsigned operator*() const { return *PSet; }
1178
1179 void operator++() {
1180 assert(isValid() && "Invalid PSetIterator.");
1181 ++PSet;
1182 if (*PSet == -1)
1183 PSet = nullptr;
1184 }
1185 };
1186
1187 inline PSetIterator MachineRegisterInfo::
getPressureSets(unsigned RegUnit)1188 getPressureSets(unsigned RegUnit) const {
1189 return PSetIterator(RegUnit, this);
1190 }
1191
1192 } // end namespace llvm
1193
1194 #endif // LLVM_CODEGEN_MACHINEREGISTERINFO_H
1195