blob: abc3e08336a109f6bcfc0c107b05b04c6b0a6560 [file] [log] [blame]
Chris Lattner92101ac2001-08-23 17:05:04 +00001//===-- Interpreter.h ------------------------------------------*- C++ -*--===//
Misha Brukmand1c881a2005-04-21 22:43:08 +00002//
John Criswell856ba762003-10-21 15:17:13 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmand1c881a2005-04-21 22:43:08 +00007//
John Criswell856ba762003-10-21 15:17:13 +00008//===----------------------------------------------------------------------===//
Chris Lattner92101ac2001-08-23 17:05:04 +00009//
10// This header file defines the interpreter structure
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLI_INTERPRETER_H
15#define LLI_INTERPRETER_H
16
Chris Lattner502dda02003-11-05 06:20:27 +000017#include "llvm/Function.h"
Brian Gaeke97222942003-09-05 19:39:22 +000018#include "llvm/ExecutionEngine/ExecutionEngine.h"
19#include "llvm/ExecutionEngine/GenericValue.h"
Reid Spencerdea7ef12007-03-03 06:19:55 +000020#include "llvm/ADT/APInt.h"
Chris Lattnerd7916e92003-05-10 21:22:39 +000021#include "llvm/Support/InstVisitor.h"
Brian Gaeke2cb474c2003-11-07 19:26:23 +000022#include "llvm/Support/CallSite.h"
Chris Lattnerfd131292003-09-05 20:08:15 +000023#include "llvm/Target/TargetData.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000024#include "llvm/Support/DataTypes.h"
Chris Lattner5af0c482001-11-07 04:23:00 +000025
Brian Gaeked0fde302003-11-11 22:41:34 +000026namespace llvm {
27
Chris Lattner726c1ef2006-03-23 05:22:51 +000028class IntrinsicLowering;
Chris Lattnerb1dfc702004-02-26 07:59:22 +000029struct FunctionInfo;
Chris Lattnerc6b0fb32004-04-04 17:30:06 +000030template<typename T> class generic_gep_type_iterator;
Brian Gaekedfa58492003-12-11 00:23:28 +000031class ConstantExpr;
Chris Lattner702a8a02004-04-04 19:47:06 +000032typedef generic_gep_type_iterator<User::const_op_iterator> gep_type_iterator;
Chris Lattnerc6b0fb32004-04-04 17:30:06 +000033
Chris Lattner92101ac2001-08-23 17:05:04 +000034
Chris Lattner9bffa732002-02-19 18:50:09 +000035// AllocaHolder - Object to track all of the blocks of memory allocated by
Brian Gaekedfa58492003-12-11 00:23:28 +000036// alloca. When the function returns, this object is popped off the execution
Chris Lattner9bffa732002-02-19 18:50:09 +000037// stack, which causes the dtor to be run, which frees all the alloca'd memory.
38//
39class AllocaHolder {
40 friend class AllocaHolderHandle;
41 std::vector<void*> Allocations;
42 unsigned RefCnt;
43public:
44 AllocaHolder() : RefCnt(0) {}
45 void add(void *mem) { Allocations.push_back(mem); }
46 ~AllocaHolder() {
47 for (unsigned i = 0; i < Allocations.size(); ++i)
48 free(Allocations[i]);
49 }
50};
51
52// AllocaHolderHandle gives AllocaHolder value semantics so we can stick it into
53// a vector...
54//
55class AllocaHolderHandle {
56 AllocaHolder *H;
57public:
58 AllocaHolderHandle() : H(new AllocaHolder()) { H->RefCnt++; }
59 AllocaHolderHandle(const AllocaHolderHandle &AH) : H(AH.H) { H->RefCnt++; }
60 ~AllocaHolderHandle() { if (--H->RefCnt == 0) delete H; }
61
62 void add(void *mem) { H->add(mem); }
63};
64
Chris Lattner697954c2002-01-20 22:54:45 +000065typedef std::vector<GenericValue> ValuePlaneTy;
Chris Lattner92101ac2001-08-23 17:05:04 +000066
67// ExecutionContext struct - This struct represents one stack frame currently
68// executing.
69//
70struct ExecutionContext {
Chris Lattnerda82ed52003-05-08 16:18:31 +000071 Function *CurFunction;// The currently executing function
Chris Lattner92101ac2001-08-23 17:05:04 +000072 BasicBlock *CurBB; // The currently executing BB
73 BasicBlock::iterator CurInst; // The next instruction to execute
Brian Gaekef143d3c2003-10-24 19:59:37 +000074 std::map<Value *, GenericValue> Values; // LLVM values used in this invocation
Chris Lattnercdf51782003-05-08 16:06:52 +000075 std::vector<GenericValue> VarArgs; // Values passed through an ellipsis
Brian Gaeke2cb474c2003-11-07 19:26:23 +000076 CallSite Caller; // Holds the call that called subframes.
77 // NULL if main func or debugger invoked fn
Chris Lattner9bffa732002-02-19 18:50:09 +000078 AllocaHolderHandle Allocas; // Track memory allocated by alloca
Reid Spencerdea7ef12007-03-03 06:19:55 +000079 std::vector<APInt*> APInts; // Track memory allocated for APInts
80 APInt* getAPInt(uint32_t BitWidth) {
81 APInt* Result = new APInt(BitWidth, 0);
82 APInts.push_back(Result);
83 return Result;
84 }
85 ~ExecutionContext() {
86 while (!APInts.empty()) {
87 delete APInts.back();
88 APInts.pop_back();
89 }
90 }
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//
Chris Lattnerd7916e92003-05-10 21:22:39 +000095class Interpreter : public ExecutionEngine, public InstVisitor<Interpreter> {
Jeff Cohen8c9191c2006-02-07 05:29:44 +000096 GenericValue ExitValue; // The return value of the called function
Chris Lattnerfe11a972002-12-23 23:59:41 +000097 TargetData TD;
Chris Lattner73011782003-12-28 09:44:37 +000098 IntrinsicLowering *IL;
Chris Lattner92101ac2001-08-23 17:05:04 +000099
100 // The runtime stack of executing code. The top of the stack is the current
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000101 // function record.
Chris Lattner697954c2002-01-20 22:54:45 +0000102 std::vector<ExecutionContext> ECStack;
Chris Lattner92101ac2001-08-23 17:05:04 +0000103
Brian Gaeke70975ee2003-09-05 18:42:01 +0000104 // AtExitHandlers - List of functions to call when the program exits,
105 // registered with the atexit() library function.
Chris Lattner44edb6b2003-05-14 14:21:30 +0000106 std::vector<Function*> AtExitHandlers;
Chris Lattner63bd6132003-09-17 17:26:22 +0000107
Chris Lattner92101ac2001-08-23 17:05:04 +0000108public:
Chris Lattner276f4b52006-06-16 18:08:38 +0000109 Interpreter(Module *M);
Chris Lattner73011782003-12-28 09:44:37 +0000110 ~Interpreter();
Chris Lattner92101ac2001-08-23 17:05:04 +0000111
Chris Lattner2cab55d2003-12-26 06:13:05 +0000112 /// runAtExitHandlers - Run any functions registered by the program's calls to
113 /// atexit(3), which we intercept and store in AtExitHandlers.
Brian Gaeke70975ee2003-09-05 18:42:01 +0000114 ///
Chris Lattner2cab55d2003-12-26 06:13:05 +0000115 void runAtExitHandlers();
Brian Gaeke70975ee2003-09-05 18:42:01 +0000116
Chris Lattner2fe4bb02006-03-22 06:07:50 +0000117 static void Register() {
118 InterpCtor = create;
119 }
120
Chris Lattner726c1ef2006-03-23 05:22:51 +0000121 /// create - Create an interpreter ExecutionEngine. This can never fail.
Brian Gaeke82d82772003-09-03 20:34:19 +0000122 ///
Chris Lattner726c1ef2006-03-23 05:22:51 +0000123 static ExecutionEngine *create(ModuleProvider *M);
Brian Gaeke82d82772003-09-03 20:34:19 +0000124
Chris Lattnerfe11a972002-12-23 23:59:41 +0000125 /// run - Start execution with the specified function and arguments.
126 ///
Chris Lattner2cab55d2003-12-26 06:13:05 +0000127 virtual GenericValue runFunction(Function *F,
128 const std::vector<GenericValue> &ArgValues);
Chris Lattner92101ac2001-08-23 17:05:04 +0000129
Chris Lattnere63fc8b2003-12-08 08:23:04 +0000130 /// recompileAndRelinkFunction - For the interpreter, functions are always
131 /// up-to-date.
132 ///
133 virtual void *recompileAndRelinkFunction(Function *F) {
134 return getPointerToFunction(F);
135 }
136
Misha Brukman895eddf2004-11-07 23:58:46 +0000137 /// freeMachineCodeForFunction - The interpreter does not generate any code.
138 ///
139 void freeMachineCodeForFunction(Function *F) { }
Misha Brukmand1c881a2005-04-21 22:43:08 +0000140
Brian Gaeke70975ee2003-09-05 18:42:01 +0000141 // Methods used to execute code:
142 // Place a call on the stack
Chris Lattnerda82ed52003-05-08 16:18:31 +0000143 void callFunction(Function *F, const std::vector<GenericValue> &ArgVals);
Brian Gaeke70975ee2003-09-05 18:42:01 +0000144 void run(); // Execute instructions until nothing left to do
Chris Lattner92101ac2001-08-23 17:05:04 +0000145
146 // Opcode Implementations
Chris Lattnerd7916e92003-05-10 21:22:39 +0000147 void visitReturnInst(ReturnInst &I);
148 void visitBranchInst(BranchInst &I);
149 void visitSwitchInst(SwitchInst &I);
150
151 void visitBinaryOperator(BinaryOperator &I);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000152 void visitICmpInst(ICmpInst &I);
153 void visitFCmpInst(FCmpInst &I);
Chris Lattnerd7916e92003-05-10 21:22:39 +0000154 void visitAllocationInst(AllocationInst &I);
155 void visitFreeInst(FreeInst &I);
156 void visitLoadInst(LoadInst &I);
157 void visitStoreInst(StoreInst &I);
158 void visitGetElementPtrInst(GetElementPtrInst &I);
Chris Lattnerd7916e92003-05-10 21:22:39 +0000159 void visitPHINode(PHINode &PN) { assert(0 && "PHI nodes already handled!"); }
Reid Spencera54b7cb2007-01-12 07:05:14 +0000160 void visitTruncInst(TruncInst &I);
161 void visitZExtInst(ZExtInst &I);
162 void visitSExtInst(SExtInst &I);
163 void visitFPTruncInst(FPTruncInst &I);
164 void visitFPExtInst(FPExtInst &I);
165 void visitUIToFPInst(UIToFPInst &I);
166 void visitSIToFPInst(SIToFPInst &I);
167 void visitFPToUIInst(FPToUIInst &I);
168 void visitFPToSIInst(FPToSIInst &I);
169 void visitPtrToIntInst(PtrToIntInst &I);
170 void visitIntToPtrInst(IntToPtrInst &I);
171 void visitBitCastInst(BitCastInst &I);
Chris Lattner759d34f2004-04-20 16:43:21 +0000172 void visitSelectInst(SelectInst &I);
173
Brian Gaekefea483d2003-11-07 20:04:22 +0000174
175 void visitCallSite(CallSite CS);
176 void visitCallInst(CallInst &I) { visitCallSite (CallSite (&I)); }
177 void visitInvokeInst(InvokeInst &I) { visitCallSite (CallSite (&I)); }
Brian Gaeke9bf06b12003-11-07 20:07:06 +0000178 void visitUnwindInst(UnwindInst &I);
Chris Lattnerec7c1ab2004-10-16 18:21:33 +0000179 void visitUnreachableInst(UnreachableInst &I);
Brian Gaekefea483d2003-11-07 20:04:22 +0000180
Reid Spencer832254e2007-02-02 02:16:23 +0000181 void visitShl(BinaryOperator &I);
182 void visitLShr(BinaryOperator &I);
183 void visitAShr(BinaryOperator &I);
184
Brian Gaekec1a2be12003-11-07 21:20:47 +0000185 void visitVAArgInst(VAArgInst &I);
Chris Lattnerd7916e92003-05-10 21:22:39 +0000186 void visitInstruction(Instruction &I) {
Bill Wendling832171c2006-12-07 20:04:42 +0000187 cerr << I;
Chris Lattnerd7916e92003-05-10 21:22:39 +0000188 assert(0 && "Instruction not interpretable yet!");
189 }
190
Misha Brukmand1c881a2005-04-21 22:43:08 +0000191 GenericValue callExternalFunction(Function *F,
Chris Lattnerda82ed52003-05-08 16:18:31 +0000192 const std::vector<GenericValue> &ArgVals);
Chris Lattnere43db882001-10-27 04:15:57 +0000193 void exitCalled(GenericValue GV);
Chris Lattner92101ac2001-08-23 17:05:04 +0000194
Chris Lattner44edb6b2003-05-14 14:21:30 +0000195 void addAtExitHandler(Function *F) {
196 AtExitHandlers.push_back(F);
197 }
198
Brian Gaeke8da17482003-11-13 06:06:01 +0000199 GenericValue *getFirstVarArg () {
Brian Gaekee6258902004-02-13 06:18:39 +0000200 return &(ECStack.back ().VarArgs[0]);
Brian Gaeke8da17482003-11-13 06:06:01 +0000201 }
202
Chris Lattnerfe11a972002-12-23 23:59:41 +0000203 //FIXME: private:
204public:
Chris Lattner4af6de82003-11-25 20:44:56 +0000205 GenericValue executeGEPOperation(Value *Ptr, gep_type_iterator I,
Misha Brukman3c944972005-04-22 04:08:30 +0000206 gep_type_iterator E, ExecutionContext &SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000207
Chris Lattner92101ac2001-08-23 17:05:04 +0000208private: // Helper functions
Chris Lattner77113b62003-05-10 20:21:16 +0000209 // SwitchToNewBasicBlock - Start execution in a new basic block and run any
210 // PHI nodes in the top of the block. This is used for intraprocedural
211 // control flow.
Misha Brukmand1c881a2005-04-21 22:43:08 +0000212 //
Chris Lattner77113b62003-05-10 20:21:16 +0000213 void SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF);
214
Brian Gaekefb0ef2e2003-08-13 18:17:54 +0000215 void *getPointerToFunction(Function *F) { return (void*)F; }
Chris Lattnerfe11a972002-12-23 23:59:41 +0000216
Chris Lattner5deea3c2001-10-30 20:28:23 +0000217 void initializeExecutionEngine();
Chris Lattnerda82ed52003-05-08 16:18:31 +0000218 void initializeExternalFunctions();
Brian Gaekedfa58492003-12-11 00:23:28 +0000219 GenericValue getConstantExprValue(ConstantExpr *CE, ExecutionContext &SF);
Brian Gaeke29794cb2003-09-05 18:55:03 +0000220 GenericValue getOperandValue(Value *V, ExecutionContext &SF);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000221 GenericValue executeTruncInst(Value *SrcVal, const Type *DstTy,
222 ExecutionContext &SF);
223 GenericValue executeSExtInst(Value *SrcVal, const Type *DstTy,
224 ExecutionContext &SF);
225 GenericValue executeZExtInst(Value *SrcVal, const Type *DstTy,
226 ExecutionContext &SF);
227 GenericValue executeFPTruncInst(Value *SrcVal, const Type *DstTy,
228 ExecutionContext &SF);
229 GenericValue executeFPExtInst(Value *SrcVal, const Type *DstTy,
230 ExecutionContext &SF);
231 GenericValue executeFPToUIInst(Value *SrcVal, const Type *DstTy,
232 ExecutionContext &SF);
233 GenericValue executeFPToSIInst(Value *SrcVal, const Type *DstTy,
234 ExecutionContext &SF);
235 GenericValue executeUIToFPInst(Value *SrcVal, const Type *DstTy,
236 ExecutionContext &SF);
237 GenericValue executeSIToFPInst(Value *SrcVal, const Type *DstTy,
238 ExecutionContext &SF);
239 GenericValue executePtrToIntInst(Value *SrcVal, const Type *DstTy,
240 ExecutionContext &SF);
241 GenericValue executeIntToPtrInst(Value *SrcVal, const Type *DstTy,
242 ExecutionContext &SF);
243 GenericValue executeBitCastInst(Value *SrcVal, const Type *DstTy,
244 ExecutionContext &SF);
Reid Spencer3da59db2006-11-27 01:05:10 +0000245 GenericValue executeCastOperation(Instruction::CastOps opcode, Value *SrcVal,
246 const Type *Ty, ExecutionContext &SF);
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000247 void popStackAndReturnValueToCaller(const Type *RetTy, GenericValue Result);
Reid Spencer90935f62007-01-18 02:12:10 +0000248
Chris Lattner92101ac2001-08-23 17:05:04 +0000249};
250
Brian Gaeked0fde302003-11-11 22:41:34 +0000251} // End llvm namespace
252
Chris Lattner92101ac2001-08-23 17:05:04 +0000253#endif