blob: 46ed6fdfbf5c76b66dde6cd2bbce9a8f36c8fce0 [file] [log] [blame]
Chris Lattner92101ac2001-08-23 17:05:04 +00001//===-- Execution.cpp - Implement code to simulate the program ------------===//
Misha Brukmand1c881a2005-04-21 22:43:08 +00002//
John Criswellb576c942003-10-20 19:43:21 +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 Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Misha Brukmand1c881a2005-04-21 22:43:08 +00009//
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"
Chris Lattner30483732004-06-20 07:49:54 +000019#include "llvm/CodeGen/IntrinsicLowering.h"
Chris Lattner4af6de82003-11-25 20:44:56 +000020#include "llvm/Support/GetElementPtrTypeIterator.h"
Reid Spencere1aa0662007-03-03 06:22:22 +000021#include "llvm/ADT/APInt.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000022#include "llvm/ADT/Statistic.h"
Chris Lattner663ceeb2008-07-08 17:25:49 +000023#include "llvm/Support/CommandLine.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000024#include "llvm/Support/Debug.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000025#include "llvm/Support/ErrorHandling.h"
Reid Spencera54b7cb2007-01-12 07:05:14 +000026#include "llvm/Support/MathExtras.h"
Gabor Greif724441e2007-10-11 19:40:35 +000027#include <algorithm>
Anton Korobeynikovae9f3a32008-02-20 11:08:44 +000028#include <cmath>
Chris Lattner4af6de82003-11-25 20:44:56 +000029using namespace llvm;
Chris Lattnerfe11a972002-12-23 23:59:41 +000030
Chris Lattnercecf56b2006-12-19 22:56:53 +000031STATISTIC(NumDynamicInsts, "Number of dynamic instructions executed");
Brian Gaeked0fde302003-11-11 22:41:34 +000032
Chris Lattner663ceeb2008-07-08 17:25:49 +000033static cl::opt<bool> PrintVolatile("interpreter-print-volatile", cl::Hidden,
34 cl::desc("make the interpreter print every volatile load and store"));
35
Chris Lattner2e42d3a2001-10-15 05:51:48 +000036//===----------------------------------------------------------------------===//
Reid Spencere1aa0662007-03-03 06:22:22 +000037// Various Helper Functions
Chris Lattner39bb5b42001-10-15 13:25:40 +000038//===----------------------------------------------------------------------===//
Chris Lattner73011782003-12-28 09:44:37 +000039
Chris Lattner39bb5b42001-10-15 13:25:40 +000040static void SetValue(Value *V, GenericValue Val, ExecutionContext &SF) {
Brian Gaeke03e43dc2003-10-24 19:59:01 +000041 SF.Values[V] = Val;
Chris Lattner39bb5b42001-10-15 13:25:40 +000042}
43
Chris Lattner2adcd832002-05-03 19:52:30 +000044//===----------------------------------------------------------------------===//
Chris Lattner92101ac2001-08-23 17:05:04 +000045// Binary Instruction Implementations
46//===----------------------------------------------------------------------===//
47
48#define IMPLEMENT_BINARY_OPERATOR(OP, TY) \
Reid Spencerf9536332007-03-06 03:09:31 +000049 case Type::TY##TyID: \
50 Dest.TY##Val = Src1.TY##Val OP Src2.TY##Val; \
51 break
Chris Lattner92101ac2001-08-23 17:05:04 +000052
Dan Gohmanae3a0be2009-06-04 22:49:04 +000053static void executeFAddInst(GenericValue &Dest, GenericValue Src1,
Chris Lattnerdb125cf2011-07-18 04:54:35 +000054 GenericValue Src2, Type *Ty) {
Chris Lattnerf70c22b2004-06-17 18:19:28 +000055 switch (Ty->getTypeID()) {
Chris Lattner92101ac2001-08-23 17:05:04 +000056 IMPLEMENT_BINARY_OPERATOR(+, Float);
57 IMPLEMENT_BINARY_OPERATOR(+, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +000058 default:
David Greeneef573a32010-01-05 01:27:23 +000059 dbgs() << "Unhandled type for FAdd instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +000060 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +000061 }
Chris Lattner92101ac2001-08-23 17:05:04 +000062}
63
Dan Gohmanae3a0be2009-06-04 22:49:04 +000064static void executeFSubInst(GenericValue &Dest, GenericValue Src1,
Chris Lattnerdb125cf2011-07-18 04:54:35 +000065 GenericValue Src2, Type *Ty) {
Chris Lattnerf70c22b2004-06-17 18:19:28 +000066 switch (Ty->getTypeID()) {
Chris Lattner92101ac2001-08-23 17:05:04 +000067 IMPLEMENT_BINARY_OPERATOR(-, Float);
68 IMPLEMENT_BINARY_OPERATOR(-, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +000069 default:
David Greeneef573a32010-01-05 01:27:23 +000070 dbgs() << "Unhandled type for FSub instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +000071 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +000072 }
Chris Lattner92101ac2001-08-23 17:05:04 +000073}
74
Dan Gohmanae3a0be2009-06-04 22:49:04 +000075static void executeFMulInst(GenericValue &Dest, GenericValue Src1,
Chris Lattnerdb125cf2011-07-18 04:54:35 +000076 GenericValue Src2, Type *Ty) {
Chris Lattnerf70c22b2004-06-17 18:19:28 +000077 switch (Ty->getTypeID()) {
Chris Lattnerc2593162001-10-27 08:28:11 +000078 IMPLEMENT_BINARY_OPERATOR(*, Float);
79 IMPLEMENT_BINARY_OPERATOR(*, Double);
Chris Lattnerc2593162001-10-27 08:28:11 +000080 default:
David Greeneef573a32010-01-05 01:27:23 +000081 dbgs() << "Unhandled type for FMul instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +000082 llvm_unreachable(0);
Chris Lattnerc2593162001-10-27 08:28:11 +000083 }
Chris Lattnerc2593162001-10-27 08:28:11 +000084}
85
Reid Spencere1aa0662007-03-03 06:22:22 +000086static void executeFDivInst(GenericValue &Dest, GenericValue Src1,
Chris Lattnerdb125cf2011-07-18 04:54:35 +000087 GenericValue Src2, Type *Ty) {
Chris Lattnerf70c22b2004-06-17 18:19:28 +000088 switch (Ty->getTypeID()) {
Chris Lattnerc2593162001-10-27 08:28:11 +000089 IMPLEMENT_BINARY_OPERATOR(/, Float);
90 IMPLEMENT_BINARY_OPERATOR(/, Double);
Chris Lattnerc2593162001-10-27 08:28:11 +000091 default:
David Greeneef573a32010-01-05 01:27:23 +000092 dbgs() << "Unhandled type for FDiv instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +000093 llvm_unreachable(0);
Chris Lattnerbb76f022001-10-30 20:27:31 +000094 }
Chris Lattnerbb76f022001-10-30 20:27:31 +000095}
96
Reid Spencere1aa0662007-03-03 06:22:22 +000097static void executeFRemInst(GenericValue &Dest, GenericValue Src1,
Chris Lattnerdb125cf2011-07-18 04:54:35 +000098 GenericValue Src2, Type *Ty) {
Reid Spencer0a783f72006-11-02 01:53:59 +000099 switch (Ty->getTypeID()) {
Chris Lattnerbb76f022001-10-30 20:27:31 +0000100 case Type::FloatTyID:
101 Dest.FloatVal = fmod(Src1.FloatVal, Src2.FloatVal);
102 break;
103 case Type::DoubleTyID:
104 Dest.DoubleVal = fmod(Src1.DoubleVal, Src2.DoubleVal);
105 break;
106 default:
David Greeneef573a32010-01-05 01:27:23 +0000107 dbgs() << "Unhandled type for Rem instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000108 llvm_unreachable(0);
Chris Lattnerc2593162001-10-27 08:28:11 +0000109 }
Chris Lattnerc2593162001-10-27 08:28:11 +0000110}
111
Reid Spencerf9536332007-03-06 03:09:31 +0000112#define IMPLEMENT_INTEGER_ICMP(OP, TY) \
113 case Type::IntegerTyID: \
114 Dest.IntVal = APInt(1,Src1.IntVal.OP(Src2.IntVal)); \
115 break;
Chris Lattner92101ac2001-08-23 17:05:04 +0000116
Chris Lattnerfd506f52003-04-23 19:55:35 +0000117// Handle pointers specially because they must be compared with only as much
118// width as the host has. We _do not_ want to be comparing 64 bit values when
119// running on a 32-bit target, otherwise the upper 32 bits might mess up
120// comparisons if they contain garbage.
Reid Spencera54b7cb2007-01-12 07:05:14 +0000121#define IMPLEMENT_POINTER_ICMP(OP) \
Chris Lattnerfd506f52003-04-23 19:55:35 +0000122 case Type::PointerTyID: \
Reid Spencerf9536332007-03-06 03:09:31 +0000123 Dest.IntVal = APInt(1,(void*)(intptr_t)Src1.PointerVal OP \
124 (void*)(intptr_t)Src2.PointerVal); \
125 break;
Chris Lattnerfd506f52003-04-23 19:55:35 +0000126
Reid Spencere4d87aa2006-12-23 06:05:41 +0000127static GenericValue executeICMP_EQ(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000128 Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000129 GenericValue Dest;
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000130 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000131 IMPLEMENT_INTEGER_ICMP(eq,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000132 IMPLEMENT_POINTER_ICMP(==);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000133 default:
David Greeneef573a32010-01-05 01:27:23 +0000134 dbgs() << "Unhandled type for ICMP_EQ predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000135 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000136 }
137 return Dest;
138}
139
140static GenericValue executeICMP_NE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000141 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000142 GenericValue Dest;
143 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000144 IMPLEMENT_INTEGER_ICMP(ne,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000145 IMPLEMENT_POINTER_ICMP(!=);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000146 default:
David Greeneef573a32010-01-05 01:27:23 +0000147 dbgs() << "Unhandled type for ICMP_NE predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000148 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000149 }
150 return Dest;
151}
152
153static GenericValue executeICMP_ULT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000154 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000155 GenericValue Dest;
156 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000157 IMPLEMENT_INTEGER_ICMP(ult,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000158 IMPLEMENT_POINTER_ICMP(<);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000159 default:
David Greeneef573a32010-01-05 01:27:23 +0000160 dbgs() << "Unhandled type for ICMP_ULT predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000161 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000162 }
163 return Dest;
164}
165
166static GenericValue executeICMP_SLT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000167 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000168 GenericValue Dest;
169 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000170 IMPLEMENT_INTEGER_ICMP(slt,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000171 IMPLEMENT_POINTER_ICMP(<);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000172 default:
David Greeneef573a32010-01-05 01:27:23 +0000173 dbgs() << "Unhandled type for ICMP_SLT predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000174 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000175 }
176 return Dest;
177}
178
179static GenericValue executeICMP_UGT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000180 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000181 GenericValue Dest;
182 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000183 IMPLEMENT_INTEGER_ICMP(ugt,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000184 IMPLEMENT_POINTER_ICMP(>);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000185 default:
David Greeneef573a32010-01-05 01:27:23 +0000186 dbgs() << "Unhandled type for ICMP_UGT predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000187 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000188 }
189 return Dest;
190}
191
192static GenericValue executeICMP_SGT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000193 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000194 GenericValue Dest;
195 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000196 IMPLEMENT_INTEGER_ICMP(sgt,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000197 IMPLEMENT_POINTER_ICMP(>);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000198 default:
David Greeneef573a32010-01-05 01:27:23 +0000199 dbgs() << "Unhandled type for ICMP_SGT predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000200 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000201 }
202 return Dest;
203}
204
205static GenericValue executeICMP_ULE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000206 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000207 GenericValue Dest;
208 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000209 IMPLEMENT_INTEGER_ICMP(ule,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000210 IMPLEMENT_POINTER_ICMP(<=);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000211 default:
David Greeneef573a32010-01-05 01:27:23 +0000212 dbgs() << "Unhandled type for ICMP_ULE predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000213 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000214 }
215 return Dest;
216}
217
218static GenericValue executeICMP_SLE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000219 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000220 GenericValue Dest;
221 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000222 IMPLEMENT_INTEGER_ICMP(sle,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000223 IMPLEMENT_POINTER_ICMP(<=);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000224 default:
David Greeneef573a32010-01-05 01:27:23 +0000225 dbgs() << "Unhandled type for ICMP_SLE predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000226 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000227 }
228 return Dest;
229}
230
231static GenericValue executeICMP_UGE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000232 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000233 GenericValue Dest;
234 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000235 IMPLEMENT_INTEGER_ICMP(uge,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000236 IMPLEMENT_POINTER_ICMP(>=);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000237 default:
David Greeneef573a32010-01-05 01:27:23 +0000238 dbgs() << "Unhandled type for ICMP_UGE predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000239 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000240 }
241 return Dest;
242}
243
244static GenericValue executeICMP_SGE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000245 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000246 GenericValue Dest;
247 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000248 IMPLEMENT_INTEGER_ICMP(sge,Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000249 IMPLEMENT_POINTER_ICMP(>=);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000250 default:
David Greeneef573a32010-01-05 01:27:23 +0000251 dbgs() << "Unhandled type for ICMP_SGE predicate: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000252 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000253 }
254 return Dest;
255}
256
Reid Spencere49661b2006-12-31 05:51:36 +0000257void Interpreter::visitICmpInst(ICmpInst &I) {
258 ExecutionContext &SF = ECStack.back();
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000259 Type *Ty = I.getOperand(0)->getType();
Reid Spencere49661b2006-12-31 05:51:36 +0000260 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
261 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
262 GenericValue R; // Result
263
264 switch (I.getPredicate()) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000265 case ICmpInst::ICMP_EQ: R = executeICMP_EQ(Src1, Src2, Ty); break;
266 case ICmpInst::ICMP_NE: R = executeICMP_NE(Src1, Src2, Ty); break;
Reid Spencere49661b2006-12-31 05:51:36 +0000267 case ICmpInst::ICMP_ULT: R = executeICMP_ULT(Src1, Src2, Ty); break;
268 case ICmpInst::ICMP_SLT: R = executeICMP_SLT(Src1, Src2, Ty); break;
269 case ICmpInst::ICMP_UGT: R = executeICMP_UGT(Src1, Src2, Ty); break;
270 case ICmpInst::ICMP_SGT: R = executeICMP_SGT(Src1, Src2, Ty); break;
271 case ICmpInst::ICMP_ULE: R = executeICMP_ULE(Src1, Src2, Ty); break;
272 case ICmpInst::ICMP_SLE: R = executeICMP_SLE(Src1, Src2, Ty); break;
273 case ICmpInst::ICMP_UGE: R = executeICMP_UGE(Src1, Src2, Ty); break;
274 case ICmpInst::ICMP_SGE: R = executeICMP_SGE(Src1, Src2, Ty); break;
275 default:
David Greeneef573a32010-01-05 01:27:23 +0000276 dbgs() << "Don't know how to handle this ICmp predicate!\n-->" << I;
Torok Edwinc23197a2009-07-14 16:55:14 +0000277 llvm_unreachable(0);
Reid Spencere49661b2006-12-31 05:51:36 +0000278 }
279
280 SetValue(&I, R, SF);
281}
282
283#define IMPLEMENT_FCMP(OP, TY) \
Reid Spencerf9536332007-03-06 03:09:31 +0000284 case Type::TY##TyID: \
285 Dest.IntVal = APInt(1,Src1.TY##Val OP Src2.TY##Val); \
286 break
Reid Spencere4d87aa2006-12-23 06:05:41 +0000287
Reid Spencera54b7cb2007-01-12 07:05:14 +0000288static GenericValue executeFCMP_OEQ(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000289 Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000290 GenericValue Dest;
291 switch (Ty->getTypeID()) {
Reid Spencere49661b2006-12-31 05:51:36 +0000292 IMPLEMENT_FCMP(==, Float);
293 IMPLEMENT_FCMP(==, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +0000294 default:
David Greeneef573a32010-01-05 01:27:23 +0000295 dbgs() << "Unhandled type for FCmp EQ instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000296 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +0000297 }
298 return Dest;
299}
300
Reid Spencera54b7cb2007-01-12 07:05:14 +0000301static GenericValue executeFCMP_ONE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000302 Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000303 GenericValue Dest;
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000304 switch (Ty->getTypeID()) {
Reid Spencere49661b2006-12-31 05:51:36 +0000305 IMPLEMENT_FCMP(!=, Float);
306 IMPLEMENT_FCMP(!=, Double);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000307
Chris Lattner92101ac2001-08-23 17:05:04 +0000308 default:
David Greeneef573a32010-01-05 01:27:23 +0000309 dbgs() << "Unhandled type for FCmp NE instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000310 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +0000311 }
312 return Dest;
313}
314
Reid Spencera54b7cb2007-01-12 07:05:14 +0000315static GenericValue executeFCMP_OLE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000316 Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000317 GenericValue Dest;
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000318 switch (Ty->getTypeID()) {
Reid Spencere49661b2006-12-31 05:51:36 +0000319 IMPLEMENT_FCMP(<=, Float);
320 IMPLEMENT_FCMP(<=, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +0000321 default:
David Greeneef573a32010-01-05 01:27:23 +0000322 dbgs() << "Unhandled type for FCmp LE instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000323 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +0000324 }
325 return Dest;
326}
327
Reid Spencera54b7cb2007-01-12 07:05:14 +0000328static GenericValue executeFCMP_OGE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000329 Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000330 GenericValue Dest;
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000331 switch (Ty->getTypeID()) {
Reid Spencere49661b2006-12-31 05:51:36 +0000332 IMPLEMENT_FCMP(>=, Float);
333 IMPLEMENT_FCMP(>=, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +0000334 default:
David Greeneef573a32010-01-05 01:27:23 +0000335 dbgs() << "Unhandled type for FCmp GE instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000336 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +0000337 }
338 return Dest;
339}
340
Reid Spencera54b7cb2007-01-12 07:05:14 +0000341static GenericValue executeFCMP_OLT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000342 Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000343 GenericValue Dest;
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000344 switch (Ty->getTypeID()) {
Reid Spencere49661b2006-12-31 05:51:36 +0000345 IMPLEMENT_FCMP(<, Float);
346 IMPLEMENT_FCMP(<, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +0000347 default:
David Greeneef573a32010-01-05 01:27:23 +0000348 dbgs() << "Unhandled type for FCmp LT instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000349 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +0000350 }
351 return Dest;
352}
353
Reid Spencera54b7cb2007-01-12 07:05:14 +0000354static GenericValue executeFCMP_OGT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000355 Type *Ty) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000356 GenericValue Dest;
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000357 switch (Ty->getTypeID()) {
Reid Spencere49661b2006-12-31 05:51:36 +0000358 IMPLEMENT_FCMP(>, Float);
359 IMPLEMENT_FCMP(>, Double);
Chris Lattner92101ac2001-08-23 17:05:04 +0000360 default:
David Greeneef573a32010-01-05 01:27:23 +0000361 dbgs() << "Unhandled type for FCmp GT instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000362 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +0000363 }
364 return Dest;
365}
366
Anton Korobeynikov4c71dfe2008-02-20 11:10:28 +0000367#define IMPLEMENT_UNORDERED(TY, X,Y) \
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000368 if (TY->isFloatTy()) { \
Anton Korobeynikov4c71dfe2008-02-20 11:10:28 +0000369 if (X.FloatVal != X.FloatVal || Y.FloatVal != Y.FloatVal) { \
370 Dest.IntVal = APInt(1,true); \
371 return Dest; \
372 } \
373 } else if (X.DoubleVal != X.DoubleVal || Y.DoubleVal != Y.DoubleVal) { \
374 Dest.IntVal = APInt(1,true); \
375 return Dest; \
376 }
Reid Spencera54b7cb2007-01-12 07:05:14 +0000377
378
379static GenericValue executeFCMP_UEQ(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000380 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000381 GenericValue Dest;
382 IMPLEMENT_UNORDERED(Ty, Src1, Src2)
383 return executeFCMP_OEQ(Src1, Src2, Ty);
384}
385
386static GenericValue executeFCMP_UNE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000387 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000388 GenericValue Dest;
389 IMPLEMENT_UNORDERED(Ty, Src1, Src2)
390 return executeFCMP_ONE(Src1, Src2, Ty);
391}
392
393static GenericValue executeFCMP_ULE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000394 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000395 GenericValue Dest;
396 IMPLEMENT_UNORDERED(Ty, Src1, Src2)
397 return executeFCMP_OLE(Src1, Src2, Ty);
398}
399
400static GenericValue executeFCMP_UGE(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000401 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000402 GenericValue Dest;
403 IMPLEMENT_UNORDERED(Ty, Src1, Src2)
404 return executeFCMP_OGE(Src1, Src2, Ty);
405}
406
407static GenericValue executeFCMP_ULT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000408 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000409 GenericValue Dest;
410 IMPLEMENT_UNORDERED(Ty, Src1, Src2)
411 return executeFCMP_OLT(Src1, Src2, Ty);
412}
413
414static GenericValue executeFCMP_UGT(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000415 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000416 GenericValue Dest;
417 IMPLEMENT_UNORDERED(Ty, Src1, Src2)
418 return executeFCMP_OGT(Src1, Src2, Ty);
419}
420
421static GenericValue executeFCMP_ORD(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000422 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000423 GenericValue Dest;
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000424 if (Ty->isFloatTy())
Reid Spencerf9536332007-03-06 03:09:31 +0000425 Dest.IntVal = APInt(1,(Src1.FloatVal == Src1.FloatVal &&
426 Src2.FloatVal == Src2.FloatVal));
Reid Spencera54b7cb2007-01-12 07:05:14 +0000427 else
Reid Spencerf9536332007-03-06 03:09:31 +0000428 Dest.IntVal = APInt(1,(Src1.DoubleVal == Src1.DoubleVal &&
429 Src2.DoubleVal == Src2.DoubleVal));
Reid Spencera54b7cb2007-01-12 07:05:14 +0000430 return Dest;
431}
432
433static GenericValue executeFCMP_UNO(GenericValue Src1, GenericValue Src2,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000434 Type *Ty) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000435 GenericValue Dest;
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000436 if (Ty->isFloatTy())
Reid Spencerf9536332007-03-06 03:09:31 +0000437 Dest.IntVal = APInt(1,(Src1.FloatVal != Src1.FloatVal ||
438 Src2.FloatVal != Src2.FloatVal));
Reid Spencera54b7cb2007-01-12 07:05:14 +0000439 else
Reid Spencerf9536332007-03-06 03:09:31 +0000440 Dest.IntVal = APInt(1,(Src1.DoubleVal != Src1.DoubleVal ||
441 Src2.DoubleVal != Src2.DoubleVal));
Reid Spencera54b7cb2007-01-12 07:05:14 +0000442 return Dest;
443}
444
Reid Spencere4d87aa2006-12-23 06:05:41 +0000445void Interpreter::visitFCmpInst(FCmpInst &I) {
446 ExecutionContext &SF = ECStack.back();
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000447 Type *Ty = I.getOperand(0)->getType();
Reid Spencere4d87aa2006-12-23 06:05:41 +0000448 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
449 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
450 GenericValue R; // Result
451
452 switch (I.getPredicate()) {
Reid Spencerf9536332007-03-06 03:09:31 +0000453 case FCmpInst::FCMP_FALSE: R.IntVal = APInt(1,false); break;
454 case FCmpInst::FCMP_TRUE: R.IntVal = APInt(1,true); break;
Reid Spencera54b7cb2007-01-12 07:05:14 +0000455 case FCmpInst::FCMP_ORD: R = executeFCMP_ORD(Src1, Src2, Ty); break;
456 case FCmpInst::FCMP_UNO: R = executeFCMP_UNO(Src1, Src2, Ty); break;
457 case FCmpInst::FCMP_UEQ: R = executeFCMP_UEQ(Src1, Src2, Ty); break;
458 case FCmpInst::FCMP_OEQ: R = executeFCMP_OEQ(Src1, Src2, Ty); break;
459 case FCmpInst::FCMP_UNE: R = executeFCMP_UNE(Src1, Src2, Ty); break;
460 case FCmpInst::FCMP_ONE: R = executeFCMP_ONE(Src1, Src2, Ty); break;
461 case FCmpInst::FCMP_ULT: R = executeFCMP_ULT(Src1, Src2, Ty); break;
462 case FCmpInst::FCMP_OLT: R = executeFCMP_OLT(Src1, Src2, Ty); break;
463 case FCmpInst::FCMP_UGT: R = executeFCMP_UGT(Src1, Src2, Ty); break;
464 case FCmpInst::FCMP_OGT: R = executeFCMP_OGT(Src1, Src2, Ty); break;
465 case FCmpInst::FCMP_ULE: R = executeFCMP_ULE(Src1, Src2, Ty); break;
466 case FCmpInst::FCMP_OLE: R = executeFCMP_OLE(Src1, Src2, Ty); break;
467 case FCmpInst::FCMP_UGE: R = executeFCMP_UGE(Src1, Src2, Ty); break;
468 case FCmpInst::FCMP_OGE: R = executeFCMP_OGE(Src1, Src2, Ty); break;
Reid Spencere4d87aa2006-12-23 06:05:41 +0000469 default:
David Greeneef573a32010-01-05 01:27:23 +0000470 dbgs() << "Don't know how to handle this FCmp predicate!\n-->" << I;
Torok Edwinc23197a2009-07-14 16:55:14 +0000471 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000472 }
473
474 SetValue(&I, R, SF);
475}
476
Reid Spencere4d87aa2006-12-23 06:05:41 +0000477static GenericValue executeCmpInst(unsigned predicate, GenericValue Src1,
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000478 GenericValue Src2, Type *Ty) {
Reid Spencere4d87aa2006-12-23 06:05:41 +0000479 GenericValue Result;
480 switch (predicate) {
481 case ICmpInst::ICMP_EQ: return executeICMP_EQ(Src1, Src2, Ty);
482 case ICmpInst::ICMP_NE: return executeICMP_NE(Src1, Src2, Ty);
483 case ICmpInst::ICMP_UGT: return executeICMP_UGT(Src1, Src2, Ty);
484 case ICmpInst::ICMP_SGT: return executeICMP_SGT(Src1, Src2, Ty);
485 case ICmpInst::ICMP_ULT: return executeICMP_ULT(Src1, Src2, Ty);
486 case ICmpInst::ICMP_SLT: return executeICMP_SLT(Src1, Src2, Ty);
487 case ICmpInst::ICMP_UGE: return executeICMP_UGE(Src1, Src2, Ty);
488 case ICmpInst::ICMP_SGE: return executeICMP_SGE(Src1, Src2, Ty);
489 case ICmpInst::ICMP_ULE: return executeICMP_ULE(Src1, Src2, Ty);
490 case ICmpInst::ICMP_SLE: return executeICMP_SLE(Src1, Src2, Ty);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000491 case FCmpInst::FCMP_ORD: return executeFCMP_ORD(Src1, Src2, Ty);
492 case FCmpInst::FCMP_UNO: return executeFCMP_UNO(Src1, Src2, Ty);
493 case FCmpInst::FCMP_OEQ: return executeFCMP_OEQ(Src1, Src2, Ty);
494 case FCmpInst::FCMP_UEQ: return executeFCMP_UEQ(Src1, Src2, Ty);
495 case FCmpInst::FCMP_ONE: return executeFCMP_ONE(Src1, Src2, Ty);
496 case FCmpInst::FCMP_UNE: return executeFCMP_UNE(Src1, Src2, Ty);
497 case FCmpInst::FCMP_OLT: return executeFCMP_OLT(Src1, Src2, Ty);
498 case FCmpInst::FCMP_ULT: return executeFCMP_ULT(Src1, Src2, Ty);
499 case FCmpInst::FCMP_OGT: return executeFCMP_OGT(Src1, Src2, Ty);
500 case FCmpInst::FCMP_UGT: return executeFCMP_UGT(Src1, Src2, Ty);
501 case FCmpInst::FCMP_OLE: return executeFCMP_OLE(Src1, Src2, Ty);
502 case FCmpInst::FCMP_ULE: return executeFCMP_ULE(Src1, Src2, Ty);
503 case FCmpInst::FCMP_OGE: return executeFCMP_OGE(Src1, Src2, Ty);
504 case FCmpInst::FCMP_UGE: return executeFCMP_UGE(Src1, Src2, Ty);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000505 case FCmpInst::FCMP_FALSE: {
506 GenericValue Result;
Reid Spencerf9536332007-03-06 03:09:31 +0000507 Result.IntVal = APInt(1, false);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000508 return Result;
509 }
510 case FCmpInst::FCMP_TRUE: {
511 GenericValue Result;
Reid Spencerf9536332007-03-06 03:09:31 +0000512 Result.IntVal = APInt(1, true);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000513 return Result;
514 }
515 default:
David Greeneef573a32010-01-05 01:27:23 +0000516 dbgs() << "Unhandled Cmp predicate\n";
Torok Edwinc23197a2009-07-14 16:55:14 +0000517 llvm_unreachable(0);
Reid Spencere4d87aa2006-12-23 06:05:41 +0000518 }
519}
520
Chris Lattnerd7916e92003-05-10 21:22:39 +0000521void Interpreter::visitBinaryOperator(BinaryOperator &I) {
522 ExecutionContext &SF = ECStack.back();
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000523 Type *Ty = I.getOperand(0)->getType();
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000524 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
525 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000526 GenericValue R; // Result
527
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000528 switch (I.getOpcode()) {
Dan Gohmanae3a0be2009-06-04 22:49:04 +0000529 case Instruction::Add: R.IntVal = Src1.IntVal + Src2.IntVal; break;
530 case Instruction::Sub: R.IntVal = Src1.IntVal - Src2.IntVal; break;
531 case Instruction::Mul: R.IntVal = Src1.IntVal * Src2.IntVal; break;
532 case Instruction::FAdd: executeFAddInst(R, Src1, Src2, Ty); break;
533 case Instruction::FSub: executeFSubInst(R, Src1, Src2, Ty); break;
534 case Instruction::FMul: executeFMulInst(R, Src1, Src2, Ty); break;
535 case Instruction::FDiv: executeFDivInst(R, Src1, Src2, Ty); break;
536 case Instruction::FRem: executeFRemInst(R, Src1, Src2, Ty); break;
Reid Spencerf9536332007-03-06 03:09:31 +0000537 case Instruction::UDiv: R.IntVal = Src1.IntVal.udiv(Src2.IntVal); break;
538 case Instruction::SDiv: R.IntVal = Src1.IntVal.sdiv(Src2.IntVal); break;
539 case Instruction::URem: R.IntVal = Src1.IntVal.urem(Src2.IntVal); break;
540 case Instruction::SRem: R.IntVal = Src1.IntVal.srem(Src2.IntVal); break;
541 case Instruction::And: R.IntVal = Src1.IntVal & Src2.IntVal; break;
542 case Instruction::Or: R.IntVal = Src1.IntVal | Src2.IntVal; break;
543 case Instruction::Xor: R.IntVal = Src1.IntVal ^ Src2.IntVal; break;
Chris Lattner92101ac2001-08-23 17:05:04 +0000544 default:
David Greeneef573a32010-01-05 01:27:23 +0000545 dbgs() << "Don't know how to handle this binary operator!\n-->" << I;
Torok Edwinc23197a2009-07-14 16:55:14 +0000546 llvm_unreachable(0);
Chris Lattner92101ac2001-08-23 17:05:04 +0000547 }
548
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000549 SetValue(&I, R, SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000550}
551
Misha Brukmand1c881a2005-04-21 22:43:08 +0000552static GenericValue executeSelectInst(GenericValue Src1, GenericValue Src2,
Chris Lattner759d34f2004-04-20 16:43:21 +0000553 GenericValue Src3) {
Reid Spencerf9536332007-03-06 03:09:31 +0000554 return Src1.IntVal == 0 ? Src3 : Src2;
Chris Lattner759d34f2004-04-20 16:43:21 +0000555}
556
557void Interpreter::visitSelectInst(SelectInst &I) {
558 ExecutionContext &SF = ECStack.back();
559 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
560 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
561 GenericValue Src3 = getOperandValue(I.getOperand(2), SF);
Reid Spencerf9536332007-03-06 03:09:31 +0000562 GenericValue R = executeSelectInst(Src1, Src2, Src3);
Chris Lattner759d34f2004-04-20 16:43:21 +0000563 SetValue(&I, R, SF);
564}
565
566
Chris Lattner92101ac2001-08-23 17:05:04 +0000567//===----------------------------------------------------------------------===//
568// Terminator Instruction Implementations
569//===----------------------------------------------------------------------===//
570
Chris Lattnere43db882001-10-27 04:15:57 +0000571void Interpreter::exitCalled(GenericValue GV) {
Brian Gaeked8400d82004-02-13 05:48:00 +0000572 // runAtExitHandlers() assumes there are no stack frames, but
573 // if exit() was called, then it had a stack frame. Blow away
574 // the stack before interpreting atexit handlers.
Chris Lattnerf32a6a32009-10-29 05:26:09 +0000575 ECStack.clear();
576 runAtExitHandlers();
577 exit(GV.IntVal.zextOrTrunc(32).getZExtValue());
Chris Lattnere43db882001-10-27 04:15:57 +0000578}
579
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000580/// Pop the last stack frame off of ECStack and then copy the result
581/// back into the result variable if we are not returning void. The
Jeff Cohen8c9191c2006-02-07 05:29:44 +0000582/// result variable may be the ExitValue, or the Value of the calling
Brian Gaekedbde1ae2003-11-07 20:44:58 +0000583/// CallInst if there was a previous stack frame. This method may
584/// invalidate any ECStack iterators you have. This method also takes
585/// care of switching to the normal destination BB, if we are returning
586/// from an invoke.
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000587///
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000588void Interpreter::popStackAndReturnValueToCaller(Type *RetTy,
Chris Lattnerf32a6a32009-10-29 05:26:09 +0000589 GenericValue Result) {
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000590 // Pop the current stack frame.
591 ECStack.pop_back();
592
Misha Brukmand1c881a2005-04-21 22:43:08 +0000593 if (ECStack.empty()) { // Finished main. Put result into exit code...
Dan Gohman96343312010-06-18 02:01:10 +0000594 if (RetTy && !RetTy->isVoidTy()) { // Nonvoid return type?
Jeff Cohen8c9191c2006-02-07 05:29:44 +0000595 ExitValue = Result; // Capture the exit value of the program
Misha Brukmand1c881a2005-04-21 22:43:08 +0000596 } else {
Reid Spencere7707872007-06-01 22:23:29 +0000597 memset(&ExitValue.Untyped, 0, sizeof(ExitValue.Untyped));
Misha Brukmand1c881a2005-04-21 22:43:08 +0000598 }
599 } else {
600 // If we have a previous stack frame, and we have a previous call,
601 // fill in the return value...
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000602 ExecutionContext &CallingSF = ECStack.back();
Brian Gaekedbde1ae2003-11-07 20:44:58 +0000603 if (Instruction *I = CallingSF.Caller.getInstruction()) {
Owen Anderson1d0be152009-08-13 21:58:54 +0000604 // Save result...
Benjamin Kramerf0127052010-01-05 13:12:22 +0000605 if (!CallingSF.Caller.getType()->isVoidTy())
Brian Gaekedbde1ae2003-11-07 20:44:58 +0000606 SetValue(I, Result, CallingSF);
607 if (InvokeInst *II = dyn_cast<InvokeInst> (I))
608 SwitchToNewBasicBlock (II->getNormalDest (), CallingSF);
Brian Gaeke2cb474c2003-11-07 19:26:23 +0000609 CallingSF.Caller = CallSite(); // We returned from the call...
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000610 }
611 }
612}
613
Chris Lattnerd7916e92003-05-10 21:22:39 +0000614void Interpreter::visitReturnInst(ReturnInst &I) {
615 ExecutionContext &SF = ECStack.back();
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000616 Type *RetTy = Type::getVoidTy(I.getContext());
Chris Lattner92101ac2001-08-23 17:05:04 +0000617 GenericValue Result;
618
619 // Save away the return value... (if we are not 'ret void')
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000620 if (I.getNumOperands()) {
621 RetTy = I.getReturnValue()->getType();
622 Result = getOperandValue(I.getReturnValue(), SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000623 }
624
Brian Gaekeaf955ba2003-11-07 05:22:49 +0000625 popStackAndReturnValueToCaller(RetTy, Result);
Chris Lattner92101ac2001-08-23 17:05:04 +0000626}
627
Chris Lattnerec7c1ab2004-10-16 18:21:33 +0000628void Interpreter::visitUnreachableInst(UnreachableInst &I) {
Chris Lattner75361b62010-04-07 22:58:41 +0000629 report_fatal_error("Program executed an 'unreachable' instruction!");
Chris Lattnerec7c1ab2004-10-16 18:21:33 +0000630}
631
Chris Lattnerd7916e92003-05-10 21:22:39 +0000632void Interpreter::visitBranchInst(BranchInst &I) {
633 ExecutionContext &SF = ECStack.back();
Chris Lattner92101ac2001-08-23 17:05:04 +0000634 BasicBlock *Dest;
635
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000636 Dest = I.getSuccessor(0); // Uncond branches have a fixed dest...
637 if (!I.isUnconditional()) {
638 Value *Cond = I.getCondition();
Reid Spencerf9536332007-03-06 03:09:31 +0000639 if (getOperandValue(Cond, SF).IntVal == 0) // If false cond...
Misha Brukmand1c881a2005-04-21 22:43:08 +0000640 Dest = I.getSuccessor(1);
Chris Lattner92101ac2001-08-23 17:05:04 +0000641 }
Chris Lattner77113b62003-05-10 20:21:16 +0000642 SwitchToNewBasicBlock(Dest, SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000643}
644
Chris Lattnerd7916e92003-05-10 21:22:39 +0000645void Interpreter::visitSwitchInst(SwitchInst &I) {
646 ExecutionContext &SF = ECStack.back();
Eli Friedmanbb5a7442011-09-29 20:21:17 +0000647 Value* Cond = I.getCondition();
648 Type *ElTy = Cond->getType();
649 GenericValue CondVal = getOperandValue(Cond, SF);
Chris Lattner09e93922003-04-22 20:34:47 +0000650
651 // Check to see if any of the cases match...
Chris Lattner77113b62003-05-10 20:21:16 +0000652 BasicBlock *Dest = 0;
Stepan Dyatkovskiy3d3abe02012-03-11 06:09:17 +0000653 for (SwitchInst::CaseIt i = I.case_begin(), e = I.case_end(); i != e; ++i) {
Stepan Dyatkovskiy1c8f4b82012-05-21 10:44:40 +0000654 ConstantRangesSet Case = i.getCaseValueEx();
655 for (unsigned n = 0, en = Case.getNumItems(); n != en; ++n) {
656 ConstantRangesSet::Range r = Case.getItem(n);
Stepan Dyatkovskiy484fc932012-05-28 12:39:09 +0000657 // FIXME: Currently work with ConstantInt based numbers.
658 const ConstantInt *LowCI = r.Low.getImplementation();
659 const ConstantInt *HighCI = r.High.getImplementation();
660 GenericValue Low = getOperandValue(const_cast<ConstantInt*>(LowCI), SF);
661 GenericValue High = getOperandValue(const_cast<ConstantInt*>(HighCI), SF);
Stepan Dyatkovskiy1c8f4b82012-05-21 10:44:40 +0000662 if (executeICMP_ULE(Low, CondVal, ElTy).IntVal != 0 &&
663 executeICMP_ULE(CondVal, High, ElTy).IntVal != 0) {
664 Dest = cast<BasicBlock>(i.getCaseSuccessor());
665 break;
666 }
Chris Lattner09e93922003-04-22 20:34:47 +0000667 }
Eli Friedmanbb5a7442011-09-29 20:21:17 +0000668 }
Chris Lattner09e93922003-04-22 20:34:47 +0000669 if (!Dest) Dest = I.getDefaultDest(); // No cases matched: use default
Chris Lattner77113b62003-05-10 20:21:16 +0000670 SwitchToNewBasicBlock(Dest, SF);
671}
672
Chris Lattnerf32a6a32009-10-29 05:26:09 +0000673void Interpreter::visitIndirectBrInst(IndirectBrInst &I) {
674 ExecutionContext &SF = ECStack.back();
675 void *Dest = GVTOP(getOperandValue(I.getAddress(), SF));
676 SwitchToNewBasicBlock((BasicBlock*)Dest, SF);
677}
678
679
Chris Lattner77113b62003-05-10 20:21:16 +0000680// SwitchToNewBasicBlock - This method is used to jump to a new basic block.
681// This function handles the actual updating of block and instruction iterators
682// as well as execution of all of the PHI nodes in the destination block.
683//
684// This method does this because all of the PHI nodes must be executed
685// atomically, reading their inputs before any of the results are updated. Not
686// doing this can cause problems if the PHI nodes depend on other PHI nodes for
687// their inputs. If the input PHI node is updated before it is read, incorrect
688// results can happen. Thus we use a two phase approach.
689//
690void Interpreter::SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF){
691 BasicBlock *PrevBB = SF.CurBB; // Remember where we came from...
692 SF.CurBB = Dest; // Update CurBB to branch destination
693 SF.CurInst = SF.CurBB->begin(); // Update new instruction ptr...
694
695 if (!isa<PHINode>(SF.CurInst)) return; // Nothing fancy to do
696
697 // Loop over all of the PHI nodes in the current block, reading their inputs.
698 std::vector<GenericValue> ResultValues;
699
700 for (; PHINode *PN = dyn_cast<PHINode>(SF.CurInst); ++SF.CurInst) {
701 // Search for the value corresponding to this previous bb...
702 int i = PN->getBasicBlockIndex(PrevBB);
703 assert(i != -1 && "PHINode doesn't contain entry for predecessor??");
704 Value *IncomingValue = PN->getIncomingValue(i);
Misha Brukmand1c881a2005-04-21 22:43:08 +0000705
Chris Lattner77113b62003-05-10 20:21:16 +0000706 // Save the incoming value for this PHI node...
707 ResultValues.push_back(getOperandValue(IncomingValue, SF));
708 }
709
710 // Now loop over all of the PHI nodes setting their values...
711 SF.CurInst = SF.CurBB->begin();
Reid Spencer2da5c3d2004-09-15 17:06:42 +0000712 for (unsigned i = 0; isa<PHINode>(SF.CurInst); ++SF.CurInst, ++i) {
713 PHINode *PN = cast<PHINode>(SF.CurInst);
Chris Lattner77113b62003-05-10 20:21:16 +0000714 SetValue(PN, ResultValues[i], SF);
Reid Spencer2da5c3d2004-09-15 17:06:42 +0000715 }
Chris Lattner09e93922003-04-22 20:34:47 +0000716}
717
Chris Lattner92101ac2001-08-23 17:05:04 +0000718//===----------------------------------------------------------------------===//
Chris Lattner86660982001-08-27 05:16:50 +0000719// Memory Instruction Implementations
720//===----------------------------------------------------------------------===//
721
Victor Hernandez7b929da2009-10-23 21:09:37 +0000722void Interpreter::visitAllocaInst(AllocaInst &I) {
Chris Lattnerd7916e92003-05-10 21:22:39 +0000723 ExecutionContext &SF = ECStack.back();
724
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000725 Type *Ty = I.getType()->getElementType(); // Type to be allocated
Chris Lattner86660982001-08-27 05:16:50 +0000726
Chris Lattnercc82cc12002-04-28 21:57:33 +0000727 // Get the number of elements being allocated by the array...
Reid Spencerf9536332007-03-06 03:09:31 +0000728 unsigned NumElements =
729 getOperandValue(I.getOperand(0), SF).IntVal.getZExtValue();
730
Duncan Sands777d2302009-05-09 07:06:46 +0000731 unsigned TypeSize = (size_t)TD.getTypeAllocSize(Ty);
Reid Spencerf9536332007-03-06 03:09:31 +0000732
Gabor Greif724441e2007-10-11 19:40:35 +0000733 // Avoid malloc-ing zero bytes, use max()...
734 unsigned MemToAlloc = std::max(1U, NumElements * TypeSize);
Chris Lattner86660982001-08-27 05:16:50 +0000735
736 // Allocate enough memory to hold the type...
Reid Spencerf9536332007-03-06 03:09:31 +0000737 void *Memory = malloc(MemToAlloc);
738
David Greeneef573a32010-01-05 01:27:23 +0000739 DEBUG(dbgs() << "Allocated Type: " << *Ty << " (" << TypeSize << " bytes) x "
Chris Lattner79c5d3f2009-08-23 04:52:46 +0000740 << NumElements << " (Total: " << MemToAlloc << ") at "
741 << uintptr_t(Memory) << '\n');
Chris Lattner9bffa732002-02-19 18:50:09 +0000742
Chris Lattnerfe11a972002-12-23 23:59:41 +0000743 GenericValue Result = PTOGV(Memory);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000744 assert(Result.PointerVal != 0 && "Null pointer returned by malloc!");
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000745 SetValue(&I, Result, SF);
Chris Lattner86660982001-08-27 05:16:50 +0000746
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000747 if (I.getOpcode() == Instruction::Alloca)
Chris Lattner9bffa732002-02-19 18:50:09 +0000748 ECStack.back().Allocas.add(Memory);
Chris Lattner86660982001-08-27 05:16:50 +0000749}
750
Chris Lattnera34c5682002-08-27 22:33:45 +0000751// getElementOffset - The workhorse for getelementptr.
Chris Lattner95c3af52001-10-29 19:32:19 +0000752//
Chris Lattner4af6de82003-11-25 20:44:56 +0000753GenericValue Interpreter::executeGEPOperation(Value *Ptr, gep_type_iterator I,
Misha Brukmand1c881a2005-04-21 22:43:08 +0000754 gep_type_iterator E,
755 ExecutionContext &SF) {
Duncan Sands1df98592010-02-16 11:11:14 +0000756 assert(Ptr->getType()->isPointerTy() &&
Chris Lattner95c3af52001-10-29 19:32:19 +0000757 "Cannot getElementOffset of a nonpointer type!");
758
Reid Spencerf9536332007-03-06 03:09:31 +0000759 uint64_t Total = 0;
Chris Lattnera34c5682002-08-27 22:33:45 +0000760
761 for (; I != E; ++I) {
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000762 if (StructType *STy = dyn_cast<StructType>(*I)) {
Chris Lattner782b9392001-11-26 18:18:18 +0000763 const StructLayout *SLO = TD.getStructLayout(STy);
Misha Brukmand1c881a2005-04-21 22:43:08 +0000764
Reid Spencerb83eb642006-10-20 07:07:24 +0000765 const ConstantInt *CPU = cast<ConstantInt>(I.getOperand());
766 unsigned Index = unsigned(CPU->getZExtValue());
Misha Brukmand1c881a2005-04-21 22:43:08 +0000767
Reid Spencerf9536332007-03-06 03:09:31 +0000768 Total += SLO->getElementOffset(Index);
Chris Lattner4af6de82003-11-25 20:44:56 +0000769 } else {
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000770 SequentialType *ST = cast<SequentialType>(*I);
Chris Lattner006a4a52003-02-25 21:14:59 +0000771 // Get the index number for the array... which must be long type...
Chris Lattner4af6de82003-11-25 20:44:56 +0000772 GenericValue IdxGV = getOperandValue(I.getOperand(), SF);
773
Reid Spencera54b7cb2007-01-12 07:05:14 +0000774 int64_t Idx;
775 unsigned BitWidth =
776 cast<IntegerType>(I.getOperand()->getType())->getBitWidth();
Reid Spencer23e28832007-01-18 01:25:42 +0000777 if (BitWidth == 32)
Reid Spencerf9536332007-03-06 03:09:31 +0000778 Idx = (int64_t)(int32_t)IdxGV.IntVal.getZExtValue();
Chris Lattneraee7f212008-04-06 21:50:58 +0000779 else {
780 assert(BitWidth == 64 && "Invalid index type for getelementptr");
Reid Spencerf9536332007-03-06 03:09:31 +0000781 Idx = (int64_t)IdxGV.IntVal.getZExtValue();
Chris Lattneraee7f212008-04-06 21:50:58 +0000782 }
Duncan Sands777d2302009-05-09 07:06:46 +0000783 Total += TD.getTypeAllocSize(ST->getElementType())*Idx;
Brian Gaeke03e43dc2003-10-24 19:59:01 +0000784 }
Chris Lattner95c3af52001-10-29 19:32:19 +0000785 }
786
Chris Lattnera34c5682002-08-27 22:33:45 +0000787 GenericValue Result;
Reid Spencerf9536332007-03-06 03:09:31 +0000788 Result.PointerVal = ((char*)getOperandValue(Ptr, SF).PointerVal) + Total;
David Greeneef573a32010-01-05 01:27:23 +0000789 DEBUG(dbgs() << "GEP Index " << Total << " bytes.\n");
Chris Lattnera34c5682002-08-27 22:33:45 +0000790 return Result;
Chris Lattner95c3af52001-10-29 19:32:19 +0000791}
792
Chris Lattnerd7916e92003-05-10 21:22:39 +0000793void Interpreter::visitGetElementPtrInst(GetElementPtrInst &I) {
794 ExecutionContext &SF = ECStack.back();
Owen Andersonfdca74c2009-06-26 16:46:15 +0000795 SetValue(&I, executeGEPOperation(I.getPointerOperand(),
Chris Lattner4af6de82003-11-25 20:44:56 +0000796 gep_type_begin(I), gep_type_end(I), SF), SF);
Chris Lattner95c3af52001-10-29 19:32:19 +0000797}
798
Chris Lattnerd7916e92003-05-10 21:22:39 +0000799void Interpreter::visitLoadInst(LoadInst &I) {
800 ExecutionContext &SF = ECStack.back();
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000801 GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000802 GenericValue *Ptr = (GenericValue*)GVTOP(SRC);
Reid Spencere0929362007-03-03 08:38:04 +0000803 GenericValue Result;
Reid Spencere0929362007-03-03 08:38:04 +0000804 LoadValueFromMemory(Result, Ptr, I.getType());
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000805 SetValue(&I, Result, SF);
Chris Lattner663ceeb2008-07-08 17:25:49 +0000806 if (I.isVolatile() && PrintVolatile)
David Greeneef573a32010-01-05 01:27:23 +0000807 dbgs() << "Volatile load " << I;
Chris Lattner86660982001-08-27 05:16:50 +0000808}
809
Chris Lattnerd7916e92003-05-10 21:22:39 +0000810void Interpreter::visitStoreInst(StoreInst &I) {
811 ExecutionContext &SF = ECStack.back();
Chris Lattnerfddc7552002-10-15 20:34:05 +0000812 GenericValue Val = getOperandValue(I.getOperand(0), SF);
813 GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000814 StoreValueToMemory(Val, (GenericValue *)GVTOP(SRC),
Chris Lattner683d5da92002-10-26 01:57:15 +0000815 I.getOperand(0)->getType());
Chris Lattner663ceeb2008-07-08 17:25:49 +0000816 if (I.isVolatile() && PrintVolatile)
David Greeneef573a32010-01-05 01:27:23 +0000817 dbgs() << "Volatile store: " << I;
Chris Lattnerfddc7552002-10-15 20:34:05 +0000818}
819
Chris Lattner86660982001-08-27 05:16:50 +0000820//===----------------------------------------------------------------------===//
Chris Lattner92101ac2001-08-23 17:05:04 +0000821// Miscellaneous Instruction Implementations
822//===----------------------------------------------------------------------===//
823
Brian Gaekefea483d2003-11-07 20:04:22 +0000824void Interpreter::visitCallSite(CallSite CS) {
Chris Lattnerd7916e92003-05-10 21:22:39 +0000825 ExecutionContext &SF = ECStack.back();
Chris Lattner73011782003-12-28 09:44:37 +0000826
827 // Check to see if this is an intrinsic function call...
Reid Spencer4ccf4622007-04-16 21:50:40 +0000828 Function *F = CS.getCalledFunction();
Chris Lattnerf32a6a32009-10-29 05:26:09 +0000829 if (F && F->isDeclaration())
Chris Lattner73011782003-12-28 09:44:37 +0000830 switch (F->getIntrinsicID()) {
Brian Gaeke34562ba2004-01-14 06:02:53 +0000831 case Intrinsic::not_intrinsic:
832 break;
Chris Lattner317201d2004-03-13 00:24:00 +0000833 case Intrinsic::vastart: { // va_start
Brian Gaeke9d20b712004-02-25 23:01:48 +0000834 GenericValue ArgIndex;
835 ArgIndex.UIntPairVal.first = ECStack.size() - 1;
836 ArgIndex.UIntPairVal.second = 0;
837 SetValue(CS.getInstruction(), ArgIndex, SF);
Chris Lattner73011782003-12-28 09:44:37 +0000838 return;
Brian Gaeke9d20b712004-02-25 23:01:48 +0000839 }
Chris Lattner317201d2004-03-13 00:24:00 +0000840 case Intrinsic::vaend: // va_end is a noop for the interpreter
Chris Lattner73011782003-12-28 09:44:37 +0000841 return;
Chris Lattner317201d2004-03-13 00:24:00 +0000842 case Intrinsic::vacopy: // va_copy: dest = src
Chris Lattner73011782003-12-28 09:44:37 +0000843 SetValue(CS.getInstruction(), getOperandValue(*CS.arg_begin(), SF), SF);
844 return;
845 default:
Brian Gaeke34562ba2004-01-14 06:02:53 +0000846 // If it is an unknown intrinsic function, use the intrinsic lowering
Chris Lattner73011782003-12-28 09:44:37 +0000847 // class to transform it into hopefully tasty LLVM code.
848 //
Chris Lattnerb8e237b2007-04-17 17:38:28 +0000849 BasicBlock::iterator me(CS.getInstruction());
Chris Lattner73011782003-12-28 09:44:37 +0000850 BasicBlock *Parent = CS.getInstruction()->getParent();
Chris Lattnerb8e237b2007-04-17 17:38:28 +0000851 bool atBegin(Parent->begin() == me);
852 if (!atBegin)
853 --me;
Chris Lattner73011782003-12-28 09:44:37 +0000854 IL->LowerIntrinsicCall(cast<CallInst>(CS.getInstruction()));
855
856 // Restore the CurInst pointer to the first instruction newly inserted, if
857 // any.
Chris Lattnerb8e237b2007-04-17 17:38:28 +0000858 if (atBegin) {
Chris Lattner73011782003-12-28 09:44:37 +0000859 SF.CurInst = Parent->begin();
860 } else {
Chris Lattnerb8e237b2007-04-17 17:38:28 +0000861 SF.CurInst = me;
Chris Lattner73011782003-12-28 09:44:37 +0000862 ++SF.CurInst;
863 }
Brian Gaekeb440dea2004-04-23 18:05:28 +0000864 return;
Chris Lattner73011782003-12-28 09:44:37 +0000865 }
866
Reid Spencer4ccf4622007-04-16 21:50:40 +0000867
Brian Gaekefea483d2003-11-07 20:04:22 +0000868 SF.Caller = CS;
Chris Lattner02868352003-04-22 21:22:33 +0000869 std::vector<GenericValue> ArgVals;
Brian Gaekeae2495a2003-11-07 19:59:08 +0000870 const unsigned NumArgs = SF.Caller.arg_size();
871 ArgVals.reserve(NumArgs);
Reid Spencer4ccf4622007-04-16 21:50:40 +0000872 uint16_t pNum = 1;
Brian Gaekeae2495a2003-11-07 19:59:08 +0000873 for (CallSite::arg_iterator i = SF.Caller.arg_begin(),
Reid Spencer4ccf4622007-04-16 21:50:40 +0000874 e = SF.Caller.arg_end(); i != e; ++i, ++pNum) {
Brian Gaekeae2495a2003-11-07 19:59:08 +0000875 Value *V = *i;
876 ArgVals.push_back(getOperandValue(V, SF));
Chris Lattner93780132003-01-13 00:58:52 +0000877 }
Chris Lattner365a76e2001-09-10 04:49:44 +0000878
Misha Brukmand1c881a2005-04-21 22:43:08 +0000879 // To handle indirect calls, we must get the pointer value from the argument
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000880 // and treat it as a function pointer.
Misha Brukmand1c881a2005-04-21 22:43:08 +0000881 GenericValue SRC = getOperandValue(SF.Caller.getCalledValue(), SF);
Chris Lattnerda82ed52003-05-08 16:18:31 +0000882 callFunction((Function*)GVTOP(SRC), ArgVals);
Chris Lattner92101ac2001-08-23 17:05:04 +0000883}
884
Reid Spencer832254e2007-02-02 02:16:23 +0000885void Interpreter::visitShl(BinaryOperator &I) {
Brian Gaeke63438cc2003-12-11 00:22:59 +0000886 ExecutionContext &SF = ECStack.back();
Brian Gaeke63438cc2003-12-11 00:22:59 +0000887 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
888 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
889 GenericValue Dest;
Chris Lattner9029cb82009-01-16 20:17:02 +0000890 if (Src2.IntVal.getZExtValue() < Src1.IntVal.getBitWidth())
891 Dest.IntVal = Src1.IntVal.shl(Src2.IntVal.getZExtValue());
892 else
893 Dest.IntVal = Src1.IntVal;
894
Brian Gaeke63438cc2003-12-11 00:22:59 +0000895 SetValue(&I, Dest, SF);
896}
897
Reid Spencer832254e2007-02-02 02:16:23 +0000898void Interpreter::visitLShr(BinaryOperator &I) {
Brian Gaeke63438cc2003-12-11 00:22:59 +0000899 ExecutionContext &SF = ECStack.back();
Brian Gaeke63438cc2003-12-11 00:22:59 +0000900 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
901 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
902 GenericValue Dest;
Chris Lattner9029cb82009-01-16 20:17:02 +0000903 if (Src2.IntVal.getZExtValue() < Src1.IntVal.getBitWidth())
904 Dest.IntVal = Src1.IntVal.lshr(Src2.IntVal.getZExtValue());
905 else
906 Dest.IntVal = Src1.IntVal;
907
Reid Spencer3822ff52006-11-08 06:47:33 +0000908 SetValue(&I, Dest, SF);
909}
910
Reid Spencer832254e2007-02-02 02:16:23 +0000911void Interpreter::visitAShr(BinaryOperator &I) {
Reid Spencer3822ff52006-11-08 06:47:33 +0000912 ExecutionContext &SF = ECStack.back();
Reid Spencer3822ff52006-11-08 06:47:33 +0000913 GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
914 GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
Chris Lattner9029cb82009-01-16 20:17:02 +0000915 GenericValue Dest;
916 if (Src2.IntVal.getZExtValue() < Src1.IntVal.getBitWidth())
917 Dest.IntVal = Src1.IntVal.ashr(Src2.IntVal.getZExtValue());
918 else
919 Dest.IntVal = Src1.IntVal;
920
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000921 SetValue(&I, Dest, SF);
Chris Lattner86660982001-08-27 05:16:50 +0000922}
923
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000924GenericValue Interpreter::executeTruncInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000925 ExecutionContext &SF) {
Chris Lattnera34c5682002-08-27 22:33:45 +0000926 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000927 IntegerType *DITy = cast<IntegerType>(DstTy);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000928 unsigned DBitWidth = DITy->getBitWidth();
Reid Spencerf9536332007-03-06 03:09:31 +0000929 Dest.IntVal = Src.IntVal.trunc(DBitWidth);
Chris Lattnera34c5682002-08-27 22:33:45 +0000930 return Dest;
Chris Lattner86660982001-08-27 05:16:50 +0000931}
Chris Lattner92101ac2001-08-23 17:05:04 +0000932
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000933GenericValue Interpreter::executeSExtInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000934 ExecutionContext &SF) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000935 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000936 IntegerType *DITy = cast<IntegerType>(DstTy);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000937 unsigned DBitWidth = DITy->getBitWidth();
Reid Spencerf9536332007-03-06 03:09:31 +0000938 Dest.IntVal = Src.IntVal.sext(DBitWidth);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000939 return Dest;
940}
941
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000942GenericValue Interpreter::executeZExtInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000943 ExecutionContext &SF) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000944 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000945 IntegerType *DITy = cast<IntegerType>(DstTy);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000946 unsigned DBitWidth = DITy->getBitWidth();
Reid Spencerf9536332007-03-06 03:09:31 +0000947 Dest.IntVal = Src.IntVal.zext(DBitWidth);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000948 return Dest;
949}
950
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000951GenericValue Interpreter::executeFPTruncInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000952 ExecutionContext &SF) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000953 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000954 assert(SrcVal->getType()->isDoubleTy() && DstTy->isFloatTy() &&
Reid Spencera54b7cb2007-01-12 07:05:14 +0000955 "Invalid FPTrunc instruction");
956 Dest.FloatVal = (float) Src.DoubleVal;
957 return Dest;
958}
959
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000960GenericValue Interpreter::executeFPExtInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000961 ExecutionContext &SF) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000962 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Chris Lattnercf0fe8d2009-10-05 05:54:46 +0000963 assert(SrcVal->getType()->isFloatTy() && DstTy->isDoubleTy() &&
Reid Spencera54b7cb2007-01-12 07:05:14 +0000964 "Invalid FPTrunc instruction");
965 Dest.DoubleVal = (double) Src.FloatVal;
966 return Dest;
967}
968
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000969GenericValue Interpreter::executeFPToUIInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000970 ExecutionContext &SF) {
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000971 Type *SrcTy = SrcVal->getType();
Reid Spencerf9536332007-03-06 03:09:31 +0000972 uint32_t DBitWidth = cast<IntegerType>(DstTy)->getBitWidth();
Reid Spencera54b7cb2007-01-12 07:05:14 +0000973 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000974 assert(SrcTy->isFloatingPointTy() && "Invalid FPToUI instruction");
Reid Spencere0929362007-03-03 08:38:04 +0000975
Reid Spencera54b7cb2007-01-12 07:05:14 +0000976 if (SrcTy->getTypeID() == Type::FloatTyID)
Reid Spencerf9536332007-03-06 03:09:31 +0000977 Dest.IntVal = APIntOps::RoundFloatToAPInt(Src.FloatVal, DBitWidth);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000978 else
Reid Spencerf9536332007-03-06 03:09:31 +0000979 Dest.IntVal = APIntOps::RoundDoubleToAPInt(Src.DoubleVal, DBitWidth);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000980 return Dest;
981}
982
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000983GenericValue Interpreter::executeFPToSIInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000984 ExecutionContext &SF) {
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000985 Type *SrcTy = SrcVal->getType();
Reid Spencerf9536332007-03-06 03:09:31 +0000986 uint32_t DBitWidth = cast<IntegerType>(DstTy)->getBitWidth();
Reid Spencera54b7cb2007-01-12 07:05:14 +0000987 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Duncan Sandsb0bc6c32010-02-15 16:12:20 +0000988 assert(SrcTy->isFloatingPointTy() && "Invalid FPToSI instruction");
Reid Spencere0929362007-03-03 08:38:04 +0000989
Reid Spencera54b7cb2007-01-12 07:05:14 +0000990 if (SrcTy->getTypeID() == Type::FloatTyID)
Reid Spencerf9536332007-03-06 03:09:31 +0000991 Dest.IntVal = APIntOps::RoundFloatToAPInt(Src.FloatVal, DBitWidth);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000992 else
Reid Spencerf9536332007-03-06 03:09:31 +0000993 Dest.IntVal = APIntOps::RoundDoubleToAPInt(Src.DoubleVal, DBitWidth);
Reid Spencera54b7cb2007-01-12 07:05:14 +0000994 return Dest;
995}
996
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000997GenericValue Interpreter::executeUIToFPInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +0000998 ExecutionContext &SF) {
Reid Spencera54b7cb2007-01-12 07:05:14 +0000999 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001000 assert(DstTy->isFloatingPointTy() && "Invalid UIToFP instruction");
Reid Spencere0929362007-03-03 08:38:04 +00001001
Reid Spencera54b7cb2007-01-12 07:05:14 +00001002 if (DstTy->getTypeID() == Type::FloatTyID)
Reid Spencerf9536332007-03-06 03:09:31 +00001003 Dest.FloatVal = APIntOps::RoundAPIntToFloat(Src.IntVal);
Reid Spencera54b7cb2007-01-12 07:05:14 +00001004 else
Reid Spencerf9536332007-03-06 03:09:31 +00001005 Dest.DoubleVal = APIntOps::RoundAPIntToDouble(Src.IntVal);
Reid Spencera54b7cb2007-01-12 07:05:14 +00001006 return Dest;
1007}
1008
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001009GenericValue Interpreter::executeSIToFPInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +00001010 ExecutionContext &SF) {
Reid Spencera54b7cb2007-01-12 07:05:14 +00001011 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001012 assert(DstTy->isFloatingPointTy() && "Invalid SIToFP instruction");
Reid Spencere0929362007-03-03 08:38:04 +00001013
Reid Spencera54b7cb2007-01-12 07:05:14 +00001014 if (DstTy->getTypeID() == Type::FloatTyID)
Reid Spencerf9536332007-03-06 03:09:31 +00001015 Dest.FloatVal = APIntOps::RoundSignedAPIntToFloat(Src.IntVal);
Reid Spencera54b7cb2007-01-12 07:05:14 +00001016 else
Reid Spencerf9536332007-03-06 03:09:31 +00001017 Dest.DoubleVal = APIntOps::RoundSignedAPIntToDouble(Src.IntVal);
Reid Spencera54b7cb2007-01-12 07:05:14 +00001018 return Dest;
Reid Spencerf9536332007-03-06 03:09:31 +00001019
Reid Spencera54b7cb2007-01-12 07:05:14 +00001020}
1021
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001022GenericValue Interpreter::executePtrToIntInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +00001023 ExecutionContext &SF) {
Reid Spencerf9536332007-03-06 03:09:31 +00001024 uint32_t DBitWidth = cast<IntegerType>(DstTy)->getBitWidth();
Reid Spencera54b7cb2007-01-12 07:05:14 +00001025 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Duncan Sands1df98592010-02-16 11:11:14 +00001026 assert(SrcVal->getType()->isPointerTy() && "Invalid PtrToInt instruction");
Reid Spencere0929362007-03-03 08:38:04 +00001027
Reid Spencerf9536332007-03-06 03:09:31 +00001028 Dest.IntVal = APInt(DBitWidth, (intptr_t) Src.PointerVal);
Reid Spencera54b7cb2007-01-12 07:05:14 +00001029 return Dest;
1030}
1031
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001032GenericValue Interpreter::executeIntToPtrInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +00001033 ExecutionContext &SF) {
Reid Spencera54b7cb2007-01-12 07:05:14 +00001034 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Duncan Sands1df98592010-02-16 11:11:14 +00001035 assert(DstTy->isPointerTy() && "Invalid PtrToInt instruction");
Reid Spencere0929362007-03-03 08:38:04 +00001036
Reid Spencer57631052007-03-06 03:46:41 +00001037 uint32_t PtrSize = TD.getPointerSizeInBits();
Reid Spencer7553c342007-03-06 03:41:50 +00001038 if (PtrSize != Src.IntVal.getBitWidth())
Reid Spencer57631052007-03-06 03:46:41 +00001039 Src.IntVal = Src.IntVal.zextOrTrunc(PtrSize);
Reid Spencer7553c342007-03-06 03:41:50 +00001040
Reid Spencer6bc63332007-04-26 18:19:35 +00001041 Dest.PointerVal = PointerTy(intptr_t(Src.IntVal.getZExtValue()));
Reid Spencera54b7cb2007-01-12 07:05:14 +00001042 return Dest;
1043}
1044
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001045GenericValue Interpreter::executeBitCastInst(Value *SrcVal, Type *DstTy,
Reid Spencera54b7cb2007-01-12 07:05:14 +00001046 ExecutionContext &SF) {
1047
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001048 Type *SrcTy = SrcVal->getType();
Reid Spencera54b7cb2007-01-12 07:05:14 +00001049 GenericValue Dest, Src = getOperandValue(SrcVal, SF);
Duncan Sands1df98592010-02-16 11:11:14 +00001050 if (DstTy->isPointerTy()) {
1051 assert(SrcTy->isPointerTy() && "Invalid BitCast");
Reid Spencera54b7cb2007-01-12 07:05:14 +00001052 Dest.PointerVal = Src.PointerVal;
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001053 } else if (DstTy->isIntegerTy()) {
Chris Lattnercf0fe8d2009-10-05 05:54:46 +00001054 if (SrcTy->isFloatTy()) {
Jay Foade4d19c92010-11-28 21:04:48 +00001055 Dest.IntVal = APInt::floatToBits(Src.FloatVal);
Chris Lattnercf0fe8d2009-10-05 05:54:46 +00001056 } else if (SrcTy->isDoubleTy()) {
Jay Foade4d19c92010-11-28 21:04:48 +00001057 Dest.IntVal = APInt::doubleToBits(Src.DoubleVal);
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001058 } else if (SrcTy->isIntegerTy()) {
Reid Spencerf9536332007-03-06 03:09:31 +00001059 Dest.IntVal = Src.IntVal;
Reid Spencera54b7cb2007-01-12 07:05:14 +00001060 } else
Torok Edwinc23197a2009-07-14 16:55:14 +00001061 llvm_unreachable("Invalid BitCast");
Chris Lattnercf0fe8d2009-10-05 05:54:46 +00001062 } else if (DstTy->isFloatTy()) {
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001063 if (SrcTy->isIntegerTy())
Reid Spencerf9536332007-03-06 03:09:31 +00001064 Dest.FloatVal = Src.IntVal.bitsToFloat();
Reid Spencera54b7cb2007-01-12 07:05:14 +00001065 else
1066 Dest.FloatVal = Src.FloatVal;
Chris Lattnercf0fe8d2009-10-05 05:54:46 +00001067 } else if (DstTy->isDoubleTy()) {
Duncan Sandsb0bc6c32010-02-15 16:12:20 +00001068 if (SrcTy->isIntegerTy())
Reid Spencerf9536332007-03-06 03:09:31 +00001069 Dest.DoubleVal = Src.IntVal.bitsToDouble();
Reid Spencera54b7cb2007-01-12 07:05:14 +00001070 else
1071 Dest.DoubleVal = Src.DoubleVal;
1072 } else
Torok Edwinc23197a2009-07-14 16:55:14 +00001073 llvm_unreachable("Invalid Bitcast");
Reid Spencera54b7cb2007-01-12 07:05:14 +00001074
1075 return Dest;
1076}
1077
1078void Interpreter::visitTruncInst(TruncInst &I) {
Chris Lattnerd7916e92003-05-10 21:22:39 +00001079 ExecutionContext &SF = ECStack.back();
Reid Spencera54b7cb2007-01-12 07:05:14 +00001080 SetValue(&I, executeTruncInst(I.getOperand(0), I.getType(), SF), SF);
1081}
1082
1083void Interpreter::visitSExtInst(SExtInst &I) {
1084 ExecutionContext &SF = ECStack.back();
1085 SetValue(&I, executeSExtInst(I.getOperand(0), I.getType(), SF), SF);
1086}
1087
1088void Interpreter::visitZExtInst(ZExtInst &I) {
1089 ExecutionContext &SF = ECStack.back();
1090 SetValue(&I, executeZExtInst(I.getOperand(0), I.getType(), SF), SF);
1091}
1092
1093void Interpreter::visitFPTruncInst(FPTruncInst &I) {
1094 ExecutionContext &SF = ECStack.back();
1095 SetValue(&I, executeFPTruncInst(I.getOperand(0), I.getType(), SF), SF);
1096}
1097
1098void Interpreter::visitFPExtInst(FPExtInst &I) {
1099 ExecutionContext &SF = ECStack.back();
1100 SetValue(&I, executeFPExtInst(I.getOperand(0), I.getType(), SF), SF);
1101}
1102
1103void Interpreter::visitUIToFPInst(UIToFPInst &I) {
1104 ExecutionContext &SF = ECStack.back();
1105 SetValue(&I, executeUIToFPInst(I.getOperand(0), I.getType(), SF), SF);
1106}
1107
1108void Interpreter::visitSIToFPInst(SIToFPInst &I) {
1109 ExecutionContext &SF = ECStack.back();
1110 SetValue(&I, executeSIToFPInst(I.getOperand(0), I.getType(), SF), SF);
1111}
1112
1113void Interpreter::visitFPToUIInst(FPToUIInst &I) {
1114 ExecutionContext &SF = ECStack.back();
1115 SetValue(&I, executeFPToUIInst(I.getOperand(0), I.getType(), SF), SF);
1116}
1117
1118void Interpreter::visitFPToSIInst(FPToSIInst &I) {
1119 ExecutionContext &SF = ECStack.back();
1120 SetValue(&I, executeFPToSIInst(I.getOperand(0), I.getType(), SF), SF);
1121}
1122
1123void Interpreter::visitPtrToIntInst(PtrToIntInst &I) {
1124 ExecutionContext &SF = ECStack.back();
1125 SetValue(&I, executePtrToIntInst(I.getOperand(0), I.getType(), SF), SF);
1126}
1127
1128void Interpreter::visitIntToPtrInst(IntToPtrInst &I) {
1129 ExecutionContext &SF = ECStack.back();
1130 SetValue(&I, executeIntToPtrInst(I.getOperand(0), I.getType(), SF), SF);
1131}
1132
1133void Interpreter::visitBitCastInst(BitCastInst &I) {
1134 ExecutionContext &SF = ECStack.back();
1135 SetValue(&I, executeBitCastInst(I.getOperand(0), I.getType(), SF), SF);
Chris Lattnera34c5682002-08-27 22:33:45 +00001136}
Chris Lattner92101ac2001-08-23 17:05:04 +00001137
Brian Gaekec1a2be12003-11-07 21:20:47 +00001138#define IMPLEMENT_VAARG(TY) \
1139 case Type::TY##TyID: Dest.TY##Val = Src.TY##Val; break
1140
1141void Interpreter::visitVAArgInst(VAArgInst &I) {
1142 ExecutionContext &SF = ECStack.back();
1143
Brian Gaeke9d20b712004-02-25 23:01:48 +00001144 // Get the incoming valist parameter. LLI treats the valist as a
1145 // (ec-stack-depth var-arg-index) pair.
Brian Gaekec1a2be12003-11-07 21:20:47 +00001146 GenericValue VAList = getOperandValue(I.getOperand(0), SF);
Brian Gaeke9d20b712004-02-25 23:01:48 +00001147 GenericValue Dest;
1148 GenericValue Src = ECStack[VAList.UIntPairVal.first]
Reid Spencerf9536332007-03-06 03:09:31 +00001149 .VarArgs[VAList.UIntPairVal.second];
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001150 Type *Ty = I.getType();
Chris Lattnerf70c22b2004-06-17 18:19:28 +00001151 switch (Ty->getTypeID()) {
Reid Spencerf9536332007-03-06 03:09:31 +00001152 case Type::IntegerTyID: Dest.IntVal = Src.IntVal;
Brian Gaekec1a2be12003-11-07 21:20:47 +00001153 IMPLEMENT_VAARG(Pointer);
1154 IMPLEMENT_VAARG(Float);
1155 IMPLEMENT_VAARG(Double);
Brian Gaekec1a2be12003-11-07 21:20:47 +00001156 default:
David Greeneef573a32010-01-05 01:27:23 +00001157 dbgs() << "Unhandled dest type for vaarg instruction: " << *Ty << "\n";
Torok Edwinc23197a2009-07-14 16:55:14 +00001158 llvm_unreachable(0);
Brian Gaekec1a2be12003-11-07 21:20:47 +00001159 }
Misha Brukmand1c881a2005-04-21 22:43:08 +00001160
Brian Gaekec1a2be12003-11-07 21:20:47 +00001161 // Set the Value of this Instruction.
1162 SetValue(&I, Dest, SF);
Andrew Lenharth558bc882005-06-18 18:34:52 +00001163
1164 // Move the pointer to the next vararg.
1165 ++VAList.UIntPairVal.second;
Brian Gaekec1a2be12003-11-07 21:20:47 +00001166}
1167
Reid Spencere1aa0662007-03-03 06:22:22 +00001168GenericValue Interpreter::getConstantExprValue (ConstantExpr *CE,
1169 ExecutionContext &SF) {
1170 switch (CE->getOpcode()) {
1171 case Instruction::Trunc:
1172 return executeTruncInst(CE->getOperand(0), CE->getType(), SF);
1173 case Instruction::ZExt:
1174 return executeZExtInst(CE->getOperand(0), CE->getType(), SF);
1175 case Instruction::SExt:
1176 return executeSExtInst(CE->getOperand(0), CE->getType(), SF);
1177 case Instruction::FPTrunc:
1178 return executeFPTruncInst(CE->getOperand(0), CE->getType(), SF);
1179 case Instruction::FPExt:
1180 return executeFPExtInst(CE->getOperand(0), CE->getType(), SF);
1181 case Instruction::UIToFP:
1182 return executeUIToFPInst(CE->getOperand(0), CE->getType(), SF);
1183 case Instruction::SIToFP:
1184 return executeSIToFPInst(CE->getOperand(0), CE->getType(), SF);
1185 case Instruction::FPToUI:
1186 return executeFPToUIInst(CE->getOperand(0), CE->getType(), SF);
1187 case Instruction::FPToSI:
1188 return executeFPToSIInst(CE->getOperand(0), CE->getType(), SF);
1189 case Instruction::PtrToInt:
1190 return executePtrToIntInst(CE->getOperand(0), CE->getType(), SF);
1191 case Instruction::IntToPtr:
1192 return executeIntToPtrInst(CE->getOperand(0), CE->getType(), SF);
1193 case Instruction::BitCast:
1194 return executeBitCastInst(CE->getOperand(0), CE->getType(), SF);
1195 case Instruction::GetElementPtr:
1196 return executeGEPOperation(CE->getOperand(0), gep_type_begin(CE),
1197 gep_type_end(CE), SF);
Reid Spencere0929362007-03-03 08:38:04 +00001198 case Instruction::FCmp:
1199 case Instruction::ICmp:
1200 return executeCmpInst(CE->getPredicate(),
1201 getOperandValue(CE->getOperand(0), SF),
1202 getOperandValue(CE->getOperand(1), SF),
1203 CE->getOperand(0)->getType());
1204 case Instruction::Select:
1205 return executeSelectInst(getOperandValue(CE->getOperand(0), SF),
1206 getOperandValue(CE->getOperand(1), SF),
1207 getOperandValue(CE->getOperand(2), SF));
Reid Spencere1aa0662007-03-03 06:22:22 +00001208 default :
1209 break;
1210 }
Reid Spencere0929362007-03-03 08:38:04 +00001211
1212 // The cases below here require a GenericValue parameter for the result
1213 // so we initialize one, compute it and then return it.
Reid Spencerf9536332007-03-06 03:09:31 +00001214 GenericValue Op0 = getOperandValue(CE->getOperand(0), SF);
1215 GenericValue Op1 = getOperandValue(CE->getOperand(1), SF);
Reid Spencere1aa0662007-03-03 06:22:22 +00001216 GenericValue Dest;
Chris Lattnerdb125cf2011-07-18 04:54:35 +00001217 Type * Ty = CE->getOperand(0)->getType();
Reid Spencere1aa0662007-03-03 06:22:22 +00001218 switch (CE->getOpcode()) {
Dan Gohmanae3a0be2009-06-04 22:49:04 +00001219 case Instruction::Add: Dest.IntVal = Op0.IntVal + Op1.IntVal; break;
1220 case Instruction::Sub: Dest.IntVal = Op0.IntVal - Op1.IntVal; break;
1221 case Instruction::Mul: Dest.IntVal = Op0.IntVal * Op1.IntVal; break;
1222 case Instruction::FAdd: executeFAddInst(Dest, Op0, Op1, Ty); break;
1223 case Instruction::FSub: executeFSubInst(Dest, Op0, Op1, Ty); break;
1224 case Instruction::FMul: executeFMulInst(Dest, Op0, Op1, Ty); break;
Reid Spencerf9536332007-03-06 03:09:31 +00001225 case Instruction::FDiv: executeFDivInst(Dest, Op0, Op1, Ty); break;
1226 case Instruction::FRem: executeFRemInst(Dest, Op0, Op1, Ty); break;
1227 case Instruction::SDiv: Dest.IntVal = Op0.IntVal.sdiv(Op1.IntVal); break;
1228 case Instruction::UDiv: Dest.IntVal = Op0.IntVal.udiv(Op1.IntVal); break;
1229 case Instruction::URem: Dest.IntVal = Op0.IntVal.urem(Op1.IntVal); break;
1230 case Instruction::SRem: Dest.IntVal = Op0.IntVal.srem(Op1.IntVal); break;
Dan Gohmanae3a0be2009-06-04 22:49:04 +00001231 case Instruction::And: Dest.IntVal = Op0.IntVal & Op1.IntVal; break;
1232 case Instruction::Or: Dest.IntVal = Op0.IntVal | Op1.IntVal; break;
1233 case Instruction::Xor: Dest.IntVal = Op0.IntVal ^ Op1.IntVal; break;
Reid Spencerf9536332007-03-06 03:09:31 +00001234 case Instruction::Shl:
1235 Dest.IntVal = Op0.IntVal.shl(Op1.IntVal.getZExtValue());
1236 break;
1237 case Instruction::LShr:
1238 Dest.IntVal = Op0.IntVal.lshr(Op1.IntVal.getZExtValue());
1239 break;
1240 case Instruction::AShr:
1241 Dest.IntVal = Op0.IntVal.ashr(Op1.IntVal.getZExtValue());
1242 break;
Reid Spencere1aa0662007-03-03 06:22:22 +00001243 default:
David Greeneef573a32010-01-05 01:27:23 +00001244 dbgs() << "Unhandled ConstantExpr: " << *CE << "\n";
Ahmed Charlesb0934ab2012-02-19 11:37:01 +00001245 llvm_unreachable("Unhandled ConstantExpr");
Reid Spencere1aa0662007-03-03 06:22:22 +00001246 }
Reid Spencere0929362007-03-03 08:38:04 +00001247 return Dest;
Reid Spencere1aa0662007-03-03 06:22:22 +00001248}
1249
1250GenericValue Interpreter::getOperandValue(Value *V, ExecutionContext &SF) {
1251 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) {
1252 return getConstantExprValue(CE, SF);
1253 } else if (Constant *CPV = dyn_cast<Constant>(V)) {
1254 return getConstantValue(CPV);
1255 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
1256 return PTOGV(getPointerToGlobal(GV));
1257 } else {
1258 return SF.Values[V];
1259 }
1260}
1261
Chris Lattner92101ac2001-08-23 17:05:04 +00001262//===----------------------------------------------------------------------===//
1263// Dispatch and Execution Code
1264//===----------------------------------------------------------------------===//
1265
Chris Lattner92101ac2001-08-23 17:05:04 +00001266//===----------------------------------------------------------------------===//
Chris Lattnerda82ed52003-05-08 16:18:31 +00001267// callFunction - Execute the specified function...
Chris Lattner92101ac2001-08-23 17:05:04 +00001268//
Chris Lattnerda82ed52003-05-08 16:18:31 +00001269void Interpreter::callFunction(Function *F,
1270 const std::vector<GenericValue> &ArgVals) {
Misha Brukmand1c881a2005-04-21 22:43:08 +00001271 assert((ECStack.empty() || ECStack.back().Caller.getInstruction() == 0 ||
1272 ECStack.back().Caller.arg_size() == ArgVals.size()) &&
1273 "Incorrect number of arguments passed into function call!");
Chris Lattner63bd6132003-09-17 17:26:22 +00001274 // Make a new stack frame... and fill it in.
1275 ECStack.push_back(ExecutionContext());
1276 ExecutionContext &StackFrame = ECStack.back();
Chris Lattnerda82ed52003-05-08 16:18:31 +00001277 StackFrame.CurFunction = F;
Brian Gaekeaf955ba2003-11-07 05:22:49 +00001278
1279 // Special handling for external functions.
Reid Spencer5cbf9852007-01-30 20:08:39 +00001280 if (F->isDeclaration()) {
Brian Gaekeaf955ba2003-11-07 05:22:49 +00001281 GenericValue Result = callExternalFunction (F, ArgVals);
1282 // Simulate a 'ret' instruction of the appropriate type.
1283 popStackAndReturnValueToCaller (F->getReturnType (), Result);
1284 return;
1285 }
1286
1287 // Get pointers to first LLVM BB & Instruction in function.
Chris Lattnercdf51782003-05-08 16:06:52 +00001288 StackFrame.CurBB = F->begin();
Chris Lattner92101ac2001-08-23 17:05:04 +00001289 StackFrame.CurInst = StackFrame.CurBB->begin();
Chris Lattner92101ac2001-08-23 17:05:04 +00001290
Chris Lattner2fbfdcf2002-04-07 20:49:59 +00001291 // Run through the function arguments and initialize their values...
Chris Lattnere4d5c442005-03-15 04:54:21 +00001292 assert((ArgVals.size() == F->arg_size() ||
Misha Brukmand1c881a2005-04-21 22:43:08 +00001293 (ArgVals.size() > F->arg_size() && F->getFunctionType()->isVarArg()))&&
Chris Lattner2fbfdcf2002-04-07 20:49:59 +00001294 "Invalid number of values passed to function invocation!");
Chris Lattnercdf51782003-05-08 16:06:52 +00001295
1296 // Handle non-varargs arguments...
Chris Lattner365a76e2001-09-10 04:49:44 +00001297 unsigned i = 0;
Reid Spencer4ccf4622007-04-16 21:50:40 +00001298 for (Function::arg_iterator AI = F->arg_begin(), E = F->arg_end();
1299 AI != E; ++AI, ++i)
Chris Lattner0b12b5f2002-06-25 16:13:21 +00001300 SetValue(AI, ArgVals[i], StackFrame);
Chris Lattnercdf51782003-05-08 16:06:52 +00001301
1302 // Handle varargs arguments...
1303 StackFrame.VarArgs.assign(ArgVals.begin()+i, ArgVals.end());
Chris Lattner92101ac2001-08-23 17:05:04 +00001304}
1305
Reid Spencer951418b2007-05-16 02:05:13 +00001306
Chris Lattner92101ac2001-08-23 17:05:04 +00001307void Interpreter::run() {
Brian Gaeke9ad671d2003-09-04 23:15:40 +00001308 while (!ECStack.empty()) {
Brian Gaeke03e43dc2003-10-24 19:59:01 +00001309 // Interpret a single instruction & increment the "PC".
1310 ExecutionContext &SF = ECStack.back(); // Current stack frame
1311 Instruction &I = *SF.CurInst++; // Increment before execute
Misha Brukmand1c881a2005-04-21 22:43:08 +00001312
Brian Gaeke03e43dc2003-10-24 19:59:01 +00001313 // Track the number of dynamic instructions executed.
1314 ++NumDynamicInsts;
Chris Lattner92101ac2001-08-23 17:05:04 +00001315
David Greeneef573a32010-01-05 01:27:23 +00001316 DEBUG(dbgs() << "About to interpret: " << I);
Brian Gaeke03e43dc2003-10-24 19:59:01 +00001317 visit(I); // Dispatch to one of the visit* methods...
Chris Lattner27725bf2007-09-21 18:30:39 +00001318#if 0
1319 // This is not safe, as visiting the instruction could lower it and free I.
Chris Lattnerbdff5482009-08-23 04:37:46 +00001320DEBUG(
Reid Spencer951418b2007-05-16 02:05:13 +00001321 if (!isa<CallInst>(I) && !isa<InvokeInst>(I) &&
1322 I.getType() != Type::VoidTy) {
David Greeneef573a32010-01-05 01:27:23 +00001323 dbgs() << " --> ";
Chris Lattner27725bf2007-09-21 18:30:39 +00001324 const GenericValue &Val = SF.Values[&I];
1325 switch (I.getType()->getTypeID()) {
Torok Edwinc23197a2009-07-14 16:55:14 +00001326 default: llvm_unreachable("Invalid GenericValue Type");
David Greeneef573a32010-01-05 01:27:23 +00001327 case Type::VoidTyID: dbgs() << "void"; break;
1328 case Type::FloatTyID: dbgs() << "float " << Val.FloatVal; break;
1329 case Type::DoubleTyID: dbgs() << "double " << Val.DoubleVal; break;
1330 case Type::PointerTyID: dbgs() << "void* " << intptr_t(Val.PointerVal);
Chris Lattner27725bf2007-09-21 18:30:39 +00001331 break;
1332 case Type::IntegerTyID:
David Greeneef573a32010-01-05 01:27:23 +00001333 dbgs() << "i" << Val.IntVal.getBitWidth() << " "
Chris Lattnerbdff5482009-08-23 04:37:46 +00001334 << Val.IntVal.toStringUnsigned(10)
1335 << " (0x" << Val.IntVal.toStringUnsigned(16) << ")\n";
Chris Lattner27725bf2007-09-21 18:30:39 +00001336 break;
1337 }
Chris Lattnerbdff5482009-08-23 04:37:46 +00001338 });
Chris Lattner27725bf2007-09-21 18:30:39 +00001339#endif
Chris Lattner92101ac2001-08-23 17:05:04 +00001340 }
1341}