LLVM 18.0.0git
MachineInstr.h
Go to the documentation of this file.
1//===- llvm/CodeGen/MachineInstr.h - MachineInstr class ---------*- 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// This file contains the declaration of the MachineInstr class, which is the
10// basic representation for all target dependent machine instructions used by
11// the back end.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_CODEGEN_MACHINEINSTR_H
16#define LLVM_CODEGEN_MACHINEINSTR_H
17
20#include "llvm/ADT/ilist.h"
21#include "llvm/ADT/ilist_node.h"
26#include "llvm/IR/DebugLoc.h"
27#include "llvm/IR/InlineAsm.h"
28#include "llvm/MC/MCInstrDesc.h"
29#include "llvm/MC/MCSymbol.h"
33#include <algorithm>
34#include <cassert>
35#include <cstdint>
36#include <utility>
37
38namespace llvm {
39
40class DILabel;
41class Instruction;
42class MDNode;
43class AAResults;
44template <typename T> class ArrayRef;
45class DIExpression;
46class DILocalVariable;
47class MachineBasicBlock;
48class MachineFunction;
49class MachineRegisterInfo;
50class ModuleSlotTracker;
51class raw_ostream;
52template <typename T> class SmallVectorImpl;
53class SmallBitVector;
54class StringRef;
55class TargetInstrInfo;
56class TargetRegisterClass;
57class TargetRegisterInfo;
58
59//===----------------------------------------------------------------------===//
60/// Representation of each machine instruction.
61///
62/// This class isn't a POD type, but it must have a trivial destructor. When a
63/// MachineFunction is deleted, all the contained MachineInstrs are deallocated
64/// without having their destructor called.
65///
67 : public ilist_node_with_parent<MachineInstr, MachineBasicBlock,
68 ilist_sentinel_tracking<true>> {
69public:
71
72 /// Flags to specify different kinds of comments to output in
73 /// assembly code. These flags carry semantic information not
74 /// otherwise easily derivable from the IR text.
75 ///
77 ReloadReuse = 0x1, // higher bits are reserved for target dep comments.
79 TAsmComments = 0x4 // Target Asm comments should start from this value.
80 };
81
82 enum MIFlag {
84 FrameSetup = 1 << 0, // Instruction is used as a part of
85 // function frame setup code.
86 FrameDestroy = 1 << 1, // Instruction is used as a part of
87 // function frame destruction code.
88 BundledPred = 1 << 2, // Instruction has bundled predecessors.
89 BundledSucc = 1 << 3, // Instruction has bundled successors.
90 FmNoNans = 1 << 4, // Instruction does not support Fast
91 // math nan values.
92 FmNoInfs = 1 << 5, // Instruction does not support Fast
93 // math infinity values.
94 FmNsz = 1 << 6, // Instruction is not required to retain
95 // signed zero values.
96 FmArcp = 1 << 7, // Instruction supports Fast math
97 // reciprocal approximations.
98 FmContract = 1 << 8, // Instruction supports Fast math
99 // contraction operations like fma.
100 FmAfn = 1 << 9, // Instruction may map to Fast math
101 // intrinsic approximation.
102 FmReassoc = 1 << 10, // Instruction supports Fast math
103 // reassociation of operand order.
104 NoUWrap = 1 << 11, // Instruction supports binary operator
105 // no unsigned wrap.
106 NoSWrap = 1 << 12, // Instruction supports binary operator
107 // no signed wrap.
108 IsExact = 1 << 13, // Instruction supports division is
109 // known to be exact.
110 NoFPExcept = 1 << 14, // Instruction does not raise
111 // floatint-point exceptions.
112 NoMerge = 1 << 15, // Passes that drop source location info
113 // (e.g. branch folding) should skip
114 // this instruction.
115 Unpredictable = 1 << 16, // Instruction with unpredictable condition.
116 NoConvergent = 1 << 17, // Call does not require convergence guarantees.
117 };
118
119private:
120 const MCInstrDesc *MCID; // Instruction descriptor.
121 MachineBasicBlock *Parent = nullptr; // Pointer to the owning basic block.
122
123 // Operands are allocated by an ArrayRecycler.
124 MachineOperand *Operands = nullptr; // Pointer to the first operand.
125
126#define LLVM_MI_NUMOPERANDS_BITS 24
127#define LLVM_MI_FLAGS_BITS 24
128#define LLVM_MI_ASMPRINTERFLAGS_BITS 8
129
130 /// Number of operands on instruction.
132
133 // OperandCapacity has uint8_t size, so it should be next to NumOperands
134 // to properly pack.
135 using OperandCapacity = ArrayRecycler<MachineOperand>::Capacity;
136 OperandCapacity CapOperands; // Capacity of the Operands array.
137
138 /// Various bits of additional information about the machine instruction.
140
141 /// Various bits of information used by the AsmPrinter to emit helpful
142 /// comments. This is *not* semantic information. Do not use this for
143 /// anything other than to convey comment information to AsmPrinter.
144 uint8_t AsmPrinterFlags : LLVM_MI_ASMPRINTERFLAGS_BITS;
145
146 /// Internal implementation detail class that provides out-of-line storage for
147 /// extra info used by the machine instruction when this info cannot be stored
148 /// in-line within the instruction itself.
149 ///
150 /// This has to be defined eagerly due to the implementation constraints of
151 /// `PointerSumType` where it is used.
152 class ExtraInfo final : TrailingObjects<ExtraInfo, MachineMemOperand *,
153 MCSymbol *, MDNode *, uint32_t> {
154 public:
155 static ExtraInfo *create(BumpPtrAllocator &Allocator,
156 ArrayRef<MachineMemOperand *> MMOs,
157 MCSymbol *PreInstrSymbol = nullptr,
158 MCSymbol *PostInstrSymbol = nullptr,
159 MDNode *HeapAllocMarker = nullptr,
160 MDNode *PCSections = nullptr,
161 uint32_t CFIType = 0) {
162 bool HasPreInstrSymbol = PreInstrSymbol != nullptr;
163 bool HasPostInstrSymbol = PostInstrSymbol != nullptr;
164 bool HasHeapAllocMarker = HeapAllocMarker != nullptr;
165 bool HasCFIType = CFIType != 0;
166 bool HasPCSections = PCSections != nullptr;
167 auto *Result = new (Allocator.Allocate(
168 totalSizeToAlloc<MachineMemOperand *, MCSymbol *, MDNode *, uint32_t>(
169 MMOs.size(), HasPreInstrSymbol + HasPostInstrSymbol,
170 HasHeapAllocMarker + HasPCSections, HasCFIType),
171 alignof(ExtraInfo)))
172 ExtraInfo(MMOs.size(), HasPreInstrSymbol, HasPostInstrSymbol,
173 HasHeapAllocMarker, HasPCSections, HasCFIType);
174
175 // Copy the actual data into the trailing objects.
176 std::copy(MMOs.begin(), MMOs.end(),
177 Result->getTrailingObjects<MachineMemOperand *>());
178
179 if (HasPreInstrSymbol)
180 Result->getTrailingObjects<MCSymbol *>()[0] = PreInstrSymbol;
181 if (HasPostInstrSymbol)
182 Result->getTrailingObjects<MCSymbol *>()[HasPreInstrSymbol] =
183 PostInstrSymbol;
184 if (HasHeapAllocMarker)
185 Result->getTrailingObjects<MDNode *>()[0] = HeapAllocMarker;
186 if (HasPCSections)
187 Result->getTrailingObjects<MDNode *>()[HasHeapAllocMarker] =
188 PCSections;
189 if (HasCFIType)
190 Result->getTrailingObjects<uint32_t>()[0] = CFIType;
191
192 return Result;
193 }
194
195 ArrayRef<MachineMemOperand *> getMMOs() const {
196 return ArrayRef(getTrailingObjects<MachineMemOperand *>(), NumMMOs);
197 }
198
199 MCSymbol *getPreInstrSymbol() const {
200 return HasPreInstrSymbol ? getTrailingObjects<MCSymbol *>()[0] : nullptr;
201 }
202
203 MCSymbol *getPostInstrSymbol() const {
204 return HasPostInstrSymbol
205 ? getTrailingObjects<MCSymbol *>()[HasPreInstrSymbol]
206 : nullptr;
207 }
208
209 MDNode *getHeapAllocMarker() const {
210 return HasHeapAllocMarker ? getTrailingObjects<MDNode *>()[0] : nullptr;
211 }
212
213 MDNode *getPCSections() const {
214 return HasPCSections
215 ? getTrailingObjects<MDNode *>()[HasHeapAllocMarker]
216 : nullptr;
217 }
218
219 uint32_t getCFIType() const {
220 return HasCFIType ? getTrailingObjects<uint32_t>()[0] : 0;
221 }
222
223 private:
224 friend TrailingObjects;
225
226 // Description of the extra info, used to interpret the actual optional
227 // data appended.
228 //
229 // Note that this is not terribly space optimized. This leaves a great deal
230 // of flexibility to fit more in here later.
231 const int NumMMOs;
232 const bool HasPreInstrSymbol;
233 const bool HasPostInstrSymbol;
234 const bool HasHeapAllocMarker;
235 const bool HasPCSections;
236 const bool HasCFIType;
237
238 // Implement the `TrailingObjects` internal API.
239 size_t numTrailingObjects(OverloadToken<MachineMemOperand *>) const {
240 return NumMMOs;
241 }
242 size_t numTrailingObjects(OverloadToken<MCSymbol *>) const {
243 return HasPreInstrSymbol + HasPostInstrSymbol;
244 }
245 size_t numTrailingObjects(OverloadToken<MDNode *>) const {
246 return HasHeapAllocMarker + HasPCSections;
247 }
248 size_t numTrailingObjects(OverloadToken<uint32_t>) const {
249 return HasCFIType;
250 }
251
252 // Just a boring constructor to allow us to initialize the sizes. Always use
253 // the `create` routine above.
254 ExtraInfo(int NumMMOs, bool HasPreInstrSymbol, bool HasPostInstrSymbol,
255 bool HasHeapAllocMarker, bool HasPCSections, bool HasCFIType)
256 : NumMMOs(NumMMOs), HasPreInstrSymbol(HasPreInstrSymbol),
257 HasPostInstrSymbol(HasPostInstrSymbol),
258 HasHeapAllocMarker(HasHeapAllocMarker), HasPCSections(HasPCSections),
259 HasCFIType(HasCFIType) {}
260 };
261
262 /// Enumeration of the kinds of inline extra info available. It is important
263 /// that the `MachineMemOperand` inline kind has a tag value of zero to make
264 /// it accessible as an `ArrayRef`.
265 enum ExtraInfoInlineKinds {
266 EIIK_MMO = 0,
267 EIIK_PreInstrSymbol,
268 EIIK_PostInstrSymbol,
269 EIIK_OutOfLine
270 };
271
272 // We store extra information about the instruction here. The common case is
273 // expected to be nothing or a single pointer (typically a MMO or a symbol).
274 // We work to optimize this common case by storing it inline here rather than
275 // requiring a separate allocation, but we fall back to an allocation when
276 // multiple pointers are needed.
277 PointerSumType<ExtraInfoInlineKinds,
278 PointerSumTypeMember<EIIK_MMO, MachineMemOperand *>,
279 PointerSumTypeMember<EIIK_PreInstrSymbol, MCSymbol *>,
280 PointerSumTypeMember<EIIK_PostInstrSymbol, MCSymbol *>,
281 PointerSumTypeMember<EIIK_OutOfLine, ExtraInfo *>>
282 Info;
283
284 DebugLoc DbgLoc; // Source line information.
285
286 /// Unique instruction number. Used by DBG_INSTR_REFs to refer to the values
287 /// defined by this instruction.
288 unsigned DebugInstrNum;
289
290 // Intrusive list support
291 friend struct ilist_traits<MachineInstr>;
293 void setParent(MachineBasicBlock *P) { Parent = P; }
294
295 /// This constructor creates a copy of the given
296 /// MachineInstr in the given MachineFunction.
298
299 /// This constructor create a MachineInstr and add the implicit operands.
300 /// It reserves space for number of operands specified by
301 /// MCInstrDesc. An explicit DebugLoc is supplied.
303 bool NoImp = false);
304
305 // MachineInstrs are pool-allocated and owned by MachineFunction.
306 friend class MachineFunction;
307
308 void
309 dumprImpl(const MachineRegisterInfo &MRI, unsigned Depth, unsigned MaxDepth,
310 SmallPtrSetImpl<const MachineInstr *> &AlreadySeenInstrs) const;
311
312 static bool opIsRegDef(const MachineOperand &Op) {
313 return Op.isReg() && Op.isDef();
314 }
315
316 static bool opIsRegUse(const MachineOperand &Op) {
317 return Op.isReg() && Op.isUse();
318 }
319
320public:
321 MachineInstr(const MachineInstr &) = delete;
323 // Use MachineFunction::DeleteMachineInstr() instead.
324 ~MachineInstr() = delete;
325
326 const MachineBasicBlock* getParent() const { return Parent; }
327 MachineBasicBlock* getParent() { return Parent; }
328
329 /// Move the instruction before \p MovePos.
330 void moveBefore(MachineInstr *MovePos);
331
332 /// Return the function that contains the basic block that this instruction
333 /// belongs to.
334 ///
335 /// Note: this is undefined behaviour if the instruction does not have a
336 /// parent.
337 const MachineFunction *getMF() const;
339 return const_cast<MachineFunction *>(
340 static_cast<const MachineInstr *>(this)->getMF());
341 }
342
343 /// Return the asm printer flags bitvector.
344 uint8_t getAsmPrinterFlags() const { return AsmPrinterFlags; }
345
346 /// Clear the AsmPrinter bitvector.
347 void clearAsmPrinterFlags() { AsmPrinterFlags = 0; }
348
349 /// Return whether an AsmPrinter flag is set.
351 assert(isUInt<LLVM_MI_ASMPRINTERFLAGS_BITS>(unsigned(Flag)) &&
352 "Flag is out of range for the AsmPrinterFlags field");
353 return AsmPrinterFlags & Flag;
354 }
355
356 /// Set a flag for the AsmPrinter.
357 void setAsmPrinterFlag(uint8_t Flag) {
358 assert(isUInt<LLVM_MI_ASMPRINTERFLAGS_BITS>(unsigned(Flag)) &&
359 "Flag is out of range for the AsmPrinterFlags field");
360 AsmPrinterFlags |= Flag;
361 }
362
363 /// Clear specific AsmPrinter flags.
365 assert(isUInt<LLVM_MI_ASMPRINTERFLAGS_BITS>(unsigned(Flag)) &&
366 "Flag is out of range for the AsmPrinterFlags field");
367 AsmPrinterFlags &= ~Flag;
368 }
369
370 /// Return the MI flags bitvector.
372 return Flags;
373 }
374
375 /// Return whether an MI flag is set.
376 bool getFlag(MIFlag Flag) const {
377 assert(isUInt<LLVM_MI_FLAGS_BITS>(unsigned(Flag)) &&
378 "Flag is out of range for the Flags field");
379 return Flags & Flag;
380 }
381
382 /// Set a MI flag.
383 void setFlag(MIFlag Flag) {
384 assert(isUInt<LLVM_MI_FLAGS_BITS>(unsigned(Flag)) &&
385 "Flag is out of range for the Flags field");
386 Flags |= (uint32_t)Flag;
387 }
388
389 void setFlags(unsigned flags) {
390 assert(isUInt<LLVM_MI_FLAGS_BITS>(flags) &&
391 "flags to be set are out of range for the Flags field");
392 // Filter out the automatically maintained flags.
393 unsigned Mask = BundledPred | BundledSucc;
394 Flags = (Flags & Mask) | (flags & ~Mask);
395 }
396
397 /// clearFlag - Clear a MI flag.
398 void clearFlag(MIFlag Flag) {
399 assert(isUInt<LLVM_MI_FLAGS_BITS>(unsigned(Flag)) &&
400 "Flag to clear is out of range for the Flags field");
401 Flags &= ~((uint32_t)Flag);
402 }
403
404 /// Return true if MI is in a bundle (but not the first MI in a bundle).
405 ///
406 /// A bundle looks like this before it's finalized:
407 /// ----------------
408 /// | MI |
409 /// ----------------
410 /// |
411 /// ----------------
412 /// | MI * |
413 /// ----------------
414 /// |
415 /// ----------------
416 /// | MI * |
417 /// ----------------
418 /// In this case, the first MI starts a bundle but is not inside a bundle, the
419 /// next 2 MIs are considered "inside" the bundle.
420 ///
421 /// After a bundle is finalized, it looks like this:
422 /// ----------------
423 /// | Bundle |
424 /// ----------------
425 /// |
426 /// ----------------
427 /// | MI * |
428 /// ----------------
429 /// |
430 /// ----------------
431 /// | MI * |
432 /// ----------------
433 /// |
434 /// ----------------
435 /// | MI * |
436 /// ----------------
437 /// The first instruction has the special opcode "BUNDLE". It's not "inside"
438 /// a bundle, but the next three MIs are.
439 bool isInsideBundle() const {
440 return getFlag(BundledPred);
441 }
442
443 /// Return true if this instruction part of a bundle. This is true
444 /// if either itself or its following instruction is marked "InsideBundle".
445 bool isBundled() const {
447 }
448
449 /// Return true if this instruction is part of a bundle, and it is not the
450 /// first instruction in the bundle.
451 bool isBundledWithPred() const { return getFlag(BundledPred); }
452
453 /// Return true if this instruction is part of a bundle, and it is not the
454 /// last instruction in the bundle.
455 bool isBundledWithSucc() const { return getFlag(BundledSucc); }
456
457 /// Bundle this instruction with its predecessor. This can be an unbundled
458 /// instruction, or it can be the first instruction in a bundle.
459 void bundleWithPred();
460
461 /// Bundle this instruction with its successor. This can be an unbundled
462 /// instruction, or it can be the last instruction in a bundle.
463 void bundleWithSucc();
464
465 /// Break bundle above this instruction.
466 void unbundleFromPred();
467
468 /// Break bundle below this instruction.
469 void unbundleFromSucc();
470
471 /// Returns the debug location id of this MachineInstr.
472 const DebugLoc &getDebugLoc() const { return DbgLoc; }
473
474 /// Return the operand containing the offset to be used if this DBG_VALUE
475 /// instruction is indirect; will be an invalid register if this value is
476 /// not indirect, and an immediate with value 0 otherwise.
478 assert(isNonListDebugValue() && "not a DBG_VALUE");
479 return getOperand(1);
480 }
482 assert(isNonListDebugValue() && "not a DBG_VALUE");
483 return getOperand(1);
484 }
485
486 /// Return the operand for the debug variable referenced by
487 /// this DBG_VALUE instruction.
488 const MachineOperand &getDebugVariableOp() const;
490
491 /// Return the debug variable referenced by
492 /// this DBG_VALUE instruction.
493 const DILocalVariable *getDebugVariable() const;
494
495 /// Return the operand for the complex address expression referenced by
496 /// this DBG_VALUE instruction.
499
500 /// Return the complex address expression referenced by
501 /// this DBG_VALUE instruction.
502 const DIExpression *getDebugExpression() const;
503
504 /// Return the debug label referenced by
505 /// this DBG_LABEL instruction.
506 const DILabel *getDebugLabel() const;
507
508 /// Fetch the instruction number of this MachineInstr. If it does not have
509 /// one already, a new and unique number will be assigned.
510 unsigned getDebugInstrNum();
511
512 /// Fetch instruction number of this MachineInstr -- but before it's inserted
513 /// into \p MF. Needed for transformations that create an instruction but
514 /// don't immediately insert them.
515 unsigned getDebugInstrNum(MachineFunction &MF);
516
517 /// Examine the instruction number of this MachineInstr. May be zero if
518 /// it hasn't been assigned a number yet.
519 unsigned peekDebugInstrNum() const { return DebugInstrNum; }
520
521 /// Set instruction number of this MachineInstr. Avoid using unless you're
522 /// deserializing this information.
523 void setDebugInstrNum(unsigned Num) { DebugInstrNum = Num; }
524
525 /// Drop any variable location debugging information associated with this
526 /// instruction. Use when an instruction is modified in such a way that it no
527 /// longer defines the value it used to. Variable locations using that value
528 /// will be dropped.
529 void dropDebugNumber() { DebugInstrNum = 0; }
530
531 /// Emit an error referring to the source location of this instruction.
532 /// This should only be used for inline assembly that is somehow
533 /// impossible to compile. Other errors should have been handled much
534 /// earlier.
535 ///
536 /// If this method returns, the caller should try to recover from the error.
537 void emitError(StringRef Msg) const;
538
539 /// Returns the target instruction descriptor of this MachineInstr.
540 const MCInstrDesc &getDesc() const { return *MCID; }
541
542 /// Returns the opcode of this MachineInstr.
543 unsigned getOpcode() const { return MCID->Opcode; }
544
545 /// Retuns the total number of operands.
546 unsigned getNumOperands() const { return NumOperands; }
547
548 /// Returns the total number of operands which are debug locations.
549 unsigned getNumDebugOperands() const {
550 return std::distance(debug_operands().begin(), debug_operands().end());
551 }
552
553 const MachineOperand& getOperand(unsigned i) const {
554 assert(i < getNumOperands() && "getOperand() out of range!");
555 return Operands[i];
556 }
558 assert(i < getNumOperands() && "getOperand() out of range!");
559 return Operands[i];
560 }
561
563 assert(Index < getNumDebugOperands() && "getDebugOperand() out of range!");
564 return *(debug_operands().begin() + Index);
565 }
566 const MachineOperand &getDebugOperand(unsigned Index) const {
567 assert(Index < getNumDebugOperands() && "getDebugOperand() out of range!");
568 return *(debug_operands().begin() + Index);
569 }
570
571 /// Returns whether this debug value has at least one debug operand with the
572 /// register \p Reg.
574 return any_of(debug_operands(), [Reg](const MachineOperand &Op) {
575 return Op.isReg() && Op.getReg() == Reg;
576 });
577 }
578
579 /// Returns a range of all of the operands that correspond to a debug use of
580 /// \p Reg.
581 template <typename Operand, typename Instruction>
582 static iterator_range<
583 filter_iterator<Operand *, std::function<bool(Operand &Op)>>>
585 std::function<bool(Operand & Op)> OpUsesReg(
586 [Reg](Operand &Op) { return Op.isReg() && Op.getReg() == Reg; });
587 return make_filter_range(MI->debug_operands(), OpUsesReg);
588 }
590 std::function<bool(const MachineOperand &Op)>>>
593 const MachineInstr>(this, Reg);
594 }
596 std::function<bool(MachineOperand &Op)>>>
598 return MachineInstr::getDebugOperandsForReg<MachineOperand, MachineInstr>(
599 this, Reg);
600 }
601
602 bool isDebugOperand(const MachineOperand *Op) const {
603 return Op >= adl_begin(debug_operands()) && Op <= adl_end(debug_operands());
604 }
605
606 unsigned getDebugOperandIndex(const MachineOperand *Op) const {
607 assert(isDebugOperand(Op) && "Expected a debug operand.");
608 return std::distance(adl_begin(debug_operands()), Op);
609 }
610
611 /// Returns the total number of definitions.
612 unsigned getNumDefs() const {
613 return getNumExplicitDefs() + MCID->implicit_defs().size();
614 }
615
616 /// Returns true if the instruction has implicit definition.
617 bool hasImplicitDef() const {
618 for (const MachineOperand &MO : implicit_operands())
619 if (MO.isDef() && MO.isImplicit())
620 return true;
621 return false;
622 }
623
624 /// Returns the implicit operands number.
625 unsigned getNumImplicitOperands() const {
627 }
628
629 /// Return true if operand \p OpIdx is a subregister index.
630 bool isOperandSubregIdx(unsigned OpIdx) const {
631 assert(getOperand(OpIdx).isImm() && "Expected MO_Immediate operand type.");
632 if (isExtractSubreg() && OpIdx == 2)
633 return true;
634 if (isInsertSubreg() && OpIdx == 3)
635 return true;
636 if (isRegSequence() && OpIdx > 1 && (OpIdx % 2) == 0)
637 return true;
638 if (isSubregToReg() && OpIdx == 3)
639 return true;
640 return false;
641 }
642
643 /// Returns the number of non-implicit operands.
644 unsigned getNumExplicitOperands() const;
645
646 /// Returns the number of non-implicit definitions.
647 unsigned getNumExplicitDefs() const;
648
649 /// iterator/begin/end - Iterate over all operands of a machine instruction.
652
654 mop_iterator operands_end() { return Operands + NumOperands; }
655
657 const_mop_iterator operands_end() const { return Operands + NumOperands; }
658
661 }
664 }
666 return make_range(operands_begin(),
668 }
670 return make_range(operands_begin(),
672 }
674 return make_range(explicit_operands().end(), operands_end());
675 }
677 return make_range(explicit_operands().end(), operands_end());
678 }
679 /// Returns a range over all operands that are used to determine the variable
680 /// location for this DBG_VALUE instruction.
682 assert((isDebugValueLike()) && "Must be a debug value instruction.");
683 return isNonListDebugValue()
686 }
687 /// \copydoc debug_operands()
689 assert((isDebugValueLike()) && "Must be a debug value instruction.");
690 return isNonListDebugValue()
693 }
694 /// Returns a range over all explicit operands that are register definitions.
695 /// Implicit definition are not included!
697 return make_range(operands_begin(),
699 }
700 /// \copydoc defs()
702 return make_range(operands_begin(),
704 }
705 /// Returns a range that includes all operands that are register uses.
706 /// This may include unrelated operands which are not register uses.
709 }
710 /// \copydoc uses()
713 }
717 }
721 }
722
727
728 /// Returns an iterator range over all operands that are (explicit or
729 /// implicit) register defs.
731 return make_filter_range(operands(), opIsRegDef);
732 }
733 /// \copydoc all_defs()
735 return make_filter_range(operands(), opIsRegDef);
736 }
737
738 /// Returns an iterator range over all operands that are (explicit or
739 /// implicit) register uses.
741 return make_filter_range(uses(), opIsRegUse);
742 }
743 /// \copydoc all_uses()
745 return make_filter_range(uses(), opIsRegUse);
746 }
747
748 /// Returns the number of the operand iterator \p I points to.
750 return I - operands_begin();
751 }
752
753 /// Access to memory operands of the instruction. If there are none, that does
754 /// not imply anything about whether the function accesses memory. Instead,
755 /// the caller must behave conservatively.
757 if (!Info)
758 return {};
759
760 if (Info.is<EIIK_MMO>())
761 return ArrayRef(Info.getAddrOfZeroTagPointer(), 1);
762
763 if (ExtraInfo *EI = Info.get<EIIK_OutOfLine>())
764 return EI->getMMOs();
765
766 return {};
767 }
768
769 /// Access to memory operands of the instruction.
770 ///
771 /// If `memoperands_begin() == memoperands_end()`, that does not imply
772 /// anything about whether the function accesses memory. Instead, the caller
773 /// must behave conservatively.
774 mmo_iterator memoperands_begin() const { return memoperands().begin(); }
775
776 /// Access to memory operands of the instruction.
777 ///
778 /// If `memoperands_begin() == memoperands_end()`, that does not imply
779 /// anything about whether the function accesses memory. Instead, the caller
780 /// must behave conservatively.
781 mmo_iterator memoperands_end() const { return memoperands().end(); }
782
783 /// Return true if we don't have any memory operands which described the
784 /// memory access done by this instruction. If this is true, calling code
785 /// must be conservative.
786 bool memoperands_empty() const { return memoperands().empty(); }
787
788 /// Return true if this instruction has exactly one MachineMemOperand.
789 bool hasOneMemOperand() const { return memoperands().size() == 1; }
790
791 /// Return the number of memory operands.
792 unsigned getNumMemOperands() const { return memoperands().size(); }
793
794 /// Helper to extract a pre-instruction symbol if one has been added.
796 if (!Info)
797 return nullptr;
798 if (MCSymbol *S = Info.get<EIIK_PreInstrSymbol>())
799 return S;
800 if (ExtraInfo *EI = Info.get<EIIK_OutOfLine>())
801 return EI->getPreInstrSymbol();
802
803 return nullptr;
804 }
805
806 /// Helper to extract a post-instruction symbol if one has been added.
808 if (!Info)
809 return nullptr;
810 if (MCSymbol *S = Info.get<EIIK_PostInstrSymbol>())
811 return S;
812 if (ExtraInfo *EI = Info.get<EIIK_OutOfLine>())
813 return EI->getPostInstrSymbol();
814
815 return nullptr;
816 }
817
818 /// Helper to extract a heap alloc marker if one has been added.
820 if (!Info)
821 return nullptr;
822 if (ExtraInfo *EI = Info.get<EIIK_OutOfLine>())
823 return EI->getHeapAllocMarker();
824
825 return nullptr;
826 }
827
828 /// Helper to extract PCSections metadata target sections.
830 if (!Info)
831 return nullptr;
832 if (ExtraInfo *EI = Info.get<EIIK_OutOfLine>())
833 return EI->getPCSections();
834
835 return nullptr;
836 }
837
838 /// Helper to extract a CFI type hash if one has been added.
840 if (!Info)
841 return 0;
842 if (ExtraInfo *EI = Info.get<EIIK_OutOfLine>())
843 return EI->getCFIType();
844
845 return 0;
846 }
847
848 /// API for querying MachineInstr properties. They are the same as MCInstrDesc
849 /// queries but they are bundle aware.
850
852 IgnoreBundle, // Ignore bundles
853 AnyInBundle, // Return true if any instruction in bundle has property
854 AllInBundle // Return true if all instructions in bundle have property
855 };
856
857 /// Return true if the instruction (or in the case of a bundle,
858 /// the instructions inside the bundle) has the specified property.
859 /// The first argument is the property being queried.
860 /// The second argument indicates whether the query should look inside
861 /// instruction bundles.
862 bool hasProperty(unsigned MCFlag, QueryType Type = AnyInBundle) const {
863 assert(MCFlag < 64 &&
864 "MCFlag out of range for bit mask in getFlags/hasPropertyInBundle.");
865 // Inline the fast path for unbundled or bundle-internal instructions.
867 return getDesc().getFlags() & (1ULL << MCFlag);
868
869 // If this is the first instruction in a bundle, take the slow path.
870 return hasPropertyInBundle(1ULL << MCFlag, Type);
871 }
872
873 /// Return true if this is an instruction that should go through the usual
874 /// legalization steps.
877 }
878
879 /// Return true if this instruction can have a variable number of operands.
880 /// In this case, the variable operands will be after the normal
881 /// operands but before the implicit definitions and uses (if any are
882 /// present).
885 }
886
887 /// Set if this instruction has an optional definition, e.g.
888 /// ARM instructions which can set condition code if 's' bit is set.
891 }
892
893 /// Return true if this is a pseudo instruction that doesn't
894 /// correspond to a real machine instruction.
897 }
898
899 /// Return true if this instruction doesn't produce any output in the form of
900 /// executable instructions.
902 return hasProperty(MCID::Meta, Type);
903 }
904
907 }
908
909 /// Return true if this is an instruction that marks the end of an EH scope,
910 /// i.e., a catchpad or a cleanuppad instruction.
913 }
914
916 return hasProperty(MCID::Call, Type);
917 }
918
919 /// Return true if this is a call instruction that may have an associated
920 /// call site entry in the debug info.
922 /// Return true if copying, moving, or erasing this instruction requires
923 /// updating Call Site Info (see \ref copyCallSiteInfo, \ref moveCallSiteInfo,
924 /// \ref eraseCallSiteInfo).
925 bool shouldUpdateCallSiteInfo() const;
926
927 /// Returns true if the specified instruction stops control flow
928 /// from executing the instruction immediately following it. Examples include
929 /// unconditional branches and return instructions.
932 }
933
934 /// Returns true if this instruction part of the terminator for a basic block.
935 /// Typically this is things like return and branch instructions.
936 ///
937 /// Various passes use this to insert code into the bottom of a basic block,
938 /// but before control flow occurs.
941 }
942
943 /// Returns true if this is a conditional, unconditional, or indirect branch.
944 /// Predicates below can be used to discriminate between
945 /// these cases, and the TargetInstrInfo::analyzeBranch method can be used to
946 /// get more information.
949 }
950
951 /// Return true if this is an indirect branch, such as a
952 /// branch through a register.
955 }
956
957 /// Return true if this is a branch which may fall
958 /// through to the next instruction or may transfer control flow to some other
959 /// block. The TargetInstrInfo::analyzeBranch method can be used to get more
960 /// information about this branch.
963 }
964
965 /// Return true if this is a branch which always
966 /// transfers control flow to some other block. The
967 /// TargetInstrInfo::analyzeBranch method can be used to get more information
968 /// about this branch.
971 }
972
973 /// Return true if this instruction has a predicate operand that
974 /// controls execution. It may be set to 'always', or may be set to other
975 /// values. There are various methods in TargetInstrInfo that can be used to
976 /// control and modify the predicate in this instruction.
978 // If it's a bundle than all bundled instructions must be predicable for this
979 // to return true.
981 }
982
983 /// Return true if this instruction is a comparison.
986 }
987
988 /// Return true if this instruction is a move immediate
989 /// (including conditional moves) instruction.
992 }
993
994 /// Return true if this instruction is a register move.
995 /// (including moving values from subreg to reg)
998 }
999
1000 /// Return true if this instruction is a bitcast instruction.
1003 }
1004
1005 /// Return true if this instruction is a select instruction.
1007 return hasProperty(MCID::Select, Type);
1008 }
1009
1010 /// Return true if this instruction cannot be safely duplicated.
1011 /// For example, if the instruction has a unique labels attached
1012 /// to it, duplicating it would cause multiple definition errors.
1015 return true;
1017 }
1018
1019 /// Return true if this instruction is convergent.
1020 /// Convergent instructions can not be made control-dependent on any
1021 /// additional values.
1023 if (isInlineAsm()) {
1024 unsigned ExtraInfo = getOperand(InlineAsm::MIOp_ExtraInfo).getImm();
1025 if (ExtraInfo & InlineAsm::Extra_IsConvergent)
1026 return true;
1027 }
1028 if (getFlag(NoConvergent))
1029 return false;
1031 }
1032
1033 /// Returns true if the specified instruction has a delay slot
1034 /// which must be filled by the code generator.
1037 }
1038
1039 /// Return true for instructions that can be folded as
1040 /// memory operands in other instructions. The most common use for this
1041 /// is instructions that are simple loads from memory that don't modify
1042 /// the loaded value in any way, but it can also be used for instructions
1043 /// that can be expressed as constant-pool loads, such as V_SETALLONES
1044 /// on x86, to allow them to be folded when it is beneficial.
1045 /// This should only be set on instructions that return a value in their
1046 /// only virtual register definition.
1049 }
1050
1051 /// Return true if this instruction behaves
1052 /// the same way as the generic REG_SEQUENCE instructions.
1053 /// E.g., on ARM,
1054 /// dX VMOVDRR rY, rZ
1055 /// is equivalent to
1056 /// dX = REG_SEQUENCE rY, ssub_0, rZ, ssub_1.
1057 ///
1058 /// Note that for the optimizers to be able to take advantage of
1059 /// this property, TargetInstrInfo::getRegSequenceLikeInputs has to be
1060 /// override accordingly.
1063 }
1064
1065 /// Return true if this instruction behaves
1066 /// the same way as the generic EXTRACT_SUBREG instructions.
1067 /// E.g., on ARM,
1068 /// rX, rY VMOVRRD dZ
1069 /// is equivalent to two EXTRACT_SUBREG:
1070 /// rX = EXTRACT_SUBREG dZ, ssub_0
1071 /// rY = EXTRACT_SUBREG dZ, ssub_1
1072 ///
1073 /// Note that for the optimizers to be able to take advantage of
1074 /// this property, TargetInstrInfo::getExtractSubregLikeInputs has to be
1075 /// override accordingly.
1078 }
1079
1080 /// Return true if this instruction behaves
1081 /// the same way as the generic INSERT_SUBREG instructions.
1082 /// E.g., on ARM,
1083 /// dX = VSETLNi32 dY, rZ, Imm
1084 /// is equivalent to a INSERT_SUBREG:
1085 /// dX = INSERT_SUBREG dY, rZ, translateImmToSubIdx(Imm)
1086 ///
1087 /// Note that for the optimizers to be able to take advantage of
1088 /// this property, TargetInstrInfo::getInsertSubregLikeInputs has to be
1089 /// override accordingly.
1092 }
1093
1094 //===--------------------------------------------------------------------===//
1095 // Side Effect Analysis
1096 //===--------------------------------------------------------------------===//
1097
1098 /// Return true if this instruction could possibly read memory.
1099 /// Instructions with this flag set are not necessarily simple load
1100 /// instructions, they may load a value and modify it, for example.
1102 if (isInlineAsm()) {
1103 unsigned ExtraInfo = getOperand(InlineAsm::MIOp_ExtraInfo).getImm();
1104 if (ExtraInfo & InlineAsm::Extra_MayLoad)
1105 return true;
1106 }
1108 }
1109
1110 /// Return true if this instruction could possibly modify memory.
1111 /// Instructions with this flag set are not necessarily simple store
1112 /// instructions, they may store a modified value based on their operands, or
1113 /// may not actually modify anything, for example.
1115 if (isInlineAsm()) {
1116 unsigned ExtraInfo = getOperand(InlineAsm::MIOp_ExtraInfo).getImm();
1117 if (ExtraInfo & InlineAsm::Extra_MayStore)
1118 return true;
1119 }
1121 }
1122
1123 /// Return true if this instruction could possibly read or modify memory.
1125 return mayLoad(Type) || mayStore(Type);
1126 }
1127
1128 /// Return true if this instruction could possibly raise a floating-point
1129 /// exception. This is the case if the instruction is a floating-point
1130 /// instruction that can in principle raise an exception, as indicated
1131 /// by the MCID::MayRaiseFPException property, *and* at the same time,
1132 /// the instruction is used in a context where we expect floating-point
1133 /// exceptions are not disabled, as indicated by the NoFPExcept MI flag.
1134 bool mayRaiseFPException() const {
1137 }
1138
1139 //===--------------------------------------------------------------------===//
1140 // Flags that indicate whether an instruction can be modified by a method.
1141 //===--------------------------------------------------------------------===//
1142
1143 /// Return true if this may be a 2- or 3-address
1144 /// instruction (of the form "X = op Y, Z, ..."), which produces the same
1145 /// result if Y and Z are exchanged. If this flag is set, then the
1146 /// TargetInstrInfo::commuteInstruction method may be used to hack on the
1147 /// instruction.
1148 ///
1149 /// Note that this flag may be set on instructions that are only commutable
1150 /// sometimes. In these cases, the call to commuteInstruction will fail.
1151 /// Also note that some instructions require non-trivial modification to
1152 /// commute them.
1155 }
1156
1157 /// Return true if this is a 2-address instruction
1158 /// which can be changed into a 3-address instruction if needed. Doing this
1159 /// transformation can be profitable in the register allocator, because it
1160 /// means that the instruction can use a 2-address form if possible, but
1161 /// degrade into a less efficient form if the source and dest register cannot
1162 /// be assigned to the same register. For example, this allows the x86
1163 /// backend to turn a "shl reg, 3" instruction into an LEA instruction, which
1164 /// is the same speed as the shift but has bigger code size.
1165 ///
1166 /// If this returns true, then the target must implement the
1167 /// TargetInstrInfo::convertToThreeAddress method for this instruction, which
1168 /// is allowed to fail if the transformation isn't valid for this specific
1169 /// instruction (e.g. shl reg, 4 on x86).
1170 ///
1173 }
1174
1175 /// Return true if this instruction requires
1176 /// custom insertion support when the DAG scheduler is inserting it into a
1177 /// machine basic block. If this is true for the instruction, it basically
1178 /// means that it is a pseudo instruction used at SelectionDAG time that is
1179 /// expanded out into magic code by the target when MachineInstrs are formed.
1180 ///
1181 /// If this is true, the TargetLoweringInfo::InsertAtEndOfBasicBlock method
1182 /// is used to insert this into the MachineBasicBlock.
1185 }
1186
1187 /// Return true if this instruction requires *adjustment*
1188 /// after instruction selection by calling a target hook. For example, this
1189 /// can be used to fill in ARM 's' optional operand depending on whether
1190 /// the conditional flag register is used.
1193 }
1194
1195 /// Returns true if this instruction is a candidate for remat.
1196 /// This flag is deprecated, please don't use it anymore. If this
1197 /// flag is set, the isReallyTriviallyReMaterializable() method is called to
1198 /// verify the instruction is really rematerializable.
1200 // It's only possible to re-mat a bundle if all bundled instructions are
1201 // re-materializable.
1203 }
1204
1205 /// Returns true if this instruction has the same cost (or less) than a move
1206 /// instruction. This is useful during certain types of optimizations
1207 /// (e.g., remat during two-address conversion or machine licm)
1208 /// where we would like to remat or hoist the instruction, but not if it costs
1209 /// more than moving the instruction into the appropriate register. Note, we
1210 /// are not marking copies from and to the same register class with this flag.
1212 // Only returns true for a bundle if all bundled instructions are cheap.
1214 }
1215
1216 /// Returns true if this instruction source operands
1217 /// have special register allocation requirements that are not captured by the
1218 /// operand register classes. e.g. ARM::STRD's two source registers must be an
1219 /// even / odd pair, ARM::STM registers have to be in ascending order.
1220 /// Post-register allocation passes should not attempt to change allocations
1221 /// for sources of instructions with this flag.
1224 }
1225
1226 /// Returns true if this instruction def operands
1227 /// have special register allocation requirements that are not captured by the
1228 /// operand register classes. e.g. ARM::LDRD's two def registers must be an
1229 /// even / odd pair, ARM::LDM registers have to be in ascending order.
1230 /// Post-register allocation passes should not attempt to change allocations
1231 /// for definitions of instructions with this flag.
1234 }
1235
1237 CheckDefs, // Check all operands for equality
1238 CheckKillDead, // Check all operands including kill / dead markers
1239 IgnoreDefs, // Ignore all definitions
1240 IgnoreVRegDefs // Ignore virtual register definitions
1242
1243 /// Return true if this instruction is identical to \p Other.
1244 /// Two instructions are identical if they have the same opcode and all their
1245 /// operands are identical (with respect to MachineOperand::isIdenticalTo()).
1246 /// Note that this means liveness related flags (dead, undef, kill) do not
1247 /// affect the notion of identical.
1248 bool isIdenticalTo(const MachineInstr &Other,
1249 MICheckType Check = CheckDefs) const;
1250
1251 /// Returns true if this instruction is a debug instruction that represents an
1252 /// identical debug value to \p Other.
1253 /// This function considers these debug instructions equivalent if they have
1254 /// identical variables, debug locations, and debug operands, and if the
1255 /// DIExpressions combined with the directness flags are equivalent.
1256 bool isEquivalentDbgInstr(const MachineInstr &Other) const;
1257
1258 /// Unlink 'this' from the containing basic block, and return it without
1259 /// deleting it.
1260 ///
1261 /// This function can not be used on bundled instructions, use
1262 /// removeFromBundle() to remove individual instructions from a bundle.
1264
1265 /// Unlink this instruction from its basic block and return it without
1266 /// deleting it.
1267 ///
1268 /// If the instruction is part of a bundle, the other instructions in the
1269 /// bundle remain bundled.
1271
1272 /// Unlink 'this' from the containing basic block and delete it.
1273 ///
1274 /// If this instruction is the header of a bundle, the whole bundle is erased.
1275 /// This function can not be used for instructions inside a bundle, use
1276 /// eraseFromBundle() to erase individual bundled instructions.
1277 void eraseFromParent();
1278
1279 /// Unlink 'this' form its basic block and delete it.
1280 ///
1281 /// If the instruction is part of a bundle, the other instructions in the
1282 /// bundle remain bundled.
1283 void eraseFromBundle();
1284
1285 bool isEHLabel() const { return getOpcode() == TargetOpcode::EH_LABEL; }
1286 bool isGCLabel() const { return getOpcode() == TargetOpcode::GC_LABEL; }
1287 bool isAnnotationLabel() const {
1288 return getOpcode() == TargetOpcode::ANNOTATION_LABEL;
1289 }
1290
1291 /// Returns true if the MachineInstr represents a label.
1292 bool isLabel() const {
1293 return isEHLabel() || isGCLabel() || isAnnotationLabel();
1294 }
1295
1296 bool isCFIInstruction() const {
1297 return getOpcode() == TargetOpcode::CFI_INSTRUCTION;
1298 }
1299
1300 bool isPseudoProbe() const {
1301 return getOpcode() == TargetOpcode::PSEUDO_PROBE;
1302 }
1303
1304 // True if the instruction represents a position in the function.
1305 bool isPosition() const { return isLabel() || isCFIInstruction(); }
1306
1307 bool isNonListDebugValue() const {
1308 return getOpcode() == TargetOpcode::DBG_VALUE;
1309 }
1310 bool isDebugValueList() const {
1311 return getOpcode() == TargetOpcode::DBG_VALUE_LIST;
1312 }
1313 bool isDebugValue() const {
1315 }
1316 bool isDebugLabel() const { return getOpcode() == TargetOpcode::DBG_LABEL; }
1317 bool isDebugRef() const { return getOpcode() == TargetOpcode::DBG_INSTR_REF; }
1318 bool isDebugValueLike() const { return isDebugValue() || isDebugRef(); }
1319 bool isDebugPHI() const { return getOpcode() == TargetOpcode::DBG_PHI; }
1320 bool isDebugInstr() const {
1321 return isDebugValue() || isDebugLabel() || isDebugRef() || isDebugPHI();
1322 }
1324 return isDebugInstr() || isPseudoProbe();
1325 }
1326
1327 bool isDebugOffsetImm() const {
1329 }
1330
1331 /// A DBG_VALUE is indirect iff the location operand is a register and
1332 /// the offset operand is an immediate.
1334 return isDebugOffsetImm() && getDebugOperand(0).isReg();
1335 }
1336
1337 /// A DBG_VALUE is an entry value iff its debug expression contains the
1338 /// DW_OP_LLVM_entry_value operation.
1339 bool isDebugEntryValue() const;
1340
1341 /// Return true if the instruction is a debug value which describes a part of
1342 /// a variable as unavailable.
1343 bool isUndefDebugValue() const {
1344 if (!isDebugValue())
1345 return false;
1346 // If any $noreg locations are given, this DV is undef.
1347 for (const MachineOperand &Op : debug_operands())
1348 if (Op.isReg() && !Op.getReg().isValid())
1349 return true;
1350 return false;
1351 }
1352
1354 return getOpcode() == TargetOpcode::JUMP_TABLE_DEBUG_INFO;
1355 }
1356
1357 bool isPHI() const {
1358 return getOpcode() == TargetOpcode::PHI ||
1359 getOpcode() == TargetOpcode::G_PHI;
1360 }
1361 bool isKill() const { return getOpcode() == TargetOpcode::KILL; }
1362 bool isImplicitDef() const { return getOpcode()==TargetOpcode::IMPLICIT_DEF; }
1363 bool isInlineAsm() const {
1364 return getOpcode() == TargetOpcode::INLINEASM ||
1365 getOpcode() == TargetOpcode::INLINEASM_BR;
1366 }
1367
1368 /// FIXME: Seems like a layering violation that the AsmDialect, which is X86
1369 /// specific, be attached to a generic MachineInstr.
1370 bool isMSInlineAsm() const {
1372 }
1373
1374 bool isStackAligningInlineAsm() const;
1376
1377 bool isInsertSubreg() const {
1378 return getOpcode() == TargetOpcode::INSERT_SUBREG;
1379 }
1380
1381 bool isSubregToReg() const {
1382 return getOpcode() == TargetOpcode::SUBREG_TO_REG;
1383 }
1384
1385 bool isRegSequence() const {
1386 return getOpcode() == TargetOpcode::REG_SEQUENCE;
1387 }
1388
1389 bool isBundle() const {
1390 return getOpcode() == TargetOpcode::BUNDLE;
1391 }
1392
1393 bool isCopy() const {
1394 return getOpcode() == TargetOpcode::COPY;
1395 }
1396
1397 bool isFullCopy() const {
1398 return isCopy() && !getOperand(0).getSubReg() && !getOperand(1).getSubReg();
1399 }
1400
1401 bool isExtractSubreg() const {
1402 return getOpcode() == TargetOpcode::EXTRACT_SUBREG;
1403 }
1404
1405 /// Return true if the instruction behaves like a copy.
1406 /// This does not include native copy instructions.
1407 bool isCopyLike() const {
1408 return isCopy() || isSubregToReg();
1409 }
1410
1411 /// Return true is the instruction is an identity copy.
1412 bool isIdentityCopy() const {
1413 return isCopy() && getOperand(0).getReg() == getOperand(1).getReg() &&
1415 }
1416
1417 /// Return true if this is a transient instruction that is either very likely
1418 /// to be eliminated during register allocation (such as copy-like
1419 /// instructions), or if this instruction doesn't have an execution-time cost.
1420 bool isTransient() const {
1421 switch (getOpcode()) {
1422 default:
1423 return isMetaInstruction();
1424 // Copy-like instructions are usually eliminated during register allocation.
1425 case TargetOpcode::PHI:
1426 case TargetOpcode::G_PHI:
1427 case TargetOpcode::COPY:
1428 case TargetOpcode::INSERT_SUBREG:
1429 case TargetOpcode::SUBREG_TO_REG:
1430 case TargetOpcode::REG_SEQUENCE:
1431 return true;
1432 }
1433 }
1434
1435 /// Return the number of instructions inside the MI bundle, excluding the
1436 /// bundle header.
1437 ///
1438 /// This is the number of instructions that MachineBasicBlock::iterator
1439 /// skips, 0 for unbundled instructions.
1440 unsigned getBundleSize() const;
1441
1442 /// Return true if the MachineInstr reads the specified register.
1443 /// If TargetRegisterInfo is passed, then it also checks if there
1444 /// is a read of a super-register.
1445 /// This does not count partial redefines of virtual registers as reads:
1446 /// %reg1024:6 = OP.
1448 const TargetRegisterInfo *TRI = nullptr) const {
1449 return findRegisterUseOperandIdx(Reg, false, TRI) != -1;
1450 }
1451
1452 /// Return true if the MachineInstr reads the specified virtual register.
1453 /// Take into account that a partial define is a
1454 /// read-modify-write operation.
1456 return readsWritesVirtualRegister(Reg).first;
1457 }
1458
1459 /// Return a pair of bools (reads, writes) indicating if this instruction
1460 /// reads or writes Reg. This also considers partial defines.
1461 /// If Ops is not null, all operand indices for Reg are added.
1462 std::pair<bool,bool> readsWritesVirtualRegister(Register Reg,
1463 SmallVectorImpl<unsigned> *Ops = nullptr) const;
1464
1465 /// Return true if the MachineInstr kills the specified register.
1466 /// If TargetRegisterInfo is passed, then it also checks if there is
1467 /// a kill of a super-register.
1469 const TargetRegisterInfo *TRI = nullptr) const {
1470 return findRegisterUseOperandIdx(Reg, true, TRI) != -1;
1471 }
1472
1473 /// Return true if the MachineInstr fully defines the specified register.
1474 /// If TargetRegisterInfo is passed, then it also checks
1475 /// if there is a def of a super-register.
1476 /// NOTE: It's ignoring subreg indices on virtual registers.
1478 const TargetRegisterInfo *TRI = nullptr) const {
1479 return findRegisterDefOperandIdx(Reg, false, false, TRI) != -1;
1480 }
1481
1482 /// Return true if the MachineInstr modifies (fully define or partially
1483 /// define) the specified register.
1484 /// NOTE: It's ignoring subreg indices on virtual registers.
1486 const TargetRegisterInfo *TRI = nullptr) const {
1487 return findRegisterDefOperandIdx(Reg, false, true, TRI) != -1;
1488 }
1489
1490 /// Returns true if the register is dead in this machine instruction.
1491 /// If TargetRegisterInfo is passed, then it also checks
1492 /// if there is a dead def of a super-register.
1494 const TargetRegisterInfo *TRI = nullptr) const {
1495 return findRegisterDefOperandIdx(Reg, true, false, TRI) != -1;
1496 }
1497
1498 /// Returns true if the MachineInstr has an implicit-use operand of exactly
1499 /// the given register (not considering sub/super-registers).
1501
1502 /// Returns the operand index that is a use of the specific register or -1
1503 /// if it is not found. It further tightens the search criteria to a use
1504 /// that kills the register if isKill is true.
1505 int findRegisterUseOperandIdx(Register Reg, bool isKill = false,
1506 const TargetRegisterInfo *TRI = nullptr) const;
1507
1508 /// Wrapper for findRegisterUseOperandIdx, it returns
1509 /// a pointer to the MachineOperand rather than an index.
1511 const TargetRegisterInfo *TRI = nullptr) {
1513 return (Idx == -1) ? nullptr : &getOperand(Idx);
1514 }
1515
1517 Register Reg, bool isKill = false,
1518 const TargetRegisterInfo *TRI = nullptr) const {
1519 return const_cast<MachineInstr *>(this)->
1521 }
1522
1523 /// Returns the operand index that is a def of the specified register or
1524 /// -1 if it is not found. If isDead is true, defs that are not dead are
1525 /// skipped. If Overlap is true, then it also looks for defs that merely
1526 /// overlap the specified register. If TargetRegisterInfo is non-null,
1527 /// then it also checks if there is a def of a super-register.
1528 /// This may also return a register mask operand when Overlap is true.
1530 bool isDead = false, bool Overlap = false,
1531 const TargetRegisterInfo *TRI = nullptr) const;
1532
1533 /// Wrapper for findRegisterDefOperandIdx, it returns
1534 /// a pointer to the MachineOperand rather than an index.
1537 bool Overlap = false,
1538 const TargetRegisterInfo *TRI = nullptr) {
1539 int Idx = findRegisterDefOperandIdx(Reg, isDead, Overlap, TRI);
1540 return (Idx == -1) ? nullptr : &getOperand(Idx);
1541 }
1542
1543 const MachineOperand *
1545 bool Overlap = false,
1546 const TargetRegisterInfo *TRI = nullptr) const {
1547 return const_cast<MachineInstr *>(this)->findRegisterDefOperand(
1548 Reg, isDead, Overlap, TRI);
1549 }
1550
1551 /// Find the index of the first operand in the
1552 /// operand list that is used to represent the predicate. It returns -1 if
1553 /// none is found.
1554 int findFirstPredOperandIdx() const;
1555
1556 /// Find the index of the flag word operand that
1557 /// corresponds to operand OpIdx on an inline asm instruction. Returns -1 if
1558 /// getOperand(OpIdx) does not belong to an inline asm operand group.
1559 ///
1560 /// If GroupNo is not NULL, it will receive the number of the operand group
1561 /// containing OpIdx.
1562 int findInlineAsmFlagIdx(unsigned OpIdx, unsigned *GroupNo = nullptr) const;
1563
1564 /// Compute the static register class constraint for operand OpIdx.
1565 /// For normal instructions, this is derived from the MCInstrDesc.
1566 /// For inline assembly it is derived from the flag words.
1567 ///
1568 /// Returns NULL if the static register class constraint cannot be
1569 /// determined.
1570 const TargetRegisterClass*
1571 getRegClassConstraint(unsigned OpIdx,
1572 const TargetInstrInfo *TII,
1573 const TargetRegisterInfo *TRI) const;
1574
1575 /// Applies the constraints (def/use) implied by this MI on \p Reg to
1576 /// the given \p CurRC.
1577 /// If \p ExploreBundle is set and MI is part of a bundle, all the
1578 /// instructions inside the bundle will be taken into account. In other words,
1579 /// this method accumulates all the constraints of the operand of this MI and
1580 /// the related bundle if MI is a bundle or inside a bundle.
1581 ///
1582 /// Returns the register class that satisfies both \p CurRC and the
1583 /// constraints set by MI. Returns NULL if such a register class does not
1584 /// exist.
1585 ///
1586 /// \pre CurRC must not be NULL.
1588 Register Reg, const TargetRegisterClass *CurRC,
1590 bool ExploreBundle = false) const;
1591
1592 /// Applies the constraints (def/use) implied by the \p OpIdx operand
1593 /// to the given \p CurRC.
1594 ///
1595 /// Returns the register class that satisfies both \p CurRC and the
1596 /// constraints set by \p OpIdx MI. Returns NULL if such a register class
1597 /// does not exist.
1598 ///
1599 /// \pre CurRC must not be NULL.
1600 /// \pre The operand at \p OpIdx must be a register.
1601 const TargetRegisterClass *
1602 getRegClassConstraintEffect(unsigned OpIdx, const TargetRegisterClass *CurRC,
1603 const TargetInstrInfo *TII,
1604 const TargetRegisterInfo *TRI) const;
1605
1606 /// Add a tie between the register operands at DefIdx and UseIdx.
1607 /// The tie will cause the register allocator to ensure that the two
1608 /// operands are assigned the same physical register.
1609 ///
1610 /// Tied operands are managed automatically for explicit operands in the
1611 /// MCInstrDesc. This method is for exceptional cases like inline asm.
1612 void tieOperands(unsigned DefIdx, unsigned UseIdx);
1613
1614 /// Given the index of a tied register operand, find the
1615 /// operand it is tied to. Defs are tied to uses and vice versa. Returns the
1616 /// index of the tied operand which must exist.
1617 unsigned findTiedOperandIdx(unsigned OpIdx) const;
1618
1619 /// Given the index of a register def operand,
1620 /// check if the register def is tied to a source operand, due to either
1621 /// two-address elimination or inline assembly constraints. Returns the
1622 /// first tied use operand index by reference if UseOpIdx is not null.
1623 bool isRegTiedToUseOperand(unsigned DefOpIdx,
1624 unsigned *UseOpIdx = nullptr) const {
1625 const MachineOperand &MO = getOperand(DefOpIdx);
1626 if (!MO.isReg() || !MO.isDef() || !MO.isTied())
1627 return false;
1628 if (UseOpIdx)
1629 *UseOpIdx = findTiedOperandIdx(DefOpIdx);
1630 return true;
1631 }
1632
1633 /// Return true if the use operand of the specified index is tied to a def
1634 /// operand. It also returns the def operand index by reference if DefOpIdx
1635 /// is not null.
1636 bool isRegTiedToDefOperand(unsigned UseOpIdx,
1637 unsigned *DefOpIdx = nullptr) const {
1638 const MachineOperand &MO = getOperand(UseOpIdx);
1639 if (!MO.isReg() || !MO.isUse() || !MO.isTied())
1640 return false;
1641 if (DefOpIdx)
1642 *DefOpIdx = findTiedOperandIdx(UseOpIdx);
1643 return true;
1644 }
1645
1646 /// Clears kill flags on all operands.
1647 void clearKillInfo();
1648
1649 /// Replace all occurrences of FromReg with ToReg:SubIdx,
1650 /// properly composing subreg indices where necessary.
1651 void substituteRegister(Register FromReg, Register ToReg, unsigned SubIdx,
1653
1654 /// We have determined MI kills a register. Look for the
1655 /// operand that uses it and mark it as IsKill. If AddIfNotFound is true,
1656 /// add a implicit operand if it's not found. Returns true if the operand
1657 /// exists / is added.
1658 bool addRegisterKilled(Register IncomingReg,
1660 bool AddIfNotFound = false);
1661
1662 /// Clear all kill flags affecting Reg. If RegInfo is provided, this includes
1663 /// all aliasing registers.
1665
1666 /// We have determined MI defined a register without a use.
1667 /// Look for the operand that defines it and mark it as IsDead. If
1668 /// AddIfNotFound is true, add a implicit operand if it's not found. Returns
1669 /// true if the operand exists / is added.
1671 bool AddIfNotFound = false);
1672
1673 /// Clear all dead flags on operands defining register @p Reg.
1675
1676 /// Mark all subregister defs of register @p Reg with the undef flag.
1677 /// This function is used when we determined to have a subregister def in an
1678 /// otherwise undefined super register.
1679 void setRegisterDefReadUndef(Register Reg, bool IsUndef = true);
1680
1681 /// We have determined MI defines a register. Make sure there is an operand
1682 /// defining Reg.
1684 const TargetRegisterInfo *RegInfo = nullptr);
1685
1686 /// Mark every physreg used by this instruction as
1687 /// dead except those in the UsedRegs list.
1688 ///
1689 /// On instructions with register mask operands, also add implicit-def
1690 /// operands for all registers in UsedRegs.
1692 const TargetRegisterInfo &TRI);
1693
1694 /// Return true if it is safe to move this instruction. If
1695 /// SawStore is set to true, it means that there is a store (or call) between
1696 /// the instruction's location and its intended destination.
1697 bool isSafeToMove(AAResults *AA, bool &SawStore) const;
1698
1699 /// Returns true if this instruction's memory access aliases the memory
1700 /// access of Other.
1701 //
1702 /// Assumes any physical registers used to compute addresses
1703 /// have the same value for both instructions. Returns false if neither
1704 /// instruction writes to memory.
1705 ///
1706 /// @param AA Optional alias analysis, used to compare memory operands.
1707 /// @param Other MachineInstr to check aliasing against.
1708 /// @param UseTBAA Whether to pass TBAA information to alias analysis.
1709 bool mayAlias(AAResults *AA, const MachineInstr &Other, bool UseTBAA) const;
1710
1711 /// Return true if this instruction may have an ordered
1712 /// or volatile memory reference, or if the information describing the memory
1713 /// reference is not available. Return false if it is known to have no
1714 /// ordered or volatile memory references.
1715 bool hasOrderedMemoryRef() const;
1716
1717 /// Return true if this load instruction never traps and points to a memory
1718 /// location whose value doesn't change during the execution of this function.
1719 ///
1720 /// Examples include loading a value from the constant pool or from the
1721 /// argument area of a function (if it does not change). If the instruction
1722 /// does multiple loads, this returns true only if all of the loads are
1723 /// dereferenceable and invariant.
1724 bool isDereferenceableInvariantLoad() const;
1725
1726 /// If the specified instruction is a PHI that always merges together the
1727 /// same virtual register, return the register, otherwise return 0.
1728 unsigned isConstantValuePHI() const;
1729
1730 /// Return true if this instruction has side effects that are not modeled
1731 /// by mayLoad / mayStore, etc.
1732 /// For all instructions, the property is encoded in MCInstrDesc::Flags
1733 /// (see MCInstrDesc::hasUnmodeledSideEffects(). The only exception is
1734 /// INLINEASM instruction, in which case the side effect property is encoded
1735 /// in one of its operands (see InlineAsm::Extra_HasSideEffect).
1736 ///
1737 bool hasUnmodeledSideEffects() const;
1738
1739 /// Returns true if it is illegal to fold a load across this instruction.
1740 bool isLoadFoldBarrier() const;
1741
1742 /// Return true if all the defs of this instruction are dead.
1743 bool allDefsAreDead() const;
1744
1745 /// Return true if all the implicit defs of this instruction are dead.
1746 bool allImplicitDefsAreDead() const;
1747
1748 /// Return a valid size if the instruction is a spill instruction.
1749 std::optional<unsigned> getSpillSize(const TargetInstrInfo *TII) const;
1750
1751 /// Return a valid size if the instruction is a folded spill instruction.
1752 std::optional<unsigned> getFoldedSpillSize(const TargetInstrInfo *TII) const;
1753
1754 /// Return a valid size if the instruction is a restore instruction.
1755 std::optional<unsigned> getRestoreSize(const TargetInstrInfo *TII) const;
1756
1757 /// Return a valid size if the instruction is a folded restore instruction.
1758 std::optional<unsigned>
1760
1761 /// Copy implicit register operands from specified
1762 /// instruction to this instruction.
1764
1765 /// Debugging support
1766 /// @{
1767 /// Determine the generic type to be printed (if needed) on uses and defs.
1768 LLT getTypeToPrint(unsigned OpIdx, SmallBitVector &PrintedTypes,
1769 const MachineRegisterInfo &MRI) const;
1770
1771 /// Return true when an instruction has tied register that can't be determined
1772 /// by the instruction's descriptor. This is useful for MIR printing, to
1773 /// determine whether we need to print the ties or not.
1774 bool hasComplexRegisterTies() const;
1775
1776 /// Print this MI to \p OS.
1777 /// Don't print information that can be inferred from other instructions if
1778 /// \p IsStandalone is false. It is usually true when only a fragment of the
1779 /// function is printed.
1780 /// Only print the defs and the opcode if \p SkipOpers is true.
1781 /// Otherwise, also print operands if \p SkipDebugLoc is true.
1782 /// Otherwise, also print the debug loc, with a terminating newline.
1783 /// \p TII is used to print the opcode name. If it's not present, but the
1784 /// MI is in a function, the opcode will be printed using the function's TII.
1785 void print(raw_ostream &OS, bool IsStandalone = true, bool SkipOpers = false,
1786 bool SkipDebugLoc = false, bool AddNewLine = true,
1787 const TargetInstrInfo *TII = nullptr) const;
1788 void print(raw_ostream &OS, ModuleSlotTracker &MST, bool IsStandalone = true,
1789 bool SkipOpers = false, bool SkipDebugLoc = false,
1790 bool AddNewLine = true,
1791 const TargetInstrInfo *TII = nullptr) const;
1792 void dump() const;
1793 /// Print on dbgs() the current instruction and the instructions defining its
1794 /// operands and so on until we reach \p MaxDepth.
1795 void dumpr(const MachineRegisterInfo &MRI,
1796 unsigned MaxDepth = UINT_MAX) const;
1797 /// @}
1798
1799 //===--------------------------------------------------------------------===//
1800 // Accessors used to build up machine instructions.
1801
1802 /// Add the specified operand to the instruction. If it is an implicit
1803 /// operand, it is added to the end of the operand list. If it is an
1804 /// explicit operand it is added at the end of the explicit operand list
1805 /// (before the first implicit operand).
1806 ///
1807 /// MF must be the machine function that was used to allocate this
1808 /// instruction.
1809 ///
1810 /// MachineInstrBuilder provides a more convenient interface for creating
1811 /// instructions and adding operands.
1812 void addOperand(MachineFunction &MF, const MachineOperand &Op);
1813
1814 /// Add an operand without providing an MF reference. This only works for
1815 /// instructions that are inserted in a basic block.
1816 ///
1817 /// MachineInstrBuilder and the two-argument addOperand(MF, MO) should be
1818 /// preferred.
1819 void addOperand(const MachineOperand &Op);
1820
1821 /// Replace the instruction descriptor (thus opcode) of
1822 /// the current instruction with a new one.
1823 void setDesc(const MCInstrDesc &TID) { MCID = &TID; }
1824
1825 /// Replace current source information with new such.
1826 /// Avoid using this, the constructor argument is preferable.
1828 DbgLoc = std::move(DL);
1829 assert(DbgLoc.hasTrivialDestructor() && "Expected trivial destructor");
1830 }
1831
1832 /// Erase an operand from an instruction, leaving it with one
1833 /// fewer operand than it started with.
1834 void removeOperand(unsigned OpNo);
1835
1836 /// Clear this MachineInstr's memory reference descriptor list. This resets
1837 /// the memrefs to their most conservative state. This should be used only
1838 /// as a last resort since it greatly pessimizes our knowledge of the memory
1839 /// access performed by the instruction.
1840 void dropMemRefs(MachineFunction &MF);
1841
1842 /// Assign this MachineInstr's memory reference descriptor list.
1843 ///
1844 /// Unlike other methods, this *will* allocate them into a new array
1845 /// associated with the provided `MachineFunction`.
1847
1848 /// Add a MachineMemOperand to the machine instruction.
1849 /// This function should be used only occasionally. The setMemRefs function
1850 /// is the primary method for setting up a MachineInstr's MemRefs list.
1852
1853 /// Clone another MachineInstr's memory reference descriptor list and replace
1854 /// ours with it.
1855 ///
1856 /// Note that `*this` may be the incoming MI!
1857 ///
1858 /// Prefer this API whenever possible as it can avoid allocations in common
1859 /// cases.
1860 void cloneMemRefs(MachineFunction &MF, const MachineInstr &MI);
1861
1862 /// Clone the merge of multiple MachineInstrs' memory reference descriptors
1863 /// list and replace ours with it.
1864 ///
1865 /// Note that `*this` may be one of the incoming MIs!
1866 ///
1867 /// Prefer this API whenever possible as it can avoid allocations in common
1868 /// cases.
1871
1872 /// Set a symbol that will be emitted just prior to the instruction itself.
1873 ///
1874 /// Setting this to a null pointer will remove any such symbol.
1875 ///
1876 /// FIXME: This is not fully implemented yet.
1877 void setPreInstrSymbol(MachineFunction &MF, MCSymbol *Symbol);
1878
1879 /// Set a symbol that will be emitted just after the instruction itself.
1880 ///
1881 /// Setting this to a null pointer will remove any such symbol.
1882 ///
1883 /// FIXME: This is not fully implemented yet.
1884 void setPostInstrSymbol(MachineFunction &MF, MCSymbol *Symbol);
1885
1886 /// Clone another MachineInstr's pre- and post- instruction symbols and
1887 /// replace ours with it.
1889
1890 /// Set a marker on instructions that denotes where we should create and emit
1891 /// heap alloc site labels. This waits until after instruction selection and
1892 /// optimizations to create the label, so it should still work if the
1893 /// instruction is removed or duplicated.
1895
1896 // Set metadata on instructions that say which sections to emit instruction
1897 // addresses into.
1898 void setPCSections(MachineFunction &MF, MDNode *MD);
1899
1900 /// Set the CFI type for the instruction.
1902
1903 /// Return the MIFlags which represent both MachineInstrs. This
1904 /// should be used when merging two MachineInstrs into one. This routine does
1905 /// not modify the MIFlags of this MachineInstr.
1907
1909
1910 /// Copy all flags to MachineInst MIFlags
1911 void copyIRFlags(const Instruction &I);
1912
1913 /// Break any tie involving OpIdx.
1914 void untieRegOperand(unsigned OpIdx) {
1915 MachineOperand &MO = getOperand(OpIdx);
1916 if (MO.isReg() && MO.isTied()) {
1917 getOperand(findTiedOperandIdx(OpIdx)).TiedTo = 0;
1918 MO.TiedTo = 0;
1919 }
1920 }
1921
1922 /// Add all implicit def and use operands to this instruction.
1924
1925 /// Scan instructions immediately following MI and collect any matching
1926 /// DBG_VALUEs.
1928
1929 /// Find all DBG_VALUEs that point to the register def in this instruction
1930 /// and point them to \p Reg instead.
1932
1933 /// Sets all register debug operands in this debug value instruction to be
1934 /// undef.
1936 assert(isDebugValue() && "Must be a debug value instruction.");
1937 for (MachineOperand &MO : debug_operands()) {
1938 if (MO.isReg()) {
1939 MO.setReg(0);
1940 MO.setSubReg(0);
1941 }
1942 }
1943 }
1944
1945 std::tuple<Register, Register> getFirst2Regs() const {
1946 return std::tuple(getOperand(0).getReg(), getOperand(1).getReg());
1947 }
1948
1949 std::tuple<Register, Register, Register> getFirst3Regs() const {
1950 return std::tuple(getOperand(0).getReg(), getOperand(1).getReg(),
1951 getOperand(2).getReg());
1952 }
1953
1954 std::tuple<Register, Register, Register, Register> getFirst4Regs() const {
1955 return std::tuple(getOperand(0).getReg(), getOperand(1).getReg(),
1956 getOperand(2).getReg(), getOperand(3).getReg());
1957 }
1958
1959 std::tuple<Register, Register, Register, Register, Register>
1961 return std::tuple(getOperand(0).getReg(), getOperand(1).getReg(),
1963 getOperand(4).getReg());
1964 }
1965
1966 std::tuple<LLT, LLT> getFirst2LLTs() const;
1967 std::tuple<LLT, LLT, LLT> getFirst3LLTs() const;
1968 std::tuple<LLT, LLT, LLT, LLT> getFirst4LLTs() const;
1969 std::tuple<LLT, LLT, LLT, LLT, LLT> getFirst5LLTs() const;
1970
1971 std::tuple<Register, LLT, Register, LLT> getFirst2RegLLTs() const;
1972 std::tuple<Register, LLT, Register, LLT, Register, LLT>
1973 getFirst3RegLLTs() const;
1974 std::tuple<Register, LLT, Register, LLT, Register, LLT, Register, LLT>
1975 getFirst4RegLLTs() const;
1976 std::tuple<Register, LLT, Register, LLT, Register, LLT, Register, LLT,
1977 Register, LLT>
1978 getFirst5RegLLTs() const;
1979
1980private:
1981 /// If this instruction is embedded into a MachineFunction, return the
1982 /// MachineRegisterInfo object for the current function, otherwise
1983 /// return null.
1984 MachineRegisterInfo *getRegInfo();
1985 const MachineRegisterInfo *getRegInfo() const;
1986
1987 /// Unlink all of the register operands in this instruction from their
1988 /// respective use lists. This requires that the operands already be on their
1989 /// use lists.
1990 void removeRegOperandsFromUseLists(MachineRegisterInfo&);
1991
1992 /// Add all of the register operands in this instruction from their
1993 /// respective use lists. This requires that the operands not be on their
1994 /// use lists yet.
1995 void addRegOperandsToUseLists(MachineRegisterInfo&);
1996
1997 /// Slow path for hasProperty when we're dealing with a bundle.
1998 bool hasPropertyInBundle(uint64_t Mask, QueryType Type) const;
1999
2000 /// Implements the logic of getRegClassConstraintEffectForVReg for the
2001 /// this MI and the given operand index \p OpIdx.
2002 /// If the related operand does not constrained Reg, this returns CurRC.
2003 const TargetRegisterClass *getRegClassConstraintEffectForVRegImpl(
2004 unsigned OpIdx, Register Reg, const TargetRegisterClass *CurRC,
2005 const TargetInstrInfo *TII, const TargetRegisterInfo *TRI) const;
2006
2007 /// Stores extra instruction information inline or allocates as ExtraInfo
2008 /// based on the number of pointers.
2009 void setExtraInfo(MachineFunction &MF, ArrayRef<MachineMemOperand *> MMOs,
2010 MCSymbol *PreInstrSymbol, MCSymbol *PostInstrSymbol,
2011 MDNode *HeapAllocMarker, MDNode *PCSections,
2012 uint32_t CFIType);
2013};
2014
2015/// Special DenseMapInfo traits to compare MachineInstr* by *value* of the
2016/// instruction rather than by pointer value.
2017/// The hashing and equality testing functions ignore definitions so this is
2018/// useful for CSE, etc.
2020 static inline MachineInstr *getEmptyKey() {
2021 return nullptr;
2022 }
2023
2025 return reinterpret_cast<MachineInstr*>(-1);
2026 }
2027
2028 static unsigned getHashValue(const MachineInstr* const &MI);
2029
2030 static bool isEqual(const MachineInstr* const &LHS,
2031 const MachineInstr* const &RHS) {
2032 if (RHS == getEmptyKey() || RHS == getTombstoneKey() ||
2033 LHS == getEmptyKey() || LHS == getTombstoneKey())
2034 return LHS == RHS;
2035 return LHS->isIdenticalTo(*RHS, MachineInstr::IgnoreVRegDefs);
2036 }
2037};
2038
2039//===----------------------------------------------------------------------===//
2040// Debugging Support
2041
2043 MI.print(OS);
2044 return OS;
2045}
2046
2047} // end namespace llvm
2048
2049#endif // LLVM_CODEGEN_MACHINEINSTR_H
unsigned const MachineRegisterInfo * MRI
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Analysis containing CSE Info
Definition: CSEInfo.cpp:27
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
This file defines DenseMapInfo traits for DenseMap.
#define Check(C,...)
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
static const unsigned MaxDepth
#define I(x, y, z)
Definition: MD5.cpp:58
mir Rename Register Operands
#define LLVM_MI_ASMPRINTERFLAGS_BITS
Definition: MachineInstr.h:128
#define LLVM_MI_FLAGS_BITS
Definition: MachineInstr.h:127
#define LLVM_MI_NUMOPERANDS_BITS
Definition: MachineInstr.h:126
unsigned const TargetRegisterInfo * TRI
unsigned Reg
Promote Memory to Register
Definition: Mem2Reg.cpp:114
static unsigned getReg(const MCDisassembler *D, unsigned RC, unsigned RegNo)
#define P(N)
Basic Register Allocator
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool isImm(const MachineOperand &MO, MachineRegisterInfo *MRI)
raw_pwrite_stream & OS
static cl::opt< bool > UseTBAA("use-tbaa-in-sched-mi", cl::Hidden, cl::init(true), cl::desc("Enable use of TBAA during MI DAG construction"))
This header defines support for implementing classes that have some trailing object (or arrays of obj...
Value * RHS
Value * LHS
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
DWARF expression.
This class represents an Operation in the Expression.
A debug info location.
Definition: DebugLoc.h:33
Describe properties that are true of each instruction in the target description file.
Definition: MCInstrDesc.h:198
uint64_t getFlags() const
Return flags of this instruction.
Definition: MCInstrDesc.h:251
ArrayRef< MCPhysReg > implicit_defs() const
Return a list of registers that are potentially written by any instance of this machine instruction.
Definition: MCInstrDesc.h:579
unsigned short Opcode
Definition: MCInstrDesc.h:205
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
Metadata node.
Definition: Metadata.h:950
Representation of each machine instruction.
Definition: MachineInstr.h:68
int findRegisterUseOperandIdx(Register Reg, bool isKill=false, const TargetRegisterInfo *TRI=nullptr) const
Returns the operand index that is a use of the specific register or -1 if it is not found.
mop_iterator operands_begin()
Definition: MachineInstr.h:653
bool mayRaiseFPException() const
Return true if this instruction could possibly raise a floating-point exception.
bool killsRegister(Register Reg, const TargetRegisterInfo *TRI=nullptr) const
Return true if the MachineInstr kills the specified register.
bool isMSInlineAsm() const
FIXME: Seems like a layering violation that the AsmDialect, which is X86 specific,...
std::tuple< Register, Register, Register, Register, Register > getFirst5Regs() const
unsigned getOpcode() const
Returns the opcode of this MachineInstr.
Definition: MachineInstr.h:543
unsigned getNumImplicitOperands() const
Returns the implicit operands number.
Definition: MachineInstr.h:625
bool isReturn(QueryType Type=AnyInBundle) const
Definition: MachineInstr.h:905
void setRegisterDefReadUndef(Register Reg, bool IsUndef=true)
Mark all subregister defs of register Reg with the undef flag.
static iterator_range< filter_iterator< Operand *, std::function< bool(Operand &Op)> > > getDebugOperandsForReg(Instruction *MI, Register Reg)
Returns a range of all of the operands that correspond to a debug use of Reg.
Definition: MachineInstr.h:584
bool hasDebugOperandForReg(Register Reg) const
Returns whether this debug value has at least one debug operand with the register Reg.
Definition: MachineInstr.h:573
bool isDebugValueList() const
iterator_range< mop_iterator > explicit_uses()
Definition: MachineInstr.h:714
void bundleWithPred()
Bundle this instruction with its predecessor.
CommentFlag
Flags to specify different kinds of comments to output in assembly code.
Definition: MachineInstr.h:76
bool isPosition() const
void setDebugValueUndef()
Sets all register debug operands in this debug value instruction to be undef.
bool isSafeToMove(AAResults *AA, bool &SawStore) const
Return true if it is safe to move this instruction.
bool isTerminator(QueryType Type=AnyInBundle) const
Returns true if this instruction part of the terminator for a basic block.
Definition: MachineInstr.h:939
bool hasExtraDefRegAllocReq(QueryType Type=AnyInBundle) const
Returns true if this instruction def operands have special register allocation requirements that are ...
std::tuple< Register, Register, Register, Register > getFirst4Regs() const
bool isImplicitDef() const
std::tuple< Register, LLT, Register, LLT, Register, LLT, Register, LLT, Register, LLT > getFirst5RegLLTs() const
iterator_range< const_mop_iterator > uses() const
Returns a range that includes all operands that are register uses.
Definition: MachineInstr.h:711
bool mayLoadOrStore(QueryType Type=AnyInBundle) const
Return true if this instruction could possibly read or modify memory.
void setCFIType(MachineFunction &MF, uint32_t Type)
Set the CFI type for the instruction.
bool isCopy() const
MachineInstr * removeFromParent()
Unlink 'this' from the containing basic block, and return it without deleting it.
void clearAsmPrinterFlags()
Clear the AsmPrinter bitvector.
Definition: MachineInstr.h:347
iterator_range< mop_iterator > debug_operands()
Returns a range over all operands that are used to determine the variable location for this DBG_VALUE...
Definition: MachineInstr.h:681
const MachineBasicBlock * getParent() const
Definition: MachineInstr.h:326
bool isCopyLike() const
Return true if the instruction behaves like a copy.
void dropDebugNumber()
Drop any variable location debugging information associated with this instruction.
Definition: MachineInstr.h:529
void bundleWithSucc()
Bundle this instruction with its successor.
uint32_t getCFIType() const
Helper to extract a CFI type hash if one has been added.
Definition: MachineInstr.h:839
int findRegisterDefOperandIdx(Register Reg, bool isDead=false, bool Overlap=false, const TargetRegisterInfo *TRI=nullptr) const
Returns the operand index that is a def of the specified register or -1 if it is not found.
bool isDebugLabel() const
void setPreInstrSymbol(MachineFunction &MF, MCSymbol *Symbol)
Set a symbol that will be emitted just prior to the instruction itself.
bool isDebugOffsetImm() const
bool hasProperty(unsigned MCFlag, QueryType Type=AnyInBundle) const
Return true if the instruction (or in the case of a bundle, the instructions inside the bundle) has t...
Definition: MachineInstr.h:862
bool isDereferenceableInvariantLoad() const
Return true if this load instruction never traps and points to a memory location whose value doesn't ...
void setFlags(unsigned flags)
Definition: MachineInstr.h:389
MachineFunction * getMF()
Definition: MachineInstr.h:338
QueryType
API for querying MachineInstr properties.
Definition: MachineInstr.h:851
bool isPredicable(QueryType Type=AllInBundle) const
Return true if this instruction has a predicate operand that controls execution.
Definition: MachineInstr.h:977
void addImplicitDefUseOperands(MachineFunction &MF)
Add all implicit def and use operands to this instruction.
bool isBarrier(QueryType Type=AnyInBundle) const
Returns true if the specified instruction stops control flow from executing the instruction immediate...
Definition: MachineInstr.h:930
std::tuple< LLT, LLT, LLT, LLT, LLT > getFirst5LLTs() const
MachineBasicBlock * getParent()
Definition: MachineInstr.h:327
bool isSelect(QueryType Type=IgnoreBundle) const
Return true if this instruction is a select instruction.
bool isCall(QueryType Type=AnyInBundle) const
Definition: MachineInstr.h:915
std::tuple< Register, LLT, Register, LLT, Register, LLT > getFirst3RegLLTs() const
bool usesCustomInsertionHook(QueryType Type=IgnoreBundle) const
Return true if this instruction requires custom insertion support when the DAG scheduler is inserting...
bool getFlag(MIFlag Flag) const
Return whether an MI flag is set.
Definition: MachineInstr.h:376
void clearAsmPrinterFlag(CommentFlag Flag)
Clear specific AsmPrinter flags.
Definition: MachineInstr.h:364
uint32_t mergeFlagsWith(const MachineInstr &Other) const
Return the MIFlags which represent both MachineInstrs.
const MachineOperand & getDebugExpressionOp() const
Return the operand for the complex address expression referenced by this DBG_VALUE instruction.
std::pair< bool, bool > readsWritesVirtualRegister(Register Reg, SmallVectorImpl< unsigned > *Ops=nullptr) const
Return a pair of bools (reads, writes) indicating if this instruction reads or writes Reg.
bool isRegTiedToDefOperand(unsigned UseOpIdx, unsigned *DefOpIdx=nullptr) const
Return true if the use operand of the specified index is tied to a def operand.
iterator_range< mop_iterator > uses()
Returns a range that includes all operands that are register uses.
Definition: MachineInstr.h:707
bool allImplicitDefsAreDead() const
Return true if all the implicit defs of this instruction are dead.
void cloneMemRefs(MachineFunction &MF, const MachineInstr &MI)
Clone another MachineInstr's memory reference descriptor list and replace ours with it.
iterator_range< const_mop_iterator > explicit_uses() const
Definition: MachineInstr.h:718
const TargetRegisterClass * getRegClassConstraintEffectForVReg(Register Reg, const TargetRegisterClass *CurRC, const TargetInstrInfo *TII, const TargetRegisterInfo *TRI, bool ExploreBundle=false) const
Applies the constraints (def/use) implied by this MI on Reg to the given CurRC.
iterator_range< filtered_mop_iterator > all_uses()
Returns an iterator range over all operands that are (explicit or implicit) register uses.
Definition: MachineInstr.h:740
bool isBundle() const
bool isDebugInstr() const
unsigned getNumDebugOperands() const
Returns the total number of operands which are debug locations.
Definition: MachineInstr.h:549
unsigned getNumOperands() const
Retuns the total number of operands.
Definition: MachineInstr.h:546
void setDebugInstrNum(unsigned Num)
Set instruction number of this MachineInstr.
Definition: MachineInstr.h:523
void addOperand(MachineFunction &MF, const MachineOperand &Op)
Add the specified operand to the instruction.
iterator_range< const_mop_iterator > explicit_operands() const
Definition: MachineInstr.h:669
MachineInstr * removeFromBundle()
Unlink this instruction from its basic block and return it without deleting it.
const MachineOperand * const_mop_iterator
Definition: MachineInstr.h:651
void dumpr(const MachineRegisterInfo &MRI, unsigned MaxDepth=UINT_MAX) const
Print on dbgs() the current instruction and the instructions defining its operands and so on until we...
bool getAsmPrinterFlag(CommentFlag Flag) const
Return whether an AsmPrinter flag is set.
Definition: MachineInstr.h:350
void copyIRFlags(const Instruction &I)
Copy all flags to MachineInst MIFlags.
bool isDebugValueLike() const
bool isInlineAsm() const
bool memoperands_empty() const
Return true if we don't have any memory operands which described the memory access done by this instr...
Definition: MachineInstr.h:786
mmo_iterator memoperands_end() const
Access to memory operands of the instruction.
Definition: MachineInstr.h:781
bool isDebugRef() const
bool isAnnotationLabel() const
void collectDebugValues(SmallVectorImpl< MachineInstr * > &DbgValues)
Scan instructions immediately following MI and collect any matching DBG_VALUEs.
bool modifiesRegister(Register Reg, const TargetRegisterInfo *TRI=nullptr) const
Return true if the MachineInstr modifies (fully define or partially define) the specified register.
MachineOperand & getDebugOffset()
Definition: MachineInstr.h:481
iterator_range< mop_iterator > explicit_operands()
Definition: MachineInstr.h:665
unsigned peekDebugInstrNum() const
Examine the instruction number of this MachineInstr.
Definition: MachineInstr.h:519
iterator_range< const_mop_iterator > defs() const
Returns a range over all explicit operands that are register definitions.
Definition: MachineInstr.h:701
bool registerDefIsDead(Register Reg, const TargetRegisterInfo *TRI=nullptr) const
Returns true if the register is dead in this machine instruction.
unsigned getOperandNo(const_mop_iterator I) const
Returns the number of the operand iterator I points to.
Definition: MachineInstr.h:749
bool mayAlias(AAResults *AA, const MachineInstr &Other, bool UseTBAA) const
Returns true if this instruction's memory access aliases the memory access of Other.
unsigned getNumExplicitOperands() const
Returns the number of non-implicit operands.
bool isSubregToReg() const
bool isCompare(QueryType Type=IgnoreBundle) const
Return true if this instruction is a comparison.
Definition: MachineInstr.h:984
bool hasImplicitDef() const
Returns true if the instruction has implicit definition.
Definition: MachineInstr.h:617
bool isBranch(QueryType Type=AnyInBundle) const
Returns true if this is a conditional, unconditional, or indirect branch.
Definition: MachineInstr.h:947
void setMemRefs(MachineFunction &MF, ArrayRef< MachineMemOperand * > MemRefs)
Assign this MachineInstr's memory reference descriptor list.
bool isBundledWithPred() const
Return true if this instruction is part of a bundle, and it is not the first instruction in the bundl...
Definition: MachineInstr.h:451
bool isDebugPHI() const
std::optional< unsigned > getFoldedRestoreSize(const TargetInstrInfo *TII) const
Return a valid size if the instruction is a folded restore instruction.
MachineOperand & getOperand(unsigned i)
Definition: MachineInstr.h:557
std::tuple< LLT, LLT > getFirst2LLTs() const
const_mop_iterator operands_end() const
Definition: MachineInstr.h:657
void unbundleFromPred()
Break bundle above this instruction.
void copyImplicitOps(MachineFunction &MF, const MachineInstr &MI)
Copy implicit register operands from specified instruction to this instruction.
bool hasPostISelHook(QueryType Type=IgnoreBundle) const
Return true if this instruction requires adjustment after instruction selection by calling a target h...
bool mayLoad(QueryType Type=AnyInBundle) const
Return true if this instruction could possibly read memory.
void setAsmPrinterFlag(uint8_t Flag)
Set a flag for the AsmPrinter.
Definition: MachineInstr.h:357
bool isDebugOrPseudoInstr() const
bool isStackAligningInlineAsm() const
bool isRegTiedToUseOperand(unsigned DefOpIdx, unsigned *UseOpIdx=nullptr) const
Given the index of a register def operand, check if the register def is tied to a source operand,...
void dropMemRefs(MachineFunction &MF)
Clear this MachineInstr's memory reference descriptor list.
mop_iterator operands_end()
Definition: MachineInstr.h:654
bool isFullCopy() const
bool shouldUpdateCallSiteInfo() const
Return true if copying, moving, or erasing this instruction requires updating Call Site Info (see cop...
MDNode * getPCSections() const
Helper to extract PCSections metadata target sections.
Definition: MachineInstr.h:829
bool isCFIInstruction() const
int findFirstPredOperandIdx() const
Find the index of the first operand in the operand list that is used to represent the predicate.
const MCInstrDesc & getDesc() const
Returns the target instruction descriptor of this MachineInstr.
Definition: MachineInstr.h:540
unsigned getBundleSize() const
Return the number of instructions inside the MI bundle, excluding the bundle header.
bool hasExtraSrcRegAllocReq(QueryType Type=AnyInBundle) const
Returns true if this instruction source operands have special register allocation requirements that a...
iterator_range< filtered_const_mop_iterator > all_uses() const
Returns an iterator range over all operands that are (explicit or implicit) register uses.
Definition: MachineInstr.h:744
bool isCommutable(QueryType Type=IgnoreBundle) const
Return true if this may be a 2- or 3-address instruction (of the form "X = op Y, Z,...
MachineInstr & operator=(const MachineInstr &)=delete
void cloneMergedMemRefs(MachineFunction &MF, ArrayRef< const MachineInstr * > MIs)
Clone the merge of multiple MachineInstrs' memory reference descriptors list and replace ours with it...
bool isConditionalBranch(QueryType Type=AnyInBundle) const
Return true if this is a branch which may fall through to the next instruction or may transfer contro...
Definition: MachineInstr.h:961
iterator_range< const_mop_iterator > debug_operands() const
Returns a range over all operands that are used to determine the variable location for this DBG_VALUE...
Definition: MachineInstr.h:688
bool isNotDuplicable(QueryType Type=AnyInBundle) const
Return true if this instruction cannot be safely duplicated.
std::tuple< Register, LLT, Register, LLT, Register, LLT, Register, LLT > getFirst4RegLLTs() const
std::tuple< Register, LLT, Register, LLT > getFirst2RegLLTs() const
unsigned getNumMemOperands() const
Return the number of memory operands.
Definition: MachineInstr.h:792
void clearFlag(MIFlag Flag)
clearFlag - Clear a MI flag.
Definition: MachineInstr.h:398
bool isGCLabel() const
unsigned isConstantValuePHI() const
If the specified instruction is a PHI that always merges together the same virtual register,...
uint8_t getAsmPrinterFlags() const
Return the asm printer flags bitvector.
Definition: MachineInstr.h:344
const TargetRegisterClass * getRegClassConstraintEffect(unsigned OpIdx, const TargetRegisterClass *CurRC, const TargetInstrInfo *TII, const TargetRegisterInfo *TRI) const
Applies the constraints (def/use) implied by the OpIdx operand to the given CurRC.
bool isOperandSubregIdx(unsigned OpIdx) const
Return true if operand OpIdx is a subregister index.
Definition: MachineInstr.h:630
InlineAsm::AsmDialect getInlineAsmDialect() const
bool hasUnmodeledSideEffects() const
Return true if this instruction has side effects that are not modeled by mayLoad / mayStore,...
bool isEquivalentDbgInstr(const MachineInstr &Other) const
Returns true if this instruction is a debug instruction that represents an identical debug value to O...
bool isRegSequence() const
bool isExtractSubregLike(QueryType Type=IgnoreBundle) const
Return true if this instruction behaves the same way as the generic EXTRACT_SUBREG instructions.
const DILabel * getDebugLabel() const
Return the debug label referenced by this DBG_LABEL instruction.
void untieRegOperand(unsigned OpIdx)
Break any tie involving OpIdx.
const_mop_iterator operands_begin() const
Definition: MachineInstr.h:656
static uint32_t copyFlagsFromInstruction(const Instruction &I)
bool isUnconditionalBranch(QueryType Type=AnyInBundle) const
Return true if this is a branch which always transfers control flow to some other block.
Definition: MachineInstr.h:969
bool isJumpTableDebugInfo() const
std::tuple< Register, Register, Register > getFirst3Regs() const
unsigned getNumExplicitDefs() const
Returns the number of non-implicit definitions.
void eraseFromBundle()
Unlink 'this' form its basic block and delete it.
bool hasDelaySlot(QueryType Type=AnyInBundle) const
Returns true if the specified instruction has a delay slot which must be filled by the code generator...
bool hasOneMemOperand() const
Return true if this instruction has exactly one MachineMemOperand.
Definition: MachineInstr.h:789
iterator_range< mop_iterator > operands()
Definition: MachineInstr.h:659
void setHeapAllocMarker(MachineFunction &MF, MDNode *MD)
Set a marker on instructions that denotes where we should create and emit heap alloc site labels.
bool isMoveReg(QueryType Type=IgnoreBundle) const
Return true if this instruction is a register move.
Definition: MachineInstr.h:996
const DILocalVariable * getDebugVariable() const
Return the debug variable referenced by this DBG_VALUE instruction.
bool hasComplexRegisterTies() const
Return true when an instruction has tied register that can't be determined by the instruction's descr...
const MachineOperand * findRegisterDefOperand(Register Reg, bool isDead=false, bool Overlap=false, const TargetRegisterInfo *TRI=nullptr) const
LLT getTypeToPrint(unsigned OpIdx, SmallBitVector &PrintedTypes, const MachineRegisterInfo &MRI) const
Debugging supportDetermine the generic type to be printed (if needed) on uses and defs.
bool isInsertSubreg() const
iterator_range< filtered_const_mop_iterator > all_defs() const
Returns an iterator range over all operands that are (explicit or implicit) register defs.
Definition: MachineInstr.h:734
void substituteRegister(Register FromReg, Register ToReg, unsigned SubIdx, const TargetRegisterInfo &RegInfo)
Replace all occurrences of FromReg with ToReg:SubIdx, properly composing subreg indices where necessa...
iterator_range< filter_iterator< MachineOperand *, std::function< bool(MachineOperand &Op)> > > getDebugOperandsForReg(Register Reg)
Definition: MachineInstr.h:597
unsigned findTiedOperandIdx(unsigned OpIdx) const
Given the index of a tied register operand, find the operand it is tied to.
void tieOperands(unsigned DefIdx, unsigned UseIdx)
Add a tie between the register operands at DefIdx and UseIdx.
iterator_range< mop_iterator > defs()
Returns a range over all explicit operands that are register definitions.
Definition: MachineInstr.h:696
bool isConvertibleTo3Addr(QueryType Type=IgnoreBundle) const
Return true if this is a 2-address instruction which can be changed into a 3-address instruction if n...
mmo_iterator memoperands_begin() const
Access to memory operands of the instruction.
Definition: MachineInstr.h:774
void cloneInstrSymbols(MachineFunction &MF, const MachineInstr &MI)
Clone another MachineInstr's pre- and post- instruction symbols and replace ours with it.
bool isInsideBundle() const
Return true if MI is in a bundle (but not the first MI in a bundle).
Definition: MachineInstr.h:439
void changeDebugValuesDefReg(Register Reg)
Find all DBG_VALUEs that point to the register def in this instruction and point them to Reg instead.
bool isIdenticalTo(const MachineInstr &Other, MICheckType Check=CheckDefs) const
Return true if this instruction is identical to Other.
bool hasOrderedMemoryRef() const
Return true if this instruction may have an ordered or volatile memory reference, or if the informati...
bool definesRegister(Register Reg, const TargetRegisterInfo *TRI=nullptr) const
Return true if the MachineInstr fully defines the specified register.
bool isConvergent(QueryType Type=AnyInBundle) const
Return true if this instruction is convergent.
const MachineFunction * getMF() const
Return the function that contains the basic block that this instruction belongs to.
std::optional< unsigned > getRestoreSize(const TargetInstrInfo *TII) const
Return a valid size if the instruction is a restore instruction.
iterator_range< const_mop_iterator > operands() const
Definition: MachineInstr.h:662
std::optional< unsigned > getFoldedSpillSize(const TargetInstrInfo *TII) const
Return a valid size if the instruction is a folded spill instruction.
const DIExpression * getDebugExpression() const
Return the complex address expression referenced by this DBG_VALUE instruction.
ArrayRef< MachineMemOperand * > memoperands() const
Access to memory operands of the instruction.
Definition: MachineInstr.h:756
bool isLabel() const
Returns true if the MachineInstr represents a label.
void print(raw_ostream &OS, bool IsStandalone=true, bool SkipOpers=false, bool SkipDebugLoc=false, bool AddNewLine=true, const TargetInstrInfo *TII=nullptr) const
Print this MI to OS.
bool isExtractSubreg() const
bool isNonListDebugValue() const
MachineOperand * mop_iterator
iterator/begin/end - Iterate over all operands of a machine instruction.
Definition: MachineInstr.h:650
std::optional< unsigned > getSpillSize(const TargetInstrInfo *TII) const
Return a valid size if the instruction is a spill instruction.
bool isLoadFoldBarrier() const
Returns true if it is illegal to fold a load across this instruction.
bool mayStore(QueryType Type=AnyInBundle) const
Return true if this instruction could possibly modify memory.
void setFlag(MIFlag Flag)
Set a MI flag.
Definition: MachineInstr.h:383
const DebugLoc & getDebugLoc() const
Returns the debug location id of this MachineInstr.
Definition: MachineInstr.h:472
bool readsRegister(Register Reg, const TargetRegisterInfo *TRI=nullptr) const
Return true if the MachineInstr reads the specified register.
std::tuple< LLT, LLT, LLT > getFirst3LLTs() const
bool isMoveImmediate(QueryType Type=IgnoreBundle) const
Return true if this instruction is a move immediate (including conditional moves) instruction.
Definition: MachineInstr.h:990
bool isPreISelOpcode(QueryType Type=IgnoreBundle) const
Return true if this is an instruction that should go through the usual legalization steps.
Definition: MachineInstr.h:875
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...
Definition: MachineInstr.h:911
bool isPseudo(QueryType Type=IgnoreBundle) const
Return true if this is a pseudo instruction that doesn't correspond to a real machine instruction.
Definition: MachineInstr.h:895
const MachineOperand & getDebugVariableOp() const
Return the operand for the debug variable referenced by this DBG_VALUE instruction.
iterator_range< const_mop_iterator > implicit_operands() const
Definition: MachineInstr.h:676
void eraseFromParent()
Unlink 'this' from the containing basic block and delete it.
void setPhysRegsDeadExcept(ArrayRef< Register > UsedRegs, const TargetRegisterInfo &TRI)
Mark every physreg used by this instruction as dead except those in the UsedRegs list.
bool isCandidateForCallSiteEntry(QueryType Type=IgnoreBundle) const
Return true if this is a call instruction that may have an associated call site entry in the debug in...
void removeOperand(unsigned OpNo)
Erase an operand from an instruction, leaving it with one fewer operand than it started with.
MCSymbol * getPreInstrSymbol() const
Helper to extract a pre-instruction symbol if one has been added.
Definition: MachineInstr.h:795
bool addRegisterKilled(Register IncomingReg, const TargetRegisterInfo *RegInfo, bool AddIfNotFound=false)
We have determined MI kills a register.
bool readsVirtualRegister(Register Reg) const
Return true if the MachineInstr reads the specified virtual register.
void setPostInstrSymbol(MachineFunction &MF, MCSymbol *Symbol)
Set a symbol that will be emitted just after the instruction itself.
bool isBitcast(QueryType Type=IgnoreBundle) const
Return true if this instruction is a bitcast instruction.
bool hasOptionalDef(QueryType Type=IgnoreBundle) const
Set if this instruction has an optional definition, e.g.
Definition: MachineInstr.h:889
bool isTransient() const
Return true if this is a transient instruction that is either very likely to be eliminated during reg...
bool isDebugValue() const
unsigned getDebugOperandIndex(const MachineOperand *Op) const
Definition: MachineInstr.h:606
const MachineOperand & getDebugOffset() const
Return the operand containing the offset to be used if this DBG_VALUE instruction is indirect; will b...
Definition: MachineInstr.h:477
MachineOperand & getDebugOperand(unsigned Index)
Definition: MachineInstr.h:562
iterator_range< mop_iterator > implicit_operands()
Definition: MachineInstr.h:673
bool isBundledWithSucc() const
Return true if this instruction is part of a bundle, and it is not the last instruction in the bundle...
Definition: MachineInstr.h:455
void addRegisterDefined(Register Reg, const TargetRegisterInfo *RegInfo=nullptr)
We have determined MI defines a register.
MDNode * getHeapAllocMarker() const
Helper to extract a heap alloc marker if one has been added.
Definition: MachineInstr.h:819
bool isInsertSubregLike(QueryType Type=IgnoreBundle) const
Return true if this instruction behaves the same way as the generic INSERT_SUBREG instructions.
unsigned getDebugInstrNum()
Fetch the instruction number of this MachineInstr.
bool isDebugOperand(const MachineOperand *Op) const
Definition: MachineInstr.h:602
std::tuple< LLT, LLT, LLT, LLT > getFirst4LLTs() const
bool isPHI() const
void clearRegisterDeads(Register Reg)
Clear all dead flags on operands defining register Reg.
void clearRegisterKills(Register Reg, const TargetRegisterInfo *RegInfo)
Clear all kill flags affecting Reg.
const MachineOperand & getOperand(unsigned i) const
Definition: MachineInstr.h:553
uint32_t getFlags() const
Return the MI flags bitvector.
Definition: MachineInstr.h:371
bool isEHLabel() const
bool isPseudoProbe() const
bool hasRegisterImplicitUseOperand(Register Reg) const
Returns true if the MachineInstr has an implicit-use operand of exactly the given register (not consi...
MachineOperand * findRegisterUseOperand(Register Reg, bool isKill=false, const TargetRegisterInfo *TRI=nullptr)
Wrapper for findRegisterUseOperandIdx, it returns a pointer to the MachineOperand rather than an inde...
bool isUndefDebugValue() const
Return true if the instruction is a debug value which describes a part of a variable as unavailable.
bool isIdentityCopy() const
Return true is the instruction is an identity copy.
MCSymbol * getPostInstrSymbol() const
Helper to extract a post-instruction symbol if one has been added.
Definition: MachineInstr.h:807
void unbundleFromSucc()
Break bundle below this instruction.
iterator_range< filtered_mop_iterator > all_defs()
Returns an iterator range over all operands that are (explicit or implicit) register defs.
Definition: MachineInstr.h:730
const MachineOperand & getDebugOperand(unsigned Index) const
Definition: MachineInstr.h:566
void clearKillInfo()
Clears kill flags on all operands.
bool isDebugEntryValue() const
A DBG_VALUE is an entry value iff its debug expression contains the DW_OP_LLVM_entry_value operation.
bool isIndirectDebugValue() const
A DBG_VALUE is indirect iff the location operand is a register and the offset operand is an immediate...
unsigned getNumDefs() const
Returns the total number of definitions.
Definition: MachineInstr.h:612
void emitError(StringRef Msg) const
Emit an error referring to the source location of this instruction.
void setPCSections(MachineFunction &MF, MDNode *MD)
MachineInstr(const MachineInstr &)=delete
bool isKill() const
MachineOperand * findRegisterDefOperand(Register Reg, bool isDead=false, bool Overlap=false, const TargetRegisterInfo *TRI=nullptr)
Wrapper for findRegisterDefOperandIdx, it returns a pointer to the MachineOperand rather than an inde...
bool isMetaInstruction(QueryType Type=IgnoreBundle) const
Return true if this instruction doesn't produce any output in the form of executable instructions.
Definition: MachineInstr.h:901
iterator_range< filter_iterator< const MachineOperand *, std::function< bool(const MachineOperand &Op)> > > getDebugOperandsForReg(Register Reg) const
Definition: MachineInstr.h:591
void setDesc(const MCInstrDesc &TID)
Replace the instruction descriptor (thus opcode) of the current instruction with a new one.
bool canFoldAsLoad(QueryType Type=IgnoreBundle) const
Return true for instructions that can be folded as memory operands in other instructions.
void setDebugLoc(DebugLoc DL)
Replace current source information with new such.
bool isIndirectBranch(QueryType Type=AnyInBundle) const
Return true if this is an indirect branch, such as a branch through a register.
Definition: MachineInstr.h:953
bool isVariadic(QueryType Type=IgnoreBundle) const
Return true if this instruction can have a variable number of operands.
Definition: MachineInstr.h:883
const MachineOperand * findRegisterUseOperand(Register Reg, bool isKill=false, const TargetRegisterInfo *TRI=nullptr) const
int findInlineAsmFlagIdx(unsigned OpIdx, unsigned *GroupNo=nullptr) const
Find the index of the flag word operand that corresponds to operand OpIdx on an inline asm instructio...
bool allDefsAreDead() const
Return true if all the defs of this instruction are dead.
bool isRegSequenceLike(QueryType Type=IgnoreBundle) const
Return true if this instruction behaves the same way as the generic REG_SEQUENCE instructions.
const TargetRegisterClass * getRegClassConstraint(unsigned OpIdx, const TargetInstrInfo *TII, const TargetRegisterInfo *TRI) const
Compute the static register class constraint for operand OpIdx.
bool isAsCheapAsAMove(QueryType Type=AllInBundle) const
Returns true if this instruction has the same cost (or less) than a move instruction.
void moveBefore(MachineInstr *MovePos)
Move the instruction before MovePos.
void addMemOperand(MachineFunction &MF, MachineMemOperand *MO)
Add a MachineMemOperand to the machine instruction.
bool isBundled() const
Return true if this instruction part of a bundle.
Definition: MachineInstr.h:445
bool isRematerializable(QueryType Type=AllInBundle) const
Returns true if this instruction is a candidate for remat.
bool addRegisterDead(Register Reg, const TargetRegisterInfo *RegInfo, bool AddIfNotFound=false)
We have determined MI defined a register without a use.
std::tuple< Register, Register > getFirst2Regs() const
~MachineInstr()=delete
A description of a memory reference used in the backend.
MachineOperand class - Representation of each machine instruction operand.
unsigned getSubReg() const
int64_t getImm() const
bool isReg() const
isReg - Tests if this is a MO_Register operand.
bool isImm() const
isImm - Tests if this is a MO_Immediate operand.
Register getReg() const
getReg - Returns the register number.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
Manage lifetime of a slot tracker for printing IR.
virtual void print(raw_ostream &OS, const Module *M) const
print - Print out the internal state of the pass.
Definition: Pass.cpp:130
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
This is a 'bitvector' (really, a variable-sized bit array), optimized for the case when the array is ...
A templated base class for SmallPtrSet which provides the typesafe interface that is common across al...
Definition: SmallPtrSet.h:345
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:577
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
TargetInstrInfo - Interface to description of machine instruction set.
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
Specialization of filter_iterator_base for forward iteration only.
Definition: STLExtras.h:507
An ilist node that can access its parent list.
Definition: ilist_node.h:257
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:52
This file defines classes to implement an intrusive doubly linked list class (i.e.
This file defines the ilist_node class template, which is a convenient base class for creating classe...
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
@ ExtraDefRegAllocReq
Definition: MCInstrDesc.h:181
@ ConvertibleTo3Addr
Definition: MCInstrDesc.h:175
@ MayRaiseFPException
Definition: MCInstrDesc.h:170
@ Rematerializable
Definition: MCInstrDesc.h:178
@ ExtraSrcRegAllocReq
Definition: MCInstrDesc.h:180
@ UsesCustomInserter
Definition: MCInstrDesc.h:176
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
constexpr auto adl_begin(RangeT &&range) -> decltype(adl_detail::begin_impl(std::forward< RangeT >(range)))
Returns the begin iterator to range using std::begin and function found through Argument-Dependent Lo...
Definition: ADL.h:62
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
constexpr auto adl_end(RangeT &&range) -> decltype(adl_detail::end_impl(std::forward< RangeT >(range)))
Returns the end iterator to range using std::end and functions found through Argument-Dependent Looku...
Definition: ADL.h:70
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1734
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:582
BumpPtrAllocatorImpl BumpPtrAllocator
The standard BumpPtrAllocator which just uses the default template parameters.
Definition: Allocator.h:375
@ Other
Any other memory.
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
Definition: APFixedPoint.h:292
ArrayRef(const T &OneElt) -> ArrayRef< T >
An information struct used to provide DenseMap with the various necessary components for a given valu...
Definition: DenseMapInfo.h:50
Special DenseMapInfo traits to compare MachineInstr* by value of the instruction rather than by point...
static MachineInstr * getEmptyKey()
static unsigned getHashValue(const MachineInstr *const &MI)
static MachineInstr * getTombstoneKey()
static bool isEqual(const MachineInstr *const &LHS, const MachineInstr *const &RHS)
Callbacks do nothing by default in iplist and ilist.
Definition: ilist.h:65
Template traits for intrusive list.
Definition: ilist.h:90