Chris Lattner | ca14237 | 2002-04-28 19:55:58 +0000 | [diff] [blame] | 1 | //===-- Constants.cpp - Implement Constant nodes -----------------*- C++ -*--=// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 2 | // |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 3 | // This file implements the Constant* classes... |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 4 | // |
| 5 | //===----------------------------------------------------------------------===// |
| 6 | |
| 7 | #define __STDC_LIMIT_MACROS // Get defs for INT64_MAX and friends... |
Chris Lattner | ca14237 | 2002-04-28 19:55:58 +0000 | [diff] [blame] | 8 | #include "llvm/Constants.h" |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | #include "llvm/DerivedTypes.h" |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 10 | #include "llvm/iMemory.h" |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 11 | #include "llvm/SymbolTable.h" |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 12 | #include "llvm/Module.h" |
Chris Lattner | 6915f8f | 2002-04-07 22:49:37 +0000 | [diff] [blame] | 13 | #include "llvm/SlotCalculator.h" |
Chris Lattner | 5de2204 | 2001-11-27 00:03:19 +0000 | [diff] [blame] | 14 | #include "Support/StringExtras.h" |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 15 | #include <algorithm> |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 16 | |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 17 | using std::map; |
| 18 | using std::pair; |
| 19 | using std::make_pair; |
Anand Shukla | 991873f | 2002-07-16 00:02:17 +0000 | [diff] [blame^] | 20 | using std::vector; |
| 21 | using std::cerr; |
| 22 | using std::endl; |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 23 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 24 | ConstantBool *ConstantBool::True = new ConstantBool(true); |
| 25 | ConstantBool *ConstantBool::False = new ConstantBool(false); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 26 | |
Chris Lattner | 9655e54 | 2001-07-20 19:16:02 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 28 | //===----------------------------------------------------------------------===// |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 29 | // Constant Class |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 30 | //===----------------------------------------------------------------------===// |
| 31 | |
| 32 | // Specialize setName to take care of symbol table majik |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 33 | void Constant::setName(const std::string &Name, SymbolTable *ST) { |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 34 | assert(ST && "Type::setName - Must provide symbol table argument!"); |
| 35 | |
| 36 | if (Name.size()) ST->insert(Name, this); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | // Static constructor to create a '0' constant of arbitrary type... |
Chris Lattner | a85386f | 2002-04-27 02:25:43 +0000 | [diff] [blame] | 40 | Constant *Constant::getNullValue(const Type *Ty) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 41 | switch (Ty->getPrimitiveID()) { |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 42 | case Type::BoolTyID: return ConstantBool::get(false); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 43 | case Type::SByteTyID: |
| 44 | case Type::ShortTyID: |
| 45 | case Type::IntTyID: |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 46 | case Type::LongTyID: return ConstantSInt::get(Ty, 0); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 47 | |
| 48 | case Type::UByteTyID: |
| 49 | case Type::UShortTyID: |
| 50 | case Type::UIntTyID: |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 51 | case Type::ULongTyID: return ConstantUInt::get(Ty, 0); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 52 | |
| 53 | case Type::FloatTyID: |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 54 | case Type::DoubleTyID: return ConstantFP::get(Ty, 0); |
Chris Lattner | 436248f | 2001-09-30 20:14:07 +0000 | [diff] [blame] | 55 | |
| 56 | case Type::PointerTyID: |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 57 | return ConstantPointerNull::get(cast<PointerType>(Ty)); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 58 | default: |
| 59 | return 0; |
| 60 | } |
| 61 | } |
| 62 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 63 | void Constant::destroyConstantImpl() { |
| 64 | // When a Constant is destroyed, there may be lingering |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 65 | // references to the constant by other constants in the constant pool. These |
| 66 | // constants are implicitly dependant on the module that is being deleted, |
| 67 | // but they don't know that. Because we only find out when the CPV is |
| 68 | // deleted, we must now notify all of our users (that should only be |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 69 | // Constants) that they are, in fact, invalid now and should be deleted. |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 70 | // |
| 71 | while (!use_empty()) { |
| 72 | Value *V = use_back(); |
| 73 | #ifndef NDEBUG // Only in -g mode... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 74 | if (!isa<Constant>(V)) { |
Chris Lattner | e026e92 | 2002-04-07 22:32:25 +0000 | [diff] [blame] | 75 | std::cerr << "While deleting: "; |
| 76 | dump(); |
| 77 | std::cerr << "\nUse still stuck around after Def is destroyed: "; |
| 78 | V->dump(); |
| 79 | std::cerr << "\n"; |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 80 | } |
| 81 | #endif |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 82 | assert(isa<Constant>(V) && "References remain to Constant being destroyed"); |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 83 | Constant *CPV = cast<Constant>(V); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 84 | CPV->destroyConstant(); |
| 85 | |
| 86 | // The constant should remove itself from our use list... |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 87 | assert((use_empty() || use_back() != V) && "Constant not removed!"); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | // Value has no outstanding references it is safe to delete it now... |
| 91 | delete this; |
Chris Lattner | 3856934 | 2001-10-01 20:11:19 +0000 | [diff] [blame] | 92 | } |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 93 | |
| 94 | //===----------------------------------------------------------------------===// |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 95 | // ConstantXXX Classes |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 96 | //===----------------------------------------------------------------------===// |
| 97 | |
| 98 | //===----------------------------------------------------------------------===// |
| 99 | // Normal Constructors |
| 100 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 101 | ConstantBool::ConstantBool(bool V) : Constant(Type::BoolTy) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 102 | Val = V; |
| 103 | } |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 104 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 105 | ConstantInt::ConstantInt(const Type *Ty, uint64_t V) : Constant(Ty) { |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 106 | Val.Unsigned = V; |
Chris Lattner | 7309d66 | 2001-07-21 19:16:08 +0000 | [diff] [blame] | 107 | } |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 108 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 109 | ConstantSInt::ConstantSInt(const Type *Ty, int64_t V) : ConstantInt(Ty, V) { |
Chris Lattner | 9655e54 | 2001-07-20 19:16:02 +0000 | [diff] [blame] | 110 | assert(isValueValidForType(Ty, V) && "Value too large for type!"); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 113 | ConstantUInt::ConstantUInt(const Type *Ty, uint64_t V) : ConstantInt(Ty, V) { |
Chris Lattner | 9655e54 | 2001-07-20 19:16:02 +0000 | [diff] [blame] | 114 | assert(isValueValidForType(Ty, V) && "Value too large for type!"); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 115 | } |
| 116 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 117 | ConstantFP::ConstantFP(const Type *Ty, double V) : Constant(Ty) { |
Chris Lattner | 9655e54 | 2001-07-20 19:16:02 +0000 | [diff] [blame] | 118 | assert(isValueValidForType(Ty, V) && "Value too large for type!"); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 119 | Val = V; |
| 120 | } |
| 121 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 122 | ConstantArray::ConstantArray(const ArrayType *T, |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 123 | const std::vector<Constant*> &V) : Constant(T) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 124 | for (unsigned i = 0; i < V.size(); i++) { |
| 125 | assert(V[i]->getType() == T->getElementType()); |
Chris Lattner | a073acb | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 126 | Operands.push_back(Use(V[i], this)); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 127 | } |
| 128 | } |
| 129 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 130 | ConstantStruct::ConstantStruct(const StructType *T, |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 131 | const std::vector<Constant*> &V) : Constant(T) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 132 | const StructType::ElementTypes &ETypes = T->getElementTypes(); |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 133 | assert(V.size() == ETypes.size() && |
| 134 | "Invalid initializer vector for constant structure"); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 135 | for (unsigned i = 0; i < V.size(); i++) { |
| 136 | assert(V[i]->getType() == ETypes[i]); |
Chris Lattner | a073acb | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 137 | Operands.push_back(Use(V[i], this)); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 138 | } |
| 139 | } |
| 140 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 141 | ConstantPointerRef::ConstantPointerRef(GlobalValue *GV) |
| 142 | : ConstantPointer(GV->getType()) { |
Chris Lattner | 60e0dd7 | 2001-10-03 06:12:09 +0000 | [diff] [blame] | 143 | Operands.push_back(Use(GV, this)); |
| 144 | } |
| 145 | |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 146 | ConstantExpr::ConstantExpr(unsigned opCode, Constant *C, const Type *Ty) |
| 147 | : Constant(Ty), iType(opCode) { |
| 148 | Operands.push_back(Use(C, this)); |
| 149 | } |
| 150 | |
| 151 | ConstantExpr::ConstantExpr(unsigned opCode, Constant* C1, |
| 152 | Constant* C2, const Type *Ty) |
| 153 | : Constant(Ty), iType(opCode) { |
| 154 | Operands.push_back(Use(C1, this)); |
| 155 | Operands.push_back(Use(C2, this)); |
| 156 | } |
| 157 | |
| 158 | ConstantExpr::ConstantExpr(unsigned opCode, Constant* C, |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 159 | const std::vector<Value*>& IdxList, const Type *Ty) |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 160 | : Constant(Ty), iType(opCode) { |
| 161 | Operands.reserve(1+IdxList.size()); |
| 162 | Operands.push_back(Use(C, this)); |
| 163 | for (unsigned i = 0, E = IdxList.size(); i != E; ++i) |
| 164 | Operands.push_back(Use(IdxList[i], this)); |
| 165 | } |
| 166 | |
Chris Lattner | 60e0dd7 | 2001-10-03 06:12:09 +0000 | [diff] [blame] | 167 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 168 | |
| 169 | //===----------------------------------------------------------------------===// |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 170 | // classof implementations |
| 171 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 172 | bool ConstantInt::classof(const Constant *CPV) { |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 173 | return CPV->getType()->isIntegral() && ! isa<ConstantExpr>(CPV); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 174 | } |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 175 | bool ConstantSInt::classof(const Constant *CPV) { |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 176 | return CPV->getType()->isSigned() && ! isa<ConstantExpr>(CPV); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 177 | } |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 178 | bool ConstantUInt::classof(const Constant *CPV) { |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 179 | return CPV->getType()->isUnsigned() && ! isa<ConstantExpr>(CPV); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 180 | } |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 181 | bool ConstantFP::classof(const Constant *CPV) { |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 182 | const Type *Ty = CPV->getType(); |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 183 | return ((Ty == Type::FloatTy || Ty == Type::DoubleTy) && |
| 184 | ! isa<ConstantExpr>(CPV)); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 185 | } |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 186 | bool ConstantArray::classof(const Constant *CPV) { |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 187 | return isa<ArrayType>(CPV->getType()) && ! isa<ConstantExpr>(CPV); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 188 | } |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 189 | bool ConstantStruct::classof(const Constant *CPV) { |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 190 | return isa<StructType>(CPV->getType()) && ! isa<ConstantExpr>(CPV); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 191 | } |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 192 | bool ConstantPointer::classof(const Constant *CPV) { |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 193 | return (isa<PointerType>(CPV->getType()) && ! isa<ConstantExpr>(CPV)); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 194 | } |
| 195 | |
| 196 | |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 197 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 198 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 199 | // isValueValidForType implementations |
| 200 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 201 | bool ConstantSInt::isValueValidForType(const Type *Ty, int64_t Val) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 202 | switch (Ty->getPrimitiveID()) { |
| 203 | default: |
| 204 | return false; // These can't be represented as integers!!! |
| 205 | |
| 206 | // Signed types... |
| 207 | case Type::SByteTyID: |
| 208 | return (Val <= INT8_MAX && Val >= INT8_MIN); |
| 209 | case Type::ShortTyID: |
| 210 | return (Val <= INT16_MAX && Val >= INT16_MIN); |
| 211 | case Type::IntTyID: |
| 212 | return (Val <= INT32_MAX && Val >= INT32_MIN); |
| 213 | case Type::LongTyID: |
| 214 | return true; // This is the largest type... |
| 215 | } |
| 216 | assert(0 && "WTF?"); |
| 217 | return false; |
| 218 | } |
| 219 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 220 | bool ConstantUInt::isValueValidForType(const Type *Ty, uint64_t Val) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 221 | switch (Ty->getPrimitiveID()) { |
| 222 | default: |
| 223 | return false; // These can't be represented as integers!!! |
| 224 | |
| 225 | // Unsigned types... |
| 226 | case Type::UByteTyID: |
| 227 | return (Val <= UINT8_MAX); |
| 228 | case Type::UShortTyID: |
| 229 | return (Val <= UINT16_MAX); |
| 230 | case Type::UIntTyID: |
| 231 | return (Val <= UINT32_MAX); |
| 232 | case Type::ULongTyID: |
| 233 | return true; // This is the largest type... |
| 234 | } |
| 235 | assert(0 && "WTF?"); |
| 236 | return false; |
| 237 | } |
| 238 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 239 | bool ConstantFP::isValueValidForType(const Type *Ty, double Val) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 240 | switch (Ty->getPrimitiveID()) { |
| 241 | default: |
| 242 | return false; // These can't be represented as floating point! |
| 243 | |
| 244 | // TODO: Figure out how to test if a double can be cast to a float! |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 245 | case Type::FloatTyID: |
Chris Lattner | d06dd69 | 2001-07-15 00:18:39 +0000 | [diff] [blame] | 246 | /* |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 247 | return (Val <= UINT8_MAX); |
| 248 | */ |
| 249 | case Type::DoubleTyID: |
| 250 | return true; // This is the largest type... |
| 251 | } |
| 252 | }; |
Chris Lattner | 9655e54 | 2001-07-20 19:16:02 +0000 | [diff] [blame] | 253 | |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 254 | //===----------------------------------------------------------------------===// |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 255 | // Factory Function Implementation |
| 256 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 257 | template<class ValType, class ConstantClass> |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 258 | struct ValueMap { |
| 259 | typedef pair<const Type*, ValType> ConstHashKey; |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 260 | map<ConstHashKey, ConstantClass *> Map; |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 261 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 262 | inline ConstantClass *get(const Type *Ty, ValType V) { |
| 263 | map<ConstHashKey,ConstantClass *>::iterator I = |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 264 | Map.find(ConstHashKey(Ty, V)); |
| 265 | return (I != Map.end()) ? I->second : 0; |
| 266 | } |
| 267 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 268 | inline void add(const Type *Ty, ValType V, ConstantClass *CP) { |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 269 | Map.insert(make_pair(ConstHashKey(Ty, V), CP)); |
| 270 | } |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 271 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 272 | inline void remove(ConstantClass *CP) { |
| 273 | for (map<ConstHashKey,ConstantClass *>::iterator I = Map.begin(), |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 274 | E = Map.end(); I != E;++I) |
| 275 | if (I->second == CP) { |
| 276 | Map.erase(I); |
| 277 | return; |
| 278 | } |
| 279 | } |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 280 | }; |
| 281 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 282 | //---- ConstantUInt::get() and ConstantSInt::get() implementations... |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 283 | // |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 284 | static ValueMap<uint64_t, ConstantInt> IntConstants; |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 285 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 286 | ConstantSInt *ConstantSInt::get(const Type *Ty, int64_t V) { |
| 287 | ConstantSInt *Result = (ConstantSInt*)IntConstants.get(Ty, (uint64_t)V); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 288 | if (!Result) // If no preexisting value, create one now... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 289 | IntConstants.add(Ty, V, Result = new ConstantSInt(Ty, V)); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 290 | return Result; |
| 291 | } |
| 292 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 293 | ConstantUInt *ConstantUInt::get(const Type *Ty, uint64_t V) { |
| 294 | ConstantUInt *Result = (ConstantUInt*)IntConstants.get(Ty, V); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 295 | if (!Result) // If no preexisting value, create one now... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 296 | IntConstants.add(Ty, V, Result = new ConstantUInt(Ty, V)); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 297 | return Result; |
| 298 | } |
| 299 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 300 | ConstantInt *ConstantInt::get(const Type *Ty, unsigned char V) { |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 301 | assert(V <= 127 && "Can only be used with very small positive constants!"); |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 302 | if (Ty->isSigned()) return ConstantSInt::get(Ty, V); |
| 303 | return ConstantUInt::get(Ty, V); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 304 | } |
| 305 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 306 | //---- ConstantFP::get() implementation... |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 307 | // |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 308 | static ValueMap<double, ConstantFP> FPConstants; |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 309 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 310 | ConstantFP *ConstantFP::get(const Type *Ty, double V) { |
| 311 | ConstantFP *Result = FPConstants.get(Ty, V); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 312 | if (!Result) // If no preexisting value, create one now... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 313 | FPConstants.add(Ty, V, Result = new ConstantFP(Ty, V)); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 314 | return Result; |
| 315 | } |
| 316 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 317 | //---- ConstantArray::get() implementation... |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 318 | // |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 319 | static ValueMap<std::vector<Constant*>, ConstantArray> ArrayConstants; |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 320 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 321 | ConstantArray *ConstantArray::get(const ArrayType *Ty, |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 322 | const std::vector<Constant*> &V) { |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 323 | ConstantArray *Result = ArrayConstants.get(Ty, V); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 324 | if (!Result) // If no preexisting value, create one now... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 325 | ArrayConstants.add(Ty, V, Result = new ConstantArray(Ty, V)); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 326 | return Result; |
| 327 | } |
| 328 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 329 | // ConstantArray::get(const string&) - Return an array that is initialized to |
Chris Lattner | 8f80fe0 | 2001-10-14 23:54:12 +0000 | [diff] [blame] | 330 | // contain the specified string. A null terminator is added to the specified |
| 331 | // string so that it may be used in a natural way... |
| 332 | // |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 333 | ConstantArray *ConstantArray::get(const std::string &Str) { |
| 334 | std::vector<Constant*> ElementVals; |
Chris Lattner | 8f80fe0 | 2001-10-14 23:54:12 +0000 | [diff] [blame] | 335 | |
| 336 | for (unsigned i = 0; i < Str.length(); ++i) |
Chris Lattner | bec9b0b | 2001-12-14 16:41:18 +0000 | [diff] [blame] | 337 | ElementVals.push_back(ConstantSInt::get(Type::SByteTy, Str[i])); |
Chris Lattner | 8f80fe0 | 2001-10-14 23:54:12 +0000 | [diff] [blame] | 338 | |
| 339 | // Add a null terminator to the string... |
Chris Lattner | bec9b0b | 2001-12-14 16:41:18 +0000 | [diff] [blame] | 340 | ElementVals.push_back(ConstantSInt::get(Type::SByteTy, 0)); |
Chris Lattner | 8f80fe0 | 2001-10-14 23:54:12 +0000 | [diff] [blame] | 341 | |
Chris Lattner | bec9b0b | 2001-12-14 16:41:18 +0000 | [diff] [blame] | 342 | ArrayType *ATy = ArrayType::get(Type::SByteTy, Str.length()+1); |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 343 | return ConstantArray::get(ATy, ElementVals); |
Vikram S. Adve | 3441043 | 2001-10-14 23:17:20 +0000 | [diff] [blame] | 344 | } |
| 345 | |
| 346 | |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 347 | // destroyConstant - Remove the constant from the constant table... |
| 348 | // |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 349 | void ConstantArray::destroyConstant() { |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 350 | ArrayConstants.remove(this); |
| 351 | destroyConstantImpl(); |
| 352 | } |
| 353 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 354 | //---- ConstantStruct::get() implementation... |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 355 | // |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 356 | static ValueMap<std::vector<Constant*>, ConstantStruct> StructConstants; |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 357 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 358 | ConstantStruct *ConstantStruct::get(const StructType *Ty, |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 359 | const std::vector<Constant*> &V) { |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 360 | ConstantStruct *Result = StructConstants.get(Ty, V); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 361 | if (!Result) // If no preexisting value, create one now... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 362 | StructConstants.add(Ty, V, Result = new ConstantStruct(Ty, V)); |
Chris Lattner | 49d855c | 2001-09-07 16:46:31 +0000 | [diff] [blame] | 363 | return Result; |
| 364 | } |
Chris Lattner | 883ad0b | 2001-10-03 15:39:36 +0000 | [diff] [blame] | 365 | |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 366 | // destroyConstant - Remove the constant from the constant table... |
Chris Lattner | 883ad0b | 2001-10-03 15:39:36 +0000 | [diff] [blame] | 367 | // |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 368 | void ConstantStruct::destroyConstant() { |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 369 | StructConstants.remove(this); |
| 370 | destroyConstantImpl(); |
| 371 | } |
Chris Lattner | 883ad0b | 2001-10-03 15:39:36 +0000 | [diff] [blame] | 372 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 373 | //---- ConstantPointerNull::get() implementation... |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 374 | // |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 375 | static ValueMap<char, ConstantPointerNull> NullPtrConstants; |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 376 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 377 | ConstantPointerNull *ConstantPointerNull::get(const PointerType *Ty) { |
| 378 | ConstantPointerNull *Result = NullPtrConstants.get(Ty, 0); |
Chris Lattner | 883ad0b | 2001-10-03 15:39:36 +0000 | [diff] [blame] | 379 | if (!Result) // If no preexisting value, create one now... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 380 | NullPtrConstants.add(Ty, 0, Result = new ConstantPointerNull(Ty)); |
Chris Lattner | 883ad0b | 2001-10-03 15:39:36 +0000 | [diff] [blame] | 381 | return Result; |
| 382 | } |
| 383 | |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 384 | //---- ConstantPointerRef::get() implementation... |
Chris Lattner | 2503325 | 2001-10-03 19:28:15 +0000 | [diff] [blame] | 385 | // |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 386 | ConstantPointerRef *ConstantPointerRef::get(GlobalValue *GV) { |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 387 | assert(GV->getParent() && "Global Value must be attached to a module!"); |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 388 | |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 389 | // The Module handles the pointer reference sharing... |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 390 | return GV->getParent()->getConstantPointerRef(GV); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 391 | } |
| 392 | |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 393 | //---- ConstantExpr::get() implementations... |
| 394 | // Return NULL on invalid expressions. |
| 395 | // |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 396 | typedef pair<unsigned, vector<Constant*> > ExprMapKeyType; |
| 397 | static ValueMap<const ExprMapKeyType, ConstantExpr> ExprConstants; |
| 398 | |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 399 | ConstantExpr* |
| 400 | ConstantExpr::get(unsigned opCode, Constant *C, const Type *Ty) { |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 401 | |
| 402 | // Look up the constant in the table first to ensure uniqueness |
| 403 | vector<Constant*> argVec(1, C); |
| 404 | const ExprMapKeyType& key = make_pair(opCode, argVec); |
| 405 | ConstantExpr* result = ExprConstants.get(Ty, key); |
| 406 | if (result) |
| 407 | return result; |
| 408 | |
| 409 | // Its not in the table so create a new one and put it in the table. |
| 410 | // Check the operands for consistency first |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 411 | if (opCode != Instruction::Cast && |
| 412 | (opCode < Instruction::FirstUnaryOp || |
| 413 | opCode >= Instruction::NumUnaryOps)) { |
Anand Shukla | 991873f | 2002-07-16 00:02:17 +0000 | [diff] [blame^] | 414 | std::cerr << "Invalid opcode " << ConstantExpr::getOpcodeName(opCode) |
| 415 | << " in unary constant expression" << std::endl; |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 416 | return NULL; // Not Cast or other unary opcode |
| 417 | } |
| 418 | // type of operand will not match result for Cast operation |
| 419 | if (opCode != Instruction::Cast && Ty != C->getType()) { |
| 420 | cerr << "Type of operand in unary constant expression should match result" << endl; |
| 421 | return NULL; |
| 422 | } |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 423 | |
| 424 | result = new ConstantExpr(opCode, C, Ty); |
| 425 | ExprConstants.add(Ty, key, result); |
| 426 | return result; |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 427 | } |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 428 | |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 429 | ConstantExpr* |
| 430 | ConstantExpr::get(unsigned opCode, Constant *C1, Constant *C2,const Type *Ty) { |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 431 | |
| 432 | // Look up the constant in the table first to ensure uniqueness |
| 433 | vector<Constant*> argVec(1, C1); argVec.push_back(C2); |
| 434 | const ExprMapKeyType& key = make_pair(opCode, argVec); |
| 435 | ConstantExpr* result = ExprConstants.get(Ty, key); |
| 436 | if (result) |
| 437 | return result; |
| 438 | |
| 439 | // Its not in the table so create a new one and put it in the table. |
| 440 | // Check the operands for consistency first |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 441 | if (opCode < Instruction::FirstBinaryOp || |
| 442 | opCode >= Instruction::NumBinaryOps) { |
| 443 | cerr << "Invalid opcode " << ConstantExpr::getOpcodeName(opCode) |
| 444 | << " in binary constant expression" << endl; |
| 445 | return NULL; |
| 446 | } |
| 447 | if (Ty != C1->getType() || Ty != C2->getType()) { |
| 448 | cerr << "Types of both operands in binary constant expression should match result" << endl; |
| 449 | return NULL; |
| 450 | } |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 451 | |
| 452 | result = new ConstantExpr(opCode, C1, C2, Ty); |
| 453 | ExprConstants.add(Ty, key, result); |
| 454 | return result; |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 455 | } |
| 456 | |
| 457 | ConstantExpr* |
| 458 | ConstantExpr::get(unsigned opCode, Constant*C, |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 459 | const std::vector<Value*>& idxList, const Type *Ty) { |
| 460 | |
| 461 | // Look up the constant in the table first to ensure uniqueness |
| 462 | vector<Constant*> argVec(1, C); |
| 463 | for(vector<Value*>::const_iterator VI=idxList.begin(), VE=idxList.end(); |
| 464 | VI != VE; ++VI) |
| 465 | if (Constant *C = dyn_cast<Constant>(*VI)) |
| 466 | argVec.push_back(C); |
| 467 | else { |
| 468 | cerr << "Non-constant index in constant GetElementPtr expr"; |
| 469 | return NULL; |
| 470 | } |
| 471 | |
| 472 | const ExprMapKeyType& key = make_pair(opCode, argVec); |
| 473 | ConstantExpr* result = ExprConstants.get(Ty, key); |
| 474 | if (result) |
| 475 | return result; |
| 476 | |
| 477 | // Its not in the table so create a new one and put it in the table. |
| 478 | // Check the operands for consistency first |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 479 | // Must be a getElementPtr. Check for valid getElementPtr expression. |
| 480 | // |
| 481 | if (opCode != Instruction::GetElementPtr) { |
| 482 | cerr << "operator other than GetElementPtr used with an index list" << endl; |
| 483 | return NULL; |
| 484 | } |
| 485 | if (!isa<ConstantPointer>(C)) { |
| 486 | cerr << "Constant GelElementPtr expression using something other than a constant pointer" << endl; |
| 487 | return NULL; |
| 488 | } |
| 489 | if (!isa<PointerType>(Ty)) { |
| 490 | cerr << "Non-pointer type for constant GelElementPtr expression" << endl; |
| 491 | return NULL; |
| 492 | } |
| 493 | const Type* fldType = GetElementPtrInst::getIndexedType(C->getType(), |
| 494 | idxList, true); |
| 495 | if (!fldType) { |
| 496 | cerr << "Invalid index list for constant GelElementPtr expression" << endl; |
| 497 | return NULL; |
| 498 | } |
| 499 | if (cast<PointerType>(Ty)->getElementType() != fldType) { |
| 500 | cerr << "Type for constant GelElementPtr expression does not match field type" << endl; |
| 501 | return NULL; |
| 502 | } |
| 503 | |
Vikram S. Adve | 4c48533 | 2002-07-15 18:19:33 +0000 | [diff] [blame] | 504 | result = new ConstantExpr(opCode, C, idxList, Ty); |
| 505 | ExprConstants.add(Ty, key, result); |
| 506 | return result; |
| 507 | } |
| 508 | |
| 509 | // destroyConstant - Remove the constant from the constant table... |
| 510 | // |
| 511 | void ConstantExpr::destroyConstant() { |
| 512 | ExprConstants.remove(this); |
| 513 | destroyConstantImpl(); |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 514 | } |
| 515 | |
| 516 | const char* |
| 517 | ConstantExpr::getOpcodeName(unsigned opCode) { |
| 518 | return Instruction::getOpcodeName(opCode); |
| 519 | } |
| 520 | |
| 521 | |
| 522 | //---- ConstantPointerRef::mutateReferences() implementation... |
| 523 | // |
| 524 | unsigned |
| 525 | ConstantPointerRef::mutateReferences(Value* OldV, Value *NewV) { |
| 526 | assert(getValue() == OldV && "Cannot mutate old value if I'm not using it!"); |
| 527 | GlobalValue* NewGV = cast<GlobalValue>(NewV); |
Chris Lattner | 3462ae3 | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 528 | getValue()->getParent()->mutateConstantPointerRef(getValue(), NewGV); |
Chris Lattner | d7a7330 | 2001-10-13 06:57:33 +0000 | [diff] [blame] | 529 | Operands[0] = NewGV; |
Vikram S. Adve | 4e537b2 | 2002-07-14 23:13:17 +0000 | [diff] [blame] | 530 | return 1; |
| 531 | } |
| 532 | |
| 533 | |
| 534 | //---- ConstantPointerExpr::mutateReferences() implementation... |
| 535 | // |
| 536 | unsigned |
| 537 | ConstantExpr::mutateReferences(Value* OldV, Value *NewV) { |
| 538 | unsigned numReplaced = 0; |
| 539 | Constant* NewC = cast<Constant>(NewV); |
| 540 | for (unsigned i=0, N = getNumOperands(); i < N; ++i) |
| 541 | if (Operands[i] == OldV) { |
| 542 | ++numReplaced; |
| 543 | Operands[i] = NewC; |
| 544 | } |
| 545 | return numReplaced; |
Chris Lattner | 2503325 | 2001-10-03 19:28:15 +0000 | [diff] [blame] | 546 | } |