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 inline MBBSectionID getEmptyKey() {
89 return MBBSectionID(NumberInfo::getEmptyKey());
90 }
91 static inline MBBSectionID getTombstoneKey() {
92 return MBBSectionID(NumberInfo::getTombstoneKey());
93 }
94 static unsigned getHashValue(const MBBSectionID &SecID) {
95 return detail::combineHashValue(TypeInfo::getHashValue(SecID.Type),
96 NumberInfo::getHashValue(SecID.Number));
97 }
98 static bool isEqual(const MBBSectionID &LHS, const MBBSectionID &RHS) {
99 return LHS == RHS;
100 }
101};
102
103template <> struct ilist_traits<MachineInstr> {
104private:
105 friend class MachineBasicBlock; // Set by the owning MachineBasicBlock.
106
107 MachineBasicBlock *Parent;
108
109 using instr_iterator =
111
112public:
116 instr_iterator First,
117 instr_iterator Last);
119};
120
121class MachineBasicBlock
122 : public ilist_node_with_parent<MachineBasicBlock, MachineFunction> {
123public:
124 /// Pair of physical register and lane mask.
125 /// This is not simply a std::pair typedef because the members should be named
126 /// clearly as they both have an integer type.
128 public:
131
136
137 bool operator==(const RegisterMaskPair &other) const {
138 return PhysReg == other.PhysReg && LaneMask == other.LaneMask;
139 }
140 };
141
142private:
144
145 const BasicBlock *BB;
146 int Number;
147
148 /// The call frame size on entry to this basic block due to call frame setup
149 /// instructions in a predecessor. This is usually zero, unless basic blocks
150 /// are split in the middle of a call sequence.
151 ///
152 /// This information is only maintained until PrologEpilogInserter eliminates
153 /// call frame pseudos.
154 unsigned CallFrameSize = 0;
155
156 MachineFunction *xParent;
157 Instructions Insts;
158
159 /// Keep track of the predecessor / successor basic blocks.
162
163 /// Keep track of the probabilities to the successors. This vector has the
164 /// same order as Successors, or it is empty if we don't use it (disable
165 /// optimization).
166 std::vector<BranchProbability> Probs;
167 using probability_iterator = std::vector<BranchProbability>::iterator;
168 using const_probability_iterator =
169 std::vector<BranchProbability>::const_iterator;
170
171 std::optional<uint64_t> IrrLoopHeaderWeight;
172
173 /// Keep track of the physical registers that are livein of the basicblock.
174 using LiveInVector = std::vector<RegisterMaskPair>;
175 LiveInVector LiveIns;
176
177 /// Alignment of the basic block. One if the basic block does not need to be
178 /// aligned.
179 Align Alignment;
180 /// Maximum amount of bytes that can be added to align the basic block. If the
181 /// alignment cannot be reached in this many bytes, no bytes are emitted.
182 /// Zero to represent no maximum.
183 unsigned MaxBytesForAlignment = 0;
184
185 /// Indicate that this basic block is entered via an exception handler.
186 bool IsEHPad = false;
187
188 /// Indicate that this MachineBasicBlock is referenced somewhere other than
189 /// as predecessor/successor, a terminator MachineInstr, or a jump table.
190 bool MachineBlockAddressTaken = false;
191
192 /// Relatively stable number used for analyses.
193 unsigned AnalysisNumber = 0;
194
195 /// If this MachineBasicBlock corresponds to an IR-level "blockaddress"
196 /// constant, this contains a pointer to that block.
197 BasicBlock *AddressTakenIRBlock = nullptr;
198
199 /// Indicate that this basic block needs its symbol be emitted regardless of
200 /// whether the flow just falls-through to it.
201 bool LabelMustBeEmitted = false;
202
203 /// Indicate that this basic block is the entry block of an EH scope, i.e.,
204 /// the block that used to have a catchpad or cleanuppad instruction in the
205 /// LLVM IR.
206 bool IsEHScopeEntry = false;
207
208 /// Indicates if this is a target of Windows EH Continuation Guard.
209 bool IsEHContTarget = false;
210
211 /// Indicate that this basic block is the entry block of an EH funclet.
212 bool IsEHFuncletEntry = false;
213
214 /// Indicate that this basic block is the entry block of a cleanup funclet.
215 bool IsCleanupFuncletEntry = false;
216
217 /// Fixed unique ID assigned to this basic block upon creation. Used with
218 /// basic block sections and basic block labels.
219 std::optional<UniqueBBID> BBID;
220
221 /// With basic block sections, this stores the Section ID of the basic block.
222 MBBSectionID SectionID{0};
223
224 // Indicate that this basic block begins a section.
225 bool IsBeginSection = false;
226
227 // Indicate that this basic block ends a section.
228 bool IsEndSection = false;
229
230 /// Indicate that this basic block is the indirect dest of an INLINEASM_BR.
231 bool IsInlineAsmBrIndirectTarget = false;
232
233 /// since getSymbol is a relatively heavy-weight operation, the symbol
234 /// is only computed once and is cached.
235 mutable MCSymbol *CachedMCSymbol = nullptr;
236
237 /// Cached MCSymbol for this block (used if IsEHContTarget).
238 mutable MCSymbol *CachedEHContMCSymbol = nullptr;
239
240 /// Marks the end of the basic block. Used during basic block sections to
241 /// calculate the size of the basic block, or the BB section ending with it.
242 mutable MCSymbol *CachedEndMCSymbol = nullptr;
243
244 // Intrusive list support
245 MachineBasicBlock() = default;
246
247 explicit MachineBasicBlock(MachineFunction &MF, const BasicBlock *BB);
248
249 ~MachineBasicBlock();
250
251 // MachineBasicBlocks are allocated and owned by MachineFunction.
252 friend class MachineFunction;
253
254public:
255 /// Return the LLVM basic block that this instance corresponded to originally.
256 /// Note that this may be NULL if this instance does not correspond directly
257 /// to an LLVM basic block.
258 const BasicBlock *getBasicBlock() const { return BB; }
259
260 /// Remove the reference to the underlying IR BasicBlock. This is for
261 /// reduction tools and should generally not be used.
263 BB = nullptr;
264 }
265
266 /// Check if there is a name of corresponding LLVM basic block.
267 LLVM_ABI bool hasName() const;
268
269 /// Return the name of the corresponding LLVM basic block, or an empty string.
270 LLVM_ABI StringRef getName() const;
271
272 /// Return a formatted string to identify this block and its parent function.
273 LLVM_ABI std::string getFullName() const;
274
275 /// Test whether this block is used as something other than the target
276 /// of a terminator, exception-handling target, or jump table. This is
277 /// either the result of an IR-level "blockaddress", or some form
278 /// of target-specific branch lowering.
279 ///
280 /// The name of this function `hasAddressTaken` implies that the address of
281 /// the block is known and used in a general sense, but not necessarily that
282 /// the address is used by an indirect branch instruction. So branch target
283 /// enforcement need not put a BTI instruction (or equivalent) at the start
284 /// of a block just because this function returns true. The decision about
285 /// whether to add a BTI can be more subtle than that, and depends on the
286 /// more detailed checks that this function aggregates together.
287 bool hasAddressTaken() const {
288 return MachineBlockAddressTaken || AddressTakenIRBlock ||
289 IsInlineAsmBrIndirectTarget;
290 }
291
292 /// Test whether this block is used as something other than the target of a
293 /// terminator, exception-handling target, jump table, or IR blockaddress.
294 /// For example, its address might be loaded into a register, or
295 /// stored in some branch table that isn't part of MachineJumpTableInfo.
296 ///
297 /// If this function returns true, it _does_ mean that branch target
298 /// enforcement needs to put a BTI or equivalent at the start of the block.
299 bool isMachineBlockAddressTaken() const { return MachineBlockAddressTaken; }
300
301 /// Test whether this block is the target of an IR BlockAddress. (There can
302 /// more than one MBB associated with an IR BB where the address is taken.)
303 ///
304 /// If this function returns true, it _does_ mean that branch target
305 /// enforcement needs to put a BTI or equivalent at the start of the block.
306 bool isIRBlockAddressTaken() const { return AddressTakenIRBlock; }
307
308 /// Retrieves the BasicBlock which corresponds to this MachineBasicBlock.
309 BasicBlock *getAddressTakenIRBlock() const { return AddressTakenIRBlock; }
310
311 /// Set this block to indicate that its address is used as something other
312 /// than the target of a terminator, exception-handling target, jump table,
313 /// or IR-level "blockaddress".
314 void setMachineBlockAddressTaken() { MachineBlockAddressTaken = true; }
315
316 /// Set this block to reflect that it corresponds to an IR-level basic block
317 /// with a BlockAddress.
318 void setAddressTakenIRBlock(BasicBlock *BB) { AddressTakenIRBlock = BB; }
319
320 /// Test whether this block must have its label emitted.
321 bool hasLabelMustBeEmitted() const { return LabelMustBeEmitted; }
322
323 /// Set this block to reflect that, regardless how we flow to it, we need
324 /// its label be emitted.
325 void setLabelMustBeEmitted() { LabelMustBeEmitted = true; }
326
327 /// Return the MachineFunction containing this basic block.
328 const MachineFunction *getParent() const { return xParent; }
329 MachineFunction *getParent() { return xParent; }
330
331 /// Returns true if the original IR terminator is an `indirectbr` with
332 /// successor blocks. This typically corresponds to a `goto` in C, rather than
333 /// jump tables.
335 return back().isIndirectBranch() && !succ_empty() &&
336 llvm::all_of(successors(), [](const MachineBasicBlock *Succ) {
337 return Succ->isIRBlockAddressTaken();
338 });
339 }
340
345
351
352 unsigned size() const { return (unsigned)Insts.size(); }
353 LLVM_ABI bool sizeWithoutDebugLargerThan(unsigned Limit) const;
354 bool empty() const { return Insts.empty(); }
355
356 MachineInstr &instr_front() { return Insts.front(); }
357 MachineInstr &instr_back() { return Insts.back(); }
358 const MachineInstr &instr_front() const { return Insts.front(); }
359 const MachineInstr &instr_back() const { return Insts.back(); }
360
361 MachineInstr &front() { return Insts.front(); }
362 MachineInstr &back() { return *--end(); }
363 const MachineInstr &front() const { return Insts.front(); }
364 const MachineInstr &back() const { return *--end(); }
365
366 instr_iterator instr_begin() { return Insts.begin(); }
367 const_instr_iterator instr_begin() const { return Insts.begin(); }
368 instr_iterator instr_end() { return Insts.end(); }
369 const_instr_iterator instr_end() const { return Insts.end(); }
370 reverse_instr_iterator instr_rbegin() { return Insts.rbegin(); }
371 const_reverse_instr_iterator instr_rbegin() const { return Insts.rbegin(); }
372 reverse_instr_iterator instr_rend () { return Insts.rend(); }
373 const_reverse_instr_iterator instr_rend () const { return Insts.rend(); }
374
381
382 iterator begin() { return instr_begin(); }
383 const_iterator begin() const { return instr_begin(); }
384 iterator end () { return instr_end(); }
385 const_iterator end () const { return instr_end(); }
396
397 /// Support for MachineInstr::getNextNode().
398 static Instructions MachineBasicBlock::*getSublistAccess(MachineInstr *) {
399 return &MachineBasicBlock::Insts;
400 }
401
408
409 /// Returns a range that iterates over the phis in the basic block.
411 return make_range(begin(), getFirstNonPHI());
412 }
414 return const_cast<MachineBasicBlock *>(this)->phis();
415 }
416
417 // Machine-CFG iterators
432 pred_iterator pred_begin() { return Predecessors.begin(); }
433 const_pred_iterator pred_begin() const { return Predecessors.begin(); }
434 pred_iterator pred_end() { return Predecessors.end(); }
435 const_pred_iterator pred_end() const { return Predecessors.end(); }
437 { return Predecessors.rbegin();}
439 { return Predecessors.rbegin();}
441 { return Predecessors.rend(); }
443 { return Predecessors.rend(); }
444 unsigned pred_size() const {
445 return (unsigned)Predecessors.size();
446 }
447 bool pred_empty() const { return Predecessors.empty(); }
448 succ_iterator succ_begin() { return Successors.begin(); }
449 const_succ_iterator succ_begin() const { return Successors.begin(); }
450 succ_iterator succ_end() { return Successors.end(); }
451 const_succ_iterator succ_end() const { return Successors.end(); }
453 { return Successors.rbegin(); }
455 { return Successors.rbegin(); }
457 { return Successors.rend(); }
459 { return Successors.rend(); }
460 unsigned succ_size() const {
461 return (unsigned)Successors.size();
462 }
463 bool succ_empty() const { return Successors.empty(); }
464
477
478 // LiveIn management methods.
479
480 /// Adds the specified register as a live in. Note that it is an error to add
481 /// the same register to the same set more than once unless the intention is
482 /// to call sortUniqueLiveIns after all registers are added.
483 void addLiveIn(MCRegister PhysReg,
484 LaneBitmask LaneMask = LaneBitmask::getAll()) {
485 LiveIns.push_back(RegisterMaskPair(PhysReg, LaneMask));
486 }
487 void addLiveIn(const RegisterMaskPair &RegMaskPair) {
488 LiveIns.push_back(RegMaskPair);
489 }
490
491 /// Sorts and uniques the LiveIns vector. It can be significantly faster to do
492 /// this than repeatedly calling isLiveIn before calling addLiveIn for every
493 /// LiveIn insertion.
495
496 /// Clear live in list.
497 LLVM_ABI void clearLiveIns();
498
499 /// Clear the live in list, and return the removed live in's in \p OldLiveIns.
500 /// Requires that the vector \p OldLiveIns is empty.
501 LLVM_ABI void clearLiveIns(std::vector<RegisterMaskPair> &OldLiveIns);
502
503 /// Add PhysReg as live in to this block, and ensure that there is a copy of
504 /// PhysReg to a virtual register of class RC. Return the virtual register
505 /// that is a copy of the live in PhysReg.
507 const TargetRegisterClass *RC);
508
509 /// Remove the specified register from the live in set.
511 LaneBitmask LaneMask = LaneBitmask::getAll());
512
513 /// Remove the specified register from any overlapped live in. The method is
514 /// subreg-aware and removes Reg and its subregs from the live in set. It also
515 /// clears the corresponding bitmask from its live-in super registers.
517
518 /// Return true if the specified register is in the live in set.
520 LaneBitmask LaneMask = LaneBitmask::getAll()) const;
521
522 // Iteration support for live in sets. These sets are kept in sorted
523 // order by their register number.
524 using livein_iterator = LiveInVector::const_iterator;
525
526 /// Unlike livein_begin, this method does not check that the liveness
527 /// information is accurate. Still for debug purposes it may be useful
528 /// to have iterators that won't assert if the liveness information
529 /// is not current.
530 livein_iterator livein_begin_dbg() const { return LiveIns.begin(); }
534
536 livein_iterator livein_end() const { return LiveIns.end(); }
537 bool livein_empty() const { return LiveIns.empty(); }
541
542 /// Remove entry from the livein set and return iterator to the next.
544
545 const std::vector<RegisterMaskPair> &getLiveIns() const { return LiveIns; }
546
548 public:
549 using iterator_category = std::input_iterator_tag;
550 using difference_type = std::ptrdiff_t;
552 using pointer = const RegisterMaskPair *;
554
555 liveout_iterator(const MachineBasicBlock &MBB, MCRegister ExceptionPointer,
556 MCRegister ExceptionSelector, bool End)
557 : ExceptionPointer(ExceptionPointer),
558 ExceptionSelector(ExceptionSelector), BlockI(MBB.succ_begin()),
559 BlockEnd(MBB.succ_end()) {
560 if (End)
561 BlockI = BlockEnd;
562 else if (BlockI != BlockEnd) {
563 LiveRegI = (*BlockI)->livein_begin();
564 if (!advanceToValidPosition())
565 return;
566 if ((*BlockI)->isEHPad() && (LiveRegI->PhysReg == ExceptionPointer ||
567 LiveRegI->PhysReg == ExceptionSelector))
568 ++(*this);
569 }
570 }
571
573 do {
574 ++LiveRegI;
575 if (!advanceToValidPosition())
576 return *this;
577 } while ((*BlockI)->isEHPad() &&
578 (LiveRegI->PhysReg == ExceptionPointer ||
579 LiveRegI->PhysReg == ExceptionSelector));
580 return *this;
581 }
582
584 liveout_iterator Tmp = *this;
585 ++(*this);
586 return Tmp;
587 }
588
590 return *LiveRegI;
591 }
592
594 return &*LiveRegI;
595 }
596
597 bool operator==(const liveout_iterator &RHS) const {
598 if (BlockI != BlockEnd)
599 return BlockI == RHS.BlockI && LiveRegI == RHS.LiveRegI;
600 return RHS.BlockI == BlockEnd;
601 }
602
603 bool operator!=(const liveout_iterator &RHS) const {
604 return !(*this == RHS);
605 }
606 private:
607 bool advanceToValidPosition() {
608 if (LiveRegI != (*BlockI)->livein_end())
609 return true;
610
611 do {
612 ++BlockI;
613 } while (BlockI != BlockEnd && (*BlockI)->livein_empty());
614 if (BlockI == BlockEnd)
615 return false;
616
617 LiveRegI = (*BlockI)->livein_begin();
618 return true;
619 }
620
621 MCRegister ExceptionPointer, ExceptionSelector;
622 const_succ_iterator BlockI;
623 const_succ_iterator BlockEnd;
624 livein_iterator LiveRegI;
625 };
626
627 /// Iterator scanning successor basic blocks' liveins to determine the
628 /// registers potentially live at the end of this block. There may be
629 /// duplicates or overlapping registers in the list returned.
632 return liveout_iterator(*this, 0, 0, true);
633 }
637
638 /// Get the clobber mask for the start of this basic block. Funclets use this
639 /// to prevent register allocation across funclet transitions.
640 LLVM_ABI const uint32_t *
642
643 /// Get the clobber mask for the end of the basic block.
644 /// \see getBeginClobberMask()
645 LLVM_ABI const uint32_t *
647
648 /// Return alignment of the basic block.
649 Align getAlignment() const { return Alignment; }
650
651 /// Set alignment of the basic block.
652 void setAlignment(Align A) { Alignment = A; }
653
654 void setAlignment(Align A, unsigned MaxBytes) {
656 setMaxBytesForAlignment(MaxBytes);
657 }
658
659 /// Return the maximum amount of padding allowed for aligning the basic block.
660 unsigned getMaxBytesForAlignment() const { return MaxBytesForAlignment; }
661
662 /// Set the maximum amount of padding allowed for aligning the basic block
663 void setMaxBytesForAlignment(unsigned MaxBytes) {
664 MaxBytesForAlignment = MaxBytes;
665 }
666
667 /// Returns true if the block is a landing pad. That is this basic block is
668 /// entered via an exception handler.
669 bool isEHPad() const { return IsEHPad; }
670
671 /// Indicates the block is a landing pad. That is this basic block is entered
672 /// via an exception handler.
673 void setIsEHPad(bool V = true) { IsEHPad = V; }
674
675 LLVM_ABI bool hasEHPadSuccessor() const;
676
677 /// Returns true if this is the entry block of the function.
678 LLVM_ABI bool isEntryBlock() const;
679
680 /// Returns true if this is the entry block of an EH scope, i.e., the block
681 /// that used to have a catchpad or cleanuppad instruction in the LLVM IR.
682 bool isEHScopeEntry() const { return IsEHScopeEntry; }
683
684 /// Indicates if this is the entry block of an EH scope, i.e., the block that
685 /// that used to have a catchpad or cleanuppad instruction in the LLVM IR.
686 void setIsEHScopeEntry(bool V = true) { IsEHScopeEntry = V; }
687
688 /// Returns true if this is a target of Windows EH Continuation Guard.
689 bool isEHContTarget() const { return IsEHContTarget; }
690
691 /// Indicates if this is a target of Windows EH Continuation Guard.
692 void setIsEHContTarget(bool V = true) { IsEHContTarget = V; }
693
694 /// Returns true if this is the entry block of an EH funclet.
695 bool isEHFuncletEntry() const { return IsEHFuncletEntry; }
696
697 /// Indicates if this is the entry block of an EH funclet.
698 void setIsEHFuncletEntry(bool V = true) { IsEHFuncletEntry = V; }
699
700 /// Returns true if this is the entry block of a cleanup funclet.
701 bool isCleanupFuncletEntry() const { return IsCleanupFuncletEntry; }
702
703 /// Indicates if this is the entry block of a cleanup funclet.
704 void setIsCleanupFuncletEntry(bool V = true) { IsCleanupFuncletEntry = V; }
705
706 /// Returns true if this block begins any section.
707 bool isBeginSection() const { return IsBeginSection; }
708
709 /// Returns true if this block ends any section.
710 bool isEndSection() const { return IsEndSection; }
711
712 void setIsBeginSection(bool V = true) { IsBeginSection = V; }
713
714 void setIsEndSection(bool V = true) { IsEndSection = V; }
715
716 std::optional<UniqueBBID> getBBID() const { return BBID; }
717
718 /// Returns the section ID of this basic block.
719 MBBSectionID getSectionID() const { return SectionID; }
720
721 /// Sets the fixed BBID of this basic block.
722 void setBBID(const UniqueBBID &V) {
723 assert(!BBID.has_value() && "Cannot change BBID.");
724 BBID = V;
725 }
726
727 /// Sets the section ID for this basic block.
728 void setSectionID(MBBSectionID V) { SectionID = V; }
729
730 /// Returns the MCSymbol marking the end of this basic block.
732
733 /// Returns true if this block may have an INLINEASM_BR (overestimate, by
734 /// checking if any of the successors are indirect targets of any inlineasm_br
735 /// in the function).
736 LLVM_ABI bool mayHaveInlineAsmBr() const;
737
738 /// Returns true if this is the indirect dest of an INLINEASM_BR.
740 return IsInlineAsmBrIndirectTarget;
741 }
742
743 /// Indicates if this is the indirect dest of an INLINEASM_BR.
744 void setIsInlineAsmBrIndirectTarget(bool V = true) {
745 IsInlineAsmBrIndirectTarget = V;
746 }
747
748 /// Returns true if it is legal to hoist instructions into this block.
749 LLVM_ABI bool isLegalToHoistInto() const;
750
751 // Code Layout methods.
752
753 /// Move 'this' block before or after the specified block. This only moves
754 /// the block, it does not modify the CFG or adjust potential fall-throughs at
755 /// the end of the block.
756 LLVM_ABI void moveBefore(MachineBasicBlock *NewAfter);
757 LLVM_ABI void moveAfter(MachineBasicBlock *NewBefore);
758
759 /// Returns true if this and MBB belong to the same section.
760 bool sameSection(const MachineBasicBlock *MBB) const {
761 return getSectionID() == MBB->getSectionID();
762 }
763
764 /// Update the terminator instructions in block to account for changes to
765 /// block layout which may have been made. PreviousLayoutSuccessor should be
766 /// set to the block which may have been used as fallthrough before the block
767 /// layout was modified. If the block previously fell through to that block,
768 /// it may now need a branch. If it previously branched to another block, it
769 /// may now be able to fallthrough to the current layout successor.
770 LLVM_ABI void updateTerminator(MachineBasicBlock *PreviousLayoutSuccessor);
771
772 // Machine-CFG mutators
773
774 /// Add Succ as a successor of this MachineBasicBlock. The Predecessors list
775 /// of Succ is automatically updated. PROB parameter is stored in
776 /// Probabilities list. The default probability is set as unknown. Mixing
777 /// known and unknown probabilities in successor list is not allowed. When all
778 /// successors have unknown probabilities, 1 / N is returned as the
779 /// probability for each successor, where N is the number of successors.
780 ///
781 /// Note that duplicate Machine CFG edges are not allowed.
782 LLVM_ABI void
785
786 /// Add Succ as a successor of this MachineBasicBlock. The Predecessors list
787 /// of Succ is automatically updated. The probability is not provided because
788 /// BPI is not available (e.g. -O0 is used), in which case edge probabilities
789 /// won't be used. Using this interface can save some space.
791
792 /// Set successor probability of a given iterator.
794
795 /// Normalize probabilities of all successors so that the sum of them becomes
796 /// one. This is usually done when the current update on this MBB is done, and
797 /// the sum of its successors' probabilities is not guaranteed to be one. The
798 /// user is responsible for the correct use of this function.
799 /// MBB::removeSuccessor() has an option to do this automatically.
801 BranchProbability::normalizeProbabilities(Probs.begin(), Probs.end());
802 }
803
804 /// Validate successors' probabilities and check if the sum of them is
805 /// approximate one. This only works in DEBUG mode.
806 LLVM_ABI void validateSuccProbs() const;
807
808 /// Remove successor from the successors list of this MachineBasicBlock. The
809 /// Predecessors list of Succ is automatically updated.
810 /// If NormalizeSuccProbs is true, then normalize successors' probabilities
811 /// after the successor is removed.
813 bool NormalizeSuccProbs = false);
814
815 /// Remove specified successor from the successors list of this
816 /// MachineBasicBlock. The Predecessors list of Succ is automatically updated.
817 /// If NormalizeSuccProbs is true, then normalize successors' probabilities
818 /// after the successor is removed.
819 /// Return the iterator to the element after the one removed.
821 bool NormalizeSuccProbs = false);
822
823 /// Replace successor OLD with NEW and update probability info.
825 MachineBasicBlock *New);
826
827 /// Copy a successor (and any probability info) from original block to this
828 /// block's. Uses an iterator into the original blocks successors.
829 ///
830 /// This is useful when doing a partial clone of successors. Afterward, the
831 /// probabilities may need to be normalized.
833
834 /// Split the old successor into old plus new and updates the probability
835 /// info.
837 bool NormalizeSuccProbs = false);
838
839 /// Transfers all the successors from MBB to this machine basic block (i.e.,
840 /// copies all the successors FromMBB and remove all the successors from
841 /// FromMBB).
843
844 /// Transfers all the successors, as in transferSuccessors, and update PHI
845 /// operands in the successor blocks which refer to FromMBB to refer to this.
847
848 /// Return true if any of the successors have probabilities attached to them.
849 bool hasSuccessorProbabilities() const { return !Probs.empty(); }
850
851 /// Return true if the specified MBB is a predecessor of this block.
852 LLVM_ABI bool isPredecessor(const MachineBasicBlock *MBB) const;
853
854 /// Return true if the specified MBB is a successor of this block.
855 LLVM_ABI bool isSuccessor(const MachineBasicBlock *MBB) const;
856
857 /// Return true if the specified MBB will be emitted immediately after this
858 /// block, such that if this block exits by falling through, control will
859 /// transfer to the specified MBB. Note that MBB need not be a successor at
860 /// all, for example if this block ends with an unconditional branch to some
861 /// other block.
863
864 /// Return the successor of this block if it has a single successor.
865 /// Otherwise return a null pointer.
866 ///
868 MachineBasicBlock *getSingleSuccessor() {
869 return const_cast<MachineBasicBlock *>(
870 static_cast<const MachineBasicBlock *>(this)->getSingleSuccessor());
871 }
872
873 /// Return the predecessor of this block if it has a single predecessor.
874 /// Otherwise return a null pointer.
875 ///
877 MachineBasicBlock *getSinglePredecessor() {
878 return const_cast<MachineBasicBlock *>(
879 static_cast<const MachineBasicBlock *>(this)->getSinglePredecessor());
880 }
881
882 /// Return the fallthrough block if the block can implicitly
883 /// transfer control to the block after it by falling off the end of
884 /// it. If an explicit branch to the fallthrough block is not allowed,
885 /// set JumpToFallThrough to be false. Non-null return is a conservative
886 /// answer.
887 LLVM_ABI MachineBasicBlock *getFallThrough(bool JumpToFallThrough = true);
888
889 /// Return the fallthrough block if the block can implicitly
890 /// transfer control to it's successor, whether by a branch or
891 /// a fallthrough. Non-null return is a conservative answer.
892 MachineBasicBlock *getLogicalFallThrough() { return getFallThrough(false); }
893
894 /// Return true if the block can implicitly transfer control to the
895 /// block after it by falling off the end of it. This should return
896 /// false if it can reach the block after it, but it uses an
897 /// explicit branch to do so (e.g., a table jump). True is a
898 /// conservative answer.
900
901 /// Returns a pointer to the first instruction in this block that is not a
902 /// PHINode instruction. When adding instructions to the beginning of the
903 /// basic block, they should be added before the returned value, not before
904 /// the first instruction, which might be PHI.
905 /// Returns end() is there's no non-PHI instruction.
908 return const_cast<MachineBasicBlock *>(this)->getFirstNonPHI();
909 }
910
911 /// Return the first instruction in MBB after I that is not a PHI or a label.
912 /// This is the correct point to insert lowered copies at the beginning of a
913 /// basic block that must be before any debugging information.
915
916 /// Return the first instruction in MBB after I that is not a PHI, label or
917 /// debug. This is the correct point to insert copies at the beginning of a
918 /// basic block. \p Reg is the register being used by a spill or defined for a
919 /// restore/split during register allocation.
922 bool SkipPseudoOp = true);
923
924 /// Returns an iterator to the first terminator instruction of this basic
925 /// block. If a terminator does not exist, it returns end().
928 return const_cast<MachineBasicBlock *>(this)->getFirstTerminator();
929 }
930
931 /// Same getFirstTerminator but it ignores bundles and return an
932 /// instr_iterator instead.
933 LLVM_ABI instr_iterator getFirstInstrTerminator();
934
935 /// Finds the first terminator in a block by scanning forward. This can handle
936 /// cases in GlobalISel where there may be non-terminator instructions between
937 /// terminators, for which getFirstTerminator() will not work correctly.
939
940 /// Returns an iterator to the first non-debug instruction in the basic block,
941 /// or end(). Skip any pseudo probe operation if \c SkipPseudoOp is true.
942 /// Pseudo probes are like debug instructions which do not turn into real
943 /// machine code. We try to use the function to skip both debug instructions
944 /// and pseudo probe operations to avoid API proliferation. This should work
945 /// most of the time when considering optimizing the rest of code in the
946 /// block, except for certain cases where pseudo probes are designed to block
947 /// the optimizations. For example, code merge like optimizations are supposed
948 /// to be blocked by pseudo probes for better AutoFDO profile quality.
949 /// Therefore, they should be considered as a valid instruction when this
950 /// function is called in a context of such optimizations. On the other hand,
951 /// \c SkipPseudoOp should be true when it's used in optimizations that
952 /// unlikely hurt profile quality, e.g., without block merging. The default
953 /// value of \c SkipPseudoOp is set to true to maximize code quality in
954 /// general, with an explict false value passed in in a few places like branch
955 /// folding and if-conversion to favor profile quality.
956 LLVM_ABI iterator getFirstNonDebugInstr(bool SkipPseudoOp = true);
957 const_iterator getFirstNonDebugInstr(bool SkipPseudoOp = true) const {
958 return const_cast<MachineBasicBlock *>(this)->getFirstNonDebugInstr(
959 SkipPseudoOp);
960 }
961
962 /// Returns an iterator to the last non-debug instruction in the basic block,
963 /// or end(). Skip any pseudo operation if \c SkipPseudoOp is true.
964 /// Pseudo probes are like debug instructions which do not turn into real
965 /// machine code. We try to use the function to skip both debug instructions
966 /// and pseudo probe operations to avoid API proliferation. This should work
967 /// most of the time when considering optimizing the rest of code in the
968 /// block, except for certain cases where pseudo probes are designed to block
969 /// the optimizations. For example, code merge like optimizations are supposed
970 /// to be blocked by pseudo probes for better AutoFDO profile quality.
971 /// Therefore, they should be considered as a valid instruction when this
972 /// function is called in a context of such optimizations. On the other hand,
973 /// \c SkipPseudoOp should be true when it's used in optimizations that
974 /// unlikely hurt profile quality, e.g., without block merging. The default
975 /// value of \c SkipPseudoOp is set to true to maximize code quality in
976 /// general, with an explict false value passed in in a few places like branch
977 /// folding and if-conversion to favor profile quality.
978 LLVM_ABI iterator getLastNonDebugInstr(bool SkipPseudoOp = true);
979 const_iterator getLastNonDebugInstr(bool SkipPseudoOp = true) const {
980 return const_cast<MachineBasicBlock *>(this)->getLastNonDebugInstr(
981 SkipPseudoOp);
982 }
983
984 /// Convenience function that returns true if the block ends in a return
985 /// instruction.
986 bool isReturnBlock() const {
987 return !empty() && back().isReturn();
988 }
989
990 /// Convenience function that returns true if the bock ends in a EH scope
991 /// return instruction.
992 bool isEHScopeReturnBlock() const {
993 return !empty() && back().isEHScopeReturn();
994 }
995
996 /// Split a basic block into 2 pieces at \p SplitPoint. A new block will be
997 /// inserted after this block, and all instructions after \p SplitInst moved
998 /// to it (\p SplitInst will be in the original block). If \p LIS is provided,
999 /// LiveIntervals will be appropriately updated. \return the newly inserted
1000 /// block.
1001 ///
1002 /// If \p UpdateLiveIns is true, this will ensure the live ins list is
1003 /// accurate, including for physreg uses/defs in the original block.
1005 bool UpdateLiveIns = true,
1006 LiveIntervals *LIS = nullptr);
1007
1008 /// Split the critical edge from this block to the given successor block, and
1009 /// return the newly created block, or null if splitting is not possible.
1010 ///
1011 /// This function updates LiveVariables, MachineDominatorTree, and
1012 /// MachineLoopInfo, as applicable.
1019
1020 MachineBasicBlock *
1021 SplitCriticalEdge(MachineBasicBlock *Succ, Pass &P,
1022 std::vector<SparseBitVector<>> *LiveInSets = nullptr,
1023 MachineDomTreeUpdater *MDTU = nullptr) {
1024 return SplitCriticalEdge(Succ, &P, nullptr, LiveInSets, MDTU);
1025 }
1026
1028 SplitCriticalEdge(MachineBasicBlock *Succ,
1030 std::vector<SparseBitVector<>> *LiveInSets = nullptr,
1031 MachineDomTreeUpdater *MDTU = nullptr) {
1032 return SplitCriticalEdge(Succ, nullptr, &MFAM, LiveInSets, MDTU);
1033 }
1034
1035 // Helper method for new pass manager migration.
1037 MachineBasicBlock *Succ, const SplitCriticalEdgeAnalyses &Analyses,
1038 std::vector<SparseBitVector<>> *LiveInSets, MachineDomTreeUpdater *MDTU);
1039
1042 std::vector<SparseBitVector<>> *LiveInSets, MachineDomTreeUpdater *MDTU);
1043
1044 /// Check if the edge between this block and the given successor \p
1045 /// Succ, can be split. If this returns true a subsequent call to
1046 /// SplitCriticalEdge is guaranteed to return a valid basic block if
1047 /// no changes occurred in the meantime.
1048 LLVM_ABI bool
1050 const MachineLoopInfo *MLI = nullptr) const;
1051
1052 void pop_front() { Insts.pop_front(); }
1053 void pop_back() { Insts.pop_back(); }
1054 void push_back(MachineInstr *MI) { Insts.push_back(MI); }
1055
1056 /// Insert MI into the instruction list before I, possibly inside a bundle.
1057 ///
1058 /// If the insertion point is inside a bundle, MI will be added to the bundle,
1059 /// otherwise MI will not be added to any bundle. That means this function
1060 /// alone can't be used to prepend or append instructions to bundles. See
1061 /// MIBundleBuilder::insert() for a more reliable way of doing that.
1062 LLVM_ABI instr_iterator insert(instr_iterator I, MachineInstr *M);
1063
1064 /// Insert a range of instructions into the instruction list before I.
1065 template<typename IT>
1066 void insert(iterator I, IT S, IT E) {
1067 assert((I == end() || I->getParent() == this) &&
1068 "iterator points outside of basic block");
1069 Insts.insert(I.getInstrIterator(), S, E);
1070 }
1071
1072 /// Insert MI into the instruction list before I.
1074 assert((I == end() || I->getParent() == this) &&
1075 "iterator points outside of basic block");
1076 assert(!MI->isBundledWithPred() && !MI->isBundledWithSucc() &&
1077 "Cannot insert instruction with bundle flags");
1078 return Insts.insert(I.getInstrIterator(), MI);
1079 }
1080
1081 /// Insert MI into the instruction list after I.
1083 assert((I == end() || I->getParent() == this) &&
1084 "iterator points outside of basic block");
1085 assert(!MI->isBundledWithPred() && !MI->isBundledWithSucc() &&
1086 "Cannot insert instruction with bundle flags");
1087 return Insts.insertAfter(I.getInstrIterator(), MI);
1088 }
1089
1090 /// If I is bundled then insert MI into the instruction list after the end of
1091 /// the bundle, otherwise insert MI immediately after I.
1093 assert((I == instr_end() || I->getParent() == this) &&
1094 "iterator points outside of basic block");
1095 assert(!MI->isBundledWithPred() && !MI->isBundledWithSucc() &&
1096 "Cannot insert instruction with bundle flags");
1097 while (I->isBundledWithSucc())
1098 ++I;
1099 return Insts.insertAfter(I, MI);
1100 }
1101
1102 /// Remove an instruction from the instruction list and delete it.
1103 ///
1104 /// If the instruction is part of a bundle, the other instructions in the
1105 /// bundle will still be bundled after removing the single instruction.
1106 LLVM_ABI instr_iterator erase(instr_iterator I);
1107
1108 /// Remove an instruction from the instruction list and delete it.
1109 ///
1110 /// If the instruction is part of a bundle, the other instructions in the
1111 /// bundle will still be bundled after removing the single instruction.
1115
1116 /// Remove a range of instructions from the instruction list and delete them.
1118 return Insts.erase(I.getInstrIterator(), E.getInstrIterator());
1119 }
1120
1121 /// Remove an instruction or bundle from the instruction list and delete it.
1122 ///
1123 /// If I points to a bundle of instructions, they are all erased.
1125 return erase(I, std::next(I));
1126 }
1127
1128 /// Remove an instruction from the instruction list and delete it.
1129 ///
1130 /// If I is the head of a bundle of instructions, the whole bundle will be
1131 /// erased.
1133 return erase(iterator(I));
1134 }
1135
1136 /// Remove the unbundled instruction from the instruction list without
1137 /// deleting it.
1138 ///
1139 /// This function can not be used to remove bundled instructions, use
1140 /// remove_instr to remove individual instructions from a bundle.
1142 assert(!I->isBundled() && "Cannot remove bundled instructions");
1143 return Insts.remove(instr_iterator(I));
1144 }
1145
1146 /// Remove the possibly bundled instruction from the instruction list
1147 /// without deleting it.
1148 ///
1149 /// If the instruction is part of a bundle, the other instructions in the
1150 /// bundle will still be bundled after removing the single instruction.
1152
1153 void clear() {
1154 Insts.clear();
1155 }
1156
1157 /// Take an instruction from MBB 'Other' at the position From, and insert it
1158 /// into this MBB right before 'Where'.
1159 ///
1160 /// If From points to a bundle of instructions, the whole bundle is moved.
1161 void splice(iterator Where, MachineBasicBlock *Other, iterator From) {
1162 // The range splice() doesn't allow noop moves, but this one does.
1163 if (Where != From)
1164 splice(Where, Other, From, std::next(From));
1165 }
1166
1167 /// Take a block of instructions from MBB 'Other' in the range [From, To),
1168 /// and insert them into this MBB right before 'Where'.
1169 ///
1170 /// The instruction at 'Where' must not be included in the range of
1171 /// instructions to move.
1172 void splice(iterator Where, MachineBasicBlock *Other,
1173 iterator From, iterator To) {
1174 Insts.splice(Where.getInstrIterator(), Other->Insts,
1175 From.getInstrIterator(), To.getInstrIterator());
1176 }
1177
1178 /// This method unlinks 'this' from the containing function, and returns it,
1179 /// but does not delete it.
1181
1182 /// This method unlinks 'this' from the containing function and deletes it.
1184
1185 /// Given a machine basic block that branched to 'Old', change the code and
1186 /// CFG so that it branches to 'New' instead.
1188 MachineBasicBlock *New);
1189
1190 /// Update all phi nodes in this basic block to refer to basic block \p New
1191 /// instead of basic block \p Old.
1193 MachineBasicBlock *New);
1194
1195 /// Find the next valid DebugLoc starting at MBBI, skipping any debug
1196 /// instructions. Return UnknownLoc if there is none.
1197 LLVM_ABI DebugLoc findDebugLoc(instr_iterator MBBI);
1199 return findDebugLoc(MBBI.getInstrIterator());
1200 }
1201
1202 /// Has exact same behavior as @ref findDebugLoc (it also searches towards the
1203 /// end of this MBB) except that this function takes a reverse iterator to
1204 /// identify the starting MI.
1207 return rfindDebugLoc(MBBI.getInstrIterator());
1208 }
1209
1210 /// Find the previous valid DebugLoc preceding MBBI, skipping any debug
1211 /// instructions. It is possible to find the last DebugLoc in the MBB using
1212 /// findPrevDebugLoc(instr_end()). Return UnknownLoc if there is none.
1213 LLVM_ABI DebugLoc findPrevDebugLoc(instr_iterator MBBI);
1215 return findPrevDebugLoc(MBBI.getInstrIterator());
1216 }
1217
1218 /// Has exact same behavior as @ref findPrevDebugLoc (it also searches towards
1219 /// the beginning of this MBB) except that this function takes reverse
1220 /// iterator to identify the starting MI. A minor difference compared to
1221 /// findPrevDebugLoc is that we can't start scanning at "instr_end".
1224 return rfindPrevDebugLoc(MBBI.getInstrIterator());
1225 }
1226
1227 /// Find and return the merged DebugLoc of the branch instructions of the
1228 /// block. Return UnknownLoc if there is none.
1230
1231 /// Possible outcome of a register liveness query to computeRegisterLiveness()
1233 LQR_Live, ///< Register is known to be (at least partially) live.
1234 LQR_Dead, ///< Register is known to be fully dead.
1235 LQR_Unknown ///< Register liveness not decidable from local neighborhood.
1236 };
1237
1238 /// Return whether (physical) register \p Reg has been defined and not
1239 /// killed as of just before \p Before.
1240 ///
1241 /// Search is localised to a neighborhood of \p Neighborhood instructions
1242 /// before (searching for defs or kills) and \p Neighborhood instructions
1243 /// after (searching just for defs) \p Before.
1244 ///
1245 /// \p Reg must be a physical register.
1248 unsigned Neighborhood = 10) const;
1249
1250 // Debugging methods.
1251 LLVM_ABI void dump() const;
1252 LLVM_ABI void print(raw_ostream &OS, const SlotIndexes * = nullptr,
1253 bool IsStandalone = true) const;
1255 const SlotIndexes * = nullptr,
1256 bool IsStandalone = true) const;
1257
1259 PrintNameIr = (1 << 0), ///< Add IR name where available
1260 PrintNameAttributes = (1 << 1), ///< Print attributes
1261 };
1262
1264 unsigned printNameFlags = PrintNameIr,
1265 ModuleSlotTracker *moduleSlotTracker = nullptr) const;
1266
1267 // Printing method used by LoopInfo.
1268 LLVM_ABI void printAsOperand(raw_ostream &OS, bool PrintType = true) const;
1269
1270 /// MachineBasicBlocks are uniquely numbered at the function level, unless
1271 /// they're not in a MachineFunction yet, in which case this will return -1.
1272 int getNumber() const { return Number; }
1273 void setNumber(int N) { Number = N; }
1274
1275 /// For analyses, blocks have a more stable number.
1276 int getAnalysisNumber() const { return AnalysisNumber; }
1277 void setAnalysisNumber(int N) { AnalysisNumber = N; }
1278
1279 /// Return the call frame size on entry to this basic block.
1280 unsigned getCallFrameSize() const { return CallFrameSize; }
1281 /// Set the call frame size on entry to this basic block.
1282 void setCallFrameSize(unsigned N) { CallFrameSize = N; }
1283
1284 /// Return the MCSymbol for this basic block.
1285 LLVM_ABI MCSymbol *getSymbol() const;
1286
1287 /// Return the Windows EH Continuation Symbol for this basic block.
1289
1290 std::optional<uint64_t> getIrrLoopHeaderWeight() const {
1291 return IrrLoopHeaderWeight;
1292 }
1293
1295 IrrLoopHeaderWeight = Weight;
1296 }
1297
1298 /// Return probability of the edge from this block to MBB. This method should
1299 /// NOT be called directly, but by using getEdgeProbability method from
1300 /// MachineBranchProbabilityInfo class.
1302
1303 // Helper function for MIRPrinter.
1305
1306 /// Iterate over block PHI instructions and remove all incoming values for
1307 /// PredMBB.
1308 ///
1309 /// Method does not erase PHI instructions even if they have single income or
1310 /// do not have incoming values ar all. It is a caller responsibility to make
1311 /// decision how to process PHI instructions after incoming values removal.
1312 LLVM_ABI void
1314
1315private:
1316 /// Return probability iterator corresponding to the I successor iterator.
1317 probability_iterator getProbabilityIterator(succ_iterator I);
1318 const_probability_iterator
1319 getProbabilityIterator(const_succ_iterator I) const;
1320
1322
1323 // Methods used to maintain doubly linked list of blocks...
1324 friend struct ilist_callback_traits<MachineBasicBlock>;
1325
1326 // Machine-CFG mutators
1327
1328 /// Add Pred as a predecessor of this MachineBasicBlock. Don't do this
1329 /// unless you know what you're doing, because it doesn't update Pred's
1330 /// successors list. Use Pred->addSuccessor instead.
1331 void addPredecessor(MachineBasicBlock *Pred);
1332
1333 /// Remove Pred as a predecessor of this MachineBasicBlock. Don't do this
1334 /// unless you know what you're doing, because it doesn't update Pred's
1335 /// successors list. Use Pred->removeSuccessor instead.
1336 void removePredecessor(MachineBasicBlock *Pred);
1337};
1338
1340
1341/// Prints a machine basic block reference.
1342///
1343/// The format is:
1344/// %bb.5 - a machine basic block with MBB.getNumber() == 5.
1345///
1346/// Usage: OS << printMBBReference(MBB) << '\n';
1348
1349// This is useful when building IndexedMaps keyed on basic block pointers.
1352 unsigned operator()(const MachineBasicBlock *MBB) const {
1353 return MBB->getNumber();
1354 }
1355};
1356
1357//===--------------------------------------------------------------------===//
1358// GraphTraits specializations for machine basic block graphs (machine-CFGs)
1359//===--------------------------------------------------------------------===//
1360
1361// Provide specializations of GraphTraits to be able to treat a
1362// MachineFunction as a graph of MachineBasicBlocks.
1363//
1364
1365template <> struct GraphTraits<MachineBasicBlock *> {
1368
1369 static NodeRef getEntryNode(MachineBasicBlock *BB) { return BB; }
1370 static ChildIteratorType child_begin(NodeRef N) { return N->succ_begin(); }
1371 static ChildIteratorType child_end(NodeRef N) { return N->succ_end(); }
1372
1373 static unsigned getNumber(MachineBasicBlock *BB) {
1374 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1375 return BB->getAnalysisNumber();
1376 }
1377};
1378
1380 "GraphTraits getNumber() not detected");
1381
1382template <> struct GraphTraits<const MachineBasicBlock *> {
1385
1386 static NodeRef getEntryNode(const MachineBasicBlock *BB) { return BB; }
1387 static ChildIteratorType child_begin(NodeRef N) { return N->succ_begin(); }
1388 static ChildIteratorType child_end(NodeRef N) { return N->succ_end(); }
1389
1390 static unsigned getNumber(const MachineBasicBlock *BB) {
1391 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1392 return BB->getAnalysisNumber();
1393 }
1394};
1395
1397 "GraphTraits getNumber() not detected");
1398
1399// Provide specializations of GraphTraits to be able to treat a
1400// MachineFunction as a graph of MachineBasicBlocks and to walk it
1401// in inverse order. Inverse order for a function is considered
1402// to be when traversing the predecessor edges of a MBB
1403// instead of the successor edges.
1404//
1408
1410 return G.Graph;
1411 }
1412
1413 static ChildIteratorType child_begin(NodeRef N) { return N->pred_begin(); }
1414 static ChildIteratorType child_end(NodeRef N) { return N->pred_end(); }
1415
1416 static unsigned getNumber(MachineBasicBlock *BB) {
1417 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1418 return BB->getAnalysisNumber();
1419 }
1420};
1421
1423 "GraphTraits getNumber() not detected");
1424
1428
1430 return G.Graph;
1431 }
1432
1433 static ChildIteratorType child_begin(NodeRef N) { return N->pred_begin(); }
1434 static ChildIteratorType child_end(NodeRef N) { return N->pred_end(); }
1435
1436 static unsigned getNumber(const MachineBasicBlock *BB) {
1437 assert(BB->getAnalysisNumber() >= 0 && "negative block number");
1438 return BB->getAnalysisNumber();
1439 }
1440};
1441
1443 "GraphTraits getNumber() not detected");
1444
1445// These accessors are handy for sharing templated code between IR and MIR.
1446inline auto successors(const MachineBasicBlock *BB) { return BB->successors(); }
1447inline auto predecessors(const MachineBasicBlock *BB) {
1448 return BB->predecessors();
1449}
1450inline auto succ_size(const MachineBasicBlock *BB) { return BB->succ_size(); }
1451inline auto pred_size(const MachineBasicBlock *BB) { return BB->pred_size(); }
1452inline auto succ_begin(const MachineBasicBlock *BB) { return BB->succ_begin(); }
1453inline auto pred_begin(const MachineBasicBlock *BB) { return BB->pred_begin(); }
1454inline auto succ_end(const MachineBasicBlock *BB) { return BB->succ_end(); }
1455inline auto pred_end(const MachineBasicBlock *BB) { return BB->pred_end(); }
1456
1457/// MachineInstrSpan provides an interface to get an iteration range
1458/// containing the instruction it was initialized with, along with all
1459/// those instructions inserted prior to or following that instruction
1460/// at some point after the MachineInstrSpan is constructed.
1462 MachineBasicBlock &MBB;
1464
1465public:
1467 : MBB(*BB), I(I), B(I == MBB.begin() ? MBB.end() : std::prev(I)),
1468 E(std::next(I)) {
1469 assert(I == BB->end() || I->getParent() == BB);
1470 }
1471
1473 return B == MBB.end() ? MBB.begin() : std::next(B);
1474 }
1476 bool empty() { return begin() == end(); }
1477
1479};
1480
1481/// Increment \p It until it points to a non-debug instruction or to \p End
1482/// and return the resulting iterator. This function should only be used
1483/// MachineBasicBlock::{iterator, const_iterator, instr_iterator,
1484/// const_instr_iterator} and the respective reverse iterators.
1485template <typename IterT>
1486inline IterT skipDebugInstructionsForward(IterT It, IterT End,
1487 bool SkipPseudoOp = true) {
1488 while (It != End &&
1489 (It->isDebugInstr() || (SkipPseudoOp && It->isPseudoProbe())))
1490 ++It;
1491 return It;
1492}
1493
1494/// Decrement \p It until it points to a non-debug instruction or to \p Begin
1495/// and return the resulting iterator. This function should only be used
1496/// MachineBasicBlock::{iterator, const_iterator, instr_iterator,
1497/// const_instr_iterator} and the respective reverse iterators.
1498template <class IterT>
1499inline IterT skipDebugInstructionsBackward(IterT It, IterT Begin,
1500 bool SkipPseudoOp = true) {
1501 while (It != Begin &&
1502 (It->isDebugInstr() || (SkipPseudoOp && It->isPseudoProbe())))
1503 --It;
1504 return It;
1505}
1506
1507/// Increment \p It, then continue incrementing it while it points to a debug
1508/// instruction. A replacement for std::next.
1509template <typename IterT>
1510inline IterT next_nodbg(IterT It, IterT End, bool SkipPseudoOp = true) {
1511 return skipDebugInstructionsForward(std::next(It), End, SkipPseudoOp);
1512}
1513
1514/// Decrement \p It, then continue decrementing it while it points to a debug
1515/// instruction. A replacement for std::prev.
1516template <typename IterT>
1517inline IterT prev_nodbg(IterT It, IterT Begin, bool SkipPseudoOp = true) {
1518 return skipDebugInstructionsBackward(std::prev(It), Begin, SkipPseudoOp);
1519}
1520
1521/// Construct a range iterator which begins at \p It and moves forwards until
1522/// \p End is reached, skipping any debug instructions.
1523template <typename IterT>
1524inline auto instructionsWithoutDebug(IterT It, IterT End,
1525 bool SkipPseudoOp = true) {
1526 return make_filter_range(make_range(It, End), [=](const MachineInstr &MI) {
1527 return !MI.isDebugInstr() && !(SkipPseudoOp && MI.isPseudoProbe());
1528 });
1529}
1530
1531} // end namespace llvm
1532
1533#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:123
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.
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
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.
Definition Types.h:26
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:1739
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:552
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:138
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:139
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:870
#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