xref: /llvm-project-15.0.7/llvm/lib/IR/Value.cpp (revision 2617dcce)
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)),
47c620761cSCraig 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) {
144c620761cSCraig 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();
206c620761cSCraig 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();
228c620761cSCraig 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 
244c620761cSCraig 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();
259c620761cSCraig 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;
286c620761cSCraig 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;
297c620761cSCraig 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()];
560*2617dcceSCraig Topper     assert(Entry && "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()];
574*2617dcceSCraig Topper   assert(!Entry && "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.
655c620761cSCraig 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