blob: 8576f9ce2257843ea3f51f346eeb0b29aa62aab2 [file] [log] [blame]
Chris Lattner92101ac2001-08-23 17:05:04 +00001//===-- Interpreter.h ------------------------------------------*- C++ -*--===//
2//
3// This header file defines the interpreter structure
4//
5//===----------------------------------------------------------------------===//
6
7#ifndef LLI_INTERPRETER_H
8#define LLI_INTERPRETER_H
9
Chris Lattnere2409062001-11-12 16:19:45 +000010// Uncomment this line to enable profiling of structure field accesses.
11#define PROFILE_STRUCTURE_FIELDS 1
12
13
Chris Lattner92101ac2001-08-23 17:05:04 +000014#include "llvm/Module.h"
15#include "llvm/Method.h"
Chris Lattner221d6882002-02-12 21:07:25 +000016#include "llvm/BasicBlock.h"
Chris Lattner360e17e2001-11-26 23:04:08 +000017#include "Support/DataTypes.h"
Chris Lattner5af0c482001-11-07 04:23:00 +000018#include "llvm/Assembly/CachedWriter.h"
19
20extern CachedWriter CW; // Object to accellerate printing of LLVM
Chris Lattner92101ac2001-08-23 17:05:04 +000021
22struct MethodInfo; // Defined in ExecutionAnnotations.h
23class CallInst;
24class ReturnInst;
25class BranchInst;
Chris Lattner86660982001-08-27 05:16:50 +000026class AllocationInst;
Chris Lattner92101ac2001-08-23 17:05:04 +000027
Chris Lattnerea38c0e2001-11-07 19:46:27 +000028typedef uint64_t PointerTy;
29
Chris Lattner92101ac2001-08-23 17:05:04 +000030union GenericValue {
31 bool BoolVal;
32 unsigned char UByteVal;
33 signed char SByteVal;
34 unsigned short UShortVal;
35 signed short ShortVal;
36 unsigned int UIntVal;
37 signed int IntVal;
Chris Lattner7b851ab2001-10-15 19:18:26 +000038 uint64_t ULongVal;
39 int64_t LongVal;
Chris Lattner92101ac2001-08-23 17:05:04 +000040 double DoubleVal;
41 float FloatVal;
Chris Lattnerea38c0e2001-11-07 19:46:27 +000042 PointerTy PointerVal;
Chris Lattner92101ac2001-08-23 17:05:04 +000043};
44
Chris Lattner9bffa732002-02-19 18:50:09 +000045// AllocaHolder - Object to track all of the blocks of memory allocated by
46// alloca. When the function returns, this object is poped off the execution
47// stack, which causes the dtor to be run, which frees all the alloca'd memory.
48//
49class AllocaHolder {
50 friend class AllocaHolderHandle;
51 std::vector<void*> Allocations;
52 unsigned RefCnt;
53public:
54 AllocaHolder() : RefCnt(0) {}
55 void add(void *mem) { Allocations.push_back(mem); }
56 ~AllocaHolder() {
57 for (unsigned i = 0; i < Allocations.size(); ++i)
58 free(Allocations[i]);
59 }
60};
61
62// AllocaHolderHandle gives AllocaHolder value semantics so we can stick it into
63// a vector...
64//
65class AllocaHolderHandle {
66 AllocaHolder *H;
67public:
68 AllocaHolderHandle() : H(new AllocaHolder()) { H->RefCnt++; }
69 AllocaHolderHandle(const AllocaHolderHandle &AH) : H(AH.H) { H->RefCnt++; }
70 ~AllocaHolderHandle() { if (--H->RefCnt == 0) delete H; }
71
72 void add(void *mem) { H->add(mem); }
73};
74
Chris Lattner697954c2002-01-20 22:54:45 +000075typedef std::vector<GenericValue> ValuePlaneTy;
Chris Lattner92101ac2001-08-23 17:05:04 +000076
77// ExecutionContext struct - This struct represents one stack frame currently
78// executing.
79//
80struct ExecutionContext {
81 Method *CurMethod; // The currently executing method
82 BasicBlock *CurBB; // The currently executing BB
83 BasicBlock::iterator CurInst; // The next instruction to execute
84 MethodInfo *MethInfo; // The MethInfo annotation for the method
Chris Lattner697954c2002-01-20 22:54:45 +000085 std::vector<ValuePlaneTy> Values;// ValuePlanes for each type
Chris Lattner92101ac2001-08-23 17:05:04 +000086
87 BasicBlock *PrevBB; // The previous BB or null if in first BB
88 CallInst *Caller; // Holds the call that called subframes.
89 // NULL if main func or debugger invoked fn
Chris Lattner9bffa732002-02-19 18:50:09 +000090 AllocaHolderHandle Allocas; // Track memory allocated by alloca
Chris Lattner92101ac2001-08-23 17:05:04 +000091};
92
Chris Lattner92101ac2001-08-23 17:05:04 +000093// Interpreter - This class represents the entirety of the interpreter.
94//
95class Interpreter {
96 Module *CurMod; // The current Module being executed (0 if none)
97 int ExitCode; // The exit code to be returned by the lli util
98 bool Profile; // Profiling enabled?
Chris Lattner43e3f7c2001-10-27 08:43:52 +000099 bool Trace; // Tracing enabled?
Chris Lattner92101ac2001-08-23 17:05:04 +0000100 int CurFrame; // The current stack frame being inspected
101
102 // The runtime stack of executing code. The top of the stack is the current
103 // method record.
Chris Lattner697954c2002-01-20 22:54:45 +0000104 std::vector<ExecutionContext> ECStack;
Chris Lattner92101ac2001-08-23 17:05:04 +0000105
106public:
107 Interpreter();
Chris Lattner5af0c482001-11-07 04:23:00 +0000108 inline ~Interpreter() { CW.setModule(0); delete CurMod; }
Chris Lattner92101ac2001-08-23 17:05:04 +0000109
110 // getExitCode - return the code that should be the exit code for the lli
111 // utility.
112 inline int getExitCode() const { return ExitCode; }
113
114 // enableProfiling() - Turn profiling on, clear stats?
115 void enableProfiling() { Profile = true; }
Chris Lattner43e3f7c2001-10-27 08:43:52 +0000116 void enableTracing() { Trace = true; }
Chris Lattner92101ac2001-08-23 17:05:04 +0000117
Chris Lattner92101ac2001-08-23 17:05:04 +0000118 void handleUserInput();
119
120 // User Interation Methods...
Chris Lattner697954c2002-01-20 22:54:45 +0000121 void loadModule(const std::string &Filename);
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000122 bool flushModule();
Chris Lattner697954c2002-01-20 22:54:45 +0000123 bool callMethod(const std::string &Name); // return true on failure
124 void setBreakpoint(const std::string &Name);
125 void infoValue(const std::string &Name);
126 void print(const std::string &Name);
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000127 static void print(const Type *Ty, GenericValue V);
Chris Lattner365a76e2001-09-10 04:49:44 +0000128 static void printValue(const Type *Ty, GenericValue V);
Chris Lattner92101ac2001-08-23 17:05:04 +0000129
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000130 // Hack until we can parse command line args...
Chris Lattner697954c2002-01-20 22:54:45 +0000131 bool callMainMethod(const std::string &MainName,
132 const std::vector<std::string> &InputFilename);
Chris Lattner92101ac2001-08-23 17:05:04 +0000133
134 void list(); // Do the 'list' command
135 void printStackTrace(); // Do the 'backtrace' command
136
137 // Code execution methods...
Chris Lattner697954c2002-01-20 22:54:45 +0000138 void callMethod(Method *Meth, const std::vector<GenericValue> &ArgVals);
Chris Lattner92101ac2001-08-23 17:05:04 +0000139 bool executeInstruction(); // Execute one instruction...
140
141 void stepInstruction(); // Do the 'step' command
142 void nextInstruction(); // Do the 'next' command
143 void run(); // Do the 'run' command
144 void finish(); // Do the 'finish' command
145
146 // Opcode Implementations
147 void executeCallInst(CallInst *I, ExecutionContext &SF);
148 void executeRetInst(ReturnInst *I, ExecutionContext &SF);
149 void executeBrInst(BranchInst *I, ExecutionContext &SF);
Chris Lattner86660982001-08-27 05:16:50 +0000150 void executeAllocInst(AllocationInst *I, ExecutionContext &SF);
Chris Lattner5deea3c2001-10-30 20:28:23 +0000151 GenericValue callExternalMethod(Method *Meth,
Chris Lattner697954c2002-01-20 22:54:45 +0000152 const std::vector<GenericValue> &ArgVals);
Chris Lattnere43db882001-10-27 04:15:57 +0000153 void exitCalled(GenericValue GV);
Chris Lattner92101ac2001-08-23 17:05:04 +0000154
155 // getCurrentMethod - Return the currently executing method
156 inline Method *getCurrentMethod() const {
157 return CurFrame < 0 ? 0 : ECStack[CurFrame].CurMethod;
158 }
159
160 // isStopped - Return true if a program is stopped. Return false if no
161 // program is running.
162 //
163 inline bool isStopped() const { return !ECStack.empty(); }
164
165private: // Helper functions
Chris Lattnere43db882001-10-27 04:15:57 +0000166 // getCurrentExecutablePath() - Return the directory that the lli executable
167 // lives in.
168 //
Chris Lattner697954c2002-01-20 22:54:45 +0000169 std::string getCurrentExecutablePath() const;
Chris Lattnere43db882001-10-27 04:15:57 +0000170
Chris Lattner92101ac2001-08-23 17:05:04 +0000171 // printCurrentInstruction - Print out the instruction that the virtual PC is
172 // at, or fail silently if no program is running.
173 //
174 void printCurrentInstruction();
175
Chris Lattner461f02f2001-11-07 05:31:27 +0000176 // printStackFrame - Print information about the specified stack frame, or -1
177 // for the default one.
178 //
179 void printStackFrame(int FrameNo = -1);
180
Chris Lattner92101ac2001-08-23 17:05:04 +0000181 // LookupMatchingNames - Search the current method namespace, then the global
182 // namespace looking for values that match the specified name. Return ALL
183 // matches to that name. This is obviously slow, and should only be used for
184 // user interaction.
185 //
Chris Lattner697954c2002-01-20 22:54:45 +0000186 std::vector<Value*> LookupMatchingNames(const std::string &Name);
Chris Lattner92101ac2001-08-23 17:05:04 +0000187
188 // ChooseOneOption - Prompt the user to choose among the specified options to
189 // pick one value. If no options are provided, emit an error. If a single
190 // option is provided, just return that option.
191 //
Chris Lattner697954c2002-01-20 22:54:45 +0000192 Value *ChooseOneOption(const std::string &Name,
193 const std::vector<Value*> &Opts);
Chris Lattner5deea3c2001-10-30 20:28:23 +0000194
195
196 void initializeExecutionEngine();
197 void initializeExternalMethods();
Chris Lattner92101ac2001-08-23 17:05:04 +0000198};
199
200#endif