Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 1 | //===- ReadConst.cpp - Code to constants and constant pools ---------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 2 | // |
| 3 | // This file implements functionality to deserialize constants and entire |
| 4 | // constant pools. |
| 5 | // |
| 6 | // Note that this library should be as fast as possible, reentrant, and |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 7 | // thread-safe!! |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 8 | // |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 9 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 10 | |
Chris Lattner | 7061dc5 | 2001-12-03 18:02:31 +0000 | [diff] [blame] | 11 | #include "ReaderInternals.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 12 | #include "llvm/Module.h" |
Chris Lattner | e461918 | 2002-08-17 22:02:41 +0000 | [diff] [blame] | 13 | #include "llvm/Constants.h" |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 14 | #include <algorithm> |
Anand Shukla | eea60fc | 2002-06-25 20:44:04 +0000 | [diff] [blame] | 15 | |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 16 | const Type *BytecodeParser::parseTypeConstant(const unsigned char *&Buf, |
| 17 | const unsigned char *EndBuf) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 18 | unsigned PrimType; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 19 | if (read_vbr(Buf, EndBuf, PrimType)) throw Error_readvbr; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 20 | |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 21 | const Type *Val = 0; |
| 22 | if ((Val = Type::getPrimitiveType((Type::PrimitiveID)PrimType))) |
| 23 | return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 24 | |
| 25 | switch (PrimType) { |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 26 | case Type::FunctionTyID: { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 27 | unsigned Typ; |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 28 | if (read_vbr(Buf, EndBuf, Typ)) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 29 | const Type *RetType = getType(Typ); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 30 | if (RetType == 0) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 31 | |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 32 | unsigned NumParams; |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 33 | if (read_vbr(Buf, EndBuf, NumParams)) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 34 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 35 | std::vector<const Type*> Params; |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 36 | while (NumParams--) { |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 37 | if (read_vbr(Buf, EndBuf, Typ)) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 38 | const Type *Ty = getType(Typ); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 39 | if (Ty == 0) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 40 | Params.push_back(Ty); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 41 | } |
| 42 | |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 43 | bool isVarArg = Params.size() && Params.back() == Type::VoidTy; |
| 44 | if (isVarArg) Params.pop_back(); |
| 45 | |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 46 | return FunctionType::get(RetType, Params, isVarArg); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 47 | } |
| 48 | case Type::ArrayTyID: { |
| 49 | unsigned ElTyp; |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 50 | if (read_vbr(Buf, EndBuf, ElTyp)) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 51 | const Type *ElementType = getType(ElTyp); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 52 | if (ElementType == 0) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 53 | |
Chris Lattner | 9086515 | 2001-12-14 16:30:51 +0000 | [diff] [blame] | 54 | unsigned NumElements; |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 55 | if (read_vbr(Buf, EndBuf, NumElements)) return Val; |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 56 | |
| 57 | BCR_TRACE(5, "Array Type Constant #" << ElTyp << " size=" |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 58 | << NumElements << "\n"); |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 59 | return ArrayType::get(ElementType, NumElements); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 60 | } |
| 61 | case Type::StructTyID: { |
| 62 | unsigned Typ; |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 63 | std::vector<const Type*> Elements; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 64 | |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 65 | if (read_vbr(Buf, EndBuf, Typ)) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 66 | while (Typ) { // List is terminated by void/0 typeid |
| 67 | const Type *Ty = getType(Typ); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 68 | if (Ty == 0) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 69 | Elements.push_back(Ty); |
| 70 | |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 71 | if (read_vbr(Buf, EndBuf, Typ)) return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 72 | } |
| 73 | |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 74 | return StructType::get(Elements); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 75 | } |
| 76 | case Type::PointerTyID: { |
| 77 | unsigned ElTyp; |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 78 | if (read_vbr(Buf, EndBuf, ElTyp)) return Val; |
Chris Lattner | 6c51a36 | 2003-09-03 20:25:27 +0000 | [diff] [blame] | 79 | BCR_TRACE(5, "Pointer Type Constant #" << ElTyp << "\n"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 80 | const Type *ElementType = getType(ElTyp); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 81 | if (ElementType == 0) return Val; |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 82 | return PointerType::get(ElementType); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 83 | } |
| 84 | |
Chris Lattner | d48d6c7 | 2001-10-23 01:53:01 +0000 | [diff] [blame] | 85 | case Type::OpaqueTyID: { |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 86 | return OpaqueType::get(); |
Chris Lattner | d48d6c7 | 2001-10-23 01:53:01 +0000 | [diff] [blame] | 87 | } |
| 88 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 89 | default: |
Anand Shukla | eea60fc | 2002-06-25 20:44:04 +0000 | [diff] [blame] | 90 | std::cerr << __FILE__ << ":" << __LINE__ |
Chris Lattner | 194f0a5 | 2002-06-30 16:04:37 +0000 | [diff] [blame] | 91 | << ": Don't know how to deserialize" |
| 92 | << " primitive Type " << PrimType << "\n"; |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 93 | return Val; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 94 | } |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 95 | } |
| 96 | |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 97 | // parseTypeConstants - We have to use this weird code to handle recursive |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 98 | // types. We know that recursive types will only reference the current slab of |
| 99 | // values in the type plane, but they can forward reference types before they |
| 100 | // have been read. For example, Type #0 might be '{ Ty#1 }' and Type #1 might |
| 101 | // be 'Ty#0*'. When reading Type #0, type number one doesn't exist. To fix |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 102 | // this ugly problem, we pessimistically insert an opaque type for each type we |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 103 | // are about to read. This means that forward references will resolve to |
| 104 | // something and when we reread the type later, we can replace the opaque type |
| 105 | // with a new resolved concrete type. |
| 106 | // |
Chris Lattner | 92940ac | 2002-04-07 06:11:22 +0000 | [diff] [blame] | 107 | void debug_type_tables(); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 108 | void BytecodeParser::parseTypeConstants(const unsigned char *&Buf, |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 109 | const unsigned char *EndBuf, |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 110 | TypeValuesListTy &Tab, |
| 111 | unsigned NumEntries) { |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 112 | assert(Tab.size() == 0 && "should not have read type constants in before!"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 113 | |
| 114 | // Insert a bunch of opaque types to be resolved later... |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 115 | for (unsigned i = 0; i < NumEntries; ++i) |
Chris Lattner | c7b6f03 | 2003-10-02 20:26:18 +0000 | [diff] [blame] | 116 | Tab.push_back(OpaqueType::get()); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 117 | |
| 118 | // Loop through reading all of the types. Forward types will make use of the |
| 119 | // opaque types just inserted. |
| 120 | // |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 121 | for (unsigned i = 0; i < NumEntries; ++i) { |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 122 | const Type *NewTy = parseTypeConstant(Buf, EndBuf), *OldTy = Tab[i].get(); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 123 | if (NewTy == 0) throw std::string("Parsed invalid type."); |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 124 | BCR_TRACE(4, "#" << i << ": Read Type Constant: '" << NewTy << |
| 125 | "' Replacing: " << OldTy << "\n"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 126 | |
| 127 | // Don't insertValue the new type... instead we want to replace the opaque |
| 128 | // type with the new concrete value... |
| 129 | // |
| 130 | |
| 131 | // Refine the abstract type to the new type. This causes all uses of the |
| 132 | // abstract type to use the newty. This also will cause the opaque type |
| 133 | // to be deleted... |
| 134 | // |
Chris Lattner | a48836b | 2002-06-05 17:38:28 +0000 | [diff] [blame] | 135 | ((DerivedType*)Tab[i].get())->refineAbstractTypeTo(NewTy); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 136 | |
| 137 | // This should have replace the old opaque type with the new type in the |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 138 | // value table... or with a preexisting type that was already in the system |
| 139 | assert(Tab[i] != OldTy && "refineAbstractType didn't work!"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 140 | } |
| 141 | |
| 142 | BCR_TRACE(5, "Resulting types:\n"); |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 143 | for (unsigned i = 0; i < NumEntries; ++i) { |
Chris Lattner | 92940ac | 2002-04-07 06:11:22 +0000 | [diff] [blame] | 144 | BCR_TRACE(5, (void*)Tab[i].get() << " - " << Tab[i].get() << "\n"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 145 | } |
Chris Lattner | 92940ac | 2002-04-07 06:11:22 +0000 | [diff] [blame] | 146 | debug_type_tables(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 147 | } |
| 148 | |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 149 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 150 | void BytecodeParser::parseConstantValue(const unsigned char *&Buf, |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 151 | const unsigned char *EndBuf, |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 152 | const Type *Ty, Constant *&V) { |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 153 | |
| 154 | // We must check for a ConstantExpr before switching by type because |
| 155 | // a ConstantExpr can be of any type, and has no explicit value. |
| 156 | // |
| 157 | unsigned isExprNumArgs; // 0 if not expr; numArgs if is expr |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 158 | if (read_vbr(Buf, EndBuf, isExprNumArgs)) throw Error_readvbr; |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 159 | if (isExprNumArgs) { |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 160 | // FIXME: Encoding of constant exprs could be much more compact! |
| 161 | unsigned Opcode; |
| 162 | std::vector<Constant*> ArgVec; |
| 163 | ArgVec.reserve(isExprNumArgs); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 164 | if (read_vbr(Buf, EndBuf, Opcode)) throw Error_readvbr; |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 165 | |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 166 | // Read the slot number and types of each of the arguments |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 167 | for (unsigned i = 0; i != isExprNumArgs; ++i) { |
| 168 | unsigned ArgValSlot, ArgTypeSlot; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 169 | if (read_vbr(Buf, EndBuf, ArgValSlot)) throw Error_readvbr; |
| 170 | if (read_vbr(Buf, EndBuf, ArgTypeSlot)) throw Error_readvbr; |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 171 | const Type *ArgTy = getType(ArgTypeSlot); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 172 | if (ArgTy == 0) throw std::string("Argument type slot not found."); |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 173 | |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 174 | BCR_TRACE(4, "CE Arg " << i << ": Type: '" << ArgTy << "' slot: " |
| 175 | << ArgValSlot << "\n"); |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 176 | |
| 177 | // Get the arg value from its slot if it exists, otherwise a placeholder |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 178 | Constant *C = getConstantValue(ArgTy, ArgValSlot); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 179 | if (C == 0) throw std::string("No arg value or placeholder found."); |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 180 | ArgVec.push_back(C); |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 181 | } |
| 182 | |
| 183 | // Construct a ConstantExpr of the appropriate kind |
| 184 | if (isExprNumArgs == 1) { // All one-operand expressions |
Chris Lattner | ad33348 | 2002-08-14 18:24:09 +0000 | [diff] [blame] | 185 | assert(Opcode == Instruction::Cast); |
| 186 | V = ConstantExpr::getCast(ArgVec[0], Ty); |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 187 | } else if (Opcode == Instruction::GetElementPtr) { // GetElementPtr |
| 188 | std::vector<Constant*> IdxList(ArgVec.begin()+1, ArgVec.end()); |
| 189 | V = ConstantExpr::getGetElementPtr(ArgVec[0], IdxList); |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 190 | } else { // All other 2-operand expressions |
Chris Lattner | e8e4605 | 2002-07-30 18:54:22 +0000 | [diff] [blame] | 191 | V = ConstantExpr::get(Opcode, ArgVec[0], ArgVec[1]); |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 192 | } |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 193 | return; |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 194 | } |
| 195 | |
| 196 | // Ok, not an ConstantExpr. We now know how to read the given type... |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 197 | switch (Ty->getPrimitiveID()) { |
| 198 | case Type::BoolTyID: { |
| 199 | unsigned Val; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 200 | if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; |
| 201 | if (Val != 0 && Val != 1) throw std::string("Invalid boolean value read."); |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 202 | V = ConstantBool::get(Val == 1); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 203 | break; |
| 204 | } |
| 205 | |
| 206 | case Type::UByteTyID: // Unsigned integer types... |
| 207 | case Type::UShortTyID: |
| 208 | case Type::UIntTyID: { |
| 209 | unsigned Val; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 210 | if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; |
| 211 | if (!ConstantUInt::isValueValidForType(Ty, Val)) |
| 212 | throw std::string("Invalid unsigned byte/short/int read."); |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 213 | V = ConstantUInt::get(Ty, Val); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 214 | break; |
| 215 | } |
| 216 | |
| 217 | case Type::ULongTyID: { |
| 218 | uint64_t Val; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 219 | if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 220 | V = ConstantUInt::get(Ty, Val); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 221 | break; |
| 222 | } |
| 223 | |
Chris Lattner | 8017a75 | 2003-05-12 15:13:52 +0000 | [diff] [blame] | 224 | case Type::SByteTyID: // Signed integer types... |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 225 | case Type::ShortTyID: |
| 226 | case Type::IntTyID: { |
Chris Lattner | 8017a75 | 2003-05-12 15:13:52 +0000 | [diff] [blame] | 227 | case Type::LongTyID: |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 228 | int64_t Val; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 229 | if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; |
| 230 | if (!ConstantSInt::isValueValidForType(Ty, Val)) |
| 231 | throw std::string("Invalid signed byte/short/int/long read."); |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 232 | V = ConstantSInt::get(Ty, Val); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 233 | break; |
| 234 | } |
| 235 | |
Chris Lattner | a137530 | 2001-07-15 00:17:18 +0000 | [diff] [blame] | 236 | case Type::FloatTyID: { |
| 237 | float F; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 238 | if (input_data(Buf, EndBuf, &F, &F+1)) throw Error_inputdata; |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 239 | V = ConstantFP::get(Ty, F); |
Chris Lattner | a137530 | 2001-07-15 00:17:18 +0000 | [diff] [blame] | 240 | break; |
| 241 | } |
| 242 | |
| 243 | case Type::DoubleTyID: { |
| 244 | double Val; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 245 | if (input_data(Buf, EndBuf, &Val, &Val+1)) throw Error_inputdata; |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 246 | V = ConstantFP::get(Ty, Val); |
Chris Lattner | a137530 | 2001-07-15 00:17:18 +0000 | [diff] [blame] | 247 | break; |
| 248 | } |
| 249 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 250 | case Type::TypeTyID: |
Misha Brukman | bc0e998 | 2003-07-14 17:20:40 +0000 | [diff] [blame] | 251 | assert(0 && "Type constants should be handled separately!!!"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 252 | abort(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 253 | |
| 254 | case Type::ArrayTyID: { |
Chris Lattner | 949a362 | 2003-07-23 15:30:06 +0000 | [diff] [blame] | 255 | const ArrayType *AT = cast<ArrayType>(Ty); |
Chris Lattner | 9086515 | 2001-12-14 16:30:51 +0000 | [diff] [blame] | 256 | unsigned NumElements = AT->getNumElements(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 257 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 258 | std::vector<Constant*> Elements; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 259 | while (NumElements--) { // Read all of the elements of the constant. |
| 260 | unsigned Slot; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 261 | if (read_vbr(Buf, EndBuf, Slot)) throw Error_readvbr; |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 262 | Constant *C = getConstantValue(AT->getElementType(), Slot); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 263 | if (!C) throw std::string("Unable to get const value of array slot."); |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 264 | Elements.push_back(C); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 265 | } |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 266 | V = ConstantArray::get(AT, Elements); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 267 | break; |
| 268 | } |
| 269 | |
| 270 | case Type::StructTyID: { |
Chris Lattner | b00c582 | 2001-10-02 03:41:24 +0000 | [diff] [blame] | 271 | const StructType *ST = cast<StructType>(Ty); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 272 | const StructType::ElementTypes &ET = ST->getElementTypes(); |
| 273 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 274 | std::vector<Constant *> Elements; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 275 | for (unsigned i = 0; i < ET.size(); ++i) { |
| 276 | unsigned Slot; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 277 | if (read_vbr(Buf, EndBuf, Slot)) throw Error_readvbr; |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 278 | Constant *C = getConstantValue(ET[i], Slot); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 279 | if (!C) throw std::string("Could not read const value in struct slot."); |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 280 | Elements.push_back(C); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 281 | } |
| 282 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 283 | V = ConstantStruct::get(ST, Elements); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 284 | break; |
| 285 | } |
| 286 | |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 287 | case Type::PointerTyID: { |
Chris Lattner | 949a362 | 2003-07-23 15:30:06 +0000 | [diff] [blame] | 288 | const PointerType *PT = cast<PointerType>(Ty); |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 289 | unsigned SubClass; |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 290 | if (HasImplicitZeroInitializer) |
| 291 | SubClass = 1; |
| 292 | else |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 293 | if (read_vbr(Buf, EndBuf, SubClass)) throw Error_readvbr; |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 294 | |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 295 | switch (SubClass) { |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 296 | case 0: // ConstantPointerNull value... |
| 297 | V = ConstantPointerNull::get(PT); |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 298 | break; |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 299 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 300 | case 1: { // ConstantPointerRef value... |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 301 | unsigned Slot; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 302 | if (read_vbr(Buf, EndBuf, Slot)) throw Error_readvbr; |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 303 | BCR_TRACE(4, "CPR: Type: '" << Ty << "' slot: " << Slot << "\n"); |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 304 | |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 305 | // Check to see if we have already read this global variable... |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 306 | Value *Val = getValue(PT, Slot, false); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 307 | GlobalValue *GV; |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 308 | if (Val) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 309 | if (!(GV = dyn_cast<GlobalValue>(Val))) |
| 310 | throw std::string("Value of ConstantPointerRef not in ValueTable!"); |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 311 | BCR_TRACE(5, "Value Found in ValueTable!\n"); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 312 | } else if (RevisionNum > 0) { |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 313 | // Revision #0 could have forward references to globals that were weird. |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 314 | // We got rid of this in subsequent revs. |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 315 | throw std::string("Forward references to globals not allowed."); |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 316 | } else { // Nope... find or create a forward ref. for it |
Chris Lattner | 0d75d8d7 | 2003-03-06 16:32:25 +0000 | [diff] [blame] | 317 | GlobalRefsType::iterator I = GlobalRefs.find(std::make_pair(PT, Slot)); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 318 | |
| 319 | if (I != GlobalRefs.end()) { |
| 320 | BCR_TRACE(5, "Previous forward ref found!\n"); |
| 321 | GV = cast<GlobalValue>(I->second); |
| 322 | } else { |
| 323 | BCR_TRACE(5, "Creating new forward ref to a global variable!\n"); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 324 | |
| 325 | // Create a placeholder for the global variable reference... |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 326 | GlobalVariable *GVar = |
Chris Lattner | 4ad02e7 | 2003-04-16 20:28:45 +0000 | [diff] [blame] | 327 | new GlobalVariable(PT->getElementType(), false, |
| 328 | GlobalValue::InternalLinkage); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 329 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 330 | // Keep track of the fact that we have a forward ref to recycle it |
Chris Lattner | 0d75d8d7 | 2003-03-06 16:32:25 +0000 | [diff] [blame] | 331 | GlobalRefs.insert(std::make_pair(std::make_pair(PT, Slot), GVar)); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 332 | |
| 333 | // Must temporarily push this value into the module table... |
| 334 | TheModule->getGlobalList().push_back(GVar); |
| 335 | GV = GVar; |
| 336 | } |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 337 | } |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 338 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 339 | V = ConstantPointerRef::get(GV); |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 340 | break; |
| 341 | } |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 342 | |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 343 | default: |
Chris Lattner | 9086515 | 2001-12-14 16:30:51 +0000 | [diff] [blame] | 344 | BCR_TRACE(5, "UNKNOWN Pointer Constant Type!\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 345 | throw std::string("Unknown pointer constant type."); |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 346 | } |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 347 | break; |
| 348 | } |
| 349 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 350 | default: |
Anand Shukla | eea60fc | 2002-06-25 20:44:04 +0000 | [diff] [blame] | 351 | std::cerr << __FILE__ << ":" << __LINE__ |
Chris Lattner | 194f0a5 | 2002-06-30 16:04:37 +0000 | [diff] [blame] | 352 | << ": Don't know how to deserialize constant value of type '" |
| 353 | << Ty->getName() << "'\n"; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 354 | throw std::string("Don't know how to deserialize constant value of type '"+ |
| 355 | Ty->getName()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 356 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 357 | } |
| 358 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 359 | void BytecodeParser::ParseGlobalTypes(const unsigned char *&Buf, |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 360 | const unsigned char *EndBuf) { |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 361 | ValueTable T; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 362 | ParseConstantPool(Buf, EndBuf, T, ModuleTypeValues); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 363 | } |
| 364 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 365 | void BytecodeParser::ParseConstantPool(const unsigned char *&Buf, |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 366 | const unsigned char *EndBuf, |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 367 | ValueTable &Tab, |
| 368 | TypeValuesListTy &TypeTab) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 369 | while (Buf < EndBuf) { |
| 370 | unsigned NumEntries, Typ; |
| 371 | |
| 372 | if (read_vbr(Buf, EndBuf, NumEntries) || |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 373 | read_vbr(Buf, EndBuf, Typ)) throw Error_readvbr; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 374 | const Type *Ty = getType(Typ); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 375 | if (Ty == 0) throw std::string("Invalid type read."); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 376 | BCR_TRACE(3, "Type: '" << Ty << "' NumEntries: " << NumEntries << "\n"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 377 | |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 378 | if (Typ == Type::TypeTyID) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 379 | parseTypeConstants(Buf, EndBuf, TypeTab, NumEntries); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 380 | } else { |
Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 381 | for (unsigned i = 0; i < NumEntries; ++i) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 382 | Constant *C; |
Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 383 | int Slot; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 384 | parseConstantValue(Buf, EndBuf, Ty, C); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 385 | assert(C && "parseConstantValue returned NULL!"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 386 | BCR_TRACE(4, "Read Constant: '" << *C << "'\n"); |
| 387 | if ((Slot = insertValue(C, Tab)) == -1) |
| 388 | throw std::string("Could not insert value into ValueTable."); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 389 | |
| 390 | // If we are reading a function constant table, make sure that we adjust |
| 391 | // the slot number to be the real global constant number. |
| 392 | // |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 393 | if (&Tab != &ModuleValues && Typ < ModuleValues.size()) |
| 394 | Slot += ModuleValues[Typ]->size(); |
| 395 | ResolveReferencesToValue(C, (unsigned)Slot); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 396 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 397 | } |
| 398 | } |
| 399 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 400 | if (Buf > EndBuf) throw std::string("Read past end of buffer."); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 401 | } |