blob: c685ba1b5d108520e1a1d3e9ab3ca2be524947ed [file] [log] [blame]
Chris Lattner92101ac2001-08-23 17:05:04 +00001//===-- Interpreter.h ------------------------------------------*- C++ -*--===//
John Criswell856ba762003-10-21 15:17:13 +00002//
3// 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.
7//
8//===----------------------------------------------------------------------===//
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"
Chris Lattnerd7916e92003-05-10 21:22:39 +000020#include "llvm/Support/InstVisitor.h"
Brian Gaeke2cb474c2003-11-07 19:26:23 +000021#include "llvm/Support/CallSite.h"
Chris Lattnerfd131292003-09-05 20:08:15 +000022#include "llvm/Target/TargetData.h"
23#include "Support/DataTypes.h"
Chris Lattner5af0c482001-11-07 04:23:00 +000024
Brian Gaeked0fde302003-11-11 22:41:34 +000025namespace llvm {
26
Chris Lattnerb1dfc702004-02-26 07:59:22 +000027struct FunctionInfo;
Chris Lattnerc6b0fb32004-04-04 17:30:06 +000028template<typename T> class generic_gep_type_iterator;
Brian Gaekedfa58492003-12-11 00:23:28 +000029class ConstantExpr;
Chris Lattner702a8a02004-04-04 19:47:06 +000030typedef generic_gep_type_iterator<User::const_op_iterator> gep_type_iterator;
Chris Lattnerc6b0fb32004-04-04 17:30:06 +000031
Chris Lattner92101ac2001-08-23 17:05:04 +000032
Chris Lattner9bffa732002-02-19 18:50:09 +000033// AllocaHolder - Object to track all of the blocks of memory allocated by
Brian Gaekedfa58492003-12-11 00:23:28 +000034// alloca. When the function returns, this object is popped off the execution
Chris Lattner9bffa732002-02-19 18:50:09 +000035// stack, which causes the dtor to be run, which frees all the alloca'd memory.
36//
37class AllocaHolder {
38 friend class AllocaHolderHandle;
39 std::vector<void*> Allocations;
40 unsigned RefCnt;
41public:
42 AllocaHolder() : RefCnt(0) {}
43 void add(void *mem) { Allocations.push_back(mem); }
44 ~AllocaHolder() {
45 for (unsigned i = 0; i < Allocations.size(); ++i)
46 free(Allocations[i]);
47 }
48};
49
50// AllocaHolderHandle gives AllocaHolder value semantics so we can stick it into
51// a vector...
52//
53class AllocaHolderHandle {
54 AllocaHolder *H;
55public:
56 AllocaHolderHandle() : H(new AllocaHolder()) { H->RefCnt++; }
57 AllocaHolderHandle(const AllocaHolderHandle &AH) : H(AH.H) { H->RefCnt++; }
58 ~AllocaHolderHandle() { if (--H->RefCnt == 0) delete H; }
59
60 void add(void *mem) { H->add(mem); }
61};
62
Chris Lattner697954c2002-01-20 22:54:45 +000063typedef std::vector<GenericValue> ValuePlaneTy;
Chris Lattner92101ac2001-08-23 17:05:04 +000064
65// ExecutionContext struct - This struct represents one stack frame currently
66// executing.
67//
68struct ExecutionContext {
Chris Lattnerda82ed52003-05-08 16:18:31 +000069 Function *CurFunction;// The currently executing function
Chris Lattner92101ac2001-08-23 17:05:04 +000070 BasicBlock *CurBB; // The currently executing BB
71 BasicBlock::iterator CurInst; // The next instruction to execute
Brian Gaekef143d3c2003-10-24 19:59:37 +000072 std::map<Value *, GenericValue> Values; // LLVM values used in this invocation
Chris Lattnercdf51782003-05-08 16:06:52 +000073 std::vector<GenericValue> VarArgs; // Values passed through an ellipsis
Brian Gaeke2cb474c2003-11-07 19:26:23 +000074 CallSite 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 Lattnerd7916e92003-05-10 21:22:39 +000081class Interpreter : public ExecutionEngine, public InstVisitor<Interpreter> {
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 TargetData TD;
Chris Lattner73011782003-12-28 09:44:37 +000084 IntrinsicLowering *IL;
Chris Lattner92101ac2001-08-23 17:05:04 +000085
86 // The runtime stack of executing code. The top of the stack is the current
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000087 // function record.
Chris Lattner697954c2002-01-20 22:54:45 +000088 std::vector<ExecutionContext> ECStack;
Chris Lattner92101ac2001-08-23 17:05:04 +000089
Brian Gaeke70975ee2003-09-05 18:42:01 +000090 // AtExitHandlers - List of functions to call when the program exits,
91 // registered with the atexit() library function.
Chris Lattner44edb6b2003-05-14 14:21:30 +000092 std::vector<Function*> AtExitHandlers;
Chris Lattner63bd6132003-09-17 17:26:22 +000093
Chris Lattner92101ac2001-08-23 17:05:04 +000094public:
Chris Lattner73011782003-12-28 09:44:37 +000095 Interpreter(Module *M, bool isLittleEndian, bool isLongPointer,
96 IntrinsicLowering *IL);
97 ~Interpreter();
Chris Lattner92101ac2001-08-23 17:05:04 +000098
Chris Lattner2cab55d2003-12-26 06:13:05 +000099 /// runAtExitHandlers - Run any functions registered by the program's calls to
100 /// atexit(3), which we intercept and store in AtExitHandlers.
Brian Gaeke70975ee2003-09-05 18:42:01 +0000101 ///
Chris Lattner2cab55d2003-12-26 06:13:05 +0000102 void runAtExitHandlers();
Brian Gaeke70975ee2003-09-05 18:42:01 +0000103
Chris Lattner73011782003-12-28 09:44:37 +0000104 /// create - Create an interpreter ExecutionEngine. This can never fail. The
105 /// specified IntrinsicLowering implementation will be deleted when the
106 /// Interpreter execution engine is destroyed.
Brian Gaeke82d82772003-09-03 20:34:19 +0000107 ///
Chris Lattner73011782003-12-28 09:44:37 +0000108 static ExecutionEngine *create(Module *M, IntrinsicLowering *IL);
Brian Gaeke82d82772003-09-03 20:34:19 +0000109
Chris Lattnerfe11a972002-12-23 23:59:41 +0000110 /// run - Start execution with the specified function and arguments.
111 ///
Chris Lattner2cab55d2003-12-26 06:13:05 +0000112 virtual GenericValue runFunction(Function *F,
113 const std::vector<GenericValue> &ArgValues);
Chris Lattner92101ac2001-08-23 17:05:04 +0000114
Chris Lattnere63fc8b2003-12-08 08:23:04 +0000115 /// recompileAndRelinkFunction - For the interpreter, functions are always
116 /// up-to-date.
117 ///
118 virtual void *recompileAndRelinkFunction(Function *F) {
119 return getPointerToFunction(F);
120 }
121
Brian Gaeke70975ee2003-09-05 18:42:01 +0000122 // Methods used to execute code:
123 // Place a call on the stack
Chris Lattnerda82ed52003-05-08 16:18:31 +0000124 void callFunction(Function *F, const std::vector<GenericValue> &ArgVals);
Brian Gaeke70975ee2003-09-05 18:42:01 +0000125 void run(); // Execute instructions until nothing left to do
Chris Lattner92101ac2001-08-23 17:05:04 +0000126
127 // Opcode Implementations
Chris Lattnerd7916e92003-05-10 21:22:39 +0000128 void visitReturnInst(ReturnInst &I);
129 void visitBranchInst(BranchInst &I);
130 void visitSwitchInst(SwitchInst &I);
131
132 void visitBinaryOperator(BinaryOperator &I);
133 void visitAllocationInst(AllocationInst &I);
134 void visitFreeInst(FreeInst &I);
135 void visitLoadInst(LoadInst &I);
136 void visitStoreInst(StoreInst &I);
137 void visitGetElementPtrInst(GetElementPtrInst &I);
Chris Lattnerd7916e92003-05-10 21:22:39 +0000138 void visitPHINode(PHINode &PN) { assert(0 && "PHI nodes already handled!"); }
139 void visitCastInst(CastInst &I);
Brian Gaekefea483d2003-11-07 20:04:22 +0000140
141 void visitCallSite(CallSite CS);
142 void visitCallInst(CallInst &I) { visitCallSite (CallSite (&I)); }
143 void visitInvokeInst(InvokeInst &I) { visitCallSite (CallSite (&I)); }
Brian Gaeke9bf06b12003-11-07 20:07:06 +0000144 void visitUnwindInst(UnwindInst &I);
Brian Gaekefea483d2003-11-07 20:04:22 +0000145
Chris Lattnerd7916e92003-05-10 21:22:39 +0000146 void visitShl(ShiftInst &I);
147 void visitShr(ShiftInst &I);
Chris Lattner4c665492003-10-18 05:55:25 +0000148 void visitVANextInst(VANextInst &I);
Brian Gaekec1a2be12003-11-07 21:20:47 +0000149 void visitVAArgInst(VAArgInst &I);
Chris Lattnerd7916e92003-05-10 21:22:39 +0000150 void visitInstruction(Instruction &I) {
151 std::cerr << I;
152 assert(0 && "Instruction not interpretable yet!");
153 }
154
Chris Lattnerda82ed52003-05-08 16:18:31 +0000155 GenericValue callExternalFunction(Function *F,
156 const std::vector<GenericValue> &ArgVals);
Chris Lattnere43db882001-10-27 04:15:57 +0000157 void exitCalled(GenericValue GV);
Chris Lattner92101ac2001-08-23 17:05:04 +0000158
Chris Lattner44edb6b2003-05-14 14:21:30 +0000159 void addAtExitHandler(Function *F) {
160 AtExitHandlers.push_back(F);
161 }
162
Brian Gaeke8da17482003-11-13 06:06:01 +0000163 GenericValue *getFirstVarArg () {
Brian Gaekee6258902004-02-13 06:18:39 +0000164 return &(ECStack.back ().VarArgs[0]);
Brian Gaeke8da17482003-11-13 06:06:01 +0000165 }
166
Chris Lattnerfe11a972002-12-23 23:59:41 +0000167 //FIXME: private:
168public:
Chris Lattner4af6de82003-11-25 20:44:56 +0000169 GenericValue executeGEPOperation(Value *Ptr, gep_type_iterator I,
170 gep_type_iterator E, ExecutionContext &SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000171
Chris Lattner92101ac2001-08-23 17:05:04 +0000172private: // Helper functions
Chris Lattner77113b62003-05-10 20:21:16 +0000173 // SwitchToNewBasicBlock - Start execution in a new basic block and run any
174 // PHI nodes in the top of the block. This is used for intraprocedural
175 // control flow.
176 //
177 void SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF);
178
Brian Gaekefb0ef2e2003-08-13 18:17:54 +0000179 void *getPointerToFunction(Function *F) { return (void*)F; }
Chris Lattnerfe11a972002-12-23 23:59:41 +0000180
Chris Lattner5deea3c2001-10-30 20:28:23 +0000181 void initializeExecutionEngine();
Chris Lattnerda82ed52003-05-08 16:18:31 +0000182 void initializeExternalFunctions();
Brian Gaekedfa58492003-12-11 00:23:28 +0000183 GenericValue getConstantExprValue(ConstantExpr *CE, ExecutionContext &SF);
Brian Gaeke29794cb2003-09-05 18:55:03 +0000184 GenericValue getOperandValue(Value *V, ExecutionContext &SF);
185 GenericValue executeCastOperation(Value *SrcVal, const Type *Ty,
186 ExecutionContext &SF);
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000187 void popStackAndReturnValueToCaller(const Type *RetTy, GenericValue Result);
Chris Lattner92101ac2001-08-23 17:05:04 +0000188};
189
Brian Gaeked0fde302003-11-11 22:41:34 +0000190} // End llvm namespace
191
Chris Lattner92101ac2001-08-23 17:05:04 +0000192#endif