Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 1 | //===- StrongPhiElimination.cpp - Eliminate PHI nodes by inserting copies -===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This pass eliminates machine instruction PHI nodes by inserting copy |
| 11 | // instructions, using an intelligent copy-folding technique based on |
| 12 | // dominator information. This is technique is derived from: |
| 13 | // |
| 14 | // Budimlic, et al. Fast copy coalescing and live-range identification. |
| 15 | // In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language |
| 16 | // Design and Implementation (Berlin, Germany, June 17 - 19, 2002). |
| 17 | // PLDI '02. ACM, New York, NY, 25-32. |
| 18 | // DOI= http://doi.acm.org/10.1145/512529.512534 |
| 19 | // |
| 20 | //===----------------------------------------------------------------------===// |
| 21 | |
| 22 | #define DEBUG_TYPE "strongphielim" |
| 23 | #include "llvm/CodeGen/Passes.h" |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 24 | #include "llvm/CodeGen/LiveIntervalAnalysis.h" |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/MachineDominators.h" |
| 26 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 27 | #include "llvm/CodeGen/MachineInstr.h" |
Jakob Stoklund Olesen | 1e1098c | 2010-07-10 22:42:59 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Owen Anderson | 755ebab | 2008-03-17 06:08:26 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineLoopInfo.h" |
Owen Anderson | 0d893b4 | 2008-01-08 05:16:15 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Owen Anderson | 3947e4d | 2008-05-30 18:38:26 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/RegisterCoalescer.h" |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 32 | #include "llvm/Target/TargetInstrInfo.h" |
| 33 | #include "llvm/Target/TargetMachine.h" |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 34 | #include "llvm/ADT/DepthFirstIterator.h" |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 35 | #include "llvm/ADT/Statistic.h" |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 36 | #include "llvm/Support/Debug.h" |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 37 | using namespace llvm; |
| 38 | |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 39 | namespace { |
Nick Lewycky | 6726b6d | 2009-10-25 06:33:48 +0000 | [diff] [blame] | 40 | struct StrongPHIElimination : public MachineFunctionPass { |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 41 | static char ID; // Pass identification, replacement for typeid |
Owen Anderson | 90c579d | 2010-08-06 18:33:48 +0000 | [diff] [blame] | 42 | StrongPHIElimination() : MachineFunctionPass(ID) {} |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 43 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 44 | // Waiting stores, for each MBB, the set of copies that need to |
| 45 | // be inserted into that MBB |
Owen Anderson | afc6de0 | 2007-12-10 08:07:09 +0000 | [diff] [blame] | 46 | DenseMap<MachineBasicBlock*, |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 47 | std::multimap<unsigned, unsigned> > Waiting; |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 48 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 49 | // Stacks holds the renaming stack for each register |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 50 | std::map<unsigned, std::vector<unsigned> > Stacks; |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 51 | |
| 52 | // Registers in UsedByAnother are PHI nodes that are themselves |
Dan Gohman | f451cb8 | 2010-02-10 16:03:48 +0000 | [diff] [blame] | 53 | // used as operands to another PHI node |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 54 | std::set<unsigned> UsedByAnother; |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 55 | |
Owen Anderson | a9efb26 | 2008-06-05 17:22:53 +0000 | [diff] [blame] | 56 | // RenameSets are the is a map from a PHI-defined register |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 57 | // to the input registers to be coalesced along with the |
| 58 | // predecessor block for those input registers. |
| 59 | std::map<unsigned, std::map<unsigned, MachineBasicBlock*> > RenameSets; |
Owen Anderson | dfd07ea | 2008-03-12 04:22:57 +0000 | [diff] [blame] | 60 | |
| 61 | // PhiValueNumber holds the ID numbers of the VNs for each phi that we're |
| 62 | // eliminating, indexed by the register defined by that phi. |
| 63 | std::map<unsigned, unsigned> PhiValueNumber; |
Owen Anderson | afc6de0 | 2007-12-10 08:07:09 +0000 | [diff] [blame] | 64 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 65 | // Store the DFS-in number of each block |
| 66 | DenseMap<MachineBasicBlock*, unsigned> preorder; |
| 67 | |
| 68 | // Store the DFS-out number of each block |
| 69 | DenseMap<MachineBasicBlock*, unsigned> maxpreorder; |
| 70 | |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 71 | bool runOnMachineFunction(MachineFunction &Fn); |
| 72 | |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 73 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
Dan Gohman | 845012e | 2009-07-31 23:37:33 +0000 | [diff] [blame] | 74 | AU.setPreservesCFG(); |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 75 | AU.addRequired<MachineDominatorTree>(); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 76 | AU.addRequired<SlotIndexes>(); |
| 77 | AU.addPreserved<SlotIndexes>(); |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 78 | AU.addRequired<LiveIntervals>(); |
| 79 | |
| 80 | // TODO: Actually make this true. |
| 81 | AU.addPreserved<LiveIntervals>(); |
Owen Anderson | 3947e4d | 2008-05-30 18:38:26 +0000 | [diff] [blame] | 82 | AU.addPreserved<RegisterCoalescer>(); |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 83 | MachineFunctionPass::getAnalysisUsage(AU); |
| 84 | } |
| 85 | |
| 86 | virtual void releaseMemory() { |
| 87 | preorder.clear(); |
| 88 | maxpreorder.clear(); |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 89 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 90 | Waiting.clear(); |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 91 | Stacks.clear(); |
| 92 | UsedByAnother.clear(); |
| 93 | RenameSets.clear(); |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 94 | } |
| 95 | |
| 96 | private: |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 97 | |
| 98 | /// DomForestNode - Represents a node in the "dominator forest". This is |
| 99 | /// a forest in which the nodes represent registers and the edges |
| 100 | /// represent a dominance relation in the block defining those registers. |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 101 | struct DomForestNode { |
| 102 | private: |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 103 | // Store references to our children |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 104 | std::vector<DomForestNode*> children; |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 105 | // The register we represent |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 106 | unsigned reg; |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 107 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 108 | // Add another node as our child |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 109 | void addChild(DomForestNode* DFN) { children.push_back(DFN); } |
| 110 | |
| 111 | public: |
| 112 | typedef std::vector<DomForestNode*>::iterator iterator; |
| 113 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 114 | // Create a DomForestNode by providing the register it represents, and |
| 115 | // the node to be its parent. The virtual root node has register 0 |
| 116 | // and a null parent. |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 117 | DomForestNode(unsigned r, DomForestNode* parent) : reg(r) { |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 118 | if (parent) |
| 119 | parent->addChild(this); |
| 120 | } |
| 121 | |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 122 | ~DomForestNode() { |
| 123 | for (iterator I = begin(), E = end(); I != E; ++I) |
| 124 | delete *I; |
| 125 | } |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 126 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 127 | /// getReg - Return the regiser that this node represents |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 128 | inline unsigned getReg() { return reg; } |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 129 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 130 | // Provide iterator access to our children |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 131 | inline DomForestNode::iterator begin() { return children.begin(); } |
| 132 | inline DomForestNode::iterator end() { return children.end(); } |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 133 | }; |
| 134 | |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 135 | void computeDFS(MachineFunction& MF); |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 136 | void processBlock(MachineBasicBlock* MBB); |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 137 | |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 138 | std::vector<DomForestNode*> computeDomForest( |
| 139 | std::map<unsigned, MachineBasicBlock*>& instrs, |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 140 | MachineRegisterInfo& MRI); |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 141 | void processPHIUnion(MachineInstr* Inst, |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 142 | std::map<unsigned, MachineBasicBlock*>& PHIUnion, |
Owen Anderson | 62d67dd | 2007-12-13 05:53:03 +0000 | [diff] [blame] | 143 | std::vector<StrongPHIElimination::DomForestNode*>& DF, |
| 144 | std::vector<std::pair<unsigned, unsigned> >& locals); |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 145 | void ScheduleCopies(MachineBasicBlock* MBB, std::set<unsigned>& pushed); |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 146 | void InsertCopies(MachineDomTreeNode* MBB, |
Owen Anderson | e46611e | 2008-03-24 04:11:27 +0000 | [diff] [blame] | 147 | SmallPtrSet<MachineBasicBlock*, 16>& v); |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 148 | bool mergeLiveIntervals(unsigned primary, unsigned secondary); |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 149 | }; |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 150 | } |
| 151 | |
Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 152 | char StrongPHIElimination::ID = 0; |
Owen Anderson | 2ab36d3 | 2010-10-12 19:48:12 +0000 | [diff] [blame^] | 153 | INITIALIZE_PASS_BEGIN(StrongPHIElimination, "strong-phi-node-elimination", |
| 154 | "Eliminate PHI nodes for register allocation, intelligently", false, false) |
| 155 | INITIALIZE_PASS_DEPENDENCY(MachineDominatorTree) |
| 156 | INITIALIZE_PASS_DEPENDENCY(SlotIndexes) |
| 157 | INITIALIZE_PASS_DEPENDENCY(LiveIntervals) |
| 158 | INITIALIZE_PASS_END(StrongPHIElimination, "strong-phi-node-elimination", |
Owen Anderson | ce665bd | 2010-10-07 22:25:06 +0000 | [diff] [blame] | 159 | "Eliminate PHI nodes for register allocation, intelligently", false, false) |
Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 160 | |
Owen Anderson | 90c579d | 2010-08-06 18:33:48 +0000 | [diff] [blame] | 161 | char &llvm::StrongPHIEliminationID = StrongPHIElimination::ID; |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 162 | |
| 163 | /// computeDFS - Computes the DFS-in and DFS-out numbers of the dominator tree |
| 164 | /// of the given MachineFunction. These numbers are then used in other parts |
| 165 | /// of the PHI elimination process. |
| 166 | void StrongPHIElimination::computeDFS(MachineFunction& MF) { |
| 167 | SmallPtrSet<MachineDomTreeNode*, 8> frontier; |
| 168 | SmallPtrSet<MachineDomTreeNode*, 8> visited; |
| 169 | |
| 170 | unsigned time = 0; |
| 171 | |
| 172 | MachineDominatorTree& DT = getAnalysis<MachineDominatorTree>(); |
| 173 | |
| 174 | MachineDomTreeNode* node = DT.getRootNode(); |
| 175 | |
| 176 | std::vector<MachineDomTreeNode*> worklist; |
| 177 | worklist.push_back(node); |
| 178 | |
| 179 | while (!worklist.empty()) { |
| 180 | MachineDomTreeNode* currNode = worklist.back(); |
| 181 | |
| 182 | if (!frontier.count(currNode)) { |
| 183 | frontier.insert(currNode); |
| 184 | ++time; |
| 185 | preorder.insert(std::make_pair(currNode->getBlock(), time)); |
| 186 | } |
| 187 | |
| 188 | bool inserted = false; |
Owen Anderson | bc91bd3 | 2008-03-31 01:39:20 +0000 | [diff] [blame] | 189 | for (MachineDomTreeNode::iterator I = currNode->begin(), E = currNode->end(); |
Owen Anderson | 0bda0e8 | 2007-10-31 03:37:57 +0000 | [diff] [blame] | 190 | I != E; ++I) |
| 191 | if (!frontier.count(*I) && !visited.count(*I)) { |
| 192 | worklist.push_back(*I); |
| 193 | inserted = true; |
| 194 | break; |
| 195 | } |
| 196 | |
| 197 | if (!inserted) { |
| 198 | frontier.erase(currNode); |
| 199 | visited.insert(currNode); |
| 200 | maxpreorder.insert(std::make_pair(currNode->getBlock(), time)); |
| 201 | |
| 202 | worklist.pop_back(); |
| 203 | } |
| 204 | } |
Duncan Sands | 1bd3271 | 2007-10-31 08:49:24 +0000 | [diff] [blame] | 205 | } |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 206 | |
Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 207 | namespace { |
| 208 | |
Owen Anderson | 8b96b9f | 2007-11-06 05:26:02 +0000 | [diff] [blame] | 209 | /// PreorderSorter - a helper class that is used to sort registers |
| 210 | /// according to the preorder number of their defining blocks |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 211 | class PreorderSorter { |
| 212 | private: |
| 213 | DenseMap<MachineBasicBlock*, unsigned>& preorder; |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 214 | MachineRegisterInfo& MRI; |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 215 | |
| 216 | public: |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 217 | PreorderSorter(DenseMap<MachineBasicBlock*, unsigned>& p, |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 218 | MachineRegisterInfo& M) : preorder(p), MRI(M) { } |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 219 | |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 220 | bool operator()(unsigned A, unsigned B) { |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 221 | if (A == B) |
| 222 | return false; |
| 223 | |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 224 | MachineBasicBlock* ABlock = MRI.getVRegDef(A)->getParent(); |
| 225 | MachineBasicBlock* BBlock = MRI.getVRegDef(B)->getParent(); |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 226 | |
| 227 | if (preorder[ABlock] < preorder[BBlock]) |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 228 | return true; |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 229 | else if (preorder[ABlock] > preorder[BBlock]) |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 230 | return false; |
| 231 | |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 232 | return false; |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 233 | } |
| 234 | }; |
| 235 | |
Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 236 | } |
| 237 | |
Owen Anderson | 8b96b9f | 2007-11-06 05:26:02 +0000 | [diff] [blame] | 238 | /// computeDomForest - compute the subforest of the DomTree corresponding |
| 239 | /// to the defining blocks of the registers in question |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 240 | std::vector<StrongPHIElimination::DomForestNode*> |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 241 | StrongPHIElimination::computeDomForest( |
| 242 | std::map<unsigned, MachineBasicBlock*>& regs, |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 243 | MachineRegisterInfo& MRI) { |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 244 | // Begin by creating a virtual root node, since the actual results |
| 245 | // may well be a forest. Assume this node has maximum DFS-out number. |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 246 | DomForestNode* VirtualRoot = new DomForestNode(0, 0); |
| 247 | maxpreorder.insert(std::make_pair((MachineBasicBlock*)0, ~0UL)); |
| 248 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 249 | // Populate a worklist with the registers |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 250 | std::vector<unsigned> worklist; |
| 251 | worklist.reserve(regs.size()); |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 252 | for (std::map<unsigned, MachineBasicBlock*>::iterator I = regs.begin(), |
| 253 | E = regs.end(); I != E; ++I) |
Owen Anderson | 0031671 | 2008-03-12 03:13:29 +0000 | [diff] [blame] | 254 | worklist.push_back(I->first); |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 255 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 256 | // Sort the registers by the DFS-in number of their defining block |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 257 | PreorderSorter PS(preorder, MRI); |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 258 | std::sort(worklist.begin(), worklist.end(), PS); |
| 259 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 260 | // Create a "current parent" stack, and put the virtual root on top of it |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 261 | DomForestNode* CurrentParent = VirtualRoot; |
| 262 | std::vector<DomForestNode*> stack; |
| 263 | stack.push_back(VirtualRoot); |
| 264 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 265 | // Iterate over all the registers in the previously computed order |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 266 | for (std::vector<unsigned>::iterator I = worklist.begin(), E = worklist.end(); |
| 267 | I != E; ++I) { |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 268 | unsigned pre = preorder[MRI.getVRegDef(*I)->getParent()]; |
Owen Anderson | cb7d949 | 2008-01-09 06:19:05 +0000 | [diff] [blame] | 269 | MachineBasicBlock* parentBlock = CurrentParent->getReg() ? |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 270 | MRI.getVRegDef(CurrentParent->getReg())->getParent() : |
Owen Anderson | cb7d949 | 2008-01-09 06:19:05 +0000 | [diff] [blame] | 271 | 0; |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 272 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 273 | // If the DFS-in number of the register is greater than the DFS-out number |
| 274 | // of the current parent, repeatedly pop the parent stack until it isn't. |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 275 | while (pre > maxpreorder[parentBlock]) { |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 276 | stack.pop_back(); |
| 277 | CurrentParent = stack.back(); |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 278 | |
Owen Anderson | 864e3a3 | 2008-01-09 10:41:39 +0000 | [diff] [blame] | 279 | parentBlock = CurrentParent->getReg() ? |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 280 | MRI.getVRegDef(CurrentParent->getReg())->getParent() : |
Owen Anderson | 864e3a3 | 2008-01-09 10:41:39 +0000 | [diff] [blame] | 281 | 0; |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 282 | } |
| 283 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 284 | // Now that we've found the appropriate parent, create a DomForestNode for |
| 285 | // this register and attach it to the forest |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 286 | DomForestNode* child = new DomForestNode(*I, CurrentParent); |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 287 | |
| 288 | // Push this new node on the "current parent" stack |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 289 | stack.push_back(child); |
| 290 | CurrentParent = child; |
| 291 | } |
| 292 | |
Owen Anderson | ec1213f | 2008-01-09 22:40:54 +0000 | [diff] [blame] | 293 | // Return a vector containing the children of the virtual root node |
Owen Anderson | 83430bc | 2007-11-04 22:33:26 +0000 | [diff] [blame] | 294 | std::vector<DomForestNode*> ret; |
| 295 | ret.insert(ret.end(), VirtualRoot->begin(), VirtualRoot->end()); |
| 296 | return ret; |
| 297 | } |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 298 | |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 299 | /// isLiveIn - helper method that determines, from a regno, if a register |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 300 | /// is live into a block |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 301 | static bool isLiveIn(unsigned r, MachineBasicBlock* MBB, |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 302 | LiveIntervals& LI) { |
| 303 | LiveInterval& I = LI.getOrCreateInterval(r); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 304 | SlotIndex idx = LI.getMBBStartIdx(MBB); |
Owen Anderson | d55fccd | 2008-10-12 20:39:30 +0000 | [diff] [blame] | 305 | return I.liveAt(idx); |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 306 | } |
| 307 | |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 308 | /// isLiveOut - help method that determines, from a regno, if a register is |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 309 | /// live out of a block. |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 310 | static bool isLiveOut(unsigned r, MachineBasicBlock* MBB, |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 311 | LiveIntervals& LI) { |
| 312 | for (MachineBasicBlock::succ_iterator PI = MBB->succ_begin(), |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 313 | E = MBB->succ_end(); PI != E; ++PI) |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 314 | if (isLiveIn(r, *PI, LI)) |
| 315 | return true; |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 316 | |
| 317 | return false; |
| 318 | } |
| 319 | |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 320 | /// interferes - checks for local interferences by scanning a block. The only |
| 321 | /// trick parameter is 'mode' which tells it the relationship of the two |
| 322 | /// registers. 0 - defined in the same block, 1 - first properly dominates |
| 323 | /// second, 2 - second properly dominates first |
Owen Anderson | b199cbe | 2008-01-10 00:33:11 +0000 | [diff] [blame] | 324 | static bool interferes(unsigned a, unsigned b, MachineBasicBlock* scan, |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 325 | LiveIntervals& LV, unsigned mode) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 326 | MachineInstr* def = 0; |
| 327 | MachineInstr* kill = 0; |
| 328 | |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 329 | // The code is still in SSA form at this point, so there is only one |
| 330 | // definition per VReg. Thus we can safely use MRI->getVRegDef(). |
| 331 | const MachineRegisterInfo* MRI = &scan->getParent()->getRegInfo(); |
Owen Anderson | b199cbe | 2008-01-10 00:33:11 +0000 | [diff] [blame] | 332 | |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 333 | bool interference = false; |
| 334 | |
| 335 | // Wallk the block, checking for interferences |
| 336 | for (MachineBasicBlock::iterator MBI = scan->begin(), MBE = scan->end(); |
| 337 | MBI != MBE; ++MBI) { |
| 338 | MachineInstr* curr = MBI; |
| 339 | |
| 340 | // Same defining block... |
| 341 | if (mode == 0) { |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 342 | if (curr == MRI->getVRegDef(a)) { |
| 343 | // If we find our first definition, save it |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 344 | if (!def) { |
| 345 | def = curr; |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 346 | // If there's already an unkilled definition, then |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 347 | // this is an interference |
| 348 | } else if (!kill) { |
| 349 | interference = true; |
| 350 | break; |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 351 | // If there's a definition followed by a KillInst, then |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 352 | // they can't interfere |
| 353 | } else { |
| 354 | interference = false; |
| 355 | break; |
| 356 | } |
| 357 | // Symmetric with the above |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 358 | } else if (curr == MRI->getVRegDef(b)) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 359 | if (!def) { |
| 360 | def = curr; |
| 361 | } else if (!kill) { |
| 362 | interference = true; |
| 363 | break; |
| 364 | } else { |
| 365 | interference = false; |
| 366 | break; |
| 367 | } |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 368 | // Store KillInsts if they match up with the definition |
Evan Cheng | 6130f66 | 2008-03-05 00:59:57 +0000 | [diff] [blame] | 369 | } else if (curr->killsRegister(a)) { |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 370 | if (def == MRI->getVRegDef(a)) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 371 | kill = curr; |
Evan Cheng | 6130f66 | 2008-03-05 00:59:57 +0000 | [diff] [blame] | 372 | } else if (curr->killsRegister(b)) { |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 373 | if (def == MRI->getVRegDef(b)) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 374 | kill = curr; |
| 375 | } |
| 376 | } |
| 377 | } |
| 378 | // First properly dominates second... |
| 379 | } else if (mode == 1) { |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 380 | if (curr == MRI->getVRegDef(b)) { |
| 381 | // Definition of second without kill of first is an interference |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 382 | if (!kill) { |
| 383 | interference = true; |
| 384 | break; |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 385 | // Definition after a kill is a non-interference |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 386 | } else { |
| 387 | interference = false; |
| 388 | break; |
| 389 | } |
| 390 | // Save KillInsts of First |
Evan Cheng | 6130f66 | 2008-03-05 00:59:57 +0000 | [diff] [blame] | 391 | } else if (curr->killsRegister(a)) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 392 | kill = curr; |
| 393 | } |
| 394 | // Symmetric with the above |
| 395 | } else if (mode == 2) { |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 396 | if (curr == MRI->getVRegDef(a)) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 397 | if (!kill) { |
| 398 | interference = true; |
| 399 | break; |
| 400 | } else { |
| 401 | interference = false; |
| 402 | break; |
| 403 | } |
Evan Cheng | 6130f66 | 2008-03-05 00:59:57 +0000 | [diff] [blame] | 404 | } else if (curr->killsRegister(b)) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 405 | kill = curr; |
| 406 | } |
| 407 | } |
| 408 | } |
| 409 | |
| 410 | return interference; |
| 411 | } |
| 412 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 413 | /// processBlock - Determine how to break up PHIs in the current block. Each |
| 414 | /// PHI is broken up by some combination of renaming its operands and inserting |
| 415 | /// copies. This method is responsible for determining which operands receive |
| 416 | /// which treatment. |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 417 | void StrongPHIElimination::processBlock(MachineBasicBlock* MBB) { |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 418 | LiveIntervals& LI = getAnalysis<LiveIntervals>(); |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 419 | MachineRegisterInfo& MRI = MBB->getParent()->getRegInfo(); |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 420 | |
| 421 | // Holds names that have been added to a set in any PHI within this block |
| 422 | // before the current one. |
| 423 | std::set<unsigned> ProcessedNames; |
| 424 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 425 | // Iterate over all the PHI nodes in this block |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 426 | MachineBasicBlock::iterator P = MBB->begin(); |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 427 | while (P != MBB->end() && P->isPHI()) { |
Owen Anderson | afc6de0 | 2007-12-10 08:07:09 +0000 | [diff] [blame] | 428 | unsigned DestReg = P->getOperand(0).getReg(); |
Owen Anderson | 9860b71 | 2008-08-06 20:29:20 +0000 | [diff] [blame] | 429 | |
Owen Anderson | d382f8a | 2008-03-26 03:03:23 +0000 | [diff] [blame] | 430 | // Don't both doing PHI elimination for dead PHI's. |
| 431 | if (P->registerDefIsDead(DestReg)) { |
| 432 | ++P; |
| 433 | continue; |
| 434 | } |
| 435 | |
Owen Anderson | dfd07ea | 2008-03-12 04:22:57 +0000 | [diff] [blame] | 436 | LiveInterval& PI = LI.getOrCreateInterval(DestReg); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 437 | SlotIndex pIdx = LI.getInstructionIndex(P).getDefIndex(); |
Owen Anderson | dfd07ea | 2008-03-12 04:22:57 +0000 | [diff] [blame] | 438 | VNInfo* PVN = PI.getLiveRangeContaining(pIdx)->valno; |
| 439 | PhiValueNumber.insert(std::make_pair(DestReg, PVN->id)); |
| 440 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 441 | // PHIUnion is the set of incoming registers to the PHI node that |
| 442 | // are going to be renames rather than having copies inserted. This set |
| 443 | // is refinded over the course of this function. UnionedBlocks is the set |
| 444 | // of corresponding MBBs. |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 445 | std::map<unsigned, MachineBasicBlock*> PHIUnion; |
Owen Anderson | e46611e | 2008-03-24 04:11:27 +0000 | [diff] [blame] | 446 | SmallPtrSet<MachineBasicBlock*, 8> UnionedBlocks; |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 447 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 448 | // Iterate over the operands of the PHI node |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 449 | for (int i = P->getNumOperands() - 1; i >= 2; i-=2) { |
| 450 | unsigned SrcReg = P->getOperand(i-1).getReg(); |
Owen Anderson | 9860b71 | 2008-08-06 20:29:20 +0000 | [diff] [blame] | 451 | |
| 452 | // Don't need to try to coalesce a register with itself. |
| 453 | if (SrcReg == DestReg) { |
| 454 | ProcessedNames.insert(SrcReg); |
| 455 | continue; |
| 456 | } |
Owen Anderson | 082d351 | 2008-09-26 18:50:46 +0000 | [diff] [blame] | 457 | |
| 458 | // We don't need to insert copies for implicit_defs. |
| 459 | MachineInstr* DefMI = MRI.getVRegDef(SrcReg); |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 460 | if (DefMI->isImplicitDef()) |
Owen Anderson | 082d351 | 2008-09-26 18:50:46 +0000 | [diff] [blame] | 461 | ProcessedNames.insert(SrcReg); |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 462 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 463 | // Check for trivial interferences via liveness information, allowing us |
| 464 | // to avoid extra work later. Any registers that interfere cannot both |
| 465 | // be in the renaming set, so choose one and add copies for it instead. |
| 466 | // The conditions are: |
| 467 | // 1) if the operand is live into the PHI node's block OR |
| 468 | // 2) if the PHI node is live out of the operand's defining block OR |
| 469 | // 3) if the operand is itself a PHI node and the original PHI is |
| 470 | // live into the operand's defining block OR |
| 471 | // 4) if the operand is already being renamed for another PHI node |
| 472 | // in this block OR |
| 473 | // 5) if any two operands are defined in the same block, insert copies |
| 474 | // for one of them |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 475 | if (isLiveIn(SrcReg, P->getParent(), LI) || |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 476 | isLiveOut(P->getOperand(0).getReg(), |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 477 | MRI.getVRegDef(SrcReg)->getParent(), LI) || |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 478 | ( MRI.getVRegDef(SrcReg)->isPHI() && |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 479 | isLiveIn(P->getOperand(0).getReg(), |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 480 | MRI.getVRegDef(SrcReg)->getParent(), LI) ) || |
Owen Anderson | afc6de0 | 2007-12-10 08:07:09 +0000 | [diff] [blame] | 481 | ProcessedNames.count(SrcReg) || |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 482 | UnionedBlocks.count(MRI.getVRegDef(SrcReg)->getParent())) { |
Owen Anderson | afc6de0 | 2007-12-10 08:07:09 +0000 | [diff] [blame] | 483 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 484 | // Add a copy for the selected register |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 485 | MachineBasicBlock* From = P->getOperand(i).getMBB(); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 486 | Waiting[From].insert(std::make_pair(SrcReg, DestReg)); |
| 487 | UsedByAnother.insert(SrcReg); |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 488 | } else { |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 489 | // Otherwise, add it to the renaming set |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 490 | PHIUnion.insert(std::make_pair(SrcReg,P->getOperand(i).getMBB())); |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 491 | UnionedBlocks.insert(MRI.getVRegDef(SrcReg)->getParent()); |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 492 | } |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 493 | } |
| 494 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 495 | // Compute the dominator forest for the renaming set. This is a forest |
| 496 | // where the nodes are the registers and the edges represent dominance |
| 497 | // relations between the defining blocks of the registers |
Owen Anderson | 42f9e96 | 2007-11-13 20:13:24 +0000 | [diff] [blame] | 498 | std::vector<StrongPHIElimination::DomForestNode*> DF = |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 499 | computeDomForest(PHIUnion, MRI); |
Owen Anderson | 42f9e96 | 2007-11-13 20:13:24 +0000 | [diff] [blame] | 500 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 501 | // Walk DomForest to resolve interferences at an inter-block level. This |
| 502 | // will remove registers from the renaming set (and insert copies for them) |
| 503 | // if interferences are found. |
Owen Anderson | 62d67dd | 2007-12-13 05:53:03 +0000 | [diff] [blame] | 504 | std::vector<std::pair<unsigned, unsigned> > localInterferences; |
| 505 | processPHIUnion(P, PHIUnion, DF, localInterferences); |
| 506 | |
Owen Anderson | 52b1733 | 2008-04-02 03:00:13 +0000 | [diff] [blame] | 507 | // If one of the inputs is defined in the same block as the current PHI |
| 508 | // then we need to check for a local interference between that input and |
| 509 | // the PHI. |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 510 | for (std::map<unsigned, MachineBasicBlock*>::iterator I = PHIUnion.begin(), |
Owen Anderson | 52b1733 | 2008-04-02 03:00:13 +0000 | [diff] [blame] | 511 | E = PHIUnion.end(); I != E; ++I) |
| 512 | if (MRI.getVRegDef(I->first)->getParent() == P->getParent()) |
| 513 | localInterferences.push_back(std::make_pair(I->first, |
| 514 | P->getOperand(0).getReg())); |
| 515 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 516 | // The dominator forest walk may have returned some register pairs whose |
Owen Anderson | 52b1733 | 2008-04-02 03:00:13 +0000 | [diff] [blame] | 517 | // interference cannot be determined from dominator analysis. We now |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 518 | // examine these pairs for local interferences. |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 519 | for (std::vector<std::pair<unsigned, unsigned> >::iterator I = |
| 520 | localInterferences.begin(), E = localInterferences.end(); I != E; ++I) { |
| 521 | std::pair<unsigned, unsigned> p = *I; |
| 522 | |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 523 | MachineDominatorTree& MDT = getAnalysis<MachineDominatorTree>(); |
| 524 | |
| 525 | // Determine the block we need to scan and the relationship between |
| 526 | // the two registers |
| 527 | MachineBasicBlock* scan = 0; |
| 528 | unsigned mode = 0; |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 529 | if (MRI.getVRegDef(p.first)->getParent() == |
| 530 | MRI.getVRegDef(p.second)->getParent()) { |
| 531 | scan = MRI.getVRegDef(p.first)->getParent(); |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 532 | mode = 0; // Same block |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 533 | } else if (MDT.dominates(MRI.getVRegDef(p.first)->getParent(), |
| 534 | MRI.getVRegDef(p.second)->getParent())) { |
| 535 | scan = MRI.getVRegDef(p.second)->getParent(); |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 536 | mode = 1; // First dominates second |
| 537 | } else { |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 538 | scan = MRI.getVRegDef(p.first)->getParent(); |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 539 | mode = 2; // Second dominates first |
| 540 | } |
| 541 | |
| 542 | // If there's an interference, we need to insert copies |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 543 | if (interferes(p.first, p.second, scan, LI, mode)) { |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 544 | // Insert copies for First |
| 545 | for (int i = P->getNumOperands() - 1; i >= 2; i-=2) { |
| 546 | if (P->getOperand(i-1).getReg() == p.first) { |
| 547 | unsigned SrcReg = p.first; |
| 548 | MachineBasicBlock* From = P->getOperand(i).getMBB(); |
| 549 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 550 | Waiting[From].insert(std::make_pair(SrcReg, |
| 551 | P->getOperand(0).getReg())); |
| 552 | UsedByAnother.insert(SrcReg); |
| 553 | |
Owen Anderson | 87a702b | 2007-12-16 05:44:27 +0000 | [diff] [blame] | 554 | PHIUnion.erase(SrcReg); |
| 555 | } |
| 556 | } |
| 557 | } |
| 558 | } |
Owen Anderson | 42f9e96 | 2007-11-13 20:13:24 +0000 | [diff] [blame] | 559 | |
Owen Anderson | 52b1733 | 2008-04-02 03:00:13 +0000 | [diff] [blame] | 560 | // Add the renaming set for this PHI node to our overall renaming information |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 561 | for (std::map<unsigned, MachineBasicBlock*>::iterator QI = PHIUnion.begin(), |
| 562 | QE = PHIUnion.end(); QI != QE; ++QI) { |
David Greene | dea8fbc | 2010-01-05 01:26:09 +0000 | [diff] [blame] | 563 | DEBUG(dbgs() << "Adding Renaming: " << QI->first << " -> " |
Chris Lattner | bbbfa99 | 2009-08-23 06:35:02 +0000 | [diff] [blame] | 564 | << P->getOperand(0).getReg() << "\n"); |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 565 | } |
| 566 | |
Owen Anderson | 0c5714b | 2008-01-08 21:54:52 +0000 | [diff] [blame] | 567 | RenameSets.insert(std::make_pair(P->getOperand(0).getReg(), PHIUnion)); |
Owen Anderson | cae8d8d | 2007-12-22 04:59:10 +0000 | [diff] [blame] | 568 | |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 569 | // Remember which registers are already renamed, so that we don't try to |
| 570 | // rename them for another PHI node in this block |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 571 | for (std::map<unsigned, MachineBasicBlock*>::iterator I = PHIUnion.begin(), |
Owen Anderson | 0031671 | 2008-03-12 03:13:29 +0000 | [diff] [blame] | 572 | E = PHIUnion.end(); I != E; ++I) |
| 573 | ProcessedNames.insert(I->first); |
Owen Anderson | dc4d655 | 2008-01-10 00:47:01 +0000 | [diff] [blame] | 574 | |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 575 | ++P; |
| 576 | } |
Owen Anderson | ee49b53 | 2007-11-06 05:22:43 +0000 | [diff] [blame] | 577 | } |
| 578 | |
Gabor Greif | 2cf36e0 | 2008-03-06 10:51:21 +0000 | [diff] [blame] | 579 | /// processPHIUnion - Take a set of candidate registers to be coalesced when |
Owen Anderson | 965b467 | 2007-12-16 04:07:23 +0000 | [diff] [blame] | 580 | /// decomposing the PHI instruction. Use the DominanceForest to remove the ones |
| 581 | /// that are known to interfere, and flag others that need to be checked for |
| 582 | /// local interferences. |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 583 | void StrongPHIElimination::processPHIUnion(MachineInstr* Inst, |
Owen Anderson | c12417e | 2008-07-24 17:12:16 +0000 | [diff] [blame] | 584 | std::map<unsigned, MachineBasicBlock*>& PHIUnion, |
Owen Anderson | 62d67dd | 2007-12-13 05:53:03 +0000 | [diff] [blame] | 585 | std::vector<StrongPHIElimination::DomForestNode*>& DF, |
| 586 | std::vector<std::pair<unsigned, unsigned> >& locals) { |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 587 | |
| 588 | std::vector<DomForestNode*> worklist(DF.begin(), DF.end()); |
| 589 | SmallPtrSet<DomForestNode*, 4> visited; |
| 590 | |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 591 | // Code is still in SSA form, so we can use MRI::getVRegDef() |
| 592 | MachineRegisterInfo& MRI = Inst->getParent()->getParent()->getRegInfo(); |
| 593 | |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 594 | LiveIntervals& LI = getAnalysis<LiveIntervals>(); |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 595 | unsigned DestReg = Inst->getOperand(0).getReg(); |
| 596 | |
Owen Anderson | 965b467 | 2007-12-16 04:07:23 +0000 | [diff] [blame] | 597 | // DF walk on the DomForest |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 598 | while (!worklist.empty()) { |
| 599 | DomForestNode* DFNode = worklist.back(); |
| 600 | |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 601 | visited.insert(DFNode); |
| 602 | |
| 603 | bool inserted = false; |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 604 | for (DomForestNode::iterator CI = DFNode->begin(), CE = DFNode->end(); |
| 605 | CI != CE; ++CI) { |
| 606 | DomForestNode* child = *CI; |
Owen Anderson | 3b48952 | 2008-01-21 22:01:01 +0000 | [diff] [blame] | 607 | |
| 608 | // If the current node is live-out of the defining block of one of its |
Owen Anderson | a6b1926 | 2008-01-21 22:03:00 +0000 | [diff] [blame] | 609 | // children, insert a copy for it. NOTE: The paper actually calls for |
| 610 | // a more elaborate heuristic for determining whether to insert copies |
| 611 | // for the child or the parent. In the interest of simplicity, we're |
| 612 | // just always choosing the parent. |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 613 | if (isLiveOut(DFNode->getReg(), |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 614 | MRI.getVRegDef(child->getReg())->getParent(), LI)) { |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 615 | // Insert copies for parent |
| 616 | for (int i = Inst->getNumOperands() - 1; i >= 2; i-=2) { |
| 617 | if (Inst->getOperand(i-1).getReg() == DFNode->getReg()) { |
Owen Anderson | ed2ffa2 | 2007-12-12 01:25:08 +0000 | [diff] [blame] | 618 | unsigned SrcReg = DFNode->getReg(); |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 619 | MachineBasicBlock* From = Inst->getOperand(i).getMBB(); |
| 620 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 621 | Waiting[From].insert(std::make_pair(SrcReg, DestReg)); |
| 622 | UsedByAnother.insert(SrcReg); |
| 623 | |
Owen Anderson | ed2ffa2 | 2007-12-12 01:25:08 +0000 | [diff] [blame] | 624 | PHIUnion.erase(SrcReg); |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 625 | } |
| 626 | } |
Owen Anderson | 3b48952 | 2008-01-21 22:01:01 +0000 | [diff] [blame] | 627 | |
| 628 | // If a node is live-in to the defining block of one of its children, but |
| 629 | // not live-out, then we need to scan that block for local interferences. |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 630 | } else if (isLiveIn(DFNode->getReg(), |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 631 | MRI.getVRegDef(child->getReg())->getParent(), LI) || |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 632 | MRI.getVRegDef(DFNode->getReg())->getParent() == |
| 633 | MRI.getVRegDef(child->getReg())->getParent()) { |
Owen Anderson | 62d67dd | 2007-12-13 05:53:03 +0000 | [diff] [blame] | 634 | // Add (p, c) to possible local interferences |
| 635 | locals.push_back(std::make_pair(DFNode->getReg(), child->getReg())); |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 636 | } |
Owen Anderson | 965b467 | 2007-12-16 04:07:23 +0000 | [diff] [blame] | 637 | |
Owen Anderson | 4ba08ec | 2007-12-13 05:43:37 +0000 | [diff] [blame] | 638 | if (!visited.count(child)) { |
| 639 | worklist.push_back(child); |
| 640 | inserted = true; |
Owen Anderson | d525f66 | 2007-12-11 20:12:11 +0000 | [diff] [blame] | 641 | } |
| 642 | } |
| 643 | |
| 644 | if (!inserted) worklist.pop_back(); |
| 645 | } |
| 646 | } |
| 647 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 648 | /// ScheduleCopies - Insert copies into predecessor blocks, scheduling |
| 649 | /// them properly so as to avoid the 'lost copy' and the 'virtual swap' |
| 650 | /// problems. |
| 651 | /// |
| 652 | /// Based on "Practical Improvements to the Construction and Destruction |
| 653 | /// of Static Single Assignment Form" by Briggs, et al. |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 654 | void StrongPHIElimination::ScheduleCopies(MachineBasicBlock* MBB, |
| 655 | std::set<unsigned>& pushed) { |
Owen Anderson | 38b4250 | 2008-06-04 17:55:58 +0000 | [diff] [blame] | 656 | // FIXME: This function needs to update LiveIntervals |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 657 | std::multimap<unsigned, unsigned>& copy_set= Waiting[MBB]; |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 658 | |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 659 | std::multimap<unsigned, unsigned> worklist; |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 660 | std::map<unsigned, unsigned> map; |
| 661 | |
| 662 | // Setup worklist of initial copies |
Argyrios Kyrtzidis | 0304b87 | 2008-10-04 08:11:49 +0000 | [diff] [blame] | 663 | for (std::multimap<unsigned, unsigned>::iterator I = copy_set.begin(), |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 664 | E = copy_set.end(); I != E; ) { |
| 665 | map.insert(std::make_pair(I->first, I->first)); |
| 666 | map.insert(std::make_pair(I->second, I->second)); |
| 667 | |
Owen Anderson | c7c0036 | 2008-03-29 01:58:47 +0000 | [diff] [blame] | 668 | if (!UsedByAnother.count(I->second)) { |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 669 | worklist.insert(*I); |
| 670 | |
| 671 | // Avoid iterator invalidation |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 672 | std::multimap<unsigned, unsigned>::iterator OI = I; |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 673 | ++I; |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 674 | copy_set.erase(OI); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 675 | } else { |
| 676 | ++I; |
| 677 | } |
| 678 | } |
| 679 | |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 680 | LiveIntervals& LI = getAnalysis<LiveIntervals>(); |
Owen Anderson | 0d893b4 | 2008-01-08 05:16:15 +0000 | [diff] [blame] | 681 | MachineFunction* MF = MBB->getParent(); |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 682 | MachineRegisterInfo& MRI = MF->getRegInfo(); |
Owen Anderson | 0d893b4 | 2008-01-08 05:16:15 +0000 | [diff] [blame] | 683 | const TargetInstrInfo *TII = MF->getTarget().getInstrInfo(); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 684 | |
Owen Anderson | 38b4250 | 2008-06-04 17:55:58 +0000 | [diff] [blame] | 685 | SmallVector<std::pair<unsigned, MachineInstr*>, 4> InsertedPHIDests; |
| 686 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 687 | // Iterate over the worklist, inserting copies |
| 688 | while (!worklist.empty() || !copy_set.empty()) { |
| 689 | while (!worklist.empty()) { |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 690 | std::multimap<unsigned, unsigned>::iterator WI = worklist.begin(); |
| 691 | std::pair<unsigned, unsigned> curr = *WI; |
| 692 | worklist.erase(WI); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 693 | |
Owen Anderson | 0d893b4 | 2008-01-08 05:16:15 +0000 | [diff] [blame] | 694 | const TargetRegisterClass *RC = MF->getRegInfo().getRegClass(curr.first); |
| 695 | |
Owen Anderson | eb37ecc | 2008-03-10 07:22:36 +0000 | [diff] [blame] | 696 | if (isLiveOut(curr.second, MBB, LI)) { |
Owen Anderson | 0d893b4 | 2008-01-08 05:16:15 +0000 | [diff] [blame] | 697 | // Create a temporary |
| 698 | unsigned t = MF->getRegInfo().createVirtualRegister(RC); |
| 699 | |
| 700 | // Insert copy from curr.second to a temporary at |
| 701 | // the Phi defining curr.second |
Owen Anderson | ddd060f | 2008-01-10 01:36:43 +0000 | [diff] [blame] | 702 | MachineBasicBlock::iterator PI = MRI.getVRegDef(curr.second); |
Jakob Stoklund Olesen | 1e1098c | 2010-07-10 22:42:59 +0000 | [diff] [blame] | 703 | BuildMI(*PI->getParent(), PI, DebugLoc(), TII->get(TargetOpcode::COPY), |
| 704 | t).addReg(curr.second); |
David Greene | dea8fbc | 2010-01-05 01:26:09 +0000 | [diff] [blame] | 705 | DEBUG(dbgs() << "Inserted copy from " << curr.second << " to " << t |
Chris Lattner | bbbfa99 | 2009-08-23 06:35:02 +0000 | [diff] [blame] | 706 | << "\n"); |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 707 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 708 | // Push temporary on Stacks |
Owen Anderson | 0d893b4 | 2008-01-08 05:16:15 +0000 | [diff] [blame] | 709 | Stacks[curr.second].push_back(t); |
| 710 | |
| 711 | // Insert curr.second in pushed |
| 712 | pushed.insert(curr.second); |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 713 | |
| 714 | // Create a live interval for this temporary |
| 715 | InsertedPHIDests.push_back(std::make_pair(t, --PI)); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 716 | } |
| 717 | |
| 718 | // Insert copy from map[curr.first] to curr.second |
Jakob Stoklund Olesen | 1e1098c | 2010-07-10 22:42:59 +0000 | [diff] [blame] | 719 | BuildMI(*MBB, MBB->getFirstTerminator(), DebugLoc(), |
| 720 | TII->get(TargetOpcode::COPY), curr.second).addReg(map[curr.first]); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 721 | map[curr.first] = curr.second; |
David Greene | dea8fbc | 2010-01-05 01:26:09 +0000 | [diff] [blame] | 722 | DEBUG(dbgs() << "Inserted copy from " << curr.first << " to " |
Chris Lattner | bbbfa99 | 2009-08-23 06:35:02 +0000 | [diff] [blame] | 723 | << curr.second << "\n"); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 724 | |
Owen Anderson | 38b4250 | 2008-06-04 17:55:58 +0000 | [diff] [blame] | 725 | // Push this copy onto InsertedPHICopies so we can |
| 726 | // update LiveIntervals with it. |
| 727 | MachineBasicBlock::iterator MI = MBB->getFirstTerminator(); |
| 728 | InsertedPHIDests.push_back(std::make_pair(curr.second, --MI)); |
| 729 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 730 | // If curr.first is a destination in copy_set... |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 731 | for (std::multimap<unsigned, unsigned>::iterator I = copy_set.begin(), |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 732 | E = copy_set.end(); I != E; ) |
| 733 | if (curr.first == I->second) { |
| 734 | std::pair<unsigned, unsigned> temp = *I; |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 735 | worklist.insert(temp); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 736 | |
| 737 | // Avoid iterator invalidation |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 738 | std::multimap<unsigned, unsigned>::iterator OI = I; |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 739 | ++I; |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 740 | copy_set.erase(OI); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 741 | |
| 742 | break; |
| 743 | } else { |
| 744 | ++I; |
| 745 | } |
| 746 | } |
| 747 | |
| 748 | if (!copy_set.empty()) { |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 749 | std::multimap<unsigned, unsigned>::iterator CI = copy_set.begin(); |
| 750 | std::pair<unsigned, unsigned> curr = *CI; |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 751 | worklist.insert(curr); |
Owen Anderson | 8481ee7 | 2008-10-02 19:40:33 +0000 | [diff] [blame] | 752 | copy_set.erase(CI); |
Owen Anderson | 27d6681 | 2008-08-13 17:25:42 +0000 | [diff] [blame] | 753 | |
| 754 | LiveInterval& I = LI.getInterval(curr.second); |
| 755 | MachineBasicBlock::iterator term = MBB->getFirstTerminator(); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 756 | SlotIndex endIdx = SlotIndex(); |
Owen Anderson | 27d6681 | 2008-08-13 17:25:42 +0000 | [diff] [blame] | 757 | if (term != MBB->end()) |
| 758 | endIdx = LI.getInstructionIndex(term); |
| 759 | else |
| 760 | endIdx = LI.getMBBEndIdx(MBB); |
| 761 | |
| 762 | if (I.liveAt(endIdx)) { |
| 763 | const TargetRegisterClass *RC = |
| 764 | MF->getRegInfo().getRegClass(curr.first); |
| 765 | |
| 766 | // Insert a copy from dest to a new temporary t at the end of b |
| 767 | unsigned t = MF->getRegInfo().createVirtualRegister(RC); |
Jakob Stoklund Olesen | 1e1098c | 2010-07-10 22:42:59 +0000 | [diff] [blame] | 768 | BuildMI(*MBB, MBB->getFirstTerminator(), DebugLoc(), |
| 769 | TII->get(TargetOpcode::COPY), t).addReg(curr.second); |
Owen Anderson | 27d6681 | 2008-08-13 17:25:42 +0000 | [diff] [blame] | 770 | map[curr.second] = t; |
| 771 | |
| 772 | MachineBasicBlock::iterator TI = MBB->getFirstTerminator(); |
| 773 | InsertedPHIDests.push_back(std::make_pair(t, --TI)); |
| 774 | } |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 775 | } |
| 776 | } |
Owen Anderson | 38b4250 | 2008-06-04 17:55:58 +0000 | [diff] [blame] | 777 | |
| 778 | // Renumber the instructions so that we can perform the index computations |
| 779 | // needed to create new live intervals. |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 780 | LI.renumber(); |
Owen Anderson | 38b4250 | 2008-06-04 17:55:58 +0000 | [diff] [blame] | 781 | |
| 782 | // For copies that we inserted at the ends of predecessors, we construct |
| 783 | // live intervals. This is pretty easy, since we know that the destination |
| 784 | // register cannot have be in live at that point previously. We just have |
| 785 | // to make sure that, for registers that serve as inputs to more than one |
| 786 | // PHI, we don't create multiple overlapping live intervals. |
| 787 | std::set<unsigned> RegHandled; |
| 788 | for (SmallVector<std::pair<unsigned, MachineInstr*>, 4>::iterator I = |
Owen Anderson | 27d6681 | 2008-08-13 17:25:42 +0000 | [diff] [blame] | 789 | InsertedPHIDests.begin(), E = InsertedPHIDests.end(); I != E; ++I) { |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 790 | if (RegHandled.insert(I->first).second) { |
| 791 | LiveInterval& Int = LI.getOrCreateInterval(I->first); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 792 | SlotIndex instrIdx = LI.getInstructionIndex(I->second); |
| 793 | if (Int.liveAt(instrIdx.getDefIndex())) |
| 794 | Int.removeRange(instrIdx.getDefIndex(), |
| 795 | LI.getMBBEndIdx(I->second->getParent()).getNextSlot(), |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 796 | true); |
| 797 | |
| 798 | LiveRange R = LI.addLiveRangeToEndOfBlock(I->first, I->second); |
Lang Hames | 52c1afc | 2009-08-10 23:43:28 +0000 | [diff] [blame] | 799 | R.valno->setCopy(I->second); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 800 | R.valno->def = LI.getInstructionIndex(I->second).getDefIndex(); |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 801 | } |
Owen Anderson | 27d6681 | 2008-08-13 17:25:42 +0000 | [diff] [blame] | 802 | } |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 803 | } |
| 804 | |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 805 | /// InsertCopies - insert copies into MBB and all of its successors |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 806 | void StrongPHIElimination::InsertCopies(MachineDomTreeNode* MDTN, |
Owen Anderson | e46611e | 2008-03-24 04:11:27 +0000 | [diff] [blame] | 807 | SmallPtrSet<MachineBasicBlock*, 16>& visited) { |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 808 | MachineBasicBlock* MBB = MDTN->getBlock(); |
Owen Anderson | 719fef6 | 2008-01-09 10:32:30 +0000 | [diff] [blame] | 809 | visited.insert(MBB); |
| 810 | |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 811 | std::set<unsigned> pushed; |
| 812 | |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 813 | LiveIntervals& LI = getAnalysis<LiveIntervals>(); |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 814 | // Rewrite register uses from Stacks |
| 815 | for (MachineBasicBlock::iterator I = MBB->begin(), E = MBB->end(); |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 816 | I != E; ++I) { |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 817 | if (I->isPHI()) |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 818 | continue; |
| 819 | |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 820 | for (unsigned i = 0; i < I->getNumOperands(); ++i) |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 821 | if (I->getOperand(i).isReg() && |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 822 | Stacks[I->getOperand(i).getReg()].size()) { |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 823 | // Remove the live range for the old vreg. |
| 824 | LiveInterval& OldInt = LI.getInterval(I->getOperand(i).getReg()); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 825 | LiveInterval::iterator OldLR = |
| 826 | OldInt.FindLiveRangeContaining(LI.getInstructionIndex(I).getUseIndex()); |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 827 | if (OldLR != OldInt.end()) |
| 828 | OldInt.removeRange(*OldLR, true); |
| 829 | |
| 830 | // Change the register |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 831 | I->getOperand(i).setReg(Stacks[I->getOperand(i).getReg()].back()); |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 832 | |
| 833 | // Add a live range for the new vreg |
| 834 | LiveInterval& Int = LI.getInterval(I->getOperand(i).getReg()); |
| 835 | VNInfo* FirstVN = *Int.vni_begin(); |
Lang Hames | 857c4e0 | 2009-06-17 21:01:20 +0000 | [diff] [blame] | 836 | FirstVN->setHasPHIKill(false); |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 837 | LiveRange LR (LI.getMBBStartIdx(I->getParent()), |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 838 | LI.getInstructionIndex(I).getUseIndex().getNextSlot(), |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 839 | FirstVN); |
| 840 | |
| 841 | Int.addRange(LR); |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 842 | } |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 843 | } |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 844 | |
| 845 | // Schedule the copies for this block |
| 846 | ScheduleCopies(MBB, pushed); |
| 847 | |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 848 | // Recur down the dominator tree. |
| 849 | for (MachineDomTreeNode::iterator I = MDTN->begin(), |
| 850 | E = MDTN->end(); I != E; ++I) |
| 851 | if (!visited.count((*I)->getBlock())) |
Owen Anderson | 719fef6 | 2008-01-09 10:32:30 +0000 | [diff] [blame] | 852 | InsertCopies(*I, visited); |
Owen Anderson | f1519e8 | 2007-12-24 22:12:23 +0000 | [diff] [blame] | 853 | |
| 854 | // As we exit this block, pop the names we pushed while processing it |
| 855 | for (std::set<unsigned>::iterator I = pushed.begin(), |
| 856 | E = pushed.end(); I != E; ++I) |
| 857 | Stacks[*I].pop_back(); |
| 858 | } |
| 859 | |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 860 | bool StrongPHIElimination::mergeLiveIntervals(unsigned primary, |
Owen Anderson | 27d6681 | 2008-08-13 17:25:42 +0000 | [diff] [blame] | 861 | unsigned secondary) { |
Owen Anderson | 755ebab | 2008-03-17 06:08:26 +0000 | [diff] [blame] | 862 | |
| 863 | LiveIntervals& LI = getAnalysis<LiveIntervals>(); |
| 864 | LiveInterval& LHS = LI.getOrCreateInterval(primary); |
| 865 | LiveInterval& RHS = LI.getOrCreateInterval(secondary); |
| 866 | |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 867 | LI.renumber(); |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 868 | |
Owen Anderson | b9fb8d1 | 2008-07-30 00:21:16 +0000 | [diff] [blame] | 869 | DenseMap<VNInfo*, VNInfo*> VNMap; |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 870 | for (LiveInterval::iterator I = RHS.begin(), E = RHS.end(); I != E; ++I) { |
| 871 | LiveRange R = *I; |
| 872 | |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 873 | SlotIndex Start = R.start; |
| 874 | SlotIndex End = R.end; |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 875 | if (LHS.getLiveRangeContaining(Start)) |
| 876 | return false; |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 877 | |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 878 | if (LHS.getLiveRangeContaining(End)) |
| 879 | return false; |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 880 | |
| 881 | LiveInterval::iterator RI = std::upper_bound(LHS.begin(), LHS.end(), R); |
| 882 | if (RI != LHS.end() && RI->start < End) |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 883 | return false; |
| 884 | } |
| 885 | |
| 886 | for (LiveInterval::iterator I = RHS.begin(), E = RHS.end(); I != E; ++I) { |
| 887 | LiveRange R = *I; |
| 888 | VNInfo* OldVN = R.valno; |
| 889 | VNInfo*& NewVN = VNMap[OldVN]; |
| 890 | if (!NewVN) { |
Lang Hames | 857c4e0 | 2009-06-17 21:01:20 +0000 | [diff] [blame] | 891 | NewVN = LHS.createValueCopy(OldVN, LI.getVNInfoAllocator()); |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 892 | } |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 893 | |
| 894 | LiveRange LR (R.start, R.end, NewVN); |
| 895 | LHS.addRange(LR); |
Owen Anderson | b9fb8d1 | 2008-07-30 00:21:16 +0000 | [diff] [blame] | 896 | } |
Owen Anderson | 55c6435 | 2008-07-25 21:08:41 +0000 | [diff] [blame] | 897 | |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 898 | LI.removeInterval(RHS.reg); |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 899 | |
| 900 | return true; |
Owen Anderson | 0031671 | 2008-03-12 03:13:29 +0000 | [diff] [blame] | 901 | } |
| 902 | |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 903 | bool StrongPHIElimination::runOnMachineFunction(MachineFunction &Fn) { |
Owen Anderson | c7c0036 | 2008-03-29 01:58:47 +0000 | [diff] [blame] | 904 | LiveIntervals& LI = getAnalysis<LiveIntervals>(); |
| 905 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 906 | // Compute DFS numbers of each block |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 907 | computeDFS(Fn); |
| 908 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 909 | // Determine which phi node operands need copies |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 910 | for (MachineFunction::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I) |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 911 | if (!I->empty() && I->begin()->isPHI()) |
Owen Anderson | 60a877d | 2007-11-07 05:17:15 +0000 | [diff] [blame] | 912 | processBlock(I); |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 913 | |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 914 | // Break interferences where two different phis want to coalesce |
| 915 | // in the same register. |
| 916 | std::set<unsigned> seen; |
| 917 | typedef std::map<unsigned, std::map<unsigned, MachineBasicBlock*> > |
| 918 | RenameSetType; |
| 919 | for (RenameSetType::iterator I = RenameSets.begin(), E = RenameSets.end(); |
| 920 | I != E; ++I) { |
| 921 | for (std::map<unsigned, MachineBasicBlock*>::iterator |
| 922 | OI = I->second.begin(), OE = I->second.end(); OI != OE; ) { |
| 923 | if (!seen.count(OI->first)) { |
| 924 | seen.insert(OI->first); |
| 925 | ++OI; |
| 926 | } else { |
| 927 | Waiting[OI->second].insert(std::make_pair(OI->first, I->first)); |
| 928 | unsigned reg = OI->first; |
| 929 | ++OI; |
| 930 | I->second.erase(reg); |
David Greene | dea8fbc | 2010-01-05 01:26:09 +0000 | [diff] [blame] | 931 | DEBUG(dbgs() << "Removing Renaming: " << reg << " -> " << I->first |
Chris Lattner | bbbfa99 | 2009-08-23 06:35:02 +0000 | [diff] [blame] | 932 | << "\n"); |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 933 | } |
| 934 | } |
| 935 | } |
| 936 | |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 937 | // Insert copies |
Owen Anderson | a9efb26 | 2008-06-05 17:22:53 +0000 | [diff] [blame] | 938 | // FIXME: This process should probably preserve LiveIntervals |
Owen Anderson | e46611e | 2008-03-24 04:11:27 +0000 | [diff] [blame] | 939 | SmallPtrSet<MachineBasicBlock*, 16> visited; |
Owen Anderson | 724acf1 | 2008-08-07 18:28:07 +0000 | [diff] [blame] | 940 | MachineDominatorTree& MDT = getAnalysis<MachineDominatorTree>(); |
| 941 | InsertCopies(MDT.getRootNode(), visited); |
Owen Anderson | efbcebc | 2007-12-23 15:37:26 +0000 | [diff] [blame] | 942 | |
Owen Anderson | 0c5714b | 2008-01-08 21:54:52 +0000 | [diff] [blame] | 943 | // Perform renaming |
Owen Anderson | 0c5714b | 2008-01-08 21:54:52 +0000 | [diff] [blame] | 944 | for (RenameSetType::iterator I = RenameSets.begin(), E = RenameSets.end(); |
| 945 | I != E; ++I) |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 946 | while (I->second.size()) { |
| 947 | std::map<unsigned, MachineBasicBlock*>::iterator SI = I->second.begin(); |
| 948 | |
David Greene | dea8fbc | 2010-01-05 01:26:09 +0000 | [diff] [blame] | 949 | DEBUG(dbgs() << "Renaming: " << SI->first << " -> " << I->first << "\n"); |
Owen Anderson | e04cec0 | 2008-09-22 21:58:58 +0000 | [diff] [blame] | 950 | |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 951 | if (SI->first != I->first) { |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 952 | if (mergeLiveIntervals(I->first, SI->first)) { |
| 953 | Fn.getRegInfo().replaceRegWith(SI->first, I->first); |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 954 | |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 955 | if (RenameSets.count(SI->first)) { |
| 956 | I->second.insert(RenameSets[SI->first].begin(), |
| 957 | RenameSets[SI->first].end()); |
| 958 | RenameSets.erase(SI->first); |
| 959 | } |
| 960 | } else { |
| 961 | // Insert a last-minute copy if a conflict was detected. |
| 962 | const TargetInstrInfo *TII = Fn.getTarget().getInstrInfo(); |
Jakob Stoklund Olesen | 1e1098c | 2010-07-10 22:42:59 +0000 | [diff] [blame] | 963 | BuildMI(*SI->second, SI->second->getFirstTerminator(), DebugLoc(), |
| 964 | TII->get(TargetOpcode::COPY), I->first).addReg(SI->first); |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 965 | |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 966 | LI.renumber(); |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 967 | |
| 968 | LiveInterval& Int = LI.getOrCreateInterval(I->first); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 969 | SlotIndex instrIdx = |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 970 | LI.getInstructionIndex(--SI->second->getFirstTerminator()); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 971 | if (Int.liveAt(instrIdx.getDefIndex())) |
| 972 | Int.removeRange(instrIdx.getDefIndex(), |
| 973 | LI.getMBBEndIdx(SI->second).getNextSlot(), true); |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 974 | |
| 975 | LiveRange R = LI.addLiveRangeToEndOfBlock(I->first, |
| 976 | --SI->second->getFirstTerminator()); |
Lang Hames | 52c1afc | 2009-08-10 23:43:28 +0000 | [diff] [blame] | 977 | R.valno->setCopy(--SI->second->getFirstTerminator()); |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 978 | R.valno->def = instrIdx.getDefIndex(); |
Owen Anderson | fae86ed | 2008-09-23 04:37:10 +0000 | [diff] [blame] | 979 | |
David Greene | dea8fbc | 2010-01-05 01:26:09 +0000 | [diff] [blame] | 980 | DEBUG(dbgs() << "Renaming failed: " << SI->first << " -> " |
Chris Lattner | bbbfa99 | 2009-08-23 06:35:02 +0000 | [diff] [blame] | 981 | << I->first << "\n"); |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 982 | } |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 983 | } |
| 984 | |
Owen Anderson | 05472ee | 2008-09-30 23:58:47 +0000 | [diff] [blame] | 985 | LiveInterval& Int = LI.getOrCreateInterval(I->first); |
| 986 | const LiveRange* LR = |
| 987 | Int.getLiveRangeContaining(LI.getMBBEndIdx(SI->second)); |
Lang Hames | 857c4e0 | 2009-06-17 21:01:20 +0000 | [diff] [blame] | 988 | LR->valno->setHasPHIKill(true); |
Owen Anderson | 05472ee | 2008-09-30 23:58:47 +0000 | [diff] [blame] | 989 | |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 990 | I->second.erase(SI->first); |
Owen Anderson | 0031671 | 2008-03-12 03:13:29 +0000 | [diff] [blame] | 991 | } |
Owen Anderson | 0c5714b | 2008-01-08 21:54:52 +0000 | [diff] [blame] | 992 | |
Owen Anderson | 0c5714b | 2008-01-08 21:54:52 +0000 | [diff] [blame] | 993 | // Remove PHIs |
Owen Anderson | 97ca75e | 2008-01-22 23:58:54 +0000 | [diff] [blame] | 994 | std::vector<MachineInstr*> phis; |
| 995 | for (MachineFunction::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I) { |
Owen Anderson | 0c5714b | 2008-01-08 21:54:52 +0000 | [diff] [blame] | 996 | for (MachineBasicBlock::iterator BI = I->begin(), BE = I->end(); |
| 997 | BI != BE; ++BI) |
Chris Lattner | 518bb53 | 2010-02-09 19:54:29 +0000 | [diff] [blame] | 998 | if (BI->isPHI()) |
Owen Anderson | 97ca75e | 2008-01-22 23:58:54 +0000 | [diff] [blame] | 999 | phis.push_back(BI); |
| 1000 | } |
| 1001 | |
| 1002 | for (std::vector<MachineInstr*>::iterator I = phis.begin(), E = phis.end(); |
Owen Anderson | c7c0036 | 2008-03-29 01:58:47 +0000 | [diff] [blame] | 1003 | I != E; ) { |
| 1004 | MachineInstr* PInstr = *(I++); |
| 1005 | |
Owen Anderson | 71ac0be | 2008-08-05 21:18:51 +0000 | [diff] [blame] | 1006 | // If this is a dead PHI node, then remove it from LiveIntervals. |
| 1007 | unsigned DestReg = PInstr->getOperand(0).getReg(); |
| 1008 | LiveInterval& PI = LI.getInterval(DestReg); |
| 1009 | if (PInstr->registerDefIsDead(DestReg)) { |
| 1010 | if (PI.containsOneValue()) { |
| 1011 | LI.removeInterval(DestReg); |
| 1012 | } else { |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 1013 | SlotIndex idx = LI.getInstructionIndex(PInstr).getDefIndex(); |
Owen Anderson | 71ac0be | 2008-08-05 21:18:51 +0000 | [diff] [blame] | 1014 | PI.removeRange(*PI.getLiveRangeContaining(idx), true); |
| 1015 | } |
| 1016 | } else { |
Owen Anderson | e7b8205 | 2008-08-05 20:51:26 +0000 | [diff] [blame] | 1017 | // Trim live intervals of input registers. They are no longer live into |
Owen Anderson | 9b49120 | 2008-08-06 18:36:17 +0000 | [diff] [blame] | 1018 | // this block if they died after the PHI. If they lived after it, don't |
| 1019 | // trim them because they might have other legitimate uses. |
Owen Anderson | e7b8205 | 2008-08-05 20:51:26 +0000 | [diff] [blame] | 1020 | for (unsigned i = 1; i < PInstr->getNumOperands(); i += 2) { |
| 1021 | unsigned reg = PInstr->getOperand(i).getReg(); |
Owen Anderson | 883771f | 2008-08-06 22:08:58 +0000 | [diff] [blame] | 1022 | |
Owen Anderson | e7b8205 | 2008-08-05 20:51:26 +0000 | [diff] [blame] | 1023 | MachineBasicBlock* MBB = PInstr->getOperand(i+1).getMBB(); |
| 1024 | LiveInterval& InputI = LI.getInterval(reg); |
| 1025 | if (MBB != PInstr->getParent() && |
Owen Anderson | 9b49120 | 2008-08-06 18:36:17 +0000 | [diff] [blame] | 1026 | InputI.liveAt(LI.getMBBStartIdx(PInstr->getParent())) && |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 1027 | InputI.expiredAt(LI.getInstructionIndex(PInstr).getNextIndex())) |
Owen Anderson | e7b8205 | 2008-08-05 20:51:26 +0000 | [diff] [blame] | 1028 | InputI.removeRange(LI.getMBBStartIdx(PInstr->getParent()), |
| 1029 | LI.getInstructionIndex(PInstr), |
| 1030 | true); |
Owen Anderson | d382f8a | 2008-03-26 03:03:23 +0000 | [diff] [blame] | 1031 | } |
Owen Anderson | e7b8205 | 2008-08-05 20:51:26 +0000 | [diff] [blame] | 1032 | |
Owen Anderson | 71ac0be | 2008-08-05 21:18:51 +0000 | [diff] [blame] | 1033 | // If the PHI is not dead, then the valno defined by the PHI |
| 1034 | // now has an unknown def. |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 1035 | SlotIndex idx = LI.getInstructionIndex(PInstr).getDefIndex(); |
Owen Anderson | 71ac0be | 2008-08-05 21:18:51 +0000 | [diff] [blame] | 1036 | const LiveRange* PLR = PI.getLiveRangeContaining(idx); |
Lang Hames | 857c4e0 | 2009-06-17 21:01:20 +0000 | [diff] [blame] | 1037 | PLR->valno->setIsPHIDef(true); |
Owen Anderson | 71ac0be | 2008-08-05 21:18:51 +0000 | [diff] [blame] | 1038 | LiveRange R (LI.getMBBStartIdx(PInstr->getParent()), |
| 1039 | PLR->start, PLR->valno); |
| 1040 | PI.addRange(R); |
Owen Anderson | d382f8a | 2008-03-26 03:03:23 +0000 | [diff] [blame] | 1041 | } |
Owen Anderson | 59df878 | 2008-04-02 02:12:45 +0000 | [diff] [blame] | 1042 | |
Owen Anderson | c7c0036 | 2008-03-29 01:58:47 +0000 | [diff] [blame] | 1043 | LI.RemoveMachineInstrFromMaps(PInstr); |
| 1044 | PInstr->eraseFromParent(); |
Owen Anderson | e46611e | 2008-03-24 04:11:27 +0000 | [diff] [blame] | 1045 | } |
Owen Anderson | cae8d8d | 2007-12-22 04:59:10 +0000 | [diff] [blame] | 1046 | |
Lang Hames | 233a60e | 2009-11-03 23:52:08 +0000 | [diff] [blame] | 1047 | LI.renumber(); |
Owen Anderson | 3947e4d | 2008-05-30 18:38:26 +0000 | [diff] [blame] | 1048 | |
Owen Anderson | c7c0036 | 2008-03-29 01:58:47 +0000 | [diff] [blame] | 1049 | return true; |
Owen Anderson | a4ad2e7 | 2007-11-06 04:49:43 +0000 | [diff] [blame] | 1050 | } |