Load & StoreInst no longer derive from MemAccessInst, so we don't have
[oota-llvm.git] / lib / ExecutionEngine / Interpreter / Execution.cpp
1 //===-- Execution.cpp - Implement code to simulate the program ------------===//
2 // 
3 //  This file contains the actual instruction interpreter.
4 //
5 //===----------------------------------------------------------------------===//
6
7 #include "Interpreter.h"
8 #include "ExecutionAnnotations.h"
9 #include "llvm/iPHINode.h"
10 #include "llvm/iOther.h"
11 #include "llvm/iTerminators.h"
12 #include "llvm/iMemory.h"
13 #include "llvm/DerivedTypes.h"
14 #include "llvm/Constants.h"
15 #include "llvm/Assembly/Writer.h"
16 #include "llvm/Target/TargetData.h"
17 #include "llvm/GlobalVariable.h"
18 #include "Support/CommandLine.h"
19 #include <math.h>  // For fmod
20 #include <signal.h>
21 #include <setjmp.h>
22 #include <iostream>
23 using std::vector;
24 using std::cout;
25 using std::cerr;
26
27 static cl::opt<bool>
28 QuietMode("quiet", cl::desc("Do not emit any non-program output"));
29
30 static cl::alias 
31 QuietModeA("q", cl::desc("Alias for -quiet"), cl::aliasopt(QuietMode));
32
33 static cl::opt<bool>
34 ArrayChecksEnabled("array-checks", cl::desc("Enable array bound checks"));
35
36 static cl::opt<bool>
37 AbortOnExceptions("abort-on-exception",
38                   cl::desc("Halt execution on a machine exception"));
39
40 // Create a TargetData structure to handle memory addressing and size/alignment
41 // computations
42 //
43 static TargetData TD("lli Interpreter");
44 CachedWriter CW;     // Object to accelerate printing of LLVM
45
46
47 #ifdef PROFILE_STRUCTURE_FIELDS
48 static cl::opt<bool>
49 ProfileStructureFields("profilestructfields", 
50                        cl::desc("Profile Structure Field Accesses"));
51 #include <map>
52 static std::map<const StructType *, vector<unsigned> > FieldAccessCounts;
53 #endif
54
55 sigjmp_buf SignalRecoverBuffer;
56 static bool InInstruction = false;
57
58 extern "C" {
59 static void SigHandler(int Signal) {
60   if (InInstruction)
61     siglongjmp(SignalRecoverBuffer, Signal);
62 }
63 }
64
65 static void initializeSignalHandlers() {
66   struct sigaction Action;
67   Action.sa_handler = SigHandler;
68   Action.sa_flags   = SA_SIGINFO;
69   sigemptyset(&Action.sa_mask);
70   sigaction(SIGSEGV, &Action, 0);
71   sigaction(SIGBUS, &Action, 0);
72   sigaction(SIGINT, &Action, 0);
73   sigaction(SIGFPE, &Action, 0);
74 }
75
76
77 //===----------------------------------------------------------------------===//
78 //                     Value Manipulation code
79 //===----------------------------------------------------------------------===//
80
81 static unsigned getOperandSlot(Value *V) {
82   SlotNumber *SN = (SlotNumber*)V->getAnnotation(SlotNumberAID);
83   assert(SN && "Operand does not have a slot number annotation!");
84   return SN->SlotNum;
85 }
86
87 #define GET_CONST_VAL(TY, CLASS) \
88   case Type::TY##TyID: Result.TY##Val = cast<CLASS>(CPV)->getValue(); break
89
90 static GenericValue getOperandValue(Value *V, ExecutionContext &SF) {
91   if (Constant *CPV = dyn_cast<Constant>(V)) {
92     GenericValue Result;
93     switch (CPV->getType()->getPrimitiveID()) {
94       GET_CONST_VAL(Bool   , ConstantBool);
95       GET_CONST_VAL(UByte  , ConstantUInt);
96       GET_CONST_VAL(SByte  , ConstantSInt);
97       GET_CONST_VAL(UShort , ConstantUInt);
98       GET_CONST_VAL(Short  , ConstantSInt);
99       GET_CONST_VAL(UInt   , ConstantUInt);
100       GET_CONST_VAL(Int    , ConstantSInt);
101       GET_CONST_VAL(ULong  , ConstantUInt);
102       GET_CONST_VAL(Long   , ConstantSInt);
103       GET_CONST_VAL(Float  , ConstantFP);
104       GET_CONST_VAL(Double , ConstantFP);
105     case Type::PointerTyID:
106       if (isa<ConstantPointerNull>(CPV)) {
107         Result.PointerVal = 0;
108       } else if (isa<ConstantPointerRef>(CPV)) {
109         assert(0 && "Not implemented!");
110       } else {
111         assert(0 && "Unknown constant pointer type!");
112       }
113       break;
114     default:
115       cout << "ERROR: Constant unimp for type: " << CPV->getType() << "\n";
116     }
117     return Result;
118   } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
119     GlobalAddress *Address = 
120       (GlobalAddress*)GV->getOrCreateAnnotation(GlobalAddressAID);
121     GenericValue Result;
122     Result.PointerVal = (PointerTy)(GenericValue*)Address->Ptr;
123     return Result;
124   } else {
125     unsigned TyP = V->getType()->getUniqueID();   // TypePlane for value
126     unsigned OpSlot = getOperandSlot(V);
127     assert(TyP < SF.Values.size() && 
128            OpSlot < SF.Values[TyP].size() && "Value out of range!");
129     return SF.Values[TyP][getOperandSlot(V)];
130   }
131 }
132
133 static void printOperandInfo(Value *V, ExecutionContext &SF) {
134   if (isa<Constant>(V)) {
135     cout << "Constant Pool Value\n";
136   } else if (isa<GlobalValue>(V)) {
137     cout << "Global Value\n";
138   } else {
139     unsigned TyP  = V->getType()->getUniqueID();   // TypePlane for value
140     unsigned Slot = getOperandSlot(V);
141     cout << "Value=" << (void*)V << " TypeID=" << TyP << " Slot=" << Slot
142          << " Addr=" << &SF.Values[TyP][Slot] << " SF=" << &SF
143          << " Contents=0x";
144
145     const unsigned char *Buf = (const unsigned char*)&SF.Values[TyP][Slot];
146     for (unsigned i = 0; i < sizeof(GenericValue); ++i) {
147       unsigned char Cur = Buf[i];
148       cout << ( Cur     >= 160? char((Cur>>4)+'A'-10) : char((Cur>>4) + '0'))
149            << ((Cur&15) >=  10? char((Cur&15)+'A'-10) : char((Cur&15) + '0'));
150     }
151     cout << "\n";
152   }
153 }
154
155
156
157 static void SetValue(Value *V, GenericValue Val, ExecutionContext &SF) {
158   unsigned TyP = V->getType()->getUniqueID();   // TypePlane for value
159
160   //cout << "Setting value: " << &SF.Values[TyP][getOperandSlot(V)] << "\n";
161   SF.Values[TyP][getOperandSlot(V)] = Val;
162 }
163
164
165 //===----------------------------------------------------------------------===//
166 //                    Annotation Wrangling code
167 //===----------------------------------------------------------------------===//
168
169 void Interpreter::initializeExecutionEngine() {
170   AnnotationManager::registerAnnotationFactory(MethodInfoAID,
171                                                &MethodInfo::Create);
172   AnnotationManager::registerAnnotationFactory(GlobalAddressAID, 
173                                                &GlobalAddress::Create);
174   initializeSignalHandlers();
175 }
176
177 // InitializeMemory - Recursive function to apply a Constant value into the
178 // specified memory location...
179 //
180 static void InitializeMemory(const Constant *Init, char *Addr) {
181 #define INITIALIZE_MEMORY(TYID, CLASS, TY)  \
182   case Type::TYID##TyID: {                  \
183     TY Tmp = cast<CLASS>(Init)->getValue(); \
184     memcpy(Addr, &Tmp, sizeof(TY));         \
185   } return
186
187   switch (Init->getType()->getPrimitiveID()) {
188     INITIALIZE_MEMORY(Bool   , ConstantBool, bool);
189     INITIALIZE_MEMORY(UByte  , ConstantUInt, unsigned char);
190     INITIALIZE_MEMORY(SByte  , ConstantSInt, signed   char);
191     INITIALIZE_MEMORY(UShort , ConstantUInt, unsigned short);
192     INITIALIZE_MEMORY(Short  , ConstantSInt, signed   short);
193     INITIALIZE_MEMORY(UInt   , ConstantUInt, unsigned int);
194     INITIALIZE_MEMORY(Int    , ConstantSInt, signed   int);
195     INITIALIZE_MEMORY(ULong  , ConstantUInt, uint64_t);
196     INITIALIZE_MEMORY(Long   , ConstantSInt,  int64_t);
197     INITIALIZE_MEMORY(Float  , ConstantFP  , float);
198     INITIALIZE_MEMORY(Double , ConstantFP  , double);
199 #undef INITIALIZE_MEMORY
200
201   case Type::ArrayTyID: {
202     const ConstantArray *CPA = cast<ConstantArray>(Init);
203     const vector<Use> &Val = CPA->getValues();
204     unsigned ElementSize = 
205       TD.getTypeSize(cast<ArrayType>(CPA->getType())->getElementType());
206     for (unsigned i = 0; i < Val.size(); ++i)
207       InitializeMemory(cast<Constant>(Val[i].get()), Addr+i*ElementSize);
208     return;
209   }
210
211   case Type::StructTyID: {
212     const ConstantStruct *CPS = cast<ConstantStruct>(Init);
213     const StructLayout *SL=TD.getStructLayout(cast<StructType>(CPS->getType()));
214     const vector<Use> &Val = CPS->getValues();
215     for (unsigned i = 0; i < Val.size(); ++i)
216       InitializeMemory(cast<Constant>(Val[i].get()),
217                        Addr+SL->MemberOffsets[i]);
218     return;
219   }
220
221   case Type::PointerTyID:
222     if (isa<ConstantPointerNull>(Init)) {
223       *(void**)Addr = 0;
224     } else if (const ConstantPointerRef *CPR =
225                dyn_cast<ConstantPointerRef>(Init)) {
226       GlobalAddress *Address = 
227        (GlobalAddress*)CPR->getValue()->getOrCreateAnnotation(GlobalAddressAID);
228       *(void**)Addr = (GenericValue*)Address->Ptr;
229     } else {
230       assert(0 && "Unknown Constant pointer type!");
231     }
232     return;
233
234   default:
235     CW << "Bad Type: " << Init->getType() << "\n";
236     assert(0 && "Unknown constant type to initialize memory with!");
237   }
238 }
239
240 Annotation *GlobalAddress::Create(AnnotationID AID, const Annotable *O, void *){
241   assert(AID == GlobalAddressAID);
242
243   // This annotation will only be created on GlobalValue objects...
244   GlobalValue *GVal = cast<GlobalValue>((Value*)O);
245
246   if (isa<Function>(GVal)) {
247     // The GlobalAddress object for a function is just a pointer to function
248     // itself.  Don't delete it when the annotation is gone though!
249     return new GlobalAddress(GVal, false);
250   }
251
252   // Handle the case of a global variable...
253   assert(isa<GlobalVariable>(GVal) && 
254          "Global value found that isn't a function or global variable!");
255   GlobalVariable *GV = cast<GlobalVariable>(GVal);
256   
257   // First off, we must allocate space for the global variable to point at...
258   const Type *Ty = GV->getType()->getElementType();  // Type to be allocated
259
260   // Allocate enough memory to hold the type...
261   void *Addr = calloc(1, TD.getTypeSize(Ty));
262   assert(Addr != 0 && "Null pointer returned by malloc!");
263
264   // Initialize the memory if there is an initializer...
265   if (GV->hasInitializer())
266     InitializeMemory(GV->getInitializer(), (char*)Addr);
267
268   return new GlobalAddress(Addr, true);  // Simply invoke the ctor
269 }
270
271 //===----------------------------------------------------------------------===//
272 //                    Binary Instruction Implementations
273 //===----------------------------------------------------------------------===//
274
275 #define IMPLEMENT_BINARY_OPERATOR(OP, TY) \
276    case Type::TY##TyID: Dest.TY##Val = Src1.TY##Val OP Src2.TY##Val; break
277
278 static GenericValue executeAddInst(GenericValue Src1, GenericValue Src2, 
279                                    const Type *Ty, ExecutionContext &SF) {
280   GenericValue Dest;
281   switch (Ty->getPrimitiveID()) {
282     IMPLEMENT_BINARY_OPERATOR(+, UByte);
283     IMPLEMENT_BINARY_OPERATOR(+, SByte);
284     IMPLEMENT_BINARY_OPERATOR(+, UShort);
285     IMPLEMENT_BINARY_OPERATOR(+, Short);
286     IMPLEMENT_BINARY_OPERATOR(+, UInt);
287     IMPLEMENT_BINARY_OPERATOR(+, Int);
288     IMPLEMENT_BINARY_OPERATOR(+, ULong);
289     IMPLEMENT_BINARY_OPERATOR(+, Long);
290     IMPLEMENT_BINARY_OPERATOR(+, Float);
291     IMPLEMENT_BINARY_OPERATOR(+, Double);
292     IMPLEMENT_BINARY_OPERATOR(+, Pointer);
293   default:
294     cout << "Unhandled type for Add instruction: " << Ty << "\n";
295   }
296   return Dest;
297 }
298
299 static GenericValue executeSubInst(GenericValue Src1, GenericValue Src2, 
300                                    const Type *Ty, ExecutionContext &SF) {
301   GenericValue Dest;
302   switch (Ty->getPrimitiveID()) {
303     IMPLEMENT_BINARY_OPERATOR(-, UByte);
304     IMPLEMENT_BINARY_OPERATOR(-, SByte);
305     IMPLEMENT_BINARY_OPERATOR(-, UShort);
306     IMPLEMENT_BINARY_OPERATOR(-, Short);
307     IMPLEMENT_BINARY_OPERATOR(-, UInt);
308     IMPLEMENT_BINARY_OPERATOR(-, Int);
309     IMPLEMENT_BINARY_OPERATOR(-, ULong);
310     IMPLEMENT_BINARY_OPERATOR(-, Long);
311     IMPLEMENT_BINARY_OPERATOR(-, Float);
312     IMPLEMENT_BINARY_OPERATOR(-, Double);
313     IMPLEMENT_BINARY_OPERATOR(-, Pointer);
314   default:
315     cout << "Unhandled type for Sub instruction: " << Ty << "\n";
316   }
317   return Dest;
318 }
319
320 static GenericValue executeMulInst(GenericValue Src1, GenericValue Src2, 
321                                    const Type *Ty, ExecutionContext &SF) {
322   GenericValue Dest;
323   switch (Ty->getPrimitiveID()) {
324     IMPLEMENT_BINARY_OPERATOR(*, UByte);
325     IMPLEMENT_BINARY_OPERATOR(*, SByte);
326     IMPLEMENT_BINARY_OPERATOR(*, UShort);
327     IMPLEMENT_BINARY_OPERATOR(*, Short);
328     IMPLEMENT_BINARY_OPERATOR(*, UInt);
329     IMPLEMENT_BINARY_OPERATOR(*, Int);
330     IMPLEMENT_BINARY_OPERATOR(*, ULong);
331     IMPLEMENT_BINARY_OPERATOR(*, Long);
332     IMPLEMENT_BINARY_OPERATOR(*, Float);
333     IMPLEMENT_BINARY_OPERATOR(*, Double);
334     IMPLEMENT_BINARY_OPERATOR(*, Pointer);
335   default:
336     cout << "Unhandled type for Mul instruction: " << Ty << "\n";
337   }
338   return Dest;
339 }
340
341 static GenericValue executeDivInst(GenericValue Src1, GenericValue Src2, 
342                                    const Type *Ty, ExecutionContext &SF) {
343   GenericValue Dest;
344   switch (Ty->getPrimitiveID()) {
345     IMPLEMENT_BINARY_OPERATOR(/, UByte);
346     IMPLEMENT_BINARY_OPERATOR(/, SByte);
347     IMPLEMENT_BINARY_OPERATOR(/, UShort);
348     IMPLEMENT_BINARY_OPERATOR(/, Short);
349     IMPLEMENT_BINARY_OPERATOR(/, UInt);
350     IMPLEMENT_BINARY_OPERATOR(/, Int);
351     IMPLEMENT_BINARY_OPERATOR(/, ULong);
352     IMPLEMENT_BINARY_OPERATOR(/, Long);
353     IMPLEMENT_BINARY_OPERATOR(/, Float);
354     IMPLEMENT_BINARY_OPERATOR(/, Double);
355     IMPLEMENT_BINARY_OPERATOR(/, Pointer);
356   default:
357     cout << "Unhandled type for Div instruction: " << Ty << "\n";
358   }
359   return Dest;
360 }
361
362 static GenericValue executeRemInst(GenericValue Src1, GenericValue Src2, 
363                                    const Type *Ty, ExecutionContext &SF) {
364   GenericValue Dest;
365   switch (Ty->getPrimitiveID()) {
366     IMPLEMENT_BINARY_OPERATOR(%, UByte);
367     IMPLEMENT_BINARY_OPERATOR(%, SByte);
368     IMPLEMENT_BINARY_OPERATOR(%, UShort);
369     IMPLEMENT_BINARY_OPERATOR(%, Short);
370     IMPLEMENT_BINARY_OPERATOR(%, UInt);
371     IMPLEMENT_BINARY_OPERATOR(%, Int);
372     IMPLEMENT_BINARY_OPERATOR(%, ULong);
373     IMPLEMENT_BINARY_OPERATOR(%, Long);
374     IMPLEMENT_BINARY_OPERATOR(%, Pointer);
375   case Type::FloatTyID:
376     Dest.FloatVal = fmod(Src1.FloatVal, Src2.FloatVal);
377     break;
378   case Type::DoubleTyID:
379     Dest.DoubleVal = fmod(Src1.DoubleVal, Src2.DoubleVal);
380     break;
381   default:
382     cout << "Unhandled type for Rem instruction: " << Ty << "\n";
383   }
384   return Dest;
385 }
386
387 static GenericValue executeAndInst(GenericValue Src1, GenericValue Src2, 
388                                    const Type *Ty, ExecutionContext &SF) {
389   GenericValue Dest;
390   switch (Ty->getPrimitiveID()) {
391     IMPLEMENT_BINARY_OPERATOR(&, UByte);
392     IMPLEMENT_BINARY_OPERATOR(&, SByte);
393     IMPLEMENT_BINARY_OPERATOR(&, UShort);
394     IMPLEMENT_BINARY_OPERATOR(&, Short);
395     IMPLEMENT_BINARY_OPERATOR(&, UInt);
396     IMPLEMENT_BINARY_OPERATOR(&, Int);
397     IMPLEMENT_BINARY_OPERATOR(&, ULong);
398     IMPLEMENT_BINARY_OPERATOR(&, Long);
399     IMPLEMENT_BINARY_OPERATOR(&, Pointer);
400   default:
401     cout << "Unhandled type for And instruction: " << Ty << "\n";
402   }
403   return Dest;
404 }
405
406
407 static GenericValue executeOrInst(GenericValue Src1, GenericValue Src2, 
408                                   const Type *Ty, ExecutionContext &SF) {
409   GenericValue Dest;
410   switch (Ty->getPrimitiveID()) {
411     IMPLEMENT_BINARY_OPERATOR(|, UByte);
412     IMPLEMENT_BINARY_OPERATOR(|, SByte);
413     IMPLEMENT_BINARY_OPERATOR(|, UShort);
414     IMPLEMENT_BINARY_OPERATOR(|, Short);
415     IMPLEMENT_BINARY_OPERATOR(|, UInt);
416     IMPLEMENT_BINARY_OPERATOR(|, Int);
417     IMPLEMENT_BINARY_OPERATOR(|, ULong);
418     IMPLEMENT_BINARY_OPERATOR(|, Long);
419     IMPLEMENT_BINARY_OPERATOR(|, Pointer);
420   default:
421     cout << "Unhandled type for Or instruction: " << Ty << "\n";
422   }
423   return Dest;
424 }
425
426
427 static GenericValue executeXorInst(GenericValue Src1, GenericValue Src2, 
428                                    const Type *Ty, ExecutionContext &SF) {
429   GenericValue Dest;
430   switch (Ty->getPrimitiveID()) {
431     IMPLEMENT_BINARY_OPERATOR(^, UByte);
432     IMPLEMENT_BINARY_OPERATOR(^, SByte);
433     IMPLEMENT_BINARY_OPERATOR(^, UShort);
434     IMPLEMENT_BINARY_OPERATOR(^, Short);
435     IMPLEMENT_BINARY_OPERATOR(^, UInt);
436     IMPLEMENT_BINARY_OPERATOR(^, Int);
437     IMPLEMENT_BINARY_OPERATOR(^, ULong);
438     IMPLEMENT_BINARY_OPERATOR(^, Long);
439     IMPLEMENT_BINARY_OPERATOR(^, Pointer);
440   default:
441     cout << "Unhandled type for Xor instruction: " << Ty << "\n";
442   }
443   return Dest;
444 }
445
446
447 #define IMPLEMENT_SETCC(OP, TY) \
448    case Type::TY##TyID: Dest.BoolVal = Src1.TY##Val OP Src2.TY##Val; break
449
450 static GenericValue executeSetEQInst(GenericValue Src1, GenericValue Src2, 
451                                      const Type *Ty, ExecutionContext &SF) {
452   GenericValue Dest;
453   switch (Ty->getPrimitiveID()) {
454     IMPLEMENT_SETCC(==, UByte);
455     IMPLEMENT_SETCC(==, SByte);
456     IMPLEMENT_SETCC(==, UShort);
457     IMPLEMENT_SETCC(==, Short);
458     IMPLEMENT_SETCC(==, UInt);
459     IMPLEMENT_SETCC(==, Int);
460     IMPLEMENT_SETCC(==, ULong);
461     IMPLEMENT_SETCC(==, Long);
462     IMPLEMENT_SETCC(==, Float);
463     IMPLEMENT_SETCC(==, Double);
464     IMPLEMENT_SETCC(==, Pointer);
465   default:
466     cout << "Unhandled type for SetEQ instruction: " << Ty << "\n";
467   }
468   return Dest;
469 }
470
471 static GenericValue executeSetNEInst(GenericValue Src1, GenericValue Src2, 
472                                      const Type *Ty, ExecutionContext &SF) {
473   GenericValue Dest;
474   switch (Ty->getPrimitiveID()) {
475     IMPLEMENT_SETCC(!=, UByte);
476     IMPLEMENT_SETCC(!=, SByte);
477     IMPLEMENT_SETCC(!=, UShort);
478     IMPLEMENT_SETCC(!=, Short);
479     IMPLEMENT_SETCC(!=, UInt);
480     IMPLEMENT_SETCC(!=, Int);
481     IMPLEMENT_SETCC(!=, ULong);
482     IMPLEMENT_SETCC(!=, Long);
483     IMPLEMENT_SETCC(!=, Float);
484     IMPLEMENT_SETCC(!=, Double);
485     IMPLEMENT_SETCC(!=, Pointer);
486
487   default:
488     cout << "Unhandled type for SetNE instruction: " << Ty << "\n";
489   }
490   return Dest;
491 }
492
493 static GenericValue executeSetLEInst(GenericValue Src1, GenericValue Src2, 
494                                      const Type *Ty, ExecutionContext &SF) {
495   GenericValue Dest;
496   switch (Ty->getPrimitiveID()) {
497     IMPLEMENT_SETCC(<=, UByte);
498     IMPLEMENT_SETCC(<=, SByte);
499     IMPLEMENT_SETCC(<=, UShort);
500     IMPLEMENT_SETCC(<=, Short);
501     IMPLEMENT_SETCC(<=, UInt);
502     IMPLEMENT_SETCC(<=, Int);
503     IMPLEMENT_SETCC(<=, ULong);
504     IMPLEMENT_SETCC(<=, Long);
505     IMPLEMENT_SETCC(<=, Float);
506     IMPLEMENT_SETCC(<=, Double);
507     IMPLEMENT_SETCC(<=, Pointer);
508   default:
509     cout << "Unhandled type for SetLE instruction: " << Ty << "\n";
510   }
511   return Dest;
512 }
513
514 static GenericValue executeSetGEInst(GenericValue Src1, GenericValue Src2, 
515                                      const Type *Ty, ExecutionContext &SF) {
516   GenericValue Dest;
517   switch (Ty->getPrimitiveID()) {
518     IMPLEMENT_SETCC(>=, UByte);
519     IMPLEMENT_SETCC(>=, SByte);
520     IMPLEMENT_SETCC(>=, UShort);
521     IMPLEMENT_SETCC(>=, Short);
522     IMPLEMENT_SETCC(>=, UInt);
523     IMPLEMENT_SETCC(>=, Int);
524     IMPLEMENT_SETCC(>=, ULong);
525     IMPLEMENT_SETCC(>=, Long);
526     IMPLEMENT_SETCC(>=, Float);
527     IMPLEMENT_SETCC(>=, Double);
528     IMPLEMENT_SETCC(>=, Pointer);
529   default:
530     cout << "Unhandled type for SetGE instruction: " << Ty << "\n";
531   }
532   return Dest;
533 }
534
535 static GenericValue executeSetLTInst(GenericValue Src1, GenericValue Src2, 
536                                      const Type *Ty, ExecutionContext &SF) {
537   GenericValue Dest;
538   switch (Ty->getPrimitiveID()) {
539     IMPLEMENT_SETCC(<, UByte);
540     IMPLEMENT_SETCC(<, SByte);
541     IMPLEMENT_SETCC(<, UShort);
542     IMPLEMENT_SETCC(<, Short);
543     IMPLEMENT_SETCC(<, UInt);
544     IMPLEMENT_SETCC(<, Int);
545     IMPLEMENT_SETCC(<, ULong);
546     IMPLEMENT_SETCC(<, Long);
547     IMPLEMENT_SETCC(<, Float);
548     IMPLEMENT_SETCC(<, Double);
549     IMPLEMENT_SETCC(<, Pointer);
550   default:
551     cout << "Unhandled type for SetLT instruction: " << Ty << "\n";
552   }
553   return Dest;
554 }
555
556 static GenericValue executeSetGTInst(GenericValue Src1, GenericValue Src2, 
557                                      const Type *Ty, ExecutionContext &SF) {
558   GenericValue Dest;
559   switch (Ty->getPrimitiveID()) {
560     IMPLEMENT_SETCC(>, UByte);
561     IMPLEMENT_SETCC(>, SByte);
562     IMPLEMENT_SETCC(>, UShort);
563     IMPLEMENT_SETCC(>, Short);
564     IMPLEMENT_SETCC(>, UInt);
565     IMPLEMENT_SETCC(>, Int);
566     IMPLEMENT_SETCC(>, ULong);
567     IMPLEMENT_SETCC(>, Long);
568     IMPLEMENT_SETCC(>, Float);
569     IMPLEMENT_SETCC(>, Double);
570     IMPLEMENT_SETCC(>, Pointer);
571   default:
572     cout << "Unhandled type for SetGT instruction: " << Ty << "\n";
573   }
574   return Dest;
575 }
576
577 static void executeBinaryInst(BinaryOperator &I, ExecutionContext &SF) {
578   const Type *Ty    = I.getOperand(0)->getType();
579   GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
580   GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
581   GenericValue R;   // Result
582
583   switch (I.getOpcode()) {
584   case Instruction::Add:   R = executeAddInst  (Src1, Src2, Ty, SF); break;
585   case Instruction::Sub:   R = executeSubInst  (Src1, Src2, Ty, SF); break;
586   case Instruction::Mul:   R = executeMulInst  (Src1, Src2, Ty, SF); break;
587   case Instruction::Div:   R = executeDivInst  (Src1, Src2, Ty, SF); break;
588   case Instruction::Rem:   R = executeRemInst  (Src1, Src2, Ty, SF); break;
589   case Instruction::And:   R = executeAndInst  (Src1, Src2, Ty, SF); break;
590   case Instruction::Or:    R = executeOrInst   (Src1, Src2, Ty, SF); break;
591   case Instruction::Xor:   R = executeXorInst  (Src1, Src2, Ty, SF); break;
592   case Instruction::SetEQ: R = executeSetEQInst(Src1, Src2, Ty, SF); break;
593   case Instruction::SetNE: R = executeSetNEInst(Src1, Src2, Ty, SF); break;
594   case Instruction::SetLE: R = executeSetLEInst(Src1, Src2, Ty, SF); break;
595   case Instruction::SetGE: R = executeSetGEInst(Src1, Src2, Ty, SF); break;
596   case Instruction::SetLT: R = executeSetLTInst(Src1, Src2, Ty, SF); break;
597   case Instruction::SetGT: R = executeSetGTInst(Src1, Src2, Ty, SF); break;
598   default:
599     cout << "Don't know how to handle this binary operator!\n-->" << I;
600     R = Src1;
601   }
602
603   SetValue(&I, R, SF);
604 }
605
606 //===----------------------------------------------------------------------===//
607 //                     Terminator Instruction Implementations
608 //===----------------------------------------------------------------------===//
609
610 static void PerformExitStuff() {
611 #ifdef PROFILE_STRUCTURE_FIELDS
612   // Print out structure field accounting information...
613   if (!FieldAccessCounts.empty()) {
614     CW << "Profile Field Access Counts:\n";
615     std::map<const StructType *, vector<unsigned> >::iterator 
616       I = FieldAccessCounts.begin(), E = FieldAccessCounts.end();
617     for (; I != E; ++I) {
618       vector<unsigned> &OfC = I->second;
619       CW << "  '" << (Value*)I->first << "'\t- Sum=";
620       
621       unsigned Sum = 0;
622       for (unsigned i = 0; i < OfC.size(); ++i)
623         Sum += OfC[i];
624       CW << Sum << " - ";
625       
626       for (unsigned i = 0; i < OfC.size(); ++i) {
627         if (i) CW << ", ";
628         CW << OfC[i];
629       }
630       CW << "\n";
631     }
632     CW << "\n";
633
634     CW << "Profile Field Access Percentages:\n";
635     cout.precision(3);
636     for (I = FieldAccessCounts.begin(); I != E; ++I) {
637       vector<unsigned> &OfC = I->second;
638       unsigned Sum = 0;
639       for (unsigned i = 0; i < OfC.size(); ++i)
640         Sum += OfC[i];
641       
642       CW << "  '" << (Value*)I->first << "'\t- ";
643       for (unsigned i = 0; i < OfC.size(); ++i) {
644         if (i) CW << ", ";
645         CW << double(OfC[i])/Sum;
646       }
647       CW << "\n";
648     }
649     CW << "\n";
650
651     FieldAccessCounts.clear();
652   }
653 #endif
654 }
655
656 void Interpreter::exitCalled(GenericValue GV) {
657   if (!QuietMode) {
658     cout << "Program returned ";
659     print(Type::IntTy, GV);
660     cout << " via 'void exit(int)'\n";
661   }
662
663   ExitCode = GV.SByteVal;
664   ECStack.clear();
665   PerformExitStuff();
666 }
667
668 void Interpreter::executeRetInst(ReturnInst &I, ExecutionContext &SF) {
669   const Type *RetTy = 0;
670   GenericValue Result;
671
672   // Save away the return value... (if we are not 'ret void')
673   if (I.getNumOperands()) {
674     RetTy  = I.getReturnValue()->getType();
675     Result = getOperandValue(I.getReturnValue(), SF);
676   }
677
678   // Save previously executing meth
679   const Function *M = ECStack.back().CurMethod;
680
681   // Pop the current stack frame... this invalidates SF
682   ECStack.pop_back();
683
684   if (ECStack.empty()) {  // Finished main.  Put result into exit code...
685     if (RetTy) {          // Nonvoid return type?
686       if (!QuietMode) {
687         CW << "Function " << M->getType() << " \"" << M->getName()
688            << "\" returned ";
689         print(RetTy, Result);
690         cout << "\n";
691       }
692
693       if (RetTy->isIntegral())
694         ExitCode = Result.IntVal;   // Capture the exit code of the program
695     } else {
696       ExitCode = 0;
697     }
698
699     PerformExitStuff();
700     return;
701   }
702
703   // If we have a previous stack frame, and we have a previous call, fill in
704   // the return value...
705   //
706   ExecutionContext &NewSF = ECStack.back();
707   if (NewSF.Caller) {
708     if (NewSF.Caller->getType() != Type::VoidTy)             // Save result...
709       SetValue(NewSF.Caller, Result, NewSF);
710
711     NewSF.Caller = 0;          // We returned from the call...
712   } else if (!QuietMode) {
713     // This must be a function that is executing because of a user 'call'
714     // instruction.
715     CW << "Function " << M->getType() << " \"" << M->getName()
716        << "\" returned ";
717     print(RetTy, Result);
718     cout << "\n";
719   }
720 }
721
722 void Interpreter::executeBrInst(BranchInst &I, ExecutionContext &SF) {
723   SF.PrevBB = SF.CurBB;               // Update PrevBB so that PHI nodes work...
724   BasicBlock *Dest;
725
726   Dest = I.getSuccessor(0);          // Uncond branches have a fixed dest...
727   if (!I.isUnconditional()) {
728     Value *Cond = I.getCondition();
729     GenericValue CondVal = getOperandValue(Cond, SF);
730     if (CondVal.BoolVal == 0) // If false cond...
731       Dest = I.getSuccessor(1);    
732   }
733   SF.CurBB   = Dest;                  // Update CurBB to branch destination
734   SF.CurInst = SF.CurBB->begin();     // Update new instruction ptr...
735 }
736
737 //===----------------------------------------------------------------------===//
738 //                     Memory Instruction Implementations
739 //===----------------------------------------------------------------------===//
740
741 void Interpreter::executeAllocInst(AllocationInst &I, ExecutionContext &SF) {
742   const Type *Ty = I.getType()->getElementType();  // Type to be allocated
743
744   // Get the number of elements being allocated by the array...
745   unsigned NumElements = getOperandValue(I.getOperand(0), SF).UIntVal;
746
747   // Allocate enough memory to hold the type...
748   // FIXME: Don't use CALLOC, use a tainted malloc.
749   void *Memory = calloc(NumElements, TD.getTypeSize(Ty));
750
751   GenericValue Result;
752   Result.PointerVal = (PointerTy)Memory;
753   assert(Result.PointerVal != 0 && "Null pointer returned by malloc!");
754   SetValue(&I, Result, SF);
755
756   if (I.getOpcode() == Instruction::Alloca)
757     ECStack.back().Allocas.add(Memory);
758 }
759
760 static void executeFreeInst(FreeInst &I, ExecutionContext &SF) {
761   assert(isa<PointerType>(I.getOperand(0)->getType()) && "Freeing nonptr?");
762   GenericValue Value = getOperandValue(I.getOperand(0), SF);
763   // TODO: Check to make sure memory is allocated
764   free((void*)Value.PointerVal);   // Free memory
765 }
766
767
768 // getElementOffset - The workhorse for getelementptr.  This function returns
769 // the offset that arguments ArgOff+1 -> NumArgs specify for the pointer type
770 // specified by argument Arg.
771 //
772 static PointerTy getElementOffset(MemAccessInst &I, ExecutionContext &SF) {
773   assert(isa<PointerType>(I.getPointerOperand()->getType()) &&
774          "Cannot getElementOffset of a nonpointer type!");
775
776   PointerTy Total = 0;
777   const Type *Ty = I.getPointerOperand()->getType();
778   
779   unsigned ArgOff = I.getFirstIndexOperandNumber();
780   while (ArgOff < I.getNumOperands()) {
781     if (const StructType *STy = dyn_cast<StructType>(Ty)) {
782       const StructLayout *SLO = TD.getStructLayout(STy);
783       
784       // Indicies must be ubyte constants...
785       const ConstantUInt *CPU = cast<ConstantUInt>(I.getOperand(ArgOff++));
786       assert(CPU->getType() == Type::UByteTy);
787       unsigned Index = CPU->getValue();
788       
789 #ifdef PROFILE_STRUCTURE_FIELDS
790       if (ProfileStructureFields) {
791         // Do accounting for this field...
792         vector<unsigned> &OfC = FieldAccessCounts[STy];
793         if (OfC.size() == 0) OfC.resize(STy->getElementTypes().size());
794         OfC[Index]++;
795       }
796 #endif
797       
798       Total += SLO->MemberOffsets[Index];
799       Ty = STy->getElementTypes()[Index];
800     } else if (const SequentialType *ST = cast<SequentialType>(Ty)) {
801
802       // Get the index number for the array... which must be uint type...
803       assert(I.getOperand(ArgOff)->getType() == Type::UIntTy);
804       unsigned Idx = getOperandValue(I.getOperand(ArgOff++), SF).UIntVal;
805       if (const ArrayType *AT = dyn_cast<ArrayType>(ST))
806         if (Idx >= AT->getNumElements() && ArrayChecksEnabled) {
807           cerr << "Out of range memory access to element #" << Idx
808                << " of a " << AT->getNumElements() << " element array."
809                << " Subscript #" << (ArgOff-I.getFirstIndexOperandNumber())
810                << "\n";
811           // Get outta here!!!
812           siglongjmp(SignalRecoverBuffer, SIGTRAP);
813         }
814
815       Ty = ST->getElementType();
816       unsigned Size = TD.getTypeSize(Ty);
817       Total += Size*Idx;
818     }  
819   }
820
821   return Total;
822 }
823
824 static void executeGEPInst(GetElementPtrInst &I, ExecutionContext &SF) {
825   GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
826   PointerTy SrcPtr = SRC.PointerVal;
827
828   GenericValue Result;
829   Result.PointerVal = SrcPtr + getElementOffset(I, SF);
830   SetValue(&I, Result, SF);
831 }
832
833 static void executeLoadInst(LoadInst &I, ExecutionContext &SF) {
834   GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
835   GenericValue *Ptr = (GenericValue*)SRC.PointerVal;
836   GenericValue Result;
837
838   switch (I.getType()->getPrimitiveID()) {
839   case Type::BoolTyID:
840   case Type::UByteTyID:
841   case Type::SByteTyID:   Result.SByteVal   = Ptr->SByteVal; break;
842   case Type::UShortTyID:
843   case Type::ShortTyID:   Result.ShortVal   = Ptr->ShortVal; break;
844   case Type::UIntTyID:
845   case Type::IntTyID:     Result.IntVal     = Ptr->IntVal; break;
846   case Type::ULongTyID:
847   case Type::LongTyID:    Result.ULongVal   = Ptr->ULongVal; break;
848   case Type::PointerTyID: Result.PointerVal = Ptr->PointerVal; break;
849   case Type::FloatTyID:   Result.FloatVal   = Ptr->FloatVal; break;
850   case Type::DoubleTyID:  Result.DoubleVal  = Ptr->DoubleVal; break;
851   default:
852     cout << "Cannot load value of type " << I.getType() << "!\n";
853   }
854
855   SetValue(&I, Result, SF);
856 }
857
858 static void executeStoreInst(StoreInst &I, ExecutionContext &SF) {
859   GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
860   GenericValue *Ptr = (GenericValue *)SRC.PointerVal;
861   GenericValue Val = getOperandValue(I.getOperand(0), SF);
862
863   switch (I.getOperand(0)->getType()->getPrimitiveID()) {
864   case Type::BoolTyID:
865   case Type::UByteTyID:
866   case Type::SByteTyID:   Ptr->SByteVal = Val.SByteVal; break;
867   case Type::UShortTyID:
868   case Type::ShortTyID:   Ptr->ShortVal = Val.ShortVal; break;
869   case Type::UIntTyID:
870   case Type::IntTyID:     Ptr->IntVal = Val.IntVal; break;
871   case Type::ULongTyID:
872   case Type::LongTyID:    Ptr->LongVal = Val.LongVal; break;
873   case Type::PointerTyID: Ptr->PointerVal = Val.PointerVal; break;
874   case Type::FloatTyID:   Ptr->FloatVal = Val.FloatVal; break;
875   case Type::DoubleTyID:  Ptr->DoubleVal = Val.DoubleVal; break;
876   default:
877     cout << "Cannot store value of type " << I.getType() << "!\n";
878   }
879 }
880
881
882 //===----------------------------------------------------------------------===//
883 //                 Miscellaneous Instruction Implementations
884 //===----------------------------------------------------------------------===//
885
886 void Interpreter::executeCallInst(CallInst &I, ExecutionContext &SF) {
887   ECStack.back().Caller = &I;
888   vector<GenericValue> ArgVals;
889   ArgVals.reserve(I.getNumOperands()-1);
890   for (unsigned i = 1; i < I.getNumOperands(); ++i)
891     ArgVals.push_back(getOperandValue(I.getOperand(i), SF));
892
893   // To handle indirect calls, we must get the pointer value from the argument 
894   // and treat it as a function pointer.
895   GenericValue SRC = getOperandValue(I.getCalledValue(), SF);
896   
897   callMethod((Function*)SRC.PointerVal, ArgVals);
898 }
899
900 static void executePHINode(PHINode &I, ExecutionContext &SF) {
901   BasicBlock *PrevBB = SF.PrevBB;
902   Value *IncomingValue = 0;
903
904   // Search for the value corresponding to this previous bb...
905   for (unsigned i = I.getNumIncomingValues(); i > 0;) {
906     if (I.getIncomingBlock(--i) == PrevBB) {
907       IncomingValue = I.getIncomingValue(i);
908       break;
909     }
910   }
911   assert(IncomingValue && "No PHI node predecessor for current PrevBB!");
912
913   // Found the value, set as the result...
914   SetValue(&I, getOperandValue(IncomingValue, SF), SF);
915 }
916
917 #define IMPLEMENT_SHIFT(OP, TY) \
918    case Type::TY##TyID: Dest.TY##Val = Src1.TY##Val OP Src2.UByteVal; break
919
920 static void executeShlInst(ShiftInst &I, ExecutionContext &SF) {
921   const Type *Ty    = I.getOperand(0)->getType();
922   GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
923   GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
924   GenericValue Dest;
925
926   switch (Ty->getPrimitiveID()) {
927     IMPLEMENT_SHIFT(<<, UByte);
928     IMPLEMENT_SHIFT(<<, SByte);
929     IMPLEMENT_SHIFT(<<, UShort);
930     IMPLEMENT_SHIFT(<<, Short);
931     IMPLEMENT_SHIFT(<<, UInt);
932     IMPLEMENT_SHIFT(<<, Int);
933     IMPLEMENT_SHIFT(<<, ULong);
934     IMPLEMENT_SHIFT(<<, Long);
935     IMPLEMENT_SHIFT(<<, Pointer);
936   default:
937     cout << "Unhandled type for Shl instruction: " << Ty << "\n";
938   }
939   SetValue(&I, Dest, SF);
940 }
941
942 static void executeShrInst(ShiftInst &I, ExecutionContext &SF) {
943   const Type *Ty    = I.getOperand(0)->getType();
944   GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
945   GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
946   GenericValue Dest;
947
948   switch (Ty->getPrimitiveID()) {
949     IMPLEMENT_SHIFT(>>, UByte);
950     IMPLEMENT_SHIFT(>>, SByte);
951     IMPLEMENT_SHIFT(>>, UShort);
952     IMPLEMENT_SHIFT(>>, Short);
953     IMPLEMENT_SHIFT(>>, UInt);
954     IMPLEMENT_SHIFT(>>, Int);
955     IMPLEMENT_SHIFT(>>, ULong);
956     IMPLEMENT_SHIFT(>>, Long);
957     IMPLEMENT_SHIFT(>>, Pointer);
958   default:
959     cout << "Unhandled type for Shr instruction: " << Ty << "\n";
960   }
961   SetValue(&I, Dest, SF);
962 }
963
964 #define IMPLEMENT_CAST(DTY, DCTY, STY) \
965    case Type::STY##TyID: Dest.DTY##Val = DCTY Src.STY##Val; break;
966
967 #define IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY)    \
968   case Type::DESTTY##TyID:                      \
969     switch (SrcTy->getPrimitiveID()) {          \
970       IMPLEMENT_CAST(DESTTY, DESTCTY, Bool);    \
971       IMPLEMENT_CAST(DESTTY, DESTCTY, UByte);   \
972       IMPLEMENT_CAST(DESTTY, DESTCTY, SByte);   \
973       IMPLEMENT_CAST(DESTTY, DESTCTY, UShort);  \
974       IMPLEMENT_CAST(DESTTY, DESTCTY, Short);   \
975       IMPLEMENT_CAST(DESTTY, DESTCTY, UInt);    \
976       IMPLEMENT_CAST(DESTTY, DESTCTY, Int);     \
977       IMPLEMENT_CAST(DESTTY, DESTCTY, ULong);   \
978       IMPLEMENT_CAST(DESTTY, DESTCTY, Long);    \
979       IMPLEMENT_CAST(DESTTY, DESTCTY, Pointer);
980
981 #define IMPLEMENT_CAST_CASE_FP_IMP(DESTTY, DESTCTY) \
982       IMPLEMENT_CAST(DESTTY, DESTCTY, Float);   \
983       IMPLEMENT_CAST(DESTTY, DESTCTY, Double)
984
985 #define IMPLEMENT_CAST_CASE_END()    \
986     default: cout << "Unhandled cast: " << SrcTy << " to " << Ty << "\n";  \
987       break;                                    \
988     }                                           \
989     break
990
991 #define IMPLEMENT_CAST_CASE(DESTTY, DESTCTY) \
992    IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY);   \
993    IMPLEMENT_CAST_CASE_FP_IMP(DESTTY, DESTCTY); \
994    IMPLEMENT_CAST_CASE_END()
995
996 static void executeCastInst(CastInst &I, ExecutionContext &SF) {
997   const Type *Ty    = I.getType();
998   const Type *SrcTy = I.getOperand(0)->getType();
999   GenericValue Src  = getOperandValue(I.getOperand(0), SF);
1000   GenericValue Dest;
1001
1002   switch (Ty->getPrimitiveID()) {
1003     IMPLEMENT_CAST_CASE(UByte  , (unsigned char));
1004     IMPLEMENT_CAST_CASE(SByte  , (  signed char));
1005     IMPLEMENT_CAST_CASE(UShort , (unsigned short));
1006     IMPLEMENT_CAST_CASE(Short  , (  signed short));
1007     IMPLEMENT_CAST_CASE(UInt   , (unsigned int ));
1008     IMPLEMENT_CAST_CASE(Int    , (  signed int ));
1009     IMPLEMENT_CAST_CASE(ULong  , (uint64_t));
1010     IMPLEMENT_CAST_CASE(Long   , ( int64_t));
1011     IMPLEMENT_CAST_CASE(Pointer, (PointerTy)(uint32_t));
1012     IMPLEMENT_CAST_CASE(Float  , (float));
1013     IMPLEMENT_CAST_CASE(Double , (double));
1014   default:
1015     cout << "Unhandled dest type for cast instruction: " << Ty << "\n";
1016   }
1017   SetValue(&I, Dest, SF);
1018 }
1019
1020
1021
1022
1023 //===----------------------------------------------------------------------===//
1024 //                        Dispatch and Execution Code
1025 //===----------------------------------------------------------------------===//
1026
1027 MethodInfo::MethodInfo(Function *F) : Annotation(MethodInfoAID) {
1028   // Assign slot numbers to the function arguments...
1029   for (Function::const_aiterator AI = F->abegin(), E = F->aend(); AI != E; ++AI)
1030     AI->addAnnotation(new SlotNumber(getValueSlot(AI)));
1031
1032   // Iterate over all of the instructions...
1033   unsigned InstNum = 0;
1034   for (Function::iterator BB = F->begin(), BBE = F->end(); BB != BBE; ++BB)
1035     for (BasicBlock::iterator II = BB->begin(), IE = BB->end(); II != IE; ++II)
1036       // For each instruction... Add Annote
1037       II->addAnnotation(new InstNumber(++InstNum, getValueSlot(II)));
1038 }
1039
1040 unsigned MethodInfo::getValueSlot(const Value *V) {
1041   unsigned Plane = V->getType()->getUniqueID();
1042   if (Plane >= NumPlaneElements.size())
1043     NumPlaneElements.resize(Plane+1, 0);
1044   return NumPlaneElements[Plane]++;
1045 }
1046
1047
1048 //===----------------------------------------------------------------------===//
1049 // callMethod - Execute the specified function...
1050 //
1051 void Interpreter::callMethod(Function *M, const vector<GenericValue> &ArgVals) {
1052   assert((ECStack.empty() || ECStack.back().Caller == 0 || 
1053           ECStack.back().Caller->getNumOperands()-1 == ArgVals.size()) &&
1054          "Incorrect number of arguments passed into function call!");
1055   if (M->isExternal()) {
1056     GenericValue Result = callExternalMethod(M, ArgVals);
1057     const Type *RetTy = M->getReturnType();
1058
1059     // Copy the result back into the result variable if we are not returning
1060     // void.
1061     if (RetTy != Type::VoidTy) {
1062       if (!ECStack.empty() && ECStack.back().Caller) {
1063         ExecutionContext &SF = ECStack.back();
1064         SetValue(SF.Caller, Result, SF);
1065       
1066         SF.Caller = 0;          // We returned from the call...
1067       } else if (!QuietMode) {
1068         // print it.
1069         CW << "Function " << M->getType() << " \"" << M->getName()
1070            << "\" returned ";
1071         print(RetTy, Result); 
1072         cout << "\n";
1073         
1074         if (RetTy->isIntegral())
1075           ExitCode = Result.SByteVal;   // Capture the exit code of the program
1076       }
1077     }
1078
1079     return;
1080   }
1081
1082   // Process the function, assigning instruction numbers to the instructions in
1083   // the function.  Also calculate the number of values for each type slot
1084   // active.
1085   //
1086   MethodInfo *MethInfo = (MethodInfo*)M->getOrCreateAnnotation(MethodInfoAID);
1087   ECStack.push_back(ExecutionContext());         // Make a new stack frame...
1088
1089   ExecutionContext &StackFrame = ECStack.back(); // Fill it in...
1090   StackFrame.CurMethod = M;
1091   StackFrame.CurBB     = M->begin();
1092   StackFrame.CurInst   = StackFrame.CurBB->begin();
1093   StackFrame.MethInfo  = MethInfo;
1094
1095   // Initialize the values to nothing...
1096   StackFrame.Values.resize(MethInfo->NumPlaneElements.size());
1097   for (unsigned i = 0; i < MethInfo->NumPlaneElements.size(); ++i) {
1098     StackFrame.Values[i].resize(MethInfo->NumPlaneElements[i]);
1099
1100     // Taint the initial values of stuff
1101     memset(&StackFrame.Values[i][0], 42,
1102            MethInfo->NumPlaneElements[i]*sizeof(GenericValue));
1103   }
1104
1105   StackFrame.PrevBB = 0;  // No previous BB for PHI nodes...
1106
1107
1108   // Run through the function arguments and initialize their values...
1109   assert(ArgVals.size() == M->asize() &&
1110          "Invalid number of values passed to function invocation!");
1111   unsigned i = 0;
1112   for (Function::aiterator AI = M->abegin(), E = M->aend(); AI != E; ++AI, ++i)
1113     SetValue(AI, ArgVals[i], StackFrame);
1114 }
1115
1116 // executeInstruction - Interpret a single instruction, increment the "PC", and
1117 // return true if the next instruction is a breakpoint...
1118 //
1119 bool Interpreter::executeInstruction() {
1120   assert(!ECStack.empty() && "No program running, cannot execute inst!");
1121
1122   ExecutionContext &SF = ECStack.back();  // Current stack frame
1123   Instruction &I = *SF.CurInst++;         // Increment before execute
1124
1125   if (Trace)
1126     CW << "Run:" << I;
1127
1128   // Set a sigsetjmp buffer so that we can recover if an error happens during
1129   // instruction execution...
1130   //
1131   if (int SigNo = sigsetjmp(SignalRecoverBuffer, 1)) {
1132     --SF.CurInst;   // Back up to erroring instruction
1133     if (SigNo != SIGINT) {
1134       cout << "EXCEPTION OCCURRED [" << _sys_siglistp[SigNo] << "]:\n";
1135       printStackTrace();
1136       // If -abort-on-exception was specified, terminate LLI instead of trying
1137       // to debug it.
1138       //
1139       if (AbortOnExceptions) exit(1);
1140     } else if (SigNo == SIGINT) {
1141       cout << "CTRL-C Detected, execution halted.\n";
1142     }
1143     InInstruction = false;
1144     return true;
1145   }
1146
1147   InInstruction = true;
1148   if (I.isBinaryOp()) {
1149     executeBinaryInst(cast<BinaryOperator>(I), SF);
1150   } else {
1151     switch (I.getOpcode()) {
1152       // Terminators
1153     case Instruction::Ret:     executeRetInst  (cast<ReturnInst>(I), SF); break;
1154     case Instruction::Br:      executeBrInst   (cast<BranchInst>(I), SF); break;
1155       // Memory Instructions
1156     case Instruction::Alloca:
1157     case Instruction::Malloc:  executeAllocInst((AllocationInst&)I, SF); break;
1158     case Instruction::Free:    executeFreeInst (cast<FreeInst> (I), SF); break;
1159     case Instruction::Load:    executeLoadInst (cast<LoadInst> (I), SF); break;
1160     case Instruction::Store:   executeStoreInst(cast<StoreInst>(I), SF); break;
1161     case Instruction::GetElementPtr:
1162                           executeGEPInst(cast<GetElementPtrInst>(I), SF); break;
1163
1164       // Miscellaneous Instructions
1165     case Instruction::Call:    executeCallInst (cast<CallInst> (I), SF); break;
1166     case Instruction::PHINode: executePHINode  (cast<PHINode>  (I), SF); break;
1167     case Instruction::Shl:     executeShlInst  (cast<ShiftInst>(I), SF); break;
1168     case Instruction::Shr:     executeShrInst  (cast<ShiftInst>(I), SF); break;
1169     case Instruction::Cast:    executeCastInst (cast<CastInst> (I), SF); break;
1170     default:
1171       cout << "Don't know how to execute this instruction!\n-->" << I;
1172     }
1173   }
1174   InInstruction = false;
1175   
1176   // Reset the current frame location to the top of stack
1177   CurFrame = ECStack.size()-1;
1178
1179   if (CurFrame == -1) return false;  // No breakpoint if no code
1180
1181   // Return true if there is a breakpoint annotation on the instruction...
1182   return ECStack[CurFrame].CurInst->getAnnotation(BreakpointAID) != 0;
1183 }
1184
1185 void Interpreter::stepInstruction() {  // Do the 'step' command
1186   if (ECStack.empty()) {
1187     cout << "Error: no program running, cannot step!\n";
1188     return;
1189   }
1190
1191   // Run an instruction...
1192   executeInstruction();
1193
1194   // Print the next instruction to execute...
1195   printCurrentInstruction();
1196 }
1197
1198 // --- UI Stuff...
1199 void Interpreter::nextInstruction() {  // Do the 'next' command
1200   if (ECStack.empty()) {
1201     cout << "Error: no program running, cannot 'next'!\n";
1202     return;
1203   }
1204
1205   // If this is a call instruction, step over the call instruction...
1206   // TODO: ICALL, CALL WITH, ...
1207   if (ECStack.back().CurInst->getOpcode() == Instruction::Call) {
1208     unsigned StackSize = ECStack.size();
1209     // Step into the function...
1210     if (executeInstruction()) {
1211       // Hit a breakpoint, print current instruction, then return to user...
1212       cout << "Breakpoint hit!\n";
1213       printCurrentInstruction();
1214       return;
1215     }
1216
1217     // If we we able to step into the function, finish it now.  We might not be
1218     // able the step into a function, if it's external for example.
1219     if (ECStack.size() != StackSize)
1220       finish(); // Finish executing the function...
1221     else
1222       printCurrentInstruction();
1223
1224   } else {
1225     // Normal instruction, just step...
1226     stepInstruction();
1227   }
1228 }
1229
1230 void Interpreter::run() {
1231   if (ECStack.empty()) {
1232     cout << "Error: no program running, cannot run!\n";
1233     return;
1234   }
1235
1236   bool HitBreakpoint = false;
1237   while (!ECStack.empty() && !HitBreakpoint) {
1238     // Run an instruction...
1239     HitBreakpoint = executeInstruction();
1240   }
1241
1242   if (HitBreakpoint) {
1243     cout << "Breakpoint hit!\n";
1244   }
1245   // Print the next instruction to execute...
1246   printCurrentInstruction();
1247 }
1248
1249 void Interpreter::finish() {
1250   if (ECStack.empty()) {
1251     cout << "Error: no program running, cannot run!\n";
1252     return;
1253   }
1254
1255   unsigned StackSize = ECStack.size();
1256   bool HitBreakpoint = false;
1257   while (ECStack.size() >= StackSize && !HitBreakpoint) {
1258     // Run an instruction...
1259     HitBreakpoint = executeInstruction();
1260   }
1261
1262   if (HitBreakpoint) {
1263     cout << "Breakpoint hit!\n";
1264   }
1265
1266   // Print the next instruction to execute...
1267   printCurrentInstruction();
1268 }
1269
1270
1271
1272 // printCurrentInstruction - Print out the instruction that the virtual PC is
1273 // at, or fail silently if no program is running.
1274 //
1275 void Interpreter::printCurrentInstruction() {
1276   if (!ECStack.empty()) {
1277     if (ECStack.back().CurBB->begin() == ECStack.back().CurInst)  // print label
1278       WriteAsOperand(cout, ECStack.back().CurBB) << ":\n";
1279
1280     Instruction &I = *ECStack.back().CurInst;
1281     InstNumber *IN = (InstNumber*)I.getAnnotation(SlotNumberAID);
1282     assert(IN && "Instruction has no numbering annotation!");
1283     cout << "#" << IN->InstNum << I;
1284   }
1285 }
1286
1287 void Interpreter::printValue(const Type *Ty, GenericValue V) {
1288   switch (Ty->getPrimitiveID()) {
1289   case Type::BoolTyID:   cout << (V.BoolVal?"true":"false"); break;
1290   case Type::SByteTyID:
1291     cout << (int)V.SByteVal << " '" << V.SByteVal << "'";  break;
1292   case Type::UByteTyID:
1293     cout << (unsigned)V.UByteVal << " '" << V.UByteVal << "'";  break;
1294   case Type::ShortTyID:  cout << V.ShortVal;  break;
1295   case Type::UShortTyID: cout << V.UShortVal; break;
1296   case Type::IntTyID:    cout << V.IntVal;    break;
1297   case Type::UIntTyID:   cout << V.UIntVal;   break;
1298   case Type::LongTyID:   cout << (long)V.LongVal;   break;
1299   case Type::ULongTyID:  cout << (unsigned long)V.ULongVal;  break;
1300   case Type::FloatTyID:  cout << V.FloatVal;  break;
1301   case Type::DoubleTyID: cout << V.DoubleVal; break;
1302   case Type::PointerTyID:cout << (void*)V.PointerVal; break;
1303   default:
1304     cout << "- Don't know how to print value of this type!";
1305     break;
1306   }
1307 }
1308
1309 void Interpreter::print(const Type *Ty, GenericValue V) {
1310   CW << Ty << " ";
1311   printValue(Ty, V);
1312 }
1313
1314 void Interpreter::print(const std::string &Name) {
1315   Value *PickedVal = ChooseOneOption(Name, LookupMatchingNames(Name));
1316   if (!PickedVal) return;
1317
1318   if (const Function *F = dyn_cast<const Function>(PickedVal)) {
1319     CW << F;  // Print the function
1320   } else if (const Type *Ty = dyn_cast<const Type>(PickedVal)) {
1321     CW << "type %" << Name << " = " << Ty->getDescription() << "\n";
1322   } else if (const BasicBlock *BB = dyn_cast<const BasicBlock>(PickedVal)) {
1323     CW << BB;   // Print the basic block
1324   } else {      // Otherwise there should be an annotation for the slot#
1325     print(PickedVal->getType(), 
1326           getOperandValue(PickedVal, ECStack[CurFrame]));
1327     cout << "\n";
1328   }
1329 }
1330
1331 void Interpreter::infoValue(const std::string &Name) {
1332   Value *PickedVal = ChooseOneOption(Name, LookupMatchingNames(Name));
1333   if (!PickedVal) return;
1334
1335   cout << "Value: ";
1336   print(PickedVal->getType(), 
1337         getOperandValue(PickedVal, ECStack[CurFrame]));
1338   cout << "\n";
1339   printOperandInfo(PickedVal, ECStack[CurFrame]);
1340 }
1341
1342 // printStackFrame - Print information about the specified stack frame, or -1
1343 // for the default one.
1344 //
1345 void Interpreter::printStackFrame(int FrameNo) {
1346   if (FrameNo == -1) FrameNo = CurFrame;
1347   Function *F = ECStack[FrameNo].CurMethod;
1348   const Type *RetTy = F->getReturnType();
1349
1350   CW << ((FrameNo == CurFrame) ? '>' : '-') << "#" << FrameNo << ". "
1351      << (Value*)RetTy << " \"" << F->getName() << "\"(";
1352   
1353   unsigned i = 0;
1354   for (Function::aiterator I = F->abegin(), E = F->aend(); I != E; ++I, ++i) {
1355     if (i != 0) cout << ", ";
1356     CW << *I << "=";
1357     
1358     printValue(I->getType(), getOperandValue(I, ECStack[FrameNo]));
1359   }
1360
1361   cout << ")\n";
1362
1363   if (FrameNo != int(ECStack.size()-1)) {
1364     BasicBlock::iterator I = ECStack[FrameNo].CurInst;
1365     CW << --I;
1366   } else {
1367     CW << *ECStack[FrameNo].CurInst;
1368   }
1369 }
1370