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