2004-06-25 02:32:27 +00:00
|
|
|
//===-- BytecodeHandler.h - Handle Bytecode Parsing Events ------*- C++ -*-===//
|
2005-04-21 20:39:54 +00:00
|
|
|
//
|
2004-06-24 23:05:07 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2005-04-21 20:39:54 +00:00
|
|
|
// This file was developed by Reid Spencer and is distributed under the
|
2004-06-24 23:05:07 +00:00
|
|
|
// University of Illinois Open Source License. See LICENSE.TXT for details.
|
2005-04-21 20:39:54 +00:00
|
|
|
//
|
2004-06-24 23:05:07 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This header file defines the interface to the Bytecode Handler. The handler
|
2004-06-25 02:32:27 +00:00
|
|
|
// is called by the Bytecode Reader to obtain out-of-band parsing events for
|
2004-06-24 23:05:07 +00:00
|
|
|
// tasks other then LLVM IR construction.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2004-06-29 23:18:52 +00:00
|
|
|
#ifndef LLVM_BYTECODE_BYTECODEHANDLER_H
|
|
|
|
#define LLVM_BYTECODE_BYTECODEHANDLER_H
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2004-06-25 02:32:27 +00:00
|
|
|
#include "llvm/Module.h"
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
class ArrayType;
|
|
|
|
class StructType;
|
|
|
|
class PointerType;
|
2004-08-20 06:00:58 +00:00
|
|
|
class PackedType;
|
2004-06-24 23:05:07 +00:00
|
|
|
class ConstantArray;
|
2004-06-29 23:18:52 +00:00
|
|
|
class Module;
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This class provides the interface for handling bytecode events during
|
2005-04-21 20:39:54 +00:00
|
|
|
/// reading of bytecode. The methods on this interface are invoked by the
|
|
|
|
/// BytecodeReader as it discovers the content of a bytecode stream.
|
|
|
|
/// This class provides a a clear separation of concerns between recognizing
|
|
|
|
/// the semantic units of a bytecode file (the Reader) and deciding what to do
|
|
|
|
/// with them (the Handler).
|
2004-06-25 02:32:27 +00:00
|
|
|
///
|
2004-06-24 23:05:07 +00:00
|
|
|
/// The BytecodeReader recognizes the content of the bytecode file and
|
|
|
|
/// calls the BytecodeHandler methods to let it perform additional tasks. This
|
|
|
|
/// arrangement allows Bytecode files to be read and handled for a number of
|
|
|
|
/// purposes simply by creating a subclass of BytecodeHandler. None of the
|
|
|
|
/// parsing details need to be understood, only the meaning of the calls
|
|
|
|
/// made on this interface.
|
2005-04-21 20:39:54 +00:00
|
|
|
///
|
2004-06-24 23:05:07 +00:00
|
|
|
/// @see BytecodeHandler
|
|
|
|
/// @brief Handle Bytecode Parsing Events
|
|
|
|
class BytecodeHandler {
|
|
|
|
|
|
|
|
/// @name Constructors And Operators
|
|
|
|
/// @{
|
|
|
|
public:
|
|
|
|
/// @brief Default constructor (empty)
|
|
|
|
BytecodeHandler() {}
|
|
|
|
/// @brief Virtual destructor (empty)
|
2004-06-25 02:32:27 +00:00
|
|
|
virtual ~BytecodeHandler();
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
BytecodeHandler(const BytecodeHandler &); // DO NOT IMPLEMENT
|
|
|
|
void operator=(const BytecodeHandler &); // DO NOT IMPLEMENT
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
/// @name Handler Methods
|
|
|
|
/// @{
|
|
|
|
public:
|
|
|
|
|
|
|
|
/// This method is called whenever the parser detects an error in the
|
2004-06-25 02:32:27 +00:00
|
|
|
/// bytecode formatting. It gives the handler a chance to do something
|
2005-04-21 20:39:54 +00:00
|
|
|
/// with the error message before the parser throws an exception to
|
|
|
|
/// terminate the parsing.
|
2004-06-24 23:05:07 +00:00
|
|
|
/// @brief Handle parsing errors.
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleError(const std::string& str ) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This method is called at the beginning of a parse before anything is
|
|
|
|
/// read in order to give the handler a chance to initialize.
|
|
|
|
/// @brief Handle the start of a bytecode parse
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleStart( Module* Mod, unsigned byteSize ) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This method is called at the end of a parse after everything has been
|
|
|
|
/// read in order to give the handler a chance to terminate.
|
|
|
|
/// @brief Handle the end of a bytecode parse
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleFinish() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This method is called at the start of a module to indicate that a
|
|
|
|
/// module is being parsed.
|
|
|
|
/// @brief Handle the start of a module.
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleModuleBegin(const std::string& moduleId) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This method is called at the end of a module to indicate that the module
|
|
|
|
/// previously being parsed has concluded.
|
|
|
|
/// @brief Handle the end of a module.
|
|
|
|
virtual void handleModuleEnd(
|
|
|
|
const std::string& moduleId ///< An identifier for the module
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2005-04-21 20:39:54 +00:00
|
|
|
/// This method is called once the version information has been parsed. It
|
|
|
|
/// provides the information about the version of the bytecode file being
|
2004-06-24 23:05:07 +00:00
|
|
|
/// read.
|
|
|
|
/// @brief Handle the bytecode prolog
|
|
|
|
virtual void handleVersionInfo(
|
|
|
|
unsigned char RevisionNum, ///< Byte code revision number
|
|
|
|
Module::Endianness Endianness, ///< Endianness indicator
|
|
|
|
Module::PointerSize PointerSize ///< PointerSize indicator
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This method is called at the start of a module globals block which
|
|
|
|
/// contains the global variables and the function placeholders
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleModuleGlobalsBegin() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2005-04-21 20:39:54 +00:00
|
|
|
/// This method is called when a non-initialized global variable is
|
2004-06-24 23:05:07 +00:00
|
|
|
/// recognized. Its type, constness, and linkage type are provided.
|
|
|
|
/// @brief Handle a non-initialized global variable
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleGlobalVariable(
|
2004-06-24 23:05:07 +00:00
|
|
|
const Type* ElemType, ///< The type of the global variable
|
|
|
|
bool isConstant, ///< Whether the GV is constant or not
|
|
|
|
GlobalValue::LinkageTypes,///< The linkage type of the GV
|
2007-01-12 19:20:47 +00:00
|
|
|
GlobalValue::VisibilityTypes,///< The visibility style of the GV
|
2004-06-24 23:05:07 +00:00
|
|
|
unsigned SlotNum, ///< Slot number of GV
|
|
|
|
unsigned initSlot ///< Slot number of GV's initializer (0 if none)
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2004-08-21 20:41:12 +00:00
|
|
|
/// This method is called when a type list is recognized. It simply
|
|
|
|
/// provides the number of types that the list contains. The handler
|
|
|
|
/// should expect that number of calls to handleType.
|
|
|
|
/// @brief Handle a type
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleTypeList(
|
2004-08-21 20:41:12 +00:00
|
|
|
unsigned numEntries ///< The number of entries in the type list
|
|
|
|
) {}
|
|
|
|
|
2005-04-21 20:39:54 +00:00
|
|
|
/// This method is called when a new type is recognized. The type is
|
2004-06-24 23:05:07 +00:00
|
|
|
/// converted from the bytecode and passed to this method.
|
|
|
|
/// @brief Handle a type
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleType(
|
2004-06-24 23:05:07 +00:00
|
|
|
const Type* Ty ///< The type that was just recognized
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This method is called when the function prototype for a function is
|
|
|
|
/// encountered in the module globals block.
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleFunctionDeclaration(
|
2004-06-25 02:32:27 +00:00
|
|
|
Function* Func ///< The function being declared
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2004-06-29 23:18:52 +00:00
|
|
|
/// This method is called when a global variable is initialized with
|
|
|
|
/// its constant value. Because of forward referencing, etc. this is
|
|
|
|
/// done towards the end of the module globals block
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleGlobalInitializer(GlobalVariable*, Constant* ) {}
|
2004-06-29 23:18:52 +00:00
|
|
|
|
2004-08-21 20:41:12 +00:00
|
|
|
/// This method is called for each dependent library name found
|
|
|
|
/// in the module globals block.
|
|
|
|
virtual void handleDependentLibrary(const std::string& libName) {}
|
|
|
|
|
2005-04-21 20:39:54 +00:00
|
|
|
/// This method is called if the module globals has a non-empty target
|
2004-08-21 20:41:12 +00:00
|
|
|
/// triple
|
|
|
|
virtual void handleTargetTriple(const std::string& triple) {}
|
|
|
|
|
2004-06-24 23:05:07 +00:00
|
|
|
/// This method is called at the end of the module globals block.
|
|
|
|
/// @brief Handle end of module globals block.
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleModuleGlobalsEnd() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// This method is called at the beginning of a compaction table.
|
|
|
|
/// @brief Handle start of compaction table.
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleCompactionTableBegin() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle start of a compaction table plane
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleCompactionTablePlane(
|
2004-06-24 23:05:07 +00:00
|
|
|
unsigned Ty, ///< The type of the plane (slot number)
|
|
|
|
unsigned NumEntries ///< The number of entries in the plane
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a type entry in the compaction table
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleCompactionTableType(
|
2004-06-24 23:05:07 +00:00
|
|
|
unsigned i, ///< Index in the plane of this type
|
|
|
|
unsigned TypSlot, ///< Slot number for this type
|
|
|
|
const Type* ///< The type referenced by this slot
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a value entry in the compaction table
|
|
|
|
virtual void handleCompactionTableValue(
|
|
|
|
unsigned i, ///< Index in the compaction table's type plane
|
|
|
|
unsigned TypSlot, ///< The slot (plane) of the type of this value
|
2004-08-04 00:18:37 +00:00
|
|
|
unsigned ValSlot ///< The global value slot of the value
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle end of a compaction table
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleCompactionTableEnd() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle start of a symbol table
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleSymbolTableBegin(
|
2004-06-24 23:05:07 +00:00
|
|
|
Function* Func, ///< The function to which the ST belongs
|
|
|
|
SymbolTable* ST ///< The symbol table being filled
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle start of a symbol table plane
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleSymbolTablePlane(
|
2004-07-04 11:29:56 +00:00
|
|
|
unsigned TySlot, ///< The slotnum of the type plane
|
2004-06-24 23:05:07 +00:00
|
|
|
unsigned NumEntries, ///< Number of entries in the plane
|
2004-07-04 11:29:56 +00:00
|
|
|
const Type* Typ ///< The type of this type plane
|
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a named type in the symbol table
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleSymbolTableType(
|
2004-06-24 23:05:07 +00:00
|
|
|
unsigned i, ///< The index of the type in this plane
|
|
|
|
unsigned slot, ///< Slot number of the named type
|
|
|
|
const std::string& name ///< Name of the type
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a named value in the symbol table
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleSymbolTableValue(
|
2004-06-24 23:05:07 +00:00
|
|
|
unsigned i, ///< The index of the value in this plane
|
|
|
|
unsigned slot, ///< Slot number of the named value
|
|
|
|
const std::string& name ///< Name of the value.
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle the end of a symbol table
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleSymbolTableEnd() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle the beginning of a function body
|
|
|
|
virtual void handleFunctionBegin(
|
|
|
|
Function* Func, ///< The function being defined
|
|
|
|
unsigned Size ///< The size (in bytes) of the function's bytecode
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle the end of a function body
|
|
|
|
virtual void handleFunctionEnd(
|
|
|
|
Function* Func ///< The function whose definition has just finished.
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle the beginning of a basic block
|
|
|
|
virtual void handleBasicBlockBegin(
|
|
|
|
unsigned blocknum ///< The block number of the block
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2005-04-21 20:39:54 +00:00
|
|
|
/// This method is called for each instruction that is parsed.
|
2004-06-24 23:05:07 +00:00
|
|
|
/// @returns true if the instruction is a block terminating instruction
|
|
|
|
/// @brief Handle an instruction
|
|
|
|
virtual bool handleInstruction(
|
|
|
|
unsigned Opcode, ///< Opcode of the instruction
|
|
|
|
const Type* iType, ///< Instruction type
|
|
|
|
std::vector<unsigned>& Operands, ///< Vector of slot # operands
|
|
|
|
unsigned Length ///< Length of instruction in bc bytes
|
2004-07-04 11:29:56 +00:00
|
|
|
) { return false; }
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle the end of a basic block
|
|
|
|
virtual void handleBasicBlockEnd(
|
|
|
|
unsigned blocknum ///< The block number of the block just finished
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle start of global constants block.
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleGlobalConstantsBegin() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a constant expression
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleConstantExpression(
|
2004-06-24 23:05:07 +00:00
|
|
|
unsigned Opcode, ///< Opcode of primary expression operator
|
2004-06-29 23:18:52 +00:00
|
|
|
std::vector<Constant*> ArgVec, ///< expression args
|
|
|
|
Constant* C ///< The constant value
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a constant array
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleConstantArray(
|
2004-06-24 23:05:07 +00:00
|
|
|
const ArrayType* AT, ///< Type of the array
|
2004-06-29 23:18:52 +00:00
|
|
|
std::vector<Constant*>& ElementSlots,///< Slot nums for array values
|
|
|
|
unsigned TypeSlot, ///< Slot # of type
|
|
|
|
Constant* Val ///< The constant value
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2005-04-21 20:39:54 +00:00
|
|
|
/// @brief Handle a constant structure
|
|
|
|
virtual void handleConstantStruct(
|
2004-06-24 23:05:07 +00:00
|
|
|
const StructType* ST, ///< Type of the struct
|
2004-06-29 23:18:52 +00:00
|
|
|
std::vector<Constant*>& ElementSlots,///< Slot nums for struct values
|
|
|
|
Constant* Val ///< The constant value
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
2004-08-20 06:00:58 +00:00
|
|
|
/// @brief Handle a constant packed
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleConstantPacked(
|
2004-08-20 06:00:58 +00:00
|
|
|
const PackedType* PT, ///< Type of the array
|
|
|
|
std::vector<Constant*>& ElementSlots,///< Slot nums for packed values
|
|
|
|
unsigned TypeSlot, ///< Slot # of type
|
|
|
|
Constant* Val ///< The constant value
|
|
|
|
) {}
|
|
|
|
|
2004-06-24 23:05:07 +00:00
|
|
|
/// @brief Handle a constant pointer
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleConstantPointer(
|
2004-06-24 23:05:07 +00:00
|
|
|
const PointerType* PT, ///< Type of the pointer
|
2004-06-29 23:18:52 +00:00
|
|
|
unsigned Slot, ///< Slot num of initializer value
|
2004-07-17 23:23:30 +00:00
|
|
|
GlobalValue* GV ///< Referenced global value
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a constant strings (array special case)
|
|
|
|
virtual void handleConstantString(
|
|
|
|
const ConstantArray* CA ///< Type of the string array
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a primitive constant value
|
2005-04-21 20:39:54 +00:00
|
|
|
virtual void handleConstantValue(
|
2004-06-24 23:05:07 +00:00
|
|
|
Constant * c ///< The constant just defined
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle the end of the global constants
|
2004-07-04 11:29:56 +00:00
|
|
|
virtual void handleGlobalConstantsEnd() {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle an alignment event
|
|
|
|
virtual void handleAlignment(
|
|
|
|
unsigned numBytes ///< The number of bytes added for alignment
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a bytecode block
|
|
|
|
virtual void handleBlock(
|
|
|
|
unsigned BType, ///< The type of block
|
|
|
|
const unsigned char* StartPtr, ///< The start of the block
|
|
|
|
unsigned Size ///< The size of the block
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a variable bit rate 32 bit unsigned
|
|
|
|
virtual void handleVBR32(
|
|
|
|
unsigned Size ///< Number of bytes the vbr_uint took up
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
|
|
|
|
/// @brief Handle a variable bit rate 64 bit unsigned
|
|
|
|
virtual void handleVBR64(
|
|
|
|
unsigned Size ///< Number of byte sthe vbr_uint64 took up
|
2004-07-04 11:29:56 +00:00
|
|
|
) {}
|
2004-06-24 23:05:07 +00:00
|
|
|
/// @}
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
#endif
|