blob: 4a5fbb96dfd12dcd170067f85360079cd65c9a5a [file] [log] [blame]
Chris Lattnerd7ff5782001-08-23 17:05:04 +00001//===-- Interpreter.h ------------------------------------------*- C++ -*--===//
Misha Brukman91fb9ab2005-04-21 22:43:08 +00002//
John Criswell29265fe2003-10-21 15:17:13 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman91fb9ab2005-04-21 22:43:08 +00007//
John Criswell29265fe2003-10-21 15:17:13 +00008//===----------------------------------------------------------------------===//
Chris Lattnerd7ff5782001-08-23 17:05:04 +00009//
10// This header file defines the interpreter structure
11//
12//===----------------------------------------------------------------------===//
13
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000014#ifndef LLVM_LIB_EXECUTIONENGINE_INTERPRETER_INTERPRETER_H
15#define LLVM_LIB_EXECUTIONENGINE_INTERPRETER_INTERPRETER_H
Chris Lattnerd7ff5782001-08-23 17:05:04 +000016
Brian Gaekef3a300d2003-09-05 19:39:22 +000017#include "llvm/ExecutionEngine/ExecutionEngine.h"
18#include "llvm/ExecutionEngine/GenericValue.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000019#include "llvm/IR/CallSite.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/Function.h"
Chandler Carruth7da14f12014-03-06 03:23:41 +000022#include "llvm/IR/InstVisitor.h"
Michael J. Spencer447762d2010-11-29 18:16:10 +000023#include "llvm/Support/DataTypes.h"
Torok Edwin56d06592009-07-11 20:10:48 +000024#include "llvm/Support/ErrorHandling.h"
Chris Lattnerb25de3f2009-08-23 04:37:46 +000025#include "llvm/Support/raw_ostream.h"
Brian Gaeke960707c2003-11-11 22:41:34 +000026namespace llvm {
27
Chris Lattner0b2de9f2006-03-23 05:22:51 +000028class IntrinsicLowering;
Chris Lattner234a2d42004-02-26 07:59:22 +000029struct FunctionInfo;
Chris Lattner092d2602004-04-04 17:30:06 +000030template<typename T> class generic_gep_type_iterator;
Brian Gaeke2bba1522003-12-11 00:23:28 +000031class ConstantExpr;
Chris Lattnerca76d112004-04-04 19:47:06 +000032typedef generic_gep_type_iterator<User::const_op_iterator> gep_type_iterator;
Chris Lattner092d2602004-04-04 17:30:06 +000033
Chris Lattnerd7ff5782001-08-23 17:05:04 +000034
Chris Lattnerfb55ba02002-02-19 18:50:09 +000035// AllocaHolder - Object to track all of the blocks of memory allocated by
Brian Gaeke2bba1522003-12-11 00:23:28 +000036// alloca. When the function returns, this object is popped off the execution
Chris Lattnerfb55ba02002-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 Lattner7f74a562002-01-20 22:54:45 +000065typedef std::vector<GenericValue> ValuePlaneTy;
Chris Lattnerd7ff5782001-08-23 17:05:04 +000066
67// ExecutionContext struct - This struct represents one stack frame currently
68// executing.
69//
70struct ExecutionContext {
Chris Lattner470754e2003-05-08 16:18:31 +000071 Function *CurFunction;// The currently executing function
Chris Lattnerd7ff5782001-08-23 17:05:04 +000072 BasicBlock *CurBB; // The currently executing BB
73 BasicBlock::iterator CurInst; // The next instruction to execute
Brian Gaekeb77e5892003-10-24 19:59:37 +000074 std::map<Value *, GenericValue> Values; // LLVM values used in this invocation
Chris Lattner22e90432003-05-08 16:06:52 +000075 std::vector<GenericValue> VarArgs; // Values passed through an ellipsis
Brian Gaeke18b59572003-11-07 19:26:23 +000076 CallSite Caller; // Holds the call that called subframes.
77 // NULL if main func or debugger invoked fn
Chris Lattnerfb55ba02002-02-19 18:50:09 +000078 AllocaHolderHandle Allocas; // Track memory allocated by alloca
Chris Lattnerd7ff5782001-08-23 17:05:04 +000079};
80
Chris Lattnerd7ff5782001-08-23 17:05:04 +000081// Interpreter - This class represents the entirety of the interpreter.
82//
Chris Lattner185045c2003-05-10 21:22:39 +000083class Interpreter : public ExecutionEngine, public InstVisitor<Interpreter> {
Jeff Cohen24396692006-02-07 05:29:44 +000084 GenericValue ExitValue; // The return value of the called function
Micah Villmowcdfe20b2012-10-08 16:38:25 +000085 DataLayout TD;
Chris Lattnerc8c6c032003-12-28 09:44:37 +000086 IntrinsicLowering *IL;
Chris Lattnerd7ff5782001-08-23 17:05:04 +000087
88 // The runtime stack of executing code. The top of the stack is the current
Chris Lattner62b7fd12002-04-07 20:49:59 +000089 // function record.
Chris Lattner7f74a562002-01-20 22:54:45 +000090 std::vector<ExecutionContext> ECStack;
Chris Lattnerd7ff5782001-08-23 17:05:04 +000091
Brian Gaekea7669032003-09-05 18:42:01 +000092 // AtExitHandlers - List of functions to call when the program exits,
93 // registered with the atexit() library function.
Chris Lattner4a5bb952003-05-14 14:21:30 +000094 std::vector<Function*> AtExitHandlers;
Chris Lattnera28e1f22003-09-17 17:26:22 +000095
Chris Lattnerd7ff5782001-08-23 17:05:04 +000096public:
Rafael Espindola2a8a2792014-08-19 04:04:25 +000097 explicit Interpreter(std::unique_ptr<Module> M);
Chris Lattnerc8c6c032003-12-28 09:44:37 +000098 ~Interpreter();
Chris Lattnerd7ff5782001-08-23 17:05:04 +000099
Chris Lattnerd94296c2003-12-26 06:13:05 +0000100 /// runAtExitHandlers - Run any functions registered by the program's calls to
101 /// atexit(3), which we intercept and store in AtExitHandlers.
Brian Gaekea7669032003-09-05 18:42:01 +0000102 ///
Chris Lattnerd94296c2003-12-26 06:13:05 +0000103 void runAtExitHandlers();
Brian Gaekea7669032003-09-05 18:42:01 +0000104
Chris Lattner2d52c1b2006-03-22 06:07:50 +0000105 static void Register() {
106 InterpCtor = create;
107 }
Rafael Espindola2a8a2792014-08-19 04:04:25 +0000108
109 /// Create an interpreter ExecutionEngine.
Brian Gaeke4bd3bd52003-09-03 20:34:19 +0000110 ///
Rafael Espindola2a8a2792014-08-19 04:04:25 +0000111 static ExecutionEngine *create(std::unique_ptr<Module> M,
112 std::string *ErrorStr = nullptr);
Brian Gaeke4bd3bd52003-09-03 20:34:19 +0000113
Chris Lattnera0d7b082002-12-23 23:59:41 +0000114 /// run - Start execution with the specified function and arguments.
115 ///
Craig Topperb51ff602014-03-08 07:51:20 +0000116 GenericValue runFunction(Function *F,
117 const std::vector<GenericValue> &ArgValues) override;
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000118
Craig Topperb51ff602014-03-08 07:51:20 +0000119 void *getPointerToNamedFunction(const std::string &Name,
120 bool AbortOnFailure = true) override {
Danil Malyshev7e325782012-01-05 21:16:14 +0000121 // FIXME: not implemented.
Craig Toppere73658d2014-04-28 04:05:08 +0000122 return nullptr;
Bill Wendling11eeeff2012-01-23 22:55:02 +0000123 }
Danil Malyshev7e325782012-01-05 21:16:14 +0000124
Eric Christopherb9fd9ed2014-08-07 22:02:54 +0000125 /// recompileAndRelinkFunction - For the interpreter, functions are always
126 /// up-to-date.
127 ///
128 void *recompileAndRelinkFunction(Function *F) override {
129 return getPointerToFunction(F);
130 }
131
132 /// freeMachineCodeForFunction - The interpreter does not generate any code.
133 ///
134 void freeMachineCodeForFunction(Function *F) override { }
135
Brian Gaekea7669032003-09-05 18:42:01 +0000136 // Methods used to execute code:
137 // Place a call on the stack
Chris Lattner470754e2003-05-08 16:18:31 +0000138 void callFunction(Function *F, const std::vector<GenericValue> &ArgVals);
Brian Gaekea7669032003-09-05 18:42:01 +0000139 void run(); // Execute instructions until nothing left to do
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000140
141 // Opcode Implementations
Chris Lattner185045c2003-05-10 21:22:39 +0000142 void visitReturnInst(ReturnInst &I);
143 void visitBranchInst(BranchInst &I);
144 void visitSwitchInst(SwitchInst &I);
Chris Lattner0c778f72009-10-29 05:26:09 +0000145 void visitIndirectBrInst(IndirectBrInst &I);
Chris Lattner185045c2003-05-10 21:22:39 +0000146
147 void visitBinaryOperator(BinaryOperator &I);
Reid Spencer266e42b2006-12-23 06:05:41 +0000148 void visitICmpInst(ICmpInst &I);
149 void visitFCmpInst(FCmpInst &I);
Victor Hernandez8acf2952009-10-23 21:09:37 +0000150 void visitAllocaInst(AllocaInst &I);
Chris Lattner185045c2003-05-10 21:22:39 +0000151 void visitLoadInst(LoadInst &I);
152 void visitStoreInst(StoreInst &I);
153 void visitGetElementPtrInst(GetElementPtrInst &I);
Torok Edwin56d06592009-07-11 20:10:48 +0000154 void visitPHINode(PHINode &PN) {
Torok Edwinfbcc6632009-07-14 16:55:14 +0000155 llvm_unreachable("PHI nodes already handled!");
Torok Edwin56d06592009-07-11 20:10:48 +0000156 }
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000157 void visitTruncInst(TruncInst &I);
158 void visitZExtInst(ZExtInst &I);
159 void visitSExtInst(SExtInst &I);
160 void visitFPTruncInst(FPTruncInst &I);
161 void visitFPExtInst(FPExtInst &I);
162 void visitUIToFPInst(UIToFPInst &I);
163 void visitSIToFPInst(SIToFPInst &I);
164 void visitFPToUIInst(FPToUIInst &I);
165 void visitFPToSIInst(FPToSIInst &I);
166 void visitPtrToIntInst(PtrToIntInst &I);
167 void visitIntToPtrInst(IntToPtrInst &I);
168 void visitBitCastInst(BitCastInst &I);
Chris Lattner2b2d7a92004-04-20 16:43:21 +0000169 void visitSelectInst(SelectInst &I);
170
Brian Gaekea6454d352003-11-07 20:04:22 +0000171
172 void visitCallSite(CallSite CS);
173 void visitCallInst(CallInst &I) { visitCallSite (CallSite (&I)); }
174 void visitInvokeInst(InvokeInst &I) { visitCallSite (CallSite (&I)); }
Chris Lattner98e54142004-10-16 18:21:33 +0000175 void visitUnreachableInst(UnreachableInst &I);
Brian Gaekea6454d352003-11-07 20:04:22 +0000176
Reid Spencer2341c222007-02-02 02:16:23 +0000177 void visitShl(BinaryOperator &I);
178 void visitLShr(BinaryOperator &I);
179 void visitAShr(BinaryOperator &I);
180
Brian Gaeke9ef636c2003-11-07 21:20:47 +0000181 void visitVAArgInst(VAArgInst &I);
Nadav Rotembe79a7a2013-04-01 15:53:30 +0000182 void visitExtractElementInst(ExtractElementInst &I);
Elena Demikhovsky843657c2013-09-02 06:40:09 +0000183 void visitInsertElementInst(InsertElementInst &I);
184 void visitShuffleVectorInst(ShuffleVectorInst &I);
185
Elena Demikhovsky8e97f012013-09-12 10:48:23 +0000186 void visitExtractValueInst(ExtractValueInst &I);
187 void visitInsertValueInst(InsertValueInst &I);
188
Chris Lattner185045c2003-05-10 21:22:39 +0000189 void visitInstruction(Instruction &I) {
Duncan Sandseee3fca2011-09-09 20:22:48 +0000190 errs() << I << "\n";
Torok Edwinfbcc6632009-07-14 16:55:14 +0000191 llvm_unreachable("Instruction not interpretable yet!");
Chris Lattner185045c2003-05-10 21:22:39 +0000192 }
193
Misha Brukman91fb9ab2005-04-21 22:43:08 +0000194 GenericValue callExternalFunction(Function *F,
Chris Lattner470754e2003-05-08 16:18:31 +0000195 const std::vector<GenericValue> &ArgVals);
Chris Lattner15157b82001-10-27 04:15:57 +0000196 void exitCalled(GenericValue GV);
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000197
Chris Lattner4a5bb952003-05-14 14:21:30 +0000198 void addAtExitHandler(Function *F) {
199 AtExitHandlers.push_back(F);
200 }
201
Brian Gaeked81ca472003-11-13 06:06:01 +0000202 GenericValue *getFirstVarArg () {
Brian Gaeke242ebf22004-02-13 06:18:39 +0000203 return &(ECStack.back ().VarArgs[0]);
Brian Gaeked81ca472003-11-13 06:06:01 +0000204 }
205
Dan Gohmaneffa3e52010-05-01 02:43:10 +0000206private: // Helper functions
Chris Lattnerf0788082003-11-25 20:44:56 +0000207 GenericValue executeGEPOperation(Value *Ptr, gep_type_iterator I,
Misha Brukman5191b4b2005-04-22 04:08:30 +0000208 gep_type_iterator E, ExecutionContext &SF);
Chris Lattnera0d7b082002-12-23 23:59:41 +0000209
Chris Lattnerbd6771c2003-05-10 20:21:16 +0000210 // SwitchToNewBasicBlock - Start execution in a new basic block and run any
211 // PHI nodes in the top of the block. This is used for intraprocedural
212 // control flow.
Misha Brukman91fb9ab2005-04-21 22:43:08 +0000213 //
Chris Lattnerbd6771c2003-05-10 20:21:16 +0000214 void SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF);
215
Craig Topperb51ff602014-03-08 07:51:20 +0000216 void *getPointerToFunction(Function *F) override { return (void*)F; }
Eric Christopherb9fd9ed2014-08-07 22:02:54 +0000217 void *getPointerToBasicBlock(BasicBlock *BB) override { return (void*)BB; }
Chris Lattnera0d7b082002-12-23 23:59:41 +0000218
Owen Anderson455df542009-06-26 16:46:15 +0000219 void initializeExecutionEngine() { }
Chris Lattner470754e2003-05-08 16:18:31 +0000220 void initializeExternalFunctions();
Brian Gaeke2bba1522003-12-11 00:23:28 +0000221 GenericValue getConstantExprValue(ConstantExpr *CE, ExecutionContext &SF);
Brian Gaeke9b518bc2003-09-05 18:55:03 +0000222 GenericValue getOperandValue(Value *V, ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000223 GenericValue executeTruncInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000224 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000225 GenericValue executeSExtInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000226 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000227 GenericValue executeZExtInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000228 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000229 GenericValue executeFPTruncInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000230 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000231 GenericValue executeFPExtInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000232 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000233 GenericValue executeFPToUIInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000234 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000235 GenericValue executeFPToSIInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000236 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000237 GenericValue executeUIToFPInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000238 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000239 GenericValue executeSIToFPInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000240 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000241 GenericValue executePtrToIntInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000242 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000243 GenericValue executeIntToPtrInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000244 ExecutionContext &SF);
Chris Lattner229907c2011-07-18 04:54:35 +0000245 GenericValue executeBitCastInst(Value *SrcVal, Type *DstTy,
Reid Spencer7a9c62b2007-01-12 07:05:14 +0000246 ExecutionContext &SF);
Reid Spencer6c38f0b2006-11-27 01:05:10 +0000247 GenericValue executeCastOperation(Instruction::CastOps opcode, Value *SrcVal,
Chris Lattner229907c2011-07-18 04:54:35 +0000248 Type *Ty, ExecutionContext &SF);
249 void popStackAndReturnValueToCaller(Type *RetTy, GenericValue Result);
Reid Spencer10fe0e02007-01-18 02:12:10 +0000250
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000251};
252
Brian Gaeke960707c2003-11-11 22:41:34 +0000253} // End llvm namespace
254
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000255#endif