- Fix LLI so that it simulates the endianness of the target machine
[oota-llvm.git] / lib / ExecutionEngine / Interpreter / Execution.cpp
index d88d91ff1f9e7fb416337a62b5b4b03392b67862..4c8be259835b0c570d13688ee0409bef6bd7955f 100644 (file)
@@ -6,14 +6,75 @@
 
 #include "Interpreter.h"
 #include "ExecutionAnnotations.h"
+#include "llvm/iPHINode.h"
 #include "llvm/iOther.h"
 #include "llvm/iTerminators.h"
 #include "llvm/iMemory.h"
-#include "llvm/Type.h"
-#include "llvm/ConstPoolVals.h"
+#include "llvm/DerivedTypes.h"
+#include "llvm/Constants.h"
 #include "llvm/Assembly/Writer.h"
-#include "llvm/Support/DataTypes.h"
 #include "llvm/Target/TargetData.h"
+#include "Support/CommandLine.h"
+#include <math.h>  // For fmod
+#include <signal.h>
+#include <setjmp.h>
+using std::vector;
+using std::cout;
+using std::cerr;
+
+static cl::opt<bool>
+QuietMode("quiet", cl::desc("Do not emit any non-program output"));
+
+static cl::alias 
+QuietModeA("q", cl::desc("Alias for -quiet"), cl::aliasopt(QuietMode));
+
+static cl::opt<bool>
+ArrayChecksEnabled("array-checks", cl::desc("Enable array bound checks"));
+
+static cl::opt<bool>
+AbortOnExceptions("abort-on-exception",
+                  cl::desc("Halt execution on a machine exception"));
+
+// Create a TargetData structure to handle memory addressing and size/alignment
+// computations
+//
+TargetData TD("lli Interpreter");
+CachedWriter CW;     // Object to accelerate printing of LLVM
+
+
+#ifdef PROFILE_STRUCTURE_FIELDS
+static cl::opt<bool>
+ProfileStructureFields("profilestructfields", 
+                       cl::desc("Profile Structure Field Accesses"));
+#include <map>
+static std::map<const StructType *, vector<unsigned> > FieldAccessCounts;
+#endif
+
+sigjmp_buf SignalRecoverBuffer;
+static bool InInstruction = false;
+
+extern "C" {
+static void SigHandler(int Signal) {
+  if (InInstruction)
+    siglongjmp(SignalRecoverBuffer, Signal);
+}
+}
+
+static void initializeSignalHandlers() {
+  struct sigaction Action;
+  Action.sa_handler = SigHandler;
+  Action.sa_flags   = SA_SIGINFO;
+  sigemptyset(&Action.sa_mask);
+  sigaction(SIGSEGV, &Action, 0);
+  sigaction(SIGBUS, &Action, 0);
+  sigaction(SIGINT, &Action, 0);
+  sigaction(SIGFPE, &Action, 0);
+}
+
+
+//===----------------------------------------------------------------------===//
+//                     Value Manipulation code
+//===----------------------------------------------------------------------===//
 
 static unsigned getOperandSlot(Value *V) {
   SlotNumber *SN = (SlotNumber*)V->getAnnotation(SlotNumberAID);
@@ -22,37 +83,101 @@ static unsigned getOperandSlot(Value *V) {
 }
 
 #define GET_CONST_VAL(TY, CLASS) \
-  case Type::TY##TyID: Result.TY##Val = ((CLASS*)CPV)->getValue(); break
+  case Type::TY##TyID: Result.TY##Val = cast<CLASS>(C)->getValue(); break
+
+// Operations used by constant expr implementations...
+static GenericValue executeCastOperation(Value *Src, const Type *DestTy,
+                                         ExecutionContext &SF);
+static GenericValue executeGEPOperation(Value *Src, User::op_iterator IdxBegin,
+                                        User::op_iterator IdxEnd,
+                                        ExecutionContext &SF);
+static GenericValue executeAddInst(GenericValue Src1, GenericValue Src2, 
+                                  const Type *Ty, ExecutionContext &SF);
+
+static GenericValue getConstantValue(const Constant *C) {
+  GenericValue Result;
+  switch (C->getType()->getPrimitiveID()) {
+    GET_CONST_VAL(Bool   , ConstantBool);
+    GET_CONST_VAL(UByte  , ConstantUInt);
+    GET_CONST_VAL(SByte  , ConstantSInt);
+    GET_CONST_VAL(UShort , ConstantUInt);
+    GET_CONST_VAL(Short  , ConstantSInt);
+    GET_CONST_VAL(UInt   , ConstantUInt);
+    GET_CONST_VAL(Int    , ConstantSInt);
+    GET_CONST_VAL(ULong  , ConstantUInt);
+    GET_CONST_VAL(Long   , ConstantSInt);
+    GET_CONST_VAL(Float  , ConstantFP);
+    GET_CONST_VAL(Double , ConstantFP);
+  case Type::PointerTyID:
+    if (isa<ConstantPointerNull>(C)) {
+      Result.PointerVal = 0;
+    } else if (const ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(C)){
+      GlobalAddress *Address = 
+       (GlobalAddress*)CPR->getValue()->getOrCreateAnnotation(GlobalAddressAID);
+      Result.PointerVal = (PointerTy)Address->Ptr;
+    } else {
+      assert(0 && "Unknown constant pointer type!");
+    }
+    break;
+  default:
+    cout << "ERROR: Constant unimp for type: " << C->getType() << "\n";
+  }
+  return Result;
+}
 
 static GenericValue getOperandValue(Value *V, ExecutionContext &SF) {
-  if (ConstPoolVal *CPV = dyn_cast<ConstPoolVal>(V)) {
-    GenericValue Result;
-    switch (CPV->getType()->getPrimitiveID()) {
-      GET_CONST_VAL(Bool   , ConstPoolBool);
-      GET_CONST_VAL(UByte  , ConstPoolUInt);
-      GET_CONST_VAL(SByte  , ConstPoolSInt);
-      GET_CONST_VAL(UShort , ConstPoolUInt);
-      GET_CONST_VAL(Short  , ConstPoolSInt);
-      GET_CONST_VAL(UInt   , ConstPoolUInt);
-      GET_CONST_VAL(Int    , ConstPoolSInt);
-      GET_CONST_VAL(Float  , ConstPoolFP);
-      GET_CONST_VAL(Double , ConstPoolFP);
+  if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) {
+    switch (CE->getOpcode()) {
+    case Instruction::Cast:
+      return executeCastOperation(CE->getOperand(0), CE->getType(), SF);
+    case Instruction::GetElementPtr:
+      return executeGEPOperation(CE->getOperand(0), CE->op_begin()+1,
+                                 CE->op_end(), SF);
+    case Instruction::Add:
+      return executeAddInst(getOperandValue(CE->getOperand(0), SF),
+                            getOperandValue(CE->getOperand(1), SF),
+                            CE->getType(), SF);
     default:
-      cout << "ERROR: Constant unimp for type: " << CPV->getType() << endl;
+      cerr << "Unhandled ConstantExpr: " << CE << "\n";
+      abort();
+      { GenericValue V; return V; }
     }
+  } else if (Constant *CPV = dyn_cast<Constant>(V)) {
+    return getConstantValue(CPV);
+  } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
+    GlobalAddress *Address = 
+      (GlobalAddress*)GV->getOrCreateAnnotation(GlobalAddressAID);
+    GenericValue Result;
+    Result.PointerVal = (PointerTy)(GenericValue*)Address->Ptr;
     return Result;
   } else {
     unsigned TyP = V->getType()->getUniqueID();   // TypePlane for value
+    unsigned OpSlot = getOperandSlot(V);
+    assert(TyP < SF.Values.size() && 
+           OpSlot < SF.Values[TyP].size() && "Value out of range!");
     return SF.Values[TyP][getOperandSlot(V)];
   }
 }
 
 static void printOperandInfo(Value *V, ExecutionContext &SF) {
-  if (!isa<ConstPoolVal>(V)) {
+  if (isa<Constant>(V)) {
+    cout << "Constant Pool Value\n";
+  } else if (isa<GlobalValue>(V)) {
+    cout << "Global Value\n";
+  } else {
     unsigned TyP  = V->getType()->getUniqueID();   // TypePlane for value
     unsigned Slot = getOperandSlot(V);
     cout << "Value=" << (void*)V << " TypeID=" << TyP << " Slot=" << Slot
-        << " Addr=" << &SF.Values[TyP][Slot] << " SF=" << &SF << endl;
+         << " Addr=" << &SF.Values[TyP][Slot] << " SF=" << &SF
+         << " Contents=0x";
+
+    const unsigned char *Buf = (const unsigned char*)&SF.Values[TyP][Slot];
+    for (unsigned i = 0; i < sizeof(GenericValue); ++i) {
+      unsigned char Cur = Buf[i];
+      cout << ( Cur     >= 160? char((Cur>>4)+'A'-10) : char((Cur>>4) + '0'))
+           << ((Cur&15) >=  10? char((Cur&15)+'A'-10) : char((Cur&15) + '0'));
+    }
+    cout << "\n";
   }
 }
 
@@ -61,11 +186,94 @@ static void printOperandInfo(Value *V, ExecutionContext &SF) {
 static void SetValue(Value *V, GenericValue Val, ExecutionContext &SF) {
   unsigned TyP = V->getType()->getUniqueID();   // TypePlane for value
 
-  //cout << "Setting value: " << &SF.Values[TyP][getOperandSlot(V)] << endl;
+  //cout << "Setting value: " << &SF.Values[TyP][getOperandSlot(V)] << "\n";
   SF.Values[TyP][getOperandSlot(V)] = Val;
 }
 
 
+//===----------------------------------------------------------------------===//
+//                    Annotation Wrangling code
+//===----------------------------------------------------------------------===//
+
+void Interpreter::initializeExecutionEngine() {
+  AnnotationManager::registerAnnotationFactory(MethodInfoAID,
+                                               &MethodInfo::Create);
+  AnnotationManager::registerAnnotationFactory(GlobalAddressAID, 
+                                               &GlobalAddress::Create);
+  initializeSignalHandlers();
+}
+
+static void StoreValueToMemory(GenericValue Val, GenericValue *Ptr,
+                               const Type *Ty);
+
+// InitializeMemory - Recursive function to apply a Constant value into the
+// specified memory location...
+//
+static void InitializeMemory(const Constant *Init, char *Addr) {
+
+  if (Init->getType()->isFirstClassType()) {
+    GenericValue Val = getConstantValue(Init);
+    StoreValueToMemory(Val, (GenericValue*)Addr, Init->getType());
+    return;
+  }
+
+  switch (Init->getType()->getPrimitiveID()) {
+  case Type::ArrayTyID: {
+    const ConstantArray *CPA = cast<ConstantArray>(Init);
+    const vector<Use> &Val = CPA->getValues();
+    unsigned ElementSize = 
+      TD.getTypeSize(cast<ArrayType>(CPA->getType())->getElementType());
+    for (unsigned i = 0; i < Val.size(); ++i)
+      InitializeMemory(cast<Constant>(Val[i].get()), Addr+i*ElementSize);
+    return;
+  }
+
+  case Type::StructTyID: {
+    const ConstantStruct *CPS = cast<ConstantStruct>(Init);
+    const StructLayout *SL=TD.getStructLayout(cast<StructType>(CPS->getType()));
+    const vector<Use> &Val = CPS->getValues();
+    for (unsigned i = 0; i < Val.size(); ++i)
+      InitializeMemory(cast<Constant>(Val[i].get()),
+                       Addr+SL->MemberOffsets[i]);
+    return;
+  }
+
+  default:
+    CW << "Bad Type: " << Init->getType() << "\n";
+    assert(0 && "Unknown constant type to initialize memory with!");
+  }
+}
+
+Annotation *GlobalAddress::Create(AnnotationID AID, const Annotable *O, void *){
+  assert(AID == GlobalAddressAID);
+
+  // This annotation will only be created on GlobalValue objects...
+  GlobalValue *GVal = cast<GlobalValue>((Value*)O);
+
+  if (isa<Function>(GVal)) {
+    // The GlobalAddress object for a function is just a pointer to function
+    // itself.  Don't delete it when the annotation is gone though!
+    return new GlobalAddress(GVal, false);
+  }
+
+  // Handle the case of a global variable...
+  assert(isa<GlobalVariable>(GVal) && 
+         "Global value found that isn't a function or global variable!");
+  GlobalVariable *GV = cast<GlobalVariable>(GVal);
+  
+  // First off, we must allocate space for the global variable to point at...
+  const Type *Ty = GV->getType()->getElementType();  // Type to be allocated
+
+  // Allocate enough memory to hold the type...
+  void *Addr = calloc(1, TD.getTypeSize(Ty));
+  assert(Addr != 0 && "Null pointer returned by malloc!");
+
+  // Initialize the memory if there is an initializer...
+  if (GV->hasInitializer())
+    InitializeMemory(GV->getInitializer(), (char*)Addr);
+
+  return new GlobalAddress(Addr, true);  // Simply invoke the ctor
+}
 
 //===----------------------------------------------------------------------===//
 //                    Binary Instruction Implementations
@@ -73,9 +281,6 @@ static void SetValue(Value *V, GenericValue Val, ExecutionContext &SF) {
 
 #define IMPLEMENT_BINARY_OPERATOR(OP, TY) \
    case Type::TY##TyID: Dest.TY##Val = Src1.TY##Val OP Src2.TY##Val; break
-#define IMPLEMENT_BINARY_PTR_OPERATOR(OP) \
-   case Type::PointerTyID: Dest.PointerVal = \
-     (GenericValue*)((unsigned long)Src1.PointerVal OP (unsigned long)Src2.PointerVal); break
 
 static GenericValue executeAddInst(GenericValue Src1, GenericValue Src2, 
                                   const Type *Ty, ExecutionContext &SF) {
@@ -87,13 +292,13 @@ static GenericValue executeAddInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_BINARY_OPERATOR(+, Short);
     IMPLEMENT_BINARY_OPERATOR(+, UInt);
     IMPLEMENT_BINARY_OPERATOR(+, Int);
+    IMPLEMENT_BINARY_OPERATOR(+, ULong);
+    IMPLEMENT_BINARY_OPERATOR(+, Long);
     IMPLEMENT_BINARY_OPERATOR(+, Float);
     IMPLEMENT_BINARY_OPERATOR(+, Double);
-    IMPLEMENT_BINARY_PTR_OPERATOR(+);
-  case Type::ULongTyID:
-  case Type::LongTyID:
+    IMPLEMENT_BINARY_OPERATOR(+, Pointer);
   default:
-    cout << "Unhandled type for Add instruction: " << Ty << endl;
+    cout << "Unhandled type for Add instruction: " << Ty << "\n";
   }
   return Dest;
 }
@@ -108,17 +313,144 @@ static GenericValue executeSubInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_BINARY_OPERATOR(-, Short);
     IMPLEMENT_BINARY_OPERATOR(-, UInt);
     IMPLEMENT_BINARY_OPERATOR(-, Int);
+    IMPLEMENT_BINARY_OPERATOR(-, ULong);
+    IMPLEMENT_BINARY_OPERATOR(-, Long);
     IMPLEMENT_BINARY_OPERATOR(-, Float);
     IMPLEMENT_BINARY_OPERATOR(-, Double);
-    IMPLEMENT_BINARY_PTR_OPERATOR(-);
-  case Type::ULongTyID:
-  case Type::LongTyID:
+    IMPLEMENT_BINARY_OPERATOR(-, Pointer);
+  default:
+    cout << "Unhandled type for Sub instruction: " << Ty << "\n";
+  }
+  return Dest;
+}
+
+static GenericValue executeMulInst(GenericValue Src1, GenericValue Src2, 
+                                  const Type *Ty, ExecutionContext &SF) {
+  GenericValue Dest;
+  switch (Ty->getPrimitiveID()) {
+    IMPLEMENT_BINARY_OPERATOR(*, UByte);
+    IMPLEMENT_BINARY_OPERATOR(*, SByte);
+    IMPLEMENT_BINARY_OPERATOR(*, UShort);
+    IMPLEMENT_BINARY_OPERATOR(*, Short);
+    IMPLEMENT_BINARY_OPERATOR(*, UInt);
+    IMPLEMENT_BINARY_OPERATOR(*, Int);
+    IMPLEMENT_BINARY_OPERATOR(*, ULong);
+    IMPLEMENT_BINARY_OPERATOR(*, Long);
+    IMPLEMENT_BINARY_OPERATOR(*, Float);
+    IMPLEMENT_BINARY_OPERATOR(*, Double);
+    IMPLEMENT_BINARY_OPERATOR(*, Pointer);
+  default:
+    cout << "Unhandled type for Mul instruction: " << Ty << "\n";
+  }
+  return Dest;
+}
+
+static GenericValue executeDivInst(GenericValue Src1, GenericValue Src2, 
+                                  const Type *Ty, ExecutionContext &SF) {
+  GenericValue Dest;
+  switch (Ty->getPrimitiveID()) {
+    IMPLEMENT_BINARY_OPERATOR(/, UByte);
+    IMPLEMENT_BINARY_OPERATOR(/, SByte);
+    IMPLEMENT_BINARY_OPERATOR(/, UShort);
+    IMPLEMENT_BINARY_OPERATOR(/, Short);
+    IMPLEMENT_BINARY_OPERATOR(/, UInt);
+    IMPLEMENT_BINARY_OPERATOR(/, Int);
+    IMPLEMENT_BINARY_OPERATOR(/, ULong);
+    IMPLEMENT_BINARY_OPERATOR(/, Long);
+    IMPLEMENT_BINARY_OPERATOR(/, Float);
+    IMPLEMENT_BINARY_OPERATOR(/, Double);
+    IMPLEMENT_BINARY_OPERATOR(/, Pointer);
+  default:
+    cout << "Unhandled type for Div instruction: " << Ty << "\n";
+  }
+  return Dest;
+}
+
+static GenericValue executeRemInst(GenericValue Src1, GenericValue Src2, 
+                                  const Type *Ty, ExecutionContext &SF) {
+  GenericValue Dest;
+  switch (Ty->getPrimitiveID()) {
+    IMPLEMENT_BINARY_OPERATOR(%, UByte);
+    IMPLEMENT_BINARY_OPERATOR(%, SByte);
+    IMPLEMENT_BINARY_OPERATOR(%, UShort);
+    IMPLEMENT_BINARY_OPERATOR(%, Short);
+    IMPLEMENT_BINARY_OPERATOR(%, UInt);
+    IMPLEMENT_BINARY_OPERATOR(%, Int);
+    IMPLEMENT_BINARY_OPERATOR(%, ULong);
+    IMPLEMENT_BINARY_OPERATOR(%, Long);
+    IMPLEMENT_BINARY_OPERATOR(%, Pointer);
+  case Type::FloatTyID:
+    Dest.FloatVal = fmod(Src1.FloatVal, Src2.FloatVal);
+    break;
+  case Type::DoubleTyID:
+    Dest.DoubleVal = fmod(Src1.DoubleVal, Src2.DoubleVal);
+    break;
+  default:
+    cout << "Unhandled type for Rem instruction: " << Ty << "\n";
+  }
+  return Dest;
+}
+
+static GenericValue executeAndInst(GenericValue Src1, GenericValue Src2, 
+                                  const Type *Ty, ExecutionContext &SF) {
+  GenericValue Dest;
+  switch (Ty->getPrimitiveID()) {
+    IMPLEMENT_BINARY_OPERATOR(&, UByte);
+    IMPLEMENT_BINARY_OPERATOR(&, SByte);
+    IMPLEMENT_BINARY_OPERATOR(&, UShort);
+    IMPLEMENT_BINARY_OPERATOR(&, Short);
+    IMPLEMENT_BINARY_OPERATOR(&, UInt);
+    IMPLEMENT_BINARY_OPERATOR(&, Int);
+    IMPLEMENT_BINARY_OPERATOR(&, ULong);
+    IMPLEMENT_BINARY_OPERATOR(&, Long);
+    IMPLEMENT_BINARY_OPERATOR(&, Pointer);
+  default:
+    cout << "Unhandled type for And instruction: " << Ty << "\n";
+  }
+  return Dest;
+}
+
+
+static GenericValue executeOrInst(GenericValue Src1, GenericValue Src2, 
+                                  const Type *Ty, ExecutionContext &SF) {
+  GenericValue Dest;
+  switch (Ty->getPrimitiveID()) {
+    IMPLEMENT_BINARY_OPERATOR(|, UByte);
+    IMPLEMENT_BINARY_OPERATOR(|, SByte);
+    IMPLEMENT_BINARY_OPERATOR(|, UShort);
+    IMPLEMENT_BINARY_OPERATOR(|, Short);
+    IMPLEMENT_BINARY_OPERATOR(|, UInt);
+    IMPLEMENT_BINARY_OPERATOR(|, Int);
+    IMPLEMENT_BINARY_OPERATOR(|, ULong);
+    IMPLEMENT_BINARY_OPERATOR(|, Long);
+    IMPLEMENT_BINARY_OPERATOR(|, Pointer);
+  default:
+    cout << "Unhandled type for Or instruction: " << Ty << "\n";
+  }
+  return Dest;
+}
+
+
+static GenericValue executeXorInst(GenericValue Src1, GenericValue Src2, 
+                                   const Type *Ty, ExecutionContext &SF) {
+  GenericValue Dest;
+  switch (Ty->getPrimitiveID()) {
+    IMPLEMENT_BINARY_OPERATOR(^, UByte);
+    IMPLEMENT_BINARY_OPERATOR(^, SByte);
+    IMPLEMENT_BINARY_OPERATOR(^, UShort);
+    IMPLEMENT_BINARY_OPERATOR(^, Short);
+    IMPLEMENT_BINARY_OPERATOR(^, UInt);
+    IMPLEMENT_BINARY_OPERATOR(^, Int);
+    IMPLEMENT_BINARY_OPERATOR(^, ULong);
+    IMPLEMENT_BINARY_OPERATOR(^, Long);
+    IMPLEMENT_BINARY_OPERATOR(^, Pointer);
   default:
-    cout << "Unhandled type for Sub instruction: " << Ty << endl;
+    cout << "Unhandled type for Xor instruction: " << Ty << "\n";
   }
   return Dest;
 }
 
+
 #define IMPLEMENT_SETCC(OP, TY) \
    case Type::TY##TyID: Dest.BoolVal = Src1.TY##Val OP Src2.TY##Val; break
 
@@ -132,13 +464,13 @@ static GenericValue executeSetEQInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_SETCC(==, Short);
     IMPLEMENT_SETCC(==, UInt);
     IMPLEMENT_SETCC(==, Int);
+    IMPLEMENT_SETCC(==, ULong);
+    IMPLEMENT_SETCC(==, Long);
     IMPLEMENT_SETCC(==, Float);
     IMPLEMENT_SETCC(==, Double);
     IMPLEMENT_SETCC(==, Pointer);
-  case Type::ULongTyID:
-  case Type::LongTyID:
   default:
-    cout << "Unhandled type for SetEQ instruction: " << Ty << endl;
+    cout << "Unhandled type for SetEQ instruction: " << Ty << "\n";
   }
   return Dest;
 }
@@ -153,13 +485,14 @@ static GenericValue executeSetNEInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_SETCC(!=, Short);
     IMPLEMENT_SETCC(!=, UInt);
     IMPLEMENT_SETCC(!=, Int);
+    IMPLEMENT_SETCC(!=, ULong);
+    IMPLEMENT_SETCC(!=, Long);
     IMPLEMENT_SETCC(!=, Float);
     IMPLEMENT_SETCC(!=, Double);
     IMPLEMENT_SETCC(!=, Pointer);
-  case Type::ULongTyID:
-  case Type::LongTyID:
+
   default:
-    cout << "Unhandled type for SetNE instruction: " << Ty << endl;
+    cout << "Unhandled type for SetNE instruction: " << Ty << "\n";
   }
   return Dest;
 }
@@ -174,13 +507,13 @@ static GenericValue executeSetLEInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_SETCC(<=, Short);
     IMPLEMENT_SETCC(<=, UInt);
     IMPLEMENT_SETCC(<=, Int);
+    IMPLEMENT_SETCC(<=, ULong);
+    IMPLEMENT_SETCC(<=, Long);
     IMPLEMENT_SETCC(<=, Float);
     IMPLEMENT_SETCC(<=, Double);
     IMPLEMENT_SETCC(<=, Pointer);
-  case Type::ULongTyID:
-  case Type::LongTyID:
   default:
-    cout << "Unhandled type for SetLE instruction: " << Ty << endl;
+    cout << "Unhandled type for SetLE instruction: " << Ty << "\n";
   }
   return Dest;
 }
@@ -195,13 +528,13 @@ static GenericValue executeSetGEInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_SETCC(>=, Short);
     IMPLEMENT_SETCC(>=, UInt);
     IMPLEMENT_SETCC(>=, Int);
+    IMPLEMENT_SETCC(>=, ULong);
+    IMPLEMENT_SETCC(>=, Long);
     IMPLEMENT_SETCC(>=, Float);
     IMPLEMENT_SETCC(>=, Double);
     IMPLEMENT_SETCC(>=, Pointer);
-  case Type::ULongTyID:
-  case Type::LongTyID:
   default:
-    cout << "Unhandled type for SetGE instruction: " << Ty << endl;
+    cout << "Unhandled type for SetGE instruction: " << Ty << "\n";
   }
   return Dest;
 }
@@ -216,13 +549,13 @@ static GenericValue executeSetLTInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_SETCC(<, Short);
     IMPLEMENT_SETCC(<, UInt);
     IMPLEMENT_SETCC(<, Int);
+    IMPLEMENT_SETCC(<, ULong);
+    IMPLEMENT_SETCC(<, Long);
     IMPLEMENT_SETCC(<, Float);
     IMPLEMENT_SETCC(<, Double);
     IMPLEMENT_SETCC(<, Pointer);
-  case Type::ULongTyID:
-  case Type::LongTyID:
   default:
-    cout << "Unhandled type for SetLT instruction: " << Ty << endl;
+    cout << "Unhandled type for SetLT instruction: " << Ty << "\n";
   }
   return Dest;
 }
@@ -237,26 +570,32 @@ static GenericValue executeSetGTInst(GenericValue Src1, GenericValue Src2,
     IMPLEMENT_SETCC(>, Short);
     IMPLEMENT_SETCC(>, UInt);
     IMPLEMENT_SETCC(>, Int);
+    IMPLEMENT_SETCC(>, ULong);
+    IMPLEMENT_SETCC(>, Long);
     IMPLEMENT_SETCC(>, Float);
     IMPLEMENT_SETCC(>, Double);
     IMPLEMENT_SETCC(>, Pointer);
-  case Type::ULongTyID:
-  case Type::LongTyID:
   default:
-    cout << "Unhandled type for SetGT instruction: " << Ty << endl;
+    cout << "Unhandled type for SetGT instruction: " << Ty << "\n";
   }
   return Dest;
 }
 
-static void executeBinaryInst(BinaryOperator *I, ExecutionContext &SF) {
-  const Type *Ty = I->getOperand(0)->getType();
-  GenericValue Src1  = getOperandValue(I->getOperand(0), SF);
-  GenericValue Src2  = getOperandValue(I->getOperand(1), SF);
+static void executeBinaryInst(BinaryOperator &I, ExecutionContext &SF) {
+  const Type *Ty    = I.getOperand(0)->getType();
+  GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
+  GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
   GenericValue R;   // Result
 
-  switch (I->getOpcode()) {
-  case Instruction::Add: R = executeAddInst(Src1, Src2, Ty, SF); break;
-  case Instruction::Sub: R = executeSubInst(Src1, Src2, Ty, SF); break;
+  switch (I.getOpcode()) {
+  case Instruction::Add:   R = executeAddInst  (Src1, Src2, Ty, SF); break;
+  case Instruction::Sub:   R = executeSubInst  (Src1, Src2, Ty, SF); break;
+  case Instruction::Mul:   R = executeMulInst  (Src1, Src2, Ty, SF); break;
+  case Instruction::Div:   R = executeDivInst  (Src1, Src2, Ty, SF); break;
+  case Instruction::Rem:   R = executeRemInst  (Src1, Src2, Ty, SF); break;
+  case Instruction::And:   R = executeAndInst  (Src1, Src2, Ty, SF); break;
+  case Instruction::Or:    R = executeOrInst   (Src1, Src2, Ty, SF); break;
+  case Instruction::Xor:   R = executeXorInst  (Src1, Src2, Ty, SF); break;
   case Instruction::SetEQ: R = executeSetEQInst(Src1, Src2, Ty, SF); break;
   case Instruction::SetNE: R = executeSetNEInst(Src1, Src2, Ty, SF); break;
   case Instruction::SetLE: R = executeSetLEInst(Src1, Src2, Ty, SF); break;
@@ -265,43 +604,106 @@ static void executeBinaryInst(BinaryOperator *I, ExecutionContext &SF) {
   case Instruction::SetGT: R = executeSetGTInst(Src1, Src2, Ty, SF); break;
   default:
     cout << "Don't know how to handle this binary operator!\n-->" << I;
+    R = Src1;
   }
 
-  SetValue(I, R, SF);
+  SetValue(&I, R, SF);
 }
 
 //===----------------------------------------------------------------------===//
 //                     Terminator Instruction Implementations
 //===----------------------------------------------------------------------===//
 
-void Interpreter::executeRetInst(ReturnInst *I, ExecutionContext &SF) {
+static void PerformExitStuff() {
+#ifdef PROFILE_STRUCTURE_FIELDS
+  // Print out structure field accounting information...
+  if (!FieldAccessCounts.empty()) {
+    CW << "Profile Field Access Counts:\n";
+    std::map<const StructType *, vector<unsigned> >::iterator 
+      I = FieldAccessCounts.begin(), E = FieldAccessCounts.end();
+    for (; I != E; ++I) {
+      vector<unsigned> &OfC = I->second;
+      CW << "  '" << (Value*)I->first << "'\t- Sum=";
+      
+      unsigned Sum = 0;
+      for (unsigned i = 0; i < OfC.size(); ++i)
+        Sum += OfC[i];
+      CW << Sum << " - ";
+      
+      for (unsigned i = 0; i < OfC.size(); ++i) {
+        if (i) CW << ", ";
+        CW << OfC[i];
+      }
+      CW << "\n";
+    }
+    CW << "\n";
+
+    CW << "Profile Field Access Percentages:\n";
+    cout.precision(3);
+    for (I = FieldAccessCounts.begin(); I != E; ++I) {
+      vector<unsigned> &OfC = I->second;
+      unsigned Sum = 0;
+      for (unsigned i = 0; i < OfC.size(); ++i)
+        Sum += OfC[i];
+      
+      CW << "  '" << (Value*)I->first << "'\t- ";
+      for (unsigned i = 0; i < OfC.size(); ++i) {
+        if (i) CW << ", ";
+        CW << double(OfC[i])/Sum;
+      }
+      CW << "\n";
+    }
+    CW << "\n";
+
+    FieldAccessCounts.clear();
+  }
+#endif
+}
+
+void Interpreter::exitCalled(GenericValue GV) {
+  if (!QuietMode) {
+    cout << "Program returned ";
+    print(Type::IntTy, GV);
+    cout << " via 'void exit(int)'\n";
+  }
+
+  ExitCode = GV.SByteVal;
+  ECStack.clear();
+  PerformExitStuff();
+}
+
+void Interpreter::executeRetInst(ReturnInst &I, ExecutionContext &SF) {
   const Type *RetTy = 0;
   GenericValue Result;
 
   // Save away the return value... (if we are not 'ret void')
-  if (I->getNumOperands()) {
-    RetTy  = I->getReturnValue()->getType();
-    Result = getOperandValue(I->getReturnValue(), SF);
+  if (I.getNumOperands()) {
+    RetTy  = I.getReturnValue()->getType();
+    Result = getOperandValue(I.getReturnValue(), SF);
   }
 
   // Save previously executing meth
-  const Method *M = ECStack.back().CurMethod;
+  const Function *M = ECStack.back().CurMethod;
 
   // Pop the current stack frame... this invalidates SF
   ECStack.pop_back();
 
   if (ECStack.empty()) {  // Finished main.  Put result into exit code...
     if (RetTy) {          // Nonvoid return type?
-      cout << "Method " << M->getType() << " \"" << M->getName()
-          << "\" returned ";
-      printValue(RetTy, Result);
-      cout << endl;
+      if (!QuietMode) {
+        CW << "Function " << M->getType() << " \"" << M->getName()
+           << "\" returned ";
+        print(RetTy, Result);
+        cout << "\n";
+      }
 
       if (RetTy->isIntegral())
-       ExitCode = Result.SByteVal;   // Capture the exit code of the program
+       ExitCode = Result.IntVal;   // Capture the exit code of the program
     } else {
       ExitCode = 0;
     }
+
+    PerformExitStuff();
     return;
   }
 
@@ -314,24 +716,26 @@ void Interpreter::executeRetInst(ReturnInst *I, ExecutionContext &SF) {
       SetValue(NewSF.Caller, Result, NewSF);
 
     NewSF.Caller = 0;          // We returned from the call...
-  } else {
+  } else if (!QuietMode) {
     // This must be a function that is executing because of a user 'call'
     // instruction.
-    cout << "Method " << M->getType() << " \"" << M->getName()
-        << "\" returned ";
-    printValue(RetTy, Result);
-    cout << endl;
+    CW << "Function " << M->getType() << " \"" << M->getName()
+       << "\" returned ";
+    print(RetTy, Result);
+    cout << "\n";
   }
 }
 
-void Interpreter::executeBrInst(BranchInst *I, ExecutionContext &SF) {
+void Interpreter::executeBrInst(BranchInst &I, ExecutionContext &SF) {
   SF.PrevBB = SF.CurBB;               // Update PrevBB so that PHI nodes work...
   BasicBlock *Dest;
 
-  Dest = I->getSuccessor(0);          // Uncond branches have a fixed dest...
-  if (!I->isUnconditional()) {
-    if (getOperandValue(I->getCondition(), SF).BoolVal == 0) // If false cond...
-      Dest = I->getSuccessor(1);    
+  Dest = I.getSuccessor(0);          // Uncond branches have a fixed dest...
+  if (!I.isUnconditional()) {
+    Value *Cond = I.getCondition();
+    GenericValue CondVal = getOperandValue(Cond, SF);
+    if (CondVal.BoolVal == 0) // If false cond...
+      Dest = I.getSuccessor(1);    
   }
   SF.CurBB   = Dest;                  // Update CurBB to branch destination
   SF.CurInst = SF.CurBB->begin();     // Update new instruction ptr...
@@ -341,130 +745,282 @@ void Interpreter::executeBrInst(BranchInst *I, ExecutionContext &SF) {
 //                     Memory Instruction Implementations
 //===----------------------------------------------------------------------===//
 
-// Create a TargetData structure to handle memory addressing and size/alignment
-// computations
-//
-static TargetData TD("lli Interpreter");
-
-void Interpreter::executeAllocInst(AllocationInst *I, ExecutionContext &SF) {
-  const Type *Ty = I->getType()->getValueType();  // Type to be allocated
-  unsigned NumElements = 1;
+void Interpreter::executeAllocInst(AllocationInst &I, ExecutionContext &SF) {
+  const Type *Ty = I.getType()->getElementType();  // Type to be allocated
 
-  if (I->getNumOperands()) {   // Allocating a unsized array type?
-    assert(Ty->isArrayType() && Ty->castArrayType()->isUnsized() && 
-          "Allocation inst with size operand for !unsized array type???");
-    Ty = ((const ArrayType*)Ty)->getElementType();  // Get the actual type...
-
-    // Get the number of elements being allocated by the array...
-    GenericValue NumEl = getOperandValue(I->getOperand(0), SF);
-    NumElements = NumEl.UIntVal;
-  }
+  // Get the number of elements being allocated by the array...
+  unsigned NumElements = getOperandValue(I.getOperand(0), SF).UIntVal;
 
   // Allocate enough memory to hold the type...
+  // FIXME: Don't use CALLOC, use a tainted malloc.
+  void *Memory = calloc(NumElements, TD.getTypeSize(Ty));
+
   GenericValue Result;
-  Result.PointerVal = (GenericValue*)malloc(NumElements * TD.getTypeSize(Ty));
+  Result.PointerVal = (PointerTy)Memory;
   assert(Result.PointerVal != 0 && "Null pointer returned by malloc!");
-  SetValue(I, Result, SF);
+  SetValue(&I, Result, SF);
 
-  if (I->getOpcode() == Instruction::Alloca) {
-    // Keep track to free it later...
-  }
+  if (I.getOpcode() == Instruction::Alloca)
+    ECStack.back().Allocas.add(Memory);
 }
 
-static void executeFreeInst(FreeInst *I, ExecutionContext &SF) {
-  assert(I->getOperand(0)->getType()->isPointerType() && "Freeing nonptr?");
-  GenericValue Value = getOperandValue(I->getOperand(0), SF);
+static void executeFreeInst(FreeInst &I, ExecutionContext &SF) {
+  assert(isa<PointerType>(I.getOperand(0)->getType()) && "Freeing nonptr?");
+  GenericValue Value = getOperandValue(I.getOperand(0), SF);
   // TODO: Check to make sure memory is allocated
-  free(Value.PointerVal);   // Free memory
+  free((void*)Value.PointerVal);   // Free memory
 }
 
-static void executeLoadInst(LoadInst *I, ExecutionContext &SF) {
-  assert(I->getNumOperands() == 1 && "NI!");
-  GenericValue *Ptr = getOperandValue(I->getPtrOperand(), SF).PointerVal;
-  GenericValue Result;
 
-  switch (I->getType()->getPrimitiveID()) {
-  case Type::BoolTyID:
-  case Type::UByteTyID:
-  case Type::SByteTyID:   Result.SByteVal = Ptr->SByteVal; break;
-  case Type::UShortTyID:
-  case Type::ShortTyID:   Result.ShortVal = Ptr->ShortVal; break;
-  case Type::UIntTyID:
-  case Type::IntTyID:     Result.IntVal = Ptr->IntVal; break;
-    //case Type::ULongTyID:
-    //case Type::LongTyID:    Result.LongVal = Ptr->LongVal; break;
-  case Type::FloatTyID:   Result.FloatVal = Ptr->FloatVal; break;
-  case Type::DoubleTyID:  Result.DoubleVal = Ptr->DoubleVal; break;
-  case Type::PointerTyID: Result.PointerVal = Ptr->PointerVal; break;
-  default:
-    cout << "Cannot load value of type " << I->getType() << "!\n";
+// getElementOffset - The workhorse for getelementptr.
+//
+static GenericValue executeGEPOperation(Value *Ptr, User::op_iterator I,
+                                        User::op_iterator E,
+                                        ExecutionContext &SF) {
+  assert(isa<PointerType>(Ptr->getType()) &&
+         "Cannot getElementOffset of a nonpointer type!");
+
+  PointerTy Total = 0;
+  const Type *Ty = Ptr->getType();
+
+  for (; I != E; ++I) {
+    if (const StructType *STy = dyn_cast<StructType>(Ty)) {
+      const StructLayout *SLO = TD.getStructLayout(STy);
+      
+      // Indicies must be ubyte constants...
+      const ConstantUInt *CPU = cast<ConstantUInt>(*I);
+      assert(CPU->getType() == Type::UByteTy);
+      unsigned Index = CPU->getValue();
+      
+#ifdef PROFILE_STRUCTURE_FIELDS
+      if (ProfileStructureFields) {
+        // Do accounting for this field...
+        vector<unsigned> &OfC = FieldAccessCounts[STy];
+        if (OfC.size() == 0) OfC.resize(STy->getElementTypes().size());
+        OfC[Index]++;
+      }
+#endif
+      
+      Total += SLO->MemberOffsets[Index];
+      Ty = STy->getElementTypes()[Index];
+    } else if (const SequentialType *ST = cast<SequentialType>(Ty)) {
+
+      // Get the index number for the array... which must be uint type...
+      assert((*I)->getType() == Type::LongTy);
+      unsigned Idx = getOperandValue(*I, SF).LongVal;
+      if (const ArrayType *AT = dyn_cast<ArrayType>(ST))
+        if (Idx >= AT->getNumElements() && ArrayChecksEnabled) {
+          cerr << "Out of range memory access to element #" << Idx
+               << " of a " << AT->getNumElements() << " element array."
+               << " Subscript #" << *I << "\n";
+          // Get outta here!!!
+          siglongjmp(SignalRecoverBuffer, SIGTRAP);
+        }
+
+      Ty = ST->getElementType();
+      unsigned Size = TD.getTypeSize(Ty);
+      Total += Size*Idx;
+    }  
   }
 
-  SetValue(I, Result, SF);
+  GenericValue Result;
+  Result.PointerVal = getOperandValue(Ptr, SF).PointerVal + Total;
+  return Result;
 }
 
-static void executeStoreInst(StoreInst *I, ExecutionContext &SF) {
-  GenericValue *Ptr = getOperandValue(I->getPtrOperand(), SF).PointerVal;
-  GenericValue Val = getOperandValue(I->getOperand(0), SF);
-  assert(I->getNumOperands() == 2 && "NI!");
+static void executeGEPInst(GetElementPtrInst &I, ExecutionContext &SF) {
+  SetValue(&I, executeGEPOperation(I.getPointerOperand(),
+                                   I.idx_begin(), I.idx_end(), SF), SF);
+}
 
-  switch (I->getOperand(0)->getType()->getPrimitiveID()) {
-  case Type::BoolTyID:
-  case Type::UByteTyID:
-  case Type::SByteTyID:   Ptr->SByteVal = Val.SByteVal; break;
-  case Type::UShortTyID:
-  case Type::ShortTyID:   Ptr->ShortVal = Val.ShortVal; break;
-  case Type::UIntTyID:
-  case Type::IntTyID:     Ptr->IntVal = Val.IntVal; break;
-    //case Type::ULongTyID:
-    //case Type::LongTyID:    Ptr->LongVal = Val.LongVal; break;
-  case Type::FloatTyID:   Ptr->FloatVal = Val.FloatVal; break;
-  case Type::DoubleTyID:  Ptr->DoubleVal = Val.DoubleVal; break;
-  case Type::PointerTyID: Ptr->PointerVal = Val.PointerVal; break;
-  default:
-    cout << "Cannot store value of type " << I->getType() << "!\n";
+static void executeLoadInst(LoadInst &I, ExecutionContext &SF) {
+  GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
+  GenericValue *Ptr = (GenericValue*)SRC.PointerVal;
+  GenericValue Result;
+
+  if (TD.isLittleEndian()) {
+    switch (I.getType()->getPrimitiveID()) {
+    case Type::BoolTyID:
+    case Type::UByteTyID:
+    case Type::SByteTyID:   Result.Untyped[0] = Ptr->UByteVal; break;
+    case Type::UShortTyID:
+    case Type::ShortTyID:   Result.Untyped[0] = Ptr->UShortVal & 255;
+                            Result.Untyped[1] = (Ptr->UShortVal >> 8) & 255;
+                            break;
+    case Type::FloatTyID:
+    case Type::UIntTyID:
+    case Type::IntTyID:     Result.Untyped[0] =  Ptr->UIntVal        & 255;
+                            Result.Untyped[1] = (Ptr->UIntVal >>  8) & 255;
+                            Result.Untyped[2] = (Ptr->UIntVal >> 16) & 255;
+                            Result.Untyped[3] = (Ptr->UIntVal >> 24) & 255;
+                            break;
+    case Type::DoubleTyID:
+    case Type::ULongTyID:
+    case Type::LongTyID:    
+    case Type::PointerTyID: Result.Untyped[0] =  Ptr->ULongVal        & 255;
+                            Result.Untyped[1] = (Ptr->ULongVal >>  8) & 255;
+                            Result.Untyped[2] = (Ptr->ULongVal >> 16) & 255;
+                            Result.Untyped[3] = (Ptr->ULongVal >> 24) & 255;
+                            Result.Untyped[4] = (Ptr->ULongVal >> 32) & 255;
+                            Result.Untyped[5] = (Ptr->ULongVal >> 40) & 255;
+                            Result.Untyped[6] = (Ptr->ULongVal >> 48) & 255;
+                            Result.Untyped[7] = (Ptr->ULongVal >> 56) & 255;
+                            break;
+    default:
+      cout << "Cannot load value of type " << I.getType() << "!\n";
+    }
+  } else {
+    switch (I.getType()->getPrimitiveID()) {
+    case Type::BoolTyID:
+    case Type::UByteTyID:
+    case Type::SByteTyID:   Result.Untyped[0] = Ptr->UByteVal; break;
+    case Type::UShortTyID:
+    case Type::ShortTyID:   Result.Untyped[1] = Ptr->UShortVal & 255;
+                            Result.Untyped[0] = (Ptr->UShortVal >> 8) & 255;
+                            break;
+    case Type::FloatTyID:
+    case Type::UIntTyID:
+    case Type::IntTyID:     Result.Untyped[3] =  Ptr->UIntVal        & 255;
+                            Result.Untyped[2] = (Ptr->UIntVal >>  8) & 255;
+                            Result.Untyped[1] = (Ptr->UIntVal >> 16) & 255;
+                            Result.Untyped[0] = (Ptr->UIntVal >> 24) & 255;
+                            break;
+    case Type::DoubleTyID:
+    case Type::ULongTyID:
+    case Type::LongTyID:    
+    case Type::PointerTyID: Result.Untyped[7] =  Ptr->ULongVal        & 255;
+                            Result.Untyped[6] = (Ptr->ULongVal >>  8) & 255;
+                            Result.Untyped[5] = (Ptr->ULongVal >> 16) & 255;
+                            Result.Untyped[4] = (Ptr->ULongVal >> 24) & 255;
+                            Result.Untyped[3] = (Ptr->ULongVal >> 32) & 255;
+                            Result.Untyped[2] = (Ptr->ULongVal >> 40) & 255;
+                            Result.Untyped[1] = (Ptr->ULongVal >> 48) & 255;
+                            Result.Untyped[0] = (Ptr->ULongVal >> 56) & 255;
+                            break;
+    default:
+      cout << "Cannot load value of type " << I.getType() << "!\n";
+    }
+  }
+
+  SetValue(&I, Result, SF);
+}
+
+static void StoreValueToMemory(GenericValue Val, GenericValue *Ptr,
+                               const Type *Ty) {
+  if (TD.isLittleEndian()) {
+    switch (Ty->getPrimitiveID()) {
+    case Type::BoolTyID:
+    case Type::UByteTyID:
+    case Type::SByteTyID:   Ptr->Untyped[0] = Val.UByteVal; break;
+    case Type::UShortTyID:
+    case Type::ShortTyID:   Ptr->Untyped[0] = Val.UShortVal & 255;
+                            Ptr->Untyped[1] = (Val.UShortVal >> 8) & 255;
+                            break;
+    case Type::FloatTyID:
+    case Type::UIntTyID:
+    case Type::IntTyID:     Ptr->Untyped[0] =  Val.UIntVal        & 255;
+                            Ptr->Untyped[1] = (Val.UIntVal >>  8) & 255;
+                            Ptr->Untyped[2] = (Val.UIntVal >> 16) & 255;
+                            Ptr->Untyped[3] = (Val.UIntVal >> 24) & 255;
+                            break;
+    case Type::DoubleTyID:
+    case Type::ULongTyID:
+    case Type::LongTyID:    
+    case Type::PointerTyID: Ptr->Untyped[0] =  Val.ULongVal        & 255;
+                            Ptr->Untyped[1] = (Val.ULongVal >>  8) & 255;
+                            Ptr->Untyped[2] = (Val.ULongVal >> 16) & 255;
+                            Ptr->Untyped[3] = (Val.ULongVal >> 24) & 255;
+                            Ptr->Untyped[4] = (Val.ULongVal >> 32) & 255;
+                            Ptr->Untyped[5] = (Val.ULongVal >> 40) & 255;
+                            Ptr->Untyped[6] = (Val.ULongVal >> 48) & 255;
+                            Ptr->Untyped[7] = (Val.ULongVal >> 56) & 255;
+                            break;
+    default:
+      cout << "Cannot load value of type " << Ty << "!\n";
+    }
+  } else {
+    switch (Ty->getPrimitiveID()) {
+    case Type::BoolTyID:
+    case Type::UByteTyID:
+    case Type::SByteTyID:   Ptr->Untyped[0] = Val.UByteVal; break;
+    case Type::UShortTyID:
+    case Type::ShortTyID:   Ptr->Untyped[1] = Val.UShortVal & 255;
+                            Ptr->Untyped[0] = (Val.UShortVal >> 8) & 255;
+                            break;
+    case Type::FloatTyID:
+    case Type::UIntTyID:
+    case Type::IntTyID:     Ptr->Untyped[3] =  Val.UIntVal        & 255;
+                            Ptr->Untyped[2] = (Val.UIntVal >>  8) & 255;
+                            Ptr->Untyped[1] = (Val.UIntVal >> 16) & 255;
+                            Ptr->Untyped[0] = (Val.UIntVal >> 24) & 255;
+                            break;
+    case Type::DoubleTyID:
+    case Type::ULongTyID:
+    case Type::LongTyID:    
+    case Type::PointerTyID: Ptr->Untyped[7] =  Val.ULongVal        & 255;
+                            Ptr->Untyped[6] = (Val.ULongVal >>  8) & 255;
+                            Ptr->Untyped[5] = (Val.ULongVal >> 16) & 255;
+                            Ptr->Untyped[4] = (Val.ULongVal >> 24) & 255;
+                            Ptr->Untyped[3] = (Val.ULongVal >> 32) & 255;
+                            Ptr->Untyped[2] = (Val.ULongVal >> 40) & 255;
+                            Ptr->Untyped[1] = (Val.ULongVal >> 48) & 255;
+                            Ptr->Untyped[0] = (Val.ULongVal >> 56) & 255;
+                            break;
+    default:
+      cout << "Cannot load value of type " << Ty << "!\n";
+    }
   }
 }
 
+static void executeStoreInst(StoreInst &I, ExecutionContext &SF) {
+  GenericValue Val = getOperandValue(I.getOperand(0), SF);
+  GenericValue SRC = getOperandValue(I.getPointerOperand(), SF);
+  StoreValueToMemory(Val, (GenericValue *)SRC.PointerVal, I.getType());
+}
+
 
 //===----------------------------------------------------------------------===//
 //                 Miscellaneous Instruction Implementations
 //===----------------------------------------------------------------------===//
 
-void Interpreter::executeCallInst(CallInst *I, ExecutionContext &SF) {
-  ECStack.back().Caller = I;
+void Interpreter::executeCallInst(CallInst &I, ExecutionContext &SF) {
+  ECStack.back().Caller = &I;
   vector<GenericValue> ArgVals;
-  ArgVals.reserve(I->getNumOperands()-1);
-  for (unsigned i = 1; i < I->getNumOperands(); ++i)
-    ArgVals.push_back(getOperandValue(I->getOperand(i), SF));
+  ArgVals.reserve(I.getNumOperands()-1);
+  for (unsigned i = 1; i < I.getNumOperands(); ++i)
+    ArgVals.push_back(getOperandValue(I.getOperand(i), SF));
 
-  callMethod(I->getCalledMethod(), ArgVals);
+  // To handle indirect calls, we must get the pointer value from the argument 
+  // and treat it as a function pointer.
+  GenericValue SRC = getOperandValue(I.getCalledValue(), SF);
+  
+  callMethod((Function*)SRC.PointerVal, ArgVals);
 }
 
-static void executePHINode(PHINode *I, ExecutionContext &SF) {
+static void executePHINode(PHINode &I, ExecutionContext &SF) {
   BasicBlock *PrevBB = SF.PrevBB;
   Value *IncomingValue = 0;
 
   // Search for the value corresponding to this previous bb...
-  for (unsigned i = I->getNumIncomingValues(); i > 0;) {
-    if (I->getIncomingBlock(--i) == PrevBB) {
-      IncomingValue = I->getIncomingValue(i);
+  for (unsigned i = I.getNumIncomingValues(); i > 0;) {
+    if (I.getIncomingBlock(--i) == PrevBB) {
+      IncomingValue = I.getIncomingValue(i);
       break;
     }
   }
   assert(IncomingValue && "No PHI node predecessor for current PrevBB!");
 
   // Found the value, set as the result...
-  SetValue(I, getOperandValue(IncomingValue, SF), SF);
+  SetValue(&I, getOperandValue(IncomingValue, SF), SF);
 }
 
 #define IMPLEMENT_SHIFT(OP, TY) \
    case Type::TY##TyID: Dest.TY##Val = Src1.TY##Val OP Src2.UByteVal; break
 
-static void executeShlInst(ShiftInst *I, ExecutionContext &SF) {
-  const Type *Ty = I->getOperand(0)->getType();
-  GenericValue Src1  = getOperandValue(I->getOperand(0), SF);
-  GenericValue Src2  = getOperandValue(I->getOperand(1), SF);
+static void executeShlInst(ShiftInst &I, ExecutionContext &SF) {
+  const Type *Ty    = I.getOperand(0)->getType();
+  GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
+  GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
   GenericValue Dest;
 
   switch (Ty->getPrimitiveID()) {
@@ -474,18 +1030,19 @@ static void executeShlInst(ShiftInst *I, ExecutionContext &SF) {
     IMPLEMENT_SHIFT(<<, Short);
     IMPLEMENT_SHIFT(<<, UInt);
     IMPLEMENT_SHIFT(<<, Int);
-  case Type::ULongTyID:
-  case Type::LongTyID:
+    IMPLEMENT_SHIFT(<<, ULong);
+    IMPLEMENT_SHIFT(<<, Long);
+    IMPLEMENT_SHIFT(<<, Pointer);
   default:
-    cout << "Unhandled type for Shl instruction: " << Ty << endl;
+    cout << "Unhandled type for Shl instruction: " << Ty << "\n";
   }
-  SetValue(I, Dest, SF);
+  SetValue(&I, Dest, SF);
 }
 
-static void executeShrInst(ShiftInst *I, ExecutionContext &SF) {
-  const Type *Ty = I->getOperand(0)->getType();
-  GenericValue Src1  = getOperandValue(I->getOperand(0), SF);
-  GenericValue Src2  = getOperandValue(I->getOperand(1), SF);
+static void executeShrInst(ShiftInst &I, ExecutionContext &SF) {
+  const Type *Ty    = I.getOperand(0)->getType();
+  GenericValue Src1 = getOperandValue(I.getOperand(0), SF);
+  GenericValue Src2 = getOperandValue(I.getOperand(1), SF);
   GenericValue Dest;
 
   switch (Ty->getPrimitiveID()) {
@@ -495,103 +1052,92 @@ static void executeShrInst(ShiftInst *I, ExecutionContext &SF) {
     IMPLEMENT_SHIFT(>>, Short);
     IMPLEMENT_SHIFT(>>, UInt);
     IMPLEMENT_SHIFT(>>, Int);
-  case Type::ULongTyID:
-  case Type::LongTyID:
+    IMPLEMENT_SHIFT(>>, ULong);
+    IMPLEMENT_SHIFT(>>, Long);
+    IMPLEMENT_SHIFT(>>, Pointer);
   default:
-    cout << "Unhandled type for Shr instruction: " << Ty << endl;
+    cout << "Unhandled type for Shr instruction: " << Ty << "\n";
   }
-  SetValue(I, Dest, SF);
+  SetValue(&I, Dest, SF);
 }
 
 #define IMPLEMENT_CAST(DTY, DCTY, STY) \
-   case Type::STY##TyID: Dest.DTY##Val = (DCTY)Src.STY##Val; break;
+   case Type::STY##TyID: Dest.DTY##Val = DCTY Src.STY##Val; break;
 
 #define IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY)    \
   case Type::DESTTY##TyID:                      \
     switch (SrcTy->getPrimitiveID()) {          \
+      IMPLEMENT_CAST(DESTTY, DESTCTY, Bool);    \
       IMPLEMENT_CAST(DESTTY, DESTCTY, UByte);   \
       IMPLEMENT_CAST(DESTTY, DESTCTY, SByte);   \
       IMPLEMENT_CAST(DESTTY, DESTCTY, UShort);  \
       IMPLEMENT_CAST(DESTTY, DESTCTY, Short);   \
       IMPLEMENT_CAST(DESTTY, DESTCTY, UInt);    \
-      IMPLEMENT_CAST(DESTTY, DESTCTY, Int);
-
-#define IMPLEMENT_CAST_CASE_PTR_IMP(DESTTY, DESTCTY) \
-      IMPLEMENT_CAST(DESTTY, DESTCTY, Pointer)
+      IMPLEMENT_CAST(DESTTY, DESTCTY, Int);     \
+      IMPLEMENT_CAST(DESTTY, DESTCTY, ULong);   \
+      IMPLEMENT_CAST(DESTTY, DESTCTY, Long);    \
+      IMPLEMENT_CAST(DESTTY, DESTCTY, Pointer);
 
 #define IMPLEMENT_CAST_CASE_FP_IMP(DESTTY, DESTCTY) \
       IMPLEMENT_CAST(DESTTY, DESTCTY, Float);   \
       IMPLEMENT_CAST(DESTTY, DESTCTY, Double)
 
 #define IMPLEMENT_CAST_CASE_END()    \
-    default: cout << "Unhandled cast: " << SrcTy << " to " << Ty << endl;  \
+    default: cout << "Unhandled cast: " << SrcTy << " to " << Ty << "\n";  \
       break;                                    \
     }                                           \
     break
 
 #define IMPLEMENT_CAST_CASE(DESTTY, DESTCTY) \
-   IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY);   \
-   IMPLEMENT_CAST_CASE_FP_IMP(DESTTY, DESTCTY); \
-   IMPLEMENT_CAST_CASE_PTR_IMP(DESTTY, DESTCTY); \
-   IMPLEMENT_CAST_CASE_END()
-
-#define IMPLEMENT_CAST_CASE_FP(DESTTY, DESTCTY) \
    IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY);   \
    IMPLEMENT_CAST_CASE_FP_IMP(DESTTY, DESTCTY); \
    IMPLEMENT_CAST_CASE_END()
 
-#define IMPLEMENT_CAST_CASE_PTR(DESTTY, DESTCTY) \
-   IMPLEMENT_CAST_CASE_START(DESTTY, DESTCTY);   \
-   IMPLEMENT_CAST_CASE_PTR_IMP(DESTTY, DESTCTY); \
-   IMPLEMENT_CAST_CASE_END()
-
-static void executeCastInst(CastInst *I, ExecutionContext &SF) {
-  const Type *Ty = I->getType();
-  const Type *SrcTy = I->getOperand(0)->getType();
-  GenericValue Src  = getOperandValue(I->getOperand(0), SF);
-  GenericValue Dest;
+static GenericValue executeCastOperation(Value *SrcVal, const Type *Ty,
+                                         ExecutionContext &SF) {
+  const Type *SrcTy = SrcVal->getType();
+  GenericValue Dest, Src = getOperandValue(SrcVal, SF);
 
   switch (Ty->getPrimitiveID()) {
-    IMPLEMENT_CAST_CASE(UByte , unsigned char);
-    IMPLEMENT_CAST_CASE(SByte ,   signed char);
-    IMPLEMENT_CAST_CASE(UShort, unsigned short);
-    IMPLEMENT_CAST_CASE(Short ,   signed char);
-    IMPLEMENT_CAST_CASE(UInt  , unsigned int );
-    IMPLEMENT_CAST_CASE(Int   ,   signed int );
-    IMPLEMENT_CAST_CASE_FP(Float ,          float);
-    IMPLEMENT_CAST_CASE_FP(Double,          double);
-    IMPLEMENT_CAST_CASE_PTR(Pointer, GenericValue *);
-  case Type::ULongTyID:
-  case Type::LongTyID:
+    IMPLEMENT_CAST_CASE(UByte  , (unsigned char));
+    IMPLEMENT_CAST_CASE(SByte  , (  signed char));
+    IMPLEMENT_CAST_CASE(UShort , (unsigned short));
+    IMPLEMENT_CAST_CASE(Short  , (  signed short));
+    IMPLEMENT_CAST_CASE(UInt   , (unsigned int ));
+    IMPLEMENT_CAST_CASE(Int    , (  signed int ));
+    IMPLEMENT_CAST_CASE(ULong  , (uint64_t));
+    IMPLEMENT_CAST_CASE(Long   , ( int64_t));
+    IMPLEMENT_CAST_CASE(Pointer, (PointerTy)(uint32_t));
+    IMPLEMENT_CAST_CASE(Float  , (float));
+    IMPLEMENT_CAST_CASE(Double , (double));
   default:
-    cout << "Unhandled dest type for cast instruction: " << Ty << endl;
+    cout << "Unhandled dest type for cast instruction: " << Ty << "\n";
   }
-  SetValue(I, Dest, SF);
+
+  return Dest;
 }
 
 
+static void executeCastInst(CastInst &I, ExecutionContext &SF) {
+  SetValue(&I, executeCastOperation(I.getOperand(0), I.getType(), SF), SF);
+}
 
 
 //===----------------------------------------------------------------------===//
 //                        Dispatch and Execution Code
 //===----------------------------------------------------------------------===//
 
-MethodInfo::MethodInfo(Method *M) : Annotation(MethodInfoAID) {
-  // Assign slot numbers to the method arguments...
-  const Method::ArgumentListType &ArgList = M->getArgumentList();
-  for (Method::ArgumentListType::const_iterator AI = ArgList.begin(), 
-        AE = ArgList.end(); AI != AE; ++AI) {
-    MethodArgument *MA = *AI;
-    MA->addAnnotation(new SlotNumber(getValueSlot(MA)));
-  }
+MethodInfo::MethodInfo(Function *F) : Annotation(MethodInfoAID) {
+  // Assign slot numbers to the function arguments...
+  for (Function::const_aiterator AI = F->abegin(), E = F->aend(); AI != E; ++AI)
+    AI->addAnnotation(new SlotNumber(getValueSlot(AI)));
 
   // Iterate over all of the instructions...
   unsigned InstNum = 0;
-  for (Method::inst_iterator MI = M->inst_begin(), ME = M->inst_end();
-       MI != ME; ++MI) {
-    Instruction *I = *MI;                          // For each instruction...
-    I->addAnnotation(new InstNumber(++InstNum, getValueSlot(I))); // Add Annote
-  }
+  for (Function::iterator BB = F->begin(), BBE = F->end(); BB != BBE; ++BB)
+    for (BasicBlock::iterator II = BB->begin(), IE = BB->end(); II != IE; ++II)
+      // For each instruction... Add Annote
+      II->addAnnotation(new InstNumber(++InstNum, getValueSlot(II)));
 }
 
 unsigned MethodInfo::getValueSlot(const Value *V) {
@@ -602,48 +1148,72 @@ unsigned MethodInfo::getValueSlot(const Value *V) {
 }
 
 
-void Interpreter::initializeExecutionEngine() {
-  AnnotationManager::registerAnnotationFactory(MethodInfoAID, CreateMethodInfo);
-}
-
 //===----------------------------------------------------------------------===//
-// callMethod - Execute the specified method...
+// callMethod - Execute the specified function...
 //
-void Interpreter::callMethod(Method *M, const vector<GenericValue> &ArgVals) {
+void Interpreter::callMethod(Function *M, const vector<GenericValue> &ArgVals) {
   assert((ECStack.empty() || ECStack.back().Caller == 0 || 
          ECStack.back().Caller->getNumOperands()-1 == ArgVals.size()) &&
         "Incorrect number of arguments passed into function call!");
   if (M->isExternal()) {
-    callExternalMethod(M, ArgVals);
+    GenericValue Result = callExternalMethod(M, ArgVals);
+    const Type *RetTy = M->getReturnType();
+
+    // Copy the result back into the result variable if we are not returning
+    // void.
+    if (RetTy != Type::VoidTy) {
+      if (!ECStack.empty() && ECStack.back().Caller) {
+        ExecutionContext &SF = ECStack.back();
+        SetValue(SF.Caller, Result, SF);
+      
+        SF.Caller = 0;          // We returned from the call...
+      } else if (!QuietMode) {
+        // print it.
+        CW << "Function " << M->getType() << " \"" << M->getName()
+           << "\" returned ";
+        print(RetTy, Result); 
+        cout << "\n";
+        
+        if (RetTy->isIntegral())
+          ExitCode = Result.IntVal;   // Capture the exit code of the program
+      }
+    }
+
     return;
   }
 
-  // Process the method, assigning instruction numbers to the instructions in
-  // the method.  Also calculate the number of values for each type slot active.
+  // Process the function, assigning instruction numbers to the instructions in
+  // the function.  Also calculate the number of values for each type slot
+  // active.
   //
   MethodInfo *MethInfo = (MethodInfo*)M->getOrCreateAnnotation(MethodInfoAID);
   ECStack.push_back(ExecutionContext());         // Make a new stack frame...
 
   ExecutionContext &StackFrame = ECStack.back(); // Fill it in...
   StackFrame.CurMethod = M;
-  StackFrame.CurBB     = M->front();
+  StackFrame.CurBB     = M->begin();
   StackFrame.CurInst   = StackFrame.CurBB->begin();
   StackFrame.MethInfo  = MethInfo;
 
   // Initialize the values to nothing...
   StackFrame.Values.resize(MethInfo->NumPlaneElements.size());
-  for (unsigned i = 0; i < MethInfo->NumPlaneElements.size(); ++i)
+  for (unsigned i = 0; i < MethInfo->NumPlaneElements.size(); ++i) {
     StackFrame.Values[i].resize(MethInfo->NumPlaneElements[i]);
 
+    // Taint the initial values of stuff
+    memset(&StackFrame.Values[i][0], 42,
+           MethInfo->NumPlaneElements[i]*sizeof(GenericValue));
+  }
+
   StackFrame.PrevBB = 0;  // No previous BB for PHI nodes...
 
 
-  // Run through the method arguments and initialize their values...
+  // Run through the function arguments and initialize their values...
+  assert(ArgVals.size() == M->asize() &&
+         "Invalid number of values passed to function invocation!");
   unsigned i = 0;
-  for (Method::ArgumentListType::iterator MI = M->getArgumentList().begin(),
-        ME = M->getArgumentList().end(); MI != ME; ++MI, ++i) {
-    SetValue(*MI, ArgVals[i], StackFrame);
-  }
+  for (Function::aiterator AI = M->abegin(), E = M->aend(); AI != E; ++AI, ++i)
+    SetValue(AI, ArgVals[i], StackFrame);
 }
 
 // executeInstruction - Interpret a single instruction, increment the "PC", and
@@ -653,32 +1223,58 @@ bool Interpreter::executeInstruction() {
   assert(!ECStack.empty() && "No program running, cannot execute inst!");
 
   ExecutionContext &SF = ECStack.back();  // Current stack frame
-  Instruction *I = *SF.CurInst++;         // Increment before execute
+  Instruction &I = *SF.CurInst++;         // Increment before execute
 
-  if (I->isBinaryOp()) {
-    executeBinaryInst((BinaryOperator*)I, SF);
+  if (Trace)
+    CW << "Run:" << I;
+
+  // Set a sigsetjmp buffer so that we can recover if an error happens during
+  // instruction execution...
+  //
+  if (int SigNo = sigsetjmp(SignalRecoverBuffer, 1)) {
+    --SF.CurInst;   // Back up to erroring instruction
+    if (SigNo != SIGINT) {
+      cout << "EXCEPTION OCCURRED [" << strsignal(SigNo) << "]:\n";
+      printStackTrace();
+      // If -abort-on-exception was specified, terminate LLI instead of trying
+      // to debug it.
+      //
+      if (AbortOnExceptions) exit(1);
+    } else if (SigNo == SIGINT) {
+      cout << "CTRL-C Detected, execution halted.\n";
+    }
+    InInstruction = false;
+    return true;
+  }
+
+  InInstruction = true;
+  if (I.isBinaryOp()) {
+    executeBinaryInst(cast<BinaryOperator>(I), SF);
   } else {
-    switch (I->getOpcode()) {
+    switch (I.getOpcode()) {
       // Terminators
-    case Instruction::Ret:     executeRetInst   ((ReturnInst*)I, SF); break;
-    case Instruction::Br:      executeBrInst    ((BranchInst*)I, SF); break;
+    case Instruction::Ret:     executeRetInst  (cast<ReturnInst>(I), SF); break;
+    case Instruction::Br:      executeBrInst   (cast<BranchInst>(I), SF); break;
       // Memory Instructions
     case Instruction::Alloca:
-    case Instruction::Malloc:  executeAllocInst ((AllocationInst*)I, SF); break;
-    case Instruction::Free:    executeFreeInst  ((FreeInst*)  I, SF); break;
-    case Instruction::Load:    executeLoadInst  ((LoadInst*)  I, SF); break;
-    case Instruction::Store:   executeStoreInst ((StoreInst*) I, SF); break;
+    case Instruction::Malloc:  executeAllocInst((AllocationInst&)I, SF); break;
+    case Instruction::Free:    executeFreeInst (cast<FreeInst> (I), SF); break;
+    case Instruction::Load:    executeLoadInst (cast<LoadInst> (I), SF); break;
+    case Instruction::Store:   executeStoreInst(cast<StoreInst>(I), SF); break;
+    case Instruction::GetElementPtr:
+                          executeGEPInst(cast<GetElementPtrInst>(I), SF); break;
 
       // Miscellaneous Instructions
-    case Instruction::Call:    executeCallInst  ((CallInst*)  I, SF); break;
-    case Instruction::PHINode: executePHINode   ((PHINode*)   I, SF); break;
-    case Instruction::Shl:     executeShlInst   ((ShiftInst*) I, SF); break;
-    case Instruction::Shr:     executeShrInst   ((ShiftInst*) I, SF); break;
-    case Instruction::Cast:    executeCastInst  ((CastInst*)  I, SF); break;
+    case Instruction::Call:    executeCallInst (cast<CallInst> (I), SF); break;
+    case Instruction::PHINode: executePHINode  (cast<PHINode>  (I), SF); break;
+    case Instruction::Shl:     executeShlInst  (cast<ShiftInst>(I), SF); break;
+    case Instruction::Shr:     executeShrInst  (cast<ShiftInst>(I), SF); break;
+    case Instruction::Cast:    executeCastInst (cast<CastInst> (I), SF); break;
     default:
       cout << "Don't know how to execute this instruction!\n-->" << I;
     }
   }
+  InInstruction = false;
   
   // Reset the current frame location to the top of stack
   CurFrame = ECStack.size()-1;
@@ -686,7 +1282,7 @@ bool Interpreter::executeInstruction() {
   if (CurFrame == -1) return false;  // No breakpoint if no code
 
   // Return true if there is a breakpoint annotation on the instruction...
-  return (*ECStack[CurFrame].CurInst)->getAnnotation(BreakpointAID) != 0;
+  return ECStack[CurFrame].CurInst->getAnnotation(BreakpointAID) != 0;
 }
 
 void Interpreter::stepInstruction() {  // Do the 'step' command
@@ -703,9 +1299,6 @@ void Interpreter::stepInstruction() {  // Do the 'step' command
 }
 
 // --- UI Stuff...
-
-
-
 void Interpreter::nextInstruction() {  // Do the 'next' command
   if (ECStack.empty()) {
     cout << "Error: no program running, cannot 'next'!\n";
@@ -714,7 +1307,8 @@ void Interpreter::nextInstruction() {  // Do the 'next' command
 
   // If this is a call instruction, step over the call instruction...
   // TODO: ICALL, CALL WITH, ...
-  if ((*ECStack.back().CurInst)->getOpcode() == Instruction::Call) {
+  if (ECStack.back().CurInst->getOpcode() == Instruction::Call) {
+    unsigned StackSize = ECStack.size();
     // Step into the function...
     if (executeInstruction()) {
       // Hit a breakpoint, print current instruction, then return to user...
@@ -723,8 +1317,13 @@ void Interpreter::nextInstruction() {  // Do the 'next' command
       return;
     }
 
-    // Finish executing the function...
-    finish();
+    // If we we able to step into the function, finish it now.  We might not be
+    // able the step into a function, if it's external for example.
+    if (ECStack.size() != StackSize)
+      finish(); // Finish executing the function...
+    else
+      printCurrentInstruction();
+
   } else {
     // Normal instruction, just step...
     stepInstruction();
@@ -746,7 +1345,6 @@ void Interpreter::run() {
   if (HitBreakpoint) {
     cout << "Breakpoint hit!\n";
   }
-
   // Print the next instruction to execute...
   printCurrentInstruction();
 }
@@ -779,74 +1377,97 @@ void Interpreter::finish() {
 //
 void Interpreter::printCurrentInstruction() {
   if (!ECStack.empty()) {
-    Instruction *I = *ECStack.back().CurInst;
-    InstNumber *IN = (InstNumber*)I->getAnnotation(SlotNumberAID);
+    if (ECStack.back().CurBB->begin() == ECStack.back().CurInst)  // print label
+      WriteAsOperand(cout, ECStack.back().CurBB) << ":\n";
+
+    Instruction &I = *ECStack.back().CurInst;
+    InstNumber *IN = (InstNumber*)I.getAnnotation(SlotNumberAID);
     assert(IN && "Instruction has no numbering annotation!");
     cout << "#" << IN->InstNum << I;
   }
 }
 
 void Interpreter::printValue(const Type *Ty, GenericValue V) {
-  cout << Ty << " ";
-
   switch (Ty->getPrimitiveID()) {
   case Type::BoolTyID:   cout << (V.BoolVal?"true":"false"); break;
-  case Type::SByteTyID:  cout << V.SByteVal;  break;
-  case Type::UByteTyID:  cout << V.UByteVal;  break;
+  case Type::SByteTyID:
+    cout << (int)V.SByteVal << " '" << V.SByteVal << "'";  break;
+  case Type::UByteTyID:
+    cout << (unsigned)V.UByteVal << " '" << V.UByteVal << "'";  break;
   case Type::ShortTyID:  cout << V.ShortVal;  break;
   case Type::UShortTyID: cout << V.UShortVal; break;
   case Type::IntTyID:    cout << V.IntVal;    break;
   case Type::UIntTyID:   cout << V.UIntVal;   break;
+  case Type::LongTyID:   cout << (long)V.LongVal;   break;
+  case Type::ULongTyID:  cout << (unsigned long)V.ULongVal;  break;
   case Type::FloatTyID:  cout << V.FloatVal;  break;
   case Type::DoubleTyID: cout << V.DoubleVal; break;
-  case Type::PointerTyID:cout << V.PointerVal; break;
+  case Type::PointerTyID:cout << (void*)V.PointerVal; break;
   default:
     cout << "- Don't know how to print value of this type!";
     break;
   }
 }
 
-void Interpreter::printValue(const string &Name) {
+void Interpreter::print(const Type *Ty, GenericValue V) {
+  CW << Ty << " ";
+  printValue(Ty, V);
+}
+
+void Interpreter::print(const std::string &Name) {
   Value *PickedVal = ChooseOneOption(Name, LookupMatchingNames(Name));
   if (!PickedVal) return;
 
-  if (const Method *M = dyn_cast<const Method>(PickedVal)) {
-    cout << M;  // Print the method
+  if (const Function *F = dyn_cast<const Function>(PickedVal)) {
+    CW << F;  // Print the function
+  } else if (const Type *Ty = dyn_cast<const Type>(PickedVal)) {
+    CW << "type %" << Name << " = " << Ty->getDescription() << "\n";
+  } else if (const BasicBlock *BB = dyn_cast<const BasicBlock>(PickedVal)) {
+    CW << BB;   // Print the basic block
   } else {      // Otherwise there should be an annotation for the slot#
-    printValue(PickedVal->getType(), 
-              getOperandValue(PickedVal, ECStack[CurFrame]));
-    cout << endl;
+    print(PickedVal->getType(), 
+          getOperandValue(PickedVal, ECStack[CurFrame]));
+    cout << "\n";
   }
-    
 }
 
-void Interpreter::infoValue(const string &Name) {
+void Interpreter::infoValue(const std::string &Name) {
   Value *PickedVal = ChooseOneOption(Name, LookupMatchingNames(Name));
   if (!PickedVal) return;
 
   cout << "Value: ";
-  printValue(PickedVal->getType(), 
-            getOperandValue(PickedVal, ECStack[CurFrame]));
-  cout << endl;
+  print(PickedVal->getType(), 
+        getOperandValue(PickedVal, ECStack[CurFrame]));
+  cout << "\n";
   printOperandInfo(PickedVal, ECStack[CurFrame]);
 }
 
-void Interpreter::list() {
-  if (ECStack.empty())
-    cout << "Error: No program executing!\n";
-  else
-    cout << ECStack[CurFrame].CurMethod;   // Just print the method out...
-}
+// printStackFrame - Print information about the specified stack frame, or -1
+// for the default one.
+//
+void Interpreter::printStackFrame(int FrameNo) {
+  if (FrameNo == -1) FrameNo = CurFrame;
+  Function *F = ECStack[FrameNo].CurMethod;
+  const Type *RetTy = F->getReturnType();
 
-void Interpreter::printStackTrace() {
-  if (ECStack.empty()) cout << "No program executing!\n";
+  CW << ((FrameNo == CurFrame) ? '>' : '-') << "#" << FrameNo << ". "
+     << (Value*)RetTy << " \"" << F->getName() << "\"(";
+  
+  unsigned i = 0;
+  for (Function::aiterator I = F->abegin(), E = F->aend(); I != E; ++I, ++i) {
+    if (i != 0) cout << ", ";
+    CW << *I << "=";
+    
+    printValue(I->getType(), getOperandValue(I, ECStack[FrameNo]));
+  }
 
-  for (unsigned i = 0; i < ECStack.size(); ++i) {
-    cout << (((int)i == CurFrame) ? '>' : '-');
-    cout << "#" << i << ". " << ECStack[i].CurMethod->getType() << " \""
-        << ECStack[i].CurMethod->getName() << "\"(";
-    // TODO: Print Args
-    cout << ")" << endl;
-    cout << *ECStack[i].CurInst;
+  cout << ")\n";
+
+  if (FrameNo != int(ECStack.size()-1)) {
+    BasicBlock::iterator I = ECStack[FrameNo].CurInst;
+    CW << --I;
+  } else {
+    CW << *ECStack[FrameNo].CurInst;
   }
 }
+