blob: 456e2a8f3cb86a9b79b029100831a2d8b996b233 [file] [log] [blame]
Chris Lattner92101ac2001-08-23 17:05:04 +00001//===-- Execution.cpp - Implement code to simulate the program ------------===//
2//
John Criswellb576c942003-10-20 19:43:21 +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.
7//
8//===----------------------------------------------------------------------===//
9//
Chris Lattner92101ac2001-08-23 17:05:04 +000010// This file contains the actual instruction interpreter.
11//
12//===----------------------------------------------------------------------===//
13
Brian Gaeke63438cc2003-12-11 00:22:59 +000014#define DEBUG_TYPE "interpreter"
Chris Lattner92101ac2001-08-23 17:05:04 +000015#include "Interpreter.h"
Chris Lattner31bcdb82002-04-28 19:55:58 +000016#include "llvm/Constants.h"
Chris Lattner73011782003-12-28 09:44:37 +000017#include "llvm/DerivedTypes.h"
18#include "llvm/Instructions.h"
19#include "llvm/IntrinsicLowering.h"
Chris Lattner4af6de82003-11-25 20:44:56 +000020#include "llvm/Support/GetElementPtrTypeIterator.h"
Chris Lattnerbbdabce2002-12-08 05:51:08 +000021#include "Support/Statistic.h"
Brian Gaeke63438cc2003-12-11 00:22:59 +000022#include "Support/Debug.h"
Brian Gaeke235b2002003-10-10 17:03:22 +000023#include <cmath> // For fmod
Chris Lattner4af6de82003-11-25 20:44:56 +000024using namespace llvm;
Chris Lattnerfe11a972002-12-23 23:59:41 +000025
Chris Lattnerbbdabce2002-12-08 05:51:08 +000026namespace {
27 Statistic<> NumDynamicInsts("lli", "Number of dynamic instructions executed");
Chris Lattnerbbdabce2002-12-08 05:51:08 +000028
Chris Lattner4af6de82003-11-25 20:44:56 +000029 Interpreter *TheEE = 0;
30}
Brian Gaeked0fde302003-11-11 22:41:34 +000031
Chris Lattner73011782003-12-28 09:44:37 +000032
Chris Lattner2e42d3a2001-10-15 05:51:48 +000033//===----------------------------------------------------------------------===//
Chris Lattner39bb5b42001-10-15 13:25:40 +000034// Value Manipulation code
35//===----------------------------------------------------------------------===//
Chris Lattner73011782003-12-28 09:44:37 +000036
Chris Lattnera34c5682002-08-27 22:33:45 +000037static GenericValue executeAddInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +000038 const Type *Ty);
Brian Gaeke63438cc2003-12-11 00:22:59 +000039static GenericValue executeSubInst(GenericValue Src1, GenericValue Src2,
40 const Type *Ty);
41static GenericValue executeMulInst(GenericValue Src1, GenericValue Src2,
42 const Type *Ty);
43static GenericValue executeRemInst(GenericValue Src1, GenericValue Src2,
44 const Type *Ty);
45static GenericValue executeDivInst(GenericValue Src1, GenericValue Src2,
46 const Type *Ty);
47static GenericValue executeAndInst(GenericValue Src1, GenericValue Src2,
48 const Type *Ty);
49static GenericValue executeOrInst(GenericValue Src1, GenericValue Src2,
50 const Type *Ty);
51static GenericValue executeXorInst(GenericValue Src1, GenericValue Src2,
52 const Type *Ty);
53static GenericValue executeSetEQInst(GenericValue Src1, GenericValue Src2,
54 const Type *Ty);
55static GenericValue executeSetNEInst(GenericValue Src1, GenericValue Src2,
56 const Type *Ty);
57static GenericValue executeSetLTInst(GenericValue Src1, GenericValue Src2,
58 const Type *Ty);
59static GenericValue executeSetGTInst(GenericValue Src1, GenericValue Src2,
60 const Type *Ty);
61static GenericValue executeSetLEInst(GenericValue Src1, GenericValue Src2,
62 const Type *Ty);
63static GenericValue executeSetGEInst(GenericValue Src1, GenericValue Src2,
64 const Type *Ty);
65static GenericValue executeShlInst(GenericValue Src1, GenericValue Src2,
66 const Type *Ty);
67static GenericValue executeShrInst(GenericValue Src1, GenericValue Src2,
68 const Type *Ty);
69
70GenericValue Interpreter::getConstantExprValue (ConstantExpr *CE,
71 ExecutionContext &SF) {
72 switch (CE->getOpcode()) {
73 case Instruction::Cast:
74 return executeCastOperation(CE->getOperand(0), CE->getType(), SF);
75 case Instruction::GetElementPtr:
76 return executeGEPOperation(CE->getOperand(0), gep_type_begin(CE),
77 gep_type_end(CE), SF);
78 case Instruction::Add:
79 return executeAddInst(getOperandValue(CE->getOperand(0), SF),
80 getOperandValue(CE->getOperand(1), SF),
81 CE->getOperand(0)->getType());
82 case Instruction::Sub:
83 return executeSubInst(getOperandValue(CE->getOperand(0), SF),
84 getOperandValue(CE->getOperand(1), SF),
85 CE->getOperand(0)->getType());
86 case Instruction::Mul:
87 return executeMulInst(getOperandValue(CE->getOperand(0), SF),
88 getOperandValue(CE->getOperand(1), SF),
89 CE->getOperand(0)->getType());
90 case Instruction::Div:
91 return executeDivInst(getOperandValue(CE->getOperand(0), SF),
92 getOperandValue(CE->getOperand(1), SF),
93 CE->getOperand(0)->getType());
94 case Instruction::Rem:
95 return executeRemInst(getOperandValue(CE->getOperand(0), SF),
96 getOperandValue(CE->getOperand(1), SF),
97 CE->getOperand(0)->getType());
98 case Instruction::And:
99 return executeAndInst(getOperandValue(CE->getOperand(0), SF),
100 getOperandValue(CE->getOperand(1), SF),
101 CE->getOperand(0)->getType());
102 case Instruction::Or:
103 return executeOrInst(getOperandValue(CE->getOperand(0), SF),
104 getOperandValue(CE->getOperand(1), SF),
105 CE->getOperand(0)->getType());
106 case Instruction::Xor:
107 return executeXorInst(getOperandValue(CE->getOperand(0), SF),
108 getOperandValue(CE->getOperand(1), SF),
109 CE->getOperand(0)->getType());
110 case Instruction::SetEQ:
111 return executeSetEQInst(getOperandValue(CE->getOperand(0), SF),
112 getOperandValue(CE->getOperand(1), SF),
113 CE->getOperand(0)->getType());
114 case Instruction::SetNE:
115 return executeSetNEInst(getOperandValue(CE->getOperand(0), SF),
116 getOperandValue(CE->getOperand(1), SF),
117 CE->getOperand(0)->getType());
118 case Instruction::SetLE:
119 return executeSetLEInst(getOperandValue(CE->getOperand(0), SF),
120 getOperandValue(CE->getOperand(1), SF),
121 CE->getOperand(0)->getType());
122 case Instruction::SetGE:
123 return executeSetGEInst(getOperandValue(CE->getOperand(0), SF),
124 getOperandValue(CE->getOperand(1), SF),
125 CE->getOperand(0)->getType());
126 case Instruction::SetLT:
127 return executeSetLTInst(getOperandValue(CE->getOperand(0), SF),
128 getOperandValue(CE->getOperand(1), SF),
129 CE->getOperand(0)->getType());
130 case Instruction::SetGT:
131 return executeSetGTInst(getOperandValue(CE->getOperand(0), SF),
132 getOperandValue(CE->getOperand(1), SF),
133 CE->getOperand(0)->getType());
134 case Instruction::Shl:
135 return executeShlInst(getOperandValue(CE->getOperand(0), SF),
136 getOperandValue(CE->getOperand(1), SF),
137 CE->getOperand(0)->getType());
138 case Instruction::Shr:
139 return executeShrInst(getOperandValue(CE->getOperand(0), SF),
140 getOperandValue(CE->getOperand(1), SF),
141 CE->getOperand(0)->getType());
142
143 default:
144 std::cerr << "Unhandled ConstantExpr: " << CE << "\n";
145 abort();
146 return GenericValue();
147 }
148}
Chris Lattnera34c5682002-08-27 22:33:45 +0000149
Brian Gaeke29794cb2003-09-05 18:55:03 +0000150GenericValue Interpreter::getOperandValue(Value *V, ExecutionContext &SF) {
Chris Lattnera34c5682002-08-27 22:33:45 +0000151 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) {
Brian Gaeke63438cc2003-12-11 00:22:59 +0000152 return getConstantExprValue(CE, SF);
Chris Lattnera34c5682002-08-27 22:33:45 +0000153 } else if (Constant *CPV = dyn_cast<Constant>(V)) {
Brian Gaeke63438cc2003-12-11 00:22:59 +0000154 return getConstantValue(CPV);
Chris Lattner39bb5b42001-10-15 13:25:40 +0000155 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
Brian Gaeke63438cc2003-12-11 00:22:59 +0000156 return PTOGV(getPointerToGlobal(GV));
Chris Lattner39bb5b42001-10-15 13:25:40 +0000157 } else {
Brian Gaeke03e43dc2003-10-24 19:59:01 +0000158 return SF.Values[V];
Chris Lattner39bb5b42001-10-15 13:25:40 +0000159 }
160}
161
Chris Lattner39bb5b42001-10-15 13:25:40 +0000162static void SetValue(Value *V, GenericValue Val, ExecutionContext &SF) {
Brian Gaeke03e43dc2003-10-24 19:59:01 +0000163 SF.Values[V] = Val;
Chris Lattner39bb5b42001-10-15 13:25:40 +0000164}
165
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000166void Interpreter::initializeExecutionEngine() {
Chris Lattnerfe11a972002-12-23 23:59:41 +0000167 TheEE = this;
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000168}
169
Chris Lattner2adcd832002-05-03 19:52:30 +0000170//===----------------------------------------------------------------------===//
Chris Lattner92101ac2001-08-23 17:05:04 +0000171// Binary Instruction Implementations
172//===----------------------------------------------------------------------===//
173
174#define IMPLEMENT_BINARY_OPERATOR(OP, TY) \
175 case Type::TY##TyID: Dest.TY##Val = Src1.TY##Val OP Src2.TY##Val; break
176
177static GenericValue executeAddInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000178 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000179 GenericValue Dest;
180 switch (Ty->getPrimitiveID()) {
181 IMPLEMENT_BINARY_OPERATOR(+, UByte);
182 IMPLEMENT_BINARY_OPERATOR(+, SByte);
183 IMPLEMENT_BINARY_OPERATOR(+, UShort);
184 IMPLEMENT_BINARY_OPERATOR(+, Short);
185 IMPLEMENT_BINARY_OPERATOR(+, UInt);
186 IMPLEMENT_BINARY_OPERATOR(+, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000187 IMPLEMENT_BINARY_OPERATOR(+, ULong);
188 IMPLEMENT_BINARY_OPERATOR(+, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000189 IMPLEMENT_BINARY_OPERATOR(+, Float);
190 IMPLEMENT_BINARY_OPERATOR(+, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +0000191 default:
Chris Lattner02868352003-04-22 21:22:33 +0000192 std::cout << "Unhandled type for Add instruction: " << *Ty << "\n";
193 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000194 }
195 return Dest;
196}
197
198static GenericValue executeSubInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000199 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000200 GenericValue Dest;
201 switch (Ty->getPrimitiveID()) {
202 IMPLEMENT_BINARY_OPERATOR(-, UByte);
203 IMPLEMENT_BINARY_OPERATOR(-, SByte);
204 IMPLEMENT_BINARY_OPERATOR(-, UShort);
205 IMPLEMENT_BINARY_OPERATOR(-, Short);
206 IMPLEMENT_BINARY_OPERATOR(-, UInt);
207 IMPLEMENT_BINARY_OPERATOR(-, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000208 IMPLEMENT_BINARY_OPERATOR(-, ULong);
209 IMPLEMENT_BINARY_OPERATOR(-, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000210 IMPLEMENT_BINARY_OPERATOR(-, Float);
211 IMPLEMENT_BINARY_OPERATOR(-, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +0000212 default:
Chris Lattner02868352003-04-22 21:22:33 +0000213 std::cout << "Unhandled type for Sub instruction: " << *Ty << "\n";
214 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000215 }
216 return Dest;
217}
218
Chris Lattnerc2593162001-10-27 08:28:11 +0000219static GenericValue executeMulInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000220 const Type *Ty) {
Chris Lattnerc2593162001-10-27 08:28:11 +0000221 GenericValue Dest;
222 switch (Ty->getPrimitiveID()) {
223 IMPLEMENT_BINARY_OPERATOR(*, UByte);
224 IMPLEMENT_BINARY_OPERATOR(*, SByte);
225 IMPLEMENT_BINARY_OPERATOR(*, UShort);
226 IMPLEMENT_BINARY_OPERATOR(*, Short);
227 IMPLEMENT_BINARY_OPERATOR(*, UInt);
228 IMPLEMENT_BINARY_OPERATOR(*, Int);
229 IMPLEMENT_BINARY_OPERATOR(*, ULong);
230 IMPLEMENT_BINARY_OPERATOR(*, Long);
231 IMPLEMENT_BINARY_OPERATOR(*, Float);
232 IMPLEMENT_BINARY_OPERATOR(*, Double);
Chris Lattnerc2593162001-10-27 08:28:11 +0000233 default:
Chris Lattner02868352003-04-22 21:22:33 +0000234 std::cout << "Unhandled type for Mul instruction: " << Ty << "\n";
235 abort();
Chris Lattnerc2593162001-10-27 08:28:11 +0000236 }
237 return Dest;
238}
239
240static GenericValue executeDivInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000241 const Type *Ty) {
Chris Lattnerc2593162001-10-27 08:28:11 +0000242 GenericValue Dest;
243 switch (Ty->getPrimitiveID()) {
244 IMPLEMENT_BINARY_OPERATOR(/, UByte);
245 IMPLEMENT_BINARY_OPERATOR(/, SByte);
246 IMPLEMENT_BINARY_OPERATOR(/, UShort);
247 IMPLEMENT_BINARY_OPERATOR(/, Short);
248 IMPLEMENT_BINARY_OPERATOR(/, UInt);
249 IMPLEMENT_BINARY_OPERATOR(/, Int);
250 IMPLEMENT_BINARY_OPERATOR(/, ULong);
251 IMPLEMENT_BINARY_OPERATOR(/, Long);
252 IMPLEMENT_BINARY_OPERATOR(/, Float);
253 IMPLEMENT_BINARY_OPERATOR(/, Double);
Chris Lattnerc2593162001-10-27 08:28:11 +0000254 default:
Chris Lattner02868352003-04-22 21:22:33 +0000255 std::cout << "Unhandled type for Div instruction: " << *Ty << "\n";
256 abort();
Chris Lattnerbb76f022001-10-30 20:27:31 +0000257 }
258 return Dest;
259}
260
261static GenericValue executeRemInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000262 const Type *Ty) {
Chris Lattnerbb76f022001-10-30 20:27:31 +0000263 GenericValue Dest;
264 switch (Ty->getPrimitiveID()) {
265 IMPLEMENT_BINARY_OPERATOR(%, UByte);
266 IMPLEMENT_BINARY_OPERATOR(%, SByte);
267 IMPLEMENT_BINARY_OPERATOR(%, UShort);
268 IMPLEMENT_BINARY_OPERATOR(%, Short);
269 IMPLEMENT_BINARY_OPERATOR(%, UInt);
270 IMPLEMENT_BINARY_OPERATOR(%, Int);
271 IMPLEMENT_BINARY_OPERATOR(%, ULong);
272 IMPLEMENT_BINARY_OPERATOR(%, Long);
Chris Lattnerbb76f022001-10-30 20:27:31 +0000273 case Type::FloatTyID:
274 Dest.FloatVal = fmod(Src1.FloatVal, Src2.FloatVal);
275 break;
276 case Type::DoubleTyID:
277 Dest.DoubleVal = fmod(Src1.DoubleVal, Src2.DoubleVal);
278 break;
279 default:
Chris Lattner02868352003-04-22 21:22:33 +0000280 std::cout << "Unhandled type for Rem instruction: " << *Ty << "\n";
281 abort();
Chris Lattnerc2593162001-10-27 08:28:11 +0000282 }
283 return Dest;
284}
285
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000286static GenericValue executeAndInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000287 const Type *Ty) {
Chris Lattner4d0e1f92001-10-30 20:54:36 +0000288 GenericValue Dest;
289 switch (Ty->getPrimitiveID()) {
Chris Lattner669b76a2003-04-23 19:21:00 +0000290 IMPLEMENT_BINARY_OPERATOR(&, Bool);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000291 IMPLEMENT_BINARY_OPERATOR(&, UByte);
292 IMPLEMENT_BINARY_OPERATOR(&, SByte);
293 IMPLEMENT_BINARY_OPERATOR(&, UShort);
294 IMPLEMENT_BINARY_OPERATOR(&, Short);
295 IMPLEMENT_BINARY_OPERATOR(&, UInt);
296 IMPLEMENT_BINARY_OPERATOR(&, Int);
297 IMPLEMENT_BINARY_OPERATOR(&, ULong);
298 IMPLEMENT_BINARY_OPERATOR(&, Long);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000299 default:
Chris Lattner02868352003-04-22 21:22:33 +0000300 std::cout << "Unhandled type for And instruction: " << *Ty << "\n";
301 abort();
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000302 }
303 return Dest;
304}
305
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000306static GenericValue executeOrInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000307 const Type *Ty) {
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000308 GenericValue Dest;
309 switch (Ty->getPrimitiveID()) {
Chris Lattner669b76a2003-04-23 19:21:00 +0000310 IMPLEMENT_BINARY_OPERATOR(|, Bool);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000311 IMPLEMENT_BINARY_OPERATOR(|, UByte);
312 IMPLEMENT_BINARY_OPERATOR(|, SByte);
313 IMPLEMENT_BINARY_OPERATOR(|, UShort);
314 IMPLEMENT_BINARY_OPERATOR(|, Short);
315 IMPLEMENT_BINARY_OPERATOR(|, UInt);
316 IMPLEMENT_BINARY_OPERATOR(|, Int);
317 IMPLEMENT_BINARY_OPERATOR(|, ULong);
318 IMPLEMENT_BINARY_OPERATOR(|, Long);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000319 default:
Chris Lattner02868352003-04-22 21:22:33 +0000320 std::cout << "Unhandled type for Or instruction: " << *Ty << "\n";
321 abort();
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000322 }
323 return Dest;
324}
325
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000326static GenericValue executeXorInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000327 const Type *Ty) {
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000328 GenericValue Dest;
329 switch (Ty->getPrimitiveID()) {
Chris Lattner669b76a2003-04-23 19:21:00 +0000330 IMPLEMENT_BINARY_OPERATOR(^, Bool);
Chris Lattner4d0e1f92001-10-30 20:54:36 +0000331 IMPLEMENT_BINARY_OPERATOR(^, UByte);
332 IMPLEMENT_BINARY_OPERATOR(^, SByte);
333 IMPLEMENT_BINARY_OPERATOR(^, UShort);
334 IMPLEMENT_BINARY_OPERATOR(^, Short);
335 IMPLEMENT_BINARY_OPERATOR(^, UInt);
336 IMPLEMENT_BINARY_OPERATOR(^, Int);
337 IMPLEMENT_BINARY_OPERATOR(^, ULong);
338 IMPLEMENT_BINARY_OPERATOR(^, Long);
Chris Lattner4d0e1f92001-10-30 20:54:36 +0000339 default:
Chris Lattner02868352003-04-22 21:22:33 +0000340 std::cout << "Unhandled type for Xor instruction: " << *Ty << "\n";
341 abort();
Chris Lattner4d0e1f92001-10-30 20:54:36 +0000342 }
343 return Dest;
344}
345
Chris Lattner92101ac2001-08-23 17:05:04 +0000346#define IMPLEMENT_SETCC(OP, TY) \
347 case Type::TY##TyID: Dest.BoolVal = Src1.TY##Val OP Src2.TY##Val; break
348
Chris Lattnerfd506f52003-04-23 19:55:35 +0000349// Handle pointers specially because they must be compared with only as much
350// width as the host has. We _do not_ want to be comparing 64 bit values when
351// running on a 32-bit target, otherwise the upper 32 bits might mess up
352// comparisons if they contain garbage.
353#define IMPLEMENT_POINTERSETCC(OP) \
354 case Type::PointerTyID: \
355 Dest.BoolVal = (void*)(intptr_t)Src1.PointerVal OP \
356 (void*)(intptr_t)Src2.PointerVal; break
357
Chris Lattner92101ac2001-08-23 17:05:04 +0000358static GenericValue executeSetEQInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000359 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000360 GenericValue Dest;
361 switch (Ty->getPrimitiveID()) {
362 IMPLEMENT_SETCC(==, UByte);
363 IMPLEMENT_SETCC(==, SByte);
364 IMPLEMENT_SETCC(==, UShort);
365 IMPLEMENT_SETCC(==, Short);
366 IMPLEMENT_SETCC(==, UInt);
367 IMPLEMENT_SETCC(==, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000368 IMPLEMENT_SETCC(==, ULong);
369 IMPLEMENT_SETCC(==, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000370 IMPLEMENT_SETCC(==, Float);
371 IMPLEMENT_SETCC(==, Double);
Chris Lattnerfd506f52003-04-23 19:55:35 +0000372 IMPLEMENT_POINTERSETCC(==);
Chris Lattner92101ac2001-08-23 17:05:04 +0000373 default:
Chris Lattner02868352003-04-22 21:22:33 +0000374 std::cout << "Unhandled type for SetEQ instruction: " << *Ty << "\n";
375 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000376 }
377 return Dest;
378}
379
380static GenericValue executeSetNEInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000381 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000382 GenericValue Dest;
383 switch (Ty->getPrimitiveID()) {
384 IMPLEMENT_SETCC(!=, UByte);
385 IMPLEMENT_SETCC(!=, SByte);
386 IMPLEMENT_SETCC(!=, UShort);
387 IMPLEMENT_SETCC(!=, Short);
388 IMPLEMENT_SETCC(!=, UInt);
389 IMPLEMENT_SETCC(!=, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000390 IMPLEMENT_SETCC(!=, ULong);
391 IMPLEMENT_SETCC(!=, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000392 IMPLEMENT_SETCC(!=, Float);
393 IMPLEMENT_SETCC(!=, Double);
Chris Lattnerfd506f52003-04-23 19:55:35 +0000394 IMPLEMENT_POINTERSETCC(!=);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000395
Chris Lattner92101ac2001-08-23 17:05:04 +0000396 default:
Chris Lattner02868352003-04-22 21:22:33 +0000397 std::cout << "Unhandled type for SetNE instruction: " << *Ty << "\n";
398 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000399 }
400 return Dest;
401}
402
403static GenericValue executeSetLEInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000404 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000405 GenericValue Dest;
406 switch (Ty->getPrimitiveID()) {
407 IMPLEMENT_SETCC(<=, UByte);
408 IMPLEMENT_SETCC(<=, SByte);
409 IMPLEMENT_SETCC(<=, UShort);
410 IMPLEMENT_SETCC(<=, Short);
411 IMPLEMENT_SETCC(<=, UInt);
412 IMPLEMENT_SETCC(<=, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000413 IMPLEMENT_SETCC(<=, ULong);
414 IMPLEMENT_SETCC(<=, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000415 IMPLEMENT_SETCC(<=, Float);
416 IMPLEMENT_SETCC(<=, Double);
Chris Lattnerfd506f52003-04-23 19:55:35 +0000417 IMPLEMENT_POINTERSETCC(<=);
Chris Lattner92101ac2001-08-23 17:05:04 +0000418 default:
Chris Lattner02868352003-04-22 21:22:33 +0000419 std::cout << "Unhandled type for SetLE instruction: " << Ty << "\n";
420 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000421 }
422 return Dest;
423}
424
425static GenericValue executeSetGEInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000426 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000427 GenericValue Dest;
428 switch (Ty->getPrimitiveID()) {
429 IMPLEMENT_SETCC(>=, UByte);
430 IMPLEMENT_SETCC(>=, SByte);
431 IMPLEMENT_SETCC(>=, UShort);
432 IMPLEMENT_SETCC(>=, Short);
433 IMPLEMENT_SETCC(>=, UInt);
434 IMPLEMENT_SETCC(>=, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000435 IMPLEMENT_SETCC(>=, ULong);
436 IMPLEMENT_SETCC(>=, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000437 IMPLEMENT_SETCC(>=, Float);
438 IMPLEMENT_SETCC(>=, Double);
Chris Lattnerfd506f52003-04-23 19:55:35 +0000439 IMPLEMENT_POINTERSETCC(>=);
Chris Lattner92101ac2001-08-23 17:05:04 +0000440 default:
Chris Lattner02868352003-04-22 21:22:33 +0000441 std::cout << "Unhandled type for SetGE instruction: " << *Ty << "\n";
442 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000443 }
444 return Dest;
445}
446
447static GenericValue executeSetLTInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000448 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000449 GenericValue Dest;
450 switch (Ty->getPrimitiveID()) {
451 IMPLEMENT_SETCC(<, UByte);
452 IMPLEMENT_SETCC(<, SByte);
453 IMPLEMENT_SETCC(<, UShort);
454 IMPLEMENT_SETCC(<, Short);
455 IMPLEMENT_SETCC(<, UInt);
456 IMPLEMENT_SETCC(<, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000457 IMPLEMENT_SETCC(<, ULong);
458 IMPLEMENT_SETCC(<, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000459 IMPLEMENT_SETCC(<, Float);
460 IMPLEMENT_SETCC(<, Double);
Chris Lattnerfd506f52003-04-23 19:55:35 +0000461 IMPLEMENT_POINTERSETCC(<);
Chris Lattner92101ac2001-08-23 17:05:04 +0000462 default:
Chris Lattner02868352003-04-22 21:22:33 +0000463 std::cout << "Unhandled type for SetLT instruction: " << *Ty << "\n";
464 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000465 }
466 return Dest;
467}
468
469static GenericValue executeSetGTInst(GenericValue Src1, GenericValue Src2,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000470 const Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000471 GenericValue Dest;
472 switch (Ty->getPrimitiveID()) {
473 IMPLEMENT_SETCC(>, UByte);
474 IMPLEMENT_SETCC(>, SByte);
475 IMPLEMENT_SETCC(>, UShort);
476 IMPLEMENT_SETCC(>, Short);
477 IMPLEMENT_SETCC(>, UInt);
478 IMPLEMENT_SETCC(>, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000479 IMPLEMENT_SETCC(>, ULong);
480 IMPLEMENT_SETCC(>, Long);
Chris Lattner92101ac2001-08-23 17:05:04 +0000481 IMPLEMENT_SETCC(>, Float);
482 IMPLEMENT_SETCC(>, Double);
Chris Lattnerfd506f52003-04-23 19:55:35 +0000483 IMPLEMENT_POINTERSETCC(>);
Chris Lattner92101ac2001-08-23 17:05:04 +0000484 default:
Chris Lattner02868352003-04-22 21:22:33 +0000485 std::cout << "Unhandled type for SetGT instruction: " << *Ty << "\n";
486 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000487 }
488 return Dest;
489}
490
Chris Lattnerd7916e92003-05-10 21:22:39 +0000491void Interpreter::visitBinaryOperator(BinaryOperator &I) {
492 ExecutionContext &SF = ECStack.back();
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000493 const Type *Ty = I.getOperand(0)->getType();
494 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
495 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000496 GenericValue R; // Result
497
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000498 switch (I.getOpcode()) {
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000499 case Instruction::Add: R = executeAddInst (Src1, Src2, Ty); break;
500 case Instruction::Sub: R = executeSubInst (Src1, Src2, Ty); break;
501 case Instruction::Mul: R = executeMulInst (Src1, Src2, Ty); break;
502 case Instruction::Div: R = executeDivInst (Src1, Src2, Ty); break;
503 case Instruction::Rem: R = executeRemInst (Src1, Src2, Ty); break;
504 case Instruction::And: R = executeAndInst (Src1, Src2, Ty); break;
505 case Instruction::Or: R = executeOrInst (Src1, Src2, Ty); break;
506 case Instruction::Xor: R = executeXorInst (Src1, Src2, Ty); break;
507 case Instruction::SetEQ: R = executeSetEQInst(Src1, Src2, Ty); break;
508 case Instruction::SetNE: R = executeSetNEInst(Src1, Src2, Ty); break;
509 case Instruction::SetLE: R = executeSetLEInst(Src1, Src2, Ty); break;
510 case Instruction::SetGE: R = executeSetGEInst(Src1, Src2, Ty); break;
511 case Instruction::SetLT: R = executeSetLTInst(Src1, Src2, Ty); break;
512 case Instruction::SetGT: R = executeSetGTInst(Src1, Src2, Ty); break;
Chris Lattner92101ac2001-08-23 17:05:04 +0000513 default:
Chris Lattner02868352003-04-22 21:22:33 +0000514 std::cout << "Don't know how to handle this binary operator!\n-->" << I;
515 abort();
Chris Lattner92101ac2001-08-23 17:05:04 +0000516 }
517
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000518 SetValue(&I, R, SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000519}
520
Chris Lattner92101ac2001-08-23 17:05:04 +0000521//===----------------------------------------------------------------------===//
522// Terminator Instruction Implementations
523//===----------------------------------------------------------------------===//
524
Chris Lattnere43db882001-10-27 04:15:57 +0000525void Interpreter::exitCalled(GenericValue GV) {
Brian Gaeked8400d82004-02-13 05:48:00 +0000526 // runAtExitHandlers() assumes there are no stack frames, but
527 // if exit() was called, then it had a stack frame. Blow away
528 // the stack before interpreting atexit handlers.
529 ECStack.clear ();
Brian Gaeke63438cc2003-12-11 00:22:59 +0000530 runAtExitHandlers ();
531 exit (GV.IntVal);
Chris Lattnere43db882001-10-27 04:15:57 +0000532}
533
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000534/// Pop the last stack frame off of ECStack and then copy the result
535/// back into the result variable if we are not returning void. The
536/// result variable may be the ExitCode, or the Value of the calling
Brian Gaekedbde1ae2003-11-07 20:44:58 +0000537/// CallInst if there was a previous stack frame. This method may
538/// invalidate any ECStack iterators you have. This method also takes
539/// care of switching to the normal destination BB, if we are returning
540/// from an invoke.
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000541///
542void Interpreter::popStackAndReturnValueToCaller (const Type *RetTy,
543 GenericValue Result) {
544 // Pop the current stack frame.
545 ECStack.pop_back();
546
547 if (ECStack.empty()) { // Finished main. Put result into exit code...
548 if (RetTy && RetTy->isIntegral()) { // Nonvoid return type?
549 ExitCode = Result.IntVal; // Capture the exit code of the program
550 } else {
551 ExitCode = 0;
552 }
553 } else {
554 // If we have a previous stack frame, and we have a previous call,
555 // fill in the return value...
556 ExecutionContext &CallingSF = ECStack.back();
Brian Gaekedbde1ae2003-11-07 20:44:58 +0000557 if (Instruction *I = CallingSF.Caller.getInstruction()) {
Brian Gaeke2cb474c2003-11-07 19:26:23 +0000558 if (CallingSF.Caller.getType() != Type::VoidTy) // Save result...
Brian Gaekedbde1ae2003-11-07 20:44:58 +0000559 SetValue(I, Result, CallingSF);
560 if (InvokeInst *II = dyn_cast<InvokeInst> (I))
561 SwitchToNewBasicBlock (II->getNormalDest (), CallingSF);
Brian Gaeke2cb474c2003-11-07 19:26:23 +0000562 CallingSF.Caller = CallSite(); // We returned from the call...
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000563 }
564 }
565}
566
Chris Lattnerd7916e92003-05-10 21:22:39 +0000567void Interpreter::visitReturnInst(ReturnInst &I) {
568 ExecutionContext &SF = ECStack.back();
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000569 const Type *RetTy = Type::VoidTy;
Chris Lattner92101ac2001-08-23 17:05:04 +0000570 GenericValue Result;
571
572 // Save away the return value... (if we are not 'ret void')
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000573 if (I.getNumOperands()) {
574 RetTy = I.getReturnValue()->getType();
575 Result = getOperandValue(I.getReturnValue(), SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000576 }
577
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000578 popStackAndReturnValueToCaller(RetTy, Result);
Chris Lattner92101ac2001-08-23 17:05:04 +0000579}
580
Brian Gaeke9bf06b12003-11-07 20:07:06 +0000581void Interpreter::visitUnwindInst(UnwindInst &I) {
Brian Gaekedbde1ae2003-11-07 20:44:58 +0000582 // Unwind stack
583 Instruction *Inst;
584 do {
585 ECStack.pop_back ();
586 if (ECStack.empty ())
587 abort ();
588 Inst = ECStack.back ().Caller.getInstruction ();
589 } while (!(Inst && isa<InvokeInst> (Inst)));
590
591 // Return from invoke
592 ExecutionContext &InvokingSF = ECStack.back ();
593 InvokingSF.Caller = CallSite ();
594
595 // Go to exceptional destination BB of invoke instruction
Chris Lattneraeb2a1d2004-02-08 21:44:31 +0000596 SwitchToNewBasicBlock(cast<InvokeInst>(Inst)->getUnwindDest(), InvokingSF);
Brian Gaeke9bf06b12003-11-07 20:07:06 +0000597}
598
Chris Lattnerd7916e92003-05-10 21:22:39 +0000599void Interpreter::visitBranchInst(BranchInst &I) {
600 ExecutionContext &SF = ECStack.back();
Chris Lattner92101ac2001-08-23 17:05:04 +0000601 BasicBlock *Dest;
602
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000603 Dest = I.getSuccessor(0); // Uncond branches have a fixed dest...
604 if (!I.isUnconditional()) {
605 Value *Cond = I.getCondition();
Chris Lattner77113b62003-05-10 20:21:16 +0000606 if (getOperandValue(Cond, SF).BoolVal == 0) // If false cond...
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000607 Dest = I.getSuccessor(1);
Chris Lattner92101ac2001-08-23 17:05:04 +0000608 }
Chris Lattner77113b62003-05-10 20:21:16 +0000609 SwitchToNewBasicBlock(Dest, SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000610}
611
Chris Lattnerd7916e92003-05-10 21:22:39 +0000612void Interpreter::visitSwitchInst(SwitchInst &I) {
613 ExecutionContext &SF = ECStack.back();
Chris Lattner09e93922003-04-22 20:34:47 +0000614 GenericValue CondVal = getOperandValue(I.getOperand(0), SF);
615 const Type *ElTy = I.getOperand(0)->getType();
Chris Lattner09e93922003-04-22 20:34:47 +0000616
617 // Check to see if any of the cases match...
Chris Lattner77113b62003-05-10 20:21:16 +0000618 BasicBlock *Dest = 0;
619 for (unsigned i = 2, e = I.getNumOperands(); i != e; i += 2)
Chris Lattner09e93922003-04-22 20:34:47 +0000620 if (executeSetEQInst(CondVal,
Chris Lattnerb945e4d2003-04-22 20:37:39 +0000621 getOperandValue(I.getOperand(i), SF), ElTy).BoolVal) {
Chris Lattner09e93922003-04-22 20:34:47 +0000622 Dest = cast<BasicBlock>(I.getOperand(i+1));
623 break;
624 }
Chris Lattner09e93922003-04-22 20:34:47 +0000625
626 if (!Dest) Dest = I.getDefaultDest(); // No cases matched: use default
Chris Lattner77113b62003-05-10 20:21:16 +0000627 SwitchToNewBasicBlock(Dest, SF);
628}
629
630// SwitchToNewBasicBlock - This method is used to jump to a new basic block.
631// This function handles the actual updating of block and instruction iterators
632// as well as execution of all of the PHI nodes in the destination block.
633//
634// This method does this because all of the PHI nodes must be executed
635// atomically, reading their inputs before any of the results are updated. Not
636// doing this can cause problems if the PHI nodes depend on other PHI nodes for
637// their inputs. If the input PHI node is updated before it is read, incorrect
638// results can happen. Thus we use a two phase approach.
639//
640void Interpreter::SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF){
641 BasicBlock *PrevBB = SF.CurBB; // Remember where we came from...
642 SF.CurBB = Dest; // Update CurBB to branch destination
643 SF.CurInst = SF.CurBB->begin(); // Update new instruction ptr...
644
645 if (!isa<PHINode>(SF.CurInst)) return; // Nothing fancy to do
646
647 // Loop over all of the PHI nodes in the current block, reading their inputs.
648 std::vector<GenericValue> ResultValues;
649
650 for (; PHINode *PN = dyn_cast<PHINode>(SF.CurInst); ++SF.CurInst) {
651 // Search for the value corresponding to this previous bb...
652 int i = PN->getBasicBlockIndex(PrevBB);
653 assert(i != -1 && "PHINode doesn't contain entry for predecessor??");
654 Value *IncomingValue = PN->getIncomingValue(i);
655
656 // Save the incoming value for this PHI node...
657 ResultValues.push_back(getOperandValue(IncomingValue, SF));
658 }
659
660 // Now loop over all of the PHI nodes setting their values...
661 SF.CurInst = SF.CurBB->begin();
662 for (unsigned i = 0; PHINode *PN = dyn_cast<PHINode>(SF.CurInst);
663 ++SF.CurInst, ++i)
664 SetValue(PN, ResultValues[i], SF);
Chris Lattner09e93922003-04-22 20:34:47 +0000665}
666
Chris Lattner92101ac2001-08-23 17:05:04 +0000667//===----------------------------------------------------------------------===//
Chris Lattner86660982001-08-27 05:16:50 +0000668// Memory Instruction Implementations
669//===----------------------------------------------------------------------===//
670
Chris Lattnerd7916e92003-05-10 21:22:39 +0000671void Interpreter::visitAllocationInst(AllocationInst &I) {
672 ExecutionContext &SF = ECStack.back();
673
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000674 const Type *Ty = I.getType()->getElementType(); // Type to be allocated
Chris Lattner86660982001-08-27 05:16:50 +0000675
Chris Lattnercc82cc12002-04-28 21:57:33 +0000676 // Get the number of elements being allocated by the array...
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000677 unsigned NumElements = getOperandValue(I.getOperand(0), SF).UIntVal;
Chris Lattner86660982001-08-27 05:16:50 +0000678
679 // Allocate enough memory to hold the type...
Brian Gaeke2fa82122003-11-05 01:02:14 +0000680 void *Memory = malloc(NumElements * TD.getTypeSize(Ty));
Chris Lattner9bffa732002-02-19 18:50:09 +0000681
Chris Lattnerfe11a972002-12-23 23:59:41 +0000682 GenericValue Result = PTOGV(Memory);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000683 assert(Result.PointerVal != 0 && "Null pointer returned by malloc!");
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000684 SetValue(&I, Result, SF);
Chris Lattner86660982001-08-27 05:16:50 +0000685
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000686 if (I.getOpcode() == Instruction::Alloca)
Chris Lattner9bffa732002-02-19 18:50:09 +0000687 ECStack.back().Allocas.add(Memory);
Chris Lattner86660982001-08-27 05:16:50 +0000688}
689
Chris Lattnerd7916e92003-05-10 21:22:39 +0000690void Interpreter::visitFreeInst(FreeInst &I) {
691 ExecutionContext &SF = ECStack.back();
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000692 assert(isa<PointerType>(I.getOperand(0)->getType()) && "Freeing nonptr?");
693 GenericValue Value = getOperandValue(I.getOperand(0), SF);
Chris Lattner86660982001-08-27 05:16:50 +0000694 // TODO: Check to make sure memory is allocated
Chris Lattnerfe11a972002-12-23 23:59:41 +0000695 free(GVTOP(Value)); // Free memory
Chris Lattner86660982001-08-27 05:16:50 +0000696}
697
Chris Lattnera34c5682002-08-27 22:33:45 +0000698// getElementOffset - The workhorse for getelementptr.
Chris Lattner95c3af52001-10-29 19:32:19 +0000699//
Chris Lattner4af6de82003-11-25 20:44:56 +0000700GenericValue Interpreter::executeGEPOperation(Value *Ptr, gep_type_iterator I,
701 gep_type_iterator E,
Chris Lattnerfe11a972002-12-23 23:59:41 +0000702 ExecutionContext &SF) {
Chris Lattnera34c5682002-08-27 22:33:45 +0000703 assert(isa<PointerType>(Ptr->getType()) &&
Chris Lattner95c3af52001-10-29 19:32:19 +0000704 "Cannot getElementOffset of a nonpointer type!");
705
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000706 PointerTy Total = 0;
Chris Lattnera34c5682002-08-27 22:33:45 +0000707
708 for (; I != E; ++I) {
Chris Lattner4af6de82003-11-25 20:44:56 +0000709 if (const StructType *STy = dyn_cast<StructType>(*I)) {
Chris Lattner782b9392001-11-26 18:18:18 +0000710 const StructLayout *SLO = TD.getStructLayout(STy);
711
Brian Gaeke2798cd02003-12-12 05:13:05 +0000712 const ConstantUInt *CPU = cast<ConstantUInt>(I.getOperand());
Chris Lattner782b9392001-11-26 18:18:18 +0000713 unsigned Index = CPU->getValue();
714
Chris Lattner782b9392001-11-26 18:18:18 +0000715 Total += SLO->MemberOffsets[Index];
Chris Lattner4af6de82003-11-25 20:44:56 +0000716 } else {
717 const SequentialType *ST = cast<SequentialType>(*I);
Chris Lattner006a4a52003-02-25 21:14:59 +0000718 // Get the index number for the array... which must be long type...
Chris Lattner4af6de82003-11-25 20:44:56 +0000719 GenericValue IdxGV = getOperandValue(I.getOperand(), SF);
720
721 uint64_t Idx;
722 switch (I.getOperand()->getType()->getPrimitiveID()) {
723 default: assert(0 && "Illegal getelementptr index for sequential type!");
724 case Type::SByteTyID: Idx = IdxGV.SByteVal; break;
725 case Type::ShortTyID: Idx = IdxGV.ShortVal; break;
726 case Type::IntTyID: Idx = IdxGV.IntVal; break;
727 case Type::LongTyID: Idx = IdxGV.LongVal; break;
728 case Type::UByteTyID: Idx = IdxGV.UByteVal; break;
729 case Type::UShortTyID: Idx = IdxGV.UShortVal; break;
730 case Type::UIntTyID: Idx = IdxGV.UIntVal; break;
731 case Type::ULongTyID: Idx = IdxGV.ULongVal; break;
732 }
733 Total += TD.getTypeSize(ST->getElementType())*Idx;
Brian Gaeke03e43dc2003-10-24 19:59:01 +0000734 }
Chris Lattner95c3af52001-10-29 19:32:19 +0000735 }
736
Chris Lattnera34c5682002-08-27 22:33:45 +0000737 GenericValue Result;
738 Result.PointerVal = getOperandValue(Ptr, SF).PointerVal + Total;
739 return Result;
Chris Lattner95c3af52001-10-29 19:32:19 +0000740}
741
Chris Lattnerd7916e92003-05-10 21:22:39 +0000742void Interpreter::visitGetElementPtrInst(GetElementPtrInst &I) {
743 ExecutionContext &SF = ECStack.back();
Chris Lattnerfe11a972002-12-23 23:59:41 +0000744 SetValue(&I, TheEE->executeGEPOperation(I.getPointerOperand(),
Chris Lattner4af6de82003-11-25 20:44:56 +0000745 gep_type_begin(I), gep_type_end(I), SF), SF);
Chris Lattner95c3af52001-10-29 19:32:19 +0000746}
747
Chris Lattnerd7916e92003-05-10 21:22:39 +0000748void Interpreter::visitLoadInst(LoadInst &I) {
749 ExecutionContext &SF = ECStack.back();
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000750 GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000751 GenericValue *Ptr = (GenericValue*)GVTOP(SRC);
Chris Lattner374344c2003-05-08 16:52:43 +0000752 GenericValue Result = LoadValueFromMemory(Ptr, I.getType());
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000753 SetValue(&I, Result, SF);
Chris Lattner86660982001-08-27 05:16:50 +0000754}
755
Chris Lattnerd7916e92003-05-10 21:22:39 +0000756void Interpreter::visitStoreInst(StoreInst &I) {
757 ExecutionContext &SF = ECStack.back();
Chris Lattnerfddc7552002-10-15 20:34:05 +0000758 GenericValue Val = getOperandValue(I.getOperand(0), SF);
759 GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000760 StoreValueToMemory(Val, (GenericValue *)GVTOP(SRC),
Chris Lattner683d5da92002-10-26 01:57:15 +0000761 I.getOperand(0)->getType());
Chris Lattnerfddc7552002-10-15 20:34:05 +0000762}
763
Chris Lattner86660982001-08-27 05:16:50 +0000764//===----------------------------------------------------------------------===//
Chris Lattner92101ac2001-08-23 17:05:04 +0000765// Miscellaneous Instruction Implementations
766//===----------------------------------------------------------------------===//
767
Brian Gaekefea483d2003-11-07 20:04:22 +0000768void Interpreter::visitCallSite(CallSite CS) {
Chris Lattnerd7916e92003-05-10 21:22:39 +0000769 ExecutionContext &SF = ECStack.back();
Chris Lattner73011782003-12-28 09:44:37 +0000770
771 // Check to see if this is an intrinsic function call...
772 if (Function *F = CS.getCalledFunction())
Brian Gaeke34562ba2004-01-14 06:02:53 +0000773 if (F->isExternal ())
Chris Lattner73011782003-12-28 09:44:37 +0000774 switch (F->getIntrinsicID()) {
Brian Gaeke34562ba2004-01-14 06:02:53 +0000775 case Intrinsic::not_intrinsic:
776 break;
Chris Lattner317201d2004-03-13 00:24:00 +0000777 case Intrinsic::vastart: { // va_start
Brian Gaeke9d20b712004-02-25 23:01:48 +0000778 GenericValue ArgIndex;
779 ArgIndex.UIntPairVal.first = ECStack.size() - 1;
780 ArgIndex.UIntPairVal.second = 0;
781 SetValue(CS.getInstruction(), ArgIndex, SF);
Chris Lattner73011782003-12-28 09:44:37 +0000782 return;
Brian Gaeke9d20b712004-02-25 23:01:48 +0000783 }
Chris Lattner317201d2004-03-13 00:24:00 +0000784 case Intrinsic::vaend: // va_end is a noop for the interpreter
Chris Lattner73011782003-12-28 09:44:37 +0000785 return;
Chris Lattner317201d2004-03-13 00:24:00 +0000786 case Intrinsic::vacopy: // va_copy: dest = src
Chris Lattner73011782003-12-28 09:44:37 +0000787 SetValue(CS.getInstruction(), getOperandValue(*CS.arg_begin(), SF), SF);
788 return;
789 default:
Brian Gaeke34562ba2004-01-14 06:02:53 +0000790 // If it is an unknown intrinsic function, use the intrinsic lowering
Chris Lattner73011782003-12-28 09:44:37 +0000791 // class to transform it into hopefully tasty LLVM code.
792 //
793 Instruction *Prev = CS.getInstruction()->getPrev();
794 BasicBlock *Parent = CS.getInstruction()->getParent();
795 IL->LowerIntrinsicCall(cast<CallInst>(CS.getInstruction()));
796
797 // Restore the CurInst pointer to the first instruction newly inserted, if
798 // any.
799 if (!Prev) {
800 SF.CurInst = Parent->begin();
801 } else {
802 SF.CurInst = Prev;
803 ++SF.CurInst;
804 }
805 }
806
Brian Gaekefea483d2003-11-07 20:04:22 +0000807 SF.Caller = CS;
Chris Lattner02868352003-04-22 21:22:33 +0000808 std::vector<GenericValue> ArgVals;
Brian Gaekeae2495a2003-11-07 19:59:08 +0000809 const unsigned NumArgs = SF.Caller.arg_size();
810 ArgVals.reserve(NumArgs);
811 for (CallSite::arg_iterator i = SF.Caller.arg_begin(),
812 e = SF.Caller.arg_end(); i != e; ++i) {
813 Value *V = *i;
814 ArgVals.push_back(getOperandValue(V, SF));
Chris Lattner93780132003-01-13 00:58:52 +0000815 // Promote all integral types whose size is < sizeof(int) into ints. We do
816 // this by zero or sign extending the value as appropriate according to the
817 // source type.
Brian Gaekeae2495a2003-11-07 19:59:08 +0000818 const Type *Ty = V->getType();
819 if (Ty->isIntegral() && Ty->getPrimitiveSize() < 4) {
Chris Lattner93780132003-01-13 00:58:52 +0000820 if (Ty == Type::ShortTy)
821 ArgVals.back().IntVal = ArgVals.back().ShortVal;
822 else if (Ty == Type::UShortTy)
823 ArgVals.back().UIntVal = ArgVals.back().UShortVal;
824 else if (Ty == Type::SByteTy)
825 ArgVals.back().IntVal = ArgVals.back().SByteVal;
826 else if (Ty == Type::UByteTy)
827 ArgVals.back().UIntVal = ArgVals.back().UByteVal;
828 else if (Ty == Type::BoolTy)
829 ArgVals.back().UIntVal = ArgVals.back().BoolVal;
830 else
831 assert(0 && "Unknown type!");
832 }
833 }
Chris Lattner365a76e2001-09-10 04:49:44 +0000834
Chris Lattner070cf5e2001-11-07 20:12:30 +0000835 // To handle indirect calls, we must get the pointer value from the argument
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000836 // and treat it as a function pointer.
Brian Gaekeae2495a2003-11-07 19:59:08 +0000837 GenericValue SRC = getOperandValue(SF.Caller.getCalledValue(), SF);
Chris Lattnerda82ed52003-05-08 16:18:31 +0000838 callFunction((Function*)GVTOP(SRC), ArgVals);
Chris Lattner92101ac2001-08-23 17:05:04 +0000839}
840
Chris Lattner86660982001-08-27 05:16:50 +0000841#define IMPLEMENT_SHIFT(OP, TY) \
842 case Type::TY##TyID: Dest.TY##Val = Src1.TY##Val OP Src2.UByteVal; break
843
Brian Gaeke63438cc2003-12-11 00:22:59 +0000844static GenericValue executeShlInst(GenericValue Src1, GenericValue Src2,
845 const Type *Ty) {
Chris Lattner86660982001-08-27 05:16:50 +0000846 GenericValue Dest;
Chris Lattner86660982001-08-27 05:16:50 +0000847 switch (Ty->getPrimitiveID()) {
848 IMPLEMENT_SHIFT(<<, UByte);
849 IMPLEMENT_SHIFT(<<, SByte);
850 IMPLEMENT_SHIFT(<<, UShort);
851 IMPLEMENT_SHIFT(<<, Short);
852 IMPLEMENT_SHIFT(<<, UInt);
853 IMPLEMENT_SHIFT(<<, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000854 IMPLEMENT_SHIFT(<<, ULong);
855 IMPLEMENT_SHIFT(<<, Long);
Chris Lattner86660982001-08-27 05:16:50 +0000856 default:
Chris Lattner02868352003-04-22 21:22:33 +0000857 std::cout << "Unhandled type for Shl instruction: " << *Ty << "\n";
Chris Lattner86660982001-08-27 05:16:50 +0000858 }
Brian Gaeke63438cc2003-12-11 00:22:59 +0000859 return Dest;
Chris Lattner86660982001-08-27 05:16:50 +0000860}
861
Brian Gaeke63438cc2003-12-11 00:22:59 +0000862static GenericValue executeShrInst(GenericValue Src1, GenericValue Src2,
863 const Type *Ty) {
Chris Lattner86660982001-08-27 05:16:50 +0000864 GenericValue Dest;
Chris Lattner86660982001-08-27 05:16:50 +0000865 switch (Ty->getPrimitiveID()) {
866 IMPLEMENT_SHIFT(>>, UByte);
867 IMPLEMENT_SHIFT(>>, SByte);
868 IMPLEMENT_SHIFT(>>, UShort);
869 IMPLEMENT_SHIFT(>>, Short);
870 IMPLEMENT_SHIFT(>>, UInt);
871 IMPLEMENT_SHIFT(>>, Int);
Chris Lattner7b851ab2001-10-15 19:18:26 +0000872 IMPLEMENT_SHIFT(>>, ULong);
873 IMPLEMENT_SHIFT(>>, Long);
Chris Lattner86660982001-08-27 05:16:50 +0000874 default:
Chris Lattner02868352003-04-22 21:22:33 +0000875 std::cout << "Unhandled type for Shr instruction: " << *Ty << "\n";
876 abort();
Chris Lattner86660982001-08-27 05:16:50 +0000877 }
Brian Gaeke63438cc2003-12-11 00:22:59 +0000878 return Dest;
879}
880
881void Interpreter::visitShl(ShiftInst &I) {
882 ExecutionContext &SF = ECStack.back();
883 const Type *Ty = I.getOperand(0)->getType();
884 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
885 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
886 GenericValue Dest;
887 Dest = executeShlInst (Src1, Src2, Ty);
888 SetValue(&I, Dest, SF);
889}
890
891void Interpreter::visitShr(ShiftInst &I) {
892 ExecutionContext &SF = ECStack.back();
893 const Type *Ty = I.getOperand(0)->getType();
894 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
895 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
896 GenericValue Dest;
897 Dest = executeShrInst (Src1, Src2, Ty);
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000898 SetValue(&I, Dest, SF);
Chris Lattner86660982001-08-27 05:16:50 +0000899}
900
901#define IMPLEMENT_CAST(DTY, DCTY, STY) \
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000902 case Type::STY##TyID: Dest.DTY##Val = DCTY Src.STY##Val; break;
Chris Lattner86660982001-08-27 05:16:50 +0000903
904#define IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY) \
905 case Type::DESTTY##TyID: \
906 switch (SrcTy->getPrimitiveID()) { \
Chris Lattnerf4dca802002-05-02 19:28:45 +0000907 IMPLEMENT_CAST(DESTTY, DESTCTY, Bool); \
Chris Lattner86660982001-08-27 05:16:50 +0000908 IMPLEMENT_CAST(DESTTY, DESTCTY, UByte); \
909 IMPLEMENT_CAST(DESTTY, DESTCTY, SByte); \
910 IMPLEMENT_CAST(DESTTY, DESTCTY, UShort); \
911 IMPLEMENT_CAST(DESTTY, DESTCTY, Short); \
912 IMPLEMENT_CAST(DESTTY, DESTCTY, UInt); \
Chris Lattner7b851ab2001-10-15 19:18:26 +0000913 IMPLEMENT_CAST(DESTTY, DESTCTY, Int); \
914 IMPLEMENT_CAST(DESTTY, DESTCTY, ULong); \
Chris Lattnerc2593162001-10-27 08:28:11 +0000915 IMPLEMENT_CAST(DESTTY, DESTCTY, Long); \
916 IMPLEMENT_CAST(DESTTY, DESTCTY, Pointer);
Chris Lattner86660982001-08-27 05:16:50 +0000917
918#define IMPLEMENT_CAST_CASE_FP_IMP(DESTTY, DESTCTY) \
919 IMPLEMENT_CAST(DESTTY, DESTCTY, Float); \
920 IMPLEMENT_CAST(DESTTY, DESTCTY, Double)
921
922#define IMPLEMENT_CAST_CASE_END() \
Chris Lattner02868352003-04-22 21:22:33 +0000923 default: std::cout << "Unhandled cast: " << SrcTy << " to " << Ty << "\n"; \
924 abort(); \
Chris Lattner86660982001-08-27 05:16:50 +0000925 } \
926 break
927
928#define IMPLEMENT_CAST_CASE(DESTTY, DESTCTY) \
929 IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY); \
930 IMPLEMENT_CAST_CASE_FP_IMP(DESTTY, DESTCTY); \
Chris Lattner86660982001-08-27 05:16:50 +0000931 IMPLEMENT_CAST_CASE_END()
932
Brian Gaeke29794cb2003-09-05 18:55:03 +0000933GenericValue Interpreter::executeCastOperation(Value *SrcVal, const Type *Ty,
934 ExecutionContext &SF) {
Chris Lattnera34c5682002-08-27 22:33:45 +0000935 const Type *SrcTy = SrcVal->getType();
936 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Chris Lattner86660982001-08-27 05:16:50 +0000937
938 switch (Ty->getPrimitiveID()) {
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000939 IMPLEMENT_CAST_CASE(UByte , (unsigned char));
940 IMPLEMENT_CAST_CASE(SByte , ( signed char));
941 IMPLEMENT_CAST_CASE(UShort , (unsigned short));
Chris Lattner1bbd3612002-08-02 22:06:04 +0000942 IMPLEMENT_CAST_CASE(Short , ( signed short));
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000943 IMPLEMENT_CAST_CASE(UInt , (unsigned int ));
944 IMPLEMENT_CAST_CASE(Int , ( signed int ));
945 IMPLEMENT_CAST_CASE(ULong , (uint64_t));
946 IMPLEMENT_CAST_CASE(Long , ( int64_t));
Chris Lattner2fdaddf2002-10-30 21:47:57 +0000947 IMPLEMENT_CAST_CASE(Pointer, (PointerTy));
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000948 IMPLEMENT_CAST_CASE(Float , (float));
949 IMPLEMENT_CAST_CASE(Double , (double));
Chris Lattner5bff50d2003-04-22 21:15:56 +0000950 IMPLEMENT_CAST_CASE(Bool , (bool));
Chris Lattner86660982001-08-27 05:16:50 +0000951 default:
Chris Lattner02868352003-04-22 21:22:33 +0000952 std::cout << "Unhandled dest type for cast instruction: " << *Ty << "\n";
Chris Lattner5bff50d2003-04-22 21:15:56 +0000953 abort();
Chris Lattner86660982001-08-27 05:16:50 +0000954 }
Chris Lattnera34c5682002-08-27 22:33:45 +0000955
956 return Dest;
Chris Lattner86660982001-08-27 05:16:50 +0000957}
Chris Lattner92101ac2001-08-23 17:05:04 +0000958
Chris Lattnerd7916e92003-05-10 21:22:39 +0000959void Interpreter::visitCastInst(CastInst &I) {
960 ExecutionContext &SF = ECStack.back();
Chris Lattnera34c5682002-08-27 22:33:45 +0000961 SetValue(&I, executeCastOperation(I.getOperand(0), I.getType(), SF), SF);
962}
Chris Lattner92101ac2001-08-23 17:05:04 +0000963
Chris Lattner4c665492003-10-18 05:55:25 +0000964void Interpreter::visitVANextInst(VANextInst &I) {
Chris Lattnerd7916e92003-05-10 21:22:39 +0000965 ExecutionContext &SF = ECStack.back();
966
Brian Gaeke9d20b712004-02-25 23:01:48 +0000967 // Get the incoming valist parameter. LLI treats the valist as a
968 // (ec-stack-depth var-arg-index) pair.
Chris Lattner4c665492003-10-18 05:55:25 +0000969 GenericValue VAList = getOperandValue(I.getOperand(0), SF);
970
Brian Gaeke8da17482003-11-13 06:06:01 +0000971 // Move the pointer to the next vararg.
Brian Gaeke9d20b712004-02-25 23:01:48 +0000972 ++VAList.UIntPairVal.second;
Chris Lattner4c665492003-10-18 05:55:25 +0000973 SetValue(&I, VAList, SF);
Chris Lattner374344c2003-05-08 16:52:43 +0000974}
Chris Lattner92101ac2001-08-23 17:05:04 +0000975
Brian Gaekec1a2be12003-11-07 21:20:47 +0000976#define IMPLEMENT_VAARG(TY) \
977 case Type::TY##TyID: Dest.TY##Val = Src.TY##Val; break
978
979void Interpreter::visitVAArgInst(VAArgInst &I) {
980 ExecutionContext &SF = ECStack.back();
981
Brian Gaeke9d20b712004-02-25 23:01:48 +0000982 // Get the incoming valist parameter. LLI treats the valist as a
983 // (ec-stack-depth var-arg-index) pair.
Brian Gaekec1a2be12003-11-07 21:20:47 +0000984 GenericValue VAList = getOperandValue(I.getOperand(0), SF);
Brian Gaeke9d20b712004-02-25 23:01:48 +0000985 GenericValue Dest;
986 GenericValue Src = ECStack[VAList.UIntPairVal.first]
987 .VarArgs[VAList.UIntPairVal.second];
Brian Gaekec1a2be12003-11-07 21:20:47 +0000988 const Type *Ty = I.getType();
989 switch (Ty->getPrimitiveID()) {
990 IMPLEMENT_VAARG(UByte);
991 IMPLEMENT_VAARG(SByte);
992 IMPLEMENT_VAARG(UShort);
993 IMPLEMENT_VAARG(Short);
994 IMPLEMENT_VAARG(UInt);
995 IMPLEMENT_VAARG(Int);
996 IMPLEMENT_VAARG(ULong);
997 IMPLEMENT_VAARG(Long);
998 IMPLEMENT_VAARG(Pointer);
999 IMPLEMENT_VAARG(Float);
1000 IMPLEMENT_VAARG(Double);
1001 IMPLEMENT_VAARG(Bool);
1002 default:
1003 std::cout << "Unhandled dest type for vaarg instruction: " << *Ty << "\n";
1004 abort();
1005 }
1006
1007 // Set the Value of this Instruction.
1008 SetValue(&I, Dest, SF);
1009}
1010
Chris Lattner92101ac2001-08-23 17:05:04 +00001011//===----------------------------------------------------------------------===//
1012// Dispatch and Execution Code
1013//===----------------------------------------------------------------------===//
1014
Chris Lattner92101ac2001-08-23 17:05:04 +00001015//===----------------------------------------------------------------------===//
Chris Lattnerda82ed52003-05-08 16:18:31 +00001016// callFunction - Execute the specified function...
Chris Lattner92101ac2001-08-23 17:05:04 +00001017//
Chris Lattnerda82ed52003-05-08 16:18:31 +00001018void Interpreter::callFunction(Function *F,
1019 const std::vector<GenericValue> &ArgVals) {
Brian Gaeke2cb474c2003-11-07 19:26:23 +00001020 assert((ECStack.empty() || ECStack.back().Caller.getInstruction() == 0 ||
1021 ECStack.back().Caller.arg_size() == ArgVals.size()) &&
Chris Lattner365a76e2001-09-10 04:49:44 +00001022 "Incorrect number of arguments passed into function call!");
Chris Lattner63bd6132003-09-17 17:26:22 +00001023 // Make a new stack frame... and fill it in.
1024 ECStack.push_back(ExecutionContext());
1025 ExecutionContext &StackFrame = ECStack.back();
Chris Lattnerda82ed52003-05-08 16:18:31 +00001026 StackFrame.CurFunction = F;
Brian Gaekeaf955ba2003-11-07 05:22:49 +00001027
1028 // Special handling for external functions.
1029 if (F->isExternal()) {
1030 GenericValue Result = callExternalFunction (F, ArgVals);
1031 // Simulate a 'ret' instruction of the appropriate type.
1032 popStackAndReturnValueToCaller (F->getReturnType (), Result);
1033 return;
1034 }
1035
1036 // Get pointers to first LLVM BB & Instruction in function.
Chris Lattnercdf51782003-05-08 16:06:52 +00001037 StackFrame.CurBB = F->begin();
Chris Lattner92101ac2001-08-23 17:05:04 +00001038 StackFrame.CurInst = StackFrame.CurBB->begin();
Chris Lattner92101ac2001-08-23 17:05:04 +00001039
Chris Lattner2fbfdcf2002-04-07 20:49:59 +00001040 // Run through the function arguments and initialize their values...
Chris Lattnercdf51782003-05-08 16:06:52 +00001041 assert((ArgVals.size() == F->asize() ||
1042 (ArgVals.size() > F->asize() && F->getFunctionType()->isVarArg())) &&
Chris Lattner2fbfdcf2002-04-07 20:49:59 +00001043 "Invalid number of values passed to function invocation!");
Chris Lattnercdf51782003-05-08 16:06:52 +00001044
1045 // Handle non-varargs arguments...
Chris Lattner365a76e2001-09-10 04:49:44 +00001046 unsigned i = 0;
Chris Lattnercdf51782003-05-08 16:06:52 +00001047 for (Function::aiterator AI = F->abegin(), E = F->aend(); AI != E; ++AI, ++i)
Chris Lattner0b12b5f2002-06-25 16:13:21 +00001048 SetValue(AI, ArgVals[i], StackFrame);
Chris Lattnercdf51782003-05-08 16:06:52 +00001049
1050 // Handle varargs arguments...
1051 StackFrame.VarArgs.assign(ArgVals.begin()+i, ArgVals.end());
Chris Lattner92101ac2001-08-23 17:05:04 +00001052}
1053
Chris Lattner92101ac2001-08-23 17:05:04 +00001054void Interpreter::run() {
Brian Gaeke9ad671d2003-09-04 23:15:40 +00001055 while (!ECStack.empty()) {
Brian Gaeke03e43dc2003-10-24 19:59:01 +00001056 // Interpret a single instruction & increment the "PC".
1057 ExecutionContext &SF = ECStack.back(); // Current stack frame
1058 Instruction &I = *SF.CurInst++; // Increment before execute
1059
1060 // Track the number of dynamic instructions executed.
1061 ++NumDynamicInsts;
Chris Lattner92101ac2001-08-23 17:05:04 +00001062
Brian Gaeke63438cc2003-12-11 00:22:59 +00001063 DEBUG(std::cerr << "About to interpret: " << I);
Brian Gaeke03e43dc2003-10-24 19:59:01 +00001064 visit(I); // Dispatch to one of the visit* methods...
Chris Lattner92101ac2001-08-23 17:05:04 +00001065 }
1066}