blob: 5be8637a20b8ddd0ddd5d1ebccb6e490f0444aae [file] [log] [blame]
Chris Lattnercf3056d2003-10-13 03:32:08 +00001//===- TraceValues.cpp - Value Tracing for debugging ----------------------===//
John Criswellb576c942003-10-20 19:43:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattner29c14732001-12-14 16:26:05 +00009//
Chris Lattner649f5dd2002-04-14 06:15:24 +000010// Support for inserting LLVM code to print values at basic block and function
Chris Lattner29c14732001-12-14 16:26:05 +000011// exits.
12//
13//===----------------------------------------------------------------------===//
Vikram S. Advedf1892f2001-10-14 23:18:45 +000014
Chris Lattnerc56d2392003-01-14 22:39:29 +000015#include "llvm/Transforms/Instrumentation.h"
Chris Lattner31bcdb82002-04-28 19:55:58 +000016#include "llvm/Constants.h"
Vikram S. Advedf1892f2001-10-14 23:18:45 +000017#include "llvm/DerivedTypes.h"
Misha Brukman47b14a42004-07-29 17:30:56 +000018#include "llvm/Instructions.h"
Vikram S. Advedf1892f2001-10-14 23:18:45 +000019#include "llvm/Module.h"
Chris Lattnerbd0ef772002-02-26 21:46:54 +000020#include "llvm/Pass.h"
Chris Lattner8d9e3772001-10-18 05:28:08 +000021#include "llvm/Assembly/Writer.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000022#include "llvm/Support/CommandLine.h"
23#include "llvm/ADT/StringExtras.h"
Chris Lattner2e0769e2002-05-20 21:43:59 +000024#include <algorithm>
Chris Lattnerb81a0bf2001-10-18 20:06:03 +000025#include <sstream>
Chris Lattnerf7703df2004-01-09 06:12:26 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Chris Lattner5ff62e92002-07-22 02:10:13 +000028static cl::opt<bool>
29DisablePtrHashing("tracedisablehashdisable", cl::Hidden,
Chris Lattneraf7ccd92003-04-13 03:50:14 +000030 cl::desc("Disable pointer hashing in the -trace or -tracem "
31 "passes"));
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000032
Chris Lattner7b6dd292003-10-27 21:44:09 +000033static cl::list<std::string>
Chris Lattneraf7ccd92003-04-13 03:50:14 +000034TraceFuncNames("tracefunc", cl::desc("Only trace specific functions in the "
35 "-trace or -tracem passes"),
Chris Lattner80e5ed92003-01-13 00:52:14 +000036 cl::value_desc("function"), cl::Hidden);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000037
Chris Lattner11982662002-07-23 18:04:15 +000038static void TraceValuesAtBBExit(BasicBlock *BB,
39 Function *Printf, Function* HashPtrToSeqNum,
Chris Lattner7b6dd292003-10-27 21:44:09 +000040 std::vector<Instruction*> *valuesStoredInFunction);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000041
42// We trace a particular function if no functions to trace were specified
43// or if the function is in the specified list.
44//
Chris Lattner11982662002-07-23 18:04:15 +000045inline static bool
Chris Lattner80e5ed92003-01-13 00:52:14 +000046TraceThisFunction(Function &F)
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000047{
Chris Lattner80e5ed92003-01-13 00:52:14 +000048 if (TraceFuncNames.empty()) return true;
Chris Lattner2e0769e2002-05-20 21:43:59 +000049
Chris Lattner80e5ed92003-01-13 00:52:14 +000050 return std::find(TraceFuncNames.begin(), TraceFuncNames.end(), F.getName())
51 != TraceFuncNames.end();
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000052}
53
54
Chris Lattnerbd0ef772002-02-26 21:46:54 +000055namespace {
Chris Lattner2e0769e2002-05-20 21:43:59 +000056 struct ExternalFuncs {
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000057 Function *PrintfFunc, *HashPtrFunc, *ReleasePtrFunc;
58 Function *RecordPtrFunc, *PushOnEntryFunc, *ReleaseOnReturnFunc;
Chris Lattner7e708292002-06-25 16:13:24 +000059 void doInitialization(Module &M); // Add prototypes for external functions
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000060 };
61
Chris Lattnerf57b8452002-04-27 06:56:12 +000062 class InsertTraceCode : public FunctionPass {
Chris Lattner11982662002-07-23 18:04:15 +000063 protected:
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000064 ExternalFuncs externalFuncs;
Chris Lattnerbd0ef772002-02-26 21:46:54 +000065 public:
Chris Lattnerbd0ef772002-02-26 21:46:54 +000066
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000067 // Add a prototype for runtime functions not already in the program.
Chris Lattnerbd0ef772002-02-26 21:46:54 +000068 //
Chris Lattner7e708292002-06-25 16:13:24 +000069 bool doInitialization(Module &M);
Chris Lattnerbd0ef772002-02-26 21:46:54 +000070
71 //--------------------------------------------------------------------------
72 // Function InsertCodeToTraceValues
73 //
Chris Lattner649f5dd2002-04-14 06:15:24 +000074 // Inserts tracing code for all live values at basic block and/or function
Chris Lattner79df7c02002-03-26 18:01:55 +000075 // exits as specified by `traceBasicBlockExits' and `traceFunctionExits'.
Chris Lattnerbd0ef772002-02-26 21:46:54 +000076 //
Chris Lattner11982662002-07-23 18:04:15 +000077 bool doit(Function *M);
78
Chris Lattner7b6dd292003-10-27 21:44:09 +000079 virtual void handleBasicBlock(BasicBlock *BB,
80 std::vector<Instruction*> &VI) = 0;
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +000081
Chris Lattner649f5dd2002-04-14 06:15:24 +000082 // runOnFunction - This method does the work.
Chris Lattnerbd0ef772002-02-26 21:46:54 +000083 //
Chris Lattner11982662002-07-23 18:04:15 +000084 bool runOnFunction(Function &F);
Chris Lattner97e52e42002-04-28 21:27:06 +000085
86 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
Chris Lattnercb2610e2002-10-21 20:00:28 +000087 AU.setPreservesCFG();
Chris Lattner97e52e42002-04-28 21:27:06 +000088 }
Chris Lattnerbd0ef772002-02-26 21:46:54 +000089 };
Chris Lattner11982662002-07-23 18:04:15 +000090
91 struct FunctionTracer : public InsertTraceCode {
92 // Ignore basic blocks here...
Chris Lattner7b6dd292003-10-27 21:44:09 +000093 virtual void handleBasicBlock(BasicBlock *BB,
94 std::vector<Instruction*> &VI) {}
Chris Lattner11982662002-07-23 18:04:15 +000095 };
96
97 struct BasicBlockTracer : public InsertTraceCode {
98 // Trace basic blocks here...
Chris Lattner7b6dd292003-10-27 21:44:09 +000099 virtual void handleBasicBlock(BasicBlock *BB,
100 std::vector<Instruction*> &VI) {
Chris Lattner11982662002-07-23 18:04:15 +0000101 TraceValuesAtBBExit(BB, externalFuncs.PrintfFunc,
102 externalFuncs.HashPtrFunc, &VI);
103 }
104 };
105
106 // Register the passes...
Chris Lattnera6275cc2002-07-26 21:12:46 +0000107 RegisterOpt<FunctionTracer> X("tracem","Insert Function trace code only");
108 RegisterOpt<BasicBlockTracer> Y("trace","Insert BB and Function trace code");
Chris Lattnerbd0ef772002-02-26 21:46:54 +0000109} // end anonymous namespace
110
Brian Gaekeb3b1e332004-09-30 20:14:18 +0000111/// Just trace functions
112FunctionPass *llvm::createTraceValuesPassForFunction() {
Chris Lattner11982662002-07-23 18:04:15 +0000113 return new FunctionTracer();
Chris Lattnerbd0ef772002-02-26 21:46:54 +0000114}
115
Brian Gaekeb3b1e332004-09-30 20:14:18 +0000116/// Trace BB's and functions
117FunctionPass *llvm::createTraceValuesPassForBasicBlocks() {
Chris Lattner11982662002-07-23 18:04:15 +0000118 return new BasicBlockTracer();
Chris Lattnerbd0ef772002-02-26 21:46:54 +0000119}
120
Alkis Evlogimenos193904a2005-01-25 16:23:57 +0000121// Add a prototype for external functions used by the tracing code and require
122// the trace library for this module.
Chris Lattner29c14732001-12-14 16:26:05 +0000123//
Chris Lattner7e708292002-06-25 16:13:24 +0000124void ExternalFuncs::doInitialization(Module &M) {
Alkis Evlogimenos193904a2005-01-25 16:23:57 +0000125 M.addLibrary("trace");
Chris Lattner29c14732001-12-14 16:26:05 +0000126 const Type *SBP = PointerType::get(Type::SByteTy);
Chris Lattner2aac6bf2002-04-04 22:19:18 +0000127 const FunctionType *MTy =
Chris Lattner7b6dd292003-10-27 21:44:09 +0000128 FunctionType::get(Type::IntTy, std::vector<const Type*>(1, SBP), true);
Chris Lattner7e708292002-06-25 16:13:24 +0000129 PrintfFunc = M.getOrInsertFunction("printf", MTy);
Chris Lattner2e0769e2002-05-20 21:43:59 +0000130
131 // uint (sbyte*)
Chris Lattner5f07c872003-08-31 00:20:36 +0000132 HashPtrFunc = M.getOrInsertFunction("HashPointerToSeqNum", Type::UIntTy, SBP,
133 0);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000134
Chris Lattner2e0769e2002-05-20 21:43:59 +0000135 // void (sbyte*)
Chris Lattner5f07c872003-08-31 00:20:36 +0000136 ReleasePtrFunc = M.getOrInsertFunction("ReleasePointerSeqNum",
137 Type::VoidTy, SBP, 0);
138 RecordPtrFunc = M.getOrInsertFunction("RecordPointer",
139 Type::VoidTy, SBP, 0);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000140
Chris Lattner5f07c872003-08-31 00:20:36 +0000141 PushOnEntryFunc = M.getOrInsertFunction("PushPointerSet", Type::VoidTy, 0);
Chris Lattner7e708292002-06-25 16:13:24 +0000142 ReleaseOnReturnFunc = M.getOrInsertFunction("ReleasePointersPopSet",
Chris Lattner5f07c872003-08-31 00:20:36 +0000143 Type::VoidTy, 0);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000144}
145
146
147// Add a prototype for external functions used by the tracing code.
148//
Chris Lattner7e708292002-06-25 16:13:24 +0000149bool InsertTraceCode::doInitialization(Module &M) {
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000150 externalFuncs.doInitialization(M);
Chris Lattner89851072002-03-29 03:43:24 +0000151 return false;
Vikram S. Adved8893302001-10-28 21:37:25 +0000152}
153
Chris Lattner29c14732001-12-14 16:26:05 +0000154
Chris Lattner7b6dd292003-10-27 21:44:09 +0000155static inline GlobalVariable *getStringRef(Module *M, const std::string &str) {
Chris Lattner29c14732001-12-14 16:26:05 +0000156 // Create a constant internal string reference...
157 Constant *Init = ConstantArray::get(str);
Vikram S. Adve524185a2002-03-18 03:40:25 +0000158
159 // Create the global variable and record it in the module
160 // The GV will be renamed to a unique name if needed.
Chris Lattner4ad02e72003-04-16 20:28:45 +0000161 GlobalVariable *GV = new GlobalVariable(Init->getType(), true,
162 GlobalValue::InternalLinkage, Init,
Chris Lattner29c14732001-12-14 16:26:05 +0000163 "trstr");
Chris Lattnerb81a0bf2001-10-18 20:06:03 +0000164 M->getGlobalList().push_back(GV);
165 return GV;
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000166}
167
Vikram S. Advebedb00d2001-10-18 13:49:22 +0000168
Chris Lattner29c14732001-12-14 16:26:05 +0000169//
170// Check if this instruction has any uses outside its basic block,
Vikram S. Adve919fc8c2003-07-11 21:57:43 +0000171// or if it used by either a Call or Return instruction (ditto).
172// (Values stored to memory within this BB are live at end of BB but are
173// traced at the store instruction, not where they are computed.)
Chris Lattner29c14732001-12-14 16:26:05 +0000174//
175static inline bool LiveAtBBExit(const Instruction* I) {
176 const BasicBlock *BB = I->getParent();
177 for (Value::use_const_iterator U = I->use_begin(); U != I->use_end(); ++U)
178 if (const Instruction *UI = dyn_cast<Instruction>(*U))
179 if (UI->getParent() != BB || isa<ReturnInst>(UI))
180 return true;
181
182 return false;
183}
184
185
186static inline bool TraceThisOpCode(unsigned opCode) {
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000187 // Explicitly test for opCodes *not* to trace so that any new opcodes will
Chris Lattner8d9e3772001-10-18 05:28:08 +0000188 // be traced by default (VoidTy's are already excluded)
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000189 //
Chris Lattner0b16ae22002-10-13 19:39:16 +0000190 return (opCode < Instruction::OtherOpsBegin &&
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000191 opCode != Instruction::Alloca &&
Chris Lattner3b237fc2003-10-19 21:34:28 +0000192 opCode != Instruction::PHI &&
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000193 opCode != Instruction::Cast);
194}
195
Chris Lattner29c14732001-12-14 16:26:05 +0000196
Vikram S. Adve919fc8c2003-07-11 21:57:43 +0000197// Trace a value computed by an instruction if it is non-void, it is computed
198// by a real computation, not just a copy (see TraceThisOpCode), and
199// -- it is a load instruction: we want to check values read from memory
200// -- or it is live at exit from the basic block (i.e., ignore local temps)
201//
Chris Lattner29c14732001-12-14 16:26:05 +0000202static bool ShouldTraceValue(const Instruction *I) {
203 return
Vikram S. Adve919fc8c2003-07-11 21:57:43 +0000204 I->getType() != Type::VoidTy &&
205 TraceThisOpCode(I->getOpcode()) &&
206 (isa<LoadInst>(I) || LiveAtBBExit(I));
Vikram S. Adve631b9a32001-10-18 18:16:11 +0000207}
208
Chris Lattner7b6dd292003-10-27 21:44:09 +0000209static std::string getPrintfCodeFor(const Value *V) {
Chris Lattner29c14732001-12-14 16:26:05 +0000210 if (V == 0) return "";
Chris Lattner649f5dd2002-04-14 06:15:24 +0000211 if (V->getType()->isFloatingPoint())
212 return "%g";
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000213 else if (V->getType() == Type::LabelTy)
Chris Lattner649f5dd2002-04-14 06:15:24 +0000214 return "0x%p";
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000215 else if (isa<PointerType>(V->getType()))
Chris Lattner2e0769e2002-05-20 21:43:59 +0000216 return DisablePtrHashing ? "0x%p" : "%d";
Chris Lattner65ad3722002-09-03 01:07:35 +0000217 else if (V->getType()->isIntegral())
Chris Lattner29c14732001-12-14 16:26:05 +0000218 return "%d";
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000219
Chris Lattner649f5dd2002-04-14 06:15:24 +0000220 assert(0 && "Illegal value to print out...");
221 return "";
Vikram S. Advebedb00d2001-10-18 13:49:22 +0000222}
Vikram S. Advebedb00d2001-10-18 13:49:22 +0000223
224
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000225static void InsertPrintInst(Value *V, BasicBlock *BB, Instruction *InsertBefore,
Chris Lattner7b6dd292003-10-27 21:44:09 +0000226 std::string Message,
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000227 Function *Printf, Function* HashPtrToSeqNum) {
Chris Lattner29c14732001-12-14 16:26:05 +0000228 // Escape Message by replacing all % characters with %% chars.
Chris Lattner7b6dd292003-10-27 21:44:09 +0000229 std::string Tmp;
Chris Lattner1a33e312002-10-17 16:22:08 +0000230 std::swap(Tmp, Message);
Chris Lattner7b6dd292003-10-27 21:44:09 +0000231 std::string::iterator I = std::find(Tmp.begin(), Tmp.end(), '%');
Chris Lattner1a33e312002-10-17 16:22:08 +0000232 while (I != Tmp.end()) {
233 Message.append(Tmp.begin(), I);
234 Message += "%%";
235 ++I; // Make sure to erase the % as well...
236 Tmp.erase(Tmp.begin(), I);
237 I = std::find(Tmp.begin(), Tmp.end(), '%');
Chris Lattner29c14732001-12-14 16:26:05 +0000238 }
Chris Lattner80e5ed92003-01-13 00:52:14 +0000239 Message += Tmp;
Chris Lattner29c14732001-12-14 16:26:05 +0000240 Module *Mod = BB->getParent()->getParent();
Chris Lattner8d9e3772001-10-18 05:28:08 +0000241
Chris Lattner44571632001-10-18 06:03:05 +0000242 // Turn the marker string into a global variable...
Chris Lattner29c14732001-12-14 16:26:05 +0000243 GlobalVariable *fmtVal = getStringRef(Mod, Message+getPrintfCodeFor(V)+"\n");
244
245 // Turn the format string into an sbyte *
Reid Spencer518310c2004-07-18 00:44:37 +0000246 Constant *GEP=ConstantExpr::getGetElementPtr(fmtVal,
Chris Lattner7b6dd292003-10-27 21:44:09 +0000247 std::vector<Constant*>(2,Constant::getNullValue(Type::LongTy)));
Chris Lattner44571632001-10-18 06:03:05 +0000248
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000249 // Insert a call to the hash function if this is a pointer value
Chris Lattner2e0769e2002-05-20 21:43:59 +0000250 if (V && isa<PointerType>(V->getType()) && !DisablePtrHashing) {
251 const Type *SBP = PointerType::get(Type::SByteTy);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000252 if (V->getType() != SBP) // Cast pointer to be sbyte*
253 V = new CastInst(V, SBP, "Hash_cast", InsertBefore);
Chris Lattner2e0769e2002-05-20 21:43:59 +0000254
Chris Lattner7b6dd292003-10-27 21:44:09 +0000255 std::vector<Value*> HashArgs(1, V);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000256 V = new CallInst(HashPtrToSeqNum, HashArgs, "ptrSeqNum", InsertBefore);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000257 }
258
Chris Lattner44571632001-10-18 06:03:05 +0000259 // Insert the first print instruction to print the string flag:
Chris Lattner7b6dd292003-10-27 21:44:09 +0000260 std::vector<Value*> PrintArgs;
Chris Lattner29c14732001-12-14 16:26:05 +0000261 PrintArgs.push_back(GEP);
262 if (V) PrintArgs.push_back(V);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000263 new CallInst(Printf, PrintArgs, "trace", InsertBefore);
Chris Lattner29c14732001-12-14 16:26:05 +0000264}
265
Chris Lattner44571632001-10-18 06:03:05 +0000266
Chris Lattner29c14732001-12-14 16:26:05 +0000267static void InsertVerbosePrintInst(Value *V, BasicBlock *BB,
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000268 Instruction *InsertBefore,
Chris Lattner7b6dd292003-10-27 21:44:09 +0000269 const std::string &Message, Function *Printf,
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000270 Function* HashPtrToSeqNum) {
Chris Lattner697954c2002-01-20 22:54:45 +0000271 std::ostringstream OutStr;
Chris Lattner29c14732001-12-14 16:26:05 +0000272 if (V) WriteAsOperand(OutStr, V);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000273 InsertPrintInst(V, BB, InsertBefore, Message+OutStr.str()+" = ",
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000274 Printf, HashPtrToSeqNum);
Chris Lattner8d9e3772001-10-18 05:28:08 +0000275}
276
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000277static void
278InsertReleaseInst(Value *V, BasicBlock *BB,
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000279 Instruction *InsertBefore,
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000280 Function* ReleasePtrFunc) {
Chris Lattner2e0769e2002-05-20 21:43:59 +0000281
282 const Type *SBP = PointerType::get(Type::SByteTy);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000283 if (V->getType() != SBP) // Cast pointer to be sbyte*
284 V = new CastInst(V, SBP, "RPSN_cast", InsertBefore);
285
Chris Lattner7b6dd292003-10-27 21:44:09 +0000286 std::vector<Value*> releaseArgs(1, V);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000287 new CallInst(ReleasePtrFunc, releaseArgs, "", InsertBefore);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000288}
289
290static void
291InsertRecordInst(Value *V, BasicBlock *BB,
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000292 Instruction *InsertBefore,
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000293 Function* RecordPtrFunc) {
Chris Lattner2e0769e2002-05-20 21:43:59 +0000294 const Type *SBP = PointerType::get(Type::SByteTy);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000295 if (V->getType() != SBP) // Cast pointer to be sbyte*
296 V = new CastInst(V, SBP, "RP_cast", InsertBefore);
297
Chris Lattner7b6dd292003-10-27 21:44:09 +0000298 std::vector<Value*> releaseArgs(1, V);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000299 new CallInst(RecordPtrFunc, releaseArgs, "", InsertBefore);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000300}
301
302// Look for alloca and free instructions. These are the ptrs to release.
303// Release the free'd pointers immediately. Record the alloca'd pointers
304// to be released on return from the current function.
305//
306static void
307ReleasePtrSeqNumbers(BasicBlock *BB,
308 ExternalFuncs& externalFuncs) {
309
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000310 for (BasicBlock::iterator II=BB->begin(), IE = BB->end(); II != IE; ++II)
Chris Lattnere408e252003-04-23 16:37:45 +0000311 if (FreeInst *FI = dyn_cast<FreeInst>(II))
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000312 InsertReleaseInst(FI->getOperand(0), BB, FI,externalFuncs.ReleasePtrFunc);
Chris Lattnere408e252003-04-23 16:37:45 +0000313 else if (AllocaInst *AI = dyn_cast<AllocaInst>(II))
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000314 InsertRecordInst(AI, BB, AI->getNext(), externalFuncs.RecordPtrFunc);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000315}
316
Chris Lattner8d9e3772001-10-18 05:28:08 +0000317
Vikram S. Advef86b4c12002-07-08 23:37:07 +0000318// Insert print instructions at the end of basic block BB for each value
319// computed in BB that is live at the end of BB,
320// or that is stored to memory in BB.
321// If the value is stored to memory, we load it back before printing it
Chris Lattner79df7c02002-03-26 18:01:55 +0000322// We also return all such loaded values in the vector valuesStoredInFunction
Chris Lattner649f5dd2002-04-14 06:15:24 +0000323// for printing at the exit from the function. (Note that in each invocation
324// of the function, this will only get the last value stored for each static
Vikram S. Adve631b9a32001-10-18 18:16:11 +0000325// store instruction).
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000326//
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000327static void TraceValuesAtBBExit(BasicBlock *BB,
328 Function *Printf, Function* HashPtrToSeqNum,
Chris Lattner7b6dd292003-10-27 21:44:09 +0000329 std::vector<Instruction*> *valuesStoredInFunction) {
Vikram S. Adved8893302001-10-28 21:37:25 +0000330 // Get an iterator to point to the insertion location, which is
331 // just before the terminator instruction.
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000332 //
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000333 TerminatorInst *InsertPos = BB->getTerminator();
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000334
Chris Lattner697954c2002-01-20 22:54:45 +0000335 std::ostringstream OutStr;
Chris Lattner29c14732001-12-14 16:26:05 +0000336 WriteAsOperand(OutStr, BB, false);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000337 InsertPrintInst(0, BB, InsertPos, "LEAVING BB:" + OutStr.str(),
338 Printf, HashPtrToSeqNum);
Chris Lattner29c14732001-12-14 16:26:05 +0000339
Vikram S. Advef86b4c12002-07-08 23:37:07 +0000340 // Insert a print instruction for each instruction preceding InsertPos.
341 // The print instructions must go before InsertPos, so we use the
342 // instruction *preceding* InsertPos to check when to terminate the loop.
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000343 //
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000344 for (BasicBlock::iterator II = BB->begin(); &*II != InsertPos; ++II) {
Chris Lattnere408e252003-04-23 16:37:45 +0000345 if (StoreInst *SI = dyn_cast<StoreInst>(II)) {
Vikram S. Adve919fc8c2003-07-11 21:57:43 +0000346 // Trace the stored value and address
347 InsertVerbosePrintInst(SI->getOperand(0), BB, InsertPos,
348 " (store value) ", Printf, HashPtrToSeqNum);
349 InsertVerbosePrintInst(SI->getOperand(1), BB, InsertPos,
350 " (store addr ) ", Printf, HashPtrToSeqNum);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000351 }
Vikram S. Adve919fc8c2003-07-11 21:57:43 +0000352 else if (ShouldTraceValue(II))
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000353 InsertVerbosePrintInst(II, BB, InsertPos, " ", Printf, HashPtrToSeqNum);
Chris Lattner29c14732001-12-14 16:26:05 +0000354 }
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000355}
356
Chris Lattner11982662002-07-23 18:04:15 +0000357static inline void InsertCodeToShowFunctionEntry(Function &F, Function *Printf,
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000358 Function* HashPtrToSeqNum){
Vikram S. Adve631b9a32001-10-18 18:16:11 +0000359 // Get an iterator to point to the insertion location
Chris Lattner02a3be02003-09-20 14:39:18 +0000360 BasicBlock &BB = F.getEntryBlock();
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000361 Instruction *InsertPos = BB.begin();
Chris Lattner29c14732001-12-14 16:26:05 +0000362
Chris Lattner697954c2002-01-20 22:54:45 +0000363 std::ostringstream OutStr;
Chris Lattner80e5ed92003-01-13 00:52:14 +0000364 WriteAsOperand(OutStr, &F);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000365 InsertPrintInst(0, &BB, InsertPos, "ENTERING FUNCTION: " + OutStr.str(),
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000366 Printf, HashPtrToSeqNum);
Chris Lattner29c14732001-12-14 16:26:05 +0000367
Vikram S. Adve2ed5ccd2001-11-15 15:00:16 +0000368 // Now print all the incoming arguments
Chris Lattner29c14732001-12-14 16:26:05 +0000369 unsigned ArgNo = 0;
Chris Lattnere4d5c442005-03-15 04:54:21 +0000370 for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I, ++ArgNo){
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000371 InsertVerbosePrintInst(I, &BB, InsertPos,
Chris Lattner2e0769e2002-05-20 21:43:59 +0000372 " Arg #" + utostr(ArgNo) + ": ", Printf,
373 HashPtrToSeqNum);
Chris Lattner29c14732001-12-14 16:26:05 +0000374 }
Vikram S. Adve631b9a32001-10-18 18:16:11 +0000375}
376
377
Chris Lattner79df7c02002-03-26 18:01:55 +0000378static inline void InsertCodeToShowFunctionExit(BasicBlock *BB,
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000379 Function *Printf,
380 Function* HashPtrToSeqNum) {
Vikram S. Adve631b9a32001-10-18 18:16:11 +0000381 // Get an iterator to point to the insertion location
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000382 ReturnInst *Ret = cast<ReturnInst>(BB->getTerminator());
Vikram S. Adve631b9a32001-10-18 18:16:11 +0000383
Chris Lattner697954c2002-01-20 22:54:45 +0000384 std::ostringstream OutStr;
Chris Lattner29c14732001-12-14 16:26:05 +0000385 WriteAsOperand(OutStr, BB->getParent(), true);
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000386 InsertPrintInst(0, BB, Ret, "LEAVING FUNCTION: " + OutStr.str(),
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000387 Printf, HashPtrToSeqNum);
Vikram S. Adve631b9a32001-10-18 18:16:11 +0000388
Vikram S. Adve2ed5ccd2001-11-15 15:00:16 +0000389 // print the return value, if any
Chris Lattner29c14732001-12-14 16:26:05 +0000390 if (BB->getParent()->getReturnType() != Type::VoidTy)
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000391 InsertPrintInst(Ret->getReturnValue(), BB, Ret, " Returning: ",
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000392 Printf, HashPtrToSeqNum);
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000393}
394
395
Chris Lattner11982662002-07-23 18:04:15 +0000396bool InsertTraceCode::runOnFunction(Function &F) {
397 if (!TraceThisFunction(F))
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000398 return false;
399
Chris Lattner7b6dd292003-10-27 21:44:09 +0000400 std::vector<Instruction*> valuesStoredInFunction;
401 std::vector<BasicBlock*> exitBlocks;
Chris Lattner29c14732001-12-14 16:26:05 +0000402
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000403 // Insert code to trace values at function entry
Chris Lattner11982662002-07-23 18:04:15 +0000404 InsertCodeToShowFunctionEntry(F, externalFuncs.PrintfFunc,
405 externalFuncs.HashPtrFunc);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000406
407 // Push a pointer set for recording alloca'd pointers at entry.
Chris Lattner2e0769e2002-05-20 21:43:59 +0000408 if (!DisablePtrHashing)
Chris Lattner7b6dd292003-10-27 21:44:09 +0000409 new CallInst(externalFuncs.PushOnEntryFunc, std::vector<Value*>(), "",
Chris Lattner02a3be02003-09-20 14:39:18 +0000410 F.getEntryBlock().begin());
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000411
Chris Lattner11982662002-07-23 18:04:15 +0000412 for (Function::iterator BB = F.begin(); BB != F.end(); ++BB) {
Chris Lattner29c14732001-12-14 16:26:05 +0000413 if (isa<ReturnInst>(BB->getTerminator()))
414 exitBlocks.push_back(BB); // record this as an exit block
Chris Lattner11982662002-07-23 18:04:15 +0000415
416 // Insert trace code if this basic block is interesting...
417 handleBasicBlock(BB, valuesStoredInFunction);
418
Chris Lattner2e0769e2002-05-20 21:43:59 +0000419 if (!DisablePtrHashing) // release seq. numbers on free/ret
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000420 ReleasePtrSeqNumbers(BB, externalFuncs);
Chris Lattner29c14732001-12-14 16:26:05 +0000421 }
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000422
Chris Lattner11982662002-07-23 18:04:15 +0000423 for (unsigned i=0; i != exitBlocks.size(); ++i)
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000424 {
425 // Insert code to trace values at function exit
Chris Lattner11982662002-07-23 18:04:15 +0000426 InsertCodeToShowFunctionExit(exitBlocks[i], externalFuncs.PrintfFunc,
427 externalFuncs.HashPtrFunc);
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000428
429 // Release all recorded pointers before RETURN. Do this LAST!
Chris Lattner2e0769e2002-05-20 21:43:59 +0000430 if (!DisablePtrHashing)
Chris Lattner7b6dd292003-10-27 21:44:09 +0000431 new CallInst(externalFuncs.ReleaseOnReturnFunc, std::vector<Value*>(),
432 "", exitBlocks[i]->getTerminator());
Chris Lattner29c14732001-12-14 16:26:05 +0000433 }
Vikram S. Adve1e2ddcf2002-05-19 15:39:02 +0000434
Chris Lattner8d9e3772001-10-18 05:28:08 +0000435 return true;
Vikram S. Advedf1892f2001-10-14 23:18:45 +0000436}