blob: 8f6ddf9cb95c391f49a11af28fe7676204b84dba [file] [log] [blame]
Chris Lattner5c447862002-09-10 17:03:06 +00001//===-- EdgeCode.cpp - generate LLVM instrumentation code -----------------===//
Anand Shuklad0f8c882002-02-26 18:59:46 +00002//It implements the class EdgeCode: which provides
3//support for inserting "appropriate" instrumentation at
4//designated points in the graph
5//
6//It also has methods to insert initialization code in
7//top block of cfg
8//===----------------------------------------------------------------------===//
9
Chris Lattner2f04a0d2003-01-14 22:33:56 +000010#include "Graph.h"
Chris Lattnerca142372002-04-28 19:55:58 +000011#include "llvm/Constants.h"
Anand Shuklad0f8c882002-02-26 18:59:46 +000012#include "llvm/DerivedTypes.h"
13#include "llvm/iMemory.h"
14#include "llvm/iTerminators.h"
15#include "llvm/iOther.h"
16#include "llvm/iOperators.h"
17#include "llvm/iPHINode.h"
Anand Shukla21906892002-06-25 21:14:58 +000018#include "llvm/Module.h"
Anand Shukla21906892002-06-25 21:14:58 +000019
20#define INSERT_LOAD_COUNT
21#define INSERT_STORE
Anand Shuklad0f8c882002-02-26 18:59:46 +000022
Anand Shuklad0f8c882002-02-26 18:59:46 +000023using std::vector;
24
Anand Shukla21906892002-06-25 21:14:58 +000025
Chris Lattner5c447862002-09-10 17:03:06 +000026static void getTriggerCode(Module *M, BasicBlock *BB, int MethNo, Value *pathNo,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000027 Value *cnt, Instruction *rInst){
Anand Shuklaf94ad682002-09-16 05:26:51 +000028
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000029 vector<Value *> tmpVec;
30 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
31 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
32 Instruction *Idx = new GetElementPtrInst(cnt, tmpVec, "");//,
33 BB->getInstList().push_back(Idx);
34
Chris Lattnerea277512003-08-31 00:21:05 +000035 const Type *PIntTy = PointerType::get(Type::IntTy);
36 Function *trigMeth = M->getOrInsertFunction("trigger", Type::VoidTy,
37 Type::IntTy, Type::IntTy,
38 PIntTy, PIntTy, 0);
Anand Shukla21906892002-06-25 21:14:58 +000039 assert(trigMeth && "trigger method could not be inserted!");
Anand Shuklaf94ad682002-09-16 05:26:51 +000040
Anand Shukla21906892002-06-25 21:14:58 +000041 vector<Value *> trargs;
42
Anand Shukla21906892002-06-25 21:14:58 +000043 trargs.push_back(ConstantSInt::get(Type::IntTy,MethNo));
Anand Shukla21906892002-06-25 21:14:58 +000044 trargs.push_back(pathNo);
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000045 trargs.push_back(Idx);
46 trargs.push_back(rInst);
Anand Shuklaf94ad682002-09-16 05:26:51 +000047
Anand Shukla77dca142002-09-20 16:44:35 +000048 Instruction *callInst=new CallInst(trigMeth, trargs, "");//, BB->begin());
49 BB->getInstList().push_back(callInst);
50 //triggerInst = new CallInst(trigMeth, trargs, "");//, InsertPos);
Anand Shukla21906892002-06-25 21:14:58 +000051}
52
53
Anand Shuklad0f8c882002-02-26 18:59:46 +000054//get the code to be inserted on the edge
55//This is determined from cond (1-6)
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000056void getEdgeCode::getCode(Instruction *rInst, Value *countInst,
Anand Shukla77dca142002-09-20 16:44:35 +000057 Function *M, BasicBlock *BB,
58 vector<Value *> &retVec){
Anand Shuklad0f8c882002-02-26 18:59:46 +000059
Anand Shukla77dca142002-09-20 16:44:35 +000060 //Instruction *InsertPos = BB->getInstList().begin();
Anand Shuklad0f8c882002-02-26 18:59:46 +000061
Anand Shukla77dca142002-09-20 16:44:35 +000062 //now check for cdIn and cdOut
63 //first put cdOut
64 if(cdOut!=NULL){
65 cdOut->getCode(rInst, countInst, M, BB, retVec);
66 }
67
68 if(cdIn!=NULL){
69 cdIn->getCode(rInst, countInst, M, BB, retVec);
70 }
71
Anand Shuklad0f8c882002-02-26 18:59:46 +000072 //case: r=k code to be inserted
73 switch(cond){
74 case 1:{
75 Value *val=ConstantSInt::get(Type::IntTy,inc);
Anand Shukla21906892002-06-25 21:14:58 +000076#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +000077 Instruction *stInst=new StoreInst(val, rInst);//, InsertPos);
78 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +000079#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +000080 break;
81 }
82
83 //case: r=0 to be inserted
Anand Shukla77dca142002-09-20 16:44:35 +000084 case 2:{
Anand Shukla21906892002-06-25 21:14:58 +000085#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +000086 Instruction *stInst = new StoreInst(ConstantSInt::getNullValue(Type::IntTy), rInst);//, InsertPos);
87 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +000088#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +000089 break;
Anand Shukla77dca142002-09-20 16:44:35 +000090 }
Anand Shuklad0f8c882002-02-26 18:59:46 +000091
92 //r+=k
93 case 3:{
Anand Shukla77dca142002-09-20 16:44:35 +000094 Instruction *ldInst = new LoadInst(rInst, "ti1");//, InsertPos);
95 BB->getInstList().push_back(ldInst);
Chris Lattner5c447862002-09-10 17:03:06 +000096 Value *val = ConstantSInt::get(Type::IntTy,inc);
Anand Shukla77dca142002-09-20 16:44:35 +000097 Instruction *addIn = BinaryOperator::create(Instruction::Add, ldInst, val,
98 "ti2");//, InsertPos);
99 BB->getInstList().push_back(addIn);
Anand Shukla21906892002-06-25 21:14:58 +0000100#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000101 Instruction *stInst = new StoreInst(addIn, rInst);//, InsertPos);
102 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +0000103#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +0000104 break;
105 }
106
107 //count[inc]++
108 case 4:{
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000109 vector<Value *> tmpVec;
110 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
111 tmpVec.push_back(ConstantSInt::get(Type::LongTy, inc));
112 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
113
114 //Instruction *Idx = new GetElementPtrInst(countInst,
115 // vector<Value*>(1,ConstantSInt::get(Type::LongTy, inc)),
116 // "");//, InsertPos);
Anand Shukla77dca142002-09-20 16:44:35 +0000117 BB->getInstList().push_back(Idx);
Chris Lattnere49f2992002-08-21 22:11:33 +0000118
Anand Shukla77dca142002-09-20 16:44:35 +0000119 Instruction *ldInst=new LoadInst(Idx, "ti1");//, InsertPos);
120 BB->getInstList().push_back(ldInst);
Chris Lattnere49f2992002-08-21 22:11:33 +0000121
122 Value *val = ConstantSInt::get(Type::IntTy, 1);
Anand Shukla77dca142002-09-20 16:44:35 +0000123 //Instruction *addIn =
124 Instruction *newCount =
125 BinaryOperator::create(Instruction::Add, ldInst, val,"ti2");
126 BB->getInstList().push_back(newCount);
127
Chris Lattner5c447862002-09-10 17:03:06 +0000128
129#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000130 //Instruction *stInst=new StoreInst(addIn, Idx, InsertPos);
131 Instruction *stInst=new StoreInst(newCount, Idx);//, InsertPos);
132 BB->getInstList().push_back(stInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000133#endif
Anand Shukla77dca142002-09-20 16:44:35 +0000134
135 Value *trAddIndex = ConstantSInt::get(Type::IntTy,inc);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000136
Anand Shukla77dca142002-09-20 16:44:35 +0000137 retVec.push_back(newCount);
138 retVec.push_back(trAddIndex);
Anand Shukla21906892002-06-25 21:14:58 +0000139 //insert trigger
Anand Shukla77dca142002-09-20 16:44:35 +0000140 //getTriggerCode(M->getParent(), BB, MethNo,
141 // ConstantSInt::get(Type::IntTy,inc), newCount, triggerInst);
Anand Shukla21906892002-06-25 21:14:58 +0000142 //end trigger code
143
Anand Shuklad0f8c882002-02-26 18:59:46 +0000144 assert(inc>=0 && "IT MUST BE POSITIVE NOW");
Anand Shuklad0f8c882002-02-26 18:59:46 +0000145 break;
146 }
147
148 //case: count[r+inc]++
149 case 5:{
Chris Lattner5c447862002-09-10 17:03:06 +0000150
Anand Shuklad0f8c882002-02-26 18:59:46 +0000151 //ti1=inc+r
Anand Shukla77dca142002-09-20 16:44:35 +0000152 Instruction *ldIndex=new LoadInst(rInst, "ti1");//, InsertPos);
153 BB->getInstList().push_back(ldIndex);
154
Anand Shuklad0f8c882002-02-26 18:59:46 +0000155 Value *val=ConstantSInt::get(Type::IntTy,inc);
156 Instruction *addIndex=BinaryOperator::
Anand Shukla77dca142002-09-20 16:44:35 +0000157 create(Instruction::Add, ldIndex, val,"ti2");//, InsertPos);
158 BB->getInstList().push_back(addIndex);
Anand Shukla21906892002-06-25 21:14:58 +0000159
Anand Shuklaf94ad682002-09-16 05:26:51 +0000160 //now load count[addIndex]
Anand Shuklad0f8c882002-02-26 18:59:46 +0000161 Instruction *castInst=new CastInst(addIndex,
Anand Shukla77dca142002-09-20 16:44:35 +0000162 Type::LongTy,"ctin");//, InsertPos);
163 BB->getInstList().push_back(castInst);
Chris Lattnere49f2992002-08-21 22:11:33 +0000164
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000165 vector<Value *> tmpVec;
166 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
167 tmpVec.push_back(castInst);
168 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
Anand Shukla77dca142002-09-20 16:44:35 +0000169 // InsertPos);
170 BB->getInstList().push_back(Idx);
171
172 Instruction *ldInst=new LoadInst(Idx, "ti3");//, InsertPos);
173 BB->getInstList().push_back(ldInst);
174
Anand Shuklad0f8c882002-02-26 18:59:46 +0000175 Value *cons=ConstantSInt::get(Type::IntTy,1);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000176 //count[addIndex]++
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000177 //std::cerr<<"Type ldInst:"<<ldInst->getType()<<"\t cons:"<<cons->getType()<<"\n";
Anand Shukla77dca142002-09-20 16:44:35 +0000178 Instruction *newCount = BinaryOperator::create(Instruction::Add, ldInst,
179 cons,"");
180 BB->getInstList().push_back(newCount);
Anand Shukla21906892002-06-25 21:14:58 +0000181
182#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000183 Instruction *stInst = new StoreInst(newCount, Idx);//, InsertPos);
184 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +0000185#endif
Chris Lattner5c447862002-09-10 17:03:06 +0000186
Anand Shukla77dca142002-09-20 16:44:35 +0000187 retVec.push_back(newCount);
188 retVec.push_back(addIndex);
Chris Lattner5c447862002-09-10 17:03:06 +0000189 //insert trigger
Anand Shukla77dca142002-09-20 16:44:35 +0000190 //getTriggerCode(M->getParent(), BB, MethNo, addIndex, newCount, triggerInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000191 //end trigger code
192
Anand Shuklad0f8c882002-02-26 18:59:46 +0000193 break;
194 }
195
196 //case: count[r]+
197 case 6:{
198 //ti1=inc+r
Anand Shukla77dca142002-09-20 16:44:35 +0000199 Instruction *ldIndex=new LoadInst(rInst, "ti1");//, InsertPos);
200 BB->getInstList().push_back(ldIndex);
201
Anand Shuklad0f8c882002-02-26 18:59:46 +0000202 //now load count[addIndex]
Anand Shukla77dca142002-09-20 16:44:35 +0000203 Instruction *castInst2=new CastInst(ldIndex, Type::LongTy,"ctin");
204 BB->getInstList().push_back(castInst2);
205
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000206 vector<Value *> tmpVec;
207 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
208 tmpVec.push_back(castInst2);
209 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
210
211 //Instruction *Idx = new GetElementPtrInst(countInst,
212 // vector<Value*>(1,castInst2), "");
213
Anand Shukla77dca142002-09-20 16:44:35 +0000214 BB->getInstList().push_back(Idx);
Chris Lattnere49f2992002-08-21 22:11:33 +0000215
Anand Shukla77dca142002-09-20 16:44:35 +0000216 Instruction *ldInst=new LoadInst(Idx, "ti2");//, InsertPos);
217 BB->getInstList().push_back(ldInst);
218
Anand Shuklad0f8c882002-02-26 18:59:46 +0000219 Value *cons=ConstantSInt::get(Type::IntTy,1);
220
221 //count[addIndex]++
Anand Shukla77dca142002-09-20 16:44:35 +0000222 Instruction *newCount = BinaryOperator::create(Instruction::Add, ldInst,
223 cons,"ti3");
224 BB->getInstList().push_back(newCount);
Anand Shukla21906892002-06-25 21:14:58 +0000225
Chris Lattner5c447862002-09-10 17:03:06 +0000226#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000227 Instruction *stInst = new StoreInst(newCount, Idx);//, InsertPos);
228 BB->getInstList().push_back(stInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000229#endif
Anand Shukla77dca142002-09-20 16:44:35 +0000230
231 retVec.push_back(newCount);
232 retVec.push_back(ldIndex);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000233 break;
234 }
235
236 }
Anand Shuklad0f8c882002-02-26 18:59:46 +0000237}
238
239
240
241//Insert the initialization code in the top BB
242//this includes initializing r, and count
243//r is like an accumulator, that
244//keeps on adding increments as we traverse along a path
245//and at the end of the path, r contains the path
246//number of that path
247//Count is an array, where Count[k] represents
248//the number of executions of path k
249void insertInTopBB(BasicBlock *front,
250 int k,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000251 Instruction *rVar, Value *threshold){
Anand Shuklad0f8c882002-02-26 18:59:46 +0000252 //rVar is variable r,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000253 //countVar is count[]
Chris Lattnere49f2992002-08-21 22:11:33 +0000254
255 Value *Int0 = ConstantInt::get(Type::IntTy, 0);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000256
Anand Shuklad0f8c882002-02-26 18:59:46 +0000257 //now push all instructions in front of the BB
Chris Lattner5c447862002-09-10 17:03:06 +0000258 BasicBlock::iterator here=front->begin();
259 front->getInstList().insert(here, rVar);
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000260 //front->getInstList().insert(here,countVar);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000261
262 //Initialize Count[...] with 0
Anand Shukla21906892002-06-25 21:14:58 +0000263
Anand Shukla77dca142002-09-20 16:44:35 +0000264 //for (int i=0;i<k; i++){
265 //Value *GEP2 = new GetElementPtrInst(countVar,
266 // vector<Value *>(1,ConstantSInt::get(Type::LongTy, i)),
267 // "", here);
268 //new StoreInst(Int0, GEP2, here);
269 //}
Anand Shukla21906892002-06-25 21:14:58 +0000270
Chris Lattnerb9d9e0f2002-09-11 01:21:29 +0000271 //store uint 0, uint *%R
272 new StoreInst(Int0, rVar, here);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000273}
274
275
276//insert a basic block with appropriate code
277//along a given edge
278void insertBB(Edge ed,
279 getEdgeCode *edgeCode,
280 Instruction *rInst,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000281 Value *countInst,
Anand Shukla77dca142002-09-20 16:44:35 +0000282 int numPaths, int Methno, Value *threshold){
Anand Shuklaf94ad682002-09-16 05:26:51 +0000283
Anand Shuklad0f8c882002-02-26 18:59:46 +0000284 BasicBlock* BB1=ed.getFirst()->getElement();
285 BasicBlock* BB2=ed.getSecond()->getElement();
286
Anand Shukla21906892002-06-25 21:14:58 +0000287#ifdef DEBUG_PATH_PROFILES
288 //debugging info
289 cerr<<"Edges with codes ######################\n";
290 cerr<<BB1->getName()<<"->"<<BB2->getName()<<"\n";
291 cerr<<"########################\n";
292#endif
293
Anand Shuklad0f8c882002-02-26 18:59:46 +0000294 //We need to insert a BB between BB1 and BB2
295 TerminatorInst *TI=BB1->getTerminator();
Anand Shuklaf94ad682002-09-16 05:26:51 +0000296 BasicBlock *newBB=new BasicBlock("counter", BB1->getParent());
Anand Shuklad0f8c882002-02-26 18:59:46 +0000297
Anand Shukla77dca142002-09-20 16:44:35 +0000298 //get code for the new BB
299 vector<Value *> retVec;
300
301 edgeCode->getCode(rInst, countInst, BB1->getParent(), newBB, retVec);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000302
Anand Shuklaff72c792002-07-08 19:36:39 +0000303 BranchInst *BI = cast<BranchInst>(TI);
304
Anand Shukla77dca142002-09-20 16:44:35 +0000305 //Is terminator a branch instruction?
306 //then we need to change branch destinations to include new BB
307
Anand Shuklad0f8c882002-02-26 18:59:46 +0000308 if(BI->isUnconditional()){
309 BI->setUnconditionalDest(newBB);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000310 }
311 else{
Anand Shukla21906892002-06-25 21:14:58 +0000312 if(BI->getSuccessor(0)==BB2)
313 BI->setSuccessor(0, newBB);
314
315 if(BI->getSuccessor(1)==BB2)
316 BI->setSuccessor(1, newBB);
Anand Shukla77dca142002-09-20 16:44:35 +0000317 }
Anand Shukla21906892002-06-25 21:14:58 +0000318
Anand Shukla77dca142002-09-20 16:44:35 +0000319 BasicBlock *triggerBB = NULL;
320 if(retVec.size()>0){
321 triggerBB = new BasicBlock("trigger", BB1->getParent());
322 getTriggerCode(BB1->getParent()->getParent(), triggerBB, Methno,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000323 retVec[1], countInst, rInst);//retVec[0]);
Anand Shukla77dca142002-09-20 16:44:35 +0000324
325 //Instruction *castInst = new CastInst(retVec[0], Type::IntTy, "");
326 Instruction *etr = new LoadInst(threshold, "threshold");
327
328 //std::cerr<<"type1: "<<etr->getType()<<" type2: "<<retVec[0]->getType()<<"\n";
329 Instruction *cmpInst = new SetCondInst(Instruction::SetLE, etr,
330 retVec[0], "");
331 Instruction *newBI2 = new BranchInst(triggerBB, BB2, cmpInst);
332 //newBB->getInstList().push_back(castInst);
333 newBB->getInstList().push_back(etr);
334 newBB->getInstList().push_back(cmpInst);
335 newBB->getInstList().push_back(newBI2);
336
337 //triggerBB->getInstList().push_back(triggerInst);
338 Instruction *triggerBranch = new BranchInst(BB2);
339 triggerBB->getInstList().push_back(triggerBranch);
340 }
341 else{
Anand Shukla21906892002-06-25 21:14:58 +0000342 Instruction *newBI2=new BranchInst(BB2);
343 newBB->getInstList().push_back(newBI2);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000344 }
Chris Lattner154cf642002-09-14 19:33:16 +0000345
Anand Shuklaf94ad682002-09-16 05:26:51 +0000346 //now iterate over BB2, and set its Phi nodes right
Chris Lattner7076ff22002-06-25 16:13:21 +0000347 for(BasicBlock::iterator BB2Inst = BB2->begin(), BBend = BB2->end();
348 BB2Inst != BBend; ++BB2Inst){
Anand Shuklad0f8c882002-02-26 18:59:46 +0000349
Chris Lattner889f6202003-04-23 16:37:45 +0000350 if(PHINode *phiInst=dyn_cast<PHINode>(BB2Inst)){
Anand Shuklad0f8c882002-02-26 18:59:46 +0000351 int bbIndex=phiInst->getBasicBlockIndex(BB1);
Anand Shukla21906892002-06-25 21:14:58 +0000352 assert(bbIndex>=0);
353 phiInst->setIncomingBlock(bbIndex, newBB);
Anand Shukla77dca142002-09-20 16:44:35 +0000354
355 ///check if trigger!=null, then add value corresponding to it too!
356 if(retVec.size()>0){
357 assert(triggerBB && "BasicBlock with trigger should not be null!");
358 Value *vl = phiInst->getIncomingValue((unsigned int)bbIndex);
359 phiInst->addIncoming(vl, triggerBB);
360 }
Anand Shuklad0f8c882002-02-26 18:59:46 +0000361 }
362 }
363}
Anand Shukla21906892002-06-25 21:14:58 +0000364