blob: 79bf8ea62f48765f22c8fb5161290ed141ca7ca9 [file] [log] [blame]
Chris Lattner1314b992007-04-22 06:23:29 +00001//===- BitcodeReader.h - Internal BitcodeReader impl ------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by Chris Lattner and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This header defines the BitcodeReader class.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef BITCODE_READER_H
15#define BITCODE_READER_H
16
Chris Lattner1314b992007-04-22 06:23:29 +000017#include "llvm/ModuleProvider.h"
Chris Lattner1663cca2007-04-24 05:48:56 +000018#include "llvm/Type.h"
19#include "llvm/User.h"
Chris Lattner362b4a12007-04-23 01:01:37 +000020#include "llvm/Bitcode/LLVMBitCodes.h"
Chris Lattner1314b992007-04-22 06:23:29 +000021#include <vector>
22
23namespace llvm {
24 class BitstreamReader;
Chris Lattner1663cca2007-04-24 05:48:56 +000025
26class BitcodeReaderValueList : public User {
27 std::vector<Use> Uses;
28public:
29 BitcodeReaderValueList() : User(Type::VoidTy, Value::ArgumentVal, 0, 0) {}
30
31 // vector compatibility methods
32 unsigned size() const { return getNumOperands(); }
33 void push_back(Value *V) {
34 Uses.push_back(Use(V, this));
35 OperandList = &Uses[0];
36 ++NumOperands;
37 }
38
39 Value *operator[](unsigned i) const { return getOperand(i); }
40
41 Value *back() const { return Uses.back(); }
42 void pop_back() { Uses.pop_back(); --NumOperands; }
43 bool empty() const { return NumOperands == 0; }
44 virtual void print(std::ostream&) const {}
45
46 Constant *getConstantFwdRef(unsigned Idx, const Type *Ty);
47 void initVal(unsigned Idx, Value *V) {
48 assert(Uses[Idx] == 0 && "Cannot init an already init'd Use!");
49 Uses[Idx].init(V, this);
50 }
51};
52
Chris Lattner1314b992007-04-22 06:23:29 +000053
54class BitcodeReader : public ModuleProvider {
55 const char *ErrorString;
56
57 std::vector<PATypeHolder> TypeList;
Chris Lattner1663cca2007-04-24 05:48:56 +000058 BitcodeReaderValueList ValueList;
Chris Lattnerfbc1d332007-04-24 03:30:34 +000059 std::vector<std::pair<GlobalVariable*, unsigned> > GlobalInits;
Chris Lattner44c17072007-04-26 02:46:40 +000060 std::vector<std::pair<GlobalAlias*, unsigned> > AliasInits;
Chris Lattner1314b992007-04-22 06:23:29 +000061public:
Chris Lattner890683d2007-04-24 18:15:21 +000062 BitcodeReader() : ErrorString(0) {}
Chris Lattner1314b992007-04-22 06:23:29 +000063 virtual ~BitcodeReader() {}
64
65 virtual void FreeState() {}
66
67 virtual bool materializeFunction(Function *F, std::string *ErrInfo = 0) {
68 // FIXME: TODO
69 return false;
70 }
71
72 virtual Module *materializeModule(std::string *ErrInfo = 0) {
73 // FIXME: TODO
74 //if (ParseAllFunctionBodies(ErrMsg))
75 // return 0;
76 return TheModule;
77 }
78
79 bool Error(const char *Str) {
80 ErrorString = Str;
81 return true;
82 }
83 const char *getErrorString() const { return ErrorString; }
84
85 /// @brief Main interface to parsing a bitcode buffer.
86 /// @returns true if an error occurred.
87 bool ParseBitcode(unsigned char *Buf, unsigned Length,
88 const std::string &ModuleID);
89private:
90 const Type *getTypeByID(unsigned ID, bool isTypeTable = false);
91
92 bool ParseModule(BitstreamReader &Stream, const std::string &ModuleID);
93 bool ParseTypeTable(BitstreamReader &Stream);
94 bool ParseTypeSymbolTable(BitstreamReader &Stream);
Chris Lattnerccaa4482007-04-23 21:26:05 +000095 bool ParseValueSymbolTable(BitstreamReader &Stream);
Chris Lattnerfbc1d332007-04-24 03:30:34 +000096 bool ParseConstants(BitstreamReader &Stream);
Chris Lattner44c17072007-04-26 02:46:40 +000097 bool ResolveGlobalAndAliasInits();
Chris Lattner1314b992007-04-22 06:23:29 +000098};
99
100} // End llvm namespace
101
102#endif