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" 14e85b06d6SFrancis Visoiu Mistrih #include "llvm/ADT/StringExtras.h" 15aa739695SFrancis Visoiu Mistrih #include "llvm/Analysis/Loads.h" 16cc3f6302SKrzysztof Parzyszek #include "llvm/Analysis/MemoryLocation.h" 17aa739695SFrancis Visoiu Mistrih #include "llvm/CodeGen/MIRPrinter.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" 26aa739695SFrancis Visoiu Mistrih #include "llvm/IR/ModuleSlotTracker.h" 27*b6c190daSEric Christopher #include "llvm/MC/MCDwarf.h" 28a8a83d15SFrancis Visoiu Mistrih #include "llvm/Target/TargetIntrinsicInfo.h" 29a8a83d15SFrancis Visoiu Mistrih #include "llvm/Target/TargetMachine.h" 30aa739695SFrancis Visoiu Mistrih 31aa739695SFrancis Visoiu Mistrih using namespace llvm; 32aa739695SFrancis Visoiu Mistrih 33aa739695SFrancis Visoiu Mistrih static cl::opt<int> 34aa739695SFrancis Visoiu Mistrih PrintRegMaskNumRegs("print-regmask-num-regs", 35aa739695SFrancis Visoiu Mistrih cl::desc("Number of registers to limit to when " 36aa739695SFrancis Visoiu Mistrih "printing regmask operands in IR dumps. " 37aa739695SFrancis Visoiu Mistrih "unlimited = -1"), 38aa739695SFrancis Visoiu Mistrih cl::init(32), cl::Hidden); 39aa739695SFrancis Visoiu Mistrih 4095a05915SFrancis Visoiu Mistrih static const MachineFunction *getMFIfAvailable(const MachineOperand &MO) { 4195a05915SFrancis Visoiu Mistrih if (const MachineInstr *MI = MO.getParent()) 4295a05915SFrancis Visoiu Mistrih if (const MachineBasicBlock *MBB = MI->getParent()) 4395a05915SFrancis Visoiu Mistrih if (const MachineFunction *MF = MBB->getParent()) 4495a05915SFrancis Visoiu Mistrih return MF; 4595a05915SFrancis Visoiu Mistrih return nullptr; 4695a05915SFrancis Visoiu Mistrih } 4795a05915SFrancis Visoiu Mistrih static MachineFunction *getMFIfAvailable(MachineOperand &MO) { 4895a05915SFrancis Visoiu Mistrih return const_cast<MachineFunction *>( 4995a05915SFrancis Visoiu Mistrih getMFIfAvailable(const_cast<const MachineOperand &>(MO))); 5095a05915SFrancis Visoiu Mistrih } 5195a05915SFrancis Visoiu Mistrih 52aa739695SFrancis Visoiu Mistrih void MachineOperand::setReg(unsigned Reg) { 53aa739695SFrancis Visoiu Mistrih if (getReg() == Reg) 54aa739695SFrancis Visoiu Mistrih return; // No change. 55aa739695SFrancis Visoiu Mistrih 56f8bf2ec0SGeoff Berry // Clear the IsRenamable bit to keep it conservatively correct. 57f8bf2ec0SGeoff Berry IsRenamable = false; 58f8bf2ec0SGeoff Berry 59aa739695SFrancis Visoiu Mistrih // Otherwise, we have to change the register. If this operand is embedded 60aa739695SFrancis Visoiu Mistrih // into a machine function, we need to update the old and new register's 61aa739695SFrancis Visoiu Mistrih // use/def lists. 6295a05915SFrancis Visoiu Mistrih if (MachineFunction *MF = getMFIfAvailable(*this)) { 63aa739695SFrancis Visoiu Mistrih MachineRegisterInfo &MRI = MF->getRegInfo(); 64aa739695SFrancis Visoiu Mistrih MRI.removeRegOperandFromUseList(this); 65aa739695SFrancis Visoiu Mistrih SmallContents.RegNo = Reg; 66aa739695SFrancis Visoiu Mistrih MRI.addRegOperandToUseList(this); 67aa739695SFrancis Visoiu Mistrih return; 68aa739695SFrancis Visoiu Mistrih } 69aa739695SFrancis Visoiu Mistrih 70aa739695SFrancis Visoiu Mistrih // Otherwise, just change the register, no problem. :) 71aa739695SFrancis Visoiu Mistrih SmallContents.RegNo = Reg; 72aa739695SFrancis Visoiu Mistrih } 73aa739695SFrancis Visoiu Mistrih 74aa739695SFrancis Visoiu Mistrih void MachineOperand::substVirtReg(unsigned Reg, unsigned SubIdx, 75aa739695SFrancis Visoiu Mistrih const TargetRegisterInfo &TRI) { 76aa739695SFrancis Visoiu Mistrih assert(TargetRegisterInfo::isVirtualRegister(Reg)); 77aa739695SFrancis Visoiu Mistrih if (SubIdx && getSubReg()) 78aa739695SFrancis Visoiu Mistrih SubIdx = TRI.composeSubRegIndices(SubIdx, getSubReg()); 79aa739695SFrancis Visoiu Mistrih setReg(Reg); 80aa739695SFrancis Visoiu Mistrih if (SubIdx) 81aa739695SFrancis Visoiu Mistrih setSubReg(SubIdx); 82aa739695SFrancis Visoiu Mistrih } 83aa739695SFrancis Visoiu Mistrih 84aa739695SFrancis Visoiu Mistrih void MachineOperand::substPhysReg(unsigned Reg, const TargetRegisterInfo &TRI) { 85aa739695SFrancis Visoiu Mistrih assert(TargetRegisterInfo::isPhysicalRegister(Reg)); 86aa739695SFrancis Visoiu Mistrih if (getSubReg()) { 87aa739695SFrancis Visoiu Mistrih Reg = TRI.getSubReg(Reg, getSubReg()); 88aa739695SFrancis Visoiu Mistrih // Note that getSubReg() may return 0 if the sub-register doesn't exist. 89aa739695SFrancis Visoiu Mistrih // That won't happen in legal code. 90aa739695SFrancis Visoiu Mistrih setSubReg(0); 91aa739695SFrancis Visoiu Mistrih if (isDef()) 92aa739695SFrancis Visoiu Mistrih setIsUndef(false); 93aa739695SFrancis Visoiu Mistrih } 94aa739695SFrancis Visoiu Mistrih setReg(Reg); 95aa739695SFrancis Visoiu Mistrih } 96aa739695SFrancis Visoiu Mistrih 97aa739695SFrancis Visoiu Mistrih /// Change a def to a use, or a use to a def. 98aa739695SFrancis Visoiu Mistrih void MachineOperand::setIsDef(bool Val) { 99aa739695SFrancis Visoiu Mistrih assert(isReg() && "Wrong MachineOperand accessor"); 100aa739695SFrancis Visoiu Mistrih assert((!Val || !isDebug()) && "Marking a debug operation as def"); 101aa739695SFrancis Visoiu Mistrih if (IsDef == Val) 102aa739695SFrancis Visoiu Mistrih return; 10360c43102SGeoff Berry assert(!IsDeadOrKill && "Changing def/use with dead/kill set not supported"); 104aa739695SFrancis Visoiu Mistrih // MRI may keep uses and defs in different list positions. 10595a05915SFrancis Visoiu Mistrih if (MachineFunction *MF = getMFIfAvailable(*this)) { 106aa739695SFrancis Visoiu Mistrih MachineRegisterInfo &MRI = MF->getRegInfo(); 107aa739695SFrancis Visoiu Mistrih MRI.removeRegOperandFromUseList(this); 108aa739695SFrancis Visoiu Mistrih IsDef = Val; 109aa739695SFrancis Visoiu Mistrih MRI.addRegOperandToUseList(this); 110aa739695SFrancis Visoiu Mistrih return; 111aa739695SFrancis Visoiu Mistrih } 112aa739695SFrancis Visoiu Mistrih IsDef = Val; 113aa739695SFrancis Visoiu Mistrih } 114aa739695SFrancis Visoiu Mistrih 11560c43102SGeoff Berry bool MachineOperand::isRenamable() const { 11660c43102SGeoff Berry assert(isReg() && "Wrong MachineOperand accessor"); 11760c43102SGeoff Berry assert(TargetRegisterInfo::isPhysicalRegister(getReg()) && 11860c43102SGeoff Berry "isRenamable should only be checked on physical registers"); 119f8bf2ec0SGeoff Berry if (!IsRenamable) 120f8bf2ec0SGeoff Berry return false; 121f8bf2ec0SGeoff Berry 122f8bf2ec0SGeoff Berry const MachineInstr *MI = getParent(); 123f8bf2ec0SGeoff Berry if (!MI) 124f8bf2ec0SGeoff Berry return true; 125f8bf2ec0SGeoff Berry 126f8bf2ec0SGeoff Berry if (isDef()) 127f8bf2ec0SGeoff Berry return !MI->hasExtraDefRegAllocReq(MachineInstr::IgnoreBundle); 128f8bf2ec0SGeoff Berry 129f8bf2ec0SGeoff Berry assert(isUse() && "Reg is not def or use"); 130f8bf2ec0SGeoff Berry return !MI->hasExtraSrcRegAllocReq(MachineInstr::IgnoreBundle); 13160c43102SGeoff Berry } 13260c43102SGeoff Berry 13360c43102SGeoff Berry void MachineOperand::setIsRenamable(bool Val) { 13460c43102SGeoff Berry assert(isReg() && "Wrong MachineOperand accessor"); 13560c43102SGeoff Berry assert(TargetRegisterInfo::isPhysicalRegister(getReg()) && 13660c43102SGeoff Berry "setIsRenamable should only be called on physical registers"); 13760c43102SGeoff Berry IsRenamable = Val; 13860c43102SGeoff Berry } 13960c43102SGeoff Berry 140aa739695SFrancis Visoiu Mistrih // If this operand is currently a register operand, and if this is in a 141aa739695SFrancis Visoiu Mistrih // function, deregister the operand from the register's use/def list. 142aa739695SFrancis Visoiu Mistrih void MachineOperand::removeRegFromUses() { 143aa739695SFrancis Visoiu Mistrih if (!isReg() || !isOnRegUseList()) 144aa739695SFrancis Visoiu Mistrih return; 145aa739695SFrancis Visoiu Mistrih 14695a05915SFrancis Visoiu Mistrih if (MachineFunction *MF = getMFIfAvailable(*this)) 147aa739695SFrancis Visoiu Mistrih MF->getRegInfo().removeRegOperandFromUseList(this); 148aa739695SFrancis Visoiu Mistrih } 149aa739695SFrancis Visoiu Mistrih 150aa739695SFrancis Visoiu Mistrih /// ChangeToImmediate - Replace this operand with a new immediate operand of 151aa739695SFrancis Visoiu Mistrih /// the specified value. If an operand is known to be an immediate already, 152aa739695SFrancis Visoiu Mistrih /// the setImm method should be used. 153aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToImmediate(int64_t ImmVal) { 154aa739695SFrancis Visoiu Mistrih assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm"); 155aa739695SFrancis Visoiu Mistrih 156aa739695SFrancis Visoiu Mistrih removeRegFromUses(); 157aa739695SFrancis Visoiu Mistrih 158aa739695SFrancis Visoiu Mistrih OpKind = MO_Immediate; 159aa739695SFrancis Visoiu Mistrih Contents.ImmVal = ImmVal; 160aa739695SFrancis Visoiu Mistrih } 161aa739695SFrancis Visoiu Mistrih 162aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToFPImmediate(const ConstantFP *FPImm) { 163aa739695SFrancis Visoiu Mistrih assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm"); 164aa739695SFrancis Visoiu Mistrih 165aa739695SFrancis Visoiu Mistrih removeRegFromUses(); 166aa739695SFrancis Visoiu Mistrih 167aa739695SFrancis Visoiu Mistrih OpKind = MO_FPImmediate; 168aa739695SFrancis Visoiu Mistrih Contents.CFP = FPImm; 169aa739695SFrancis Visoiu Mistrih } 170aa739695SFrancis Visoiu Mistrih 171aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToES(const char *SymName, 172aa739695SFrancis Visoiu Mistrih unsigned char TargetFlags) { 173aa739695SFrancis Visoiu Mistrih assert((!isReg() || !isTied()) && 174aa739695SFrancis Visoiu Mistrih "Cannot change a tied operand into an external symbol"); 175aa739695SFrancis Visoiu Mistrih 176aa739695SFrancis Visoiu Mistrih removeRegFromUses(); 177aa739695SFrancis Visoiu Mistrih 178aa739695SFrancis Visoiu Mistrih OpKind = MO_ExternalSymbol; 179aa739695SFrancis Visoiu Mistrih Contents.OffsetedInfo.Val.SymbolName = SymName; 180aa739695SFrancis Visoiu Mistrih setOffset(0); // Offset is always 0. 181aa739695SFrancis Visoiu Mistrih setTargetFlags(TargetFlags); 182aa739695SFrancis Visoiu Mistrih } 183aa739695SFrancis Visoiu Mistrih 184aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToMCSymbol(MCSymbol *Sym) { 185aa739695SFrancis Visoiu Mistrih assert((!isReg() || !isTied()) && 186aa739695SFrancis Visoiu Mistrih "Cannot change a tied operand into an MCSymbol"); 187aa739695SFrancis Visoiu Mistrih 188aa739695SFrancis Visoiu Mistrih removeRegFromUses(); 189aa739695SFrancis Visoiu Mistrih 190aa739695SFrancis Visoiu Mistrih OpKind = MO_MCSymbol; 191aa739695SFrancis Visoiu Mistrih Contents.Sym = Sym; 192aa739695SFrancis Visoiu Mistrih } 193aa739695SFrancis Visoiu Mistrih 194aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToFrameIndex(int Idx) { 195aa739695SFrancis Visoiu Mistrih assert((!isReg() || !isTied()) && 196aa739695SFrancis Visoiu Mistrih "Cannot change a tied operand into a FrameIndex"); 197aa739695SFrancis Visoiu Mistrih 198aa739695SFrancis Visoiu Mistrih removeRegFromUses(); 199aa739695SFrancis Visoiu Mistrih 200aa739695SFrancis Visoiu Mistrih OpKind = MO_FrameIndex; 201aa739695SFrancis Visoiu Mistrih setIndex(Idx); 202aa739695SFrancis Visoiu Mistrih } 203aa739695SFrancis Visoiu Mistrih 204aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToTargetIndex(unsigned Idx, int64_t Offset, 205aa739695SFrancis Visoiu Mistrih unsigned char TargetFlags) { 206aa739695SFrancis Visoiu Mistrih assert((!isReg() || !isTied()) && 207aa739695SFrancis Visoiu Mistrih "Cannot change a tied operand into a FrameIndex"); 208aa739695SFrancis Visoiu Mistrih 209aa739695SFrancis Visoiu Mistrih removeRegFromUses(); 210aa739695SFrancis Visoiu Mistrih 211aa739695SFrancis Visoiu Mistrih OpKind = MO_TargetIndex; 212aa739695SFrancis Visoiu Mistrih setIndex(Idx); 213aa739695SFrancis Visoiu Mistrih setOffset(Offset); 214aa739695SFrancis Visoiu Mistrih setTargetFlags(TargetFlags); 215aa739695SFrancis Visoiu Mistrih } 216aa739695SFrancis Visoiu Mistrih 217aa739695SFrancis Visoiu Mistrih /// ChangeToRegister - Replace this operand with a new register operand of 218aa739695SFrancis Visoiu Mistrih /// the specified value. If an operand is known to be an register already, 219aa739695SFrancis Visoiu Mistrih /// the setReg method should be used. 220aa739695SFrancis Visoiu Mistrih void MachineOperand::ChangeToRegister(unsigned Reg, bool isDef, bool isImp, 221aa739695SFrancis Visoiu Mistrih bool isKill, bool isDead, bool isUndef, 222aa739695SFrancis Visoiu Mistrih bool isDebug) { 223aa739695SFrancis Visoiu Mistrih MachineRegisterInfo *RegInfo = nullptr; 22495a05915SFrancis Visoiu Mistrih if (MachineFunction *MF = getMFIfAvailable(*this)) 225aa739695SFrancis Visoiu Mistrih RegInfo = &MF->getRegInfo(); 226aa739695SFrancis Visoiu Mistrih // If this operand is already a register operand, remove it from the 227aa739695SFrancis Visoiu Mistrih // register's use/def lists. 228aa739695SFrancis Visoiu Mistrih bool WasReg = isReg(); 229aa739695SFrancis Visoiu Mistrih if (RegInfo && WasReg) 230aa739695SFrancis Visoiu Mistrih RegInfo->removeRegOperandFromUseList(this); 231aa739695SFrancis Visoiu Mistrih 232aa739695SFrancis Visoiu Mistrih // Change this to a register and set the reg#. 23360c43102SGeoff Berry assert(!(isDead && !isDef) && "Dead flag on non-def"); 23460c43102SGeoff Berry assert(!(isKill && isDef) && "Kill flag on def"); 235aa739695SFrancis Visoiu Mistrih OpKind = MO_Register; 236aa739695SFrancis Visoiu Mistrih SmallContents.RegNo = Reg; 237aa739695SFrancis Visoiu Mistrih SubReg_TargetFlags = 0; 238aa739695SFrancis Visoiu Mistrih IsDef = isDef; 239aa739695SFrancis Visoiu Mistrih IsImp = isImp; 24060c43102SGeoff Berry IsDeadOrKill = isKill | isDead; 24160c43102SGeoff Berry IsRenamable = false; 242aa739695SFrancis Visoiu Mistrih IsUndef = isUndef; 243aa739695SFrancis Visoiu Mistrih IsInternalRead = false; 244aa739695SFrancis Visoiu Mistrih IsEarlyClobber = false; 245aa739695SFrancis Visoiu Mistrih IsDebug = isDebug; 246aa739695SFrancis Visoiu Mistrih // Ensure isOnRegUseList() returns false. 247aa739695SFrancis Visoiu Mistrih Contents.Reg.Prev = nullptr; 248aa739695SFrancis Visoiu Mistrih // Preserve the tie when the operand was already a register. 249aa739695SFrancis Visoiu Mistrih if (!WasReg) 250aa739695SFrancis Visoiu Mistrih TiedTo = 0; 251aa739695SFrancis Visoiu Mistrih 252aa739695SFrancis Visoiu Mistrih // If this operand is embedded in a function, add the operand to the 253aa739695SFrancis Visoiu Mistrih // register's use/def list. 254aa739695SFrancis Visoiu Mistrih if (RegInfo) 255aa739695SFrancis Visoiu Mistrih RegInfo->addRegOperandToUseList(this); 256aa739695SFrancis Visoiu Mistrih } 257aa739695SFrancis Visoiu Mistrih 258aa739695SFrancis Visoiu Mistrih /// isIdenticalTo - Return true if this operand is identical to the specified 259aa739695SFrancis Visoiu Mistrih /// operand. Note that this should stay in sync with the hash_value overload 260aa739695SFrancis Visoiu Mistrih /// below. 261aa739695SFrancis Visoiu Mistrih bool MachineOperand::isIdenticalTo(const MachineOperand &Other) const { 262aa739695SFrancis Visoiu Mistrih if (getType() != Other.getType() || 263aa739695SFrancis Visoiu Mistrih getTargetFlags() != Other.getTargetFlags()) 264aa739695SFrancis Visoiu Mistrih return false; 265aa739695SFrancis Visoiu Mistrih 266aa739695SFrancis Visoiu Mistrih switch (getType()) { 267aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Register: 268aa739695SFrancis Visoiu Mistrih return getReg() == Other.getReg() && isDef() == Other.isDef() && 269aa739695SFrancis Visoiu Mistrih getSubReg() == Other.getSubReg(); 270aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Immediate: 271aa739695SFrancis Visoiu Mistrih return getImm() == Other.getImm(); 272aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_CImmediate: 273aa739695SFrancis Visoiu Mistrih return getCImm() == Other.getCImm(); 274aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_FPImmediate: 275aa739695SFrancis Visoiu Mistrih return getFPImm() == Other.getFPImm(); 276aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_MachineBasicBlock: 277aa739695SFrancis Visoiu Mistrih return getMBB() == Other.getMBB(); 278aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_FrameIndex: 279aa739695SFrancis Visoiu Mistrih return getIndex() == Other.getIndex(); 280aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_ConstantPoolIndex: 281aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_TargetIndex: 282aa739695SFrancis Visoiu Mistrih return getIndex() == Other.getIndex() && getOffset() == Other.getOffset(); 283aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_JumpTableIndex: 284aa739695SFrancis Visoiu Mistrih return getIndex() == Other.getIndex(); 285aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_GlobalAddress: 286aa739695SFrancis Visoiu Mistrih return getGlobal() == Other.getGlobal() && getOffset() == Other.getOffset(); 287aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_ExternalSymbol: 288aa739695SFrancis Visoiu Mistrih return strcmp(getSymbolName(), Other.getSymbolName()) == 0 && 289aa739695SFrancis Visoiu Mistrih getOffset() == Other.getOffset(); 290aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_BlockAddress: 291aa739695SFrancis Visoiu Mistrih return getBlockAddress() == Other.getBlockAddress() && 292aa739695SFrancis Visoiu Mistrih getOffset() == Other.getOffset(); 293aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_RegisterMask: 294aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_RegisterLiveOut: { 295aa739695SFrancis Visoiu Mistrih // Shallow compare of the two RegMasks 296aa739695SFrancis Visoiu Mistrih const uint32_t *RegMask = getRegMask(); 297aa739695SFrancis Visoiu Mistrih const uint32_t *OtherRegMask = Other.getRegMask(); 298aa739695SFrancis Visoiu Mistrih if (RegMask == OtherRegMask) 299aa739695SFrancis Visoiu Mistrih return true; 300aa739695SFrancis Visoiu Mistrih 30195a05915SFrancis Visoiu Mistrih if (const MachineFunction *MF = getMFIfAvailable(*this)) { 302aa739695SFrancis Visoiu Mistrih // Calculate the size of the RegMask 303aa739695SFrancis Visoiu Mistrih const TargetRegisterInfo *TRI = MF->getSubtarget().getRegisterInfo(); 304aa739695SFrancis Visoiu Mistrih unsigned RegMaskSize = (TRI->getNumRegs() + 31) / 32; 305aa739695SFrancis Visoiu Mistrih 306aa739695SFrancis Visoiu Mistrih // Deep compare of the two RegMasks 307aa739695SFrancis Visoiu Mistrih return std::equal(RegMask, RegMask + RegMaskSize, OtherRegMask); 308aa739695SFrancis Visoiu Mistrih } 30995a05915SFrancis Visoiu Mistrih // We don't know the size of the RegMask, so we can't deep compare the two 31095a05915SFrancis Visoiu Mistrih // reg masks. 31195a05915SFrancis Visoiu Mistrih return false; 31295a05915SFrancis Visoiu Mistrih } 313aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_MCSymbol: 314aa739695SFrancis Visoiu Mistrih return getMCSymbol() == Other.getMCSymbol(); 315aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_CFIIndex: 316aa739695SFrancis Visoiu Mistrih return getCFIIndex() == Other.getCFIIndex(); 317aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Metadata: 318aa739695SFrancis Visoiu Mistrih return getMetadata() == Other.getMetadata(); 319aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_IntrinsicID: 320aa739695SFrancis Visoiu Mistrih return getIntrinsicID() == Other.getIntrinsicID(); 321aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Predicate: 322aa739695SFrancis Visoiu Mistrih return getPredicate() == Other.getPredicate(); 323aa739695SFrancis Visoiu Mistrih } 324aa739695SFrancis Visoiu Mistrih llvm_unreachable("Invalid machine operand type"); 325aa739695SFrancis Visoiu Mistrih } 326aa739695SFrancis Visoiu Mistrih 327aa739695SFrancis Visoiu Mistrih // Note: this must stay exactly in sync with isIdenticalTo above. 328aa739695SFrancis Visoiu Mistrih hash_code llvm::hash_value(const MachineOperand &MO) { 329aa739695SFrancis Visoiu Mistrih switch (MO.getType()) { 330aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Register: 331aa739695SFrancis Visoiu Mistrih // Register operands don't have target flags. 332aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getReg(), MO.getSubReg(), MO.isDef()); 333aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Immediate: 334aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getImm()); 335aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_CImmediate: 336aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCImm()); 337aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_FPImmediate: 338aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getFPImm()); 339aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_MachineBasicBlock: 340aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMBB()); 341aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_FrameIndex: 342aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex()); 343aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_ConstantPoolIndex: 344aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_TargetIndex: 345aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex(), 346aa739695SFrancis Visoiu Mistrih MO.getOffset()); 347aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_JumpTableIndex: 348aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex()); 349aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_ExternalSymbol: 350aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getOffset(), 351aa739695SFrancis Visoiu Mistrih MO.getSymbolName()); 352aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_GlobalAddress: 353aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getGlobal(), 354aa739695SFrancis Visoiu Mistrih MO.getOffset()); 355aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_BlockAddress: 356aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getBlockAddress(), 357aa739695SFrancis Visoiu Mistrih MO.getOffset()); 358aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_RegisterMask: 359aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_RegisterLiveOut: 360aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getRegMask()); 361aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Metadata: 362aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMetadata()); 363aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_MCSymbol: 364aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMCSymbol()); 365aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_CFIIndex: 366aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCFIIndex()); 367aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_IntrinsicID: 368aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIntrinsicID()); 369aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Predicate: 370aa739695SFrancis Visoiu Mistrih return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getPredicate()); 371aa739695SFrancis Visoiu Mistrih } 372aa739695SFrancis Visoiu Mistrih llvm_unreachable("Invalid machine operand type"); 373aa739695SFrancis Visoiu Mistrih } 374aa739695SFrancis Visoiu Mistrih 375a8a83d15SFrancis Visoiu Mistrih // Try to crawl up to the machine function and get TRI and IntrinsicInfo from 376a8a83d15SFrancis Visoiu Mistrih // it. 377a8a83d15SFrancis Visoiu Mistrih static void tryToGetTargetInfo(const MachineOperand &MO, 378a8a83d15SFrancis Visoiu Mistrih const TargetRegisterInfo *&TRI, 379a8a83d15SFrancis Visoiu Mistrih const TargetIntrinsicInfo *&IntrinsicInfo) { 380567611efSFrancis Visoiu Mistrih if (const MachineFunction *MF = getMFIfAvailable(MO)) { 381a8a83d15SFrancis Visoiu Mistrih TRI = MF->getSubtarget().getRegisterInfo(); 382a8a83d15SFrancis Visoiu Mistrih IntrinsicInfo = MF->getTarget().getIntrinsicInfo(); 383a8a83d15SFrancis Visoiu Mistrih } 384a8a83d15SFrancis Visoiu Mistrih } 385a8a83d15SFrancis Visoiu Mistrih 386b3a0d513SFrancis Visoiu Mistrih static const char *getTargetIndexName(const MachineFunction &MF, int Index) { 387b3a0d513SFrancis Visoiu Mistrih const auto *TII = MF.getSubtarget().getInstrInfo(); 388b3a0d513SFrancis Visoiu Mistrih assert(TII && "expected instruction info"); 389b3a0d513SFrancis Visoiu Mistrih auto Indices = TII->getSerializableTargetIndices(); 390b3a0d513SFrancis Visoiu Mistrih auto Found = find_if(Indices, [&](const std::pair<int, const char *> &I) { 391b3a0d513SFrancis Visoiu Mistrih return I.first == Index; 392b3a0d513SFrancis Visoiu Mistrih }); 393b3a0d513SFrancis Visoiu Mistrih if (Found != Indices.end()) 394b3a0d513SFrancis Visoiu Mistrih return Found->second; 395b3a0d513SFrancis Visoiu Mistrih return nullptr; 396b3a0d513SFrancis Visoiu Mistrih } 397b3a0d513SFrancis Visoiu Mistrih 3985df3bbf3SFrancis Visoiu Mistrih static const char *getTargetFlagName(const TargetInstrInfo *TII, unsigned TF) { 3995df3bbf3SFrancis Visoiu Mistrih auto Flags = TII->getSerializableDirectMachineOperandTargetFlags(); 4005df3bbf3SFrancis Visoiu Mistrih for (const auto &I : Flags) { 4015df3bbf3SFrancis Visoiu Mistrih if (I.first == TF) { 4025df3bbf3SFrancis Visoiu Mistrih return I.second; 4035df3bbf3SFrancis Visoiu Mistrih } 4045df3bbf3SFrancis Visoiu Mistrih } 4055df3bbf3SFrancis Visoiu Mistrih return nullptr; 4065df3bbf3SFrancis Visoiu Mistrih } 4075df3bbf3SFrancis Visoiu Mistrih 408874ae6faSFrancis Visoiu Mistrih static void printCFIRegister(unsigned DwarfReg, raw_ostream &OS, 409874ae6faSFrancis Visoiu Mistrih const TargetRegisterInfo *TRI) { 410874ae6faSFrancis Visoiu Mistrih if (!TRI) { 411874ae6faSFrancis Visoiu Mistrih OS << "%dwarfreg." << DwarfReg; 412874ae6faSFrancis Visoiu Mistrih return; 413874ae6faSFrancis Visoiu Mistrih } 414874ae6faSFrancis Visoiu Mistrih 415874ae6faSFrancis Visoiu Mistrih int Reg = TRI->getLLVMRegNum(DwarfReg, true); 416874ae6faSFrancis Visoiu Mistrih if (Reg == -1) { 417874ae6faSFrancis Visoiu Mistrih OS << "<badreg>"; 418874ae6faSFrancis Visoiu Mistrih return; 419874ae6faSFrancis Visoiu Mistrih } 420874ae6faSFrancis Visoiu Mistrih OS << printReg(Reg, TRI); 421874ae6faSFrancis Visoiu Mistrih } 422874ae6faSFrancis Visoiu Mistrih 423f81727d1SFrancis Visoiu Mistrih static void printIRBlockReference(raw_ostream &OS, const BasicBlock &BB, 424f81727d1SFrancis Visoiu Mistrih ModuleSlotTracker &MST) { 425f81727d1SFrancis Visoiu Mistrih OS << "%ir-block."; 426f81727d1SFrancis Visoiu Mistrih if (BB.hasName()) { 427f81727d1SFrancis Visoiu Mistrih printLLVMNameWithoutPrefix(OS, BB.getName()); 428f81727d1SFrancis Visoiu Mistrih return; 429f81727d1SFrancis Visoiu Mistrih } 430f81727d1SFrancis Visoiu Mistrih Optional<int> Slot; 431f81727d1SFrancis Visoiu Mistrih if (const Function *F = BB.getParent()) { 432f81727d1SFrancis Visoiu Mistrih if (F == MST.getCurrentFunction()) { 433f81727d1SFrancis Visoiu Mistrih Slot = MST.getLocalSlot(&BB); 434f81727d1SFrancis Visoiu Mistrih } else if (const Module *M = F->getParent()) { 435f81727d1SFrancis Visoiu Mistrih ModuleSlotTracker CustomMST(M, /*ShouldInitializeAllMetadata=*/false); 436f81727d1SFrancis Visoiu Mistrih CustomMST.incorporateFunction(*F); 437f81727d1SFrancis Visoiu Mistrih Slot = CustomMST.getLocalSlot(&BB); 438f81727d1SFrancis Visoiu Mistrih } 439f81727d1SFrancis Visoiu Mistrih } 440f81727d1SFrancis Visoiu Mistrih if (Slot) 441f81727d1SFrancis Visoiu Mistrih MachineOperand::printIRSlotNumber(OS, *Slot); 442f81727d1SFrancis Visoiu Mistrih else 443f81727d1SFrancis Visoiu Mistrih OS << "<unknown>"; 444f81727d1SFrancis Visoiu Mistrih } 445f81727d1SFrancis Visoiu Mistrih 446e85b06d6SFrancis Visoiu Mistrih static void printIRValueReference(raw_ostream &OS, const Value &V, 447e85b06d6SFrancis Visoiu Mistrih ModuleSlotTracker &MST) { 448e85b06d6SFrancis Visoiu Mistrih if (isa<GlobalValue>(V)) { 449e85b06d6SFrancis Visoiu Mistrih V.printAsOperand(OS, /*PrintType=*/false, MST); 450e85b06d6SFrancis Visoiu Mistrih return; 451e85b06d6SFrancis Visoiu Mistrih } 452e85b06d6SFrancis Visoiu Mistrih if (isa<Constant>(V)) { 453e85b06d6SFrancis Visoiu Mistrih // Machine memory operands can load/store to/from constant value pointers. 454e85b06d6SFrancis Visoiu Mistrih OS << '`'; 455e85b06d6SFrancis Visoiu Mistrih V.printAsOperand(OS, /*PrintType=*/true, MST); 456e85b06d6SFrancis Visoiu Mistrih OS << '`'; 457e85b06d6SFrancis Visoiu Mistrih return; 458e85b06d6SFrancis Visoiu Mistrih } 459e85b06d6SFrancis Visoiu Mistrih OS << "%ir."; 460e85b06d6SFrancis Visoiu Mistrih if (V.hasName()) { 461e85b06d6SFrancis Visoiu Mistrih printLLVMNameWithoutPrefix(OS, V.getName()); 462e85b06d6SFrancis Visoiu Mistrih return; 463e85b06d6SFrancis Visoiu Mistrih } 464f213f81dSJonas Paulsson int Slot = MST.getCurrentFunction() ? MST.getLocalSlot(&V) : -1; 465f213f81dSJonas Paulsson MachineOperand::printIRSlotNumber(OS, Slot); 466e85b06d6SFrancis Visoiu Mistrih } 467e85b06d6SFrancis Visoiu Mistrih 468e85b06d6SFrancis Visoiu Mistrih static void printSyncScope(raw_ostream &OS, const LLVMContext &Context, 469e85b06d6SFrancis Visoiu Mistrih SyncScope::ID SSID, 470e85b06d6SFrancis Visoiu Mistrih SmallVectorImpl<StringRef> &SSNs) { 471e85b06d6SFrancis Visoiu Mistrih switch (SSID) { 472e85b06d6SFrancis Visoiu Mistrih case SyncScope::System: 473e85b06d6SFrancis Visoiu Mistrih break; 474e85b06d6SFrancis Visoiu Mistrih default: 475e85b06d6SFrancis Visoiu Mistrih if (SSNs.empty()) 476e85b06d6SFrancis Visoiu Mistrih Context.getSyncScopeNames(SSNs); 477e85b06d6SFrancis Visoiu Mistrih 478e85b06d6SFrancis Visoiu Mistrih OS << "syncscope(\""; 479745918ffSJonas Devlieghere printEscapedString(SSNs[SSID], OS); 480e85b06d6SFrancis Visoiu Mistrih OS << "\") "; 481e85b06d6SFrancis Visoiu Mistrih break; 482e85b06d6SFrancis Visoiu Mistrih } 483e85b06d6SFrancis Visoiu Mistrih } 484e85b06d6SFrancis Visoiu Mistrih 485e85b06d6SFrancis Visoiu Mistrih static const char *getTargetMMOFlagName(const TargetInstrInfo &TII, 486e85b06d6SFrancis Visoiu Mistrih unsigned TMMOFlag) { 487e85b06d6SFrancis Visoiu Mistrih auto Flags = TII.getSerializableMachineMemOperandTargetFlags(); 488e85b06d6SFrancis Visoiu Mistrih for (const auto &I : Flags) { 489e85b06d6SFrancis Visoiu Mistrih if (I.first == TMMOFlag) { 490e85b06d6SFrancis Visoiu Mistrih return I.second; 491e85b06d6SFrancis Visoiu Mistrih } 492e85b06d6SFrancis Visoiu Mistrih } 493e85b06d6SFrancis Visoiu Mistrih return nullptr; 494e85b06d6SFrancis Visoiu Mistrih } 495e85b06d6SFrancis Visoiu Mistrih 496e85b06d6SFrancis Visoiu Mistrih static void printFrameIndex(raw_ostream& OS, int FrameIndex, bool IsFixed, 497e85b06d6SFrancis Visoiu Mistrih const MachineFrameInfo *MFI) { 498e85b06d6SFrancis Visoiu Mistrih StringRef Name; 499e85b06d6SFrancis Visoiu Mistrih if (MFI) { 500e85b06d6SFrancis Visoiu Mistrih IsFixed = MFI->isFixedObjectIndex(FrameIndex); 501e85b06d6SFrancis Visoiu Mistrih if (const AllocaInst *Alloca = MFI->getObjectAllocation(FrameIndex)) 502e85b06d6SFrancis Visoiu Mistrih if (Alloca->hasName()) 503e85b06d6SFrancis Visoiu Mistrih Name = Alloca->getName(); 504e85b06d6SFrancis Visoiu Mistrih if (IsFixed) 505e85b06d6SFrancis Visoiu Mistrih FrameIndex -= MFI->getObjectIndexBegin(); 506e85b06d6SFrancis Visoiu Mistrih } 507e85b06d6SFrancis Visoiu Mistrih MachineOperand::printStackObjectReference(OS, FrameIndex, IsFixed, Name); 508e85b06d6SFrancis Visoiu Mistrih } 509e85b06d6SFrancis Visoiu Mistrih 510ecd0b833SFrancis Visoiu Mistrih void MachineOperand::printSubRegIdx(raw_ostream &OS, uint64_t Index, 511440f69c9SFrancis Visoiu Mistrih const TargetRegisterInfo *TRI) { 512440f69c9SFrancis Visoiu Mistrih OS << "%subreg."; 513440f69c9SFrancis Visoiu Mistrih if (TRI) 514440f69c9SFrancis Visoiu Mistrih OS << TRI->getSubRegIndexName(Index); 515440f69c9SFrancis Visoiu Mistrih else 516440f69c9SFrancis Visoiu Mistrih OS << Index; 517440f69c9SFrancis Visoiu Mistrih } 518440f69c9SFrancis Visoiu Mistrih 5195df3bbf3SFrancis Visoiu Mistrih void MachineOperand::printTargetFlags(raw_ostream &OS, 5205df3bbf3SFrancis Visoiu Mistrih const MachineOperand &Op) { 5215df3bbf3SFrancis Visoiu Mistrih if (!Op.getTargetFlags()) 5225df3bbf3SFrancis Visoiu Mistrih return; 5235df3bbf3SFrancis Visoiu Mistrih const MachineFunction *MF = getMFIfAvailable(Op); 5245df3bbf3SFrancis Visoiu Mistrih if (!MF) 5255df3bbf3SFrancis Visoiu Mistrih return; 5265df3bbf3SFrancis Visoiu Mistrih 5275df3bbf3SFrancis Visoiu Mistrih const auto *TII = MF->getSubtarget().getInstrInfo(); 5285df3bbf3SFrancis Visoiu Mistrih assert(TII && "expected instruction info"); 5295df3bbf3SFrancis Visoiu Mistrih auto Flags = TII->decomposeMachineOperandsTargetFlags(Op.getTargetFlags()); 5305df3bbf3SFrancis Visoiu Mistrih OS << "target-flags("; 5315df3bbf3SFrancis Visoiu Mistrih const bool HasDirectFlags = Flags.first; 5325df3bbf3SFrancis Visoiu Mistrih const bool HasBitmaskFlags = Flags.second; 5335df3bbf3SFrancis Visoiu Mistrih if (!HasDirectFlags && !HasBitmaskFlags) { 5345df3bbf3SFrancis Visoiu Mistrih OS << "<unknown>) "; 5355df3bbf3SFrancis Visoiu Mistrih return; 5365df3bbf3SFrancis Visoiu Mistrih } 5375df3bbf3SFrancis Visoiu Mistrih if (HasDirectFlags) { 5385df3bbf3SFrancis Visoiu Mistrih if (const auto *Name = getTargetFlagName(TII, Flags.first)) 5395df3bbf3SFrancis Visoiu Mistrih OS << Name; 5405df3bbf3SFrancis Visoiu Mistrih else 5415df3bbf3SFrancis Visoiu Mistrih OS << "<unknown target flag>"; 5425df3bbf3SFrancis Visoiu Mistrih } 5435df3bbf3SFrancis Visoiu Mistrih if (!HasBitmaskFlags) { 5445df3bbf3SFrancis Visoiu Mistrih OS << ") "; 5455df3bbf3SFrancis Visoiu Mistrih return; 5465df3bbf3SFrancis Visoiu Mistrih } 5475df3bbf3SFrancis Visoiu Mistrih bool IsCommaNeeded = HasDirectFlags; 5485df3bbf3SFrancis Visoiu Mistrih unsigned BitMask = Flags.second; 5495df3bbf3SFrancis Visoiu Mistrih auto BitMasks = TII->getSerializableBitmaskMachineOperandTargetFlags(); 5505df3bbf3SFrancis Visoiu Mistrih for (const auto &Mask : BitMasks) { 5515df3bbf3SFrancis Visoiu Mistrih // Check if the flag's bitmask has the bits of the current mask set. 5525df3bbf3SFrancis Visoiu Mistrih if ((BitMask & Mask.first) == Mask.first) { 5535df3bbf3SFrancis Visoiu Mistrih if (IsCommaNeeded) 5545df3bbf3SFrancis Visoiu Mistrih OS << ", "; 5555df3bbf3SFrancis Visoiu Mistrih IsCommaNeeded = true; 5565df3bbf3SFrancis Visoiu Mistrih OS << Mask.second; 5575df3bbf3SFrancis Visoiu Mistrih // Clear the bits which were serialized from the flag's bitmask. 5585df3bbf3SFrancis Visoiu Mistrih BitMask &= ~(Mask.first); 5595df3bbf3SFrancis Visoiu Mistrih } 5605df3bbf3SFrancis Visoiu Mistrih } 5615df3bbf3SFrancis Visoiu Mistrih if (BitMask) { 5625df3bbf3SFrancis Visoiu Mistrih // When the resulting flag's bitmask isn't zero, we know that we didn't 5635df3bbf3SFrancis Visoiu Mistrih // serialize all of the bit flags. 5645df3bbf3SFrancis Visoiu Mistrih if (IsCommaNeeded) 5655df3bbf3SFrancis Visoiu Mistrih OS << ", "; 5665df3bbf3SFrancis Visoiu Mistrih OS << "<unknown bitmask target flag>"; 5675df3bbf3SFrancis Visoiu Mistrih } 5685df3bbf3SFrancis Visoiu Mistrih OS << ") "; 5695df3bbf3SFrancis Visoiu Mistrih } 5705df3bbf3SFrancis Visoiu Mistrih 5715de20e03SFrancis Visoiu Mistrih void MachineOperand::printSymbol(raw_ostream &OS, MCSymbol &Sym) { 5725de20e03SFrancis Visoiu Mistrih OS << "<mcsymbol " << Sym << ">"; 5735de20e03SFrancis Visoiu Mistrih } 5745de20e03SFrancis Visoiu Mistrih 5750b5bdceaSFrancis Visoiu Mistrih void MachineOperand::printStackObjectReference(raw_ostream &OS, 5760b5bdceaSFrancis Visoiu Mistrih unsigned FrameIndex, 5770b5bdceaSFrancis Visoiu Mistrih bool IsFixed, StringRef Name) { 5780b5bdceaSFrancis Visoiu Mistrih if (IsFixed) { 5790b5bdceaSFrancis Visoiu Mistrih OS << "%fixed-stack." << FrameIndex; 5800b5bdceaSFrancis Visoiu Mistrih return; 5810b5bdceaSFrancis Visoiu Mistrih } 5820b5bdceaSFrancis Visoiu Mistrih 5830b5bdceaSFrancis Visoiu Mistrih OS << "%stack." << FrameIndex; 5840b5bdceaSFrancis Visoiu Mistrih if (!Name.empty()) 5850b5bdceaSFrancis Visoiu Mistrih OS << '.' << Name; 5860b5bdceaSFrancis Visoiu Mistrih } 5870b5bdceaSFrancis Visoiu Mistrih 58881226602SFrancis Visoiu Mistrih void MachineOperand::printOperandOffset(raw_ostream &OS, int64_t Offset) { 58981226602SFrancis Visoiu Mistrih if (Offset == 0) 59081226602SFrancis Visoiu Mistrih return; 59181226602SFrancis Visoiu Mistrih if (Offset < 0) { 59281226602SFrancis Visoiu Mistrih OS << " - " << -Offset; 59381226602SFrancis Visoiu Mistrih return; 59481226602SFrancis Visoiu Mistrih } 59581226602SFrancis Visoiu Mistrih OS << " + " << Offset; 59681226602SFrancis Visoiu Mistrih } 59781226602SFrancis Visoiu Mistrih 598f81727d1SFrancis Visoiu Mistrih void MachineOperand::printIRSlotNumber(raw_ostream &OS, int Slot) { 599f81727d1SFrancis Visoiu Mistrih if (Slot == -1) 600f81727d1SFrancis Visoiu Mistrih OS << "<badref>"; 601f81727d1SFrancis Visoiu Mistrih else 602f81727d1SFrancis Visoiu Mistrih OS << Slot; 603f81727d1SFrancis Visoiu Mistrih } 604f81727d1SFrancis Visoiu Mistrih 605874ae6faSFrancis Visoiu Mistrih static void printCFI(raw_ostream &OS, const MCCFIInstruction &CFI, 606874ae6faSFrancis Visoiu Mistrih const TargetRegisterInfo *TRI) { 607874ae6faSFrancis Visoiu Mistrih switch (CFI.getOperation()) { 608874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpSameValue: 609874ae6faSFrancis Visoiu Mistrih OS << "same_value "; 610874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 611874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 612874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 613874ae6faSFrancis Visoiu Mistrih break; 614874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpRememberState: 615874ae6faSFrancis Visoiu Mistrih OS << "remember_state "; 616874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 617874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 618874ae6faSFrancis Visoiu Mistrih break; 619874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpRestoreState: 620874ae6faSFrancis Visoiu Mistrih OS << "restore_state "; 621874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 622874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 623874ae6faSFrancis Visoiu Mistrih break; 624874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpOffset: 625874ae6faSFrancis Visoiu Mistrih OS << "offset "; 626874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 627874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 628874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 629874ae6faSFrancis Visoiu Mistrih OS << ", " << CFI.getOffset(); 630874ae6faSFrancis Visoiu Mistrih break; 631874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpDefCfaRegister: 632874ae6faSFrancis Visoiu Mistrih OS << "def_cfa_register "; 633874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 634874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 635874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 636874ae6faSFrancis Visoiu Mistrih break; 637874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpDefCfaOffset: 638874ae6faSFrancis Visoiu Mistrih OS << "def_cfa_offset "; 639874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 640874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 641874ae6faSFrancis Visoiu Mistrih OS << CFI.getOffset(); 642874ae6faSFrancis Visoiu Mistrih break; 643874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpDefCfa: 644874ae6faSFrancis Visoiu Mistrih OS << "def_cfa "; 645874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 646874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 647874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 648874ae6faSFrancis Visoiu Mistrih OS << ", " << CFI.getOffset(); 649874ae6faSFrancis Visoiu Mistrih break; 650874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpRelOffset: 651874ae6faSFrancis Visoiu Mistrih OS << "rel_offset "; 652874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 653874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 654874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 655874ae6faSFrancis Visoiu Mistrih OS << ", " << CFI.getOffset(); 656874ae6faSFrancis Visoiu Mistrih break; 657874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpAdjustCfaOffset: 658874ae6faSFrancis Visoiu Mistrih OS << "adjust_cfa_offset "; 659874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 660874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 661874ae6faSFrancis Visoiu Mistrih OS << CFI.getOffset(); 662874ae6faSFrancis Visoiu Mistrih break; 663874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpRestore: 664874ae6faSFrancis Visoiu Mistrih OS << "restore "; 665874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 666874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 667874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 668874ae6faSFrancis Visoiu Mistrih break; 669874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpEscape: { 670874ae6faSFrancis Visoiu Mistrih OS << "escape "; 671874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 672874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 673874ae6faSFrancis Visoiu Mistrih if (!CFI.getValues().empty()) { 674874ae6faSFrancis Visoiu Mistrih size_t e = CFI.getValues().size() - 1; 675874ae6faSFrancis Visoiu Mistrih for (size_t i = 0; i < e; ++i) 676874ae6faSFrancis Visoiu Mistrih OS << format("0x%02x", uint8_t(CFI.getValues()[i])) << ", "; 677874ae6faSFrancis Visoiu Mistrih OS << format("0x%02x", uint8_t(CFI.getValues()[e])) << ", "; 678874ae6faSFrancis Visoiu Mistrih } 679874ae6faSFrancis Visoiu Mistrih break; 680874ae6faSFrancis Visoiu Mistrih } 681874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpUndefined: 682874ae6faSFrancis Visoiu Mistrih OS << "undefined "; 683874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 684874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 685874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 686874ae6faSFrancis Visoiu Mistrih break; 687874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpRegister: 688874ae6faSFrancis Visoiu Mistrih OS << "register "; 689874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 690874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 691874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister(), OS, TRI); 692874ae6faSFrancis Visoiu Mistrih OS << ", "; 693874ae6faSFrancis Visoiu Mistrih printCFIRegister(CFI.getRegister2(), OS, TRI); 694874ae6faSFrancis Visoiu Mistrih break; 695874ae6faSFrancis Visoiu Mistrih case MCCFIInstruction::OpWindowSave: 696874ae6faSFrancis Visoiu Mistrih OS << "window_save "; 697874ae6faSFrancis Visoiu Mistrih if (MCSymbol *Label = CFI.getLabel()) 698874ae6faSFrancis Visoiu Mistrih MachineOperand::printSymbol(OS, *Label); 699874ae6faSFrancis Visoiu Mistrih break; 700f57d7d82SLuke Cheeseman case MCCFIInstruction::OpNegateRAState: 701f57d7d82SLuke Cheeseman OS << "negate_ra_sign_state "; 702f57d7d82SLuke Cheeseman if (MCSymbol *Label = CFI.getLabel()) 703f57d7d82SLuke Cheeseman MachineOperand::printSymbol(OS, *Label); 704f57d7d82SLuke Cheeseman break; 705874ae6faSFrancis Visoiu Mistrih default: 706874ae6faSFrancis Visoiu Mistrih // TODO: Print the other CFI Operations. 707874ae6faSFrancis Visoiu Mistrih OS << "<unserializable cfi directive>"; 708874ae6faSFrancis Visoiu Mistrih break; 709874ae6faSFrancis Visoiu Mistrih } 710874ae6faSFrancis Visoiu Mistrih } 711874ae6faSFrancis Visoiu Mistrih 712aa739695SFrancis Visoiu Mistrih void MachineOperand::print(raw_ostream &OS, const TargetRegisterInfo *TRI, 713aa739695SFrancis Visoiu Mistrih const TargetIntrinsicInfo *IntrinsicInfo) const { 714f487edaeSRoman Tereshin print(OS, LLT{}, TRI, IntrinsicInfo); 715f487edaeSRoman Tereshin } 716f487edaeSRoman Tereshin 717f487edaeSRoman Tereshin void MachineOperand::print(raw_ostream &OS, LLT TypeToPrint, 718f487edaeSRoman Tereshin const TargetRegisterInfo *TRI, 719f487edaeSRoman Tereshin const TargetIntrinsicInfo *IntrinsicInfo) const { 720a8a83d15SFrancis Visoiu Mistrih tryToGetTargetInfo(*this, TRI, IntrinsicInfo); 721aa739695SFrancis Visoiu Mistrih ModuleSlotTracker DummyMST(nullptr); 722f487edaeSRoman Tereshin print(OS, DummyMST, TypeToPrint, /*PrintDef=*/false, /*IsStandalone=*/true, 723a8a83d15SFrancis Visoiu Mistrih /*ShouldPrintRegisterTies=*/true, 724a8a83d15SFrancis Visoiu Mistrih /*TiedOperandIdx=*/0, TRI, IntrinsicInfo); 725aa739695SFrancis Visoiu Mistrih } 726aa739695SFrancis Visoiu Mistrih 727aa739695SFrancis Visoiu Mistrih void MachineOperand::print(raw_ostream &OS, ModuleSlotTracker &MST, 728eb3f76fcSFrancis Visoiu Mistrih LLT TypeToPrint, bool PrintDef, bool IsStandalone, 729a8a83d15SFrancis Visoiu Mistrih bool ShouldPrintRegisterTies, 730a8a83d15SFrancis Visoiu Mistrih unsigned TiedOperandIdx, 731aa739695SFrancis Visoiu Mistrih const TargetRegisterInfo *TRI, 732aa739695SFrancis Visoiu Mistrih const TargetIntrinsicInfo *IntrinsicInfo) const { 7335df3bbf3SFrancis Visoiu Mistrih printTargetFlags(OS, *this); 734aa739695SFrancis Visoiu Mistrih switch (getType()) { 735a8a83d15SFrancis Visoiu Mistrih case MachineOperand::MO_Register: { 736a8a83d15SFrancis Visoiu Mistrih unsigned Reg = getReg(); 737aa739695SFrancis Visoiu Mistrih if (isImplicit()) 738a8a83d15SFrancis Visoiu Mistrih OS << (isDef() ? "implicit-def " : "implicit "); 739a8a83d15SFrancis Visoiu Mistrih else if (PrintDef && isDef()) 740a8a83d15SFrancis Visoiu Mistrih // Print the 'def' flag only when the operand is defined after '='. 741aa739695SFrancis Visoiu Mistrih OS << "def "; 742a8a83d15SFrancis Visoiu Mistrih if (isInternalRead()) 743aa739695SFrancis Visoiu Mistrih OS << "internal "; 744a8a83d15SFrancis Visoiu Mistrih if (isDead()) 745a8a83d15SFrancis Visoiu Mistrih OS << "dead "; 746a8a83d15SFrancis Visoiu Mistrih if (isKill()) 747a8a83d15SFrancis Visoiu Mistrih OS << "killed "; 748a8a83d15SFrancis Visoiu Mistrih if (isUndef()) 749a8a83d15SFrancis Visoiu Mistrih OS << "undef "; 750a8a83d15SFrancis Visoiu Mistrih if (isEarlyClobber()) 751a8a83d15SFrancis Visoiu Mistrih OS << "early-clobber "; 75260c43102SGeoff Berry if (TargetRegisterInfo::isPhysicalRegister(getReg()) && isRenamable()) 75360c43102SGeoff Berry OS << "renamable "; 754a8340389SMatthias Braun // isDebug() is exactly true for register operands of a DBG_VALUE. So we 755a8340389SMatthias Braun // simply infer it when parsing and do not need to print it. 756399b46c9SPuyan Lotfi 757399b46c9SPuyan Lotfi const MachineRegisterInfo *MRI = nullptr; 758399b46c9SPuyan Lotfi if (TargetRegisterInfo::isVirtualRegister(Reg)) { 759399b46c9SPuyan Lotfi if (const MachineFunction *MF = getMFIfAvailable(*this)) { 760399b46c9SPuyan Lotfi MRI = &MF->getRegInfo(); 761399b46c9SPuyan Lotfi } 762399b46c9SPuyan Lotfi } 763399b46c9SPuyan Lotfi 764399b46c9SPuyan Lotfi OS << printReg(Reg, TRI, 0, MRI); 765a8a83d15SFrancis Visoiu Mistrih // Print the sub register. 766a8a83d15SFrancis Visoiu Mistrih if (unsigned SubReg = getSubReg()) { 767a8a83d15SFrancis Visoiu Mistrih if (TRI) 768a8a83d15SFrancis Visoiu Mistrih OS << '.' << TRI->getSubRegIndexName(SubReg); 769a8a83d15SFrancis Visoiu Mistrih else 770a8a83d15SFrancis Visoiu Mistrih OS << ".subreg" << SubReg; 771aa739695SFrancis Visoiu Mistrih } 772a8a83d15SFrancis Visoiu Mistrih // Print the register class / bank. 773a8a83d15SFrancis Visoiu Mistrih if (TargetRegisterInfo::isVirtualRegister(Reg)) { 774567611efSFrancis Visoiu Mistrih if (const MachineFunction *MF = getMFIfAvailable(*this)) { 775a8a83d15SFrancis Visoiu Mistrih const MachineRegisterInfo &MRI = MF->getRegInfo(); 776eb3f76fcSFrancis Visoiu Mistrih if (IsStandalone || !PrintDef || MRI.def_empty(Reg)) { 777a8a83d15SFrancis Visoiu Mistrih OS << ':'; 778a8a83d15SFrancis Visoiu Mistrih OS << printRegClassOrBank(Reg, MRI, TRI); 779aa739695SFrancis Visoiu Mistrih } 780aa739695SFrancis Visoiu Mistrih } 781a8a83d15SFrancis Visoiu Mistrih } 782a8a83d15SFrancis Visoiu Mistrih // Print ties. 783a8a83d15SFrancis Visoiu Mistrih if (ShouldPrintRegisterTies && isTied() && !isDef()) 784a8a83d15SFrancis Visoiu Mistrih OS << "(tied-def " << TiedOperandIdx << ")"; 785a8a83d15SFrancis Visoiu Mistrih // Print types. 786a8a83d15SFrancis Visoiu Mistrih if (TypeToPrint.isValid()) 787a8a83d15SFrancis Visoiu Mistrih OS << '(' << TypeToPrint << ')'; 788aa739695SFrancis Visoiu Mistrih break; 789a8a83d15SFrancis Visoiu Mistrih } 790aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Immediate: 791aa739695SFrancis Visoiu Mistrih OS << getImm(); 792aa739695SFrancis Visoiu Mistrih break; 793aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_CImmediate: 7946c4ca713SFrancis Visoiu Mistrih getCImm()->printAsOperand(OS, /*PrintType=*/true, MST); 795aa739695SFrancis Visoiu Mistrih break; 796aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_FPImmediate: 7973b265c8fSFrancis Visoiu Mistrih getFPImm()->printAsOperand(OS, /*PrintType=*/true, MST); 798aa739695SFrancis Visoiu Mistrih break; 799aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_MachineBasicBlock: 80025528d6dSFrancis Visoiu Mistrih OS << printMBBReference(*getMBB()); 801aa739695SFrancis Visoiu Mistrih break; 8020b5bdceaSFrancis Visoiu Mistrih case MachineOperand::MO_FrameIndex: { 8030b5bdceaSFrancis Visoiu Mistrih int FrameIndex = getIndex(); 8040b5bdceaSFrancis Visoiu Mistrih bool IsFixed = false; 805e85b06d6SFrancis Visoiu Mistrih const MachineFrameInfo *MFI = nullptr; 806e85b06d6SFrancis Visoiu Mistrih if (const MachineFunction *MF = getMFIfAvailable(*this)) 807e85b06d6SFrancis Visoiu Mistrih MFI = &MF->getFrameInfo(); 808e85b06d6SFrancis Visoiu Mistrih printFrameIndex(OS, FrameIndex, IsFixed, MFI); 809aa739695SFrancis Visoiu Mistrih break; 8100b5bdceaSFrancis Visoiu Mistrih } 811aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_ConstantPoolIndex: 81226ae8a65SFrancis Visoiu Mistrih OS << "%const." << getIndex(); 81381226602SFrancis Visoiu Mistrih printOperandOffset(OS, getOffset()); 814aa739695SFrancis Visoiu Mistrih break; 815b3a0d513SFrancis Visoiu Mistrih case MachineOperand::MO_TargetIndex: { 816b3a0d513SFrancis Visoiu Mistrih OS << "target-index("; 817b3a0d513SFrancis Visoiu Mistrih const char *Name = "<unknown>"; 818b3a0d513SFrancis Visoiu Mistrih if (const MachineFunction *MF = getMFIfAvailable(*this)) 819b3a0d513SFrancis Visoiu Mistrih if (const auto *TargetIndexName = getTargetIndexName(*MF, getIndex())) 820b3a0d513SFrancis Visoiu Mistrih Name = TargetIndexName; 821b3a0d513SFrancis Visoiu Mistrih OS << Name << ')'; 82281226602SFrancis Visoiu Mistrih printOperandOffset(OS, getOffset()); 823aa739695SFrancis Visoiu Mistrih break; 824b3a0d513SFrancis Visoiu Mistrih } 825aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_JumpTableIndex: 826b41dbbe3SFrancis Visoiu Mistrih OS << printJumpTableEntryReference(getIndex()); 827aa739695SFrancis Visoiu Mistrih break; 828aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_GlobalAddress: 829aa739695SFrancis Visoiu Mistrih getGlobal()->printAsOperand(OS, /*PrintType=*/false, MST); 83081226602SFrancis Visoiu Mistrih printOperandOffset(OS, getOffset()); 831aa739695SFrancis Visoiu Mistrih break; 832e76c5fcdSFrancis Visoiu Mistrih case MachineOperand::MO_ExternalSymbol: { 833e76c5fcdSFrancis Visoiu Mistrih StringRef Name = getSymbolName(); 834fe6c9cbbSPuyan Lotfi OS << '&'; 835e76c5fcdSFrancis Visoiu Mistrih if (Name.empty()) { 836e76c5fcdSFrancis Visoiu Mistrih OS << "\"\""; 837e76c5fcdSFrancis Visoiu Mistrih } else { 838e76c5fcdSFrancis Visoiu Mistrih printLLVMNameWithoutPrefix(OS, Name); 839e76c5fcdSFrancis Visoiu Mistrih } 84081226602SFrancis Visoiu Mistrih printOperandOffset(OS, getOffset()); 841aa739695SFrancis Visoiu Mistrih break; 842e76c5fcdSFrancis Visoiu Mistrih } 843f81727d1SFrancis Visoiu Mistrih case MachineOperand::MO_BlockAddress: { 844f81727d1SFrancis Visoiu Mistrih OS << "blockaddress("; 845f81727d1SFrancis Visoiu Mistrih getBlockAddress()->getFunction()->printAsOperand(OS, /*PrintType=*/false, 846f81727d1SFrancis Visoiu Mistrih MST); 847f81727d1SFrancis Visoiu Mistrih OS << ", "; 848f81727d1SFrancis Visoiu Mistrih printIRBlockReference(OS, *getBlockAddress()->getBasicBlock(), MST); 849f81727d1SFrancis Visoiu Mistrih OS << ')'; 850f81727d1SFrancis Visoiu Mistrih MachineOperand::printOperandOffset(OS, getOffset()); 851aa739695SFrancis Visoiu Mistrih break; 852f81727d1SFrancis Visoiu Mistrih } 853aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_RegisterMask: { 854a8a83d15SFrancis Visoiu Mistrih OS << "<regmask"; 855a8a83d15SFrancis Visoiu Mistrih if (TRI) { 856aa739695SFrancis Visoiu Mistrih unsigned NumRegsInMask = 0; 857aa739695SFrancis Visoiu Mistrih unsigned NumRegsEmitted = 0; 858aa739695SFrancis Visoiu Mistrih for (unsigned i = 0; i < TRI->getNumRegs(); ++i) { 859aa739695SFrancis Visoiu Mistrih unsigned MaskWord = i / 32; 860aa739695SFrancis Visoiu Mistrih unsigned MaskBit = i % 32; 861aa739695SFrancis Visoiu Mistrih if (getRegMask()[MaskWord] & (1 << MaskBit)) { 862aa739695SFrancis Visoiu Mistrih if (PrintRegMaskNumRegs < 0 || 863aa739695SFrancis Visoiu Mistrih NumRegsEmitted <= static_cast<unsigned>(PrintRegMaskNumRegs)) { 864aa739695SFrancis Visoiu Mistrih OS << " " << printReg(i, TRI); 865aa739695SFrancis Visoiu Mistrih NumRegsEmitted++; 866aa739695SFrancis Visoiu Mistrih } 867aa739695SFrancis Visoiu Mistrih NumRegsInMask++; 868aa739695SFrancis Visoiu Mistrih } 869aa739695SFrancis Visoiu Mistrih } 870aa739695SFrancis Visoiu Mistrih if (NumRegsEmitted != NumRegsInMask) 871aa739695SFrancis Visoiu Mistrih OS << " and " << (NumRegsInMask - NumRegsEmitted) << " more..."; 872a8a83d15SFrancis Visoiu Mistrih } else { 873a8a83d15SFrancis Visoiu Mistrih OS << " ..."; 874a8a83d15SFrancis Visoiu Mistrih } 875aa739695SFrancis Visoiu Mistrih OS << ">"; 876aa739695SFrancis Visoiu Mistrih break; 877aa739695SFrancis Visoiu Mistrih } 878bdaf8bfaSFrancis Visoiu Mistrih case MachineOperand::MO_RegisterLiveOut: { 879bdaf8bfaSFrancis Visoiu Mistrih const uint32_t *RegMask = getRegLiveOut(); 880bdaf8bfaSFrancis Visoiu Mistrih OS << "liveout("; 881bdaf8bfaSFrancis Visoiu Mistrih if (!TRI) { 882bdaf8bfaSFrancis Visoiu Mistrih OS << "<unknown>"; 883bdaf8bfaSFrancis Visoiu Mistrih } else { 884bdaf8bfaSFrancis Visoiu Mistrih bool IsCommaNeeded = false; 885bdaf8bfaSFrancis Visoiu Mistrih for (unsigned Reg = 0, E = TRI->getNumRegs(); Reg < E; ++Reg) { 886bdaf8bfaSFrancis Visoiu Mistrih if (RegMask[Reg / 32] & (1U << (Reg % 32))) { 887bdaf8bfaSFrancis Visoiu Mistrih if (IsCommaNeeded) 888bdaf8bfaSFrancis Visoiu Mistrih OS << ", "; 889bdaf8bfaSFrancis Visoiu Mistrih OS << printReg(Reg, TRI); 890bdaf8bfaSFrancis Visoiu Mistrih IsCommaNeeded = true; 891bdaf8bfaSFrancis Visoiu Mistrih } 892bdaf8bfaSFrancis Visoiu Mistrih } 893bdaf8bfaSFrancis Visoiu Mistrih } 894bdaf8bfaSFrancis Visoiu Mistrih OS << ")"; 895aa739695SFrancis Visoiu Mistrih break; 896bdaf8bfaSFrancis Visoiu Mistrih } 897aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Metadata: 898aa739695SFrancis Visoiu Mistrih getMetadata()->printAsOperand(OS, MST); 899aa739695SFrancis Visoiu Mistrih break; 900aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_MCSymbol: 9015de20e03SFrancis Visoiu Mistrih printSymbol(OS, *getMCSymbol()); 902aa739695SFrancis Visoiu Mistrih break; 903874ae6faSFrancis Visoiu Mistrih case MachineOperand::MO_CFIIndex: { 904874ae6faSFrancis Visoiu Mistrih if (const MachineFunction *MF = getMFIfAvailable(*this)) 905874ae6faSFrancis Visoiu Mistrih printCFI(OS, MF->getFrameInstructions()[getCFIIndex()], TRI); 906874ae6faSFrancis Visoiu Mistrih else 907874ae6faSFrancis Visoiu Mistrih OS << "<cfi directive>"; 908aa739695SFrancis Visoiu Mistrih break; 909874ae6faSFrancis Visoiu Mistrih } 910aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_IntrinsicID: { 911aa739695SFrancis Visoiu Mistrih Intrinsic::ID ID = getIntrinsicID(); 912aa739695SFrancis Visoiu Mistrih if (ID < Intrinsic::num_intrinsics) 913bbd610aeSFrancis Visoiu Mistrih OS << "intrinsic(@" << Intrinsic::getName(ID, None) << ')'; 914aa739695SFrancis Visoiu Mistrih else if (IntrinsicInfo) 915bbd610aeSFrancis Visoiu Mistrih OS << "intrinsic(@" << IntrinsicInfo->getName(ID) << ')'; 916aa739695SFrancis Visoiu Mistrih else 917bbd610aeSFrancis Visoiu Mistrih OS << "intrinsic(" << ID << ')'; 918aa739695SFrancis Visoiu Mistrih break; 919aa739695SFrancis Visoiu Mistrih } 920aa739695SFrancis Visoiu Mistrih case MachineOperand::MO_Predicate: { 921aa739695SFrancis Visoiu Mistrih auto Pred = static_cast<CmpInst::Predicate>(getPredicate()); 922cb2683d4SFrancis Visoiu Mistrih OS << (CmpInst::isIntPredicate(Pred) ? "int" : "float") << "pred(" 923cb2683d4SFrancis Visoiu Mistrih << CmpInst::getPredicateName(Pred) << ')'; 924aa739695SFrancis Visoiu Mistrih break; 925aa739695SFrancis Visoiu Mistrih } 926aa739695SFrancis Visoiu Mistrih } 927aa739695SFrancis Visoiu Mistrih } 928aa739695SFrancis Visoiu Mistrih 929aa739695SFrancis Visoiu Mistrih #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 930aa739695SFrancis Visoiu Mistrih LLVM_DUMP_METHOD void MachineOperand::dump() const { dbgs() << *this << '\n'; } 931aa739695SFrancis Visoiu Mistrih #endif 932aa739695SFrancis Visoiu Mistrih 933aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===// 934aa739695SFrancis Visoiu Mistrih // MachineMemOperand Implementation 935aa739695SFrancis Visoiu Mistrih //===----------------------------------------------------------------------===// 936aa739695SFrancis Visoiu Mistrih 937aa739695SFrancis Visoiu Mistrih /// getAddrSpace - Return the LLVM IR address space number that this pointer 938aa739695SFrancis Visoiu Mistrih /// points into. 93949477040SYaxun Liu unsigned MachinePointerInfo::getAddrSpace() const { return AddrSpace; } 940aa739695SFrancis Visoiu Mistrih 941aa739695SFrancis Visoiu Mistrih /// isDereferenceable - Return true if V is always dereferenceable for 942aa739695SFrancis Visoiu Mistrih /// Offset + Size byte. 943aa739695SFrancis Visoiu Mistrih bool MachinePointerInfo::isDereferenceable(unsigned Size, LLVMContext &C, 944aa739695SFrancis Visoiu Mistrih const DataLayout &DL) const { 945aa739695SFrancis Visoiu Mistrih if (!V.is<const Value *>()) 946aa739695SFrancis Visoiu Mistrih return false; 947aa739695SFrancis Visoiu Mistrih 948aa739695SFrancis Visoiu Mistrih const Value *BasePtr = V.get<const Value *>(); 949aa739695SFrancis Visoiu Mistrih if (BasePtr == nullptr) 950aa739695SFrancis Visoiu Mistrih return false; 951aa739695SFrancis Visoiu Mistrih 952aa739695SFrancis Visoiu Mistrih return isDereferenceableAndAlignedPointer( 953aa739695SFrancis Visoiu Mistrih BasePtr, 1, APInt(DL.getPointerSizeInBits(), Offset + Size), DL); 954aa739695SFrancis Visoiu Mistrih } 955aa739695SFrancis Visoiu Mistrih 956aa739695SFrancis Visoiu Mistrih /// getConstantPool - Return a MachinePointerInfo record that refers to the 957aa739695SFrancis Visoiu Mistrih /// constant pool. 958aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getConstantPool(MachineFunction &MF) { 959aa739695SFrancis Visoiu Mistrih return MachinePointerInfo(MF.getPSVManager().getConstantPool()); 960aa739695SFrancis Visoiu Mistrih } 961aa739695SFrancis Visoiu Mistrih 962aa739695SFrancis Visoiu Mistrih /// getFixedStack - Return a MachinePointerInfo record that refers to the 963aa739695SFrancis Visoiu Mistrih /// the specified FrameIndex. 964aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getFixedStack(MachineFunction &MF, 965aa739695SFrancis Visoiu Mistrih int FI, int64_t Offset) { 966aa739695SFrancis Visoiu Mistrih return MachinePointerInfo(MF.getPSVManager().getFixedStack(FI), Offset); 967aa739695SFrancis Visoiu Mistrih } 968aa739695SFrancis Visoiu Mistrih 969aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getJumpTable(MachineFunction &MF) { 970aa739695SFrancis Visoiu Mistrih return MachinePointerInfo(MF.getPSVManager().getJumpTable()); 971aa739695SFrancis Visoiu Mistrih } 972aa739695SFrancis Visoiu Mistrih 973aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getGOT(MachineFunction &MF) { 974aa739695SFrancis Visoiu Mistrih return MachinePointerInfo(MF.getPSVManager().getGOT()); 975aa739695SFrancis Visoiu Mistrih } 976aa739695SFrancis Visoiu Mistrih 977aa739695SFrancis Visoiu Mistrih MachinePointerInfo MachinePointerInfo::getStack(MachineFunction &MF, 978aa739695SFrancis Visoiu Mistrih int64_t Offset, uint8_t ID) { 979aa739695SFrancis Visoiu Mistrih return MachinePointerInfo(MF.getPSVManager().getStack(), Offset, ID); 980aa739695SFrancis Visoiu Mistrih } 981aa739695SFrancis Visoiu Mistrih 98249477040SYaxun Liu MachinePointerInfo MachinePointerInfo::getUnknownStack(MachineFunction &MF) { 98349477040SYaxun Liu return MachinePointerInfo(MF.getDataLayout().getAllocaAddrSpace()); 98449477040SYaxun Liu } 98549477040SYaxun Liu 986aa739695SFrancis Visoiu Mistrih MachineMemOperand::MachineMemOperand(MachinePointerInfo ptrinfo, Flags f, 987c01efe69SDaniel Sanders uint64_t s, uint64_t a, 988aa739695SFrancis Visoiu Mistrih const AAMDNodes &AAInfo, 989aa739695SFrancis Visoiu Mistrih const MDNode *Ranges, SyncScope::ID SSID, 990aa739695SFrancis Visoiu Mistrih AtomicOrdering Ordering, 991aa739695SFrancis Visoiu Mistrih AtomicOrdering FailureOrdering) 992aa739695SFrancis Visoiu Mistrih : PtrInfo(ptrinfo), Size(s), FlagVals(f), BaseAlignLog2(Log2_32(a) + 1), 993aa739695SFrancis Visoiu Mistrih AAInfo(AAInfo), Ranges(Ranges) { 994aa739695SFrancis Visoiu Mistrih assert((PtrInfo.V.isNull() || PtrInfo.V.is<const PseudoSourceValue *>() || 995aa739695SFrancis Visoiu Mistrih isa<PointerType>(PtrInfo.V.get<const Value *>()->getType())) && 996aa739695SFrancis Visoiu Mistrih "invalid pointer value"); 9972a64598eSMatt Arsenault assert(getBaseAlignment() == a && a != 0 && "Alignment is not a power of 2!"); 998aa739695SFrancis Visoiu Mistrih assert((isLoad() || isStore()) && "Not a load/store!"); 999aa739695SFrancis Visoiu Mistrih 1000aa739695SFrancis Visoiu Mistrih AtomicInfo.SSID = static_cast<unsigned>(SSID); 1001aa739695SFrancis Visoiu Mistrih assert(getSyncScopeID() == SSID && "Value truncated"); 1002aa739695SFrancis Visoiu Mistrih AtomicInfo.Ordering = static_cast<unsigned>(Ordering); 1003aa739695SFrancis Visoiu Mistrih assert(getOrdering() == Ordering && "Value truncated"); 1004aa739695SFrancis Visoiu Mistrih AtomicInfo.FailureOrdering = static_cast<unsigned>(FailureOrdering); 1005aa739695SFrancis Visoiu Mistrih assert(getFailureOrdering() == FailureOrdering && "Value truncated"); 1006aa739695SFrancis Visoiu Mistrih } 1007aa739695SFrancis Visoiu Mistrih 1008aa739695SFrancis Visoiu Mistrih /// Profile - Gather unique data for the object. 1009aa739695SFrancis Visoiu Mistrih /// 1010aa739695SFrancis Visoiu Mistrih void MachineMemOperand::Profile(FoldingSetNodeID &ID) const { 1011aa739695SFrancis Visoiu Mistrih ID.AddInteger(getOffset()); 1012aa739695SFrancis Visoiu Mistrih ID.AddInteger(Size); 1013aa739695SFrancis Visoiu Mistrih ID.AddPointer(getOpaqueValue()); 1014aa739695SFrancis Visoiu Mistrih ID.AddInteger(getFlags()); 1015aa739695SFrancis Visoiu Mistrih ID.AddInteger(getBaseAlignment()); 1016aa739695SFrancis Visoiu Mistrih } 1017aa739695SFrancis Visoiu Mistrih 1018aa739695SFrancis Visoiu Mistrih void MachineMemOperand::refineAlignment(const MachineMemOperand *MMO) { 1019aa739695SFrancis Visoiu Mistrih // The Value and Offset may differ due to CSE. But the flags and size 1020aa739695SFrancis Visoiu Mistrih // should be the same. 1021aa739695SFrancis Visoiu Mistrih assert(MMO->getFlags() == getFlags() && "Flags mismatch!"); 1022aa739695SFrancis Visoiu Mistrih assert(MMO->getSize() == getSize() && "Size mismatch!"); 1023aa739695SFrancis Visoiu Mistrih 1024aa739695SFrancis Visoiu Mistrih if (MMO->getBaseAlignment() >= getBaseAlignment()) { 1025aa739695SFrancis Visoiu Mistrih // Update the alignment value. 1026aa739695SFrancis Visoiu Mistrih BaseAlignLog2 = Log2_32(MMO->getBaseAlignment()) + 1; 1027aa739695SFrancis Visoiu Mistrih // Also update the base and offset, because the new alignment may 1028aa739695SFrancis Visoiu Mistrih // not be applicable with the old ones. 1029aa739695SFrancis Visoiu Mistrih PtrInfo = MMO->PtrInfo; 1030aa739695SFrancis Visoiu Mistrih } 1031aa739695SFrancis Visoiu Mistrih } 1032aa739695SFrancis Visoiu Mistrih 1033aa739695SFrancis Visoiu Mistrih /// getAlignment - Return the minimum known alignment in bytes of the 1034aa739695SFrancis Visoiu Mistrih /// actual memory reference. 1035aa739695SFrancis Visoiu Mistrih uint64_t MachineMemOperand::getAlignment() const { 1036aa739695SFrancis Visoiu Mistrih return MinAlign(getBaseAlignment(), getOffset()); 1037aa739695SFrancis Visoiu Mistrih } 1038aa739695SFrancis Visoiu Mistrih 1039aa739695SFrancis Visoiu Mistrih void MachineMemOperand::print(raw_ostream &OS) const { 1040aa739695SFrancis Visoiu Mistrih ModuleSlotTracker DummyMST(nullptr); 1041aa739695SFrancis Visoiu Mistrih print(OS, DummyMST); 1042aa739695SFrancis Visoiu Mistrih } 1043e85b06d6SFrancis Visoiu Mistrih 1044aa739695SFrancis Visoiu Mistrih void MachineMemOperand::print(raw_ostream &OS, ModuleSlotTracker &MST) const { 1045e85b06d6SFrancis Visoiu Mistrih SmallVector<StringRef, 0> SSNs; 1046e85b06d6SFrancis Visoiu Mistrih LLVMContext Ctx; 1047e85b06d6SFrancis Visoiu Mistrih print(OS, MST, SSNs, Ctx, nullptr, nullptr); 1048e85b06d6SFrancis Visoiu Mistrih } 1049aa739695SFrancis Visoiu Mistrih 1050e85b06d6SFrancis Visoiu Mistrih void MachineMemOperand::print(raw_ostream &OS, ModuleSlotTracker &MST, 1051e85b06d6SFrancis Visoiu Mistrih SmallVectorImpl<StringRef> &SSNs, 1052e85b06d6SFrancis Visoiu Mistrih const LLVMContext &Context, 1053e85b06d6SFrancis Visoiu Mistrih const MachineFrameInfo *MFI, 1054e85b06d6SFrancis Visoiu Mistrih const TargetInstrInfo *TII) const { 1055e85b06d6SFrancis Visoiu Mistrih OS << '('; 1056aa739695SFrancis Visoiu Mistrih if (isVolatile()) 1057e85b06d6SFrancis Visoiu Mistrih OS << "volatile "; 1058e85b06d6SFrancis Visoiu Mistrih if (isNonTemporal()) 1059e85b06d6SFrancis Visoiu Mistrih OS << "non-temporal "; 1060e85b06d6SFrancis Visoiu Mistrih if (isDereferenceable()) 1061e85b06d6SFrancis Visoiu Mistrih OS << "dereferenceable "; 1062e85b06d6SFrancis Visoiu Mistrih if (isInvariant()) 1063e85b06d6SFrancis Visoiu Mistrih OS << "invariant "; 1064e85b06d6SFrancis Visoiu Mistrih if (getFlags() & MachineMemOperand::MOTargetFlag1) 1065e85b06d6SFrancis Visoiu Mistrih OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag1) 1066e85b06d6SFrancis Visoiu Mistrih << "\" "; 1067e85b06d6SFrancis Visoiu Mistrih if (getFlags() & MachineMemOperand::MOTargetFlag2) 1068e85b06d6SFrancis Visoiu Mistrih OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag2) 1069e85b06d6SFrancis Visoiu Mistrih << "\" "; 1070e85b06d6SFrancis Visoiu Mistrih if (getFlags() & MachineMemOperand::MOTargetFlag3) 1071e85b06d6SFrancis Visoiu Mistrih OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag3) 1072e85b06d6SFrancis Visoiu Mistrih << "\" "; 1073aa739695SFrancis Visoiu Mistrih 1074e85b06d6SFrancis Visoiu Mistrih assert((isLoad() || isStore()) && 1075e85b06d6SFrancis Visoiu Mistrih "machine memory operand must be a load or store (or both)"); 1076aa739695SFrancis Visoiu Mistrih if (isLoad()) 1077e85b06d6SFrancis Visoiu Mistrih OS << "load "; 1078aa739695SFrancis Visoiu Mistrih if (isStore()) 1079e85b06d6SFrancis Visoiu Mistrih OS << "store "; 1080e85b06d6SFrancis Visoiu Mistrih 1081e85b06d6SFrancis Visoiu Mistrih printSyncScope(OS, Context, getSyncScopeID(), SSNs); 1082e85b06d6SFrancis Visoiu Mistrih 1083e85b06d6SFrancis Visoiu Mistrih if (getOrdering() != AtomicOrdering::NotAtomic) 1084e85b06d6SFrancis Visoiu Mistrih OS << toIRString(getOrdering()) << ' '; 1085e85b06d6SFrancis Visoiu Mistrih if (getFailureOrdering() != AtomicOrdering::NotAtomic) 1086e85b06d6SFrancis Visoiu Mistrih OS << toIRString(getFailureOrdering()) << ' '; 1087e85b06d6SFrancis Visoiu Mistrih 1088cc3f6302SKrzysztof Parzyszek if (getSize() == MemoryLocation::UnknownSize) 1089cc3f6302SKrzysztof Parzyszek OS << "unknown-size"; 1090cc3f6302SKrzysztof Parzyszek else 1091aa739695SFrancis Visoiu Mistrih OS << getSize(); 1092cc3f6302SKrzysztof Parzyszek 1093e85b06d6SFrancis Visoiu Mistrih if (const Value *Val = getValue()) { 1094e85b06d6SFrancis Visoiu Mistrih OS << ((isLoad() && isStore()) ? " on " : isLoad() ? " from " : " into "); 1095e85b06d6SFrancis Visoiu Mistrih printIRValueReference(OS, *Val, MST); 1096e85b06d6SFrancis Visoiu Mistrih } else if (const PseudoSourceValue *PVal = getPseudoValue()) { 1097e85b06d6SFrancis Visoiu Mistrih OS << ((isLoad() && isStore()) ? " on " : isLoad() ? " from " : " into "); 1098e85b06d6SFrancis Visoiu Mistrih assert(PVal && "Expected a pseudo source value"); 1099e85b06d6SFrancis Visoiu Mistrih switch (PVal->kind()) { 1100e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::Stack: 1101e85b06d6SFrancis Visoiu Mistrih OS << "stack"; 1102e85b06d6SFrancis Visoiu Mistrih break; 1103e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::GOT: 1104e85b06d6SFrancis Visoiu Mistrih OS << "got"; 1105e85b06d6SFrancis Visoiu Mistrih break; 1106e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::JumpTable: 1107e85b06d6SFrancis Visoiu Mistrih OS << "jump-table"; 1108e85b06d6SFrancis Visoiu Mistrih break; 1109e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::ConstantPool: 1110e85b06d6SFrancis Visoiu Mistrih OS << "constant-pool"; 1111e85b06d6SFrancis Visoiu Mistrih break; 1112e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::FixedStack: { 1113e85b06d6SFrancis Visoiu Mistrih int FrameIndex = cast<FixedStackPseudoSourceValue>(PVal)->getFrameIndex(); 1114e85b06d6SFrancis Visoiu Mistrih bool IsFixed = true; 1115e85b06d6SFrancis Visoiu Mistrih printFrameIndex(OS, FrameIndex, IsFixed, MFI); 1116e85b06d6SFrancis Visoiu Mistrih break; 1117aa739695SFrancis Visoiu Mistrih } 1118e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::GlobalValueCallEntry: 1119e85b06d6SFrancis Visoiu Mistrih OS << "call-entry "; 1120e85b06d6SFrancis Visoiu Mistrih cast<GlobalValuePseudoSourceValue>(PVal)->getValue()->printAsOperand( 1121e85b06d6SFrancis Visoiu Mistrih OS, /*PrintType=*/false, MST); 1122e85b06d6SFrancis Visoiu Mistrih break; 1123e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::ExternalSymbolCallEntry: 1124e85b06d6SFrancis Visoiu Mistrih OS << "call-entry &"; 1125e85b06d6SFrancis Visoiu Mistrih printLLVMNameWithoutPrefix( 1126e85b06d6SFrancis Visoiu Mistrih OS, cast<ExternalSymbolPseudoSourceValue>(PVal)->getSymbol()); 1127e85b06d6SFrancis Visoiu Mistrih break; 1128e85b06d6SFrancis Visoiu Mistrih case PseudoSourceValue::TargetCustom: 11294db09604STim Renouf // FIXME: This is not necessarily the correct MIR serialization format for 11304db09604STim Renouf // a custom pseudo source value, but at least it allows 11314db09604STim Renouf // -print-machineinstrs to work on a target with custom pseudo source 11324db09604STim Renouf // values. 11334db09604STim Renouf OS << "custom "; 11344db09604STim Renouf PVal->printCustom(OS); 1135e85b06d6SFrancis Visoiu Mistrih break; 1136aa739695SFrancis Visoiu Mistrih } 1137aa739695SFrancis Visoiu Mistrih } 1138e85b06d6SFrancis Visoiu Mistrih MachineOperand::printOperandOffset(OS, getOffset()); 1139e85b06d6SFrancis Visoiu Mistrih if (getBaseAlignment() != getSize()) 1140e85b06d6SFrancis Visoiu Mistrih OS << ", align " << getBaseAlignment(); 1141e85b06d6SFrancis Visoiu Mistrih auto AAInfo = getAAInfo(); 1142e85b06d6SFrancis Visoiu Mistrih if (AAInfo.TBAA) { 1143e85b06d6SFrancis Visoiu Mistrih OS << ", !tbaa "; 1144e85b06d6SFrancis Visoiu Mistrih AAInfo.TBAA->printAsOperand(OS, MST); 1145aa739695SFrancis Visoiu Mistrih } 1146e85b06d6SFrancis Visoiu Mistrih if (AAInfo.Scope) { 1147e85b06d6SFrancis Visoiu Mistrih OS << ", !alias.scope "; 1148e85b06d6SFrancis Visoiu Mistrih AAInfo.Scope->printAsOperand(OS, MST); 1149aa739695SFrancis Visoiu Mistrih } 1150e85b06d6SFrancis Visoiu Mistrih if (AAInfo.NoAlias) { 1151e85b06d6SFrancis Visoiu Mistrih OS << ", !noalias "; 1152e85b06d6SFrancis Visoiu Mistrih AAInfo.NoAlias->printAsOperand(OS, MST); 1153aa739695SFrancis Visoiu Mistrih } 1154e85b06d6SFrancis Visoiu Mistrih if (getRanges()) { 1155e85b06d6SFrancis Visoiu Mistrih OS << ", !range "; 1156e85b06d6SFrancis Visoiu Mistrih getRanges()->printAsOperand(OS, MST); 1157e85b06d6SFrancis Visoiu Mistrih } 1158e85b06d6SFrancis Visoiu Mistrih // FIXME: Implement addrspace printing/parsing in MIR. 1159e85b06d6SFrancis Visoiu Mistrih // For now, print this even though parsing it is not available in MIR. 1160e85b06d6SFrancis Visoiu Mistrih if (unsigned AS = getAddrSpace()) 1161e85b06d6SFrancis Visoiu Mistrih OS << ", addrspace " << AS; 1162aa739695SFrancis Visoiu Mistrih 1163aa739695SFrancis Visoiu Mistrih OS << ')'; 1164aa739695SFrancis Visoiu Mistrih } 1165