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