Path: blob/main/contrib/llvm-project/llvm/lib/Target/Sparc/DelaySlotFiller.cpp
35269 views
//===-- DelaySlotFiller.cpp - SPARC delay slot filler ---------------------===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//7//8// This is a simple local pass that attempts to fill delay slots with useful9// instructions. If no instructions can be moved into the delay slot, then a10// NOP is placed.11//===----------------------------------------------------------------------===//1213#include "Sparc.h"14#include "SparcSubtarget.h"15#include "llvm/ADT/SmallSet.h"16#include "llvm/ADT/Statistic.h"17#include "llvm/CodeGen/MachineFunctionPass.h"18#include "llvm/CodeGen/MachineInstrBuilder.h"19#include "llvm/CodeGen/MachineRegisterInfo.h"20#include "llvm/CodeGen/TargetInstrInfo.h"21#include "llvm/CodeGen/TargetRegisterInfo.h"22#include "llvm/Support/CommandLine.h"23#include "llvm/Target/TargetMachine.h"2425using namespace llvm;2627#define DEBUG_TYPE "delay-slot-filler"2829STATISTIC(FilledSlots, "Number of delay slots filled");3031static cl::opt<bool> DisableDelaySlotFiller(32"disable-sparc-delay-filler",33cl::init(false),34cl::desc("Disable the Sparc delay slot filler."),35cl::Hidden);3637namespace {38struct Filler : public MachineFunctionPass {39const SparcSubtarget *Subtarget = nullptr;4041static char ID;42Filler() : MachineFunctionPass(ID) {}4344StringRef getPassName() const override { return "SPARC Delay Slot Filler"; }4546bool runOnMachineBasicBlock(MachineBasicBlock &MBB);47bool runOnMachineFunction(MachineFunction &F) override {48bool Changed = false;49Subtarget = &F.getSubtarget<SparcSubtarget>();5051// This pass invalidates liveness information when it reorders52// instructions to fill delay slot.53F.getRegInfo().invalidateLiveness();5455for (MachineBasicBlock &MBB : F)56Changed |= runOnMachineBasicBlock(MBB);57return Changed;58}5960MachineFunctionProperties getRequiredProperties() const override {61return MachineFunctionProperties().set(62MachineFunctionProperties::Property::NoVRegs);63}6465void insertCallDefsUses(MachineBasicBlock::iterator MI,66SmallSet<unsigned, 32>& RegDefs,67SmallSet<unsigned, 32>& RegUses);6869void insertDefsUses(MachineBasicBlock::iterator MI,70SmallSet<unsigned, 32>& RegDefs,71SmallSet<unsigned, 32>& RegUses);7273bool IsRegInSet(SmallSet<unsigned, 32>& RegSet,74unsigned Reg);7576bool delayHasHazard(MachineBasicBlock::iterator candidate,77bool &sawLoad, bool &sawStore,78SmallSet<unsigned, 32> &RegDefs,79SmallSet<unsigned, 32> &RegUses);8081MachineBasicBlock::iterator82findDelayInstr(MachineBasicBlock &MBB, MachineBasicBlock::iterator slot);8384bool needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize);8586bool tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,87MachineBasicBlock::iterator MBBI);8889};90char Filler::ID = 0;91} // end of anonymous namespace9293/// createSparcDelaySlotFillerPass - Returns a pass that fills in delay94/// slots in Sparc MachineFunctions95///96FunctionPass *llvm::createSparcDelaySlotFillerPass() {97return new Filler;98}99100101/// runOnMachineBasicBlock - Fill in delay slots for the given basic block.102/// We assume there is only one delay slot per delayed instruction.103///104bool Filler::runOnMachineBasicBlock(MachineBasicBlock &MBB) {105bool Changed = false;106Subtarget = &MBB.getParent()->getSubtarget<SparcSubtarget>();107const TargetInstrInfo *TII = Subtarget->getInstrInfo();108109for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) {110MachineBasicBlock::iterator MI = I;111++I;112113// If MI is restore, try combining it with previous inst.114if (!DisableDelaySlotFiller &&115(MI->getOpcode() == SP::RESTORErr116|| MI->getOpcode() == SP::RESTOREri)) {117Changed |= tryCombineRestoreWithPrevInst(MBB, MI);118continue;119}120121// TODO: If we ever want to support v7, this needs to be extended122// to cover all floating point operations.123if (!Subtarget->isV9() &&124(MI->getOpcode() == SP::FCMPS || MI->getOpcode() == SP::FCMPD125|| MI->getOpcode() == SP::FCMPQ)) {126BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));127Changed = true;128continue;129}130131// If MI has no delay slot, skip.132if (!MI->hasDelaySlot())133continue;134135MachineBasicBlock::iterator D = MBB.end();136137if (!DisableDelaySlotFiller)138D = findDelayInstr(MBB, MI);139140++FilledSlots;141Changed = true;142143if (D == MBB.end())144BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));145else146MBB.splice(I, &MBB, D);147148unsigned structSize = 0;149if (needsUnimp(MI, structSize)) {150MachineBasicBlock::iterator J = MI;151++J; // skip the delay filler.152assert (J != MBB.end() && "MI needs a delay instruction.");153BuildMI(MBB, ++J, MI->getDebugLoc(),154TII->get(SP::UNIMP)).addImm(structSize);155// Bundle the delay filler and unimp with the instruction.156MIBundleBuilder(MBB, MachineBasicBlock::iterator(MI), J);157} else {158MIBundleBuilder(MBB, MachineBasicBlock::iterator(MI), I);159}160}161return Changed;162}163164MachineBasicBlock::iterator165Filler::findDelayInstr(MachineBasicBlock &MBB,166MachineBasicBlock::iterator slot)167{168SmallSet<unsigned, 32> RegDefs;169SmallSet<unsigned, 32> RegUses;170bool sawLoad = false;171bool sawStore = false;172173if (slot == MBB.begin())174return MBB.end();175176unsigned Opc = slot->getOpcode();177178if (Opc == SP::RET || Opc == SP::TLS_CALL)179return MBB.end();180181if (Opc == SP::RETL || Opc == SP::TAIL_CALL || Opc == SP::TAIL_CALLri) {182MachineBasicBlock::iterator J = slot;183--J;184185if (J->getOpcode() == SP::RESTORErr186|| J->getOpcode() == SP::RESTOREri) {187// change retl to ret.188if (Opc == SP::RETL)189slot->setDesc(Subtarget->getInstrInfo()->get(SP::RET));190return J;191}192}193194// Call's delay filler can def some of call's uses.195if (slot->isCall())196insertCallDefsUses(slot, RegDefs, RegUses);197else198insertDefsUses(slot, RegDefs, RegUses);199200bool done = false;201202MachineBasicBlock::iterator I = slot;203204while (!done) {205done = (I == MBB.begin());206207if (!done)208--I;209210// skip debug instruction211if (I->isDebugInstr())212continue;213214if (I->hasUnmodeledSideEffects() || I->isInlineAsm() || I->isPosition() ||215I->hasDelaySlot() || I->isBundledWithSucc())216break;217218if (delayHasHazard(I, sawLoad, sawStore, RegDefs, RegUses)) {219insertDefsUses(I, RegDefs, RegUses);220continue;221}222223return I;224}225return MBB.end();226}227228bool Filler::delayHasHazard(MachineBasicBlock::iterator candidate,229bool &sawLoad,230bool &sawStore,231SmallSet<unsigned, 32> &RegDefs,232SmallSet<unsigned, 32> &RegUses)233{234235if (candidate->isImplicitDef() || candidate->isKill())236return true;237238if (candidate->mayLoad()) {239sawLoad = true;240if (sawStore)241return true;242}243244if (candidate->mayStore()) {245if (sawStore)246return true;247sawStore = true;248if (sawLoad)249return true;250}251252for (const MachineOperand &MO : candidate->operands()) {253if (!MO.isReg())254continue; // skip255256Register Reg = MO.getReg();257258if (MO.isDef()) {259// check whether Reg is defined or used before delay slot.260if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))261return true;262}263if (MO.isUse()) {264// check whether Reg is defined before delay slot.265if (IsRegInSet(RegDefs, Reg))266return true;267}268}269270unsigned Opcode = candidate->getOpcode();271// LD and LDD may have NOPs inserted afterwards in the case of some LEON272// processors, so we can't use the delay slot if this feature is switched-on.273if (Subtarget->insertNOPLoad()274&&275Opcode >= SP::LDDArr && Opcode <= SP::LDrr)276return true;277278// Same as above for FDIV and FSQRT on some LEON processors.279if (Subtarget->fixAllFDIVSQRT()280&&281Opcode >= SP::FDIVD && Opcode <= SP::FSQRTD)282return true;283284285return false;286}287288289void Filler::insertCallDefsUses(MachineBasicBlock::iterator MI,290SmallSet<unsigned, 32>& RegDefs,291SmallSet<unsigned, 32>& RegUses)292{293// Call defines o7, which is visible to the instruction in delay slot.294RegDefs.insert(SP::O7);295296switch(MI->getOpcode()) {297default: llvm_unreachable("Unknown opcode.");298case SP::CALL: break;299case SP::CALLrr:300case SP::CALLri:301assert(MI->getNumOperands() >= 2);302const MachineOperand &Reg = MI->getOperand(0);303assert(Reg.isReg() && "CALL first operand is not a register.");304assert(Reg.isUse() && "CALL first operand is not a use.");305RegUses.insert(Reg.getReg());306307const MachineOperand &Operand1 = MI->getOperand(1);308if (Operand1.isImm() || Operand1.isGlobal())309break;310assert(Operand1.isReg() && "CALLrr second operand is not a register.");311assert(Operand1.isUse() && "CALLrr second operand is not a use.");312RegUses.insert(Operand1.getReg());313break;314}315}316317// Insert Defs and Uses of MI into the sets RegDefs and RegUses.318void Filler::insertDefsUses(MachineBasicBlock::iterator MI,319SmallSet<unsigned, 32>& RegDefs,320SmallSet<unsigned, 32>& RegUses)321{322for (const MachineOperand &MO : MI->operands()) {323if (!MO.isReg())324continue;325326Register Reg = MO.getReg();327if (Reg == 0)328continue;329if (MO.isDef())330RegDefs.insert(Reg);331if (MO.isUse()) {332// Implicit register uses of retl are return values and333// retl does not use them.334if (MO.isImplicit() && MI->getOpcode() == SP::RETL)335continue;336RegUses.insert(Reg);337}338}339}340341// returns true if the Reg or its alias is in the RegSet.342bool Filler::IsRegInSet(SmallSet<unsigned, 32>& RegSet, unsigned Reg)343{344// Check Reg and all aliased Registers.345for (MCRegAliasIterator AI(Reg, Subtarget->getRegisterInfo(), true);346AI.isValid(); ++AI)347if (RegSet.count(*AI))348return true;349return false;350}351352bool Filler::needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize)353{354if (!I->isCall())355return false;356357unsigned structSizeOpNum = 0;358switch (I->getOpcode()) {359default: llvm_unreachable("Unknown call opcode.");360case SP::CALL: structSizeOpNum = 1; break;361case SP::CALLrr:362case SP::CALLri: structSizeOpNum = 2; break;363case SP::TLS_CALL: return false;364case SP::TAIL_CALLri:365case SP::TAIL_CALL: return false;366}367368const MachineOperand &MO = I->getOperand(structSizeOpNum);369if (!MO.isImm())370return false;371StructSize = MO.getImm();372return true;373}374375static bool combineRestoreADD(MachineBasicBlock::iterator RestoreMI,376MachineBasicBlock::iterator AddMI,377const TargetInstrInfo *TII)378{379// Before: add <op0>, <op1>, %i[0-7]380// restore %g0, %g0, %i[0-7]381//382// After : restore <op0>, <op1>, %o[0-7]383384Register reg = AddMI->getOperand(0).getReg();385if (reg < SP::I0 || reg > SP::I7)386return false;387388// Erase RESTORE.389RestoreMI->eraseFromParent();390391// Change ADD to RESTORE.392AddMI->setDesc(TII->get((AddMI->getOpcode() == SP::ADDrr)393? SP::RESTORErr394: SP::RESTOREri));395396// Map the destination register.397AddMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);398399return true;400}401402static bool combineRestoreOR(MachineBasicBlock::iterator RestoreMI,403MachineBasicBlock::iterator OrMI,404const TargetInstrInfo *TII)405{406// Before: or <op0>, <op1>, %i[0-7]407// restore %g0, %g0, %i[0-7]408// and <op0> or <op1> is zero,409//410// After : restore <op0>, <op1>, %o[0-7]411412Register reg = OrMI->getOperand(0).getReg();413if (reg < SP::I0 || reg > SP::I7)414return false;415416// check whether it is a copy.417if (OrMI->getOpcode() == SP::ORrr418&& OrMI->getOperand(1).getReg() != SP::G0419&& OrMI->getOperand(2).getReg() != SP::G0)420return false;421422if (OrMI->getOpcode() == SP::ORri423&& OrMI->getOperand(1).getReg() != SP::G0424&& (!OrMI->getOperand(2).isImm() || OrMI->getOperand(2).getImm() != 0))425return false;426427// Erase RESTORE.428RestoreMI->eraseFromParent();429430// Change OR to RESTORE.431OrMI->setDesc(TII->get((OrMI->getOpcode() == SP::ORrr)432? SP::RESTORErr433: SP::RESTOREri));434435// Map the destination register.436OrMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);437438return true;439}440441static bool combineRestoreSETHIi(MachineBasicBlock::iterator RestoreMI,442MachineBasicBlock::iterator SetHiMI,443const TargetInstrInfo *TII)444{445// Before: sethi imm3, %i[0-7]446// restore %g0, %g0, %g0447//448// After : restore %g0, (imm3<<10), %o[0-7]449450Register reg = SetHiMI->getOperand(0).getReg();451if (reg < SP::I0 || reg > SP::I7)452return false;453454if (!SetHiMI->getOperand(1).isImm())455return false;456457int64_t imm = SetHiMI->getOperand(1).getImm();458459// Is it a 3 bit immediate?460if (!isInt<3>(imm))461return false;462463// Make it a 13 bit immediate.464imm = (imm << 10) & 0x1FFF;465466assert(RestoreMI->getOpcode() == SP::RESTORErr);467468RestoreMI->setDesc(TII->get(SP::RESTOREri));469470RestoreMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);471RestoreMI->getOperand(1).setReg(SP::G0);472RestoreMI->getOperand(2).ChangeToImmediate(imm);473474475// Erase the original SETHI.476SetHiMI->eraseFromParent();477478return true;479}480481bool Filler::tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,482MachineBasicBlock::iterator MBBI)483{484// No previous instruction.485if (MBBI == MBB.begin())486return false;487488// assert that MBBI is a "restore %g0, %g0, %g0".489assert(MBBI->getOpcode() == SP::RESTORErr490&& MBBI->getOperand(0).getReg() == SP::G0491&& MBBI->getOperand(1).getReg() == SP::G0492&& MBBI->getOperand(2).getReg() == SP::G0);493494MachineBasicBlock::iterator PrevInst = std::prev(MBBI);495496// It cannot be combined with a bundled instruction.497if (PrevInst->isBundledWithSucc())498return false;499500const TargetInstrInfo *TII = Subtarget->getInstrInfo();501502switch (PrevInst->getOpcode()) {503default: break;504case SP::ADDrr:505case SP::ADDri: return combineRestoreADD(MBBI, PrevInst, TII); break;506case SP::ORrr:507case SP::ORri: return combineRestoreOR(MBBI, PrevInst, TII); break;508case SP::SETHIi: return combineRestoreSETHIi(MBBI, PrevInst, TII); break;509}510// It cannot combine with the previous instruction.511return false;512}513514515