| 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 |  | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 150 | Constant *BytecodeParser::parseConstantValue(const unsigned char *&Buf, | 
 | 151 |                                              const unsigned char *EndBuf, | 
 | 152 |                                              const Type *Ty) { | 
| 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); | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 186 |       return 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()); | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 189 |       return 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 | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 191 |       return ConstantExpr::get(Opcode, ArgVec[0], ArgVec[1]); | 
| Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 192 |     } | 
| Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 193 |   } | 
 | 194 |    | 
 | 195 |   // 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] | 196 |   switch (Ty->getPrimitiveID()) { | 
 | 197 |   case Type::BoolTyID: { | 
 | 198 |     unsigned Val; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 199 |     if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; | 
 | 200 |     if (Val != 0 && Val != 1) throw std::string("Invalid boolean value read."); | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 201 |     return ConstantBool::get(Val == 1); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 202 |   } | 
 | 203 |  | 
 | 204 |   case Type::UByteTyID:   // Unsigned integer types... | 
 | 205 |   case Type::UShortTyID: | 
 | 206 |   case Type::UIntTyID: { | 
 | 207 |     unsigned Val; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 208 |     if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; | 
 | 209 |     if (!ConstantUInt::isValueValidForType(Ty, Val))  | 
 | 210 |       throw std::string("Invalid unsigned byte/short/int read."); | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 211 |     return ConstantUInt::get(Ty, Val); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 212 |   } | 
 | 213 |  | 
 | 214 |   case Type::ULongTyID: { | 
 | 215 |     uint64_t Val; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 216 |     if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 217 |     return ConstantUInt::get(Ty, Val); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 218 |   } | 
 | 219 |  | 
| Chris Lattner | 8017a75 | 2003-05-12 15:13:52 +0000 | [diff] [blame] | 220 |   case Type::SByteTyID:   // Signed integer types... | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 221 |   case Type::ShortTyID: | 
 | 222 |   case Type::IntTyID: { | 
| Chris Lattner | 8017a75 | 2003-05-12 15:13:52 +0000 | [diff] [blame] | 223 |   case Type::LongTyID: | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 224 |     int64_t Val; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 225 |     if (read_vbr(Buf, EndBuf, Val)) throw Error_readvbr; | 
 | 226 |     if (!ConstantSInt::isValueValidForType(Ty, Val))  | 
 | 227 |       throw std::string("Invalid signed byte/short/int/long read."); | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 228 |     return ConstantSInt::get(Ty, Val); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 229 |   } | 
 | 230 |  | 
| Chris Lattner | a137530 | 2001-07-15 00:17:18 +0000 | [diff] [blame] | 231 |   case Type::FloatTyID: { | 
 | 232 |     float F; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 233 |     if (input_data(Buf, EndBuf, &F, &F+1)) throw Error_inputdata; | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 234 |     return ConstantFP::get(Ty, F); | 
| Chris Lattner | a137530 | 2001-07-15 00:17:18 +0000 | [diff] [blame] | 235 |   } | 
 | 236 |  | 
 | 237 |   case Type::DoubleTyID: { | 
 | 238 |     double Val; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 239 |     if (input_data(Buf, EndBuf, &Val, &Val+1)) throw Error_inputdata; | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 240 |     return ConstantFP::get(Ty, Val); | 
| Chris Lattner | a137530 | 2001-07-15 00:17:18 +0000 | [diff] [blame] | 241 |   } | 
 | 242 |  | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 243 |   case Type::TypeTyID: | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 244 |     throw std::string("Type constants shouldn't live in constant table!"); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 245 |  | 
 | 246 |   case Type::ArrayTyID: { | 
| Chris Lattner | 949a362 | 2003-07-23 15:30:06 +0000 | [diff] [blame] | 247 |     const ArrayType *AT = cast<ArrayType>(Ty); | 
| Chris Lattner | 9086515 | 2001-12-14 16:30:51 +0000 | [diff] [blame] | 248 |     unsigned NumElements = AT->getNumElements(); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 249 |  | 
| Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 250 |     std::vector<Constant*> Elements; | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 251 |     while (NumElements--) {   // Read all of the elements of the constant. | 
 | 252 |       unsigned Slot; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 253 |       if (read_vbr(Buf, EndBuf, Slot)) throw Error_readvbr; | 
| Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 254 |       Constant *C = getConstantValue(AT->getElementType(), Slot); | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 255 |       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] | 256 |       Elements.push_back(C); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 257 |     } | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 258 |     return ConstantArray::get(AT, Elements); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 259 |   } | 
 | 260 |  | 
 | 261 |   case Type::StructTyID: { | 
| Chris Lattner | b00c582 | 2001-10-02 03:41:24 +0000 | [diff] [blame] | 262 |     const StructType *ST = cast<StructType>(Ty); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 263 |     const StructType::ElementTypes &ET = ST->getElementTypes(); | 
 | 264 |  | 
| Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 265 |     std::vector<Constant *> Elements; | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 266 |     for (unsigned i = 0; i < ET.size(); ++i) { | 
 | 267 |       unsigned Slot; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 268 |       if (read_vbr(Buf, EndBuf, Slot)) throw Error_readvbr; | 
| Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 269 |       Constant *C = getConstantValue(ET[i], Slot); | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 270 |       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] | 271 |       Elements.push_back(C); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 272 |     } | 
 | 273 |  | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 274 |     return ConstantStruct::get(ST, Elements); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 275 |   }     | 
 | 276 |  | 
| Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 277 |   case Type::PointerTyID: { | 
| Chris Lattner | 949a362 | 2003-07-23 15:30:06 +0000 | [diff] [blame] | 278 |     const PointerType *PT = cast<PointerType>(Ty); | 
| Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 279 |     unsigned SubClass; | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 280 |     if (HasImplicitZeroInitializer) | 
 | 281 |       SubClass = 1; | 
 | 282 |     else | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 283 |       if (read_vbr(Buf, EndBuf, SubClass)) throw Error_readvbr; | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 284 |  | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 285 |     switch (SubClass) { | 
| Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 286 |     case 0:    // ConstantPointerNull value... | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 287 |       return ConstantPointerNull::get(PT); | 
| Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 288 |  | 
| Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 289 |     case 1: {  // ConstantPointerRef value... | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 290 |       unsigned Slot; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 291 |       if (read_vbr(Buf, EndBuf, Slot)) throw Error_readvbr; | 
| Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 292 |       BCR_TRACE(4, "CPR: Type: '" << Ty << "'  slot: " << Slot << "\n"); | 
| Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 293 |  | 
| Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 294 |       // Check to see if we have already read this global variable... | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 295 |       Value *Val = getValue(PT, Slot, false); | 
| Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 296 |       GlobalValue *GV; | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 297 |       if (Val) { | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 298 |         if (!(GV = dyn_cast<GlobalValue>(Val)))  | 
 | 299 |           throw std::string("Value of ConstantPointerRef not in ValueTable!"); | 
| Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 300 |         BCR_TRACE(5, "Value Found in ValueTable!\n"); | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 301 |       } else if (RevisionNum > 0) { | 
| Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 302 |         // Revision #0 could have forward references to globals that were weird. | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 303 |         // We got rid of this in subsequent revs. | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 304 |         throw std::string("Forward references to globals not allowed."); | 
| Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 305 |       } else {         // Nope... find or create a forward ref. for it | 
| Chris Lattner | 0d75d8d7 | 2003-03-06 16:32:25 +0000 | [diff] [blame] | 306 |         GlobalRefsType::iterator I = GlobalRefs.find(std::make_pair(PT, Slot)); | 
| Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 307 |  | 
 | 308 |         if (I != GlobalRefs.end()) { | 
 | 309 |           BCR_TRACE(5, "Previous forward ref found!\n"); | 
 | 310 |           GV = cast<GlobalValue>(I->second); | 
 | 311 |         } else { | 
 | 312 |           BCR_TRACE(5, "Creating new forward ref to a global variable!\n"); | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 313 |            | 
 | 314 |           // Create a placeholder for the global variable reference... | 
| Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 315 |           GlobalVariable *GVar = | 
| Chris Lattner | 4ad02e7 | 2003-04-16 20:28:45 +0000 | [diff] [blame] | 316 |             new GlobalVariable(PT->getElementType(), false, | 
 | 317 |                                GlobalValue::InternalLinkage); | 
| Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 318 |            | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 319 |           // 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] | 320 |           GlobalRefs.insert(std::make_pair(std::make_pair(PT, Slot), GVar)); | 
| Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 321 |            | 
 | 322 |           // Must temporarily push this value into the module table... | 
 | 323 |           TheModule->getGlobalList().push_back(GVar); | 
 | 324 |           GV = GVar; | 
 | 325 |         } | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 326 |       } | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 327 |  | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 328 |       return ConstantPointerRef::get(GV); | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 329 |     } | 
| Vikram S. Adve | c668b7c | 2002-07-14 23:05:09 +0000 | [diff] [blame] | 330 |      | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 331 |     default: | 
| Chris Lattner | 9086515 | 2001-12-14 16:30:51 +0000 | [diff] [blame] | 332 |       BCR_TRACE(5, "UNKNOWN Pointer Constant Type!\n"); | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 333 |       throw std::string("Unknown pointer constant type."); | 
| Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 334 |     } | 
| Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 335 |   } | 
 | 336 |  | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 337 |   default: | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 338 |     throw std::string("Don't know how to deserialize constant value of type '"+ | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 339 |                       Ty->getDescription()); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 340 |   } | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 341 | } | 
 | 342 |  | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 343 | void BytecodeParser::ParseGlobalTypes(const unsigned char *&Buf, | 
| Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 344 |                                       const unsigned char *EndBuf) { | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 345 |   ValueTable T; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 346 |   ParseConstantPool(Buf, EndBuf, T, ModuleTypeValues); | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 347 | } | 
 | 348 |  | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 349 | void BytecodeParser::ParseConstantPool(const unsigned char *&Buf, | 
| Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 350 |                                        const unsigned char *EndBuf, | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 351 |                                        ValueTable &Tab,  | 
 | 352 |                                        TypeValuesListTy &TypeTab) { | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 353 |   while (Buf < EndBuf) { | 
 | 354 |     unsigned NumEntries, Typ; | 
 | 355 |  | 
 | 356 |     if (read_vbr(Buf, EndBuf, NumEntries) || | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 357 |         read_vbr(Buf, EndBuf, Typ)) throw Error_readvbr; | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 358 |     const Type *Ty = getType(Typ); | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 359 |     if (Ty == 0) throw std::string("Invalid type read."); | 
| Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 360 |     BCR_TRACE(3, "Type: '" << Ty << "'  NumEntries: " << NumEntries << "\n"); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 361 |  | 
| Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 362 |     if (Typ == Type::TypeTyID) { | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 363 |       parseTypeConstants(Buf, EndBuf, TypeTab, NumEntries); | 
| Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 364 |     } else { | 
| Chris Lattner | 7eadfa1 | 2001-10-24 06:21:22 +0000 | [diff] [blame] | 365 |       for (unsigned i = 0; i < NumEntries; ++i) { | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 366 |         Constant *C = parseConstantValue(Buf, EndBuf, Ty); | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 367 |         assert(C && "parseConstantValue returned NULL!"); | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 368 |         BCR_TRACE(4, "Read Constant: '" << *C << "'\n"); | 
| Chris Lattner | 9e460f2 | 2003-10-04 20:00:03 +0000 | [diff] [blame] | 369 |         int Slot; | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 370 |         if ((Slot = insertValue(C, Tab)) == -1) | 
 | 371 |           throw std::string("Could not insert value into ValueTable."); | 
| Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 372 |  | 
 | 373 |         // If we are reading a function constant table, make sure that we adjust | 
 | 374 |         // the slot number to be the real global constant number. | 
 | 375 |         // | 
| Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 376 |         if (&Tab != &ModuleValues && Typ < ModuleValues.size()) | 
 | 377 |           Slot += ModuleValues[Typ]->size(); | 
 | 378 |         ResolveReferencesToValue(C, (unsigned)Slot); | 
| Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 379 |       } | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 380 |     } | 
 | 381 |   } | 
 | 382 |    | 
| Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 383 |   if (Buf > EndBuf) throw std::string("Read past end of buffer."); | 
| Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 384 | } |