Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 1 | // ModuloScheduling.h -------------------------------------------*- C++ -*-===// |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 2 | // |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 3 | // This header defines the the classes ModuloScheduling and |
| 4 | // ModuloSchedulingSet's structure |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 5 | // |
| 6 | //===----------------------------------------------------------------------===// |
| 7 | |
| 8 | |
| 9 | #ifndef LLVM_CODEGEN_MODULOSCHEDULING_H |
| 10 | #define LLVM_CODEGEN_MODULOSCHEDULING_H |
| 11 | |
| 12 | #include "ModuloSchedGraph.h" |
| 13 | #include <iostream> |
Guochun Shi | 6fbe5fb | 2003-04-06 23:56:19 +0000 | [diff] [blame] | 14 | #include <vector> |
| 15 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 16 | class ModuloScheduling: NonCopyable { |
| 17 | private: |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 18 | |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 19 | typedef std::vector<ModuloSchedGraphNode*> NodeVec; |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 20 | typedef std::vector<std::vector<unsigned> > Resources; |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 21 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 22 | // The graph to feed in |
| 23 | ModuloSchedGraph &graph; |
| 24 | const TargetMachine ⌖ |
| 25 | |
| 26 | // The BasicBlock to be scheduled |
| 27 | BasicBlock *bb; |
| 28 | |
| 29 | // Iteration Interval |
| 30 | // FIXME: II may be a better name for its meaning |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 31 | unsigned II; |
| 32 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 33 | // The vector containing the nodes which have been scheduled |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 34 | NodeVec nodeScheduled; |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 35 | |
| 36 | // The remaining unscheduled nodes |
| 37 | const NodeVec &oNodes; |
| 38 | |
| 39 | // The machine resource table |
| 40 | std::vector<std::vector<std::pair<int,int> > > resourceTable; |
| 41 | |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 42 | ///the schedule( with many schedule stage) |
| 43 | std::vector<std::vector<ModuloSchedGraphNode*> > schedule; |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 44 | |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 45 | ///the kernel(core) schedule(length = II) |
| 46 | std::vector<std::vector<ModuloSchedGraphNode*> > coreSchedule; |
| 47 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 48 | typedef BasicBlock::InstListType InstListType; |
| 49 | typedef std::vector<std::vector<ModuloSchedGraphNode*> > vvNodeType; |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 50 | |
| 51 | public: |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 52 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 53 | ModuloScheduling(ModuloSchedGraph & _graph): |
| 54 | graph(_graph), target(graph.getTarget()), oNodes(graph.getONodes()) |
| 55 | { |
| 56 | II = graph.getMII(); |
| 57 | bb = (BasicBlock *) graph.getBasicBlocks()[0]; |
| 58 | instrScheduling(); |
| 59 | }; |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 60 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 61 | ~ModuloScheduling() {}; |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 62 | |
Misha Brukman | 2c821cc | 2003-04-10 19:19:23 +0000 | [diff] [blame^] | 63 | // for debug information selecton |
| 64 | enum DebugLevel_t { |
| 65 | DebugLevel_NoDebugInfo, |
| 66 | DebugLevel_PrintSchedule, |
| 67 | DebugLevel_PrintScheduleProcess, |
| 68 | }; |
| 69 | |
| 70 | static DebugLevel_t DebugLevel; |
| 71 | |
| 72 | static bool printSchedule() { return DebugLevel >= DebugLevel_PrintSchedule; } |
| 73 | static bool printScheduleProcess() { |
| 74 | return DebugLevel >= DebugLevel_PrintScheduleProcess; |
| 75 | } |
| 76 | |
| 77 | // The method to compute schedule and instert epilogue and prologue |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 78 | void instrScheduling(); |
| 79 | |
Misha Brukman | 2c821cc | 2003-04-10 19:19:23 +0000 | [diff] [blame^] | 80 | // Debug functions: |
| 81 | // Dump the schedule and core schedule |
| 82 | void dumpScheduling(); |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 83 | |
Misha Brukman | 2c821cc | 2003-04-10 19:19:23 +0000 | [diff] [blame^] | 84 | // Dump the input vector of nodes |
| 85 | // sch: the input vector of nodes |
| 86 | void dumpSchedule(std::vector<std::vector<ModuloSchedGraphNode*> > sch); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 87 | |
Misha Brukman | 2c821cc | 2003-04-10 19:19:23 +0000 | [diff] [blame^] | 88 | // Dump the resource usage table |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 89 | void dumpResourceUsageTable(); |
| 90 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 91 | //*******************internal functions******************************* |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 92 | private: |
| 93 | //clear memory from the last round and initialize if necessary |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 94 | void clearInitMem(const TargetSchedInfo&); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 95 | |
| 96 | //compute schedule and coreSchedule with the current II |
| 97 | bool computeSchedule(); |
| 98 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 99 | BasicBlock *getSuccBB(BasicBlock *); |
| 100 | BasicBlock *getPredBB(BasicBlock *); |
| 101 | void constructPrologue(BasicBlock *prologue); |
| 102 | void constructKernel(BasicBlock *prologue, |
| 103 | BasicBlock *kernel, |
| 104 | BasicBlock *epilogue); |
| 105 | void constructEpilogue(BasicBlock *epilogue, BasicBlock *succ_bb); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 106 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 107 | // update the resource table at the startCycle |
| 108 | // vec: the resouce usage |
| 109 | // startCycle: the start cycle the resouce usage is |
Misha Brukman | 2c821cc | 2003-04-10 19:19:23 +0000 | [diff] [blame^] | 110 | void updateResourceTable(std::vector<std::vector<unsigned> > vec, |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 111 | int startCycle); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 112 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 113 | // un-do the update in the resource table in the startCycle |
| 114 | // vec: the resouce usage |
| 115 | // startCycle: the start cycle the resouce usage is |
Misha Brukman | 2c821cc | 2003-04-10 19:19:23 +0000 | [diff] [blame^] | 116 | void undoUpdateResourceTable(std::vector<std::vector<unsigned> > vec, |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 117 | int startCycle); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 118 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 119 | // return whether the resourcetable has negative element |
| 120 | // this function is called after updateResouceTable() to determine whether a |
| 121 | // node can be scheduled at certain cycle |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 122 | bool resourceTableNegative(); |
| 123 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 124 | // try to Schedule the node starting from start to end cycle(inclusive) |
| 125 | // if it can be scheduled, put it in the schedule and update nodeScheduled |
| 126 | // node: the node to be scheduled |
| 127 | // start: start cycle |
| 128 | // end : end cycle |
| 129 | // nodeScheduled: a vector storing nodes which has been scheduled |
| 130 | bool ScheduleNode(ModuloSchedGraphNode * node, unsigned start, |
| 131 | unsigned end, NodeVec &nodeScheduled); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 132 | |
| 133 | //each instruction has a memory of the latest clone instruction |
| 134 | //the clone instruction can be get using getClone() |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 135 | //this function clears the memory, i.e. getClone() after calling this function |
| 136 | //returns null |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 137 | void clearCloneMemory(); |
| 138 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 139 | //this fuction make a clone of this input Instruction and update the clone |
| 140 | //memory |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 141 | //inst: the instrution to be cloned |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 142 | Instruction *cloneInstSetMemory(Instruction *inst); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 143 | |
| 144 | //this function update each instrutions which uses ist as its operand |
| 145 | //after update, each instruction will use ist's clone as its operand |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 146 | void updateUseWithClone(Instruction * ist); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 147 | |
| 148 | }; |
| 149 | |
| 150 | |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 151 | class ModuloSchedulingSet: |
| 152 | NonCopyable { |
| 153 | private: |
| 154 | |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 155 | //the graphSet to feed in |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 156 | ModuloSchedGraphSet & graphSet; |
| 157 | |
| 158 | public: |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 159 | |
| 160 | //constructor |
| 161 | //Scheduling graph one by one |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 162 | ModuloSchedulingSet(ModuloSchedGraphSet _graphSet): graphSet(_graphSet) { |
| 163 | for (unsigned i = 0; i < graphSet.size(); i++) { |
| 164 | ModuloSchedGraph & graph = *(graphSet[i]); |
| 165 | if (graph.isLoop()) |
| 166 | ModuloScheduling ModuloScheduling(graph); |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 167 | } |
| 168 | }; |
Misha Brukman | 8baa01c | 2003-04-09 21:51:34 +0000 | [diff] [blame] | 169 | |
| 170 | ~ModuloSchedulingSet() {}; |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 171 | }; |
| 172 | |
Guochun Shi | f1c154f | 2003-03-27 17:57:44 +0000 | [diff] [blame] | 173 | #endif |