1 //===-- Constants.cpp - Implement Constant nodes --------------------------===//
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 Constant* classes.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "llvm/IR/Constants.h"
15 #include "ConstantFold.h"
16 #include "LLVMContextImpl.h"
17 #include "llvm/ADT/STLExtras.h"
18 #include "llvm/ADT/SmallVector.h"
19 #include "llvm/ADT/StringExtras.h"
20 #include "llvm/ADT/StringMap.h"
21 #include "llvm/IR/DerivedTypes.h"
22 #include "llvm/IR/GetElementPtrTypeIterator.h"
23 #include "llvm/IR/GlobalValue.h"
24 #include "llvm/IR/Instructions.h"
25 #include "llvm/IR/Module.h"
26 #include "llvm/IR/Operator.h"
27 #include "llvm/Support/Debug.h"
28 #include "llvm/Support/ErrorHandling.h"
29 #include "llvm/Support/ManagedStatic.h"
30 #include "llvm/Support/MathExtras.h"
31 #include "llvm/Support/raw_ostream.h"
32 #include <algorithm>
33 #include <cstdarg>
34 using namespace llvm;
35 
36 //===----------------------------------------------------------------------===//
37 //                              Constant Class
38 //===----------------------------------------------------------------------===//
39 
40 void Constant::anchor() { }
41 
42 void ConstantData::anchor() {}
43 
44 bool Constant::isNegativeZeroValue() const {
45   // Floating point values have an explicit -0.0 value.
46   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
47     return CFP->isZero() && CFP->isNegative();
48 
49   // Equivalent for a vector of -0.0's.
50   if (const ConstantDataVector *CV = dyn_cast<ConstantDataVector>(this))
51     if (ConstantFP *SplatCFP = dyn_cast_or_null<ConstantFP>(CV->getSplatValue()))
52       if (SplatCFP && SplatCFP->isZero() && SplatCFP->isNegative())
53         return true;
54 
55   if (const ConstantVector *CV = dyn_cast<ConstantVector>(this))
56     if (ConstantFP *SplatCFP = dyn_cast_or_null<ConstantFP>(CV->getSplatValue()))
57       if (SplatCFP && SplatCFP->isZero() && SplatCFP->isNegative())
58         return true;
59 
60   // We've already handled true FP case; any other FP vectors can't represent -0.0.
61   if (getType()->isFPOrFPVectorTy())
62     return false;
63 
64   // Otherwise, just use +0.0.
65   return isNullValue();
66 }
67 
68 // Return true iff this constant is positive zero (floating point), negative
69 // zero (floating point), or a null value.
70 bool Constant::isZeroValue() const {
71   // Floating point values have an explicit -0.0 value.
72   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
73     return CFP->isZero();
74 
75   // Equivalent for a vector of -0.0's.
76   if (const ConstantDataVector *CV = dyn_cast<ConstantDataVector>(this))
77     if (ConstantFP *SplatCFP = dyn_cast_or_null<ConstantFP>(CV->getSplatValue()))
78       if (SplatCFP && SplatCFP->isZero())
79         return true;
80 
81   if (const ConstantVector *CV = dyn_cast<ConstantVector>(this))
82     if (ConstantFP *SplatCFP = dyn_cast_or_null<ConstantFP>(CV->getSplatValue()))
83       if (SplatCFP && SplatCFP->isZero())
84         return true;
85 
86   // Otherwise, just use +0.0.
87   return isNullValue();
88 }
89 
90 bool Constant::isNullValue() const {
91   // 0 is null.
92   if (const ConstantInt *CI = dyn_cast<ConstantInt>(this))
93     return CI->isZero();
94 
95   // +0.0 is null.
96   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
97     return CFP->isZero() && !CFP->isNegative();
98 
99   // constant zero is zero for aggregates, cpnull is null for pointers, none for
100   // tokens.
101   return isa<ConstantAggregateZero>(this) || isa<ConstantPointerNull>(this) ||
102          isa<ConstantTokenNone>(this);
103 }
104 
105 bool Constant::isAllOnesValue() const {
106   // Check for -1 integers
107   if (const ConstantInt *CI = dyn_cast<ConstantInt>(this))
108     return CI->isMinusOne();
109 
110   // Check for FP which are bitcasted from -1 integers
111   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
112     return CFP->getValueAPF().bitcastToAPInt().isAllOnesValue();
113 
114   // Check for constant vectors which are splats of -1 values.
115   if (const ConstantVector *CV = dyn_cast<ConstantVector>(this))
116     if (Constant *Splat = CV->getSplatValue())
117       return Splat->isAllOnesValue();
118 
119   // Check for constant vectors which are splats of -1 values.
120   if (const ConstantDataVector *CV = dyn_cast<ConstantDataVector>(this))
121     if (Constant *Splat = CV->getSplatValue())
122       return Splat->isAllOnesValue();
123 
124   return false;
125 }
126 
127 bool Constant::isOneValue() const {
128   // Check for 1 integers
129   if (const ConstantInt *CI = dyn_cast<ConstantInt>(this))
130     return CI->isOne();
131 
132   // Check for FP which are bitcasted from 1 integers
133   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
134     return CFP->getValueAPF().bitcastToAPInt() == 1;
135 
136   // Check for constant vectors which are splats of 1 values.
137   if (const ConstantVector *CV = dyn_cast<ConstantVector>(this))
138     if (Constant *Splat = CV->getSplatValue())
139       return Splat->isOneValue();
140 
141   // Check for constant vectors which are splats of 1 values.
142   if (const ConstantDataVector *CV = dyn_cast<ConstantDataVector>(this))
143     if (Constant *Splat = CV->getSplatValue())
144       return Splat->isOneValue();
145 
146   return false;
147 }
148 
149 bool Constant::isMinSignedValue() const {
150   // Check for INT_MIN integers
151   if (const ConstantInt *CI = dyn_cast<ConstantInt>(this))
152     return CI->isMinValue(/*isSigned=*/true);
153 
154   // Check for FP which are bitcasted from INT_MIN integers
155   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
156     return CFP->getValueAPF().bitcastToAPInt().isMinSignedValue();
157 
158   // Check for constant vectors which are splats of INT_MIN values.
159   if (const ConstantVector *CV = dyn_cast<ConstantVector>(this))
160     if (Constant *Splat = CV->getSplatValue())
161       return Splat->isMinSignedValue();
162 
163   // Check for constant vectors which are splats of INT_MIN values.
164   if (const ConstantDataVector *CV = dyn_cast<ConstantDataVector>(this))
165     if (Constant *Splat = CV->getSplatValue())
166       return Splat->isMinSignedValue();
167 
168   return false;
169 }
170 
171 bool Constant::isNotMinSignedValue() const {
172   // Check for INT_MIN integers
173   if (const ConstantInt *CI = dyn_cast<ConstantInt>(this))
174     return !CI->isMinValue(/*isSigned=*/true);
175 
176   // Check for FP which are bitcasted from INT_MIN integers
177   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
178     return !CFP->getValueAPF().bitcastToAPInt().isMinSignedValue();
179 
180   // Check for constant vectors which are splats of INT_MIN values.
181   if (const ConstantVector *CV = dyn_cast<ConstantVector>(this))
182     if (Constant *Splat = CV->getSplatValue())
183       return Splat->isNotMinSignedValue();
184 
185   // Check for constant vectors which are splats of INT_MIN values.
186   if (const ConstantDataVector *CV = dyn_cast<ConstantDataVector>(this))
187     if (Constant *Splat = CV->getSplatValue())
188       return Splat->isNotMinSignedValue();
189 
190   // It *may* contain INT_MIN, we can't tell.
191   return false;
192 }
193 
194 /// Constructor to create a '0' constant of arbitrary type.
195 Constant *Constant::getNullValue(Type *Ty) {
196   switch (Ty->getTypeID()) {
197   case Type::IntegerTyID:
198     return ConstantInt::get(Ty, 0);
199   case Type::HalfTyID:
200     return ConstantFP::get(Ty->getContext(),
201                            APFloat::getZero(APFloat::IEEEhalf));
202   case Type::FloatTyID:
203     return ConstantFP::get(Ty->getContext(),
204                            APFloat::getZero(APFloat::IEEEsingle));
205   case Type::DoubleTyID:
206     return ConstantFP::get(Ty->getContext(),
207                            APFloat::getZero(APFloat::IEEEdouble));
208   case Type::X86_FP80TyID:
209     return ConstantFP::get(Ty->getContext(),
210                            APFloat::getZero(APFloat::x87DoubleExtended));
211   case Type::FP128TyID:
212     return ConstantFP::get(Ty->getContext(),
213                            APFloat::getZero(APFloat::IEEEquad));
214   case Type::PPC_FP128TyID:
215     return ConstantFP::get(Ty->getContext(),
216                            APFloat(APFloat::PPCDoubleDouble,
217                                    APInt::getNullValue(128)));
218   case Type::PointerTyID:
219     return ConstantPointerNull::get(cast<PointerType>(Ty));
220   case Type::StructTyID:
221   case Type::ArrayTyID:
222   case Type::VectorTyID:
223     return ConstantAggregateZero::get(Ty);
224   case Type::TokenTyID:
225     return ConstantTokenNone::get(Ty->getContext());
226   default:
227     // Function, Label, or Opaque type?
228     llvm_unreachable("Cannot create a null constant of that type!");
229   }
230 }
231 
232 Constant *Constant::getIntegerValue(Type *Ty, const APInt &V) {
233   Type *ScalarTy = Ty->getScalarType();
234 
235   // Create the base integer constant.
236   Constant *C = ConstantInt::get(Ty->getContext(), V);
237 
238   // Convert an integer to a pointer, if necessary.
239   if (PointerType *PTy = dyn_cast<PointerType>(ScalarTy))
240     C = ConstantExpr::getIntToPtr(C, PTy);
241 
242   // Broadcast a scalar to a vector, if necessary.
243   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
244     C = ConstantVector::getSplat(VTy->getNumElements(), C);
245 
246   return C;
247 }
248 
249 Constant *Constant::getAllOnesValue(Type *Ty) {
250   if (IntegerType *ITy = dyn_cast<IntegerType>(Ty))
251     return ConstantInt::get(Ty->getContext(),
252                             APInt::getAllOnesValue(ITy->getBitWidth()));
253 
254   if (Ty->isFloatingPointTy()) {
255     APFloat FL = APFloat::getAllOnesValue(Ty->getPrimitiveSizeInBits(),
256                                           !Ty->isPPC_FP128Ty());
257     return ConstantFP::get(Ty->getContext(), FL);
258   }
259 
260   VectorType *VTy = cast<VectorType>(Ty);
261   return ConstantVector::getSplat(VTy->getNumElements(),
262                                   getAllOnesValue(VTy->getElementType()));
263 }
264 
265 Constant *Constant::getAggregateElement(unsigned Elt) const {
266   if (const ConstantAggregate *CC = dyn_cast<ConstantAggregate>(this))
267     return Elt < CC->getNumOperands() ? CC->getOperand(Elt) : nullptr;
268 
269   if (const ConstantAggregateZero *CAZ = dyn_cast<ConstantAggregateZero>(this))
270     return Elt < CAZ->getNumElements() ? CAZ->getElementValue(Elt) : nullptr;
271 
272   if (const UndefValue *UV = dyn_cast<UndefValue>(this))
273     return Elt < UV->getNumElements() ? UV->getElementValue(Elt) : nullptr;
274 
275   if (const ConstantDataSequential *CDS =dyn_cast<ConstantDataSequential>(this))
276     return Elt < CDS->getNumElements() ? CDS->getElementAsConstant(Elt)
277                                        : nullptr;
278   return nullptr;
279 }
280 
281 Constant *Constant::getAggregateElement(Constant *Elt) const {
282   assert(isa<IntegerType>(Elt->getType()) && "Index must be an integer");
283   if (ConstantInt *CI = dyn_cast<ConstantInt>(Elt))
284     return getAggregateElement(CI->getZExtValue());
285   return nullptr;
286 }
287 
288 void Constant::destroyConstant() {
289   /// First call destroyConstantImpl on the subclass.  This gives the subclass
290   /// a chance to remove the constant from any maps/pools it's contained in.
291   switch (getValueID()) {
292   default:
293     llvm_unreachable("Not a constant!");
294 #define HANDLE_CONSTANT(Name)                                                  \
295   case Value::Name##Val:                                                       \
296     cast<Name>(this)->destroyConstantImpl();                                   \
297     break;
298 #include "llvm/IR/Value.def"
299   }
300 
301   // When a Constant is destroyed, there may be lingering
302   // references to the constant by other constants in the constant pool.  These
303   // constants are implicitly dependent on the module that is being deleted,
304   // but they don't know that.  Because we only find out when the CPV is
305   // deleted, we must now notify all of our users (that should only be
306   // Constants) that they are, in fact, invalid now and should be deleted.
307   //
308   while (!use_empty()) {
309     Value *V = user_back();
310 #ifndef NDEBUG // Only in -g mode...
311     if (!isa<Constant>(V)) {
312       dbgs() << "While deleting: " << *this
313              << "\n\nUse still stuck around after Def is destroyed: " << *V
314              << "\n\n";
315     }
316 #endif
317     assert(isa<Constant>(V) && "References remain to Constant being destroyed");
318     cast<Constant>(V)->destroyConstant();
319 
320     // The constant should remove itself from our use list...
321     assert((use_empty() || user_back() != V) && "Constant not removed!");
322   }
323 
324   // Value has no outstanding references it is safe to delete it now...
325   delete this;
326 }
327 
328 static bool canTrapImpl(const Constant *C,
329                         SmallPtrSetImpl<const ConstantExpr *> &NonTrappingOps) {
330   assert(C->getType()->isFirstClassType() && "Cannot evaluate aggregate vals!");
331   // The only thing that could possibly trap are constant exprs.
332   const ConstantExpr *CE = dyn_cast<ConstantExpr>(C);
333   if (!CE)
334     return false;
335 
336   // ConstantExpr traps if any operands can trap.
337   for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i) {
338     if (ConstantExpr *Op = dyn_cast<ConstantExpr>(CE->getOperand(i))) {
339       if (NonTrappingOps.insert(Op).second && canTrapImpl(Op, NonTrappingOps))
340         return true;
341     }
342   }
343 
344   // Otherwise, only specific operations can trap.
345   switch (CE->getOpcode()) {
346   default:
347     return false;
348   case Instruction::UDiv:
349   case Instruction::SDiv:
350   case Instruction::URem:
351   case Instruction::SRem:
352     // Div and rem can trap if the RHS is not known to be non-zero.
353     if (!isa<ConstantInt>(CE->getOperand(1)) ||CE->getOperand(1)->isNullValue())
354       return true;
355     return false;
356   }
357 }
358 
359 bool Constant::canTrap() const {
360   SmallPtrSet<const ConstantExpr *, 4> NonTrappingOps;
361   return canTrapImpl(this, NonTrappingOps);
362 }
363 
364 /// Check if C contains a GlobalValue for which Predicate is true.
365 static bool
366 ConstHasGlobalValuePredicate(const Constant *C,
367                              bool (*Predicate)(const GlobalValue *)) {
368   SmallPtrSet<const Constant *, 8> Visited;
369   SmallVector<const Constant *, 8> WorkList;
370   WorkList.push_back(C);
371   Visited.insert(C);
372 
373   while (!WorkList.empty()) {
374     const Constant *WorkItem = WorkList.pop_back_val();
375     if (const auto *GV = dyn_cast<GlobalValue>(WorkItem))
376       if (Predicate(GV))
377         return true;
378     for (const Value *Op : WorkItem->operands()) {
379       const Constant *ConstOp = dyn_cast<Constant>(Op);
380       if (!ConstOp)
381         continue;
382       if (Visited.insert(ConstOp).second)
383         WorkList.push_back(ConstOp);
384     }
385   }
386   return false;
387 }
388 
389 bool Constant::isThreadDependent() const {
390   auto DLLImportPredicate = [](const GlobalValue *GV) {
391     return GV->isThreadLocal();
392   };
393   return ConstHasGlobalValuePredicate(this, DLLImportPredicate);
394 }
395 
396 bool Constant::isDLLImportDependent() const {
397   auto DLLImportPredicate = [](const GlobalValue *GV) {
398     return GV->hasDLLImportStorageClass();
399   };
400   return ConstHasGlobalValuePredicate(this, DLLImportPredicate);
401 }
402 
403 bool Constant::isConstantUsed() const {
404   for (const User *U : users()) {
405     const Constant *UC = dyn_cast<Constant>(U);
406     if (!UC || isa<GlobalValue>(UC))
407       return true;
408 
409     if (UC->isConstantUsed())
410       return true;
411   }
412   return false;
413 }
414 
415 bool Constant::needsRelocation() const {
416   if (isa<GlobalValue>(this))
417     return true; // Global reference.
418 
419   if (const BlockAddress *BA = dyn_cast<BlockAddress>(this))
420     return BA->getFunction()->needsRelocation();
421 
422   // While raw uses of blockaddress need to be relocated, differences between
423   // two of them don't when they are for labels in the same function.  This is a
424   // common idiom when creating a table for the indirect goto extension, so we
425   // handle it efficiently here.
426   if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(this))
427     if (CE->getOpcode() == Instruction::Sub) {
428       ConstantExpr *LHS = dyn_cast<ConstantExpr>(CE->getOperand(0));
429       ConstantExpr *RHS = dyn_cast<ConstantExpr>(CE->getOperand(1));
430       if (LHS && RHS && LHS->getOpcode() == Instruction::PtrToInt &&
431           RHS->getOpcode() == Instruction::PtrToInt &&
432           isa<BlockAddress>(LHS->getOperand(0)) &&
433           isa<BlockAddress>(RHS->getOperand(0)) &&
434           cast<BlockAddress>(LHS->getOperand(0))->getFunction() ==
435               cast<BlockAddress>(RHS->getOperand(0))->getFunction())
436         return false;
437     }
438 
439   bool Result = false;
440   for (unsigned i = 0, e = getNumOperands(); i != e; ++i)
441     Result |= cast<Constant>(getOperand(i))->needsRelocation();
442 
443   return Result;
444 }
445 
446 /// If the specified constantexpr is dead, remove it. This involves recursively
447 /// eliminating any dead users of the constantexpr.
448 static bool removeDeadUsersOfConstant(const Constant *C) {
449   if (isa<GlobalValue>(C)) return false; // Cannot remove this
450 
451   while (!C->use_empty()) {
452     const Constant *User = dyn_cast<Constant>(C->user_back());
453     if (!User) return false; // Non-constant usage;
454     if (!removeDeadUsersOfConstant(User))
455       return false; // Constant wasn't dead
456   }
457 
458   const_cast<Constant*>(C)->destroyConstant();
459   return true;
460 }
461 
462 
463 void Constant::removeDeadConstantUsers() const {
464   Value::const_user_iterator I = user_begin(), E = user_end();
465   Value::const_user_iterator LastNonDeadUser = E;
466   while (I != E) {
467     const Constant *User = dyn_cast<Constant>(*I);
468     if (!User) {
469       LastNonDeadUser = I;
470       ++I;
471       continue;
472     }
473 
474     if (!removeDeadUsersOfConstant(User)) {
475       // If the constant wasn't dead, remember that this was the last live use
476       // and move on to the next constant.
477       LastNonDeadUser = I;
478       ++I;
479       continue;
480     }
481 
482     // If the constant was dead, then the iterator is invalidated.
483     if (LastNonDeadUser == E) {
484       I = user_begin();
485       if (I == E) break;
486     } else {
487       I = LastNonDeadUser;
488       ++I;
489     }
490   }
491 }
492 
493 
494 
495 //===----------------------------------------------------------------------===//
496 //                                ConstantInt
497 //===----------------------------------------------------------------------===//
498 
499 void ConstantInt::anchor() { }
500 
501 ConstantInt::ConstantInt(IntegerType *Ty, const APInt &V)
502     : ConstantData(Ty, ConstantIntVal), Val(V) {
503   assert(V.getBitWidth() == Ty->getBitWidth() && "Invalid constant for type");
504 }
505 
506 ConstantInt *ConstantInt::getTrue(LLVMContext &Context) {
507   LLVMContextImpl *pImpl = Context.pImpl;
508   if (!pImpl->TheTrueVal)
509     pImpl->TheTrueVal = ConstantInt::get(Type::getInt1Ty(Context), 1);
510   return pImpl->TheTrueVal;
511 }
512 
513 ConstantInt *ConstantInt::getFalse(LLVMContext &Context) {
514   LLVMContextImpl *pImpl = Context.pImpl;
515   if (!pImpl->TheFalseVal)
516     pImpl->TheFalseVal = ConstantInt::get(Type::getInt1Ty(Context), 0);
517   return pImpl->TheFalseVal;
518 }
519 
520 Constant *ConstantInt::getTrue(Type *Ty) {
521   VectorType *VTy = dyn_cast<VectorType>(Ty);
522   if (!VTy) {
523     assert(Ty->isIntegerTy(1) && "True must be i1 or vector of i1.");
524     return ConstantInt::getTrue(Ty->getContext());
525   }
526   assert(VTy->getElementType()->isIntegerTy(1) &&
527          "True must be vector of i1 or i1.");
528   return ConstantVector::getSplat(VTy->getNumElements(),
529                                   ConstantInt::getTrue(Ty->getContext()));
530 }
531 
532 Constant *ConstantInt::getFalse(Type *Ty) {
533   VectorType *VTy = dyn_cast<VectorType>(Ty);
534   if (!VTy) {
535     assert(Ty->isIntegerTy(1) && "False must be i1 or vector of i1.");
536     return ConstantInt::getFalse(Ty->getContext());
537   }
538   assert(VTy->getElementType()->isIntegerTy(1) &&
539          "False must be vector of i1 or i1.");
540   return ConstantVector::getSplat(VTy->getNumElements(),
541                                   ConstantInt::getFalse(Ty->getContext()));
542 }
543 
544 // Get a ConstantInt from an APInt.
545 ConstantInt *ConstantInt::get(LLVMContext &Context, const APInt &V) {
546   // get an existing value or the insertion position
547   LLVMContextImpl *pImpl = Context.pImpl;
548   std::unique_ptr<ConstantInt> &Slot = pImpl->IntConstants[V];
549   if (!Slot) {
550     // Get the corresponding integer type for the bit width of the value.
551     IntegerType *ITy = IntegerType::get(Context, V.getBitWidth());
552     Slot.reset(new ConstantInt(ITy, V));
553   }
554   assert(Slot->getType() == IntegerType::get(Context, V.getBitWidth()));
555   return Slot.get();
556 }
557 
558 Constant *ConstantInt::get(Type *Ty, uint64_t V, bool isSigned) {
559   Constant *C = get(cast<IntegerType>(Ty->getScalarType()), V, isSigned);
560 
561   // For vectors, broadcast the value.
562   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
563     return ConstantVector::getSplat(VTy->getNumElements(), C);
564 
565   return C;
566 }
567 
568 ConstantInt *ConstantInt::get(IntegerType *Ty, uint64_t V, bool isSigned) {
569   return get(Ty->getContext(), APInt(Ty->getBitWidth(), V, isSigned));
570 }
571 
572 ConstantInt *ConstantInt::getSigned(IntegerType *Ty, int64_t V) {
573   return get(Ty, V, true);
574 }
575 
576 Constant *ConstantInt::getSigned(Type *Ty, int64_t V) {
577   return get(Ty, V, true);
578 }
579 
580 Constant *ConstantInt::get(Type *Ty, const APInt& V) {
581   ConstantInt *C = get(Ty->getContext(), V);
582   assert(C->getType() == Ty->getScalarType() &&
583          "ConstantInt type doesn't match the type implied by its value!");
584 
585   // For vectors, broadcast the value.
586   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
587     return ConstantVector::getSplat(VTy->getNumElements(), C);
588 
589   return C;
590 }
591 
592 ConstantInt *ConstantInt::get(IntegerType* Ty, StringRef Str, uint8_t radix) {
593   return get(Ty->getContext(), APInt(Ty->getBitWidth(), Str, radix));
594 }
595 
596 /// Remove the constant from the constant table.
597 void ConstantInt::destroyConstantImpl() {
598   llvm_unreachable("You can't ConstantInt->destroyConstantImpl()!");
599 }
600 
601 //===----------------------------------------------------------------------===//
602 //                                ConstantFP
603 //===----------------------------------------------------------------------===//
604 
605 static const fltSemantics *TypeToFloatSemantics(Type *Ty) {
606   if (Ty->isHalfTy())
607     return &APFloat::IEEEhalf;
608   if (Ty->isFloatTy())
609     return &APFloat::IEEEsingle;
610   if (Ty->isDoubleTy())
611     return &APFloat::IEEEdouble;
612   if (Ty->isX86_FP80Ty())
613     return &APFloat::x87DoubleExtended;
614   else if (Ty->isFP128Ty())
615     return &APFloat::IEEEquad;
616 
617   assert(Ty->isPPC_FP128Ty() && "Unknown FP format");
618   return &APFloat::PPCDoubleDouble;
619 }
620 
621 void ConstantFP::anchor() { }
622 
623 Constant *ConstantFP::get(Type *Ty, double V) {
624   LLVMContext &Context = Ty->getContext();
625 
626   APFloat FV(V);
627   bool ignored;
628   FV.convert(*TypeToFloatSemantics(Ty->getScalarType()),
629              APFloat::rmNearestTiesToEven, &ignored);
630   Constant *C = get(Context, FV);
631 
632   // For vectors, broadcast the value.
633   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
634     return ConstantVector::getSplat(VTy->getNumElements(), C);
635 
636   return C;
637 }
638 
639 
640 Constant *ConstantFP::get(Type *Ty, StringRef Str) {
641   LLVMContext &Context = Ty->getContext();
642 
643   APFloat FV(*TypeToFloatSemantics(Ty->getScalarType()), Str);
644   Constant *C = get(Context, FV);
645 
646   // For vectors, broadcast the value.
647   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
648     return ConstantVector::getSplat(VTy->getNumElements(), C);
649 
650   return C;
651 }
652 
653 Constant *ConstantFP::getNaN(Type *Ty, bool Negative, unsigned Type) {
654   const fltSemantics &Semantics = *TypeToFloatSemantics(Ty->getScalarType());
655   APFloat NaN = APFloat::getNaN(Semantics, Negative, Type);
656   Constant *C = get(Ty->getContext(), NaN);
657 
658   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
659     return ConstantVector::getSplat(VTy->getNumElements(), C);
660 
661   return C;
662 }
663 
664 Constant *ConstantFP::getNegativeZero(Type *Ty) {
665   const fltSemantics &Semantics = *TypeToFloatSemantics(Ty->getScalarType());
666   APFloat NegZero = APFloat::getZero(Semantics, /*Negative=*/true);
667   Constant *C = get(Ty->getContext(), NegZero);
668 
669   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
670     return ConstantVector::getSplat(VTy->getNumElements(), C);
671 
672   return C;
673 }
674 
675 
676 Constant *ConstantFP::getZeroValueForNegation(Type *Ty) {
677   if (Ty->isFPOrFPVectorTy())
678     return getNegativeZero(Ty);
679 
680   return Constant::getNullValue(Ty);
681 }
682 
683 
684 // ConstantFP accessors.
685 ConstantFP* ConstantFP::get(LLVMContext &Context, const APFloat& V) {
686   LLVMContextImpl* pImpl = Context.pImpl;
687 
688   std::unique_ptr<ConstantFP> &Slot = pImpl->FPConstants[V];
689 
690   if (!Slot) {
691     Type *Ty;
692     if (&V.getSemantics() == &APFloat::IEEEhalf)
693       Ty = Type::getHalfTy(Context);
694     else if (&V.getSemantics() == &APFloat::IEEEsingle)
695       Ty = Type::getFloatTy(Context);
696     else if (&V.getSemantics() == &APFloat::IEEEdouble)
697       Ty = Type::getDoubleTy(Context);
698     else if (&V.getSemantics() == &APFloat::x87DoubleExtended)
699       Ty = Type::getX86_FP80Ty(Context);
700     else if (&V.getSemantics() == &APFloat::IEEEquad)
701       Ty = Type::getFP128Ty(Context);
702     else {
703       assert(&V.getSemantics() == &APFloat::PPCDoubleDouble &&
704              "Unknown FP format");
705       Ty = Type::getPPC_FP128Ty(Context);
706     }
707     Slot.reset(new ConstantFP(Ty, V));
708   }
709 
710   return Slot.get();
711 }
712 
713 Constant *ConstantFP::getInfinity(Type *Ty, bool Negative) {
714   const fltSemantics &Semantics = *TypeToFloatSemantics(Ty->getScalarType());
715   Constant *C = get(Ty->getContext(), APFloat::getInf(Semantics, Negative));
716 
717   if (VectorType *VTy = dyn_cast<VectorType>(Ty))
718     return ConstantVector::getSplat(VTy->getNumElements(), C);
719 
720   return C;
721 }
722 
723 ConstantFP::ConstantFP(Type *Ty, const APFloat &V)
724     : ConstantData(Ty, ConstantFPVal), Val(V) {
725   assert(&V.getSemantics() == TypeToFloatSemantics(Ty) &&
726          "FP type Mismatch");
727 }
728 
729 bool ConstantFP::isExactlyValue(const APFloat &V) const {
730   return Val.bitwiseIsEqual(V);
731 }
732 
733 /// Remove the constant from the constant table.
734 void ConstantFP::destroyConstantImpl() {
735   llvm_unreachable("You can't ConstantInt->destroyConstantImpl()!");
736 }
737 
738 //===----------------------------------------------------------------------===//
739 //                   ConstantAggregateZero Implementation
740 //===----------------------------------------------------------------------===//
741 
742 Constant *ConstantAggregateZero::getSequentialElement() const {
743   return Constant::getNullValue(getType()->getSequentialElementType());
744 }
745 
746 Constant *ConstantAggregateZero::getStructElement(unsigned Elt) const {
747   return Constant::getNullValue(getType()->getStructElementType(Elt));
748 }
749 
750 Constant *ConstantAggregateZero::getElementValue(Constant *C) const {
751   if (isa<SequentialType>(getType()))
752     return getSequentialElement();
753   return getStructElement(cast<ConstantInt>(C)->getZExtValue());
754 }
755 
756 Constant *ConstantAggregateZero::getElementValue(unsigned Idx) const {
757   if (isa<SequentialType>(getType()))
758     return getSequentialElement();
759   return getStructElement(Idx);
760 }
761 
762 unsigned ConstantAggregateZero::getNumElements() const {
763   Type *Ty = getType();
764   if (auto *AT = dyn_cast<ArrayType>(Ty))
765     return AT->getNumElements();
766   if (auto *VT = dyn_cast<VectorType>(Ty))
767     return VT->getNumElements();
768   return Ty->getStructNumElements();
769 }
770 
771 //===----------------------------------------------------------------------===//
772 //                         UndefValue Implementation
773 //===----------------------------------------------------------------------===//
774 
775 UndefValue *UndefValue::getSequentialElement() const {
776   return UndefValue::get(getType()->getSequentialElementType());
777 }
778 
779 UndefValue *UndefValue::getStructElement(unsigned Elt) const {
780   return UndefValue::get(getType()->getStructElementType(Elt));
781 }
782 
783 UndefValue *UndefValue::getElementValue(Constant *C) const {
784   if (isa<SequentialType>(getType()))
785     return getSequentialElement();
786   return getStructElement(cast<ConstantInt>(C)->getZExtValue());
787 }
788 
789 UndefValue *UndefValue::getElementValue(unsigned Idx) const {
790   if (isa<SequentialType>(getType()))
791     return getSequentialElement();
792   return getStructElement(Idx);
793 }
794 
795 unsigned UndefValue::getNumElements() const {
796   Type *Ty = getType();
797   if (auto *ST = dyn_cast<SequentialType>(Ty))
798     return ST->getNumElements();
799   return Ty->getStructNumElements();
800 }
801 
802 //===----------------------------------------------------------------------===//
803 //                            ConstantXXX Classes
804 //===----------------------------------------------------------------------===//
805 
806 template <typename ItTy, typename EltTy>
807 static bool rangeOnlyContains(ItTy Start, ItTy End, EltTy Elt) {
808   for (; Start != End; ++Start)
809     if (*Start != Elt)
810       return false;
811   return true;
812 }
813 
814 template <typename SequentialTy, typename ElementTy>
815 static Constant *getIntSequenceIfElementsMatch(ArrayRef<Constant *> V) {
816   assert(!V.empty() && "Cannot get empty int sequence.");
817 
818   SmallVector<ElementTy, 16> Elts;
819   for (Constant *C : V)
820     if (auto *CI = dyn_cast<ConstantInt>(C))
821       Elts.push_back(CI->getZExtValue());
822     else
823       return nullptr;
824   return SequentialTy::get(V[0]->getContext(), Elts);
825 }
826 
827 template <typename SequentialTy, typename ElementTy>
828 static Constant *getFPSequenceIfElementsMatch(ArrayRef<Constant *> V) {
829   assert(!V.empty() && "Cannot get empty FP sequence.");
830 
831   SmallVector<ElementTy, 16> Elts;
832   for (Constant *C : V)
833     if (auto *CFP = dyn_cast<ConstantFP>(C))
834       Elts.push_back(CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
835     else
836       return nullptr;
837   return SequentialTy::getFP(V[0]->getContext(), Elts);
838 }
839 
840 template <typename SequenceTy>
841 static Constant *getSequenceIfElementsMatch(Constant *C,
842                                             ArrayRef<Constant *> V) {
843   // We speculatively build the elements here even if it turns out that there is
844   // a constantexpr or something else weird, since it is so uncommon for that to
845   // happen.
846   if (ConstantInt *CI = dyn_cast<ConstantInt>(C)) {
847     if (CI->getType()->isIntegerTy(8))
848       return getIntSequenceIfElementsMatch<SequenceTy, uint8_t>(V);
849     else if (CI->getType()->isIntegerTy(16))
850       return getIntSequenceIfElementsMatch<SequenceTy, uint16_t>(V);
851     else if (CI->getType()->isIntegerTy(32))
852       return getIntSequenceIfElementsMatch<SequenceTy, uint32_t>(V);
853     else if (CI->getType()->isIntegerTy(64))
854       return getIntSequenceIfElementsMatch<SequenceTy, uint64_t>(V);
855   } else if (ConstantFP *CFP = dyn_cast<ConstantFP>(C)) {
856     if (CFP->getType()->isHalfTy())
857       return getFPSequenceIfElementsMatch<SequenceTy, uint16_t>(V);
858     else if (CFP->getType()->isFloatTy())
859       return getFPSequenceIfElementsMatch<SequenceTy, uint32_t>(V);
860     else if (CFP->getType()->isDoubleTy())
861       return getFPSequenceIfElementsMatch<SequenceTy, uint64_t>(V);
862   }
863 
864   return nullptr;
865 }
866 
867 ConstantAggregate::ConstantAggregate(CompositeType *T, ValueTy VT,
868                                      ArrayRef<Constant *> V)
869     : Constant(T, VT, OperandTraits<ConstantAggregate>::op_end(this) - V.size(),
870                V.size()) {
871   std::copy(V.begin(), V.end(), op_begin());
872 
873   // Check that types match, unless this is an opaque struct.
874   if (auto *ST = dyn_cast<StructType>(T))
875     if (ST->isOpaque())
876       return;
877   for (unsigned I = 0, E = V.size(); I != E; ++I)
878     assert(V[I]->getType() == T->getTypeAtIndex(I) &&
879            "Initializer for composite element doesn't match!");
880 }
881 
882 ConstantArray::ConstantArray(ArrayType *T, ArrayRef<Constant *> V)
883     : ConstantAggregate(T, ConstantArrayVal, V) {
884   assert(V.size() == T->getNumElements() &&
885          "Invalid initializer for constant array");
886 }
887 
888 Constant *ConstantArray::get(ArrayType *Ty, ArrayRef<Constant*> V) {
889   if (Constant *C = getImpl(Ty, V))
890     return C;
891   return Ty->getContext().pImpl->ArrayConstants.getOrCreate(Ty, V);
892 }
893 
894 Constant *ConstantArray::getImpl(ArrayType *Ty, ArrayRef<Constant*> V) {
895   // Empty arrays are canonicalized to ConstantAggregateZero.
896   if (V.empty())
897     return ConstantAggregateZero::get(Ty);
898 
899   for (unsigned i = 0, e = V.size(); i != e; ++i) {
900     assert(V[i]->getType() == Ty->getElementType() &&
901            "Wrong type in array element initializer");
902   }
903 
904   // If this is an all-zero array, return a ConstantAggregateZero object.  If
905   // all undef, return an UndefValue, if "all simple", then return a
906   // ConstantDataArray.
907   Constant *C = V[0];
908   if (isa<UndefValue>(C) && rangeOnlyContains(V.begin(), V.end(), C))
909     return UndefValue::get(Ty);
910 
911   if (C->isNullValue() && rangeOnlyContains(V.begin(), V.end(), C))
912     return ConstantAggregateZero::get(Ty);
913 
914   // Check to see if all of the elements are ConstantFP or ConstantInt and if
915   // the element type is compatible with ConstantDataVector.  If so, use it.
916   if (ConstantDataSequential::isElementTypeCompatible(C->getType()))
917     return getSequenceIfElementsMatch<ConstantDataArray>(C, V);
918 
919   // Otherwise, we really do want to create a ConstantArray.
920   return nullptr;
921 }
922 
923 StructType *ConstantStruct::getTypeForElements(LLVMContext &Context,
924                                                ArrayRef<Constant*> V,
925                                                bool Packed) {
926   unsigned VecSize = V.size();
927   SmallVector<Type*, 16> EltTypes(VecSize);
928   for (unsigned i = 0; i != VecSize; ++i)
929     EltTypes[i] = V[i]->getType();
930 
931   return StructType::get(Context, EltTypes, Packed);
932 }
933 
934 
935 StructType *ConstantStruct::getTypeForElements(ArrayRef<Constant*> V,
936                                                bool Packed) {
937   assert(!V.empty() &&
938          "ConstantStruct::getTypeForElements cannot be called on empty list");
939   return getTypeForElements(V[0]->getContext(), V, Packed);
940 }
941 
942 ConstantStruct::ConstantStruct(StructType *T, ArrayRef<Constant *> V)
943     : ConstantAggregate(T, ConstantStructVal, V) {
944   assert((T->isOpaque() || V.size() == T->getNumElements()) &&
945          "Invalid initializer for constant struct");
946 }
947 
948 // ConstantStruct accessors.
949 Constant *ConstantStruct::get(StructType *ST, ArrayRef<Constant*> V) {
950   assert((ST->isOpaque() || ST->getNumElements() == V.size()) &&
951          "Incorrect # elements specified to ConstantStruct::get");
952 
953   // Create a ConstantAggregateZero value if all elements are zeros.
954   bool isZero = true;
955   bool isUndef = false;
956 
957   if (!V.empty()) {
958     isUndef = isa<UndefValue>(V[0]);
959     isZero = V[0]->isNullValue();
960     if (isUndef || isZero) {
961       for (unsigned i = 0, e = V.size(); i != e; ++i) {
962         if (!V[i]->isNullValue())
963           isZero = false;
964         if (!isa<UndefValue>(V[i]))
965           isUndef = false;
966       }
967     }
968   }
969   if (isZero)
970     return ConstantAggregateZero::get(ST);
971   if (isUndef)
972     return UndefValue::get(ST);
973 
974   return ST->getContext().pImpl->StructConstants.getOrCreate(ST, V);
975 }
976 
977 Constant *ConstantStruct::get(StructType *T, ...) {
978   va_list ap;
979   SmallVector<Constant*, 8> Values;
980   va_start(ap, T);
981   while (Constant *Val = va_arg(ap, llvm::Constant*))
982     Values.push_back(Val);
983   va_end(ap);
984   return get(T, Values);
985 }
986 
987 ConstantVector::ConstantVector(VectorType *T, ArrayRef<Constant *> V)
988     : ConstantAggregate(T, ConstantVectorVal, V) {
989   assert(V.size() == T->getNumElements() &&
990          "Invalid initializer for constant vector");
991 }
992 
993 // ConstantVector accessors.
994 Constant *ConstantVector::get(ArrayRef<Constant*> V) {
995   if (Constant *C = getImpl(V))
996     return C;
997   VectorType *Ty = VectorType::get(V.front()->getType(), V.size());
998   return Ty->getContext().pImpl->VectorConstants.getOrCreate(Ty, V);
999 }
1000 
1001 Constant *ConstantVector::getImpl(ArrayRef<Constant*> V) {
1002   assert(!V.empty() && "Vectors can't be empty");
1003   VectorType *T = VectorType::get(V.front()->getType(), V.size());
1004 
1005   // If this is an all-undef or all-zero vector, return a
1006   // ConstantAggregateZero or UndefValue.
1007   Constant *C = V[0];
1008   bool isZero = C->isNullValue();
1009   bool isUndef = isa<UndefValue>(C);
1010 
1011   if (isZero || isUndef) {
1012     for (unsigned i = 1, e = V.size(); i != e; ++i)
1013       if (V[i] != C) {
1014         isZero = isUndef = false;
1015         break;
1016       }
1017   }
1018 
1019   if (isZero)
1020     return ConstantAggregateZero::get(T);
1021   if (isUndef)
1022     return UndefValue::get(T);
1023 
1024   // Check to see if all of the elements are ConstantFP or ConstantInt and if
1025   // the element type is compatible with ConstantDataVector.  If so, use it.
1026   if (ConstantDataSequential::isElementTypeCompatible(C->getType()))
1027     return getSequenceIfElementsMatch<ConstantDataVector>(C, V);
1028 
1029   // Otherwise, the element type isn't compatible with ConstantDataVector, or
1030   // the operand list constants a ConstantExpr or something else strange.
1031   return nullptr;
1032 }
1033 
1034 Constant *ConstantVector::getSplat(unsigned NumElts, Constant *V) {
1035   // If this splat is compatible with ConstantDataVector, use it instead of
1036   // ConstantVector.
1037   if ((isa<ConstantFP>(V) || isa<ConstantInt>(V)) &&
1038       ConstantDataSequential::isElementTypeCompatible(V->getType()))
1039     return ConstantDataVector::getSplat(NumElts, V);
1040 
1041   SmallVector<Constant*, 32> Elts(NumElts, V);
1042   return get(Elts);
1043 }
1044 
1045 ConstantTokenNone *ConstantTokenNone::get(LLVMContext &Context) {
1046   LLVMContextImpl *pImpl = Context.pImpl;
1047   if (!pImpl->TheNoneToken)
1048     pImpl->TheNoneToken.reset(new ConstantTokenNone(Context));
1049   return pImpl->TheNoneToken.get();
1050 }
1051 
1052 /// Remove the constant from the constant table.
1053 void ConstantTokenNone::destroyConstantImpl() {
1054   llvm_unreachable("You can't ConstantTokenNone->destroyConstantImpl()!");
1055 }
1056 
1057 // Utility function for determining if a ConstantExpr is a CastOp or not. This
1058 // can't be inline because we don't want to #include Instruction.h into
1059 // Constant.h
1060 bool ConstantExpr::isCast() const {
1061   return Instruction::isCast(getOpcode());
1062 }
1063 
1064 bool ConstantExpr::isCompare() const {
1065   return getOpcode() == Instruction::ICmp || getOpcode() == Instruction::FCmp;
1066 }
1067 
1068 bool ConstantExpr::isGEPWithNoNotionalOverIndexing() const {
1069   if (getOpcode() != Instruction::GetElementPtr) return false;
1070 
1071   gep_type_iterator GEPI = gep_type_begin(this), E = gep_type_end(this);
1072   User::const_op_iterator OI = std::next(this->op_begin());
1073 
1074   // The remaining indices must be compile-time known integers within the
1075   // bounds of the corresponding notional static array types.
1076   for (; GEPI != E; ++GEPI, ++OI) {
1077     ConstantInt *CI = dyn_cast<ConstantInt>(*OI);
1078     if (GEPI.isBoundedSequential() &&
1079         (CI->getValue().getActiveBits() > 64 ||
1080          CI->getZExtValue() >= GEPI.getSequentialNumElements()))
1081       return false;
1082   }
1083 
1084   // All the indices checked out.
1085   return true;
1086 }
1087 
1088 bool ConstantExpr::hasIndices() const {
1089   return getOpcode() == Instruction::ExtractValue ||
1090          getOpcode() == Instruction::InsertValue;
1091 }
1092 
1093 ArrayRef<unsigned> ConstantExpr::getIndices() const {
1094   if (const ExtractValueConstantExpr *EVCE =
1095         dyn_cast<ExtractValueConstantExpr>(this))
1096     return EVCE->Indices;
1097 
1098   return cast<InsertValueConstantExpr>(this)->Indices;
1099 }
1100 
1101 unsigned ConstantExpr::getPredicate() const {
1102   return cast<CompareConstantExpr>(this)->predicate;
1103 }
1104 
1105 Constant *
1106 ConstantExpr::getWithOperandReplaced(unsigned OpNo, Constant *Op) const {
1107   assert(Op->getType() == getOperand(OpNo)->getType() &&
1108          "Replacing operand with value of different type!");
1109   if (getOperand(OpNo) == Op)
1110     return const_cast<ConstantExpr*>(this);
1111 
1112   SmallVector<Constant*, 8> NewOps;
1113   for (unsigned i = 0, e = getNumOperands(); i != e; ++i)
1114     NewOps.push_back(i == OpNo ? Op : getOperand(i));
1115 
1116   return getWithOperands(NewOps);
1117 }
1118 
1119 Constant *ConstantExpr::getWithOperands(ArrayRef<Constant *> Ops, Type *Ty,
1120                                         bool OnlyIfReduced, Type *SrcTy) const {
1121   assert(Ops.size() == getNumOperands() && "Operand count mismatch!");
1122 
1123   // If no operands changed return self.
1124   if (Ty == getType() && std::equal(Ops.begin(), Ops.end(), op_begin()))
1125     return const_cast<ConstantExpr*>(this);
1126 
1127   Type *OnlyIfReducedTy = OnlyIfReduced ? Ty : nullptr;
1128   switch (getOpcode()) {
1129   case Instruction::Trunc:
1130   case Instruction::ZExt:
1131   case Instruction::SExt:
1132   case Instruction::FPTrunc:
1133   case Instruction::FPExt:
1134   case Instruction::UIToFP:
1135   case Instruction::SIToFP:
1136   case Instruction::FPToUI:
1137   case Instruction::FPToSI:
1138   case Instruction::PtrToInt:
1139   case Instruction::IntToPtr:
1140   case Instruction::BitCast:
1141   case Instruction::AddrSpaceCast:
1142     return ConstantExpr::getCast(getOpcode(), Ops[0], Ty, OnlyIfReduced);
1143   case Instruction::Select:
1144     return ConstantExpr::getSelect(Ops[0], Ops[1], Ops[2], OnlyIfReducedTy);
1145   case Instruction::InsertElement:
1146     return ConstantExpr::getInsertElement(Ops[0], Ops[1], Ops[2],
1147                                           OnlyIfReducedTy);
1148   case Instruction::ExtractElement:
1149     return ConstantExpr::getExtractElement(Ops[0], Ops[1], OnlyIfReducedTy);
1150   case Instruction::InsertValue:
1151     return ConstantExpr::getInsertValue(Ops[0], Ops[1], getIndices(),
1152                                         OnlyIfReducedTy);
1153   case Instruction::ExtractValue:
1154     return ConstantExpr::getExtractValue(Ops[0], getIndices(), OnlyIfReducedTy);
1155   case Instruction::ShuffleVector:
1156     return ConstantExpr::getShuffleVector(Ops[0], Ops[1], Ops[2],
1157                                           OnlyIfReducedTy);
1158   case Instruction::GetElementPtr: {
1159     auto *GEPO = cast<GEPOperator>(this);
1160     assert(SrcTy || (Ops[0]->getType() == getOperand(0)->getType()));
1161     return ConstantExpr::getGetElementPtr(
1162         SrcTy ? SrcTy : GEPO->getSourceElementType(), Ops[0], Ops.slice(1),
1163         GEPO->isInBounds(), GEPO->getInRangeIndex(), OnlyIfReducedTy);
1164   }
1165   case Instruction::ICmp:
1166   case Instruction::FCmp:
1167     return ConstantExpr::getCompare(getPredicate(), Ops[0], Ops[1],
1168                                     OnlyIfReducedTy);
1169   default:
1170     assert(getNumOperands() == 2 && "Must be binary operator?");
1171     return ConstantExpr::get(getOpcode(), Ops[0], Ops[1], SubclassOptionalData,
1172                              OnlyIfReducedTy);
1173   }
1174 }
1175 
1176 
1177 //===----------------------------------------------------------------------===//
1178 //                      isValueValidForType implementations
1179 
1180 bool ConstantInt::isValueValidForType(Type *Ty, uint64_t Val) {
1181   unsigned NumBits = Ty->getIntegerBitWidth(); // assert okay
1182   if (Ty->isIntegerTy(1))
1183     return Val == 0 || Val == 1;
1184   if (NumBits >= 64)
1185     return true; // always true, has to fit in largest type
1186   uint64_t Max = (1ll << NumBits) - 1;
1187   return Val <= Max;
1188 }
1189 
1190 bool ConstantInt::isValueValidForType(Type *Ty, int64_t Val) {
1191   unsigned NumBits = Ty->getIntegerBitWidth();
1192   if (Ty->isIntegerTy(1))
1193     return Val == 0 || Val == 1 || Val == -1;
1194   if (NumBits >= 64)
1195     return true; // always true, has to fit in largest type
1196   int64_t Min = -(1ll << (NumBits-1));
1197   int64_t Max = (1ll << (NumBits-1)) - 1;
1198   return (Val >= Min && Val <= Max);
1199 }
1200 
1201 bool ConstantFP::isValueValidForType(Type *Ty, const APFloat& Val) {
1202   // convert modifies in place, so make a copy.
1203   APFloat Val2 = APFloat(Val);
1204   bool losesInfo;
1205   switch (Ty->getTypeID()) {
1206   default:
1207     return false;         // These can't be represented as floating point!
1208 
1209   // FIXME rounding mode needs to be more flexible
1210   case Type::HalfTyID: {
1211     if (&Val2.getSemantics() == &APFloat::IEEEhalf)
1212       return true;
1213     Val2.convert(APFloat::IEEEhalf, APFloat::rmNearestTiesToEven, &losesInfo);
1214     return !losesInfo;
1215   }
1216   case Type::FloatTyID: {
1217     if (&Val2.getSemantics() == &APFloat::IEEEsingle)
1218       return true;
1219     Val2.convert(APFloat::IEEEsingle, APFloat::rmNearestTiesToEven, &losesInfo);
1220     return !losesInfo;
1221   }
1222   case Type::DoubleTyID: {
1223     if (&Val2.getSemantics() == &APFloat::IEEEhalf ||
1224         &Val2.getSemantics() == &APFloat::IEEEsingle ||
1225         &Val2.getSemantics() == &APFloat::IEEEdouble)
1226       return true;
1227     Val2.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, &losesInfo);
1228     return !losesInfo;
1229   }
1230   case Type::X86_FP80TyID:
1231     return &Val2.getSemantics() == &APFloat::IEEEhalf ||
1232            &Val2.getSemantics() == &APFloat::IEEEsingle ||
1233            &Val2.getSemantics() == &APFloat::IEEEdouble ||
1234            &Val2.getSemantics() == &APFloat::x87DoubleExtended;
1235   case Type::FP128TyID:
1236     return &Val2.getSemantics() == &APFloat::IEEEhalf ||
1237            &Val2.getSemantics() == &APFloat::IEEEsingle ||
1238            &Val2.getSemantics() == &APFloat::IEEEdouble ||
1239            &Val2.getSemantics() == &APFloat::IEEEquad;
1240   case Type::PPC_FP128TyID:
1241     return &Val2.getSemantics() == &APFloat::IEEEhalf ||
1242            &Val2.getSemantics() == &APFloat::IEEEsingle ||
1243            &Val2.getSemantics() == &APFloat::IEEEdouble ||
1244            &Val2.getSemantics() == &APFloat::PPCDoubleDouble;
1245   }
1246 }
1247 
1248 
1249 //===----------------------------------------------------------------------===//
1250 //                      Factory Function Implementation
1251 
1252 ConstantAggregateZero *ConstantAggregateZero::get(Type *Ty) {
1253   assert((Ty->isStructTy() || Ty->isArrayTy() || Ty->isVectorTy()) &&
1254          "Cannot create an aggregate zero of non-aggregate type!");
1255 
1256   std::unique_ptr<ConstantAggregateZero> &Entry =
1257       Ty->getContext().pImpl->CAZConstants[Ty];
1258   if (!Entry)
1259     Entry.reset(new ConstantAggregateZero(Ty));
1260 
1261   return Entry.get();
1262 }
1263 
1264 /// Remove the constant from the constant table.
1265 void ConstantAggregateZero::destroyConstantImpl() {
1266   getContext().pImpl->CAZConstants.erase(getType());
1267 }
1268 
1269 /// Remove the constant from the constant table.
1270 void ConstantArray::destroyConstantImpl() {
1271   getType()->getContext().pImpl->ArrayConstants.remove(this);
1272 }
1273 
1274 
1275 //---- ConstantStruct::get() implementation...
1276 //
1277 
1278 /// Remove the constant from the constant table.
1279 void ConstantStruct::destroyConstantImpl() {
1280   getType()->getContext().pImpl->StructConstants.remove(this);
1281 }
1282 
1283 /// Remove the constant from the constant table.
1284 void ConstantVector::destroyConstantImpl() {
1285   getType()->getContext().pImpl->VectorConstants.remove(this);
1286 }
1287 
1288 Constant *Constant::getSplatValue() const {
1289   assert(this->getType()->isVectorTy() && "Only valid for vectors!");
1290   if (isa<ConstantAggregateZero>(this))
1291     return getNullValue(this->getType()->getVectorElementType());
1292   if (const ConstantDataVector *CV = dyn_cast<ConstantDataVector>(this))
1293     return CV->getSplatValue();
1294   if (const ConstantVector *CV = dyn_cast<ConstantVector>(this))
1295     return CV->getSplatValue();
1296   return nullptr;
1297 }
1298 
1299 Constant *ConstantVector::getSplatValue() const {
1300   // Check out first element.
1301   Constant *Elt = getOperand(0);
1302   // Then make sure all remaining elements point to the same value.
1303   for (unsigned I = 1, E = getNumOperands(); I < E; ++I)
1304     if (getOperand(I) != Elt)
1305       return nullptr;
1306   return Elt;
1307 }
1308 
1309 const APInt &Constant::getUniqueInteger() const {
1310   if (const ConstantInt *CI = dyn_cast<ConstantInt>(this))
1311     return CI->getValue();
1312   assert(this->getSplatValue() && "Doesn't contain a unique integer!");
1313   const Constant *C = this->getAggregateElement(0U);
1314   assert(C && isa<ConstantInt>(C) && "Not a vector of numbers!");
1315   return cast<ConstantInt>(C)->getValue();
1316 }
1317 
1318 //---- ConstantPointerNull::get() implementation.
1319 //
1320 
1321 ConstantPointerNull *ConstantPointerNull::get(PointerType *Ty) {
1322   std::unique_ptr<ConstantPointerNull> &Entry =
1323       Ty->getContext().pImpl->CPNConstants[Ty];
1324   if (!Entry)
1325     Entry.reset(new ConstantPointerNull(Ty));
1326 
1327   return Entry.get();
1328 }
1329 
1330 /// Remove the constant from the constant table.
1331 void ConstantPointerNull::destroyConstantImpl() {
1332   getContext().pImpl->CPNConstants.erase(getType());
1333 }
1334 
1335 UndefValue *UndefValue::get(Type *Ty) {
1336   std::unique_ptr<UndefValue> &Entry = Ty->getContext().pImpl->UVConstants[Ty];
1337   if (!Entry)
1338     Entry.reset(new UndefValue(Ty));
1339 
1340   return Entry.get();
1341 }
1342 
1343 /// Remove the constant from the constant table.
1344 void UndefValue::destroyConstantImpl() {
1345   // Free the constant and any dangling references to it.
1346   getContext().pImpl->UVConstants.erase(getType());
1347 }
1348 
1349 BlockAddress *BlockAddress::get(BasicBlock *BB) {
1350   assert(BB->getParent() && "Block must have a parent");
1351   return get(BB->getParent(), BB);
1352 }
1353 
1354 BlockAddress *BlockAddress::get(Function *F, BasicBlock *BB) {
1355   BlockAddress *&BA =
1356     F->getContext().pImpl->BlockAddresses[std::make_pair(F, BB)];
1357   if (!BA)
1358     BA = new BlockAddress(F, BB);
1359 
1360   assert(BA->getFunction() == F && "Basic block moved between functions");
1361   return BA;
1362 }
1363 
1364 BlockAddress::BlockAddress(Function *F, BasicBlock *BB)
1365 : Constant(Type::getInt8PtrTy(F->getContext()), Value::BlockAddressVal,
1366            &Op<0>(), 2) {
1367   setOperand(0, F);
1368   setOperand(1, BB);
1369   BB->AdjustBlockAddressRefCount(1);
1370 }
1371 
1372 BlockAddress *BlockAddress::lookup(const BasicBlock *BB) {
1373   if (!BB->hasAddressTaken())
1374     return nullptr;
1375 
1376   const Function *F = BB->getParent();
1377   assert(F && "Block must have a parent");
1378   BlockAddress *BA =
1379       F->getContext().pImpl->BlockAddresses.lookup(std::make_pair(F, BB));
1380   assert(BA && "Refcount and block address map disagree!");
1381   return BA;
1382 }
1383 
1384 /// Remove the constant from the constant table.
1385 void BlockAddress::destroyConstantImpl() {
1386   getFunction()->getType()->getContext().pImpl
1387     ->BlockAddresses.erase(std::make_pair(getFunction(), getBasicBlock()));
1388   getBasicBlock()->AdjustBlockAddressRefCount(-1);
1389 }
1390 
1391 Value *BlockAddress::handleOperandChangeImpl(Value *From, Value *To) {
1392   // This could be replacing either the Basic Block or the Function.  In either
1393   // case, we have to remove the map entry.
1394   Function *NewF = getFunction();
1395   BasicBlock *NewBB = getBasicBlock();
1396 
1397   if (From == NewF)
1398     NewF = cast<Function>(To->stripPointerCasts());
1399   else {
1400     assert(From == NewBB && "From does not match any operand");
1401     NewBB = cast<BasicBlock>(To);
1402   }
1403 
1404   // See if the 'new' entry already exists, if not, just update this in place
1405   // and return early.
1406   BlockAddress *&NewBA =
1407     getContext().pImpl->BlockAddresses[std::make_pair(NewF, NewBB)];
1408   if (NewBA)
1409     return NewBA;
1410 
1411   getBasicBlock()->AdjustBlockAddressRefCount(-1);
1412 
1413   // Remove the old entry, this can't cause the map to rehash (just a
1414   // tombstone will get added).
1415   getContext().pImpl->BlockAddresses.erase(std::make_pair(getFunction(),
1416                                                           getBasicBlock()));
1417   NewBA = this;
1418   setOperand(0, NewF);
1419   setOperand(1, NewBB);
1420   getBasicBlock()->AdjustBlockAddressRefCount(1);
1421 
1422   // If we just want to keep the existing value, then return null.
1423   // Callers know that this means we shouldn't delete this value.
1424   return nullptr;
1425 }
1426 
1427 //---- ConstantExpr::get() implementations.
1428 //
1429 
1430 /// This is a utility function to handle folding of casts and lookup of the
1431 /// cast in the ExprConstants map. It is used by the various get* methods below.
1432 static Constant *getFoldedCast(Instruction::CastOps opc, Constant *C, Type *Ty,
1433                                bool OnlyIfReduced = false) {
1434   assert(Ty->isFirstClassType() && "Cannot cast to an aggregate type!");
1435   // Fold a few common cases
1436   if (Constant *FC = ConstantFoldCastInstruction(opc, C, Ty))
1437     return FC;
1438 
1439   if (OnlyIfReduced)
1440     return nullptr;
1441 
1442   LLVMContextImpl *pImpl = Ty->getContext().pImpl;
1443 
1444   // Look up the constant in the table first to ensure uniqueness.
1445   ConstantExprKeyType Key(opc, C);
1446 
1447   return pImpl->ExprConstants.getOrCreate(Ty, Key);
1448 }
1449 
1450 Constant *ConstantExpr::getCast(unsigned oc, Constant *C, Type *Ty,
1451                                 bool OnlyIfReduced) {
1452   Instruction::CastOps opc = Instruction::CastOps(oc);
1453   assert(Instruction::isCast(opc) && "opcode out of range");
1454   assert(C && Ty && "Null arguments to getCast");
1455   assert(CastInst::castIsValid(opc, C, Ty) && "Invalid constantexpr cast!");
1456 
1457   switch (opc) {
1458   default:
1459     llvm_unreachable("Invalid cast opcode");
1460   case Instruction::Trunc:
1461     return getTrunc(C, Ty, OnlyIfReduced);
1462   case Instruction::ZExt:
1463     return getZExt(C, Ty, OnlyIfReduced);
1464   case Instruction::SExt:
1465     return getSExt(C, Ty, OnlyIfReduced);
1466   case Instruction::FPTrunc:
1467     return getFPTrunc(C, Ty, OnlyIfReduced);
1468   case Instruction::FPExt:
1469     return getFPExtend(C, Ty, OnlyIfReduced);
1470   case Instruction::UIToFP:
1471     return getUIToFP(C, Ty, OnlyIfReduced);
1472   case Instruction::SIToFP:
1473     return getSIToFP(C, Ty, OnlyIfReduced);
1474   case Instruction::FPToUI:
1475     return getFPToUI(C, Ty, OnlyIfReduced);
1476   case Instruction::FPToSI:
1477     return getFPToSI(C, Ty, OnlyIfReduced);
1478   case Instruction::PtrToInt:
1479     return getPtrToInt(C, Ty, OnlyIfReduced);
1480   case Instruction::IntToPtr:
1481     return getIntToPtr(C, Ty, OnlyIfReduced);
1482   case Instruction::BitCast:
1483     return getBitCast(C, Ty, OnlyIfReduced);
1484   case Instruction::AddrSpaceCast:
1485     return getAddrSpaceCast(C, Ty, OnlyIfReduced);
1486   }
1487 }
1488 
1489 Constant *ConstantExpr::getZExtOrBitCast(Constant *C, Type *Ty) {
1490   if (C->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
1491     return getBitCast(C, Ty);
1492   return getZExt(C, Ty);
1493 }
1494 
1495 Constant *ConstantExpr::getSExtOrBitCast(Constant *C, Type *Ty) {
1496   if (C->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
1497     return getBitCast(C, Ty);
1498   return getSExt(C, Ty);
1499 }
1500 
1501 Constant *ConstantExpr::getTruncOrBitCast(Constant *C, Type *Ty) {
1502   if (C->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
1503     return getBitCast(C, Ty);
1504   return getTrunc(C, Ty);
1505 }
1506 
1507 Constant *ConstantExpr::getPointerCast(Constant *S, Type *Ty) {
1508   assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
1509   assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) &&
1510           "Invalid cast");
1511 
1512   if (Ty->isIntOrIntVectorTy())
1513     return getPtrToInt(S, Ty);
1514 
1515   unsigned SrcAS = S->getType()->getPointerAddressSpace();
1516   if (Ty->isPtrOrPtrVectorTy() && SrcAS != Ty->getPointerAddressSpace())
1517     return getAddrSpaceCast(S, Ty);
1518 
1519   return getBitCast(S, Ty);
1520 }
1521 
1522 Constant *ConstantExpr::getPointerBitCastOrAddrSpaceCast(Constant *S,
1523                                                          Type *Ty) {
1524   assert(S->getType()->isPtrOrPtrVectorTy() && "Invalid cast");
1525   assert(Ty->isPtrOrPtrVectorTy() && "Invalid cast");
1526 
1527   if (S->getType()->getPointerAddressSpace() != Ty->getPointerAddressSpace())
1528     return getAddrSpaceCast(S, Ty);
1529 
1530   return getBitCast(S, Ty);
1531 }
1532 
1533 Constant *ConstantExpr::getIntegerCast(Constant *C, Type *Ty, bool isSigned) {
1534   assert(C->getType()->isIntOrIntVectorTy() &&
1535          Ty->isIntOrIntVectorTy() && "Invalid cast");
1536   unsigned SrcBits = C->getType()->getScalarSizeInBits();
1537   unsigned DstBits = Ty->getScalarSizeInBits();
1538   Instruction::CastOps opcode =
1539     (SrcBits == DstBits ? Instruction::BitCast :
1540      (SrcBits > DstBits ? Instruction::Trunc :
1541       (isSigned ? Instruction::SExt : Instruction::ZExt)));
1542   return getCast(opcode, C, Ty);
1543 }
1544 
1545 Constant *ConstantExpr::getFPCast(Constant *C, Type *Ty) {
1546   assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() &&
1547          "Invalid cast");
1548   unsigned SrcBits = C->getType()->getScalarSizeInBits();
1549   unsigned DstBits = Ty->getScalarSizeInBits();
1550   if (SrcBits == DstBits)
1551     return C; // Avoid a useless cast
1552   Instruction::CastOps opcode =
1553     (SrcBits > DstBits ? Instruction::FPTrunc : Instruction::FPExt);
1554   return getCast(opcode, C, Ty);
1555 }
1556 
1557 Constant *ConstantExpr::getTrunc(Constant *C, Type *Ty, bool OnlyIfReduced) {
1558 #ifndef NDEBUG
1559   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1560   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1561 #endif
1562   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1563   assert(C->getType()->isIntOrIntVectorTy() && "Trunc operand must be integer");
1564   assert(Ty->isIntOrIntVectorTy() && "Trunc produces only integral");
1565   assert(C->getType()->getScalarSizeInBits() > Ty->getScalarSizeInBits()&&
1566          "SrcTy must be larger than DestTy for Trunc!");
1567 
1568   return getFoldedCast(Instruction::Trunc, C, Ty, OnlyIfReduced);
1569 }
1570 
1571 Constant *ConstantExpr::getSExt(Constant *C, Type *Ty, bool OnlyIfReduced) {
1572 #ifndef NDEBUG
1573   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1574   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1575 #endif
1576   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1577   assert(C->getType()->isIntOrIntVectorTy() && "SExt operand must be integral");
1578   assert(Ty->isIntOrIntVectorTy() && "SExt produces only integer");
1579   assert(C->getType()->getScalarSizeInBits() < Ty->getScalarSizeInBits()&&
1580          "SrcTy must be smaller than DestTy for SExt!");
1581 
1582   return getFoldedCast(Instruction::SExt, C, Ty, OnlyIfReduced);
1583 }
1584 
1585 Constant *ConstantExpr::getZExt(Constant *C, Type *Ty, bool OnlyIfReduced) {
1586 #ifndef NDEBUG
1587   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1588   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1589 #endif
1590   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1591   assert(C->getType()->isIntOrIntVectorTy() && "ZEXt operand must be integral");
1592   assert(Ty->isIntOrIntVectorTy() && "ZExt produces only integer");
1593   assert(C->getType()->getScalarSizeInBits() < Ty->getScalarSizeInBits()&&
1594          "SrcTy must be smaller than DestTy for ZExt!");
1595 
1596   return getFoldedCast(Instruction::ZExt, C, Ty, OnlyIfReduced);
1597 }
1598 
1599 Constant *ConstantExpr::getFPTrunc(Constant *C, Type *Ty, bool OnlyIfReduced) {
1600 #ifndef NDEBUG
1601   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1602   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1603 #endif
1604   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1605   assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() &&
1606          C->getType()->getScalarSizeInBits() > Ty->getScalarSizeInBits()&&
1607          "This is an illegal floating point truncation!");
1608   return getFoldedCast(Instruction::FPTrunc, C, Ty, OnlyIfReduced);
1609 }
1610 
1611 Constant *ConstantExpr::getFPExtend(Constant *C, Type *Ty, bool OnlyIfReduced) {
1612 #ifndef NDEBUG
1613   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1614   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1615 #endif
1616   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1617   assert(C->getType()->isFPOrFPVectorTy() && Ty->isFPOrFPVectorTy() &&
1618          C->getType()->getScalarSizeInBits() < Ty->getScalarSizeInBits()&&
1619          "This is an illegal floating point extension!");
1620   return getFoldedCast(Instruction::FPExt, C, Ty, OnlyIfReduced);
1621 }
1622 
1623 Constant *ConstantExpr::getUIToFP(Constant *C, Type *Ty, bool OnlyIfReduced) {
1624 #ifndef NDEBUG
1625   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1626   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1627 #endif
1628   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1629   assert(C->getType()->isIntOrIntVectorTy() && Ty->isFPOrFPVectorTy() &&
1630          "This is an illegal uint to floating point cast!");
1631   return getFoldedCast(Instruction::UIToFP, C, Ty, OnlyIfReduced);
1632 }
1633 
1634 Constant *ConstantExpr::getSIToFP(Constant *C, Type *Ty, bool OnlyIfReduced) {
1635 #ifndef NDEBUG
1636   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1637   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1638 #endif
1639   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1640   assert(C->getType()->isIntOrIntVectorTy() && Ty->isFPOrFPVectorTy() &&
1641          "This is an illegal sint to floating point cast!");
1642   return getFoldedCast(Instruction::SIToFP, C, Ty, OnlyIfReduced);
1643 }
1644 
1645 Constant *ConstantExpr::getFPToUI(Constant *C, Type *Ty, bool OnlyIfReduced) {
1646 #ifndef NDEBUG
1647   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1648   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1649 #endif
1650   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1651   assert(C->getType()->isFPOrFPVectorTy() && Ty->isIntOrIntVectorTy() &&
1652          "This is an illegal floating point to uint cast!");
1653   return getFoldedCast(Instruction::FPToUI, C, Ty, OnlyIfReduced);
1654 }
1655 
1656 Constant *ConstantExpr::getFPToSI(Constant *C, Type *Ty, bool OnlyIfReduced) {
1657 #ifndef NDEBUG
1658   bool fromVec = C->getType()->getTypeID() == Type::VectorTyID;
1659   bool toVec = Ty->getTypeID() == Type::VectorTyID;
1660 #endif
1661   assert((fromVec == toVec) && "Cannot convert from scalar to/from vector");
1662   assert(C->getType()->isFPOrFPVectorTy() && Ty->isIntOrIntVectorTy() &&
1663          "This is an illegal floating point to sint cast!");
1664   return getFoldedCast(Instruction::FPToSI, C, Ty, OnlyIfReduced);
1665 }
1666 
1667 Constant *ConstantExpr::getPtrToInt(Constant *C, Type *DstTy,
1668                                     bool OnlyIfReduced) {
1669   assert(C->getType()->getScalarType()->isPointerTy() &&
1670          "PtrToInt source must be pointer or pointer vector");
1671   assert(DstTy->getScalarType()->isIntegerTy() &&
1672          "PtrToInt destination must be integer or integer vector");
1673   assert(isa<VectorType>(C->getType()) == isa<VectorType>(DstTy));
1674   if (isa<VectorType>(C->getType()))
1675     assert(C->getType()->getVectorNumElements()==DstTy->getVectorNumElements()&&
1676            "Invalid cast between a different number of vector elements");
1677   return getFoldedCast(Instruction::PtrToInt, C, DstTy, OnlyIfReduced);
1678 }
1679 
1680 Constant *ConstantExpr::getIntToPtr(Constant *C, Type *DstTy,
1681                                     bool OnlyIfReduced) {
1682   assert(C->getType()->getScalarType()->isIntegerTy() &&
1683          "IntToPtr source must be integer or integer vector");
1684   assert(DstTy->getScalarType()->isPointerTy() &&
1685          "IntToPtr destination must be a pointer or pointer vector");
1686   assert(isa<VectorType>(C->getType()) == isa<VectorType>(DstTy));
1687   if (isa<VectorType>(C->getType()))
1688     assert(C->getType()->getVectorNumElements()==DstTy->getVectorNumElements()&&
1689            "Invalid cast between a different number of vector elements");
1690   return getFoldedCast(Instruction::IntToPtr, C, DstTy, OnlyIfReduced);
1691 }
1692 
1693 Constant *ConstantExpr::getBitCast(Constant *C, Type *DstTy,
1694                                    bool OnlyIfReduced) {
1695   assert(CastInst::castIsValid(Instruction::BitCast, C, DstTy) &&
1696          "Invalid constantexpr bitcast!");
1697 
1698   // It is common to ask for a bitcast of a value to its own type, handle this
1699   // speedily.
1700   if (C->getType() == DstTy) return C;
1701 
1702   return getFoldedCast(Instruction::BitCast, C, DstTy, OnlyIfReduced);
1703 }
1704 
1705 Constant *ConstantExpr::getAddrSpaceCast(Constant *C, Type *DstTy,
1706                                          bool OnlyIfReduced) {
1707   assert(CastInst::castIsValid(Instruction::AddrSpaceCast, C, DstTy) &&
1708          "Invalid constantexpr addrspacecast!");
1709 
1710   // Canonicalize addrspacecasts between different pointer types by first
1711   // bitcasting the pointer type and then converting the address space.
1712   PointerType *SrcScalarTy = cast<PointerType>(C->getType()->getScalarType());
1713   PointerType *DstScalarTy = cast<PointerType>(DstTy->getScalarType());
1714   Type *DstElemTy = DstScalarTy->getElementType();
1715   if (SrcScalarTy->getElementType() != DstElemTy) {
1716     Type *MidTy = PointerType::get(DstElemTy, SrcScalarTy->getAddressSpace());
1717     if (VectorType *VT = dyn_cast<VectorType>(DstTy)) {
1718       // Handle vectors of pointers.
1719       MidTy = VectorType::get(MidTy, VT->getNumElements());
1720     }
1721     C = getBitCast(C, MidTy);
1722   }
1723   return getFoldedCast(Instruction::AddrSpaceCast, C, DstTy, OnlyIfReduced);
1724 }
1725 
1726 Constant *ConstantExpr::get(unsigned Opcode, Constant *C1, Constant *C2,
1727                             unsigned Flags, Type *OnlyIfReducedTy) {
1728   // Check the operands for consistency first.
1729   assert(Opcode >= Instruction::BinaryOpsBegin &&
1730          Opcode <  Instruction::BinaryOpsEnd   &&
1731          "Invalid opcode in binary constant expression");
1732   assert(C1->getType() == C2->getType() &&
1733          "Operand types in binary constant expression should match");
1734 
1735 #ifndef NDEBUG
1736   switch (Opcode) {
1737   case Instruction::Add:
1738   case Instruction::Sub:
1739   case Instruction::Mul:
1740     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1741     assert(C1->getType()->isIntOrIntVectorTy() &&
1742            "Tried to create an integer operation on a non-integer type!");
1743     break;
1744   case Instruction::FAdd:
1745   case Instruction::FSub:
1746   case Instruction::FMul:
1747     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1748     assert(C1->getType()->isFPOrFPVectorTy() &&
1749            "Tried to create a floating-point operation on a "
1750            "non-floating-point type!");
1751     break;
1752   case Instruction::UDiv:
1753   case Instruction::SDiv:
1754     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1755     assert(C1->getType()->isIntOrIntVectorTy() &&
1756            "Tried to create an arithmetic operation on a non-arithmetic type!");
1757     break;
1758   case Instruction::FDiv:
1759     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1760     assert(C1->getType()->isFPOrFPVectorTy() &&
1761            "Tried to create an arithmetic operation on a non-arithmetic type!");
1762     break;
1763   case Instruction::URem:
1764   case Instruction::SRem:
1765     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1766     assert(C1->getType()->isIntOrIntVectorTy() &&
1767            "Tried to create an arithmetic operation on a non-arithmetic type!");
1768     break;
1769   case Instruction::FRem:
1770     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1771     assert(C1->getType()->isFPOrFPVectorTy() &&
1772            "Tried to create an arithmetic operation on a non-arithmetic type!");
1773     break;
1774   case Instruction::And:
1775   case Instruction::Or:
1776   case Instruction::Xor:
1777     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1778     assert(C1->getType()->isIntOrIntVectorTy() &&
1779            "Tried to create a logical operation on a non-integral type!");
1780     break;
1781   case Instruction::Shl:
1782   case Instruction::LShr:
1783   case Instruction::AShr:
1784     assert(C1->getType() == C2->getType() && "Op types should be identical!");
1785     assert(C1->getType()->isIntOrIntVectorTy() &&
1786            "Tried to create a shift operation on a non-integer type!");
1787     break;
1788   default:
1789     break;
1790   }
1791 #endif
1792 
1793   if (Constant *FC = ConstantFoldBinaryInstruction(Opcode, C1, C2))
1794     return FC;          // Fold a few common cases.
1795 
1796   if (OnlyIfReducedTy == C1->getType())
1797     return nullptr;
1798 
1799   Constant *ArgVec[] = { C1, C2 };
1800   ConstantExprKeyType Key(Opcode, ArgVec, 0, Flags);
1801 
1802   LLVMContextImpl *pImpl = C1->getContext().pImpl;
1803   return pImpl->ExprConstants.getOrCreate(C1->getType(), Key);
1804 }
1805 
1806 Constant *ConstantExpr::getSizeOf(Type* Ty) {
1807   // sizeof is implemented as: (i64) gep (Ty*)null, 1
1808   // Note that a non-inbounds gep is used, as null isn't within any object.
1809   Constant *GEPIdx = ConstantInt::get(Type::getInt32Ty(Ty->getContext()), 1);
1810   Constant *GEP = getGetElementPtr(
1811       Ty, Constant::getNullValue(PointerType::getUnqual(Ty)), GEPIdx);
1812   return getPtrToInt(GEP,
1813                      Type::getInt64Ty(Ty->getContext()));
1814 }
1815 
1816 Constant *ConstantExpr::getAlignOf(Type* Ty) {
1817   // alignof is implemented as: (i64) gep ({i1,Ty}*)null, 0, 1
1818   // Note that a non-inbounds gep is used, as null isn't within any object.
1819   Type *AligningTy =
1820     StructType::get(Type::getInt1Ty(Ty->getContext()), Ty, nullptr);
1821   Constant *NullPtr = Constant::getNullValue(AligningTy->getPointerTo(0));
1822   Constant *Zero = ConstantInt::get(Type::getInt64Ty(Ty->getContext()), 0);
1823   Constant *One = ConstantInt::get(Type::getInt32Ty(Ty->getContext()), 1);
1824   Constant *Indices[2] = { Zero, One };
1825   Constant *GEP = getGetElementPtr(AligningTy, NullPtr, Indices);
1826   return getPtrToInt(GEP,
1827                      Type::getInt64Ty(Ty->getContext()));
1828 }
1829 
1830 Constant *ConstantExpr::getOffsetOf(StructType* STy, unsigned FieldNo) {
1831   return getOffsetOf(STy, ConstantInt::get(Type::getInt32Ty(STy->getContext()),
1832                                            FieldNo));
1833 }
1834 
1835 Constant *ConstantExpr::getOffsetOf(Type* Ty, Constant *FieldNo) {
1836   // offsetof is implemented as: (i64) gep (Ty*)null, 0, FieldNo
1837   // Note that a non-inbounds gep is used, as null isn't within any object.
1838   Constant *GEPIdx[] = {
1839     ConstantInt::get(Type::getInt64Ty(Ty->getContext()), 0),
1840     FieldNo
1841   };
1842   Constant *GEP = getGetElementPtr(
1843       Ty, Constant::getNullValue(PointerType::getUnqual(Ty)), GEPIdx);
1844   return getPtrToInt(GEP,
1845                      Type::getInt64Ty(Ty->getContext()));
1846 }
1847 
1848 Constant *ConstantExpr::getCompare(unsigned short Predicate, Constant *C1,
1849                                    Constant *C2, bool OnlyIfReduced) {
1850   assert(C1->getType() == C2->getType() && "Op types should be identical!");
1851 
1852   switch (Predicate) {
1853   default: llvm_unreachable("Invalid CmpInst predicate");
1854   case CmpInst::FCMP_FALSE: case CmpInst::FCMP_OEQ: case CmpInst::FCMP_OGT:
1855   case CmpInst::FCMP_OGE:   case CmpInst::FCMP_OLT: case CmpInst::FCMP_OLE:
1856   case CmpInst::FCMP_ONE:   case CmpInst::FCMP_ORD: case CmpInst::FCMP_UNO:
1857   case CmpInst::FCMP_UEQ:   case CmpInst::FCMP_UGT: case CmpInst::FCMP_UGE:
1858   case CmpInst::FCMP_ULT:   case CmpInst::FCMP_ULE: case CmpInst::FCMP_UNE:
1859   case CmpInst::FCMP_TRUE:
1860     return getFCmp(Predicate, C1, C2, OnlyIfReduced);
1861 
1862   case CmpInst::ICMP_EQ:  case CmpInst::ICMP_NE:  case CmpInst::ICMP_UGT:
1863   case CmpInst::ICMP_UGE: case CmpInst::ICMP_ULT: case CmpInst::ICMP_ULE:
1864   case CmpInst::ICMP_SGT: case CmpInst::ICMP_SGE: case CmpInst::ICMP_SLT:
1865   case CmpInst::ICMP_SLE:
1866     return getICmp(Predicate, C1, C2, OnlyIfReduced);
1867   }
1868 }
1869 
1870 Constant *ConstantExpr::getSelect(Constant *C, Constant *V1, Constant *V2,
1871                                   Type *OnlyIfReducedTy) {
1872   assert(!SelectInst::areInvalidOperands(C, V1, V2)&&"Invalid select operands");
1873 
1874   if (Constant *SC = ConstantFoldSelectInstruction(C, V1, V2))
1875     return SC;        // Fold common cases
1876 
1877   if (OnlyIfReducedTy == V1->getType())
1878     return nullptr;
1879 
1880   Constant *ArgVec[] = { C, V1, V2 };
1881   ConstantExprKeyType Key(Instruction::Select, ArgVec);
1882 
1883   LLVMContextImpl *pImpl = C->getContext().pImpl;
1884   return pImpl->ExprConstants.getOrCreate(V1->getType(), Key);
1885 }
1886 
1887 Constant *ConstantExpr::getGetElementPtr(Type *Ty, Constant *C,
1888                                          ArrayRef<Value *> Idxs, bool InBounds,
1889                                          Optional<unsigned> InRangeIndex,
1890                                          Type *OnlyIfReducedTy) {
1891   if (!Ty)
1892     Ty = cast<PointerType>(C->getType()->getScalarType())->getElementType();
1893   else
1894     assert(
1895         Ty ==
1896         cast<PointerType>(C->getType()->getScalarType())->getContainedType(0u));
1897 
1898   if (Constant *FC =
1899           ConstantFoldGetElementPtr(Ty, C, InBounds, InRangeIndex, Idxs))
1900     return FC;          // Fold a few common cases.
1901 
1902   // Get the result type of the getelementptr!
1903   Type *DestTy = GetElementPtrInst::getIndexedType(Ty, Idxs);
1904   assert(DestTy && "GEP indices invalid!");
1905   unsigned AS = C->getType()->getPointerAddressSpace();
1906   Type *ReqTy = DestTy->getPointerTo(AS);
1907 
1908   unsigned NumVecElts = 0;
1909   if (C->getType()->isVectorTy())
1910     NumVecElts = C->getType()->getVectorNumElements();
1911   else for (auto Idx : Idxs)
1912     if (Idx->getType()->isVectorTy())
1913       NumVecElts = Idx->getType()->getVectorNumElements();
1914 
1915   if (NumVecElts)
1916     ReqTy = VectorType::get(ReqTy, NumVecElts);
1917 
1918   if (OnlyIfReducedTy == ReqTy)
1919     return nullptr;
1920 
1921   // Look up the constant in the table first to ensure uniqueness
1922   std::vector<Constant*> ArgVec;
1923   ArgVec.reserve(1 + Idxs.size());
1924   ArgVec.push_back(C);
1925   for (unsigned i = 0, e = Idxs.size(); i != e; ++i) {
1926     assert((!Idxs[i]->getType()->isVectorTy() ||
1927             Idxs[i]->getType()->getVectorNumElements() == NumVecElts) &&
1928            "getelementptr index type missmatch");
1929 
1930     Constant *Idx = cast<Constant>(Idxs[i]);
1931     if (NumVecElts && !Idxs[i]->getType()->isVectorTy())
1932       Idx = ConstantVector::getSplat(NumVecElts, Idx);
1933     ArgVec.push_back(Idx);
1934   }
1935 
1936   unsigned SubClassOptionalData = InBounds ? GEPOperator::IsInBounds : 0;
1937   if (InRangeIndex && *InRangeIndex < 63)
1938     SubClassOptionalData |= (*InRangeIndex + 1) << 1;
1939   const ConstantExprKeyType Key(Instruction::GetElementPtr, ArgVec, 0,
1940                                 SubClassOptionalData, None, Ty);
1941 
1942   LLVMContextImpl *pImpl = C->getContext().pImpl;
1943   return pImpl->ExprConstants.getOrCreate(ReqTy, Key);
1944 }
1945 
1946 Constant *ConstantExpr::getICmp(unsigned short pred, Constant *LHS,
1947                                 Constant *RHS, bool OnlyIfReduced) {
1948   assert(LHS->getType() == RHS->getType());
1949   assert(pred >= ICmpInst::FIRST_ICMP_PREDICATE &&
1950          pred <= ICmpInst::LAST_ICMP_PREDICATE && "Invalid ICmp Predicate");
1951 
1952   if (Constant *FC = ConstantFoldCompareInstruction(pred, LHS, RHS))
1953     return FC;          // Fold a few common cases...
1954 
1955   if (OnlyIfReduced)
1956     return nullptr;
1957 
1958   // Look up the constant in the table first to ensure uniqueness
1959   Constant *ArgVec[] = { LHS, RHS };
1960   // Get the key type with both the opcode and predicate
1961   const ConstantExprKeyType Key(Instruction::ICmp, ArgVec, pred);
1962 
1963   Type *ResultTy = Type::getInt1Ty(LHS->getContext());
1964   if (VectorType *VT = dyn_cast<VectorType>(LHS->getType()))
1965     ResultTy = VectorType::get(ResultTy, VT->getNumElements());
1966 
1967   LLVMContextImpl *pImpl = LHS->getType()->getContext().pImpl;
1968   return pImpl->ExprConstants.getOrCreate(ResultTy, Key);
1969 }
1970 
1971 Constant *ConstantExpr::getFCmp(unsigned short pred, Constant *LHS,
1972                                 Constant *RHS, bool OnlyIfReduced) {
1973   assert(LHS->getType() == RHS->getType());
1974   assert(pred <= FCmpInst::LAST_FCMP_PREDICATE && "Invalid FCmp Predicate");
1975 
1976   if (Constant *FC = ConstantFoldCompareInstruction(pred, LHS, RHS))
1977     return FC;          // Fold a few common cases...
1978 
1979   if (OnlyIfReduced)
1980     return nullptr;
1981 
1982   // Look up the constant in the table first to ensure uniqueness
1983   Constant *ArgVec[] = { LHS, RHS };
1984   // Get the key type with both the opcode and predicate
1985   const ConstantExprKeyType Key(Instruction::FCmp, ArgVec, pred);
1986 
1987   Type *ResultTy = Type::getInt1Ty(LHS->getContext());
1988   if (VectorType *VT = dyn_cast<VectorType>(LHS->getType()))
1989     ResultTy = VectorType::get(ResultTy, VT->getNumElements());
1990 
1991   LLVMContextImpl *pImpl = LHS->getType()->getContext().pImpl;
1992   return pImpl->ExprConstants.getOrCreate(ResultTy, Key);
1993 }
1994 
1995 Constant *ConstantExpr::getExtractElement(Constant *Val, Constant *Idx,
1996                                           Type *OnlyIfReducedTy) {
1997   assert(Val->getType()->isVectorTy() &&
1998          "Tried to create extractelement operation on non-vector type!");
1999   assert(Idx->getType()->isIntegerTy() &&
2000          "Extractelement index must be an integer type!");
2001 
2002   if (Constant *FC = ConstantFoldExtractElementInstruction(Val, Idx))
2003     return FC;          // Fold a few common cases.
2004 
2005   Type *ReqTy = Val->getType()->getVectorElementType();
2006   if (OnlyIfReducedTy == ReqTy)
2007     return nullptr;
2008 
2009   // Look up the constant in the table first to ensure uniqueness
2010   Constant *ArgVec[] = { Val, Idx };
2011   const ConstantExprKeyType Key(Instruction::ExtractElement, ArgVec);
2012 
2013   LLVMContextImpl *pImpl = Val->getContext().pImpl;
2014   return pImpl->ExprConstants.getOrCreate(ReqTy, Key);
2015 }
2016 
2017 Constant *ConstantExpr::getInsertElement(Constant *Val, Constant *Elt,
2018                                          Constant *Idx, Type *OnlyIfReducedTy) {
2019   assert(Val->getType()->isVectorTy() &&
2020          "Tried to create insertelement operation on non-vector type!");
2021   assert(Elt->getType() == Val->getType()->getVectorElementType() &&
2022          "Insertelement types must match!");
2023   assert(Idx->getType()->isIntegerTy() &&
2024          "Insertelement index must be i32 type!");
2025 
2026   if (Constant *FC = ConstantFoldInsertElementInstruction(Val, Elt, Idx))
2027     return FC;          // Fold a few common cases.
2028 
2029   if (OnlyIfReducedTy == Val->getType())
2030     return nullptr;
2031 
2032   // Look up the constant in the table first to ensure uniqueness
2033   Constant *ArgVec[] = { Val, Elt, Idx };
2034   const ConstantExprKeyType Key(Instruction::InsertElement, ArgVec);
2035 
2036   LLVMContextImpl *pImpl = Val->getContext().pImpl;
2037   return pImpl->ExprConstants.getOrCreate(Val->getType(), Key);
2038 }
2039 
2040 Constant *ConstantExpr::getShuffleVector(Constant *V1, Constant *V2,
2041                                          Constant *Mask, Type *OnlyIfReducedTy) {
2042   assert(ShuffleVectorInst::isValidOperands(V1, V2, Mask) &&
2043          "Invalid shuffle vector constant expr operands!");
2044 
2045   if (Constant *FC = ConstantFoldShuffleVectorInstruction(V1, V2, Mask))
2046     return FC;          // Fold a few common cases.
2047 
2048   unsigned NElts = Mask->getType()->getVectorNumElements();
2049   Type *EltTy = V1->getType()->getVectorElementType();
2050   Type *ShufTy = VectorType::get(EltTy, NElts);
2051 
2052   if (OnlyIfReducedTy == ShufTy)
2053     return nullptr;
2054 
2055   // Look up the constant in the table first to ensure uniqueness
2056   Constant *ArgVec[] = { V1, V2, Mask };
2057   const ConstantExprKeyType Key(Instruction::ShuffleVector, ArgVec);
2058 
2059   LLVMContextImpl *pImpl = ShufTy->getContext().pImpl;
2060   return pImpl->ExprConstants.getOrCreate(ShufTy, Key);
2061 }
2062 
2063 Constant *ConstantExpr::getInsertValue(Constant *Agg, Constant *Val,
2064                                        ArrayRef<unsigned> Idxs,
2065                                        Type *OnlyIfReducedTy) {
2066   assert(Agg->getType()->isFirstClassType() &&
2067          "Non-first-class type for constant insertvalue expression");
2068 
2069   assert(ExtractValueInst::getIndexedType(Agg->getType(),
2070                                           Idxs) == Val->getType() &&
2071          "insertvalue indices invalid!");
2072   Type *ReqTy = Val->getType();
2073 
2074   if (Constant *FC = ConstantFoldInsertValueInstruction(Agg, Val, Idxs))
2075     return FC;
2076 
2077   if (OnlyIfReducedTy == ReqTy)
2078     return nullptr;
2079 
2080   Constant *ArgVec[] = { Agg, Val };
2081   const ConstantExprKeyType Key(Instruction::InsertValue, ArgVec, 0, 0, Idxs);
2082 
2083   LLVMContextImpl *pImpl = Agg->getContext().pImpl;
2084   return pImpl->ExprConstants.getOrCreate(ReqTy, Key);
2085 }
2086 
2087 Constant *ConstantExpr::getExtractValue(Constant *Agg, ArrayRef<unsigned> Idxs,
2088                                         Type *OnlyIfReducedTy) {
2089   assert(Agg->getType()->isFirstClassType() &&
2090          "Tried to create extractelement operation on non-first-class type!");
2091 
2092   Type *ReqTy = ExtractValueInst::getIndexedType(Agg->getType(), Idxs);
2093   (void)ReqTy;
2094   assert(ReqTy && "extractvalue indices invalid!");
2095 
2096   assert(Agg->getType()->isFirstClassType() &&
2097          "Non-first-class type for constant extractvalue expression");
2098   if (Constant *FC = ConstantFoldExtractValueInstruction(Agg, Idxs))
2099     return FC;
2100 
2101   if (OnlyIfReducedTy == ReqTy)
2102     return nullptr;
2103 
2104   Constant *ArgVec[] = { Agg };
2105   const ConstantExprKeyType Key(Instruction::ExtractValue, ArgVec, 0, 0, Idxs);
2106 
2107   LLVMContextImpl *pImpl = Agg->getContext().pImpl;
2108   return pImpl->ExprConstants.getOrCreate(ReqTy, Key);
2109 }
2110 
2111 Constant *ConstantExpr::getNeg(Constant *C, bool HasNUW, bool HasNSW) {
2112   assert(C->getType()->isIntOrIntVectorTy() &&
2113          "Cannot NEG a nonintegral value!");
2114   return getSub(ConstantFP::getZeroValueForNegation(C->getType()),
2115                 C, HasNUW, HasNSW);
2116 }
2117 
2118 Constant *ConstantExpr::getFNeg(Constant *C) {
2119   assert(C->getType()->isFPOrFPVectorTy() &&
2120          "Cannot FNEG a non-floating-point value!");
2121   return getFSub(ConstantFP::getZeroValueForNegation(C->getType()), C);
2122 }
2123 
2124 Constant *ConstantExpr::getNot(Constant *C) {
2125   assert(C->getType()->isIntOrIntVectorTy() &&
2126          "Cannot NOT a nonintegral value!");
2127   return get(Instruction::Xor, C, Constant::getAllOnesValue(C->getType()));
2128 }
2129 
2130 Constant *ConstantExpr::getAdd(Constant *C1, Constant *C2,
2131                                bool HasNUW, bool HasNSW) {
2132   unsigned Flags = (HasNUW ? OverflowingBinaryOperator::NoUnsignedWrap : 0) |
2133                    (HasNSW ? OverflowingBinaryOperator::NoSignedWrap   : 0);
2134   return get(Instruction::Add, C1, C2, Flags);
2135 }
2136 
2137 Constant *ConstantExpr::getFAdd(Constant *C1, Constant *C2) {
2138   return get(Instruction::FAdd, C1, C2);
2139 }
2140 
2141 Constant *ConstantExpr::getSub(Constant *C1, Constant *C2,
2142                                bool HasNUW, bool HasNSW) {
2143   unsigned Flags = (HasNUW ? OverflowingBinaryOperator::NoUnsignedWrap : 0) |
2144                    (HasNSW ? OverflowingBinaryOperator::NoSignedWrap   : 0);
2145   return get(Instruction::Sub, C1, C2, Flags);
2146 }
2147 
2148 Constant *ConstantExpr::getFSub(Constant *C1, Constant *C2) {
2149   return get(Instruction::FSub, C1, C2);
2150 }
2151 
2152 Constant *ConstantExpr::getMul(Constant *C1, Constant *C2,
2153                                bool HasNUW, bool HasNSW) {
2154   unsigned Flags = (HasNUW ? OverflowingBinaryOperator::NoUnsignedWrap : 0) |
2155                    (HasNSW ? OverflowingBinaryOperator::NoSignedWrap   : 0);
2156   return get(Instruction::Mul, C1, C2, Flags);
2157 }
2158 
2159 Constant *ConstantExpr::getFMul(Constant *C1, Constant *C2) {
2160   return get(Instruction::FMul, C1, C2);
2161 }
2162 
2163 Constant *ConstantExpr::getUDiv(Constant *C1, Constant *C2, bool isExact) {
2164   return get(Instruction::UDiv, C1, C2,
2165              isExact ? PossiblyExactOperator::IsExact : 0);
2166 }
2167 
2168 Constant *ConstantExpr::getSDiv(Constant *C1, Constant *C2, bool isExact) {
2169   return get(Instruction::SDiv, C1, C2,
2170              isExact ? PossiblyExactOperator::IsExact : 0);
2171 }
2172 
2173 Constant *ConstantExpr::getFDiv(Constant *C1, Constant *C2) {
2174   return get(Instruction::FDiv, C1, C2);
2175 }
2176 
2177 Constant *ConstantExpr::getURem(Constant *C1, Constant *C2) {
2178   return get(Instruction::URem, C1, C2);
2179 }
2180 
2181 Constant *ConstantExpr::getSRem(Constant *C1, Constant *C2) {
2182   return get(Instruction::SRem, C1, C2);
2183 }
2184 
2185 Constant *ConstantExpr::getFRem(Constant *C1, Constant *C2) {
2186   return get(Instruction::FRem, C1, C2);
2187 }
2188 
2189 Constant *ConstantExpr::getAnd(Constant *C1, Constant *C2) {
2190   return get(Instruction::And, C1, C2);
2191 }
2192 
2193 Constant *ConstantExpr::getOr(Constant *C1, Constant *C2) {
2194   return get(Instruction::Or, C1, C2);
2195 }
2196 
2197 Constant *ConstantExpr::getXor(Constant *C1, Constant *C2) {
2198   return get(Instruction::Xor, C1, C2);
2199 }
2200 
2201 Constant *ConstantExpr::getShl(Constant *C1, Constant *C2,
2202                                bool HasNUW, bool HasNSW) {
2203   unsigned Flags = (HasNUW ? OverflowingBinaryOperator::NoUnsignedWrap : 0) |
2204                    (HasNSW ? OverflowingBinaryOperator::NoSignedWrap   : 0);
2205   return get(Instruction::Shl, C1, C2, Flags);
2206 }
2207 
2208 Constant *ConstantExpr::getLShr(Constant *C1, Constant *C2, bool isExact) {
2209   return get(Instruction::LShr, C1, C2,
2210              isExact ? PossiblyExactOperator::IsExact : 0);
2211 }
2212 
2213 Constant *ConstantExpr::getAShr(Constant *C1, Constant *C2, bool isExact) {
2214   return get(Instruction::AShr, C1, C2,
2215              isExact ? PossiblyExactOperator::IsExact : 0);
2216 }
2217 
2218 Constant *ConstantExpr::getBinOpIdentity(unsigned Opcode, Type *Ty) {
2219   switch (Opcode) {
2220   default:
2221     // Doesn't have an identity.
2222     return nullptr;
2223 
2224   case Instruction::Add:
2225   case Instruction::Or:
2226   case Instruction::Xor:
2227     return Constant::getNullValue(Ty);
2228 
2229   case Instruction::Mul:
2230     return ConstantInt::get(Ty, 1);
2231 
2232   case Instruction::And:
2233     return Constant::getAllOnesValue(Ty);
2234   }
2235 }
2236 
2237 Constant *ConstantExpr::getBinOpAbsorber(unsigned Opcode, Type *Ty) {
2238   switch (Opcode) {
2239   default:
2240     // Doesn't have an absorber.
2241     return nullptr;
2242 
2243   case Instruction::Or:
2244     return Constant::getAllOnesValue(Ty);
2245 
2246   case Instruction::And:
2247   case Instruction::Mul:
2248     return Constant::getNullValue(Ty);
2249   }
2250 }
2251 
2252 /// Remove the constant from the constant table.
2253 void ConstantExpr::destroyConstantImpl() {
2254   getType()->getContext().pImpl->ExprConstants.remove(this);
2255 }
2256 
2257 const char *ConstantExpr::getOpcodeName() const {
2258   return Instruction::getOpcodeName(getOpcode());
2259 }
2260 
2261 GetElementPtrConstantExpr::GetElementPtrConstantExpr(
2262     Type *SrcElementTy, Constant *C, ArrayRef<Constant *> IdxList, Type *DestTy)
2263     : ConstantExpr(DestTy, Instruction::GetElementPtr,
2264                    OperandTraits<GetElementPtrConstantExpr>::op_end(this) -
2265                        (IdxList.size() + 1),
2266                    IdxList.size() + 1),
2267       SrcElementTy(SrcElementTy),
2268       ResElementTy(GetElementPtrInst::getIndexedType(SrcElementTy, IdxList)) {
2269   Op<0>() = C;
2270   Use *OperandList = getOperandList();
2271   for (unsigned i = 0, E = IdxList.size(); i != E; ++i)
2272     OperandList[i+1] = IdxList[i];
2273 }
2274 
2275 Type *GetElementPtrConstantExpr::getSourceElementType() const {
2276   return SrcElementTy;
2277 }
2278 
2279 Type *GetElementPtrConstantExpr::getResultElementType() const {
2280   return ResElementTy;
2281 }
2282 
2283 //===----------------------------------------------------------------------===//
2284 //                       ConstantData* implementations
2285 
2286 void ConstantDataArray::anchor() {}
2287 void ConstantDataVector::anchor() {}
2288 
2289 Type *ConstantDataSequential::getElementType() const {
2290   return getType()->getElementType();
2291 }
2292 
2293 StringRef ConstantDataSequential::getRawDataValues() const {
2294   return StringRef(DataElements, getNumElements()*getElementByteSize());
2295 }
2296 
2297 bool ConstantDataSequential::isElementTypeCompatible(Type *Ty) {
2298   if (Ty->isHalfTy() || Ty->isFloatTy() || Ty->isDoubleTy()) return true;
2299   if (auto *IT = dyn_cast<IntegerType>(Ty)) {
2300     switch (IT->getBitWidth()) {
2301     case 8:
2302     case 16:
2303     case 32:
2304     case 64:
2305       return true;
2306     default: break;
2307     }
2308   }
2309   return false;
2310 }
2311 
2312 unsigned ConstantDataSequential::getNumElements() const {
2313   if (ArrayType *AT = dyn_cast<ArrayType>(getType()))
2314     return AT->getNumElements();
2315   return getType()->getVectorNumElements();
2316 }
2317 
2318 
2319 uint64_t ConstantDataSequential::getElementByteSize() const {
2320   return getElementType()->getPrimitiveSizeInBits()/8;
2321 }
2322 
2323 /// Return the start of the specified element.
2324 const char *ConstantDataSequential::getElementPointer(unsigned Elt) const {
2325   assert(Elt < getNumElements() && "Invalid Elt");
2326   return DataElements+Elt*getElementByteSize();
2327 }
2328 
2329 
2330 /// Return true if the array is empty or all zeros.
2331 static bool isAllZeros(StringRef Arr) {
2332   for (char I : Arr)
2333     if (I != 0)
2334       return false;
2335   return true;
2336 }
2337 
2338 /// This is the underlying implementation of all of the
2339 /// ConstantDataSequential::get methods.  They all thunk down to here, providing
2340 /// the correct element type.  We take the bytes in as a StringRef because
2341 /// we *want* an underlying "char*" to avoid TBAA type punning violations.
2342 Constant *ConstantDataSequential::getImpl(StringRef Elements, Type *Ty) {
2343   assert(isElementTypeCompatible(Ty->getSequentialElementType()));
2344   // If the elements are all zero or there are no elements, return a CAZ, which
2345   // is more dense and canonical.
2346   if (isAllZeros(Elements))
2347     return ConstantAggregateZero::get(Ty);
2348 
2349   // Do a lookup to see if we have already formed one of these.
2350   auto &Slot =
2351       *Ty->getContext()
2352            .pImpl->CDSConstants.insert(std::make_pair(Elements, nullptr))
2353            .first;
2354 
2355   // The bucket can point to a linked list of different CDS's that have the same
2356   // body but different types.  For example, 0,0,0,1 could be a 4 element array
2357   // of i8, or a 1-element array of i32.  They'll both end up in the same
2358   /// StringMap bucket, linked up by their Next pointers.  Walk the list.
2359   ConstantDataSequential **Entry = &Slot.second;
2360   for (ConstantDataSequential *Node = *Entry; Node;
2361        Entry = &Node->Next, Node = *Entry)
2362     if (Node->getType() == Ty)
2363       return Node;
2364 
2365   // Okay, we didn't get a hit.  Create a node of the right class, link it in,
2366   // and return it.
2367   if (isa<ArrayType>(Ty))
2368     return *Entry = new ConstantDataArray(Ty, Slot.first().data());
2369 
2370   assert(isa<VectorType>(Ty));
2371   return *Entry = new ConstantDataVector(Ty, Slot.first().data());
2372 }
2373 
2374 void ConstantDataSequential::destroyConstantImpl() {
2375   // Remove the constant from the StringMap.
2376   StringMap<ConstantDataSequential*> &CDSConstants =
2377     getType()->getContext().pImpl->CDSConstants;
2378 
2379   StringMap<ConstantDataSequential*>::iterator Slot =
2380     CDSConstants.find(getRawDataValues());
2381 
2382   assert(Slot != CDSConstants.end() && "CDS not found in uniquing table");
2383 
2384   ConstantDataSequential **Entry = &Slot->getValue();
2385 
2386   // Remove the entry from the hash table.
2387   if (!(*Entry)->Next) {
2388     // If there is only one value in the bucket (common case) it must be this
2389     // entry, and removing the entry should remove the bucket completely.
2390     assert((*Entry) == this && "Hash mismatch in ConstantDataSequential");
2391     getContext().pImpl->CDSConstants.erase(Slot);
2392   } else {
2393     // Otherwise, there are multiple entries linked off the bucket, unlink the
2394     // node we care about but keep the bucket around.
2395     for (ConstantDataSequential *Node = *Entry; ;
2396          Entry = &Node->Next, Node = *Entry) {
2397       assert(Node && "Didn't find entry in its uniquing hash table!");
2398       // If we found our entry, unlink it from the list and we're done.
2399       if (Node == this) {
2400         *Entry = Node->Next;
2401         break;
2402       }
2403     }
2404   }
2405 
2406   // If we were part of a list, make sure that we don't delete the list that is
2407   // still owned by the uniquing map.
2408   Next = nullptr;
2409 }
2410 
2411 /// get() constructors - Return a constant with array type with an element
2412 /// count and element type matching the ArrayRef passed in.  Note that this
2413 /// can return a ConstantAggregateZero object.
2414 Constant *ConstantDataArray::get(LLVMContext &Context, ArrayRef<uint8_t> Elts) {
2415   Type *Ty = ArrayType::get(Type::getInt8Ty(Context), Elts.size());
2416   const char *Data = reinterpret_cast<const char *>(Elts.data());
2417   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*1), Ty);
2418 }
2419 Constant *ConstantDataArray::get(LLVMContext &Context, ArrayRef<uint16_t> Elts){
2420   Type *Ty = ArrayType::get(Type::getInt16Ty(Context), Elts.size());
2421   const char *Data = reinterpret_cast<const char *>(Elts.data());
2422   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*2), Ty);
2423 }
2424 Constant *ConstantDataArray::get(LLVMContext &Context, ArrayRef<uint32_t> Elts){
2425   Type *Ty = ArrayType::get(Type::getInt32Ty(Context), Elts.size());
2426   const char *Data = reinterpret_cast<const char *>(Elts.data());
2427   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*4), Ty);
2428 }
2429 Constant *ConstantDataArray::get(LLVMContext &Context, ArrayRef<uint64_t> Elts){
2430   Type *Ty = ArrayType::get(Type::getInt64Ty(Context), Elts.size());
2431   const char *Data = reinterpret_cast<const char *>(Elts.data());
2432   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*8), Ty);
2433 }
2434 Constant *ConstantDataArray::get(LLVMContext &Context, ArrayRef<float> Elts) {
2435   Type *Ty = ArrayType::get(Type::getFloatTy(Context), Elts.size());
2436   const char *Data = reinterpret_cast<const char *>(Elts.data());
2437   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*4), Ty);
2438 }
2439 Constant *ConstantDataArray::get(LLVMContext &Context, ArrayRef<double> Elts) {
2440   Type *Ty = ArrayType::get(Type::getDoubleTy(Context), Elts.size());
2441   const char *Data = reinterpret_cast<const char *>(Elts.data());
2442   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 8), Ty);
2443 }
2444 
2445 /// getFP() constructors - Return a constant with array type with an element
2446 /// count and element type of float with precision matching the number of
2447 /// bits in the ArrayRef passed in. (i.e. half for 16bits, float for 32bits,
2448 /// double for 64bits) Note that this can return a ConstantAggregateZero
2449 /// object.
2450 Constant *ConstantDataArray::getFP(LLVMContext &Context,
2451                                    ArrayRef<uint16_t> Elts) {
2452   Type *Ty = ArrayType::get(Type::getHalfTy(Context), Elts.size());
2453   const char *Data = reinterpret_cast<const char *>(Elts.data());
2454   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 2), Ty);
2455 }
2456 Constant *ConstantDataArray::getFP(LLVMContext &Context,
2457                                    ArrayRef<uint32_t> Elts) {
2458   Type *Ty = ArrayType::get(Type::getFloatTy(Context), Elts.size());
2459   const char *Data = reinterpret_cast<const char *>(Elts.data());
2460   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 4), Ty);
2461 }
2462 Constant *ConstantDataArray::getFP(LLVMContext &Context,
2463                                    ArrayRef<uint64_t> Elts) {
2464   Type *Ty = ArrayType::get(Type::getDoubleTy(Context), Elts.size());
2465   const char *Data = reinterpret_cast<const char *>(Elts.data());
2466   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 8), Ty);
2467 }
2468 
2469 Constant *ConstantDataArray::getString(LLVMContext &Context,
2470                                        StringRef Str, bool AddNull) {
2471   if (!AddNull) {
2472     const uint8_t *Data = reinterpret_cast<const uint8_t *>(Str.data());
2473     return get(Context, makeArrayRef(const_cast<uint8_t *>(Data),
2474                Str.size()));
2475   }
2476 
2477   SmallVector<uint8_t, 64> ElementVals;
2478   ElementVals.append(Str.begin(), Str.end());
2479   ElementVals.push_back(0);
2480   return get(Context, ElementVals);
2481 }
2482 
2483 /// get() constructors - Return a constant with vector type with an element
2484 /// count and element type matching the ArrayRef passed in.  Note that this
2485 /// can return a ConstantAggregateZero object.
2486 Constant *ConstantDataVector::get(LLVMContext &Context, ArrayRef<uint8_t> Elts){
2487   Type *Ty = VectorType::get(Type::getInt8Ty(Context), Elts.size());
2488   const char *Data = reinterpret_cast<const char *>(Elts.data());
2489   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*1), Ty);
2490 }
2491 Constant *ConstantDataVector::get(LLVMContext &Context, ArrayRef<uint16_t> Elts){
2492   Type *Ty = VectorType::get(Type::getInt16Ty(Context), Elts.size());
2493   const char *Data = reinterpret_cast<const char *>(Elts.data());
2494   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*2), Ty);
2495 }
2496 Constant *ConstantDataVector::get(LLVMContext &Context, ArrayRef<uint32_t> Elts){
2497   Type *Ty = VectorType::get(Type::getInt32Ty(Context), Elts.size());
2498   const char *Data = reinterpret_cast<const char *>(Elts.data());
2499   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*4), Ty);
2500 }
2501 Constant *ConstantDataVector::get(LLVMContext &Context, ArrayRef<uint64_t> Elts){
2502   Type *Ty = VectorType::get(Type::getInt64Ty(Context), Elts.size());
2503   const char *Data = reinterpret_cast<const char *>(Elts.data());
2504   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*8), Ty);
2505 }
2506 Constant *ConstantDataVector::get(LLVMContext &Context, ArrayRef<float> Elts) {
2507   Type *Ty = VectorType::get(Type::getFloatTy(Context), Elts.size());
2508   const char *Data = reinterpret_cast<const char *>(Elts.data());
2509   return getImpl(StringRef(const_cast<char *>(Data), Elts.size()*4), Ty);
2510 }
2511 Constant *ConstantDataVector::get(LLVMContext &Context, ArrayRef<double> Elts) {
2512   Type *Ty = VectorType::get(Type::getDoubleTy(Context), Elts.size());
2513   const char *Data = reinterpret_cast<const char *>(Elts.data());
2514   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 8), Ty);
2515 }
2516 
2517 /// getFP() constructors - Return a constant with vector type with an element
2518 /// count and element type of float with the precision matching the number of
2519 /// bits in the ArrayRef passed in.  (i.e. half for 16bits, float for 32bits,
2520 /// double for 64bits) Note that this can return a ConstantAggregateZero
2521 /// object.
2522 Constant *ConstantDataVector::getFP(LLVMContext &Context,
2523                                     ArrayRef<uint16_t> Elts) {
2524   Type *Ty = VectorType::get(Type::getHalfTy(Context), Elts.size());
2525   const char *Data = reinterpret_cast<const char *>(Elts.data());
2526   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 2), Ty);
2527 }
2528 Constant *ConstantDataVector::getFP(LLVMContext &Context,
2529                                     ArrayRef<uint32_t> Elts) {
2530   Type *Ty = VectorType::get(Type::getFloatTy(Context), Elts.size());
2531   const char *Data = reinterpret_cast<const char *>(Elts.data());
2532   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 4), Ty);
2533 }
2534 Constant *ConstantDataVector::getFP(LLVMContext &Context,
2535                                     ArrayRef<uint64_t> Elts) {
2536   Type *Ty = VectorType::get(Type::getDoubleTy(Context), Elts.size());
2537   const char *Data = reinterpret_cast<const char *>(Elts.data());
2538   return getImpl(StringRef(const_cast<char *>(Data), Elts.size() * 8), Ty);
2539 }
2540 
2541 Constant *ConstantDataVector::getSplat(unsigned NumElts, Constant *V) {
2542   assert(isElementTypeCompatible(V->getType()) &&
2543          "Element type not compatible with ConstantData");
2544   if (ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
2545     if (CI->getType()->isIntegerTy(8)) {
2546       SmallVector<uint8_t, 16> Elts(NumElts, CI->getZExtValue());
2547       return get(V->getContext(), Elts);
2548     }
2549     if (CI->getType()->isIntegerTy(16)) {
2550       SmallVector<uint16_t, 16> Elts(NumElts, CI->getZExtValue());
2551       return get(V->getContext(), Elts);
2552     }
2553     if (CI->getType()->isIntegerTy(32)) {
2554       SmallVector<uint32_t, 16> Elts(NumElts, CI->getZExtValue());
2555       return get(V->getContext(), Elts);
2556     }
2557     assert(CI->getType()->isIntegerTy(64) && "Unsupported ConstantData type");
2558     SmallVector<uint64_t, 16> Elts(NumElts, CI->getZExtValue());
2559     return get(V->getContext(), Elts);
2560   }
2561 
2562   if (ConstantFP *CFP = dyn_cast<ConstantFP>(V)) {
2563     if (CFP->getType()->isHalfTy()) {
2564       SmallVector<uint16_t, 16> Elts(
2565           NumElts, CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
2566       return getFP(V->getContext(), Elts);
2567     }
2568     if (CFP->getType()->isFloatTy()) {
2569       SmallVector<uint32_t, 16> Elts(
2570           NumElts, CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
2571       return getFP(V->getContext(), Elts);
2572     }
2573     if (CFP->getType()->isDoubleTy()) {
2574       SmallVector<uint64_t, 16> Elts(
2575           NumElts, CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
2576       return getFP(V->getContext(), Elts);
2577     }
2578   }
2579   return ConstantVector::getSplat(NumElts, V);
2580 }
2581 
2582 
2583 uint64_t ConstantDataSequential::getElementAsInteger(unsigned Elt) const {
2584   assert(isa<IntegerType>(getElementType()) &&
2585          "Accessor can only be used when element is an integer");
2586   const char *EltPtr = getElementPointer(Elt);
2587 
2588   // The data is stored in host byte order, make sure to cast back to the right
2589   // type to load with the right endianness.
2590   switch (getElementType()->getIntegerBitWidth()) {
2591   default: llvm_unreachable("Invalid bitwidth for CDS");
2592   case 8:
2593     return *const_cast<uint8_t *>(reinterpret_cast<const uint8_t *>(EltPtr));
2594   case 16:
2595     return *const_cast<uint16_t *>(reinterpret_cast<const uint16_t *>(EltPtr));
2596   case 32:
2597     return *const_cast<uint32_t *>(reinterpret_cast<const uint32_t *>(EltPtr));
2598   case 64:
2599     return *const_cast<uint64_t *>(reinterpret_cast<const uint64_t *>(EltPtr));
2600   }
2601 }
2602 
2603 APFloat ConstantDataSequential::getElementAsAPFloat(unsigned Elt) const {
2604   const char *EltPtr = getElementPointer(Elt);
2605 
2606   switch (getElementType()->getTypeID()) {
2607   default:
2608     llvm_unreachable("Accessor can only be used when element is float/double!");
2609   case Type::HalfTyID: {
2610     auto EltVal = *reinterpret_cast<const uint16_t *>(EltPtr);
2611     return APFloat(APFloat::IEEEhalf, APInt(16, EltVal));
2612   }
2613   case Type::FloatTyID: {
2614     auto EltVal = *reinterpret_cast<const uint32_t *>(EltPtr);
2615     return APFloat(APFloat::IEEEsingle, APInt(32, EltVal));
2616   }
2617   case Type::DoubleTyID: {
2618     auto EltVal = *reinterpret_cast<const uint64_t *>(EltPtr);
2619     return APFloat(APFloat::IEEEdouble, APInt(64, EltVal));
2620   }
2621   }
2622 }
2623 
2624 float ConstantDataSequential::getElementAsFloat(unsigned Elt) const {
2625   assert(getElementType()->isFloatTy() &&
2626          "Accessor can only be used when element is a 'float'");
2627   const float *EltPtr = reinterpret_cast<const float *>(getElementPointer(Elt));
2628   return *const_cast<float *>(EltPtr);
2629 }
2630 
2631 double ConstantDataSequential::getElementAsDouble(unsigned Elt) const {
2632   assert(getElementType()->isDoubleTy() &&
2633          "Accessor can only be used when element is a 'float'");
2634   const double *EltPtr =
2635       reinterpret_cast<const double *>(getElementPointer(Elt));
2636   return *const_cast<double *>(EltPtr);
2637 }
2638 
2639 Constant *ConstantDataSequential::getElementAsConstant(unsigned Elt) const {
2640   if (getElementType()->isHalfTy() || getElementType()->isFloatTy() ||
2641       getElementType()->isDoubleTy())
2642     return ConstantFP::get(getContext(), getElementAsAPFloat(Elt));
2643 
2644   return ConstantInt::get(getElementType(), getElementAsInteger(Elt));
2645 }
2646 
2647 bool ConstantDataSequential::isString() const {
2648   return isa<ArrayType>(getType()) && getElementType()->isIntegerTy(8);
2649 }
2650 
2651 bool ConstantDataSequential::isCString() const {
2652   if (!isString())
2653     return false;
2654 
2655   StringRef Str = getAsString();
2656 
2657   // The last value must be nul.
2658   if (Str.back() != 0) return false;
2659 
2660   // Other elements must be non-nul.
2661   return Str.drop_back().find(0) == StringRef::npos;
2662 }
2663 
2664 Constant *ConstantDataVector::getSplatValue() const {
2665   const char *Base = getRawDataValues().data();
2666 
2667   // Compare elements 1+ to the 0'th element.
2668   unsigned EltSize = getElementByteSize();
2669   for (unsigned i = 1, e = getNumElements(); i != e; ++i)
2670     if (memcmp(Base, Base+i*EltSize, EltSize))
2671       return nullptr;
2672 
2673   // If they're all the same, return the 0th one as a representative.
2674   return getElementAsConstant(0);
2675 }
2676 
2677 //===----------------------------------------------------------------------===//
2678 //                handleOperandChange implementations
2679 
2680 /// Update this constant array to change uses of
2681 /// 'From' to be uses of 'To'.  This must update the uniquing data structures
2682 /// etc.
2683 ///
2684 /// Note that we intentionally replace all uses of From with To here.  Consider
2685 /// a large array that uses 'From' 1000 times.  By handling this case all here,
2686 /// ConstantArray::handleOperandChange is only invoked once, and that
2687 /// single invocation handles all 1000 uses.  Handling them one at a time would
2688 /// work, but would be really slow because it would have to unique each updated
2689 /// array instance.
2690 ///
2691 void Constant::handleOperandChange(Value *From, Value *To) {
2692   Value *Replacement = nullptr;
2693   switch (getValueID()) {
2694   default:
2695     llvm_unreachable("Not a constant!");
2696 #define HANDLE_CONSTANT(Name)                                                  \
2697   case Value::Name##Val:                                                       \
2698     Replacement = cast<Name>(this)->handleOperandChangeImpl(From, To);         \
2699     break;
2700 #include "llvm/IR/Value.def"
2701   }
2702 
2703   // If handleOperandChangeImpl returned nullptr, then it handled
2704   // replacing itself and we don't want to delete or replace anything else here.
2705   if (!Replacement)
2706     return;
2707 
2708   // I do need to replace this with an existing value.
2709   assert(Replacement != this && "I didn't contain From!");
2710 
2711   // Everyone using this now uses the replacement.
2712   replaceAllUsesWith(Replacement);
2713 
2714   // Delete the old constant!
2715   destroyConstant();
2716 }
2717 
2718 Value *ConstantArray::handleOperandChangeImpl(Value *From, Value *To) {
2719   assert(isa<Constant>(To) && "Cannot make Constant refer to non-constant!");
2720   Constant *ToC = cast<Constant>(To);
2721 
2722   SmallVector<Constant*, 8> Values;
2723   Values.reserve(getNumOperands());  // Build replacement array.
2724 
2725   // Fill values with the modified operands of the constant array.  Also,
2726   // compute whether this turns into an all-zeros array.
2727   unsigned NumUpdated = 0;
2728 
2729   // Keep track of whether all the values in the array are "ToC".
2730   bool AllSame = true;
2731   Use *OperandList = getOperandList();
2732   unsigned OperandNo = 0;
2733   for (Use *O = OperandList, *E = OperandList+getNumOperands(); O != E; ++O) {
2734     Constant *Val = cast<Constant>(O->get());
2735     if (Val == From) {
2736       OperandNo = (O - OperandList);
2737       Val = ToC;
2738       ++NumUpdated;
2739     }
2740     Values.push_back(Val);
2741     AllSame &= Val == ToC;
2742   }
2743 
2744   if (AllSame && ToC->isNullValue())
2745     return ConstantAggregateZero::get(getType());
2746 
2747   if (AllSame && isa<UndefValue>(ToC))
2748     return UndefValue::get(getType());
2749 
2750   // Check for any other type of constant-folding.
2751   if (Constant *C = getImpl(getType(), Values))
2752     return C;
2753 
2754   // Update to the new value.
2755   return getContext().pImpl->ArrayConstants.replaceOperandsInPlace(
2756       Values, this, From, ToC, NumUpdated, OperandNo);
2757 }
2758 
2759 Value *ConstantStruct::handleOperandChangeImpl(Value *From, Value *To) {
2760   assert(isa<Constant>(To) && "Cannot make Constant refer to non-constant!");
2761   Constant *ToC = cast<Constant>(To);
2762 
2763   Use *OperandList = getOperandList();
2764 
2765   SmallVector<Constant*, 8> Values;
2766   Values.reserve(getNumOperands());  // Build replacement struct.
2767 
2768   // Fill values with the modified operands of the constant struct.  Also,
2769   // compute whether this turns into an all-zeros struct.
2770   unsigned NumUpdated = 0;
2771   bool AllSame = true;
2772   unsigned OperandNo = 0;
2773   for (Use *O = OperandList, *E = OperandList + getNumOperands(); O != E; ++O) {
2774     Constant *Val = cast<Constant>(O->get());
2775     if (Val == From) {
2776       OperandNo = (O - OperandList);
2777       Val = ToC;
2778       ++NumUpdated;
2779     }
2780     Values.push_back(Val);
2781     AllSame &= Val == ToC;
2782   }
2783 
2784   if (AllSame && ToC->isNullValue())
2785     return ConstantAggregateZero::get(getType());
2786 
2787   if (AllSame && isa<UndefValue>(ToC))
2788     return UndefValue::get(getType());
2789 
2790   // Update to the new value.
2791   return getContext().pImpl->StructConstants.replaceOperandsInPlace(
2792       Values, this, From, ToC, NumUpdated, OperandNo);
2793 }
2794 
2795 Value *ConstantVector::handleOperandChangeImpl(Value *From, Value *To) {
2796   assert(isa<Constant>(To) && "Cannot make Constant refer to non-constant!");
2797   Constant *ToC = cast<Constant>(To);
2798 
2799   SmallVector<Constant*, 8> Values;
2800   Values.reserve(getNumOperands());  // Build replacement array...
2801   unsigned NumUpdated = 0;
2802   unsigned OperandNo = 0;
2803   for (unsigned i = 0, e = getNumOperands(); i != e; ++i) {
2804     Constant *Val = getOperand(i);
2805     if (Val == From) {
2806       OperandNo = i;
2807       ++NumUpdated;
2808       Val = ToC;
2809     }
2810     Values.push_back(Val);
2811   }
2812 
2813   if (Constant *C = getImpl(Values))
2814     return C;
2815 
2816   // Update to the new value.
2817   return getContext().pImpl->VectorConstants.replaceOperandsInPlace(
2818       Values, this, From, ToC, NumUpdated, OperandNo);
2819 }
2820 
2821 Value *ConstantExpr::handleOperandChangeImpl(Value *From, Value *ToV) {
2822   assert(isa<Constant>(ToV) && "Cannot make Constant refer to non-constant!");
2823   Constant *To = cast<Constant>(ToV);
2824 
2825   SmallVector<Constant*, 8> NewOps;
2826   unsigned NumUpdated = 0;
2827   unsigned OperandNo = 0;
2828   for (unsigned i = 0, e = getNumOperands(); i != e; ++i) {
2829     Constant *Op = getOperand(i);
2830     if (Op == From) {
2831       OperandNo = i;
2832       ++NumUpdated;
2833       Op = To;
2834     }
2835     NewOps.push_back(Op);
2836   }
2837   assert(NumUpdated && "I didn't contain From!");
2838 
2839   if (Constant *C = getWithOperands(NewOps, getType(), true))
2840     return C;
2841 
2842   // Update to the new value.
2843   return getContext().pImpl->ExprConstants.replaceOperandsInPlace(
2844       NewOps, this, From, To, NumUpdated, OperandNo);
2845 }
2846 
2847 Instruction *ConstantExpr::getAsInstruction() {
2848   SmallVector<Value *, 4> ValueOperands(op_begin(), op_end());
2849   ArrayRef<Value*> Ops(ValueOperands);
2850 
2851   switch (getOpcode()) {
2852   case Instruction::Trunc:
2853   case Instruction::ZExt:
2854   case Instruction::SExt:
2855   case Instruction::FPTrunc:
2856   case Instruction::FPExt:
2857   case Instruction::UIToFP:
2858   case Instruction::SIToFP:
2859   case Instruction::FPToUI:
2860   case Instruction::FPToSI:
2861   case Instruction::PtrToInt:
2862   case Instruction::IntToPtr:
2863   case Instruction::BitCast:
2864   case Instruction::AddrSpaceCast:
2865     return CastInst::Create((Instruction::CastOps)getOpcode(),
2866                             Ops[0], getType());
2867   case Instruction::Select:
2868     return SelectInst::Create(Ops[0], Ops[1], Ops[2]);
2869   case Instruction::InsertElement:
2870     return InsertElementInst::Create(Ops[0], Ops[1], Ops[2]);
2871   case Instruction::ExtractElement:
2872     return ExtractElementInst::Create(Ops[0], Ops[1]);
2873   case Instruction::InsertValue:
2874     return InsertValueInst::Create(Ops[0], Ops[1], getIndices());
2875   case Instruction::ExtractValue:
2876     return ExtractValueInst::Create(Ops[0], getIndices());
2877   case Instruction::ShuffleVector:
2878     return new ShuffleVectorInst(Ops[0], Ops[1], Ops[2]);
2879 
2880   case Instruction::GetElementPtr: {
2881     const auto *GO = cast<GEPOperator>(this);
2882     if (GO->isInBounds())
2883       return GetElementPtrInst::CreateInBounds(GO->getSourceElementType(),
2884                                                Ops[0], Ops.slice(1));
2885     return GetElementPtrInst::Create(GO->getSourceElementType(), Ops[0],
2886                                      Ops.slice(1));
2887   }
2888   case Instruction::ICmp:
2889   case Instruction::FCmp:
2890     return CmpInst::Create((Instruction::OtherOps)getOpcode(),
2891                            (CmpInst::Predicate)getPredicate(), Ops[0], Ops[1]);
2892 
2893   default:
2894     assert(getNumOperands() == 2 && "Must be binary operator?");
2895     BinaryOperator *BO =
2896       BinaryOperator::Create((Instruction::BinaryOps)getOpcode(),
2897                              Ops[0], Ops[1]);
2898     if (isa<OverflowingBinaryOperator>(BO)) {
2899       BO->setHasNoUnsignedWrap(SubclassOptionalData &
2900                                OverflowingBinaryOperator::NoUnsignedWrap);
2901       BO->setHasNoSignedWrap(SubclassOptionalData &
2902                              OverflowingBinaryOperator::NoSignedWrap);
2903     }
2904     if (isa<PossiblyExactOperator>(BO))
2905       BO->setIsExact(SubclassOptionalData & PossiblyExactOperator::IsExact);
2906     return BO;
2907   }
2908 }
2909