blob: 4dacf22c15fc7f389841a2de0df9459c050f71a5 [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.
Chris Lattner849735c2002-10-02 21:11:16 +000011//#define PROFILE_STRUCTURE_FIELDS 1
Chris Lattnere2409062001-11-12 16:19:45 +000012
Chris Lattnerfe11a972002-12-23 23:59:41 +000013#include "../ExecutionEngine.h"
Chris Lattner360e17e2001-11-26 23:04:08 +000014#include "Support/DataTypes.h"
Chris Lattner5af0c482001-11-07 04:23:00 +000015#include "llvm/Assembly/CachedWriter.h"
Chris Lattnerfe11a972002-12-23 23:59:41 +000016#include "llvm/Target/TargetData.h"
17#include "llvm/BasicBlock.h"
18#include "../GenericValue.h"
Chris Lattner5af0c482001-11-07 04:23:00 +000019
Chris Lattnerfe11a972002-12-23 23:59:41 +000020extern CachedWriter CW; // Object to accelerate printing of LLVM
Chris Lattner92101ac2001-08-23 17:05:04 +000021
22struct MethodInfo; // Defined in ExecutionAnnotations.h
23class CallInst;
24class ReturnInst;
25class BranchInst;
Chris Lattnerfe11a972002-12-23 23:59:41 +000026class LoadInst;
27class StoreInst;
Chris Lattner86660982001-08-27 05:16:50 +000028class AllocationInst;
Chris Lattner92101ac2001-08-23 17:05:04 +000029
Chris Lattner9bffa732002-02-19 18:50:09 +000030// AllocaHolder - Object to track all of the blocks of memory allocated by
31// alloca. When the function returns, this object is poped off the execution
32// stack, which causes the dtor to be run, which frees all the alloca'd memory.
33//
34class AllocaHolder {
35 friend class AllocaHolderHandle;
36 std::vector<void*> Allocations;
37 unsigned RefCnt;
38public:
39 AllocaHolder() : RefCnt(0) {}
40 void add(void *mem) { Allocations.push_back(mem); }
41 ~AllocaHolder() {
42 for (unsigned i = 0; i < Allocations.size(); ++i)
43 free(Allocations[i]);
44 }
45};
46
47// AllocaHolderHandle gives AllocaHolder value semantics so we can stick it into
48// a vector...
49//
50class AllocaHolderHandle {
51 AllocaHolder *H;
52public:
53 AllocaHolderHandle() : H(new AllocaHolder()) { H->RefCnt++; }
54 AllocaHolderHandle(const AllocaHolderHandle &AH) : H(AH.H) { H->RefCnt++; }
55 ~AllocaHolderHandle() { if (--H->RefCnt == 0) delete H; }
56
57 void add(void *mem) { H->add(mem); }
58};
59
Chris Lattner697954c2002-01-20 22:54:45 +000060typedef std::vector<GenericValue> ValuePlaneTy;
Chris Lattner92101ac2001-08-23 17:05:04 +000061
62// ExecutionContext struct - This struct represents one stack frame currently
63// executing.
64//
65struct ExecutionContext {
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000066 Function *CurMethod; // The currently executing function
Chris Lattner92101ac2001-08-23 17:05:04 +000067 BasicBlock *CurBB; // The currently executing BB
68 BasicBlock::iterator CurInst; // The next instruction to execute
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000069 MethodInfo *MethInfo; // The MethInfo annotation for the function
Chris Lattner697954c2002-01-20 22:54:45 +000070 std::vector<ValuePlaneTy> Values;// ValuePlanes for each type
Chris Lattnercdf51782003-05-08 16:06:52 +000071 std::vector<GenericValue> VarArgs; // Values passed through an ellipsis
Chris Lattner92101ac2001-08-23 17:05:04 +000072
73 BasicBlock *PrevBB; // The previous BB or null if in first BB
74 CallInst *Caller; // Holds the call that called subframes.
75 // NULL if main func or debugger invoked fn
Chris Lattner9bffa732002-02-19 18:50:09 +000076 AllocaHolderHandle Allocas; // Track memory allocated by alloca
Chris Lattner92101ac2001-08-23 17:05:04 +000077};
78
Chris Lattner92101ac2001-08-23 17:05:04 +000079// Interpreter - This class represents the entirety of the interpreter.
80//
Chris Lattnerfe11a972002-12-23 23:59:41 +000081class Interpreter : public ExecutionEngine {
Chris Lattner92101ac2001-08-23 17:05:04 +000082 int ExitCode; // The exit code to be returned by the lli util
Chris Lattnerfe11a972002-12-23 23:59:41 +000083 bool Debug; // Debug mode enabled?
Chris Lattner92101ac2001-08-23 17:05:04 +000084 bool Profile; // Profiling enabled?
Chris Lattner43e3f7c2001-10-27 08:43:52 +000085 bool Trace; // Tracing enabled?
Chris Lattner92101ac2001-08-23 17:05:04 +000086 int CurFrame; // The current stack frame being inspected
Chris Lattnerfe11a972002-12-23 23:59:41 +000087 TargetData TD;
Chris Lattner92101ac2001-08-23 17:05:04 +000088
89 // The runtime stack of executing code. The top of the stack is the current
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000090 // function record.
Chris Lattner697954c2002-01-20 22:54:45 +000091 std::vector<ExecutionContext> ECStack;
Chris Lattner92101ac2001-08-23 17:05:04 +000092
93public:
Chris Lattnerfe11a972002-12-23 23:59:41 +000094 Interpreter(Module *M, unsigned Config, bool DebugMode, bool TraceMode);
95 inline ~Interpreter() { CW.setModule(0); }
Chris Lattner92101ac2001-08-23 17:05:04 +000096
97 // getExitCode - return the code that should be the exit code for the lli
98 // utility.
99 inline int getExitCode() const { return ExitCode; }
Chris Lattnerfe11a972002-12-23 23:59:41 +0000100
101 /// run - Start execution with the specified function and arguments.
102 ///
103 virtual int run(const std::string &FnName,
104 const std::vector<std::string> &Args);
105
Chris Lattner92101ac2001-08-23 17:05:04 +0000106
107 // enableProfiling() - Turn profiling on, clear stats?
108 void enableProfiling() { Profile = true; }
Chris Lattner43e3f7c2001-10-27 08:43:52 +0000109 void enableTracing() { Trace = true; }
Chris Lattner92101ac2001-08-23 17:05:04 +0000110
Chris Lattner92101ac2001-08-23 17:05:04 +0000111 void handleUserInput();
112
113 // User Interation Methods...
Chris Lattner697954c2002-01-20 22:54:45 +0000114 bool callMethod(const std::string &Name); // return true on failure
115 void setBreakpoint(const std::string &Name);
116 void infoValue(const std::string &Name);
117 void print(const std::string &Name);
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000118 static void print(const Type *Ty, GenericValue V);
Chris Lattner365a76e2001-09-10 04:49:44 +0000119 static void printValue(const Type *Ty, GenericValue V);
Chris Lattner92101ac2001-08-23 17:05:04 +0000120
Chris Lattner697954c2002-01-20 22:54:45 +0000121 bool callMainMethod(const std::string &MainName,
122 const std::vector<std::string> &InputFilename);
Chris Lattner92101ac2001-08-23 17:05:04 +0000123
124 void list(); // Do the 'list' command
125 void printStackTrace(); // Do the 'backtrace' command
126
127 // Code execution methods...
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000128 void callMethod(Function *F, const std::vector<GenericValue> &ArgVals);
Chris Lattner92101ac2001-08-23 17:05:04 +0000129 bool executeInstruction(); // Execute one instruction...
130
131 void stepInstruction(); // Do the 'step' command
132 void nextInstruction(); // Do the 'next' command
133 void run(); // Do the 'run' command
134 void finish(); // Do the 'finish' command
135
136 // Opcode Implementations
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000137 void executeCallInst(CallInst &I, ExecutionContext &SF);
138 void executeRetInst(ReturnInst &I, ExecutionContext &SF);
139 void executeBrInst(BranchInst &I, ExecutionContext &SF);
140 void executeAllocInst(AllocationInst &I, ExecutionContext &SF);
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000141 GenericValue callExternalMethod(Function *F,
Chris Lattner697954c2002-01-20 22:54:45 +0000142 const std::vector<GenericValue> &ArgVals);
Chris Lattnere43db882001-10-27 04:15:57 +0000143 void exitCalled(GenericValue GV);
Chris Lattner92101ac2001-08-23 17:05:04 +0000144
145 // getCurrentMethod - Return the currently executing method
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000146 inline Function *getCurrentMethod() const {
Chris Lattner92101ac2001-08-23 17:05:04 +0000147 return CurFrame < 0 ? 0 : ECStack[CurFrame].CurMethod;
148 }
149
150 // isStopped - Return true if a program is stopped. Return false if no
151 // program is running.
152 //
153 inline bool isStopped() const { return !ECStack.empty(); }
154
Chris Lattnerfe11a972002-12-23 23:59:41 +0000155 //FIXME: private:
156public:
157 GenericValue executeGEPOperation(Value *Ptr, User::op_iterator I,
158 User::op_iterator E, ExecutionContext &SF);
159 void executeLoadInst(LoadInst &I, ExecutionContext &SF);
160 void executeStoreInst(StoreInst &I, ExecutionContext &SF);
161
162
Chris Lattner92101ac2001-08-23 17:05:04 +0000163private: // Helper functions
Chris Lattnerfe11a972002-12-23 23:59:41 +0000164 void *getPointerToFunction(const Function *F) { return (void*)F; }
165
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 Lattner2fbfdcf2002-04-07 20:49:59 +0000181 // LookupMatchingNames - Search the current function namespace, then the
182 // global namespace looking for values that match the specified name. Return
183 // ALL matches to that name. This is obviously slow, and should only be used
184 // for user interaction.
Chris Lattner92101ac2001-08-23 17:05:04 +0000185 //
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