Misha Brukman | 6a90f82 | 2004-08-02 14:02:21 +0000 | [diff] [blame] | 1 | //===-- MSchedGraph.cpp - Scheduling Graph ----------------------*- C++ -*-===// |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 2 | // |
| 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 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // A graph class for dependencies |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | #define DEBUG_TYPE "ModuloSched" |
| 14 | |
| 15 | #include "MSchedGraph.h" |
Misha Brukman | 7da1e6e | 2004-10-10 23:34:50 +0000 | [diff] [blame] | 16 | #include "../SparcV9RegisterInfo.h" |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 17 | #include "../MachineCodeForInstruction.h" |
| 18 | #include "llvm/BasicBlock.h" |
| 19 | #include "llvm/Instructions.h" |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineBasicBlock.h" |
| 21 | #include "llvm/Target/TargetInstrInfo.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 22 | #include "llvm/Support/Debug.h" |
Misha Brukman | 6a90f82 | 2004-08-02 14:02:21 +0000 | [diff] [blame] | 23 | #include <cstdlib> |
Alkis Evlogimenos | c72c617 | 2004-09-28 14:42:44 +0000 | [diff] [blame] | 24 | #include <algorithm> |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 25 | using namespace llvm; |
| 26 | |
| 27 | MSchedGraphNode::MSchedGraphNode(const MachineInstr* inst, |
Tanya Lattner | 28e5eab | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 28 | MSchedGraph *graph, unsigned idx, |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 29 | unsigned late, bool isBranch) |
Tanya Lattner | 28e5eab | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 30 | : Inst(inst), Parent(graph), index(idx), latency(late), isBranchInstr(isBranch) { |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 31 | |
| 32 | //Add to the graph |
| 33 | graph->addNode(inst, this); |
| 34 | } |
| 35 | |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 36 | MSchedGraphNode::MSchedGraphNode(const MSchedGraphNode &N) |
| 37 | : Predecessors(N.Predecessors), Successors(N.Successors) { |
| 38 | |
| 39 | Inst = N.Inst; |
| 40 | Parent = N.Parent; |
| 41 | index = N.index; |
| 42 | latency = N.latency; |
| 43 | isBranchInstr = N.isBranchInstr; |
| 44 | |
| 45 | } |
| 46 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 47 | void MSchedGraphNode::print(std::ostream &os) const { |
Tanya Lattner | 73e3e2e | 2004-05-08 16:12:10 +0000 | [diff] [blame] | 48 | os << "MSchedGraphNode: Inst=" << *Inst << ", latency= " << latency << "\n"; |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 49 | } |
| 50 | |
| 51 | MSchedGraphEdge MSchedGraphNode::getInEdge(MSchedGraphNode *pred) { |
| 52 | //Loop over all the successors of our predecessor |
| 53 | //return the edge the corresponds to this in edge |
Misha Brukman | 6a90f82 | 2004-08-02 14:02:21 +0000 | [diff] [blame] | 54 | for (MSchedGraphNode::succ_iterator I = pred->succ_begin(), |
| 55 | E = pred->succ_end(); I != E; ++I) { |
| 56 | if (*I == this) |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 57 | return I.getEdge(); |
| 58 | } |
| 59 | assert(0 && "Should have found edge between this node and its predecessor!"); |
Misha Brukman | 6a90f82 | 2004-08-02 14:02:21 +0000 | [diff] [blame] | 60 | abort(); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 61 | } |
| 62 | |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 63 | unsigned MSchedGraphNode::getIteDiff(MSchedGraphNode *succ) { |
| 64 | for(std::vector<MSchedGraphEdge>::iterator I = Successors.begin(), E = Successors.end(); |
| 65 | I != E; ++I) { |
| 66 | if(I->getDest() == succ) |
| 67 | return I->getIteDiff(); |
| 68 | } |
| 69 | return 0; |
| 70 | } |
| 71 | |
| 72 | |
Tanya Lattner | 73e3e2e | 2004-05-08 16:12:10 +0000 | [diff] [blame] | 73 | unsigned MSchedGraphNode::getInEdgeNum(MSchedGraphNode *pred) { |
| 74 | //Loop over all the successors of our predecessor |
| 75 | //return the edge the corresponds to this in edge |
| 76 | int count = 0; |
| 77 | for(MSchedGraphNode::succ_iterator I = pred->succ_begin(), E = pred->succ_end(); |
| 78 | I != E; ++I) { |
| 79 | if(*I == this) |
| 80 | return count; |
| 81 | count++; |
| 82 | } |
| 83 | assert(0 && "Should have found edge between this node and its predecessor!"); |
| 84 | abort(); |
| 85 | } |
| 86 | bool MSchedGraphNode::isSuccessor(MSchedGraphNode *succ) { |
| 87 | for(succ_iterator I = succ_begin(), E = succ_end(); I != E; ++I) |
| 88 | if(*I == succ) |
| 89 | return true; |
| 90 | return false; |
| 91 | } |
| 92 | |
| 93 | |
| 94 | bool MSchedGraphNode::isPredecessor(MSchedGraphNode *pred) { |
Alkis Evlogimenos | c72c617 | 2004-09-28 14:42:44 +0000 | [diff] [blame] | 95 | if(std::find( Predecessors.begin(), Predecessors.end(), pred) != Predecessors.end()) |
Tanya Lattner | 73e3e2e | 2004-05-08 16:12:10 +0000 | [diff] [blame] | 96 | return true; |
| 97 | else |
| 98 | return false; |
| 99 | } |
| 100 | |
| 101 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 102 | void MSchedGraph::addNode(const MachineInstr *MI, |
| 103 | MSchedGraphNode *node) { |
| 104 | |
| 105 | //Make sure node does not already exist |
| 106 | assert(GraphMap.find(MI) == GraphMap.end() |
| 107 | && "New MSchedGraphNode already exists for this instruction"); |
| 108 | |
| 109 | GraphMap[MI] = node; |
| 110 | } |
| 111 | |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 112 | void MSchedGraph::deleteNode(MSchedGraphNode *node) { |
| 113 | |
| 114 | //Delete the edge to this node from all predecessors |
Tanya Lattner | db1680b | 2005-02-16 04:00:59 +0000 | [diff] [blame] | 115 | while(node->pred_size() > 0) { |
| 116 | //DEBUG(std::cerr << "Delete edge from: " << **P << " to " << *node << "\n"); |
| 117 | MSchedGraphNode *pred = *(node->pred_begin()); |
| 118 | pred->deleteSuccessor(node); |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 119 | } |
Tanya Lattner | db1680b | 2005-02-16 04:00:59 +0000 | [diff] [blame] | 120 | |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 121 | //Remove this node from the graph |
| 122 | GraphMap.erase(node->getInst()); |
| 123 | |
| 124 | } |
| 125 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 126 | MSchedGraph::MSchedGraph(const MachineBasicBlock *bb, const TargetMachine &targ) |
| 127 | : BB(bb), Target(targ) { |
| 128 | |
| 129 | //Make sure BB is not null, |
| 130 | assert(BB != NULL && "Basic Block is null"); |
| 131 | |
Tanya Lattner | 420025b | 2004-10-10 22:44:35 +0000 | [diff] [blame] | 132 | //DEBUG(std::cerr << "Constructing graph for " << bb << "\n"); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 133 | |
| 134 | //Create nodes and edges for this BB |
| 135 | buildNodesAndEdges(); |
| 136 | } |
| 137 | |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 138 | MSchedGraph::MSchedGraph(const MSchedGraph &G, std::map<MSchedGraphNode*, MSchedGraphNode*> &newNodes) |
| 139 | : BB(G.BB), Target(G.Target) { |
| 140 | |
| 141 | std::map<MSchedGraphNode*, MSchedGraphNode*> oldToNew; |
| 142 | //Copy all nodes |
| 143 | for(MSchedGraph::const_iterator N = G.GraphMap.begin(), NE = G.GraphMap.end(); |
| 144 | N != NE; ++N) { |
| 145 | MSchedGraphNode *newNode = new MSchedGraphNode(*(N->second)); |
| 146 | oldToNew[&*(N->second)] = newNode; |
| 147 | newNodes[newNode] = &*(N->second); |
| 148 | GraphMap[&*(N->first)] = newNode; |
| 149 | } |
| 150 | |
| 151 | //Loop over nodes and update edges to point to new nodes |
| 152 | for(MSchedGraph::iterator N = GraphMap.begin(), NE = GraphMap.end(); N != NE; ++N) { |
| 153 | |
| 154 | //Get the node we are dealing with |
| 155 | MSchedGraphNode *node = &*(N->second); |
| 156 | |
| 157 | node->setParent(this); |
| 158 | |
| 159 | //Loop over nodes successors and predecessors and update to the new nodes |
| 160 | for(unsigned i = 0; i < node->pred_size(); ++i) { |
| 161 | node->setPredecessor(i, oldToNew[node->getPredecessor(i)]); |
| 162 | } |
| 163 | |
| 164 | for(unsigned i = 0; i < node->succ_size(); ++i) { |
| 165 | MSchedGraphEdge *edge = node->getSuccessor(i); |
| 166 | MSchedGraphNode *oldDest = edge->getDest(); |
| 167 | edge->setDest(oldToNew[oldDest]); |
| 168 | } |
| 169 | } |
| 170 | } |
| 171 | |
| 172 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 173 | MSchedGraph::~MSchedGraph () { |
| 174 | for(MSchedGraph::iterator I = GraphMap.begin(), E = GraphMap.end(); I != E; ++I) |
| 175 | delete I->second; |
| 176 | } |
| 177 | |
| 178 | void MSchedGraph::buildNodesAndEdges() { |
| 179 | |
| 180 | //Get Machine target information for calculating latency |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 181 | const TargetInstrInfo *MTI = Target.getInstrInfo(); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 182 | |
| 183 | std::vector<MSchedGraphNode*> memInstructions; |
| 184 | std::map<int, std::vector<OpIndexNodePair> > regNumtoNodeMap; |
| 185 | std::map<const Value*, std::vector<OpIndexNodePair> > valuetoNodeMap; |
| 186 | |
| 187 | //Save PHI instructions to deal with later |
| 188 | std::vector<const MachineInstr*> phiInstrs; |
Tanya Lattner | 28e5eab | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 189 | unsigned index = 0; |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 190 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 191 | //Loop over instructions in MBB and add nodes and edges |
| 192 | for (MachineBasicBlock::const_iterator MI = BB->begin(), e = BB->end(); MI != e; ++MI) { |
| 193 | //Get each instruction of machine basic block, get the delay |
| 194 | //using the op code, create a new node for it, and add to the |
| 195 | //graph. |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 196 | |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 197 | MachineOpCode opCode = MI->getOpcode(); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 198 | int delay; |
| 199 | |
Tanya Lattner | 73e3e2e | 2004-05-08 16:12:10 +0000 | [diff] [blame] | 200 | #if 0 // FIXME: LOOK INTO THIS |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 201 | //Check if subsequent instructions can be issued before |
| 202 | //the result is ready, if so use min delay. |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 203 | if(MTI->hasResultInterlock(MIopCode)) |
| 204 | delay = MTI->minLatency(MIopCode); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 205 | else |
Tanya Lattner | 73e3e2e | 2004-05-08 16:12:10 +0000 | [diff] [blame] | 206 | #endif |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 207 | //Get delay |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 208 | delay = MTI->maxLatency(opCode); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 209 | |
| 210 | //Create new node for this machine instruction and add to the graph. |
| 211 | //Create only if not a nop |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 212 | if(MTI->isNop(opCode)) |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 213 | continue; |
| 214 | |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 215 | //Sparc BE does not use PHI opcode, so assert on this case |
| 216 | assert(opCode != TargetInstrInfo::PHI && "Did not expect PHI opcode"); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 217 | |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 218 | bool isBranch = false; |
| 219 | |
| 220 | //We want to flag the branch node to treat it special |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 221 | if(MTI->isBranch(opCode)) |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 222 | isBranch = true; |
| 223 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 224 | //Node is created and added to the graph automatically |
Tanya Lattner | 28e5eab | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 225 | MSchedGraphNode *node = new MSchedGraphNode(MI, this, index, delay, isBranch); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 226 | |
| 227 | DEBUG(std::cerr << "Created Node: " << *node << "\n"); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 228 | |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 229 | //Check OpCode to keep track of memory operations to add memory dependencies later. |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 230 | if(MTI->isLoad(opCode) || MTI->isStore(opCode)) |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 231 | memInstructions.push_back(node); |
| 232 | |
| 233 | //Loop over all operands, and put them into the register number to |
| 234 | //graph node map for determining dependencies |
| 235 | //If an operands is a use/def, we have an anti dependence to itself |
| 236 | for(unsigned i=0; i < MI->getNumOperands(); ++i) { |
| 237 | //Get Operand |
| 238 | const MachineOperand &mOp = MI->getOperand(i); |
| 239 | |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 240 | //Check if it has an allocated register |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 241 | if(mOp.hasAllocatedReg()) { |
| 242 | int regNum = mOp.getReg(); |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 243 | |
| 244 | if(regNum != SparcV9::g0) { |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 245 | //Put into our map |
| 246 | regNumtoNodeMap[regNum].push_back(std::make_pair(i, node)); |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 247 | } |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 248 | continue; |
| 249 | } |
| 250 | |
| 251 | |
| 252 | //Add virtual registers dependencies |
| 253 | //Check if any exist in the value map already and create dependencies |
| 254 | //between them. |
| 255 | if(mOp.getType() == MachineOperand::MO_VirtualRegister || mOp.getType() == MachineOperand::MO_CCRegister) { |
| 256 | |
| 257 | //Make sure virtual register value is not null |
| 258 | assert((mOp.getVRegValue() != NULL) && "Null value is defined"); |
| 259 | |
| 260 | //Check if this is a read operation in a phi node, if so DO NOT PROCESS |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 261 | if(mOp.isUse() && (opCode == TargetInstrInfo::PHI)) { |
| 262 | DEBUG(std::cerr << "Read Operation in a PHI node\n"); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 263 | continue; |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 264 | } |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 265 | |
| 266 | |
| 267 | if (const Value* srcI = mOp.getVRegValue()) { |
| 268 | |
| 269 | //Find value in the map |
| 270 | std::map<const Value*, std::vector<OpIndexNodePair> >::iterator V |
| 271 | = valuetoNodeMap.find(srcI); |
| 272 | |
| 273 | //If there is something in the map already, add edges from |
| 274 | //those instructions |
| 275 | //to this one we are processing |
| 276 | if(V != valuetoNodeMap.end()) { |
| 277 | addValueEdges(V->second, node, mOp.isUse(), mOp.isDef()); |
| 278 | |
| 279 | //Add to value map |
| 280 | V->second.push_back(std::make_pair(i,node)); |
| 281 | } |
| 282 | //Otherwise put it in the map |
| 283 | else |
| 284 | //Put into value map |
| 285 | valuetoNodeMap[mOp.getVRegValue()].push_back(std::make_pair(i, node)); |
| 286 | } |
| 287 | } |
| 288 | } |
Tanya Lattner | 28e5eab | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 289 | ++index; |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 290 | } |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 291 | |
| 292 | //Loop over LLVM BB, examine phi instructions, and add them to our phiInstr list to process |
| 293 | const BasicBlock *llvm_bb = BB->getBasicBlock(); |
| 294 | for(BasicBlock::const_iterator I = llvm_bb->begin(), E = llvm_bb->end(); I != E; ++I) { |
| 295 | if(const PHINode *PN = dyn_cast<PHINode>(I)) { |
| 296 | MachineCodeForInstruction & tempMvec = MachineCodeForInstruction::get(PN); |
| 297 | for (unsigned j = 0; j < tempMvec.size(); j++) { |
| 298 | DEBUG(std::cerr << "Inserting phi instr into map: " << *tempMvec[j] << "\n"); |
| 299 | phiInstrs.push_back((MachineInstr*) tempMvec[j]); |
| 300 | } |
| 301 | } |
| 302 | |
| 303 | } |
| 304 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 305 | addMemEdges(memInstructions); |
| 306 | addMachRegEdges(regNumtoNodeMap); |
| 307 | |
| 308 | //Finally deal with PHI Nodes and Value* |
| 309 | for(std::vector<const MachineInstr*>::iterator I = phiInstrs.begin(), E = phiInstrs.end(); I != E; ++I) { |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 310 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 311 | //Get Node for this instruction |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 312 | std::map<const MachineInstr*, MSchedGraphNode*>::iterator X; |
| 313 | X = find(*I); |
| 314 | |
| 315 | if(X == GraphMap.end()) |
| 316 | continue; |
| 317 | |
| 318 | MSchedGraphNode *node = X->second; |
| 319 | |
| 320 | DEBUG(std::cerr << "Adding ite diff edges for node: " << *node << "\n"); |
| 321 | |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 322 | //Loop over operands for this instruction and add value edges |
| 323 | for(unsigned i=0; i < (*I)->getNumOperands(); ++i) { |
| 324 | //Get Operand |
| 325 | const MachineOperand &mOp = (*I)->getOperand(i); |
| 326 | if((mOp.getType() == MachineOperand::MO_VirtualRegister || mOp.getType() == MachineOperand::MO_CCRegister) && mOp.isUse()) { |
| 327 | //find the value in the map |
| 328 | if (const Value* srcI = mOp.getVRegValue()) { |
| 329 | |
| 330 | //Find value in the map |
| 331 | std::map<const Value*, std::vector<OpIndexNodePair> >::iterator V |
| 332 | = valuetoNodeMap.find(srcI); |
| 333 | |
| 334 | //If there is something in the map already, add edges from |
| 335 | //those instructions |
| 336 | //to this one we are processing |
| 337 | if(V != valuetoNodeMap.end()) { |
| 338 | addValueEdges(V->second, node, mOp.isUse(), mOp.isDef(), 1); |
| 339 | } |
| 340 | } |
| 341 | } |
| 342 | } |
| 343 | } |
| 344 | } |
| 345 | |
| 346 | void MSchedGraph::addValueEdges(std::vector<OpIndexNodePair> &NodesInMap, |
| 347 | MSchedGraphNode *destNode, bool nodeIsUse, |
| 348 | bool nodeIsDef, int diff) { |
| 349 | |
| 350 | for(std::vector<OpIndexNodePair>::iterator I = NodesInMap.begin(), |
| 351 | E = NodesInMap.end(); I != E; ++I) { |
| 352 | |
| 353 | //Get node in vectors machine operand that is the same value as node |
| 354 | MSchedGraphNode *srcNode = I->second; |
| 355 | MachineOperand mOp = srcNode->getInst()->getOperand(I->first); |
| 356 | |
| 357 | //Node is a Def, so add output dep. |
| 358 | if(nodeIsDef) { |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 359 | if(mOp.isUse()) { |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 360 | srcNode->addOutEdge(destNode, MSchedGraphEdge::ValueDep, |
| 361 | MSchedGraphEdge::AntiDep, diff); |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 362 | } |
| 363 | if(mOp.isDef()) { |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 364 | srcNode->addOutEdge(destNode, MSchedGraphEdge::ValueDep, |
| 365 | MSchedGraphEdge::OutputDep, diff); |
Tanya Lattner | db40cf1 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 366 | } |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 367 | } |
| 368 | if(nodeIsUse) { |
| 369 | if(mOp.isDef()) |
| 370 | srcNode->addOutEdge(destNode, MSchedGraphEdge::ValueDep, |
| 371 | MSchedGraphEdge::TrueDep, diff); |
| 372 | } |
| 373 | } |
| 374 | } |
| 375 | |
| 376 | |
| 377 | void MSchedGraph::addMachRegEdges(std::map<int, std::vector<OpIndexNodePair> >& regNumtoNodeMap) { |
| 378 | //Loop over all machine registers in the map, and add dependencies |
| 379 | //between the instructions that use it |
| 380 | typedef std::map<int, std::vector<OpIndexNodePair> > regNodeMap; |
| 381 | for(regNodeMap::iterator I = regNumtoNodeMap.begin(); I != regNumtoNodeMap.end(); ++I) { |
| 382 | //Get the register number |
| 383 | int regNum = (*I).first; |
| 384 | |
| 385 | //Get Vector of nodes that use this register |
| 386 | std::vector<OpIndexNodePair> Nodes = (*I).second; |
| 387 | |
| 388 | //Loop over nodes and determine the dependence between the other |
| 389 | //nodes in the vector |
| 390 | for(unsigned i =0; i < Nodes.size(); ++i) { |
| 391 | |
| 392 | //Get src node operator index that uses this machine register |
| 393 | int srcOpIndex = Nodes[i].first; |
| 394 | |
| 395 | //Get the actual src Node |
| 396 | MSchedGraphNode *srcNode = Nodes[i].second; |
| 397 | |
| 398 | //Get Operand |
| 399 | const MachineOperand &srcMOp = srcNode->getInst()->getOperand(srcOpIndex); |
| 400 | |
| 401 | bool srcIsUseandDef = srcMOp.isDef() && srcMOp.isUse(); |
| 402 | bool srcIsUse = srcMOp.isUse() && !srcMOp.isDef(); |
| 403 | |
| 404 | |
| 405 | //Look at all instructions after this in execution order |
| 406 | for(unsigned j=i+1; j < Nodes.size(); ++j) { |
| 407 | |
| 408 | //Sink node is a write |
| 409 | if(Nodes[j].second->getInst()->getOperand(Nodes[j].first).isDef()) { |
| 410 | //Src only uses the register (read) |
| 411 | if(srcIsUse) |
| 412 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
| 413 | MSchedGraphEdge::AntiDep); |
| 414 | |
| 415 | else if(srcIsUseandDef) { |
| 416 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
| 417 | MSchedGraphEdge::AntiDep); |
| 418 | |
| 419 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
| 420 | MSchedGraphEdge::OutputDep); |
| 421 | } |
| 422 | else |
| 423 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
| 424 | MSchedGraphEdge::OutputDep); |
| 425 | } |
| 426 | //Dest node is a read |
| 427 | else { |
| 428 | if(!srcIsUse || srcIsUseandDef) |
| 429 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
| 430 | MSchedGraphEdge::TrueDep); |
| 431 | } |
| 432 | |
| 433 | } |
| 434 | |
| 435 | //Look at all the instructions before this one since machine registers |
| 436 | //could live across iterations. |
| 437 | for(unsigned j = 0; j < i; ++j) { |
| 438 | //Sink node is a write |
| 439 | if(Nodes[j].second->getInst()->getOperand(Nodes[j].first).isDef()) { |
| 440 | //Src only uses the register (read) |
| 441 | if(srcIsUse) |
| 442 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 443 | MSchedGraphEdge::AntiDep, 1); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 444 | |
| 445 | else if(srcIsUseandDef) { |
| 446 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 447 | MSchedGraphEdge::AntiDep, 1); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 448 | |
| 449 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 450 | MSchedGraphEdge::OutputDep, 1); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 451 | } |
| 452 | else |
| 453 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 454 | MSchedGraphEdge::OutputDep, 1); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 455 | } |
| 456 | //Dest node is a read |
| 457 | else { |
| 458 | if(!srcIsUse || srcIsUseandDef) |
| 459 | srcNode->addOutEdge(Nodes[j].second, MSchedGraphEdge::MachineRegister, |
Tanya Lattner | 4cffb58 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 460 | MSchedGraphEdge::TrueDep,1 ); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 461 | } |
| 462 | |
| 463 | |
| 464 | } |
| 465 | |
| 466 | } |
| 467 | |
| 468 | } |
| 469 | |
| 470 | } |
| 471 | |
| 472 | void MSchedGraph::addMemEdges(const std::vector<MSchedGraphNode*>& memInst) { |
| 473 | |
| 474 | //Get Target machine instruction info |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 475 | const TargetInstrInfo *TMI = Target.getInstrInfo(); |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 476 | |
| 477 | //Loop over all memory instructions in the vector |
| 478 | //Knowing that they are in execution, add true, anti, and output dependencies |
| 479 | for (unsigned srcIndex = 0; srcIndex < memInst.size(); ++srcIndex) { |
| 480 | |
| 481 | //Get the machine opCode to determine type of memory instruction |
| 482 | MachineOpCode srcNodeOpCode = memInst[srcIndex]->getInst()->getOpcode(); |
| 483 | |
| 484 | //All instructions after this one in execution order have an iteration delay of 0 |
| 485 | for(unsigned destIndex = srcIndex + 1; destIndex < memInst.size(); ++destIndex) { |
| 486 | |
| 487 | //source is a Load, so add anti-dependencies (store after load) |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 488 | if(TMI->isLoad(srcNodeOpCode)) |
| 489 | if(TMI->isStore(memInst[destIndex]->getInst()->getOpcode())) |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 490 | memInst[srcIndex]->addOutEdge(memInst[destIndex], |
| 491 | MSchedGraphEdge::MemoryDep, |
| 492 | MSchedGraphEdge::AntiDep); |
| 493 | |
| 494 | //If source is a store, add output and true dependencies |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 495 | if(TMI->isStore(srcNodeOpCode)) { |
| 496 | if(TMI->isStore(memInst[destIndex]->getInst()->getOpcode())) |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 497 | memInst[srcIndex]->addOutEdge(memInst[destIndex], |
| 498 | MSchedGraphEdge::MemoryDep, |
| 499 | MSchedGraphEdge::OutputDep); |
| 500 | else |
| 501 | memInst[srcIndex]->addOutEdge(memInst[destIndex], |
| 502 | MSchedGraphEdge::MemoryDep, |
| 503 | MSchedGraphEdge::TrueDep); |
| 504 | } |
| 505 | } |
| 506 | |
| 507 | //All instructions before the src in execution order have an iteration delay of 1 |
| 508 | for(unsigned destIndex = 0; destIndex < srcIndex; ++destIndex) { |
| 509 | //source is a Load, so add anti-dependencies (store after load) |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 510 | if(TMI->isLoad(srcNodeOpCode)) |
| 511 | if(TMI->isStore(memInst[destIndex]->getInst()->getOpcode())) |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 512 | memInst[srcIndex]->addOutEdge(memInst[destIndex], |
| 513 | MSchedGraphEdge::MemoryDep, |
| 514 | MSchedGraphEdge::AntiDep, 1); |
Tanya Lattner | 0a88d2d | 2004-07-30 23:36:10 +0000 | [diff] [blame] | 515 | if(TMI->isStore(srcNodeOpCode)) { |
| 516 | if(TMI->isStore(memInst[destIndex]->getInst()->getOpcode())) |
Tanya Lattner | 9b3cbdb | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 517 | memInst[srcIndex]->addOutEdge(memInst[destIndex], |
| 518 | MSchedGraphEdge::MemoryDep, |
| 519 | MSchedGraphEdge::OutputDep, 1); |
| 520 | else |
| 521 | memInst[srcIndex]->addOutEdge(memInst[destIndex], |
| 522 | MSchedGraphEdge::MemoryDep, |
| 523 | MSchedGraphEdge::TrueDep, 1); |
| 524 | } |
| 525 | |
| 526 | } |
| 527 | |
| 528 | } |
| 529 | } |