LLVM 19.0.0git
DelaySlotFiller.cpp
Go to the documentation of this file.
1//===-- DelaySlotFiller.cpp - SPARC delay slot filler ---------------------===//
2//
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
6//
7//===----------------------------------------------------------------------===//
8//
9// This is a simple local pass that attempts to fill delay slots with useful
10// instructions. If no instructions can be moved into the delay slot, then a
11// NOP is placed.
12//===----------------------------------------------------------------------===//
13
14#include "Sparc.h"
15#include "SparcSubtarget.h"
16#include "llvm/ADT/SmallSet.h"
17#include "llvm/ADT/Statistic.h"
25
26using namespace llvm;
27
28#define DEBUG_TYPE "delay-slot-filler"
29
30STATISTIC(FilledSlots, "Number of delay slots filled");
31
33 "disable-sparc-delay-filler",
34 cl::init(false),
35 cl::desc("Disable the Sparc delay slot filler."),
37
38namespace {
39 struct Filler : public MachineFunctionPass {
40 const SparcSubtarget *Subtarget = nullptr;
41
42 static char ID;
43 Filler() : MachineFunctionPass(ID) {}
44
45 StringRef getPassName() const override { return "SPARC Delay Slot Filler"; }
46
47 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
48 bool runOnMachineFunction(MachineFunction &F) override {
49 bool Changed = false;
50 Subtarget = &F.getSubtarget<SparcSubtarget>();
51
52 // This pass invalidates liveness information when it reorders
53 // instructions to fill delay slot.
54 F.getRegInfo().invalidateLiveness();
55
56 for (MachineBasicBlock &MBB : F)
57 Changed |= runOnMachineBasicBlock(MBB);
58 return Changed;
59 }
60
63 MachineFunctionProperties::Property::NoVRegs);
64 }
65
66 void insertCallDefsUses(MachineBasicBlock::iterator MI,
68 SmallSet<unsigned, 32>& RegUses);
69
70 void insertDefsUses(MachineBasicBlock::iterator MI,
72 SmallSet<unsigned, 32>& RegUses);
73
74 bool IsRegInSet(SmallSet<unsigned, 32>& RegSet,
75 unsigned Reg);
76
77 bool delayHasHazard(MachineBasicBlock::iterator candidate,
78 bool &sawLoad, bool &sawStore,
80 SmallSet<unsigned, 32> &RegUses);
81
84
85 bool needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize);
86
87 bool tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,
89
90 };
91 char Filler::ID = 0;
92} // end of anonymous namespace
93
94/// createSparcDelaySlotFillerPass - Returns a pass that fills in delay
95/// slots in Sparc MachineFunctions
96///
98 return new Filler;
99}
100
101
102/// runOnMachineBasicBlock - Fill in delay slots for the given basic block.
103/// We assume there is only one delay slot per delayed instruction.
104///
105bool Filler::runOnMachineBasicBlock(MachineBasicBlock &MBB) {
106 bool Changed = false;
107 Subtarget = &MBB.getParent()->getSubtarget<SparcSubtarget>();
108 const TargetInstrInfo *TII = Subtarget->getInstrInfo();
109
110 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) {
112 ++I;
113
114 // If MI is restore, try combining it with previous inst.
116 (MI->getOpcode() == SP::RESTORErr
117 || MI->getOpcode() == SP::RESTOREri)) {
118 Changed |= tryCombineRestoreWithPrevInst(MBB, MI);
119 continue;
120 }
121
122 // TODO: If we ever want to support v7, this needs to be extended
123 // to cover all floating point operations.
124 if (!Subtarget->isV9() &&
125 (MI->getOpcode() == SP::FCMPS || MI->getOpcode() == SP::FCMPD
126 || MI->getOpcode() == SP::FCMPQ)) {
127 BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));
128 Changed = true;
129 continue;
130 }
131
132 // If MI has no delay slot, skip.
133 if (!MI->hasDelaySlot())
134 continue;
135
137
139 D = findDelayInstr(MBB, MI);
140
141 ++FilledSlots;
142 Changed = true;
143
144 if (D == MBB.end())
145 BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));
146 else
147 MBB.splice(I, &MBB, D);
148
149 unsigned structSize = 0;
150 if (needsUnimp(MI, structSize)) {
152 ++J; // skip the delay filler.
153 assert (J != MBB.end() && "MI needs a delay instruction.");
154 BuildMI(MBB, ++J, MI->getDebugLoc(),
155 TII->get(SP::UNIMP)).addImm(structSize);
156 // Bundle the delay filler and unimp with the instruction.
158 } else {
160 }
161 }
162 return Changed;
163}
164
166Filler::findDelayInstr(MachineBasicBlock &MBB,
168{
171 bool sawLoad = false;
172 bool sawStore = false;
173
174 if (slot == MBB.begin())
175 return MBB.end();
176
177 unsigned Opc = slot->getOpcode();
178
179 if (Opc == SP::RET || Opc == SP::TLS_CALL)
180 return MBB.end();
181
182 if (Opc == SP::RETL || Opc == SP::TAIL_CALL || Opc == SP::TAIL_CALLri) {
184 --J;
185
186 if (J->getOpcode() == SP::RESTORErr
187 || J->getOpcode() == SP::RESTOREri) {
188 // change retl to ret.
189 if (Opc == SP::RETL)
190 slot->setDesc(Subtarget->getInstrInfo()->get(SP::RET));
191 return J;
192 }
193 }
194
195 // Call's delay filler can def some of call's uses.
196 if (slot->isCall())
197 insertCallDefsUses(slot, RegDefs, RegUses);
198 else
199 insertDefsUses(slot, RegDefs, RegUses);
200
201 bool done = false;
202
204
205 while (!done) {
206 done = (I == MBB.begin());
207
208 if (!done)
209 --I;
210
211 // skip debug instruction
212 if (I->isDebugInstr())
213 continue;
214
215 if (I->hasUnmodeledSideEffects() || I->isInlineAsm() || I->isPosition() ||
216 I->hasDelaySlot() || I->isBundledWithSucc())
217 break;
218
219 if (delayHasHazard(I, sawLoad, sawStore, RegDefs, RegUses)) {
220 insertDefsUses(I, RegDefs, RegUses);
221 continue;
222 }
223
224 return I;
225 }
226 return MBB.end();
227}
228
229bool Filler::delayHasHazard(MachineBasicBlock::iterator candidate,
230 bool &sawLoad,
231 bool &sawStore,
232 SmallSet<unsigned, 32> &RegDefs,
233 SmallSet<unsigned, 32> &RegUses)
234{
235
236 if (candidate->isImplicitDef() || candidate->isKill())
237 return true;
238
239 if (candidate->mayLoad()) {
240 sawLoad = true;
241 if (sawStore)
242 return true;
243 }
244
245 if (candidate->mayStore()) {
246 if (sawStore)
247 return true;
248 sawStore = true;
249 if (sawLoad)
250 return true;
251 }
252
253 for (const MachineOperand &MO : candidate->operands()) {
254 if (!MO.isReg())
255 continue; // skip
256
257 Register Reg = MO.getReg();
258
259 if (MO.isDef()) {
260 // check whether Reg is defined or used before delay slot.
261 if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))
262 return true;
263 }
264 if (MO.isUse()) {
265 // check whether Reg is defined before delay slot.
266 if (IsRegInSet(RegDefs, Reg))
267 return true;
268 }
269 }
270
271 unsigned Opcode = candidate->getOpcode();
272 // LD and LDD may have NOPs inserted afterwards in the case of some LEON
273 // processors, so we can't use the delay slot if this feature is switched-on.
274 if (Subtarget->insertNOPLoad()
275 &&
276 Opcode >= SP::LDDArr && Opcode <= SP::LDrr)
277 return true;
278
279 // Same as above for FDIV and FSQRT on some LEON processors.
280 if (Subtarget->fixAllFDIVSQRT()
281 &&
282 Opcode >= SP::FDIVD && Opcode <= SP::FSQRTD)
283 return true;
284
285
286 return false;
287}
288
289
290void Filler::insertCallDefsUses(MachineBasicBlock::iterator MI,
291 SmallSet<unsigned, 32>& RegDefs,
292 SmallSet<unsigned, 32>& RegUses)
293{
294 // Call defines o7, which is visible to the instruction in delay slot.
295 RegDefs.insert(SP::O7);
296
297 switch(MI->getOpcode()) {
298 default: llvm_unreachable("Unknown opcode.");
299 case SP::CALL: break;
300 case SP::CALLrr:
301 case SP::CALLri:
302 assert(MI->getNumOperands() >= 2);
303 const MachineOperand &Reg = MI->getOperand(0);
304 assert(Reg.isReg() && "CALL first operand is not a register.");
305 assert(Reg.isUse() && "CALL first operand is not a use.");
306 RegUses.insert(Reg.getReg());
307
308 const MachineOperand &Operand1 = MI->getOperand(1);
309 if (Operand1.isImm() || Operand1.isGlobal())
310 break;
311 assert(Operand1.isReg() && "CALLrr second operand is not a register.");
312 assert(Operand1.isUse() && "CALLrr second operand is not a use.");
313 RegUses.insert(Operand1.getReg());
314 break;
315 }
316}
317
318// Insert Defs and Uses of MI into the sets RegDefs and RegUses.
319void Filler::insertDefsUses(MachineBasicBlock::iterator MI,
320 SmallSet<unsigned, 32>& RegDefs,
321 SmallSet<unsigned, 32>& RegUses)
322{
323 for (const MachineOperand &MO : MI->operands()) {
324 if (!MO.isReg())
325 continue;
326
327 Register Reg = MO.getReg();
328 if (Reg == 0)
329 continue;
330 if (MO.isDef())
331 RegDefs.insert(Reg);
332 if (MO.isUse()) {
333 // Implicit register uses of retl are return values and
334 // retl does not use them.
335 if (MO.isImplicit() && MI->getOpcode() == SP::RETL)
336 continue;
337 RegUses.insert(Reg);
338 }
339 }
340}
341
342// returns true if the Reg or its alias is in the RegSet.
343bool Filler::IsRegInSet(SmallSet<unsigned, 32>& RegSet, unsigned Reg)
344{
345 // Check Reg and all aliased Registers.
346 for (MCRegAliasIterator AI(Reg, Subtarget->getRegisterInfo(), true);
347 AI.isValid(); ++AI)
348 if (RegSet.count(*AI))
349 return true;
350 return false;
351}
352
353bool Filler::needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize)
354{
355 if (!I->isCall())
356 return false;
357
358 unsigned structSizeOpNum = 0;
359 switch (I->getOpcode()) {
360 default: llvm_unreachable("Unknown call opcode.");
361 case SP::CALL: structSizeOpNum = 1; break;
362 case SP::CALLrr:
363 case SP::CALLri: structSizeOpNum = 2; break;
364 case SP::TLS_CALL: return false;
365 case SP::TAIL_CALLri:
366 case SP::TAIL_CALL: return false;
367 }
368
369 const MachineOperand &MO = I->getOperand(structSizeOpNum);
370 if (!MO.isImm())
371 return false;
372 StructSize = MO.getImm();
373 return true;
374}
375
378 const TargetInstrInfo *TII)
379{
380 // Before: add <op0>, <op1>, %i[0-7]
381 // restore %g0, %g0, %i[0-7]
382 //
383 // After : restore <op0>, <op1>, %o[0-7]
384
385 Register reg = AddMI->getOperand(0).getReg();
386 if (reg < SP::I0 || reg > SP::I7)
387 return false;
388
389 // Erase RESTORE.
390 RestoreMI->eraseFromParent();
391
392 // Change ADD to RESTORE.
393 AddMI->setDesc(TII->get((AddMI->getOpcode() == SP::ADDrr)
394 ? SP::RESTORErr
395 : SP::RESTOREri));
396
397 // Map the destination register.
398 AddMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
399
400 return true;
401}
402
405 const TargetInstrInfo *TII)
406{
407 // Before: or <op0>, <op1>, %i[0-7]
408 // restore %g0, %g0, %i[0-7]
409 // and <op0> or <op1> is zero,
410 //
411 // After : restore <op0>, <op1>, %o[0-7]
412
413 Register reg = OrMI->getOperand(0).getReg();
414 if (reg < SP::I0 || reg > SP::I7)
415 return false;
416
417 // check whether it is a copy.
418 if (OrMI->getOpcode() == SP::ORrr
419 && OrMI->getOperand(1).getReg() != SP::G0
420 && OrMI->getOperand(2).getReg() != SP::G0)
421 return false;
422
423 if (OrMI->getOpcode() == SP::ORri
424 && OrMI->getOperand(1).getReg() != SP::G0
425 && (!OrMI->getOperand(2).isImm() || OrMI->getOperand(2).getImm() != 0))
426 return false;
427
428 // Erase RESTORE.
429 RestoreMI->eraseFromParent();
430
431 // Change OR to RESTORE.
432 OrMI->setDesc(TII->get((OrMI->getOpcode() == SP::ORrr)
433 ? SP::RESTORErr
434 : SP::RESTOREri));
435
436 // Map the destination register.
437 OrMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
438
439 return true;
440}
441
444 const TargetInstrInfo *TII)
445{
446 // Before: sethi imm3, %i[0-7]
447 // restore %g0, %g0, %g0
448 //
449 // After : restore %g0, (imm3<<10), %o[0-7]
450
451 Register reg = SetHiMI->getOperand(0).getReg();
452 if (reg < SP::I0 || reg > SP::I7)
453 return false;
454
455 if (!SetHiMI->getOperand(1).isImm())
456 return false;
457
458 int64_t imm = SetHiMI->getOperand(1).getImm();
459
460 // Is it a 3 bit immediate?
461 if (!isInt<3>(imm))
462 return false;
463
464 // Make it a 13 bit immediate.
465 imm = (imm << 10) & 0x1FFF;
466
467 assert(RestoreMI->getOpcode() == SP::RESTORErr);
468
469 RestoreMI->setDesc(TII->get(SP::RESTOREri));
470
471 RestoreMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
472 RestoreMI->getOperand(1).setReg(SP::G0);
473 RestoreMI->getOperand(2).ChangeToImmediate(imm);
474
475
476 // Erase the original SETHI.
477 SetHiMI->eraseFromParent();
478
479 return true;
480}
481
482bool Filler::tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,
484{
485 // No previous instruction.
486 if (MBBI == MBB.begin())
487 return false;
488
489 // assert that MBBI is a "restore %g0, %g0, %g0".
490 assert(MBBI->getOpcode() == SP::RESTORErr
491 && MBBI->getOperand(0).getReg() == SP::G0
492 && MBBI->getOperand(1).getReg() == SP::G0
493 && MBBI->getOperand(2).getReg() == SP::G0);
494
495 MachineBasicBlock::iterator PrevInst = std::prev(MBBI);
496
497 // It cannot be combined with a bundled instruction.
498 if (PrevInst->isBundledWithSucc())
499 return false;
500
501 const TargetInstrInfo *TII = Subtarget->getInstrInfo();
502
503 switch (PrevInst->getOpcode()) {
504 default: break;
505 case SP::ADDrr:
506 case SP::ADDri: return combineRestoreADD(MBBI, PrevInst, TII); break;
507 case SP::ORrr:
508 case SP::ORri: return combineRestoreOR(MBBI, PrevInst, TII); break;
509 case SP::SETHIi: return combineRestoreSETHIi(MBBI, PrevInst, TII); break;
510 }
511 // It cannot combine with the previous instruction.
512 return false;
513}
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator MBBI
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static bool combineRestoreSETHIi(MachineBasicBlock::iterator RestoreMI, MachineBasicBlock::iterator SetHiMI, const TargetInstrInfo *TII)
static bool combineRestoreOR(MachineBasicBlock::iterator RestoreMI, MachineBasicBlock::iterator OrMI, const TargetInstrInfo *TII)
static cl::opt< bool > DisableDelaySlotFiller("disable-sparc-delay-filler", cl::init(false), cl::desc("Disable the Sparc delay slot filler."), cl::Hidden)
static bool combineRestoreADD(MachineBasicBlock::iterator RestoreMI, MachineBasicBlock::iterator AddMI, const TargetInstrInfo *TII)
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
#define F(x, y, z)
Definition: MD5.cpp:55
#define I(x, y, z)
Definition: MD5.cpp:58
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file defines the SmallSet class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Definition: Statistic.h:167
FunctionPass class - This class is used to implement most global optimizations.
Definition: Pass.h:311
MCRegAliasIterator enumerates all registers aliasing Reg.
Helper class for constructing bundles of MachineInstrs.
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
void splice(iterator Where, MachineBasicBlock *Other, iterator From)
Take an instruction from MBB 'Other' at the position From, and insert it into this MBB right before '...
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
virtual bool runOnMachineFunction(MachineFunction &MF)=0
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
virtual MachineFunctionProperties getRequiredProperties() const
Properties which a MachineFunction may have at a given point in time.
MachineFunctionProperties & set(Property P)
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
MachineOperand class - Representation of each machine instruction operand.
int64_t getImm() const
bool isReg() const
isReg - Tests if this is a MO_Register operand.
bool isImm() const
isImm - Tests if this is a MO_Immediate operand.
bool isGlobal() const
isGlobal - Tests if this is a MO_GlobalAddress operand.
Register getReg() const
getReg - Returns the register number.
virtual StringRef getPassName() const
getPassName - Return a nice clean name for a pass.
Definition: Pass.cpp:81
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
Definition: SmallSet.h:135
size_type count(const T &V) const
count - Return 1 if the element is in the set, 0 otherwise.
Definition: SmallSet.h:166
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
Definition: SmallSet.h:179
const SparcRegisterInfo * getRegisterInfo() const override
const SparcInstrInfo * getInstrInfo() const override
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
TargetInstrInfo - Interface to description of machine instruction set.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
Reg
All possible values of the reg field in the ModR/M byte.
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:450
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
FunctionPass * createSparcDelaySlotFillerPass()
createSparcDelaySlotFillerPass - Returns a pass that fills in delay slots in Sparc MachineFunctions