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; |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +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; |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 66 | unsigned Original = VRM->getOriginal(getReg()); |
| 67 | LiveInterval &OrigLI = LIS.getInterval(Original); |
| 68 | VNInfo *OrigVNI = OrigLI.getVNInfoAt(VNI->def); |
| 69 | MachineInstr *DefMI = LIS.getInstructionFromIndex(OrigVNI->def); |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 70 | if (!DefMI) |
| 71 | continue; |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 72 | checkRematerializable(OrigVNI, DefMI, aa); |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 73 | } |
Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 74 | ScannedRemattable = true; |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 75 | } |
| 76 | |
Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 77 | bool LiveRangeEdit::anyRematerializable(AliasAnalysis *aa) { |
Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 78 | if (!ScannedRemattable) |
Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 79 | scanRemattable(aa); |
Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 80 | return !Remattable.empty(); |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 81 | } |
| 82 | |
Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 83 | /// allUsesAvailableAt - Return true if all registers used by OrigMI at |
| 84 | /// OrigIdx are also available with the same value at UseIdx. |
| 85 | bool LiveRangeEdit::allUsesAvailableAt(const MachineInstr *OrigMI, |
| 86 | SlotIndex OrigIdx, |
Jakub Staszak | 26ac8a7 | 2013-03-18 23:40:46 +0000 | [diff] [blame] | 87 | SlotIndex UseIdx) const { |
Jakob Stoklund Olesen | 90b5e56 | 2011-11-13 20:45:27 +0000 | [diff] [blame] | 88 | OrigIdx = OrigIdx.getRegSlot(true); |
| 89 | UseIdx = UseIdx.getRegSlot(true); |
Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 90 | for (unsigned i = 0, e = OrigMI->getNumOperands(); i != e; ++i) { |
| 91 | const MachineOperand &MO = OrigMI->getOperand(i); |
Jakob Stoklund Olesen | 7809578 | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 92 | if (!MO.isReg() || !MO.getReg() || !MO.readsReg()) |
Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 93 | continue; |
Jakob Stoklund Olesen | 7809578 | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 94 | |
| 95 | // We can't remat physreg uses, unless it is a constant. |
| 96 | if (TargetRegisterInfo::isPhysicalRegister(MO.getReg())) { |
Jakob Stoklund Olesen | 1d19582 | 2012-09-27 16:34:19 +0000 | [diff] [blame] | 97 | if (MRI.isConstantPhysReg(MO.getReg(), *OrigMI->getParent()->getParent())) |
Jakob Stoklund Olesen | 7809578 | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 98 | continue; |
| 99 | return false; |
| 100 | } |
Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 101 | |
Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 102 | LiveInterval &li = LIS.getInterval(MO.getReg()); |
Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 103 | const VNInfo *OVNI = li.getVNInfoAt(OrigIdx); |
| 104 | if (!OVNI) |
| 105 | continue; |
Jakob Stoklund Olesen | 4df59a9 | 2012-10-16 22:51:58 +0000 | [diff] [blame] | 106 | |
| 107 | // Don't allow rematerialization immediately after the original def. |
| 108 | // It would be incorrect if OrigMI redefines the register. |
| 109 | // See PR14098. |
| 110 | if (SlotIndex::isSameInstr(OrigIdx, UseIdx)) |
| 111 | return false; |
| 112 | |
Jakob Stoklund Olesen | 72911e4 | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 113 | if (OVNI != li.getVNInfoAt(UseIdx)) |
| 114 | return false; |
| 115 | } |
| 116 | return true; |
| 117 | } |
| 118 | |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 119 | bool LiveRangeEdit::canRematerializeAt(Remat &RM, VNInfo *OrigVNI, |
| 120 | SlotIndex UseIdx, bool cheapAsAMove) { |
Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 121 | assert(ScannedRemattable && "Call anyRematerializable first"); |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 122 | |
| 123 | // Use scanRemattable info. |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 124 | if (!Remattable.count(OrigVNI)) |
Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 125 | return false; |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 126 | |
Jakob Stoklund Olesen | d8af529 | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 127 | // No defining instruction provided. |
| 128 | SlotIndex DefIdx; |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 129 | assert(RM.OrigMI && "No defining instruction for remattable value"); |
| 130 | DefIdx = LIS.getInstructionIndex(*RM.OrigMI); |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 131 | |
| 132 | // If only cheap remats were requested, bail out early. |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame^] | 133 | if (cheapAsAMove && !TII.isAsCheapAsAMove(*RM.OrigMI)) |
Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 134 | return false; |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 135 | |
| 136 | // Verify that all used registers are available with the same values. |
Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 137 | if (!allUsesAvailableAt(RM.OrigMI, DefIdx, UseIdx)) |
Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 138 | return false; |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 139 | |
Jakob Stoklund Olesen | de5c4dc | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 140 | return true; |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 141 | } |
| 142 | |
| 143 | SlotIndex LiveRangeEdit::rematerializeAt(MachineBasicBlock &MBB, |
| 144 | MachineBasicBlock::iterator MI, |
| 145 | unsigned DestReg, |
| 146 | const Remat &RM, |
Jakob Stoklund Olesen | 7d40679 | 2011-05-02 05:29:58 +0000 | [diff] [blame] | 147 | const TargetRegisterInfo &tri, |
| 148 | bool Late) { |
Jakob Stoklund Olesen | 2edaa2f | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 149 | assert(RM.OrigMI && "Invalid remat"); |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame^] | 150 | TII.reMaterialize(MBB, MI, DestReg, 0, *RM.OrigMI, tri); |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 151 | // DestReg of the cloned instruction cannot be Dead. Set isDead of DestReg |
| 152 | // to false anyway in case the isDead flag of RM.OrigMI's dest register |
| 153 | // is true. |
| 154 | (*--MI).getOperand(0).setIsDead(false); |
Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 155 | Rematted.insert(RM.ParentVNI); |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 156 | return LIS.getSlotIndexes()->insertMachineInstrInMaps(*MI, Late).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. |
Duncan P. N. Exon Smith | 3ac9cc6 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 191 | if (!allUsesAvailableAt(DefMI, LIS.getInstructionIndex(*DefMI), |
| 192 | LIS.getInstructionIndex(*UseMI))) |
Jakob Stoklund Olesen | e2cfd0d | 2012-07-20 21:29:31 +0000 | [diff] [blame] | 193 | return false; |
| 194 | |
| 195 | // We also need to make sure it is safe to move the load. |
| 196 | // Assume there are stores between DefMI and UseMI. |
| 197 | bool SawStore = true; |
Matthias Braun | 07066cc | 2015-05-19 21:22:20 +0000 | [diff] [blame] | 198 | if (!DefMI->isSafeToMove(nullptr, SawStore)) |
Jakob Stoklund Olesen | e2cfd0d | 2012-07-20 21:29:31 +0000 | [diff] [blame] | 199 | return false; |
| 200 | |
Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 201 | DEBUG(dbgs() << "Try to fold single def: " << *DefMI |
| 202 | << " into single use: " << *UseMI); |
| 203 | |
| 204 | SmallVector<unsigned, 8> Ops; |
| 205 | if (UseMI->readsWritesVirtualRegister(LI->reg, &Ops).second) |
| 206 | return false; |
| 207 | |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame^] | 208 | MachineInstr *FoldMI = TII.foldMemoryOperand(*UseMI, Ops, *DefMI, &LIS); |
Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 209 | if (!FoldMI) |
| 210 | return false; |
| 211 | DEBUG(dbgs() << " folded: " << *FoldMI); |
Duncan P. N. Exon Smith | 3ac9cc6 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 212 | LIS.ReplaceMachineInstrInMaps(*UseMI, *FoldMI); |
Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 213 | UseMI->eraseFromParent(); |
Craig Topper | c0196b1 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 214 | DefMI->addRegisterDead(LI->reg, nullptr); |
Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 215 | Dead.push_back(DefMI); |
Jakob Stoklund Olesen | c5a8c08 | 2011-05-05 17:22:53 +0000 | [diff] [blame] | 216 | ++NumDCEFoldedLoads; |
Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 217 | return true; |
| 218 | } |
| 219 | |
Matthias Braun | c1e029e | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 220 | bool LiveRangeEdit::useIsKill(const LiveInterval &LI, |
| 221 | const MachineOperand &MO) const { |
Duncan P. N. Exon Smith | 3ac9cc6 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 222 | const MachineInstr &MI = *MO.getParent(); |
Matthias Braun | c1e029e | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 223 | SlotIndex Idx = LIS.getInstructionIndex(MI).getRegSlot(); |
| 224 | if (LI.Query(Idx).isKill()) |
| 225 | return true; |
| 226 | const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); |
| 227 | unsigned SubReg = MO.getSubReg(); |
Matthias Braun | e6a2485 | 2015-09-25 21:51:14 +0000 | [diff] [blame] | 228 | LaneBitmask LaneMask = TRI.getSubRegIndexLaneMask(SubReg); |
Matthias Braun | c1e029e | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 229 | for (const LiveInterval::SubRange &S : LI.subranges()) { |
| 230 | if ((S.LaneMask & LaneMask) != 0 && S.Query(Idx).isKill()) |
| 231 | return true; |
| 232 | } |
| 233 | return false; |
| 234 | } |
| 235 | |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 236 | /// Find all live intervals that need to shrink, then remove the instruction. |
| 237 | void LiveRangeEdit::eliminateDeadDef(MachineInstr *MI, ToShrinkSet &ToShrink) { |
| 238 | assert(MI->allDefsAreDead() && "Def isn't really dead"); |
Duncan P. N. Exon Smith | 3ac9cc6 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 239 | SlotIndex Idx = LIS.getInstructionIndex(*MI).getRegSlot(); |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 240 | |
Andrew Trick | cbd7305 | 2013-06-22 00:33:48 +0000 | [diff] [blame] | 241 | // Never delete a bundled instruction. |
| 242 | if (MI->isBundled()) { |
| 243 | return; |
| 244 | } |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 245 | // Never delete inline asm. |
| 246 | if (MI->isInlineAsm()) { |
| 247 | DEBUG(dbgs() << "Won't delete: " << Idx << '\t' << *MI); |
| 248 | return; |
| 249 | } |
| 250 | |
| 251 | // Use the same criteria as DeadMachineInstructionElim. |
| 252 | bool SawStore = false; |
Matthias Braun | 07066cc | 2015-05-19 21:22:20 +0000 | [diff] [blame] | 253 | if (!MI->isSafeToMove(nullptr, SawStore)) { |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 254 | DEBUG(dbgs() << "Can't delete: " << Idx << '\t' << *MI); |
| 255 | return; |
| 256 | } |
| 257 | |
| 258 | DEBUG(dbgs() << "Deleting dead def " << Idx << '\t' << *MI); |
| 259 | |
| 260 | // Collect virtual registers to be erased after MI is gone. |
| 261 | SmallVector<unsigned, 8> RegsToErase; |
| 262 | bool ReadsPhysRegs = false; |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 263 | bool isOrigDef = false; |
| 264 | unsigned Dest; |
| 265 | if (VRM && MI->getOperand(0).isReg()) { |
| 266 | Dest = MI->getOperand(0).getReg(); |
| 267 | unsigned Original = VRM->getOriginal(Dest); |
| 268 | LiveInterval &OrigLI = LIS.getInterval(Original); |
| 269 | VNInfo *OrigVNI = OrigLI.getVNInfoAt(Idx); |
Quentin Colombet | d307909 | 2016-06-09 21:34:31 +0000 | [diff] [blame] | 270 | // The original live-range may have been shrunk to |
| 271 | // an empty live-range. It happens when it is dead, but |
| 272 | // we still keep it around to be able to rematerialize |
| 273 | // other values that depend on it. |
| 274 | if (OrigVNI) |
| 275 | isOrigDef = SlotIndex::isSameInstr(OrigVNI->def, Idx); |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 276 | } |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 277 | |
| 278 | // Check for live intervals that may shrink |
| 279 | for (MachineInstr::mop_iterator MOI = MI->operands_begin(), |
| 280 | MOE = MI->operands_end(); MOI != MOE; ++MOI) { |
| 281 | if (!MOI->isReg()) |
| 282 | continue; |
| 283 | unsigned Reg = MOI->getReg(); |
| 284 | if (!TargetRegisterInfo::isVirtualRegister(Reg)) { |
| 285 | // Check if MI reads any unreserved physregs. |
| 286 | if (Reg && MOI->readsReg() && !MRI.isReserved(Reg)) |
| 287 | ReadsPhysRegs = true; |
Matthias Braun | cfb8ad2 | 2015-01-21 18:50:21 +0000 | [diff] [blame] | 288 | else if (MOI->isDef()) |
| 289 | LIS.removePhysRegDefAt(Reg, Idx); |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 290 | continue; |
| 291 | } |
| 292 | LiveInterval &LI = LIS.getInterval(Reg); |
| 293 | |
| 294 | // Shrink read registers, unless it is likely to be expensive and |
| 295 | // unlikely to change anything. We typically don't want to shrink the |
| 296 | // PIC base register that has lots of uses everywhere. |
| 297 | // Always shrink COPY uses that probably come from live range splitting. |
Matthias Braun | c1e029e | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 298 | if ((MI->readsVirtualRegister(Reg) && (MI->isCopy() || MOI->isDef())) || |
| 299 | (MOI->readsReg() && (MRI.hasOneNonDBGUse(Reg) || useIsKill(LI, *MOI)))) |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 300 | ToShrink.insert(&LI); |
| 301 | |
| 302 | // Remove defined value. |
| 303 | if (MOI->isDef()) { |
Matthias Braun | 311730a | 2015-01-21 19:02:30 +0000 | [diff] [blame] | 304 | if (TheDelegate && LI.getVNInfoAt(Idx) != nullptr) |
| 305 | TheDelegate->LRE_WillShrinkVirtReg(LI.reg); |
| 306 | LIS.removeVRegDefAt(LI, Idx); |
| 307 | if (LI.empty()) |
| 308 | RegsToErase.push_back(Reg); |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 309 | } |
| 310 | } |
| 311 | |
| 312 | // Currently, we don't support DCE of physreg live ranges. If MI reads |
| 313 | // any unreserved physregs, don't erase the instruction, but turn it into |
| 314 | // a KILL instead. This way, the physreg live ranges don't end up |
| 315 | // dangling. |
| 316 | // FIXME: It would be better to have something like shrinkToUses() for |
| 317 | // physregs. That could potentially enable more DCE and it would free up |
| 318 | // the physreg. It would not happen often, though. |
| 319 | if (ReadsPhysRegs) { |
| 320 | MI->setDesc(TII.get(TargetOpcode::KILL)); |
| 321 | // Remove all operands that aren't physregs. |
| 322 | for (unsigned i = MI->getNumOperands(); i; --i) { |
| 323 | const MachineOperand &MO = MI->getOperand(i-1); |
| 324 | if (MO.isReg() && TargetRegisterInfo::isPhysicalRegister(MO.getReg())) |
| 325 | continue; |
| 326 | MI->RemoveOperand(i-1); |
| 327 | } |
| 328 | DEBUG(dbgs() << "Converted physregs to:\t" << *MI); |
| 329 | } else { |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 330 | // If the dest of MI is an original reg, don't delete the inst. Replace |
| 331 | // the dest with a new reg, keep the inst for remat of other siblings. |
| 332 | // The inst is saved in LiveRangeEdit::DeadRemats and will be deleted |
| 333 | // after all the allocations of the func are done. |
| 334 | if (isOrigDef) { |
| 335 | LiveInterval &NewLI = createEmptyIntervalFrom(Dest); |
| 336 | VNInfo *VNI = NewLI.getNextValue(Idx, LIS.getVNInfoAllocator()); |
| 337 | NewLI.addSegment(LiveInterval::Segment(Idx, Idx.getDeadSlot(), VNI)); |
| 338 | pop_back(); |
| 339 | markDeadRemat(MI); |
| 340 | const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); |
| 341 | MI->substituteRegister(Dest, NewLI.reg, 0, TRI); |
| 342 | MI->getOperand(0).setIsDead(true); |
| 343 | } else { |
| 344 | if (TheDelegate) |
| 345 | TheDelegate->LRE_WillEraseInstruction(MI); |
| 346 | LIS.RemoveMachineInstrFromMaps(*MI); |
| 347 | MI->eraseFromParent(); |
| 348 | ++NumDCEDeleted; |
| 349 | } |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 350 | } |
| 351 | |
| 352 | // Erase any virtregs that are now empty and unused. There may be <undef> |
| 353 | // uses around. Keep the empty live range in that case. |
| 354 | for (unsigned i = 0, e = RegsToErase.size(); i != e; ++i) { |
| 355 | unsigned Reg = RegsToErase[i]; |
| 356 | if (LIS.hasInterval(Reg) && MRI.reg_nodbg_empty(Reg)) { |
| 357 | ToShrink.remove(&LIS.getInterval(Reg)); |
| 358 | eraseVirtReg(Reg); |
| 359 | } |
| 360 | } |
| 361 | } |
| 362 | |
Wei Mi | 9a16d65 | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 363 | void LiveRangeEdit::eliminateDeadDefs(SmallVectorImpl<MachineInstr *> &Dead, |
Wei Mi | 963f2df | 2016-04-15 23:16:44 +0000 | [diff] [blame] | 364 | ArrayRef<unsigned> RegsBeingSpilled) { |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 365 | ToShrinkSet ToShrink; |
Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 366 | |
| 367 | for (;;) { |
| 368 | // Erase all dead defs. |
Andrew Trick | 530fc1f | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 369 | while (!Dead.empty()) |
| 370 | eliminateDeadDef(Dead.pop_back_val(), ToShrink); |
Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 371 | |
| 372 | if (ToShrink.empty()) |
| 373 | break; |
| 374 | |
| 375 | // Shrink just one live interval. Then delete new dead defs. |
Jakob Stoklund Olesen | e14b2b2 | 2011-03-16 22:56:16 +0000 | [diff] [blame] | 376 | LiveInterval *LI = ToShrink.back(); |
Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 377 | ToShrink.pop_back(); |
Pete Cooper | 2bde2f4 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 378 | if (foldAsLoad(LI, Dead)) |
Jakob Stoklund Olesen | 18fd84c | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 379 | continue; |
Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 380 | unsigned VReg = LI->reg; |
Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 381 | if (TheDelegate) |
Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 382 | TheDelegate->LRE_WillShrinkVirtReg(VReg); |
Jakob Stoklund Olesen | 8630840 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 383 | if (!LIS.shrinkToUses(LI, &Dead)) |
| 384 | continue; |
Andrew Trick | 7df3f01 | 2013-06-21 18:33:14 +0000 | [diff] [blame] | 385 | |
Pete Cooper | 76e4bc4 | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 386 | // Don't create new intervals for a register being spilled. |
| 387 | // The new intervals would have to be spilled anyway so its not worth it. |
| 388 | // Also they currently aren't spilled so creating them and not spilling |
| 389 | // them results in incorrect code. |
| 390 | bool BeingSpilled = false; |
| 391 | for (unsigned i = 0, e = RegsBeingSpilled.size(); i != e; ++i) { |
Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 392 | if (VReg == RegsBeingSpilled[i]) { |
Pete Cooper | 76e4bc4 | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 393 | BeingSpilled = true; |
| 394 | break; |
| 395 | } |
| 396 | } |
Andrew Trick | 7df3f01 | 2013-06-21 18:33:14 +0000 | [diff] [blame] | 397 | |
Pete Cooper | 76e4bc4 | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 398 | if (BeingSpilled) continue; |
Jakob Stoklund Olesen | 8630840 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 399 | |
| 400 | // LI may have been separated, create new intervals. |
Jakob Stoklund Olesen | 4417c7b | 2013-08-14 17:28:52 +0000 | [diff] [blame] | 401 | LI->RenumberValues(); |
Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 402 | SmallVector<LiveInterval*, 8> SplitLIs; |
| 403 | LIS.splitSeparateComponents(*LI, SplitLIs); |
| 404 | if (!SplitLIs.empty()) |
| 405 | ++NumFracRanges; |
| 406 | |
| 407 | unsigned Original = VRM ? VRM->getOriginal(VReg) : 0; |
| 408 | for (const LiveInterval *SplitLI : SplitLIs) { |
Jakob Stoklund Olesen | bbad3bc | 2011-07-05 15:38:41 +0000 | [diff] [blame] | 409 | // If LI is an original interval that hasn't been split yet, make the new |
| 410 | // intervals their own originals instead of referring to LI. The original |
| 411 | // interval must contain all the split products, and LI doesn't. |
Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 412 | if (Original != VReg && Original != 0) |
| 413 | VRM->setIsSplitFromReg(SplitLI->reg, Original); |
Jakob Stoklund Olesen | 3834dae | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 414 | if (TheDelegate) |
Matthias Braun | d3dd135 | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 415 | TheDelegate->LRE_DidCloneVirtReg(SplitLI->reg, VReg); |
Jakob Stoklund Olesen | dd9a2ec | 2011-03-30 02:52:39 +0000 | [diff] [blame] | 416 | } |
Jakob Stoklund Olesen | ea5ebfe | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 417 | } |
| 418 | } |
| 419 | |
Mark Lacey | f367cd9 | 2013-08-14 23:50:09 +0000 | [diff] [blame] | 420 | // Keep track of new virtual registers created via |
| 421 | // MachineRegisterInfo::createVirtualRegister. |
| 422 | void |
| 423 | LiveRangeEdit::MRI_NoteNewVirtualRegister(unsigned VReg) |
| 424 | { |
| 425 | if (VRM) |
| 426 | VRM->grow(); |
| 427 | |
| 428 | NewRegs.push_back(VReg); |
| 429 | } |
| 430 | |
Benjamin Kramer | e2a1d89 | 2013-06-17 19:00:36 +0000 | [diff] [blame] | 431 | void |
| 432 | LiveRangeEdit::calculateRegClassAndHint(MachineFunction &MF, |
| 433 | const MachineLoopInfo &Loops, |
| 434 | const MachineBlockFrequencyInfo &MBFI) { |
Robert Lougher | 11a44b7 | 2015-08-10 11:59:44 +0000 | [diff] [blame] | 435 | VirtRegAuxInfo VRAI(MF, LIS, VRM, Loops, MBFI); |
Mark Lacey | f9ea885 | 2013-08-14 23:50:04 +0000 | [diff] [blame] | 436 | for (unsigned I = 0, Size = size(); I < Size; ++I) { |
| 437 | LiveInterval &LI = LIS.getInterval(get(I)); |
Eric Christopher | 349d588 | 2015-01-27 01:15:16 +0000 | [diff] [blame] | 438 | if (MRI.recomputeRegClass(LI.reg)) |
Craig Topper | cf0444b | 2014-11-17 05:50:14 +0000 | [diff] [blame] | 439 | DEBUG({ |
| 440 | const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); |
| 441 | dbgs() << "Inflated " << PrintReg(LI.reg) << " to " |
Craig Topper | f98c606 | 2014-11-17 05:58:26 +0000 | [diff] [blame] | 442 | << TRI->getRegClassName(MRI.getRegClass(LI.reg)) << '\n'; |
Craig Topper | cf0444b | 2014-11-17 05:50:14 +0000 | [diff] [blame] | 443 | }); |
Arnaud A. de Grandmaison | ea3ac16 | 2013-11-11 19:04:45 +0000 | [diff] [blame] | 444 | VRAI.calculateSpillWeightAndHint(LI); |
Jakob Stoklund Olesen | e991f72 | 2011-03-29 21:20:19 +0000 | [diff] [blame] | 445 | } |
| 446 | } |