blob: 6a7f50e333a75c23d78ea387395740170c1b6a08 [file] [log] [blame]
Chris Lattner5c447862002-09-10 17:03:06 +00001//===-- EdgeCode.cpp - generate LLVM instrumentation code -----------------===//
John Criswell482202a2003-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//===----------------------------------------------------------------------===//
Anand Shuklad0f8c882002-02-26 18:59:46 +00009//It implements the class EdgeCode: which provides
10//support for inserting "appropriate" instrumentation at
11//designated points in the graph
12//
13//It also has methods to insert initialization code in
14//top block of cfg
15//===----------------------------------------------------------------------===//
16
Chris Lattner2f04a0d2003-01-14 22:33:56 +000017#include "Graph.h"
Chris Lattnerca142372002-04-28 19:55:58 +000018#include "llvm/Constants.h"
Anand Shuklad0f8c882002-02-26 18:59:46 +000019#include "llvm/DerivedTypes.h"
20#include "llvm/iMemory.h"
21#include "llvm/iTerminators.h"
22#include "llvm/iOther.h"
23#include "llvm/iOperators.h"
24#include "llvm/iPHINode.h"
Anand Shukla21906892002-06-25 21:14:58 +000025#include "llvm/Module.h"
Anand Shukla21906892002-06-25 21:14:58 +000026
27#define INSERT_LOAD_COUNT
28#define INSERT_STORE
Anand Shuklad0f8c882002-02-26 18:59:46 +000029
Anand Shuklad0f8c882002-02-26 18:59:46 +000030using std::vector;
31
Anand Shukla21906892002-06-25 21:14:58 +000032
Chris Lattner5c447862002-09-10 17:03:06 +000033static void getTriggerCode(Module *M, BasicBlock *BB, int MethNo, Value *pathNo,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000034 Value *cnt, Instruction *rInst){
Anand Shuklaf94ad682002-09-16 05:26:51 +000035
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000036 vector<Value *> tmpVec;
37 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
38 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
39 Instruction *Idx = new GetElementPtrInst(cnt, tmpVec, "");//,
40 BB->getInstList().push_back(Idx);
41
Chris Lattnerea277512003-08-31 00:21:05 +000042 const Type *PIntTy = PointerType::get(Type::IntTy);
43 Function *trigMeth = M->getOrInsertFunction("trigger", Type::VoidTy,
44 Type::IntTy, Type::IntTy,
45 PIntTy, PIntTy, 0);
Anand Shukla21906892002-06-25 21:14:58 +000046 assert(trigMeth && "trigger method could not be inserted!");
Anand Shuklaf94ad682002-09-16 05:26:51 +000047
Anand Shukla21906892002-06-25 21:14:58 +000048 vector<Value *> trargs;
49
Anand Shukla21906892002-06-25 21:14:58 +000050 trargs.push_back(ConstantSInt::get(Type::IntTy,MethNo));
Anand Shukla21906892002-06-25 21:14:58 +000051 trargs.push_back(pathNo);
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000052 trargs.push_back(Idx);
53 trargs.push_back(rInst);
Anand Shuklaf94ad682002-09-16 05:26:51 +000054
Anand Shukla77dca142002-09-20 16:44:35 +000055 Instruction *callInst=new CallInst(trigMeth, trargs, "");//, BB->begin());
56 BB->getInstList().push_back(callInst);
57 //triggerInst = new CallInst(trigMeth, trargs, "");//, InsertPos);
Anand Shukla21906892002-06-25 21:14:58 +000058}
59
60
Anand Shuklad0f8c882002-02-26 18:59:46 +000061//get the code to be inserted on the edge
62//This is determined from cond (1-6)
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000063void getEdgeCode::getCode(Instruction *rInst, Value *countInst,
Anand Shukla77dca142002-09-20 16:44:35 +000064 Function *M, BasicBlock *BB,
65 vector<Value *> &retVec){
Anand Shuklad0f8c882002-02-26 18:59:46 +000066
Anand Shukla77dca142002-09-20 16:44:35 +000067 //Instruction *InsertPos = BB->getInstList().begin();
Anand Shuklad0f8c882002-02-26 18:59:46 +000068
Anand Shukla77dca142002-09-20 16:44:35 +000069 //now check for cdIn and cdOut
70 //first put cdOut
71 if(cdOut!=NULL){
72 cdOut->getCode(rInst, countInst, M, BB, retVec);
73 }
74
75 if(cdIn!=NULL){
76 cdIn->getCode(rInst, countInst, M, BB, retVec);
77 }
78
Anand Shuklad0f8c882002-02-26 18:59:46 +000079 //case: r=k code to be inserted
80 switch(cond){
81 case 1:{
82 Value *val=ConstantSInt::get(Type::IntTy,inc);
Anand Shukla21906892002-06-25 21:14:58 +000083#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +000084 Instruction *stInst=new StoreInst(val, rInst);//, InsertPos);
85 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +000086#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +000087 break;
88 }
89
90 //case: r=0 to be inserted
Anand Shukla77dca142002-09-20 16:44:35 +000091 case 2:{
Anand Shukla21906892002-06-25 21:14:58 +000092#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +000093 Instruction *stInst = new StoreInst(ConstantSInt::getNullValue(Type::IntTy), rInst);//, InsertPos);
94 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +000095#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +000096 break;
Anand Shukla77dca142002-09-20 16:44:35 +000097 }
Anand Shuklad0f8c882002-02-26 18:59:46 +000098
99 //r+=k
100 case 3:{
Anand Shukla77dca142002-09-20 16:44:35 +0000101 Instruction *ldInst = new LoadInst(rInst, "ti1");//, InsertPos);
102 BB->getInstList().push_back(ldInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000103 Value *val = ConstantSInt::get(Type::IntTy,inc);
Anand Shukla77dca142002-09-20 16:44:35 +0000104 Instruction *addIn = BinaryOperator::create(Instruction::Add, ldInst, val,
105 "ti2");//, InsertPos);
106 BB->getInstList().push_back(addIn);
Anand Shukla21906892002-06-25 21:14:58 +0000107#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000108 Instruction *stInst = new StoreInst(addIn, rInst);//, InsertPos);
109 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +0000110#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +0000111 break;
112 }
113
114 //count[inc]++
115 case 4:{
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000116 vector<Value *> tmpVec;
117 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
118 tmpVec.push_back(ConstantSInt::get(Type::LongTy, inc));
119 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
120
121 //Instruction *Idx = new GetElementPtrInst(countInst,
122 // vector<Value*>(1,ConstantSInt::get(Type::LongTy, inc)),
123 // "");//, InsertPos);
Anand Shukla77dca142002-09-20 16:44:35 +0000124 BB->getInstList().push_back(Idx);
Chris Lattnere49f2992002-08-21 22:11:33 +0000125
Anand Shukla77dca142002-09-20 16:44:35 +0000126 Instruction *ldInst=new LoadInst(Idx, "ti1");//, InsertPos);
127 BB->getInstList().push_back(ldInst);
Chris Lattnere49f2992002-08-21 22:11:33 +0000128
129 Value *val = ConstantSInt::get(Type::IntTy, 1);
Anand Shukla77dca142002-09-20 16:44:35 +0000130 //Instruction *addIn =
131 Instruction *newCount =
132 BinaryOperator::create(Instruction::Add, ldInst, val,"ti2");
133 BB->getInstList().push_back(newCount);
134
Chris Lattner5c447862002-09-10 17:03:06 +0000135
136#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000137 //Instruction *stInst=new StoreInst(addIn, Idx, InsertPos);
138 Instruction *stInst=new StoreInst(newCount, Idx);//, InsertPos);
139 BB->getInstList().push_back(stInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000140#endif
Anand Shukla77dca142002-09-20 16:44:35 +0000141
142 Value *trAddIndex = ConstantSInt::get(Type::IntTy,inc);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000143
Anand Shukla77dca142002-09-20 16:44:35 +0000144 retVec.push_back(newCount);
145 retVec.push_back(trAddIndex);
Anand Shukla21906892002-06-25 21:14:58 +0000146 //insert trigger
Anand Shukla77dca142002-09-20 16:44:35 +0000147 //getTriggerCode(M->getParent(), BB, MethNo,
148 // ConstantSInt::get(Type::IntTy,inc), newCount, triggerInst);
Anand Shukla21906892002-06-25 21:14:58 +0000149 //end trigger code
150
Anand Shuklad0f8c882002-02-26 18:59:46 +0000151 assert(inc>=0 && "IT MUST BE POSITIVE NOW");
Anand Shuklad0f8c882002-02-26 18:59:46 +0000152 break;
153 }
154
155 //case: count[r+inc]++
156 case 5:{
Chris Lattner5c447862002-09-10 17:03:06 +0000157
Anand Shuklad0f8c882002-02-26 18:59:46 +0000158 //ti1=inc+r
Anand Shukla77dca142002-09-20 16:44:35 +0000159 Instruction *ldIndex=new LoadInst(rInst, "ti1");//, InsertPos);
160 BB->getInstList().push_back(ldIndex);
161
Anand Shuklad0f8c882002-02-26 18:59:46 +0000162 Value *val=ConstantSInt::get(Type::IntTy,inc);
163 Instruction *addIndex=BinaryOperator::
Anand Shukla77dca142002-09-20 16:44:35 +0000164 create(Instruction::Add, ldIndex, val,"ti2");//, InsertPos);
165 BB->getInstList().push_back(addIndex);
Anand Shukla21906892002-06-25 21:14:58 +0000166
Anand Shuklaf94ad682002-09-16 05:26:51 +0000167 //now load count[addIndex]
Anand Shuklad0f8c882002-02-26 18:59:46 +0000168 Instruction *castInst=new CastInst(addIndex,
Anand Shukla77dca142002-09-20 16:44:35 +0000169 Type::LongTy,"ctin");//, InsertPos);
170 BB->getInstList().push_back(castInst);
Chris Lattnere49f2992002-08-21 22:11:33 +0000171
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000172 vector<Value *> tmpVec;
173 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
174 tmpVec.push_back(castInst);
175 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
Anand Shukla77dca142002-09-20 16:44:35 +0000176 // InsertPos);
177 BB->getInstList().push_back(Idx);
178
179 Instruction *ldInst=new LoadInst(Idx, "ti3");//, InsertPos);
180 BB->getInstList().push_back(ldInst);
181
Anand Shuklad0f8c882002-02-26 18:59:46 +0000182 Value *cons=ConstantSInt::get(Type::IntTy,1);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000183 //count[addIndex]++
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000184 //std::cerr<<"Type ldInst:"<<ldInst->getType()<<"\t cons:"<<cons->getType()<<"\n";
Anand Shukla77dca142002-09-20 16:44:35 +0000185 Instruction *newCount = BinaryOperator::create(Instruction::Add, ldInst,
186 cons,"");
187 BB->getInstList().push_back(newCount);
Anand Shukla21906892002-06-25 21:14:58 +0000188
189#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000190 Instruction *stInst = new StoreInst(newCount, Idx);//, InsertPos);
191 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +0000192#endif
Chris Lattner5c447862002-09-10 17:03:06 +0000193
Anand Shukla77dca142002-09-20 16:44:35 +0000194 retVec.push_back(newCount);
195 retVec.push_back(addIndex);
Chris Lattner5c447862002-09-10 17:03:06 +0000196 //insert trigger
Anand Shukla77dca142002-09-20 16:44:35 +0000197 //getTriggerCode(M->getParent(), BB, MethNo, addIndex, newCount, triggerInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000198 //end trigger code
199
Anand Shuklad0f8c882002-02-26 18:59:46 +0000200 break;
201 }
202
203 //case: count[r]+
204 case 6:{
205 //ti1=inc+r
Anand Shukla77dca142002-09-20 16:44:35 +0000206 Instruction *ldIndex=new LoadInst(rInst, "ti1");//, InsertPos);
207 BB->getInstList().push_back(ldIndex);
208
Anand Shuklad0f8c882002-02-26 18:59:46 +0000209 //now load count[addIndex]
Anand Shukla77dca142002-09-20 16:44:35 +0000210 Instruction *castInst2=new CastInst(ldIndex, Type::LongTy,"ctin");
211 BB->getInstList().push_back(castInst2);
212
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000213 vector<Value *> tmpVec;
214 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
215 tmpVec.push_back(castInst2);
216 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
217
218 //Instruction *Idx = new GetElementPtrInst(countInst,
219 // vector<Value*>(1,castInst2), "");
220
Anand Shukla77dca142002-09-20 16:44:35 +0000221 BB->getInstList().push_back(Idx);
Chris Lattnere49f2992002-08-21 22:11:33 +0000222
Anand Shukla77dca142002-09-20 16:44:35 +0000223 Instruction *ldInst=new LoadInst(Idx, "ti2");//, InsertPos);
224 BB->getInstList().push_back(ldInst);
225
Anand Shuklad0f8c882002-02-26 18:59:46 +0000226 Value *cons=ConstantSInt::get(Type::IntTy,1);
227
228 //count[addIndex]++
Anand Shukla77dca142002-09-20 16:44:35 +0000229 Instruction *newCount = BinaryOperator::create(Instruction::Add, ldInst,
230 cons,"ti3");
231 BB->getInstList().push_back(newCount);
Anand Shukla21906892002-06-25 21:14:58 +0000232
Chris Lattner5c447862002-09-10 17:03:06 +0000233#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000234 Instruction *stInst = new StoreInst(newCount, Idx);//, InsertPos);
235 BB->getInstList().push_back(stInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000236#endif
Anand Shukla77dca142002-09-20 16:44:35 +0000237
238 retVec.push_back(newCount);
239 retVec.push_back(ldIndex);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000240 break;
241 }
242
243 }
Anand Shuklad0f8c882002-02-26 18:59:46 +0000244}
245
246
247
248//Insert the initialization code in the top BB
249//this includes initializing r, and count
250//r is like an accumulator, that
251//keeps on adding increments as we traverse along a path
252//and at the end of the path, r contains the path
253//number of that path
254//Count is an array, where Count[k] represents
255//the number of executions of path k
256void insertInTopBB(BasicBlock *front,
257 int k,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000258 Instruction *rVar, Value *threshold){
Anand Shuklad0f8c882002-02-26 18:59:46 +0000259 //rVar is variable r,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000260 //countVar is count[]
Chris Lattnere49f2992002-08-21 22:11:33 +0000261
262 Value *Int0 = ConstantInt::get(Type::IntTy, 0);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000263
Anand Shuklad0f8c882002-02-26 18:59:46 +0000264 //now push all instructions in front of the BB
Chris Lattner5c447862002-09-10 17:03:06 +0000265 BasicBlock::iterator here=front->begin();
266 front->getInstList().insert(here, rVar);
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000267 //front->getInstList().insert(here,countVar);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000268
269 //Initialize Count[...] with 0
Anand Shukla21906892002-06-25 21:14:58 +0000270
Anand Shukla77dca142002-09-20 16:44:35 +0000271 //for (int i=0;i<k; i++){
272 //Value *GEP2 = new GetElementPtrInst(countVar,
273 // vector<Value *>(1,ConstantSInt::get(Type::LongTy, i)),
274 // "", here);
275 //new StoreInst(Int0, GEP2, here);
276 //}
Anand Shukla21906892002-06-25 21:14:58 +0000277
Chris Lattnerb9d9e0f2002-09-11 01:21:29 +0000278 //store uint 0, uint *%R
279 new StoreInst(Int0, rVar, here);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000280}
281
282
283//insert a basic block with appropriate code
284//along a given edge
285void insertBB(Edge ed,
286 getEdgeCode *edgeCode,
287 Instruction *rInst,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000288 Value *countInst,
Anand Shukla77dca142002-09-20 16:44:35 +0000289 int numPaths, int Methno, Value *threshold){
Anand Shuklaf94ad682002-09-16 05:26:51 +0000290
Anand Shuklad0f8c882002-02-26 18:59:46 +0000291 BasicBlock* BB1=ed.getFirst()->getElement();
292 BasicBlock* BB2=ed.getSecond()->getElement();
293
Anand Shukla21906892002-06-25 21:14:58 +0000294#ifdef DEBUG_PATH_PROFILES
295 //debugging info
296 cerr<<"Edges with codes ######################\n";
297 cerr<<BB1->getName()<<"->"<<BB2->getName()<<"\n";
298 cerr<<"########################\n";
299#endif
300
Anand Shuklad0f8c882002-02-26 18:59:46 +0000301 //We need to insert a BB between BB1 and BB2
302 TerminatorInst *TI=BB1->getTerminator();
Anand Shuklaf94ad682002-09-16 05:26:51 +0000303 BasicBlock *newBB=new BasicBlock("counter", BB1->getParent());
Anand Shuklad0f8c882002-02-26 18:59:46 +0000304
Anand Shukla77dca142002-09-20 16:44:35 +0000305 //get code for the new BB
306 vector<Value *> retVec;
307
308 edgeCode->getCode(rInst, countInst, BB1->getParent(), newBB, retVec);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000309
Anand Shuklaff72c792002-07-08 19:36:39 +0000310 BranchInst *BI = cast<BranchInst>(TI);
311
Anand Shukla77dca142002-09-20 16:44:35 +0000312 //Is terminator a branch instruction?
313 //then we need to change branch destinations to include new BB
314
Anand Shuklad0f8c882002-02-26 18:59:46 +0000315 if(BI->isUnconditional()){
316 BI->setUnconditionalDest(newBB);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000317 }
318 else{
Anand Shukla21906892002-06-25 21:14:58 +0000319 if(BI->getSuccessor(0)==BB2)
320 BI->setSuccessor(0, newBB);
321
322 if(BI->getSuccessor(1)==BB2)
323 BI->setSuccessor(1, newBB);
Anand Shukla77dca142002-09-20 16:44:35 +0000324 }
Anand Shukla21906892002-06-25 21:14:58 +0000325
Anand Shukla77dca142002-09-20 16:44:35 +0000326 BasicBlock *triggerBB = NULL;
327 if(retVec.size()>0){
328 triggerBB = new BasicBlock("trigger", BB1->getParent());
329 getTriggerCode(BB1->getParent()->getParent(), triggerBB, Methno,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000330 retVec[1], countInst, rInst);//retVec[0]);
Anand Shukla77dca142002-09-20 16:44:35 +0000331
332 //Instruction *castInst = new CastInst(retVec[0], Type::IntTy, "");
333 Instruction *etr = new LoadInst(threshold, "threshold");
334
335 //std::cerr<<"type1: "<<etr->getType()<<" type2: "<<retVec[0]->getType()<<"\n";
336 Instruction *cmpInst = new SetCondInst(Instruction::SetLE, etr,
337 retVec[0], "");
338 Instruction *newBI2 = new BranchInst(triggerBB, BB2, cmpInst);
339 //newBB->getInstList().push_back(castInst);
340 newBB->getInstList().push_back(etr);
341 newBB->getInstList().push_back(cmpInst);
342 newBB->getInstList().push_back(newBI2);
343
344 //triggerBB->getInstList().push_back(triggerInst);
345 Instruction *triggerBranch = new BranchInst(BB2);
346 triggerBB->getInstList().push_back(triggerBranch);
347 }
348 else{
Anand Shukla21906892002-06-25 21:14:58 +0000349 Instruction *newBI2=new BranchInst(BB2);
350 newBB->getInstList().push_back(newBI2);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000351 }
Chris Lattner154cf642002-09-14 19:33:16 +0000352
Anand Shuklaf94ad682002-09-16 05:26:51 +0000353 //now iterate over BB2, and set its Phi nodes right
Chris Lattner7076ff22002-06-25 16:13:21 +0000354 for(BasicBlock::iterator BB2Inst = BB2->begin(), BBend = BB2->end();
355 BB2Inst != BBend; ++BB2Inst){
Anand Shuklad0f8c882002-02-26 18:59:46 +0000356
Chris Lattner889f6202003-04-23 16:37:45 +0000357 if(PHINode *phiInst=dyn_cast<PHINode>(BB2Inst)){
Anand Shuklad0f8c882002-02-26 18:59:46 +0000358 int bbIndex=phiInst->getBasicBlockIndex(BB1);
Anand Shukla21906892002-06-25 21:14:58 +0000359 assert(bbIndex>=0);
360 phiInst->setIncomingBlock(bbIndex, newBB);
Anand Shukla77dca142002-09-20 16:44:35 +0000361
362 ///check if trigger!=null, then add value corresponding to it too!
363 if(retVec.size()>0){
364 assert(triggerBB && "BasicBlock with trigger should not be null!");
365 Value *vl = phiInst->getIncomingValue((unsigned int)bbIndex);
366 phiInst->addIncoming(vl, triggerBB);
367 }
Anand Shuklad0f8c882002-02-26 18:59:46 +0000368 }
369 }
370}
Anand Shukla21906892002-06-25 21:14:58 +0000371