1aa739695SFrancis Visoiu Mistrih //===- lib/CodeGen/MachineOperand.cpp -------------------------------------===//
2aa739695SFrancis Visoiu Mistrih //
3aa739695SFrancis Visoiu Mistrih //                     The LLVM Compiler Infrastructure
4aa739695SFrancis Visoiu Mistrih //
5aa739695SFrancis Visoiu Mistrih // This file is distributed under the University of Illinois Open Source
6aa739695SFrancis Visoiu Mistrih // License. See LICENSE.TXT for details.
7aa739695SFrancis Visoiu Mistrih //
8aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
9aa739695SFrancis Visoiu Mistrih //
10*3aa8eaa9SFrancis Visoiu Mistrih /// \file Methods common to all machine operands.
11aa739695SFrancis Visoiu Mistrih //
12aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
13aa739695SFrancis Visoiu Mistrih 
14aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/MachineOperand.h"
15aa739695SFrancis Visoiu Mistrih #include "llvm/Analysis/Loads.h"
16aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/MIRPrinter.h"
17aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/MachineRegisterInfo.h"
18aa739695SFrancis Visoiu Mistrih #include "llvm/Target/TargetIntrinsicInfo.h"
19aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/TargetRegisterInfo.h"
20aa739695SFrancis Visoiu Mistrih #include "llvm/IR/Constants.h"
21aa739695SFrancis Visoiu Mistrih #include "llvm/IR/ModuleSlotTracker.h"
22aa739695SFrancis Visoiu Mistrih 
23aa739695SFrancis Visoiu Mistrih using namespace llvm;
24aa739695SFrancis Visoiu Mistrih 
25aa739695SFrancis Visoiu Mistrih static cl::opt<int>
26aa739695SFrancis Visoiu Mistrih     PrintRegMaskNumRegs("print-regmask-num-regs",
27aa739695SFrancis Visoiu Mistrih                         cl::desc("Number of registers to limit to when "
28aa739695SFrancis Visoiu Mistrih                                  "printing regmask operands in IR dumps. "
29aa739695SFrancis Visoiu Mistrih                                  "unlimited = -1"),
30aa739695SFrancis Visoiu Mistrih                         cl::init(32), cl::Hidden);
31aa739695SFrancis Visoiu Mistrih 
32aa739695SFrancis Visoiu Mistrih void MachineOperand::setReg(unsigned Reg) {
33aa739695SFrancis Visoiu Mistrih   if (getReg() == Reg)
34aa739695SFrancis Visoiu Mistrih     return; // No change.
35aa739695SFrancis Visoiu Mistrih 
36aa739695SFrancis Visoiu Mistrih   // Otherwise, we have to change the register.  If this operand is embedded
37aa739695SFrancis Visoiu Mistrih   // into a machine function, we need to update the old and new register's
38aa739695SFrancis Visoiu Mistrih   // use/def lists.
39aa739695SFrancis Visoiu Mistrih   if (MachineInstr *MI = getParent())
40aa739695SFrancis Visoiu Mistrih     if (MachineBasicBlock *MBB = MI->getParent())
41aa739695SFrancis Visoiu Mistrih       if (MachineFunction *MF = MBB->getParent()) {
42aa739695SFrancis Visoiu Mistrih         MachineRegisterInfo &MRI = MF->getRegInfo();
43aa739695SFrancis Visoiu Mistrih         MRI.removeRegOperandFromUseList(this);
44aa739695SFrancis Visoiu Mistrih         SmallContents.RegNo = Reg;
45aa739695SFrancis Visoiu Mistrih         MRI.addRegOperandToUseList(this);
46aa739695SFrancis Visoiu Mistrih         return;
47aa739695SFrancis Visoiu Mistrih       }
48aa739695SFrancis Visoiu Mistrih 
49aa739695SFrancis Visoiu Mistrih   // Otherwise, just change the register, no problem.  :)
50aa739695SFrancis Visoiu Mistrih   SmallContents.RegNo = Reg;
51aa739695SFrancis Visoiu Mistrih }
52aa739695SFrancis Visoiu Mistrih 
53aa739695SFrancis Visoiu Mistrih void MachineOperand::substVirtReg(unsigned Reg, unsigned SubIdx,
54aa739695SFrancis Visoiu Mistrih                                   const TargetRegisterInfo &TRI) {
55aa739695SFrancis Visoiu Mistrih   assert(TargetRegisterInfo::isVirtualRegister(Reg));
56aa739695SFrancis Visoiu Mistrih   if (SubIdx && getSubReg())
57aa739695SFrancis Visoiu Mistrih     SubIdx = TRI.composeSubRegIndices(SubIdx, getSubReg());
58aa739695SFrancis Visoiu Mistrih   setReg(Reg);
59aa739695SFrancis Visoiu Mistrih   if (SubIdx)
60aa739695SFrancis Visoiu Mistrih     setSubReg(SubIdx);
61aa739695SFrancis Visoiu Mistrih }
62aa739695SFrancis Visoiu Mistrih 
63aa739695SFrancis Visoiu Mistrih void MachineOperand::substPhysReg(unsigned Reg, const TargetRegisterInfo &TRI) {
64aa739695SFrancis Visoiu Mistrih   assert(TargetRegisterInfo::isPhysicalRegister(Reg));
65aa739695SFrancis Visoiu Mistrih   if (getSubReg()) {
66aa739695SFrancis Visoiu Mistrih     Reg = TRI.getSubReg(Reg, getSubReg());
67aa739695SFrancis Visoiu Mistrih     // Note that getSubReg() may return 0 if the sub-register doesn't exist.
68aa739695SFrancis Visoiu Mistrih     // That won't happen in legal code.
69aa739695SFrancis Visoiu Mistrih     setSubReg(0);
70aa739695SFrancis Visoiu Mistrih     if (isDef())
71aa739695SFrancis Visoiu Mistrih       setIsUndef(false);
72aa739695SFrancis Visoiu Mistrih   }
73aa739695SFrancis Visoiu Mistrih   setReg(Reg);
74aa739695SFrancis Visoiu Mistrih }
75aa739695SFrancis Visoiu Mistrih 
76aa739695SFrancis Visoiu Mistrih /// Change a def to a use, or a use to a def.
77aa739695SFrancis Visoiu Mistrih void MachineOperand::setIsDef(bool Val) {
78aa739695SFrancis Visoiu Mistrih   assert(isReg() && "Wrong MachineOperand accessor");
79aa739695SFrancis Visoiu Mistrih   assert((!Val || !isDebug()) && "Marking a debug operation as def");
80aa739695SFrancis Visoiu Mistrih   if (IsDef == Val)
81aa739695SFrancis Visoiu Mistrih     return;
82aa739695SFrancis Visoiu Mistrih   // MRI may keep uses and defs in different list positions.
83aa739695SFrancis Visoiu Mistrih   if (MachineInstr *MI = getParent())
84aa739695SFrancis Visoiu Mistrih     if (MachineBasicBlock *MBB = MI->getParent())
85aa739695SFrancis Visoiu Mistrih       if (MachineFunction *MF = MBB->getParent()) {
86aa739695SFrancis Visoiu Mistrih         MachineRegisterInfo &MRI = MF->getRegInfo();
87aa739695SFrancis Visoiu Mistrih         MRI.removeRegOperandFromUseList(this);
88aa739695SFrancis Visoiu Mistrih         IsDef = Val;
89aa739695SFrancis Visoiu Mistrih         MRI.addRegOperandToUseList(this);
90aa739695SFrancis Visoiu Mistrih         return;
91aa739695SFrancis Visoiu Mistrih       }
92aa739695SFrancis Visoiu Mistrih   IsDef = Val;
93aa739695SFrancis Visoiu Mistrih }
94aa739695SFrancis Visoiu Mistrih 
95aa739695SFrancis Visoiu Mistrih // If this operand is currently a register operand, and if this is in a
96aa739695SFrancis Visoiu Mistrih // function, deregister the operand from the register's use/def list.
97aa739695SFrancis Visoiu Mistrih void MachineOperand::removeRegFromUses() {
98aa739695SFrancis Visoiu Mistrih   if (!isReg() || !isOnRegUseList())
99aa739695SFrancis Visoiu Mistrih     return;
100aa739695SFrancis Visoiu Mistrih 
101aa739695SFrancis Visoiu Mistrih   if (MachineInstr *MI = getParent()) {
102aa739695SFrancis Visoiu Mistrih     if (MachineBasicBlock *MBB = MI->getParent()) {
103aa739695SFrancis Visoiu Mistrih       if (MachineFunction *MF = MBB->getParent())
104aa739695SFrancis Visoiu Mistrih         MF->getRegInfo().removeRegOperandFromUseList(this);
105aa739695SFrancis Visoiu Mistrih     }
106aa739695SFrancis Visoiu Mistrih   }
107aa739695SFrancis Visoiu Mistrih }
108aa739695SFrancis Visoiu Mistrih 
109aa739695SFrancis Visoiu Mistrih /// ChangeToImmediate - Replace this operand with a new immediate operand of
110aa739695SFrancis Visoiu Mistrih /// the specified value.  If an operand is known to be an immediate already,
111aa739695SFrancis Visoiu Mistrih /// the setImm method should be used.
112aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToImmediate(int64_t ImmVal) {
113aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm");
114aa739695SFrancis Visoiu Mistrih 
115aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
116aa739695SFrancis Visoiu Mistrih 
117aa739695SFrancis Visoiu Mistrih   OpKind = MO_Immediate;
118aa739695SFrancis Visoiu Mistrih   Contents.ImmVal = ImmVal;
119aa739695SFrancis Visoiu Mistrih }
120aa739695SFrancis Visoiu Mistrih 
121aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToFPImmediate(const ConstantFP *FPImm) {
122aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm");
123aa739695SFrancis Visoiu Mistrih 
124aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
125aa739695SFrancis Visoiu Mistrih 
126aa739695SFrancis Visoiu Mistrih   OpKind = MO_FPImmediate;
127aa739695SFrancis Visoiu Mistrih   Contents.CFP = FPImm;
128aa739695SFrancis Visoiu Mistrih }
129aa739695SFrancis Visoiu Mistrih 
130aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToES(const char *SymName,
131aa739695SFrancis Visoiu Mistrih                                 unsigned char TargetFlags) {
132aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
133aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into an external symbol");
134aa739695SFrancis Visoiu Mistrih 
135aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
136aa739695SFrancis Visoiu Mistrih 
137aa739695SFrancis Visoiu Mistrih   OpKind = MO_ExternalSymbol;
138aa739695SFrancis Visoiu Mistrih   Contents.OffsetedInfo.Val.SymbolName = SymName;
139aa739695SFrancis Visoiu Mistrih   setOffset(0); // Offset is always 0.
140aa739695SFrancis Visoiu Mistrih   setTargetFlags(TargetFlags);
141aa739695SFrancis Visoiu Mistrih }
142aa739695SFrancis Visoiu Mistrih 
143aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToMCSymbol(MCSymbol *Sym) {
144aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
145aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into an MCSymbol");
146aa739695SFrancis Visoiu Mistrih 
147aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
148aa739695SFrancis Visoiu Mistrih 
149aa739695SFrancis Visoiu Mistrih   OpKind = MO_MCSymbol;
150aa739695SFrancis Visoiu Mistrih   Contents.Sym = Sym;
151aa739695SFrancis Visoiu Mistrih }
152aa739695SFrancis Visoiu Mistrih 
153aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToFrameIndex(int Idx) {
154aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
155aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into a FrameIndex");
156aa739695SFrancis Visoiu Mistrih 
157aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
158aa739695SFrancis Visoiu Mistrih 
159aa739695SFrancis Visoiu Mistrih   OpKind = MO_FrameIndex;
160aa739695SFrancis Visoiu Mistrih   setIndex(Idx);
161aa739695SFrancis Visoiu Mistrih }
162aa739695SFrancis Visoiu Mistrih 
163aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToTargetIndex(unsigned Idx, int64_t Offset,
164aa739695SFrancis Visoiu Mistrih                                          unsigned char TargetFlags) {
165aa739695SFrancis Visoiu Mistrih   assert((!isReg() || !isTied()) &&
166aa739695SFrancis Visoiu Mistrih          "Cannot change a tied operand into a FrameIndex");
167aa739695SFrancis Visoiu Mistrih 
168aa739695SFrancis Visoiu Mistrih   removeRegFromUses();
169aa739695SFrancis Visoiu Mistrih 
170aa739695SFrancis Visoiu Mistrih   OpKind = MO_TargetIndex;
171aa739695SFrancis Visoiu Mistrih   setIndex(Idx);
172aa739695SFrancis Visoiu Mistrih   setOffset(Offset);
173aa739695SFrancis Visoiu Mistrih   setTargetFlags(TargetFlags);
174aa739695SFrancis Visoiu Mistrih }
175aa739695SFrancis Visoiu Mistrih 
176aa739695SFrancis Visoiu Mistrih /// ChangeToRegister - Replace this operand with a new register operand of
177aa739695SFrancis Visoiu Mistrih /// the specified value.  If an operand is known to be an register already,
178aa739695SFrancis Visoiu Mistrih /// the setReg method should be used.
179aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToRegister(unsigned Reg, bool isDef, bool isImp,
180aa739695SFrancis Visoiu Mistrih                                       bool isKill, bool isDead, bool isUndef,
181aa739695SFrancis Visoiu Mistrih                                       bool isDebug) {
182aa739695SFrancis Visoiu Mistrih   MachineRegisterInfo *RegInfo = nullptr;
183aa739695SFrancis Visoiu Mistrih   if (MachineInstr *MI = getParent())
184aa739695SFrancis Visoiu Mistrih     if (MachineBasicBlock *MBB = MI->getParent())
185aa739695SFrancis Visoiu Mistrih       if (MachineFunction *MF = MBB->getParent())
186aa739695SFrancis Visoiu Mistrih         RegInfo = &MF->getRegInfo();
187aa739695SFrancis Visoiu Mistrih   // If this operand is already a register operand, remove it from the
188aa739695SFrancis Visoiu Mistrih   // register's use/def lists.
189aa739695SFrancis Visoiu Mistrih   bool WasReg = isReg();
190aa739695SFrancis Visoiu Mistrih   if (RegInfo && WasReg)
191aa739695SFrancis Visoiu Mistrih     RegInfo->removeRegOperandFromUseList(this);
192aa739695SFrancis Visoiu Mistrih 
193aa739695SFrancis Visoiu Mistrih   // Change this to a register and set the reg#.
194aa739695SFrancis Visoiu Mistrih   OpKind = MO_Register;
195aa739695SFrancis Visoiu Mistrih   SmallContents.RegNo = Reg;
196aa739695SFrancis Visoiu Mistrih   SubReg_TargetFlags = 0;
197aa739695SFrancis Visoiu Mistrih   IsDef = isDef;
198aa739695SFrancis Visoiu Mistrih   IsImp = isImp;
199aa739695SFrancis Visoiu Mistrih   IsKill = isKill;
200aa739695SFrancis Visoiu Mistrih   IsDead = isDead;
201aa739695SFrancis Visoiu Mistrih   IsUndef = isUndef;
202aa739695SFrancis Visoiu Mistrih   IsInternalRead = false;
203aa739695SFrancis Visoiu Mistrih   IsEarlyClobber = false;
204aa739695SFrancis Visoiu Mistrih   IsDebug = isDebug;
205aa739695SFrancis Visoiu Mistrih   // Ensure isOnRegUseList() returns false.
206aa739695SFrancis Visoiu Mistrih   Contents.Reg.Prev = nullptr;
207aa739695SFrancis Visoiu Mistrih   // Preserve the tie when the operand was already a register.
208aa739695SFrancis Visoiu Mistrih   if (!WasReg)
209aa739695SFrancis Visoiu Mistrih     TiedTo = 0;
210aa739695SFrancis Visoiu Mistrih 
211aa739695SFrancis Visoiu Mistrih   // If this operand is embedded in a function, add the operand to the
212aa739695SFrancis Visoiu Mistrih   // register's use/def list.
213aa739695SFrancis Visoiu Mistrih   if (RegInfo)
214aa739695SFrancis Visoiu Mistrih     RegInfo->addRegOperandToUseList(this);
215aa739695SFrancis Visoiu Mistrih }
216aa739695SFrancis Visoiu Mistrih 
217aa739695SFrancis Visoiu Mistrih /// isIdenticalTo - Return true if this operand is identical to the specified
218aa739695SFrancis Visoiu Mistrih /// operand. Note that this should stay in sync with the hash_value overload
219aa739695SFrancis Visoiu Mistrih /// below.
220aa739695SFrancis Visoiu Mistrih bool MachineOperand::isIdenticalTo(const MachineOperand &Other) const {
221aa739695SFrancis Visoiu Mistrih   if (getType() != Other.getType() ||
222aa739695SFrancis Visoiu Mistrih       getTargetFlags() != Other.getTargetFlags())
223aa739695SFrancis Visoiu Mistrih     return false;
224aa739695SFrancis Visoiu Mistrih 
225aa739695SFrancis Visoiu Mistrih   switch (getType()) {
226aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Register:
227aa739695SFrancis Visoiu Mistrih     return getReg() == Other.getReg() && isDef() == Other.isDef() &&
228aa739695SFrancis Visoiu Mistrih            getSubReg() == Other.getSubReg();
229aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Immediate:
230aa739695SFrancis Visoiu Mistrih     return getImm() == Other.getImm();
231aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CImmediate:
232aa739695SFrancis Visoiu Mistrih     return getCImm() == Other.getCImm();
233aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FPImmediate:
234aa739695SFrancis Visoiu Mistrih     return getFPImm() == Other.getFPImm();
235aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MachineBasicBlock:
236aa739695SFrancis Visoiu Mistrih     return getMBB() == Other.getMBB();
237aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FrameIndex:
238aa739695SFrancis Visoiu Mistrih     return getIndex() == Other.getIndex();
239aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ConstantPoolIndex:
240aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_TargetIndex:
241aa739695SFrancis Visoiu Mistrih     return getIndex() == Other.getIndex() && getOffset() == Other.getOffset();
242aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_JumpTableIndex:
243aa739695SFrancis Visoiu Mistrih     return getIndex() == Other.getIndex();
244aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_GlobalAddress:
245aa739695SFrancis Visoiu Mistrih     return getGlobal() == Other.getGlobal() && getOffset() == Other.getOffset();
246aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ExternalSymbol:
247aa739695SFrancis Visoiu Mistrih     return strcmp(getSymbolName(), Other.getSymbolName()) == 0 &&
248aa739695SFrancis Visoiu Mistrih            getOffset() == Other.getOffset();
249aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_BlockAddress:
250aa739695SFrancis Visoiu Mistrih     return getBlockAddress() == Other.getBlockAddress() &&
251aa739695SFrancis Visoiu Mistrih            getOffset() == Other.getOffset();
252aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterMask:
253aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterLiveOut: {
254aa739695SFrancis Visoiu Mistrih     // Shallow compare of the two RegMasks
255aa739695SFrancis Visoiu Mistrih     const uint32_t *RegMask = getRegMask();
256aa739695SFrancis Visoiu Mistrih     const uint32_t *OtherRegMask = Other.getRegMask();
257aa739695SFrancis Visoiu Mistrih     if (RegMask == OtherRegMask)
258aa739695SFrancis Visoiu Mistrih       return true;
259aa739695SFrancis Visoiu Mistrih 
260aa739695SFrancis Visoiu Mistrih     // Calculate the size of the RegMask
261aa739695SFrancis Visoiu Mistrih     const MachineFunction *MF = getParent()->getMF();
262aa739695SFrancis Visoiu Mistrih     const TargetRegisterInfo *TRI = MF->getSubtarget().getRegisterInfo();
263aa739695SFrancis Visoiu Mistrih     unsigned RegMaskSize = (TRI->getNumRegs() + 31) / 32;
264aa739695SFrancis Visoiu Mistrih 
265aa739695SFrancis Visoiu Mistrih     // Deep compare of the two RegMasks
266aa739695SFrancis Visoiu Mistrih     return std::equal(RegMask, RegMask + RegMaskSize, OtherRegMask);
267aa739695SFrancis Visoiu Mistrih   }
268aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MCSymbol:
269aa739695SFrancis Visoiu Mistrih     return getMCSymbol() == Other.getMCSymbol();
270aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CFIIndex:
271aa739695SFrancis Visoiu Mistrih     return getCFIIndex() == Other.getCFIIndex();
272aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Metadata:
273aa739695SFrancis Visoiu Mistrih     return getMetadata() == Other.getMetadata();
274aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_IntrinsicID:
275aa739695SFrancis Visoiu Mistrih     return getIntrinsicID() == Other.getIntrinsicID();
276aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Predicate:
277aa739695SFrancis Visoiu Mistrih     return getPredicate() == Other.getPredicate();
278aa739695SFrancis Visoiu Mistrih   }
279aa739695SFrancis Visoiu Mistrih   llvm_unreachable("Invalid machine operand type");
280aa739695SFrancis Visoiu Mistrih }
281aa739695SFrancis Visoiu Mistrih 
282aa739695SFrancis Visoiu Mistrih // Note: this must stay exactly in sync with isIdenticalTo above.
283aa739695SFrancis Visoiu Mistrih hash_code llvm::hash_value(const MachineOperand &MO) {
284aa739695SFrancis Visoiu Mistrih   switch (MO.getType()) {
285aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Register:
286aa739695SFrancis Visoiu Mistrih     // Register operands don't have target flags.
287aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getReg(), MO.getSubReg(), MO.isDef());
288aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Immediate:
289aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getImm());
290aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CImmediate:
291aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCImm());
292aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FPImmediate:
293aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getFPImm());
294aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MachineBasicBlock:
295aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMBB());
296aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FrameIndex:
297aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex());
298aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ConstantPoolIndex:
299aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_TargetIndex:
300aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex(),
301aa739695SFrancis Visoiu Mistrih                         MO.getOffset());
302aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_JumpTableIndex:
303aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex());
304aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ExternalSymbol:
305aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getOffset(),
306aa739695SFrancis Visoiu Mistrih                         MO.getSymbolName());
307aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_GlobalAddress:
308aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getGlobal(),
309aa739695SFrancis Visoiu Mistrih                         MO.getOffset());
310aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_BlockAddress:
311aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getBlockAddress(),
312aa739695SFrancis Visoiu Mistrih                         MO.getOffset());
313aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterMask:
314aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterLiveOut:
315aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getRegMask());
316aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Metadata:
317aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMetadata());
318aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MCSymbol:
319aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMCSymbol());
320aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CFIIndex:
321aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCFIIndex());
322aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_IntrinsicID:
323aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIntrinsicID());
324aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Predicate:
325aa739695SFrancis Visoiu Mistrih     return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getPredicate());
326aa739695SFrancis Visoiu Mistrih   }
327aa739695SFrancis Visoiu Mistrih   llvm_unreachable("Invalid machine operand type");
328aa739695SFrancis Visoiu Mistrih }
329aa739695SFrancis Visoiu Mistrih 
330aa739695SFrancis Visoiu Mistrih void MachineOperand::print(raw_ostream &OS, const TargetRegisterInfo *TRI,
331aa739695SFrancis Visoiu Mistrih                            const TargetIntrinsicInfo *IntrinsicInfo) const {
332aa739695SFrancis Visoiu Mistrih   ModuleSlotTracker DummyMST(nullptr);
333aa739695SFrancis Visoiu Mistrih   print(OS, DummyMST, TRI, IntrinsicInfo);
334aa739695SFrancis Visoiu Mistrih }
335aa739695SFrancis Visoiu Mistrih 
336aa739695SFrancis Visoiu Mistrih void MachineOperand::print(raw_ostream &OS, ModuleSlotTracker &MST,
337aa739695SFrancis Visoiu Mistrih                            const TargetRegisterInfo *TRI,
338aa739695SFrancis Visoiu Mistrih                            const TargetIntrinsicInfo *IntrinsicInfo) const {
339aa739695SFrancis Visoiu Mistrih   switch (getType()) {
340aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Register:
341aa739695SFrancis Visoiu Mistrih     OS << printReg(getReg(), TRI, getSubReg());
342aa739695SFrancis Visoiu Mistrih 
343aa739695SFrancis Visoiu Mistrih     if (isDef() || isKill() || isDead() || isImplicit() || isUndef() ||
344aa739695SFrancis Visoiu Mistrih         isInternalRead() || isEarlyClobber() || isTied()) {
345aa739695SFrancis Visoiu Mistrih       OS << '<';
346aa739695SFrancis Visoiu Mistrih       bool NeedComma = false;
347aa739695SFrancis Visoiu Mistrih       if (isDef()) {
348aa739695SFrancis Visoiu Mistrih         if (NeedComma)
349aa739695SFrancis Visoiu Mistrih           OS << ',';
350aa739695SFrancis Visoiu Mistrih         if (isEarlyClobber())
351aa739695SFrancis Visoiu Mistrih           OS << "earlyclobber,";
352aa739695SFrancis Visoiu Mistrih         if (isImplicit())
353aa739695SFrancis Visoiu Mistrih           OS << "imp-";
354aa739695SFrancis Visoiu Mistrih         OS << "def";
355aa739695SFrancis Visoiu Mistrih         NeedComma = true;
356aa739695SFrancis Visoiu Mistrih         // <def,read-undef> only makes sense when getSubReg() is set.
357aa739695SFrancis Visoiu Mistrih         // Don't clutter the output otherwise.
358aa739695SFrancis Visoiu Mistrih         if (isUndef() && getSubReg())
359aa739695SFrancis Visoiu Mistrih           OS << ",read-undef";
360aa739695SFrancis Visoiu Mistrih       } else if (isImplicit()) {
361aa739695SFrancis Visoiu Mistrih         OS << "imp-use";
362aa739695SFrancis Visoiu Mistrih         NeedComma = true;
363aa739695SFrancis Visoiu Mistrih       }
364aa739695SFrancis Visoiu Mistrih 
365aa739695SFrancis Visoiu Mistrih       if (isKill()) {
366aa739695SFrancis Visoiu Mistrih         if (NeedComma)
367aa739695SFrancis Visoiu Mistrih           OS << ',';
368aa739695SFrancis Visoiu Mistrih         OS << "kill";
369aa739695SFrancis Visoiu Mistrih         NeedComma = true;
370aa739695SFrancis Visoiu Mistrih       }
371aa739695SFrancis Visoiu Mistrih       if (isDead()) {
372aa739695SFrancis Visoiu Mistrih         if (NeedComma)
373aa739695SFrancis Visoiu Mistrih           OS << ',';
374aa739695SFrancis Visoiu Mistrih         OS << "dead";
375aa739695SFrancis Visoiu Mistrih         NeedComma = true;
376aa739695SFrancis Visoiu Mistrih       }
377aa739695SFrancis Visoiu Mistrih       if (isUndef() && isUse()) {
378aa739695SFrancis Visoiu Mistrih         if (NeedComma)
379aa739695SFrancis Visoiu Mistrih           OS << ',';
380aa739695SFrancis Visoiu Mistrih         OS << "undef";
381aa739695SFrancis Visoiu Mistrih         NeedComma = true;
382aa739695SFrancis Visoiu Mistrih       }
383aa739695SFrancis Visoiu Mistrih       if (isInternalRead()) {
384aa739695SFrancis Visoiu Mistrih         if (NeedComma)
385aa739695SFrancis Visoiu Mistrih           OS << ',';
386aa739695SFrancis Visoiu Mistrih         OS << "internal";
387aa739695SFrancis Visoiu Mistrih         NeedComma = true;
388aa739695SFrancis Visoiu Mistrih       }
389aa739695SFrancis Visoiu Mistrih       if (isTied()) {
390aa739695SFrancis Visoiu Mistrih         if (NeedComma)
391aa739695SFrancis Visoiu Mistrih           OS << ',';
392aa739695SFrancis Visoiu Mistrih         OS << "tied";
393aa739695SFrancis Visoiu Mistrih         if (TiedTo != 15)
394aa739695SFrancis Visoiu Mistrih           OS << unsigned(TiedTo - 1);
395aa739695SFrancis Visoiu Mistrih       }
396aa739695SFrancis Visoiu Mistrih       OS << '>';
397aa739695SFrancis Visoiu Mistrih     }
398aa739695SFrancis Visoiu Mistrih     break;
399aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Immediate:
400aa739695SFrancis Visoiu Mistrih     OS << getImm();
401aa739695SFrancis Visoiu Mistrih     break;
402aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CImmediate:
403aa739695SFrancis Visoiu Mistrih     getCImm()->getValue().print(OS, false);
404aa739695SFrancis Visoiu Mistrih     break;
405aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FPImmediate:
406aa739695SFrancis Visoiu Mistrih     if (getFPImm()->getType()->isFloatTy()) {
407aa739695SFrancis Visoiu Mistrih       OS << getFPImm()->getValueAPF().convertToFloat();
408aa739695SFrancis Visoiu Mistrih     } else if (getFPImm()->getType()->isHalfTy()) {
409aa739695SFrancis Visoiu Mistrih       APFloat APF = getFPImm()->getValueAPF();
410aa739695SFrancis Visoiu Mistrih       bool Unused;
411aa739695SFrancis Visoiu Mistrih       APF.convert(APFloat::IEEEsingle(), APFloat::rmNearestTiesToEven, &Unused);
412aa739695SFrancis Visoiu Mistrih       OS << "half " << APF.convertToFloat();
413aa739695SFrancis Visoiu Mistrih     } else if (getFPImm()->getType()->isFP128Ty()) {
414aa739695SFrancis Visoiu Mistrih       APFloat APF = getFPImm()->getValueAPF();
415aa739695SFrancis Visoiu Mistrih       SmallString<16> Str;
416aa739695SFrancis Visoiu Mistrih       getFPImm()->getValueAPF().toString(Str);
417aa739695SFrancis Visoiu Mistrih       OS << "quad " << Str;
418aa739695SFrancis Visoiu Mistrih     } else if (getFPImm()->getType()->isX86_FP80Ty()) {
419aa739695SFrancis Visoiu Mistrih       APFloat APF = getFPImm()->getValueAPF();
420aa739695SFrancis Visoiu Mistrih       OS << "x86_fp80 0xK";
421aa739695SFrancis Visoiu Mistrih       APInt API = APF.bitcastToAPInt();
422aa739695SFrancis Visoiu Mistrih       OS << format_hex_no_prefix(API.getHiBits(16).getZExtValue(), 4,
423aa739695SFrancis Visoiu Mistrih                                  /*Upper=*/true);
424aa739695SFrancis Visoiu Mistrih       OS << format_hex_no_prefix(API.getLoBits(64).getZExtValue(), 16,
425aa739695SFrancis Visoiu Mistrih                                  /*Upper=*/true);
426aa739695SFrancis Visoiu Mistrih     } else {
427aa739695SFrancis Visoiu Mistrih       OS << getFPImm()->getValueAPF().convertToDouble();
428aa739695SFrancis Visoiu Mistrih     }
429aa739695SFrancis Visoiu Mistrih     break;
430aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MachineBasicBlock:
431aa739695SFrancis Visoiu Mistrih     OS << "<BB#" << getMBB()->getNumber() << ">";
432aa739695SFrancis Visoiu Mistrih     break;
433aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_FrameIndex:
434aa739695SFrancis Visoiu Mistrih     OS << "<fi#" << getIndex() << '>';
435aa739695SFrancis Visoiu Mistrih     break;
436aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ConstantPoolIndex:
437aa739695SFrancis Visoiu Mistrih     OS << "<cp#" << getIndex();
438aa739695SFrancis Visoiu Mistrih     if (getOffset())
439aa739695SFrancis Visoiu Mistrih       OS << "+" << getOffset();
440aa739695SFrancis Visoiu Mistrih     OS << '>';
441aa739695SFrancis Visoiu Mistrih     break;
442aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_TargetIndex:
443aa739695SFrancis Visoiu Mistrih     OS << "<ti#" << getIndex();
444aa739695SFrancis Visoiu Mistrih     if (getOffset())
445aa739695SFrancis Visoiu Mistrih       OS << "+" << getOffset();
446aa739695SFrancis Visoiu Mistrih     OS << '>';
447aa739695SFrancis Visoiu Mistrih     break;
448aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_JumpTableIndex:
449aa739695SFrancis Visoiu Mistrih     OS << "<jt#" << getIndex() << '>';
450aa739695SFrancis Visoiu Mistrih     break;
451aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_GlobalAddress:
452aa739695SFrancis Visoiu Mistrih     OS << "<ga:";
453aa739695SFrancis Visoiu Mistrih     getGlobal()->printAsOperand(OS, /*PrintType=*/false, MST);
454aa739695SFrancis Visoiu Mistrih     if (getOffset())
455aa739695SFrancis Visoiu Mistrih       OS << "+" << getOffset();
456aa739695SFrancis Visoiu Mistrih     OS << '>';
457aa739695SFrancis Visoiu Mistrih     break;
458aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_ExternalSymbol:
459aa739695SFrancis Visoiu Mistrih     OS << "<es:" << getSymbolName();
460aa739695SFrancis Visoiu Mistrih     if (getOffset())
461aa739695SFrancis Visoiu Mistrih       OS << "+" << getOffset();
462aa739695SFrancis Visoiu Mistrih     OS << '>';
463aa739695SFrancis Visoiu Mistrih     break;
464aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_BlockAddress:
465aa739695SFrancis Visoiu Mistrih     OS << '<';
466aa739695SFrancis Visoiu Mistrih     getBlockAddress()->printAsOperand(OS, /*PrintType=*/false, MST);
467aa739695SFrancis Visoiu Mistrih     if (getOffset())
468aa739695SFrancis Visoiu Mistrih       OS << "+" << getOffset();
469aa739695SFrancis Visoiu Mistrih     OS << '>';
470aa739695SFrancis Visoiu Mistrih     break;
471aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterMask: {
472aa739695SFrancis Visoiu Mistrih     unsigned NumRegsInMask = 0;
473aa739695SFrancis Visoiu Mistrih     unsigned NumRegsEmitted = 0;
474aa739695SFrancis Visoiu Mistrih     OS << "<regmask";
475aa739695SFrancis Visoiu Mistrih     for (unsigned i = 0; i < TRI->getNumRegs(); ++i) {
476aa739695SFrancis Visoiu Mistrih       unsigned MaskWord = i / 32;
477aa739695SFrancis Visoiu Mistrih       unsigned MaskBit = i % 32;
478aa739695SFrancis Visoiu Mistrih       if (getRegMask()[MaskWord] & (1 << MaskBit)) {
479aa739695SFrancis Visoiu Mistrih         if (PrintRegMaskNumRegs < 0 ||
480aa739695SFrancis Visoiu Mistrih             NumRegsEmitted <= static_cast<unsigned>(PrintRegMaskNumRegs)) {
481aa739695SFrancis Visoiu Mistrih           OS << " " << printReg(i, TRI);
482aa739695SFrancis Visoiu Mistrih           NumRegsEmitted++;
483aa739695SFrancis Visoiu Mistrih         }
484aa739695SFrancis Visoiu Mistrih         NumRegsInMask++;
485aa739695SFrancis Visoiu Mistrih       }
486aa739695SFrancis Visoiu Mistrih     }
487aa739695SFrancis Visoiu Mistrih     if (NumRegsEmitted != NumRegsInMask)
488aa739695SFrancis Visoiu Mistrih       OS << " and " << (NumRegsInMask - NumRegsEmitted) << " more...";
489aa739695SFrancis Visoiu Mistrih     OS << ">";
490aa739695SFrancis Visoiu Mistrih     break;
491aa739695SFrancis Visoiu Mistrih   }
492aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_RegisterLiveOut:
493aa739695SFrancis Visoiu Mistrih     OS << "<regliveout>";
494aa739695SFrancis Visoiu Mistrih     break;
495aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Metadata:
496aa739695SFrancis Visoiu Mistrih     OS << '<';
497aa739695SFrancis Visoiu Mistrih     getMetadata()->printAsOperand(OS, MST);
498aa739695SFrancis Visoiu Mistrih     OS << '>';
499aa739695SFrancis Visoiu Mistrih     break;
500aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_MCSymbol:
501aa739695SFrancis Visoiu Mistrih     OS << "<MCSym=" << *getMCSymbol() << '>';
502aa739695SFrancis Visoiu Mistrih     break;
503aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_CFIIndex:
504aa739695SFrancis Visoiu Mistrih     OS << "<call frame instruction>";
505aa739695SFrancis Visoiu Mistrih     break;
506aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_IntrinsicID: {
507aa739695SFrancis Visoiu Mistrih     Intrinsic::ID ID = getIntrinsicID();
508aa739695SFrancis Visoiu Mistrih     if (ID < Intrinsic::num_intrinsics)
509aa739695SFrancis Visoiu Mistrih       OS << "<intrinsic:@" << Intrinsic::getName(ID, None) << '>';
510aa739695SFrancis Visoiu Mistrih     else if (IntrinsicInfo)
511aa739695SFrancis Visoiu Mistrih       OS << "<intrinsic:@" << IntrinsicInfo->getName(ID) << '>';
512aa739695SFrancis Visoiu Mistrih     else
513aa739695SFrancis Visoiu Mistrih       OS << "<intrinsic:" << ID << '>';
514aa739695SFrancis Visoiu Mistrih     break;
515aa739695SFrancis Visoiu Mistrih   }
516aa739695SFrancis Visoiu Mistrih   case MachineOperand::MO_Predicate: {
517aa739695SFrancis Visoiu Mistrih     auto Pred = static_cast<CmpInst::Predicate>(getPredicate());
518aa739695SFrancis Visoiu Mistrih     OS << '<' << (CmpInst::isIntPredicate(Pred) ? "intpred" : "floatpred")
519aa739695SFrancis Visoiu Mistrih        << CmpInst::getPredicateName(Pred) << '>';
520aa739695SFrancis Visoiu Mistrih     break;
521aa739695SFrancis Visoiu Mistrih   }
522aa739695SFrancis Visoiu Mistrih   }
523aa739695SFrancis Visoiu Mistrih   if (unsigned TF = getTargetFlags())
524aa739695SFrancis Visoiu Mistrih     OS << "[TF=" << TF << ']';
525aa739695SFrancis Visoiu Mistrih }
526aa739695SFrancis Visoiu Mistrih 
527aa739695SFrancis Visoiu Mistrih #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
528aa739695SFrancis Visoiu Mistrih LLVM_DUMP_METHOD void MachineOperand::dump() const { dbgs() << *this << '\n'; }
529aa739695SFrancis Visoiu Mistrih #endif
530aa739695SFrancis Visoiu Mistrih 
531aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
532aa739695SFrancis Visoiu Mistrih // MachineMemOperand Implementation
533aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===//
534aa739695SFrancis Visoiu Mistrih 
535aa739695SFrancis Visoiu Mistrih /// getAddrSpace - Return the LLVM IR address space number that this pointer
536aa739695SFrancis Visoiu Mistrih /// points into.
537aa739695SFrancis Visoiu Mistrih unsigned MachinePointerInfo::getAddrSpace() const {
538aa739695SFrancis Visoiu Mistrih   if (V.isNull())
539aa739695SFrancis Visoiu Mistrih     return 0;
540aa739695SFrancis Visoiu Mistrih 
541aa739695SFrancis Visoiu Mistrih   if (V.is<const PseudoSourceValue *>())
542aa739695SFrancis Visoiu Mistrih     return V.get<const PseudoSourceValue *>()->getAddressSpace();
543aa739695SFrancis Visoiu Mistrih 
544aa739695SFrancis Visoiu Mistrih   return cast<PointerType>(V.get<const Value *>()->getType())
545aa739695SFrancis Visoiu Mistrih       ->getAddressSpace();
546aa739695SFrancis Visoiu Mistrih }
547aa739695SFrancis Visoiu Mistrih 
548aa739695SFrancis Visoiu Mistrih /// isDereferenceable - Return true if V is always dereferenceable for
549aa739695SFrancis Visoiu Mistrih /// Offset + Size byte.
550aa739695SFrancis Visoiu Mistrih bool MachinePointerInfo::isDereferenceable(unsigned Size, LLVMContext &C,
551aa739695SFrancis Visoiu Mistrih                                            const DataLayout &DL) const {
552aa739695SFrancis Visoiu Mistrih   if (!V.is<const Value *>())
553aa739695SFrancis Visoiu Mistrih     return false;
554aa739695SFrancis Visoiu Mistrih 
555aa739695SFrancis Visoiu Mistrih   const Value *BasePtr = V.get<const Value *>();
556aa739695SFrancis Visoiu Mistrih   if (BasePtr == nullptr)
557aa739695SFrancis Visoiu Mistrih     return false;
558aa739695SFrancis Visoiu Mistrih 
559aa739695SFrancis Visoiu Mistrih   return isDereferenceableAndAlignedPointer(
560aa739695SFrancis Visoiu Mistrih       BasePtr, 1, APInt(DL.getPointerSizeInBits(), Offset + Size), DL);
561aa739695SFrancis Visoiu Mistrih }
562aa739695SFrancis Visoiu Mistrih 
563aa739695SFrancis Visoiu Mistrih /// getConstantPool - Return a MachinePointerInfo record that refers to the
564aa739695SFrancis Visoiu Mistrih /// constant pool.
565aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getConstantPool(MachineFunction &MF) {
566aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getConstantPool());
567aa739695SFrancis Visoiu Mistrih }
568aa739695SFrancis Visoiu Mistrih 
569aa739695SFrancis Visoiu Mistrih /// getFixedStack - Return a MachinePointerInfo record that refers to the
570aa739695SFrancis Visoiu Mistrih /// the specified FrameIndex.
571aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getFixedStack(MachineFunction &MF,
572aa739695SFrancis Visoiu Mistrih                                                      int FI, int64_t Offset) {
573aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getFixedStack(FI), Offset);
574aa739695SFrancis Visoiu Mistrih }
575aa739695SFrancis Visoiu Mistrih 
576aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getJumpTable(MachineFunction &MF) {
577aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getJumpTable());
578aa739695SFrancis Visoiu Mistrih }
579aa739695SFrancis Visoiu Mistrih 
580aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getGOT(MachineFunction &MF) {
581aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getGOT());
582aa739695SFrancis Visoiu Mistrih }
583aa739695SFrancis Visoiu Mistrih 
584aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getStack(MachineFunction &MF,
585aa739695SFrancis Visoiu Mistrih                                                 int64_t Offset, uint8_t ID) {
586aa739695SFrancis Visoiu Mistrih   return MachinePointerInfo(MF.getPSVManager().getStack(), Offset, ID);
587aa739695SFrancis Visoiu Mistrih }
588aa739695SFrancis Visoiu Mistrih 
589aa739695SFrancis Visoiu Mistrih MachineMemOperand::MachineMemOperand(MachinePointerInfo ptrinfo, Flags f,
590aa739695SFrancis Visoiu Mistrih                                      uint64_t s, unsigned int a,
591aa739695SFrancis Visoiu Mistrih                                      const AAMDNodes &AAInfo,
592aa739695SFrancis Visoiu Mistrih                                      const MDNode *Ranges, SyncScope::ID SSID,
593aa739695SFrancis Visoiu Mistrih                                      AtomicOrdering Ordering,
594aa739695SFrancis Visoiu Mistrih                                      AtomicOrdering FailureOrdering)
595aa739695SFrancis Visoiu Mistrih     : PtrInfo(ptrinfo), Size(s), FlagVals(f), BaseAlignLog2(Log2_32(a) + 1),
596aa739695SFrancis Visoiu Mistrih       AAInfo(AAInfo), Ranges(Ranges) {
597aa739695SFrancis Visoiu Mistrih   assert((PtrInfo.V.isNull() || PtrInfo.V.is<const PseudoSourceValue *>() ||
598aa739695SFrancis Visoiu Mistrih           isa<PointerType>(PtrInfo.V.get<const Value *>()->getType())) &&
599aa739695SFrancis Visoiu Mistrih          "invalid pointer value");
600aa739695SFrancis Visoiu Mistrih   assert(getBaseAlignment() == a && "Alignment is not a power of 2!");
601aa739695SFrancis Visoiu Mistrih   assert((isLoad() || isStore()) && "Not a load/store!");
602aa739695SFrancis Visoiu Mistrih 
603aa739695SFrancis Visoiu Mistrih   AtomicInfo.SSID = static_cast<unsigned>(SSID);
604aa739695SFrancis Visoiu Mistrih   assert(getSyncScopeID() == SSID && "Value truncated");
605aa739695SFrancis Visoiu Mistrih   AtomicInfo.Ordering = static_cast<unsigned>(Ordering);
606aa739695SFrancis Visoiu Mistrih   assert(getOrdering() == Ordering && "Value truncated");
607aa739695SFrancis Visoiu Mistrih   AtomicInfo.FailureOrdering = static_cast<unsigned>(FailureOrdering);
608aa739695SFrancis Visoiu Mistrih   assert(getFailureOrdering() == FailureOrdering && "Value truncated");
609aa739695SFrancis Visoiu Mistrih }
610aa739695SFrancis Visoiu Mistrih 
611aa739695SFrancis Visoiu Mistrih /// Profile - Gather unique data for the object.
612aa739695SFrancis Visoiu Mistrih ///
613aa739695SFrancis Visoiu Mistrih void MachineMemOperand::Profile(FoldingSetNodeID &ID) const {
614aa739695SFrancis Visoiu Mistrih   ID.AddInteger(getOffset());
615aa739695SFrancis Visoiu Mistrih   ID.AddInteger(Size);
616aa739695SFrancis Visoiu Mistrih   ID.AddPointer(getOpaqueValue());
617aa739695SFrancis Visoiu Mistrih   ID.AddInteger(getFlags());
618aa739695SFrancis Visoiu Mistrih   ID.AddInteger(getBaseAlignment());
619aa739695SFrancis Visoiu Mistrih }
620aa739695SFrancis Visoiu Mistrih 
621aa739695SFrancis Visoiu Mistrih void MachineMemOperand::refineAlignment(const MachineMemOperand *MMO) {
622aa739695SFrancis Visoiu Mistrih   // The Value and Offset may differ due to CSE. But the flags and size
623aa739695SFrancis Visoiu Mistrih   // should be the same.
624aa739695SFrancis Visoiu Mistrih   assert(MMO->getFlags() == getFlags() && "Flags mismatch!");
625aa739695SFrancis Visoiu Mistrih   assert(MMO->getSize() == getSize() && "Size mismatch!");
626aa739695SFrancis Visoiu Mistrih 
627aa739695SFrancis Visoiu Mistrih   if (MMO->getBaseAlignment() >= getBaseAlignment()) {
628aa739695SFrancis Visoiu Mistrih     // Update the alignment value.
629aa739695SFrancis Visoiu Mistrih     BaseAlignLog2 = Log2_32(MMO->getBaseAlignment()) + 1;
630aa739695SFrancis Visoiu Mistrih     // Also update the base and offset, because the new alignment may
631aa739695SFrancis Visoiu Mistrih     // not be applicable with the old ones.
632aa739695SFrancis Visoiu Mistrih     PtrInfo = MMO->PtrInfo;
633aa739695SFrancis Visoiu Mistrih   }
634aa739695SFrancis Visoiu Mistrih }
635aa739695SFrancis Visoiu Mistrih 
636aa739695SFrancis Visoiu Mistrih /// getAlignment - Return the minimum known alignment in bytes of the
637aa739695SFrancis Visoiu Mistrih /// actual memory reference.
638aa739695SFrancis Visoiu Mistrih uint64_t MachineMemOperand::getAlignment() const {
639aa739695SFrancis Visoiu Mistrih   return MinAlign(getBaseAlignment(), getOffset());
640aa739695SFrancis Visoiu Mistrih }
641aa739695SFrancis Visoiu Mistrih 
642aa739695SFrancis Visoiu Mistrih void MachineMemOperand::print(raw_ostream &OS) const {
643aa739695SFrancis Visoiu Mistrih   ModuleSlotTracker DummyMST(nullptr);
644aa739695SFrancis Visoiu Mistrih   print(OS, DummyMST);
645aa739695SFrancis Visoiu Mistrih }
646aa739695SFrancis Visoiu Mistrih void MachineMemOperand::print(raw_ostream &OS, ModuleSlotTracker &MST) const {
647aa739695SFrancis Visoiu Mistrih   assert((isLoad() || isStore()) && "SV has to be a load, store or both.");
648aa739695SFrancis Visoiu Mistrih 
649aa739695SFrancis Visoiu Mistrih   if (isVolatile())
650aa739695SFrancis Visoiu Mistrih     OS << "Volatile ";
651aa739695SFrancis Visoiu Mistrih 
652aa739695SFrancis Visoiu Mistrih   if (isLoad())
653aa739695SFrancis Visoiu Mistrih     OS << "LD";
654aa739695SFrancis Visoiu Mistrih   if (isStore())
655aa739695SFrancis Visoiu Mistrih     OS << "ST";
656aa739695SFrancis Visoiu Mistrih   OS << getSize();
657aa739695SFrancis Visoiu Mistrih 
658aa739695SFrancis Visoiu Mistrih   // Print the address information.
659aa739695SFrancis Visoiu Mistrih   OS << "[";
660aa739695SFrancis Visoiu Mistrih   if (const Value *V = getValue())
661aa739695SFrancis Visoiu Mistrih     V->printAsOperand(OS, /*PrintType=*/false, MST);
662aa739695SFrancis Visoiu Mistrih   else if (const PseudoSourceValue *PSV = getPseudoValue())
663aa739695SFrancis Visoiu Mistrih     PSV->printCustom(OS);
664aa739695SFrancis Visoiu Mistrih   else
665aa739695SFrancis Visoiu Mistrih     OS << "<unknown>";
666aa739695SFrancis Visoiu Mistrih 
667aa739695SFrancis Visoiu Mistrih   unsigned AS = getAddrSpace();
668aa739695SFrancis Visoiu Mistrih   if (AS != 0)
669aa739695SFrancis Visoiu Mistrih     OS << "(addrspace=" << AS << ')';
670aa739695SFrancis Visoiu Mistrih 
671aa739695SFrancis Visoiu Mistrih   // If the alignment of the memory reference itself differs from the alignment
672aa739695SFrancis Visoiu Mistrih   // of the base pointer, print the base alignment explicitly, next to the base
673aa739695SFrancis Visoiu Mistrih   // pointer.
674aa739695SFrancis Visoiu Mistrih   if (getBaseAlignment() != getAlignment())
675aa739695SFrancis Visoiu Mistrih     OS << "(align=" << getBaseAlignment() << ")";
676aa739695SFrancis Visoiu Mistrih 
677aa739695SFrancis Visoiu Mistrih   if (getOffset() != 0)
678aa739695SFrancis Visoiu Mistrih     OS << "+" << getOffset();
679aa739695SFrancis Visoiu Mistrih   OS << "]";
680aa739695SFrancis Visoiu Mistrih 
681aa739695SFrancis Visoiu Mistrih   // Print the alignment of the reference.
682aa739695SFrancis Visoiu Mistrih   if (getBaseAlignment() != getAlignment() || getBaseAlignment() != getSize())
683aa739695SFrancis Visoiu Mistrih     OS << "(align=" << getAlignment() << ")";
684aa739695SFrancis Visoiu Mistrih 
685aa739695SFrancis Visoiu Mistrih   // Print TBAA info.
686aa739695SFrancis Visoiu Mistrih   if (const MDNode *TBAAInfo = getAAInfo().TBAA) {
687aa739695SFrancis Visoiu Mistrih     OS << "(tbaa=";
688aa739695SFrancis Visoiu Mistrih     if (TBAAInfo->getNumOperands() > 0)
689aa739695SFrancis Visoiu Mistrih       TBAAInfo->getOperand(0)->printAsOperand(OS, MST);
690aa739695SFrancis Visoiu Mistrih     else
691aa739695SFrancis Visoiu Mistrih       OS << "<unknown>";
692aa739695SFrancis Visoiu Mistrih     OS << ")";
693aa739695SFrancis Visoiu Mistrih   }
694aa739695SFrancis Visoiu Mistrih 
695aa739695SFrancis Visoiu Mistrih   // Print AA scope info.
696aa739695SFrancis Visoiu Mistrih   if (const MDNode *ScopeInfo = getAAInfo().Scope) {
697aa739695SFrancis Visoiu Mistrih     OS << "(alias.scope=";
698aa739695SFrancis Visoiu Mistrih     if (ScopeInfo->getNumOperands() > 0)
699aa739695SFrancis Visoiu Mistrih       for (unsigned i = 0, ie = ScopeInfo->getNumOperands(); i != ie; ++i) {
700aa739695SFrancis Visoiu Mistrih         ScopeInfo->getOperand(i)->printAsOperand(OS, MST);
701aa739695SFrancis Visoiu Mistrih         if (i != ie - 1)
702aa739695SFrancis Visoiu Mistrih           OS << ",";
703aa739695SFrancis Visoiu Mistrih       }
704aa739695SFrancis Visoiu Mistrih     else
705aa739695SFrancis Visoiu Mistrih       OS << "<unknown>";
706aa739695SFrancis Visoiu Mistrih     OS << ")";
707aa739695SFrancis Visoiu Mistrih   }
708aa739695SFrancis Visoiu Mistrih 
709aa739695SFrancis Visoiu Mistrih   // Print AA noalias scope info.
710aa739695SFrancis Visoiu Mistrih   if (const MDNode *NoAliasInfo = getAAInfo().NoAlias) {
711aa739695SFrancis Visoiu Mistrih     OS << "(noalias=";
712aa739695SFrancis Visoiu Mistrih     if (NoAliasInfo->getNumOperands() > 0)
713aa739695SFrancis Visoiu Mistrih       for (unsigned i = 0, ie = NoAliasInfo->getNumOperands(); i != ie; ++i) {
714aa739695SFrancis Visoiu Mistrih         NoAliasInfo->getOperand(i)->printAsOperand(OS, MST);
715aa739695SFrancis Visoiu Mistrih         if (i != ie - 1)
716aa739695SFrancis Visoiu Mistrih           OS << ",";
717aa739695SFrancis Visoiu Mistrih       }
718aa739695SFrancis Visoiu Mistrih     else
719aa739695SFrancis Visoiu Mistrih       OS << "<unknown>";
720aa739695SFrancis Visoiu Mistrih     OS << ")";
721aa739695SFrancis Visoiu Mistrih   }
722aa739695SFrancis Visoiu Mistrih 
723aa739695SFrancis Visoiu Mistrih   if (const MDNode *Ranges = getRanges()) {
724aa739695SFrancis Visoiu Mistrih     unsigned NumRanges = Ranges->getNumOperands();
725aa739695SFrancis Visoiu Mistrih     if (NumRanges != 0) {
726aa739695SFrancis Visoiu Mistrih       OS << "(ranges=";
727aa739695SFrancis Visoiu Mistrih 
728aa739695SFrancis Visoiu Mistrih       for (unsigned I = 0; I != NumRanges; ++I) {
729aa739695SFrancis Visoiu Mistrih         Ranges->getOperand(I)->printAsOperand(OS, MST);
730aa739695SFrancis Visoiu Mistrih         if (I != NumRanges - 1)
731aa739695SFrancis Visoiu Mistrih           OS << ',';
732aa739695SFrancis Visoiu Mistrih       }
733aa739695SFrancis Visoiu Mistrih 
734aa739695SFrancis Visoiu Mistrih       OS << ')';
735aa739695SFrancis Visoiu Mistrih     }
736aa739695SFrancis Visoiu Mistrih   }
737aa739695SFrancis Visoiu Mistrih 
738aa739695SFrancis Visoiu Mistrih   if (isNonTemporal())
739aa739695SFrancis Visoiu Mistrih     OS << "(nontemporal)";
740aa739695SFrancis Visoiu Mistrih   if (isDereferenceable())
741aa739695SFrancis Visoiu Mistrih     OS << "(dereferenceable)";
742aa739695SFrancis Visoiu Mistrih   if (isInvariant())
743aa739695SFrancis Visoiu Mistrih     OS << "(invariant)";
744aa739695SFrancis Visoiu Mistrih   if (getFlags() & MOTargetFlag1)
745aa739695SFrancis Visoiu Mistrih     OS << "(flag1)";
746aa739695SFrancis Visoiu Mistrih   if (getFlags() & MOTargetFlag2)
747aa739695SFrancis Visoiu Mistrih     OS << "(flag2)";
748aa739695SFrancis Visoiu Mistrih   if (getFlags() & MOTargetFlag3)
749aa739695SFrancis Visoiu Mistrih     OS << "(flag3)";
750aa739695SFrancis Visoiu Mistrih }
751