blob: b5621a09c6ff116157e8b44c4c06610c119ed38e [file] [log] [blame]
Evan Cheng7fae11b2011-12-14 02:11:42 +00001//===-- lib/CodeGen/MachineInstrBundle.cpp --------------------------------===//
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#include "llvm/CodeGen/MachineInstrBundle.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000011#include "llvm/ADT/SmallSet.h"
12#include "llvm/ADT/SmallVector.h"
13#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Cheng7fae11b2011-12-14 02:11:42 +000014#include "llvm/CodeGen/MachineInstrBuilder.h"
15#include "llvm/CodeGen/Passes.h"
Evan Cheng7fae11b2011-12-14 02:11:42 +000016#include "llvm/Target/TargetInstrInfo.h"
17#include "llvm/Target/TargetMachine.h"
18#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000019#include "llvm/Target/TargetSubtargetInfo.h"
Benjamin Kramer82de7d32016-05-27 14:27:24 +000020#include <utility>
Evan Cheng7fae11b2011-12-14 02:11:42 +000021using namespace llvm;
22
23namespace {
24 class UnpackMachineBundles : public MachineFunctionPass {
25 public:
26 static char ID; // Pass identification
Matthias Braun8b38ffa2016-10-24 23:23:02 +000027 UnpackMachineBundles(
28 std::function<bool(const MachineFunction &)> Ftor = nullptr)
Benjamin Kramer82de7d32016-05-27 14:27:24 +000029 : MachineFunctionPass(ID), PredicateFtor(std::move(Ftor)) {
Evan Cheng7fae11b2011-12-14 02:11:42 +000030 initializeUnpackMachineBundlesPass(*PassRegistry::getPassRegistry());
31 }
32
Craig Topper4584cd52014-03-07 09:26:03 +000033 bool runOnMachineFunction(MachineFunction &MF) override;
Akira Hatanaka4a616192015-06-08 18:50:43 +000034
35 private:
Matthias Braun8b38ffa2016-10-24 23:23:02 +000036 std::function<bool(const MachineFunction &)> PredicateFtor;
Evan Cheng7fae11b2011-12-14 02:11:42 +000037 };
38} // end anonymous namespace
39
40char UnpackMachineBundles::ID = 0;
Andrew Trick1fa5bcb2012-02-08 21:23:13 +000041char &llvm::UnpackMachineBundlesID = UnpackMachineBundles::ID;
Evan Chengc2679b22012-01-19 07:47:03 +000042INITIALIZE_PASS(UnpackMachineBundles, "unpack-mi-bundles",
Evan Cheng7fae11b2011-12-14 02:11:42 +000043 "Unpack machine instruction bundles", false, false)
44
Evan Cheng7fae11b2011-12-14 02:11:42 +000045bool UnpackMachineBundles::runOnMachineFunction(MachineFunction &MF) {
Matthias Braun8b38ffa2016-10-24 23:23:02 +000046 if (PredicateFtor && !PredicateFtor(MF))
Akira Hatanaka4a616192015-06-08 18:50:43 +000047 return false;
48
Evan Cheng7fae11b2011-12-14 02:11:42 +000049 bool Changed = false;
50 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I) {
51 MachineBasicBlock *MBB = &*I;
52
53 for (MachineBasicBlock::instr_iterator MII = MBB->instr_begin(),
54 MIE = MBB->instr_end(); MII != MIE; ) {
55 MachineInstr *MI = &*MII;
56
57 // Remove BUNDLE instruction and the InsideBundle flags from bundled
58 // instructions.
59 if (MI->isBundle()) {
Jakob Stoklund Olesen7bb2f972012-12-13 23:23:46 +000060 while (++MII != MIE && MII->isBundledWithPred()) {
61 MII->unbundleFromPred();
Evan Cheng7fae11b2011-12-14 02:11:42 +000062 for (unsigned i = 0, e = MII->getNumOperands(); i != e; ++i) {
63 MachineOperand &MO = MII->getOperand(i);
64 if (MO.isReg() && MO.isInternalRead())
65 MO.setIsInternalRead(false);
66 }
67 }
68 MI->eraseFromParent();
69
70 Changed = true;
71 continue;
72 }
73
74 ++MII;
75 }
76 }
77
78 return Changed;
79}
80
Akira Hatanaka4a616192015-06-08 18:50:43 +000081FunctionPass *
Matthias Braun8b38ffa2016-10-24 23:23:02 +000082llvm::createUnpackMachineBundles(
83 std::function<bool(const MachineFunction &)> Ftor) {
Benjamin Kramerd3f4c052016-06-12 16:13:55 +000084 return new UnpackMachineBundles(std::move(Ftor));
Akira Hatanaka4a616192015-06-08 18:50:43 +000085}
Evan Chengc2679b22012-01-19 07:47:03 +000086
87namespace {
88 class FinalizeMachineBundles : public MachineFunctionPass {
89 public:
90 static char ID; // Pass identification
91 FinalizeMachineBundles() : MachineFunctionPass(ID) {
92 initializeFinalizeMachineBundlesPass(*PassRegistry::getPassRegistry());
93 }
94
Craig Topper4584cd52014-03-07 09:26:03 +000095 bool runOnMachineFunction(MachineFunction &MF) override;
Evan Chengc2679b22012-01-19 07:47:03 +000096 };
97} // end anonymous namespace
98
99char FinalizeMachineBundles::ID = 0;
Andrew Trick1fa5bcb2012-02-08 21:23:13 +0000100char &llvm::FinalizeMachineBundlesID = FinalizeMachineBundles::ID;
Evan Chengc2679b22012-01-19 07:47:03 +0000101INITIALIZE_PASS(FinalizeMachineBundles, "finalize-mi-bundles",
102 "Finalize machine instruction bundles", false, false)
103
Evan Chengc2679b22012-01-19 07:47:03 +0000104bool FinalizeMachineBundles::runOnMachineFunction(MachineFunction &MF) {
105 return llvm::finalizeBundles(MF);
106}
107
108
Evan Cheng1eb2bb22012-01-19 00:06:10 +0000109/// finalizeBundle - Finalize a machine instruction bundle which includes
Evan Cheng28794672012-01-19 00:46:06 +0000110/// a sequence of instructions starting from FirstMI to LastMI (exclusive).
Evan Cheng7fae11b2011-12-14 02:11:42 +0000111/// This routine adds a BUNDLE instruction to represent the bundle, it adds
112/// IsInternalRead markers to MachineOperands which are defined inside the
113/// bundle, and it copies externally visible defs and uses to the BUNDLE
114/// instruction.
Evan Cheng1eb2bb22012-01-19 00:06:10 +0000115void llvm::finalizeBundle(MachineBasicBlock &MBB,
Evan Cheng7fae11b2011-12-14 02:11:42 +0000116 MachineBasicBlock::instr_iterator FirstMI,
117 MachineBasicBlock::instr_iterator LastMI) {
Evan Cheng28794672012-01-19 00:46:06 +0000118 assert(FirstMI != LastMI && "Empty bundle?");
Jakob Stoklund Olesen7bb2f972012-12-13 23:23:46 +0000119 MIBundleBuilder Bundle(MBB, FirstMI, LastMI);
Evan Cheng28794672012-01-19 00:46:06 +0000120
Eric Christopher20c98932014-10-14 06:26:55 +0000121 MachineFunction &MF = *MBB.getParent();
122 const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
123 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
Evan Cheng7fae11b2011-12-14 02:11:42 +0000124
Eric Christopher20c98932014-10-14 06:26:55 +0000125 MachineInstrBuilder MIB =
126 BuildMI(MF, FirstMI->getDebugLoc(), TII->get(TargetOpcode::BUNDLE));
Jakob Stoklund Olesen7bb2f972012-12-13 23:23:46 +0000127 Bundle.prepend(MIB);
Evan Cheng7fae11b2011-12-14 02:11:42 +0000128
Michael Ilseman4f0e00a2012-09-17 18:31:15 +0000129 SmallVector<unsigned, 32> LocalDefs;
130 SmallSet<unsigned, 32> LocalDefSet;
Evan Cheng7fae11b2011-12-14 02:11:42 +0000131 SmallSet<unsigned, 8> DeadDefSet;
Michael Ilseman4f0e00a2012-09-17 18:31:15 +0000132 SmallSet<unsigned, 16> KilledDefSet;
Evan Cheng7fae11b2011-12-14 02:11:42 +0000133 SmallVector<unsigned, 8> ExternUses;
134 SmallSet<unsigned, 8> ExternUseSet;
135 SmallSet<unsigned, 8> KilledUseSet;
136 SmallSet<unsigned, 8> UndefUseSet;
137 SmallVector<MachineOperand*, 4> Defs;
Evan Cheng28794672012-01-19 00:46:06 +0000138 for (; FirstMI != LastMI; ++FirstMI) {
Evan Cheng7fae11b2011-12-14 02:11:42 +0000139 for (unsigned i = 0, e = FirstMI->getNumOperands(); i != e; ++i) {
140 MachineOperand &MO = FirstMI->getOperand(i);
141 if (!MO.isReg())
142 continue;
143 if (MO.isDef()) {
144 Defs.push_back(&MO);
145 continue;
146 }
147
148 unsigned Reg = MO.getReg();
149 if (!Reg)
150 continue;
151 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
152 if (LocalDefSet.count(Reg)) {
153 MO.setIsInternalRead();
154 if (MO.isKill())
155 // Internal def is now killed.
156 KilledDefSet.insert(Reg);
157 } else {
David Blaikie70573dc2014-11-19 07:49:26 +0000158 if (ExternUseSet.insert(Reg).second) {
Evan Cheng7fae11b2011-12-14 02:11:42 +0000159 ExternUses.push_back(Reg);
160 if (MO.isUndef())
161 UndefUseSet.insert(Reg);
162 }
163 if (MO.isKill())
164 // External def is now killed.
165 KilledUseSet.insert(Reg);
166 }
167 }
168
169 for (unsigned i = 0, e = Defs.size(); i != e; ++i) {
170 MachineOperand &MO = *Defs[i];
171 unsigned Reg = MO.getReg();
172 if (!Reg)
173 continue;
174
David Blaikie70573dc2014-11-19 07:49:26 +0000175 if (LocalDefSet.insert(Reg).second) {
Evan Cheng7fae11b2011-12-14 02:11:42 +0000176 LocalDefs.push_back(Reg);
177 if (MO.isDead()) {
178 DeadDefSet.insert(Reg);
179 }
180 } else {
181 // Re-defined inside the bundle, it's no longer killed.
182 KilledDefSet.erase(Reg);
183 if (!MO.isDead())
184 // Previously defined but dead.
185 DeadDefSet.erase(Reg);
186 }
187
188 if (!MO.isDead()) {
Jakob Stoklund Olesen54038d72012-06-01 23:28:30 +0000189 for (MCSubRegIterator SubRegs(Reg, TRI); SubRegs.isValid(); ++SubRegs) {
190 unsigned SubReg = *SubRegs;
David Blaikie70573dc2014-11-19 07:49:26 +0000191 if (LocalDefSet.insert(SubReg).second)
Evan Cheng7fae11b2011-12-14 02:11:42 +0000192 LocalDefs.push_back(SubReg);
193 }
194 }
195 }
196
Evan Cheng7fae11b2011-12-14 02:11:42 +0000197 Defs.clear();
Evan Cheng28794672012-01-19 00:46:06 +0000198 }
Evan Cheng7fae11b2011-12-14 02:11:42 +0000199
Michael Ilseman4f0e00a2012-09-17 18:31:15 +0000200 SmallSet<unsigned, 32> Added;
Evan Cheng7fae11b2011-12-14 02:11:42 +0000201 for (unsigned i = 0, e = LocalDefs.size(); i != e; ++i) {
202 unsigned Reg = LocalDefs[i];
David Blaikie70573dc2014-11-19 07:49:26 +0000203 if (Added.insert(Reg).second) {
Evan Cheng7fae11b2011-12-14 02:11:42 +0000204 // If it's not live beyond end of the bundle, mark it dead.
205 bool isDead = DeadDefSet.count(Reg) || KilledDefSet.count(Reg);
206 MIB.addReg(Reg, getDefRegState(true) | getDeadRegState(isDead) |
207 getImplRegState(true));
208 }
209 }
210
211 for (unsigned i = 0, e = ExternUses.size(); i != e; ++i) {
212 unsigned Reg = ExternUses[i];
213 bool isKill = KilledUseSet.count(Reg);
214 bool isUndef = UndefUseSet.count(Reg);
215 MIB.addReg(Reg, getKillRegState(isKill) | getUndefRegState(isUndef) |
216 getImplRegState(true));
217 }
218}
Evan Cheng28794672012-01-19 00:46:06 +0000219
220/// finalizeBundle - Same functionality as the previous finalizeBundle except
221/// the last instruction in the bundle is not provided as an input. This is
222/// used in cases where bundles are pre-determined by marking instructions
Evan Cheng6ca22722012-01-19 06:13:10 +0000223/// with 'InsideBundle' marker. It returns the MBB instruction iterator that
224/// points to the end of the bundle.
225MachineBasicBlock::instr_iterator
226llvm::finalizeBundle(MachineBasicBlock &MBB,
227 MachineBasicBlock::instr_iterator FirstMI) {
Evan Cheng28794672012-01-19 00:46:06 +0000228 MachineBasicBlock::instr_iterator E = MBB.instr_end();
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000229 MachineBasicBlock::instr_iterator LastMI = std::next(FirstMI);
Evan Cheng28794672012-01-19 00:46:06 +0000230 while (LastMI != E && LastMI->isInsideBundle())
231 ++LastMI;
232 finalizeBundle(MBB, FirstMI, LastMI);
Evan Cheng6ca22722012-01-19 06:13:10 +0000233 return LastMI;
Evan Cheng28794672012-01-19 00:46:06 +0000234}
Evan Chengc2679b22012-01-19 07:47:03 +0000235
236/// finalizeBundles - Finalize instruction bundles in the specified
237/// MachineFunction. Return true if any bundles are finalized.
238bool llvm::finalizeBundles(MachineFunction &MF) {
239 bool Changed = false;
240 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I) {
241 MachineBasicBlock &MBB = *I;
Evan Chengc2679b22012-01-19 07:47:03 +0000242 MachineBasicBlock::instr_iterator MII = MBB.instr_begin();
Evan Chengc2679b22012-01-19 07:47:03 +0000243 MachineBasicBlock::instr_iterator MIE = MBB.instr_end();
Evan Cheng217a7042012-03-06 02:00:52 +0000244 if (MII == MIE)
245 continue;
Jakob Stoklund Olesen7f92b7a2013-01-04 22:17:31 +0000246 assert(!MII->isInsideBundle() &&
247 "First instr cannot be inside bundle before finalization!");
248
Evan Chengc2679b22012-01-19 07:47:03 +0000249 for (++MII; MII != MIE; ) {
250 if (!MII->isInsideBundle())
251 ++MII;
252 else {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000253 MII = finalizeBundle(MBB, std::prev(MII));
Evan Chengc2679b22012-01-19 07:47:03 +0000254 Changed = true;
255 }
256 }
257 }
258
259 return Changed;
260}
Jakob Stoklund Olesen9e8214562012-02-29 01:40:37 +0000261
262//===----------------------------------------------------------------------===//
263// MachineOperand iterator
264//===----------------------------------------------------------------------===//
265
James Molloy381fab92012-09-12 10:03:31 +0000266MachineOperandIteratorBase::VirtRegInfo
Jakob Stoklund Olesen9e8214562012-02-29 01:40:37 +0000267MachineOperandIteratorBase::analyzeVirtReg(unsigned Reg,
268 SmallVectorImpl<std::pair<MachineInstr*, unsigned> > *Ops) {
James Molloy381fab92012-09-12 10:03:31 +0000269 VirtRegInfo RI = { false, false, false };
Jakob Stoklund Olesen9e8214562012-02-29 01:40:37 +0000270 for(; isValid(); ++*this) {
271 MachineOperand &MO = deref();
272 if (!MO.isReg() || MO.getReg() != Reg)
273 continue;
274
275 // Remember each (MI, OpNo) that refers to Reg.
276 if (Ops)
277 Ops->push_back(std::make_pair(MO.getParent(), getOperandNo()));
278
279 // Both defs and uses can read virtual registers.
280 if (MO.readsReg()) {
281 RI.Reads = true;
282 if (MO.isDef())
283 RI.Tied = true;
284 }
285
286 // Only defs can write.
287 if (MO.isDef())
288 RI.Writes = true;
289 else if (!RI.Tied && MO.getParent()->isRegTiedToDefOperand(getOperandNo()))
290 RI.Tied = true;
291 }
292 return RI;
293}
James Molloy381fab92012-09-12 10:03:31 +0000294
295MachineOperandIteratorBase::PhysRegInfo
296MachineOperandIteratorBase::analyzePhysReg(unsigned Reg,
297 const TargetRegisterInfo *TRI) {
298 bool AllDefsDead = true;
Quentin Colombet3f192452016-04-26 23:14:24 +0000299 PhysRegInfo PRI = {false, false, false, false, false, false, false, false};
James Molloy381fab92012-09-12 10:03:31 +0000300
301 assert(TargetRegisterInfo::isPhysicalRegister(Reg) &&
302 "analyzePhysReg not given a physical register!");
303 for (; isValid(); ++*this) {
304 MachineOperand &MO = deref();
305
Matthias Braun60d69e22015-12-11 19:42:09 +0000306 if (MO.isRegMask() && MO.clobbersPhysReg(Reg)) {
307 PRI.Clobbered = true;
308 continue;
309 }
James Molloy381fab92012-09-12 10:03:31 +0000310
311 if (!MO.isReg())
312 continue;
313
314 unsigned MOReg = MO.getReg();
315 if (!MOReg || !TargetRegisterInfo::isPhysicalRegister(MOReg))
316 continue;
317
Matthias Braun60d69e22015-12-11 19:42:09 +0000318 if (!TRI->regsOverlap(MOReg, Reg))
James Molloy381fab92012-09-12 10:03:31 +0000319 continue;
320
Matthias Braun7e762e42016-01-05 00:45:35 +0000321 bool Covered = TRI->isSuperRegisterEq(Reg, MOReg);
Matthias Braun60d69e22015-12-11 19:42:09 +0000322 if (MO.readsReg()) {
323 PRI.Read = true;
324 if (Covered) {
325 PRI.FullyRead = true;
326 if (MO.isKill())
327 PRI.Killed = true;
328 }
329 } else if (MO.isDef()) {
330 PRI.Defined = true;
331 if (Covered)
332 PRI.FullyDefined = true;
James Molloy381fab92012-09-12 10:03:31 +0000333 if (!MO.isDead())
334 AllDefsDead = false;
335 }
James Molloy381fab92012-09-12 10:03:31 +0000336 }
337
Quentin Colombet3f192452016-04-26 23:14:24 +0000338 if (AllDefsDead) {
339 if (PRI.FullyDefined || PRI.Clobbered)
340 PRI.DeadDef = true;
Quentin Colombetddad5aa2016-04-27 00:16:29 +0000341 else if (PRI.Defined)
Quentin Colombet3f192452016-04-26 23:14:24 +0000342 PRI.PartialDeadDef = true;
343 }
James Molloy381fab92012-09-12 10:03:31 +0000344
345 return PRI;
346}