| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 1 | //===-- MSchedGraph.h - Scheduling Graph ------------------------*- C++ -*-===// |
| 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 | // |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 10 | // A graph class for dependencies. This graph only contains true, anti, and |
| 11 | // output data dependencies for a given MachineBasicBlock. Dependencies |
| 12 | // across iterations are also computed. Unless data dependence analysis |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 13 | // is provided, a conservative approach of adding dependencies between all |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 14 | // loads and stores is taken. |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 15 | //===----------------------------------------------------------------------===// |
| 16 | |
| 17 | #ifndef LLVM_MSCHEDGRAPH_H |
| 18 | #define LLVM_MSCHEDGRAPH_H |
| Tanya Lattner | 9196449 | 2005-03-29 20:35:10 +0000 | [diff] [blame] | 19 | #include "DependenceAnalyzer.h" |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 20 | #include "llvm/Analysis/AliasAnalysis.h" |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineInstr.h" |
| 22 | #include "llvm/Target/TargetMachine.h" |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 23 | #include "llvm/Target/TargetData.h" |
| Reid Spencer | 7c16caa | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 24 | #include "llvm/ADT/GraphTraits.h" |
| 25 | #include "llvm/ADT/STLExtras.h" |
| 26 | #include "llvm/ADT/iterator" |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 27 | #include <vector> |
| 28 | |
| 29 | namespace llvm { |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 30 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 31 | class MSchedGraph; |
| 32 | class MSchedGraphNode; |
| 33 | template<class IteratorType, class NodeType> |
| 34 | class MSchedGraphNodeIterator; |
| 35 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 36 | //MSchedGraphEdge encapsulates the data dependence between nodes. It |
| 37 | //identifies the dependence type, on what, and the iteration |
| 38 | //difference |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 39 | struct MSchedGraphEdge { |
| 40 | enum DataDepOrderType { |
| 41 | TrueDep, AntiDep, OutputDep, NonDataDep |
| 42 | }; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 43 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 44 | enum MSchedGraphEdgeType { |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 45 | MemoryDep, ValueDep, MachineRegister, BranchDep |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 46 | }; |
| 47 | |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 48 | //Get or set edge data |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 49 | MSchedGraphNode *getDest() const { return dest; } |
| 50 | unsigned getIteDiff() { return iteDiff; } |
| 51 | unsigned getDepOrderType() { return depOrderType; } |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 52 | void setDest(MSchedGraphNode *newDest) { dest = newDest; } |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 53 | |
| 54 | private: |
| 55 | friend class MSchedGraphNode; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 56 | MSchedGraphEdge(MSchedGraphNode *destination, MSchedGraphEdgeType type, |
| 57 | unsigned deptype, unsigned diff) |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 58 | : dest(destination), depType(type), depOrderType(deptype), iteDiff(diff) {} |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 59 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 60 | MSchedGraphNode *dest; |
| 61 | MSchedGraphEdgeType depType; |
| 62 | unsigned depOrderType; |
| 63 | unsigned iteDiff; |
| 64 | }; |
| 65 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 66 | //MSchedGraphNode represents a machine instruction and its |
| 67 | //corresponding latency. Each node also contains a list of its |
| 68 | //predecessors and sucessors. |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 69 | class MSchedGraphNode { |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 70 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 71 | const MachineInstr* Inst; //Machine Instruction |
| 72 | MSchedGraph* Parent; //Graph this node belongs to |
| Tanya Lattner | 341828e | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 73 | unsigned index; //Index in BB |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 74 | unsigned latency; //Latency of Instruction |
| Tanya Lattner | a066df6 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 75 | bool isBranchInstr; //Is this node the branch instr or not |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 76 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 77 | std::vector<MSchedGraphNode*> Predecessors; //Predecessor Nodes |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 78 | std::vector<MSchedGraphEdge> Successors; //Successor edges |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 79 | |
| 80 | public: |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 81 | MSchedGraphNode(const MachineInstr *inst, MSchedGraph *graph, |
| Tanya Lattner | 341828e | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 82 | unsigned index, unsigned late=0, bool isBranch=false); |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 83 | |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 84 | MSchedGraphNode(const MSchedGraphNode &N); |
| 85 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 86 | //Iterators - Predecessor and Succussor |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 87 | typedef std::vector<MSchedGraphNode*>::iterator pred_iterator; |
| 88 | pred_iterator pred_begin() { return Predecessors.begin(); } |
| 89 | pred_iterator pred_end() { return Predecessors.end(); } |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 90 | unsigned pred_size() { return Predecessors.size(); } |
| 91 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 92 | typedef std::vector<MSchedGraphNode*>::const_iterator pred_const_iterator; |
| 93 | pred_const_iterator pred_begin() const { return Predecessors.begin(); } |
| 94 | pred_const_iterator pred_end() const { return Predecessors.end(); } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 95 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 96 | typedef MSchedGraphNodeIterator<std::vector<MSchedGraphEdge>::const_iterator, |
| 97 | const MSchedGraphNode> succ_const_iterator; |
| 98 | succ_const_iterator succ_begin() const; |
| 99 | succ_const_iterator succ_end() const; |
| 100 | |
| 101 | typedef MSchedGraphNodeIterator<std::vector<MSchedGraphEdge>::iterator, |
| 102 | MSchedGraphNode> succ_iterator; |
| 103 | succ_iterator succ_begin(); |
| 104 | succ_iterator succ_end(); |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 105 | unsigned succ_size() { return Successors.size(); } |
| Tanya Lattner | a066df6 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 106 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 107 | //Get or set predecessor nodes, or successor edges |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 108 | void setPredecessor(unsigned index, MSchedGraphNode *dest) { |
| 109 | Predecessors[index] = dest; |
| 110 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 111 | |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 112 | MSchedGraphNode* getPredecessor(unsigned index) { |
| 113 | return Predecessors[index]; |
| 114 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 115 | |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 116 | MSchedGraphEdge* getSuccessor(unsigned index) { |
| 117 | return &Successors[index]; |
| 118 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 119 | |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 120 | void deleteSuccessor(MSchedGraphNode *node) { |
| 121 | for (unsigned i = 0; i != Successors.size(); ++i) |
| 122 | if (Successors[i].getDest() == node) { |
| 123 | Successors.erase(Successors.begin()+i); |
| 124 | node->Predecessors.erase(std::find(node->Predecessors.begin(), |
| 125 | node->Predecessors.end(), this)); |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 126 | --i; //Decrease index var since we deleted a node |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 127 | } |
| 128 | } |
| 129 | |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 130 | void addOutEdge(MSchedGraphNode *destination, |
| 131 | MSchedGraphEdge::MSchedGraphEdgeType type, |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 132 | unsigned deptype, unsigned diff=0) { |
| 133 | Successors.push_back(MSchedGraphEdge(destination, type, deptype,diff)); |
| 134 | destination->Predecessors.push_back(this); |
| 135 | } |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 136 | |
| 137 | //General methods to get and set data for the node |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 138 | const MachineInstr* getInst() { return Inst; } |
| 139 | MSchedGraph* getParent() { return Parent; } |
| 140 | bool hasPredecessors() { return (Predecessors.size() > 0); } |
| 141 | bool hasSuccessors() { return (Successors.size() > 0); } |
| Tanya Lattner | ddebd1e | 2004-10-30 00:39:07 +0000 | [diff] [blame] | 142 | unsigned getLatency() { return latency; } |
| 143 | unsigned getLatency() const { return latency; } |
| Tanya Lattner | 341828e | 2004-11-28 23:36:15 +0000 | [diff] [blame] | 144 | unsigned getIndex() { return index; } |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 145 | unsigned getIteDiff(MSchedGraphNode *succ); |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 146 | MSchedGraphEdge getInEdge(MSchedGraphNode *pred); |
| Tanya Lattner | a6820d6 | 2004-05-08 16:12:10 +0000 | [diff] [blame] | 147 | unsigned getInEdgeNum(MSchedGraphNode *pred); |
| Tanya Lattner | a6820d6 | 2004-05-08 16:12:10 +0000 | [diff] [blame] | 148 | bool isSuccessor(MSchedGraphNode *); |
| 149 | bool isPredecessor(MSchedGraphNode *); |
| Tanya Lattner | a066df6 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 150 | bool isBranch() { return isBranchInstr; } |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 151 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 152 | //Debug support |
| 153 | void print(std::ostream &os) const; |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 154 | void setParent(MSchedGraph *p) { Parent = p; } |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 155 | }; |
| 156 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 157 | //Node iterator for graph generation |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 158 | template<class IteratorType, class NodeType> |
| 159 | class MSchedGraphNodeIterator : public forward_iterator<NodeType*, ptrdiff_t> { |
| 160 | IteratorType I; // std::vector<MSchedGraphEdge>::iterator or const_iterator |
| 161 | public: |
| 162 | MSchedGraphNodeIterator(IteratorType i) : I(i) {} |
| 163 | |
| 164 | bool operator==(const MSchedGraphNodeIterator RHS) const { return I == RHS.I; } |
| 165 | bool operator!=(const MSchedGraphNodeIterator RHS) const { return I != RHS.I; } |
| 166 | |
| 167 | const MSchedGraphNodeIterator &operator=(const MSchedGraphNodeIterator &RHS) { |
| 168 | I = RHS.I; |
| 169 | return *this; |
| 170 | } |
| 171 | |
| 172 | NodeType* operator*() const { |
| 173 | return I->getDest(); |
| 174 | } |
| 175 | NodeType* operator->() const { return operator*(); } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 176 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 177 | MSchedGraphNodeIterator& operator++() { // Preincrement |
| 178 | ++I; |
| 179 | return *this; |
| 180 | } |
| 181 | MSchedGraphNodeIterator operator++(int) { // Postincrement |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 182 | MSchedGraphNodeIterator tmp = *this; ++*this; return tmp; |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 183 | } |
| 184 | |
| 185 | MSchedGraphEdge &getEdge() { |
| 186 | return *I; |
| 187 | } |
| 188 | const MSchedGraphEdge &getEdge() const { |
| 189 | return *I; |
| 190 | } |
| 191 | }; |
| 192 | |
| 193 | inline MSchedGraphNode::succ_const_iterator MSchedGraphNode::succ_begin() const { |
| 194 | return succ_const_iterator(Successors.begin()); |
| 195 | } |
| 196 | inline MSchedGraphNode::succ_const_iterator MSchedGraphNode::succ_end() const { |
| 197 | return succ_const_iterator(Successors.end()); |
| 198 | } |
| 199 | inline MSchedGraphNode::succ_iterator MSchedGraphNode::succ_begin() { |
| 200 | return succ_iterator(Successors.begin()); |
| 201 | } |
| 202 | inline MSchedGraphNode::succ_iterator MSchedGraphNode::succ_end() { |
| 203 | return succ_iterator(Successors.end()); |
| 204 | } |
| 205 | |
| 206 | // ostream << operator for MSGraphNode class |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 207 | inline std::ostream &operator<<(std::ostream &os, |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 208 | const MSchedGraphNode &node) { |
| 209 | node.print(os); |
| 210 | return os; |
| 211 | } |
| 212 | |
| 213 | |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 214 | // Provide specializations of GraphTraits to be able to use graph |
| 215 | // iterators on the scheduling graph! |
| 216 | // |
| 217 | template <> struct GraphTraits<MSchedGraphNode*> { |
| 218 | typedef MSchedGraphNode NodeType; |
| 219 | typedef MSchedGraphNode::succ_iterator ChildIteratorType; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 220 | |
| 221 | static inline ChildIteratorType child_begin(NodeType *N) { |
| 222 | return N->succ_begin(); |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 223 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 224 | static inline ChildIteratorType child_end(NodeType *N) { |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 225 | return N->succ_end(); |
| 226 | } |
| 227 | |
| 228 | static NodeType *getEntryNode(NodeType* N) { return N; } |
| 229 | }; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 230 | |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 231 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 232 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 233 | //Graph class to represent dependence graph |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 234 | class MSchedGraph { |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 235 | |
| Tanya Lattner | 4d0ee75 | 2005-04-30 23:07:59 +0000 | [diff] [blame] | 236 | std::vector<const MachineBasicBlock *> BBs; //Machine basic block |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 237 | const TargetMachine &Target; //Target Machine |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 238 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 239 | //Nodes |
| 240 | std::map<const MachineInstr*, MSchedGraphNode*> GraphMap; |
| 241 | |
| 242 | //Add Nodes and Edges to this graph for our BB |
| 243 | typedef std::pair<int, MSchedGraphNode*> OpIndexNodePair; |
| Tanya Lattner | 8d64e9a | 2005-04-05 16:36:44 +0000 | [diff] [blame] | 244 | void buildNodesAndEdges(std::map<const MachineInstr*, unsigned> &ignoreInstrs, DependenceAnalyzer &DA, std::map<MachineInstr*, Instruction*> &machineTollvm); |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 245 | void addValueEdges(std::vector<OpIndexNodePair> &NodesInMap, |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 246 | MSchedGraphNode *node, |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 247 | bool nodeIsUse, bool nodeIsDef, std::vector<const MachineInstr*> &phiInstrs, int diff=0); |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 248 | void addMachRegEdges(std::map<int, |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 249 | std::vector<OpIndexNodePair> >& regNumtoNodeMap); |
| Tanya Lattner | 8d64e9a | 2005-04-05 16:36:44 +0000 | [diff] [blame] | 250 | void addMemEdges(const std::vector<MSchedGraphNode*>& memInst, |
| Tanya Lattner | 9196449 | 2005-03-29 20:35:10 +0000 | [diff] [blame] | 251 | DependenceAnalyzer &DA, std::map<MachineInstr*, Instruction*> &machineTollvm); |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 252 | void addBranchEdges(); |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 253 | |
| 254 | public: |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 255 | MSchedGraph(const MachineBasicBlock *bb, const TargetMachine &targ, |
| 256 | std::map<const MachineInstr*, unsigned> &ignoreInstrs, |
| Tanya Lattner | 9196449 | 2005-03-29 20:35:10 +0000 | [diff] [blame] | 257 | DependenceAnalyzer &DA, std::map<MachineInstr*, Instruction*> &machineTollvm); |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 258 | |
| 259 | //Copy constructor with maps to link old nodes to new nodes |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 260 | MSchedGraph(const MSchedGraph &G, std::map<MSchedGraphNode*, MSchedGraphNode*> &newNodes); |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 261 | |
| Tanya Lattner | bdfb9e6 | 2005-05-01 01:25:53 +0000 | [diff] [blame] | 262 | MSchedGraph(std::vector<const MachineBasicBlock*> &bbs, |
| 263 | const TargetMachine &targ, |
| 264 | std::map<const MachineInstr*, unsigned> &ignoreInstrs, |
| 265 | DependenceAnalyzer &DA, |
| 266 | std::map<MachineInstr*, Instruction*> &machineTollvm); |
| 267 | |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 268 | //Print graph |
| 269 | void print(std::ostream &os) const; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 270 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 271 | //Deconstructor! |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 272 | ~MSchedGraph(); |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 273 | |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 274 | //Add or delete nodes from the Graph |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 275 | void addNode(const MachineInstr* MI, MSchedGraphNode *node); |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 276 | void deleteNode(MSchedGraphNode *node); |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 277 | int totalDelay(); |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 278 | |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 279 | //iterators |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 280 | typedef std::map<const MachineInstr*, MSchedGraphNode*>::iterator iterator; |
| 281 | typedef std::map<const MachineInstr*, MSchedGraphNode*>::const_iterator const_iterator; |
| 282 | typedef std::map<const MachineInstr*, MSchedGraphNode*>::reverse_iterator reverse_iterator; |
| 283 | iterator find(const MachineInstr* I) { return GraphMap.find(I); } |
| 284 | iterator end() { return GraphMap.end(); } |
| 285 | iterator begin() { return GraphMap.begin(); } |
| Tanya Lattner | 56807c6 | 2005-02-10 17:02:58 +0000 | [diff] [blame] | 286 | unsigned size() { return GraphMap.size(); } |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 287 | reverse_iterator rbegin() { return GraphMap.rbegin(); } |
| 288 | reverse_iterator rend() { return GraphMap.rend(); } |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 289 | |
| 290 | //Get Target or original machine basic block |
| Tanya Lattner | a066df6 | 2004-05-26 06:27:18 +0000 | [diff] [blame] | 291 | const TargetMachine* getTarget() { return &Target; } |
| Tanya Lattner | 4d0ee75 | 2005-04-30 23:07:59 +0000 | [diff] [blame] | 292 | std::vector<const MachineBasicBlock*> getBBs() { return BBs; } |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 293 | }; |
| 294 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 295 | |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 296 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 297 | |
| 298 | |
| 299 | // Provide specializations of GraphTraits to be able to use graph |
| Tanya Lattner | 13417b5 | 2005-03-23 01:47:20 +0000 | [diff] [blame] | 300 | // iterators on the scheduling graph |
| 301 | static MSchedGraphNode& getSecond(std::pair<const MachineInstr* const, |
| 302 | MSchedGraphNode*> &Pair) { |
| 303 | return *Pair.second; |
| 304 | } |
| 305 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 306 | template <> struct GraphTraits<MSchedGraph*> { |
| 307 | typedef MSchedGraphNode NodeType; |
| 308 | typedef MSchedGraphNode::succ_iterator ChildIteratorType; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 309 | |
| 310 | static inline ChildIteratorType child_begin(NodeType *N) { |
| 311 | return N->succ_begin(); |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 312 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 313 | static inline ChildIteratorType child_end(NodeType *N) { |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 314 | return N->succ_end(); |
| 315 | } |
| 316 | |
| 317 | typedef std::pointer_to_unary_function<std::pair<const MachineInstr* const, |
| 318 | MSchedGraphNode*>&, MSchedGraphNode&> DerefFun; |
| 319 | |
| 320 | typedef mapped_iterator<MSchedGraph::iterator, DerefFun> nodes_iterator; |
| 321 | static nodes_iterator nodes_begin(MSchedGraph *G) { |
| 322 | return map_iterator(((MSchedGraph*)G)->begin(), DerefFun(getSecond)); |
| 323 | } |
| 324 | static nodes_iterator nodes_end(MSchedGraph *G) { |
| 325 | return map_iterator(((MSchedGraph*)G)->end(), DerefFun(getSecond)); |
| 326 | } |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 327 | |
| 328 | }; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 329 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 330 | template <> struct GraphTraits<const MSchedGraph*> { |
| 331 | typedef const MSchedGraphNode NodeType; |
| 332 | typedef MSchedGraphNode::succ_const_iterator ChildIteratorType; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 333 | |
| 334 | static inline ChildIteratorType child_begin(NodeType *N) { |
| 335 | return N->succ_begin(); |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 336 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 337 | static inline ChildIteratorType child_end(NodeType *N) { |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 338 | return N->succ_end(); |
| 339 | } |
| 340 | typedef std::pointer_to_unary_function<std::pair<const MachineInstr* const, |
| 341 | MSchedGraphNode*>&, MSchedGraphNode&> DerefFun; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 342 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 343 | typedef mapped_iterator<MSchedGraph::iterator, DerefFun> nodes_iterator; |
| 344 | static nodes_iterator nodes_begin(MSchedGraph *G) { |
| 345 | return map_iterator(((MSchedGraph*)G)->begin(), DerefFun(getSecond)); |
| 346 | } |
| 347 | static nodes_iterator nodes_end(MSchedGraph *G) { |
| 348 | return map_iterator(((MSchedGraph*)G)->end(), DerefFun(getSecond)); |
| 349 | } |
| 350 | }; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 351 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 352 | template <> struct GraphTraits<Inverse<MSchedGraph*> > { |
| 353 | typedef MSchedGraphNode NodeType; |
| 354 | typedef MSchedGraphNode::pred_iterator ChildIteratorType; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 355 | |
| 356 | static inline ChildIteratorType child_begin(NodeType *N) { |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 357 | return N->pred_begin(); |
| 358 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 359 | static inline ChildIteratorType child_end(NodeType *N) { |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 360 | return N->pred_end(); |
| 361 | } |
| 362 | typedef std::pointer_to_unary_function<std::pair<const MachineInstr* const, |
| 363 | MSchedGraphNode*>&, MSchedGraphNode&> DerefFun; |
| 364 | |
| 365 | typedef mapped_iterator<MSchedGraph::iterator, DerefFun> nodes_iterator; |
| 366 | static nodes_iterator nodes_begin(MSchedGraph *G) { |
| 367 | return map_iterator(((MSchedGraph*)G)->begin(), DerefFun(getSecond)); |
| 368 | } |
| 369 | static nodes_iterator nodes_end(MSchedGraph *G) { |
| 370 | return map_iterator(((MSchedGraph*)G)->end(), DerefFun(getSecond)); |
| 371 | } |
| 372 | }; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 373 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 374 | template <> struct GraphTraits<Inverse<const MSchedGraph*> > { |
| 375 | typedef const MSchedGraphNode NodeType; |
| 376 | typedef MSchedGraphNode::pred_const_iterator ChildIteratorType; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 377 | |
| 378 | static inline ChildIteratorType child_begin(NodeType *N) { |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 379 | return N->pred_begin(); |
| 380 | } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 381 | static inline ChildIteratorType child_end(NodeType *N) { |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 382 | return N->pred_end(); |
| 383 | } |
| 384 | |
| 385 | typedef std::pointer_to_unary_function<std::pair<const MachineInstr* const, |
| 386 | MSchedGraphNode*>&, MSchedGraphNode&> DerefFun; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 387 | |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 388 | typedef mapped_iterator<MSchedGraph::iterator, DerefFun> nodes_iterator; |
| 389 | static nodes_iterator nodes_begin(MSchedGraph *G) { |
| 390 | return map_iterator(((MSchedGraph*)G)->begin(), DerefFun(getSecond)); |
| 391 | } |
| 392 | static nodes_iterator nodes_end(MSchedGraph *G) { |
| 393 | return map_iterator(((MSchedGraph*)G)->end(), DerefFun(getSecond)); |
| 394 | } |
| 395 | }; |
| Tanya Lattner | 48a503b | 2004-03-01 02:50:57 +0000 | [diff] [blame] | 396 | } |
| 397 | |
| 398 | #endif |