LLVM 23.0.0git
MachineBasicBlock.h
Go to the documentation of this file.
1//===- llvm/CodeGen/MachineBasicBlock.h -------------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Collect the sequence of machine instructions for a basic block.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_CODEGEN_MACHINEBASICBLOCK_H
14#define LLVM_CODEGEN_MACHINEBASICBLOCK_H
15
19#include "llvm/ADT/ilist.h"
24#include "llvm/IR/DebugLoc.h"
25#include "llvm/MC/LaneBitmask.h"
29#include <cassert>
30#include <cstdint>
31#include <iterator>
32#include <string>
33#include <vector>
34
35namespace llvm {
36
37class BasicBlock;
39class MachineFunction;
40class MachineLoopInfo;
41class MCSymbol;
43class Pass;
44class Printable;
45class SlotIndexes;
46class StringRef;
47class raw_ostream;
48class LiveIntervals;
49class LiveVariables;
52
53// This structure uniquely identifies a basic block section.
54// Possible values are
55// {Type: Default, Number: (unsigned)} (These are regular section IDs)
56// {Type: Exception, Number: 0} (ExceptionSectionID)
57// {Type: Cold, Number: 0} (ColdSectionID)
60 Default = 0, // Regular section (these sections are distinguished by the
61 // Number field).
62 Exception, // Special section type for exception handling blocks
63 Cold, // Special section type for cold blocks
65 unsigned Number;
66
67 MBBSectionID(unsigned N) : Type(Default), Number(N) {}
68
69 // Special unique sections for cold and exception blocks.
72
73 bool operator==(const MBBSectionID &Other) const {
74 return Type == Other.Type && Number == Other.Number;
75 }
76
77 bool operator!=(const MBBSectionID &Other) const { return !(*this == Other); }
78
79private:
80 // This is only used to construct the special cold and exception sections.
81 MBBSectionID(SectionType T) : Type(T), Number(0) {}
82};
83
84template <> struct DenseMapInfo<MBBSectionID> {
87
88 static unsigned getHashValue(const MBBSectionID &SecID) {
89 return detail::combineHashValue(TypeInfo::getHashValue(SecID.Type),
90 NumberInfo::getHashValue(SecID.Number));
91 }
92 static bool isEqual(const MBBSectionID &LHS, const MBBSectionID &RHS) {
93 return LHS == RHS;
94 }
95};
96
97template <> struct ilist_traits<MachineInstr> {
98private:
99 friend class MachineBasicBlock; // Set by the owning MachineBasicBlock.
100
101 MachineBasicBlock *Parent;
102
103 using instr_iterator =
105
106public:
110 instr_iterator First,
111 instr_iterator Last);
113};
114
115class MachineBasicBlock
116 : public ilist_node_with_parent<MachineBasicBlock, MachineFunction> {
117public:
118 /// Pair of physical register and lane mask.
119 /// This is not simply a std::pair typedef because the members should be named
120 /// clearly as they both have an integer type.
122 public:
125
130
131 bool operator==(const RegisterMaskPair &other) const {
132 return PhysReg == other.PhysReg && LaneMask == other.LaneMask;
133 }
134 };
135
136private:
138
139 const BasicBlock *BB;
140 int Number;
141
142 /// The call frame size on entry to this basic block due to call frame setup
143 /// instructions in a predecessor. This is usually zero, unless basic blocks
144 /// are split in the middle of a call sequence.
145 ///
146 /// This information is only maintained until PrologEpilogInserter eliminates
147 /// call frame pseudos.
148 unsigned CallFrameSize = 0;
149
150 MachineFunction *xParent;
151 Instructions Insts;
152
153 /// Keep track of the predecessor / successor basic blocks.
156
157 /// Keep track of the probabilities to the successors. This vector has the
158 /// same order as Successors, or it is empty if we don't use it (disable
159 /// optimization).
160 std::vector<BranchProbability> Probs;
161 using probability_iterator = std::vector<BranchProbability>::iterator;
162 using const_probability_iterator =
163 std::vector<BranchProbability>::const_iterator;
164
165 std::optional<uint64_t> IrrLoopHeaderWeight;
166
167 /// Keep track of the physical registers that are livein of the basicblock.
168 using LiveInVector = std::vector<RegisterMaskPair>;
169 LiveInVector LiveIns;
170
171 /// Alignment of the basic block. One if the basic block does not need to be
172 /// aligned.
173 Align Alignment;
174 /// Maximum amount of bytes that can be added to align the basic block. If the
175 /// alignment cannot be reached in this many bytes, no bytes are emitted.
176 /// Zero to represent no maximum.
177 unsigned MaxBytesForAlignment = 0;
178
179 /// Indicate that this basic block is entered via an exception handler.
180 bool IsEHPad = false;
181
182 /// Indicate that this MachineBasicBlock is referenced somewhere other than
183 /// as predecessor/successor, a terminator MachineInstr, or a jump table.
184 bool MachineBlockAddressTaken = false;
185
186 /// Relatively stable number used for analyses.
187 unsigned AnalysisNumber = 0;
188
189 /// If this MachineBasicBlock corresponds to an IR-level "blockaddress"
190 /// constant, this contains a pointer to that block.
191 BasicBlock *AddressTakenIRBlock = nullptr;
192
193 /// Indicate that this basic block needs its symbol be emitted regardless of
194 /// whether the flow just falls-through to it.
195 bool LabelMustBeEmitted = false;
196
197 /// Indicate that this basic block is the entry block of an EH scope, i.e.,
198 /// the block that used to have a catchpad or cleanuppad instruction in the
199 /// LLVM IR.
200 bool IsEHScopeEntry = false;
201
202 /// Indicates if this is a target of Windows EH Continuation Guard.
203 bool IsEHContTarget = false;
204
205 /// Indicate that this basic block is the entry block of an EH funclet.
206 bool IsEHFuncletEntry = false;
207
208 /// Indicate that this basic block is the entry block of a cleanup funclet.
209 bool IsCleanupFuncletEntry = false;
210
211 /// Fixed unique ID assigned to this basic block upon creation. Used with
212 /// basic block sections and basic block labels.
213 std::optional<UniqueBBID> BBID;
214
215 SmallVector<unsigned> PrefetchTargets;
216
217 /// With basic block sections, this stores the Section ID of the basic block.
218 MBBSectionID SectionID{0};
219
220 // Indicate that this basic block begins a section.
221 bool IsBeginSection = false;
222
223 // Indicate that this basic block ends a section.
224 bool IsEndSection = false;
225
226 /// Indicate that this basic block is the indirect dest of an INLINEASM_BR.
227 bool IsInlineAsmBrIndirectTarget = false;
228
229 /// since getSymbol is a relatively heavy-weight operation, the symbol
230 /// is only computed once and is cached.
231 mutable MCSymbol *CachedMCSymbol = nullptr;
232
233 /// Cached MCSymbol for this block (used if IsEHContTarget).
234 mutable MCSymbol *CachedEHContMCSymbol = nullptr;
235
236 /// Marks the end of the basic block. Used during basic block sections to
237 /// calculate the size of the basic block, or the BB section ending with it.
238 mutable MCSymbol *CachedEndMCSymbol = nullptr;
239
240 // Intrusive list support
241 MachineBasicBlock() = default;
242
243 explicit MachineBasicBlock(MachineFunction &MF, const BasicBlock *BB);
244
245 ~MachineBasicBlock();
246
247 // MachineBasicBlocks are allocated and owned by MachineFunction.
248 friend class MachineFunction;
249
250public:
251 /// Return the LLVM basic block that this instance corresponded to originally.
252 /// Note that this may be NULL if this instance does not correspond directly
253 /// to an LLVM basic block.
254 const BasicBlock *getBasicBlock() const { return BB; }
255
256 /// Remove the reference to the underlying IR BasicBlock. This is for
257 /// reduction tools and should generally not be used.
259 BB = nullptr;
260 }
261
262 /// Check if there is a name of corresponding LLVM basic block.
263 LLVM_ABI bool hasName() const;
264
265 /// Return the name of the corresponding LLVM basic block, or an empty string.
266 LLVM_ABI StringRef getName() const;
267
268 /// Return a formatted string to identify this block and its parent function.
269 LLVM_ABI std::string getFullName() const;
270
271 /// Test whether this block is used as something other than the target
272 /// of a terminator, exception-handling target, or jump table. This is
273 /// either the result of an IR-level "blockaddress", or some form
274 /// of target-specific branch lowering.
275 ///
276 /// The name of this function `hasAddressTaken` implies that the address of
277 /// the block is known and used in a general sense, but not necessarily that
278 /// the address is used by an indirect branch instruction. So branch target
279 /// enforcement need not put a BTI instruction (or equivalent) at the start
280 /// of a block just because this function returns true. The decision about
281 /// whether to add a BTI can be more subtle than that, and depends on the
282 /// more detailed checks that this function aggregates together.
283 bool hasAddressTaken() const {
284 return MachineBlockAddressTaken || AddressTakenIRBlock ||
285 IsInlineAsmBrIndirectTarget;
286 }
287
288 /// Test whether this block is used as something other than the target of a
289 /// terminator, exception-handling target, jump table, or IR blockaddress.
290 /// For example, its address might be loaded into a register, or
291 /// stored in some branch table that isn't part of MachineJumpTableInfo.
292 ///
293 /// If this function returns true, it _does_ mean that branch target
294 /// enforcement needs to put a BTI or equivalent at the start of the block.
295 bool isMachineBlockAddressTaken() const { return MachineBlockAddressTaken; }
296
297 /// Test whether this block is the target of an IR BlockAddress. (There can
298 /// more than one MBB associated with an IR BB where the address is taken.)
299 ///
300 /// If this function returns true, it _does_ mean that branch target
301 /// enforcement needs to put a BTI or equivalent at the start of the block.
302 bool isIRBlockAddressTaken() const { return AddressTakenIRBlock; }
303
304 /// Retrieves the BasicBlock which corresponds to this MachineBasicBlock.
305 BasicBlock *getAddressTakenIRBlock() const { return AddressTakenIRBlock; }
306
307 /// Set this block to indicate that its address is used as something other
308 /// than the target of a terminator, exception-handling target, jump table,
309 /// or IR-level "blockaddress".
310 void setMachineBlockAddressTaken() { MachineBlockAddressTaken = true; }
311
312 /// Set this block to reflect that it corresponds to an IR-level basic block
313 /// with a BlockAddress.
314 void setAddressTakenIRBlock(BasicBlock *BB) { AddressTakenIRBlock = BB; }
315
316 /// Test whether this block must have its label emitted.
317 bool hasLabelMustBeEmitted() const { return LabelMustBeEmitted; }
318
319 /// Set this block to reflect that, regardless how we flow to it, we need
320 /// its label be emitted.
321 void setLabelMustBeEmitted() { LabelMustBeEmitted = true; }
322
323 /// Return the MachineFunction containing this basic block.
324 const MachineFunction *getParent() const { return xParent; }
325 MachineFunction *getParent() { return xParent; }
326
327 /// Returns true if the original IR terminator is an `indirectbr` with
328 /// successor blocks. This typically corresponds to a `goto` in C, rather than
329 /// jump tables.
331 return back().isIndirectBranch() && !succ_empty() &&
332 llvm::all_of(successors(), [](const MachineBasicBlock *Succ) {
333 return Succ->isIRBlockAddressTaken();
334 });
335 }
336
341
347
348 unsigned size() const { return (unsigned)Insts.size(); }
349 LLVM_ABI bool sizeWithoutDebugLargerThan(unsigned Limit) const;
350 bool empty() const { return Insts.empty(); }
351
352 MachineInstr &instr_front() { return Insts.front(); }
353 MachineInstr &instr_back() { return Insts.back(); }
354 const MachineInstr &instr_front() const { return Insts.front(); }
355 const MachineInstr &instr_back() const { return Insts.back(); }
356
357 MachineInstr &front() { return Insts.front(); }
358 MachineInstr &back() { return *--end(); }
359 const MachineInstr &front() const { return Insts.front(); }
360 const MachineInstr &back() const { return *--end(); }
361
362 instr_iterator instr_begin() { return Insts.begin(); }
363 const_instr_iterator instr_begin() const { return Insts.begin(); }
364 instr_iterator instr_end() { return Insts.end(); }
365 const_instr_iterator instr_end() const { return Insts.end(); }
366 reverse_instr_iterator instr_rbegin() { return Insts.rbegin(); }
367 const_reverse_instr_iterator instr_rbegin() const { return Insts.rbegin(); }
368 reverse_instr_iterator instr_rend () { return Insts.rend(); }
369 const_reverse_instr_iterator instr_rend () const { return Insts.rend(); }
370
377
378 iterator begin() { return instr_begin(); }
379 const_iterator begin() const { return instr_begin(); }
380 iterator end () { return instr_end(); }
381 const_iterator end () const { return instr_end(); }
392
393 /// Support for MachineInstr::getNextNode().
394 static Instructions MachineBasicBlock::*getSublistAccess(MachineInstr *) {
395 return &MachineBasicBlock::Insts;
396 }
397
404
405 /// Returns a range that iterates over the phis in the basic block.
407 return make_range(begin(), getFirstNonPHI());
408 }
410 return const_cast<MachineBasicBlock *>(this)->phis();
411 }
412
413 // Machine-CFG iterators
428 pred_iterator pred_begin() { return Predecessors.begin(); }
429 const_pred_iterator pred_begin() const { return Predecessors.begin(); }
430 pred_iterator pred_end() { return Predecessors.end(); }
431 const_pred_iterator pred_end() const { return Predecessors.end(); }
433 { return Predecessors.rbegin();}
435 { return Predecessors.rbegin();}
437 { return Predecessors.rend(); }
439 { return Predecessors.rend(); }
440 unsigned pred_size() const {
441 return (unsigned)Predecessors.size();
442 }
443 bool pred_empty() const { return Predecessors.empty(); }
444 succ_iterator succ_begin() { return Successors.begin(); }
445 const_succ_iterator succ_begin() const { return Successors.begin(); }
446 succ_iterator succ_end() { return Successors.end(); }
447 const_succ_iterator succ_end() const { return Successors.end(); }
449 { return Successors.rbegin(); }
451 { return Successors.rbegin(); }
453 { return Successors.rend(); }
455 { return Successors.rend(); }
456 unsigned succ_size() const {
457 return (unsigned)Successors.size();
458 }
459 bool succ_empty() const { return Successors.empty(); }
460
473
474 // LiveIn management methods.
475
476 /// Adds the specified register as a live in. Note that it is an error to add
477 /// the same register to the same set more than once unless the intention is
478 /// to call sortUniqueLiveIns after all registers are added.
479 void addLiveIn(MCRegister PhysReg,
480 LaneBitmask LaneMask = LaneBitmask::getAll()) {
481 LiveIns.push_back(RegisterMaskPair(PhysReg, LaneMask));
482 }
483 void addLiveIn(const RegisterMaskPair &RegMaskPair) {
484 LiveIns.push_back(RegMaskPair);
485 }
486
487 /// Sorts and uniques the LiveIns vector. It can be significantly faster to do
488 /// this than repeatedly calling isLiveIn before calling addLiveIn for every
489 /// LiveIn insertion.
491
492 /// Clear live in list.
493 LLVM_ABI void clearLiveIns();
494
495 /// Clear the live in list, and return the removed live in's in \p OldLiveIns.
496 /// Requires that the vector \p OldLiveIns is empty.
497 LLVM_ABI void clearLiveIns(std::vector<RegisterMaskPair> &OldLiveIns);
498
499 /// Add PhysReg as live in to this block, and ensure that there is a copy of
500 /// PhysReg to a virtual register of class RC. Return the virtual register
501 /// that is a copy of the live in PhysReg.
503 const TargetRegisterClass *RC);
504
505 /// Remove the specified register from the live in set.
507 LaneBitmask LaneMask = LaneBitmask::getAll());
508
509 /// Remove the specified register from any overlapped live in. The method is
510 /// subreg-aware and removes Reg and its subregs from the live in set. It also
511 /// clears the corresponding bitmask from its live-in super registers.
513
514 /// Return true if the specified register is in the live in set.
516 LaneBitmask LaneMask = LaneBitmask::getAll()) const;
517
518 // Iteration support for live in sets. These sets are kept in sorted
519 // order by their register number.
520 using livein_iterator = LiveInVector::const_iterator;
521
522 /// Unlike livein_begin, this method does not check that the liveness
523 /// information is accurate. Still for debug purposes it may be useful
524 /// to have iterators that won't assert if the liveness information
525 /// is not current.
526 livein_iterator livein_begin_dbg() const { return LiveIns.begin(); }
530
532 livein_iterator livein_end() const { return LiveIns.end(); }
533 bool livein_empty() const { return LiveIns.empty(); }
537
538 /// Remove entry from the livein set and return iterator to the next.
540
541 const std::vector<RegisterMaskPair> &getLiveIns() const { return LiveIns; }
542
544 public:
545 using iterator_category = std::input_iterator_tag;
546 using difference_type = std::ptrdiff_t;
548 using pointer = const RegisterMaskPair *;
550
551 liveout_iterator(const MachineBasicBlock &MBB, MCRegister ExceptionPointer,
552 MCRegister ExceptionSelector, bool End)
553 : ExceptionPointer(ExceptionPointer),
554 ExceptionSelector(ExceptionSelector), BlockI(MBB.succ_begin()),
555 BlockEnd(MBB.succ_end()) {
556 if (End)
557 BlockI = BlockEnd;
558 else if (BlockI != BlockEnd) {
559 LiveRegI = (*BlockI)->livein_begin();
560 if (!advanceToValidPosition())
561 return;
562 if ((*BlockI)->isEHPad() && (LiveRegI->PhysReg == ExceptionPointer ||
563 LiveRegI->PhysReg == ExceptionSelector))
564 ++(*this);
565 }
566 }
567
569 do {
570 ++LiveRegI;
571 if (!advanceToValidPosition())
572 return *this;
573 } while ((*BlockI)->isEHPad() &&
574 (LiveRegI->PhysReg == ExceptionPointer ||
575 LiveRegI->PhysReg == ExceptionSelector));
576 return *this;
577 }
578
580 liveout_iterator Tmp = *this;
581 ++(*this);
582 return Tmp;
583 }
584
586 return *LiveRegI;
587 }
588
590 return &*LiveRegI;
591 }
592
593 bool operator==(const liveout_iterator &RHS) const {
594 if (BlockI != BlockEnd)
595 return BlockI == RHS.BlockI && LiveRegI == RHS.LiveRegI;
596 return RHS.BlockI == BlockEnd;
597 }
598
599 bool operator!=(const liveout_iterator &RHS) const {
600 return !(*this == RHS);
601 }
602 private:
603 bool advanceToValidPosition() {
604 if (LiveRegI != (*BlockI)->livein_end())
605 return true;
606
607 do {
608 ++BlockI;
609 } while (BlockI != BlockEnd && (*BlockI)->livein_empty());
610 if (BlockI == BlockEnd)
611 return false;
612
613 LiveRegI = (*BlockI)->livein_begin();
614 return true;
615 }
616
617 MCRegister ExceptionPointer, ExceptionSelector;
618 const_succ_iterator BlockI;
619 const_succ_iterator BlockEnd;
620 livein_iterator LiveRegI;
621 };
622
623 /// Iterator scanning successor basic blocks' liveins to determine the
624 /// registers potentially live at the end of this block. There may be
625 /// duplicates or overlapping registers in the list returned.
628 return liveout_iterator(*this, 0, 0, true);
629 }
633
634 /// Get the clobber mask for the start of this basic block. Funclets use this
635 /// to prevent register allocation across funclet transitions.
636 LLVM_ABI const uint32_t *
638
639 /// Get the clobber mask for the end of the basic block.
640 /// \see getBeginClobberMask()
641 LLVM_ABI const uint32_t *
643
644 /// Return alignment of the basic block.
645 Align getAlignment() const { return Alignment; }
646
647 /// Set alignment of the basic block.
648 void setAlignment(Align A) { Alignment = A; }
649
650 void setAlignment(Align A, unsigned MaxBytes) {
652 setMaxBytesForAlignment(MaxBytes);
653 }
654
655 /// Return the maximum amount of padding allowed for aligning the basic block.
656 unsigned getMaxBytesForAlignment() const { return MaxBytesForAlignment; }
657
658 /// Set the maximum amount of padding allowed for aligning the basic block
659 void setMaxBytesForAlignment(unsigned MaxBytes) {
660 MaxBytesForAlignment = MaxBytes;
661 }
662
663 /// Returns true if the block is a landing pad. That is this basic block is
664 /// entered via an exception handler.
665 bool isEHPad() const { return IsEHPad; }
666
667 /// Indicates the block is a landing pad. That is this basic block is entered
668 /// via an exception handler.
669 void setIsEHPad(bool V = true) { IsEHPad = V; }
670
671 LLVM_ABI bool hasEHPadSuccessor() const;
672
673 /// Returns true if this is the entry block of the function.
674 LLVM_ABI bool isEntryBlock() const;
675
676 /// Returns true if this is the entry block of an EH scope, i.e., the block
677 /// that used to have a catchpad or cleanuppad instruction in the LLVM IR.
678 bool isEHScopeEntry() const { return IsEHScopeEntry; }
679
680 /// Indicates if this is the entry block of an EH scope, i.e., the block that
681 /// that used to have a catchpad or cleanuppad instruction in the LLVM IR.
682 void setIsEHScopeEntry(bool V = true) { IsEHScopeEntry = V; }
683
684 /// Returns true if this is a target of Windows EH Continuation Guard.
685 bool isEHContTarget() const { return IsEHContTarget; }
686
687 /// Indicates if this is a target of Windows EH Continuation Guard.
688 void setIsEHContTarget(bool V = true) { IsEHContTarget = V; }
689
690 /// Returns true if this is the entry block of an EH funclet.
691 bool isEHFuncletEntry() const { return IsEHFuncletEntry; }
692
693 /// Indicates if this is the entry block of an EH funclet.
694 void setIsEHFuncletEntry(bool V = true) { IsEHFuncletEntry = V; }
695
696 /// Returns true if this is the entry block of a cleanup funclet.
697 bool isCleanupFuncletEntry() const { return IsCleanupFuncletEntry; }
698
699 /// Indicates if this is the entry block of a cleanup funclet.
700 void setIsCleanupFuncletEntry(bool V = true) { IsCleanupFuncletEntry = V; }
701
702 /// Returns true if this block begins any section.
703 bool isBeginSection() const { return IsBeginSection; }
704
705 /// Returns true if this block ends any section.
706 bool isEndSection() const { return IsEndSection; }
707
708 void setIsBeginSection(bool V = true) { IsBeginSection = V; }
709
710 void setIsEndSection(bool V = true) { IsEndSection = V; }
711
712 std::optional<UniqueBBID> getBBID() const { return BBID; }
713
714 /// Returns the section ID of this basic block.
715 MBBSectionID getSectionID() const { return SectionID; }
716
717 /// Sets the fixed BBID of this basic block.
718 void setBBID(const UniqueBBID &V) {
719 assert(!BBID.has_value() && "Cannot change BBID.");
720 BBID = V;
721 }
722
723 /// Sets the section ID for this basic block.
724 void setSectionID(MBBSectionID V) { SectionID = V; }
725
726 /// Returns the MCSymbol marking the end of this basic block.
728
729 /// Returns true if this block may have an INLINEASM_BR (overestimate, by
730 /// checking if any of the successors are indirect targets of any inlineasm_br
731 /// in the function).
732 LLVM_ABI bool mayHaveInlineAsmBr() const;
733
734 /// Returns true if this is the indirect dest of an INLINEASM_BR.
736 return IsInlineAsmBrIndirectTarget;
737 }
738
739 /// Indicates if this is the indirect dest of an INLINEASM_BR.
740 void setIsInlineAsmBrIndirectTarget(bool V = true) {
741 IsInlineAsmBrIndirectTarget = V;
742 }
743
744 /// Returns true if it is legal to hoist instructions into this block.
745 LLVM_ABI bool isLegalToHoistInto() const;
746
747 // Code Layout methods.
748
749 /// Move 'this' block before or after the specified block. This only moves
750 /// the block, it does not modify the CFG or adjust potential fall-throughs at
751 /// the end of the block.
752 LLVM_ABI void moveBefore(MachineBasicBlock *NewAfter);
753 LLVM_ABI void moveAfter(MachineBasicBlock *NewBefore);
754
755 /// Returns true if this and MBB belong to the same section.
756 bool sameSection(const MachineBasicBlock *MBB) const {
757 return getSectionID() == MBB->getSectionID();
758 }
759
760 /// Update the terminator instructions in block to account for changes to
761 /// block layout which may have been made. PreviousLayoutSuccessor should be
762 /// set to the block which may have been used as fallthrough before the block
763 /// layout was modified. If the block previously fell through to that block,
764 /// it may now need a branch. If it previously branched to another block, it
765 /// may now be able to fallthrough to the current layout successor.
766 LLVM_ABI void updateTerminator(MachineBasicBlock *PreviousLayoutSuccessor);
767
768 // Machine-CFG mutators
769
770 /// Add Succ as a successor of this MachineBasicBlock. The Predecessors list
771 /// of Succ is automatically updated. PROB parameter is stored in
772 /// Probabilities list. The default probability is set as unknown. Mixing
773 /// known and unknown probabilities in successor list is not allowed. When all
774 /// successors have unknown probabilities, 1 / N is returned as the
775 /// probability for each successor, where N is the number of successors.
776 ///
777 /// Note that duplicate Machine CFG edges are not allowed.
778 LLVM_ABI void
781
782 /// Add Succ as a successor of this MachineBasicBlock. The Predecessors list
783 /// of Succ is automatically updated. The probability is not provided because
784 /// BPI is not available (e.g. -O0 is used), in which case edge probabilities
785 /// won't be used. Using this interface can save some space.
787
788 /// Set successor probability of a given iterator.
790
791 /// Normalize probabilities of all successors so that the sum of them becomes
792 /// one. This is usually done when the current update on this MBB is done, and
793 /// the sum of its successors' probabilities is not guaranteed to be one. The
794 /// user is responsible for the correct use of this function.
795 /// MBB::removeSuccessor() has an option to do this automatically.
797 BranchProbability::normalizeProbabilities(Probs.begin(), Probs.end());
798 }
799
800 /// Validate successors' probabilities and check if the sum of them is
801 /// approximate one. This only works in DEBUG mode.
802 LLVM_ABI void validateSuccProbs() const;
803
804 /// Remove successor from the successors list of this MachineBasicBlock. The
805 /// Predecessors list of Succ is automatically updated.
806 /// If NormalizeSuccProbs is true, then normalize successors' probabilities
807 /// after the successor is removed.
809 bool NormalizeSuccProbs = false);
810
811 /// Remove specified successor from the successors list of this
812 /// MachineBasicBlock. The Predecessors list of Succ is automatically updated.
813 /// If NormalizeSuccProbs is true, then normalize successors' probabilities
814 /// after the successor is removed.
815 /// Return the iterator to the element after the one removed.
817 bool NormalizeSuccProbs = false);
818
819 /// Replace successor OLD with NEW and update probability info.
821 MachineBasicBlock *New);
822
823 /// Copy a successor (and any probability info) from original block to this
824 /// block's. Uses an iterator into the original blocks successors.
825 ///
826 /// This is useful when doing a partial clone of successors. Afterward, the
827 /// probabilities may need to be normalized.
829
830 /// Split the old successor into old plus new and updates the probability
831 /// info.
833 bool NormalizeSuccProbs = false);
834
835 /// Transfers all the successors from MBB to this machine basic block (i.e.,
836 /// copies all the successors FromMBB and remove all the successors from
837 /// FromMBB).
839
840 /// Transfers all the successors, as in transferSuccessors, and update PHI
841 /// operands in the successor blocks which refer to FromMBB to refer to this.
843
844 /// Return true if any of the successors have probabilities attached to them.
845 bool hasSuccessorProbabilities() const { return !Probs.empty(); }
846
847 /// Return true if the specified MBB is a predecessor of this block.
848 LLVM_ABI bool isPredecessor(const MachineBasicBlock *MBB) const;
849
850 /// Return true if the specified MBB is a successor of this block.
851 LLVM_ABI bool isSuccessor(const MachineBasicBlock *MBB) const;
852
853 /// Return true if the specified MBB will be emitted immediately after this
854 /// block, such that if this block exits by falling through, control will
855 /// transfer to the specified MBB. Note that MBB need not be a successor at
856 /// all, for example if this block ends with an unconditional branch to some
857 /// other block.
859
860 /// Return the successor of this block if it has a single successor.
861 /// Otherwise return a null pointer.
862 ///
864 MachineBasicBlock *getSingleSuccessor() {
865 return const_cast<MachineBasicBlock *>(
866 static_cast<const MachineBasicBlock *>(this)->getSingleSuccessor());
867 }
868
869 /// Return the predecessor of this block if it has a single predecessor.
870 /// Otherwise return a null pointer.
871 ///
873 MachineBasicBlock *getSinglePredecessor() {
874 return const_cast<MachineBasicBlock *>(
875 static_cast<const MachineBasicBlock *>(this)->getSinglePredecessor());
876 }
877
878 /// Return the fallthrough block if the block can implicitly
879 /// transfer control to the block after it by falling off the end of
880 /// it. If an explicit branch to the fallthrough block is not allowed,
881 /// set JumpToFallThrough to be false. Non-null return is a conservative
882 /// answer.
883 LLVM_ABI MachineBasicBlock *getFallThrough(bool JumpToFallThrough = true);
884
885 /// Return the fallthrough block if the block can implicitly
886 /// transfer control to it's successor, whether by a branch or
887 /// a fallthrough. Non-null return is a conservative answer.
888 MachineBasicBlock *getLogicalFallThrough() { return getFallThrough(false); }
889
890 /// Return true if the block can implicitly transfer control to the
891 /// block after it by falling off the end of it. This should return
892 /// false if it can reach the block after it, but it uses an
893 /// explicit branch to do so (e.g., a table jump). True is a
894 /// conservative answer.
896
897 /// Returns a pointer to the first instruction in this block that is not a
898 /// PHINode instruction. When adding instructions to the beginning of the
899 /// basic block, they should be added before the returned value, not before
900 /// the first instruction, which might be PHI.
901 /// Returns end() is there's no non-PHI instruction.
904 return const_cast<MachineBasicBlock *>(this)->getFirstNonPHI();
905 }
906
907 /// Return the first instruction in MBB after I that is not a PHI or a label.
908 /// This is the correct point to insert lowered copies at the beginning of a
909 /// basic block that must be before any debugging information.
911
912 /// Return the first instruction in MBB after I that is not a PHI, label or
913 /// debug. This is the correct point to insert copies at the beginning of a
914 /// basic block. \p Reg is the register being used by a spill or defined for a
915 /// restore/split during register allocation.
918 bool SkipPseudoOp = true);
919
920 /// Returns an iterator to the first terminator instruction of this basic
921 /// block. If a terminator does not exist, it returns end().
924 return const_cast<MachineBasicBlock *>(this)->getFirstTerminator();
925 }
926
927 /// Same getFirstTerminator but it ignores bundles and return an
928 /// instr_iterator instead.
929 LLVM_ABI instr_iterator getFirstInstrTerminator();
930
931 /// Finds the first terminator in a block by scanning forward. This can handle
932 /// cases in GlobalISel where there may be non-terminator instructions between
933 /// terminators, for which getFirstTerminator() will not work correctly.
935
936 /// Returns an iterator to the first non-debug instruction in the basic block,
937 /// or end(). Skip any pseudo probe operation if \c SkipPseudoOp is true.
938 /// Pseudo probes are like debug instructions which do not turn into real
939 /// machine code. We try to use the function to skip both debug instructions
940 /// and pseudo probe operations to avoid API proliferation. This should work
941 /// most of the time when considering optimizing the rest of code in the
942 /// block, except for certain cases where pseudo probes are designed to block
943 /// the optimizations. For example, code merge like optimizations are supposed
944 /// to be blocked by pseudo probes for better AutoFDO profile quality.
945 /// Therefore, they should be considered as a valid instruction when this
946 /// function is called in a context of such optimizations. On the other hand,
947 /// \c SkipPseudoOp should be true when it's used in optimizations that
948 /// unlikely hurt profile quality, e.g., without block merging. The default
949 /// value of \c SkipPseudoOp is set to true to maximize code quality in
950 /// general, with an explict false value passed in in a few places like branch
951 /// folding and if-conversion to favor profile quality.
952 LLVM_ABI iterator getFirstNonDebugInstr(bool SkipPseudoOp = true);
953 const_iterator getFirstNonDebugInstr(bool SkipPseudoOp = true) const {
954 return const_cast<MachineBasicBlock *>(this)->getFirstNonDebugInstr(
955 SkipPseudoOp);
956 }
957
958 /// Returns an iterator to the last non-debug instruction in the basic block,
959 /// or end(). Skip any pseudo operation if \c SkipPseudoOp is true.
960 /// Pseudo probes are like debug instructions which do not turn into real
961 /// machine code. We try to use the function to skip both debug instructions
962 /// and pseudo probe operations to avoid API proliferation. This should work
963 /// most of the time when considering optimizing the rest of code in the
964 /// block, except for certain cases where pseudo probes are designed to block
965 /// the optimizations. For example, code merge like optimizations are supposed
966 /// to be blocked by pseudo probes for better AutoFDO profile quality.
967 /// Therefore, they should be considered as a valid instruction when this
968 /// function is called in a context of such optimizations. On the other hand,
969 /// \c SkipPseudoOp should be true when it's used in optimizations that
970 /// unlikely hurt profile quality, e.g., without block merging. The default
971 /// value of \c SkipPseudoOp is set to true to maximize code quality in
972 /// general, with an explict false value passed in in a few places like branch
973 /// folding and if-conversion to favor profile quality.
974 LLVM_ABI iterator getLastNonDebugInstr(bool SkipPseudoOp = true);
975 const_iterator getLastNonDebugInstr(bool SkipPseudoOp = true) const {
976 return const_cast<MachineBasicBlock *>(this)->getLastNonDebugInstr(
977 SkipPseudoOp);
978 }
979
980 /// Convenience function that returns true if the block ends in a return
981 /// instruction.
982 bool isReturnBlock() const {
983 return !empty() && back().isReturn();
984 }
985
986 /// Convenience function that returns true if the bock ends in a EH scope
987 /// return instruction.
988 bool isEHScopeReturnBlock() const {
989 return !empty() && back().isEHScopeReturn();
990 }
991
992 /// Split a basic block into 2 pieces at \p SplitPoint. A new block will be
993 /// inserted after this block, and all instructions after \p SplitInst moved
994 /// to it (\p SplitInst will be in the original block). If \p LIS is provided,
995 /// LiveIntervals will be appropriately updated. \return the newly inserted
996 /// block.
997 ///
998 /// If \p UpdateLiveIns is true, this will ensure the live ins list is
999 /// accurate, including for physreg uses/defs in the original block.
1001 bool UpdateLiveIns = true,
1002 LiveIntervals *LIS = nullptr);
1003
1004 /// Split the critical edge from this block to the given successor block, and
1005 /// return the newly created block, or null if splitting is not possible.
1006 ///
1007 /// This function updates LiveVariables, MachineDominatorTree, and
1008 /// MachineLoopInfo, as applicable.
1015
1016 MachineBasicBlock *
1017 SplitCriticalEdge(MachineBasicBlock *Succ, Pass &P,
1018 std::vector<SparseBitVector<>> *LiveInSets = nullptr,
1019 MachineDomTreeUpdater *MDTU = nullptr) {
1020 return SplitCriticalEdge(Succ, &P, nullptr, LiveInSets, MDTU);
1021 }
1022
1024 SplitCriticalEdge(MachineBasicBlock *Succ,
1026 std::vector<SparseBitVector<>> *LiveInSets = nullptr,
1027 MachineDomTreeUpdater *MDTU = nullptr) {
1028 return SplitCriticalEdge(Succ, nullptr, &MFAM, LiveInSets, MDTU);
1029 }
1030
1031 // Helper method for new pass manager migration.
1033 MachineBasicBlock *Succ, const SplitCriticalEdgeAnalyses &Analyses,
1034 std::vector<SparseBitVector<>> *LiveInSets, MachineDomTreeUpdater *MDTU);
1035
1038 std::vector<SparseBitVector<>> *LiveInSets, MachineDomTreeUpdater *MDTU);
1039
1040 /// Check if the edge between this block and the given successor \p
1041 /// Succ, can be split. If this returns true a subsequent call to
1042 /// SplitCriticalEdge is guaranteed to return a valid basic block if
1043 /// no changes occurred in the meantime.
1044 LLVM_ABI bool
1046 const MachineLoopInfo *MLI = nullptr) const;
1047
1048 void pop_front() { Insts.pop_front(); }
1049 void pop_back() { Insts.pop_back(); }
1050 void push_back(MachineInstr *MI) { Insts.push_back(MI); }
1051
1052 /// Insert MI into the instruction list before I, possibly inside a bundle.
1053 ///
1054 /// If the insertion point is inside a bundle, MI will be added to the bundle,
1055 /// otherwise MI will not be added to any bundle. That means this function
1056 /// alone can't be used to prepend or append instructions to bundles. See
1057 /// MIBundleBuilder::insert() for a more reliable way of doing that.
1058 LLVM_ABI instr_iterator insert(instr_iterator I, MachineInstr *M);
1059
1060 /// Insert a range of instructions into the instruction list before I.
1061 template<typename IT>
1062 void insert(iterator I, IT S, IT E) {
1063 assert((I == end() || I->getParent() == this) &&
1064 "iterator points outside of basic block");
1065 Insts.insert(I.getInstrIterator(), S, E);
1066 }
1067
1068 /// Insert MI into the instruction list before I.
1070 assert((I == end() || I->getParent() == this) &&
1071 "iterator points outside of basic block");
1072 assert(!MI->isBundledWithPred() && !MI->isBundledWithSucc() &&
1073 "Cannot insert instruction with bundle flags");
1074 return Insts.insert(I.getInstrIterator(), MI);
1075 }
1076
1077 /// Insert MI into the instruction list after I.
1079 assert((I == end() || I->getParent() == this) &&
1080 "iterator points outside of basic block");
1081 assert(!MI->isBundledWithPred() && !MI->isBundledWithSucc() &&
1082 "Cannot insert instruction with bundle flags");
1083 return Insts.insertAfter(I.getInstrIterator(), MI);
1084 }
1085
1086 /// If I is bundled then insert MI into the instruction list after the end of
1087 /// the bundle, otherwise insert MI immediately after I.
1089 assert((I == instr_end() || I->getParent() == this) &&
1090 "iterator points outside of basic block");
1091 assert(!MI->isBundledWithPred() && !MI->isBundledWithSucc() &&
1092 "Cannot insert instruction with bundle flags");
1093 while (I->isBundledWithSucc())
1094 ++I;
1095 return Insts.insertAfter(I, MI);
1096 }
1097
1098 /// Remove an instruction from the instruction list and delete it.
1099 ///
1100 /// If the instruction is part of a bundle, the other instructions in the
1101 /// bundle will still be bundled after removing the single instruction.
1102 LLVM_ABI instr_iterator erase(instr_iterator I);
1103
1104 /// Remove an instruction from the instruction list and delete it.
1105 ///
1106 /// If the instruction is part of a bundle, the other instructions in the
1107 /// bundle will still be bundled after removing the single instruction.
1111
1112 /// Remove a range of instructions from the instruction list and delete them.
1114 return Insts.erase(I.getInstrIterator(), E.getInstrIterator());
1115 }
1116
1117 /// Remove an instruction or bundle from the instruction list and delete it.
1118 ///
1119 /// If I points to a bundle of instructions, they are all erased.
1121 return erase(I, std::next(I));
1122 }
1123
1124 /// Remove an instruction from the instruction list and delete it.
1125 ///
1126 /// If I is the head of a bundle of instructions, the whole bundle will be
1127 /// erased.
1129 return erase(iterator(I));
1130 }
1131
1132 /// Remove the unbundled instruction from the instruction list without
1133 /// deleting it.
1134 ///
1135 /// This function can not be used to remove bundled instructions, use
1136 /// remove_instr to remove individual instructions from a bundle.
1138 assert(!I->isBundled() && "Cannot remove bundled instructions");
1139 return Insts.remove(instr_iterator(I));
1140 }
1141
1142 /// Remove the possibly bundled instruction from the instruction list
1143 /// without deleting it.
1144 ///
1145 /// If the instruction is part of a bundle, the other instructions in the
1146 /// bundle will still be bundled after removing the single instruction.
1148
1149 void clear() {
1150 Insts.clear();
1151 }
1152
1153 /// Take an instruction from MBB 'Other' at the position From, and insert it
1154 /// into this MBB right before 'Where'.
1155 ///
1156 /// If From points to a bundle of instructions, the whole bundle is moved.
1157 void splice(iterator Where, MachineBasicBlock *Other, iterator From) {
1158 // The range splice() doesn't allow noop moves, but this one does.
1159 if (Where != From)
1160 splice(Where, Other, From, std::next(From));
1161 }
1162
1163 /// Take a block of instructions from MBB 'Other' in the range [From, To),
1164 /// and insert them into this MBB right before 'Where'.
1165 ///
1166 /// The instruction at 'Where' must not be included in the range of
1167 /// instructions to move.
1168 void splice(iterator Where, MachineBasicBlock *Other,
1169 iterator From, iterator To) {
1170 Insts.splice(Where.getInstrIterator(), Other->Insts,
1171 From.getInstrIterator(), To.getInstrIterator());
1172 }
1173
1174 /// This method unlinks 'this' from the containing function, and returns it,
1175 /// but does not delete it.
1177
1178 /// This method unlinks 'this' from the containing function and deletes it.
1180
1181 /// Given a machine basic block that branched to 'Old', change the code and
1182 /// CFG so that it branches to 'New' instead.
1184 MachineBasicBlock *New);
1185
1186 /// Update all phi nodes in this basic block to refer to basic block \p New
1187 /// instead of basic block \p Old.
1189 MachineBasicBlock *New);
1190
1191 /// Find the next valid DebugLoc starting at MBBI, skipping any debug
1192 /// instructions. Return UnknownLoc if there is none.
1193 LLVM_ABI DebugLoc findDebugLoc(instr_iterator MBBI);
1195 return findDebugLoc(MBBI.getInstrIterator());
1196 }
1197
1198 /// Has exact same behavior as @ref findDebugLoc (it also searches towards the
1199 /// end of this MBB) except that this function takes a reverse iterator to
1200 /// identify the starting MI.
1203 return rfindDebugLoc(MBBI.getInstrIterator());
1204 }
1205
1206 /// Find the previous valid DebugLoc preceding MBBI, skipping any debug
1207 /// instructions. It is possible to find the last DebugLoc in the MBB using
1208 /// findPrevDebugLoc(instr_end()). Return UnknownLoc if there is none.
1209 LLVM_ABI DebugLoc findPrevDebugLoc(instr_iterator MBBI);
1211 return findPrevDebugLoc(MBBI.getInstrIterator());
1212 }
1213
1214 /// Has exact same behavior as @ref findPrevDebugLoc (it also searches towards
1215 /// the beginning of this MBB) except that this function takes reverse
1216 /// iterator to identify the starting MI. A minor difference compared to
1217 /// findPrevDebugLoc is that we can't start scanning at "instr_end".
1220 return rfindPrevDebugLoc(MBBI.getInstrIterator());
1221 }
1222
1223 /// Find and return the merged DebugLoc of the branch instructions of the
1224 /// block. Return UnknownLoc if there is none.
1226
1227 /// Possible outcome of a register liveness query to computeRegisterLiveness()
1229 LQR_Live, ///< Register is known to be (at least partially) live.
1230 LQR_Dead, ///< Register is known to be fully dead.
1231 LQR_Unknown ///< Register liveness not decidable from local neighborhood.
1232 };
1233
1234 /// Return whether (physical) register \p Reg has been defined and not
1235 /// killed as of just before \p Before.
1236 ///
1237 /// Search is localised to a neighborhood of \p Neighborhood instructions
1238 /// before (searching for defs or kills) and \p Neighborhood instructions
1239 /// after (searching just for defs) \p Before.
1240 ///
1241 /// \p Reg must be a physical register.
1244 unsigned Neighborhood = 10) const;
1245
1246 // Debugging methods.
1247 LLVM_ABI void dump() const;
1248 LLVM_ABI void print(raw_ostream &OS, const SlotIndexes * = nullptr,
1249 bool IsStandalone = true) const;
1251 const SlotIndexes * = nullptr,
1252 bool IsStandalone = true) const;
1253
1255 PrintNameIr = (1 << 0), ///< Add IR name where available
1256 PrintNameAttributes = (1 << 1), ///< Print attributes
1257 };
1258
1260 unsigned printNameFlags = PrintNameIr,
1261 ModuleSlotTracker *moduleSlotTracker = nullptr) const;
1262
1263 // Printing method used by LoopInfo.
1264 LLVM_ABI void printAsOperand(raw_ostream &OS, bool PrintType = true) const;
1265
1266 /// MachineBasicBlocks are uniquely numbered at the function level, unless
1267 /// they're not in a MachineFunction yet, in which case this will return -1.
1268 int getNumber() const { return Number; }
1269 void setNumber(int N) { Number = N; }
1270
1271 /// For analyses, blocks have a more stable number.
1272 int getAnalysisNumber() const { return AnalysisNumber; }
1273 void setAnalysisNumber(int N) { AnalysisNumber = N; }
1274
1275 /// Return the call frame size on entry to this basic block.
1276 unsigned getCallFrameSize() const { return CallFrameSize; }
1277 /// Set the call frame size on entry to this basic block.
1278 void setCallFrameSize(unsigned N) { CallFrameSize = N; }
1279
1280 /// Return the MCSymbol for this basic block.
1281 LLVM_ABI MCSymbol *getSymbol() const;
1282
1283 /// Return the Windows EH Continuation Symbol for this basic block.
1285
1286 std::optional<uint64_t> getIrrLoopHeaderWeight() const {
1287 return IrrLoopHeaderWeight;
1288 }
1289
1291 IrrLoopHeaderWeight = Weight;
1292 }
1293
1294 /// Return probability of the edge from this block to MBB. This method should
1295 /// NOT be called directly, but by using getEdgeProbability method from
1296 /// MachineBranchProbabilityInfo class.
1298
1299 // Helper function for MIRPrinter.
1301
1302 /// Iterate over block PHI instructions and remove all incoming values for
1303 /// PredMBB.
1304 ///
1305 /// Method does not erase PHI instructions even if they have single income or
1306 /// do not have incoming values ar all. It is a caller responsibility to make
1307 /// decision how to process PHI instructions after incoming values removal.
1308 LLVM_ABI void
1310
1311private:
1312 /// Return probability iterator corresponding to the I successor iterator.
1313 probability_iterator getProbabilityIterator(succ_iterator I);
1314 const_probability_iterator
1315 getProbabilityIterator(const_succ_iterator I) const;
1316
1318
1319 // Methods used to maintain doubly linked list of blocks...
1320 friend struct ilist_callback_traits<MachineBasicBlock>;
1321
1322 // Machine-CFG mutators
1323
1324 /// Add Pred as a predecessor of this MachineBasicBlock. Don't do this
1325 /// unless you know what you're doing, because it doesn't update Pred's
1326 /// successors list. Use Pred->addSuccessor instead.
1327 void addPredecessor(MachineBasicBlock *Pred);
1328
1329 /// Remove Pred as a predecessor of this MachineBasicBlock. Don't do this
1330 /// unless you know what you're doing, because it doesn't update Pred's
1331 /// successors list. Use Pred->removeSuccessor instead.
1332 void removePredecessor(MachineBasicBlock *Pred);
1333};
1334
1336
1337/// Prints a machine basic block reference.
1338///
1339/// The format is:
1340/// %bb.5 - a machine basic block with MBB.getNumber() == 5.
1341///
1342/// Usage: OS << printMBBReference(MBB) << '\n';
1344
1345// This is useful when building IndexedMaps keyed on basic block pointers.
1348 unsigned operator()(const MachineBasicBlock *MBB) const {
1349 return MBB->getNumber();
1350 }
1351};
1352
1353//===--------------------------------------------------------------------===//
1354// GraphTraits specializations for machine basic block graphs (machine-CFGs)
1355//===--------------------------------------------------------------------===//
1356
1357// Provide specializations of GraphTraits to be able to treat a
1358// MachineFunction as a graph of MachineBasicBlocks.
1359//
1360
1361template <> struct GraphTraits<MachineBasicBlock *> {
1364
1365 static NodeRef getEntryNode(MachineBasicBlock *BB) { return BB; }
1366 static ChildIteratorType child_begin(NodeRef N) { return N->succ_begin(); }
1367 static ChildIteratorType child_end(NodeRef N) { return N->succ_end(); }
1368
1369 static unsigned getNumber(MachineBasicBlock *BB) {
1370 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1371 return BB->getAnalysisNumber();
1372 }
1373};
1374
1376 "GraphTraits getNumber() not detected");
1377
1378template <> struct GraphTraits<const MachineBasicBlock *> {
1381
1382 static NodeRef getEntryNode(const MachineBasicBlock *BB) { return BB; }
1383 static ChildIteratorType child_begin(NodeRef N) { return N->succ_begin(); }
1384 static ChildIteratorType child_end(NodeRef N) { return N->succ_end(); }
1385
1386 static unsigned getNumber(const MachineBasicBlock *BB) {
1387 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1388 return BB->getAnalysisNumber();
1389 }
1390};
1391
1393 "GraphTraits getNumber() not detected");
1394
1395// Provide specializations of GraphTraits to be able to treat a
1396// MachineFunction as a graph of MachineBasicBlocks and to walk it
1397// in inverse order. Inverse order for a function is considered
1398// to be when traversing the predecessor edges of a MBB
1399// instead of the successor edges.
1400//
1404
1406 return G.Graph;
1407 }
1408
1409 static ChildIteratorType child_begin(NodeRef N) { return N->pred_begin(); }
1410 static ChildIteratorType child_end(NodeRef N) { return N->pred_end(); }
1411
1412 static unsigned getNumber(MachineBasicBlock *BB) {
1413 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1414 return BB->getAnalysisNumber();
1415 }
1416};
1417
1419 "GraphTraits getNumber() not detected");
1420
1424
1426 return G.Graph;
1427 }
1428
1429 static ChildIteratorType child_begin(NodeRef N) { return N->pred_begin(); }
1430 static ChildIteratorType child_end(NodeRef N) { return N->pred_end(); }
1431
1432 static unsigned getNumber(const MachineBasicBlock *BB) {
1433 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1434 return BB->getAnalysisNumber();
1435 }
1436};
1437
1439 "GraphTraits getNumber() not detected");
1440
1441// These accessors are handy for sharing templated code between IR and MIR.
1442inline auto successors(const MachineBasicBlock *BB) { return BB->successors(); }
1443inline auto predecessors(const MachineBasicBlock *BB) {
1444 return BB->predecessors();
1445}
1446inline auto succ_size(const MachineBasicBlock *BB) { return BB->succ_size(); }
1447inline auto pred_size(const MachineBasicBlock *BB) { return BB->pred_size(); }
1448inline auto succ_begin(const MachineBasicBlock *BB) { return BB->succ_begin(); }
1449inline auto pred_begin(const MachineBasicBlock *BB) { return BB->pred_begin(); }
1450inline auto succ_end(const MachineBasicBlock *BB) { return BB->succ_end(); }
1451inline auto pred_end(const MachineBasicBlock *BB) { return BB->pred_end(); }
1452
1453/// MachineInstrSpan provides an interface to get an iteration range
1454/// containing the instruction it was initialized with, along with all
1455/// those instructions inserted prior to or following that instruction
1456/// at some point after the MachineInstrSpan is constructed.
1458 MachineBasicBlock &MBB;
1460
1461public:
1463 : MBB(*BB), I(I), B(I == MBB.begin() ? MBB.end() : std::prev(I)),
1464 E(std::next(I)) {
1465 assert(I == BB->end() || I->getParent() == BB);
1466 }
1467
1469 return B == MBB.end() ? MBB.begin() : std::next(B);
1470 }
1472 bool empty() { return begin() == end(); }
1473
1475};
1476
1477/// Increment \p It until it points to a non-debug instruction or to \p End
1478/// and return the resulting iterator. This function should only be used
1479/// MachineBasicBlock::{iterator, const_iterator, instr_iterator,
1480/// const_instr_iterator} and the respective reverse iterators.
1481template <typename IterT>
1482inline IterT skipDebugInstructionsForward(IterT It, IterT End,
1483 bool SkipPseudoOp = true) {
1484 while (It != End &&
1485 (It->isDebugInstr() || (SkipPseudoOp && It->isPseudoProbe())))
1486 ++It;
1487 return It;
1488}
1489
1490/// Decrement \p It until it points to a non-debug instruction or to \p Begin
1491/// and return the resulting iterator. This function should only be used
1492/// MachineBasicBlock::{iterator, const_iterator, instr_iterator,
1493/// const_instr_iterator} and the respective reverse iterators.
1494template <class IterT>
1495inline IterT skipDebugInstructionsBackward(IterT It, IterT Begin,
1496 bool SkipPseudoOp = true) {
1497 while (It != Begin &&
1498 (It->isDebugInstr() || (SkipPseudoOp && It->isPseudoProbe())))
1499 --It;
1500 return It;
1501}
1502
1503/// Increment \p It, then continue incrementing it while it points to a debug
1504/// instruction. A replacement for std::next.
1505template <typename IterT>
1506inline IterT next_nodbg(IterT It, IterT End, bool SkipPseudoOp = true) {
1507 return skipDebugInstructionsForward(std::next(It), End, SkipPseudoOp);
1508}
1509
1510/// Decrement \p It, then continue decrementing it while it points to a debug
1511/// instruction. A replacement for std::prev.
1512template <typename IterT>
1513inline IterT prev_nodbg(IterT It, IterT Begin, bool SkipPseudoOp = true) {
1514 return skipDebugInstructionsBackward(std::prev(It), Begin, SkipPseudoOp);
1515}
1516
1517/// Construct a range iterator which begins at \p It and moves forwards until
1518/// \p End is reached, skipping any debug instructions.
1519template <typename IterT>
1520inline auto instructionsWithoutDebug(IterT It, IterT End,
1521 bool SkipPseudoOp = true) {
1522 return make_filter_range(make_range(It, End), [=](const MachineInstr &MI) {
1523 return !MI.isDebugInstr() && !(SkipPseudoOp && MI.isPseudoProbe());
1524 });
1525}
1526
1527} // end namespace llvm
1528
1529#endif // LLVM_CODEGEN_MACHINEBASICBLOCK_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
aarch64 promote const
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator MBBI
static cl::opt< ITMode > IT(cl::desc("IT block support"), cl::Hidden, cl::init(DefaultIT), cl::values(clEnumValN(DefaultIT, "arm-default-it", "Generate any type of IT block"), clEnumValN(RestrictedIT, "arm-restrict-it", "Disallow complex IT blocks")))
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_ABI
Definition Compiler.h:213
This file defines DenseMapInfo traits for DenseMap.
This file defines the little GraphTraits<X> template class that should be specialized by classes that...
IRTranslator LLVM IR MI
A common definition of LaneBitmask for use in TableGen and CodeGen.
#define I(x, y, z)
Definition MD5.cpp:57
#define G(x, y, z)
Definition MD5.cpp:55
Register Reg
Register const TargetRegisterInfo * TRI
Promote Memory to Register
Definition Mem2Reg.cpp:110
#define T
#define P(N)
This file defines the SparseBitVector class.
Value * RHS
Value * LHS
LLVM Basic Block Representation.
Definition BasicBlock.h:62
static BranchProbability getUnknown()
static void normalizeProbabilities(ProbabilityIter Begin, ProbabilityIter End)
A debug info location.
Definition DebugLoc.h:124
Wrapper class representing physical registers. Should be passed by value.
Definition MCRegister.h:41
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
liveout_iterator(const MachineBasicBlock &MBB, MCRegister ExceptionPointer, MCRegister ExceptionSelector, bool End)
bool operator==(const liveout_iterator &RHS) const
bool operator!=(const liveout_iterator &RHS) const
const MachineInstr & instr_front() const
bool isInlineAsmBrIndirectTarget() const
Returns true if this is the indirect dest of an INLINEASM_BR.
LLVM_ABI DebugLoc rfindPrevDebugLoc(reverse_instr_iterator MBBI)
Has exact same behavior as findPrevDebugLoc (it also searches towards the beginning of this MBB) exce...
Instructions::const_reverse_iterator const_reverse_instr_iterator
LLVM_ABI void transferSuccessorsAndUpdatePHIs(MachineBasicBlock *FromMBB)
Transfers all the successors, as in transferSuccessors, and update PHI operands in the successor bloc...
LLVM_ABI bool hasEHPadSuccessor() const
void setBBID(const UniqueBBID &V)
Sets the fixed BBID of this basic block.
iterator erase(MachineInstr *I)
Remove an instruction from the instruction list and delete it.
void normalizeSuccProbs()
Normalize probabilities of all successors so that the sum of them becomes one.
void setAddressTakenIRBlock(BasicBlock *BB)
Set this block to reflect that it corresponds to an IR-level basic block with a BlockAddress.
livein_iterator livein_end() const
LLVM_ABI iterator getFirstTerminatorForward()
Finds the first terminator in a block by scanning forward.
bool isEHPad() const
Returns true if the block is a landing pad.
iterator_range< liveout_iterator > liveouts() const
const MachineInstr & back() const
LLVM_ABI void replacePhiUsesWith(MachineBasicBlock *Old, MachineBasicBlock *New)
Update all phi nodes in this basic block to refer to basic block New instead of basic block Old.
LLVM_ABI MachineInstr * remove_instr(MachineInstr *I)
Remove the possibly bundled instruction from the instruction list without deleting it.
void setIsEndSection(bool V=true)
MachineInstrBundleIterator< const MachineInstr > const_iterator
void setIrrLoopHeaderWeight(uint64_t Weight)
MachineBasicBlock * getLogicalFallThrough()
Return the fallthrough block if the block can implicitly transfer control to it's successor,...
LLVM_ABI MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
void setIsCleanupFuncletEntry(bool V=true)
Indicates if this is the entry block of a cleanup funclet.
DebugLoc rfindPrevDebugLoc(reverse_iterator MBBI)
const_pred_iterator pred_end() const
LLVM_ABI void moveBefore(MachineBasicBlock *NewAfter)
Move 'this' block before or after the specified block.
void setLabelMustBeEmitted()
Set this block to reflect that, regardless how we flow to it, we need its label be emitted.
LLVM_ABI void replaceSuccessor(MachineBasicBlock *Old, MachineBasicBlock *New)
Replace successor OLD with NEW and update probability info.
SmallVectorImpl< MachineBasicBlock * >::reverse_iterator succ_reverse_iterator
const_pred_reverse_iterator pred_rend() const
LLVM_ABI MachineBasicBlock * getFallThrough(bool JumpToFallThrough=true)
Return the fallthrough block if the block can implicitly transfer control to the block after it by fa...
LLVM_ABI void transferSuccessors(MachineBasicBlock *FromMBB)
Transfers all the successors from MBB to this machine basic block (i.e., copies all the successors Fr...
MachineBasicBlock * SplitCriticalEdge(MachineBasicBlock *Succ, Pass &P, std::vector< SparseBitVector<> > *LiveInSets=nullptr, MachineDomTreeUpdater *MDTU=nullptr)
bool hasLabelMustBeEmitted() const
Test whether this block must have its label emitted.
const_iterator getFirstNonDebugInstr(bool SkipPseudoOp=true) const
LLVM_ABI instr_iterator insert(instr_iterator I, MachineInstr *M)
Insert MI into the instruction list before I, possibly inside a bundle.
LLVM_ABI BranchProbability getSuccProbability(const_succ_iterator Succ) const
Return probability of the edge from this block to MBB.
const_reverse_instr_iterator instr_rend() const
iterator_range< livein_iterator > liveins() const
void setAlignment(Align A, unsigned MaxBytes)
iterator_range< iterator > phis()
Returns a range that iterates over the phis in the basic block.
reverse_instr_iterator instr_rbegin()
instr_iterator erase_instr(MachineInstr *I)
Remove an instruction from the instruction list and delete it.
int getNumber() const
MachineBasicBlocks are uniquely numbered at the function level, unless they're not in a MachineFuncti...
void push_back(MachineInstr *MI)
LLVM_ABI iterator SkipPHIsAndLabels(iterator I)
Return the first instruction in MBB after I that is not a PHI or a label.
pred_reverse_iterator pred_rbegin()
LLVM_ABI void addSuccessorWithoutProb(MachineBasicBlock *Succ)
Add Succ as a successor of this MachineBasicBlock.
SmallVectorImpl< MachineBasicBlock * >::const_iterator const_succ_iterator
SmallVectorImpl< MachineBasicBlock * >::const_reverse_iterator const_pred_reverse_iterator
LLVM_ABI bool hasName() const
Check if there is a name of corresponding LLVM basic block.
MachineBasicBlock * getSinglePredecessor()
void setCallFrameSize(unsigned N)
Set the call frame size on entry to this basic block.
std::optional< UniqueBBID > getBBID() const
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
LLVM_ABI MCSymbol * getEHContSymbol() const
Return the Windows EH Continuation Symbol for this basic block.
LLVM_ABI void splitSuccessor(MachineBasicBlock *Old, MachineBasicBlock *New, bool NormalizeSuccProbs=false)
Split the old successor into old plus new and updates the probability info.
liveout_iterator liveout_end() const
const_instr_iterator instr_begin() const
const_succ_iterator succ_begin() const
const_succ_reverse_iterator succ_rbegin() const
pred_reverse_iterator pred_rend()
int getAnalysisNumber() const
For analyses, blocks have a more stable number.
@ PrintNameIr
Add IR name where available.
@ PrintNameAttributes
Print attributes.
LLVM_ABI void updateTerminator(MachineBasicBlock *PreviousLayoutSuccessor)
Update the terminator instructions in block to account for changes to block layout which may have bee...
LLVM_ABI const MachineBasicBlock * getSinglePredecessor() const
Return the predecessor of this block if it has a single predecessor.
LLVM_ABI iterator SkipPHIsLabelsAndDebug(iterator I, Register Reg=Register(), bool SkipPseudoOp=true)
Return the first instruction in MBB after I that is not a PHI, label or debug.
LLVM_ABI bool canFallThrough()
Return true if the block can implicitly transfer control to the block after it by falling off the end...
LLVM_ABI void setSuccProbability(succ_iterator I, BranchProbability Prob)
Set successor probability of a given iterator.
LLVM_ABI iterator getFirstNonDebugInstr(bool SkipPseudoOp=true)
Returns an iterator to the first non-debug instruction in the basic block, or end().
DebugLoc rfindDebugLoc(reverse_iterator MBBI)
bool terminatorIsComputedGotoWithSuccessors() const
Returns true if the original IR terminator is an indirectbr with successor blocks.
LLVM_ABI void removeLiveIn(MCRegister Reg, LaneBitmask LaneMask=LaneBitmask::getAll())
Remove the specified register from the live in set.
iterator erase(iterator I, iterator E)
Remove a range of instructions from the instruction list and delete them.
const MachineInstr & front() const
LLVM_ABI void printAsOperand(raw_ostream &OS, bool PrintType=true) const
MachineInstr * remove(MachineInstr *I)
Remove the unbundled instruction from the instruction list without deleting it.
const_instr_range instrs() const
const_reverse_iterator rbegin() const
void clearBasicBlock()
Remove the reference to the underlying IR BasicBlock.
unsigned getMaxBytesForAlignment() const
Return the maximum amount of padding allowed for aligning the basic block.
void setMaxBytesForAlignment(unsigned MaxBytes)
Set the maximum amount of padding allowed for aligning the basic block.
LLVM_ABI void validateSuccProbs() const
Validate successors' probabilities and check if the sum of them is approximate one.
iterator_range< const_pred_iterator > predecessors() const
const MachineInstr & instr_back() const
bool isIRBlockAddressTaken() const
Test whether this block is the target of an IR BlockAddress.
LiveInVector::const_iterator livein_iterator
LLVM_ABI MCSymbol * getEndSymbol() const
Returns the MCSymbol marking the end of this basic block.
void splice(iterator Where, MachineBasicBlock *Other, iterator From, iterator To)
Take a block of instructions from MBB 'Other' in the range [From, To), and insert them into this MBB ...
LLVM_ABI void clearLiveIns()
Clear live in list.
bool isEHFuncletEntry() const
Returns true if this is the entry block of an EH funclet.
const_iterator getLastNonDebugInstr(bool SkipPseudoOp=true) const
LLVM_ABI LivenessQueryResult computeRegisterLiveness(const TargetRegisterInfo *TRI, MCRegister Reg, const_iterator Before, unsigned Neighborhood=10) const
Return whether (physical) register Reg has been defined and not killed as of just before Before.
LLVM_ABI iterator getFirstTerminator()
Returns an iterator to the first terminator instruction of this basic block.
bool sameSection(const MachineBasicBlock *MBB) const
Returns true if this and MBB belong to the same section.
const std::vector< RegisterMaskPair > & getLiveIns() const
iterator insert(iterator I, MachineInstr *MI)
Insert MI into the instruction list before I.
LLVM_ABI livein_iterator livein_begin() const
bool isReturnBlock() const
Convenience function that returns true if the block ends in a return instruction.
iterator_range< livein_iterator > liveins_dbg() const
LLVM_ABI const uint32_t * getBeginClobberMask(const TargetRegisterInfo *TRI) const
Get the clobber mask for the start of this basic block.
LLVM_ABI void removePHIsIncomingValuesForPredecessor(const MachineBasicBlock &PredMBB)
Iterate over block PHI instructions and remove all incoming values for PredMBB.
bool hasAddressTaken() const
Test whether this block is used as something other than the target of a terminator,...
MBBSectionID getSectionID() const
Returns the section ID of this basic block.
void setAlignment(Align A)
Set alignment of the basic block.
LLVM_ABI void dump() const
bool isEHScopeEntry() const
Returns true if this is the entry block of an EH scope, i.e., the block that used to have a catchpad ...
LLVM_ABI bool isEntryBlock() const
Returns true if this is the entry block of the function.
iterator_range< const_instr_iterator > const_instr_range
LLVM_ABI void addSuccessor(MachineBasicBlock *Succ, BranchProbability Prob=BranchProbability::getUnknown())
Add Succ as a successor of this MachineBasicBlock.
SmallVectorImpl< MachineBasicBlock * >::const_reverse_iterator const_succ_reverse_iterator
LLVM_ABI void copySuccessor(const MachineBasicBlock *Orig, succ_iterator I)
Copy a successor (and any probability info) from original block to this block's.
SmallVectorImpl< MachineBasicBlock * >::iterator succ_iterator
const_pred_reverse_iterator pred_rbegin() const
void addLiveIn(const RegisterMaskPair &RegMaskPair)
MachineBasicBlock * SplitCriticalEdge(MachineBasicBlock *Succ, MachineFunctionAnalysisManager &MFAM, std::vector< SparseBitVector<> > *LiveInSets=nullptr, MachineDomTreeUpdater *MDTU=nullptr)
MachineBasicBlock * getSingleSuccessor()
BasicBlock * getAddressTakenIRBlock() const
Retrieves the BasicBlock which corresponds to this MachineBasicBlock.
const_iterator getFirstNonPHI() const
LLVM_ABI void sortUniqueLiveIns()
Sorts and uniques the LiveIns vector.
LLVM_ABI const MachineBasicBlock * getSingleSuccessor() const
Return the successor of this block if it has a single successor.
iterator_range< const_iterator > phis() const
const_instr_iterator instr_end() const
LLVM_ABI liveout_iterator liveout_begin() const
Iterator scanning successor basic blocks' liveins to determine the registers potentially live at the ...
DebugLoc findDebugLoc(iterator MBBI)
SmallVectorImpl< MachineBasicBlock * >::iterator pred_iterator
LLVM_ABI void removeSuccessor(MachineBasicBlock *Succ, bool NormalizeSuccProbs=false)
Remove successor from the successors list of this MachineBasicBlock.
const_succ_iterator succ_end() const
LLVM_ABI iterator getFirstNonPHI()
Returns a pointer to the first instruction in this block that is not a PHINode instruction.
const_iterator begin() const
LLVM_ABI bool isPredecessor(const MachineBasicBlock *MBB) const
Return true if the specified MBB is a predecessor of this block.
bool hasSuccessorProbabilities() const
Return true if any of the successors have probabilities attached to them.
void setSectionID(MBBSectionID V)
Sets the section ID for this basic block.
iterator_range< const_iterator > terminators() const
livein_iterator livein_begin_dbg() const
Unlike livein_begin, this method does not check that the liveness information is accurate.
LLVM_ABI DebugLoc rfindDebugLoc(reverse_instr_iterator MBBI)
Has exact same behavior as findDebugLoc (it also searches towards the end of this MBB) except that th...
const_pred_iterator pred_begin() const
LLVM_ABI void print(raw_ostream &OS, const SlotIndexes *=nullptr, bool IsStandalone=true) const
reverse_instr_iterator instr_rend()
const_reverse_iterator rend() const
LLVM_ABI DebugLoc findDebugLoc(instr_iterator MBBI)
Find the next valid DebugLoc starting at MBBI, skipping any debug instructions.
Instructions::iterator instr_iterator
LLVM_ABI iterator getLastNonDebugInstr(bool SkipPseudoOp=true)
Returns an iterator to the last non-debug instruction in the basic block, or end().
LLVM_ABI void ReplaceUsesOfBlockWith(MachineBasicBlock *Old, MachineBasicBlock *New)
Given a machine basic block that branched to 'Old', change the code and CFG so that it branches to 'N...
MachineInstrBundleIterator< MachineInstr, true > reverse_iterator
succ_reverse_iterator succ_rbegin()
LLVM_ABI bool isLayoutSuccessor(const MachineBasicBlock *MBB) const
Return true if the specified MBB will be emitted immediately after this block, such that if this bloc...
static Instructions MachineBasicBlock::* getSublistAccess(MachineInstr *)
Support for MachineInstr::getNextNode().
LLVM_ABI DebugLoc findPrevDebugLoc(instr_iterator MBBI)
Find the previous valid DebugLoc preceding MBBI, skipping any debug instructions.
LLVM_ABI MachineBasicBlock * splitAt(MachineInstr &SplitInst, bool UpdateLiveIns=true, LiveIntervals *LIS=nullptr)
Split a basic block into 2 pieces at SplitPoint.
MachineFunction * getParent()
LLVM_ABI bool canSplitCriticalEdge(const MachineBasicBlock *Succ, const MachineLoopInfo *MLI=nullptr) const
Check if the edge between this block and the given successor Succ, can be split.
LLVM_ABI void eraseFromParent()
This method unlinks 'this' from the containing function and deletes it.
LLVM_ABI void removeLiveInOverlappedWith(MCRegister Reg)
Remove the specified register from any overlapped live in.
void setIsInlineAsmBrIndirectTarget(bool V=true)
Indicates if this is the indirect dest of an INLINEASM_BR.
Instructions::const_iterator const_instr_iterator
iterator_range< const_succ_iterator > successors() const
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
const_iterator getFirstTerminator() const
const_succ_reverse_iterator succ_rend() const
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
void setIsEHContTarget(bool V=true)
Indicates if this is a target of Windows EH Continuation Guard.
LLVM_ABI instr_iterator erase(instr_iterator I)
Remove an instruction from the instruction list and delete it.
LLVM_ABI std::string getFullName() const
Return a formatted string to identify this block and its parent function.
bool isBeginSection() const
Returns true if this block begins any section.
DebugLoc findPrevDebugLoc(iterator MBBI)
iterator_range< iterator > terminators()
bool isEHContTarget() const
Returns true if this is a target of Windows EH Continuation Guard.
unsigned getCallFrameSize() const
Return the call frame size on entry to this basic block.
void setIsEHFuncletEntry(bool V=true)
Indicates if this is the entry block of an EH funclet.
friend class MachineBranchProbabilityInfo
LLVM_ABI DebugLoc findBranchDebugLoc()
Find and return the merged DebugLoc of the branch instructions of the block.
iterator_range< succ_iterator > successors()
LLVM_ABI instr_iterator getFirstInstrTerminator()
Same getFirstTerminator but it ignores bundles and return an instr_iterator instead.
reverse_iterator rbegin()
bool isMachineBlockAddressTaken() const
Test whether this block is used as something other than the target of a terminator,...
LLVM_ABI void printName(raw_ostream &os, unsigned printNameFlags=PrintNameIr, ModuleSlotTracker *moduleSlotTracker=nullptr) const
Print the basic block's name as:
iterator insertAfter(iterator I, MachineInstr *MI)
Insert MI into the instruction list after I.
SmallVectorImpl< MachineBasicBlock * >::reverse_iterator pred_reverse_iterator
LLVM_ABI bool isSuccessor(const MachineBasicBlock *MBB) const
Return true if the specified MBB is a successor of this block.
iterator_range< pred_iterator > predecessors()
void splice(iterator Where, MachineBasicBlock *Other, iterator From)
Take an instruction from MBB 'Other' at the position From, and insert it into this MBB right before '...
bool isEHScopeReturnBlock() const
Convenience function that returns true if the bock ends in a EH scope return instruction.
bool isEndSection() const
Returns true if this block ends any section.
Align getAlignment() const
Return alignment of the basic block.
MachineInstrBundleIterator< MachineInstr > iterator
LLVM_ABI bool isLegalToHoistInto() const
Returns true if it is legal to hoist instructions into this block.
LLVM_ABI bool canPredictBranchProbabilities() const
const_reverse_instr_iterator instr_rbegin() const
iterator erase(iterator I)
Remove an instruction or bundle from the instruction list and delete it.
instr_iterator insertAfterBundle(instr_iterator I, MachineInstr *MI)
If I is bundled then insert MI into the instruction list after the end of the bundle,...
const_iterator end() const
LLVM_ABI StringRef getName() const
Return the name of the corresponding LLVM basic block, or an empty string.
LLVM_ABI bool mayHaveInlineAsmBr() const
Returns true if this block may have an INLINEASM_BR (overestimate, by checking if any of the successo...
LivenessQueryResult
Possible outcome of a register liveness query to computeRegisterLiveness()
@ LQR_Dead
Register is known to be fully dead.
@ LQR_Live
Register is known to be (at least partially) live.
@ LQR_Unknown
Register liveness not decidable from local neighborhood.
MachineInstrBundleIterator< const MachineInstr, true > const_reverse_iterator
SmallVectorImpl< MachineBasicBlock * >::const_iterator const_pred_iterator
void setIsEHScopeEntry(bool V=true)
Indicates if this is the entry block of an EH scope, i.e., the block that that used to have a catchpa...
LLVM_ABI void moveAfter(MachineBasicBlock *NewBefore)
succ_reverse_iterator succ_rend()
void setMachineBlockAddressTaken()
Set this block to indicate that its address is used as something other than the target of a terminato...
std::optional< uint64_t > getIrrLoopHeaderWeight() const
LLVM_ABI const uint32_t * getEndClobberMask(const TargetRegisterInfo *TRI) const
Get the clobber mask for the end of the basic block.
void setIsBeginSection(bool V=true)
LLVM_ABI bool sizeWithoutDebugLargerThan(unsigned Limit) const
iterator_range< instr_iterator > instr_range
LLVM_ABI bool isLiveIn(MCRegister Reg, LaneBitmask LaneMask=LaneBitmask::getAll()) const
Return true if the specified register is in the live in set.
LLVM_ABI MachineBasicBlock * removeFromParent()
This method unlinks 'this' from the containing function, and returns it, but does not delete it.
void insert(iterator I, IT S, IT E)
Insert a range of instructions into the instruction list before I.
void setIsEHPad(bool V=true)
Indicates the block is a landing pad.
Instructions::reverse_iterator reverse_instr_iterator
bool isCleanupFuncletEntry() const
Returns true if this is the entry block of a cleanup funclet.
MachineBasicBlock iterator that automatically skips over MIs that are inside bundles (i....
static MachineInstrBundleIterator getAtBundleBegin(instr_iterator MI)
MachineBasicBlock::iterator getInitial()
MachineInstrSpan(MachineBasicBlock::iterator I, MachineBasicBlock *BB)
MachineBasicBlock::iterator begin()
MachineBasicBlock::iterator end()
Representation of each machine instruction.
bool isReturn(QueryType Type=AnyInBundle) const
bool isEHScopeReturn(QueryType Type=AnyInBundle) const
Return true if this is an instruction that marks the end of an EH scope, i.e., a catchpad or a cleanu...
bool isIndirectBranch(QueryType Type=AnyInBundle) const
Return true if this is an indirect branch, such as a branch through a register.
Manage lifetime of a slot tracker for printing IR.
Pass interface - Implemented by all 'passes'.
Definition Pass.h:99
Simple wrapper around std::function<void(raw_ostream&)>.
Definition Printable.h:38
Wrapper class representing virtual and physical registers.
Definition Register.h:20
SlotIndexes pass.
typename SuperClass::const_iterator const_iterator
typename SuperClass::iterator iterator
std::reverse_iterator< const_iterator > const_reverse_iterator
std::reverse_iterator< iterator > reverse_iterator
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
typename base_list_type::const_reverse_iterator const_reverse_iterator
Definition ilist.h:124
typename base_list_type::reverse_iterator reverse_iterator
Definition ilist.h:123
typename base_list_type::const_iterator const_iterator
Definition ilist.h:122
A range adaptor for a pair of iterators.
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
A simple intrusive list implementation.
This file defines classes to implement an intrusive doubly linked list class (i.e.
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
unsigned combineHashValue(unsigned a, unsigned b)
Simplistic combination of 32-bit hash values into 32-bit hash values.
This is an optimization pass for GlobalISel generic memory operations.
IterT next_nodbg(IterT It, IterT End, bool SkipPseudoOp=true)
Increment It, then continue incrementing it while it points to a debug instruction.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1738
auto pred_end(const MachineBasicBlock *BB)
auto successors(const MachineBasicBlock *BB)
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
constexpr bool GraphHasNodeNumbers
Indicate whether a GraphTraits<NodeT>::getNumber() is supported.
auto pred_size(const MachineBasicBlock *BB)
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
IterT skipDebugInstructionsForward(IterT It, IterT End, bool SkipPseudoOp=true)
Increment It until it points to a non-debug instruction or to End and return the resulting iterator.
iplist< T, Options... > ilist
Definition ilist.h:344
auto succ_size(const MachineBasicBlock *BB)
iterator_range< filter_iterator< detail::IterOfRange< RangeT >, PredicateT > > make_filter_range(RangeT &&Range, PredicateT Pred)
Convenience function that takes a range of elements and a predicate, and return a new filter_iterator...
Definition STLExtras.h:551
auto instructionsWithoutDebug(IterT It, IterT End, bool SkipPseudoOp=true)
Construct a range iterator which begins at It and moves forwards until End is reached,...
IterT skipDebugInstructionsBackward(IterT It, IterT Begin, bool SkipPseudoOp=true)
Decrement It until it points to a non-debug instruction or to Begin and return the resulting iterator...
RNSuccIterator< NodeRef, BlockT, RegionT > succ_begin(NodeRef Node)
@ Other
Any other memory.
Definition ModRef.h:68
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
Definition ModRef.h:74
RNSuccIterator< NodeRef, BlockT, RegionT > succ_end(NodeRef Node)
Instruction::succ_iterator succ_iterator
Definition CFG.h:126
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
auto pred_begin(const MachineBasicBlock *BB)
auto predecessors(const MachineBasicBlock *BB)
Instruction::const_succ_iterator const_succ_iterator
Definition CFG.h:127
IterT prev_nodbg(IterT It, IterT Begin, bool SkipPseudoOp=true)
Decrement It, then continue decrementing it while it points to a debug instruction.
LLVM_ABI Printable printMBBReference(const MachineBasicBlock &MBB)
Prints a machine basic block reference.
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:860
#define N
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
DenseMapInfo< unsigned > NumberInfo
static unsigned getHashValue(const MBBSectionID &SecID)
DenseMapInfo< MBBSectionID::SectionType > TypeInfo
static bool isEqual(const MBBSectionID &LHS, const MBBSectionID &RHS)
An information struct used to provide DenseMap with the various necessary components for a given valu...
static NodeRef getEntryNode(Inverse< MachineBasicBlock * > G)
static unsigned getNumber(MachineBasicBlock *BB)
static unsigned getNumber(const MachineBasicBlock *BB)
static NodeRef getEntryNode(Inverse< const MachineBasicBlock * > G)
MachineBasicBlock::const_pred_iterator ChildIteratorType
static unsigned getNumber(MachineBasicBlock *BB)
MachineBasicBlock::succ_iterator ChildIteratorType
static NodeRef getEntryNode(MachineBasicBlock *BB)
static ChildIteratorType child_end(NodeRef N)
static ChildIteratorType child_begin(NodeRef N)
MachineBasicBlock::const_succ_iterator ChildIteratorType
static ChildIteratorType child_begin(NodeRef N)
static unsigned getNumber(const MachineBasicBlock *BB)
static NodeRef getEntryNode(const MachineBasicBlock *BB)
static ChildIteratorType child_end(NodeRef N)
static constexpr LaneBitmask getAll()
Definition LaneBitmask.h:82
unsigned operator()(const MachineBasicBlock *MBB) const
const MachineBasicBlock * argument_type
bool operator!=(const MBBSectionID &Other) const
LLVM_ABI static const MBBSectionID ExceptionSectionID
LLVM_ABI static const MBBSectionID ColdSectionID
enum llvm::MBBSectionID::SectionType Type
bool operator==(const MBBSectionID &Other) const
Pair of physical register and lane mask.
RegisterMaskPair(MCRegister PhysReg, LaneBitmask LaneMask)
bool operator==(const RegisterMaskPair &other) const
Split the critical edge from this block to the given successor block, and return the newly created bl...
Callbacks do nothing by default in iplist and ilist.
Definition ilist.h:65
LLVM_ABI void addNodeToList(MachineInstr *N)
LLVM_ABI void transferNodesFromList(ilist_traits &FromList, instr_iterator First, instr_iterator Last)
LLVM_ABI void removeNodeFromList(MachineInstr *N)
LLVM_ABI void deleteNode(MachineInstr *MI)
Template traits for intrusive list.
Definition ilist.h:90