Chris Lattner | cf3056d | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 1 | //===-- SchedGraph.h - Scheduling Graph -------------------------*- C++ -*-===// |
John Criswell | 856ba76 | 2003-10-21 15:17:13 +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 | //===----------------------------------------------------------------------===// |
Chris Lattner | 179cdfb | 2002-08-09 20:08:03 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | cf3056d | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 10 | // This is a scheduling graph based on SSA graph plus extra dependence edges |
| 11 | // capturing dependences due to machine resources (machine registers, CC |
| 12 | // registers, and any others). |
Chris Lattner | 179cdfb | 2002-08-09 20:08:03 +0000 | [diff] [blame] | 13 | // |
Chris Lattner | cf3056d | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 14 | // This graph tries to leverage the SSA graph as much as possible, but captures |
| 15 | // the extra dependences through a common interface. |
Chris Lattner | 179cdfb | 2002-08-09 20:08:03 +0000 | [diff] [blame] | 16 | // |
| 17 | //===----------------------------------------------------------------------===// |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 18 | |
| 19 | #ifndef LLVM_CODEGEN_SCHEDGRAPH_H |
| 20 | #define LLVM_CODEGEN_SCHEDGRAPH_H |
| 21 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/SchedGraphCommon.h" |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/MachineInstr.h" |
| 24 | #include "llvm/Transforms/Scalar.h" |
| 25 | #include "Support/hash_map" |
| 26 | #include "Support/GraphTraits.h" |
| 27 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 28 | namespace llvm { |
| 29 | |
Vikram S. Adve | 4a87b38 | 2001-09-30 23:37:26 +0000 | [diff] [blame] | 30 | class RegToRefVecMap; |
Vikram S. Adve | c352d2c | 2001-11-05 04:04:23 +0000 | [diff] [blame] | 31 | class ValueToDefVecMap; |
| 32 | class RefVec; |
Vikram S. Adve | d0d79c0 | 2001-10-28 21:45:02 +0000 | [diff] [blame] | 33 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 34 | class SchedGraphNode : public SchedGraphNodeCommon { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 35 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 36 | MachineBasicBlock *MBB; |
| 37 | const MachineInstr *MI; |
Chris Lattner | 9efc4d6 | 2003-06-02 22:45:07 +0000 | [diff] [blame] | 38 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 39 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 40 | SchedGraphNode(unsigned nodeId, MachineBasicBlock *mbb, int indexInBB, |
| 41 | const TargetMachine& Target); |
| 42 | ~SchedGraphNode(); |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 43 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 44 | friend class SchedGraph; // give access for ctor and dtor |
| 45 | friend class SchedGraphEdge; // give access for adding edges |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 46 | |
| 47 | public: |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 48 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 49 | // Accessor methods |
| 50 | const MachineInstr* getMachineInstr() const { return MI; } |
Brian Gaeke | 918cdd4 | 2004-02-12 01:34:05 +0000 | [diff] [blame] | 51 | const MachineOpCode getOpcode() const { return MI->getOpcode(); } |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 52 | bool isDummyNode() const { return (MI == NULL); } |
| 53 | MachineBasicBlock &getMachineBasicBlock() const { return *MBB; } |
| 54 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 55 | void print(std::ostream &os) const; |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 56 | }; |
| 57 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 58 | class SchedGraph : public SchedGraphCommon { |
| 59 | MachineBasicBlock &MBB; |
| 60 | hash_map<const MachineInstr*, SchedGraphNode*> GraphMap; |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 61 | |
| 62 | public: |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 63 | typedef hash_map<const MachineInstr*, SchedGraphNode*>::const_iterator iterator; |
| 64 | typedef hash_map<const MachineInstr*, SchedGraphNode*>::const_iterator const_iterator; |
| 65 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 66 | MachineBasicBlock& getBasicBlock() const{return MBB;} |
| 67 | const unsigned int getNumNodes() const { return GraphMap.size()+2; } |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 68 | SchedGraphNode* getGraphNodeForInstr(const MachineInstr* MI) const { |
| 69 | const_iterator onePair = find(MI); |
| 70 | return (onePair != end())? onePair->second : NULL; |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 71 | } |
| 72 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 73 | // Debugging support |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 74 | void dump() const; |
Vikram S. Adve | f0b6d79 | 2001-09-18 12:49:26 +0000 | [diff] [blame] | 75 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 76 | protected: |
| 77 | SchedGraph(MachineBasicBlock& mbb, const TargetMachine& TM); |
| 78 | ~SchedGraph(); |
| 79 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 80 | // Unordered iterators. |
| 81 | // Return values is pair<const MachineIntr*,SchedGraphNode*>. |
| 82 | // |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 83 | hash_map<const MachineInstr*, SchedGraphNode*>::const_iterator begin() const { |
| 84 | return GraphMap.begin(); |
| 85 | } |
| 86 | hash_map<const MachineInstr*, SchedGraphNode*>::const_iterator end() const { |
| 87 | return GraphMap.end(); |
| 88 | } |
| 89 | |
| 90 | unsigned size() { return GraphMap.size(); } |
| 91 | iterator find(const MachineInstr *MI) const { return GraphMap.find(MI); } |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 92 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 93 | SchedGraphNode *&operator[](const MachineInstr *MI) { |
| 94 | return GraphMap[MI]; |
| 95 | } |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 96 | |
| 97 | private: |
| 98 | friend class SchedGraphSet; // give access to ctor |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 99 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 100 | inline void noteGraphNodeForInstr (const MachineInstr* minstr, |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 101 | SchedGraphNode* node) { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 102 | assert((*this)[minstr] == NULL); |
| 103 | (*this)[minstr] = node; |
| 104 | } |
| 105 | |
| 106 | // |
| 107 | // Graph builder |
| 108 | // |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 109 | void buildGraph(const TargetMachine& target); |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 110 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 111 | void buildNodesForBB(const TargetMachine& target,MachineBasicBlock &MBB, |
| 112 | std::vector<SchedGraphNode*>& memNV, |
| 113 | std::vector<SchedGraphNode*>& callNV, |
| 114 | RegToRefVecMap& regToRefVecMap, |
| 115 | ValueToDefVecMap& valueToDefVecMap); |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 116 | |
Vikram S. Adve | 4a87b38 | 2001-09-30 23:37:26 +0000 | [diff] [blame] | 117 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 118 | void findDefUseInfoAtInstr(const TargetMachine& target, SchedGraphNode* node, |
| 119 | std::vector<SchedGraphNode*>& memNV, |
| 120 | std::vector<SchedGraphNode*>& callNV, |
| 121 | RegToRefVecMap& regToRefVecMap, |
| 122 | ValueToDefVecMap& valueToDefVecMap); |
Vikram S. Adve | c352d2c | 2001-11-05 04:04:23 +0000 | [diff] [blame] | 123 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 124 | void addEdgesForInstruction(const MachineInstr& minstr, |
| 125 | const ValueToDefVecMap& valueToDefVecMap, |
| 126 | const TargetMachine& target); |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 127 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 128 | void addCDEdges(const TerminatorInst* term, const TargetMachine& target); |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 129 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 130 | void addMemEdges(const std::vector<SchedGraphNode*>& memNod, |
| 131 | const TargetMachine& target); |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 132 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 133 | void addCallCCEdges(const std::vector<SchedGraphNode*>& memNod, |
| 134 | MachineBasicBlock& bbMvec, |
| 135 | const TargetMachine& target); |
| 136 | |
| 137 | void addCallDepEdges(const std::vector<SchedGraphNode*>& callNV, |
| 138 | const TargetMachine& target); |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 139 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 140 | void addMachineRegEdges(RegToRefVecMap& regToRefVecMap, |
| 141 | const TargetMachine& target); |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 142 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 143 | void addEdgesForValue(SchedGraphNode* refNode, const RefVec& defVec, |
| 144 | const Value* defValue, bool refNodeIsDef, |
| 145 | bool refNodeIsDefAndUse, |
| 146 | const TargetMachine& target); |
| 147 | |
| 148 | void addDummyEdges(); |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 149 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 150 | }; |
| 151 | |
| 152 | |
Chris Lattner | 9efc4d6 | 2003-06-02 22:45:07 +0000 | [diff] [blame] | 153 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 154 | class SchedGraphSet { |
| 155 | const Function* function; |
| 156 | std::vector<SchedGraph*> Graphs; |
| 157 | |
| 158 | // Graph builder |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 159 | void buildGraphsForMethod(const Function *F, const TargetMachine& target); |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 160 | |
| 161 | inline void addGraph(SchedGraph* graph) { |
| 162 | assert(graph != NULL); |
| 163 | Graphs.push_back(graph); |
| 164 | } |
| 165 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 166 | public: |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 167 | SchedGraphSet(const Function *function, const TargetMachine& target); |
Chris Lattner | 9efc4d6 | 2003-06-02 22:45:07 +0000 | [diff] [blame] | 168 | ~SchedGraphSet(); |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 169 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 170 | //iterators |
| 171 | typedef std::vector<SchedGraph*>::const_iterator iterator; |
| 172 | typedef std::vector<SchedGraph*>::const_iterator const_iterator; |
| 173 | |
| 174 | std::vector<SchedGraph*>::const_iterator begin() const { return Graphs.begin(); } |
| 175 | std::vector<SchedGraph*>::const_iterator end() const { return Graphs.end(); } |
| 176 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 177 | // Debugging support |
Chris Lattner | 9efc4d6 | 2003-06-02 22:45:07 +0000 | [diff] [blame] | 178 | void dump() const; |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 179 | }; |
| 180 | |
| 181 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 182 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 183 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 184 | // |
| 185 | // sg_pred_iterator |
| 186 | // sg_pred_const_iterator |
| 187 | // |
Chris Lattner | 455889a | 2002-02-12 22:39:50 +0000 | [diff] [blame] | 188 | typedef SGPredIterator<SchedGraphNode, SchedGraphEdge, SchedGraphNode::iterator> |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 189 | sg_pred_iterator; |
Chris Lattner | 455889a | 2002-02-12 22:39:50 +0000 | [diff] [blame] | 190 | typedef SGPredIterator<const SchedGraphNode, const SchedGraphEdge,SchedGraphNode::const_iterator> |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 191 | sg_pred_const_iterator; |
| 192 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 193 | inline sg_pred_iterator pred_begin(SchedGraphNode *N) { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 194 | return sg_pred_iterator(N->beginInEdges()); |
| 195 | } |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 196 | inline sg_pred_iterator pred_end(SchedGraphNode *N) { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 197 | return sg_pred_iterator(N->endInEdges()); |
| 198 | } |
| 199 | inline sg_pred_const_iterator pred_begin(const SchedGraphNode *N) { |
| 200 | return sg_pred_const_iterator(N->beginInEdges()); |
| 201 | } |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 202 | inline sg_pred_const_iterator pred_end(const SchedGraphNode *N) { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 203 | return sg_pred_const_iterator(N->endInEdges()); |
| 204 | } |
| 205 | |
| 206 | |
| 207 | // |
| 208 | // sg_succ_iterator |
| 209 | // sg_succ_const_iterator |
| 210 | // |
Chris Lattner | 455889a | 2002-02-12 22:39:50 +0000 | [diff] [blame] | 211 | typedef SGSuccIterator<SchedGraphNode, SchedGraphEdge, SchedGraphNode::iterator> |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 212 | sg_succ_iterator; |
Chris Lattner | 455889a | 2002-02-12 22:39:50 +0000 | [diff] [blame] | 213 | typedef SGSuccIterator<const SchedGraphNode, const SchedGraphEdge,SchedGraphNode::const_iterator> |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 214 | sg_succ_const_iterator; |
| 215 | |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 216 | inline sg_succ_iterator succ_begin(SchedGraphNode *N) { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 217 | return sg_succ_iterator(N->beginOutEdges()); |
| 218 | } |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 219 | inline sg_succ_iterator succ_end(SchedGraphNode *N) { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 220 | return sg_succ_iterator(N->endOutEdges()); |
| 221 | } |
| 222 | inline sg_succ_const_iterator succ_begin(const SchedGraphNode *N) { |
| 223 | return sg_succ_const_iterator(N->beginOutEdges()); |
| 224 | } |
Tanya Lattner | c50ee55 | 2003-08-27 02:42:58 +0000 | [diff] [blame] | 225 | inline sg_succ_const_iterator succ_end(const SchedGraphNode *N) { |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 226 | return sg_succ_const_iterator(N->endOutEdges()); |
| 227 | } |
| 228 | |
Chris Lattner | 3ff4387 | 2001-09-28 22:56:31 +0000 | [diff] [blame] | 229 | // Provide specializations of GraphTraits to be able to use graph iterators on |
| 230 | // the scheduling graph! |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 231 | // |
Chris Lattner | 3ff4387 | 2001-09-28 22:56:31 +0000 | [diff] [blame] | 232 | template <> struct GraphTraits<SchedGraph*> { |
| 233 | typedef SchedGraphNode NodeType; |
| 234 | typedef sg_succ_iterator ChildIteratorType; |
| 235 | |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 236 | static inline NodeType *getEntryNode(SchedGraph *SG) { return (NodeType*)SG->getRoot(); } |
Chris Lattner | 3ff4387 | 2001-09-28 22:56:31 +0000 | [diff] [blame] | 237 | static inline ChildIteratorType child_begin(NodeType *N) { |
| 238 | return succ_begin(N); |
| 239 | } |
| 240 | static inline ChildIteratorType child_end(NodeType *N) { |
| 241 | return succ_end(N); |
| 242 | } |
| 243 | }; |
| 244 | |
| 245 | template <> struct GraphTraits<const SchedGraph*> { |
| 246 | typedef const SchedGraphNode NodeType; |
| 247 | typedef sg_succ_const_iterator ChildIteratorType; |
| 248 | |
| 249 | static inline NodeType *getEntryNode(const SchedGraph *SG) { |
Tanya Lattner | b6489f3 | 2003-08-25 22:42:20 +0000 | [diff] [blame] | 250 | return (NodeType*)SG->getRoot(); |
Chris Lattner | 3ff4387 | 2001-09-28 22:56:31 +0000 | [diff] [blame] | 251 | } |
| 252 | static inline ChildIteratorType child_begin(NodeType *N) { |
| 253 | return succ_begin(N); |
| 254 | } |
| 255 | static inline ChildIteratorType child_end(NodeType *N) { |
| 256 | return succ_end(N); |
| 257 | } |
| 258 | }; |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 259 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 260 | } // End llvm namespace |
| 261 | |
Vikram S. Adve | 78ef139 | 2001-08-28 23:06:02 +0000 | [diff] [blame] | 262 | #endif |