27#define DEBUG_TYPE "delay-slot-filler"
29STATISTIC(FilledSlots,
"Number of delay slots filled");
32 "disable-sparc-delay-filler",
34 cl::desc(
"Disable the Sparc delay slot filler."),
53 F.getRegInfo().invalidateLiveness();
56 Changed |= runOnMachineBasicBlock(
MBB);
62 MachineFunctionProperties::Property::NoVRegs);
77 bool &sawLoad,
bool &sawStore,
105 bool Changed =
false;
115 (
MI->getOpcode() == SP::RESTORErr
116 ||
MI->getOpcode() == SP::RESTOREri)) {
117 Changed |= tryCombineRestoreWithPrevInst(
MBB,
MI);
123 if (!Subtarget->isV9() &&
124 (
MI->getOpcode() == SP::FCMPS ||
MI->getOpcode() == SP::FCMPD
125 ||
MI->getOpcode() == SP::FCMPQ)) {
132 if (!
MI->hasDelaySlot())
138 D = findDelayInstr(
MBB,
MI);
148 unsigned structSize = 0;
149 if (needsUnimp(
MI, structSize)) {
152 assert (J !=
MBB.
end() &&
"MI needs a delay instruction.");
170 bool sawLoad =
false;
171 bool sawStore =
false;
176 unsigned Opc = slot->getOpcode();
178 if (Opc == SP::RET || Opc == SP::TLS_CALL)
181 if (Opc == SP::RETL || Opc == SP::TAIL_CALL || Opc == SP::TAIL_CALLri) {
185 if (J->getOpcode() == SP::RESTORErr
186 || J->getOpcode() == SP::RESTOREri) {
196 insertCallDefsUses(slot, RegDefs, RegUses);
198 insertDefsUses(slot, RegDefs, RegUses);
211 if (
I->isDebugInstr())
214 if (
I->hasUnmodeledSideEffects() ||
I->isInlineAsm() ||
I->isPosition() ||
215 I->hasDelaySlot() ||
I->isBundledWithSucc())
218 if (delayHasHazard(
I, sawLoad, sawStore, RegDefs, RegUses)) {
219 insertDefsUses(
I, RegDefs, RegUses);
235 if (candidate->isImplicitDef() || candidate->isKill())
238 if (candidate->mayLoad()) {
244 if (candidate->mayStore()) {
260 if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))
265 if (IsRegInSet(RegDefs, Reg))
270 unsigned Opcode = candidate->getOpcode();
273 if (Subtarget->insertNOPLoad()
275 Opcode >= SP::LDDArr && Opcode <= SP::LDrr)
279 if (Subtarget->fixAllFDIVSQRT()
281 Opcode >= SP::FDIVD && Opcode <= SP::FSQRTD)
284 if (Subtarget->fixTN0009() && candidate->mayStore())
287 if (Subtarget->fixTN0013()) {
310 switch(
MI->getOpcode()) {
318 assert(
Reg.isReg() &&
"CALL first operand is not a register.");
319 assert(
Reg.isUse() &&
"CALL first operand is not a use.");
325 assert(Operand1.
isReg() &&
"CALLrr second operand is not a register.");
326 assert(Operand1.
isUse() &&
"CALLrr second operand is not a use.");
349 if (MO.isImplicit() &&
MI->getOpcode() == SP::RETL)
362 if (RegSet.
count(*AI))
372 unsigned structSizeOpNum = 0;
373 switch (
I->getOpcode()) {
382 case SP::TLS_CALL:
return false;
383 case SP::TAIL_CALLri:
384 case SP::TAIL_CALL:
return false;
403 Register reg = AddMI->getOperand(0).getReg();
404 if (reg < SP::I0 || reg > SP::I7)
408 RestoreMI->eraseFromParent();
411 AddMI->setDesc(
TII->get((AddMI->getOpcode() == SP::ADDrr)
416 AddMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
431 Register reg = OrMI->getOperand(0).getReg();
432 if (reg < SP::I0 || reg > SP::I7)
436 if (OrMI->getOpcode() == SP::ORrr
437 && OrMI->getOperand(1).getReg() != SP::G0
438 && OrMI->getOperand(2).getReg() != SP::G0)
441 if (OrMI->getOpcode() == SP::ORri
442 && OrMI->getOperand(1).getReg() != SP::G0
443 && (!OrMI->getOperand(2).isImm() || OrMI->getOperand(2).getImm() != 0))
447 RestoreMI->eraseFromParent();
450 OrMI->setDesc(
TII->get((OrMI->getOpcode() == SP::ORrr)
455 OrMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
469 Register reg = SetHiMI->getOperand(0).getReg();
470 if (reg < SP::I0 || reg > SP::I7)
473 if (!SetHiMI->getOperand(1).isImm())
476 int64_t imm = SetHiMI->getOperand(1).getImm();
483 imm = (imm << 10) & 0x1FFF;
485 assert(RestoreMI->getOpcode() == SP::RESTORErr);
487 RestoreMI->setDesc(
TII->get(SP::RESTOREri));
489 RestoreMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
490 RestoreMI->getOperand(1).setReg(SP::G0);
491 RestoreMI->getOperand(2).ChangeToImmediate(imm);
495 SetHiMI->eraseFromParent();
509 &&
MBBI->getOperand(0).getReg() == SP::G0
510 &&
MBBI->getOperand(1).getReg() == SP::G0
511 &&
MBBI->getOperand(2).getReg() == SP::G0);
516 if (PrevInst->isBundledWithSucc())
521 switch (PrevInst->getOpcode()) {
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
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)
FunctionPass class - This class is used to implement most global optimizations.
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.
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.
Wrapper class representing virtual and physical registers.
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
size_type count(const T &V) const
count - Return 1 if the element is in the set, 0 otherwise.
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
const SparcRegisterInfo * getRegisterInfo() const override
const SparcInstrInfo * getInstrInfo() const override
StringRef - Represent a constant reference to a string, i.e.
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.
Reg
All possible values of the reg field in the ModR/M byte.
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
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