blob: 95822df002a7b332848610ed345bdf2966e5b84f [file] [log] [blame]
Chris Lattner5c447862002-09-10 17:03:06 +00001//===-- EdgeCode.cpp - generate LLVM instrumentation code -----------------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// 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.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00009//It implements the class EdgeCode: which provides
Anand Shuklad0f8c882002-02-26 18:59:46 +000010//support for inserting "appropriate" instrumentation at
11//designated points in the graph
12//
Misha Brukmanb1c93172005-04-21 23:48:37 +000013//It also has methods to insert initialization code in
Anand Shuklad0f8c882002-02-26 18:59:46 +000014//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"
Misha Brukman63b38bd2004-07-29 17:30:56 +000020#include "llvm/Instructions.h"
Anand Shukla21906892002-06-25 21:14:58 +000021#include "llvm/Module.h"
Anand Shukla21906892002-06-25 21:14:58 +000022
23#define INSERT_LOAD_COUNT
24#define INSERT_STORE
Anand Shuklad0f8c882002-02-26 18:59:46 +000025
Brian Gaeke960707c2003-11-11 22:41:34 +000026
Anand Shuklad0f8c882002-02-26 18:59:46 +000027using std::vector;
28
Brian Gaeke960707c2003-11-11 22:41:34 +000029namespace llvm {
Anand Shukla21906892002-06-25 21:14:58 +000030
Chris Lattner5c447862002-09-10 17:03:06 +000031static void getTriggerCode(Module *M, BasicBlock *BB, int MethNo, Value *pathNo,
Misha Brukmanb1c93172005-04-21 23:48:37 +000032 Value *cnt, Instruction *rInst){
33
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000034 vector<Value *> tmpVec;
35 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
36 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
37 Instruction *Idx = new GetElementPtrInst(cnt, tmpVec, "");//,
38 BB->getInstList().push_back(Idx);
39
Chris Lattnerea277512003-08-31 00:21:05 +000040 const Type *PIntTy = PointerType::get(Type::IntTy);
Misha Brukmanb1c93172005-04-21 23:48:37 +000041 Function *trigMeth = M->getOrInsertFunction("trigger", Type::VoidTy,
Chris Lattnerea277512003-08-31 00:21:05 +000042 Type::IntTy, Type::IntTy,
43 PIntTy, PIntTy, 0);
Anand Shukla21906892002-06-25 21:14:58 +000044 assert(trigMeth && "trigger method could not be inserted!");
Anand Shuklaf94ad682002-09-16 05:26:51 +000045
Anand Shukla21906892002-06-25 21:14:58 +000046 vector<Value *> trargs;
47
Anand Shukla21906892002-06-25 21:14:58 +000048 trargs.push_back(ConstantSInt::get(Type::IntTy,MethNo));
Anand Shukla21906892002-06-25 21:14:58 +000049 trargs.push_back(pathNo);
Anand Shuklaf8c09ee2003-02-14 20:41:53 +000050 trargs.push_back(Idx);
51 trargs.push_back(rInst);
Anand Shuklaf94ad682002-09-16 05:26:51 +000052
Anand Shukla77dca142002-09-20 16:44:35 +000053 Instruction *callInst=new CallInst(trigMeth, trargs, "");//, BB->begin());
54 BB->getInstList().push_back(callInst);
55 //triggerInst = new CallInst(trigMeth, trargs, "");//, InsertPos);
Anand Shukla21906892002-06-25 21:14:58 +000056}
57
58
Anand Shuklad0f8c882002-02-26 18:59:46 +000059//get the code to be inserted on the edge
60//This is determined from cond (1-6)
Misha Brukmanb1c93172005-04-21 23:48:37 +000061void getEdgeCode::getCode(Instruction *rInst, Value *countInst,
Jeff Cohen82639852005-04-23 21:38:35 +000062 Function *M, BasicBlock *BB,
Anand Shukla77dca142002-09-20 16:44:35 +000063 vector<Value *> &retVec){
Misha Brukmanb1c93172005-04-21 23:48:37 +000064
Anand Shukla77dca142002-09-20 16:44:35 +000065 //Instruction *InsertPos = BB->getInstList().begin();
Misha Brukmanb1c93172005-04-21 23:48:37 +000066
Anand Shukla77dca142002-09-20 16:44:35 +000067 //now check for cdIn and cdOut
68 //first put cdOut
69 if(cdOut!=NULL){
70 cdOut->getCode(rInst, countInst, M, BB, retVec);
71 }
Misha Brukmanb1c93172005-04-21 23:48:37 +000072
Anand Shukla77dca142002-09-20 16:44:35 +000073 if(cdIn!=NULL){
74 cdIn->getCode(rInst, countInst, M, BB, retVec);
75 }
76
Anand Shuklad0f8c882002-02-26 18:59:46 +000077 //case: r=k code to be inserted
78 switch(cond){
79 case 1:{
80 Value *val=ConstantSInt::get(Type::IntTy,inc);
Anand Shukla21906892002-06-25 21:14:58 +000081#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +000082 Instruction *stInst=new StoreInst(val, rInst);//, InsertPos);
83 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +000084#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +000085 break;
86 }
87
88 //case: r=0 to be inserted
Anand Shukla77dca142002-09-20 16:44:35 +000089 case 2:{
Anand Shukla21906892002-06-25 21:14:58 +000090#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +000091 Instruction *stInst = new StoreInst(ConstantSInt::getNullValue(Type::IntTy), rInst);//, InsertPos);
92 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +000093#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +000094 break;
Anand Shukla77dca142002-09-20 16:44:35 +000095 }
Misha Brukmanb1c93172005-04-21 23:48:37 +000096
Anand Shuklad0f8c882002-02-26 18:59:46 +000097 //r+=k
98 case 3:{
Anand Shukla77dca142002-09-20 16:44:35 +000099 Instruction *ldInst = new LoadInst(rInst, "ti1");//, InsertPos);
100 BB->getInstList().push_back(ldInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000101 Value *val = ConstantSInt::get(Type::IntTy,inc);
Anand Shukla77dca142002-09-20 16:44:35 +0000102 Instruction *addIn = BinaryOperator::create(Instruction::Add, ldInst, val,
103 "ti2");//, InsertPos);
104 BB->getInstList().push_back(addIn);
Anand Shukla21906892002-06-25 21:14:58 +0000105#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000106 Instruction *stInst = new StoreInst(addIn, rInst);//, InsertPos);
107 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +0000108#endif
Anand Shuklad0f8c882002-02-26 18:59:46 +0000109 break;
110 }
111
112 //count[inc]++
113 case 4:{
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000114 vector<Value *> tmpVec;
115 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
116 tmpVec.push_back(ConstantSInt::get(Type::LongTy, inc));
117 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
118
Misha Brukmanb1c93172005-04-21 23:48:37 +0000119 //Instruction *Idx = new GetElementPtrInst(countInst,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000120 // vector<Value*>(1,ConstantSInt::get(Type::LongTy, inc)),
121 // "");//, InsertPos);
Anand Shukla77dca142002-09-20 16:44:35 +0000122 BB->getInstList().push_back(Idx);
Chris Lattnere49f2992002-08-21 22:11:33 +0000123
Anand Shukla77dca142002-09-20 16:44:35 +0000124 Instruction *ldInst=new LoadInst(Idx, "ti1");//, InsertPos);
125 BB->getInstList().push_back(ldInst);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000126
Chris Lattnere49f2992002-08-21 22:11:33 +0000127 Value *val = ConstantSInt::get(Type::IntTy, 1);
Anand Shukla77dca142002-09-20 16:44:35 +0000128 //Instruction *addIn =
129 Instruction *newCount =
130 BinaryOperator::create(Instruction::Add, ldInst, val,"ti2");
131 BB->getInstList().push_back(newCount);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000132
Chris Lattner5c447862002-09-10 17:03:06 +0000133
134#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000135 //Instruction *stInst=new StoreInst(addIn, Idx, InsertPos);
136 Instruction *stInst=new StoreInst(newCount, Idx);//, InsertPos);
137 BB->getInstList().push_back(stInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000138#endif
Misha Brukmanb1c93172005-04-21 23:48:37 +0000139
Anand Shukla77dca142002-09-20 16:44:35 +0000140 Value *trAddIndex = ConstantSInt::get(Type::IntTy,inc);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000141
Anand Shukla77dca142002-09-20 16:44:35 +0000142 retVec.push_back(newCount);
143 retVec.push_back(trAddIndex);
Anand Shukla21906892002-06-25 21:14:58 +0000144 //insert trigger
Misha Brukmanb1c93172005-04-21 23:48:37 +0000145 //getTriggerCode(M->getParent(), BB, MethNo,
Jeff Cohen82639852005-04-23 21:38:35 +0000146 // ConstantSInt::get(Type::IntTy,inc), newCount, triggerInst);
Anand Shukla21906892002-06-25 21:14:58 +0000147 //end trigger code
148
Anand Shuklad0f8c882002-02-26 18:59:46 +0000149 assert(inc>=0 && "IT MUST BE POSITIVE NOW");
Anand Shuklad0f8c882002-02-26 18:59:46 +0000150 break;
151 }
152
153 //case: count[r+inc]++
154 case 5:{
Misha Brukmanb1c93172005-04-21 23:48:37 +0000155
Anand Shuklad0f8c882002-02-26 18:59:46 +0000156 //ti1=inc+r
Anand Shukla77dca142002-09-20 16:44:35 +0000157 Instruction *ldIndex=new LoadInst(rInst, "ti1");//, InsertPos);
158 BB->getInstList().push_back(ldIndex);
159
Anand Shuklad0f8c882002-02-26 18:59:46 +0000160 Value *val=ConstantSInt::get(Type::IntTy,inc);
161 Instruction *addIndex=BinaryOperator::
Anand Shukla77dca142002-09-20 16:44:35 +0000162 create(Instruction::Add, ldIndex, val,"ti2");//, InsertPos);
163 BB->getInstList().push_back(addIndex);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000164
Anand Shuklaf94ad682002-09-16 05:26:51 +0000165 //now load count[addIndex]
Misha Brukmanb1c93172005-04-21 23:48:37 +0000166 Instruction *castInst=new CastInst(addIndex,
Jeff Cohen82639852005-04-23 21:38:35 +0000167 Type::LongTy,"ctin");//, InsertPos);
Anand Shukla77dca142002-09-20 16:44:35 +0000168 BB->getInstList().push_back(castInst);
Chris Lattnere49f2992002-08-21 22:11:33 +0000169
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000170 vector<Value *> tmpVec;
171 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
172 tmpVec.push_back(castInst);
173 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
Anand Shukla77dca142002-09-20 16:44:35 +0000174 // InsertPos);
175 BB->getInstList().push_back(Idx);
176
177 Instruction *ldInst=new LoadInst(Idx, "ti3");//, InsertPos);
178 BB->getInstList().push_back(ldInst);
179
Anand Shuklad0f8c882002-02-26 18:59:46 +0000180 Value *cons=ConstantSInt::get(Type::IntTy,1);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000181 //count[addIndex]++
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000182 //std::cerr<<"Type ldInst:"<<ldInst->getType()<<"\t cons:"<<cons->getType()<<"\n";
Misha Brukmanb1c93172005-04-21 23:48:37 +0000183 Instruction *newCount = BinaryOperator::create(Instruction::Add, ldInst,
Anand Shukla77dca142002-09-20 16:44:35 +0000184 cons,"");
185 BB->getInstList().push_back(newCount);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000186
Anand Shukla21906892002-06-25 21:14:58 +0000187#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000188 Instruction *stInst = new StoreInst(newCount, Idx);//, InsertPos);
189 BB->getInstList().push_back(stInst);
Anand Shukla21906892002-06-25 21:14:58 +0000190#endif
Chris Lattner5c447862002-09-10 17:03:06 +0000191
Anand Shukla77dca142002-09-20 16:44:35 +0000192 retVec.push_back(newCount);
193 retVec.push_back(addIndex);
Chris Lattner5c447862002-09-10 17:03:06 +0000194 //insert trigger
Anand Shukla77dca142002-09-20 16:44:35 +0000195 //getTriggerCode(M->getParent(), BB, MethNo, addIndex, newCount, triggerInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000196 //end trigger code
197
Anand Shuklad0f8c882002-02-26 18:59:46 +0000198 break;
199 }
200
201 //case: count[r]+
202 case 6:{
203 //ti1=inc+r
Anand Shukla77dca142002-09-20 16:44:35 +0000204 Instruction *ldIndex=new LoadInst(rInst, "ti1");//, InsertPos);
205 BB->getInstList().push_back(ldIndex);
206
Anand Shuklad0f8c882002-02-26 18:59:46 +0000207 //now load count[addIndex]
Anand Shukla77dca142002-09-20 16:44:35 +0000208 Instruction *castInst2=new CastInst(ldIndex, Type::LongTy,"ctin");
209 BB->getInstList().push_back(castInst2);
210
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000211 vector<Value *> tmpVec;
212 tmpVec.push_back(Constant::getNullValue(Type::LongTy));
213 tmpVec.push_back(castInst2);
214 Instruction *Idx = new GetElementPtrInst(countInst, tmpVec, "");//,
215
Misha Brukmanb1c93172005-04-21 23:48:37 +0000216 //Instruction *Idx = new GetElementPtrInst(countInst,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000217 // vector<Value*>(1,castInst2), "");
Misha Brukmanb1c93172005-04-21 23:48:37 +0000218
Anand Shukla77dca142002-09-20 16:44:35 +0000219 BB->getInstList().push_back(Idx);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000220
Anand Shukla77dca142002-09-20 16:44:35 +0000221 Instruction *ldInst=new LoadInst(Idx, "ti2");//, InsertPos);
222 BB->getInstList().push_back(ldInst);
223
Anand Shuklad0f8c882002-02-26 18:59:46 +0000224 Value *cons=ConstantSInt::get(Type::IntTy,1);
225
226 //count[addIndex]++
Anand Shukla77dca142002-09-20 16:44:35 +0000227 Instruction *newCount = BinaryOperator::create(Instruction::Add, ldInst,
228 cons,"ti3");
229 BB->getInstList().push_back(newCount);
Anand Shukla21906892002-06-25 21:14:58 +0000230
Chris Lattner5c447862002-09-10 17:03:06 +0000231#ifdef INSERT_STORE
Anand Shukla77dca142002-09-20 16:44:35 +0000232 Instruction *stInst = new StoreInst(newCount, Idx);//, InsertPos);
233 BB->getInstList().push_back(stInst);
Chris Lattner5c447862002-09-10 17:03:06 +0000234#endif
Anand Shukla77dca142002-09-20 16:44:35 +0000235
236 retVec.push_back(newCount);
237 retVec.push_back(ldIndex);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000238 break;
239 }
Misha Brukmanb1c93172005-04-21 23:48:37 +0000240
Anand Shuklad0f8c882002-02-26 18:59:46 +0000241 }
Anand Shuklad0f8c882002-02-26 18:59:46 +0000242}
243
244
245
246//Insert the initialization code in the top BB
247//this includes initializing r, and count
Misha Brukmanb1c93172005-04-21 23:48:37 +0000248//r is like an accumulator, that
Anand Shuklad0f8c882002-02-26 18:59:46 +0000249//keeps on adding increments as we traverse along a path
250//and at the end of the path, r contains the path
251//number of that path
252//Count is an array, where Count[k] represents
253//the number of executions of path k
Misha Brukmanb1c93172005-04-21 23:48:37 +0000254void insertInTopBB(BasicBlock *front,
Jeff Cohen82639852005-04-23 21:38:35 +0000255 int k,
256 Instruction *rVar, Value *threshold){
Misha Brukmanb1c93172005-04-21 23:48:37 +0000257 //rVar is variable r,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000258 //countVar is count[]
Chris Lattnere49f2992002-08-21 22:11:33 +0000259
260 Value *Int0 = ConstantInt::get(Type::IntTy, 0);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000261
Anand Shuklad0f8c882002-02-26 18:59:46 +0000262 //now push all instructions in front of the BB
Chris Lattner5c447862002-09-10 17:03:06 +0000263 BasicBlock::iterator here=front->begin();
264 front->getInstList().insert(here, rVar);
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000265 //front->getInstList().insert(here,countVar);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000266
Anand Shuklad0f8c882002-02-26 18:59:46 +0000267 //Initialize Count[...] with 0
Anand Shukla21906892002-06-25 21:14:58 +0000268
Anand Shukla77dca142002-09-20 16:44:35 +0000269 //for (int i=0;i<k; i++){
270 //Value *GEP2 = new GetElementPtrInst(countVar,
271 // vector<Value *>(1,ConstantSInt::get(Type::LongTy, i)),
272 // "", here);
273 //new StoreInst(Int0, GEP2, here);
274 //}
Anand Shukla21906892002-06-25 21:14:58 +0000275
Chris Lattnerb9d9e0f2002-09-11 01:21:29 +0000276 //store uint 0, uint *%R
277 new StoreInst(Int0, rVar, here);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000278}
279
280
281//insert a basic block with appropriate code
282//along a given edge
283void insertBB(Edge ed,
Jeff Cohen82639852005-04-23 21:38:35 +0000284 getEdgeCode *edgeCode,
285 Instruction *rInst,
286 Value *countInst,
287 int numPaths, int Methno, Value *threshold){
Anand Shuklaf94ad682002-09-16 05:26:51 +0000288
Anand Shuklad0f8c882002-02-26 18:59:46 +0000289 BasicBlock* BB1=ed.getFirst()->getElement();
290 BasicBlock* BB2=ed.getSecond()->getElement();
Misha Brukmanb1c93172005-04-21 23:48:37 +0000291
Anand Shukla21906892002-06-25 21:14:58 +0000292#ifdef DEBUG_PATH_PROFILES
293 //debugging info
294 cerr<<"Edges with codes ######################\n";
295 cerr<<BB1->getName()<<"->"<<BB2->getName()<<"\n";
296 cerr<<"########################\n";
297#endif
Misha Brukmanb1c93172005-04-21 23:48:37 +0000298
299 //We need to insert a BB between BB1 and BB2
Anand Shuklad0f8c882002-02-26 18:59:46 +0000300 TerminatorInst *TI=BB1->getTerminator();
Anand Shuklaf94ad682002-09-16 05:26:51 +0000301 BasicBlock *newBB=new BasicBlock("counter", BB1->getParent());
Anand Shuklad0f8c882002-02-26 18:59:46 +0000302
Anand Shukla77dca142002-09-20 16:44:35 +0000303 //get code for the new BB
304 vector<Value *> retVec;
305
306 edgeCode->getCode(rInst, countInst, BB1->getParent(), newBB, retVec);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000307
Anand Shuklaff72c792002-07-08 19:36:39 +0000308 BranchInst *BI = cast<BranchInst>(TI);
309
Anand Shukla77dca142002-09-20 16:44:35 +0000310 //Is terminator a branch instruction?
311 //then we need to change branch destinations to include new BB
312
Anand Shuklad0f8c882002-02-26 18:59:46 +0000313 if(BI->isUnconditional()){
314 BI->setUnconditionalDest(newBB);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000315 }
316 else{
Anand Shukla21906892002-06-25 21:14:58 +0000317 if(BI->getSuccessor(0)==BB2)
318 BI->setSuccessor(0, newBB);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000319
Anand Shukla21906892002-06-25 21:14:58 +0000320 if(BI->getSuccessor(1)==BB2)
321 BI->setSuccessor(1, newBB);
Anand Shukla77dca142002-09-20 16:44:35 +0000322 }
Anand Shukla21906892002-06-25 21:14:58 +0000323
Anand Shukla77dca142002-09-20 16:44:35 +0000324 BasicBlock *triggerBB = NULL;
325 if(retVec.size()>0){
326 triggerBB = new BasicBlock("trigger", BB1->getParent());
Misha Brukmanb1c93172005-04-21 23:48:37 +0000327 getTriggerCode(BB1->getParent()->getParent(), triggerBB, Methno,
Anand Shuklaf8c09ee2003-02-14 20:41:53 +0000328 retVec[1], countInst, rInst);//retVec[0]);
Anand Shukla77dca142002-09-20 16:44:35 +0000329
330 //Instruction *castInst = new CastInst(retVec[0], Type::IntTy, "");
331 Instruction *etr = new LoadInst(threshold, "threshold");
Misha Brukmanb1c93172005-04-21 23:48:37 +0000332
333 //std::cerr<<"type1: "<<etr->getType()<<" type2: "<<retVec[0]->getType()<<"\n";
334 Instruction *cmpInst = new SetCondInst(Instruction::SetLE, etr,
Anand Shukla77dca142002-09-20 16:44:35 +0000335 retVec[0], "");
336 Instruction *newBI2 = new BranchInst(triggerBB, BB2, cmpInst);
337 //newBB->getInstList().push_back(castInst);
338 newBB->getInstList().push_back(etr);
339 newBB->getInstList().push_back(cmpInst);
340 newBB->getInstList().push_back(newBI2);
Misha Brukmanb1c93172005-04-21 23:48:37 +0000341
Anand Shukla77dca142002-09-20 16:44:35 +0000342 //triggerBB->getInstList().push_back(triggerInst);
Chris Lattner2af51722003-11-20 18:25:24 +0000343 new BranchInst(BB2, 0, 0, triggerBB);
Anand Shukla77dca142002-09-20 16:44:35 +0000344 }
345 else{
Chris Lattner2af51722003-11-20 18:25:24 +0000346 new BranchInst(BB2, 0, 0, newBB);
Anand Shuklad0f8c882002-02-26 18:59:46 +0000347 }
Chris Lattner154cf642002-09-14 19:33:16 +0000348
Anand Shuklaf94ad682002-09-16 05:26:51 +0000349 //now iterate over BB2, and set its Phi nodes right
Misha Brukmanb1c93172005-04-21 23:48:37 +0000350 for(BasicBlock::iterator BB2Inst = BB2->begin(), BBend = BB2->end();
Chris Lattner7076ff22002-06-25 16:13:21 +0000351 BB2Inst != BBend; ++BB2Inst){
Misha Brukmanb1c93172005-04-21 23:48:37 +0000352
Chris Lattner889f6202003-04-23 16:37:45 +0000353 if(PHINode *phiInst=dyn_cast<PHINode>(BB2Inst)){
Anand Shuklad0f8c882002-02-26 18:59:46 +0000354 int bbIndex=phiInst->getBasicBlockIndex(BB1);
Anand Shukla21906892002-06-25 21:14:58 +0000355 assert(bbIndex>=0);
356 phiInst->setIncomingBlock(bbIndex, newBB);
Anand Shukla77dca142002-09-20 16:44:35 +0000357
358 ///check if trigger!=null, then add value corresponding to it too!
359 if(retVec.size()>0){
360 assert(triggerBB && "BasicBlock with trigger should not be null!");
361 Value *vl = phiInst->getIncomingValue((unsigned int)bbIndex);
362 phiInst->addIncoming(vl, triggerBB);
363 }
Anand Shuklad0f8c882002-02-26 18:59:46 +0000364 }
365 }
366}
Anand Shukla21906892002-06-25 21:14:58 +0000367
Brian Gaeke960707c2003-11-11 22:41:34 +0000368} // End llvm namespace