Fix the compile failures from last night.
[oota-llvm.git] / lib / Transforms / Instrumentation / TraceValues.cpp
index 57230c6b77c1355b9601200561b435be3d4c7c2b..9838ea101ac499989728152cde2d770764753158 100644 (file)
@@ -1,47 +1,54 @@
-//===- TraceValues.cpp - Value Tracing for debugging -------------*- C++ -*--=//
+//===- TraceValues.cpp - Value Tracing for debugging ----------------------===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file was developed by the LLVM research group and is distributed under
+// the University of Illinois Open Source License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
 //
 // Support for inserting LLVM code to print values at basic block and function
 // exits.
 //
 //===----------------------------------------------------------------------===//
 
-#include "llvm/Transforms/Instrumentation/TraceValues.h"
-#include "llvm/GlobalVariable.h"
+#include "llvm/Transforms/Instrumentation.h"
 #include "llvm/Constants.h"
 #include "llvm/DerivedTypes.h"
-#include "llvm/iMemory.h"
-#include "llvm/iTerminators.h"
-#include "llvm/iOther.h"
-#include "llvm/BasicBlock.h"
-#include "llvm/Function.h"
+#include "llvm/Instructions.h"
 #include "llvm/Module.h"
 #include "llvm/Pass.h"
 #include "llvm/Assembly/Writer.h"
-#include "Support/CommandLine.h"
-#include "Support/StringExtras.h"
+#include "llvm/Support/CommandLine.h"
+#include "llvm/ADT/StringExtras.h"
 #include <algorithm>
 #include <sstream>
-using std::vector;
-using std::string;
+using namespace llvm;
 
-static cl::Flag DisablePtrHashing("tracedisablehashdisable",
-                                  "Disable pointer hashing", cl::NoFlags);
+static cl::opt<bool>
+DisablePtrHashing("tracedisablehashdisable", cl::Hidden,
+                  cl::desc("Disable pointer hashing in the -trace or -tracem "
+                           "passes"));
 
-static cl::StringList TraceFuncName ("tracefunc", "trace only specific funct"
-                                     "ions", cl::NoFlags);
+static cl::list<std::string>
+TraceFuncNames("tracefunc", cl::desc("Only trace specific functions in the "
+                                     "-trace or -tracem passes"),
+               cl::value_desc("function"), cl::Hidden);
 
+static void TraceValuesAtBBExit(BasicBlock *BB,
+                                Function *Printf, Function* HashPtrToSeqNum,
+                             std::vector<Instruction*> *valuesStoredInFunction);
 
 // We trace a particular function if no functions to trace were specified
 // or if the function is in the specified list.
-// 
-inline bool
-TraceThisFunction(Function* func)
+//
+inline static bool
+TraceThisFunction(Function &F)
 {
-  if (TraceFuncName.getNumOccurances() == 0)
-    return true;
+  if (TraceFuncNames.empty()) return true;
 
-  return std::find(TraceFuncName.begin(), TraceFuncName.end(), func->getName())
-                  != TraceFuncName.end();
+  return std::find(TraceFuncNames.begin(), TraceFuncNames.end(), F.getName())
+                  != TraceFuncNames.end();
 }
 
 
@@ -51,77 +58,89 @@ namespace {
     Function *RecordPtrFunc, *PushOnEntryFunc, *ReleaseOnReturnFunc;
     void doInitialization(Module &M); // Add prototypes for external functions
   };
-  
+
   class InsertTraceCode : public FunctionPass {
-    bool TraceBasicBlockExits, TraceFunctionExits;
+  protected:
     ExternalFuncs externalFuncs;
   public:
-    InsertTraceCode(bool traceBasicBlockExits, bool traceFunctionExits)
-      : TraceBasicBlockExits(traceBasicBlockExits), 
-        TraceFunctionExits(traceFunctionExits) {}
 
-    const char *getPassName() const { return "Trace Code Insertion"; }
-    
     // Add a prototype for runtime functions not already in the program.
     //
     bool doInitialization(Module &M);
-    
+
     //--------------------------------------------------------------------------
     // Function InsertCodeToTraceValues
-    // 
+    //
     // Inserts tracing code for all live values at basic block and/or function
     // exits as specified by `traceBasicBlockExits' and `traceFunctionExits'.
     //
-    static bool doit(Function *M, bool traceBasicBlockExits,
-                     bool traceFunctionExits, ExternalFuncs& externalFuncs);
+    bool doit(Function *M);
+
+    virtual void handleBasicBlock(BasicBlock *BB,
+                                  std::vector<Instruction*> &VI) = 0;
 
     // runOnFunction - This method does the work.
     //
-    bool runOnFunction(Function &F) {
-      return doit(&F, TraceBasicBlockExits, TraceFunctionExits, externalFuncs);
-    }
+    bool runOnFunction(Function &F);
 
     virtual void getAnalysisUsage(AnalysisUsage &AU) const {
-      AU.preservesCFG();
+      AU.setPreservesCFG();
     }
   };
-} // end anonymous namespace
 
+  struct FunctionTracer : public InsertTraceCode {
+    // Ignore basic blocks here...
+    virtual void handleBasicBlock(BasicBlock *BB,
+                                  std::vector<Instruction*> &VI) {}
+  };
+
+  struct BasicBlockTracer : public InsertTraceCode {
+    // Trace basic blocks here...
+    virtual void handleBasicBlock(BasicBlock *BB,
+                                  std::vector<Instruction*> &VI) {
+      TraceValuesAtBBExit(BB, externalFuncs.PrintfFunc,
+                          externalFuncs.HashPtrFunc, &VI);
+    }
+  };
+
+  // Register the passes...
+  RegisterOpt<FunctionTracer>  X("tracem","Insert Function trace code only");
+  RegisterOpt<BasicBlockTracer> Y("trace","Insert BB and Function trace code");
+} // end anonymous namespace
 
-Pass *createTraceValuesPassForFunction() {     // Just trace functions
-  return new InsertTraceCode(false, true);
+/// Just trace functions
+FunctionPass *llvm::createTraceValuesPassForFunction() {
+  return new FunctionTracer();
 }
 
-Pass *createTraceValuesPassForBasicBlocks() {  // Trace BB's and functions
-  return new InsertTraceCode(true, true);
+/// Trace BB's and functions
+FunctionPass *llvm::createTraceValuesPassForBasicBlocks() {
+  return new BasicBlockTracer();
 }
 
-// Add a prototype for external functions used by the tracing code.
+// Add a prototype for external functions used by the tracing code and require
+// the trace library for this module.
 //
 void ExternalFuncs::doInitialization(Module &M) {
+  M.addLibrary("trace");
   const Type *SBP = PointerType::get(Type::SByteTy);
   const FunctionType *MTy =
-    FunctionType::get(Type::IntTy, vector<const Type*>(1, SBP), true);
+    FunctionType::get(Type::IntTy, std::vector<const Type*>(1, SBP), true);
   PrintfFunc = M.getOrInsertFunction("printf", MTy);
 
   // uint (sbyte*)
-  const FunctionType *hashFuncTy =
-    FunctionType::get(Type::UIntTy, vector<const Type*>(1, SBP), false);
-  HashPtrFunc = M.getOrInsertFunction("HashPointerToSeqNum", hashFuncTy);
-  
+  HashPtrFunc = M.getOrInsertFunction("HashPointerToSeqNum", Type::UIntTy, SBP,
+                                      0);
+
   // void (sbyte*)
-  const FunctionType *voidSBPFuncTy =
-    FunctionType::get(Type::VoidTy, vector<const Type*>(1, SBP), false);
-  
-  ReleasePtrFunc = M.getOrInsertFunction("ReleasePointerSeqNum", voidSBPFuncTy);
-  RecordPtrFunc  = M.getOrInsertFunction("RecordPointer", voidSBPFuncTy);
-  
-  const FunctionType *voidvoidFuncTy =
-    FunctionType::get(Type::VoidTy, vector<const Type*>(), false);
-  
-  PushOnEntryFunc = M.getOrInsertFunction("PushPointerSet", voidvoidFuncTy);
+  ReleasePtrFunc = M.getOrInsertFunction("ReleasePointerSeqNum",
+                                         Type::VoidTy, SBP, 0);
+  RecordPtrFunc  = M.getOrInsertFunction("RecordPointer",
+                                         Type::VoidTy, SBP, 0);
+
+  PushOnEntryFunc = M.getOrInsertFunction("PushPointerSet", Type::VoidTy, 0);
   ReleaseOnReturnFunc = M.getOrInsertFunction("ReleasePointersPopSet",
-                                               voidvoidFuncTy);
+                                              Type::VoidTy, 0);
 }
 
 
@@ -133,23 +152,26 @@ bool InsertTraceCode::doInitialization(Module &M) {
 }
 
 
-static inline GlobalVariable *getStringRef(Module *M, const string &str) {
+static inline GlobalVariable *getStringRef(Module *M, const std::string &str) {
   // Create a constant internal string reference...
   Constant *Init = ConstantArray::get(str);
 
   // Create the global variable and record it in the module
   // The GV will be renamed to a unique name if needed.
-  GlobalVariable *GV = new GlobalVariable(Init->getType(), true, true, Init,
+  GlobalVariable *GV = new GlobalVariable(Init->getType(), true,
+                                          GlobalValue::InternalLinkage, Init,
                                           "trstr");
   M->getGlobalList().push_back(GV);
   return GV;
 }
 
 
-// 
+//
 // Check if this instruction has any uses outside its basic block,
-// or if it used by either a Call or Return instruction.
-// 
+// or if it used by either a Call or Return instruction (ditto).
+// (Values stored to memory within this BB are live at end of BB but are
+// traced at the store instruction, not where they are computed.)
+//
 static inline bool LiveAtBBExit(const Instruction* I) {
   const BasicBlock *BB = I->getParent();
   for (Value::use_const_iterator U = I->use_begin(); U != I->use_end(); ++U)
@@ -164,21 +186,27 @@ static inline bool LiveAtBBExit(const Instruction* I) {
 static inline bool TraceThisOpCode(unsigned opCode) {
   // Explicitly test for opCodes *not* to trace so that any new opcodes will
   // be traced by default (VoidTy's are already excluded)
-  // 
-  return (opCode  < Instruction::FirstOtherOp &&
+  //
+  return (opCode  < Instruction::OtherOpsBegin &&
           opCode != Instruction::Alloca &&
-          opCode != Instruction::PHINode &&
+          opCode != Instruction::PHI &&
           opCode != Instruction::Cast);
 }
 
 
+// Trace a value computed by an instruction if it is non-void, it is computed
+// by a real computation, not just a copy (see TraceThisOpCode), and
+// -- it is a load instruction: we want to check values read from memory
+// -- or it is live at exit from the basic block (i.e., ignore local temps)
+//
 static bool ShouldTraceValue(const Instruction *I) {
   return
-    I->getType() != Type::VoidTy && LiveAtBBExit(I) &&
-    TraceThisOpCode(I->getOpcode());
+    I->getType() != Type::VoidTy &&
+    TraceThisOpCode(I->getOpcode()) &&
+    (isa<LoadInst>(I) || LiveAtBBExit(I));
 }
 
-static string getPrintfCodeFor(const Value *V) {
+static std::string getPrintfCodeFor(const Value *V) {
   if (V == 0) return "";
   if (V->getType()->isFloatingPoint())
     return "%g";
@@ -186,136 +214,105 @@ static string getPrintfCodeFor(const Value *V) {
     return "0x%p";
   else if (isa<PointerType>(V->getType()))
     return DisablePtrHashing ? "0x%p" : "%d";
-  else if (V->getType()->isIntegral() || V->getType() == Type::BoolTy)
+  else if (V->getType()->isIntegral())
     return "%d";
-  
+
   assert(0 && "Illegal value to print out...");
   return "";
 }
 
 
-static void InsertPrintInst(Value *V,BasicBlock *BB, BasicBlock::iterator &BBI,
-                            string Message,
+static void InsertPrintInst(Value *V, BasicBlock *BB, Instruction *InsertBefore,
+                            std::string Message,
                             Function *Printf, Function* HashPtrToSeqNum) {
   // Escape Message by replacing all % characters with %% chars.
-  unsigned Offset = 0;
-  while ((Offset = Message.find('%', Offset)) != string::npos) {
-    Message.replace(Offset, 1, "%%");
-    Offset += 2;  // Skip over the new %'s
+  std::string Tmp;
+  std::swap(Tmp, Message);
+  std::string::iterator I = std::find(Tmp.begin(), Tmp.end(), '%');
+  while (I != Tmp.end()) {
+    Message.append(Tmp.begin(), I);
+    Message += "%%";
+    ++I; // Make sure to erase the % as well...
+    Tmp.erase(Tmp.begin(), I);
+    I = std::find(Tmp.begin(), Tmp.end(), '%');
   }
-
+  Message += Tmp;
   Module *Mod = BB->getParent()->getParent();
 
   // Turn the marker string into a global variable...
   GlobalVariable *fmtVal = getStringRef(Mod, Message+getPrintfCodeFor(V)+"\n");
 
   // Turn the format string into an sbyte *
-  Instruction *GEP = 
-    new GetElementPtrInst(fmtVal,
-                          vector<Value*>(2,ConstantUInt::get(Type::UIntTy, 0)),
-                          "trstr");
-  BBI = ++BB->getInstList().insert(BBI, GEP);
-  
+  Constant *GEP=ConstantExpr::getGetElementPtr(fmtVal,
+                std::vector<Constant*>(2,Constant::getNullValue(Type::LongTy)));
+
   // Insert a call to the hash function if this is a pointer value
   if (V && isa<PointerType>(V->getType()) && !DisablePtrHashing) {
     const Type *SBP = PointerType::get(Type::SByteTy);
-    if (V->getType() != SBP) {   // Cast pointer to be sbyte*
-      Instruction *I = new CastInst(V, SBP, "Hash_cast");
-      BBI = ++BB->getInstList().insert(BBI, I);
-      V = I;
-    }
+    if (V->getType() != SBP)     // Cast pointer to be sbyte*
+      V = new CastInst(V, SBP, "Hash_cast", InsertBefore);
 
-    vector<Value*> HashArgs(1, V);
-    V = new CallInst(HashPtrToSeqNum, HashArgs, "ptrSeqNum");
-    BBI = ++BB->getInstList().insert(BBI, cast<Instruction>(V));
+    std::vector<Value*> HashArgs(1, V);
+    V = new CallInst(HashPtrToSeqNum, HashArgs, "ptrSeqNum", InsertBefore);
   }
-  
+
   // Insert the first print instruction to print the string flag:
-  vector<Value*> PrintArgs;
+  std::vector<Value*> PrintArgs;
   PrintArgs.push_back(GEP);
   if (V) PrintArgs.push_back(V);
-  Instruction *I = new CallInst(Printf, PrintArgs, "trace");
-  BBI = ++BB->getInstList().insert(BBI, I);
+  new CallInst(Printf, PrintArgs, "trace", InsertBefore);
 }
-                            
+
 
 static void InsertVerbosePrintInst(Value *V, BasicBlock *BB,
-                                   BasicBlock::iterator &BBI,
-                                   const string &Message, Function *Printf,
+                                   Instruction *InsertBefore,
+                                   const std::string &Message, Function *Printf,
                                    Function* HashPtrToSeqNum) {
   std::ostringstream OutStr;
   if (V) WriteAsOperand(OutStr, V);
-  InsertPrintInst(V, BB, BBI, Message+OutStr.str()+" = ",
+  InsertPrintInst(V, BB, InsertBefore, Message+OutStr.str()+" = ",
                   Printf, HashPtrToSeqNum);
 }
 
-static void 
+static void
 InsertReleaseInst(Value *V, BasicBlock *BB,
-                  BasicBlock::iterator &BBI,
+                  Instruction *InsertBefore,
                   Function* ReleasePtrFunc) {
-  
+
   const Type *SBP = PointerType::get(Type::SByteTy);
-  if (V->getType() != SBP) {   // Cast pointer to be sbyte*
-    Instruction *I = new CastInst(V, SBP, "RPSN_cast");
-    BBI = ++BB->getInstList().insert(BBI, I);
-    V = I;
-  }
-  vector<Value*> releaseArgs(1, V);
-  Instruction *I = new CallInst(ReleasePtrFunc, releaseArgs);
-  BBI = ++BB->getInstList().insert(BBI, I);
+  if (V->getType() != SBP)    // Cast pointer to be sbyte*
+    V = new CastInst(V, SBP, "RPSN_cast", InsertBefore);
+
+  std::vector<Value*> releaseArgs(1, V);
+  new CallInst(ReleasePtrFunc, releaseArgs, "", InsertBefore);
 }
 
-static void 
+static void
 InsertRecordInst(Value *V, BasicBlock *BB,
-                 BasicBlock::iterator &BBI,
+                 Instruction *InsertBefore,
                  Function* RecordPtrFunc) {
     const Type *SBP = PointerType::get(Type::SByteTy);
-  if (V->getType() != SBP) {   // Cast pointer to be sbyte*
-    Instruction *I = new CastInst(V, SBP, "RP_cast");
-    BBI = ++BB->getInstList().insert(BBI, I);
-    V = I;
-  }
-  vector<Value*> releaseArgs(1, V);
-  Instruction *I = new CallInst(RecordPtrFunc, releaseArgs);
-  BBI = ++BB->getInstList().insert(BBI, I);
-}
+  if (V->getType() != SBP)     // Cast pointer to be sbyte*
+    V = new CastInst(V, SBP, "RP_cast", InsertBefore);
 
-static void
-InsertPushOnEntryFunc(Function *M,
-                      Function* PushOnEntryFunc) {
-  // Get an iterator to point to the insertion location
-  BasicBlock &BB = M->getEntryNode();
-  BB.getInstList().insert(BB.begin(), new CallInst(PushOnEntryFunc,
-                                                   vector<Value*>()));
-}
-
-static void 
-InsertReleaseRecordedInst(BasicBlock *BB,
-                          Function* ReleaseOnReturnFunc) {
-  BasicBlock::iterator BBI = --BB->end();
-  BBI = ++BB->getInstList().insert(BBI, new CallInst(ReleaseOnReturnFunc,
-                                                     vector<Value*>()));
+  std::vector<Value*> releaseArgs(1, V);
+  new CallInst(RecordPtrFunc, releaseArgs, "", InsertBefore);
 }
 
 // Look for alloca and free instructions. These are the ptrs to release.
 // Release the free'd pointers immediately.  Record the alloca'd pointers
 // to be released on return from the current function.
-// 
+//
 static void
 ReleasePtrSeqNumbers(BasicBlock *BB,
                      ExternalFuncs& externalFuncs) {
-  
-  for (BasicBlock::iterator II=BB->begin(); II != BB->end(); ++II) {
-    if (FreeInst *FI = dyn_cast<FreeInst>(&*II))
-      InsertReleaseInst(FI->getOperand(0), BB,II,externalFuncs.ReleasePtrFunc);
-    else if (AllocaInst *AI = dyn_cast<AllocaInst>(&*II))
-      {
-        BasicBlock::iterator nextI = ++II;
-        InsertRecordInst(AI, BB, nextI, externalFuncs.RecordPtrFunc);     
-        II = --nextI;
-      }
-  }
-}  
+
+  for (BasicBlock::iterator II=BB->begin(), IE = BB->end(); II != IE; ++II)
+    if (FreeInst *FI = dyn_cast<FreeInst>(II))
+      InsertReleaseInst(FI->getOperand(0), BB, FI,externalFuncs.ReleasePtrFunc);
+    else if (AllocaInst *AI = dyn_cast<AllocaInst>(II))
+      InsertRecordInst(AI, BB, AI->getNext(), externalFuncs.RecordPtrFunc);
+}
 
 
 // Insert print instructions at the end of basic block BB for each value
@@ -326,39 +323,14 @@ ReleasePtrSeqNumbers(BasicBlock *BB,
 // for printing at the exit from the function.  (Note that in each invocation
 // of the function, this will only get the last value stored for each static
 // store instruction).
-// 
+//
 static void TraceValuesAtBBExit(BasicBlock *BB,
                                 Function *Printf, Function* HashPtrToSeqNum,
-                                vector<Instruction*> *valuesStoredInFunction) {
+                            std::vector<Instruction*> *valuesStoredInFunction) {
   // Get an iterator to point to the insertion location, which is
   // just before the terminator instruction.
-  // 
-  BasicBlock::iterator InsertPos = --BB->end();
-  assert(InsertPos->isTerminator());
-  
-#undef CANNOT_SAVE_CCR_ACROSS_CALLS
-#ifdef CANNOT_SAVE_CCR_ACROSS_CALLS
-  // 
-  // *** DISABLING THIS BECAUSE SAVING %CCR ACROSS CALLS WORKS NOW.
-  // *** DELETE THIS CODE AFTER SOME TESTING.
-  // *** NOTE: THIS CODE IS BROKEN ANYWAY WHEN THE SETCC IS NOT JUST
-  // ***       BEFORE THE BRANCH.
-  // -- Vikram Adve, 7/7/02.
-  // 
-  // If the terminator is a conditional branch, insert the trace code just
-  // before the instruction that computes the branch condition (just to
-  // avoid putting a call between the CC-setting instruction and the branch).
-  // Use laterInstrSet to mark instructions that come after the setCC instr
-  // because those cannot be traced at the location we choose.
-  // 
-  Instruction *SetCC = 0;
-  if (BranchInst *Branch = dyn_cast<BranchInst>(BB->getTerminator()))
-    if (!Branch->isUnconditional())
-      if (Instruction *I = dyn_cast<Instruction>(Branch->getCondition()))
-        if (I->getParent() == BB) {
-          InsertPos = SetCC = I; // Back up until we can insert before the setcc
-        }
-#endif CANNOT_SAVE_CCR_ACROSS_CALLS
+  //
+  TerminatorInst *InsertPos = BB->getTerminator();
 
   std::ostringstream OutStr;
   WriteAsOperand(OutStr, BB, false);
@@ -368,40 +340,35 @@ static void TraceValuesAtBBExit(BasicBlock *BB,
   // Insert a print instruction for each instruction preceding InsertPos.
   // The print instructions must go before InsertPos, so we use the
   // instruction *preceding* InsertPos to check when to terminate the loop.
-  // 
-  if (InsertPos != BB->begin()) { // there's at least one instr before InsertPos
-    BasicBlock::iterator II = BB->begin(), IEincl = InsertPos;
-    --IEincl;
-    do {                          // do from II up to IEincl, inclusive
-      if (StoreInst *SI = dyn_cast<StoreInst>(&*II)) {
-        assert(valuesStoredInFunction &&
-               "Should not be printing a store instruction at function exit");
-        LoadInst *LI = new LoadInst(SI->getPointerOperand(), SI->copyIndices(),
-                                  "reload."+SI->getPointerOperand()->getName());
-        InsertPos = ++BB->getInstList().insert(InsertPos, LI);
-        valuesStoredInFunction->push_back(LI);
-      }
-      if (ShouldTraceValue(II))
-        InsertVerbosePrintInst(II, BB, InsertPos, "  ", Printf,HashPtrToSeqNum);
-    } while (II++ != IEincl);
+  //
+  for (BasicBlock::iterator II = BB->begin(); &*II != InsertPos; ++II) {
+    if (StoreInst *SI = dyn_cast<StoreInst>(II)) {
+      // Trace the stored value and address
+      InsertVerbosePrintInst(SI->getOperand(0), BB, InsertPos,
+                             "  (store value) ", Printf, HashPtrToSeqNum);
+      InsertVerbosePrintInst(SI->getOperand(1), BB, InsertPos,
+                             "  (store addr ) ", Printf, HashPtrToSeqNum);
+    }
+    else if (ShouldTraceValue(II))
+      InsertVerbosePrintInst(II, BB, InsertPos, "  ", Printf, HashPtrToSeqNum);
   }
 }
 
-static inline void InsertCodeToShowFunctionEntry(Function *M, Function *Printf,
+static inline void InsertCodeToShowFunctionEntry(Function &F, Function *Printf,
                                                  Function* HashPtrToSeqNum){
   // Get an iterator to point to the insertion location
-  BasicBlock &BB = M->getEntryNode();
-  BasicBlock::iterator BBI = BB.begin();
+  BasicBlock &BB = F.getEntryBlock();
+  Instruction *InsertPos = BB.begin();
 
   std::ostringstream OutStr;
-  WriteAsOperand(OutStr, M, true);
-  InsertPrintInst(0, &BB, BBI, "ENTERING FUNCTION: " + OutStr.str(),
+  WriteAsOperand(OutStr, &F);
+  InsertPrintInst(0, &BB, InsertPos, "ENTERING FUNCTION: " + OutStr.str(),
                   Printf, HashPtrToSeqNum);
 
   // Now print all the incoming arguments
   unsigned ArgNo = 0;
-  for (Function::aiterator I = M->abegin(), E = M->aend(); I != E; ++I,++ArgNo){
-    InsertVerbosePrintInst(I, &BB, BBI,
+  for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I, ++ArgNo){
+    InsertVerbosePrintInst(I, &BB, InsertPos,
                            "  Arg #" + utostr(ArgNo) + ": ", Printf,
                            HashPtrToSeqNum);
   }
@@ -412,66 +379,58 @@ static inline void InsertCodeToShowFunctionExit(BasicBlock *BB,
                                                 Function *Printf,
                                                 Function* HashPtrToSeqNum) {
   // Get an iterator to point to the insertion location
-  BasicBlock::iterator BBI = --BB->end();
-  ReturnInst &Ret = cast<ReturnInst>(BB->back());
-  
+  ReturnInst *Ret = cast<ReturnInst>(BB->getTerminator());
+
   std::ostringstream OutStr;
   WriteAsOperand(OutStr, BB->getParent(), true);
-  InsertPrintInst(0, BB, BBI, "LEAVING  FUNCTION: " + OutStr.str(),
+  InsertPrintInst(0, BB, Ret, "LEAVING  FUNCTION: " + OutStr.str(),
                   Printf, HashPtrToSeqNum);
-  
+
   // print the return value, if any
   if (BB->getParent()->getReturnType() != Type::VoidTy)
-    InsertPrintInst(Ret.getReturnValue(), BB, BBI, "  Returning: ",
+    InsertPrintInst(Ret->getReturnValue(), BB, Ret, "  Returning: ",
                     Printf, HashPtrToSeqNum);
 }
 
 
-bool InsertTraceCode::doit(Function *M, bool traceBasicBlockExits,
-                           bool traceFunctionEvents,
-                           ExternalFuncs& externalFuncs) {
-  if (!traceBasicBlockExits && !traceFunctionEvents)
+bool InsertTraceCode::runOnFunction(Function &F) {
+  if (!TraceThisFunction(F))
     return false;
 
-  if (!TraceThisFunction(M))
-    return false;
-  
-  vector<Instruction*> valuesStoredInFunction;
-  vector<BasicBlock*>  exitBlocks;
+  std::vector<Instruction*> valuesStoredInFunction;
+  std::vector<BasicBlock*>  exitBlocks;
 
   // Insert code to trace values at function entry
-  if (traceFunctionEvents)
-    InsertCodeToShowFunctionEntry(M, externalFuncs.PrintfFunc,
-                                  externalFuncs.HashPtrFunc);
-  
+  InsertCodeToShowFunctionEntry(F, externalFuncs.PrintfFunc,
+                                externalFuncs.HashPtrFunc);
+
   // Push a pointer set for recording alloca'd pointers at entry.
   if (!DisablePtrHashing)
-    InsertPushOnEntryFunc(M, externalFuncs.PushOnEntryFunc);
-  
-  for (Function::iterator BB = M->begin(); BB != M->end(); ++BB) {
+    new CallInst(externalFuncs.PushOnEntryFunc, std::vector<Value*>(), "",
+                 F.getEntryBlock().begin());
+
+  for (Function::iterator BB = F.begin(); BB != F.end(); ++BB) {
     if (isa<ReturnInst>(BB->getTerminator()))
       exitBlocks.push_back(BB); // record this as an exit block
-    
-    if (traceBasicBlockExits)
-      TraceValuesAtBBExit(BB, externalFuncs.PrintfFunc,
-                          externalFuncs.HashPtrFunc, &valuesStoredInFunction);
-    
+
+    // Insert trace code if this basic block is interesting...
+    handleBasicBlock(BB, valuesStoredInFunction);
+
     if (!DisablePtrHashing)          // release seq. numbers on free/ret
       ReleasePtrSeqNumbers(BB, externalFuncs);
   }
-  
-  for (unsigned i=0; i < exitBlocks.size(); ++i)
+
+  for (unsigned i=0; i != exitBlocks.size(); ++i)
     {
       // Insert code to trace values at function exit
-      if (traceFunctionEvents)
-        InsertCodeToShowFunctionExit(exitBlocks[i], externalFuncs.PrintfFunc,
-                                     externalFuncs.HashPtrFunc);
-      
+      InsertCodeToShowFunctionExit(exitBlocks[i], externalFuncs.PrintfFunc,
+                                   externalFuncs.HashPtrFunc);
+
       // Release all recorded pointers before RETURN.  Do this LAST!
       if (!DisablePtrHashing)
-        InsertReleaseRecordedInst(exitBlocks[i],
-                                  externalFuncs.ReleaseOnReturnFunc);
+        new CallInst(externalFuncs.ReleaseOnReturnFunc, std::vector<Value*>(),
+                     "", exitBlocks[i]->getTerminator());
     }
-  
+
   return true;
 }