1 //===- lib/CodeGen/MachineOperand.cpp -------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 /// \file Methods common to all machine operands. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "llvm/CodeGen/MachineOperand.h" 14 #include "llvm/ADT/FoldingSet.h" 15 #include "llvm/ADT/StringExtras.h" 16 #include "llvm/Analysis/Loads.h" 17 #include "llvm/Analysis/MemoryLocation.h" 18 #include "llvm/CodeGen/MIRFormatter.h" 19 #include "llvm/CodeGen/MIRPrinter.h" 20 #include "llvm/CodeGen/MachineFrameInfo.h" 21 #include "llvm/CodeGen/MachineJumpTableInfo.h" 22 #include "llvm/CodeGen/MachineRegisterInfo.h" 23 #include "llvm/CodeGen/TargetInstrInfo.h" 24 #include "llvm/CodeGen/TargetRegisterInfo.h" 25 #include "llvm/Config/llvm-config.h" 26 #include "llvm/IR/Constants.h" 27 #include "llvm/IR/IRPrintingPasses.h" 28 #include "llvm/IR/Instructions.h" 29 #include "llvm/IR/ModuleSlotTracker.h" 30 #include "llvm/MC/MCDwarf.h" 31 #include "llvm/Target/TargetIntrinsicInfo.h" 32 #include "llvm/Target/TargetMachine.h" 33 34 using namespace llvm; 35 36 static cl::opt<int> 37 PrintRegMaskNumRegs("print-regmask-num-regs", 38 cl::desc("Number of registers to limit to when " 39 "printing regmask operands in IR dumps. " 40 "unlimited = -1"), 41 cl::init(32), cl::Hidden); 42 43 static const MachineFunction *getMFIfAvailable(const MachineOperand &MO) { 44 if (const MachineInstr *MI = MO.getParent()) 45 if (const MachineBasicBlock *MBB = MI->getParent()) 46 if (const MachineFunction *MF = MBB->getParent()) 47 return MF; 48 return nullptr; 49 } 50 static MachineFunction *getMFIfAvailable(MachineOperand &MO) { 51 return const_cast<MachineFunction *>( 52 getMFIfAvailable(const_cast<const MachineOperand &>(MO))); 53 } 54 55 void MachineOperand::setReg(Register Reg) { 56 if (getReg() == Reg) 57 return; // No change. 58 59 // Clear the IsRenamable bit to keep it conservatively correct. 60 IsRenamable = false; 61 62 // Otherwise, we have to change the register. If this operand is embedded 63 // into a machine function, we need to update the old and new register's 64 // use/def lists. 65 if (MachineFunction *MF = getMFIfAvailable(*this)) { 66 MachineRegisterInfo &MRI = MF->getRegInfo(); 67 MRI.removeRegOperandFromUseList(this); 68 SmallContents.RegNo = Reg; 69 MRI.addRegOperandToUseList(this); 70 return; 71 } 72 73 // Otherwise, just change the register, no problem. :) 74 SmallContents.RegNo = Reg; 75 } 76 77 void MachineOperand::substVirtReg(Register Reg, unsigned SubIdx, 78 const TargetRegisterInfo &TRI) { 79 assert(Reg.isVirtual()); 80 if (SubIdx && getSubReg()) 81 SubIdx = TRI.composeSubRegIndices(SubIdx, getSubReg()); 82 setReg(Reg); 83 if (SubIdx) 84 setSubReg(SubIdx); 85 } 86 87 void MachineOperand::substPhysReg(MCRegister Reg, const TargetRegisterInfo &TRI) { 88 assert(Register::isPhysicalRegister(Reg)); 89 if (getSubReg()) { 90 Reg = TRI.getSubReg(Reg, getSubReg()); 91 // Note that getSubReg() may return 0 if the sub-register doesn't exist. 92 // That won't happen in legal code. 93 setSubReg(0); 94 if (isDef()) 95 setIsUndef(false); 96 } 97 setReg(Reg); 98 } 99 100 /// Change a def to a use, or a use to a def. 101 void MachineOperand::setIsDef(bool Val) { 102 assert(isReg() && "Wrong MachineOperand accessor"); 103 assert((!Val || !isDebug()) && "Marking a debug operation as def"); 104 if (IsDef == Val) 105 return; 106 assert(!IsDeadOrKill && "Changing def/use with dead/kill set not supported"); 107 // MRI may keep uses and defs in different list positions. 108 if (MachineFunction *MF = getMFIfAvailable(*this)) { 109 MachineRegisterInfo &MRI = MF->getRegInfo(); 110 MRI.removeRegOperandFromUseList(this); 111 IsDef = Val; 112 MRI.addRegOperandToUseList(this); 113 return; 114 } 115 IsDef = Val; 116 } 117 118 bool MachineOperand::isRenamable() const { 119 assert(isReg() && "Wrong MachineOperand accessor"); 120 assert(Register::isPhysicalRegister(getReg()) && 121 "isRenamable should only be checked on physical registers"); 122 if (!IsRenamable) 123 return false; 124 125 const MachineInstr *MI = getParent(); 126 if (!MI) 127 return true; 128 129 if (isDef()) 130 return !MI->hasExtraDefRegAllocReq(MachineInstr::IgnoreBundle); 131 132 assert(isUse() && "Reg is not def or use"); 133 return !MI->hasExtraSrcRegAllocReq(MachineInstr::IgnoreBundle); 134 } 135 136 void MachineOperand::setIsRenamable(bool Val) { 137 assert(isReg() && "Wrong MachineOperand accessor"); 138 assert(Register::isPhysicalRegister(getReg()) && 139 "setIsRenamable should only be called on physical registers"); 140 IsRenamable = Val; 141 } 142 143 // If this operand is currently a register operand, and if this is in a 144 // function, deregister the operand from the register's use/def list. 145 void MachineOperand::removeRegFromUses() { 146 if (!isReg() || !isOnRegUseList()) 147 return; 148 149 if (MachineFunction *MF = getMFIfAvailable(*this)) 150 MF->getRegInfo().removeRegOperandFromUseList(this); 151 } 152 153 /// ChangeToImmediate - Replace this operand with a new immediate operand of 154 /// the specified value. If an operand is known to be an immediate already, 155 /// the setImm method should be used. 156 void MachineOperand::ChangeToImmediate(int64_t ImmVal, unsigned TargetFlags) { 157 assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm"); 158 159 removeRegFromUses(); 160 161 OpKind = MO_Immediate; 162 Contents.ImmVal = ImmVal; 163 setTargetFlags(TargetFlags); 164 } 165 166 void MachineOperand::ChangeToFPImmediate(const ConstantFP *FPImm, 167 unsigned TargetFlags) { 168 assert((!isReg() || !isTied()) && "Cannot change a tied operand into an imm"); 169 170 removeRegFromUses(); 171 172 OpKind = MO_FPImmediate; 173 Contents.CFP = FPImm; 174 setTargetFlags(TargetFlags); 175 } 176 177 void MachineOperand::ChangeToES(const char *SymName, 178 unsigned TargetFlags) { 179 assert((!isReg() || !isTied()) && 180 "Cannot change a tied operand into an external symbol"); 181 182 removeRegFromUses(); 183 184 OpKind = MO_ExternalSymbol; 185 Contents.OffsetedInfo.Val.SymbolName = SymName; 186 setOffset(0); // Offset is always 0. 187 setTargetFlags(TargetFlags); 188 } 189 190 void MachineOperand::ChangeToGA(const GlobalValue *GV, int64_t Offset, 191 unsigned TargetFlags) { 192 assert((!isReg() || !isTied()) && 193 "Cannot change a tied operand into a global address"); 194 195 removeRegFromUses(); 196 197 OpKind = MO_GlobalAddress; 198 Contents.OffsetedInfo.Val.GV = GV; 199 setOffset(Offset); 200 setTargetFlags(TargetFlags); 201 } 202 203 void MachineOperand::ChangeToMCSymbol(MCSymbol *Sym, unsigned TargetFlags) { 204 assert((!isReg() || !isTied()) && 205 "Cannot change a tied operand into an MCSymbol"); 206 207 removeRegFromUses(); 208 209 OpKind = MO_MCSymbol; 210 Contents.Sym = Sym; 211 setTargetFlags(TargetFlags); 212 } 213 214 void MachineOperand::ChangeToFrameIndex(int Idx, unsigned TargetFlags) { 215 assert((!isReg() || !isTied()) && 216 "Cannot change a tied operand into a FrameIndex"); 217 218 removeRegFromUses(); 219 220 OpKind = MO_FrameIndex; 221 setIndex(Idx); 222 setTargetFlags(TargetFlags); 223 } 224 225 void MachineOperand::ChangeToTargetIndex(unsigned Idx, int64_t Offset, 226 unsigned TargetFlags) { 227 assert((!isReg() || !isTied()) && 228 "Cannot change a tied operand into a FrameIndex"); 229 230 removeRegFromUses(); 231 232 OpKind = MO_TargetIndex; 233 setIndex(Idx); 234 setOffset(Offset); 235 setTargetFlags(TargetFlags); 236 } 237 238 /// ChangeToRegister - Replace this operand with a new register operand of 239 /// the specified value. If an operand is known to be an register already, 240 /// the setReg method should be used. 241 void MachineOperand::ChangeToRegister(Register Reg, bool isDef, bool isImp, 242 bool isKill, bool isDead, bool isUndef, 243 bool isDebug) { 244 MachineRegisterInfo *RegInfo = nullptr; 245 if (MachineFunction *MF = getMFIfAvailable(*this)) 246 RegInfo = &MF->getRegInfo(); 247 // If this operand is already a register operand, remove it from the 248 // register's use/def lists. 249 bool WasReg = isReg(); 250 if (RegInfo && WasReg) 251 RegInfo->removeRegOperandFromUseList(this); 252 253 // Change this to a register and set the reg#. 254 assert(!(isDead && !isDef) && "Dead flag on non-def"); 255 assert(!(isKill && isDef) && "Kill flag on def"); 256 OpKind = MO_Register; 257 SmallContents.RegNo = Reg; 258 SubReg_TargetFlags = 0; 259 IsDef = isDef; 260 IsImp = isImp; 261 IsDeadOrKill = isKill | isDead; 262 IsRenamable = false; 263 IsUndef = isUndef; 264 IsInternalRead = false; 265 IsEarlyClobber = false; 266 IsDebug = isDebug; 267 // Ensure isOnRegUseList() returns false. 268 Contents.Reg.Prev = nullptr; 269 // Preserve the tie when the operand was already a register. 270 if (!WasReg) 271 TiedTo = 0; 272 273 // If this operand is embedded in a function, add the operand to the 274 // register's use/def list. 275 if (RegInfo) 276 RegInfo->addRegOperandToUseList(this); 277 } 278 279 /// isIdenticalTo - Return true if this operand is identical to the specified 280 /// operand. Note that this should stay in sync with the hash_value overload 281 /// below. 282 bool MachineOperand::isIdenticalTo(const MachineOperand &Other) const { 283 if (getType() != Other.getType() || 284 getTargetFlags() != Other.getTargetFlags()) 285 return false; 286 287 switch (getType()) { 288 case MachineOperand::MO_Register: 289 return getReg() == Other.getReg() && isDef() == Other.isDef() && 290 getSubReg() == Other.getSubReg(); 291 case MachineOperand::MO_Immediate: 292 return getImm() == Other.getImm(); 293 case MachineOperand::MO_CImmediate: 294 return getCImm() == Other.getCImm(); 295 case MachineOperand::MO_FPImmediate: 296 return getFPImm() == Other.getFPImm(); 297 case MachineOperand::MO_MachineBasicBlock: 298 return getMBB() == Other.getMBB(); 299 case MachineOperand::MO_FrameIndex: 300 return getIndex() == Other.getIndex(); 301 case MachineOperand::MO_ConstantPoolIndex: 302 case MachineOperand::MO_TargetIndex: 303 return getIndex() == Other.getIndex() && getOffset() == Other.getOffset(); 304 case MachineOperand::MO_JumpTableIndex: 305 return getIndex() == Other.getIndex(); 306 case MachineOperand::MO_GlobalAddress: 307 return getGlobal() == Other.getGlobal() && getOffset() == Other.getOffset(); 308 case MachineOperand::MO_ExternalSymbol: 309 return strcmp(getSymbolName(), Other.getSymbolName()) == 0 && 310 getOffset() == Other.getOffset(); 311 case MachineOperand::MO_BlockAddress: 312 return getBlockAddress() == Other.getBlockAddress() && 313 getOffset() == Other.getOffset(); 314 case MachineOperand::MO_RegisterMask: 315 case MachineOperand::MO_RegisterLiveOut: { 316 // Shallow compare of the two RegMasks 317 const uint32_t *RegMask = getRegMask(); 318 const uint32_t *OtherRegMask = Other.getRegMask(); 319 if (RegMask == OtherRegMask) 320 return true; 321 322 if (const MachineFunction *MF = getMFIfAvailable(*this)) { 323 // Calculate the size of the RegMask 324 const TargetRegisterInfo *TRI = MF->getSubtarget().getRegisterInfo(); 325 unsigned RegMaskSize = (TRI->getNumRegs() + 31) / 32; 326 327 // Deep compare of the two RegMasks 328 return std::equal(RegMask, RegMask + RegMaskSize, OtherRegMask); 329 } 330 // We don't know the size of the RegMask, so we can't deep compare the two 331 // reg masks. 332 return false; 333 } 334 case MachineOperand::MO_MCSymbol: 335 return getMCSymbol() == Other.getMCSymbol(); 336 case MachineOperand::MO_CFIIndex: 337 return getCFIIndex() == Other.getCFIIndex(); 338 case MachineOperand::MO_Metadata: 339 return getMetadata() == Other.getMetadata(); 340 case MachineOperand::MO_IntrinsicID: 341 return getIntrinsicID() == Other.getIntrinsicID(); 342 case MachineOperand::MO_Predicate: 343 return getPredicate() == Other.getPredicate(); 344 case MachineOperand::MO_ShuffleMask: 345 return getShuffleMask() == Other.getShuffleMask(); 346 } 347 llvm_unreachable("Invalid machine operand type"); 348 } 349 350 // Note: this must stay exactly in sync with isIdenticalTo above. 351 hash_code llvm::hash_value(const MachineOperand &MO) { 352 switch (MO.getType()) { 353 case MachineOperand::MO_Register: 354 // Register operands don't have target flags. 355 return hash_combine(MO.getType(), (unsigned)MO.getReg(), MO.getSubReg(), MO.isDef()); 356 case MachineOperand::MO_Immediate: 357 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getImm()); 358 case MachineOperand::MO_CImmediate: 359 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCImm()); 360 case MachineOperand::MO_FPImmediate: 361 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getFPImm()); 362 case MachineOperand::MO_MachineBasicBlock: 363 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMBB()); 364 case MachineOperand::MO_FrameIndex: 365 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex()); 366 case MachineOperand::MO_ConstantPoolIndex: 367 case MachineOperand::MO_TargetIndex: 368 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex(), 369 MO.getOffset()); 370 case MachineOperand::MO_JumpTableIndex: 371 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIndex()); 372 case MachineOperand::MO_ExternalSymbol: 373 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getOffset(), 374 StringRef(MO.getSymbolName())); 375 case MachineOperand::MO_GlobalAddress: 376 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getGlobal(), 377 MO.getOffset()); 378 case MachineOperand::MO_BlockAddress: 379 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getBlockAddress(), 380 MO.getOffset()); 381 case MachineOperand::MO_RegisterMask: 382 case MachineOperand::MO_RegisterLiveOut: 383 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getRegMask()); 384 case MachineOperand::MO_Metadata: 385 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMetadata()); 386 case MachineOperand::MO_MCSymbol: 387 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMCSymbol()); 388 case MachineOperand::MO_CFIIndex: 389 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCFIIndex()); 390 case MachineOperand::MO_IntrinsicID: 391 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIntrinsicID()); 392 case MachineOperand::MO_Predicate: 393 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getPredicate()); 394 case MachineOperand::MO_ShuffleMask: 395 return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getShuffleMask()); 396 } 397 llvm_unreachable("Invalid machine operand type"); 398 } 399 400 // Try to crawl up to the machine function and get TRI and IntrinsicInfo from 401 // it. 402 static void tryToGetTargetInfo(const MachineOperand &MO, 403 const TargetRegisterInfo *&TRI, 404 const TargetIntrinsicInfo *&IntrinsicInfo) { 405 if (const MachineFunction *MF = getMFIfAvailable(MO)) { 406 TRI = MF->getSubtarget().getRegisterInfo(); 407 IntrinsicInfo = MF->getTarget().getIntrinsicInfo(); 408 } 409 } 410 411 static const char *getTargetIndexName(const MachineFunction &MF, int Index) { 412 const auto *TII = MF.getSubtarget().getInstrInfo(); 413 assert(TII && "expected instruction info"); 414 auto Indices = TII->getSerializableTargetIndices(); 415 auto Found = find_if(Indices, [&](const std::pair<int, const char *> &I) { 416 return I.first == Index; 417 }); 418 if (Found != Indices.end()) 419 return Found->second; 420 return nullptr; 421 } 422 423 const char *MachineOperand::getTargetIndexName() const { 424 const MachineFunction *MF = getMFIfAvailable(*this); 425 return MF ? ::getTargetIndexName(*MF, this->getIndex()) : nullptr; 426 } 427 428 static const char *getTargetFlagName(const TargetInstrInfo *TII, unsigned TF) { 429 auto Flags = TII->getSerializableDirectMachineOperandTargetFlags(); 430 for (const auto &I : Flags) { 431 if (I.first == TF) { 432 return I.second; 433 } 434 } 435 return nullptr; 436 } 437 438 static void printCFIRegister(unsigned DwarfReg, raw_ostream &OS, 439 const TargetRegisterInfo *TRI) { 440 if (!TRI) { 441 OS << "%dwarfreg." << DwarfReg; 442 return; 443 } 444 445 if (Optional<unsigned> Reg = TRI->getLLVMRegNum(DwarfReg, true)) 446 OS << printReg(*Reg, TRI); 447 else 448 OS << "<badreg>"; 449 } 450 451 static void printIRBlockReference(raw_ostream &OS, const BasicBlock &BB, 452 ModuleSlotTracker &MST) { 453 OS << "%ir-block."; 454 if (BB.hasName()) { 455 printLLVMNameWithoutPrefix(OS, BB.getName()); 456 return; 457 } 458 Optional<int> Slot; 459 if (const Function *F = BB.getParent()) { 460 if (F == MST.getCurrentFunction()) { 461 Slot = MST.getLocalSlot(&BB); 462 } else if (const Module *M = F->getParent()) { 463 ModuleSlotTracker CustomMST(M, /*ShouldInitializeAllMetadata=*/false); 464 CustomMST.incorporateFunction(*F); 465 Slot = CustomMST.getLocalSlot(&BB); 466 } 467 } 468 if (Slot) 469 MachineOperand::printIRSlotNumber(OS, *Slot); 470 else 471 OS << "<unknown>"; 472 } 473 474 static void printSyncScope(raw_ostream &OS, const LLVMContext &Context, 475 SyncScope::ID SSID, 476 SmallVectorImpl<StringRef> &SSNs) { 477 switch (SSID) { 478 case SyncScope::System: 479 break; 480 default: 481 if (SSNs.empty()) 482 Context.getSyncScopeNames(SSNs); 483 484 OS << "syncscope(\""; 485 printEscapedString(SSNs[SSID], OS); 486 OS << "\") "; 487 break; 488 } 489 } 490 491 static const char *getTargetMMOFlagName(const TargetInstrInfo &TII, 492 unsigned TMMOFlag) { 493 auto Flags = TII.getSerializableMachineMemOperandTargetFlags(); 494 for (const auto &I : Flags) { 495 if (I.first == TMMOFlag) { 496 return I.second; 497 } 498 } 499 return nullptr; 500 } 501 502 static void printFrameIndex(raw_ostream& OS, int FrameIndex, bool IsFixed, 503 const MachineFrameInfo *MFI) { 504 StringRef Name; 505 if (MFI) { 506 IsFixed = MFI->isFixedObjectIndex(FrameIndex); 507 if (const AllocaInst *Alloca = MFI->getObjectAllocation(FrameIndex)) 508 if (Alloca->hasName()) 509 Name = Alloca->getName(); 510 if (IsFixed) 511 FrameIndex -= MFI->getObjectIndexBegin(); 512 } 513 MachineOperand::printStackObjectReference(OS, FrameIndex, IsFixed, Name); 514 } 515 516 void MachineOperand::printSubRegIdx(raw_ostream &OS, uint64_t Index, 517 const TargetRegisterInfo *TRI) { 518 OS << "%subreg."; 519 if (TRI) 520 OS << TRI->getSubRegIndexName(Index); 521 else 522 OS << Index; 523 } 524 525 void MachineOperand::printTargetFlags(raw_ostream &OS, 526 const MachineOperand &Op) { 527 if (!Op.getTargetFlags()) 528 return; 529 const MachineFunction *MF = getMFIfAvailable(Op); 530 if (!MF) 531 return; 532 533 const auto *TII = MF->getSubtarget().getInstrInfo(); 534 assert(TII && "expected instruction info"); 535 auto Flags = TII->decomposeMachineOperandsTargetFlags(Op.getTargetFlags()); 536 OS << "target-flags("; 537 const bool HasDirectFlags = Flags.first; 538 const bool HasBitmaskFlags = Flags.second; 539 if (!HasDirectFlags && !HasBitmaskFlags) { 540 OS << "<unknown>) "; 541 return; 542 } 543 if (HasDirectFlags) { 544 if (const auto *Name = getTargetFlagName(TII, Flags.first)) 545 OS << Name; 546 else 547 OS << "<unknown target flag>"; 548 } 549 if (!HasBitmaskFlags) { 550 OS << ") "; 551 return; 552 } 553 bool IsCommaNeeded = HasDirectFlags; 554 unsigned BitMask = Flags.second; 555 auto BitMasks = TII->getSerializableBitmaskMachineOperandTargetFlags(); 556 for (const auto &Mask : BitMasks) { 557 // Check if the flag's bitmask has the bits of the current mask set. 558 if ((BitMask & Mask.first) == Mask.first) { 559 if (IsCommaNeeded) 560 OS << ", "; 561 IsCommaNeeded = true; 562 OS << Mask.second; 563 // Clear the bits which were serialized from the flag's bitmask. 564 BitMask &= ~(Mask.first); 565 } 566 } 567 if (BitMask) { 568 // When the resulting flag's bitmask isn't zero, we know that we didn't 569 // serialize all of the bit flags. 570 if (IsCommaNeeded) 571 OS << ", "; 572 OS << "<unknown bitmask target flag>"; 573 } 574 OS << ") "; 575 } 576 577 void MachineOperand::printSymbol(raw_ostream &OS, MCSymbol &Sym) { 578 OS << "<mcsymbol " << Sym << ">"; 579 } 580 581 void MachineOperand::printStackObjectReference(raw_ostream &OS, 582 unsigned FrameIndex, 583 bool IsFixed, StringRef Name) { 584 if (IsFixed) { 585 OS << "%fixed-stack." << FrameIndex; 586 return; 587 } 588 589 OS << "%stack." << FrameIndex; 590 if (!Name.empty()) 591 OS << '.' << Name; 592 } 593 594 void MachineOperand::printOperandOffset(raw_ostream &OS, int64_t Offset) { 595 if (Offset == 0) 596 return; 597 if (Offset < 0) { 598 OS << " - " << -Offset; 599 return; 600 } 601 OS << " + " << Offset; 602 } 603 604 void MachineOperand::printIRSlotNumber(raw_ostream &OS, int Slot) { 605 if (Slot == -1) 606 OS << "<badref>"; 607 else 608 OS << Slot; 609 } 610 611 static void printCFI(raw_ostream &OS, const MCCFIInstruction &CFI, 612 const TargetRegisterInfo *TRI) { 613 switch (CFI.getOperation()) { 614 case MCCFIInstruction::OpSameValue: 615 OS << "same_value "; 616 if (MCSymbol *Label = CFI.getLabel()) 617 MachineOperand::printSymbol(OS, *Label); 618 printCFIRegister(CFI.getRegister(), OS, TRI); 619 break; 620 case MCCFIInstruction::OpRememberState: 621 OS << "remember_state "; 622 if (MCSymbol *Label = CFI.getLabel()) 623 MachineOperand::printSymbol(OS, *Label); 624 break; 625 case MCCFIInstruction::OpRestoreState: 626 OS << "restore_state "; 627 if (MCSymbol *Label = CFI.getLabel()) 628 MachineOperand::printSymbol(OS, *Label); 629 break; 630 case MCCFIInstruction::OpOffset: 631 OS << "offset "; 632 if (MCSymbol *Label = CFI.getLabel()) 633 MachineOperand::printSymbol(OS, *Label); 634 printCFIRegister(CFI.getRegister(), OS, TRI); 635 OS << ", " << CFI.getOffset(); 636 break; 637 case MCCFIInstruction::OpDefCfaRegister: 638 OS << "def_cfa_register "; 639 if (MCSymbol *Label = CFI.getLabel()) 640 MachineOperand::printSymbol(OS, *Label); 641 printCFIRegister(CFI.getRegister(), OS, TRI); 642 break; 643 case MCCFIInstruction::OpDefCfaOffset: 644 OS << "def_cfa_offset "; 645 if (MCSymbol *Label = CFI.getLabel()) 646 MachineOperand::printSymbol(OS, *Label); 647 OS << CFI.getOffset(); 648 break; 649 case MCCFIInstruction::OpDefCfa: 650 OS << "def_cfa "; 651 if (MCSymbol *Label = CFI.getLabel()) 652 MachineOperand::printSymbol(OS, *Label); 653 printCFIRegister(CFI.getRegister(), OS, TRI); 654 OS << ", " << CFI.getOffset(); 655 break; 656 case MCCFIInstruction::OpRelOffset: 657 OS << "rel_offset "; 658 if (MCSymbol *Label = CFI.getLabel()) 659 MachineOperand::printSymbol(OS, *Label); 660 printCFIRegister(CFI.getRegister(), OS, TRI); 661 OS << ", " << CFI.getOffset(); 662 break; 663 case MCCFIInstruction::OpAdjustCfaOffset: 664 OS << "adjust_cfa_offset "; 665 if (MCSymbol *Label = CFI.getLabel()) 666 MachineOperand::printSymbol(OS, *Label); 667 OS << CFI.getOffset(); 668 break; 669 case MCCFIInstruction::OpRestore: 670 OS << "restore "; 671 if (MCSymbol *Label = CFI.getLabel()) 672 MachineOperand::printSymbol(OS, *Label); 673 printCFIRegister(CFI.getRegister(), OS, TRI); 674 break; 675 case MCCFIInstruction::OpEscape: { 676 OS << "escape "; 677 if (MCSymbol *Label = CFI.getLabel()) 678 MachineOperand::printSymbol(OS, *Label); 679 if (!CFI.getValues().empty()) { 680 size_t e = CFI.getValues().size() - 1; 681 for (size_t i = 0; i < e; ++i) 682 OS << format("0x%02x", uint8_t(CFI.getValues()[i])) << ", "; 683 OS << format("0x%02x", uint8_t(CFI.getValues()[e])); 684 } 685 break; 686 } 687 case MCCFIInstruction::OpUndefined: 688 OS << "undefined "; 689 if (MCSymbol *Label = CFI.getLabel()) 690 MachineOperand::printSymbol(OS, *Label); 691 printCFIRegister(CFI.getRegister(), OS, TRI); 692 break; 693 case MCCFIInstruction::OpRegister: 694 OS << "register "; 695 if (MCSymbol *Label = CFI.getLabel()) 696 MachineOperand::printSymbol(OS, *Label); 697 printCFIRegister(CFI.getRegister(), OS, TRI); 698 OS << ", "; 699 printCFIRegister(CFI.getRegister2(), OS, TRI); 700 break; 701 case MCCFIInstruction::OpWindowSave: 702 OS << "window_save "; 703 if (MCSymbol *Label = CFI.getLabel()) 704 MachineOperand::printSymbol(OS, *Label); 705 break; 706 case MCCFIInstruction::OpNegateRAState: 707 OS << "negate_ra_sign_state "; 708 if (MCSymbol *Label = CFI.getLabel()) 709 MachineOperand::printSymbol(OS, *Label); 710 break; 711 default: 712 // TODO: Print the other CFI Operations. 713 OS << "<unserializable cfi directive>"; 714 break; 715 } 716 } 717 718 void MachineOperand::print(raw_ostream &OS, const TargetRegisterInfo *TRI, 719 const TargetIntrinsicInfo *IntrinsicInfo) const { 720 print(OS, LLT{}, TRI, IntrinsicInfo); 721 } 722 723 void MachineOperand::print(raw_ostream &OS, LLT TypeToPrint, 724 const TargetRegisterInfo *TRI, 725 const TargetIntrinsicInfo *IntrinsicInfo) const { 726 tryToGetTargetInfo(*this, TRI, IntrinsicInfo); 727 ModuleSlotTracker DummyMST(nullptr); 728 print(OS, DummyMST, TypeToPrint, None, /*PrintDef=*/false, 729 /*IsStandalone=*/true, 730 /*ShouldPrintRegisterTies=*/true, 731 /*TiedOperandIdx=*/0, TRI, IntrinsicInfo); 732 } 733 734 void MachineOperand::print(raw_ostream &OS, ModuleSlotTracker &MST, 735 LLT TypeToPrint, Optional<unsigned> OpIdx, bool PrintDef, 736 bool IsStandalone, bool ShouldPrintRegisterTies, 737 unsigned TiedOperandIdx, 738 const TargetRegisterInfo *TRI, 739 const TargetIntrinsicInfo *IntrinsicInfo) const { 740 printTargetFlags(OS, *this); 741 switch (getType()) { 742 case MachineOperand::MO_Register: { 743 Register Reg = getReg(); 744 if (isImplicit()) 745 OS << (isDef() ? "implicit-def " : "implicit "); 746 else if (PrintDef && isDef()) 747 // Print the 'def' flag only when the operand is defined after '='. 748 OS << "def "; 749 if (isInternalRead()) 750 OS << "internal "; 751 if (isDead()) 752 OS << "dead "; 753 if (isKill()) 754 OS << "killed "; 755 if (isUndef()) 756 OS << "undef "; 757 if (isEarlyClobber()) 758 OS << "early-clobber "; 759 if (Register::isPhysicalRegister(getReg()) && isRenamable()) 760 OS << "renamable "; 761 // isDebug() is exactly true for register operands of a DBG_VALUE. So we 762 // simply infer it when parsing and do not need to print it. 763 764 const MachineRegisterInfo *MRI = nullptr; 765 if (Register::isVirtualRegister(Reg)) { 766 if (const MachineFunction *MF = getMFIfAvailable(*this)) { 767 MRI = &MF->getRegInfo(); 768 } 769 } 770 771 OS << printReg(Reg, TRI, 0, MRI); 772 // Print the sub register. 773 if (unsigned SubReg = getSubReg()) { 774 if (TRI) 775 OS << '.' << TRI->getSubRegIndexName(SubReg); 776 else 777 OS << ".subreg" << SubReg; 778 } 779 // Print the register class / bank. 780 if (Register::isVirtualRegister(Reg)) { 781 if (const MachineFunction *MF = getMFIfAvailable(*this)) { 782 const MachineRegisterInfo &MRI = MF->getRegInfo(); 783 if (IsStandalone || !PrintDef || MRI.def_empty(Reg)) { 784 OS << ':'; 785 OS << printRegClassOrBank(Reg, MRI, TRI); 786 } 787 } 788 } 789 // Print ties. 790 if (ShouldPrintRegisterTies && isTied() && !isDef()) 791 OS << "(tied-def " << TiedOperandIdx << ")"; 792 // Print types. 793 if (TypeToPrint.isValid()) 794 OS << '(' << TypeToPrint << ')'; 795 break; 796 } 797 case MachineOperand::MO_Immediate: { 798 const MIRFormatter *Formatter = nullptr; 799 if (const MachineFunction *MF = getMFIfAvailable(*this)) { 800 const auto *TII = MF->getSubtarget().getInstrInfo(); 801 assert(TII && "expected instruction info"); 802 Formatter = TII->getMIRFormatter(); 803 } 804 if (Formatter) 805 Formatter->printImm(OS, *getParent(), OpIdx, getImm()); 806 else 807 OS << getImm(); 808 break; 809 } 810 case MachineOperand::MO_CImmediate: 811 getCImm()->printAsOperand(OS, /*PrintType=*/true, MST); 812 break; 813 case MachineOperand::MO_FPImmediate: 814 getFPImm()->printAsOperand(OS, /*PrintType=*/true, MST); 815 break; 816 case MachineOperand::MO_MachineBasicBlock: 817 OS << printMBBReference(*getMBB()); 818 break; 819 case MachineOperand::MO_FrameIndex: { 820 int FrameIndex = getIndex(); 821 bool IsFixed = false; 822 const MachineFrameInfo *MFI = nullptr; 823 if (const MachineFunction *MF = getMFIfAvailable(*this)) 824 MFI = &MF->getFrameInfo(); 825 printFrameIndex(OS, FrameIndex, IsFixed, MFI); 826 break; 827 } 828 case MachineOperand::MO_ConstantPoolIndex: 829 OS << "%const." << getIndex(); 830 printOperandOffset(OS, getOffset()); 831 break; 832 case MachineOperand::MO_TargetIndex: { 833 OS << "target-index("; 834 const char *Name = "<unknown>"; 835 if (const MachineFunction *MF = getMFIfAvailable(*this)) 836 if (const auto *TargetIndexName = ::getTargetIndexName(*MF, getIndex())) 837 Name = TargetIndexName; 838 OS << Name << ')'; 839 printOperandOffset(OS, getOffset()); 840 break; 841 } 842 case MachineOperand::MO_JumpTableIndex: 843 OS << printJumpTableEntryReference(getIndex()); 844 break; 845 case MachineOperand::MO_GlobalAddress: 846 getGlobal()->printAsOperand(OS, /*PrintType=*/false, MST); 847 printOperandOffset(OS, getOffset()); 848 break; 849 case MachineOperand::MO_ExternalSymbol: { 850 StringRef Name = getSymbolName(); 851 OS << '&'; 852 if (Name.empty()) { 853 OS << "\"\""; 854 } else { 855 printLLVMNameWithoutPrefix(OS, Name); 856 } 857 printOperandOffset(OS, getOffset()); 858 break; 859 } 860 case MachineOperand::MO_BlockAddress: { 861 OS << "blockaddress("; 862 getBlockAddress()->getFunction()->printAsOperand(OS, /*PrintType=*/false, 863 MST); 864 OS << ", "; 865 printIRBlockReference(OS, *getBlockAddress()->getBasicBlock(), MST); 866 OS << ')'; 867 MachineOperand::printOperandOffset(OS, getOffset()); 868 break; 869 } 870 case MachineOperand::MO_RegisterMask: { 871 OS << "<regmask"; 872 if (TRI) { 873 unsigned NumRegsInMask = 0; 874 unsigned NumRegsEmitted = 0; 875 for (unsigned i = 0; i < TRI->getNumRegs(); ++i) { 876 unsigned MaskWord = i / 32; 877 unsigned MaskBit = i % 32; 878 if (getRegMask()[MaskWord] & (1 << MaskBit)) { 879 if (PrintRegMaskNumRegs < 0 || 880 NumRegsEmitted <= static_cast<unsigned>(PrintRegMaskNumRegs)) { 881 OS << " " << printReg(i, TRI); 882 NumRegsEmitted++; 883 } 884 NumRegsInMask++; 885 } 886 } 887 if (NumRegsEmitted != NumRegsInMask) 888 OS << " and " << (NumRegsInMask - NumRegsEmitted) << " more..."; 889 } else { 890 OS << " ..."; 891 } 892 OS << ">"; 893 break; 894 } 895 case MachineOperand::MO_RegisterLiveOut: { 896 const uint32_t *RegMask = getRegLiveOut(); 897 OS << "liveout("; 898 if (!TRI) { 899 OS << "<unknown>"; 900 } else { 901 bool IsCommaNeeded = false; 902 for (unsigned Reg = 0, E = TRI->getNumRegs(); Reg < E; ++Reg) { 903 if (RegMask[Reg / 32] & (1U << (Reg % 32))) { 904 if (IsCommaNeeded) 905 OS << ", "; 906 OS << printReg(Reg, TRI); 907 IsCommaNeeded = true; 908 } 909 } 910 } 911 OS << ")"; 912 break; 913 } 914 case MachineOperand::MO_Metadata: 915 getMetadata()->printAsOperand(OS, MST); 916 break; 917 case MachineOperand::MO_MCSymbol: 918 printSymbol(OS, *getMCSymbol()); 919 break; 920 case MachineOperand::MO_CFIIndex: { 921 if (const MachineFunction *MF = getMFIfAvailable(*this)) 922 printCFI(OS, MF->getFrameInstructions()[getCFIIndex()], TRI); 923 else 924 OS << "<cfi directive>"; 925 break; 926 } 927 case MachineOperand::MO_IntrinsicID: { 928 Intrinsic::ID ID = getIntrinsicID(); 929 if (ID < Intrinsic::num_intrinsics) 930 OS << "intrinsic(@" << Intrinsic::getName(ID, None) << ')'; 931 else if (IntrinsicInfo) 932 OS << "intrinsic(@" << IntrinsicInfo->getName(ID) << ')'; 933 else 934 OS << "intrinsic(" << ID << ')'; 935 break; 936 } 937 case MachineOperand::MO_Predicate: { 938 auto Pred = static_cast<CmpInst::Predicate>(getPredicate()); 939 OS << (CmpInst::isIntPredicate(Pred) ? "int" : "float") << "pred(" 940 << CmpInst::getPredicateName(Pred) << ')'; 941 break; 942 } 943 case MachineOperand::MO_ShuffleMask: 944 OS << "shufflemask("; 945 ArrayRef<int> Mask = getShuffleMask(); 946 StringRef Separator; 947 for (int Elt : Mask) { 948 if (Elt == -1) 949 OS << Separator << "undef"; 950 else 951 OS << Separator << Elt; 952 Separator = ", "; 953 } 954 955 OS << ')'; 956 break; 957 } 958 } 959 960 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 961 LLVM_DUMP_METHOD void MachineOperand::dump() const { dbgs() << *this << '\n'; } 962 #endif 963 964 //===----------------------------------------------------------------------===// 965 // MachineMemOperand Implementation 966 //===----------------------------------------------------------------------===// 967 968 /// getAddrSpace - Return the LLVM IR address space number that this pointer 969 /// points into. 970 unsigned MachinePointerInfo::getAddrSpace() const { return AddrSpace; } 971 972 /// isDereferenceable - Return true if V is always dereferenceable for 973 /// Offset + Size byte. 974 bool MachinePointerInfo::isDereferenceable(unsigned Size, LLVMContext &C, 975 const DataLayout &DL) const { 976 if (!V.is<const Value *>()) 977 return false; 978 979 const Value *BasePtr = V.get<const Value *>(); 980 if (BasePtr == nullptr) 981 return false; 982 983 return isDereferenceableAndAlignedPointer( 984 BasePtr, Align(1), APInt(DL.getPointerSizeInBits(), Offset + Size), DL); 985 } 986 987 /// getConstantPool - Return a MachinePointerInfo record that refers to the 988 /// constant pool. 989 MachinePointerInfo MachinePointerInfo::getConstantPool(MachineFunction &MF) { 990 return MachinePointerInfo(MF.getPSVManager().getConstantPool()); 991 } 992 993 /// getFixedStack - Return a MachinePointerInfo record that refers to the 994 /// the specified FrameIndex. 995 MachinePointerInfo MachinePointerInfo::getFixedStack(MachineFunction &MF, 996 int FI, int64_t Offset) { 997 return MachinePointerInfo(MF.getPSVManager().getFixedStack(FI), Offset); 998 } 999 1000 MachinePointerInfo MachinePointerInfo::getJumpTable(MachineFunction &MF) { 1001 return MachinePointerInfo(MF.getPSVManager().getJumpTable()); 1002 } 1003 1004 MachinePointerInfo MachinePointerInfo::getGOT(MachineFunction &MF) { 1005 return MachinePointerInfo(MF.getPSVManager().getGOT()); 1006 } 1007 1008 MachinePointerInfo MachinePointerInfo::getStack(MachineFunction &MF, 1009 int64_t Offset, uint8_t ID) { 1010 return MachinePointerInfo(MF.getPSVManager().getStack(), Offset, ID); 1011 } 1012 1013 MachinePointerInfo MachinePointerInfo::getUnknownStack(MachineFunction &MF) { 1014 return MachinePointerInfo(MF.getDataLayout().getAllocaAddrSpace()); 1015 } 1016 1017 MachineMemOperand::MachineMemOperand(MachinePointerInfo ptrinfo, Flags f, 1018 uint64_t s, Align a, 1019 const AAMDNodes &AAInfo, 1020 const MDNode *Ranges, SyncScope::ID SSID, 1021 AtomicOrdering Ordering, 1022 AtomicOrdering FailureOrdering) 1023 : PtrInfo(ptrinfo), Size(s), FlagVals(f), BaseAlign(a), AAInfo(AAInfo), 1024 Ranges(Ranges) { 1025 assert((PtrInfo.V.isNull() || PtrInfo.V.is<const PseudoSourceValue *>() || 1026 isa<PointerType>(PtrInfo.V.get<const Value *>()->getType())) && 1027 "invalid pointer value"); 1028 assert((isLoad() || isStore()) && "Not a load/store!"); 1029 1030 AtomicInfo.SSID = static_cast<unsigned>(SSID); 1031 assert(getSyncScopeID() == SSID && "Value truncated"); 1032 AtomicInfo.Ordering = static_cast<unsigned>(Ordering); 1033 assert(getOrdering() == Ordering && "Value truncated"); 1034 AtomicInfo.FailureOrdering = static_cast<unsigned>(FailureOrdering); 1035 assert(getFailureOrdering() == FailureOrdering && "Value truncated"); 1036 } 1037 1038 /// Profile - Gather unique data for the object. 1039 /// 1040 void MachineMemOperand::Profile(FoldingSetNodeID &ID) const { 1041 ID.AddInteger(getOffset()); 1042 ID.AddInteger(Size); 1043 ID.AddPointer(getOpaqueValue()); 1044 ID.AddInteger(getFlags()); 1045 ID.AddInteger(getBaseAlign().value()); 1046 } 1047 1048 void MachineMemOperand::refineAlignment(const MachineMemOperand *MMO) { 1049 // The Value and Offset may differ due to CSE. But the flags and size 1050 // should be the same. 1051 assert(MMO->getFlags() == getFlags() && "Flags mismatch!"); 1052 assert(MMO->getSize() == getSize() && "Size mismatch!"); 1053 1054 if (MMO->getBaseAlign() >= getBaseAlign()) { 1055 // Update the alignment value. 1056 BaseAlign = MMO->getBaseAlign(); 1057 // Also update the base and offset, because the new alignment may 1058 // not be applicable with the old ones. 1059 PtrInfo = MMO->PtrInfo; 1060 } 1061 } 1062 1063 /// getAlignment - Return the minimum known alignment in bytes of the 1064 /// actual memory reference. 1065 uint64_t MachineMemOperand::getAlignment() const { return getAlign().value(); } 1066 1067 /// getAlign - Return the minimum known alignment in bytes of the 1068 /// actual memory reference. 1069 Align MachineMemOperand::getAlign() const { 1070 return commonAlignment(getBaseAlign(), getOffset()); 1071 } 1072 1073 void MachineMemOperand::print(raw_ostream &OS, ModuleSlotTracker &MST, 1074 SmallVectorImpl<StringRef> &SSNs, 1075 const LLVMContext &Context, 1076 const MachineFrameInfo *MFI, 1077 const TargetInstrInfo *TII) const { 1078 OS << '('; 1079 if (isVolatile()) 1080 OS << "volatile "; 1081 if (isNonTemporal()) 1082 OS << "non-temporal "; 1083 if (isDereferenceable()) 1084 OS << "dereferenceable "; 1085 if (isInvariant()) 1086 OS << "invariant "; 1087 if (getFlags() & MachineMemOperand::MOTargetFlag1) 1088 OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag1) 1089 << "\" "; 1090 if (getFlags() & MachineMemOperand::MOTargetFlag2) 1091 OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag2) 1092 << "\" "; 1093 if (getFlags() & MachineMemOperand::MOTargetFlag3) 1094 OS << '"' << getTargetMMOFlagName(*TII, MachineMemOperand::MOTargetFlag3) 1095 << "\" "; 1096 1097 assert((isLoad() || isStore()) && 1098 "machine memory operand must be a load or store (or both)"); 1099 if (isLoad()) 1100 OS << "load "; 1101 if (isStore()) 1102 OS << "store "; 1103 1104 printSyncScope(OS, Context, getSyncScopeID(), SSNs); 1105 1106 if (getOrdering() != AtomicOrdering::NotAtomic) 1107 OS << toIRString(getOrdering()) << ' '; 1108 if (getFailureOrdering() != AtomicOrdering::NotAtomic) 1109 OS << toIRString(getFailureOrdering()) << ' '; 1110 1111 if (getSize() == MemoryLocation::UnknownSize) 1112 OS << "unknown-size"; 1113 else 1114 OS << getSize(); 1115 1116 if (const Value *Val = getValue()) { 1117 OS << ((isLoad() && isStore()) ? " on " : isLoad() ? " from " : " into "); 1118 MIRFormatter::printIRValue(OS, *Val, MST); 1119 } else if (const PseudoSourceValue *PVal = getPseudoValue()) { 1120 OS << ((isLoad() && isStore()) ? " on " : isLoad() ? " from " : " into "); 1121 assert(PVal && "Expected a pseudo source value"); 1122 switch (PVal->kind()) { 1123 case PseudoSourceValue::Stack: 1124 OS << "stack"; 1125 break; 1126 case PseudoSourceValue::GOT: 1127 OS << "got"; 1128 break; 1129 case PseudoSourceValue::JumpTable: 1130 OS << "jump-table"; 1131 break; 1132 case PseudoSourceValue::ConstantPool: 1133 OS << "constant-pool"; 1134 break; 1135 case PseudoSourceValue::FixedStack: { 1136 int FrameIndex = cast<FixedStackPseudoSourceValue>(PVal)->getFrameIndex(); 1137 bool IsFixed = true; 1138 printFrameIndex(OS, FrameIndex, IsFixed, MFI); 1139 break; 1140 } 1141 case PseudoSourceValue::GlobalValueCallEntry: 1142 OS << "call-entry "; 1143 cast<GlobalValuePseudoSourceValue>(PVal)->getValue()->printAsOperand( 1144 OS, /*PrintType=*/false, MST); 1145 break; 1146 case PseudoSourceValue::ExternalSymbolCallEntry: 1147 OS << "call-entry &"; 1148 printLLVMNameWithoutPrefix( 1149 OS, cast<ExternalSymbolPseudoSourceValue>(PVal)->getSymbol()); 1150 break; 1151 default: { 1152 const MIRFormatter *Formatter = TII->getMIRFormatter(); 1153 // FIXME: This is not necessarily the correct MIR serialization format for 1154 // a custom pseudo source value, but at least it allows 1155 // MIR printing to work on a target with custom pseudo source 1156 // values. 1157 OS << "custom \""; 1158 Formatter->printCustomPseudoSourceValue(OS, MST, *PVal); 1159 OS << '\"'; 1160 break; 1161 } 1162 } 1163 } 1164 MachineOperand::printOperandOffset(OS, getOffset()); 1165 if (getAlign() != getSize()) 1166 OS << ", align " << getAlign().value(); 1167 if (getAlign() != getBaseAlign()) 1168 OS << ", basealign " << getBaseAlign().value(); 1169 auto AAInfo = getAAInfo(); 1170 if (AAInfo.TBAA) { 1171 OS << ", !tbaa "; 1172 AAInfo.TBAA->printAsOperand(OS, MST); 1173 } 1174 if (AAInfo.Scope) { 1175 OS << ", !alias.scope "; 1176 AAInfo.Scope->printAsOperand(OS, MST); 1177 } 1178 if (AAInfo.NoAlias) { 1179 OS << ", !noalias "; 1180 AAInfo.NoAlias->printAsOperand(OS, MST); 1181 } 1182 if (getRanges()) { 1183 OS << ", !range "; 1184 getRanges()->printAsOperand(OS, MST); 1185 } 1186 // FIXME: Implement addrspace printing/parsing in MIR. 1187 // For now, print this even though parsing it is not available in MIR. 1188 if (unsigned AS = getAddrSpace()) 1189 OS << ", addrspace " << AS; 1190 1191 OS << ')'; 1192 } 1193