1 //===- Reader.cpp - Code to read bytecode files ---------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file was developed by the LLVM research group and is distributed under
6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This library implements the functionality defined in llvm/Bytecode/Reader.h
12 // Note that this library should be as fast as possible, reentrant, and
15 // TODO: Allow passing in an option to ignore the symbol table
17 //===----------------------------------------------------------------------===//
19 #include "ReaderInternals.h"
20 #include "llvm/Bytecode/Reader.h"
21 #include "llvm/Bytecode/Format.h"
22 #include "llvm/Module.h"
23 #include "Support/StringExtras.h"
26 unsigned BytecodeParser::getTypeSlot(const Type *Ty) {
27 if (Ty->isPrimitiveType())
28 return Ty->getPrimitiveID();
30 // Scan the compaction table for the type if needed.
31 if (CompactionTable.size() > Type::TypeTyID) {
32 std::vector<Value*> &Plane = CompactionTable[Type::TypeTyID];
34 std::vector<Value*>::iterator I = find(Plane.begin(), Plane.end(),
35 const_cast<Type*>(Ty));
37 throw std::string("Couldn't find type specified in compaction table!");
38 return Type::FirstDerivedTyID + (&*I - &Plane[0]);
42 // Check the function level types first...
43 TypeValuesListTy::iterator I = find(FunctionTypeValues.begin(),
44 FunctionTypeValues.end(), Ty);
45 if (I != FunctionTypeValues.end())
46 return Type::FirstDerivedTyID + ModuleTypeValues.size() +
47 (&*I - &FunctionTypeValues[0]);
49 I = find(ModuleTypeValues.begin(), ModuleTypeValues.end(), Ty);
50 if (I == ModuleTypeValues.end())
51 throw std::string("Didn't find type in ModuleTypeValues.");
52 return Type::FirstDerivedTyID + (&*I - &ModuleTypeValues[0]);
55 const Type *BytecodeParser::getType(unsigned ID) {
56 //cerr << "Looking up Type ID: " << ID << "\n";
58 if (ID < Type::FirstDerivedTyID)
59 if (const Type *T = Type::getPrimitiveType((Type::PrimitiveID)ID))
60 return T; // Asked for a primitive type...
62 // Otherwise, derived types need offset...
63 ID -= Type::FirstDerivedTyID;
65 if (CompactionTable.size() > Type::TypeTyID &&
66 !CompactionTable[Type::TypeTyID].empty()) {
67 if (ID >= CompactionTable[Type::TypeTyID].size())
68 throw std::string("Type ID out of range for compaction table!");
69 return cast<Type>(CompactionTable[Type::TypeTyID][ID]);
72 // Is it a module-level type?
73 if (ID < ModuleTypeValues.size())
74 return ModuleTypeValues[ID].get();
76 // Nope, is it a function-level type?
77 ID -= ModuleTypeValues.size();
78 if (ID < FunctionTypeValues.size())
79 return FunctionTypeValues[ID].get();
81 throw std::string("Illegal type reference!");
84 static inline bool hasImplicitNull(unsigned TyID, bool EncodesPrimitiveZeros) {
85 if (!EncodesPrimitiveZeros)
86 return TyID != Type::LabelTyID && TyID != Type::TypeTyID &&
87 TyID != Type::VoidTyID;
88 return TyID >= Type::FirstDerivedTyID;
91 unsigned BytecodeParser::insertValue(Value *Val, unsigned type,
92 ValueTable &ValueTab) {
93 assert((!isa<Constant>(Val) || !cast<Constant>(Val)->isNullValue()) ||
94 !hasImplicitNull(type, hasExplicitPrimitiveZeros) &&
95 "Cannot read null values from bytecode!");
96 assert(type != Type::TypeTyID && "Types should never be insertValue'd!");
98 if (ValueTab.size() <= type)
99 ValueTab.resize(type+1);
101 if (!ValueTab[type]) ValueTab[type] = new ValueList();
103 //cerr << "insertValue Values[" << type << "][" << ValueTab[type].size()
104 // << "] = " << Val << "\n";
105 ValueTab[type]->push_back(Val);
107 bool HasOffset = hasImplicitNull(type, hasExplicitPrimitiveZeros);
108 return ValueTab[type]->size()-1 + HasOffset;
111 Value *BytecodeParser::getValue(unsigned type, unsigned oNum, bool Create) {
112 assert(type != Type::TypeTyID && "getValue() cannot get types!");
113 assert(type != Type::LabelTyID && "getValue() cannot get blocks!");
116 // If there is a compaction table active, it defines the low-level numbers.
117 // If not, the module values define the low-level numbers.
118 if (CompactionTable.size() > type && !CompactionTable[type].empty()) {
119 if (Num < CompactionTable[type].size())
120 return CompactionTable[type][Num];
121 Num -= CompactionTable[type].size();
123 // If the type plane was compactified, figure out the global type ID.
124 unsigned GlobalTyID = type;
125 if (CompactionTable.size() > Type::TypeTyID &&
126 !CompactionTable[Type::TypeTyID].empty() &&
127 type >= Type::FirstDerivedTyID) {
128 std::vector<Value*> &TypePlane = CompactionTable[Type::TypeTyID];
129 const Type *Ty = cast<Type>(TypePlane[type-Type::FirstDerivedTyID]);
130 TypeValuesListTy::iterator I =
131 find(ModuleTypeValues.begin(), ModuleTypeValues.end(), Ty);
132 assert(I != ModuleTypeValues.end());
133 GlobalTyID = Type::FirstDerivedTyID + (&*I - &ModuleTypeValues[0]);
136 if (hasImplicitNull(GlobalTyID, hasExplicitPrimitiveZeros)) {
138 return Constant::getNullValue(getType(type));
142 if (GlobalTyID < ModuleValues.size() && ModuleValues[GlobalTyID]) {
143 if (Num < ModuleValues[GlobalTyID]->size())
144 return ModuleValues[GlobalTyID]->getOperand(Num);
145 Num -= ModuleValues[GlobalTyID]->size();
149 if (Values.size() > type && Values[type] && Num < Values[type]->size())
150 return Values[type]->getOperand(Num);
152 if (!Create) return 0; // Do not create a placeholder?
154 std::pair<unsigned,unsigned> KeyValue(type, oNum);
155 std::map<std::pair<unsigned,unsigned>, Value*>::iterator I =
156 ForwardReferences.lower_bound(KeyValue);
157 if (I != ForwardReferences.end() && I->first == KeyValue)
158 return I->second; // We have already created this placeholder
160 Value *Val = new Argument(getType(type));
161 ForwardReferences.insert(I, std::make_pair(KeyValue, Val));
165 /// getBasicBlock - Get a particular numbered basic block, which might be a
166 /// forward reference. This works together with ParseBasicBlock to handle these
167 /// forward references in a clean manner.
169 BasicBlock *BytecodeParser::getBasicBlock(unsigned ID) {
170 // Make sure there is room in the table...
171 if (ParsedBasicBlocks.size() <= ID) ParsedBasicBlocks.resize(ID+1);
173 // First check to see if this is a backwards reference, i.e., ParseBasicBlock
174 // has already created this block, or if the forward reference has already
176 if (ParsedBasicBlocks[ID])
177 return ParsedBasicBlocks[ID];
179 // Otherwise, the basic block has not yet been created. Do so and add it to
180 // the ParsedBasicBlocks list.
181 return ParsedBasicBlocks[ID] = new BasicBlock();
184 /// getConstantValue - Just like getValue, except that it returns a null pointer
185 /// only on error. It always returns a constant (meaning that if the value is
186 /// defined, but is not a constant, that is an error). If the specified
187 /// constant hasn't been parsed yet, a placeholder is defined and used. Later,
188 /// after the real value is parsed, the placeholder is eliminated.
190 Constant *BytecodeParser::getConstantValue(unsigned TypeSlot, unsigned Slot) {
191 if (Value *V = getValue(TypeSlot, Slot, false))
192 if (Constant *C = dyn_cast<Constant>(V))
193 return C; // If we already have the value parsed, just return it
194 else if (GlobalValue *GV = dyn_cast<GlobalValue>(V))
195 // ConstantPointerRef's are an abomination, but at least they don't have
196 // to infest bytecode files.
197 return ConstantPointerRef::get(GV);
199 throw std::string("Reference of a value is expected to be a constant!");
201 const Type *Ty = getType(TypeSlot);
202 std::pair<const Type*, unsigned> Key(Ty, Slot);
203 ConstantRefsType::iterator I = ConstantFwdRefs.lower_bound(Key);
205 if (I != ConstantFwdRefs.end() && I->first == Key) {
206 BCR_TRACE(5, "Previous forward ref found!\n");
209 // Create a placeholder for the constant reference and
210 // keep track of the fact that we have a forward ref to recycle it
211 BCR_TRACE(5, "Creating new forward ref to a constant!\n");
212 Constant *C = new ConstPHolder(Ty, Slot);
214 // Keep track of the fact that we have a forward ref to recycle it
215 ConstantFwdRefs.insert(I, std::make_pair(Key, C));
220 /// ParseBasicBlock - In LLVM 1.0 bytecode files, we used to output one
221 /// basicblock at a time. This method reads in one of the basicblock packets.
222 BasicBlock *BytecodeParser::ParseBasicBlock(const unsigned char *&Buf,
223 const unsigned char *EndBuf,
226 if (ParsedBasicBlocks.size() == BlockNo)
227 ParsedBasicBlocks.push_back(BB = new BasicBlock());
228 else if (ParsedBasicBlocks[BlockNo] == 0)
229 BB = ParsedBasicBlocks[BlockNo] = new BasicBlock();
231 BB = ParsedBasicBlocks[BlockNo];
233 std::vector<unsigned> Args;
235 ParseInstruction(Buf, EndBuf, Args, BB);
241 /// ParseInstructionList - Parse all of the BasicBlock's & Instruction's in the
242 /// body of a function. In post 1.0 bytecode files, we no longer emit basic
243 /// block individually, in order to avoid per-basic-block overhead.
244 unsigned BytecodeParser::ParseInstructionList(Function *F,
245 const unsigned char *&Buf,
246 const unsigned char *EndBuf) {
247 unsigned BlockNo = 0;
248 std::vector<unsigned> Args;
250 while (Buf < EndBuf) {
252 if (ParsedBasicBlocks.size() == BlockNo)
253 ParsedBasicBlocks.push_back(BB = new BasicBlock());
254 else if (ParsedBasicBlocks[BlockNo] == 0)
255 BB = ParsedBasicBlocks[BlockNo] = new BasicBlock();
257 BB = ParsedBasicBlocks[BlockNo];
259 F->getBasicBlockList().push_back(BB);
261 // Read instructions into this basic block until we get to a terminator
262 while (Buf < EndBuf && !BB->getTerminator())
263 ParseInstruction(Buf, EndBuf, Args, BB);
265 if (!BB->getTerminator())
266 throw std::string("Non-terminated basic block found!");
272 void BytecodeParser::ParseSymbolTable(const unsigned char *&Buf,
273 const unsigned char *EndBuf,
275 Function *CurrentFunction) {
276 // Allow efficient basic block lookup by number.
277 std::vector<BasicBlock*> BBMap;
279 for (Function::iterator I = CurrentFunction->begin(),
280 E = CurrentFunction->end(); I != E; ++I)
283 while (Buf < EndBuf) {
284 // Symtab block header: [num entries][type id number]
285 unsigned NumEntries = read_vbr_uint(Buf, EndBuf);
286 unsigned Typ = read_vbr_uint(Buf, EndBuf);
287 const Type *Ty = getType(Typ);
288 BCR_TRACE(3, "Plane Type: '" << *Ty << "' with " << NumEntries <<
291 for (unsigned i = 0; i != NumEntries; ++i) {
292 // Symtab entry: [def slot #][name]
293 unsigned slot = read_vbr_uint(Buf, EndBuf);
294 std::string Name = read_str(Buf, EndBuf);
297 if (Typ == Type::TypeTyID)
298 V = (Value*)getType(slot);
299 else if (Typ == Type::LabelTyID) {
300 if (slot < BBMap.size())
303 V = getValue(Typ, slot, false); // Find mapping...
306 throw std::string("Failed value look-up.");
307 BCR_TRACE(4, "Map: '" << Name << "' to #" << slot << ":" << *V;
308 if (!isa<Instruction>(V)) std::cerr << "\n");
310 V->setName(Name, ST);
314 if (Buf > EndBuf) throw std::string("Tried to read past end of buffer.");
317 void BytecodeParser::ResolveReferencesToConstant(Constant *NewV, unsigned Slot){
318 ConstantRefsType::iterator I =
319 ConstantFwdRefs.find(std::make_pair(NewV->getType(), Slot));
320 if (I == ConstantFwdRefs.end()) return; // Never forward referenced?
322 BCR_TRACE(3, "Mutating forward refs!\n");
323 Value *PH = I->second; // Get the placeholder...
324 PH->replaceAllUsesWith(NewV);
325 delete PH; // Delete the old placeholder
326 ConstantFwdRefs.erase(I); // Remove the map entry for it
329 void BytecodeParser::ParseFunction(const unsigned char *&Buf,
330 const unsigned char *EndBuf) {
331 if (FunctionSignatureList.empty())
332 throw std::string("FunctionSignatureList empty!");
334 Function *F = FunctionSignatureList.back();
335 FunctionSignatureList.pop_back();
337 // Save the information for future reading of the function
338 LazyFunctionLoadMap[F] = LazyFunctionInfo(Buf, EndBuf);
339 // Pretend we've `parsed' this function
343 void BytecodeParser::materializeFunction(Function* F) {
344 // Find {start, end} pointers and slot in the map. If not there, we're done.
345 std::map<Function*, LazyFunctionInfo>::iterator Fi =
346 LazyFunctionLoadMap.find(F);
347 if (Fi == LazyFunctionLoadMap.end()) return;
349 const unsigned char *Buf = Fi->second.Buf;
350 const unsigned char *EndBuf = Fi->second.EndBuf;
351 LazyFunctionLoadMap.erase(Fi);
353 GlobalValue::LinkageTypes Linkage = GlobalValue::ExternalLinkage;
355 unsigned LinkageType = read_vbr_uint(Buf, EndBuf);
356 if ((!hasExtendedLinkageSpecs && LinkageType > 3) ||
357 ( hasExtendedLinkageSpecs && LinkageType > 4))
358 throw std::string("Invalid linkage type for Function.");
359 switch (LinkageType) {
360 case 0: Linkage = GlobalValue::ExternalLinkage; break;
361 case 1: Linkage = GlobalValue::WeakLinkage; break;
362 case 2: Linkage = GlobalValue::AppendingLinkage; break;
363 case 3: Linkage = GlobalValue::InternalLinkage; break;
364 case 4: Linkage = GlobalValue::LinkOnceLinkage; break;
367 F->setLinkage(Linkage);
369 // Keep track of how many basic blocks we have read in...
370 unsigned BlockNum = 0;
371 bool InsertedArguments = false;
373 while (Buf < EndBuf) {
375 const unsigned char *OldBuf = Buf;
376 readBlock(Buf, EndBuf, Type, Size);
379 case BytecodeFormat::ConstantPool:
380 if (!InsertedArguments) {
381 // Insert arguments into the value table before we parse the first basic
382 // block in the function, but after we potentially read in the
384 const FunctionType::ParamTypes &Params =
385 F->getFunctionType()->getParamTypes();
386 Function::aiterator AI = F->abegin();
387 for (FunctionType::ParamTypes::const_iterator It = Params.begin();
388 It != Params.end(); ++It, ++AI)
389 insertValue(AI, getTypeSlot(AI->getType()), Values);
390 InsertedArguments = true;
393 BCR_TRACE(2, "BLOCK BytecodeFormat::ConstantPool: {\n");
394 ParseConstantPool(Buf, Buf+Size, Values, FunctionTypeValues);
397 case BytecodeFormat::CompactionTable:
398 BCR_TRACE(2, "BLOCK BytecodeFormat::CompactionTable: {\n");
399 ParseCompactionTable(Buf, Buf+Size);
402 case BytecodeFormat::BasicBlock: {
403 if (!InsertedArguments) {
404 // Insert arguments into the value table before we parse the first basic
405 // block in the function, but after we potentially read in the
407 const FunctionType::ParamTypes &Params =
408 F->getFunctionType()->getParamTypes();
409 Function::aiterator AI = F->abegin();
410 for (FunctionType::ParamTypes::const_iterator It = Params.begin();
411 It != Params.end(); ++It, ++AI)
412 insertValue(AI, getTypeSlot(AI->getType()), Values);
413 InsertedArguments = true;
416 BCR_TRACE(2, "BLOCK BytecodeFormat::BasicBlock: {\n");
417 BasicBlock *BB = ParseBasicBlock(Buf, Buf+Size, BlockNum++);
418 F->getBasicBlockList().push_back(BB);
422 case BytecodeFormat::InstructionList: {
423 // Insert arguments into the value table before we parse the instruction
424 // list for the function, but after we potentially read in the compaction
426 if (!InsertedArguments) {
427 const FunctionType::ParamTypes &Params =
428 F->getFunctionType()->getParamTypes();
429 Function::aiterator AI = F->abegin();
430 for (FunctionType::ParamTypes::const_iterator It = Params.begin();
431 It != Params.end(); ++It, ++AI)
432 insertValue(AI, getTypeSlot(AI->getType()), Values);
433 InsertedArguments = true;
436 BCR_TRACE(2, "BLOCK BytecodeFormat::InstructionList: {\n");
437 if (BlockNum) throw std::string("Already parsed basic blocks!");
438 BlockNum = ParseInstructionList(F, Buf, Buf+Size);
442 case BytecodeFormat::SymbolTable:
443 BCR_TRACE(2, "BLOCK BytecodeFormat::SymbolTable: {\n");
444 ParseSymbolTable(Buf, Buf+Size, &F->getSymbolTable(), F);
448 BCR_TRACE(2, "BLOCK <unknown>:ignored! {\n");
451 throw std::string("Wrapped around reading bytecode.");
454 BCR_TRACE(2, "} end block\n");
456 // Malformed bc file if read past end of block.
457 align32(Buf, EndBuf);
460 // Make sure there were no references to non-existant basic blocks.
461 if (BlockNum != ParsedBasicBlocks.size())
462 throw std::string("Illegal basic block operand reference");
463 ParsedBasicBlocks.clear();
465 // Resolve forward references. Replace any uses of a forward reference value
466 // with the real value.
468 // replaceAllUsesWith is very inefficient for instructions which have a LARGE
469 // number of operands. PHI nodes often have forward references, and can also
470 // often have a very large number of operands.
472 // FIXME: REEVALUATE. replaceAllUsesWith is _much_ faster now, and this code
473 // should be simplified back to using it!
475 std::map<Value*, Value*> ForwardRefMapping;
476 for (std::map<std::pair<unsigned,unsigned>, Value*>::iterator
477 I = ForwardReferences.begin(), E = ForwardReferences.end();
479 ForwardRefMapping[I->second] = getValue(I->first.first, I->first.second,
482 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
483 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I)
484 for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i)
485 if (Argument *A = dyn_cast<Argument>(I->getOperand(i))) {
486 std::map<Value*, Value*>::iterator It = ForwardRefMapping.find(A);
487 if (It != ForwardRefMapping.end()) I->setOperand(i, It->second);
490 while (!ForwardReferences.empty()) {
491 std::map<std::pair<unsigned,unsigned>, Value*>::iterator I =
492 ForwardReferences.begin();
493 Value *PlaceHolder = I->second;
494 ForwardReferences.erase(I);
496 // Now that all the uses are gone, delete the placeholder...
497 // If we couldn't find a def (error case), then leak a little
498 // memory, because otherwise we can't remove all uses!
502 // Clear out function-level types...
503 FunctionTypeValues.clear();
504 CompactionTable.clear();
508 void BytecodeParser::ParseCompactionTable(const unsigned char *&Buf,
509 const unsigned char *End) {
512 unsigned NumEntries = read_vbr_uint(Buf, End);
515 if ((NumEntries & 3) == 3) {
517 Ty = read_vbr_uint(Buf, End);
519 Ty = NumEntries >> 2;
523 if (Ty >= CompactionTable.size())
524 CompactionTable.resize(Ty+1);
526 if (!CompactionTable[Ty].empty())
527 throw std::string("Compaction table plane contains multiple entries!");
529 if (Ty == Type::TypeTyID) {
530 for (unsigned i = 0; i != NumEntries; ++i) {
531 const Type *Typ = getGlobalTableType(read_vbr_uint(Buf, End));
532 CompactionTable[Type::TypeTyID].push_back(const_cast<Type*>(Typ));
535 CompactionTable.resize(NumEntries+Type::FirstDerivedTyID);
537 const Type *Typ = getType(Ty);
538 // Push the implicit zero
539 CompactionTable[Ty].push_back(Constant::getNullValue(Typ));
540 for (unsigned i = 0; i != NumEntries; ++i) {
541 Value *V = getGlobalTableValue(Typ, read_vbr_uint(Buf, End));
542 CompactionTable[Ty].push_back(V);
551 void BytecodeParser::ParseModuleGlobalInfo(const unsigned char *&Buf,
552 const unsigned char *End) {
553 if (!FunctionSignatureList.empty())
554 throw std::string("Two ModuleGlobalInfo packets found!");
556 // Read global variables...
557 unsigned VarType = read_vbr_uint(Buf, End);
558 while (VarType != Type::VoidTyID) { // List is terminated by Void
560 GlobalValue::LinkageTypes Linkage;
563 if (hasExtendedLinkageSpecs) {
564 // VarType Fields: bit0 = isConstant, bit1 = hasInitializer,
565 // bit2,3,4 = Linkage, bit4+ = slot#
566 SlotNo = VarType >> 5;
567 LinkageID = (VarType >> 2) & 7;
569 // VarType Fields: bit0 = isConstant, bit1 = hasInitializer,
570 // bit2,3 = Linkage, bit4+ = slot#
571 SlotNo = VarType >> 4;
572 LinkageID = (VarType >> 2) & 3;
575 default: assert(0 && "Unknown linkage type!");
576 case 0: Linkage = GlobalValue::ExternalLinkage; break;
577 case 1: Linkage = GlobalValue::WeakLinkage; break;
578 case 2: Linkage = GlobalValue::AppendingLinkage; break;
579 case 3: Linkage = GlobalValue::InternalLinkage; break;
580 case 4: Linkage = GlobalValue::LinkOnceLinkage; break;
583 const Type *Ty = getType(SlotNo);
584 if (!isa<PointerType>(Ty))
585 throw std::string("Global not pointer type! Ty = " +
586 Ty->getDescription());
588 const Type *ElTy = cast<PointerType>(Ty)->getElementType();
590 // Create the global variable...
591 GlobalVariable *GV = new GlobalVariable(ElTy, VarType & 1, Linkage,
593 BCR_TRACE(2, "Global Variable of type: " << *Ty << "\n");
594 insertValue(GV, SlotNo, ModuleValues);
596 if (VarType & 2) // Does it have an initializer?
597 GlobalInits.push_back(std::make_pair(GV, read_vbr_uint(Buf, End)));
598 VarType = read_vbr_uint(Buf, End);
601 // Read the function objects for all of the functions that are coming
602 unsigned FnSignature = read_vbr_uint(Buf, End);
603 while (FnSignature != Type::VoidTyID) { // List is terminated by Void
604 const Type *Ty = getType(FnSignature);
605 if (!isa<PointerType>(Ty) ||
606 !isa<FunctionType>(cast<PointerType>(Ty)->getElementType()))
607 throw std::string("Function not ptr to func type! Ty = " +
608 Ty->getDescription());
610 // We create functions by passing the underlying FunctionType to create...
611 Ty = cast<PointerType>(Ty)->getElementType();
613 // When the ModuleGlobalInfo section is read, we load the type of each
614 // function and the 'ModuleValues' slot that it lands in. We then load a
615 // placeholder into its slot to reserve it. When the function is loaded,
616 // this placeholder is replaced.
618 // Insert the placeholder...
619 Function *Func = new Function(cast<FunctionType>(Ty),
620 GlobalValue::InternalLinkage, "", TheModule);
621 insertValue(Func, FnSignature, ModuleValues);
623 // Keep track of this information in a list that is emptied as functions are
626 FunctionSignatureList.push_back(Func);
628 FnSignature = read_vbr_uint(Buf, End);
629 BCR_TRACE(2, "Function of type: " << Ty << "\n");
632 if (hasInconsistentModuleGlobalInfo)
635 // Now that the function signature list is set up, reverse it so that we can
636 // remove elements efficiently from the back of the vector.
637 std::reverse(FunctionSignatureList.begin(), FunctionSignatureList.end());
639 // This is for future proofing... in the future extra fields may be added that
640 // we don't understand, so we transparently ignore them.
645 void BytecodeParser::ParseVersionInfo(const unsigned char *&Buf,
646 const unsigned char *EndBuf) {
647 unsigned Version = read_vbr_uint(Buf, EndBuf);
649 // Unpack version number: low four bits are for flags, top bits = version
650 Module::Endianness Endianness;
651 Module::PointerSize PointerSize;
652 Endianness = (Version & 1) ? Module::BigEndian : Module::LittleEndian;
653 PointerSize = (Version & 2) ? Module::Pointer64 : Module::Pointer32;
655 bool hasNoEndianness = Version & 4;
656 bool hasNoPointerSize = Version & 8;
658 RevisionNum = Version >> 4;
660 // Default values for the current bytecode version
661 hasExtendedLinkageSpecs = true;
662 hasOldStyleVarargs = false;
663 hasVarArgCallPadding = false;
664 hasInconsistentModuleGlobalInfo = false;
665 hasExplicitPrimitiveZeros = false;
667 switch (RevisionNum) {
668 case 2: // LLVM pre-1.0 release: will be deleted on the next rev
669 // Version #2 only supported 4 linkage types. It didn't support weak
671 hasExtendedLinkageSpecs = false;
672 hasOldStyleVarargs = true;
673 hasVarArgCallPadding = true;
675 case 0: // LLVM 1.0, 1.1 release version
676 // Compared to rev #2, we added support for weak linkage, a more dense
677 // encoding, and better varargs support.
679 // Base LLVM 1.0 bytecode format.
680 hasInconsistentModuleGlobalInfo = true;
681 hasExplicitPrimitiveZeros = true;
683 case 1: // LLVM 1.2 release version
684 // LLVM 1.2 added explicit support for emitting strings efficiently.
686 // Also, it fixed the problem where the size of the ModuleGlobalInfo block
687 // included the size for the alignment at the end, where the rest of the
692 throw std::string("Unknown bytecode version number!");
695 if (hasNoEndianness) Endianness = Module::AnyEndianness;
696 if (hasNoPointerSize) PointerSize = Module::AnyPointerSize;
698 TheModule->setEndianness(Endianness);
699 TheModule->setPointerSize(PointerSize);
700 BCR_TRACE(1, "Bytecode Rev = " << (unsigned)RevisionNum << "\n");
701 BCR_TRACE(1, "Endianness/PointerSize = " << Endianness << ","
702 << PointerSize << "\n");
705 void BytecodeParser::ParseModule(const unsigned char *Buf,
706 const unsigned char *EndBuf) {
708 readBlock(Buf, EndBuf, Type, Size);
709 if (Type != BytecodeFormat::Module || Buf+Size != EndBuf)
710 throw std::string("Expected Module packet! B: "+
711 utostr((unsigned)(intptr_t)Buf) + ", S: "+utostr(Size)+
712 " E: "+utostr((unsigned)(intptr_t)EndBuf)); // Hrm, not a class?
714 BCR_TRACE(0, "BLOCK BytecodeFormat::Module: {\n");
715 FunctionSignatureList.clear(); // Just in case...
717 // Read into instance variables...
718 ParseVersionInfo(Buf, EndBuf);
719 align32(Buf, EndBuf);
721 while (Buf < EndBuf) {
722 const unsigned char *OldBuf = Buf;
723 readBlock(Buf, EndBuf, Type, Size);
725 case BytecodeFormat::GlobalTypePlane:
726 BCR_TRACE(1, "BLOCK BytecodeFormat::GlobalTypePlane: {\n");
727 ParseGlobalTypes(Buf, Buf+Size);
730 case BytecodeFormat::ModuleGlobalInfo:
731 BCR_TRACE(1, "BLOCK BytecodeFormat::ModuleGlobalInfo: {\n");
732 ParseModuleGlobalInfo(Buf, Buf+Size);
735 case BytecodeFormat::ConstantPool:
736 BCR_TRACE(1, "BLOCK BytecodeFormat::ConstantPool: {\n");
737 ParseConstantPool(Buf, Buf+Size, ModuleValues, ModuleTypeValues);
740 case BytecodeFormat::Function: {
741 BCR_TRACE(1, "BLOCK BytecodeFormat::Function: {\n");
742 ParseFunction(Buf, Buf+Size);
746 case BytecodeFormat::SymbolTable:
747 BCR_TRACE(1, "BLOCK BytecodeFormat::SymbolTable: {\n");
748 ParseSymbolTable(Buf, Buf+Size, &TheModule->getSymbolTable(), 0);
752 if (OldBuf > Buf) throw std::string("Expected Module Block!");
755 BCR_TRACE(1, "} end block\n");
756 align32(Buf, EndBuf);
759 // After the module constant pool has been read, we can safely initialize
760 // global variables...
761 while (!GlobalInits.empty()) {
762 GlobalVariable *GV = GlobalInits.back().first;
763 unsigned Slot = GlobalInits.back().second;
764 GlobalInits.pop_back();
766 // Look up the initializer value...
767 // FIXME: Preserve this type ID!
768 unsigned TypeSlot = getTypeSlot(GV->getType()->getElementType());
769 if (Constant *CV = getConstantValue(TypeSlot, Slot)) {
770 if (GV->hasInitializer())
771 throw std::string("Global *already* has an initializer?!");
772 GV->setInitializer(CV);
774 throw std::string("Cannot find initializer value.");
777 if (!FunctionSignatureList.empty())
778 throw std::string("Function expected, but bytecode stream ended!");
780 BCR_TRACE(0, "} end block\n\n");
783 void BytecodeParser::ParseBytecode(const unsigned char *Buf, unsigned Length,
784 const std::string &ModuleID) {
786 unsigned char *EndBuf = (unsigned char*)(Buf + Length);
788 // Read and check signature...
789 unsigned Sig = read(Buf, EndBuf);
790 if (Sig != ('l' | ('l' << 8) | ('v' << 16) | ('m' << 24)))
791 throw std::string("Invalid bytecode signature!");
793 TheModule = new Module(ModuleID);
795 usesOldStyleVarargs = false;
796 ParseModule(Buf, EndBuf);
797 } catch (std::string &Error) {
798 freeState(); // Must destroy handles before deleting module!