2004-06-29 23:31:01 +00:00
|
|
|
//===-- Reader.h - Interface To Bytecode Reading ----------------*- C++ -*-===//
|
2005-04-21 21:44:41 +00:00
|
|
|
//
|
2004-06-29 23:31:01 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2005-04-21 21:44:41 +00:00
|
|
|
// This file was developed by Reid Spencer and is distributed under the
|
2004-06-29 23:31:01 +00:00
|
|
|
// University of Illinois Open Source License. See LICENSE.TXT for details.
|
2005-04-21 21:44:41 +00:00
|
|
|
//
|
2004-06-29 23:31:01 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2005-04-21 21:44:41 +00:00
|
|
|
// This header file defines the interface to the Bytecode Reader which is
|
2004-06-29 23:31:01 +00:00
|
|
|
// responsible for correctly interpreting bytecode files (backwards compatible)
|
|
|
|
// and materializing a module from the bytecode read.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef BYTECODE_PARSER_H
|
|
|
|
#define BYTECODE_PARSER_H
|
|
|
|
|
|
|
|
#include "llvm/Constants.h"
|
|
|
|
#include "llvm/DerivedTypes.h"
|
|
|
|
#include "llvm/ModuleProvider.h"
|
2004-07-04 11:04:56 +00:00
|
|
|
#include "llvm/Bytecode/Analyzer.h"
|
2007-02-07 05:08:39 +00:00
|
|
|
#include "llvm/ADT/SmallVector.h"
|
2004-06-29 23:31:01 +00:00
|
|
|
#include <utility>
|
2006-08-22 16:09:19 +00:00
|
|
|
#include <setjmp.h>
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
2007-02-05 20:47:22 +00:00
|
|
|
// Forward declarations
|
|
|
|
class BytecodeHandler;
|
|
|
|
class TypeSymbolTable;
|
|
|
|
class ValueSymbolTable;
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// This class defines the interface for parsing a buffer of bytecode. The
|
|
|
|
/// parser itself takes no action except to call the various functions of
|
|
|
|
/// the handler interface. The parser's sole responsibility is the correct
|
2005-04-21 21:44:41 +00:00
|
|
|
/// interpretation of the bytecode buffer. The handler is responsible for
|
|
|
|
/// instantiating and keeping track of all values. As a convenience, the parser
|
2004-06-29 23:31:01 +00:00
|
|
|
/// is responsible for materializing types and will pass them through the
|
|
|
|
/// handler interface as necessary.
|
|
|
|
/// @see BytecodeHandler
|
|
|
|
/// @brief Bytecode Reader interface
|
|
|
|
class BytecodeReader : public ModuleProvider {
|
|
|
|
|
|
|
|
/// @name Constructors
|
|
|
|
/// @{
|
|
|
|
public:
|
|
|
|
/// @brief Default constructor. By default, no handler is used.
|
2005-04-21 21:44:41 +00:00
|
|
|
BytecodeReader(BytecodeHandler* h = 0) {
|
2004-11-14 22:00:09 +00:00
|
|
|
decompressedBlock = 0;
|
2004-11-06 23:17:23 +00:00
|
|
|
Handler = h;
|
2004-06-29 23:31:01 +00:00
|
|
|
}
|
|
|
|
|
2005-04-21 21:44:41 +00:00
|
|
|
~BytecodeReader() {
|
|
|
|
freeState();
|
2004-11-15 21:55:06 +00:00
|
|
|
if (decompressedBlock) {
|
2004-11-14 22:00:09 +00:00
|
|
|
::free(decompressedBlock);
|
2004-11-15 21:55:06 +00:00
|
|
|
decompressedBlock = 0;
|
|
|
|
}
|
2004-11-06 23:17:23 +00:00
|
|
|
}
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// @}
|
|
|
|
/// @name Types
|
|
|
|
/// @{
|
|
|
|
public:
|
2004-07-25 18:07:36 +00:00
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief A convenience type for the buffer pointer
|
|
|
|
typedef const unsigned char* BufPtr;
|
|
|
|
|
|
|
|
/// @brief The type used for a vector of potentially abstract types
|
|
|
|
typedef std::vector<PATypeHolder> TypeListTy;
|
|
|
|
|
|
|
|
/// This type provides a vector of Value* via the User class for
|
|
|
|
/// storage of Values that have been constructed when reading the
|
|
|
|
/// bytecode. Because of forward referencing, constant replacement
|
|
|
|
/// can occur so we ensure that our list of Value* is updated
|
|
|
|
/// properly through those transitions. This ensures that the
|
|
|
|
/// correct Value* is in our list when it comes time to associate
|
|
|
|
/// constants with global variables at the end of reading the
|
|
|
|
/// globals section.
|
|
|
|
/// @brief A list of values as a User of those Values.
|
2005-01-29 00:36:19 +00:00
|
|
|
class ValueList : public User {
|
2007-02-13 07:28:20 +00:00
|
|
|
SmallVector<Use, 32> Uses;
|
2005-01-29 00:36:19 +00:00
|
|
|
public:
|
2005-08-16 21:59:52 +00:00
|
|
|
ValueList() : User(Type::VoidTy, Value::ArgumentVal, 0, 0) {}
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
// vector compatibility methods
|
|
|
|
unsigned size() const { return getNumOperands(); }
|
2005-01-29 00:36:19 +00:00
|
|
|
void push_back(Value *V) {
|
|
|
|
Uses.push_back(Use(V, this));
|
|
|
|
OperandList = &Uses[0];
|
|
|
|
++NumOperands;
|
|
|
|
}
|
|
|
|
Value *back() const { return Uses.back(); }
|
|
|
|
void pop_back() { Uses.pop_back(); --NumOperands; }
|
|
|
|
bool empty() const { return NumOperands == 0; }
|
2004-06-29 23:31:01 +00:00
|
|
|
virtual void print(std::ostream& os) const {
|
2005-01-29 00:36:19 +00:00
|
|
|
for (unsigned i = 0; i < size(); ++i) {
|
2004-07-04 11:04:56 +00:00
|
|
|
os << i << " ";
|
|
|
|
getOperand(i)->print(os);
|
|
|
|
os << "\n";
|
2004-06-29 23:31:01 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
/// @brief A 2 dimensional table of values
|
|
|
|
typedef std::vector<ValueList*> ValueTable;
|
|
|
|
|
2005-04-21 21:44:41 +00:00
|
|
|
/// This map is needed so that forward references to constants can be looked
|
2004-06-29 23:31:01 +00:00
|
|
|
/// up by Type and slot number when resolving those references.
|
|
|
|
/// @brief A mapping of a Type/slot pair to a Constant*.
|
2004-12-09 06:19:44 +00:00
|
|
|
typedef std::map<std::pair<unsigned,unsigned>, Constant*> ConstantRefsType;
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// For lazy read-in of functions, we need to save the location in the
|
|
|
|
/// data stream where the function is located. This structure provides that
|
|
|
|
/// information. Lazy read-in is used mostly by the JIT which only wants to
|
2005-04-21 21:44:41 +00:00
|
|
|
/// resolve functions as it needs them.
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Keeps pointers to function contents for later use.
|
|
|
|
struct LazyFunctionInfo {
|
|
|
|
const unsigned char *Buf, *EndBuf;
|
|
|
|
LazyFunctionInfo(const unsigned char *B = 0, const unsigned char *EB = 0)
|
|
|
|
: Buf(B), EndBuf(EB) {}
|
|
|
|
};
|
|
|
|
|
|
|
|
/// @brief A mapping of functions to their LazyFunctionInfo for lazy reading.
|
|
|
|
typedef std::map<Function*, LazyFunctionInfo> LazyFunctionMap;
|
|
|
|
|
|
|
|
/// @brief A list of global variables and the slot number that initializes
|
|
|
|
/// them.
|
|
|
|
typedef std::vector<std::pair<GlobalVariable*, unsigned> > GlobalInitsList;
|
|
|
|
|
|
|
|
/// This type maps a typeslot/valueslot pair to the corresponding Value*.
|
|
|
|
/// It is used for dealing with forward references as values are read in.
|
|
|
|
/// @brief A map for dealing with forward references of values.
|
|
|
|
typedef std::map<std::pair<unsigned,unsigned>,Value*> ForwardReferenceMap;
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
/// @name Methods
|
|
|
|
/// @{
|
|
|
|
public:
|
2007-02-07 21:41:02 +00:00
|
|
|
typedef size_t BCDecompressor_t(const char *, size_t, char*&, std::string*);
|
|
|
|
|
2006-08-22 16:09:19 +00:00
|
|
|
/// @returns true if an error occurred
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Main interface to parsing a bytecode buffer.
|
2006-08-22 16:09:19 +00:00
|
|
|
bool ParseBytecode(
|
2006-09-01 20:35:17 +00:00
|
|
|
volatile BufPtr Buf, ///< Beginning of the bytecode buffer
|
2004-07-05 00:57:50 +00:00
|
|
|
unsigned Length, ///< Length of the bytecode buffer
|
2006-08-22 16:09:19 +00:00
|
|
|
const std::string &ModuleID, ///< An identifier for the module constructed.
|
2007-02-07 21:41:02 +00:00
|
|
|
BCDecompressor_t *Decompressor = 0, ///< Optional decompressor.
|
2006-08-22 16:09:19 +00:00
|
|
|
std::string* ErrMsg = 0 ///< Optional place for error message
|
2004-06-29 23:31:01 +00:00
|
|
|
);
|
|
|
|
|
|
|
|
/// @brief Parse all function bodies
|
For PR797:
Final commit for this bug. This removes the last EH holdouts in LLVM
and turns off exception support by using the -fno-exceptions option. This
leads to the following reduction in library and executable sizes:
DEBUG BUILD RELEASE BUILD
before after delta before after delta
lib 162,328K 157,616K 4,712 17,864K 16,416K 1,448K
bin 571,444K 557,156K 14,288 63,296K 56,996K 6,300K
Debug Improvement: 19,000K (2.59%)
Release Improvement: 7,748K (9.55%)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@29882 91177308-0d34-0410-b5e6-96231b3b80d8
2006-08-25 19:54:53 +00:00
|
|
|
bool ParseAllFunctionBodies(std::string* ErrMsg);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// @brief Parse the next function of specific type
|
2007-03-29 18:58:08 +00:00
|
|
|
bool ParseFunction(Function* Func, std::string* ErrMsg);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// This method is abstract in the parent ModuleProvider class. Its
|
|
|
|
/// implementation is identical to the ParseFunction method.
|
|
|
|
/// @see ParseFunction
|
|
|
|
/// @brief Make a specific function materialize.
|
For PR797:
Final commit for this bug. This removes the last EH holdouts in LLVM
and turns off exception support by using the -fno-exceptions option. This
leads to the following reduction in library and executable sizes:
DEBUG BUILD RELEASE BUILD
before after delta before after delta
lib 162,328K 157,616K 4,712 17,864K 16,416K 1,448K
bin 571,444K 557,156K 14,288 63,296K 56,996K 6,300K
Debug Improvement: 19,000K (2.59%)
Release Improvement: 7,748K (9.55%)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@29882 91177308-0d34-0410-b5e6-96231b3b80d8
2006-08-25 19:54:53 +00:00
|
|
|
virtual bool materializeFunction(Function *F, std::string *ErrMsg = 0) {
|
2007-03-29 18:58:08 +00:00
|
|
|
// If it already is material, ignore the request.
|
|
|
|
if (!F->hasNotBeenReadFromBytecode()) return false;
|
|
|
|
|
|
|
|
assert(LazyFunctionLoadMap.count(F) &&
|
|
|
|
"not materialized but I don't know about it?");
|
For PR797:
Final commit for this bug. This removes the last EH holdouts in LLVM
and turns off exception support by using the -fno-exceptions option. This
leads to the following reduction in library and executable sizes:
DEBUG BUILD RELEASE BUILD
before after delta before after delta
lib 162,328K 157,616K 4,712 17,864K 16,416K 1,448K
bin 571,444K 557,156K 14,288 63,296K 56,996K 6,300K
Debug Improvement: 19,000K (2.59%)
Release Improvement: 7,748K (9.55%)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@29882 91177308-0d34-0410-b5e6-96231b3b80d8
2006-08-25 19:54:53 +00:00
|
|
|
if (ParseFunction(F,ErrMsg))
|
2006-07-06 21:35:01 +00:00
|
|
|
return true;
|
|
|
|
return false;
|
2004-06-29 23:31:01 +00:00
|
|
|
}
|
2007-03-29 18:58:08 +00:00
|
|
|
|
|
|
|
/// dematerializeFunction - If the given function is read in, and if the
|
|
|
|
/// module provider supports it, release the memory for the function, and set
|
|
|
|
/// it up to be materialized lazily. If the provider doesn't support this
|
|
|
|
/// capability, this method is a noop.
|
|
|
|
///
|
|
|
|
virtual void dematerializeFunction(Function *F) {
|
|
|
|
// If the function is not materialized, or if it is a prototype, ignore.
|
|
|
|
if (F->hasNotBeenReadFromBytecode() ||
|
|
|
|
F->isDeclaration())
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Just forget the function body, we can remat it later.
|
|
|
|
F->deleteBody();
|
|
|
|
F->setLinkage(GlobalValue::GhostLinkage);
|
|
|
|
}
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// This method is abstract in the parent ModuleProvider class. Its
|
2005-04-21 21:44:41 +00:00
|
|
|
/// implementation is identical to ParseAllFunctionBodies.
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @see ParseAllFunctionBodies
|
|
|
|
/// @brief Make the whole module materialize
|
For PR797:
Final commit for this bug. This removes the last EH holdouts in LLVM
and turns off exception support by using the -fno-exceptions option. This
leads to the following reduction in library and executable sizes:
DEBUG BUILD RELEASE BUILD
before after delta before after delta
lib 162,328K 157,616K 4,712 17,864K 16,416K 1,448K
bin 571,444K 557,156K 14,288 63,296K 56,996K 6,300K
Debug Improvement: 19,000K (2.59%)
Release Improvement: 7,748K (9.55%)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@29882 91177308-0d34-0410-b5e6-96231b3b80d8
2006-08-25 19:54:53 +00:00
|
|
|
virtual Module* materializeModule(std::string *ErrMsg = 0) {
|
|
|
|
if (ParseAllFunctionBodies(ErrMsg))
|
2006-07-06 21:35:01 +00:00
|
|
|
return 0;
|
2004-06-29 23:31:01 +00:00
|
|
|
return TheModule;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This method is provided by the parent ModuleProvde class and overriden
|
|
|
|
/// here. It simply releases the module from its provided and frees up our
|
|
|
|
/// state.
|
|
|
|
/// @brief Release our hold on the generated module
|
2006-07-07 06:06:06 +00:00
|
|
|
Module* releaseModule(std::string *ErrInfo = 0) {
|
2004-06-29 23:31:01 +00:00
|
|
|
// Since we're losing control of this Module, we must hand it back complete
|
2006-11-11 11:54:25 +00:00
|
|
|
Module *M = ModuleProvider::releaseModule(ErrInfo);
|
2004-06-29 23:31:01 +00:00
|
|
|
freeState();
|
|
|
|
return M;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
/// @name Parsing Units For Subclasses
|
|
|
|
/// @{
|
|
|
|
protected:
|
|
|
|
/// @brief Parse whole module scope
|
|
|
|
void ParseModule();
|
|
|
|
|
|
|
|
/// @brief Parse the version information block
|
|
|
|
void ParseVersionInfo();
|
|
|
|
|
|
|
|
/// @brief Parse the ModuleGlobalInfo block
|
|
|
|
void ParseModuleGlobalInfo();
|
|
|
|
|
2007-01-06 07:24:44 +00:00
|
|
|
/// @brief Parse a value symbol table
|
|
|
|
void ParseTypeSymbolTable(TypeSymbolTable *ST);
|
|
|
|
|
|
|
|
/// @brief Parse a value symbol table
|
2007-02-05 20:47:22 +00:00
|
|
|
void ParseValueSymbolTable(Function* Func, ValueSymbolTable *ST);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// @brief Parse functions lazily.
|
|
|
|
void ParseFunctionLazily();
|
|
|
|
|
|
|
|
/// @brief Parse a function body
|
|
|
|
void ParseFunctionBody(Function* Func);
|
|
|
|
|
|
|
|
/// @brief Parse global types
|
|
|
|
void ParseGlobalTypes();
|
|
|
|
|
2007-04-09 06:14:31 +00:00
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Parse a basic block (for LLVM 1.0 basic block blocks)
|
|
|
|
BasicBlock* ParseBasicBlock(unsigned BlockNo);
|
|
|
|
|
|
|
|
/// @brief parse an instruction list (for post LLVM 1.0 instruction lists
|
|
|
|
/// with blocks differentiated by terminating instructions.
|
|
|
|
unsigned ParseInstructionList(
|
|
|
|
Function* F ///< The function into which BBs will be inserted
|
|
|
|
);
|
2005-04-21 21:44:41 +00:00
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Parse a single instruction.
|
|
|
|
void ParseInstruction(
|
2007-02-07 05:08:39 +00:00
|
|
|
SmallVector <unsigned, 8>& Args, ///< The arguments to be filled in
|
2004-06-29 23:31:01 +00:00
|
|
|
BasicBlock* BB ///< The BB the instruction goes in
|
|
|
|
);
|
|
|
|
|
|
|
|
/// @brief Parse the whole constant pool
|
2005-04-21 21:44:41 +00:00
|
|
|
void ParseConstantPool(ValueTable& Values, TypeListTy& Types,
|
2004-07-04 11:04:56 +00:00
|
|
|
bool isFunction);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
2006-01-25 23:08:15 +00:00
|
|
|
/// @brief Parse a single constant pool value
|
|
|
|
Value *ParseConstantPoolValue(unsigned TypeID);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// @brief Parse a block of types constants
|
2004-07-11 17:24:05 +00:00
|
|
|
void ParseTypes(TypeListTy &Tab, unsigned NumEntries);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// @brief Parse a single type constant
|
2004-07-11 17:24:05 +00:00
|
|
|
const Type *ParseType();
|
2004-06-29 23:31:01 +00:00
|
|
|
|
2007-04-09 06:14:31 +00:00
|
|
|
/// @brief Parse a list of parameter attributes
|
|
|
|
ParamAttrsList *ParseParamAttrsList();
|
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Parse a string constants block
|
|
|
|
void ParseStringConstants(unsigned NumEntries, ValueTable &Tab);
|
|
|
|
|
2006-10-12 18:32:30 +00:00
|
|
|
/// @brief Release our memory.
|
|
|
|
void freeState() {
|
|
|
|
freeTable(FunctionValues);
|
|
|
|
freeTable(ModuleValues);
|
|
|
|
}
|
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @}
|
|
|
|
/// @name Data
|
|
|
|
/// @{
|
|
|
|
private:
|
2006-08-22 16:09:19 +00:00
|
|
|
std::string ErrorMsg; ///< A place to hold an error message through longjmp
|
|
|
|
jmp_buf context; ///< Where to return to if an error occurs.
|
2005-04-21 21:44:41 +00:00
|
|
|
char* decompressedBlock; ///< Result of decompression
|
2004-06-29 23:31:01 +00:00
|
|
|
BufPtr MemStart; ///< Start of the memory buffer
|
|
|
|
BufPtr MemEnd; ///< End of the memory buffer
|
|
|
|
BufPtr BlockStart; ///< Start of current block being parsed
|
|
|
|
BufPtr BlockEnd; ///< End of current block being parsed
|
|
|
|
BufPtr At; ///< Where we're currently parsing at
|
|
|
|
|
2004-07-04 11:04:56 +00:00
|
|
|
/// Information about the module, extracted from the bytecode revision number.
|
2004-08-03 23:41:28 +00:00
|
|
|
///
|
2004-06-29 23:31:01 +00:00
|
|
|
unsigned char RevisionNum; // The rev # itself
|
|
|
|
|
|
|
|
/// @brief This vector is used to deal with forward references to types in
|
|
|
|
/// a module.
|
|
|
|
TypeListTy ModuleTypes;
|
2005-10-03 21:26:53 +00:00
|
|
|
|
|
|
|
/// @brief This is an inverse mapping of ModuleTypes from the type to an
|
|
|
|
/// index. Because refining types causes the index of this map to be
|
|
|
|
/// invalidated, any time we refine a type, we clear this cache and recompute
|
|
|
|
/// it next time we need it. These entries are ordered by the pointer value.
|
|
|
|
std::vector<std::pair<const Type*, unsigned> > ModuleTypeIDCache;
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// @brief This vector is used to deal with forward references to types in
|
|
|
|
/// a function.
|
|
|
|
TypeListTy FunctionTypes;
|
|
|
|
|
|
|
|
/// When the ModuleGlobalInfo section is read, we create a Function object
|
|
|
|
/// for each function in the module. When the function is loaded, after the
|
|
|
|
/// module global info is read, this Function is populated. Until then, the
|
|
|
|
/// functions in this vector just hold the function signature.
|
|
|
|
std::vector<Function*> FunctionSignatureList;
|
|
|
|
|
|
|
|
/// @brief This is the table of values belonging to the current function
|
|
|
|
ValueTable FunctionValues;
|
|
|
|
|
|
|
|
/// @brief This is the table of values belonging to the module (global)
|
|
|
|
ValueTable ModuleValues;
|
|
|
|
|
|
|
|
/// @brief This keeps track of function level forward references.
|
|
|
|
ForwardReferenceMap ForwardReferences;
|
|
|
|
|
|
|
|
/// @brief The basic blocks we've parsed, while parsing a function.
|
|
|
|
std::vector<BasicBlock*> ParsedBasicBlocks;
|
|
|
|
|
2004-10-14 01:49:34 +00:00
|
|
|
/// This maintains a mapping between <Type, Slot #>'s and forward references
|
|
|
|
/// to constants. Such values may be referenced before they are defined, and
|
|
|
|
/// if so, the temporary object that they represent is held here. @brief
|
|
|
|
/// Temporary place for forward references to constants.
|
2004-06-29 23:31:01 +00:00
|
|
|
ConstantRefsType ConstantFwdRefs;
|
|
|
|
|
|
|
|
/// Constant values are read in after global variables. Because of this, we
|
|
|
|
/// must defer setting the initializers on global variables until after module
|
2004-10-14 01:49:34 +00:00
|
|
|
/// level constants have been read. In the mean time, this list keeps track
|
|
|
|
/// of what we must do.
|
2004-06-29 23:31:01 +00:00
|
|
|
GlobalInitsList GlobalInits;
|
|
|
|
|
|
|
|
// For lazy reading-in of functions, we need to save away several pieces of
|
|
|
|
// information about each function: its begin and end pointer in the buffer
|
|
|
|
// and its FunctionSlot.
|
|
|
|
LazyFunctionMap LazyFunctionLoadMap;
|
|
|
|
|
2005-04-21 21:44:41 +00:00
|
|
|
/// This stores the parser's handler which is used for handling tasks other
|
|
|
|
/// just than reading bytecode into the IR. If this is non-null, calls on
|
|
|
|
/// the (polymorphic) BytecodeHandler interface (see llvm/Bytecode/Handler.h)
|
|
|
|
/// will be made to report the logical structure of the bytecode file. What
|
|
|
|
/// the handler does with the events it receives is completely orthogonal to
|
2004-06-29 23:31:01 +00:00
|
|
|
/// the business of parsing the bytecode and building the IR. This is used,
|
|
|
|
/// for example, by the llvm-abcd tool for analysis of byte code.
|
|
|
|
/// @brief Handler for parsing events.
|
|
|
|
BytecodeHandler* Handler;
|
|
|
|
|
2006-01-19 06:57:58 +00:00
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @}
|
|
|
|
/// @name Implementation Details
|
|
|
|
/// @{
|
|
|
|
private:
|
|
|
|
/// @brief Determines if this module has a function or not.
|
|
|
|
bool hasFunctions() { return ! FunctionSignatureList.empty(); }
|
|
|
|
|
|
|
|
/// @brief Determines if the type id has an implicit null value.
|
|
|
|
bool hasImplicitNull(unsigned TyID );
|
|
|
|
|
|
|
|
/// @brief Converts a type slot number to its Type*
|
|
|
|
const Type *getType(unsigned ID);
|
|
|
|
|
2006-11-14 04:47:22 +00:00
|
|
|
/// @brief Read in a type id and turn it into a Type*
|
|
|
|
inline const Type* readType();
|
2004-07-04 11:04:56 +00:00
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Converts a Type* to its type slot number
|
|
|
|
unsigned getTypeSlot(const Type *Ty);
|
|
|
|
|
2004-07-04 11:04:56 +00:00
|
|
|
/// @brief Gets the global type corresponding to the TypeId
|
|
|
|
const Type *getGlobalTableType(unsigned TypeId);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
2004-07-04 11:04:56 +00:00
|
|
|
/// @brief Get a value from its typeid and slot number
|
2004-06-29 23:31:01 +00:00
|
|
|
Value* getValue(unsigned TypeID, unsigned num, bool Create = true);
|
|
|
|
|
|
|
|
/// @brief Get a basic block for current function
|
|
|
|
BasicBlock *getBasicBlock(unsigned ID);
|
|
|
|
|
2004-07-04 11:04:56 +00:00
|
|
|
/// @brief Get a constant value from its typeid and value slot.
|
2004-06-29 23:31:01 +00:00
|
|
|
Constant* getConstantValue(unsigned typeSlot, unsigned valSlot);
|
|
|
|
|
|
|
|
/// @brief Convenience function for getting a constant value when
|
|
|
|
/// the Type has already been resolved.
|
|
|
|
Constant* getConstantValue(const Type *Ty, unsigned valSlot) {
|
|
|
|
return getConstantValue(getTypeSlot(Ty), valSlot);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @brief Insert a newly created value
|
|
|
|
unsigned insertValue(Value *V, unsigned Type, ValueTable &Table);
|
|
|
|
|
|
|
|
/// @brief Insert the arguments of a function.
|
|
|
|
void insertArguments(Function* F );
|
|
|
|
|
2005-04-21 21:44:41 +00:00
|
|
|
/// @brief Resolve all references to the placeholder (if any) for the
|
2004-06-29 23:31:01 +00:00
|
|
|
/// given constant.
|
2004-12-09 06:19:44 +00:00
|
|
|
void ResolveReferencesToConstant(Constant *C, unsigned Typ, unsigned Slot);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
|
|
|
/// @brief Free a table, making sure to free the ValueList in the table.
|
|
|
|
void freeTable(ValueTable &Tab) {
|
|
|
|
while (!Tab.empty()) {
|
|
|
|
delete Tab.back();
|
|
|
|
Tab.pop_back();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-08-22 16:09:19 +00:00
|
|
|
inline void error(const std::string& errmsg);
|
2004-07-09 22:21:33 +00:00
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
BytecodeReader(const BytecodeReader &); // DO NOT IMPLEMENT
|
|
|
|
void operator=(const BytecodeReader &); // DO NOT IMPLEMENT
|
|
|
|
|
For PR1064:
Implement the arbitrary bit-width integer feature. The feature allows
integers of any bitwidth (up to 64) to be defined instead of just 1, 8,
16, 32, and 64 bit integers.
This change does several things:
1. Introduces a new Derived Type, IntegerType, to represent the number of
bits in an integer. The Type classes SubclassData field is used to
store the number of bits. This allows 2^23 bits in an integer type.
2. Removes the five integer Type::TypeID values for the 1, 8, 16, 32 and
64-bit integers. These are replaced with just IntegerType which is not
a primitive any more.
3. Adjust the rest of LLVM to account for this change.
Note that while this incremental change lays the foundation for arbitrary
bit-width integers, LLVM has not yet been converted to actually deal with
them in any significant way. Most optimization passes, for example, will
still only deal with the byte-width integer types. Future increments
will rectify this situation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33113 91177308-0d34-0410-b5e6-96231b3b80d8
2007-01-12 07:05:14 +00:00
|
|
|
// This enum provides the values of the well-known type slots that are always
|
|
|
|
// emitted as the first few types in the table by the BytecodeWriter class.
|
|
|
|
enum WellKnownTypeSlots {
|
|
|
|
VoidTypeSlot = 0, ///< TypeID == VoidTyID
|
|
|
|
FloatTySlot = 1, ///< TypeID == FloatTyID
|
|
|
|
DoubleTySlot = 2, ///< TypeID == DoubleTyID
|
|
|
|
LabelTySlot = 3, ///< TypeID == LabelTyID
|
|
|
|
BoolTySlot = 4, ///< TypeID == IntegerTyID, width = 1
|
|
|
|
Int8TySlot = 5, ///< TypeID == IntegerTyID, width = 8
|
|
|
|
Int16TySlot = 6, ///< TypeID == IntegerTyID, width = 16
|
|
|
|
Int32TySlot = 7, ///< TypeID == IntegerTyID, width = 32
|
|
|
|
Int64TySlot = 8 ///< TypeID == IntegerTyID, width = 64
|
|
|
|
};
|
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @}
|
|
|
|
/// @name Reader Primitives
|
|
|
|
/// @{
|
|
|
|
private:
|
|
|
|
|
|
|
|
/// @brief Is there more to parse in the current block?
|
|
|
|
inline bool moreInBlock();
|
|
|
|
|
|
|
|
/// @brief Have we read past the end of the block
|
|
|
|
inline void checkPastBlockEnd(const char * block_name);
|
|
|
|
|
|
|
|
/// @brief Align to 32 bits
|
|
|
|
inline void align32();
|
|
|
|
|
|
|
|
/// @brief Read an unsigned integer as 32-bits
|
|
|
|
inline unsigned read_uint();
|
|
|
|
|
|
|
|
/// @brief Read an unsigned integer with variable bit rate encoding
|
|
|
|
inline unsigned read_vbr_uint();
|
|
|
|
|
2004-07-25 18:07:36 +00:00
|
|
|
/// @brief Read an unsigned integer of no more than 24-bits with variable
|
|
|
|
/// bit rate encoding.
|
|
|
|
inline unsigned read_vbr_uint24();
|
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Read an unsigned 64-bit integer with variable bit rate encoding.
|
|
|
|
inline uint64_t read_vbr_uint64();
|
|
|
|
|
|
|
|
/// @brief Read a signed 64-bit integer with variable bit rate encoding.
|
|
|
|
inline int64_t read_vbr_int64();
|
|
|
|
|
|
|
|
/// @brief Read a string
|
|
|
|
inline std::string read_str();
|
2007-02-12 18:53:43 +00:00
|
|
|
inline void read_str(SmallVectorImpl<char> &StrData);
|
2004-06-29 23:31:01 +00:00
|
|
|
|
2004-07-11 17:24:05 +00:00
|
|
|
/// @brief Read a float value
|
|
|
|
inline void read_float(float& FloatVal);
|
|
|
|
|
|
|
|
/// @brief Read a double value
|
|
|
|
inline void read_double(double& DoubleVal);
|
|
|
|
|
2004-06-29 23:31:01 +00:00
|
|
|
/// @brief Read an arbitrary data chunk of fixed length
|
|
|
|
inline void read_data(void *Ptr, void *End);
|
|
|
|
|
2004-07-04 11:04:56 +00:00
|
|
|
/// @brief Read a bytecode block header
|
2004-06-29 23:31:01 +00:00
|
|
|
inline void read_block(unsigned &Type, unsigned &Size);
|
|
|
|
/// @}
|
|
|
|
};
|
|
|
|
|
|
|
|
} // End llvm namespace
|
|
|
|
|
|
|
|
// vim: sw=2
|
|
|
|
#endif
|