| Jim Grosbach | 905c952 | 2012-02-17 17:35:10 +0000 | [diff] [blame] | 1 | //===-- LiveRangeEdit.cpp - Basic tools for editing a register live range -===// | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 2 | // | 
|  | 3 | //                     The LLVM Compiler Infrastructure | 
|  | 4 | // | 
|  | 5 | // This file is distributed under the University of Illinois Open Source | 
|  | 6 | // License. See LICENSE.TXT for details. | 
|  | 7 | // | 
|  | 8 | //===----------------------------------------------------------------------===// | 
|  | 9 | // | 
|  | 10 | // The LiveRangeEdit class represents changes done to a virtual register when it | 
|  | 11 | // is spilled or split. | 
|  | 12 | //===----------------------------------------------------------------------===// | 
|  | 13 |  | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 14 | #include "llvm/CodeGen/LiveRangeEdit.h" | 
| Jakob Stoklund Olesen | c5a8c08 | 2011-05-05 17:22:53 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/Statistic.h" | 
| Jakob Stoklund Olesen | e991f72 | 2011-03-29 21:20:19 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/CalcSpillWeights.h" | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/LiveIntervalAnalysis.h" | 
|  | 18 | #include "llvm/CodeGen/MachineRegisterInfo.h" | 
| Jakob Stoklund Olesen | 26c9d70 | 2012-11-28 19:13:06 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/VirtRegMap.h" | 
| Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 20 | #include "llvm/Support/Debug.h" | 
|  | 21 | #include "llvm/Support/raw_ostream.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 22 | #include "llvm/Target/TargetInstrInfo.h" | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 23 |  | 
|  | 24 | using namespace llvm; | 
|  | 25 |  | 
| Chandler Carruth | 1b9dde0 | 2014-04-22 02:02:50 +0000 | [diff] [blame] | 26 | #define DEBUG_TYPE "regalloc" | 
|  | 27 |  | 
| Jakob Stoklund Olesen | c5a8c08 | 2011-05-05 17:22:53 +0000 | [diff] [blame] | 28 | STATISTIC(NumDCEDeleted,     "Number of instructions deleted by DCE"); | 
|  | 29 | STATISTIC(NumDCEFoldedLoads, "Number of single use loads folded after DCE"); | 
|  | 30 | STATISTIC(NumFracRanges,     "Number of live ranges fractured by DCE"); | 
|  | 31 |  | 
| David Blaikie | a379b181 | 2011-12-20 02:50:00 +0000 | [diff] [blame] | 32 | void LiveRangeEdit::Delegate::anchor() { } | 
|  | 33 |  | 
| Mark Lacey | 9d8103d | 2013-08-14 23:50:16 +0000 | [diff] [blame] | 34 | LiveInterval &LiveRangeEdit::createEmptyIntervalFrom(unsigned OldReg) { | 
| Jakob Stoklund Olesen | 8630840 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 35 | unsigned VReg = MRI.createVirtualRegister(MRI.getRegClass(OldReg)); | 
| Pete Cooper | 4f0dbb2 | 2012-04-03 00:28:46 +0000 | [diff] [blame] | 36 | if (VRM) { | 
| Pete Cooper | 4f0dbb2 | 2012-04-03 00:28:46 +0000 | [diff] [blame] | 37 | VRM->setIsSplitFromReg(VReg, VRM->getOriginal(OldReg)); | 
|  | 38 | } | 
| Mark Lacey | 9d8103d | 2013-08-14 23:50:16 +0000 | [diff] [blame] | 39 | LiveInterval &LI = LIS.createEmptyInterval(VReg); | 
| Jakob Stoklund Olesen | 8630840 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 40 | return LI; | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 41 | } | 
|  | 42 |  | 
| Mark Lacey | 9d8103d | 2013-08-14 23:50:16 +0000 | [diff] [blame] | 43 | unsigned LiveRangeEdit::createFrom(unsigned OldReg) { | 
|  | 44 | unsigned VReg = MRI.createVirtualRegister(MRI.getRegClass(OldReg)); | 
|  | 45 | if (VRM) { | 
|  | 46 | VRM->setIsSplitFromReg(VReg, VRM->getOriginal(OldReg)); | 
|  | 47 | } | 
|  | 48 | return VReg; | 
|  | 49 | } | 
|  | 50 |  | 
| Jakob Stoklund Olesen | 86e53ce | 2011-04-20 22:14:20 +0000 | [diff] [blame] | 51 | bool LiveRangeEdit::checkRematerializable(VNInfo *VNI, | 
| Jakob Stoklund Olesen | d8af529 | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 52 | const MachineInstr *DefMI, | 
| Jakob Stoklund Olesen | d8af529 | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 53 | AliasAnalysis *aa) { | 
|  | 54 | assert(DefMI && "Missing instruction"); | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 55 | ScannedRemattable = true; | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 56 | if (!TII.isTriviallyReMaterializable(DefMI, aa)) | 
| Jakob Stoklund Olesen | 86e53ce | 2011-04-20 22:14:20 +0000 | [diff] [blame] | 57 | return false; | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 58 | Remattable.insert(VNI); | 
| Jakob Stoklund Olesen | 86e53ce | 2011-04-20 22:14:20 +0000 | [diff] [blame] | 59 | return true; | 
| Jakob Stoklund Olesen | d8af529 | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 60 | } | 
|  | 61 |  | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 62 | void LiveRangeEdit::scanRemattable(AliasAnalysis *aa) { | 
| Matthias Braun | 9676195 | 2014-12-10 23:07:54 +0000 | [diff] [blame] | 63 | for (VNInfo *VNI : getParent().valnos) { | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 64 | if (VNI->isUnused()) | 
|  | 65 | continue; | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 66 | MachineInstr *DefMI = LIS.getInstructionFromIndex(VNI->def); | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 67 | if (!DefMI) | 
|  | 68 | continue; | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 69 | checkRematerializable(VNI, DefMI, aa); | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 70 | } | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 71 | ScannedRemattable = true; | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 72 | } | 
|  | 73 |  | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 74 | bool LiveRangeEdit::anyRematerializable(AliasAnalysis *aa) { | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 75 | if (!ScannedRemattable) | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 76 | scanRemattable(aa); | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 77 | return !Remattable.empty(); | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 78 | } | 
|  | 79 |  | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 80 | /// allUsesAvailableAt - Return true if all registers used by OrigMI at | 
|  | 81 | /// OrigIdx are also available with the same value at UseIdx. | 
|  | 82 | bool LiveRangeEdit::allUsesAvailableAt(const MachineInstr *OrigMI, | 
|  | 83 | SlotIndex OrigIdx, | 
| Jakub Staszak | 26ac8a7 | 2013-03-18 23:40:46 +0000 | [diff] [blame] | 84 | SlotIndex UseIdx) const { | 
| Jakob Stoklund Olesen | 90b5e56 | 2011-11-13 20:45:27 +0000 | [diff] [blame] | 85 | OrigIdx = OrigIdx.getRegSlot(true); | 
|  | 86 | UseIdx = UseIdx.getRegSlot(true); | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 87 | for (unsigned i = 0, e = OrigMI->getNumOperands(); i != e; ++i) { | 
|  | 88 | const MachineOperand &MO = OrigMI->getOperand(i); | 
| Jakob Stoklund Olesen | 7809578 | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 89 | if (!MO.isReg() || !MO.getReg() || !MO.readsReg()) | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 90 | continue; | 
| Jakob Stoklund Olesen | 7809578 | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 91 |  | 
|  | 92 | // We can't remat physreg uses, unless it is a constant. | 
|  | 93 | if (TargetRegisterInfo::isPhysicalRegister(MO.getReg())) { | 
| Jakob Stoklund Olesen | 1d19582 | 2012-09-27 16:34:19 +0000 | [diff] [blame] | 94 | if (MRI.isConstantPhysReg(MO.getReg(), *OrigMI->getParent()->getParent())) | 
| Jakob Stoklund Olesen | 7809578 | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 95 | continue; | 
|  | 96 | return false; | 
|  | 97 | } | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 98 |  | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 99 | LiveInterval &li = LIS.getInterval(MO.getReg()); | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 100 | const VNInfo *OVNI = li.getVNInfoAt(OrigIdx); | 
|  | 101 | if (!OVNI) | 
|  | 102 | continue; | 
| Jakob Stoklund Olesen | 4df59a9 | 2012-10-16 22:51:58 +0000 | [diff] [blame] | 103 |  | 
|  | 104 | // Don't allow rematerialization immediately after the original def. | 
|  | 105 | // It would be incorrect if OrigMI redefines the register. | 
|  | 106 | // See PR14098. | 
|  | 107 | if (SlotIndex::isSameInstr(OrigIdx, UseIdx)) | 
|  | 108 | return false; | 
|  | 109 |  | 
| Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 110 | if (OVNI != li.getVNInfoAt(UseIdx)) | 
|  | 111 | return false; | 
|  | 112 | } | 
|  | 113 | return true; | 
|  | 114 | } | 
|  | 115 |  | 
| Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 116 | bool LiveRangeEdit::canRematerializeAt(Remat &RM, | 
|  | 117 | SlotIndex UseIdx, | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 118 | bool cheapAsAMove) { | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 119 | assert(ScannedRemattable && "Call anyRematerializable first"); | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 120 |  | 
|  | 121 | // Use scanRemattable info. | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 122 | if (!Remattable.count(RM.ParentVNI)) | 
| Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 123 | return false; | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 124 |  | 
| Jakob Stoklund Olesen | d8af529 | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 125 | // No defining instruction provided. | 
|  | 126 | SlotIndex DefIdx; | 
|  | 127 | if (RM.OrigMI) | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 128 | DefIdx = LIS.getInstructionIndex(RM.OrigMI); | 
| Jakob Stoklund Olesen | d8af529 | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 129 | else { | 
|  | 130 | DefIdx = RM.ParentVNI->def; | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 131 | RM.OrigMI = LIS.getInstructionFromIndex(DefIdx); | 
| Jakob Stoklund Olesen | d8af529 | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 132 | assert(RM.OrigMI && "No defining instruction for remattable value"); | 
|  | 133 | } | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 134 |  | 
|  | 135 | // If only cheap remats were requested, bail out early. | 
| Jiangning Liu | c305312 | 2014-07-29 01:55:19 +0000 | [diff] [blame] | 136 | if (cheapAsAMove && !TII.isAsCheapAsAMove(RM.OrigMI)) | 
| Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 137 | return false; | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 138 |  | 
|  | 139 | // Verify that all used registers are available with the same values. | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 140 | if (!allUsesAvailableAt(RM.OrigMI, DefIdx, UseIdx)) | 
| Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 141 | return false; | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 142 |  | 
| Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 143 | return true; | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 144 | } | 
|  | 145 |  | 
|  | 146 | SlotIndex LiveRangeEdit::rematerializeAt(MachineBasicBlock &MBB, | 
|  | 147 | MachineBasicBlock::iterator MI, | 
|  | 148 | unsigned DestReg, | 
|  | 149 | const Remat &RM, | 
| Jakob Stoklund Olesen | 7d40679 | 2011-05-02 05:29:58 +0000 | [diff] [blame] | 150 | const TargetRegisterInfo &tri, | 
|  | 151 | bool Late) { | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 152 | assert(RM.OrigMI && "Invalid remat"); | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 153 | TII.reMaterialize(MBB, MI, DestReg, 0, RM.OrigMI, tri); | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 154 | Rematted.insert(RM.ParentVNI); | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 155 | return LIS.getSlotIndexes()->insertMachineInstrInMaps(--MI, Late) | 
| Jakob Stoklund Olesen | 90b5e56 | 2011-11-13 20:45:27 +0000 | [diff] [blame] | 156 | .getRegSlot(); | 
| Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 157 | } | 
|  | 158 |  | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 159 | void LiveRangeEdit::eraseVirtReg(unsigned Reg) { | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 160 | if (TheDelegate && TheDelegate->LRE_CanEraseVirtReg(Reg)) | 
| Jakob Stoklund Olesen | 43a8750 | 2011-03-13 01:23:11 +0000 | [diff] [blame] | 161 | LIS.removeInterval(Reg); | 
|  | 162 | } | 
|  | 163 |  | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 164 | bool LiveRangeEdit::foldAsLoad(LiveInterval *LI, | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 165 | SmallVectorImpl<MachineInstr*> &Dead) { | 
| Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 166 | MachineInstr *DefMI = nullptr, *UseMI = nullptr; | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 167 |  | 
|  | 168 | // Check that there is a single def and a single use. | 
| Owen Anderson | b36376e | 2014-03-17 19:36:09 +0000 | [diff] [blame] | 169 | for (MachineOperand &MO : MRI.reg_nodbg_operands(LI->reg)) { | 
|  | 170 | MachineInstr *MI = MO.getParent(); | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 171 | if (MO.isDef()) { | 
|  | 172 | if (DefMI && DefMI != MI) | 
|  | 173 | return false; | 
| Evan Cheng | 7f8e563 | 2011-12-07 07:15:52 +0000 | [diff] [blame] | 174 | if (!MI->canFoldAsLoad()) | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 175 | return false; | 
|  | 176 | DefMI = MI; | 
|  | 177 | } else if (!MO.isUndef()) { | 
|  | 178 | if (UseMI && UseMI != MI) | 
|  | 179 | return false; | 
|  | 180 | // FIXME: Targets don't know how to fold subreg uses. | 
|  | 181 | if (MO.getSubReg()) | 
|  | 182 | return false; | 
|  | 183 | UseMI = MI; | 
|  | 184 | } | 
|  | 185 | } | 
|  | 186 | if (!DefMI || !UseMI) | 
|  | 187 | return false; | 
|  | 188 |  | 
| Jakob Stoklund Olesen | e2cfd0d | 2012-07-20 21:29:31 +0000 | [diff] [blame] | 189 | // Since we're moving the DefMI load, make sure we're not extending any live | 
|  | 190 | // ranges. | 
|  | 191 | if (!allUsesAvailableAt(DefMI, | 
|  | 192 | LIS.getInstructionIndex(DefMI), | 
|  | 193 | LIS.getInstructionIndex(UseMI))) | 
|  | 194 | return false; | 
|  | 195 |  | 
|  | 196 | // We also need to make sure it is safe to move the load. | 
|  | 197 | // Assume there are stores between DefMI and UseMI. | 
|  | 198 | bool SawStore = true; | 
| Matthias Braun | 07066cc | 2015-05-19 21:22:20 +0000 | [diff] [blame] | 199 | if (!DefMI->isSafeToMove(nullptr, SawStore)) | 
| Jakob Stoklund Olesen | e2cfd0d | 2012-07-20 21:29:31 +0000 | [diff] [blame] | 200 | return false; | 
|  | 201 |  | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 202 | DEBUG(dbgs() << "Try to fold single def: " << *DefMI | 
|  | 203 | << "       into single use: " << *UseMI); | 
|  | 204 |  | 
|  | 205 | SmallVector<unsigned, 8> Ops; | 
|  | 206 | if (UseMI->readsWritesVirtualRegister(LI->reg, &Ops).second) | 
|  | 207 | return false; | 
|  | 208 |  | 
|  | 209 | MachineInstr *FoldMI = TII.foldMemoryOperand(UseMI, Ops, DefMI); | 
|  | 210 | if (!FoldMI) | 
|  | 211 | return false; | 
|  | 212 | DEBUG(dbgs() << "                folded: " << *FoldMI); | 
|  | 213 | LIS.ReplaceMachineInstrInMaps(UseMI, FoldMI); | 
|  | 214 | UseMI->eraseFromParent(); | 
| Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 215 | DefMI->addRegisterDead(LI->reg, nullptr); | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 216 | Dead.push_back(DefMI); | 
| Jakob Stoklund Olesen | c5a8c08 | 2011-05-05 17:22:53 +0000 | [diff] [blame] | 217 | ++NumDCEFoldedLoads; | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 218 | return true; | 
|  | 219 | } | 
|  | 220 |  | 
| Matthias Braun | c1e029e | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 221 | bool LiveRangeEdit::useIsKill(const LiveInterval &LI, | 
|  | 222 | const MachineOperand &MO) const { | 
|  | 223 | const MachineInstr *MI = MO.getParent(); | 
|  | 224 | SlotIndex Idx = LIS.getInstructionIndex(MI).getRegSlot(); | 
|  | 225 | if (LI.Query(Idx).isKill()) | 
|  | 226 | return true; | 
|  | 227 | const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); | 
|  | 228 | unsigned SubReg = MO.getSubReg(); | 
| Matthias Braun | e6a2485 | 2015-09-25 21:51:14 +0000 | [diff] [blame] | 229 | LaneBitmask LaneMask = TRI.getSubRegIndexLaneMask(SubReg); | 
| Matthias Braun | c1e029e | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 230 | for (const LiveInterval::SubRange &S : LI.subranges()) { | 
|  | 231 | if ((S.LaneMask & LaneMask) != 0 && S.Query(Idx).isKill()) | 
|  | 232 | return true; | 
|  | 233 | } | 
|  | 234 | return false; | 
|  | 235 | } | 
|  | 236 |  | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 237 | /// Find all live intervals that need to shrink, then remove the instruction. | 
|  | 238 | void LiveRangeEdit::eliminateDeadDef(MachineInstr *MI, ToShrinkSet &ToShrink) { | 
|  | 239 | assert(MI->allDefsAreDead() && "Def isn't really dead"); | 
|  | 240 | SlotIndex Idx = LIS.getInstructionIndex(MI).getRegSlot(); | 
|  | 241 |  | 
| Andrew Trick | cbd7305 | 2013-06-22 00:33:48 +0000 | [diff] [blame] | 242 | // Never delete a bundled instruction. | 
|  | 243 | if (MI->isBundled()) { | 
|  | 244 | return; | 
|  | 245 | } | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 246 | // Never delete inline asm. | 
|  | 247 | if (MI->isInlineAsm()) { | 
|  | 248 | DEBUG(dbgs() << "Won't delete: " << Idx << '\t' << *MI); | 
|  | 249 | return; | 
|  | 250 | } | 
|  | 251 |  | 
|  | 252 | // Use the same criteria as DeadMachineInstructionElim. | 
|  | 253 | bool SawStore = false; | 
| Matthias Braun | 07066cc | 2015-05-19 21:22:20 +0000 | [diff] [blame] | 254 | if (!MI->isSafeToMove(nullptr, SawStore)) { | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 255 | DEBUG(dbgs() << "Can't delete: " << Idx << '\t' << *MI); | 
|  | 256 | return; | 
|  | 257 | } | 
|  | 258 |  | 
|  | 259 | DEBUG(dbgs() << "Deleting dead def " << Idx << '\t' << *MI); | 
|  | 260 |  | 
|  | 261 | // Collect virtual registers to be erased after MI is gone. | 
|  | 262 | SmallVector<unsigned, 8> RegsToErase; | 
|  | 263 | bool ReadsPhysRegs = false; | 
|  | 264 |  | 
|  | 265 | // Check for live intervals that may shrink | 
|  | 266 | for (MachineInstr::mop_iterator MOI = MI->operands_begin(), | 
|  | 267 | MOE = MI->operands_end(); MOI != MOE; ++MOI) { | 
|  | 268 | if (!MOI->isReg()) | 
|  | 269 | continue; | 
|  | 270 | unsigned Reg = MOI->getReg(); | 
|  | 271 | if (!TargetRegisterInfo::isVirtualRegister(Reg)) { | 
|  | 272 | // Check if MI reads any unreserved physregs. | 
|  | 273 | if (Reg && MOI->readsReg() && !MRI.isReserved(Reg)) | 
|  | 274 | ReadsPhysRegs = true; | 
| Matthias Braun | cfb8ad2 | 2015-01-21 18:50:21 +0000 | [diff] [blame] | 275 | else if (MOI->isDef()) | 
|  | 276 | LIS.removePhysRegDefAt(Reg, Idx); | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 277 | continue; | 
|  | 278 | } | 
|  | 279 | LiveInterval &LI = LIS.getInterval(Reg); | 
|  | 280 |  | 
|  | 281 | // Shrink read registers, unless it is likely to be expensive and | 
|  | 282 | // unlikely to change anything. We typically don't want to shrink the | 
|  | 283 | // PIC base register that has lots of uses everywhere. | 
|  | 284 | // Always shrink COPY uses that probably come from live range splitting. | 
| Matthias Braun | c1e029e | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 285 | if ((MI->readsVirtualRegister(Reg) && (MI->isCopy() || MOI->isDef())) || | 
|  | 286 | (MOI->readsReg() && (MRI.hasOneNonDBGUse(Reg) || useIsKill(LI, *MOI)))) | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 287 | ToShrink.insert(&LI); | 
|  | 288 |  | 
|  | 289 | // Remove defined value. | 
|  | 290 | if (MOI->isDef()) { | 
| Matthias Braun | 311730a | 2015-01-21 19:02:30 +0000 | [diff] [blame] | 291 | if (TheDelegate && LI.getVNInfoAt(Idx) != nullptr) | 
|  | 292 | TheDelegate->LRE_WillShrinkVirtReg(LI.reg); | 
|  | 293 | LIS.removeVRegDefAt(LI, Idx); | 
|  | 294 | if (LI.empty()) | 
|  | 295 | RegsToErase.push_back(Reg); | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 296 | } | 
|  | 297 | } | 
|  | 298 |  | 
|  | 299 | // Currently, we don't support DCE of physreg live ranges. If MI reads | 
|  | 300 | // any unreserved physregs, don't erase the instruction, but turn it into | 
|  | 301 | // a KILL instead. This way, the physreg live ranges don't end up | 
|  | 302 | // dangling. | 
|  | 303 | // FIXME: It would be better to have something like shrinkToUses() for | 
|  | 304 | // physregs. That could potentially enable more DCE and it would free up | 
|  | 305 | // the physreg. It would not happen often, though. | 
|  | 306 | if (ReadsPhysRegs) { | 
|  | 307 | MI->setDesc(TII.get(TargetOpcode::KILL)); | 
|  | 308 | // Remove all operands that aren't physregs. | 
|  | 309 | for (unsigned i = MI->getNumOperands(); i; --i) { | 
|  | 310 | const MachineOperand &MO = MI->getOperand(i-1); | 
|  | 311 | if (MO.isReg() && TargetRegisterInfo::isPhysicalRegister(MO.getReg())) | 
|  | 312 | continue; | 
|  | 313 | MI->RemoveOperand(i-1); | 
|  | 314 | } | 
|  | 315 | DEBUG(dbgs() << "Converted physregs to:\t" << *MI); | 
|  | 316 | } else { | 
|  | 317 | if (TheDelegate) | 
|  | 318 | TheDelegate->LRE_WillEraseInstruction(MI); | 
|  | 319 | LIS.RemoveMachineInstrFromMaps(MI); | 
|  | 320 | MI->eraseFromParent(); | 
|  | 321 | ++NumDCEDeleted; | 
|  | 322 | } | 
|  | 323 |  | 
|  | 324 | // Erase any virtregs that are now empty and unused. There may be <undef> | 
|  | 325 | // uses around. Keep the empty live range in that case. | 
|  | 326 | for (unsigned i = 0, e = RegsToErase.size(); i != e; ++i) { | 
|  | 327 | unsigned Reg = RegsToErase[i]; | 
|  | 328 | if (LIS.hasInterval(Reg) && MRI.reg_nodbg_empty(Reg)) { | 
|  | 329 | ToShrink.remove(&LIS.getInterval(Reg)); | 
|  | 330 | eraseVirtReg(Reg); | 
|  | 331 | } | 
|  | 332 | } | 
|  | 333 | } | 
|  | 334 |  | 
| Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 335 | void LiveRangeEdit::eliminateDeadDefs(SmallVectorImpl<MachineInstr*> &Dead, | 
| Pete Cooper | 76e4bc4 | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 336 | ArrayRef<unsigned> RegsBeingSpilled) { | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 337 | ToShrinkSet ToShrink; | 
| Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 338 |  | 
|  | 339 | for (;;) { | 
|  | 340 | // Erase all dead defs. | 
| Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 341 | while (!Dead.empty()) | 
|  | 342 | eliminateDeadDef(Dead.pop_back_val(), ToShrink); | 
| Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 343 |  | 
|  | 344 | if (ToShrink.empty()) | 
|  | 345 | break; | 
|  | 346 |  | 
|  | 347 | // Shrink just one live interval. Then delete new dead defs. | 
| Jakob Stoklund Olesen | e14b2b2 | 2011-03-16 22:56:16 +0000 | [diff] [blame] | 348 | LiveInterval *LI = ToShrink.back(); | 
| Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 349 | ToShrink.pop_back(); | 
| Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 350 | if (foldAsLoad(LI, Dead)) | 
| Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 351 | continue; | 
| Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 352 | unsigned VReg = LI->reg; | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 353 | if (TheDelegate) | 
| Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 354 | TheDelegate->LRE_WillShrinkVirtReg(VReg); | 
| Jakob Stoklund Olesen | 8630840 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 355 | if (!LIS.shrinkToUses(LI, &Dead)) | 
|  | 356 | continue; | 
| Andrew Trick | 7df3f01 | 2013-06-21 18:33:14 +0000 | [diff] [blame] | 357 |  | 
| Pete Cooper | 76e4bc4 | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 358 | // Don't create new intervals for a register being spilled. | 
|  | 359 | // The new intervals would have to be spilled anyway so its not worth it. | 
|  | 360 | // Also they currently aren't spilled so creating them and not spilling | 
|  | 361 | // them results in incorrect code. | 
|  | 362 | bool BeingSpilled = false; | 
|  | 363 | for (unsigned i = 0, e = RegsBeingSpilled.size(); i != e; ++i) { | 
| Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 364 | if (VReg == RegsBeingSpilled[i]) { | 
| Pete Cooper | 76e4bc4 | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 365 | BeingSpilled = true; | 
|  | 366 | break; | 
|  | 367 | } | 
|  | 368 | } | 
| Andrew Trick | 7df3f01 | 2013-06-21 18:33:14 +0000 | [diff] [blame] | 369 |  | 
| Pete Cooper | 76e4bc4 | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 370 | if (BeingSpilled) continue; | 
| Jakob Stoklund Olesen | 8630840 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 371 |  | 
|  | 372 | // LI may have been separated, create new intervals. | 
| Jakob Stoklund Olesen | 4417c7b | 2013-08-14 17:28:52 +0000 | [diff] [blame] | 373 | LI->RenumberValues(); | 
| Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 374 | SmallVector<LiveInterval*, 8> SplitLIs; | 
|  | 375 | LIS.splitSeparateComponents(*LI, SplitLIs); | 
|  | 376 | if (!SplitLIs.empty()) | 
|  | 377 | ++NumFracRanges; | 
|  | 378 |  | 
|  | 379 | unsigned Original = VRM ? VRM->getOriginal(VReg) : 0; | 
|  | 380 | for (const LiveInterval *SplitLI : SplitLIs) { | 
| Jakob Stoklund Olesen | bbad3bc | 2011-07-05 15:38:41 +0000 | [diff] [blame] | 381 | // If LI is an original interval that hasn't been split yet, make the new | 
|  | 382 | // intervals their own originals instead of referring to LI. The original | 
|  | 383 | // interval must contain all the split products, and LI doesn't. | 
| Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 384 | if (Original != VReg && Original != 0) | 
|  | 385 | VRM->setIsSplitFromReg(SplitLI->reg, Original); | 
| Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 386 | if (TheDelegate) | 
| Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 387 | TheDelegate->LRE_DidCloneVirtReg(SplitLI->reg, VReg); | 
| Jakob Stoklund Olesen | dd9a2ec | 2011-03-30 02:52:39 +0000 | [diff] [blame] | 388 | } | 
| Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 389 | } | 
|  | 390 | } | 
|  | 391 |  | 
| Mark Lacey | f367cd9 | 2013-08-14 23:50:09 +0000 | [diff] [blame] | 392 | // Keep track of new virtual registers created via | 
|  | 393 | // MachineRegisterInfo::createVirtualRegister. | 
|  | 394 | void | 
|  | 395 | LiveRangeEdit::MRI_NoteNewVirtualRegister(unsigned VReg) | 
|  | 396 | { | 
|  | 397 | if (VRM) | 
|  | 398 | VRM->grow(); | 
|  | 399 |  | 
|  | 400 | NewRegs.push_back(VReg); | 
|  | 401 | } | 
|  | 402 |  | 
| Benjamin Kramer | e2a1d89 | 2013-06-17 19:00:36 +0000 | [diff] [blame] | 403 | void | 
|  | 404 | LiveRangeEdit::calculateRegClassAndHint(MachineFunction &MF, | 
|  | 405 | const MachineLoopInfo &Loops, | 
|  | 406 | const MachineBlockFrequencyInfo &MBFI) { | 
| Robert Lougher | 11a44b7 | 2015-08-10 11:59:44 +0000 | [diff] [blame] | 407 | VirtRegAuxInfo VRAI(MF, LIS, VRM, Loops, MBFI); | 
| Mark Lacey | f9ea885 | 2013-08-14 23:50:04 +0000 | [diff] [blame] | 408 | for (unsigned I = 0, Size = size(); I < Size; ++I) { | 
|  | 409 | LiveInterval &LI = LIS.getInterval(get(I)); | 
| Eric Christopher | 349d588 | 2015-01-27 01:15:16 +0000 | [diff] [blame] | 410 | if (MRI.recomputeRegClass(LI.reg)) | 
| Craig Topper | cf0444b | 2014-11-17 05:50:14 +0000 | [diff] [blame] | 411 | DEBUG({ | 
|  | 412 | const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); | 
|  | 413 | dbgs() << "Inflated " << PrintReg(LI.reg) << " to " | 
| Craig Topper | f98c606 | 2014-11-17 05:58:26 +0000 | [diff] [blame] | 414 | << TRI->getRegClassName(MRI.getRegClass(LI.reg)) << '\n'; | 
| Craig Topper | cf0444b | 2014-11-17 05:50:14 +0000 | [diff] [blame] | 415 | }); | 
| Arnaud A. de Grandmaison | ea3ac16 | 2013-11-11 19:04:45 +0000 | [diff] [blame] | 416 | VRAI.calculateSpillWeightAndHint(LI); | 
| Jakob Stoklund Olesen | e991f72 | 2011-03-29 21:20:19 +0000 | [diff] [blame] | 417 | } | 
|  | 418 | } |