blob: 2be9c5979d808166d30e1a278020f1f358b81e04 [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//
Chris Lattner4ee451d2007-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 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
Stephen Hines37ed9c12014-12-01 14:51:49 -080014#ifndef LLVM_LIB_EXECUTIONENGINE_INTERPRETER_INTERPRETER_H
15#define LLVM_LIB_EXECUTIONENGINE_INTERPRETER_INTERPRETER_H
Chris Lattner92101ac2001-08-23 17:05:04 +000016
Brian Gaeke97222942003-09-05 19:39:22 +000017#include "llvm/ExecutionEngine/ExecutionEngine.h"
18#include "llvm/ExecutionEngine/GenericValue.h"
Stephen Hines36b56882014-04-23 16:57:46 -070019#include "llvm/IR/CallSite.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000020#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/Function.h"
Stephen Hines36b56882014-04-23 16:57:46 -070022#include "llvm/IR/InstVisitor.h"
Michael J. Spencer1f6efa32010-11-29 18:16:10 +000023#include "llvm/Support/DataTypes.h"
Torok Edwinc25e7582009-07-11 20:10:48 +000024#include "llvm/Support/ErrorHandling.h"
Chris Lattnerbdff5482009-08-23 04:37:46 +000025#include "llvm/Support/raw_ostream.h"
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 {
Stephen Hines37ed9c12014-12-01 14:51:49 -080040 std::vector<void *> Allocations;
41
Chris Lattner9bffa732002-02-19 18:50:09 +000042public:
Stephen Hines37ed9c12014-12-01 14:51:49 -080043 AllocaHolder() {}
44
45 // Make this type move-only. Define explicit move special members for MSVC.
46 AllocaHolder(AllocaHolder &&RHS) : Allocations(std::move(RHS.Allocations)) {}
47 AllocaHolder &operator=(AllocaHolder &&RHS) {
48 Allocations = std::move(RHS.Allocations);
49 return *this;
Chris Lattner9bffa732002-02-19 18:50:09 +000050 }
Chris Lattner9bffa732002-02-19 18:50:09 +000051
Stephen Hines37ed9c12014-12-01 14:51:49 -080052 ~AllocaHolder() {
53 for (void *Allocation : Allocations)
54 free(Allocation);
55 }
Chris Lattner9bffa732002-02-19 18:50:09 +000056
Stephen Hines37ed9c12014-12-01 14:51:49 -080057 void add(void *Mem) { Allocations.push_back(Mem); }
Chris Lattner9bffa732002-02-19 18:50:09 +000058};
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 Lattnerda82ed52003-05-08 16:18:31 +000066 Function *CurFunction;// 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
Brian Gaeke2cb474c2003-11-07 19:26:23 +000069 CallSite Caller; // Holds the call that called subframes.
70 // NULL if main func or debugger invoked fn
Stephen Hines37ed9c12014-12-01 14:51:49 -080071 std::map<Value *, GenericValue> Values; // LLVM values used in this invocation
72 std::vector<GenericValue> VarArgs; // Values passed through an ellipsis
73 AllocaHolder Allocas; // Track memory allocated by alloca
74
75 ExecutionContext() : CurFunction(nullptr), CurBB(nullptr), CurInst(nullptr) {}
76
77 ExecutionContext(ExecutionContext &&O)
78 : CurFunction(O.CurFunction), CurBB(O.CurBB), CurInst(O.CurInst),
79 Caller(O.Caller), Values(std::move(O.Values)),
80 VarArgs(std::move(O.VarArgs)), Allocas(std::move(O.Allocas)) {}
81
82 ExecutionContext &operator=(ExecutionContext &&O) {
83 CurFunction = O.CurFunction;
84 CurBB = O.CurBB;
85 CurInst = O.CurInst;
86 Caller = O.Caller;
87 Values = std::move(O.Values);
88 VarArgs = std::move(O.VarArgs);
89 Allocas = std::move(O.Allocas);
90 return *this;
91 }
Chris Lattner92101ac2001-08-23 17:05:04 +000092};
93
Chris Lattner92101ac2001-08-23 17:05:04 +000094// Interpreter - This class represents the entirety of the interpreter.
95//
Chris Lattnerd7916e92003-05-10 21:22:39 +000096class Interpreter : public ExecutionEngine, public InstVisitor<Interpreter> {
Jeff Cohen8c9191c2006-02-07 05:29:44 +000097 GenericValue ExitValue; // The return value of the called function
Micah Villmow3574eca2012-10-08 16:38:25 +000098 DataLayout TD;
Chris Lattner73011782003-12-28 09:44:37 +000099 IntrinsicLowering *IL;
Chris Lattner92101ac2001-08-23 17:05:04 +0000100
101 // The runtime stack of executing code. The top of the stack is the current
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000102 // function record.
Chris Lattner697954c2002-01-20 22:54:45 +0000103 std::vector<ExecutionContext> ECStack;
Chris Lattner92101ac2001-08-23 17:05:04 +0000104
Brian Gaeke70975ee2003-09-05 18:42:01 +0000105 // AtExitHandlers - List of functions to call when the program exits,
106 // registered with the atexit() library function.
Chris Lattner44edb6b2003-05-14 14:21:30 +0000107 std::vector<Function*> AtExitHandlers;
Chris Lattner63bd6132003-09-17 17:26:22 +0000108
Chris Lattner92101ac2001-08-23 17:05:04 +0000109public:
Stephen Hines37ed9c12014-12-01 14:51:49 -0800110 explicit Interpreter(std::unique_ptr<Module> M);
Chris Lattner73011782003-12-28 09:44:37 +0000111 ~Interpreter();
Chris Lattner92101ac2001-08-23 17:05:04 +0000112
Chris Lattner2cab55d2003-12-26 06:13:05 +0000113 /// runAtExitHandlers - Run any functions registered by the program's calls to
114 /// atexit(3), which we intercept and store in AtExitHandlers.
Brian Gaeke70975ee2003-09-05 18:42:01 +0000115 ///
Chris Lattner2cab55d2003-12-26 06:13:05 +0000116 void runAtExitHandlers();
Brian Gaeke70975ee2003-09-05 18:42:01 +0000117
Chris Lattner2fe4bb02006-03-22 06:07:50 +0000118 static void Register() {
119 InterpCtor = create;
120 }
Stephen Hines37ed9c12014-12-01 14:51:49 -0800121
122 /// Create an interpreter ExecutionEngine.
Brian Gaeke82d82772003-09-03 20:34:19 +0000123 ///
Stephen Hines37ed9c12014-12-01 14:51:49 -0800124 static ExecutionEngine *create(std::unique_ptr<Module> M,
125 std::string *ErrorStr = nullptr);
Brian Gaeke82d82772003-09-03 20:34:19 +0000126
Chris Lattnerfe11a972002-12-23 23:59:41 +0000127 /// run - Start execution with the specified function and arguments.
128 ///
Stephen Hines36b56882014-04-23 16:57:46 -0700129 GenericValue runFunction(Function *F,
130 const std::vector<GenericValue> &ArgValues) override;
Chris Lattner92101ac2001-08-23 17:05:04 +0000131
Stephen Hines37ed9c12014-12-01 14:51:49 -0800132 void *getPointerToNamedFunction(StringRef Name,
Stephen Hines36b56882014-04-23 16:57:46 -0700133 bool AbortOnFailure = true) override {
Danil Malyshev45a93d62012-01-05 21:16:14 +0000134 // FIXME: not implemented.
Stephen Hinesdce4a402014-05-29 02:49:00 -0700135 return nullptr;
Bill Wendling4302a492012-01-23 22:55:02 +0000136 }
Danil Malyshev45a93d62012-01-05 21:16:14 +0000137
Brian Gaeke70975ee2003-09-05 18:42:01 +0000138 // Methods used to execute code:
139 // Place a call on the stack
Chris Lattnerda82ed52003-05-08 16:18:31 +0000140 void callFunction(Function *F, const std::vector<GenericValue> &ArgVals);
Brian Gaeke70975ee2003-09-05 18:42:01 +0000141 void run(); // Execute instructions until nothing left to do
Chris Lattner92101ac2001-08-23 17:05:04 +0000142
143 // Opcode Implementations
Chris Lattnerd7916e92003-05-10 21:22:39 +0000144 void visitReturnInst(ReturnInst &I);
145 void visitBranchInst(BranchInst &I);
146 void visitSwitchInst(SwitchInst &I);
Chris Lattnerf32a6a32009-10-29 05:26:09 +0000147 void visitIndirectBrInst(IndirectBrInst &I);
Chris Lattnerd7916e92003-05-10 21:22:39 +0000148
149 void visitBinaryOperator(BinaryOperator &I);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000150 void visitICmpInst(ICmpInst &I);
151 void visitFCmpInst(FCmpInst &I);
Victor Hernandez7b929da2009-10-23 21:09:37 +0000152 void visitAllocaInst(AllocaInst &I);
Chris Lattnerd7916e92003-05-10 21:22:39 +0000153 void visitLoadInst(LoadInst &I);
154 void visitStoreInst(StoreInst &I);
155 void visitGetElementPtrInst(GetElementPtrInst &I);
Torok Edwinc25e7582009-07-11 20:10:48 +0000156 void visitPHINode(PHINode &PN) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000157 llvm_unreachable("PHI nodes already handled!");
Torok Edwinc25e7582009-07-11 20:10:48 +0000158 }
Reid Spencera54b7cb2007-01-12 07:05:14 +0000159 void visitTruncInst(TruncInst &I);
160 void visitZExtInst(ZExtInst &I);
161 void visitSExtInst(SExtInst &I);
162 void visitFPTruncInst(FPTruncInst &I);
163 void visitFPExtInst(FPExtInst &I);
164 void visitUIToFPInst(UIToFPInst &I);
165 void visitSIToFPInst(SIToFPInst &I);
166 void visitFPToUIInst(FPToUIInst &I);
167 void visitFPToSIInst(FPToSIInst &I);
168 void visitPtrToIntInst(PtrToIntInst &I);
169 void visitIntToPtrInst(IntToPtrInst &I);
170 void visitBitCastInst(BitCastInst &I);
Chris Lattner759d34f2004-04-20 16:43:21 +0000171 void visitSelectInst(SelectInst &I);
172
Brian Gaekefea483d2003-11-07 20:04:22 +0000173
174 void visitCallSite(CallSite CS);
175 void visitCallInst(CallInst &I) { visitCallSite (CallSite (&I)); }
176 void visitInvokeInst(InvokeInst &I) { visitCallSite (CallSite (&I)); }
Chris Lattnerec7c1ab2004-10-16 18:21:33 +0000177 void visitUnreachableInst(UnreachableInst &I);
Brian Gaekefea483d2003-11-07 20:04:22 +0000178
Reid Spencer832254e2007-02-02 02:16:23 +0000179 void visitShl(BinaryOperator &I);
180 void visitLShr(BinaryOperator &I);
181 void visitAShr(BinaryOperator &I);
182
Brian Gaekec1a2be12003-11-07 21:20:47 +0000183 void visitVAArgInst(VAArgInst &I);
Nadav Rotem953783e2013-04-01 15:53:30 +0000184 void visitExtractElementInst(ExtractElementInst &I);
Elena Demikhovsky4ca0ce22013-09-02 06:40:09 +0000185 void visitInsertElementInst(InsertElementInst &I);
186 void visitShuffleVectorInst(ShuffleVectorInst &I);
187
Elena Demikhovsky3c5ce292013-09-12 10:48:23 +0000188 void visitExtractValueInst(ExtractValueInst &I);
189 void visitInsertValueInst(InsertValueInst &I);
190
Chris Lattnerd7916e92003-05-10 21:22:39 +0000191 void visitInstruction(Instruction &I) {
Duncan Sandsa50c6d92011-09-09 20:22:48 +0000192 errs() << I << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000193 llvm_unreachable("Instruction not interpretable yet!");
Chris Lattnerd7916e92003-05-10 21:22:39 +0000194 }
195
Misha Brukmand1c881a2005-04-21 22:43:08 +0000196 GenericValue callExternalFunction(Function *F,
Chris Lattnerda82ed52003-05-08 16:18:31 +0000197 const std::vector<GenericValue> &ArgVals);
Chris Lattnere43db882001-10-27 04:15:57 +0000198 void exitCalled(GenericValue GV);
Chris Lattner92101ac2001-08-23 17:05:04 +0000199
Chris Lattner44edb6b2003-05-14 14:21:30 +0000200 void addAtExitHandler(Function *F) {
201 AtExitHandlers.push_back(F);
202 }
203
Brian Gaeke8da17482003-11-13 06:06:01 +0000204 GenericValue *getFirstVarArg () {
Brian Gaekee6258902004-02-13 06:18:39 +0000205 return &(ECStack.back ().VarArgs[0]);
Brian Gaeke8da17482003-11-13 06:06:01 +0000206 }
207
Dan Gohman4781e302010-05-01 02:43:10 +0000208private: // Helper functions
Chris Lattner4af6de82003-11-25 20:44:56 +0000209 GenericValue executeGEPOperation(Value *Ptr, gep_type_iterator I,
Misha Brukman3c944972005-04-22 04:08:30 +0000210 gep_type_iterator E, ExecutionContext &SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000211
Chris Lattner77113b62003-05-10 20:21:16 +0000212 // SwitchToNewBasicBlock - Start execution in a new basic block and run any
213 // PHI nodes in the top of the block. This is used for intraprocedural
214 // control flow.
Misha Brukmand1c881a2005-04-21 22:43:08 +0000215 //
Chris Lattner77113b62003-05-10 20:21:16 +0000216 void SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF);
217
Stephen Hines36b56882014-04-23 16:57:46 -0700218 void *getPointerToFunction(Function *F) override { return (void*)F; }
Chris Lattnerfe11a972002-12-23 23:59:41 +0000219
Owen Andersonfdca74c2009-06-26 16:46:15 +0000220 void initializeExecutionEngine() { }
Chris Lattnerda82ed52003-05-08 16:18:31 +0000221 void initializeExternalFunctions();
Brian Gaekedfa58492003-12-11 00:23:28 +0000222 GenericValue getConstantExprValue(ConstantExpr *CE, ExecutionContext &SF);
Brian Gaeke29794cb2003-09-05 18:55:03 +0000223 GenericValue getOperandValue(Value *V, ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000224 GenericValue executeTruncInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000225 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000226 GenericValue executeSExtInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000227 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000228 GenericValue executeZExtInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000229 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000230 GenericValue executeFPTruncInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000231 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000232 GenericValue executeFPExtInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000233 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000234 GenericValue executeFPToUIInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000235 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000236 GenericValue executeFPToSIInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000237 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000238 GenericValue executeUIToFPInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000239 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000240 GenericValue executeSIToFPInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000241 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000242 GenericValue executePtrToIntInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000243 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000244 GenericValue executeIntToPtrInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000245 ExecutionContext &SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000246 GenericValue executeBitCastInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000247 ExecutionContext &SF);
Reid Spencer3da59db2006-11-27 01:05:10 +0000248 GenericValue executeCastOperation(Instruction::CastOps opcode, Value *SrcVal,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000249 Type *Ty, ExecutionContext &SF);
250 void popStackAndReturnValueToCaller(Type *RetTy, GenericValue Result);
Reid Spencer90935f62007-01-18 02:12:10 +0000251
Chris Lattner92101ac2001-08-23 17:05:04 +0000252};
253
Brian Gaeked0fde302003-11-11 22:41:34 +0000254} // End llvm namespace
255
Chris Lattner92101ac2001-08-23 17:05:04 +0000256#endif