-// $Id$
-//***************************************************************************
-// File:
-// TraceValues.cpp
-//
-// Purpose:
-// Support for inserting LLVM code to print values at basic block
-// and method exits. Also exports functions to create a call
-// "printf" instruction with one of the signatures listed below.
-//
-// History:
-// 10/11/01 - Vikram Adve - Created
-//**************************************************************************/
-
+//===- TraceValues.cpp - Value Tracing for debugging -------------*- C++ -*--=//
+//
+// 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/ConstPoolVals.h"
-#include "llvm/Type.h"
+#include "llvm/Constants.h"
#include "llvm/DerivedTypes.h"
-#include "llvm/Instruction.h"
#include "llvm/iMemory.h"
#include "llvm/iTerminators.h"
#include "llvm/iOther.h"
#include "llvm/BasicBlock.h"
-#include "llvm/Method.h"
+#include "llvm/Function.h"
#include "llvm/Module.h"
-#include "llvm/SymbolTable.h"
+#include "llvm/Pass.h"
#include "llvm/Assembly/Writer.h"
-#include "llvm/Support/HashExtras.h"
-#include <strstream>
-#include <hash_map>
+#include "Support/CommandLine.h"
+#include "Support/StringExtras.h"
+#include <algorithm>
+#include <sstream>
+using std::vector;
+using std::string;
+static cl::Flag DisablePtrHashing("tracedisablehashdisable",
+ "Disable pointer hashing", cl::NoFlags);
-//*********************** Internal Data Structures *************************/
+static cl::StringList TraceFuncName ("tracefunc", "trace only specific funct"
+ "ions", cl::NoFlags);
-const char* const PRINTF = "printf";
+// 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)
+{
+ if (TraceFuncName.getNumOccurances() == 0)
+ return true;
-//************************** Internal Functions ****************************/
+ return std::find(TraceFuncName.begin(), TraceFuncName.end(), func->getName())
+ != TraceFuncName.end();
+}
-static inline GlobalVariable *
-GetStringRef(Module *M, const string &str)
-{
- static hash_map<string, GlobalVariable*> stringRefCache;
- static Module* lastModule = NULL;
+namespace {
+ struct ExternalFuncs {
+ Function *PrintfFunc, *HashPtrFunc, *ReleasePtrFunc;
+ Function *RecordPtrFunc, *PushOnEntryFunc, *ReleaseOnReturnFunc;
+ void doInitialization(Module &M); // Add prototypes for external functions
+ };
- if (lastModule != M)
- { // Let's make sure we create separate global references in each module
- stringRefCache.clear();
- lastModule = M;
+ class InsertTraceCode : public FunctionPass {
+ bool TraceBasicBlockExits, TraceFunctionExits;
+ 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);
+
+ // runOnFunction - This method does the work.
+ //
+ bool runOnFunction(Function &F) {
+ return doit(&F, TraceBasicBlockExits, TraceFunctionExits, externalFuncs);
}
-
- GlobalVariable* result = stringRefCache[str];
- if (result == NULL)
- {
- ConstPoolArray *Init = ConstPoolArray::get(str);
- result = new GlobalVariable(Init->getType(), /*Const*/true, Init);
- M->getGlobalList().push_back(result);
- stringRefCache[str] = result;
+
+ virtual void getAnalysisUsage(AnalysisUsage &AU) const {
+ AU.preservesCFG();
}
+ };
+} // end anonymous namespace
+
+
+Pass *createTraceValuesPassForFunction() { // Just trace functions
+ return new InsertTraceCode(false, true);
+}
+
+Pass *createTraceValuesPassForBasicBlocks() { // Trace BB's and functions
+ return new InsertTraceCode(true, true);
+}
+
+// Add a prototype for external functions used by the tracing code.
+//
+void ExternalFuncs::doInitialization(Module &M) {
+ const Type *SBP = PointerType::get(Type::SByteTy);
+ const FunctionType *MTy =
+ FunctionType::get(Type::IntTy, 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);
+
+ // void (sbyte*)
+ const FunctionType *voidSBPFuncTy =
+ FunctionType::get(Type::VoidTy, vector<const Type*>(1, SBP), false);
- return result;
+ 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);
+ ReleaseOnReturnFunc = M.getOrInsertFunction("ReleasePointersPopSet",
+ voidvoidFuncTy);
}
-static inline bool
-TraceThisOpCode(unsigned opCode)
-{
+// Add a prototype for external functions used by the tracing code.
+//
+bool InsertTraceCode::doInitialization(Module &M) {
+ externalFuncs.doInitialization(M);
+ return false;
+}
+
+
+static inline GlobalVariable *getStringRef(Module *M, const 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,
+ "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.
+//
+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)
+ if (const Instruction *UI = dyn_cast<Instruction>(*U))
+ if (UI->getParent() != BB || isa<ReturnInst>(UI))
+ return true;
+
+ return false;
+}
+
+
+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)
//
opCode != Instruction::Cast);
}
-//
-// Check if this instruction has any uses outside its basic block
-//
-static inline bool
-LiveAtBBExit(Instruction* I)
-{
- BasicBlock* bb = I->getParent();
- bool isLive = false;
- for (Value::use_const_iterator U = I->use_begin(); U != I->use_end(); ++U)
- {
- const Instruction* userI = dyn_cast<Instruction>(*U);
- if (userI == NULL || userI->getParent() != bb)
- isLive = true;
- }
-
- return isLive;
-}
-
-static void
-FindValuesToTraceInBB(BasicBlock* bb, vector<Instruction*>& valuesToTraceInBB)
-{
- for (BasicBlock::iterator II = bb->begin(); II != bb->end(); ++II)
- if ((*II)->getOpcode() == Instruction::Store
- || (LiveAtBBExit(*II) &&
- (*II)->getType()->isPrimitiveType() &&
- (*II)->getType() != Type::VoidTy &&
- TraceThisOpCode((*II)->getOpcode())))
- {
- valuesToTraceInBB.push_back(*II);
- }
+static bool ShouldTraceValue(const Instruction *I) {
+ return
+ I->getType() != Type::VoidTy && LiveAtBBExit(I) &&
+ TraceThisOpCode(I->getOpcode());
}
-
-//
-// Let's save this code for future use; it has been tested and works:
-//
-// The signatures of the printf methods supported are:
-// int printf(ubyte*, ubyte*, ubyte*, ubyte*, int intValue)
-// int printf(ubyte*, ubyte*, ubyte*, ubyte*, unsigned uintValue)
-// int printf(ubyte*, ubyte*, ubyte*, ubyte*, float floatValue)
-// int printf(ubyte*, ubyte*, ubyte*, ubyte*, double doubleValue)
-// int printf(ubyte*, ubyte*, ubyte*, ubyte*, char* stringValue)
-// int printf(ubyte*, ubyte*, ubyte*, ubyte*, void* ptrValue)
-//
-// The invocation should be:
-// call "printf"(fmt, bbName, valueName, valueTypeName, value).
-//
-Method*
-GetPrintfMethodForType(Module* module, const Type* valueType)
-{
- static const int LASTARGINDEX = 4;
- static PointerType* ubytePtrTy = NULL;
- static vector<const Type*> argTypesVec(LASTARGINDEX + 1);
+static string getPrintfCodeFor(const Value *V) {
+ if (V == 0) return "";
+ if (V->getType()->isFloatingPoint())
+ return "%g";
+ else if (V->getType() == Type::LabelTy)
+ return "0x%p";
+ else if (isa<PointerType>(V->getType()))
+ return DisablePtrHashing ? "0x%p" : "%d";
+ else if (V->getType()->isIntegral() || V->getType() == Type::BoolTy)
+ return "%d";
- if (ubytePtrTy == NULL)
- { // create these once since they are invariant
- ubytePtrTy = PointerType::get(ArrayType::get(Type::UByteTy));
- argTypesVec[0] = ubytePtrTy;
- argTypesVec[1] = ubytePtrTy;
- argTypesVec[2] = ubytePtrTy;
- argTypesVec[3] = ubytePtrTy;
- }
-
- SymbolTable* symtab = module->getSymbolTable();
- argTypesVec[LASTARGINDEX] = valueType;
- MethodType* printMethodTy = MethodType::get(Type::IntTy, argTypesVec,
- /*isVarArg*/ false);
-
- Method* printMethod =
- cast<Method>(symtab->lookup(PointerType::get(printMethodTy), PRINTF));
- if (printMethod == NULL)
- { // Create a new method and add it to the module
- printMethod = new Method(printMethodTy, PRINTF);
- module->getMethodList().push_back(printMethod);
-
- // Create the argument list for the method so that the full signature
- // can be declared. The args can be anonymous.
- Method::ArgumentListType &argList = printMethod->getArgumentList();
- for (unsigned i=0; i < argTypesVec.size(); ++i)
- argList.push_back(new MethodArgument(argTypesVec[i]));
- }
-
- return printMethod;
+ assert(0 && "Illegal value to print out...");
+ return "";
}
-Instruction*
-CreatePrintfInstr(Value* val,
- const BasicBlock* bb,
- Module* module,
- unsigned int indent,
- bool isMethodExit)
-{
- strstream fmtString, scopeNameString, valNameString;
- vector<Value*> paramList;
- const Type* valueType = val->getType();
- Method* printMethod = GetPrintfMethodForType(module, valueType);
-
- if (! valueType->isPrimitiveType() ||
- valueType->getPrimitiveID() == Type::VoidTyID ||
- valueType->getPrimitiveID() == Type::TypeTyID ||
- valueType->getPrimitiveID() == Type::LabelTyID)
- {
- assert(0 && "Unsupported type for printing");
- return NULL;
- }
-
- const Value* scopeToUse = (isMethodExit)? (const Value*) bb->getParent()
- : (const Value*) bb;
- if (scopeToUse->hasName())
- scopeNameString << scopeToUse->getName() << ends;
- else
- scopeNameString << scopeToUse << ends;
-
- if (val->hasName())
- valNameString << val->getName() << ends;
- else
- valNameString << val << ends;
-
- for (unsigned i=0; i < indent; i++)
- fmtString << " ";
-
- fmtString << " At exit of "
- << ((isMethodExit)? "Method " : "BB ")
- << "%s : val %s = %s ";
-
- GlobalVariable* scopeNameVal = GetStringRef(module, scopeNameString.str());
- GlobalVariable* valNameVal = GetStringRef(module,valNameString.str());
- GlobalVariable* typeNameVal = GetStringRef(module,
- val->getType()->getDescription().c_str());
+static void InsertPrintInst(Value *V,BasicBlock *BB, BasicBlock::iterator &BBI,
+ 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
+ }
+
+ 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);
- switch(valueType->getPrimitiveID())
- {
- case Type::BoolTyID:
- case Type::UByteTyID: case Type::UShortTyID:
- case Type::UIntTyID: case Type::ULongTyID:
- case Type::SByteTyID: case Type::ShortTyID:
- case Type::IntTyID: case Type::LongTyID:
- fmtString << " %d\0A";
- break;
-
- case Type::FloatTyID: case Type::DoubleTyID:
- fmtString << " %g\0A";
- break;
-
- case Type::PointerTyID:
- fmtString << " %p\0A";
- break;
-
- default:
- assert(0 && "Should not get here. Check the IF expression above");
- return NULL;
+ // 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;
}
+
+ vector<Value*> HashArgs(1, V);
+ V = new CallInst(HashPtrToSeqNum, HashArgs, "ptrSeqNum");
+ BBI = ++BB->getInstList().insert(BBI, cast<Instruction>(V));
+ }
- fmtString << ends;
- GlobalVariable* fmtVal = GetStringRef(module, fmtString.str());
-
- paramList.push_back(fmtVal);
- paramList.push_back(scopeNameVal);
- paramList.push_back(valNameVal);
- paramList.push_back(typeNameVal);
- paramList.push_back(val);
-
- free(fmtString.str());
- free(scopeNameString.str());
- free(valNameString.str());
-
- return new CallInst(printMethod, paramList);
+ // Insert the first print instruction to print the string flag:
+ 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);
+}
+
+
+static void InsertVerbosePrintInst(Value *V, BasicBlock *BB,
+ BasicBlock::iterator &BBI,
+ const string &Message, Function *Printf,
+ Function* HashPtrToSeqNum) {
+ std::ostringstream OutStr;
+ if (V) WriteAsOperand(OutStr, V);
+ InsertPrintInst(V, BB, BBI, Message+OutStr.str()+" = ",
+ Printf, HashPtrToSeqNum);
}
-
-
-// The invocation should be:
-// call "printVal"(value).
-//
-static Value *GetPrintMethodForType(Module *Mod, const Type *VTy) {
- MethodType *MTy = MethodType::get(Type::VoidTy, vector<const Type*>(1, VTy),
- /*isVarArg*/ false);
+static void
+InsertReleaseInst(Value *V, BasicBlock *BB,
+ BasicBlock::iterator &BBI,
+ Function* ReleasePtrFunc) {
- SymbolTable *ST = Mod->getSymbolTableSure();
- if (Value *V = ST->lookup(PointerType::get(MTy), "printVal"))
- return V;
-
- // Create a new method and add it to the module
- Method *M = new Method(MTy, "printVal");
- Mod->getMethodList().push_back(M);
- return M;
+ 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);
}
-
-static void
-InsertPrintInsts(Value *Val,
- BasicBlock* BB,
+static void
+InsertRecordInst(Value *V, BasicBlock *BB,
BasicBlock::iterator &BBI,
- Module *Mod,
- unsigned int indent,
- bool isMethodExit)
-{
- const Type* ValTy = Val->getType();
-
- assert(ValTy->isPrimitiveType() &&
- ValTy->getPrimitiveID() != Type::VoidTyID &&
- ValTy->getPrimitiveID() != Type::TypeTyID &&
- ValTy->getPrimitiveID() != Type::LabelTyID &&
- "Unsupported type for printing");
-
- const Value* scopeToUse =
- isMethodExit ? (const Value*)BB->getParent() : (const Value*)BB;
-
- // Create the marker string...
- strstream scopeNameString;
- WriteAsOperand(scopeNameString, scopeToUse) << " : ";
- WriteAsOperand(scopeNameString, Val) << " = " << ends;
- string fmtString(indent, ' ');
-
- fmtString += string(" At exit of") + scopeNameString.str();
- free(scopeNameString.str());
-
- // Turn the marker string into a global variable...
- GlobalVariable *fmtVal = GetStringRef(Mod, fmtString);
-
- // Insert the first print instruction to print the string flag:
- Instruction *I = new CallInst(GetPrintMethodForType(Mod, fmtVal->getType()),
- vector<Value*>(1, fmtVal));
- BBI = BB->getInstList().insert(BBI, I)+1;
-
- // Insert the next print instruction to print the value:
- I = new CallInst(GetPrintMethodForType(Mod, ValTy),
- vector<Value*>(1, Val));
- BBI = BB->getInstList().insert(BBI, I)+1;
-
- // Print out a newline
- fmtVal = GetStringRef(Mod, "\n");
- I = new CallInst(GetPrintMethodForType(Mod, fmtVal->getType()),
- vector<Value*>(1, fmtVal));
- BBI = BB->getInstList().insert(BBI, I)+1;
+ 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);
}
-
-static LoadInst*
-InsertLoadInst(StoreInst* storeInst,
- BasicBlock *bb,
- BasicBlock::iterator &BBI)
-{
- LoadInst* loadInst = new LoadInst(storeInst->getPtrOperand(),
- storeInst->getIndexVec());
- BBI = bb->getInstList().insert(BBI, loadInst) + 1;
- return loadInst;
+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*>()));
+}
+// 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.
//
-// Insert print instructions at the end of the basic block *bb
-// for each value in valueVec[] that is live at the end of that basic block,
-// or that is stored to memory in this basic block.
-// If the value is stored to memory, we load it back before printing
-// We also return all such loaded values in the vector valuesStoredInMethod
-// for printing at the exit from the method. (Note that in each invocation
-// of the method, this will only get the last value stored for each static
+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;
+ }
+ }
+}
+
+
+// Insert print instructions at the end of basic block BB for each value
+// computed in BB that is live at the end of BB,
+// or that is stored to memory in BB.
+// If the value is stored to memory, we load it back before printing it
+// We also return all such loaded values in the vector valuesStoredInFunction
+// 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).
-// *bb must be the block in which the value is computed;
-// this is not checked here.
//
-static void
-TraceValuesAtBBExit(const vector<Instruction*>& valueVec,
- BasicBlock* bb,
- Module* module,
- unsigned int indent,
- bool isMethodExit,
- vector<Instruction*>* valuesStoredInMethod)
-{
- // Get an iterator to point to the insertion location
+static void TraceValuesAtBBExit(BasicBlock *BB,
+ Function *Printf, Function* HashPtrToSeqNum,
+ vector<Instruction*> *valuesStoredInFunction) {
+ // Get an iterator to point to the insertion location, which is
+ // just before the terminator instruction.
//
- BasicBlock::InstListType& instList = bb->getInstList();
- BasicBlock::iterator here = instList.end()-1;
- assert((*here)->isTerminator());
+ BasicBlock::iterator InsertPos = --BB->end();
+ assert(InsertPos->isTerminator());
- // Insert a print instruction for each value.
+#undef CANNOT_SAVE_CCR_ACROSS_CALLS
+#ifdef CANNOT_SAVE_CCR_ACROSS_CALLS
//
- for (unsigned i=0, N=valueVec.size(); i < N; i++)
- {
- Instruction* I = valueVec[i];
- if (I->getOpcode() == Instruction::Store)
- {
- assert(valuesStoredInMethod != NULL &&
- "Should not be printing a store instruction at method exit");
- I = InsertLoadInst((StoreInst*) I, bb, here);
- valuesStoredInMethod->push_back(I);
+ // *** 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
}
- InsertPrintInsts(I, bb, here, module, indent, isMethodExit);
- }
-}
-
+#endif CANNOT_SAVE_CCR_ACROSS_CALLS
+ std::ostringstream OutStr;
+ WriteAsOperand(OutStr, BB, false);
+ InsertPrintInst(0, BB, InsertPos, "LEAVING BB:" + OutStr.str(),
+ Printf, HashPtrToSeqNum);
-static Instruction*
-CreateMethodTraceInst(
- Method* method,
- unsigned int indent,
- const string& msg)
-{
- string fmtString(indent, ' ');
- strstream methodNameString;
- WriteAsOperand(methodNameString, method) << ends;
- fmtString += msg + string(" METHOD ") + methodNameString.str();
- free(methodNameString.str());
-
- GlobalVariable *fmtVal = GetStringRef(method->getParent(), fmtString);
- Instruction *printInst =
- new CallInst(GetPrintMethodForType(method->getParent(), fmtVal->getType()),
- vector<Value*>(1, fmtVal));
-
- return printInst;
+ // 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);
+ }
}
-
-static inline void
-InsertCodeToShowMethodEntry(Method* method,
- BasicBlock* entryBB,
- unsigned int indent)
-{
+static inline void InsertCodeToShowFunctionEntry(Function *M, Function *Printf,
+ Function* HashPtrToSeqNum){
// Get an iterator to point to the insertion location
- BasicBlock::InstListType& instList = entryBB->getInstList();
- BasicBlock::iterator here = instList.begin();
-
- Instruction *printInst = CreateMethodTraceInst(method, indent, "ENTERING");
-
- here = entryBB->getInstList().insert(here, printInst) + 1;
+ BasicBlock &BB = M->getEntryNode();
+ BasicBlock::iterator BBI = BB.begin();
+
+ std::ostringstream OutStr;
+ WriteAsOperand(OutStr, M, true);
+ InsertPrintInst(0, &BB, BBI, "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,
+ " Arg #" + utostr(ArgNo) + ": ", Printf,
+ HashPtrToSeqNum);
+ }
}
-static inline void
-InsertCodeToShowMethodExit(Method* method,
- BasicBlock* exitBB,
- unsigned int indent)
-{
+static inline void InsertCodeToShowFunctionExit(BasicBlock *BB,
+ Function *Printf,
+ Function* HashPtrToSeqNum) {
// Get an iterator to point to the insertion location
- BasicBlock::InstListType& instList = exitBB->getInstList();
- BasicBlock::iterator here = instList.end()-1;
- assert((*here)->isTerminator());
+ BasicBlock::iterator BBI = --BB->end();
+ ReturnInst &Ret = cast<ReturnInst>(BB->back());
- Instruction *printInst = CreateMethodTraceInst(method, indent, "LEAVING ");
+ std::ostringstream OutStr;
+ WriteAsOperand(OutStr, BB->getParent(), true);
+ InsertPrintInst(0, BB, BBI, "LEAVING FUNCTION: " + OutStr.str(),
+ Printf, HashPtrToSeqNum);
- here = exitBB->getInstList().insert(here, printInst) + 1;
+ // print the return value, if any
+ if (BB->getParent()->getReturnType() != Type::VoidTy)
+ InsertPrintInst(Ret.getReturnValue(), BB, BBI, " Returning: ",
+ Printf, HashPtrToSeqNum);
}
-//************************** External Functions ****************************/
-
-
-bool
-InsertTraceCode::doInsertTraceCode(Method *M,
- bool traceBasicBlockExits,
- bool traceMethodExits)
-{
- vector<Instruction*> valuesStoredInMethod;
- Module* module = M->getParent();
- vector<BasicBlock*> exitBlocks;
+bool InsertTraceCode::doit(Function *M, bool traceBasicBlockExits,
+ bool traceFunctionEvents,
+ ExternalFuncs& externalFuncs) {
+ if (!traceBasicBlockExits && !traceFunctionEvents)
+ return false;
- if (M->isExternal() ||
- (! traceBasicBlockExits && ! traceMethodExits))
+ if (!TraceThisFunction(M))
return false;
+
+ vector<Instruction*> valuesStoredInFunction;
+ vector<BasicBlock*> exitBlocks;
- if (traceMethodExits)
- InsertCodeToShowMethodEntry(M, M->getEntryNode(), /*indent*/ 0);
+ // Insert code to trace values at function entry
+ if (traceFunctionEvents)
+ InsertCodeToShowFunctionEntry(M, 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) {
+ if (isa<ReturnInst>(BB->getTerminator()))
+ exitBlocks.push_back(BB); // record this as an exit block
+
+ if (traceBasicBlockExits)
+ TraceValuesAtBBExit(BB, externalFuncs.PrintfFunc,
+ externalFuncs.HashPtrFunc, &valuesStoredInFunction);
+
+ if (!DisablePtrHashing) // release seq. numbers on free/ret
+ ReleasePtrSeqNumbers(BB, externalFuncs);
+ }
- for (Method::iterator BI = M->begin(); BI != M->end(); ++BI)
+ for (unsigned i=0; i < exitBlocks.size(); ++i)
{
- BasicBlock* bb = *BI;
- bool isExitBlock = false;
- vector<Instruction*> valuesToTraceInBB;
-
- FindValuesToTraceInBB(bb, valuesToTraceInBB);
+ // Insert code to trace values at function exit
+ if (traceFunctionEvents)
+ InsertCodeToShowFunctionExit(exitBlocks[i], externalFuncs.PrintfFunc,
+ externalFuncs.HashPtrFunc);
- if (bb->succ_begin() == bb->succ_end())
- { // record this as an exit block
- exitBlocks.push_back(bb);
- isExitBlock = true;
- }
-
- if (traceBasicBlockExits)
- TraceValuesAtBBExit(valuesToTraceInBB, bb, module,
- /*indent*/ 4, /*isMethodExit*/ false,
- &valuesStoredInMethod);
+ // Release all recorded pointers before RETURN. Do this LAST!
+ if (!DisablePtrHashing)
+ InsertReleaseRecordedInst(exitBlocks[i],
+ externalFuncs.ReleaseOnReturnFunc);
}
-
- if (traceMethodExits)
- for (unsigned i=0; i < exitBlocks.size(); ++i)
- {
- TraceValuesAtBBExit(valuesStoredInMethod, exitBlocks[i], module,
- /*indent*/ 0, /*isMethodExit*/ true,
- /*valuesStoredInMethod*/ NULL);
- InsertCodeToShowMethodExit(M, exitBlocks[i], /*indent*/ 0);
- }
-
+
return true;
}