Chris Lattner | d6b6525 | 2001-10-24 01:15:12 +0000 | [diff] [blame] | 1 | //===- Reader.cpp - Code to read bytecode files ---------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 2 | // |
| 3 | // This library implements the functionality defined in llvm/Bytecode/Reader.h |
| 4 | // |
| 5 | // Note that this library should be as fast as possible, reentrant, and |
| 6 | // threadsafe!! |
| 7 | // |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 8 | // TODO: Return error messages to caller instead of printing them out directly. |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // TODO: Allow passing in an option to ignore the symbol table |
| 10 | // |
Chris Lattner | d6b6525 | 2001-10-24 01:15:12 +0000 | [diff] [blame] | 11 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 12 | |
Chris Lattner | 7061dc5 | 2001-12-03 18:02:31 +0000 | [diff] [blame] | 13 | #include "ReaderInternals.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 14 | #include "llvm/Bytecode/Reader.h" |
| 15 | #include "llvm/Bytecode/Format.h" |
Chris Lattner | 31bcdb8 | 2002-04-28 19:55:58 +0000 | [diff] [blame] | 16 | #include "llvm/Constants.h" |
Chris Lattner | 7061dc5 | 2001-12-03 18:02:31 +0000 | [diff] [blame] | 17 | #include "llvm/iPHINode.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 18 | #include "llvm/iOther.h" |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 19 | #include "llvm/Module.h" |
| 20 | #include "Support/StringExtras.h" |
John Criswell | 7a73b80 | 2003-06-30 21:59:07 +0000 | [diff] [blame] | 21 | #include "Config/unistd.h" |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 22 | #include "Config/sys/mman.h" |
| 23 | #include "Config/sys/stat.h" |
| 24 | #include "Config/sys/types.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 25 | #include <algorithm> |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 26 | #include <memory> |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 27 | |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 28 | static inline void ALIGN32(const unsigned char *&begin, |
| 29 | const unsigned char *end) { |
| 30 | if (align32(begin, end)) |
| 31 | throw std::string("Alignment error in buffer: read past end of block."); |
| 32 | } |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 33 | |
| 34 | void |
| 35 | BytecodeParser::getTypeSlot(const Type *Ty, unsigned &Slot) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 36 | if (Ty->isPrimitiveType()) { |
| 37 | Slot = Ty->getPrimitiveID(); |
| 38 | } else { |
Chris Lattner | 2a7b6ba | 2003-03-06 17:15:19 +0000 | [diff] [blame] | 39 | // Check the function level types first... |
Chris Lattner | 6e5a0e4 | 2003-03-06 17:18:14 +0000 | [diff] [blame] | 40 | TypeValuesListTy::iterator I = find(FunctionTypeValues.begin(), |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 41 | FunctionTypeValues.end(), Ty); |
Chris Lattner | 6e5a0e4 | 2003-03-06 17:18:14 +0000 | [diff] [blame] | 42 | if (I != FunctionTypeValues.end()) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 43 | Slot = FirstDerivedTyID + ModuleTypeValues.size() + |
| 44 | (&*I - &FunctionTypeValues[0]); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 45 | } else { |
| 46 | I = find(ModuleTypeValues.begin(), ModuleTypeValues.end(), Ty); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 47 | if (I == ModuleTypeValues.end()) |
| 48 | throw std::string("Didn't find type in ModuleTypeValues."); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 49 | Slot = FirstDerivedTyID + (&*I - &ModuleTypeValues[0]); |
| 50 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 51 | } |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 52 | //cerr << "getTypeSlot '" << Ty->getName() << "' = " << Slot << "\n"; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 53 | } |
| 54 | |
| 55 | const Type *BytecodeParser::getType(unsigned ID) { |
Chris Lattner | 8cdc6b7 | 2002-10-23 00:51:54 +0000 | [diff] [blame] | 56 | if (ID < Type::NumPrimitiveIDs) { |
| 57 | const Type *T = Type::getPrimitiveType((Type::PrimitiveID)ID); |
| 58 | if (T) return T; |
| 59 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 60 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 61 | //cerr << "Looking up Type ID: " << ID << "\n"; |
Chris Lattner | 8cdc6b7 | 2002-10-23 00:51:54 +0000 | [diff] [blame] | 62 | const Value *V = getValue(Type::TypeTy, ID, false); |
| 63 | return cast_or_null<Type>(V); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 64 | } |
| 65 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 66 | int BytecodeParser::insertValue(Value *Val, ValueTable &ValueTab) { |
| 67 | assert((!HasImplicitZeroInitializer || !isa<Constant>(Val) || |
| 68 | Val->getType()->isPrimitiveType() || |
| 69 | !cast<Constant>(Val)->isNullValue()) && |
| 70 | "Cannot read null values from bytecode!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 71 | unsigned type; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 72 | getTypeSlot(Val->getType(), type); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 73 | assert(type != Type::TypeTyID && "Types should never be insertValue'd!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 74 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 75 | if (ValueTab.size() <= type) { |
| 76 | unsigned OldSize = ValueTab.size(); |
| 77 | ValueTab.resize(type+1); |
| 78 | while (OldSize != type+1) |
| 79 | ValueTab[OldSize++] = new ValueList(); |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 80 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 81 | |
| 82 | //cerr << "insertValue Values[" << type << "][" << ValueTab[type].size() |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 83 | // << "] = " << Val << "\n"; |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 84 | ValueTab[type]->push_back(Val); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 85 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 86 | bool HasOffset = HasImplicitZeroInitializer && |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 87 | !Val->getType()->isPrimitiveType(); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 88 | |
| 89 | return ValueTab[type]->size()-1 + HasOffset; |
| 90 | } |
| 91 | |
| 92 | |
| 93 | void BytecodeParser::setValueTo(ValueTable &ValueTab, unsigned Slot, |
| 94 | Value *Val) { |
| 95 | assert(&ValueTab == &ModuleValues && "Can only setValueTo on Module values!"); |
| 96 | unsigned type; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 97 | getTypeSlot(Val->getType(), type); |
| 98 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 99 | assert((!HasImplicitZeroInitializer || Slot != 0) && |
| 100 | "Cannot change zero init"); |
| 101 | assert(type < ValueTab.size() && Slot <= ValueTab[type]->size()); |
| 102 | ValueTab[type]->setOperand(Slot-HasImplicitZeroInitializer, Val); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 103 | } |
| 104 | |
| 105 | Value *BytecodeParser::getValue(const Type *Ty, unsigned oNum, bool Create) { |
| 106 | unsigned Num = oNum; |
| 107 | unsigned type; // The type plane it lives in... |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 108 | getTypeSlot(Ty, type); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 109 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 110 | if (type == Type::TypeTyID) { // The 'type' plane has implicit values |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 111 | assert(Create == false); |
Chris Lattner | 8cdc6b7 | 2002-10-23 00:51:54 +0000 | [diff] [blame] | 112 | if (Num < Type::NumPrimitiveIDs) { |
| 113 | const Type *T = Type::getPrimitiveType((Type::PrimitiveID)Num); |
| 114 | if (T) return (Value*)T; // Asked for a primitive type... |
| 115 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 116 | |
| 117 | // Otherwise, derived types need offset... |
| 118 | Num -= FirstDerivedTyID; |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 119 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 120 | // Is it a module-level type? |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 121 | if (Num < ModuleTypeValues.size()) |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 122 | return (Value*)ModuleTypeValues[Num].get(); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 123 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 124 | // Nope, is it a function-level type? |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 125 | Num -= ModuleTypeValues.size(); |
Chris Lattner | 6e5a0e4 | 2003-03-06 17:18:14 +0000 | [diff] [blame] | 126 | if (Num < FunctionTypeValues.size()) |
| 127 | return (Value*)FunctionTypeValues[Num].get(); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 128 | |
| 129 | return 0; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 130 | } |
| 131 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 132 | if (HasImplicitZeroInitializer && type >= FirstDerivedTyID) { |
| 133 | if (Num == 0) |
| 134 | return Constant::getNullValue(Ty); |
| 135 | --Num; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 136 | } |
| 137 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 138 | if (type < ModuleValues.size()) { |
| 139 | if (Num < ModuleValues[type]->size()) |
| 140 | return ModuleValues[type]->getOperand(Num); |
| 141 | Num -= ModuleValues[type]->size(); |
| 142 | } |
| 143 | |
| 144 | if (Values.size() > type && Values[type]->size() > Num) |
| 145 | return Values[type]->getOperand(Num); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 146 | |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 147 | if (!Create) return 0; // Do not create a placeholder? |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 148 | |
| 149 | Value *d = 0; |
| 150 | switch (Ty->getPrimitiveID()) { |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 151 | case Type::LabelTyID: |
| 152 | d = new BBPHolder(Ty, oNum); |
| 153 | break; |
| 154 | default: |
| 155 | d = new ValPHolder(Ty, oNum); |
| 156 | break; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 157 | } |
| 158 | |
| 159 | assert(d != 0 && "How did we not make something?"); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 160 | if (insertValue(d, LateResolveValues) == -1) return 0; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 161 | return d; |
| 162 | } |
| 163 | |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 164 | /// getConstantValue - Just like getValue, except that it returns a null pointer |
| 165 | /// only on error. It always returns a constant (meaning that if the value is |
| 166 | /// defined, but is not a constant, that is an error). If the specified |
| 167 | /// constant hasn't been parsed yet, a placeholder is defined and used. Later, |
| 168 | /// after the real value is parsed, the placeholder is eliminated. |
| 169 | /// |
| 170 | Constant *BytecodeParser::getConstantValue(const Type *Ty, unsigned Slot) { |
| 171 | if (Value *V = getValue(Ty, Slot, false)) |
| 172 | return dyn_cast<Constant>(V); // If we already have the value parsed... |
| 173 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 174 | std::pair<const Type*, unsigned> Key(Ty, Slot); |
| 175 | GlobalRefsType::iterator I = GlobalRefs.lower_bound(Key); |
| 176 | |
| 177 | if (I != GlobalRefs.end() && I->first == Key) { |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 178 | BCR_TRACE(5, "Previous forward ref found!\n"); |
| 179 | return cast<Constant>(I->second); |
| 180 | } else { |
| 181 | // Create a placeholder for the constant reference and |
| 182 | // keep track of the fact that we have a forward ref to recycle it |
| 183 | BCR_TRACE(5, "Creating new forward ref to a constant!\n"); |
| 184 | Constant *C = new ConstPHolder(Ty, Slot); |
| 185 | |
| 186 | // Keep track of the fact that we have a forward ref to recycle it |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 187 | GlobalRefs.insert(I, std::make_pair(Key, C)); |
Chris Lattner | bbd4b30 | 2002-10-14 03:33:02 +0000 | [diff] [blame] | 188 | return C; |
| 189 | } |
| 190 | } |
| 191 | |
| 192 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 193 | void BytecodeParser::postResolveValues(ValueTable &ValTab) { |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 194 | while (!ValTab.empty()) { |
Chris Lattner | 51ca860 | 2003-10-04 19:29:21 +0000 | [diff] [blame^] | 195 | ValueList &VL = *ValTab.back(); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 196 | ValTab.pop_back(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 197 | |
Chris Lattner | 51ca860 | 2003-10-04 19:29:21 +0000 | [diff] [blame^] | 198 | while (!VL.empty()) { |
| 199 | Value *V = VL.back(); |
| 200 | unsigned IDNumber = getValueIDNumberFromPlaceHolder(V); |
| 201 | VL.pop_back(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 202 | |
Chris Lattner | 51ca860 | 2003-10-04 19:29:21 +0000 | [diff] [blame^] | 203 | Value *NewVal = getValue(V->getType(), IDNumber, false); |
| 204 | if (NewVal == 0) |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 205 | throw std::string("Unresolvable reference found: <" + |
Chris Lattner | 51ca860 | 2003-10-04 19:29:21 +0000 | [diff] [blame^] | 206 | V->getType()->getDescription() + ">:" + |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 207 | utostr(IDNumber) + "."); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 208 | |
Chris Lattner | 51ca860 | 2003-10-04 19:29:21 +0000 | [diff] [blame^] | 209 | // Fixup all of the uses of this placeholder def... |
| 210 | V->replaceAllUsesWith(NewVal); |
| 211 | |
| 212 | // Now that all the uses are gone, delete the placeholder... |
| 213 | // If we couldn't find a def (error case), then leak a little |
| 214 | delete V; // memory, 'cause otherwise we can't remove all uses! |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 215 | } |
Chris Lattner | 51ca860 | 2003-10-04 19:29:21 +0000 | [diff] [blame^] | 216 | delete &VL; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 217 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 218 | } |
| 219 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 220 | std::auto_ptr<BasicBlock> |
| 221 | BytecodeParser::ParseBasicBlock(const unsigned char *&Buf, |
| 222 | const unsigned char *EndBuf) { |
| 223 | std::auto_ptr<BasicBlock> BB(new BasicBlock()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 224 | |
| 225 | while (Buf < EndBuf) { |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 226 | Instruction *Inst; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 227 | ParseInstruction(Buf, EndBuf, Inst); |
| 228 | |
| 229 | if (Inst == 0) { throw std::string("Could not parse Instruction."); } |
| 230 | if (insertValue(Inst, Values) == -1) { |
| 231 | throw std::string("Could not insert value."); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 232 | } |
| 233 | |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 234 | BB->getInstList().push_back(Inst); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 235 | BCR_TRACE(4, Inst); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 236 | } |
| 237 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 238 | return BB; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 239 | } |
| 240 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 241 | void BytecodeParser::ParseSymbolTable(const unsigned char *&Buf, |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 242 | const unsigned char *EndBuf, |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 243 | SymbolTable *ST) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 244 | while (Buf < EndBuf) { |
| 245 | // Symtab block header: [num entries][type id number] |
| 246 | unsigned NumEntries, Typ; |
| 247 | if (read_vbr(Buf, EndBuf, NumEntries) || |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 248 | read_vbr(Buf, EndBuf, Typ)) throw Error_readvbr; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 249 | const Type *Ty = getType(Typ); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 250 | if (Ty == 0) throw std::string("Invalid type read in symbol table."); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 251 | |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 252 | BCR_TRACE(3, "Plane Type: '" << Ty << "' with " << NumEntries << |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 253 | " entries\n"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 254 | |
Chris Lattner | 7fc9fe3 | 2001-06-27 23:41:11 +0000 | [diff] [blame] | 255 | for (unsigned i = 0; i < NumEntries; ++i) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 256 | // Symtab entry: [def slot #][name] |
| 257 | unsigned slot; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 258 | if (read_vbr(Buf, EndBuf, slot)) throw Error_readvbr; |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 259 | std::string Name; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 260 | if (read(Buf, EndBuf, Name, false)) // Not aligned... |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 261 | throw std::string("Buffer not aligned."); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 262 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 263 | Value *V = getValue(Ty, slot, false); // Find mapping... |
| 264 | if (V == 0) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 265 | BCR_TRACE(3, "FAILED LOOKUP: Slot #" << slot << "\n"); |
| 266 | throw std::string("Failed value look-up."); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 267 | } |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 268 | BCR_TRACE(4, "Map: '" << Name << "' to #" << slot << ":" << *V; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 269 | if (!isa<Instruction>(V)) std::cerr << "\n"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 270 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 271 | V->setName(Name, ST); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 272 | } |
| 273 | } |
| 274 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 275 | if (Buf > EndBuf) throw std::string("Tried to read past end of buffer."); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 276 | } |
| 277 | |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 278 | void BytecodeParser::ResolveReferencesToValue(Value *NewV, unsigned Slot) { |
Chris Lattner | 0d75d8d7 | 2003-03-06 16:32:25 +0000 | [diff] [blame] | 279 | GlobalRefsType::iterator I = GlobalRefs.find(std::make_pair(NewV->getType(), |
| 280 | Slot)); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 281 | if (I == GlobalRefs.end()) return; // Never forward referenced? |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 282 | |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 283 | BCR_TRACE(3, "Mutating forward refs!\n"); |
| 284 | Value *VPH = I->second; // Get the placeholder... |
Vikram S. Adve | c1e4a81 | 2002-07-14 23:04:18 +0000 | [diff] [blame] | 285 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 286 | VPH->replaceAllUsesWith(NewV); |
| 287 | |
| 288 | // If this is a global variable being resolved, remove the placeholder from |
| 289 | // the module... |
| 290 | if (GlobalValue* GVal = dyn_cast<GlobalValue>(NewV)) |
| 291 | GVal->getParent()->getGlobalList().remove(cast<GlobalVariable>(VPH)); |
Vikram S. Adve | c1e4a81 | 2002-07-14 23:04:18 +0000 | [diff] [blame] | 292 | |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 293 | delete VPH; // Delete the old placeholder |
| 294 | GlobalRefs.erase(I); // Remove the map entry for it |
Vikram S. Adve | c1e4a81 | 2002-07-14 23:04:18 +0000 | [diff] [blame] | 295 | } |
| 296 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 297 | void |
| 298 | BytecodeParser::ParseFunction(const unsigned char *&Buf, |
| 299 | const unsigned char *EndBuf) { |
| 300 | if (FunctionSignatureList.empty()) |
| 301 | throw std::string("FunctionSignatureList empty!"); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 302 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 303 | Function *F = FunctionSignatureList.back().first; |
| 304 | unsigned FunctionSlot = FunctionSignatureList.back().second; |
| 305 | FunctionSignatureList.pop_back(); |
| 306 | |
| 307 | // Save the information for future reading of the function |
| 308 | LazyFunctionInfo *LFI = new LazyFunctionInfo(); |
| 309 | LFI->Buf = Buf; LFI->EndBuf = EndBuf; LFI->FunctionSlot = FunctionSlot; |
| 310 | LazyFunctionLoadMap[F] = LFI; |
| 311 | // Pretend we've `parsed' this function |
| 312 | Buf = EndBuf; |
| 313 | } |
| 314 | |
| 315 | void BytecodeParser::materializeFunction(Function* F) { |
| 316 | // Find {start, end} pointers and slot in the map. If not there, we're done. |
| 317 | std::map<Function*, LazyFunctionInfo*>::iterator Fi = |
| 318 | LazyFunctionLoadMap.find(F); |
| 319 | if (Fi == LazyFunctionLoadMap.end()) return; |
| 320 | |
| 321 | LazyFunctionInfo *LFI = Fi->second; |
| 322 | const unsigned char *Buf = LFI->Buf; |
| 323 | const unsigned char *EndBuf = LFI->EndBuf; |
| 324 | unsigned FunctionSlot = LFI->FunctionSlot; |
| 325 | LazyFunctionLoadMap.erase(Fi); |
| 326 | delete LFI; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 327 | |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 328 | GlobalValue::LinkageTypes Linkage = GlobalValue::ExternalLinkage; |
| 329 | |
| 330 | if (!hasInternalMarkerOnly) { |
| 331 | unsigned LinkageType; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 332 | if (read_vbr(Buf, EndBuf, LinkageType)) |
| 333 | throw std::string("ParseFunction: Error reading from buffer."); |
| 334 | if (LinkageType & ~0x3) |
| 335 | throw std::string("Invalid linkage type for Function."); |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 336 | Linkage = (GlobalValue::LinkageTypes)LinkageType; |
| 337 | } else { |
| 338 | // We used to only support two linkage models: internal and external |
| 339 | unsigned isInternal; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 340 | if (read_vbr(Buf, EndBuf, isInternal)) |
| 341 | throw std::string("ParseFunction: Error reading from buffer."); |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 342 | if (isInternal) Linkage = GlobalValue::InternalLinkage; |
| 343 | } |
Chris Lattner | d23b1d3 | 2001-11-26 18:56:10 +0000 | [diff] [blame] | 344 | |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 345 | F->setLinkage(Linkage); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 346 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 347 | const FunctionType::ParamTypes &Params =F->getFunctionType()->getParamTypes(); |
| 348 | Function::aiterator AI = F->abegin(); |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 349 | for (FunctionType::ParamTypes::const_iterator It = Params.begin(); |
Chris Lattner | 69da5cf | 2002-10-13 20:57:00 +0000 | [diff] [blame] | 350 | It != Params.end(); ++It, ++AI) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 351 | if (insertValue(AI, Values) == -1) |
| 352 | throw std::string("Error reading function arguments!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 353 | } |
| 354 | |
| 355 | while (Buf < EndBuf) { |
| 356 | unsigned Type, Size; |
Chris Lattner | b6c4695 | 2003-03-06 17:03:28 +0000 | [diff] [blame] | 357 | const unsigned char *OldBuf = Buf; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 358 | readBlock(Buf, EndBuf, Type, Size); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 359 | |
| 360 | switch (Type) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 361 | case BytecodeFormat::ConstantPool: { |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 362 | BCR_TRACE(2, "BLOCK BytecodeFormat::ConstantPool: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 363 | ParseConstantPool(Buf, Buf+Size, Values, FunctionTypeValues); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 364 | break; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 365 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 366 | |
| 367 | case BytecodeFormat::BasicBlock: { |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 368 | BCR_TRACE(2, "BLOCK BytecodeFormat::BasicBlock: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 369 | std::auto_ptr<BasicBlock> BB = ParseBasicBlock(Buf, Buf+Size); |
| 370 | if (!BB.get() || insertValue(BB.get(), Values) == -1) |
| 371 | throw std::string("Parse error: BasicBlock"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 372 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 373 | F->getBasicBlockList().push_back(BB.release()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 374 | break; |
| 375 | } |
| 376 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 377 | case BytecodeFormat::SymbolTable: { |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 378 | BCR_TRACE(2, "BLOCK BytecodeFormat::SymbolTable: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 379 | ParseSymbolTable(Buf, Buf+Size, &F->getSymbolTable()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 380 | break; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 381 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 382 | |
| 383 | default: |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 384 | BCR_TRACE(2, "BLOCK <unknown>:ignored! {\n"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 385 | Buf += Size; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 386 | if (OldBuf > Buf) |
| 387 | throw std::string("Wrapped around reading bytecode."); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 388 | break; |
| 389 | } |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 390 | BCR_TRACE(2, "} end block\n"); |
| 391 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 392 | // Malformed bc file if read past end of block. |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 393 | ALIGN32(Buf, EndBuf); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 394 | } |
| 395 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 396 | // Check for unresolvable references |
| 397 | postResolveValues(LateResolveValues); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 398 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 399 | //ResolveReferencesToValue(F, FunctionSlot); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 400 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 401 | // Clear out function-level types... |
Chris Lattner | 6e5a0e4 | 2003-03-06 17:18:14 +0000 | [diff] [blame] | 402 | FunctionTypeValues.clear(); |
Chris Lattner | e4d71a1 | 2001-09-14 22:03:42 +0000 | [diff] [blame] | 403 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 404 | freeTable(Values); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 405 | } |
| 406 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 407 | void BytecodeParser::ParseModuleGlobalInfo(const unsigned char *&Buf, |
| 408 | const unsigned char *End) { |
| 409 | if (!FunctionSignatureList.empty()) |
| 410 | throw std::string("Two ModuleGlobalInfo packets found!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 411 | |
Chris Lattner | 70cc339 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 412 | // Read global variables... |
| 413 | unsigned VarType; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 414 | if (read_vbr(Buf, End, VarType)) throw Error_readvbr; |
Chris Lattner | 70cc339 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 415 | while (VarType != Type::VoidTyID) { // List is terminated by Void |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 416 | unsigned SlotNo; |
| 417 | GlobalValue::LinkageTypes Linkage; |
| 418 | |
| 419 | if (!hasInternalMarkerOnly) { |
| 420 | // VarType Fields: bit0 = isConstant, bit1 = hasInitializer, |
| 421 | // bit2,3 = Linkage, bit4+ = slot# |
| 422 | SlotNo = VarType >> 4; |
| 423 | Linkage = (GlobalValue::LinkageTypes)((VarType >> 2) & 3); |
| 424 | } else { |
| 425 | // VarType Fields: bit0 = isConstant, bit1 = hasInitializer, |
| 426 | // bit2 = isInternal, bit3+ = slot# |
| 427 | SlotNo = VarType >> 3; |
| 428 | Linkage = (VarType & 4) ? GlobalValue::InternalLinkage : |
| 429 | GlobalValue::ExternalLinkage; |
| 430 | } |
| 431 | |
| 432 | const Type *Ty = getType(SlotNo); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 433 | if (!Ty || !isa<PointerType>(Ty)) |
| 434 | throw std::string("Global not pointer type! Ty = " + |
| 435 | Ty->getDescription()); |
Chris Lattner | 70cc339 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 436 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 437 | const Type *ElTy = cast<PointerType>(Ty)->getElementType(); |
Chris Lattner | d70684f | 2001-09-18 04:01:05 +0000 | [diff] [blame] | 438 | |
Chris Lattner | 70cc339 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 439 | // Create the global variable... |
Chris Lattner | 4ad02e7 | 2003-04-16 20:28:45 +0000 | [diff] [blame] | 440 | GlobalVariable *GV = new GlobalVariable(ElTy, VarType & 1, Linkage, |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 441 | 0, "", TheModule); |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 442 | int DestSlot = insertValue(GV, ModuleValues); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 443 | if (DestSlot == -1) throw Error_DestSlot; |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 444 | BCR_TRACE(2, "Global Variable of type: " << *Ty << "\n"); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 445 | ResolveReferencesToValue(GV, (unsigned)DestSlot); |
Chris Lattner | 05950c3 | 2001-10-13 06:47:01 +0000 | [diff] [blame] | 446 | |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 447 | if (VarType & 2) { // Does it have an initializer? |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 448 | unsigned InitSlot; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 449 | if (read_vbr(Buf, End, InitSlot)) throw Error_readvbr; |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 450 | GlobalInits.push_back(std::make_pair(GV, InitSlot)); |
| 451 | } |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 452 | if (read_vbr(Buf, End, VarType)) throw Error_readvbr; |
Chris Lattner | 70cc339 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 453 | } |
| 454 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 455 | // Read the function objects for all of the functions that are coming |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 456 | unsigned FnSignature; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 457 | if (read_vbr(Buf, End, FnSignature)) throw Error_readvbr; |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 458 | while (FnSignature != Type::VoidTyID) { // List is terminated by Void |
| 459 | const Type *Ty = getType(FnSignature); |
Chris Lattner | ef9c23f | 2001-10-03 14:53:21 +0000 | [diff] [blame] | 460 | if (!Ty || !isa<PointerType>(Ty) || |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 461 | !isa<FunctionType>(cast<PointerType>(Ty)->getElementType())) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 462 | throw std::string("Function not ptr to func type! Ty = " + |
| 463 | Ty->getDescription()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 464 | } |
Chris Lattner | 8cdc6b7 | 2002-10-23 00:51:54 +0000 | [diff] [blame] | 465 | |
Chris Lattner | 2a7b6ba | 2003-03-06 17:15:19 +0000 | [diff] [blame] | 466 | // We create functions by passing the underlying FunctionType to create... |
Chris Lattner | 7a17675 | 2001-12-04 00:03:30 +0000 | [diff] [blame] | 467 | Ty = cast<PointerType>(Ty)->getElementType(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 468 | |
Chris Lattner | 2a7b6ba | 2003-03-06 17:15:19 +0000 | [diff] [blame] | 469 | // When the ModuleGlobalInfo section is read, we load the type of each |
| 470 | // function and the 'ModuleValues' slot that it lands in. We then load a |
| 471 | // placeholder into its slot to reserve it. When the function is loaded, |
| 472 | // this placeholder is replaced. |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 473 | |
| 474 | // Insert the placeholder... |
Chris Lattner | 4ad02e7 | 2003-04-16 20:28:45 +0000 | [diff] [blame] | 475 | Function *Func = new Function(cast<FunctionType>(Ty), |
| 476 | GlobalValue::InternalLinkage, "", TheModule); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 477 | int DestSlot = insertValue(Func, ModuleValues); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 478 | if (DestSlot == -1) throw Error_DestSlot; |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 479 | ResolveReferencesToValue(Func, (unsigned)DestSlot); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 480 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 481 | // Keep track of this information in a list that is emptied as functions are |
| 482 | // loaded... |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 483 | // |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 484 | FunctionSignatureList.push_back(std::make_pair(Func, DestSlot)); |
| 485 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 486 | if (read_vbr(Buf, End, FnSignature)) throw Error_readvbr; |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 487 | BCR_TRACE(2, "Function of type: " << Ty << "\n"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 488 | } |
| 489 | |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 490 | ALIGN32(Buf, End); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 491 | |
| 492 | // Now that the function signature list is set up, reverse it so that we can |
| 493 | // remove elements efficiently from the back of the vector. |
| 494 | std::reverse(FunctionSignatureList.begin(), FunctionSignatureList.end()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 495 | |
| 496 | // This is for future proofing... in the future extra fields may be added that |
| 497 | // we don't understand, so we transparently ignore them. |
| 498 | // |
| 499 | Buf = End; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 500 | } |
| 501 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 502 | void BytecodeParser::ParseVersionInfo(const unsigned char *&Buf, |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 503 | const unsigned char *EndBuf) { |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 504 | unsigned Version; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 505 | if (read_vbr(Buf, EndBuf, Version)) throw Error_readvbr; |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 506 | |
| 507 | // Unpack version number: low four bits are for flags, top bits = version |
Chris Lattner | d445c6b | 2003-08-24 13:47:36 +0000 | [diff] [blame] | 508 | Module::Endianness Endianness; |
| 509 | Module::PointerSize PointerSize; |
| 510 | Endianness = (Version & 1) ? Module::BigEndian : Module::LittleEndian; |
| 511 | PointerSize = (Version & 2) ? Module::Pointer64 : Module::Pointer32; |
| 512 | |
| 513 | bool hasNoEndianness = Version & 4; |
| 514 | bool hasNoPointerSize = Version & 8; |
| 515 | |
| 516 | RevisionNum = Version >> 4; |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 517 | |
| 518 | // Default values for the current bytecode version |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 519 | HasImplicitZeroInitializer = true; |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 520 | hasInternalMarkerOnly = false; |
| 521 | FirstDerivedTyID = 14; |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 522 | |
| 523 | switch (RevisionNum) { |
| 524 | case 0: // Initial revision |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 525 | // Version #0 didn't have any of the flags stored correctly, and in fact as |
| 526 | // only valid with a 14 in the flags values. Also, it does not support |
| 527 | // encoding zero initializers for arrays compactly. |
| 528 | // |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 529 | if (Version != 14) throw std::string("Unknown revision 0 flags?"); |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 530 | HasImplicitZeroInitializer = false; |
Chris Lattner | d445c6b | 2003-08-24 13:47:36 +0000 | [diff] [blame] | 531 | Endianness = Module::BigEndian; |
| 532 | PointerSize = Module::Pointer64; |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 533 | hasInternalMarkerOnly = true; |
Chris Lattner | d445c6b | 2003-08-24 13:47:36 +0000 | [diff] [blame] | 534 | hasNoEndianness = hasNoPointerSize = false; |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 535 | break; |
| 536 | case 1: |
Chris Lattner | d445c6b | 2003-08-24 13:47:36 +0000 | [diff] [blame] | 537 | // Version #1 has four bit fields: isBigEndian, hasLongPointers, |
| 538 | // hasNoEndianness, and hasNoPointerSize. |
Chris Lattner | e3869c8 | 2003-04-16 21:16:05 +0000 | [diff] [blame] | 539 | hasInternalMarkerOnly = true; |
| 540 | break; |
| 541 | case 2: |
| 542 | // Version #2 added information about all 4 linkage types instead of just |
| 543 | // having internal and external. |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 544 | break; |
| 545 | default: |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 546 | throw std::string("Unknown bytecode version number!"); |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 547 | } |
| 548 | |
Chris Lattner | d445c6b | 2003-08-24 13:47:36 +0000 | [diff] [blame] | 549 | if (hasNoEndianness) Endianness = Module::AnyEndianness; |
| 550 | if (hasNoPointerSize) PointerSize = Module::AnyPointerSize; |
Chris Lattner | 76e3896 | 2003-04-22 18:15:10 +0000 | [diff] [blame] | 551 | |
Chris Lattner | d445c6b | 2003-08-24 13:47:36 +0000 | [diff] [blame] | 552 | TheModule->setEndianness(Endianness); |
| 553 | TheModule->setPointerSize(PointerSize); |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 554 | BCR_TRACE(1, "Bytecode Rev = " << (unsigned)RevisionNum << "\n"); |
Chris Lattner | d445c6b | 2003-08-24 13:47:36 +0000 | [diff] [blame] | 555 | BCR_TRACE(1, "Endianness/PointerSize = " << Endianness << "," |
| 556 | << PointerSize << "\n"); |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 557 | BCR_TRACE(1, "HasImplicitZeroInit = " << HasImplicitZeroInitializer << "\n"); |
Chris Lattner | 036b8aa | 2003-03-06 17:55:45 +0000 | [diff] [blame] | 558 | } |
| 559 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 560 | void BytecodeParser::ParseModule(const unsigned char *Buf, |
Chris Lattner | 12e6465 | 2003-05-22 18:08:30 +0000 | [diff] [blame] | 561 | const unsigned char *EndBuf) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 562 | unsigned Type, Size; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 563 | readBlock(Buf, EndBuf, Type, Size); |
| 564 | if (Type != BytecodeFormat::Module || Buf+Size != EndBuf) |
| 565 | throw std::string("Expected Module packet! B: "+ |
| 566 | utostr((unsigned)(intptr_t)Buf) + ", S: "+utostr(Size)+ |
| 567 | " E: "+utostr((unsigned)(intptr_t)EndBuf)); // Hrm, not a class? |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 568 | |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 569 | BCR_TRACE(0, "BLOCK BytecodeFormat::Module: {\n"); |
Chris Lattner | 7473413 | 2002-08-17 22:01:27 +0000 | [diff] [blame] | 570 | FunctionSignatureList.clear(); // Just in case... |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 571 | |
| 572 | // Read into instance variables... |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 573 | ParseVersionInfo(Buf, EndBuf); |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 574 | ALIGN32(Buf, EndBuf); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 575 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 576 | while (Buf < EndBuf) { |
Chris Lattner | b6c4695 | 2003-03-06 17:03:28 +0000 | [diff] [blame] | 577 | const unsigned char *OldBuf = Buf; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 578 | readBlock(Buf, EndBuf, Type, Size); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 579 | switch (Type) { |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 580 | case BytecodeFormat::GlobalTypePlane: |
| 581 | BCR_TRACE(1, "BLOCK BytecodeFormat::GlobalTypePlane: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 582 | ParseGlobalTypes(Buf, Buf+Size); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 583 | break; |
| 584 | |
| 585 | case BytecodeFormat::ModuleGlobalInfo: |
| 586 | BCR_TRACE(1, "BLOCK BytecodeFormat::ModuleGlobalInfo: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 587 | ParseModuleGlobalInfo(Buf, Buf+Size); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 588 | break; |
| 589 | |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 590 | case BytecodeFormat::ConstantPool: |
| 591 | BCR_TRACE(1, "BLOCK BytecodeFormat::ConstantPool: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 592 | ParseConstantPool(Buf, Buf+Size, ModuleValues, ModuleTypeValues); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 593 | break; |
| 594 | |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 595 | case BytecodeFormat::Function: { |
| 596 | BCR_TRACE(1, "BLOCK BytecodeFormat::Function: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 597 | ParseFunction(Buf, Buf+Size); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 598 | break; |
| 599 | } |
| 600 | |
| 601 | case BytecodeFormat::SymbolTable: |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 602 | BCR_TRACE(1, "BLOCK BytecodeFormat::SymbolTable: {\n"); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 603 | ParseSymbolTable(Buf, Buf+Size, &TheModule->getSymbolTable()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 604 | break; |
| 605 | |
| 606 | default: |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 607 | Buf += Size; |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 608 | if (OldBuf > Buf) throw std::string("Expected Module Block!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 609 | break; |
| 610 | } |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 611 | BCR_TRACE(1, "} end block\n"); |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 612 | ALIGN32(Buf, EndBuf); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 613 | } |
| 614 | |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 615 | // After the module constant pool has been read, we can safely initialize |
| 616 | // global variables... |
| 617 | while (!GlobalInits.empty()) { |
| 618 | GlobalVariable *GV = GlobalInits.back().first; |
| 619 | unsigned Slot = GlobalInits.back().second; |
| 620 | GlobalInits.pop_back(); |
| 621 | |
| 622 | // Look up the initializer value... |
| 623 | if (Value *V = getValue(GV->getType()->getElementType(), Slot, false)) { |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 624 | if (GV->hasInitializer()) |
| 625 | throw std::string("Global *already* has an initializer?!"); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 626 | GV->setInitializer(cast<Constant>(V)); |
| 627 | } else |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 628 | throw std::string("Cannot find initializer value."); |
Chris Lattner | 52e20b0 | 2003-03-19 20:54:26 +0000 | [diff] [blame] | 629 | } |
| 630 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 631 | if (!FunctionSignatureList.empty()) |
| 632 | throw std::string("Function expected, but bytecode stream ended!"); |
Chris Lattner | 1d670cc | 2001-09-07 16:37:43 +0000 | [diff] [blame] | 633 | |
| 634 | BCR_TRACE(0, "} end block\n\n"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 635 | } |
| 636 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 637 | void |
| 638 | BytecodeParser::ParseBytecode(const unsigned char *Buf, unsigned Length, |
| 639 | const std::string &ModuleID) { |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 640 | |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 641 | unsigned char *EndBuf = (unsigned char*)(Buf + Length); |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 642 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 643 | // Read and check signature... |
Misha Brukman | e0dd0d4 | 2003-09-23 16:15:29 +0000 | [diff] [blame] | 644 | unsigned Sig; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 645 | if (read(Buf, EndBuf, Sig) || |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 646 | Sig != ('l' | ('l' << 8) | ('v' << 16) | ('m' << 24))) |
| 647 | throw std::string("Invalid bytecode signature!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 648 | |
Chris Lattner | 75f2053 | 2003-04-22 18:02:52 +0000 | [diff] [blame] | 649 | TheModule = new Module(ModuleID); |
Misha Brukman | 12c29d1 | 2003-09-22 23:38:23 +0000 | [diff] [blame] | 650 | try { |
| 651 | ParseModule(Buf, EndBuf); |
| 652 | } catch (std::string &Error) { |
Chris Lattner | a2602f3 | 2003-05-22 18:26:48 +0000 | [diff] [blame] | 653 | freeState(); // Must destroy handles before deleting module! |
Chris Lattner | 2a7b6ba | 2003-03-06 17:15:19 +0000 | [diff] [blame] | 654 | delete TheModule; |
| 655 | TheModule = 0; |
Chris Lattner | b0b7c0d | 2003-09-26 14:44:52 +0000 | [diff] [blame] | 656 | throw; |
Chris Lattner | 2a7b6ba | 2003-03-06 17:15:19 +0000 | [diff] [blame] | 657 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 658 | } |