1aa739695SFrancis Visoiu Mistrih //===- lib/CodeGen/MachineOperand.cpp -------------------------------------===//
2aa739695SFrancis Visoiu Mistrih //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6aa739695SFrancis Visoiu Mistrih //
7aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
8aa739695SFrancis Visoiu Mistrih //
93aa8eaa9SFrancis Visoiu Mistrih /// \file Methods common to all machine operands.
10aa739695SFrancis Visoiu Mistrih //
11aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
12aa739695SFrancis Visoiu Mistrih 
13aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/MachineOperand.h"
14423e3db6SReid Kleckner #include "llvm/ADT/FoldingSet.h"
15e85b06d6SFrancis Visoiu Mistrih #include "llvm/ADT/StringExtras.h"
16aa739695SFrancis Visoiu Mistrih #include "llvm/Analysis/Loads.h"
17de3d0ee0SDaniel Sanders #include "llvm/CodeGen/MIRFormatter.h"
180b5bdceaSFrancis Visoiu Mistrih #include "llvm/CodeGen/MachineFrameInfo.h"
19b41dbbe3SFrancis Visoiu Mistrih #include "llvm/CodeGen/MachineJumpTableInfo.h"
20aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/MachineRegisterInfo.h"
21b3a0d513SFrancis Visoiu Mistrih #include "llvm/CodeGen/TargetInstrInfo.h"
22aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/TargetRegisterInfo.h"
23432a3883SNico Weber #include "llvm/Config/llvm-config.h"
24aa739695SFrancis Visoiu Mistrih #include "llvm/IR/Constants.h"
25e76c5fcdSFrancis Visoiu Mistrih #include "llvm/IR/IRPrintingPasses.h"
26bf77c7efSSimon Pilgrim #include "llvm/IR/Instructions.h"
27aa739695SFrancis Visoiu Mistrih #include "llvm/IR/ModuleSlotTracker.h"
28b6c190daSEric Christopher #include "llvm/MC/MCDwarf.h"
29a8a83d15SFrancis Visoiu Mistrih #include "llvm/Target/TargetIntrinsicInfo.h"
30a8a83d15SFrancis Visoiu Mistrih #include "llvm/Target/TargetMachine.h"
31aa739695SFrancis Visoiu Mistrih 
32aa739695SFrancis Visoiu Mistrih using namespace llvm;
33aa739695SFrancis Visoiu Mistrih 
34aa739695SFrancis Visoiu Mistrih static cl::opt<int>
35aa739695SFrancis Visoiu Mistrih     PrintRegMaskNumRegs("print-regmask-num-regs",
36aa739695SFrancis Visoiu Mistrih                         cl::desc("Number of registers to limit to when "
37aa739695SFrancis Visoiu Mistrih                                  "printing regmask operands in IR dumps. "
38aa739695SFrancis Visoiu Mistrih                                  "unlimited = -1"),
39aa739695SFrancis Visoiu Mistrih                         cl::init(32), cl::Hidden);
40aa739695SFrancis Visoiu Mistrih 
getMFIfAvailable(const MachineOperand & MO)4195a05915SFrancis Visoiu Mistrih static const MachineFunction *getMFIfAvailable(const MachineOperand &MO) {
4295a05915SFrancis Visoiu Mistrih   if (const MachineInstr *MI = MO.getParent())
4395a05915SFrancis Visoiu Mistrih     if (const MachineBasicBlock *MBB = MI->getParent())
4495a05915SFrancis Visoiu Mistrih       if (const MachineFunction *MF = MBB->getParent())
4595a05915SFrancis Visoiu Mistrih         return MF;
4695a05915SFrancis Visoiu Mistrih   return nullptr;
4795a05915SFrancis Visoiu Mistrih }
getMFIfAvailable(MachineOperand & MO)4895a05915SFrancis Visoiu Mistrih static MachineFunction *getMFIfAvailable(MachineOperand &MO) {
4995a05915SFrancis Visoiu Mistrih   return const_cast<MachineFunction *>(
5095a05915SFrancis Visoiu Mistrih       getMFIfAvailable(const_cast<const MachineOperand &>(MO)));
5195a05915SFrancis Visoiu Mistrih }
5295a05915SFrancis Visoiu Mistrih 
setReg(Register Reg)53f4d3113aSMatt Arsenault void MachineOperand::setReg(Register Reg) {
54aa739695SFrancis Visoiu Mistrih   if (getReg() == Reg)
55aa739695SFrancis Visoiu Mistrih     return; // No change.
56aa739695SFrancis Visoiu Mistrih 
57f8bf2ec0SGeoff Berry   // Clear the IsRenamable bit to keep it conservatively correct.
58f8bf2ec0SGeoff Berry   IsRenamable = false;
59f8bf2ec0SGeoff Berry 
60aa739695SFrancis Visoiu Mistrih   // Otherwise, we have to change the register.  If this operand is embedded
61aa739695SFrancis Visoiu Mistrih   // into a machine function, we need to update the old and new register's
62aa739695SFrancis Visoiu Mistrih   // use/def lists.
6395a05915SFrancis Visoiu Mistrih   if (MachineFunction *MF = getMFIfAvailable(*this)) {
64aa739695SFrancis Visoiu Mistrih     MachineRegisterInfo &MRI = MF->getRegInfo();
65aa739695SFrancis Visoiu Mistrih     MRI.removeRegOperandFromUseList(this);
66aa739695SFrancis Visoiu Mistrih     SmallContents.RegNo = Reg;
67aa739695SFrancis Visoiu Mistrih     MRI.addRegOperandToUseList(this);
68aa739695SFrancis Visoiu Mistrih     return;
69aa739695SFrancis Visoiu Mistrih   }
70aa739695SFrancis Visoiu Mistrih 
71aa739695SFrancis Visoiu Mistrih   // Otherwise, just change the register, no problem.  :)
72aa739695SFrancis Visoiu Mistrih   SmallContents.RegNo = Reg;
73aa739695SFrancis Visoiu Mistrih }
74aa739695SFrancis Visoiu Mistrih 
substVirtReg(Register Reg,unsigned SubIdx,const TargetRegisterInfo & TRI)75f4d3113aSMatt Arsenault void MachineOperand::substVirtReg(Register Reg, unsigned SubIdx,
76aa739695SFrancis Visoiu Mistrih                                   const TargetRegisterInfo &TRI) {
77f4d3113aSMatt Arsenault   assert(Reg.isVirtual());
78aa739695SFrancis Visoiu Mistrih   if (SubIdx && getSubReg())
79aa739695SFrancis Visoiu Mistrih     SubIdx = TRI.composeSubRegIndices(SubIdx, getSubReg());
80aa739695SFrancis Visoiu Mistrih   setReg(Reg);
81aa739695SFrancis Visoiu Mistrih   if (SubIdx)
82aa739695SFrancis Visoiu Mistrih     setSubReg(SubIdx);
83aa739695SFrancis Visoiu Mistrih }
84aa739695SFrancis Visoiu Mistrih 
substPhysReg(MCRegister Reg,const TargetRegisterInfo & TRI)85f4d3113aSMatt Arsenault void MachineOperand::substPhysReg(MCRegister Reg, const TargetRegisterInfo &TRI) {
862c4c2dc2SFangrui Song   assert(Register::isPhysicalRegister(Reg));
87aa739695SFrancis Visoiu Mistrih   if (getSubReg()) {
88aa739695SFrancis Visoiu Mistrih     Reg = TRI.getSubReg(Reg, getSubReg());
89aa739695SFrancis Visoiu Mistrih     // Note that getSubReg() may return 0 if the sub-register doesn't exist.
90aa739695SFrancis Visoiu Mistrih     // That won't happen in legal code.
91aa739695SFrancis Visoiu Mistrih     setSubReg(0);
92aa739695SFrancis Visoiu Mistrih     if (isDef())
93aa739695SFrancis Visoiu Mistrih       setIsUndef(false);
94aa739695SFrancis Visoiu Mistrih   }
95aa739695SFrancis Visoiu Mistrih   setReg(Reg);
96aa739695SFrancis Visoiu Mistrih }
97aa739695SFrancis Visoiu Mistrih 
98aa739695SFrancis Visoiu Mistrih /// Change a def to a use, or a use to a def.
setIsDef(bool Val)99aa739695SFrancis Visoiu Mistrih void MachineOperand::setIsDef(bool Val) {
100aa739695SFrancis Visoiu Mistrih   assert(isReg() && "Wrong MachineOperand accessor");
101aa739695SFrancis Visoiu Mistrih   assert((!Val || !isDebug()) && "Marking a debug operation as def");
102aa739695SFrancis Visoiu Mistrih   if (IsDef == Val)
103aa739695SFrancis Visoiu Mistrih     return;
10460c43102SGeoff Berry   assert(!IsDeadOrKill && "Changing def/use with dead/kill set not supported");
105aa739695SFrancis Visoiu Mistrih   // MRI may keep uses and defs in different list positions.
10695a05915SFrancis Visoiu Mistrih   if (MachineFunction *MF = getMFIfAvailable(*this)) {
107aa739695SFrancis Visoiu Mistrih     MachineRegisterInfo &MRI = MF->getRegInfo();
108aa739695SFrancis Visoiu Mistrih     MRI.removeRegOperandFromUseList(this);
109aa739695SFrancis Visoiu Mistrih     IsDef = Val;
110aa739695SFrancis Visoiu Mistrih     MRI.addRegOperandToUseList(this);
111aa739695SFrancis Visoiu Mistrih     return;
112aa739695SFrancis Visoiu Mistrih   }
113aa739695SFrancis Visoiu Mistrih   IsDef = Val;
114aa739695SFrancis Visoiu Mistrih }
115aa739695SFrancis Visoiu Mistrih 
isRenamable() const11660c43102SGeoff Berry bool MachineOperand::isRenamable() const {
11760c43102SGeoff Berry   assert(isReg() && "Wrong MachineOperand accessor");
1182bea69bfSDaniel Sanders   assert(Register::isPhysicalRegister(getReg()) &&
11960c43102SGeoff Berry          "isRenamable should only be checked on physical registers");
120f8bf2ec0SGeoff Berry   if (!IsRenamable)
121f8bf2ec0SGeoff Berry     return false;
122f8bf2ec0SGeoff Berry 
123f8bf2ec0SGeoff Berry   const MachineInstr *MI = getParent();
124f8bf2ec0SGeoff Berry   if (!MI)
125f8bf2ec0SGeoff Berry     return true;
126f8bf2ec0SGeoff Berry 
127f8bf2ec0SGeoff Berry   if (isDef())
128f8bf2ec0SGeoff Berry     return !MI->hasExtraDefRegAllocReq(MachineInstr::IgnoreBundle);
129f8bf2ec0SGeoff Berry 
130f8bf2ec0SGeoff Berry   assert(isUse() && "Reg is not def or use");
131f8bf2ec0SGeoff Berry   return !MI->hasExtraSrcRegAllocReq(MachineInstr::IgnoreBundle);
13260c43102SGeoff Berry }
13360c43102SGeoff Berry 
setIsRenamable(bool Val)13460c43102SGeoff Berry void MachineOperand::setIsRenamable(bool Val) {
13560c43102SGeoff Berry   assert(isReg() && "Wrong MachineOperand accessor");
1362bea69bfSDaniel Sanders   assert(Register::isPhysicalRegister(getReg()) &&
13760c43102SGeoff Berry          "setIsRenamable should only be called on physical registers");
13860c43102SGeoff Berry   IsRenamable = Val;
13960c43102SGeoff Berry }
14060c43102SGeoff Berry 
141aa739695SFrancis Visoiu Mistrih // If this operand is currently a register operand, and if this is in a
142aa739695SFrancis Visoiu Mistrih // function, deregister the operand from the register's use/def list.
removeRegFromUses()143aa739695SFrancis Visoiu Mistrih void MachineOperand::removeRegFromUses() {
144aa739695SFrancis Visoiu Mistrih   if (!isReg() || !isOnRegUseList())
145aa739695SFrancis Visoiu Mistrih     return;
146aa739695SFrancis Visoiu Mistrih 
14795a05915SFrancis Visoiu Mistrih   if (MachineFunction *MF = getMFIfAvailable(*this))
148aa739695SFrancis Visoiu Mistrih     MF->getRegInfo().removeRegOperandFromUseList(this);
149aa739695SFrancis Visoiu Mistrih }
150aa739695SFrancis Visoiu Mistrih 
151aa739695SFrancis Visoiu Mistrih /// ChangeToImmediate - Replace this operand with a new immediate operand of
152aa739695SFrancis Visoiu Mistrih /// the specified value.  If an operand is known to be an immediate already,
153aa739695SFrancis Visoiu Mistrih /// the setImm method should be used.
ChangeToImmediate(int64_t ImmVal,unsigned TargetFlags)154bf41c4d2SMichael Liao void MachineOperand::ChangeToImmediate(int64_t ImmVal, unsigned TargetFlags) {
155aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm");
156aa739695SFrancis Visoiu Mistrih 
157aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
158aa739695SFrancis Visoiu Mistrih 
159aa739695SFrancis Visoiu Mistrih   OpKind = MO_Immediate;
160aa739695SFrancis Visoiu Mistrih   Contents.ImmVal = ImmVal;
161bf41c4d2SMichael Liao   setTargetFlags(TargetFlags);
162aa739695SFrancis Visoiu Mistrih }
163aa739695SFrancis Visoiu Mistrih 
ChangeToFPImmediate(const ConstantFP * FPImm,unsigned TargetFlags)164bf41c4d2SMichael Liao void MachineOperand::ChangeToFPImmediate(const ConstantFP *FPImm,
165bf41c4d2SMichael Liao                                          unsigned TargetFlags) {
166aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm");
167aa739695SFrancis Visoiu Mistrih 
168aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
169aa739695SFrancis Visoiu Mistrih 
170aa739695SFrancis Visoiu Mistrih   OpKind = MO_FPImmediate;
171aa739695SFrancis Visoiu Mistrih   Contents.CFP = FPImm;
172bf41c4d2SMichael Liao   setTargetFlags(TargetFlags);
173aa739695SFrancis Visoiu Mistrih }
174aa739695SFrancis Visoiu Mistrih 
ChangeToES(const char * SymName,unsigned TargetFlags)175aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToES(const char *SymName,
17633773d5cSPeter Collingbourne                                 unsigned TargetFlags) {
177aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
178aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into an external symbol");
179aa739695SFrancis Visoiu Mistrih 
180aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
181aa739695SFrancis Visoiu Mistrih 
182aa739695SFrancis Visoiu Mistrih   OpKind = MO_ExternalSymbol;
183aa739695SFrancis Visoiu Mistrih   Contents.OffsetedInfo.Val.SymbolName = SymName;
184aa739695SFrancis Visoiu Mistrih   setOffset(0); // Offset is always 0.
185aa739695SFrancis Visoiu Mistrih   setTargetFlags(TargetFlags);
186aa739695SFrancis Visoiu Mistrih }
187aa739695SFrancis Visoiu Mistrih 
ChangeToGA(const GlobalValue * GV,int64_t Offset,unsigned TargetFlags)188f672b617SNicolai Haehnle void MachineOperand::ChangeToGA(const GlobalValue *GV, int64_t Offset,
18933773d5cSPeter Collingbourne                                 unsigned TargetFlags) {
190f672b617SNicolai Haehnle   assert((!isReg() || !isTied()) &&
191f672b617SNicolai Haehnle          "Cannot change a tied operand into a global address");
192f672b617SNicolai Haehnle 
193f672b617SNicolai Haehnle   removeRegFromUses();
194f672b617SNicolai Haehnle 
195f672b617SNicolai Haehnle   OpKind = MO_GlobalAddress;
196f672b617SNicolai Haehnle   Contents.OffsetedInfo.Val.GV = GV;
197f672b617SNicolai Haehnle   setOffset(Offset);
198f672b617SNicolai Haehnle   setTargetFlags(TargetFlags);
199f672b617SNicolai Haehnle }
200f672b617SNicolai Haehnle 
ChangeToMCSymbol(MCSymbol * Sym,unsigned TargetFlags)201bf41c4d2SMichael Liao void MachineOperand::ChangeToMCSymbol(MCSymbol *Sym, unsigned TargetFlags) {
202aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
203aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into an MCSymbol");
204aa739695SFrancis Visoiu Mistrih 
205aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
206aa739695SFrancis Visoiu Mistrih 
207aa739695SFrancis Visoiu Mistrih   OpKind = MO_MCSymbol;
208aa739695SFrancis Visoiu Mistrih   Contents.Sym = Sym;
209bf41c4d2SMichael Liao   setTargetFlags(TargetFlags);
210aa739695SFrancis Visoiu Mistrih }
211aa739695SFrancis Visoiu Mistrih 
ChangeToFrameIndex(int Idx,unsigned TargetFlags)212bf41c4d2SMichael Liao void MachineOperand::ChangeToFrameIndex(int Idx, unsigned TargetFlags) {
213aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
214aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into a FrameIndex");
215aa739695SFrancis Visoiu Mistrih 
216aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
217aa739695SFrancis Visoiu Mistrih 
218aa739695SFrancis Visoiu Mistrih   OpKind = MO_FrameIndex;
219aa739695SFrancis Visoiu Mistrih   setIndex(Idx);
220bf41c4d2SMichael Liao   setTargetFlags(TargetFlags);
221aa739695SFrancis Visoiu Mistrih }
222aa739695SFrancis Visoiu Mistrih 
ChangeToTargetIndex(unsigned Idx,int64_t Offset,unsigned TargetFlags)223aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToTargetIndex(unsigned Idx, int64_t Offset,
22433773d5cSPeter Collingbourne                                          unsigned TargetFlags) {
225aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
226aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into a FrameIndex");
227aa739695SFrancis Visoiu Mistrih 
228aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
229aa739695SFrancis Visoiu Mistrih 
230aa739695SFrancis Visoiu Mistrih   OpKind = MO_TargetIndex;
231aa739695SFrancis Visoiu Mistrih   setIndex(Idx);
232aa739695SFrancis Visoiu Mistrih   setOffset(Offset);
233aa739695SFrancis Visoiu Mistrih   setTargetFlags(TargetFlags);
234aa739695SFrancis Visoiu Mistrih }
235aa739695SFrancis Visoiu Mistrih 
236aa739695SFrancis Visoiu Mistrih /// ChangeToRegister - Replace this operand with a new register operand of
237aa739695SFrancis Visoiu Mistrih /// the specified value.  If an operand is known to be an register already,
238aa739695SFrancis Visoiu Mistrih /// the setReg method should be used.
ChangeToRegister(Register Reg,bool isDef,bool isImp,bool isKill,bool isDead,bool isUndef,bool isDebug)239f4d3113aSMatt Arsenault void MachineOperand::ChangeToRegister(Register Reg, bool isDef, bool isImp,
240aa739695SFrancis Visoiu Mistrih                                       bool isKill, bool isDead, bool isUndef,
241aa739695SFrancis Visoiu Mistrih                                       bool isDebug) {
242aa739695SFrancis Visoiu Mistrih   MachineRegisterInfo *RegInfo = nullptr;
24395a05915SFrancis Visoiu Mistrih   if (MachineFunction *MF = getMFIfAvailable(*this))
244aa739695SFrancis Visoiu Mistrih     RegInfo = &MF->getRegInfo();
245aa739695SFrancis Visoiu Mistrih   // If this operand is already a register operand, remove it from the
246aa739695SFrancis Visoiu Mistrih   // register's use/def lists.
247aa739695SFrancis Visoiu Mistrih   bool WasReg = isReg();
248aa739695SFrancis Visoiu Mistrih   if (RegInfo && WasReg)
249aa739695SFrancis Visoiu Mistrih     RegInfo->removeRegOperandFromUseList(this);
250aa739695SFrancis Visoiu Mistrih 
251bd4dad87SJack Andersen   // Ensure debug instructions set debug flag on register uses.
252bd4dad87SJack Andersen   const MachineInstr *MI = getParent();
253bd4dad87SJack Andersen   if (!isDef && MI && MI->isDebugInstr())
254bd4dad87SJack Andersen     isDebug = true;
255bd4dad87SJack Andersen 
256aa739695SFrancis Visoiu Mistrih   // Change this to a register and set the reg#.
25760c43102SGeoff Berry   assert(!(isDead && !isDef) && "Dead flag on non-def");
25860c43102SGeoff Berry   assert(!(isKill && isDef) && "Kill flag on def");
259aa739695SFrancis Visoiu Mistrih   OpKind = MO_Register;
260aa739695SFrancis Visoiu Mistrih   SmallContents.RegNo = Reg;
261aa739695SFrancis Visoiu Mistrih   SubReg_TargetFlags = 0;
262aa739695SFrancis Visoiu Mistrih   IsDef = isDef;
263aa739695SFrancis Visoiu Mistrih   IsImp = isImp;
26460c43102SGeoff Berry   IsDeadOrKill = isKill | isDead;
26560c43102SGeoff Berry   IsRenamable = false;
266aa739695SFrancis Visoiu Mistrih   IsUndef = isUndef;
267aa739695SFrancis Visoiu Mistrih   IsInternalRead = false;
268aa739695SFrancis Visoiu Mistrih   IsEarlyClobber = false;
269aa739695SFrancis Visoiu Mistrih   IsDebug = isDebug;
270aa739695SFrancis Visoiu Mistrih   // Ensure isOnRegUseList() returns false.
271aa739695SFrancis Visoiu Mistrih   Contents.Reg.Prev = nullptr;
272aa739695SFrancis Visoiu Mistrih   // Preserve the tie when the operand was already a register.
273aa739695SFrancis Visoiu Mistrih   if (!WasReg)
274aa739695SFrancis Visoiu Mistrih     TiedTo = 0;
275aa739695SFrancis Visoiu Mistrih 
276aa739695SFrancis Visoiu Mistrih   // If this operand is embedded in a function, add the operand to the
277aa739695SFrancis Visoiu Mistrih   // register's use/def list.
278aa739695SFrancis Visoiu Mistrih   if (RegInfo)
279aa739695SFrancis Visoiu Mistrih     RegInfo->addRegOperandToUseList(this);
280aa739695SFrancis Visoiu Mistrih }
281aa739695SFrancis Visoiu Mistrih 
282aa739695SFrancis Visoiu Mistrih /// isIdenticalTo - Return true if this operand is identical to the specified
283aa739695SFrancis Visoiu Mistrih /// operand. Note that this should stay in sync with the hash_value overload
284aa739695SFrancis Visoiu Mistrih /// below.
isIdenticalTo(const MachineOperand & Other) const285aa739695SFrancis Visoiu Mistrih bool MachineOperand::isIdenticalTo(const MachineOperand &Other) const {
286aa739695SFrancis Visoiu Mistrih   if (getType() != Other.getType() ||
287aa739695SFrancis Visoiu Mistrih       getTargetFlags() != Other.getTargetFlags())
288aa739695SFrancis Visoiu Mistrih     return false;
289aa739695SFrancis Visoiu Mistrih 
290aa739695SFrancis Visoiu Mistrih   switch (getType()) {
291aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Register:
292aa739695SFrancis Visoiu Mistrih     return getReg() == Other.getReg() && isDef() == Other.isDef() &&
293aa739695SFrancis Visoiu Mistrih            getSubReg() == Other.getSubReg();
294aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Immediate:
295aa739695SFrancis Visoiu Mistrih     return getImm() == Other.getImm();
296aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CImmediate:
297aa739695SFrancis Visoiu Mistrih     return getCImm() == Other.getCImm();
298aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FPImmediate:
299aa739695SFrancis Visoiu Mistrih     return getFPImm() == Other.getFPImm();
300aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MachineBasicBlock:
301aa739695SFrancis Visoiu Mistrih     return getMBB() == Other.getMBB();
302aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FrameIndex:
303aa739695SFrancis Visoiu Mistrih     return getIndex() == Other.getIndex();
304aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ConstantPoolIndex:
305aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_TargetIndex:
306aa739695SFrancis Visoiu Mistrih     return getIndex() == Other.getIndex() && getOffset() == Other.getOffset();
307aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_JumpTableIndex:
308aa739695SFrancis Visoiu Mistrih     return getIndex() == Other.getIndex();
309aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_GlobalAddress:
310aa739695SFrancis Visoiu Mistrih     return getGlobal() == Other.getGlobal() && getOffset() == Other.getOffset();
311aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ExternalSymbol:
312aa739695SFrancis Visoiu Mistrih     return strcmp(getSymbolName(), Other.getSymbolName()) == 0 &&
313aa739695SFrancis Visoiu Mistrih            getOffset() == Other.getOffset();
314aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_BlockAddress:
315aa739695SFrancis Visoiu Mistrih     return getBlockAddress() == Other.getBlockAddress() &&
316aa739695SFrancis Visoiu Mistrih            getOffset() == Other.getOffset();
317aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterMask:
318aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterLiveOut: {
319aa739695SFrancis Visoiu Mistrih     // Shallow compare of the two RegMasks
320aa739695SFrancis Visoiu Mistrih     const uint32_t *RegMask = getRegMask();
321aa739695SFrancis Visoiu Mistrih     const uint32_t *OtherRegMask = Other.getRegMask();
322aa739695SFrancis Visoiu Mistrih     if (RegMask == OtherRegMask)
323aa739695SFrancis Visoiu Mistrih       return true;
324aa739695SFrancis Visoiu Mistrih 
32595a05915SFrancis Visoiu Mistrih     if (const MachineFunction *MF = getMFIfAvailable(*this)) {
326aa739695SFrancis Visoiu Mistrih       // Calculate the size of the RegMask
327aa739695SFrancis Visoiu Mistrih       const TargetRegisterInfo *TRI = MF->getSubtarget().getRegisterInfo();
328aa739695SFrancis Visoiu Mistrih       unsigned RegMaskSize = (TRI->getNumRegs() + 31) / 32;
329aa739695SFrancis Visoiu Mistrih 
330aa739695SFrancis Visoiu Mistrih       // Deep compare of the two RegMasks
331aa739695SFrancis Visoiu Mistrih       return std::equal(RegMask, RegMask + RegMaskSize, OtherRegMask);
332aa739695SFrancis Visoiu Mistrih     }
33395a05915SFrancis Visoiu Mistrih     // We don't know the size of the RegMask, so we can't deep compare the two
33495a05915SFrancis Visoiu Mistrih     // reg masks.
33595a05915SFrancis Visoiu Mistrih     return false;
33695a05915SFrancis Visoiu Mistrih   }
337aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MCSymbol:
338aa739695SFrancis Visoiu Mistrih     return getMCSymbol() == Other.getMCSymbol();
339aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CFIIndex:
340aa739695SFrancis Visoiu Mistrih     return getCFIIndex() == Other.getCFIIndex();
341aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Metadata:
342aa739695SFrancis Visoiu Mistrih     return getMetadata() == Other.getMetadata();
343aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_IntrinsicID:
344aa739695SFrancis Visoiu Mistrih     return getIntrinsicID() == Other.getIntrinsicID();
345aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Predicate:
346aa739695SFrancis Visoiu Mistrih     return getPredicate() == Other.getPredicate();
3475af9cf04SMatt Arsenault   case MachineOperand::MO_ShuffleMask:
3485af9cf04SMatt Arsenault     return getShuffleMask() == Other.getShuffleMask();
349aa739695SFrancis Visoiu Mistrih   }
350aa739695SFrancis Visoiu Mistrih   llvm_unreachable("Invalid machine operand type");
351aa739695SFrancis Visoiu Mistrih }
352aa739695SFrancis Visoiu Mistrih 
353aa739695SFrancis Visoiu Mistrih // Note: this must stay exactly in sync with isIdenticalTo above.
hash_value(const MachineOperand & MO)354aa739695SFrancis Visoiu Mistrih hash_code llvm::hash_value(const MachineOperand &MO) {
355aa739695SFrancis Visoiu Mistrih   switch (MO.getType()) {
356aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Register:
357aa739695SFrancis Visoiu Mistrih     // Register operands don't have target flags.
358e3a676e9SMatt Arsenault     return hash_combine(MO.getType(), (unsigned)MO.getReg(), MO.getSubReg(), MO.isDef());
359aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Immediate:
360aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getImm());
361aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CImmediate:
362aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCImm());
363aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FPImmediate:
364aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getFPImm());
365aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MachineBasicBlock:
366aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMBB());
367aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FrameIndex:
368aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex());
369aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ConstantPoolIndex:
370aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_TargetIndex:
371aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex(),
372aa739695SFrancis Visoiu Mistrih                         MO.getOffset());
373aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_JumpTableIndex:
374aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex());
375aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ExternalSymbol:
376aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getOffset(),
377d8e87227SEli Friedman                         StringRef(MO.getSymbolName()));
378aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_GlobalAddress:
379aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getGlobal(),
380aa739695SFrancis Visoiu Mistrih                         MO.getOffset());
381aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_BlockAddress:
382aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getBlockAddress(),
383aa739695SFrancis Visoiu Mistrih                         MO.getOffset());
384aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterMask:
385aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterLiveOut:
386aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getRegMask());
387aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Metadata:
388aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMetadata());
389aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MCSymbol:
390aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMCSymbol());
391aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CFIIndex:
392aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCFIIndex());
393aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_IntrinsicID:
394aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIntrinsicID());
395aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Predicate:
396aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getPredicate());
3975af9cf04SMatt Arsenault   case MachineOperand::MO_ShuffleMask:
3985af9cf04SMatt Arsenault     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getShuffleMask());
399aa739695SFrancis Visoiu Mistrih   }
400aa739695SFrancis Visoiu Mistrih   llvm_unreachable("Invalid machine operand type");
401aa739695SFrancis Visoiu Mistrih }
402aa739695SFrancis Visoiu Mistrih 
403a8a83d15SFrancis Visoiu Mistrih // Try to crawl up to the machine function and get TRI and IntrinsicInfo from
404a8a83d15SFrancis Visoiu Mistrih // it.
tryToGetTargetInfo(const MachineOperand & MO,const TargetRegisterInfo * & TRI,const TargetIntrinsicInfo * & IntrinsicInfo)405a8a83d15SFrancis Visoiu Mistrih static void tryToGetTargetInfo(const MachineOperand &MO,
406a8a83d15SFrancis Visoiu Mistrih                                const TargetRegisterInfo *&TRI,
407a8a83d15SFrancis Visoiu Mistrih                                const TargetIntrinsicInfo *&IntrinsicInfo) {
408567611efSFrancis Visoiu Mistrih   if (const MachineFunction *MF = getMFIfAvailable(MO)) {
409a8a83d15SFrancis Visoiu Mistrih     TRI = MF->getSubtarget().getRegisterInfo();
410a8a83d15SFrancis Visoiu Mistrih     IntrinsicInfo = MF->getTarget().getIntrinsicInfo();
411a8a83d15SFrancis Visoiu Mistrih   }
412a8a83d15SFrancis Visoiu Mistrih }
413a8a83d15SFrancis Visoiu Mistrih 
getTargetIndexName(const MachineFunction & MF,int Index)414b3a0d513SFrancis Visoiu Mistrih static const char *getTargetIndexName(const MachineFunction &MF, int Index) {
415b3a0d513SFrancis Visoiu Mistrih   const auto *TII = MF.getSubtarget().getInstrInfo();
416b3a0d513SFrancis Visoiu Mistrih   assert(TII && "expected instruction info");
417b3a0d513SFrancis Visoiu Mistrih   auto Indices = TII->getSerializableTargetIndices();
418b3a0d513SFrancis Visoiu Mistrih   auto Found = find_if(Indices, [&](const std::pair<int, const char *> &I) {
419b3a0d513SFrancis Visoiu Mistrih     return I.first == Index;
420b3a0d513SFrancis Visoiu Mistrih   });
421b3a0d513SFrancis Visoiu Mistrih   if (Found != Indices.end())
422b3a0d513SFrancis Visoiu Mistrih     return Found->second;
423b3a0d513SFrancis Visoiu Mistrih   return nullptr;
424b3a0d513SFrancis Visoiu Mistrih }
425b3a0d513SFrancis Visoiu Mistrih 
getTargetIndexName() const4267fff1fbdSPuyan Lotfi const char *MachineOperand::getTargetIndexName() const {
4277fff1fbdSPuyan Lotfi   const MachineFunction *MF = getMFIfAvailable(*this);
4287fff1fbdSPuyan Lotfi   return MF ? ::getTargetIndexName(*MF, this->getIndex()) : nullptr;
4297fff1fbdSPuyan Lotfi }
4307fff1fbdSPuyan Lotfi 
getTargetFlagName(const TargetInstrInfo * TII,unsigned TF)4315df3bbf3SFrancis Visoiu Mistrih static const char *getTargetFlagName(const TargetInstrInfo *TII, unsigned TF) {
4325df3bbf3SFrancis Visoiu Mistrih   auto Flags = TII->getSerializableDirectMachineOperandTargetFlags();
4335df3bbf3SFrancis Visoiu Mistrih   for (const auto &I : Flags) {
4345df3bbf3SFrancis Visoiu Mistrih     if (I.first == TF) {
4355df3bbf3SFrancis Visoiu Mistrih       return I.second;
4365df3bbf3SFrancis Visoiu Mistrih     }
4375df3bbf3SFrancis Visoiu Mistrih   }
4385df3bbf3SFrancis Visoiu Mistrih   return nullptr;
4395df3bbf3SFrancis Visoiu Mistrih }
4405df3bbf3SFrancis Visoiu Mistrih 
printCFIRegister(unsigned DwarfReg,raw_ostream & OS,const TargetRegisterInfo * TRI)441874ae6faSFrancis Visoiu Mistrih static void printCFIRegister(unsigned DwarfReg, raw_ostream &OS,
442874ae6faSFrancis Visoiu Mistrih                              const TargetRegisterInfo *TRI) {
443874ae6faSFrancis Visoiu Mistrih   if (!TRI) {
444874ae6faSFrancis Visoiu Mistrih     OS << "%dwarfreg." << DwarfReg;
445874ae6faSFrancis Visoiu Mistrih     return;
446874ae6faSFrancis Visoiu Mistrih   }
447874ae6faSFrancis Visoiu Mistrih 
448aaff1a63SPavel Labath   if (Optional<unsigned> Reg = TRI->getLLVMRegNum(DwarfReg, true))
449aaff1a63SPavel Labath     OS << printReg(*Reg, TRI);
450aaff1a63SPavel Labath   else
451874ae6faSFrancis Visoiu Mistrih     OS << "<badreg>";
452874ae6faSFrancis Visoiu Mistrih }
453874ae6faSFrancis Visoiu Mistrih 
printIRBlockReference(raw_ostream & OS,const BasicBlock & BB,ModuleSlotTracker & MST)454f81727d1SFrancis Visoiu Mistrih static void printIRBlockReference(raw_ostream &OS, const BasicBlock &BB,
455f81727d1SFrancis Visoiu Mistrih                                   ModuleSlotTracker &MST) {
456f81727d1SFrancis Visoiu Mistrih   OS << "%ir-block.";
457f81727d1SFrancis Visoiu Mistrih   if (BB.hasName()) {
458f81727d1SFrancis Visoiu Mistrih     printLLVMNameWithoutPrefix(OS, BB.getName());
459f81727d1SFrancis Visoiu Mistrih     return;
460f81727d1SFrancis Visoiu Mistrih   }
461f81727d1SFrancis Visoiu Mistrih   Optional<int> Slot;
462f81727d1SFrancis Visoiu Mistrih   if (const Function *F = BB.getParent()) {
463f81727d1SFrancis Visoiu Mistrih     if (F == MST.getCurrentFunction()) {
464f81727d1SFrancis Visoiu Mistrih       Slot = MST.getLocalSlot(&BB);
465f81727d1SFrancis Visoiu Mistrih     } else if (const Module *M = F->getParent()) {
466f81727d1SFrancis Visoiu Mistrih       ModuleSlotTracker CustomMST(M, /*ShouldInitializeAllMetadata=*/false);
467f81727d1SFrancis Visoiu Mistrih       CustomMST.incorporateFunction(*F);
468f81727d1SFrancis Visoiu Mistrih       Slot = CustomMST.getLocalSlot(&BB);
469f81727d1SFrancis Visoiu Mistrih     }
470f81727d1SFrancis Visoiu Mistrih   }
471f81727d1SFrancis Visoiu Mistrih   if (Slot)
472f81727d1SFrancis Visoiu Mistrih     MachineOperand::printIRSlotNumber(OS, *Slot);
473f81727d1SFrancis Visoiu Mistrih   else
474f81727d1SFrancis Visoiu Mistrih     OS << "<unknown>";
475f81727d1SFrancis Visoiu Mistrih }
476f81727d1SFrancis Visoiu Mistrih 
printSyncScope(raw_ostream & OS,const LLVMContext & Context,SyncScope::ID SSID,SmallVectorImpl<StringRef> & SSNs)477e85b06d6SFrancis Visoiu Mistrih static void printSyncScope(raw_ostream &OS, const LLVMContext &Context,
478e85b06d6SFrancis Visoiu Mistrih                            SyncScope::ID SSID,
479e85b06d6SFrancis Visoiu Mistrih                            SmallVectorImpl<StringRef> &SSNs) {
480e85b06d6SFrancis Visoiu Mistrih   switch (SSID) {
481e85b06d6SFrancis Visoiu Mistrih   case SyncScope::System:
482e85b06d6SFrancis Visoiu Mistrih     break;
483e85b06d6SFrancis Visoiu Mistrih   default:
484e85b06d6SFrancis Visoiu Mistrih     if (SSNs.empty())
485e85b06d6SFrancis Visoiu Mistrih       Context.getSyncScopeNames(SSNs);
486e85b06d6SFrancis Visoiu Mistrih 
487e85b06d6SFrancis Visoiu Mistrih     OS << "syncscope(\"";
488745918ffSJonas Devlieghere     printEscapedString(SSNs[SSID], OS);
489e85b06d6SFrancis Visoiu Mistrih     OS << "\") ";
490e85b06d6SFrancis Visoiu Mistrih     break;
491e85b06d6SFrancis Visoiu Mistrih   }
492e85b06d6SFrancis Visoiu Mistrih }
493e85b06d6SFrancis Visoiu Mistrih 
getTargetMMOFlagName(const TargetInstrInfo & TII,unsigned TMMOFlag)494e85b06d6SFrancis Visoiu Mistrih static const char *getTargetMMOFlagName(const TargetInstrInfo &TII,
495e85b06d6SFrancis Visoiu Mistrih                                         unsigned TMMOFlag) {
496e85b06d6SFrancis Visoiu Mistrih   auto Flags = TII.getSerializableMachineMemOperandTargetFlags();
497e85b06d6SFrancis Visoiu Mistrih   for (const auto &I : Flags) {
498e85b06d6SFrancis Visoiu Mistrih     if (I.first == TMMOFlag) {
499e85b06d6SFrancis Visoiu Mistrih       return I.second;
500e85b06d6SFrancis Visoiu Mistrih     }
501e85b06d6SFrancis Visoiu Mistrih   }
502e85b06d6SFrancis Visoiu Mistrih   return nullptr;
503e85b06d6SFrancis Visoiu Mistrih }
504e85b06d6SFrancis Visoiu Mistrih 
printFrameIndex(raw_ostream & OS,int FrameIndex,bool IsFixed,const MachineFrameInfo * MFI)505e85b06d6SFrancis Visoiu Mistrih static void printFrameIndex(raw_ostream& OS, int FrameIndex, bool IsFixed,
506e85b06d6SFrancis Visoiu Mistrih                             const MachineFrameInfo *MFI) {
507e85b06d6SFrancis Visoiu Mistrih   StringRef Name;
508e85b06d6SFrancis Visoiu Mistrih   if (MFI) {
509e85b06d6SFrancis Visoiu Mistrih     IsFixed = MFI->isFixedObjectIndex(FrameIndex);
510e85b06d6SFrancis Visoiu Mistrih     if (const AllocaInst *Alloca = MFI->getObjectAllocation(FrameIndex))
511e85b06d6SFrancis Visoiu Mistrih       if (Alloca->hasName())
512e85b06d6SFrancis Visoiu Mistrih         Name = Alloca->getName();
513e85b06d6SFrancis Visoiu Mistrih     if (IsFixed)
514e85b06d6SFrancis Visoiu Mistrih       FrameIndex -= MFI->getObjectIndexBegin();
515e85b06d6SFrancis Visoiu Mistrih   }
516e85b06d6SFrancis Visoiu Mistrih   MachineOperand::printStackObjectReference(OS, FrameIndex, IsFixed, Name);
517e85b06d6SFrancis Visoiu Mistrih }
518e85b06d6SFrancis Visoiu Mistrih 
printSubRegIdx(raw_ostream & OS,uint64_t Index,const TargetRegisterInfo * TRI)519ecd0b833SFrancis Visoiu Mistrih void MachineOperand::printSubRegIdx(raw_ostream &OS, uint64_t Index,
520440f69c9SFrancis Visoiu Mistrih                                     const TargetRegisterInfo *TRI) {
521440f69c9SFrancis Visoiu Mistrih   OS << "%subreg.";
522440f69c9SFrancis Visoiu Mistrih   if (TRI)
523440f69c9SFrancis Visoiu Mistrih     OS << TRI->getSubRegIndexName(Index);
524440f69c9SFrancis Visoiu Mistrih   else
525440f69c9SFrancis Visoiu Mistrih     OS << Index;
526440f69c9SFrancis Visoiu Mistrih }
527440f69c9SFrancis Visoiu Mistrih 
printTargetFlags(raw_ostream & OS,const MachineOperand & Op)5285df3bbf3SFrancis Visoiu Mistrih void MachineOperand::printTargetFlags(raw_ostream &OS,
5295df3bbf3SFrancis Visoiu Mistrih                                       const MachineOperand &Op) {
5305df3bbf3SFrancis Visoiu Mistrih   if (!Op.getTargetFlags())
5315df3bbf3SFrancis Visoiu Mistrih     return;
5325df3bbf3SFrancis Visoiu Mistrih   const MachineFunction *MF = getMFIfAvailable(Op);
5335df3bbf3SFrancis Visoiu Mistrih   if (!MF)
5345df3bbf3SFrancis Visoiu Mistrih     return;
5355df3bbf3SFrancis Visoiu Mistrih 
5365df3bbf3SFrancis Visoiu Mistrih   const auto *TII = MF->getSubtarget().getInstrInfo();
5375df3bbf3SFrancis Visoiu Mistrih   assert(TII && "expected instruction info");
5385df3bbf3SFrancis Visoiu Mistrih   auto Flags = TII->decomposeMachineOperandsTargetFlags(Op.getTargetFlags());
5395df3bbf3SFrancis Visoiu Mistrih   OS << "target-flags(";
5405df3bbf3SFrancis Visoiu Mistrih   const bool HasDirectFlags = Flags.first;
5415df3bbf3SFrancis Visoiu Mistrih   const bool HasBitmaskFlags = Flags.second;
5425df3bbf3SFrancis Visoiu Mistrih   if (!HasDirectFlags && !HasBitmaskFlags) {
5435df3bbf3SFrancis Visoiu Mistrih     OS << "<unknown>) ";
5445df3bbf3SFrancis Visoiu Mistrih     return;
5455df3bbf3SFrancis Visoiu Mistrih   }
5465df3bbf3SFrancis Visoiu Mistrih   if (HasDirectFlags) {
5475df3bbf3SFrancis Visoiu Mistrih     if (const auto *Name = getTargetFlagName(TII, Flags.first))
5485df3bbf3SFrancis Visoiu Mistrih       OS << Name;
5495df3bbf3SFrancis Visoiu Mistrih     else
5505df3bbf3SFrancis Visoiu Mistrih       OS << "<unknown target flag>";
5515df3bbf3SFrancis Visoiu Mistrih   }
5525df3bbf3SFrancis Visoiu Mistrih   if (!HasBitmaskFlags) {
5535df3bbf3SFrancis Visoiu Mistrih     OS << ") ";
5545df3bbf3SFrancis Visoiu Mistrih     return;
5555df3bbf3SFrancis Visoiu Mistrih   }
5565df3bbf3SFrancis Visoiu Mistrih   bool IsCommaNeeded = HasDirectFlags;
5575df3bbf3SFrancis Visoiu Mistrih   unsigned BitMask = Flags.second;
5585df3bbf3SFrancis Visoiu Mistrih   auto BitMasks = TII->getSerializableBitmaskMachineOperandTargetFlags();
5595df3bbf3SFrancis Visoiu Mistrih   for (const auto &Mask : BitMasks) {
5605df3bbf3SFrancis Visoiu Mistrih     // Check if the flag's bitmask has the bits of the current mask set.
5615df3bbf3SFrancis Visoiu Mistrih     if ((BitMask & Mask.first) == Mask.first) {
5625df3bbf3SFrancis Visoiu Mistrih       if (IsCommaNeeded)
5635df3bbf3SFrancis Visoiu Mistrih         OS << ", ";
5645df3bbf3SFrancis Visoiu Mistrih       IsCommaNeeded = true;
5655df3bbf3SFrancis Visoiu Mistrih       OS << Mask.second;
5665df3bbf3SFrancis Visoiu Mistrih       // Clear the bits which were serialized from the flag's bitmask.
5675df3bbf3SFrancis Visoiu Mistrih       BitMask &= ~(Mask.first);
5685df3bbf3SFrancis Visoiu Mistrih     }
5695df3bbf3SFrancis Visoiu Mistrih   }
5705df3bbf3SFrancis Visoiu Mistrih   if (BitMask) {
5715df3bbf3SFrancis Visoiu Mistrih     // When the resulting flag's bitmask isn't zero, we know that we didn't
5725df3bbf3SFrancis Visoiu Mistrih     // serialize all of the bit flags.
5735df3bbf3SFrancis Visoiu Mistrih     if (IsCommaNeeded)
5745df3bbf3SFrancis Visoiu Mistrih       OS << ", ";
5755df3bbf3SFrancis Visoiu Mistrih     OS << "<unknown bitmask target flag>";
5765df3bbf3SFrancis Visoiu Mistrih   }
5775df3bbf3SFrancis Visoiu Mistrih   OS << ") ";
5785df3bbf3SFrancis Visoiu Mistrih }
5795df3bbf3SFrancis Visoiu Mistrih 
printSymbol(raw_ostream & OS,MCSymbol & Sym)5805de20e03SFrancis Visoiu Mistrih void MachineOperand::printSymbol(raw_ostream &OS, MCSymbol &Sym) {
5815de20e03SFrancis Visoiu Mistrih   OS << "<mcsymbol " << Sym << ">";
5825de20e03SFrancis Visoiu Mistrih }
5835de20e03SFrancis Visoiu Mistrih 
printStackObjectReference(raw_ostream & OS,unsigned FrameIndex,bool IsFixed,StringRef Name)5840b5bdceaSFrancis Visoiu Mistrih void MachineOperand::printStackObjectReference(raw_ostream &OS,
5850b5bdceaSFrancis Visoiu Mistrih                                                unsigned FrameIndex,
5860b5bdceaSFrancis Visoiu Mistrih                                                bool IsFixed, StringRef Name) {
5870b5bdceaSFrancis Visoiu Mistrih   if (IsFixed) {
5880b5bdceaSFrancis Visoiu Mistrih     OS << "%fixed-stack." << FrameIndex;
5890b5bdceaSFrancis Visoiu Mistrih     return;
5900b5bdceaSFrancis Visoiu Mistrih   }
5910b5bdceaSFrancis Visoiu Mistrih 
5920b5bdceaSFrancis Visoiu Mistrih   OS << "%stack." << FrameIndex;
5930b5bdceaSFrancis Visoiu Mistrih   if (!Name.empty())
5940b5bdceaSFrancis Visoiu Mistrih     OS << '.' << Name;
5950b5bdceaSFrancis Visoiu Mistrih }
5960b5bdceaSFrancis Visoiu Mistrih 
printOperandOffset(raw_ostream & OS,int64_t Offset)59781226602SFrancis Visoiu Mistrih void MachineOperand::printOperandOffset(raw_ostream &OS, int64_t Offset) {
59881226602SFrancis Visoiu Mistrih   if (Offset == 0)
59981226602SFrancis Visoiu Mistrih     return;
60081226602SFrancis Visoiu Mistrih   if (Offset < 0) {
60181226602SFrancis Visoiu Mistrih     OS << " - " << -Offset;
60281226602SFrancis Visoiu Mistrih     return;
60381226602SFrancis Visoiu Mistrih   }
60481226602SFrancis Visoiu Mistrih   OS << " + " << Offset;
60581226602SFrancis Visoiu Mistrih }
60681226602SFrancis Visoiu Mistrih 
printIRSlotNumber(raw_ostream & OS,int Slot)607f81727d1SFrancis Visoiu Mistrih void MachineOperand::printIRSlotNumber(raw_ostream &OS, int Slot) {
608f81727d1SFrancis Visoiu Mistrih   if (Slot == -1)
609f81727d1SFrancis Visoiu Mistrih     OS << "<badref>";
610f81727d1SFrancis Visoiu Mistrih   else
611f81727d1SFrancis Visoiu Mistrih     OS << Slot;
612f81727d1SFrancis Visoiu Mistrih }
613f81727d1SFrancis Visoiu Mistrih 
printCFI(raw_ostream & OS,const MCCFIInstruction & CFI,const TargetRegisterInfo * TRI)614874ae6faSFrancis Visoiu Mistrih static void printCFI(raw_ostream &OS, const MCCFIInstruction &CFI,
615874ae6faSFrancis Visoiu Mistrih                      const TargetRegisterInfo *TRI) {
616874ae6faSFrancis Visoiu Mistrih   switch (CFI.getOperation()) {
617874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpSameValue:
618874ae6faSFrancis Visoiu Mistrih     OS << "same_value ";
619874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
620874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
621874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
622874ae6faSFrancis Visoiu Mistrih     break;
623874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpRememberState:
624874ae6faSFrancis Visoiu Mistrih     OS << "remember_state ";
625874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
626874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
627874ae6faSFrancis Visoiu Mistrih     break;
628874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpRestoreState:
629874ae6faSFrancis Visoiu Mistrih     OS << "restore_state ";
630874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
631874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
632874ae6faSFrancis Visoiu Mistrih     break;
633874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpOffset:
634874ae6faSFrancis Visoiu Mistrih     OS << "offset ";
635874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
636874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
637874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
638874ae6faSFrancis Visoiu Mistrih     OS << ", " << CFI.getOffset();
639874ae6faSFrancis Visoiu Mistrih     break;
640874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpDefCfaRegister:
641874ae6faSFrancis Visoiu Mistrih     OS << "def_cfa_register ";
642874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
643874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
644874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
645874ae6faSFrancis Visoiu Mistrih     break;
646874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpDefCfaOffset:
647874ae6faSFrancis Visoiu Mistrih     OS << "def_cfa_offset ";
648874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
649874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
650874ae6faSFrancis Visoiu Mistrih     OS << CFI.getOffset();
651874ae6faSFrancis Visoiu Mistrih     break;
652874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpDefCfa:
653874ae6faSFrancis Visoiu Mistrih     OS << "def_cfa ";
654874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
655874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
656874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
657874ae6faSFrancis Visoiu Mistrih     OS << ", " << CFI.getOffset();
658874ae6faSFrancis Visoiu Mistrih     break;
659167e7afcSRamNalamothu   case MCCFIInstruction::OpLLVMDefAspaceCfa:
660167e7afcSRamNalamothu     OS << "llvm_def_aspace_cfa ";
661167e7afcSRamNalamothu     if (MCSymbol *Label = CFI.getLabel())
662167e7afcSRamNalamothu       MachineOperand::printSymbol(OS, *Label);
663167e7afcSRamNalamothu     printCFIRegister(CFI.getRegister(), OS, TRI);
664167e7afcSRamNalamothu     OS << ", " << CFI.getOffset();
665167e7afcSRamNalamothu     OS << ", " << CFI.getAddressSpace();
666167e7afcSRamNalamothu     break;
667874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpRelOffset:
668874ae6faSFrancis Visoiu Mistrih     OS << "rel_offset ";
669874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
670874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
671874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
672874ae6faSFrancis Visoiu Mistrih     OS << ", " << CFI.getOffset();
673874ae6faSFrancis Visoiu Mistrih     break;
674874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpAdjustCfaOffset:
675874ae6faSFrancis Visoiu Mistrih     OS << "adjust_cfa_offset ";
676874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
677874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
678874ae6faSFrancis Visoiu Mistrih     OS << CFI.getOffset();
679874ae6faSFrancis Visoiu Mistrih     break;
680874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpRestore:
681874ae6faSFrancis Visoiu Mistrih     OS << "restore ";
682874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
683874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
684874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
685874ae6faSFrancis Visoiu Mistrih     break;
686874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpEscape: {
687874ae6faSFrancis Visoiu Mistrih     OS << "escape ";
688874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
689874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
690874ae6faSFrancis Visoiu Mistrih     if (!CFI.getValues().empty()) {
691874ae6faSFrancis Visoiu Mistrih       size_t e = CFI.getValues().size() - 1;
692874ae6faSFrancis Visoiu Mistrih       for (size_t i = 0; i < e; ++i)
693874ae6faSFrancis Visoiu Mistrih         OS << format("0x%02x", uint8_t(CFI.getValues()[i])) << ", ";
6944d81aec4SScott Linder       OS << format("0x%02x", uint8_t(CFI.getValues()[e]));
695874ae6faSFrancis Visoiu Mistrih     }
696874ae6faSFrancis Visoiu Mistrih     break;
697874ae6faSFrancis Visoiu Mistrih   }
698874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpUndefined:
699874ae6faSFrancis Visoiu Mistrih     OS << "undefined ";
700874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
701874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
702874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
703874ae6faSFrancis Visoiu Mistrih     break;
704874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpRegister:
705874ae6faSFrancis Visoiu Mistrih     OS << "register ";
706874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
707874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
708874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister(), OS, TRI);
709874ae6faSFrancis Visoiu Mistrih     OS << ", ";
710874ae6faSFrancis Visoiu Mistrih     printCFIRegister(CFI.getRegister2(), OS, TRI);
711874ae6faSFrancis Visoiu Mistrih     break;
712874ae6faSFrancis Visoiu Mistrih   case MCCFIInstruction::OpWindowSave:
713874ae6faSFrancis Visoiu Mistrih     OS << "window_save ";
714874ae6faSFrancis Visoiu Mistrih     if (MCSymbol *Label = CFI.getLabel())
715874ae6faSFrancis Visoiu Mistrih       MachineOperand::printSymbol(OS, *Label);
716874ae6faSFrancis Visoiu Mistrih     break;
717f57d7d82SLuke Cheeseman   case MCCFIInstruction::OpNegateRAState:
718f57d7d82SLuke Cheeseman     OS << "negate_ra_sign_state ";
719f57d7d82SLuke Cheeseman     if (MCSymbol *Label = CFI.getLabel())
720f57d7d82SLuke Cheeseman       MachineOperand::printSymbol(OS, *Label);
721f57d7d82SLuke Cheeseman     break;
722874ae6faSFrancis Visoiu Mistrih   default:
723874ae6faSFrancis Visoiu Mistrih     // TODO: Print the other CFI Operations.
724874ae6faSFrancis Visoiu Mistrih     OS << "<unserializable cfi directive>";
725874ae6faSFrancis Visoiu Mistrih     break;
726874ae6faSFrancis Visoiu Mistrih   }
727874ae6faSFrancis Visoiu Mistrih }
728874ae6faSFrancis Visoiu Mistrih 
print(raw_ostream & OS,const TargetRegisterInfo * TRI,const TargetIntrinsicInfo * IntrinsicInfo) const729aa739695SFrancis Visoiu Mistrih void MachineOperand::print(raw_ostream &OS, const TargetRegisterInfo *TRI,
730aa739695SFrancis Visoiu Mistrih                            const TargetIntrinsicInfo *IntrinsicInfo) const {
731f487edaeSRoman Tereshin   print(OS, LLT{}, TRI, IntrinsicInfo);
732f487edaeSRoman Tereshin }
733f487edaeSRoman Tereshin 
print(raw_ostream & OS,LLT TypeToPrint,const TargetRegisterInfo * TRI,const TargetIntrinsicInfo * IntrinsicInfo) const734f487edaeSRoman Tereshin void MachineOperand::print(raw_ostream &OS, LLT TypeToPrint,
735f487edaeSRoman Tereshin                            const TargetRegisterInfo *TRI,
736f487edaeSRoman Tereshin                            const TargetIntrinsicInfo *IntrinsicInfo) const {
737a8a83d15SFrancis Visoiu Mistrih   tryToGetTargetInfo(*this, TRI, IntrinsicInfo);
738aa739695SFrancis Visoiu Mistrih   ModuleSlotTracker DummyMST(nullptr);
739de3d0ee0SDaniel Sanders   print(OS, DummyMST, TypeToPrint, None, /*PrintDef=*/false,
740de3d0ee0SDaniel Sanders         /*IsStandalone=*/true,
741a8a83d15SFrancis Visoiu Mistrih         /*ShouldPrintRegisterTies=*/true,
742a8a83d15SFrancis Visoiu Mistrih         /*TiedOperandIdx=*/0, TRI, IntrinsicInfo);
743aa739695SFrancis Visoiu Mistrih }
744aa739695SFrancis Visoiu Mistrih 
print(raw_ostream & OS,ModuleSlotTracker & MST,LLT TypeToPrint,Optional<unsigned> OpIdx,bool PrintDef,bool IsStandalone,bool ShouldPrintRegisterTies,unsigned TiedOperandIdx,const TargetRegisterInfo * TRI,const TargetIntrinsicInfo * IntrinsicInfo) const745aa739695SFrancis Visoiu Mistrih void MachineOperand::print(raw_ostream &OS, ModuleSlotTracker &MST,
746de3d0ee0SDaniel Sanders                            LLT TypeToPrint, Optional<unsigned> OpIdx, bool PrintDef,
747de3d0ee0SDaniel Sanders                            bool IsStandalone, bool ShouldPrintRegisterTies,
748a8a83d15SFrancis Visoiu Mistrih                            unsigned TiedOperandIdx,
749aa739695SFrancis Visoiu Mistrih                            const TargetRegisterInfo *TRI,
750aa739695SFrancis Visoiu Mistrih                            const TargetIntrinsicInfo *IntrinsicInfo) const {
7515df3bbf3SFrancis Visoiu Mistrih   printTargetFlags(OS, *this);
752aa739695SFrancis Visoiu Mistrih   switch (getType()) {
753a8a83d15SFrancis Visoiu Mistrih   case MachineOperand::MO_Register: {
7540c476111SDaniel Sanders     Register Reg = getReg();
755aa739695SFrancis Visoiu Mistrih     if (isImplicit())
756a8a83d15SFrancis Visoiu Mistrih       OS << (isDef() ? "implicit-def " : "implicit ");
757a8a83d15SFrancis Visoiu Mistrih     else if (PrintDef && isDef())
758a8a83d15SFrancis Visoiu Mistrih       // Print the 'def' flag only when the operand is defined after '='.
759aa739695SFrancis Visoiu Mistrih       OS << "def ";
760a8a83d15SFrancis Visoiu Mistrih     if (isInternalRead())
761aa739695SFrancis Visoiu Mistrih       OS << "internal ";
762a8a83d15SFrancis Visoiu Mistrih     if (isDead())
763a8a83d15SFrancis Visoiu Mistrih       OS << "dead ";
764a8a83d15SFrancis Visoiu Mistrih     if (isKill())
765a8a83d15SFrancis Visoiu Mistrih       OS << "killed ";
766a8a83d15SFrancis Visoiu Mistrih     if (isUndef())
767a8a83d15SFrancis Visoiu Mistrih       OS << "undef ";
768a8a83d15SFrancis Visoiu Mistrih     if (isEarlyClobber())
769a8a83d15SFrancis Visoiu Mistrih       OS << "early-clobber ";
7702bea69bfSDaniel Sanders     if (Register::isPhysicalRegister(getReg()) && isRenamable())
77160c43102SGeoff Berry       OS << "renamable ";
772a8340389SMatthias Braun     // isDebug() is exactly true for register operands of a DBG_VALUE. So we
773a8340389SMatthias Braun     // simply infer it when parsing and do not need to print it.
774399b46c9SPuyan Lotfi 
775399b46c9SPuyan Lotfi     const MachineRegisterInfo *MRI = nullptr;
7762bea69bfSDaniel Sanders     if (Register::isVirtualRegister(Reg)) {
777399b46c9SPuyan Lotfi       if (const MachineFunction *MF = getMFIfAvailable(*this)) {
778399b46c9SPuyan Lotfi         MRI = &MF->getRegInfo();
779399b46c9SPuyan Lotfi       }
780399b46c9SPuyan Lotfi     }
781399b46c9SPuyan Lotfi 
782399b46c9SPuyan Lotfi     OS << printReg(Reg, TRI, 0, MRI);
783a8a83d15SFrancis Visoiu Mistrih     // Print the sub register.
784a8a83d15SFrancis Visoiu Mistrih     if (unsigned SubReg = getSubReg()) {
785a8a83d15SFrancis Visoiu Mistrih       if (TRI)
786a8a83d15SFrancis Visoiu Mistrih         OS << '.' << TRI->getSubRegIndexName(SubReg);
787a8a83d15SFrancis Visoiu Mistrih       else
788a8a83d15SFrancis Visoiu Mistrih         OS << ".subreg" << SubReg;
789aa739695SFrancis Visoiu Mistrih     }
790a8a83d15SFrancis Visoiu Mistrih     // Print the register class / bank.
7912bea69bfSDaniel Sanders     if (Register::isVirtualRegister(Reg)) {
792567611efSFrancis Visoiu Mistrih       if (const MachineFunction *MF = getMFIfAvailable(*this)) {
793a8a83d15SFrancis Visoiu Mistrih         const MachineRegisterInfo &MRI = MF->getRegInfo();
794eb3f76fcSFrancis Visoiu Mistrih         if (IsStandalone || !PrintDef || MRI.def_empty(Reg)) {
795a8a83d15SFrancis Visoiu Mistrih           OS << ':';
796a8a83d15SFrancis Visoiu Mistrih           OS << printRegClassOrBank(Reg, MRI, TRI);
797aa739695SFrancis Visoiu Mistrih         }
798aa739695SFrancis Visoiu Mistrih       }
799a8a83d15SFrancis Visoiu Mistrih     }
800a8a83d15SFrancis Visoiu Mistrih     // Print ties.
801a8a83d15SFrancis Visoiu Mistrih     if (ShouldPrintRegisterTies && isTied() && !isDef())
802a8a83d15SFrancis Visoiu Mistrih       OS << "(tied-def " << TiedOperandIdx << ")";
803a8a83d15SFrancis Visoiu Mistrih     // Print types.
804a8a83d15SFrancis Visoiu Mistrih     if (TypeToPrint.isValid())
805a8a83d15SFrancis Visoiu Mistrih       OS << '(' << TypeToPrint << ')';
806aa739695SFrancis Visoiu Mistrih     break;
807a8a83d15SFrancis Visoiu Mistrih   }
808de3d0ee0SDaniel Sanders   case MachineOperand::MO_Immediate: {
809de3d0ee0SDaniel Sanders     const MIRFormatter *Formatter = nullptr;
810cfd84984SPeng Guo     if (const MachineFunction *MF = getMFIfAvailable(*this)) {
811cfd84984SPeng Guo       const auto *TII = MF->getSubtarget().getInstrInfo();
812cfd84984SPeng Guo       assert(TII && "expected instruction info");
813cfd84984SPeng Guo       Formatter = TII->getMIRFormatter();
814cfd84984SPeng Guo     }
815de3d0ee0SDaniel Sanders     if (Formatter)
816de3d0ee0SDaniel Sanders       Formatter->printImm(OS, *getParent(), OpIdx, getImm());
817de3d0ee0SDaniel Sanders     else
818aa739695SFrancis Visoiu Mistrih       OS << getImm();
819aa739695SFrancis Visoiu Mistrih     break;
820de3d0ee0SDaniel Sanders   }
821aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CImmediate:
8226c4ca713SFrancis Visoiu Mistrih     getCImm()->printAsOperand(OS, /*PrintType=*/true, MST);
823aa739695SFrancis Visoiu Mistrih     break;
824aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FPImmediate:
8253b265c8fSFrancis Visoiu Mistrih     getFPImm()->printAsOperand(OS, /*PrintType=*/true, MST);
826aa739695SFrancis Visoiu Mistrih     break;
827aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MachineBasicBlock:
82825528d6dSFrancis Visoiu Mistrih     OS << printMBBReference(*getMBB());
829aa739695SFrancis Visoiu Mistrih     break;
8300b5bdceaSFrancis Visoiu Mistrih   case MachineOperand::MO_FrameIndex: {
8310b5bdceaSFrancis Visoiu Mistrih     int FrameIndex = getIndex();
8320b5bdceaSFrancis Visoiu Mistrih     bool IsFixed = false;
833e85b06d6SFrancis Visoiu Mistrih     const MachineFrameInfo *MFI = nullptr;
834e85b06d6SFrancis Visoiu Mistrih     if (const MachineFunction *MF = getMFIfAvailable(*this))
835e85b06d6SFrancis Visoiu Mistrih       MFI = &MF->getFrameInfo();
836e85b06d6SFrancis Visoiu Mistrih     printFrameIndex(OS, FrameIndex, IsFixed, MFI);
837aa739695SFrancis Visoiu Mistrih     break;
8380b5bdceaSFrancis Visoiu Mistrih   }
839aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ConstantPoolIndex:
84026ae8a65SFrancis Visoiu Mistrih     OS << "%const." << getIndex();
84181226602SFrancis Visoiu Mistrih     printOperandOffset(OS, getOffset());
842aa739695SFrancis Visoiu Mistrih     break;
843b3a0d513SFrancis Visoiu Mistrih   case MachineOperand::MO_TargetIndex: {
844b3a0d513SFrancis Visoiu Mistrih     OS << "target-index(";
845b3a0d513SFrancis Visoiu Mistrih     const char *Name = "<unknown>";
846b3a0d513SFrancis Visoiu Mistrih     if (const MachineFunction *MF = getMFIfAvailable(*this))
8477fff1fbdSPuyan Lotfi       if (const auto *TargetIndexName = ::getTargetIndexName(*MF, getIndex()))
848b3a0d513SFrancis Visoiu Mistrih         Name = TargetIndexName;
849b3a0d513SFrancis Visoiu Mistrih     OS << Name << ')';
85081226602SFrancis Visoiu Mistrih     printOperandOffset(OS, getOffset());
851aa739695SFrancis Visoiu Mistrih     break;
852b3a0d513SFrancis Visoiu Mistrih   }
853aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_JumpTableIndex:
854b41dbbe3SFrancis Visoiu Mistrih     OS << printJumpTableEntryReference(getIndex());
855aa739695SFrancis Visoiu Mistrih     break;
856aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_GlobalAddress:
857aa739695SFrancis Visoiu Mistrih     getGlobal()->printAsOperand(OS, /*PrintType=*/false, MST);
85881226602SFrancis Visoiu Mistrih     printOperandOffset(OS, getOffset());
859aa739695SFrancis Visoiu Mistrih     break;
860e76c5fcdSFrancis Visoiu Mistrih   case MachineOperand::MO_ExternalSymbol: {
861e76c5fcdSFrancis Visoiu Mistrih     StringRef Name = getSymbolName();
862fe6c9cbbSPuyan Lotfi     OS << '&';
863e76c5fcdSFrancis Visoiu Mistrih     if (Name.empty()) {
864e76c5fcdSFrancis Visoiu Mistrih       OS << "\"\"";
865e76c5fcdSFrancis Visoiu Mistrih     } else {
866e76c5fcdSFrancis Visoiu Mistrih       printLLVMNameWithoutPrefix(OS, Name);
867e76c5fcdSFrancis Visoiu Mistrih     }
86881226602SFrancis Visoiu Mistrih     printOperandOffset(OS, getOffset());
869aa739695SFrancis Visoiu Mistrih     break;
870e76c5fcdSFrancis Visoiu Mistrih   }
871f81727d1SFrancis Visoiu Mistrih   case MachineOperand::MO_BlockAddress: {
872f81727d1SFrancis Visoiu Mistrih     OS << "blockaddress(";
873f81727d1SFrancis Visoiu Mistrih     getBlockAddress()->getFunction()->printAsOperand(OS, /*PrintType=*/false,
874f81727d1SFrancis Visoiu Mistrih                                                      MST);
875f81727d1SFrancis Visoiu Mistrih     OS << ", ";
876f81727d1SFrancis Visoiu Mistrih     printIRBlockReference(OS, *getBlockAddress()->getBasicBlock(), MST);
877f81727d1SFrancis Visoiu Mistrih     OS << ')';
878f81727d1SFrancis Visoiu Mistrih     MachineOperand::printOperandOffset(OS, getOffset());
879aa739695SFrancis Visoiu Mistrih     break;
880f81727d1SFrancis Visoiu Mistrih   }
881aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterMask: {
882a8a83d15SFrancis Visoiu Mistrih     OS << "<regmask";
883a8a83d15SFrancis Visoiu Mistrih     if (TRI) {
884aa739695SFrancis Visoiu Mistrih       unsigned NumRegsInMask = 0;
885aa739695SFrancis Visoiu Mistrih       unsigned NumRegsEmitted = 0;
886aa739695SFrancis Visoiu Mistrih       for (unsigned i = 0; i < TRI->getNumRegs(); ++i) {
887aa739695SFrancis Visoiu Mistrih         unsigned MaskWord = i / 32;
888aa739695SFrancis Visoiu Mistrih         unsigned MaskBit = i % 32;
889aa739695SFrancis Visoiu Mistrih         if (getRegMask()[MaskWord] & (1 << MaskBit)) {
890aa739695SFrancis Visoiu Mistrih           if (PrintRegMaskNumRegs < 0 ||
891aa739695SFrancis Visoiu Mistrih               NumRegsEmitted <= static_cast<unsigned>(PrintRegMaskNumRegs)) {
892aa739695SFrancis Visoiu Mistrih             OS << " " << printReg(i, TRI);
893aa739695SFrancis Visoiu Mistrih             NumRegsEmitted++;
894aa739695SFrancis Visoiu Mistrih           }
895aa739695SFrancis Visoiu Mistrih           NumRegsInMask++;
896aa739695SFrancis Visoiu Mistrih         }
897aa739695SFrancis Visoiu Mistrih       }
898aa739695SFrancis Visoiu Mistrih       if (NumRegsEmitted != NumRegsInMask)
899aa739695SFrancis Visoiu Mistrih         OS << " and " << (NumRegsInMask - NumRegsEmitted) << " more...";
900a8a83d15SFrancis Visoiu Mistrih     } else {
901a8a83d15SFrancis Visoiu Mistrih       OS << " ...";
902a8a83d15SFrancis Visoiu Mistrih     }
903aa739695SFrancis Visoiu Mistrih     OS << ">";
904aa739695SFrancis Visoiu Mistrih     break;
905aa739695SFrancis Visoiu Mistrih   }
906bdaf8bfaSFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterLiveOut: {
907bdaf8bfaSFrancis Visoiu Mistrih     const uint32_t *RegMask = getRegLiveOut();
908bdaf8bfaSFrancis Visoiu Mistrih     OS << "liveout(";
909bdaf8bfaSFrancis Visoiu Mistrih     if (!TRI) {
910bdaf8bfaSFrancis Visoiu Mistrih       OS << "<unknown>";
911bdaf8bfaSFrancis Visoiu Mistrih     } else {
912bdaf8bfaSFrancis Visoiu Mistrih       bool IsCommaNeeded = false;
913bdaf8bfaSFrancis Visoiu Mistrih       for (unsigned Reg = 0, E = TRI->getNumRegs(); Reg < E; ++Reg) {
914bdaf8bfaSFrancis Visoiu Mistrih         if (RegMask[Reg / 32] & (1U << (Reg % 32))) {
915bdaf8bfaSFrancis Visoiu Mistrih           if (IsCommaNeeded)
916bdaf8bfaSFrancis Visoiu Mistrih             OS << ", ";
917bdaf8bfaSFrancis Visoiu Mistrih           OS << printReg(Reg, TRI);
918bdaf8bfaSFrancis Visoiu Mistrih           IsCommaNeeded = true;
919bdaf8bfaSFrancis Visoiu Mistrih         }
920bdaf8bfaSFrancis Visoiu Mistrih       }
921bdaf8bfaSFrancis Visoiu Mistrih     }
922bdaf8bfaSFrancis Visoiu Mistrih     OS << ")";
923aa739695SFrancis Visoiu Mistrih     break;
924bdaf8bfaSFrancis Visoiu Mistrih   }
925aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Metadata:
926aa739695SFrancis Visoiu Mistrih     getMetadata()->printAsOperand(OS, MST);
927aa739695SFrancis Visoiu Mistrih     break;
928aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MCSymbol:
9295de20e03SFrancis Visoiu Mistrih     printSymbol(OS, *getMCSymbol());
930aa739695SFrancis Visoiu Mistrih     break;
931874ae6faSFrancis Visoiu Mistrih   case MachineOperand::MO_CFIIndex: {
932874ae6faSFrancis Visoiu Mistrih     if (const MachineFunction *MF = getMFIfAvailable(*this))
933874ae6faSFrancis Visoiu Mistrih       printCFI(OS, MF->getFrameInstructions()[getCFIIndex()], TRI);
934874ae6faSFrancis Visoiu Mistrih     else
935874ae6faSFrancis Visoiu Mistrih       OS << "<cfi directive>";
936aa739695SFrancis Visoiu Mistrih     break;
937874ae6faSFrancis Visoiu Mistrih   }
938aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_IntrinsicID: {
939aa739695SFrancis Visoiu Mistrih     Intrinsic::ID ID = getIntrinsicID();
940aa739695SFrancis Visoiu Mistrih     if (ID < Intrinsic::num_intrinsics)
941bb8ce25eSJeroen Dobbelaere       OS << "intrinsic(@" << Intrinsic::getBaseName(ID) << ')';
942aa739695SFrancis Visoiu Mistrih     else if (IntrinsicInfo)
943bbd610aeSFrancis Visoiu Mistrih       OS << "intrinsic(@" << IntrinsicInfo->getName(ID) << ')';
944aa739695SFrancis Visoiu Mistrih     else
945bbd610aeSFrancis Visoiu Mistrih       OS << "intrinsic(" << ID << ')';
946aa739695SFrancis Visoiu Mistrih     break;
947aa739695SFrancis Visoiu Mistrih   }
948aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Predicate: {
949aa739695SFrancis Visoiu Mistrih     auto Pred = static_cast<CmpInst::Predicate>(getPredicate());
950cb2683d4SFrancis Visoiu Mistrih     OS << (CmpInst::isIntPredicate(Pred) ? "int" : "float") << "pred("
951cb2683d4SFrancis Visoiu Mistrih        << CmpInst::getPredicateName(Pred) << ')';
952aa739695SFrancis Visoiu Mistrih     break;
953aa739695SFrancis Visoiu Mistrih   }
9545af9cf04SMatt Arsenault   case MachineOperand::MO_ShuffleMask:
9555af9cf04SMatt Arsenault     OS << "shufflemask(";
956e68e4cbcSEli Friedman     ArrayRef<int> Mask = getShuffleMask();
9575af9cf04SMatt Arsenault     StringRef Separator;
958e68e4cbcSEli Friedman     for (int Elt : Mask) {
959e68e4cbcSEli Friedman       if (Elt == -1)
960e68e4cbcSEli Friedman         OS << Separator << "undef";
961e68e4cbcSEli Friedman       else
962e68e4cbcSEli Friedman         OS << Separator << Elt;
9635af9cf04SMatt Arsenault       Separator = ", ";
9645af9cf04SMatt Arsenault     }
9655af9cf04SMatt Arsenault 
9665af9cf04SMatt Arsenault     OS << ')';
9675af9cf04SMatt Arsenault     break;
968aa739695SFrancis Visoiu Mistrih   }
969aa739695SFrancis Visoiu Mistrih }
970aa739695SFrancis Visoiu Mistrih 
971aa739695SFrancis Visoiu Mistrih #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
dump() const972aa739695SFrancis Visoiu Mistrih LLVM_DUMP_METHOD void MachineOperand::dump() const { dbgs() << *this << '\n'; }
973aa739695SFrancis Visoiu Mistrih #endif
974aa739695SFrancis Visoiu Mistrih 
975aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
976aa739695SFrancis Visoiu Mistrih // MachineMemOperand Implementation
977aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
978aa739695SFrancis Visoiu Mistrih 
979aa739695SFrancis Visoiu Mistrih /// getAddrSpace - Return the LLVM IR address space number that this pointer
980aa739695SFrancis Visoiu Mistrih /// points into.
getAddrSpace() const98149477040SYaxun Liu unsigned MachinePointerInfo::getAddrSpace() const { return AddrSpace; }
982aa739695SFrancis Visoiu Mistrih 
983aa739695SFrancis Visoiu Mistrih /// isDereferenceable - Return true if V is always dereferenceable for
984aa739695SFrancis Visoiu Mistrih /// Offset + Size byte.
isDereferenceable(unsigned Size,LLVMContext & C,const DataLayout & DL) const985aa739695SFrancis Visoiu Mistrih bool MachinePointerInfo::isDereferenceable(unsigned Size, LLVMContext &C,
986aa739695SFrancis Visoiu Mistrih                                            const DataLayout &DL) const {
987aa739695SFrancis Visoiu Mistrih   if (!V.is<const Value *>())
988aa739695SFrancis Visoiu Mistrih     return false;
989aa739695SFrancis Visoiu Mistrih 
990aa739695SFrancis Visoiu Mistrih   const Value *BasePtr = V.get<const Value *>();
991aa739695SFrancis Visoiu Mistrih   if (BasePtr == nullptr)
992aa739695SFrancis Visoiu Mistrih     return false;
993aa739695SFrancis Visoiu Mistrih 
994aa739695SFrancis Visoiu Mistrih   return isDereferenceableAndAlignedPointer(
995805c157eSGuillaume Chatelet       BasePtr, Align(1), APInt(DL.getPointerSizeInBits(), Offset + Size), DL);
996aa739695SFrancis Visoiu Mistrih }
997aa739695SFrancis Visoiu Mistrih 
998aa739695SFrancis Visoiu Mistrih /// getConstantPool - Return a MachinePointerInfo record that refers to the
999aa739695SFrancis Visoiu Mistrih /// constant pool.
getConstantPool(MachineFunction & MF)1000aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getConstantPool(MachineFunction &MF) {
1001aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getConstantPool());
1002aa739695SFrancis Visoiu Mistrih }
1003aa739695SFrancis Visoiu Mistrih 
1004aa739695SFrancis Visoiu Mistrih /// getFixedStack - Return a MachinePointerInfo record that refers to the
1005aa739695SFrancis Visoiu Mistrih /// the specified FrameIndex.
getFixedStack(MachineFunction & MF,int FI,int64_t Offset)1006aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getFixedStack(MachineFunction &MF,
1007aa739695SFrancis Visoiu Mistrih                                                      int FI, int64_t Offset) {
1008aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getFixedStack(FI), Offset);
1009aa739695SFrancis Visoiu Mistrih }
1010aa739695SFrancis Visoiu Mistrih 
getJumpTable(MachineFunction & MF)1011aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getJumpTable(MachineFunction &MF) {
1012aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getJumpTable());
1013aa739695SFrancis Visoiu Mistrih }
1014aa739695SFrancis Visoiu Mistrih 
getGOT(MachineFunction & MF)1015aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getGOT(MachineFunction &MF) {
1016aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getGOT());
1017aa739695SFrancis Visoiu Mistrih }
1018aa739695SFrancis Visoiu Mistrih 
getStack(MachineFunction & MF,int64_t Offset,uint8_t ID)1019aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getStack(MachineFunction &MF,
1020aa739695SFrancis Visoiu Mistrih                                                 int64_t Offset, uint8_t ID) {
1021aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getStack(), Offset, ID);
1022aa739695SFrancis Visoiu Mistrih }
1023aa739695SFrancis Visoiu Mistrih 
getUnknownStack(MachineFunction & MF)102449477040SYaxun Liu MachinePointerInfo MachinePointerInfo::getUnknownStack(MachineFunction &MF) {
102549477040SYaxun Liu   return MachinePointerInfo(MF.getDataLayout().getAllocaAddrSpace());
102649477040SYaxun Liu }
102749477040SYaxun Liu 
MachineMemOperand(MachinePointerInfo ptrinfo,Flags f,LLT type,Align a,const AAMDNodes & AAInfo,const MDNode * Ranges,SyncScope::ID SSID,AtomicOrdering Ordering,AtomicOrdering FailureOrdering)1028aa739695SFrancis Visoiu Mistrih MachineMemOperand::MachineMemOperand(MachinePointerInfo ptrinfo, Flags f,
1029990278d0SMatt Arsenault                                      LLT type, Align a, const AAMDNodes &AAInfo,
1030aa739695SFrancis Visoiu Mistrih                                      const MDNode *Ranges, SyncScope::ID SSID,
1031aa739695SFrancis Visoiu Mistrih                                      AtomicOrdering Ordering,
1032aa739695SFrancis Visoiu Mistrih                                      AtomicOrdering FailureOrdering)
1033990278d0SMatt Arsenault     : PtrInfo(ptrinfo), MemoryType(type), FlagVals(f), BaseAlign(a),
1034990278d0SMatt Arsenault       AAInfo(AAInfo), Ranges(Ranges) {
1035aa739695SFrancis Visoiu Mistrih   assert((PtrInfo.V.isNull() || PtrInfo.V.is<const PseudoSourceValue *>() ||
1036aa739695SFrancis Visoiu Mistrih           isa<PointerType>(PtrInfo.V.get<const Value *>()->getType())) &&
1037aa739695SFrancis Visoiu Mistrih          "invalid pointer value");
1038aa739695SFrancis Visoiu Mistrih   assert((isLoad() || isStore()) && "Not a load/store!");
1039aa739695SFrancis Visoiu Mistrih 
1040aa739695SFrancis Visoiu Mistrih   AtomicInfo.SSID = static_cast<unsigned>(SSID);
1041aa739695SFrancis Visoiu Mistrih   assert(getSyncScopeID() == SSID && "Value truncated");
1042aa739695SFrancis Visoiu Mistrih   AtomicInfo.Ordering = static_cast<unsigned>(Ordering);
104374909e4bSEli Friedman   assert(getSuccessOrdering() == Ordering && "Value truncated");
1044aa739695SFrancis Visoiu Mistrih   AtomicInfo.FailureOrdering = static_cast<unsigned>(FailureOrdering);
1045aa739695SFrancis Visoiu Mistrih   assert(getFailureOrdering() == FailureOrdering && "Value truncated");
1046aa739695SFrancis Visoiu Mistrih }
1047aa739695SFrancis Visoiu Mistrih 
MachineMemOperand(MachinePointerInfo ptrinfo,Flags f,uint64_t s,Align a,const AAMDNodes & AAInfo,const MDNode * Ranges,SyncScope::ID SSID,AtomicOrdering Ordering,AtomicOrdering FailureOrdering)1048990278d0SMatt Arsenault MachineMemOperand::MachineMemOperand(MachinePointerInfo ptrinfo, Flags f,
1049990278d0SMatt Arsenault                                      uint64_t s, Align a,
1050990278d0SMatt Arsenault                                      const AAMDNodes &AAInfo,
1051990278d0SMatt Arsenault                                      const MDNode *Ranges, SyncScope::ID SSID,
1052990278d0SMatt Arsenault                                      AtomicOrdering Ordering,
1053990278d0SMatt Arsenault                                      AtomicOrdering FailureOrdering)
1054990278d0SMatt Arsenault     : MachineMemOperand(ptrinfo, f,
1055990278d0SMatt Arsenault                         s == ~UINT64_C(0) ? LLT() : LLT::scalar(8 * s), a,
1056990278d0SMatt Arsenault                         AAInfo, Ranges, SSID, Ordering, FailureOrdering) {}
1057990278d0SMatt Arsenault 
1058aa739695SFrancis Visoiu Mistrih /// Profile - Gather unique data for the object.
1059aa739695SFrancis Visoiu Mistrih ///
Profile(FoldingSetNodeID & ID) const1060aa739695SFrancis Visoiu Mistrih void MachineMemOperand::Profile(FoldingSetNodeID &ID) const {
1061aa739695SFrancis Visoiu Mistrih   ID.AddInteger(getOffset());
1062990278d0SMatt Arsenault   ID.AddInteger(getMemoryType().getUniqueRAWLLTData());
1063aa739695SFrancis Visoiu Mistrih   ID.AddPointer(getOpaqueValue());
1064aa739695SFrancis Visoiu Mistrih   ID.AddInteger(getFlags());
106574eac903SGuillaume Chatelet   ID.AddInteger(getBaseAlign().value());
1066aa739695SFrancis Visoiu Mistrih }
1067aa739695SFrancis Visoiu Mistrih 
refineAlignment(const MachineMemOperand * MMO)1068aa739695SFrancis Visoiu Mistrih void MachineMemOperand::refineAlignment(const MachineMemOperand *MMO) {
1069aa739695SFrancis Visoiu Mistrih   // The Value and Offset may differ due to CSE. But the flags and size
1070aa739695SFrancis Visoiu Mistrih   // should be the same.
1071aa739695SFrancis Visoiu Mistrih   assert(MMO->getFlags() == getFlags() && "Flags mismatch!");
1072*3a700cabSDavid Green   assert((MMO->getSize() == ~UINT64_C(0) || getSize() == ~UINT64_C(0) ||
1073*3a700cabSDavid Green           MMO->getSize() == getSize()) &&
1074*3a700cabSDavid Green          "Size mismatch!");
1075aa739695SFrancis Visoiu Mistrih 
107674eac903SGuillaume Chatelet   if (MMO->getBaseAlign() >= getBaseAlign()) {
1077aa739695SFrancis Visoiu Mistrih     // Update the alignment value.
107874eac903SGuillaume Chatelet     BaseAlign = MMO->getBaseAlign();
1079aa739695SFrancis Visoiu Mistrih     // Also update the base and offset, because the new alignment may
1080aa739695SFrancis Visoiu Mistrih     // not be applicable with the old ones.
1081aa739695SFrancis Visoiu Mistrih     PtrInfo = MMO->PtrInfo;
1082aa739695SFrancis Visoiu Mistrih   }
1083aa739695SFrancis Visoiu Mistrih }
1084aa739695SFrancis Visoiu Mistrih 
108574eac903SGuillaume Chatelet /// getAlign - Return the minimum known alignment in bytes of the
108674eac903SGuillaume Chatelet /// actual memory reference.
getAlign() const108774eac903SGuillaume Chatelet Align MachineMemOperand::getAlign() const {
108874eac903SGuillaume Chatelet   return commonAlignment(getBaseAlign(), getOffset());
1089aa739695SFrancis Visoiu Mistrih }
1090aa739695SFrancis Visoiu Mistrih 
print(raw_ostream & OS,ModuleSlotTracker & MST,SmallVectorImpl<StringRef> & SSNs,const LLVMContext & Context,const MachineFrameInfo * MFI,const TargetInstrInfo * TII) const1091e85b06d6SFrancis Visoiu Mistrih void MachineMemOperand::print(raw_ostream &OS, ModuleSlotTracker &MST,
1092e85b06d6SFrancis Visoiu Mistrih                               SmallVectorImpl<StringRef> &SSNs,
1093e85b06d6SFrancis Visoiu Mistrih                               const LLVMContext &Context,
1094e85b06d6SFrancis Visoiu Mistrih                               const MachineFrameInfo *MFI,
1095cfd84984SPeng Guo                               const TargetInstrInfo *TII) const {
1096e85b06d6SFrancis Visoiu Mistrih   OS << '(';
1097aa739695SFrancis Visoiu Mistrih   if (isVolatile())
1098e85b06d6SFrancis Visoiu Mistrih     OS << "volatile ";
1099e85b06d6SFrancis Visoiu Mistrih   if (isNonTemporal())
1100e85b06d6SFrancis Visoiu Mistrih     OS << "non-temporal ";
1101e85b06d6SFrancis Visoiu Mistrih   if (isDereferenceable())
1102e85b06d6SFrancis Visoiu Mistrih     OS << "dereferenceable ";
1103e85b06d6SFrancis Visoiu Mistrih   if (isInvariant())
1104e85b06d6SFrancis Visoiu Mistrih     OS << "invariant ";
1105e85b06d6SFrancis Visoiu Mistrih   if (getFlags() & MachineMemOperand::MOTargetFlag1)
1106e85b06d6SFrancis Visoiu Mistrih     OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag1)
1107e85b06d6SFrancis Visoiu Mistrih        << "\" ";
1108e85b06d6SFrancis Visoiu Mistrih   if (getFlags() & MachineMemOperand::MOTargetFlag2)
1109e85b06d6SFrancis Visoiu Mistrih     OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag2)
1110e85b06d6SFrancis Visoiu Mistrih        << "\" ";
1111e85b06d6SFrancis Visoiu Mistrih   if (getFlags() & MachineMemOperand::MOTargetFlag3)
1112e85b06d6SFrancis Visoiu Mistrih     OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag3)
1113e85b06d6SFrancis Visoiu Mistrih        << "\" ";
1114aa739695SFrancis Visoiu Mistrih 
1115e85b06d6SFrancis Visoiu Mistrih   assert((isLoad() || isStore()) &&
1116e85b06d6SFrancis Visoiu Mistrih          "machine memory operand must be a load or store (or both)");
1117aa739695SFrancis Visoiu Mistrih   if (isLoad())
1118e85b06d6SFrancis Visoiu Mistrih     OS << "load ";
1119aa739695SFrancis Visoiu Mistrih   if (isStore())
1120e85b06d6SFrancis Visoiu Mistrih     OS << "store ";
1121e85b06d6SFrancis Visoiu Mistrih 
1122e85b06d6SFrancis Visoiu Mistrih   printSyncScope(OS, Context, getSyncScopeID(), SSNs);
1123e85b06d6SFrancis Visoiu Mistrih 
112474909e4bSEli Friedman   if (getSuccessOrdering() != AtomicOrdering::NotAtomic)
112574909e4bSEli Friedman     OS << toIRString(getSuccessOrdering()) << ' ';
1126e85b06d6SFrancis Visoiu Mistrih   if (getFailureOrdering() != AtomicOrdering::NotAtomic)
1127e85b06d6SFrancis Visoiu Mistrih     OS << toIRString(getFailureOrdering()) << ' ';
1128e85b06d6SFrancis Visoiu Mistrih 
1129fae05692SMatt Arsenault   if (getMemoryType().isValid())
1130fae05692SMatt Arsenault     OS << '(' << getMemoryType() << ')';
1131cc3f6302SKrzysztof Parzyszek   else
1132fae05692SMatt Arsenault     OS << "unknown-size";
1133cc3f6302SKrzysztof Parzyszek 
1134e85b06d6SFrancis Visoiu Mistrih   if (const Value *Val = getValue()) {
1135e85b06d6SFrancis Visoiu Mistrih     OS << ((isLoad() && isStore()) ? " on " : isLoad() ? " from " : " into ");
1136de3d0ee0SDaniel Sanders     MIRFormatter::printIRValue(OS, *Val, MST);
1137e85b06d6SFrancis Visoiu Mistrih   } else if (const PseudoSourceValue *PVal = getPseudoValue()) {
1138e85b06d6SFrancis Visoiu Mistrih     OS << ((isLoad() && isStore()) ? " on " : isLoad() ? " from " : " into ");
1139e85b06d6SFrancis Visoiu Mistrih     assert(PVal && "Expected a pseudo source value");
1140e85b06d6SFrancis Visoiu Mistrih     switch (PVal->kind()) {
1141e85b06d6SFrancis Visoiu Mistrih     case PseudoSourceValue::Stack:
1142e85b06d6SFrancis Visoiu Mistrih       OS << "stack";
1143e85b06d6SFrancis Visoiu Mistrih       break;
1144e85b06d6SFrancis Visoiu Mistrih     case PseudoSourceValue::GOT:
1145e85b06d6SFrancis Visoiu Mistrih       OS << "got";
1146e85b06d6SFrancis Visoiu Mistrih       break;
1147e85b06d6SFrancis Visoiu Mistrih     case PseudoSourceValue::JumpTable:
1148e85b06d6SFrancis Visoiu Mistrih       OS << "jump-table";
1149e85b06d6SFrancis Visoiu Mistrih       break;
1150e85b06d6SFrancis Visoiu Mistrih     case PseudoSourceValue::ConstantPool:
1151e85b06d6SFrancis Visoiu Mistrih       OS << "constant-pool";
1152e85b06d6SFrancis Visoiu Mistrih       break;
1153e85b06d6SFrancis Visoiu Mistrih     case PseudoSourceValue::FixedStack: {
1154e85b06d6SFrancis Visoiu Mistrih       int FrameIndex = cast<FixedStackPseudoSourceValue>(PVal)->getFrameIndex();
1155e85b06d6SFrancis Visoiu Mistrih       bool IsFixed = true;
1156e85b06d6SFrancis Visoiu Mistrih       printFrameIndex(OS, FrameIndex, IsFixed, MFI);
1157e85b06d6SFrancis Visoiu Mistrih       break;
1158aa739695SFrancis Visoiu Mistrih     }
1159e85b06d6SFrancis Visoiu Mistrih     case PseudoSourceValue::GlobalValueCallEntry:
1160e85b06d6SFrancis Visoiu Mistrih       OS << "call-entry ";
1161e85b06d6SFrancis Visoiu Mistrih       cast<GlobalValuePseudoSourceValue>(PVal)->getValue()->printAsOperand(
1162e85b06d6SFrancis Visoiu Mistrih           OS, /*PrintType=*/false, MST);
1163e85b06d6SFrancis Visoiu Mistrih       break;
1164e85b06d6SFrancis Visoiu Mistrih     case PseudoSourceValue::ExternalSymbolCallEntry:
1165e85b06d6SFrancis Visoiu Mistrih       OS << "call-entry &";
1166e85b06d6SFrancis Visoiu Mistrih       printLLVMNameWithoutPrefix(
1167e85b06d6SFrancis Visoiu Mistrih           OS, cast<ExternalSymbolPseudoSourceValue>(PVal)->getSymbol());
1168e85b06d6SFrancis Visoiu Mistrih       break;
1169de3d0ee0SDaniel Sanders     default: {
1170cfd84984SPeng Guo       const MIRFormatter *Formatter = TII->getMIRFormatter();
11714db09604STim Renouf       // FIXME: This is not necessarily the correct MIR serialization format for
11724db09604STim Renouf       // a custom pseudo source value, but at least it allows
1173589c646aSYuanfang Chen       // MIR printing to work on a target with custom pseudo source
11744db09604STim Renouf       // values.
1175de3d0ee0SDaniel Sanders       OS << "custom \"";
1176cfd84984SPeng Guo       Formatter->printCustomPseudoSourceValue(OS, MST, *PVal);
1177de3d0ee0SDaniel Sanders       OS << '\"';
1178e85b06d6SFrancis Visoiu Mistrih       break;
1179aa739695SFrancis Visoiu Mistrih     }
1180aa739695SFrancis Visoiu Mistrih     }
11819fc2be6fSDaniel Sanders   } else if (getOpaqueValue() == nullptr && getOffset() != 0) {
11829fc2be6fSDaniel Sanders     OS << ((isLoad() && isStore()) ? " on "
11839fc2be6fSDaniel Sanders            : isLoad()              ? " from "
11849fc2be6fSDaniel Sanders                                    : " into ")
1185134a179dSDaniel Sanders        << "unknown-address";
1186de3d0ee0SDaniel Sanders   }
1187e85b06d6SFrancis Visoiu Mistrih   MachineOperand::printOperandOffset(OS, getOffset());
118846667a10SPaulo Matos   if (getSize() > 0 && getAlign() != getSize())
1189b1c304c4SCraig Topper     OS << ", align " << getAlign().value();
1190b1c304c4SCraig Topper   if (getAlign() != getBaseAlign())
1191b1c304c4SCraig Topper     OS << ", basealign " << getBaseAlign().value();
1192e85b06d6SFrancis Visoiu Mistrih   auto AAInfo = getAAInfo();
1193e85b06d6SFrancis Visoiu Mistrih   if (AAInfo.TBAA) {
1194e85b06d6SFrancis Visoiu Mistrih     OS << ", !tbaa ";
1195e85b06d6SFrancis Visoiu Mistrih     AAInfo.TBAA->printAsOperand(OS, MST);
1196aa739695SFrancis Visoiu Mistrih   }
1197e85b06d6SFrancis Visoiu Mistrih   if (AAInfo.Scope) {
1198e85b06d6SFrancis Visoiu Mistrih     OS << ", !alias.scope ";
1199e85b06d6SFrancis Visoiu Mistrih     AAInfo.Scope->printAsOperand(OS, MST);
1200aa739695SFrancis Visoiu Mistrih   }
1201e85b06d6SFrancis Visoiu Mistrih   if (AAInfo.NoAlias) {
1202e85b06d6SFrancis Visoiu Mistrih     OS << ", !noalias ";
1203e85b06d6SFrancis Visoiu Mistrih     AAInfo.NoAlias->printAsOperand(OS, MST);
1204aa739695SFrancis Visoiu Mistrih   }
1205e85b06d6SFrancis Visoiu Mistrih   if (getRanges()) {
1206e85b06d6SFrancis Visoiu Mistrih     OS << ", !range ";
1207e85b06d6SFrancis Visoiu Mistrih     getRanges()->printAsOperand(OS, MST);
1208e85b06d6SFrancis Visoiu Mistrih   }
1209e85b06d6SFrancis Visoiu Mistrih   // FIXME: Implement addrspace printing/parsing in MIR.
1210e85b06d6SFrancis Visoiu Mistrih   // For now, print this even though parsing it is not available in MIR.
1211e85b06d6SFrancis Visoiu Mistrih   if (unsigned AS = getAddrSpace())
1212e85b06d6SFrancis Visoiu Mistrih     OS << ", addrspace " << AS;
1213aa739695SFrancis Visoiu Mistrih 
1214aa739695SFrancis Visoiu Mistrih   OS << ')';
1215aa739695SFrancis Visoiu Mistrih }
1216