Implement conversion of method pointer parameter in Call instruction
[oota-llvm.git] / lib / Transforms / ExprTypeConvert.cpp
index c5e7a713a3dd8e4b055dc5514b4040527b1827f8..5975a21ff3d4a276f04a5013c1383b178c7122a8 100644 (file)
 #include "llvm/iPHINode.h"
 #include "llvm/iMemory.h"
 #include "llvm/ConstantVals.h"
-#include "llvm/Optimizations/ConstantHandling.h"
-#include "llvm/Optimizations/DCE.h"
+#include "llvm/Transforms/Scalar/ConstantHandling.h"
+#include "llvm/Transforms/Scalar/DCE.h"
 #include "llvm/Analysis/Expressions.h"
 #include "Support/STLExtras.h"
 #include <map>
 #include <algorithm>
+#include <iostream>
+using std::cerr;
 
 #include "llvm/Assembly/Writer.h"
 
@@ -41,13 +43,6 @@ static bool AllIndicesZero(const MemAccessInst *MAI) {
   return true;
 }
 
-static unsigned getBaseTypeSize(const Type *Ty) {
-  if (const ArrayType *ATy = dyn_cast<ArrayType>(Ty))
-    if (ATy->isUnsized())
-      return getBaseTypeSize(ATy->getElementType());
-  return TD.getTypeSize(Ty);
-}
-
 
 // Peephole Malloc instructions: we take a look at the use chain of the
 // malloc instruction, and try to find out if the following conditions hold:
@@ -67,65 +62,44 @@ static bool MallocConvertableToType(MallocInst *MI, const Type *Ty,
 
   // Deal with the type to allocate, not the pointer type...
   Ty = cast<PointerType>(Ty)->getElementType();
+  if (!Ty->isSized()) return false;      // Can only alloc something with a size
 
   // Analyze the number of bytes allocated...
   analysis::ExprType Expr = analysis::ClassifyExpression(MI->getArraySize());
 
+  // Get information about the base datatype being allocated, before & after
+  unsigned ReqTypeSize = TD.getTypeSize(Ty);
+  unsigned OldTypeSize = TD.getTypeSize(MI->getType()->getElementType());
+
   // Must have a scale or offset to analyze it...
   if (!Expr.Offset && !Expr.Scale) return false;
 
-  if (Expr.Offset && (Expr.Scale || Expr.Var)) {
-    // This is wierd, shouldn't happen, but if it does, I wanna know about it!
-    cerr << "LevelRaise.cpp: Crazy allocation detected!\n";
-    return false;    
-  }
-
-  // Get the number of bytes allocated...
-  int SizeVal = getConstantValue(Expr.Offset ? Expr.Offset : Expr.Scale);
-  if (SizeVal <= 0) {
+  // Get the offset and scale of the allocation...
+  int OffsetVal = Expr.Offset ? getConstantValue(Expr.Offset) : 0;
+  int ScaleVal = Expr.Scale ? getConstantValue(Expr.Scale) : (Expr.Var ? 1 : 0);
+  if (ScaleVal < 0 || OffsetVal < 0) {
     cerr << "malloc of a negative number???\n";
     return false;
   }
-  unsigned Size = (unsigned)SizeVal;
-  unsigned ReqTypeSize = getBaseTypeSize(Ty);
-
-  // Does the size of the allocated type match the number of bytes
-  // allocated?
-  //
-  if (ReqTypeSize == Size)
-    return true;
 
-  // If not, it's possible that an array of constant size is being allocated.
-  // In this case, the Size will be a multiple of the data size.
+  // The old type might not be of unit size, take old size into consideration
+  // here...
+  unsigned Offset = (unsigned)OffsetVal * OldTypeSize;
+  unsigned Scale  = (unsigned)ScaleVal  * OldTypeSize;
+  
+  // In order to be successful, both the scale and the offset must be a multiple
+  // of the requested data type's size.
   //
-  if (!Expr.Offset) return false;  // Offset must be set, not scale...
-
-#if 1
-  return false;
-#else   // THIS CAN ONLY BE RUN VERY LATE, after several passes to make sure
-        // things are adequately raised!
-  // See if the allocated amount is a multiple of the type size...
-  if (Size/ReqTypeSize*ReqTypeSize != Size)
+  if (Offset/ReqTypeSize*ReqTypeSize != Offset ||
+      Scale/ReqTypeSize*ReqTypeSize != Scale)
     return false;   // Nope.
 
-  // Unfortunately things tend to be powers of two, so there may be
-  // many false hits.  We don't want to optimistically assume that we
-  // have the right type on the first try, so scan the use list of the
-  // malloc instruction, looking for the cast to the biggest type...
-  //
-  for (Value::use_iterator I = MI->use_begin(), E = MI->use_end(); I != E; ++I)
-    if (CastInst *CI = dyn_cast<CastInst>(*I))
-      if (const PointerType *PT = 
-          dyn_cast<PointerType>(CI->getOperand(0)->getType()))
-        if (getBaseTypeSize(PT->getElementType()) > ReqTypeSize)
-          return false;     // We found a type bigger than this one!
-  
   return true;
-#endif
 }
 
 static Instruction *ConvertMallocToType(MallocInst *MI, const Type *Ty,
-                                        const string &Name, ValueMapCache &VMC){
+                                        const std::string &Name,
+                                        ValueMapCache &VMC){
   BasicBlock *BB = MI->getParent();
   BasicBlock::iterator It = BB->end();
 
@@ -135,44 +109,61 @@ static Instruction *ConvertMallocToType(MallocInst *MI, const Type *Ty,
   const PointerType *AllocTy = cast<PointerType>(Ty);
   const Type *ElType = AllocTy->getElementType();
 
-  if (Expr.Var && !isa<ArrayType>(ElType)) {
-    ElType = ArrayType::get(AllocTy->getElementType());
-    AllocTy = PointerType::get(ElType);
-  }
+  unsigned DataSize = TD.getTypeSize(ElType);
+  unsigned OldTypeSize = TD.getTypeSize(MI->getType()->getElementType());
+
+  // Get the offset and scale coefficients that we are allocating...
+  int OffsetVal = (Expr.Offset ? getConstantValue(Expr.Offset) : 0);
+  int ScaleVal = Expr.Scale ? getConstantValue(Expr.Scale) : (Expr.Var ? 1 : 0);
+
+  // The old type might not be of unit size, take old size into consideration
+  // here...
+  unsigned Offset = (unsigned)OffsetVal * OldTypeSize / DataSize;
+  unsigned Scale  = (unsigned)ScaleVal  * OldTypeSize / DataSize;
+
+  // Locate the malloc instruction, because we may be inserting instructions
+  It = find(BB->getInstList().begin(), BB->getInstList().end(), MI);
+
+  // If we have a scale, apply it first...
+  if (Expr.Var) {
+    // Expr.Var is not neccesarily unsigned right now, insert a cast now.
+    if (Expr.Var->getType() != Type::UIntTy) {
+      Instruction *CI = new CastInst(Expr.Var, Type::UIntTy);
+      if (Expr.Var->hasName()) CI->setName(Expr.Var->getName()+"-uint");
+      It = BB->getInstList().insert(It, CI)+1;
+      Expr.Var = CI;
+    }
 
-  // If the array size specifier is not an unsigned integer, insert a cast now.
-  if (Expr.Var && Expr.Var->getType() != Type::UIntTy) {
-    It = find(BB->getInstList().begin(), BB->getInstList().end(), MI);
-    CastInst *SizeCast = new CastInst(Expr.Var, Type::UIntTy);
-    It = BB->getInstList().insert(It, SizeCast)+1;
-    Expr.Var = SizeCast;
-  }
+    if (Scale != 1) {
+      Instruction *ScI =
+        BinaryOperator::create(Instruction::Mul, Expr.Var,
+                               ConstantUInt::get(Type::UIntTy, Scale));
+      if (Expr.Var->hasName()) ScI->setName(Expr.Var->getName()+"-scl");
+      It = BB->getInstList().insert(It, ScI)+1;
+      Expr.Var = ScI;
+    }
 
-  // Check to see if they are allocating a constant sized array of a type...
-#if 0   // THIS CAN ONLY BE RUN VERY LATE
-  if (!Expr.Var) {
-    unsigned OffsetAmount  = (unsigned)getConstantValue(Expr.Offset);
-    unsigned DataSize = TD.getTypeSize(ElType);
-    
-    if (OffsetAmount > DataSize) // Allocate a sized array amount...
-      Expr.Var = ConstantUInt::get(Type::UIntTy, OffsetAmount/DataSize);
+  } else {
+    // If we are not scaling anything, just make the offset be the "var"...
+    Expr.Var = ConstantUInt::get(Type::UIntTy, Offset);
+    Offset = 0; Scale = 1;
   }
-#endif
-
-  Instruction *NewI = new MallocInst(AllocTy, Expr.Var, Name);
 
-  if (AllocTy != Ty) { // Create a cast instruction to cast it to the correct ty
-    if (It == BB->end())
-      It = find(BB->getInstList().begin(), BB->getInstList().end(), MI);
-                
-    // Insert the new malloc directly into the code ourselves
-    assert(It != BB->getInstList().end());
-    It = BB->getInstList().insert(It, NewI)+1;
+  // If we have an offset now, add it in...
+  if (Offset != 0) {
+    assert(Expr.Var && "Var must be nonnull by now!");
 
-    // Return the cast as the value to use...
-    NewI = new CastInst(NewI, Ty);
+    Instruction *AddI =
+      BinaryOperator::create(Instruction::Add, Expr.Var,
+                             ConstantUInt::get(Type::UIntTy, Offset));
+    if (Expr.Var->hasName()) AddI->setName(Expr.Var->getName()+"-off");
+    It = BB->getInstList().insert(It, AddI)+1;
+    Expr.Var = AddI;
   }
 
+  Instruction *NewI = new MallocInst(AllocTy, Expr.Var, Name);
+
+  assert(AllocTy == Ty);
   return NewI;
 }
 
@@ -183,7 +174,7 @@ bool ExpressionConvertableToType(Value *V, const Type *Ty,
   if (V->getType() == Ty) return true;  // Expression already correct type!
 
   // Expression type must be holdable in a register.
-  if (!isFirstClassType(Ty))
+  if (!Ty->isFirstClassType())
     return false;
   
   ValueTypeCache::iterator CTMI = CTMap.find(V);
@@ -199,7 +190,7 @@ bool ExpressionConvertableToType(Value *V, const Type *Ty,
     // it can convert the value...
     //
     if (Constant *CPV = dyn_cast<Constant>(V))
-      if (opt::ConstantFoldCastInstruction(CPV, Ty))
+      if (ConstantFoldCastInstruction(CPV, Ty))
         return true;  // Don't worry about deallocating, it's a constant.
 
     return false;              // Otherwise, we can't convert!
@@ -282,7 +273,7 @@ bool ExpressionConvertableToType(Value *V, const Type *Ty,
     // index array.  If there are, check to see if removing them causes us to
     // get to the right type...
     //
-    vector<Value*> Indices = GEP->copyIndices();
+    std::vector<Value*> Indices = GEP->copyIndices();
     const Type *BaseType = GEP->getPointerOperand()->getType();
     const Type *ElTy = 0;
 
@@ -298,13 +289,12 @@ bool ExpressionConvertableToType(Value *V, const Type *Ty,
     if (ElTy) break;   // Found a number of zeros we can strip off!
 
     // Otherwise, we can convert a GEP from one form to the other iff the
-    // current gep is of the form 'getelementptr [sbyte]*, unsigned N
+    // current gep is of the form 'getelementptr sbyte*, unsigned N
     // and we could convert this to an appropriate GEP for the new type.
     //
     if (GEP->getNumOperands() == 2 &&
         GEP->getOperand(1)->getType() == Type::UIntTy &&
         GEP->getType() == PointerType::get(Type::SByteTy)) {
-      const PointerType *NewSrcTy = PointerType::get(ArrayType::get(PVTy));
 
       // Do not Check to see if our incoming pointer can be converted
       // to be a ptr to an array of the right type... because in more cases than
@@ -315,10 +305,13 @@ bool ExpressionConvertableToType(Value *V, const Type *Ty,
       // Check to see if 'N' is an expression that can be converted to
       // the appropriate size... if so, allow it.
       //
-      vector<Value*> Indices;
-      const Type *ElTy = ConvertableToGEP(NewSrcTy, I->getOperand(1), Indices);
+      std::vector<Value*> Indices;
+      const Type *ElTy = ConvertableToGEP(PTy, I->getOperand(1), Indices);
       if (ElTy) {
         assert(ElTy == PVTy && "Internal error, setup wrong!");
+        if (!ExpressionConvertableToType(I->getOperand(0),
+                                         PointerType::get(ElTy), CTMap))
+          return false;  // Can't continue, ExConToTy might have polluted set!
         break;
       }
     }
@@ -332,9 +325,10 @@ bool ExpressionConvertableToType(Value *V, const Type *Ty,
         GEP->getOperand(1)->getType() == Type::UIntTy &&
         TD.getTypeSize(PTy->getElementType()) == 
         TD.getTypeSize(GEP->getType()->getElementType())) {
-      const PointerType *NewSrcTy = PointerType::get(ArrayType::get(PVTy));
-      if (ExpressionConvertableToType(I->getOperand(0), NewSrcTy, CTMap))
-        break;
+      const PointerType *NewSrcTy = PointerType::get(PVTy);
+      if (!ExpressionConvertableToType(I->getOperand(0), NewSrcTy, CTMap))
+        return false;
+      break;
     }
 
     return false;   // No match, maybe next time.
@@ -363,6 +357,10 @@ Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC) {
   ValueMapCache::ExprMapTy::iterator VMCI = VMC.ExprMap.find(V);
   if (VMCI != VMC.ExprMap.end()) {
     assert(VMCI->second->getType() == Ty);
+
+    if (Instruction *I = dyn_cast<Instruction>(V))
+      ValueHandle IHandle(VMC, I);  // Remove I if it is unused now!
+
     return VMCI->second;
   }
 
@@ -375,7 +373,7 @@ Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC) {
     if (Constant *CPV = cast<Constant>(V)) {
       // Constants are converted by constant folding the cast that is required.
       // We assume here that all casts are implemented for constant prop.
-      Value *Result = opt::ConstantFoldCastInstruction(CPV, Ty);
+      Value *Result = ConstantFoldCastInstruction(CPV, Ty);
       assert(Result && "ConstantFoldCastInstruction Failed!!!");
       assert(Result->getType() == Ty && "Const prop of cast failed!");
 
@@ -387,15 +385,13 @@ Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC) {
 
   BasicBlock *BB = I->getParent();
   BasicBlock::InstListType &BIL = BB->getInstList();
-  string Name = I->getName();  if (!Name.empty()) I->setName("");
+  std::string Name = I->getName();  if (!Name.empty()) I->setName("");
   Instruction *Res;     // Result of conversion
 
   ValueHandle IHandle(VMC, I);  // Prevent I from being removed!
   
   Constant *Dummy = Constant::getNullConstant(Ty);
 
-  //cerr << endl << endl << "Type:\t" << Ty << "\nInst: " << I << "BB Before: " << BB << endl;
-
   switch (I->getOpcode()) {
   case Instruction::Cast:
     Res = new CastInst(I->getOperand(0), Ty, Name);
@@ -429,7 +425,7 @@ Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC) {
                                                PointerType::get(Ty), VMC));
     assert(Res->getOperand(0)->getType() == PointerType::get(Ty));
     assert(Ty == Res->getType());
-    assert(isFirstClassType(Res->getType()) && "Load of structure or array!");
+    assert(Res->getType()->isFirstClassType() && "Load of structure or array!");
     break;
   }
 
@@ -471,7 +467,7 @@ Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC) {
     // index array.  If there are, check to see if removing them causes us to
     // get to the right type...
     //
-    vector<Value*> Indices = GEP->copyIndices();
+    std::vector<Value*> Indices = GEP->copyIndices();
     const Type *BaseType = GEP->getPointerOperand()->getType();
     const Type *PVTy = cast<PointerType>(Ty)->getElementType();
     Res = 0;
@@ -488,26 +484,30 @@ Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC) {
       }
     }
 
-    if (Res == 0) {  // Didn't match...
+    if (Res == 0 && GEP->getNumOperands() == 2 &&
+        GEP->getOperand(1)->getType() == Type::UIntTy &&
+        GEP->getType() == PointerType::get(Type::SByteTy)) {
+      
       // Otherwise, we can convert a GEP from one form to the other iff the
       // current gep is of the form 'getelementptr [sbyte]*, unsigned N
       // and we could convert this to an appropriate GEP for the new type.
       //
-      const PointerType *NewSrcTy = PointerType::get(ArrayType::get(PVTy));
+      const PointerType *NewSrcTy = PointerType::get(PVTy);
       BasicBlock::iterator It = find(BIL.begin(), BIL.end(), I);
 
       // Check to see if 'N' is an expression that can be converted to
       // the appropriate size... if so, allow it.
       //
-      vector<Value*> Indices;
+      std::vector<Value*> Indices;
       const Type *ElTy = ConvertableToGEP(NewSrcTy, I->getOperand(1),
                                           Indices, &It);
-      if (ElTy) {
-        CastInst *NewCast = new CastInst(I->getOperand(0),NewSrcTy,Name+"-adj");
-        It = BIL.insert(It, NewCast)+1;  // Insert the cast...
-        
+      if (ElTy) {        
         assert(ElTy == PVTy && "Internal error, setup wrong!");
-        Res = new GetElementPtrInst(NewCast, Indices, Name);
+        Res = new GetElementPtrInst(Constant::getNullConstant(NewSrcTy),
+                                    Indices, Name);
+        VMC.ExprMap[I] = Res;
+        Res->setOperand(0, ConvertExpressionToType(I->getOperand(0),
+                                                   NewSrcTy, VMC));
       }
     }
 
@@ -517,7 +517,7 @@ Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC) {
     //     getelemenptr [[int] *] * %reg115, uint %reg138      ; [int]**
     //
     if (Res == 0) {
-      const PointerType *NewSrcTy = PointerType::get(ArrayType::get(PVTy));
+      const PointerType *NewSrcTy = PointerType::get(PVTy);
       Res = new GetElementPtrInst(Constant::getNullConstant(NewSrcTy),
                                   GEP->copyIndices(), Name);
       VMC.ExprMap[I] = Res;
@@ -586,9 +586,11 @@ bool ValueConvertableToType(Value *V, const Type *Ty,
   // It is safe to convert the specified value to the specified type IFF all of
   // the uses of the value can be converted to accept the new typed value.
   //
-  for (Value::use_iterator I = V->use_begin(), E = V->use_end(); I != E; ++I)
-    if (!OperandConvertableToType(*I, V, Ty, ConvertedTypes))
-      return false;
+  if (V->getType() != Ty) {
+    for (Value::use_iterator I = V->use_begin(), E = V->use_end(); I != E; ++I)
+      if (!OperandConvertableToType(*I, V, Ty, ConvertedTypes))
+        return false;
+  }
 
   return true;
 }
@@ -605,10 +607,10 @@ bool ValueConvertableToType(Value *V, const Type *Ty,
 //
 static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
                                      ValueTypeCache &CTMap) {
-  if (V->getType() == Ty) return true;   // Operand already the right type?
+  //  if (V->getType() == Ty) return true;   // Operand already the right type?
 
   // Expression type must be holdable in a register.
-  if (!isFirstClassType(Ty))
+  if (!Ty->isFirstClassType())
     return false;
 
   Instruction *I = dyn_cast<Instruction>(U);
@@ -619,8 +621,13 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
     assert(I->getOperand(0) == V);
     // We can convert the expr if the cast destination type is losslessly
     // convertable to the requested type.
-    if (!Ty->isLosslesslyConvertableTo(I->getOperand(0)->getType()))
+    // Also, do not change a cast that is a noop cast.  For all intents and
+    // purposes it should be eliminated.
+    if (!Ty->isLosslesslyConvertableTo(I->getOperand(0)->getType()) ||
+        I->getType() == I->getOperand(0)->getType())
       return false;
+
+
 #if 1
     // We also do not allow conversion of a cast that casts from a ptr to array
     // of X to a *X.  For example: cast [4 x %List *] * %val to %List * *
@@ -636,7 +643,7 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
   case Instruction::Add:
     if (isa<PointerType>(Ty)) {
       Value *IndexVal = I->getOperand(V == I->getOperand(0) ? 1 : 0);
-      vector<Value*> Indices;
+      std::vector<Value*> Indices;
       if (const Type *ETy = ConvertableToGEP(Ty, IndexVal, Indices)) {
         const Type *RetTy = PointerType::get(ETy);
 
@@ -645,6 +652,9 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
           CTMap[I] = RetTy;
           return true;
         }
+        // We have to return failure here because ValueConvertableToType could 
+        // have polluted our map
+        return false;
       }
     }
     // FALLTHROUGH
@@ -665,6 +675,10 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
     assert(I->getOperand(0) == V);
     return ValueConvertableToType(I, Ty, CTMap);
 
+  case Instruction::Free:
+    assert(I->getOperand(0) == V);
+    return isa<PointerType>(Ty);    // Free can free any pointer type!
+
   case Instruction::Load:
     // Cannot convert the types of any subscripts...
     if (I->getOperand(0) != V) return false;
@@ -680,12 +694,12 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
       // They could be loading the first element of a composite type...
       if (const CompositeType *CT = dyn_cast<CompositeType>(LoadedTy)) {
         unsigned Offset = 0;     // No offset, get first leaf.
-        vector<Value*> Indices;  // Discarded...
+        std::vector<Value*> Indices;  // Discarded...
         LoadedTy = getStructOffsetType(CT, Offset, Indices, false);
         assert(Offset == 0 && "Offset changed from zero???");
       }
 
-      if (!isFirstClassType(LoadedTy))
+      if (!LoadedTy->isFirstClassType())
         return false;
 
       if (TD.getTypeSize(LoadedTy) != TD.getTypeSize(LI->getType()))
@@ -706,8 +720,6 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
                                          CTMap);
     } else if (const PointerType *PT = dyn_cast<PointerType>(Ty)) {
       const Type *ElTy = PT->getElementType();
-      if (ArrayType *AT = dyn_cast<ArrayType>(ElTy))
-        ElTy = AT->getElementType(); // Avoid getDataSize on unsized array type!
       assert(V == I->getOperand(1));
 
       // Must move the same amount of data...
@@ -720,24 +732,42 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
     return false;
   }
 
-  case Instruction::GetElementPtr: {
-    // Convert a getelementptr [sbyte] * %reg111, uint 16 freely back to
-    // anything that is a pointer type...
-    //
-    if (I->getType() != PointerType::get(Type::SByteTy) ||
-        I->getNumOperands() != 2 || V != I->getOperand(0) ||
-        I->getOperand(1)->getType() != Type::UIntTy || !isa<PointerType>(Ty))
-      return false;
+  case Instruction::GetElementPtr:
+    if (V != I->getOperand(0) || !isa<PointerType>(Ty)) return false;
 
-    // Check to see if the second argument is an expression that can
-    // be converted to the appropriate size... if so, allow it.
+    // If we have a two operand form of getelementptr, this is really little
+    // more than a simple addition.  As with addition, check to see if the
+    // getelementptr instruction can be changed to index into the new type.
     //
-    vector<Value*> Indices;
-    const Type *ElTy = ConvertableToGEP(Ty, I->getOperand(1), Indices);
-    if (ElTy == 0) return false;  // Cannot make conversion...
+    if (I->getNumOperands() == 2) {
+      const Type *OldElTy = cast<PointerType>(I->getType())->getElementType();
+      unsigned DataSize = TD.getTypeSize(OldElTy);
+      Value *Index = I->getOperand(1);
+      Instruction *TempScale = 0;
+
+      // If the old data element is not unit sized, we have to create a scale
+      // instruction so that ConvertableToGEP will know the REAL amount we are
+      // indexing by.  Note that this is never inserted into the instruction
+      // stream, so we have to delete it when we're done.
+      //
+      if (DataSize != 1) {
+        TempScale = BinaryOperator::create(Instruction::Mul, Index,
+                                           ConstantUInt::get(Type::UIntTy,
+                                                             DataSize));
+        Index = TempScale;
+      }
 
-    return ValueConvertableToType(I, ElTy, CTMap);
-  }
+      // Check to see if the second argument is an expression that can
+      // be converted to the appropriate size... if so, allow it.
+      //
+      std::vector<Value*> Indices;
+      const Type *ElTy = ConvertableToGEP(Ty, Index, Indices);
+      delete TempScale;   // Free our temporary multiply if we made it
+
+      if (ElTy == 0) return false;  // Cannot make conversion...
+      return ValueConvertableToType(I, PointerType::get(ElTy), CTMap);
+    }
+    return false;
 
   case Instruction::PHINode: {
     PHINode *PN = cast<PHINode>(I);
@@ -752,8 +782,44 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
     assert (OI != I->op_end() && "Not using value!");
     unsigned OpNum = OI - I->op_begin();
 
-    if (OpNum == 0)
-      return false; // Can't convert method pointer type yet.  FIXME
+    // Are we trying to change the method pointer value to a new type?
+    if (OpNum == 0) {
+      PointerType *PTy = dyn_cast<PointerType>(Ty);
+      if (PTy == 0) return false;  // Can't convert to a non-pointer type...
+      MethodType *MTy = dyn_cast_or_null<MethodType>(PTy->getElementType());
+      if (MTy == 0) return false;  // Can't convert to a non ptr to method...
+
+      // Perform sanity checks to make sure that new method type has the
+      // correct number of arguments...
+      //
+      unsigned NumArgs = I->getNumOperands()-1;  // Don't include method ptr
+
+      // Cannot convert to a type that requires more fixed arguments than
+      // the call provides...
+      //
+      if (NumArgs < MTy->getParamTypes().size()) return false;
+      
+      // Unless this is a vararg method type, we cannot provide more arguments
+      // than are desired...
+      //
+      if (!MTy->isVarArg() && NumArgs > MTy->getParamTypes().size())
+        return false;
+
+      // Okay, at this point, we know that the call and the method type match
+      // number of arguments.  Now we see if we can convert the arguments
+      // themselves.
+      //
+      const MethodType::ParamTypes &PTs = MTy->getParamTypes();
+      for (unsigned i = 0, NA = PTs.size(); i < NA; ++i)
+        if (!PTs[i]->isLosslesslyConvertableTo(I->getOperand(i+1)->getType()))
+          return false;   // Operands must have compatible types!
+
+      // Okay, at this point, we know that all of the arguments can be
+      // converted.  We succeed if we can change the return type if
+      // neccesary...
+      //
+      return ValueConvertableToType(I, MTy->getReturnType(), CTMap);
+    }
     
     const PointerType *MPtr = cast<PointerType>(I->getOperand(0)->getType());
     const MethodType *MTy = cast<MethodType>(MPtr->getElementType());
@@ -802,7 +868,7 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
 
   BasicBlock *BB = I->getParent();
   BasicBlock::InstListType &BIL = BB->getInstList();
-  string Name = I->getName();  if (!Name.empty()) I->setName("");
+  std::string Name = I->getName();  if (!Name.empty()) I->setName("");
   Instruction *Res;     // Result of conversion
 
   //cerr << endl << endl << "Type:\t" << Ty << "\nInst: " << I << "BB Before: " << BB << endl;
@@ -823,12 +889,12 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
   case Instruction::Add:
     if (isa<PointerType>(NewTy)) {
       Value *IndexVal = I->getOperand(OldVal == I->getOperand(0) ? 1 : 0);
-      vector<Value*> Indices;
+      std::vector<Value*> Indices;
       BasicBlock::iterator It = find(BIL.begin(), BIL.end(), I);
 
       if (const Type *ETy = ConvertableToGEP(NewTy, IndexVal, Indices, &It)) {
         // If successful, convert the add to a GEP
-        const Type *RetTy = PointerType::get(ETy);
+        //const Type *RetTy = PointerType::get(ETy);
         // First operand is actually the given pointer...
         Res = new GetElementPtrInst(NewVal, Indices, Name);
         assert(cast<PointerType>(Res->getType())->getElementType() == ETy &&
@@ -860,20 +926,28 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
                         I->getOperand(1), Name);
     break;
 
+  case Instruction::Free:            // Free can free any pointer type!
+    assert(I->getOperand(0) == OldVal);
+    Res = new FreeInst(NewVal);
+    break;
+
+
   case Instruction::Load: {
     assert(I->getOperand(0) == OldVal && isa<PointerType>(NewVal->getType()));
-    const Type *LoadedTy = cast<PointerType>(NewVal->getType())->getElementType();
+    const Type *LoadedTy =
+      cast<PointerType>(NewVal->getType())->getElementType();
 
-    vector<Value*> Indices;
+    std::vector<Value*> Indices;
+    Indices.push_back(ConstantUInt::get(Type::UIntTy, 0));
 
     if (const CompositeType *CT = dyn_cast<CompositeType>(LoadedTy)) {
       unsigned Offset = 0;   // No offset, get first leaf.
       LoadedTy = getStructOffsetType(CT, Offset, Indices, false);
     }
-    assert(isFirstClassType(LoadedTy));
+    assert(LoadedTy->isFirstClassType());
 
     Res = new LoadInst(NewVal, Indices, Name);
-    assert(isFirstClassType(Res->getType()) && "Load of structure or array!");
+    assert(Res->getType()->isFirstClassType() && "Load of structure or array!");
     break;
   }
 
@@ -885,12 +959,14 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
       Res->setOperand(1, ConvertExpressionToType(I->getOperand(1), NewPT, VMC));
     } else {                           // Replace the source pointer
       const Type *ValTy = cast<PointerType>(NewTy)->getElementType();
-      vector<Value*> Indices;
+      std::vector<Value*> Indices;
+#if 0
+      Indices.push_back(ConstantUInt::get(Type::UIntTy, 0));
       while (ArrayType *AT = dyn_cast<ArrayType>(ValTy)) {
         Indices.push_back(ConstantUInt::get(Type::UIntTy, 0));
         ValTy = AT->getElementType();
       }
-
+#endif
       Res = new StoreInst(Constant::getNullConstant(ValTy), NewVal, Indices);
       VMC.ExprMap[I] = Res;
       Res->setOperand(0, ConvertExpressionToType(I->getOperand(0), ValTy, VMC));
@@ -900,22 +976,57 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
 
 
   case Instruction::GetElementPtr: {
-    // Convert a getelementptr [sbyte] * %reg111, uint 16 freely back to
-    // anything that is a pointer type...
+    // Convert a one index getelementptr into just about anything that is
+    // desired.
     //
     BasicBlock::iterator It = find(BIL.begin(), BIL.end(), I);
-    
-    // Check to see if the second argument is an expression that can
-    // be converted to the appropriate size... if so, allow it.
+    const Type *OldElTy = cast<PointerType>(I->getType())->getElementType();
+    unsigned DataSize = TD.getTypeSize(OldElTy);
+    Value *Index = I->getOperand(1);
+
+    if (DataSize != 1) {
+      // Insert a multiply of the old element type is not a unit size...
+      Index = BinaryOperator::create(Instruction::Mul, Index,
+                                     ConstantUInt::get(Type::UIntTy, DataSize));
+      It = BIL.insert(It, cast<Instruction>(Index))+1;
+    }
+
+    // Perform the conversion now...
     //
-    vector<Value*> Indices;
-    const Type *ElTy = ConvertableToGEP(NewVal->getType(), I->getOperand(1),
-                                        Indices, &It);
+    std::vector<Value*> Indices;
+    const Type *ElTy = ConvertableToGEP(NewVal->getType(), Index, Indices, &It);
     assert(ElTy != 0 && "GEP Conversion Failure!");
-
     Res = new GetElementPtrInst(NewVal, Indices, Name);
-    break;
+    assert(Res->getType() == PointerType::get(ElTy) &&
+           "ConvertableToGet failed!");
   }
+#if 0
+    if (I->getType() == PointerType::get(Type::SByteTy)) {
+      // Convert a getelementptr sbyte * %reg111, uint 16 freely back to
+      // anything that is a pointer type...
+      //
+      BasicBlock::iterator It = find(BIL.begin(), BIL.end(), I);
+    
+      // Check to see if the second argument is an expression that can
+      // be converted to the appropriate size... if so, allow it.
+      //
+      std::vector<Value*> Indices;
+      const Type *ElTy = ConvertableToGEP(NewVal->getType(), I->getOperand(1),
+                                          Indices, &It);
+      assert(ElTy != 0 && "GEP Conversion Failure!");
+      
+      Res = new GetElementPtrInst(NewVal, Indices, Name);
+    } else {
+      // Convert a getelementptr ulong * %reg123, uint %N
+      // to        getelementptr  long * %reg123, uint %N
+      // ... where the type must simply stay the same size...
+      //
+      Res = new GetElementPtrInst(NewVal,
+                                  cast<GetElementPtrInst>(I)->copyIndices(),
+                                  Name);
+    }
+#endif
+    break;
 
   case Instruction::PHINode: {
     PHINode *OldPN = cast<PHINode>(I);
@@ -935,12 +1046,28 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
 
   case Instruction::Call: {
     Value *Meth = I->getOperand(0);
-    vector<Value*> Params(I->op_begin()+1, I->op_end());
+    std::vector<Value*> Params(I->op_begin()+1, I->op_end());
+
+    if (Meth == OldVal) {   // Changing the method pointer?
+      PointerType *NewPTy = cast<PointerType>(NewVal->getType());
+      MethodType *NewTy = cast<MethodType>(NewPTy->getElementType());
+      const MethodType::ParamTypes &PTs = NewTy->getParamTypes();
 
-    vector<Value*>::iterator OI = find(Params.begin(), Params.end(), OldVal);
-    assert (OI != Params.end() && "Not using value!");
+      // Convert over all of the call operands to their new types... but only
+      // convert over the part that is not in the vararg section of the call.
+      //
+      for (unsigned i = 0; i < PTs.size(); ++i)
+        Params[i] = ConvertExpressionToType(Params[i], PTs[i], VMC);
+      Meth = NewVal;  // Update call destination to new value
+
+    } else {                   // Changing an argument, must be in vararg area
+      std::vector<Value*>::iterator OI =
+        find(Params.begin(), Params.end(), OldVal);
+      assert (OI != Params.end() && "Not using value!");
+
+      *OI = NewVal;
+    }
 
-    *OI = NewVal;
     Res = new CallInst(Meth, Params, Name);
     break;
   }
@@ -949,6 +1076,9 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
     return;
   }
 
+  // If the instruction was newly created, insert it into the instruction
+  // stream.
+  //
   BasicBlock::iterator It = find(BIL.begin(), BIL.end(), I);
   assert(It != BIL.end() && "Instruction not in own basic block??");
   BIL.insert(It, Res);   // Keep It pointing to old instruction
@@ -1011,13 +1141,11 @@ static void RecursiveDelete(ValueMapCache &Cache, Instruction *I) {
 #endif
 
   for (User::op_iterator OI = I->op_begin(), OE = I->op_end(); 
-       OI != OE; ++OI) {
-    Instruction *U = dyn_cast<Instruction>(*OI);
-    if (U) {
+       OI != OE; ++OI)
+    if (Instruction *U = dyn_cast<Instruction>(*OI)) {
       *OI = 0;
-      RecursiveDelete(Cache, dyn_cast<Instruction>(U));
+      RecursiveDelete(Cache, U);
     }
-  }
 
   I->getParent()->getInstList().remove(I);