Jim Grosbach | 7842a74 | 2012-02-17 17:35:10 +0000 | [diff] [blame] | 1 | //===-- LiveRangeEdit.cpp - Basic tools for editing a register live range -===// |
Jakob Stoklund Olesen | a17768f | 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 | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 14 | #include "llvm/CodeGen/LiveRangeEdit.h" |
Jakob Stoklund Olesen | e9bd4ea | 2011-05-05 17:22:53 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/Statistic.h" |
Jakob Stoklund Olesen | 6094bd8 | 2011-03-29 21:20:19 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/CalcSpillWeights.h" |
Matthias Braun | fa621d2 | 2017-12-13 02:51:04 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/LiveIntervals.h" |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
David Blaikie | 4831923 | 2017-11-08 01:01:31 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/TargetInstrInfo.h" |
Jakob Stoklund Olesen | 1ead68d | 2012-11-28 19:13:06 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/VirtRegMap.h" |
Jakob Stoklund Olesen | 5881799 | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 21 | #include "llvm/Support/Debug.h" |
| 22 | #include "llvm/Support/raw_ostream.h" |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 23 | |
| 24 | using namespace llvm; |
| 25 | |
Chandler Carruth | 8677f2f | 2014-04-22 02:02:50 +0000 | [diff] [blame] | 26 | #define DEBUG_TYPE "regalloc" |
| 27 | |
Jakob Stoklund Olesen | e9bd4ea | 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 | 2d24e2a | 2011-12-20 02:50:00 +0000 | [diff] [blame] | 32 | void LiveRangeEdit::Delegate::anchor() { } |
| 33 | |
Matthias Braun | 9d85fa0 | 2018-01-10 21:41:02 +0000 | [diff] [blame] | 34 | LiveInterval &LiveRangeEdit::createEmptyIntervalFrom(unsigned OldReg, |
| 35 | bool createSubRanges) { |
Jakob Stoklund Olesen | 6a3dbd3 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 36 | unsigned VReg = MRI.createVirtualRegister(MRI.getRegClass(OldReg)); |
Matthias Braun | 9d85fa0 | 2018-01-10 21:41:02 +0000 | [diff] [blame] | 37 | if (VRM) |
Pete Cooper | 2e267ae | 2012-04-03 00:28:46 +0000 | [diff] [blame] | 38 | VRM->setIsSplitFromReg(VReg, VRM->getOriginal(OldReg)); |
Matthias Braun | 9d85fa0 | 2018-01-10 21:41:02 +0000 | [diff] [blame] | 39 | |
Mark Lacey | e742d68 | 2013-08-14 23:50:16 +0000 | [diff] [blame] | 40 | LiveInterval &LI = LIS.createEmptyInterval(VReg); |
Quentin Colombet | 5340452 | 2017-02-02 20:44:36 +0000 | [diff] [blame] | 41 | if (Parent && !Parent->isSpillable()) |
| 42 | LI.markNotSpillable(); |
Matthias Braun | 9d85fa0 | 2018-01-10 21:41:02 +0000 | [diff] [blame] | 43 | if (createSubRanges) { |
| 44 | // Create empty subranges if the OldReg's interval has them. Do not create |
| 45 | // the main range here---it will be constructed later after the subranges |
| 46 | // have been finalized. |
| 47 | LiveInterval &OldLI = LIS.getInterval(OldReg); |
| 48 | VNInfo::Allocator &Alloc = LIS.getVNInfoAllocator(); |
| 49 | for (LiveInterval::SubRange &S : OldLI.subranges()) |
| 50 | LI.createSubRange(Alloc, S.LaneMask); |
| 51 | } |
Jakob Stoklund Olesen | 6a3dbd3 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 52 | return LI; |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 53 | } |
| 54 | |
Mark Lacey | e742d68 | 2013-08-14 23:50:16 +0000 | [diff] [blame] | 55 | unsigned LiveRangeEdit::createFrom(unsigned OldReg) { |
| 56 | unsigned VReg = MRI.createVirtualRegister(MRI.getRegClass(OldReg)); |
| 57 | if (VRM) { |
| 58 | VRM->setIsSplitFromReg(VReg, VRM->getOriginal(OldReg)); |
| 59 | } |
Quentin Colombet | 5340452 | 2017-02-02 20:44:36 +0000 | [diff] [blame] | 60 | // FIXME: Getting the interval here actually computes it. |
| 61 | // In theory, this may not be what we want, but in practice |
| 62 | // the createEmptyIntervalFrom API is used when this is not |
| 63 | // the case. Generally speaking we just want to annotate the |
| 64 | // LiveInterval when it gets created but we cannot do that at |
| 65 | // the moment. |
| 66 | if (Parent && !Parent->isSpillable()) |
| 67 | LIS.getInterval(VReg).markNotSpillable(); |
Mark Lacey | e742d68 | 2013-08-14 23:50:16 +0000 | [diff] [blame] | 68 | return VReg; |
| 69 | } |
| 70 | |
Jakob Stoklund Olesen | 3b7d917 | 2011-04-20 22:14:20 +0000 | [diff] [blame] | 71 | bool LiveRangeEdit::checkRematerializable(VNInfo *VNI, |
Jakob Stoklund Olesen | 2ef661b | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 72 | const MachineInstr *DefMI, |
Jakob Stoklund Olesen | 2ef661b | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 73 | AliasAnalysis *aa) { |
| 74 | assert(DefMI && "Missing instruction"); |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 75 | ScannedRemattable = true; |
Duncan P. N. Exon Smith | 567409d | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 76 | if (!TII.isTriviallyReMaterializable(*DefMI, aa)) |
Jakob Stoklund Olesen | 3b7d917 | 2011-04-20 22:14:20 +0000 | [diff] [blame] | 77 | return false; |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 78 | Remattable.insert(VNI); |
Jakob Stoklund Olesen | 3b7d917 | 2011-04-20 22:14:20 +0000 | [diff] [blame] | 79 | return true; |
Jakob Stoklund Olesen | 2ef661b | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 80 | } |
| 81 | |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 82 | void LiveRangeEdit::scanRemattable(AliasAnalysis *aa) { |
Matthias Braun | 218d20a | 2014-12-10 23:07:54 +0000 | [diff] [blame] | 83 | for (VNInfo *VNI : getParent().valnos) { |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 84 | if (VNI->isUnused()) |
| 85 | continue; |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 86 | unsigned Original = VRM->getOriginal(getReg()); |
| 87 | LiveInterval &OrigLI = LIS.getInterval(Original); |
| 88 | VNInfo *OrigVNI = OrigLI.getVNInfoAt(VNI->def); |
Krzysztof Parzyszek | 31a5f88 | 2016-08-24 13:37:55 +0000 | [diff] [blame] | 89 | if (!OrigVNI) |
| 90 | continue; |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 91 | MachineInstr *DefMI = LIS.getInstructionFromIndex(OrigVNI->def); |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 92 | if (!DefMI) |
| 93 | continue; |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 94 | checkRematerializable(OrigVNI, DefMI, aa); |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 95 | } |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 96 | ScannedRemattable = true; |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 97 | } |
| 98 | |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 99 | bool LiveRangeEdit::anyRematerializable(AliasAnalysis *aa) { |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 100 | if (!ScannedRemattable) |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 101 | scanRemattable(aa); |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 102 | return !Remattable.empty(); |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 105 | /// allUsesAvailableAt - Return true if all registers used by OrigMI at |
| 106 | /// OrigIdx are also available with the same value at UseIdx. |
| 107 | bool LiveRangeEdit::allUsesAvailableAt(const MachineInstr *OrigMI, |
| 108 | SlotIndex OrigIdx, |
Jakub Staszak | c2248b0 | 2013-03-18 23:40:46 +0000 | [diff] [blame] | 109 | SlotIndex UseIdx) const { |
Jakob Stoklund Olesen | 2debd48 | 2011-11-13 20:45:27 +0000 | [diff] [blame] | 110 | OrigIdx = OrigIdx.getRegSlot(true); |
| 111 | UseIdx = UseIdx.getRegSlot(true); |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 112 | for (unsigned i = 0, e = OrigMI->getNumOperands(); i != e; ++i) { |
| 113 | const MachineOperand &MO = OrigMI->getOperand(i); |
Jakob Stoklund Olesen | 834a9cd | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 114 | if (!MO.isReg() || !MO.getReg() || !MO.readsReg()) |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 115 | continue; |
Jakob Stoklund Olesen | 834a9cd | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 116 | |
| 117 | // We can't remat physreg uses, unless it is a constant. |
| 118 | if (TargetRegisterInfo::isPhysicalRegister(MO.getReg())) { |
Matthias Braun | 15cdf2c | 2016-10-28 18:05:09 +0000 | [diff] [blame] | 119 | if (MRI.isConstantPhysReg(MO.getReg())) |
Jakob Stoklund Olesen | 834a9cd | 2012-06-22 17:31:01 +0000 | [diff] [blame] | 120 | continue; |
| 121 | return false; |
| 122 | } |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 123 | |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 124 | LiveInterval &li = LIS.getInterval(MO.getReg()); |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 125 | const VNInfo *OVNI = li.getVNInfoAt(OrigIdx); |
| 126 | if (!OVNI) |
| 127 | continue; |
Jakob Stoklund Olesen | 320db3f | 2012-10-16 22:51:58 +0000 | [diff] [blame] | 128 | |
| 129 | // Don't allow rematerialization immediately after the original def. |
| 130 | // It would be incorrect if OrigMI redefines the register. |
| 131 | // See PR14098. |
| 132 | if (SlotIndex::isSameInstr(OrigIdx, UseIdx)) |
| 133 | return false; |
| 134 | |
Jakob Stoklund Olesen | a17768f | 2010-10-14 23:49:52 +0000 | [diff] [blame] | 135 | if (OVNI != li.getVNInfoAt(UseIdx)) |
| 136 | return false; |
| 137 | } |
| 138 | return true; |
| 139 | } |
| 140 | |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 141 | bool LiveRangeEdit::canRematerializeAt(Remat &RM, VNInfo *OrigVNI, |
| 142 | SlotIndex UseIdx, bool cheapAsAMove) { |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 143 | assert(ScannedRemattable && "Call anyRematerializable first"); |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 144 | |
| 145 | // Use scanRemattable info. |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 146 | if (!Remattable.count(OrigVNI)) |
Jakob Stoklund Olesen | b80e973 | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 147 | return false; |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 148 | |
Jakob Stoklund Olesen | 2ef661b | 2011-03-29 03:12:02 +0000 | [diff] [blame] | 149 | // No defining instruction provided. |
| 150 | SlotIndex DefIdx; |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 151 | assert(RM.OrigMI && "No defining instruction for remattable value"); |
| 152 | DefIdx = LIS.getInstructionIndex(*RM.OrigMI); |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 153 | |
| 154 | // If only cheap remats were requested, bail out early. |
Duncan P. N. Exon Smith | 567409d | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 155 | if (cheapAsAMove && !TII.isAsCheapAsAMove(*RM.OrigMI)) |
Jakob Stoklund Olesen | b80e973 | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 156 | return false; |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 157 | |
| 158 | // Verify that all used registers are available with the same values. |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 159 | if (!allUsesAvailableAt(RM.OrigMI, DefIdx, UseIdx)) |
Jakob Stoklund Olesen | b80e973 | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 160 | return false; |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 161 | |
Jakob Stoklund Olesen | b80e973 | 2010-11-10 01:05:12 +0000 | [diff] [blame] | 162 | return true; |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 163 | } |
| 164 | |
| 165 | SlotIndex LiveRangeEdit::rematerializeAt(MachineBasicBlock &MBB, |
| 166 | MachineBasicBlock::iterator MI, |
| 167 | unsigned DestReg, |
| 168 | const Remat &RM, |
Jakob Stoklund Olesen | bb30dd4 | 2011-05-02 05:29:58 +0000 | [diff] [blame] | 169 | const TargetRegisterInfo &tri, |
| 170 | bool Late) { |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 171 | assert(RM.OrigMI && "Invalid remat"); |
Duncan P. N. Exon Smith | 567409d | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 172 | TII.reMaterialize(MBB, MI, DestReg, 0, *RM.OrigMI, tri); |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 173 | // DestReg of the cloned instruction cannot be Dead. Set isDead of DestReg |
| 174 | // to false anyway in case the isDead flag of RM.OrigMI's dest register |
| 175 | // is true. |
| 176 | (*--MI).getOperand(0).setIsDead(false); |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 177 | Rematted.insert(RM.ParentVNI); |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 178 | return LIS.getSlotIndexes()->insertMachineInstrInMaps(*MI, Late).getRegSlot(); |
Jakob Stoklund Olesen | 080c316 | 2010-10-20 22:00:51 +0000 | [diff] [blame] | 179 | } |
| 180 | |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 181 | void LiveRangeEdit::eraseVirtReg(unsigned Reg) { |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 182 | if (TheDelegate && TheDelegate->LRE_CanEraseVirtReg(Reg)) |
Jakob Stoklund Olesen | 7792e98 | 2011-03-13 01:23:11 +0000 | [diff] [blame] | 183 | LIS.removeInterval(Reg); |
| 184 | } |
| 185 | |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 186 | bool LiveRangeEdit::foldAsLoad(LiveInterval *LI, |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 187 | SmallVectorImpl<MachineInstr*> &Dead) { |
Craig Topper | 4ba8443 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 188 | MachineInstr *DefMI = nullptr, *UseMI = nullptr; |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 189 | |
| 190 | // Check that there is a single def and a single use. |
Owen Anderson | 92fca73 | 2014-03-17 19:36:09 +0000 | [diff] [blame] | 191 | for (MachineOperand &MO : MRI.reg_nodbg_operands(LI->reg)) { |
| 192 | MachineInstr *MI = MO.getParent(); |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 193 | if (MO.isDef()) { |
| 194 | if (DefMI && DefMI != MI) |
| 195 | return false; |
Evan Cheng | 5a96b3d | 2011-12-07 07:15:52 +0000 | [diff] [blame] | 196 | if (!MI->canFoldAsLoad()) |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 197 | return false; |
| 198 | DefMI = MI; |
| 199 | } else if (!MO.isUndef()) { |
| 200 | if (UseMI && UseMI != MI) |
| 201 | return false; |
| 202 | // FIXME: Targets don't know how to fold subreg uses. |
| 203 | if (MO.getSubReg()) |
| 204 | return false; |
| 205 | UseMI = MI; |
| 206 | } |
| 207 | } |
| 208 | if (!DefMI || !UseMI) |
| 209 | return false; |
| 210 | |
Jakob Stoklund Olesen | 2ec0cda | 2012-07-20 21:29:31 +0000 | [diff] [blame] | 211 | // Since we're moving the DefMI load, make sure we're not extending any live |
| 212 | // ranges. |
Duncan P. N. Exon Smith | 42e1835 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 213 | if (!allUsesAvailableAt(DefMI, LIS.getInstructionIndex(*DefMI), |
| 214 | LIS.getInstructionIndex(*UseMI))) |
Jakob Stoklund Olesen | 2ec0cda | 2012-07-20 21:29:31 +0000 | [diff] [blame] | 215 | return false; |
| 216 | |
| 217 | // We also need to make sure it is safe to move the load. |
| 218 | // Assume there are stores between DefMI and UseMI. |
| 219 | bool SawStore = true; |
Matthias Braun | dfc41db | 2015-05-19 21:22:20 +0000 | [diff] [blame] | 220 | if (!DefMI->isSafeToMove(nullptr, SawStore)) |
Jakob Stoklund Olesen | 2ec0cda | 2012-07-20 21:29:31 +0000 | [diff] [blame] | 221 | return false; |
| 222 | |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 223 | LLVM_DEBUG(dbgs() << "Try to fold single def: " << *DefMI |
| 224 | << " into single use: " << *UseMI); |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 225 | |
| 226 | SmallVector<unsigned, 8> Ops; |
| 227 | if (UseMI->readsWritesVirtualRegister(LI->reg, &Ops).second) |
| 228 | return false; |
| 229 | |
Duncan P. N. Exon Smith | 567409d | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 230 | MachineInstr *FoldMI = TII.foldMemoryOperand(*UseMI, Ops, *DefMI, &LIS); |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 231 | if (!FoldMI) |
| 232 | return false; |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 233 | LLVM_DEBUG(dbgs() << " folded: " << *FoldMI); |
Duncan P. N. Exon Smith | 42e1835 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 234 | LIS.ReplaceMachineInstrInMaps(*UseMI, *FoldMI); |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 235 | UseMI->eraseFromParent(); |
Craig Topper | 4ba8443 | 2014-04-14 00:51:57 +0000 | [diff] [blame] | 236 | DefMI->addRegisterDead(LI->reg, nullptr); |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 237 | Dead.push_back(DefMI); |
Jakob Stoklund Olesen | e9bd4ea | 2011-05-05 17:22:53 +0000 | [diff] [blame] | 238 | ++NumDCEFoldedLoads; |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 239 | return true; |
| 240 | } |
| 241 | |
Matthias Braun | fa2b7e5 | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 242 | bool LiveRangeEdit::useIsKill(const LiveInterval &LI, |
| 243 | const MachineOperand &MO) const { |
Duncan P. N. Exon Smith | 42e1835 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 244 | const MachineInstr &MI = *MO.getParent(); |
Matthias Braun | fa2b7e5 | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 245 | SlotIndex Idx = LIS.getInstructionIndex(MI).getRegSlot(); |
| 246 | if (LI.Query(Idx).isKill()) |
| 247 | return true; |
| 248 | const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); |
| 249 | unsigned SubReg = MO.getSubReg(); |
Matthias Braun | dfc5b65 | 2015-09-25 21:51:14 +0000 | [diff] [blame] | 250 | LaneBitmask LaneMask = TRI.getSubRegIndexLaneMask(SubReg); |
Matthias Braun | fa2b7e5 | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 251 | for (const LiveInterval::SubRange &S : LI.subranges()) { |
Krzysztof Parzyszek | 308c60d | 2016-12-16 19:11:56 +0000 | [diff] [blame] | 252 | if ((S.LaneMask & LaneMask).any() && S.Query(Idx).isKill()) |
Matthias Braun | fa2b7e5 | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 253 | return true; |
| 254 | } |
| 255 | return false; |
| 256 | } |
| 257 | |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 258 | /// Find all live intervals that need to shrink, then remove the instruction. |
Wei Mi | 4eae278 | 2016-07-08 21:08:09 +0000 | [diff] [blame] | 259 | void LiveRangeEdit::eliminateDeadDef(MachineInstr *MI, ToShrinkSet &ToShrink, |
| 260 | AliasAnalysis *AA) { |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 261 | assert(MI->allDefsAreDead() && "Def isn't really dead"); |
Duncan P. N. Exon Smith | 42e1835 | 2016-02-27 06:40:41 +0000 | [diff] [blame] | 262 | SlotIndex Idx = LIS.getInstructionIndex(*MI).getRegSlot(); |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 263 | |
Andrew Trick | 5296162 | 2013-06-22 00:33:48 +0000 | [diff] [blame] | 264 | // Never delete a bundled instruction. |
| 265 | if (MI->isBundled()) { |
| 266 | return; |
| 267 | } |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 268 | // Never delete inline asm. |
| 269 | if (MI->isInlineAsm()) { |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 270 | LLVM_DEBUG(dbgs() << "Won't delete: " << Idx << '\t' << *MI); |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 271 | return; |
| 272 | } |
| 273 | |
| 274 | // Use the same criteria as DeadMachineInstructionElim. |
| 275 | bool SawStore = false; |
Matthias Braun | dfc41db | 2015-05-19 21:22:20 +0000 | [diff] [blame] | 276 | if (!MI->isSafeToMove(nullptr, SawStore)) { |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 277 | LLVM_DEBUG(dbgs() << "Can't delete: " << Idx << '\t' << *MI); |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 278 | return; |
| 279 | } |
| 280 | |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 281 | LLVM_DEBUG(dbgs() << "Deleting dead def " << Idx << '\t' << *MI); |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 282 | |
| 283 | // Collect virtual registers to be erased after MI is gone. |
| 284 | SmallVector<unsigned, 8> RegsToErase; |
| 285 | bool ReadsPhysRegs = false; |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 286 | bool isOrigDef = false; |
| 287 | unsigned Dest; |
Geoff Berry | f192c5d | 2016-12-15 19:55:19 +0000 | [diff] [blame] | 288 | // Only optimize rematerialize case when the instruction has one def, since |
| 289 | // otherwise we could leave some dead defs in the code. This case is |
| 290 | // extremely rare. |
| 291 | if (VRM && MI->getOperand(0).isReg() && MI->getOperand(0).isDef() && |
| 292 | MI->getDesc().getNumDefs() == 1) { |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 293 | Dest = MI->getOperand(0).getReg(); |
| 294 | unsigned Original = VRM->getOriginal(Dest); |
| 295 | LiveInterval &OrigLI = LIS.getInterval(Original); |
| 296 | VNInfo *OrigVNI = OrigLI.getVNInfoAt(Idx); |
Quentin Colombet | 80b353d | 2016-06-09 21:34:31 +0000 | [diff] [blame] | 297 | // The original live-range may have been shrunk to |
| 298 | // an empty live-range. It happens when it is dead, but |
| 299 | // we still keep it around to be able to rematerialize |
| 300 | // other values that depend on it. |
| 301 | if (OrigVNI) |
| 302 | isOrigDef = SlotIndex::isSameInstr(OrigVNI->def, Idx); |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 303 | } |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 304 | |
| 305 | // Check for live intervals that may shrink |
| 306 | for (MachineInstr::mop_iterator MOI = MI->operands_begin(), |
| 307 | MOE = MI->operands_end(); MOI != MOE; ++MOI) { |
| 308 | if (!MOI->isReg()) |
| 309 | continue; |
| 310 | unsigned Reg = MOI->getReg(); |
| 311 | if (!TargetRegisterInfo::isVirtualRegister(Reg)) { |
| 312 | // Check if MI reads any unreserved physregs. |
| 313 | if (Reg && MOI->readsReg() && !MRI.isReserved(Reg)) |
| 314 | ReadsPhysRegs = true; |
Matthias Braun | 1458e05 | 2015-01-21 18:50:21 +0000 | [diff] [blame] | 315 | else if (MOI->isDef()) |
| 316 | LIS.removePhysRegDefAt(Reg, Idx); |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 317 | continue; |
| 318 | } |
| 319 | LiveInterval &LI = LIS.getInterval(Reg); |
| 320 | |
| 321 | // Shrink read registers, unless it is likely to be expensive and |
| 322 | // unlikely to change anything. We typically don't want to shrink the |
| 323 | // PIC base register that has lots of uses everywhere. |
| 324 | // Always shrink COPY uses that probably come from live range splitting. |
Matthias Braun | fa2b7e5 | 2015-06-01 21:26:26 +0000 | [diff] [blame] | 325 | if ((MI->readsVirtualRegister(Reg) && (MI->isCopy() || MOI->isDef())) || |
| 326 | (MOI->readsReg() && (MRI.hasOneNonDBGUse(Reg) || useIsKill(LI, *MOI)))) |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 327 | ToShrink.insert(&LI); |
| 328 | |
| 329 | // Remove defined value. |
| 330 | if (MOI->isDef()) { |
Matthias Braun | 7d3ec5a | 2015-01-21 19:02:30 +0000 | [diff] [blame] | 331 | if (TheDelegate && LI.getVNInfoAt(Idx) != nullptr) |
| 332 | TheDelegate->LRE_WillShrinkVirtReg(LI.reg); |
| 333 | LIS.removeVRegDefAt(LI, Idx); |
| 334 | if (LI.empty()) |
| 335 | RegsToErase.push_back(Reg); |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 336 | } |
| 337 | } |
| 338 | |
| 339 | // Currently, we don't support DCE of physreg live ranges. If MI reads |
| 340 | // any unreserved physregs, don't erase the instruction, but turn it into |
| 341 | // a KILL instead. This way, the physreg live ranges don't end up |
| 342 | // dangling. |
| 343 | // FIXME: It would be better to have something like shrinkToUses() for |
| 344 | // physregs. That could potentially enable more DCE and it would free up |
| 345 | // the physreg. It would not happen often, though. |
| 346 | if (ReadsPhysRegs) { |
| 347 | MI->setDesc(TII.get(TargetOpcode::KILL)); |
| 348 | // Remove all operands that aren't physregs. |
| 349 | for (unsigned i = MI->getNumOperands(); i; --i) { |
| 350 | const MachineOperand &MO = MI->getOperand(i-1); |
| 351 | if (MO.isReg() && TargetRegisterInfo::isPhysicalRegister(MO.getReg())) |
| 352 | continue; |
| 353 | MI->RemoveOperand(i-1); |
| 354 | } |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 355 | LLVM_DEBUG(dbgs() << "Converted physregs to:\t" << *MI); |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 356 | } else { |
Wei Mi | 4eae278 | 2016-07-08 21:08:09 +0000 | [diff] [blame] | 357 | // If the dest of MI is an original reg and MI is reMaterializable, |
| 358 | // don't delete the inst. Replace the dest with a new reg, and keep |
| 359 | // the inst for remat of other siblings. The inst is saved in |
| 360 | // LiveRangeEdit::DeadRemats and will be deleted after all the |
| 361 | // allocations of the func are done. |
| 362 | if (isOrigDef && DeadRemats && TII.isTriviallyReMaterializable(*MI, AA)) { |
Matthias Braun | 9d85fa0 | 2018-01-10 21:41:02 +0000 | [diff] [blame] | 363 | LiveInterval &NewLI = createEmptyIntervalFrom(Dest, false); |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 364 | VNInfo *VNI = NewLI.getNextValue(Idx, LIS.getVNInfoAllocator()); |
| 365 | NewLI.addSegment(LiveInterval::Segment(Idx, Idx.getDeadSlot(), VNI)); |
| 366 | pop_back(); |
Matthias Braun | d565158 | 2018-01-10 22:36:26 +0000 | [diff] [blame] | 367 | DeadRemats->insert(MI); |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 368 | const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); |
| 369 | MI->substituteRegister(Dest, NewLI.reg, 0, TRI); |
| 370 | MI->getOperand(0).setIsDead(true); |
| 371 | } else { |
| 372 | if (TheDelegate) |
| 373 | TheDelegate->LRE_WillEraseInstruction(MI); |
| 374 | LIS.RemoveMachineInstrFromMaps(*MI); |
| 375 | MI->eraseFromParent(); |
| 376 | ++NumDCEDeleted; |
| 377 | } |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 378 | } |
| 379 | |
| 380 | // Erase any virtregs that are now empty and unused. There may be <undef> |
| 381 | // uses around. Keep the empty live range in that case. |
| 382 | for (unsigned i = 0, e = RegsToErase.size(); i != e; ++i) { |
| 383 | unsigned Reg = RegsToErase[i]; |
| 384 | if (LIS.hasInterval(Reg) && MRI.reg_nodbg_empty(Reg)) { |
| 385 | ToShrink.remove(&LIS.getInterval(Reg)); |
| 386 | eraseVirtReg(Reg); |
| 387 | } |
| 388 | } |
| 389 | } |
| 390 | |
Wei Mi | 815b02e | 2016-04-13 03:08:27 +0000 | [diff] [blame] | 391 | void LiveRangeEdit::eliminateDeadDefs(SmallVectorImpl<MachineInstr *> &Dead, |
Wei Mi | 4eae278 | 2016-07-08 21:08:09 +0000 | [diff] [blame] | 392 | ArrayRef<unsigned> RegsBeingSpilled, |
| 393 | AliasAnalysis *AA) { |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 394 | ToShrinkSet ToShrink; |
Jakob Stoklund Olesen | 5881799 | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 395 | |
| 396 | for (;;) { |
| 397 | // Erase all dead defs. |
Andrew Trick | f1f99f3 | 2013-06-21 18:33:17 +0000 | [diff] [blame] | 398 | while (!Dead.empty()) |
Wei Mi | 4eae278 | 2016-07-08 21:08:09 +0000 | [diff] [blame] | 399 | eliminateDeadDef(Dead.pop_back_val(), ToShrink, AA); |
Jakob Stoklund Olesen | 5881799 | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 400 | |
| 401 | if (ToShrink.empty()) |
| 402 | break; |
| 403 | |
| 404 | // Shrink just one live interval. Then delete new dead defs. |
Jakob Stoklund Olesen | 1d5b845 | 2011-03-16 22:56:16 +0000 | [diff] [blame] | 405 | LiveInterval *LI = ToShrink.back(); |
Jakob Stoklund Olesen | 5881799 | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 406 | ToShrink.pop_back(); |
Pete Cooper | 8a06af9 | 2012-04-02 22:22:53 +0000 | [diff] [blame] | 407 | if (foldAsLoad(LI, Dead)) |
Jakob Stoklund Olesen | 3520019 | 2011-04-05 20:20:26 +0000 | [diff] [blame] | 408 | continue; |
Matthias Braun | 95e05dd | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 409 | unsigned VReg = LI->reg; |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 410 | if (TheDelegate) |
Matthias Braun | 95e05dd | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 411 | TheDelegate->LRE_WillShrinkVirtReg(VReg); |
Jakob Stoklund Olesen | 6a3dbd3 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 412 | if (!LIS.shrinkToUses(LI, &Dead)) |
| 413 | continue; |
Andrew Trick | 005622f | 2013-06-21 18:33:14 +0000 | [diff] [blame] | 414 | |
Pete Cooper | 4777ebb | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 415 | // Don't create new intervals for a register being spilled. |
| 416 | // The new intervals would have to be spilled anyway so its not worth it. |
| 417 | // Also they currently aren't spilled so creating them and not spilling |
| 418 | // them results in incorrect code. |
| 419 | bool BeingSpilled = false; |
| 420 | for (unsigned i = 0, e = RegsBeingSpilled.size(); i != e; ++i) { |
Matthias Braun | 95e05dd | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 421 | if (VReg == RegsBeingSpilled[i]) { |
Pete Cooper | 4777ebb | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 422 | BeingSpilled = true; |
| 423 | break; |
| 424 | } |
| 425 | } |
Andrew Trick | 005622f | 2013-06-21 18:33:14 +0000 | [diff] [blame] | 426 | |
Pete Cooper | 4777ebb | 2011-12-12 22:16:27 +0000 | [diff] [blame] | 427 | if (BeingSpilled) continue; |
Jakob Stoklund Olesen | 6a3dbd3 | 2011-03-17 20:37:07 +0000 | [diff] [blame] | 428 | |
| 429 | // LI may have been separated, create new intervals. |
Jakob Stoklund Olesen | 1c6d387 | 2013-08-14 17:28:52 +0000 | [diff] [blame] | 430 | LI->RenumberValues(); |
Matthias Braun | 95e05dd | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 431 | SmallVector<LiveInterval*, 8> SplitLIs; |
| 432 | LIS.splitSeparateComponents(*LI, SplitLIs); |
| 433 | if (!SplitLIs.empty()) |
| 434 | ++NumFracRanges; |
| 435 | |
| 436 | unsigned Original = VRM ? VRM->getOriginal(VReg) : 0; |
| 437 | for (const LiveInterval *SplitLI : SplitLIs) { |
Jakob Stoklund Olesen | 9693d4c | 2011-07-05 15:38:41 +0000 | [diff] [blame] | 438 | // If LI is an original interval that hasn't been split yet, make the new |
| 439 | // intervals their own originals instead of referring to LI. The original |
| 440 | // interval must contain all the split products, and LI doesn't. |
Matthias Braun | 95e05dd | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 441 | if (Original != VReg && Original != 0) |
| 442 | VRM->setIsSplitFromReg(SplitLI->reg, Original); |
Jakob Stoklund Olesen | c696c8b | 2012-05-18 22:10:15 +0000 | [diff] [blame] | 443 | if (TheDelegate) |
Matthias Braun | 95e05dd | 2015-09-22 03:44:41 +0000 | [diff] [blame] | 444 | TheDelegate->LRE_DidCloneVirtReg(SplitLI->reg, VReg); |
Jakob Stoklund Olesen | f22ca3f | 2011-03-30 02:52:39 +0000 | [diff] [blame] | 445 | } |
Jakob Stoklund Olesen | 5881799 | 2011-03-08 22:46:11 +0000 | [diff] [blame] | 446 | } |
| 447 | } |
| 448 | |
Mark Lacey | 03fe68e | 2013-08-14 23:50:09 +0000 | [diff] [blame] | 449 | // Keep track of new virtual registers created via |
| 450 | // MachineRegisterInfo::createVirtualRegister. |
| 451 | void |
| 452 | LiveRangeEdit::MRI_NoteNewVirtualRegister(unsigned VReg) |
| 453 | { |
| 454 | if (VRM) |
| 455 | VRM->grow(); |
| 456 | |
| 457 | NewRegs.push_back(VReg); |
| 458 | } |
| 459 | |
Benjamin Kramer | 4eed756 | 2013-06-17 19:00:36 +0000 | [diff] [blame] | 460 | void |
| 461 | LiveRangeEdit::calculateRegClassAndHint(MachineFunction &MF, |
| 462 | const MachineLoopInfo &Loops, |
| 463 | const MachineBlockFrequencyInfo &MBFI) { |
Robert Lougher | 0d87d63 | 2015-08-10 11:59:44 +0000 | [diff] [blame] | 464 | VirtRegAuxInfo VRAI(MF, LIS, VRM, Loops, MBFI); |
Mark Lacey | 1feb585 | 2013-08-14 23:50:04 +0000 | [diff] [blame] | 465 | for (unsigned I = 0, Size = size(); I < Size; ++I) { |
| 466 | LiveInterval &LI = LIS.getInterval(get(I)); |
Eric Christopher | ac33b1f | 2015-01-27 01:15:16 +0000 | [diff] [blame] | 467 | if (MRI.recomputeRegClass(LI.reg)) |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 468 | LLVM_DEBUG({ |
Craig Topper | a5babc8 | 2014-11-17 05:50:14 +0000 | [diff] [blame] | 469 | const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); |
Francis Visoiu Mistrih | accb337 | 2017-11-28 12:42:37 +0000 | [diff] [blame] | 470 | dbgs() << "Inflated " << printReg(LI.reg) << " to " |
Craig Topper | dbd7366 | 2014-11-17 05:58:26 +0000 | [diff] [blame] | 471 | << TRI->getRegClassName(MRI.getRegClass(LI.reg)) << '\n'; |
Craig Topper | a5babc8 | 2014-11-17 05:50:14 +0000 | [diff] [blame] | 472 | }); |
Arnaud A. de Grandmaison | 095f994 | 2013-11-11 19:04:45 +0000 | [diff] [blame] | 473 | VRAI.calculateSpillWeightAndHint(LI); |
Jakob Stoklund Olesen | 6094bd8 | 2011-03-29 21:20:19 +0000 | [diff] [blame] | 474 | } |
| 475 | } |