2001-08-23 17:05:04 +00:00
|
|
|
//===-- Interpreter.h ------------------------------------------*- C++ -*--===//
|
|
|
|
//
|
|
|
|
// This header file defines the interpreter structure
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLI_INTERPRETER_H
|
|
|
|
#define LLI_INTERPRETER_H
|
|
|
|
|
|
|
|
#include "llvm/Module.h"
|
|
|
|
#include "llvm/Method.h"
|
2001-10-15 19:18:26 +00:00
|
|
|
#include "llvm/Support/DataTypes.h"
|
2001-08-23 17:05:04 +00:00
|
|
|
|
|
|
|
struct MethodInfo; // Defined in ExecutionAnnotations.h
|
|
|
|
class CallInst;
|
|
|
|
class ReturnInst;
|
|
|
|
class BranchInst;
|
2001-08-27 05:16:50 +00:00
|
|
|
class AllocationInst;
|
2001-08-23 17:05:04 +00:00
|
|
|
|
|
|
|
union GenericValue {
|
|
|
|
bool BoolVal;
|
|
|
|
unsigned char UByteVal;
|
|
|
|
signed char SByteVal;
|
|
|
|
unsigned short UShortVal;
|
|
|
|
signed short ShortVal;
|
|
|
|
unsigned int UIntVal;
|
|
|
|
signed int IntVal;
|
2001-10-15 19:18:26 +00:00
|
|
|
uint64_t ULongVal;
|
|
|
|
int64_t LongVal;
|
2001-08-23 17:05:04 +00:00
|
|
|
double DoubleVal;
|
|
|
|
float FloatVal;
|
|
|
|
GenericValue *PointerVal;
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef vector<GenericValue> ValuePlaneTy;
|
|
|
|
|
|
|
|
// ExecutionContext struct - This struct represents one stack frame currently
|
|
|
|
// executing.
|
|
|
|
//
|
|
|
|
struct ExecutionContext {
|
|
|
|
Method *CurMethod; // The currently executing method
|
|
|
|
BasicBlock *CurBB; // The currently executing BB
|
|
|
|
BasicBlock::iterator CurInst; // The next instruction to execute
|
|
|
|
MethodInfo *MethInfo; // The MethInfo annotation for the method
|
|
|
|
vector<ValuePlaneTy> Values; // ValuePlanes for each type
|
|
|
|
|
|
|
|
BasicBlock *PrevBB; // The previous BB or null if in first BB
|
|
|
|
CallInst *Caller; // Holds the call that called subframes.
|
|
|
|
// NULL if main func or debugger invoked fn
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
// Interpreter - This class represents the entirety of the interpreter.
|
|
|
|
//
|
|
|
|
class Interpreter {
|
|
|
|
Module *CurMod; // The current Module being executed (0 if none)
|
|
|
|
int ExitCode; // The exit code to be returned by the lli util
|
|
|
|
bool Profile; // Profiling enabled?
|
|
|
|
int CurFrame; // The current stack frame being inspected
|
|
|
|
|
|
|
|
// The runtime stack of executing code. The top of the stack is the current
|
|
|
|
// method record.
|
|
|
|
vector<ExecutionContext> ECStack;
|
|
|
|
|
|
|
|
public:
|
|
|
|
Interpreter();
|
|
|
|
inline ~Interpreter() { delete CurMod; }
|
|
|
|
|
|
|
|
// getExitCode - return the code that should be the exit code for the lli
|
|
|
|
// utility.
|
|
|
|
inline int getExitCode() const { return ExitCode; }
|
|
|
|
|
|
|
|
// enableProfiling() - Turn profiling on, clear stats?
|
|
|
|
void enableProfiling() { Profile = true; }
|
|
|
|
|
|
|
|
void initializeExecutionEngine();
|
|
|
|
void handleUserInput();
|
|
|
|
|
|
|
|
// User Interation Methods...
|
2001-10-15 05:51:48 +00:00
|
|
|
void loadModule(const string &Filename);
|
|
|
|
bool flushModule();
|
2001-08-23 17:05:04 +00:00
|
|
|
bool callMethod(const string &Name); // return true on failure
|
|
|
|
void setBreakpoint(const string &Name);
|
2001-08-27 05:16:50 +00:00
|
|
|
void infoValue(const string &Name);
|
2001-10-15 05:51:48 +00:00
|
|
|
void print(const string &Name);
|
|
|
|
static void print(const Type *Ty, GenericValue V);
|
2001-09-10 04:49:44 +00:00
|
|
|
static void printValue(const Type *Ty, GenericValue V);
|
2001-08-23 17:05:04 +00:00
|
|
|
|
2001-10-18 21:55:32 +00:00
|
|
|
// Hack until we can parse command line args...
|
|
|
|
bool callMainMethod(const string &MainName,
|
|
|
|
const string &InputFilename);
|
2001-08-23 17:05:04 +00:00
|
|
|
|
|
|
|
void list(); // Do the 'list' command
|
|
|
|
void printStackTrace(); // Do the 'backtrace' command
|
|
|
|
|
|
|
|
// Code execution methods...
|
2001-09-10 04:49:44 +00:00
|
|
|
void callMethod (Method *Meth, const vector<GenericValue> &ArgVals);
|
|
|
|
void callExternalMethod(Method *Meth, const vector<GenericValue> &ArgVals);
|
2001-08-23 17:05:04 +00:00
|
|
|
bool executeInstruction(); // Execute one instruction...
|
|
|
|
|
|
|
|
void stepInstruction(); // Do the 'step' command
|
|
|
|
void nextInstruction(); // Do the 'next' command
|
|
|
|
void run(); // Do the 'run' command
|
|
|
|
void finish(); // Do the 'finish' command
|
|
|
|
|
|
|
|
// Opcode Implementations
|
|
|
|
void executeCallInst(CallInst *I, ExecutionContext &SF);
|
|
|
|
void executeRetInst(ReturnInst *I, ExecutionContext &SF);
|
|
|
|
void executeBrInst(BranchInst *I, ExecutionContext &SF);
|
2001-08-27 05:16:50 +00:00
|
|
|
void executeAllocInst(AllocationInst *I, ExecutionContext &SF);
|
2001-08-23 17:05:04 +00:00
|
|
|
|
|
|
|
// getCurrentMethod - Return the currently executing method
|
|
|
|
inline Method *getCurrentMethod() const {
|
|
|
|
return CurFrame < 0 ? 0 : ECStack[CurFrame].CurMethod;
|
|
|
|
}
|
|
|
|
|
|
|
|
// isStopped - Return true if a program is stopped. Return false if no
|
|
|
|
// program is running.
|
|
|
|
//
|
|
|
|
inline bool isStopped() const { return !ECStack.empty(); }
|
|
|
|
|
|
|
|
private: // Helper functions
|
|
|
|
// printCurrentInstruction - Print out the instruction that the virtual PC is
|
|
|
|
// at, or fail silently if no program is running.
|
|
|
|
//
|
|
|
|
void printCurrentInstruction();
|
|
|
|
|
|
|
|
// LookupMatchingNames - Search the current method namespace, then the global
|
|
|
|
// namespace looking for values that match the specified name. Return ALL
|
|
|
|
// matches to that name. This is obviously slow, and should only be used for
|
|
|
|
// user interaction.
|
|
|
|
//
|
|
|
|
vector<Value*> LookupMatchingNames(const string &Name);
|
|
|
|
|
|
|
|
// ChooseOneOption - Prompt the user to choose among the specified options to
|
|
|
|
// pick one value. If no options are provided, emit an error. If a single
|
|
|
|
// option is provided, just return that option.
|
|
|
|
//
|
|
|
|
Value *ChooseOneOption(const string &Name, const vector<Value*> &Opts);
|
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|