1ef860a24SChandler Carruth //===-- Value.cpp - Implement the Value class -----------------------------===// 2ef860a24SChandler Carruth // 3ef860a24SChandler Carruth // The LLVM Compiler Infrastructure 4ef860a24SChandler Carruth // 5ef860a24SChandler Carruth // This file is distributed under the University of Illinois Open Source 6ef860a24SChandler Carruth // License. See LICENSE.TXT for details. 7ef860a24SChandler Carruth // 8ef860a24SChandler Carruth //===----------------------------------------------------------------------===// 9ef860a24SChandler Carruth // 10ef860a24SChandler Carruth // This file implements the Value, ValueHandle, and User classes. 11ef860a24SChandler Carruth // 12ef860a24SChandler Carruth //===----------------------------------------------------------------------===// 13ef860a24SChandler Carruth 149fb823bbSChandler Carruth #include "llvm/IR/Value.h" 15ef860a24SChandler Carruth #include "LLVMContextImpl.h" 16ef860a24SChandler Carruth #include "llvm/ADT/DenseMap.h" 17ef860a24SChandler Carruth #include "llvm/ADT/SmallString.h" 189fb823bbSChandler Carruth #include "llvm/IR/Constant.h" 199fb823bbSChandler Carruth #include "llvm/IR/Constants.h" 209fb823bbSChandler Carruth #include "llvm/IR/DerivedTypes.h" 2103eb0de9SChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h" 229fb823bbSChandler Carruth #include "llvm/IR/InstrTypes.h" 239fb823bbSChandler Carruth #include "llvm/IR/Instructions.h" 244b6845c7SChandler Carruth #include "llvm/IR/LeakDetector.h" 259fb823bbSChandler Carruth #include "llvm/IR/Module.h" 269fb823bbSChandler Carruth #include "llvm/IR/Operator.h" 274220e9c1SChandler Carruth #include "llvm/IR/ValueHandle.h" 289fb823bbSChandler Carruth #include "llvm/IR/ValueSymbolTable.h" 29ef860a24SChandler Carruth #include "llvm/Support/Debug.h" 30ef860a24SChandler Carruth #include "llvm/Support/ErrorHandling.h" 31ef860a24SChandler Carruth #include "llvm/Support/ManagedStatic.h" 32ef860a24SChandler Carruth #include <algorithm> 33ef860a24SChandler Carruth using namespace llvm; 34ef860a24SChandler Carruth 35ef860a24SChandler Carruth //===----------------------------------------------------------------------===// 36ef860a24SChandler Carruth // Value Class 37ef860a24SChandler Carruth //===----------------------------------------------------------------------===// 38ef860a24SChandler Carruth 39ef860a24SChandler Carruth static inline Type *checkType(Type *Ty) { 40ef860a24SChandler Carruth assert(Ty && "Value defined with a null type: Error!"); 41ef860a24SChandler Carruth return const_cast<Type*>(Ty); 42ef860a24SChandler Carruth } 43ef860a24SChandler Carruth 44ef860a24SChandler Carruth Value::Value(Type *ty, unsigned scid) 45ef860a24SChandler Carruth : SubclassID(scid), HasValueHandle(0), 46ef860a24SChandler Carruth SubclassOptionalData(0), SubclassData(0), VTy((Type*)checkType(ty)), 47*c620761cSCraig Topper UseList(nullptr), Name(nullptr) { 48ef860a24SChandler Carruth // FIXME: Why isn't this in the subclass gunk?? 49ef860a24SChandler Carruth // Note, we cannot call isa<CallInst> before the CallInst has been 50ef860a24SChandler Carruth // constructed. 51ef860a24SChandler Carruth if (SubclassID == Instruction::Call || SubclassID == Instruction::Invoke) 52ef860a24SChandler Carruth assert((VTy->isFirstClassType() || VTy->isVoidTy() || VTy->isStructTy()) && 53ef860a24SChandler Carruth "invalid CallInst type!"); 54ef860a24SChandler Carruth else if (SubclassID != BasicBlockVal && 55ef860a24SChandler Carruth (SubclassID < ConstantFirstVal || SubclassID > ConstantLastVal)) 56ef860a24SChandler Carruth assert((VTy->isFirstClassType() || VTy->isVoidTy()) && 57ef860a24SChandler Carruth "Cannot create non-first-class values except for constants!"); 58ef860a24SChandler Carruth } 59ef860a24SChandler Carruth 60ef860a24SChandler Carruth Value::~Value() { 61ef860a24SChandler Carruth // Notify all ValueHandles (if present) that this value is going away. 62ef860a24SChandler Carruth if (HasValueHandle) 63ef860a24SChandler Carruth ValueHandleBase::ValueIsDeleted(this); 64ef860a24SChandler Carruth 65ef860a24SChandler Carruth #ifndef NDEBUG // Only in -g mode... 66ef860a24SChandler Carruth // Check to make sure that there are no uses of this value that are still 67ef860a24SChandler Carruth // around when the value is destroyed. If there are, then we have a dangling 68ef860a24SChandler Carruth // reference and something is wrong. This code is here to print out what is 69ef860a24SChandler Carruth // still being referenced. The value in question should be printed as 70ef860a24SChandler Carruth // a <badref> 71ef860a24SChandler Carruth // 72ef860a24SChandler Carruth if (!use_empty()) { 73ef860a24SChandler Carruth dbgs() << "While deleting: " << *VTy << " %" << getName() << "\n"; 74ef860a24SChandler Carruth for (use_iterator I = use_begin(), E = use_end(); I != E; ++I) 75ef860a24SChandler Carruth dbgs() << "Use still stuck around after Def is destroyed:" 76ef860a24SChandler Carruth << **I << "\n"; 77ef860a24SChandler Carruth } 78ef860a24SChandler Carruth #endif 79ef860a24SChandler Carruth assert(use_empty() && "Uses remain when a value is destroyed!"); 80ef860a24SChandler Carruth 81ef860a24SChandler Carruth // If this value is named, destroy the name. This should not be in a symtab 82ef860a24SChandler Carruth // at this point. 83ef860a24SChandler Carruth if (Name && SubclassID != MDStringVal) 84ef860a24SChandler Carruth Name->Destroy(); 85ef860a24SChandler Carruth 86ef860a24SChandler Carruth // There should be no uses of this object anymore, remove it. 87ef860a24SChandler Carruth LeakDetector::removeGarbageObject(this); 88ef860a24SChandler Carruth } 89ef860a24SChandler Carruth 90ef860a24SChandler Carruth /// hasNUses - Return true if this Value has exactly N users. 91ef860a24SChandler Carruth /// 92ef860a24SChandler Carruth bool Value::hasNUses(unsigned N) const { 93ef860a24SChandler Carruth const_use_iterator UI = use_begin(), E = use_end(); 94ef860a24SChandler Carruth 95ef860a24SChandler Carruth for (; N; --N, ++UI) 96ef860a24SChandler Carruth if (UI == E) return false; // Too few. 97ef860a24SChandler Carruth return UI == E; 98ef860a24SChandler Carruth } 99ef860a24SChandler Carruth 100ef860a24SChandler Carruth /// hasNUsesOrMore - Return true if this value has N users or more. This is 101ef860a24SChandler Carruth /// logically equivalent to getNumUses() >= N. 102ef860a24SChandler Carruth /// 103ef860a24SChandler Carruth bool Value::hasNUsesOrMore(unsigned N) const { 104ef860a24SChandler Carruth const_use_iterator UI = use_begin(), E = use_end(); 105ef860a24SChandler Carruth 106ef860a24SChandler Carruth for (; N; --N, ++UI) 107ef860a24SChandler Carruth if (UI == E) return false; // Too few. 108ef860a24SChandler Carruth 109ef860a24SChandler Carruth return true; 110ef860a24SChandler Carruth } 111ef860a24SChandler Carruth 112ef860a24SChandler Carruth /// isUsedInBasicBlock - Return true if this value is used in the specified 113ef860a24SChandler Carruth /// basic block. 114ef860a24SChandler Carruth bool Value::isUsedInBasicBlock(const BasicBlock *BB) const { 1150925b24dSJakob Stoklund Olesen // This can be computed either by scanning the instructions in BB, or by 1160925b24dSJakob Stoklund Olesen // scanning the use list of this Value. Both lists can be very long, but 1170925b24dSJakob Stoklund Olesen // usually one is quite short. 1180925b24dSJakob Stoklund Olesen // 1190925b24dSJakob Stoklund Olesen // Scan both lists simultaneously until one is exhausted. This limits the 1200925b24dSJakob Stoklund Olesen // search to the shorter list. 1210925b24dSJakob Stoklund Olesen BasicBlock::const_iterator BI = BB->begin(), BE = BB->end(); 122cdf47884SChandler Carruth const_user_iterator UI = user_begin(), UE = user_end(); 1230925b24dSJakob Stoklund Olesen for (; BI != BE && UI != UE; ++BI, ++UI) { 1240925b24dSJakob Stoklund Olesen // Scan basic block: Check if this Value is used by the instruction at BI. 1250925b24dSJakob Stoklund Olesen if (std::find(BI->op_begin(), BI->op_end(), this) != BI->op_end()) 126ef860a24SChandler Carruth return true; 1270925b24dSJakob Stoklund Olesen // Scan use list: Check if the use at UI is in BB. 1280925b24dSJakob Stoklund Olesen const Instruction *User = dyn_cast<Instruction>(*UI); 129ef860a24SChandler Carruth if (User && User->getParent() == BB) 130ef860a24SChandler Carruth return true; 131ef860a24SChandler Carruth } 132ef860a24SChandler Carruth return false; 133ef860a24SChandler Carruth } 134ef860a24SChandler Carruth 135ef860a24SChandler Carruth 136ef860a24SChandler Carruth /// getNumUses - This method computes the number of uses of this Value. This 137ef860a24SChandler Carruth /// is a linear time operation. Use hasOneUse or hasNUses to check for specific 138ef860a24SChandler Carruth /// values. 139ef860a24SChandler Carruth unsigned Value::getNumUses() const { 140ef860a24SChandler Carruth return (unsigned)std::distance(use_begin(), use_end()); 141ef860a24SChandler Carruth } 142ef860a24SChandler Carruth 143ef860a24SChandler Carruth static bool getSymTab(Value *V, ValueSymbolTable *&ST) { 144*c620761cSCraig Topper ST = nullptr; 145ef860a24SChandler Carruth if (Instruction *I = dyn_cast<Instruction>(V)) { 146ef860a24SChandler Carruth if (BasicBlock *P = I->getParent()) 147ef860a24SChandler Carruth if (Function *PP = P->getParent()) 148ef860a24SChandler Carruth ST = &PP->getValueSymbolTable(); 149ef860a24SChandler Carruth } else if (BasicBlock *BB = dyn_cast<BasicBlock>(V)) { 150ef860a24SChandler Carruth if (Function *P = BB->getParent()) 151ef860a24SChandler Carruth ST = &P->getValueSymbolTable(); 152ef860a24SChandler Carruth } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) { 153ef860a24SChandler Carruth if (Module *P = GV->getParent()) 154ef860a24SChandler Carruth ST = &P->getValueSymbolTable(); 155ef860a24SChandler Carruth } else if (Argument *A = dyn_cast<Argument>(V)) { 156ef860a24SChandler Carruth if (Function *P = A->getParent()) 157ef860a24SChandler Carruth ST = &P->getValueSymbolTable(); 158ef860a24SChandler Carruth } else if (isa<MDString>(V)) 159ef860a24SChandler Carruth return true; 160ef860a24SChandler Carruth else { 161ef860a24SChandler Carruth assert(isa<Constant>(V) && "Unknown value type!"); 162ef860a24SChandler Carruth return true; // no name is setable for this. 163ef860a24SChandler Carruth } 164ef860a24SChandler Carruth return false; 165ef860a24SChandler Carruth } 166ef860a24SChandler Carruth 167ef860a24SChandler Carruth StringRef Value::getName() const { 168ef860a24SChandler Carruth // Make sure the empty string is still a C string. For historical reasons, 169ef860a24SChandler Carruth // some clients want to call .data() on the result and expect it to be null 170ef860a24SChandler Carruth // terminated. 171ef860a24SChandler Carruth if (!Name) return StringRef("", 0); 172ef860a24SChandler Carruth return Name->getKey(); 173ef860a24SChandler Carruth } 174ef860a24SChandler Carruth 175ef860a24SChandler Carruth void Value::setName(const Twine &NewName) { 176ef860a24SChandler Carruth assert(SubclassID != MDStringVal && 177ef860a24SChandler Carruth "Cannot set the name of MDString with this method!"); 178ef860a24SChandler Carruth 179ef860a24SChandler Carruth // Fast path for common IRBuilder case of setName("") when there is no name. 180ef860a24SChandler Carruth if (NewName.isTriviallyEmpty() && !hasName()) 181ef860a24SChandler Carruth return; 182ef860a24SChandler Carruth 183ef860a24SChandler Carruth SmallString<256> NameData; 184ef860a24SChandler Carruth StringRef NameRef = NewName.toStringRef(NameData); 18509d689f9SRafael Espindola assert(NameRef.find_first_of(0) == StringRef::npos && 18609d689f9SRafael Espindola "Null bytes are not allowed in names"); 187ef860a24SChandler Carruth 188ef860a24SChandler Carruth // Name isn't changing? 189ef860a24SChandler Carruth if (getName() == NameRef) 190ef860a24SChandler Carruth return; 191ef860a24SChandler Carruth 192ef860a24SChandler Carruth assert(!getType()->isVoidTy() && "Cannot assign a name to void values!"); 193ef860a24SChandler Carruth 194ef860a24SChandler Carruth // Get the symbol table to update for this object. 195ef860a24SChandler Carruth ValueSymbolTable *ST; 196ef860a24SChandler Carruth if (getSymTab(this, ST)) 197ef860a24SChandler Carruth return; // Cannot set a name on this value (e.g. constant). 198ef860a24SChandler Carruth 199516d7039SMichael Ilseman if (Function *F = dyn_cast<Function>(this)) 200516d7039SMichael Ilseman getContext().pImpl->IntrinsicIDCache.erase(F); 201516d7039SMichael Ilseman 202ef860a24SChandler Carruth if (!ST) { // No symbol table to update? Just do the change. 203ef860a24SChandler Carruth if (NameRef.empty()) { 204ef860a24SChandler Carruth // Free the name for this value. 205ef860a24SChandler Carruth Name->Destroy(); 206*c620761cSCraig Topper Name = nullptr; 207ef860a24SChandler Carruth return; 208ef860a24SChandler Carruth } 209ef860a24SChandler Carruth 210ef860a24SChandler Carruth if (Name) 211ef860a24SChandler Carruth Name->Destroy(); 212ef860a24SChandler Carruth 213ef860a24SChandler Carruth // NOTE: Could optimize for the case the name is shrinking to not deallocate 214ef860a24SChandler Carruth // then reallocated. 215ef860a24SChandler Carruth 216ef860a24SChandler Carruth // Create the new name. 217ef860a24SChandler Carruth Name = ValueName::Create(NameRef.begin(), NameRef.end()); 218ef860a24SChandler Carruth Name->setValue(this); 219ef860a24SChandler Carruth return; 220ef860a24SChandler Carruth } 221ef860a24SChandler Carruth 222ef860a24SChandler Carruth // NOTE: Could optimize for the case the name is shrinking to not deallocate 223ef860a24SChandler Carruth // then reallocated. 224ef860a24SChandler Carruth if (hasName()) { 225ef860a24SChandler Carruth // Remove old name. 226ef860a24SChandler Carruth ST->removeValueName(Name); 227ef860a24SChandler Carruth Name->Destroy(); 228*c620761cSCraig Topper Name = nullptr; 229ef860a24SChandler Carruth 230ef860a24SChandler Carruth if (NameRef.empty()) 231ef860a24SChandler Carruth return; 232ef860a24SChandler Carruth } 233ef860a24SChandler Carruth 234ef860a24SChandler Carruth // Name is changing to something new. 235ef860a24SChandler Carruth Name = ST->createValueName(NameRef, this); 236ef860a24SChandler Carruth } 237ef860a24SChandler Carruth 238ef860a24SChandler Carruth 239ef860a24SChandler Carruth /// takeName - transfer the name from V to this value, setting V's name to 240ef860a24SChandler Carruth /// empty. It is an error to call V->takeName(V). 241ef860a24SChandler Carruth void Value::takeName(Value *V) { 242ef860a24SChandler Carruth assert(SubclassID != MDStringVal && "Cannot take the name of an MDString!"); 243ef860a24SChandler Carruth 244*c620761cSCraig Topper ValueSymbolTable *ST = nullptr; 245ef860a24SChandler Carruth // If this value has a name, drop it. 246ef860a24SChandler Carruth if (hasName()) { 247ef860a24SChandler Carruth // Get the symtab this is in. 248ef860a24SChandler Carruth if (getSymTab(this, ST)) { 249ef860a24SChandler Carruth // We can't set a name on this value, but we need to clear V's name if 250ef860a24SChandler Carruth // it has one. 251ef860a24SChandler Carruth if (V->hasName()) V->setName(""); 252ef860a24SChandler Carruth return; // Cannot set a name on this value (e.g. constant). 253ef860a24SChandler Carruth } 254ef860a24SChandler Carruth 255ef860a24SChandler Carruth // Remove old name. 256ef860a24SChandler Carruth if (ST) 257ef860a24SChandler Carruth ST->removeValueName(Name); 258ef860a24SChandler Carruth Name->Destroy(); 259*c620761cSCraig Topper Name = nullptr; 260ef860a24SChandler Carruth } 261ef860a24SChandler Carruth 262ef860a24SChandler Carruth // Now we know that this has no name. 263ef860a24SChandler Carruth 264ef860a24SChandler Carruth // If V has no name either, we're done. 265ef860a24SChandler Carruth if (!V->hasName()) return; 266ef860a24SChandler Carruth 267ef860a24SChandler Carruth // Get this's symtab if we didn't before. 268ef860a24SChandler Carruth if (!ST) { 269ef860a24SChandler Carruth if (getSymTab(this, ST)) { 270ef860a24SChandler Carruth // Clear V's name. 271ef860a24SChandler Carruth V->setName(""); 272ef860a24SChandler Carruth return; // Cannot set a name on this value (e.g. constant). 273ef860a24SChandler Carruth } 274ef860a24SChandler Carruth } 275ef860a24SChandler Carruth 276ef860a24SChandler Carruth // Get V's ST, this should always succed, because V has a name. 277ef860a24SChandler Carruth ValueSymbolTable *VST; 278ef860a24SChandler Carruth bool Failure = getSymTab(V, VST); 279ef860a24SChandler Carruth assert(!Failure && "V has a name, so it should have a ST!"); (void)Failure; 280ef860a24SChandler Carruth 281ef860a24SChandler Carruth // If these values are both in the same symtab, we can do this very fast. 282ef860a24SChandler Carruth // This works even if both values have no symtab yet. 283ef860a24SChandler Carruth if (ST == VST) { 284ef860a24SChandler Carruth // Take the name! 285ef860a24SChandler Carruth Name = V->Name; 286*c620761cSCraig Topper V->Name = nullptr; 287ef860a24SChandler Carruth Name->setValue(this); 288ef860a24SChandler Carruth return; 289ef860a24SChandler Carruth } 290ef860a24SChandler Carruth 291ef860a24SChandler Carruth // Otherwise, things are slightly more complex. Remove V's name from VST and 292ef860a24SChandler Carruth // then reinsert it into ST. 293ef860a24SChandler Carruth 294ef860a24SChandler Carruth if (VST) 295ef860a24SChandler Carruth VST->removeValueName(V->Name); 296ef860a24SChandler Carruth Name = V->Name; 297*c620761cSCraig Topper V->Name = nullptr; 298ef860a24SChandler Carruth Name->setValue(this); 299ef860a24SChandler Carruth 300ef860a24SChandler Carruth if (ST) 301ef860a24SChandler Carruth ST->reinsertValue(this); 302ef860a24SChandler Carruth } 303ef860a24SChandler Carruth 304ef860a24SChandler Carruth 305ef860a24SChandler Carruth void Value::replaceAllUsesWith(Value *New) { 306ef860a24SChandler Carruth assert(New && "Value::replaceAllUsesWith(<null>) is invalid!"); 307ef860a24SChandler Carruth assert(New != this && "this->replaceAllUsesWith(this) is NOT valid!"); 308ef860a24SChandler Carruth assert(New->getType() == getType() && 309ef860a24SChandler Carruth "replaceAllUses of value with new value of different type!"); 310ef860a24SChandler Carruth 311ef860a24SChandler Carruth // Notify all ValueHandles (if present) that this value is going away. 312ef860a24SChandler Carruth if (HasValueHandle) 313ef860a24SChandler Carruth ValueHandleBase::ValueIsRAUWd(this, New); 314ef860a24SChandler Carruth 315ef860a24SChandler Carruth while (!use_empty()) { 316ef860a24SChandler Carruth Use &U = *UseList; 317ef860a24SChandler Carruth // Must handle Constants specially, we cannot call replaceUsesOfWith on a 318ef860a24SChandler Carruth // constant because they are uniqued. 319ef860a24SChandler Carruth if (Constant *C = dyn_cast<Constant>(U.getUser())) { 320ef860a24SChandler Carruth if (!isa<GlobalValue>(C)) { 321ef860a24SChandler Carruth C->replaceUsesOfWithOnConstant(this, New, &U); 322ef860a24SChandler Carruth continue; 323ef860a24SChandler Carruth } 324ef860a24SChandler Carruth } 325ef860a24SChandler Carruth 326ef860a24SChandler Carruth U.set(New); 327ef860a24SChandler Carruth } 328ef860a24SChandler Carruth 329ef860a24SChandler Carruth if (BasicBlock *BB = dyn_cast<BasicBlock>(this)) 330ef860a24SChandler Carruth BB->replaceSuccessorsPhiUsesWith(cast<BasicBlock>(New)); 331ef860a24SChandler Carruth } 332ef860a24SChandler Carruth 333ef860a24SChandler Carruth namespace { 334ef860a24SChandler Carruth // Various metrics for how much to strip off of pointers. 335ef860a24SChandler Carruth enum PointerStripKind { 336ef860a24SChandler Carruth PSK_ZeroIndices, 337c229a4ffSRafael Espindola PSK_ZeroIndicesAndAliases, 338ef860a24SChandler Carruth PSK_InBoundsConstantIndices, 339ef860a24SChandler Carruth PSK_InBounds 340ef860a24SChandler Carruth }; 341ef860a24SChandler Carruth 342ef860a24SChandler Carruth template <PointerStripKind StripKind> 343ef860a24SChandler Carruth static Value *stripPointerCastsAndOffsets(Value *V) { 344ef860a24SChandler Carruth if (!V->getType()->isPointerTy()) 345ef860a24SChandler Carruth return V; 346ef860a24SChandler Carruth 347ef860a24SChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 348ef860a24SChandler Carruth // instruction in an unreachable block, which may be on a cycle. 349ef860a24SChandler Carruth SmallPtrSet<Value *, 4> Visited; 350ef860a24SChandler Carruth 351ef860a24SChandler Carruth Visited.insert(V); 352ef860a24SChandler Carruth do { 353ef860a24SChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 354ef860a24SChandler Carruth switch (StripKind) { 355c229a4ffSRafael Espindola case PSK_ZeroIndicesAndAliases: 356ef860a24SChandler Carruth case PSK_ZeroIndices: 357ef860a24SChandler Carruth if (!GEP->hasAllZeroIndices()) 358ef860a24SChandler Carruth return V; 359ef860a24SChandler Carruth break; 360ef860a24SChandler Carruth case PSK_InBoundsConstantIndices: 361ef860a24SChandler Carruth if (!GEP->hasAllConstantIndices()) 362ef860a24SChandler Carruth return V; 363ef860a24SChandler Carruth // fallthrough 364ef860a24SChandler Carruth case PSK_InBounds: 365ef860a24SChandler Carruth if (!GEP->isInBounds()) 366ef860a24SChandler Carruth return V; 367ef860a24SChandler Carruth break; 368ef860a24SChandler Carruth } 369ef860a24SChandler Carruth V = GEP->getPointerOperand(); 370b03bd4d9SMatt Arsenault } else if (Operator::getOpcode(V) == Instruction::BitCast || 371b03bd4d9SMatt Arsenault Operator::getOpcode(V) == Instruction::AddrSpaceCast) { 372ef860a24SChandler Carruth V = cast<Operator>(V)->getOperand(0); 373ef860a24SChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 374c229a4ffSRafael Espindola if (StripKind == PSK_ZeroIndices || GA->mayBeOverridden()) 375ef860a24SChandler Carruth return V; 376ef860a24SChandler Carruth V = GA->getAliasee(); 377ef860a24SChandler Carruth } else { 378ef860a24SChandler Carruth return V; 379ef860a24SChandler Carruth } 380ef860a24SChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 381ef860a24SChandler Carruth } while (Visited.insert(V)); 382ef860a24SChandler Carruth 383ef860a24SChandler Carruth return V; 384ef860a24SChandler Carruth } 385ef860a24SChandler Carruth } // namespace 386ef860a24SChandler Carruth 387ef860a24SChandler Carruth Value *Value::stripPointerCasts() { 388c229a4ffSRafael Espindola return stripPointerCastsAndOffsets<PSK_ZeroIndicesAndAliases>(this); 389c229a4ffSRafael Espindola } 390c229a4ffSRafael Espindola 391c229a4ffSRafael Espindola Value *Value::stripPointerCastsNoFollowAliases() { 392ef860a24SChandler Carruth return stripPointerCastsAndOffsets<PSK_ZeroIndices>(this); 393ef860a24SChandler Carruth } 394ef860a24SChandler Carruth 395ef860a24SChandler Carruth Value *Value::stripInBoundsConstantOffsets() { 396ef860a24SChandler Carruth return stripPointerCastsAndOffsets<PSK_InBoundsConstantIndices>(this); 397ef860a24SChandler Carruth } 398ef860a24SChandler Carruth 399989e6308SChandler Carruth Value *Value::stripAndAccumulateInBoundsConstantOffsets(const DataLayout &DL, 400989e6308SChandler Carruth APInt &Offset) { 401989e6308SChandler Carruth if (!getType()->isPointerTy()) 402989e6308SChandler Carruth return this; 403989e6308SChandler Carruth 404989e6308SChandler Carruth assert(Offset.getBitWidth() == DL.getPointerSizeInBits(cast<PointerType>( 405989e6308SChandler Carruth getType())->getAddressSpace()) && 406989e6308SChandler Carruth "The offset must have exactly as many bits as our pointer."); 407989e6308SChandler Carruth 408989e6308SChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 409989e6308SChandler Carruth // instruction in an unreachable block, which may be on a cycle. 410989e6308SChandler Carruth SmallPtrSet<Value *, 4> Visited; 411989e6308SChandler Carruth Visited.insert(this); 412989e6308SChandler Carruth Value *V = this; 413989e6308SChandler Carruth do { 414989e6308SChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 415989e6308SChandler Carruth if (!GEP->isInBounds()) 416989e6308SChandler Carruth return V; 417ba689b33SChandler Carruth APInt GEPOffset(Offset); 418ba689b33SChandler Carruth if (!GEP->accumulateConstantOffset(DL, GEPOffset)) 419989e6308SChandler Carruth return V; 420ba689b33SChandler Carruth Offset = GEPOffset; 421989e6308SChandler Carruth V = GEP->getPointerOperand(); 422989e6308SChandler Carruth } else if (Operator::getOpcode(V) == Instruction::BitCast) { 423989e6308SChandler Carruth V = cast<Operator>(V)->getOperand(0); 424989e6308SChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 425989e6308SChandler Carruth V = GA->getAliasee(); 426989e6308SChandler Carruth } else { 427989e6308SChandler Carruth return V; 428989e6308SChandler Carruth } 429989e6308SChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 430989e6308SChandler Carruth } while (Visited.insert(V)); 431989e6308SChandler Carruth 432989e6308SChandler Carruth return V; 433989e6308SChandler Carruth } 434989e6308SChandler Carruth 435ef860a24SChandler Carruth Value *Value::stripInBoundsOffsets() { 436ef860a24SChandler Carruth return stripPointerCastsAndOffsets<PSK_InBounds>(this); 437ef860a24SChandler Carruth } 438ef860a24SChandler Carruth 439ef860a24SChandler Carruth /// isDereferenceablePointer - Test if this value is always a pointer to 440ef860a24SChandler Carruth /// allocated and suitably aligned memory for a simple load or store. 441ef860a24SChandler Carruth static bool isDereferenceablePointer(const Value *V, 442ef860a24SChandler Carruth SmallPtrSet<const Value *, 32> &Visited) { 443ef860a24SChandler Carruth // Note that it is not safe to speculate into a malloc'd region because 444ef860a24SChandler Carruth // malloc may return null. 445ef860a24SChandler Carruth // It's also not always safe to follow a bitcast, for example: 446ef860a24SChandler Carruth // bitcast i8* (alloca i8) to i32* 447ef860a24SChandler Carruth // would result in a 4-byte load from a 1-byte alloca. Some cases could 448ef860a24SChandler Carruth // be handled using DataLayout to check sizes and alignments though. 449ef860a24SChandler Carruth 450ef860a24SChandler Carruth // These are obviously ok. 451ef860a24SChandler Carruth if (isa<AllocaInst>(V)) return true; 452ef860a24SChandler Carruth 453ef860a24SChandler Carruth // Global variables which can't collapse to null are ok. 454ef860a24SChandler Carruth if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V)) 455ef860a24SChandler Carruth return !GV->hasExternalWeakLinkage(); 456ef860a24SChandler Carruth 457ef860a24SChandler Carruth // byval arguments are ok. 458ef860a24SChandler Carruth if (const Argument *A = dyn_cast<Argument>(V)) 459ef860a24SChandler Carruth return A->hasByValAttr(); 460ef860a24SChandler Carruth 461ef860a24SChandler Carruth // For GEPs, determine if the indexing lands within the allocated object. 462ef860a24SChandler Carruth if (const GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 463ef860a24SChandler Carruth // Conservatively require that the base pointer be fully dereferenceable. 464ef860a24SChandler Carruth if (!Visited.insert(GEP->getOperand(0))) 465ef860a24SChandler Carruth return false; 466ef860a24SChandler Carruth if (!isDereferenceablePointer(GEP->getOperand(0), Visited)) 467ef860a24SChandler Carruth return false; 468ef860a24SChandler Carruth // Check the indices. 469ef860a24SChandler Carruth gep_type_iterator GTI = gep_type_begin(GEP); 470ef860a24SChandler Carruth for (User::const_op_iterator I = GEP->op_begin()+1, 471ef860a24SChandler Carruth E = GEP->op_end(); I != E; ++I) { 472ef860a24SChandler Carruth Value *Index = *I; 473ef860a24SChandler Carruth Type *Ty = *GTI++; 474ef860a24SChandler Carruth // Struct indices can't be out of bounds. 475ef860a24SChandler Carruth if (isa<StructType>(Ty)) 476ef860a24SChandler Carruth continue; 477ef860a24SChandler Carruth ConstantInt *CI = dyn_cast<ConstantInt>(Index); 478ef860a24SChandler Carruth if (!CI) 479ef860a24SChandler Carruth return false; 480ef860a24SChandler Carruth // Zero is always ok. 481ef860a24SChandler Carruth if (CI->isZero()) 482ef860a24SChandler Carruth continue; 483ef860a24SChandler Carruth // Check to see that it's within the bounds of an array. 484ef860a24SChandler Carruth ArrayType *ATy = dyn_cast<ArrayType>(Ty); 485ef860a24SChandler Carruth if (!ATy) 486ef860a24SChandler Carruth return false; 487ef860a24SChandler Carruth if (CI->getValue().getActiveBits() > 64) 488ef860a24SChandler Carruth return false; 489ef860a24SChandler Carruth if (CI->getZExtValue() >= ATy->getNumElements()) 490ef860a24SChandler Carruth return false; 491ef860a24SChandler Carruth } 492ef860a24SChandler Carruth // Indices check out; this is dereferenceable. 493ef860a24SChandler Carruth return true; 494ef860a24SChandler Carruth } 495ef860a24SChandler Carruth 496ef860a24SChandler Carruth // If we don't know, assume the worst. 497ef860a24SChandler Carruth return false; 498ef860a24SChandler Carruth } 499ef860a24SChandler Carruth 500ef860a24SChandler Carruth /// isDereferenceablePointer - Test if this value is always a pointer to 501ef860a24SChandler Carruth /// allocated and suitably aligned memory for a simple load or store. 502ef860a24SChandler Carruth bool Value::isDereferenceablePointer() const { 503ef860a24SChandler Carruth SmallPtrSet<const Value *, 32> Visited; 504ef860a24SChandler Carruth return ::isDereferenceablePointer(this, Visited); 505ef860a24SChandler Carruth } 506ef860a24SChandler Carruth 507ef860a24SChandler Carruth /// DoPHITranslation - If this value is a PHI node with CurBB as its parent, 508ef860a24SChandler Carruth /// return the value in the PHI node corresponding to PredBB. If not, return 509ef860a24SChandler Carruth /// ourself. This is useful if you want to know the value something has in a 510ef860a24SChandler Carruth /// predecessor block. 511ef860a24SChandler Carruth Value *Value::DoPHITranslation(const BasicBlock *CurBB, 512ef860a24SChandler Carruth const BasicBlock *PredBB) { 513ef860a24SChandler Carruth PHINode *PN = dyn_cast<PHINode>(this); 514ef860a24SChandler Carruth if (PN && PN->getParent() == CurBB) 515ef860a24SChandler Carruth return PN->getIncomingValueForBlock(PredBB); 516ef860a24SChandler Carruth return this; 517ef860a24SChandler Carruth } 518ef860a24SChandler Carruth 519ef860a24SChandler Carruth LLVMContext &Value::getContext() const { return VTy->getContext(); } 520ef860a24SChandler Carruth 521ef860a24SChandler Carruth //===----------------------------------------------------------------------===// 522ef860a24SChandler Carruth // ValueHandleBase Class 523ef860a24SChandler Carruth //===----------------------------------------------------------------------===// 524ef860a24SChandler Carruth 525ef860a24SChandler Carruth /// AddToExistingUseList - Add this ValueHandle to the use list for VP, where 526ef860a24SChandler Carruth /// List is known to point into the existing use list. 527ef860a24SChandler Carruth void ValueHandleBase::AddToExistingUseList(ValueHandleBase **List) { 528ef860a24SChandler Carruth assert(List && "Handle list is null?"); 529ef860a24SChandler Carruth 530ef860a24SChandler Carruth // Splice ourselves into the list. 531ef860a24SChandler Carruth Next = *List; 532ef860a24SChandler Carruth *List = this; 533ef860a24SChandler Carruth setPrevPtr(List); 534ef860a24SChandler Carruth if (Next) { 535ef860a24SChandler Carruth Next->setPrevPtr(&Next); 536ef860a24SChandler Carruth assert(VP.getPointer() == Next->VP.getPointer() && "Added to wrong list?"); 537ef860a24SChandler Carruth } 538ef860a24SChandler Carruth } 539ef860a24SChandler Carruth 540ef860a24SChandler Carruth void ValueHandleBase::AddToExistingUseListAfter(ValueHandleBase *List) { 541ef860a24SChandler Carruth assert(List && "Must insert after existing node"); 542ef860a24SChandler Carruth 543ef860a24SChandler Carruth Next = List->Next; 544ef860a24SChandler Carruth setPrevPtr(&List->Next); 545ef860a24SChandler Carruth List->Next = this; 546ef860a24SChandler Carruth if (Next) 547ef860a24SChandler Carruth Next->setPrevPtr(&Next); 548ef860a24SChandler Carruth } 549ef860a24SChandler Carruth 550ef860a24SChandler Carruth /// AddToUseList - Add this ValueHandle to the use list for VP. 551ef860a24SChandler Carruth void ValueHandleBase::AddToUseList() { 552ef860a24SChandler Carruth assert(VP.getPointer() && "Null pointer doesn't have a use list!"); 553ef860a24SChandler Carruth 554ef860a24SChandler Carruth LLVMContextImpl *pImpl = VP.getPointer()->getContext().pImpl; 555ef860a24SChandler Carruth 556ef860a24SChandler Carruth if (VP.getPointer()->HasValueHandle) { 557ef860a24SChandler Carruth // If this value already has a ValueHandle, then it must be in the 558ef860a24SChandler Carruth // ValueHandles map already. 559ef860a24SChandler Carruth ValueHandleBase *&Entry = pImpl->ValueHandles[VP.getPointer()]; 560ef860a24SChandler Carruth assert(Entry != 0 && "Value doesn't have any handles?"); 561ef860a24SChandler Carruth AddToExistingUseList(&Entry); 562ef860a24SChandler Carruth return; 563ef860a24SChandler Carruth } 564ef860a24SChandler Carruth 565ef860a24SChandler Carruth // Ok, it doesn't have any handles yet, so we must insert it into the 566ef860a24SChandler Carruth // DenseMap. However, doing this insertion could cause the DenseMap to 567ef860a24SChandler Carruth // reallocate itself, which would invalidate all of the PrevP pointers that 568ef860a24SChandler Carruth // point into the old table. Handle this by checking for reallocation and 569ef860a24SChandler Carruth // updating the stale pointers only if needed. 570ef860a24SChandler Carruth DenseMap<Value*, ValueHandleBase*> &Handles = pImpl->ValueHandles; 571ef860a24SChandler Carruth const void *OldBucketPtr = Handles.getPointerIntoBucketsArray(); 572ef860a24SChandler Carruth 573ef860a24SChandler Carruth ValueHandleBase *&Entry = Handles[VP.getPointer()]; 574ef860a24SChandler Carruth assert(Entry == 0 && "Value really did already have handles?"); 575ef860a24SChandler Carruth AddToExistingUseList(&Entry); 576ef860a24SChandler Carruth VP.getPointer()->HasValueHandle = true; 577ef860a24SChandler Carruth 578ef860a24SChandler Carruth // If reallocation didn't happen or if this was the first insertion, don't 579ef860a24SChandler Carruth // walk the table. 580ef860a24SChandler Carruth if (Handles.isPointerIntoBucketsArray(OldBucketPtr) || 581ef860a24SChandler Carruth Handles.size() == 1) { 582ef860a24SChandler Carruth return; 583ef860a24SChandler Carruth } 584ef860a24SChandler Carruth 585ef860a24SChandler Carruth // Okay, reallocation did happen. Fix the Prev Pointers. 586ef860a24SChandler Carruth for (DenseMap<Value*, ValueHandleBase*>::iterator I = Handles.begin(), 587ef860a24SChandler Carruth E = Handles.end(); I != E; ++I) { 588ef860a24SChandler Carruth assert(I->second && I->first == I->second->VP.getPointer() && 589ef860a24SChandler Carruth "List invariant broken!"); 590ef860a24SChandler Carruth I->second->setPrevPtr(&I->second); 591ef860a24SChandler Carruth } 592ef860a24SChandler Carruth } 593ef860a24SChandler Carruth 594ef860a24SChandler Carruth /// RemoveFromUseList - Remove this ValueHandle from its current use list. 595ef860a24SChandler Carruth void ValueHandleBase::RemoveFromUseList() { 596ef860a24SChandler Carruth assert(VP.getPointer() && VP.getPointer()->HasValueHandle && 597ef860a24SChandler Carruth "Pointer doesn't have a use list!"); 598ef860a24SChandler Carruth 599ef860a24SChandler Carruth // Unlink this from its use list. 600ef860a24SChandler Carruth ValueHandleBase **PrevPtr = getPrevPtr(); 601ef860a24SChandler Carruth assert(*PrevPtr == this && "List invariant broken"); 602ef860a24SChandler Carruth 603ef860a24SChandler Carruth *PrevPtr = Next; 604ef860a24SChandler Carruth if (Next) { 605ef860a24SChandler Carruth assert(Next->getPrevPtr() == &Next && "List invariant broken"); 606ef860a24SChandler Carruth Next->setPrevPtr(PrevPtr); 607ef860a24SChandler Carruth return; 608ef860a24SChandler Carruth } 609ef860a24SChandler Carruth 610ef860a24SChandler Carruth // If the Next pointer was null, then it is possible that this was the last 611ef860a24SChandler Carruth // ValueHandle watching VP. If so, delete its entry from the ValueHandles 612ef860a24SChandler Carruth // map. 613ef860a24SChandler Carruth LLVMContextImpl *pImpl = VP.getPointer()->getContext().pImpl; 614ef860a24SChandler Carruth DenseMap<Value*, ValueHandleBase*> &Handles = pImpl->ValueHandles; 615ef860a24SChandler Carruth if (Handles.isPointerIntoBucketsArray(PrevPtr)) { 616ef860a24SChandler Carruth Handles.erase(VP.getPointer()); 617ef860a24SChandler Carruth VP.getPointer()->HasValueHandle = false; 618ef860a24SChandler Carruth } 619ef860a24SChandler Carruth } 620ef860a24SChandler Carruth 621ef860a24SChandler Carruth 622ef860a24SChandler Carruth void ValueHandleBase::ValueIsDeleted(Value *V) { 623ef860a24SChandler Carruth assert(V->HasValueHandle && "Should only be called if ValueHandles present"); 624ef860a24SChandler Carruth 625ef860a24SChandler Carruth // Get the linked list base, which is guaranteed to exist since the 626ef860a24SChandler Carruth // HasValueHandle flag is set. 627ef860a24SChandler Carruth LLVMContextImpl *pImpl = V->getContext().pImpl; 628ef860a24SChandler Carruth ValueHandleBase *Entry = pImpl->ValueHandles[V]; 629ef860a24SChandler Carruth assert(Entry && "Value bit set but no entries exist"); 630ef860a24SChandler Carruth 631ef860a24SChandler Carruth // We use a local ValueHandleBase as an iterator so that ValueHandles can add 632ef860a24SChandler Carruth // and remove themselves from the list without breaking our iteration. This 633ef860a24SChandler Carruth // is not really an AssertingVH; we just have to give ValueHandleBase a kind. 634ef860a24SChandler Carruth // Note that we deliberately do not the support the case when dropping a value 635ef860a24SChandler Carruth // handle results in a new value handle being permanently added to the list 636ef860a24SChandler Carruth // (as might occur in theory for CallbackVH's): the new value handle will not 637ef860a24SChandler Carruth // be processed and the checking code will mete out righteous punishment if 638ef860a24SChandler Carruth // the handle is still present once we have finished processing all the other 639ef860a24SChandler Carruth // value handles (it is fine to momentarily add then remove a value handle). 640ef860a24SChandler Carruth for (ValueHandleBase Iterator(Assert, *Entry); Entry; Entry = Iterator.Next) { 641ef860a24SChandler Carruth Iterator.RemoveFromUseList(); 642ef860a24SChandler Carruth Iterator.AddToExistingUseListAfter(Entry); 643ef860a24SChandler Carruth assert(Entry->Next == &Iterator && "Loop invariant broken."); 644ef860a24SChandler Carruth 645ef860a24SChandler Carruth switch (Entry->getKind()) { 646ef860a24SChandler Carruth case Assert: 647ef860a24SChandler Carruth break; 648ef860a24SChandler Carruth case Tracking: 649ef860a24SChandler Carruth // Mark that this value has been deleted by setting it to an invalid Value 650ef860a24SChandler Carruth // pointer. 651ef860a24SChandler Carruth Entry->operator=(DenseMapInfo<Value *>::getTombstoneKey()); 652ef860a24SChandler Carruth break; 653ef860a24SChandler Carruth case Weak: 654ef860a24SChandler Carruth // Weak just goes to null, which will unlink it from the list. 655*c620761cSCraig Topper Entry->operator=(nullptr); 656ef860a24SChandler Carruth break; 657ef860a24SChandler Carruth case Callback: 658ef860a24SChandler Carruth // Forward to the subclass's implementation. 659ef860a24SChandler Carruth static_cast<CallbackVH*>(Entry)->deleted(); 660ef860a24SChandler Carruth break; 661ef860a24SChandler Carruth } 662ef860a24SChandler Carruth } 663ef860a24SChandler Carruth 664ef860a24SChandler Carruth // All callbacks, weak references, and assertingVHs should be dropped by now. 665ef860a24SChandler Carruth if (V->HasValueHandle) { 666ef860a24SChandler Carruth #ifndef NDEBUG // Only in +Asserts mode... 667ef860a24SChandler Carruth dbgs() << "While deleting: " << *V->getType() << " %" << V->getName() 668ef860a24SChandler Carruth << "\n"; 669ef860a24SChandler Carruth if (pImpl->ValueHandles[V]->getKind() == Assert) 670ef860a24SChandler Carruth llvm_unreachable("An asserting value handle still pointed to this" 671ef860a24SChandler Carruth " value!"); 672ef860a24SChandler Carruth 673ef860a24SChandler Carruth #endif 674ef860a24SChandler Carruth llvm_unreachable("All references to V were not removed?"); 675ef860a24SChandler Carruth } 676ef860a24SChandler Carruth } 677ef860a24SChandler Carruth 678ef860a24SChandler Carruth 679ef860a24SChandler Carruth void ValueHandleBase::ValueIsRAUWd(Value *Old, Value *New) { 680ef860a24SChandler Carruth assert(Old->HasValueHandle &&"Should only be called if ValueHandles present"); 681ef860a24SChandler Carruth assert(Old != New && "Changing value into itself!"); 682ef860a24SChandler Carruth 683ef860a24SChandler Carruth // Get the linked list base, which is guaranteed to exist since the 684ef860a24SChandler Carruth // HasValueHandle flag is set. 685ef860a24SChandler Carruth LLVMContextImpl *pImpl = Old->getContext().pImpl; 686ef860a24SChandler Carruth ValueHandleBase *Entry = pImpl->ValueHandles[Old]; 687ef860a24SChandler Carruth 688ef860a24SChandler Carruth assert(Entry && "Value bit set but no entries exist"); 689ef860a24SChandler Carruth 690ef860a24SChandler Carruth // We use a local ValueHandleBase as an iterator so that 691ef860a24SChandler Carruth // ValueHandles can add and remove themselves from the list without 692ef860a24SChandler Carruth // breaking our iteration. This is not really an AssertingVH; we 693ef860a24SChandler Carruth // just have to give ValueHandleBase some kind. 694ef860a24SChandler Carruth for (ValueHandleBase Iterator(Assert, *Entry); Entry; Entry = Iterator.Next) { 695ef860a24SChandler Carruth Iterator.RemoveFromUseList(); 696ef860a24SChandler Carruth Iterator.AddToExistingUseListAfter(Entry); 697ef860a24SChandler Carruth assert(Entry->Next == &Iterator && "Loop invariant broken."); 698ef860a24SChandler Carruth 699ef860a24SChandler Carruth switch (Entry->getKind()) { 700ef860a24SChandler Carruth case Assert: 701ef860a24SChandler Carruth // Asserting handle does not follow RAUW implicitly. 702ef860a24SChandler Carruth break; 703ef860a24SChandler Carruth case Tracking: 704ef860a24SChandler Carruth // Tracking goes to new value like a WeakVH. Note that this may make it 705ef860a24SChandler Carruth // something incompatible with its templated type. We don't want to have a 706ef860a24SChandler Carruth // virtual (or inline) interface to handle this though, so instead we make 707ef860a24SChandler Carruth // the TrackingVH accessors guarantee that a client never sees this value. 708ef860a24SChandler Carruth 709ef860a24SChandler Carruth // FALLTHROUGH 710ef860a24SChandler Carruth case Weak: 711ef860a24SChandler Carruth // Weak goes to the new value, which will unlink it from Old's list. 712ef860a24SChandler Carruth Entry->operator=(New); 713ef860a24SChandler Carruth break; 714ef860a24SChandler Carruth case Callback: 715ef860a24SChandler Carruth // Forward to the subclass's implementation. 716ef860a24SChandler Carruth static_cast<CallbackVH*>(Entry)->allUsesReplacedWith(New); 717ef860a24SChandler Carruth break; 718ef860a24SChandler Carruth } 719ef860a24SChandler Carruth } 720ef860a24SChandler Carruth 721ef860a24SChandler Carruth #ifndef NDEBUG 722ef860a24SChandler Carruth // If any new tracking or weak value handles were added while processing the 723ef860a24SChandler Carruth // list, then complain about it now. 724ef860a24SChandler Carruth if (Old->HasValueHandle) 725ef860a24SChandler Carruth for (Entry = pImpl->ValueHandles[Old]; Entry; Entry = Entry->Next) 726ef860a24SChandler Carruth switch (Entry->getKind()) { 727ef860a24SChandler Carruth case Tracking: 728ef860a24SChandler Carruth case Weak: 729ef860a24SChandler Carruth dbgs() << "After RAUW from " << *Old->getType() << " %" 730ef860a24SChandler Carruth << Old->getName() << " to " << *New->getType() << " %" 731ef860a24SChandler Carruth << New->getName() << "\n"; 732ef860a24SChandler Carruth llvm_unreachable("A tracking or weak value handle still pointed to the" 733ef860a24SChandler Carruth " old value!\n"); 734ef860a24SChandler Carruth default: 735ef860a24SChandler Carruth break; 736ef860a24SChandler Carruth } 737ef860a24SChandler Carruth #endif 738ef860a24SChandler Carruth } 739ef860a24SChandler Carruth 740d12ccbd3SJuergen Ributzka // Pin the vtable to this file. 741d12ccbd3SJuergen Ributzka void CallbackVH::anchor() {} 742