contrib/llvm/lib/IR/Instruction.cpp

   1 //===-- Instruction.cpp - Implement the Instruction class -----------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file implements the Instruction class for the IR library.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "llvm/IR/Instruction.h"
  15 #include "llvm/IR/IntrinsicInst.h"
  16 #include "llvm/ADT/DenseSet.h"
  17 #include "llvm/IR/Constants.h"
  18 #include "llvm/IR/Instructions.h"
  19 #include "llvm/IR/MDBuilder.h"
  20 #include "llvm/IR/Operator.h"
  21 #include "llvm/IR/Type.h"
  22 using namespace llvm;
  23
  24 Instruction::Instruction(Type *ty, unsigned it, Use *Ops, unsigned NumOps,
  25                          Instruction *InsertBefore)
  26   : User(ty, Value::InstructionVal + it, Ops, NumOps), Parent(nullptr) {
  27
  28   // If requested, insert this instruction into a basic block...
  29   if (InsertBefore) {
  30     BasicBlock *BB = InsertBefore->getParent();
  31     assert(BB && "Instruction to insert before is not in a basic block!");
  32     BB->getInstList().insert(InsertBefore->getIterator(), this);
  33   }
  34 }
  35
  36 Instruction::Instruction(Type *ty, unsigned it, Use *Ops, unsigned NumOps,
  37                          BasicBlock *InsertAtEnd)
  38   : User(ty, Value::InstructionVal + it, Ops, NumOps), Parent(nullptr) {
  39
  40   // append this instruction into the basic block
  41   assert(InsertAtEnd && "Basic block to append to may not be NULL!");
  42   InsertAtEnd->getInstList().push_back(this);
  43 }
  44
  45 Instruction::~Instruction() {
  46   assert(!Parent && "Instruction still linked in the program!");
  47   if (hasMetadataHashEntry())
  48     clearMetadataHashEntries();
  49 }
  50
  51
  52 void Instruction::setParent(BasicBlock *P) {
  53   Parent = P;
  54 }
  55
  56 const Module *Instruction::getModule() const {
  57   return getParent()->getModule();
  58 }
  59
  60 const Function *Instruction::getFunction() const {
  61   return getParent()->getParent();
  62 }
  63
  64 void Instruction::removeFromParent() {
  65   getParent()->getInstList().remove(getIterator());
  66 }
  67
  68 iplist<Instruction>::iterator Instruction::eraseFromParent() {
  69   return getParent()->getInstList().erase(getIterator());
  70 }
  71
  72 /// Insert an unlinked instruction into a basic block immediately before the
  73 /// specified instruction.
  74 void Instruction::insertBefore(Instruction *InsertPos) {
  75   InsertPos->getParent()->getInstList().insert(InsertPos->getIterator(), this);
  76 }
  77
  78 /// Insert an unlinked instruction into a basic block immediately after the
  79 /// specified instruction.
  80 void Instruction::insertAfter(Instruction *InsertPos) {
  81   InsertPos->getParent()->getInstList().insertAfter(InsertPos->getIterator(),
  82                                                     this);
  83 }
  84
  85 /// Unlink this instruction from its current basic block and insert it into the
  86 /// basic block that MovePos lives in, right before MovePos.
  87 void Instruction::moveBefore(Instruction *MovePos) {
  88   moveBefore(*MovePos->getParent(), MovePos->getIterator());
  89 }
  90
  91 void Instruction::moveAfter(Instruction *MovePos) {
  92   moveBefore(*MovePos->getParent(), ++MovePos->getIterator());
  93 }
  94
  95 void Instruction::moveBefore(BasicBlock &BB,
  96                              SymbolTableList<Instruction>::iterator I) {
  97   assert(I == BB.end() || I->getParent() == &BB);
  98   BB.getInstList().splice(I, getParent()->getInstList(), getIterator());
  99 }
 100
 101 void Instruction::setHasNoUnsignedWrap(bool b) {
 102   cast<OverflowingBinaryOperator>(this)->setHasNoUnsignedWrap(b);
 103 }
 104
 105 void Instruction::setHasNoSignedWrap(bool b) {
 106   cast<OverflowingBinaryOperator>(this)->setHasNoSignedWrap(b);
 107 }
 108
 109 void Instruction::setIsExact(bool b) {
 110   cast<PossiblyExactOperator>(this)->setIsExact(b);
 111 }
 112
 113 bool Instruction::hasNoUnsignedWrap() const {
 114   return cast<OverflowingBinaryOperator>(this)->hasNoUnsignedWrap();
 115 }
 116
 117 bool Instruction::hasNoSignedWrap() const {
 118   return cast<OverflowingBinaryOperator>(this)->hasNoSignedWrap();
 119 }
 120
 121 void Instruction::dropPoisonGeneratingFlags() {
 122   switch (getOpcode()) {
 123   case Instruction::Add:
 124   case Instruction::Sub:
 125   case Instruction::Mul:
 126   case Instruction::Shl:
 127     cast<OverflowingBinaryOperator>(this)->setHasNoUnsignedWrap(false);
 128     cast<OverflowingBinaryOperator>(this)->setHasNoSignedWrap(false);
 129     break;
 130
 131   case Instruction::UDiv:
 132   case Instruction::SDiv:
 133   case Instruction::AShr:
 134   case Instruction::LShr:
 135     cast<PossiblyExactOperator>(this)->setIsExact(false);
 136     break;
 137
 138   case Instruction::GetElementPtr:
 139     cast<GetElementPtrInst>(this)->setIsInBounds(false);
 140     break;
 141   }
 142 }
 143
 144 bool Instruction::isExact() const {
 145   return cast<PossiblyExactOperator>(this)->isExact();
 146 }
 147
 148 void Instruction::setFast(bool B) {
 149   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 150   cast<FPMathOperator>(this)->setFast(B);
 151 }
 152
 153 void Instruction::setHasAllowReassoc(bool B) {
 154   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 155   cast<FPMathOperator>(this)->setHasAllowReassoc(B);
 156 }
 157
 158 void Instruction::setHasNoNaNs(bool B) {
 159   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 160   cast<FPMathOperator>(this)->setHasNoNaNs(B);
 161 }
 162
 163 void Instruction::setHasNoInfs(bool B) {
 164   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 165   cast<FPMathOperator>(this)->setHasNoInfs(B);
 166 }
 167
 168 void Instruction::setHasNoSignedZeros(bool B) {
 169   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 170   cast<FPMathOperator>(this)->setHasNoSignedZeros(B);
 171 }
 172
 173 void Instruction::setHasAllowReciprocal(bool B) {
 174   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 175   cast<FPMathOperator>(this)->setHasAllowReciprocal(B);
 176 }
 177
 178 void Instruction::setHasApproxFunc(bool B) {
 179   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 180   cast<FPMathOperator>(this)->setHasApproxFunc(B);
 181 }
 182
 183 void Instruction::setFastMathFlags(FastMathFlags FMF) {
 184   assert(isa<FPMathOperator>(this) && "setting fast-math flag on invalid op");
 185   cast<FPMathOperator>(this)->setFastMathFlags(FMF);
 186 }
 187
 188 void Instruction::copyFastMathFlags(FastMathFlags FMF) {
 189   assert(isa<FPMathOperator>(this) && "copying fast-math flag on invalid op");
 190   cast<FPMathOperator>(this)->copyFastMathFlags(FMF);
 191 }
 192
 193 bool Instruction::isFast() const {
 194   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 195   return cast<FPMathOperator>(this)->isFast();
 196 }
 197
 198 bool Instruction::hasAllowReassoc() const {
 199   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 200   return cast<FPMathOperator>(this)->hasAllowReassoc();
 201 }
 202
 203 bool Instruction::hasNoNaNs() const {
 204   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 205   return cast<FPMathOperator>(this)->hasNoNaNs();
 206 }
 207
 208 bool Instruction::hasNoInfs() const {
 209   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 210   return cast<FPMathOperator>(this)->hasNoInfs();
 211 }
 212
 213 bool Instruction::hasNoSignedZeros() const {
 214   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 215   return cast<FPMathOperator>(this)->hasNoSignedZeros();
 216 }
 217
 218 bool Instruction::hasAllowReciprocal() const {
 219   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 220   return cast<FPMathOperator>(this)->hasAllowReciprocal();
 221 }
 222
 223 bool Instruction::hasAllowContract() const {
 224   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 225   return cast<FPMathOperator>(this)->hasAllowContract();
 226 }
 227
 228 bool Instruction::hasApproxFunc() const {
 229   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 230   return cast<FPMathOperator>(this)->hasApproxFunc();
 231 }
 232
 233 FastMathFlags Instruction::getFastMathFlags() const {
 234   assert(isa<FPMathOperator>(this) && "getting fast-math flag on invalid op");
 235   return cast<FPMathOperator>(this)->getFastMathFlags();
 236 }
 237
 238 void Instruction::copyFastMathFlags(const Instruction *I) {
 239   copyFastMathFlags(I->getFastMathFlags());
 240 }
 241
 242 void Instruction::copyIRFlags(const Value *V, bool IncludeWrapFlags) {
 243   // Copy the wrapping flags.
 244   if (IncludeWrapFlags && isa<OverflowingBinaryOperator>(this)) {
 245     if (auto *OB = dyn_cast<OverflowingBinaryOperator>(V)) {
 246       setHasNoSignedWrap(OB->hasNoSignedWrap());
 247       setHasNoUnsignedWrap(OB->hasNoUnsignedWrap());
 248     }
 249   }
 250
 251   // Copy the exact flag.
 252   if (auto *PE = dyn_cast<PossiblyExactOperator>(V))
 253     if (isa<PossiblyExactOperator>(this))
 254       setIsExact(PE->isExact());
 255
 256   // Copy the fast-math flags.
 257   if (auto *FP = dyn_cast<FPMathOperator>(V))
 258     if (isa<FPMathOperator>(this))
 259       copyFastMathFlags(FP->getFastMathFlags());
 260
 261   if (auto *SrcGEP = dyn_cast<GetElementPtrInst>(V))
 262     if (auto *DestGEP = dyn_cast<GetElementPtrInst>(this))
 263       DestGEP->setIsInBounds(SrcGEP->isInBounds() | DestGEP->isInBounds());
 264 }
 265
 266 void Instruction::andIRFlags(const Value *V) {
 267   if (auto *OB = dyn_cast<OverflowingBinaryOperator>(V)) {
 268     if (isa<OverflowingBinaryOperator>(this)) {
 269       setHasNoSignedWrap(hasNoSignedWrap() & OB->hasNoSignedWrap());
 270       setHasNoUnsignedWrap(hasNoUnsignedWrap() & OB->hasNoUnsignedWrap());
 271     }
 272   }
 273
 274   if (auto *PE = dyn_cast<PossiblyExactOperator>(V))
 275     if (isa<PossiblyExactOperator>(this))
 276       setIsExact(isExact() & PE->isExact());
 277
 278   if (auto *FP = dyn_cast<FPMathOperator>(V)) {
 279     if (isa<FPMathOperator>(this)) {
 280       FastMathFlags FM = getFastMathFlags();
 281       FM &= FP->getFastMathFlags();
 282       copyFastMathFlags(FM);
 283     }
 284   }
 285
 286   if (auto *SrcGEP = dyn_cast<GetElementPtrInst>(V))
 287     if (auto *DestGEP = dyn_cast<GetElementPtrInst>(this))
 288       DestGEP->setIsInBounds(SrcGEP->isInBounds() & DestGEP->isInBounds());
 289 }
 290
 291 const char *Instruction::getOpcodeName(unsigned OpCode) {
 292   switch (OpCode) {
 293   // Terminators
 294   case Ret:    return "ret";
 295   case Br:     return "br";
 296   case Switch: return "switch";
 297   case IndirectBr: return "indirectbr";
 298   case Invoke: return "invoke";
 299   case Resume: return "resume";
 300   case Unreachable: return "unreachable";
 301   case CleanupRet: return "cleanupret";
 302   case CatchRet: return "catchret";
 303   case CatchPad: return "catchpad";
 304   case CatchSwitch: return "catchswitch";
 305
 306   // Standard binary operators...
 307   case Add: return "add";
 308   case FAdd: return "fadd";
 309   case Sub: return "sub";
 310   case FSub: return "fsub";
 311   case Mul: return "mul";
 312   case FMul: return "fmul";
 313   case UDiv: return "udiv";
 314   case SDiv: return "sdiv";
 315   case FDiv: return "fdiv";
 316   case URem: return "urem";
 317   case SRem: return "srem";
 318   case FRem: return "frem";
 319
 320   // Logical operators...
 321   case And: return "and";
 322   case Or : return "or";
 323   case Xor: return "xor";
 324
 325   // Memory instructions...
 326   case Alloca:        return "alloca";
 327   case Load:          return "load";
 328   case Store:         return "store";
 329   case AtomicCmpXchg: return "cmpxchg";
 330   case AtomicRMW:     return "atomicrmw";
 331   case Fence:         return "fence";
 332   case GetElementPtr: return "getelementptr";
 333
 334   // Convert instructions...
 335   case Trunc:         return "trunc";
 336   case ZExt:          return "zext";
 337   case SExt:          return "sext";
 338   case FPTrunc:       return "fptrunc";
 339   case FPExt:         return "fpext";
 340   case FPToUI:        return "fptoui";
 341   case FPToSI:        return "fptosi";
 342   case UIToFP:        return "uitofp";
 343   case SIToFP:        return "sitofp";
 344   case IntToPtr:      return "inttoptr";
 345   case PtrToInt:      return "ptrtoint";
 346   case BitCast:       return "bitcast";
 347   case AddrSpaceCast: return "addrspacecast";
 348
 349   // Other instructions...
 350   case ICmp:           return "icmp";
 351   case FCmp:           return "fcmp";
 352   case PHI:            return "phi";
 353   case Select:         return "select";
 354   case Call:           return "call";
 355   case Shl:            return "shl";
 356   case LShr:           return "lshr";
 357   case AShr:           return "ashr";
 358   case VAArg:          return "va_arg";
 359   case ExtractElement: return "extractelement";
 360   case InsertElement:  return "insertelement";
 361   case ShuffleVector:  return "shufflevector";
 362   case ExtractValue:   return "extractvalue";
 363   case InsertValue:    return "insertvalue";
 364   case LandingPad:     return "landingpad";
 365   case CleanupPad:     return "cleanuppad";
 366
 367   default: return "<Invalid operator> ";
 368   }
 369 }
 370
 371 /// Return true if both instructions have the same special state. This must be
 372 /// kept in sync with FunctionComparator::cmpOperations in
 373 /// lib/Transforms/IPO/MergeFunctions.cpp.
 374 static bool haveSameSpecialState(const Instruction *I1, const Instruction *I2,
 375                                  bool IgnoreAlignment = false) {
 376   assert(I1->getOpcode() == I2->getOpcode() &&
 377          "Can not compare special state of different instructions");
 378
 379   if (const AllocaInst *AI = dyn_cast<AllocaInst>(I1))
 380     return AI->getAllocatedType() == cast<AllocaInst>(I2)->getAllocatedType() &&
 381            (AI->getAlignment() == cast<AllocaInst>(I2)->getAlignment() ||
 382             IgnoreAlignment);
 383   if (const LoadInst *LI = dyn_cast<LoadInst>(I1))
 384     return LI->isVolatile() == cast<LoadInst>(I2)->isVolatile() &&
 385            (LI->getAlignment() == cast<LoadInst>(I2)->getAlignment() ||
 386             IgnoreAlignment) &&
 387            LI->getOrdering() == cast<LoadInst>(I2)->getOrdering() &&
 388            LI->getSyncScopeID() == cast<LoadInst>(I2)->getSyncScopeID();
 389   if (const StoreInst *SI = dyn_cast<StoreInst>(I1))
 390     return SI->isVolatile() == cast<StoreInst>(I2)->isVolatile() &&
 391            (SI->getAlignment() == cast<StoreInst>(I2)->getAlignment() ||
 392             IgnoreAlignment) &&
 393            SI->getOrdering() == cast<StoreInst>(I2)->getOrdering() &&
 394            SI->getSyncScopeID() == cast<StoreInst>(I2)->getSyncScopeID();
 395   if (const CmpInst *CI = dyn_cast<CmpInst>(I1))
 396     return CI->getPredicate() == cast<CmpInst>(I2)->getPredicate();
 397   if (const CallInst *CI = dyn_cast<CallInst>(I1))
 398     return CI->isTailCall() == cast<CallInst>(I2)->isTailCall() &&
 399            CI->getCallingConv() == cast<CallInst>(I2)->getCallingConv() &&
 400            CI->getAttributes() == cast<CallInst>(I2)->getAttributes() &&
 401            CI->hasIdenticalOperandBundleSchema(*cast<CallInst>(I2));
 402   if (const InvokeInst *CI = dyn_cast<InvokeInst>(I1))
 403     return CI->getCallingConv() == cast<InvokeInst>(I2)->getCallingConv() &&
 404            CI->getAttributes() == cast<InvokeInst>(I2)->getAttributes() &&
 405            CI->hasIdenticalOperandBundleSchema(*cast<InvokeInst>(I2));
 406   if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(I1))
 407     return IVI->getIndices() == cast<InsertValueInst>(I2)->getIndices();
 408   if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(I1))
 409     return EVI->getIndices() == cast<ExtractValueInst>(I2)->getIndices();
 410   if (const FenceInst *FI = dyn_cast<FenceInst>(I1))
 411     return FI->getOrdering() == cast<FenceInst>(I2)->getOrdering() &&
 412            FI->getSyncScopeID() == cast<FenceInst>(I2)->getSyncScopeID();
 413   if (const AtomicCmpXchgInst *CXI = dyn_cast<AtomicCmpXchgInst>(I1))
 414     return CXI->isVolatile() == cast<AtomicCmpXchgInst>(I2)->isVolatile() &&
 415            CXI->isWeak() == cast<AtomicCmpXchgInst>(I2)->isWeak() &&
 416            CXI->getSuccessOrdering() ==
 417                cast<AtomicCmpXchgInst>(I2)->getSuccessOrdering() &&
 418            CXI->getFailureOrdering() ==
 419                cast<AtomicCmpXchgInst>(I2)->getFailureOrdering() &&
 420            CXI->getSyncScopeID() ==
 421                cast<AtomicCmpXchgInst>(I2)->getSyncScopeID();
 422   if (const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(I1))
 423     return RMWI->getOperation() == cast<AtomicRMWInst>(I2)->getOperation() &&
 424            RMWI->isVolatile() == cast<AtomicRMWInst>(I2)->isVolatile() &&
 425            RMWI->getOrdering() == cast<AtomicRMWInst>(I2)->getOrdering() &&
 426            RMWI->getSyncScopeID() == cast<AtomicRMWInst>(I2)->getSyncScopeID();
 427
 428   return true;
 429 }
 430
 431 bool Instruction::isIdenticalTo(const Instruction *I) const {
 432   return isIdenticalToWhenDefined(I) &&
 433          SubclassOptionalData == I->SubclassOptionalData;
 434 }
 435
 436 bool Instruction::isIdenticalToWhenDefined(const Instruction *I) const {
 437   if (getOpcode() != I->getOpcode() ||
 438       getNumOperands() != I->getNumOperands() ||
 439       getType() != I->getType())
 440     return false;
 441
 442   // If both instructions have no operands, they are identical.
 443   if (getNumOperands() == 0 && I->getNumOperands() == 0)
 444     return haveSameSpecialState(this, I);
 445
 446   // We have two instructions of identical opcode and #operands.  Check to see
 447   // if all operands are the same.
 448   if (!std::equal(op_begin(), op_end(), I->op_begin()))
 449     return false;
 450
 451   if (const PHINode *thisPHI = dyn_cast<PHINode>(this)) {
 452     const PHINode *otherPHI = cast<PHINode>(I);
 453     return std::equal(thisPHI->block_begin(), thisPHI->block_end(),
 454                       otherPHI->block_begin());
 455   }
 456
 457   return haveSameSpecialState(this, I);
 458 }
 459
 460 // Keep this in sync with FunctionComparator::cmpOperations in
 461 // lib/Transforms/IPO/MergeFunctions.cpp.
 462 bool Instruction::isSameOperationAs(const Instruction *I,
 463                                     unsigned flags) const {
 464   bool IgnoreAlignment = flags & CompareIgnoringAlignment;
 465   bool UseScalarTypes  = flags & CompareUsingScalarTypes;
 466
 467   if (getOpcode() != I->getOpcode() ||
 468       getNumOperands() != I->getNumOperands() ||
 469       (UseScalarTypes ?
 470        getType()->getScalarType() != I->getType()->getScalarType() :
 471        getType() != I->getType()))
 472     return false;
 473
 474   // We have two instructions of identical opcode and #operands.  Check to see
 475   // if all operands are the same type
 476   for (unsigned i = 0, e = getNumOperands(); i != e; ++i)
 477     if (UseScalarTypes ?
 478         getOperand(i)->getType()->getScalarType() !=
 479           I->getOperand(i)->getType()->getScalarType() :
 480         getOperand(i)->getType() != I->getOperand(i)->getType())
 481       return false;
 482
 483   return haveSameSpecialState(this, I, IgnoreAlignment);
 484 }
 485
 486 bool Instruction::isUsedOutsideOfBlock(const BasicBlock *BB) const {
 487   for (const Use &U : uses()) {
 488     // PHI nodes uses values in the corresponding predecessor block.  For other
 489     // instructions, just check to see whether the parent of the use matches up.
 490     const Instruction *I = cast<Instruction>(U.getUser());
 491     const PHINode *PN = dyn_cast<PHINode>(I);
 492     if (!PN) {
 493       if (I->getParent() != BB)
 494         return true;
 495       continue;
 496     }
 497
 498     if (PN->getIncomingBlock(U) != BB)
 499       return true;
 500   }
 501   return false;
 502 }
 503
 504 bool Instruction::mayReadFromMemory() const {
 505   switch (getOpcode()) {
 506   default: return false;
 507   case Instruction::VAArg:
 508   case Instruction::Load:
 509   case Instruction::Fence: // FIXME: refine definition of mayReadFromMemory
 510   case Instruction::AtomicCmpXchg:
 511   case Instruction::AtomicRMW:
 512   case Instruction::CatchPad:
 513   case Instruction::CatchRet:
 514     return true;
 515   case Instruction::Call:
 516     return !cast<CallInst>(this)->doesNotAccessMemory();
 517   case Instruction::Invoke:
 518     return !cast<InvokeInst>(this)->doesNotAccessMemory();
 519   case Instruction::Store:
 520     return !cast<StoreInst>(this)->isUnordered();
 521   }
 522 }
 523
 524 bool Instruction::mayWriteToMemory() const {
 525   switch (getOpcode()) {
 526   default: return false;
 527   case Instruction::Fence: // FIXME: refine definition of mayWriteToMemory
 528   case Instruction::Store:
 529   case Instruction::VAArg:
 530   case Instruction::AtomicCmpXchg:
 531   case Instruction::AtomicRMW:
 532   case Instruction::CatchPad:
 533   case Instruction::CatchRet:
 534     return true;
 535   case Instruction::Call:
 536     return !cast<CallInst>(this)->onlyReadsMemory();
 537   case Instruction::Invoke:
 538     return !cast<InvokeInst>(this)->onlyReadsMemory();
 539   case Instruction::Load:
 540     return !cast<LoadInst>(this)->isUnordered();
 541   }
 542 }
 543
 544 bool Instruction::isAtomic() const {
 545   switch (getOpcode()) {
 546   default:
 547     return false;
 548   case Instruction::AtomicCmpXchg:
 549   case Instruction::AtomicRMW:
 550   case Instruction::Fence:
 551     return true;
 552   case Instruction::Load:
 553     return cast<LoadInst>(this)->getOrdering() != AtomicOrdering::NotAtomic;
 554   case Instruction::Store:
 555     return cast<StoreInst>(this)->getOrdering() != AtomicOrdering::NotAtomic;
 556   }
 557 }
 558
 559 bool Instruction::hasAtomicLoad() const {
 560   assert(isAtomic());
 561   switch (getOpcode()) {
 562   default:
 563     return false;
 564   case Instruction::AtomicCmpXchg:
 565   case Instruction::AtomicRMW:
 566   case Instruction::Load:
 567     return true;
 568   }
 569 }
 570
 571 bool Instruction::hasAtomicStore() const {
 572   assert(isAtomic());
 573   switch (getOpcode()) {
 574   default:
 575     return false;
 576   case Instruction::AtomicCmpXchg:
 577   case Instruction::AtomicRMW:
 578   case Instruction::Store:
 579     return true;
 580   }
 581 }
 582
 583 bool Instruction::mayThrow() const {
 584   if (const CallInst *CI = dyn_cast<CallInst>(this))
 585     return !CI->doesNotThrow();
 586   if (const auto *CRI = dyn_cast<CleanupReturnInst>(this))
 587     return CRI->unwindsToCaller();
 588   if (const auto *CatchSwitch = dyn_cast<CatchSwitchInst>(this))
 589     return CatchSwitch->unwindsToCaller();
 590   return isa<ResumeInst>(this);
 591 }
 592
 593 bool Instruction::isSafeToRemove() const {
 594   return (!isa<CallInst>(this) || !this->mayHaveSideEffects()) &&
 595          !isa<TerminatorInst>(this);
 596 }
 597
 598 const Instruction *Instruction::getNextNonDebugInstruction() const {
 599   for (const Instruction *I = getNextNode(); I; I = I->getNextNode())
 600     if (!isa<DbgInfoIntrinsic>(I))
 601       return I;
 602   return nullptr;
 603 }
 604
 605 bool Instruction::isAssociative() const {
 606   unsigned Opcode = getOpcode();
 607   if (isAssociative(Opcode))
 608     return true;
 609
 610   switch (Opcode) {
 611   case FMul:
 612   case FAdd:
 613     return cast<FPMathOperator>(this)->hasAllowReassoc() &&
 614            cast<FPMathOperator>(this)->hasNoSignedZeros();
 615   default:
 616     return false;
 617   }
 618 }
 619
 620 Instruction *Instruction::cloneImpl() const {
 621   llvm_unreachable("Subclass of Instruction failed to implement cloneImpl");
 622 }
 623
 624 void Instruction::swapProfMetadata() {
 625   MDNode *ProfileData = getMetadata(LLVMContext::MD_prof);
 626   if (!ProfileData || ProfileData->getNumOperands() != 3 ||
 627       !isa<MDString>(ProfileData->getOperand(0)))
 628     return;
 629
 630   MDString *MDName = cast<MDString>(ProfileData->getOperand(0));
 631   if (MDName->getString() != "branch_weights")
 632     return;
 633
 634   // The first operand is the name. Fetch them backwards and build a new one.
 635   Metadata *Ops[] = {ProfileData->getOperand(0), ProfileData->getOperand(2),
 636                      ProfileData->getOperand(1)};
 637   setMetadata(LLVMContext::MD_prof,
 638               MDNode::get(ProfileData->getContext(), Ops));
 639 }
 640
 641 void Instruction::copyMetadata(const Instruction &SrcInst,
 642                                ArrayRef<unsigned> WL) {
 643   if (!SrcInst.hasMetadata())
 644     return;
 645
 646   DenseSet<unsigned> WLS;
 647   for (unsigned M : WL)
 648     WLS.insert(M);
 649
 650   // Otherwise, enumerate and copy over metadata from the old instruction to the
 651   // new one.
 652   SmallVector<std::pair<unsigned, MDNode *>, 4> TheMDs;
 653   SrcInst.getAllMetadataOtherThanDebugLoc(TheMDs);
 654   for (const auto &MD : TheMDs) {
 655     if (WL.empty() || WLS.count(MD.first))
 656       setMetadata(MD.first, MD.second);
 657   }
 658   if (WL.empty() || WLS.count(LLVMContext::MD_dbg))
 659     setDebugLoc(SrcInst.getDebugLoc());
 660 }
 661
 662 Instruction *Instruction::clone() const {
 663   Instruction *New = nullptr;
 664   switch (getOpcode()) {
 665   default:
 666     llvm_unreachable("Unhandled Opcode.");
 667 #define HANDLE_INST(num, opc, clas)                                            \
 668   case Instruction::opc:                                                       \
 669     New = cast<clas>(this)->cloneImpl();                                       \
 670     break;
 671 #include "llvm/IR/Instruction.def"
 672 #undef HANDLE_INST
 673   }
 674
 675   New->SubclassOptionalData = SubclassOptionalData;
 676   New->copyMetadata(*this);
 677   return New;
 678 }
 679
 680 void Instruction::updateProfWeight(uint64_t S, uint64_t T) {
 681   auto *ProfileData = getMetadata(LLVMContext::MD_prof);
 682   if (ProfileData == nullptr)
 683     return;
 684
 685   auto *ProfDataName = dyn_cast<MDString>(ProfileData->getOperand(0));
 686   if (!ProfDataName || (!ProfDataName->getString().equals("branch_weights") &&
 687                         !ProfDataName->getString().equals("VP")))
 688     return;
 689
 690   MDBuilder MDB(getContext());
 691   SmallVector<Metadata *, 3> Vals;
 692   Vals.push_back(ProfileData->getOperand(0));
 693   APInt APS(128, S), APT(128, T);
 694   if (ProfDataName->getString().equals("branch_weights"))
 695     for (unsigned i = 1; i < ProfileData->getNumOperands(); i++) {
 696       // Using APInt::div may be expensive, but most cases should fit 64 bits.
 697       APInt Val(128,
 698                 mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(i))
 699                     ->getValue()
 700                     .getZExtValue());
 701       Val *= APS;
 702       Vals.push_back(MDB.createConstant(
 703           ConstantInt::get(Type::getInt64Ty(getContext()),
 704                            Val.udiv(APT).getLimitedValue())));
 705     }
 706   else if (ProfDataName->getString().equals("VP"))
 707     for (unsigned i = 1; i < ProfileData->getNumOperands(); i += 2) {
 708       // The first value is the key of the value profile, which will not change.
 709       Vals.push_back(ProfileData->getOperand(i));
 710       // Using APInt::div may be expensive, but most cases should fit 64 bits.
 711       APInt Val(128,
 712                 mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(i + 1))
 713                     ->getValue()
 714                     .getZExtValue());
 715       Val *= APS;
 716       Vals.push_back(MDB.createConstant(
 717           ConstantInt::get(Type::getInt64Ty(getContext()),
 718                            Val.udiv(APT).getLimitedValue())));
 719     }
 720   setMetadata(LLVMContext::MD_prof, MDNode::get(getContext(), Vals));
 721 }
 722
 723 void Instruction::setProfWeight(uint64_t W) {
 724   assert((isa<CallInst>(this) || isa<InvokeInst>(this)) &&
 725          "Can only set weights for call and invoke instrucitons");
 726   SmallVector<uint32_t, 1> Weights;
 727   Weights.push_back(W);
 728   MDBuilder MDB(getContext());
 729   setMetadata(LLVMContext::MD_prof, MDB.createBranchWeights(Weights));
 730 }