blob: 07111393e2757a638fd52af0028e4bdec61380f0 [file] [log] [blame]
Tanya Lattnere2d74c12003-05-31 20:01:37 +00001//===- CloneTrace.cpp - Clone a trace -------------------------------------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Tanya Lattner71e56e22003-05-30 15:50:18 +00009//
Chris Lattnera6578ef32004-02-04 01:19:43 +000010// This file implements the CloneTrace interface, which is used when writing
11// runtime optimizations. It takes a vector of basic blocks clones the basic
12// blocks, removes internal phi nodes, adds it to the same function as the
13// original (although there is no jump to it) and returns the new vector of
14// basic blocks.
Tanya Lattner71e56e22003-05-30 15:50:18 +000015//
16//===----------------------------------------------------------------------===//
17
Brian Gaeke72185762004-05-19 09:08:14 +000018#include "llvm/Analysis/Trace.h"
Tanya Lattnere2d74c12003-05-31 20:01:37 +000019#include "llvm/Transforms/Utils/Cloning.h"
Misha Brukman63b38bd2004-07-29 17:30:56 +000020#include "llvm/Instructions.h"
Tanya Lattner71e56e22003-05-30 15:50:18 +000021#include "llvm/Function.h"
Anton Korobeynikov98638ae2007-11-09 12:27:04 +000022#include "llvm/Transforms/Utils/ValueMapper.h"
Chris Lattnerdf3c3422004-01-09 06:12:26 +000023using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000024
Tanya Lattner71e56e22003-05-30 15:50:18 +000025//Clones the trace (a vector of basic blocks)
Chris Lattnerdf3c3422004-01-09 06:12:26 +000026std::vector<BasicBlock *>
27llvm::CloneTrace(const std::vector<BasicBlock*> &origTrace) {
Tanya Lattner71e56e22003-05-30 15:50:18 +000028 std::vector<BasicBlock *> clonedTrace;
Chris Lattner1bfc7ab2007-02-03 00:08:31 +000029 DenseMap<const Value*, Value*> ValueMap;
Misha Brukmanb1c93172005-04-21 23:48:37 +000030
Tanya Lattner71e56e22003-05-30 15:50:18 +000031 //First, loop over all the Basic Blocks in the trace and copy
32 //them using CloneBasicBlock. Also fix the phi nodes during
33 //this loop. To fix the phi nodes, we delete incoming branches
34 //that are not in the trace.
Anton Korobeynikov550b98e2007-11-09 12:34:20 +000035 for (std::vector<BasicBlock *>::const_iterator T = origTrace.begin(),
Jeff Cohen82639852005-04-23 21:38:35 +000036 End = origTrace.end(); T != End; ++T) {
Tanya Lattner71e56e22003-05-30 15:50:18 +000037
38 //Clone Basic Block
Chris Lattnera6578ef32004-02-04 01:19:43 +000039 BasicBlock *clonedBlock =
40 CloneBasicBlock(*T, ValueMap, ".tr", (*T)->getParent());
Misha Brukmanb1c93172005-04-21 23:48:37 +000041
Tanya Lattner71e56e22003-05-30 15:50:18 +000042 //Add it to our new trace
43 clonedTrace.push_back(clonedBlock);
44
45 //Add this new mapping to our Value Map
46 ValueMap[*T] = clonedBlock;
47
Tanya Lattner71e56e22003-05-30 15:50:18 +000048 //Loop over the phi instructions and delete operands
49 //that are from blocks not in the trace
50 //only do this if we are NOT the first block
Anton Korobeynikov550b98e2007-11-09 12:34:20 +000051 if (T != origTrace.begin()) {
Tanya Lattner71e56e22003-05-30 15:50:18 +000052 for (BasicBlock::iterator I = clonedBlock->begin();
Reid Spencer66149462004-09-15 17:06:42 +000053 isa<PHINode>(I); ++I) {
54 PHINode *PN = cast<PHINode>(I);
55 //get incoming value for the previous BB
56 Value *V = PN->getIncomingValueForBlock(*(T-1));
57 assert(V && "No incoming value from a BasicBlock in our trace!");
Misha Brukmanb1c93172005-04-21 23:48:37 +000058
Reid Spencer66149462004-09-15 17:06:42 +000059 //remap our phi node to point to incoming value
60 ValueMap[*&I] = V;
Misha Brukmanb1c93172005-04-21 23:48:37 +000061
Reid Spencer66149462004-09-15 17:06:42 +000062 //remove phi node
63 clonedBlock->getInstList().erase(PN);
Tanya Lattner71e56e22003-05-30 15:50:18 +000064 }
65 }
66 }
67
68 //Second loop to do the remapping
Anton Korobeynikov550b98e2007-11-09 12:34:20 +000069 for (std::vector<BasicBlock *>::const_iterator BB = clonedTrace.begin(),
Jeff Cohen82639852005-04-23 21:38:35 +000070 BE = clonedTrace.end(); BB != BE; ++BB) {
Anton Korobeynikov550b98e2007-11-09 12:34:20 +000071 for (BasicBlock::iterator I = (*BB)->begin(); I != (*BB)->end(); ++I) {
Tanya Lattner71e56e22003-05-30 15:50:18 +000072 //Loop over all the operands of the instruction
Anton Korobeynikov550b98e2007-11-09 12:34:20 +000073 for (unsigned op=0, E = I->getNumOperands(); op != E; ++op) {
74 const Value *Op = I->getOperand(op);
Tanya Lattner71e56e22003-05-30 15:50:18 +000075
Anton Korobeynikov550b98e2007-11-09 12:34:20 +000076 //Get it out of the value map
77 Value *V = ValueMap[Op];
Jeff Cohen82639852005-04-23 21:38:35 +000078
Anton Korobeynikov550b98e2007-11-09 12:34:20 +000079 //If not in the value map, then its outside our trace so ignore
80 if (V != 0)
81 I->setOperand(op,V);
Tanya Lattner71e56e22003-05-30 15:50:18 +000082 }
83 }
84 }
Misha Brukmanb1c93172005-04-21 23:48:37 +000085
Tanya Lattner71e56e22003-05-30 15:50:18 +000086 //return new vector of basic blocks
87 return clonedTrace;
88}
Brian Gaeke72185762004-05-19 09:08:14 +000089
90/// CloneTraceInto - Clone T into NewFunc. Original<->clone mapping is
91/// saved in ValueMap.
92///
93void llvm::CloneTraceInto(Function *NewFunc, Trace &T,
Chris Lattner1bfc7ab2007-02-03 00:08:31 +000094 DenseMap<const Value*, Value*> &ValueMap,
Brian Gaeke72185762004-05-19 09:08:14 +000095 const char *NameSuffix) {
96 assert(NameSuffix && "NameSuffix cannot be null!");
97
98 // Loop over all of the basic blocks in the trace, cloning them as
99 // appropriate.
100 //
101 for (Trace::const_iterator BI = T.begin(), BE = T.end(); BI != BE; ++BI) {
102 const BasicBlock *BB = *BI;
103
104 // Create a new basic block and copy instructions into it!
105 BasicBlock *CBB = CloneBasicBlock(BB, ValueMap, NameSuffix, NewFunc);
106 ValueMap[BB] = CBB; // Add basic block mapping.
107 }
108
109 // Loop over all of the instructions in the new function, fixing up operand
110 // references as we go. This uses ValueMap to do all the hard work.
111 //
112 for (Function::iterator BB =
113 cast<BasicBlock>(ValueMap[T.getEntryBasicBlock()]),
114 BE = NewFunc->end(); BB != BE; ++BB)
115 // Loop over all instructions, fixing each one as we find it...
116 for (BasicBlock::iterator II = BB->begin(); II != BB->end(); ++II)
117 RemapInstruction(II, ValueMap);
118}
119