25#define GET_INSTRINFO_CTOR_DTOR
26#include "LoongArchGenInstrInfo.inc"
30 LoongArch::ADJCALLSTACKUP),
45 bool RenamableSrc)
const {
46 if (LoongArch::GPRRegClass.
contains(DstReg, SrcReg)) {
54 if (LoongArch::LSX128RegClass.
contains(DstReg, SrcReg)) {
62 if (LoongArch::LASX256RegClass.
contains(DstReg, SrcReg)) {
70 if (LoongArch::CFRRegClass.
contains(DstReg) &&
71 LoongArch::GPRRegClass.
contains(SrcReg)) {
77 if (LoongArch::GPRRegClass.
contains(DstReg) &&
78 LoongArch::CFRRegClass.
contains(SrcReg)) {
84 if (LoongArch::CFRRegClass.
contains(DstReg, SrcReg)) {
92 if (LoongArch::FPR32RegClass.
contains(DstReg, SrcReg)) {
93 Opc = LoongArch::FMOV_S;
94 }
else if (LoongArch::FPR64RegClass.
contains(DstReg, SrcReg)) {
95 Opc = LoongArch::FMOV_D;
96 }
else if (LoongArch::GPRRegClass.
contains(DstReg) &&
97 LoongArch::FPR32RegClass.
contains(SrcReg)) {
99 Opc = LoongArch::MOVFR2GR_S;
100 }
else if (LoongArch::GPRRegClass.
contains(DstReg) &&
101 LoongArch::FPR64RegClass.
contains(SrcReg)) {
103 Opc = LoongArch::MOVFR2GR_D;
121 if (LoongArch::GPRRegClass.hasSubClassEq(RC))
122 Opcode =
TRI->getRegSizeInBits(LoongArch::GPRRegClass) == 32
125 else if (LoongArch::FPR32RegClass.hasSubClassEq(RC))
126 Opcode = LoongArch::FST_S;
127 else if (LoongArch::FPR64RegClass.hasSubClassEq(RC))
128 Opcode = LoongArch::FST_D;
129 else if (LoongArch::LSX128RegClass.hasSubClassEq(RC))
130 Opcode = LoongArch::VST;
131 else if (LoongArch::LASX256RegClass.hasSubClassEq(RC))
132 Opcode = LoongArch::XVST;
133 else if (LoongArch::CFRRegClass.hasSubClassEq(RC))
134 Opcode = LoongArch::PseudoST_CFR;
159 if (LoongArch::GPRRegClass.hasSubClassEq(RC))
160 Opcode =
TRI->getRegSizeInBits(LoongArch::GPRRegClass) == 32
163 else if (LoongArch::FPR32RegClass.hasSubClassEq(RC))
164 Opcode = LoongArch::FLD_S;
165 else if (LoongArch::FPR64RegClass.hasSubClassEq(RC))
166 Opcode = LoongArch::FLD_D;
167 else if (LoongArch::LSX128RegClass.hasSubClassEq(RC))
168 Opcode = LoongArch::VLD;
169 else if (LoongArch::LASX256RegClass.hasSubClassEq(RC))
170 Opcode = LoongArch::XVLD;
171 else if (LoongArch::CFRRegClass.hasSubClassEq(RC))
172 Opcode = LoongArch::PseudoLD_CFR;
198 for (
auto &Inst : Seq) {
200 case LoongArch::LU12I_W:
205 case LoongArch::ADDI_W:
207 case LoongArch::LU32I_D:
208 case LoongArch::LU52I_D:
214 case LoongArch::BSTRINS_D:
223 assert(
false &&
"Unknown insn emitted by LoongArchMatInt");
232 unsigned Opcode =
MI.getOpcode();
234 if (Opcode == TargetOpcode::INLINEASM ||
235 Opcode == TargetOpcode::INLINEASM_BR) {
238 return getInlineAsmLength(
MI.getOperand(0).getSymbolName(), *MAI);
241 unsigned NumBytes = 0;
247 switch (
Desc.getOpcode()) {
249 return Desc.getSize();
250 case TargetOpcode::STATEPOINT:
252 assert(NumBytes % 4 == 0 &&
"Invalid number of NOP bytes requested!");
262 const unsigned Opcode =
MI.getOpcode();
266 case LoongArch::ADDI_D:
268 case LoongArch::XORI:
269 return (
MI.getOperand(1).isReg() &&
270 MI.getOperand(1).getReg() == LoongArch::R0) ||
271 (
MI.getOperand(2).isImm() &&
MI.getOperand(2).getImm() == 0);
273 return MI.isAsCheapAsAMove();
278 assert(
MI.getDesc().isBranch() &&
"Unexpected opcode!");
280 return MI.getOperand(
MI.getNumExplicitOperands() - 1).getMBB();
287 "Unknown conditional branch");
292 for (
int i = 0; i < NumOp - 1; i++)
300 bool AllowModify)
const {
306 if (
I ==
MBB.
end() || !isUnpredicatedTerminator(*
I))
312 int NumTerminators = 0;
313 for (
auto J =
I.getReverse(); J !=
MBB.
rend() && isUnpredicatedTerminator(*J);
316 if (J->getDesc().isUnconditionalBranch() ||
317 J->getDesc().isIndirectBranch()) {
324 if (AllowModify && FirstUncondOrIndirectBr !=
MBB.
end()) {
325 while (std::next(FirstUncondOrIndirectBr) !=
MBB.
end()) {
326 std::next(FirstUncondOrIndirectBr)->eraseFromParent();
329 I = FirstUncondOrIndirectBr;
333 if (NumTerminators == 1 &&
I->getDesc().isUnconditionalBranch()) {
339 if (NumTerminators == 1 &&
I->getDesc().isConditionalBranch()) {
345 if (NumTerminators == 2 && std::prev(
I)->getDesc().isConditionalBranch() &&
346 I->getDesc().isUnconditionalBranch()) {
357 int64_t BrOffset)
const {
365 case LoongArch::BLTU:
366 case LoongArch::BGEU:
367 return isInt<18>(BrOffset);
368 case LoongArch::BEQZ:
369 case LoongArch::BNEZ:
370 case LoongArch::BCEQZ:
371 case LoongArch::BCNEZ:
372 return isInt<23>(BrOffset);
374 case LoongArch::PseudoBR:
375 return isInt<28>(BrOffset);
385 auto MII =
MI.getIterator();
412 switch (
MI.getOpcode()) {
413 case LoongArch::PCALAU12I: {
414 auto AddI = std::next(MII);
415 if (AddI == MIE || AddI->getOpcode() != LoongArch::ADDI_D)
417 auto Lu32I = std::next(AddI);
418 if (Lu32I == MIE || Lu32I->getOpcode() != LoongArch::LU32I_D)
420 auto MO0 =
MI.getOperand(1).getTargetFlags();
421 auto MO1 = AddI->getOperand(2).getTargetFlags();
422 auto MO2 = Lu32I->getOperand(2).getTargetFlags();
435 case LoongArch::LU52I_D: {
436 auto MO =
MI.getOperand(2).getTargetFlags();
450 int *BytesRemoved)
const {
457 if (!
I->getDesc().isBranch())
463 I->eraseFromParent();
470 if (!
I->getDesc().isConditionalBranch())
476 I->eraseFromParent();
489 assert(
TBB &&
"insertBranch must not be told to insert a fallthrough");
491 "LoongArch branch conditions have at most two components!");
503 for (
unsigned i = 1; i <
Cond.size(); ++i)
526 assert(RS &&
"RegScavenger required for long branching");
528 "new block should be inserted for expanding unconditional branch");
537 if (!isInt<32>(BrOffset))
539 "Branch offsets outside of the signed 32-bit range not supported");
541 Register ScratchReg =
MRI.createVirtualRegister(&LoongArch::GPRRegClass);
559 LoongArch::GPRRegClass, PCALAU12I.
getIterator(),
false,
561 if (Scav != LoongArch::NoRegister)
566 Scav = LoongArch::R20;
568 if (FrameIndex == -1)
578 TRI->eliminateFrameIndex(RestoreBB.
back(),
581 MRI.replaceRegWith(ScratchReg, Scav);
590 return LoongArch::BNE;
592 return LoongArch::BEQ;
593 case LoongArch::BEQZ:
594 return LoongArch::BNEZ;
595 case LoongArch::BNEZ:
596 return LoongArch::BEQZ;
597 case LoongArch::BCEQZ:
598 return LoongArch::BCNEZ;
599 case LoongArch::BCNEZ:
600 return LoongArch::BCEQZ;
602 return LoongArch::BGE;
604 return LoongArch::BLT;
605 case LoongArch::BLTU:
606 return LoongArch::BGEU;
607 case LoongArch::BGEU:
608 return LoongArch::BLTU;
614 assert((
Cond.size() &&
Cond.size() <= 3) &&
"Invalid branch condition!");
619std::pair<unsigned, unsigned>
621 return std::make_pair(TF, 0u);
626 using namespace LoongArchII;
628 static const std::pair<unsigned, const char *> TargetFlags[] = {
629 {MO_CALL,
"loongarch-call"},
630 {MO_CALL_PLT,
"loongarch-call-plt"},
631 {MO_PCREL_HI,
"loongarch-pcrel-hi"},
632 {MO_PCREL_LO,
"loongarch-pcrel-lo"},
633 {MO_PCREL64_LO,
"loongarch-pcrel64-lo"},
634 {MO_PCREL64_HI,
"loongarch-pcrel64-hi"},
635 {MO_GOT_PC_HI,
"loongarch-got-pc-hi"},
636 {MO_GOT_PC_LO,
"loongarch-got-pc-lo"},
637 {MO_GOT_PC64_LO,
"loongarch-got-pc64-lo"},
638 {MO_GOT_PC64_HI,
"loongarch-got-pc64-hi"},
639 {MO_LE_HI,
"loongarch-le-hi"},
640 {MO_LE_LO,
"loongarch-le-lo"},
641 {MO_LE64_LO,
"loongarch-le64-lo"},
642 {MO_LE64_HI,
"loongarch-le64-hi"},
643 {MO_IE_PC_HI,
"loongarch-ie-pc-hi"},
644 {MO_IE_PC_LO,
"loongarch-ie-pc-lo"},
645 {MO_IE_PC64_LO,
"loongarch-ie-pc64-lo"},
646 {MO_IE_PC64_HI,
"loongarch-ie-pc64-hi"},
647 {MO_DESC_PC_HI,
"loongarch-desc-pc-hi"},
648 {MO_DESC_PC_LO,
"loongarch-desc-pc-lo"},
649 {MO_DESC64_PC_LO,
"loongarch-desc64-pc-lo"},
650 {MO_DESC64_PC_HI,
"loongarch-desc64-pc-hi"},
651 {MO_DESC_LD,
"loongarch-desc-ld"},
652 {MO_DESC_CALL,
"loongarch-desc-call"},
653 {MO_LD_PC_HI,
"loongarch-ld-pc-hi"},
654 {MO_GD_PC_HI,
"loongarch-gd-pc-hi"}};
660 return MI.getOpcode() == LoongArch::ADDI_W &&
MI.getOperand(1).isReg() &&
661 MI.getOperand(2).isImm() &&
MI.getOperand(2).getImm() == 0;
unsigned const MachineRegisterInfo * MRI
static void parseCondBranch(MachineInstr *LastInst, MachineBasicBlock *&Target, SmallVectorImpl< MachineOperand > &Cond)
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
static unsigned getOppositeBranchOpc(unsigned Opcode)
unsigned const TargetRegisterInfo * TRI
uint64_t IntrinsicInst * II
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
This file declares the machine register scavenger class.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register DstReg, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
const LoongArchSubtarget & STI
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify) const override
std::pair< unsigned, unsigned > decomposeMachineOperandsTargetFlags(unsigned TF) const override
bool isAsCheapAsAMove(const MachineInstr &MI) const override
LoongArchInstrInfo(LoongArchSubtarget &STI)
MCInst getNop() const override
ArrayRef< std::pair< unsigned, const char * > > getSerializableDirectMachineOperandTargetFlags() const override
unsigned removeBranch(MachineBasicBlock &MBB, int *BytesRemoved=nullptr) const override
void movImm(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, Register DstReg, uint64_t Val, MachineInstr::MIFlag Flag=MachineInstr::NoFlags) const
unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &dl, int *BytesAdded=nullptr) const override
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister DstReg, MCRegister SrcReg, bool KillSrc, bool RenamableDest=false, bool RenamableSrc=false) const override
void insertIndirectBranch(MachineBasicBlock &MBB, MachineBasicBlock &NewDestBB, MachineBasicBlock &RestoreBB, const DebugLoc &DL, int64_t BrOffset, RegScavenger *RS) const override
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register SrcReg, bool IsKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
bool isSchedulingBoundary(const MachineInstr &MI, const MachineBasicBlock *MBB, const MachineFunction &MF) const override
bool isBranchOffsetInRange(unsigned BranchOpc, int64_t BrOffset) const override
unsigned getInstSizeInBytes(const MachineInstr &MI) const override
MachineBasicBlock * getBranchDestBlock(const MachineInstr &MI) const override
LoongArchMachineFunctionInfo - This class is derived from MachineFunctionInfo and contains private Lo...
int getBranchRelaxationSpillFrameIndex()
This class is intended to be used as a base class for asm properties and features specific to the tar...
MCInstBuilder & addReg(MCRegister Reg)
Add a new register operand.
MCInstBuilder & addImm(int64_t Val)
Add a new integer immediate operand.
Instances of this class represent a single low-level machine instruction.
Describe properties that are true of each instruction in the target description file.
bool isConditionalBranch() const
Return true if this is a branch which may fall through to the next instruction or may transfer contro...
Wrapper class representing physical registers. Should be passed by value.
unsigned pred_size() const
iterator getLastNonDebugInstr(bool SkipPseudoOp=true)
Returns an iterator to the last non-debug instruction in the basic block, or end().
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
int64_t getObjectSize(int ObjectIdx) const
Return the size of the specified object.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags f, LLT MemTy, Align base_alignment, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr, SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
const MachineInstrBuilder & setMIFlag(MachineInstr::MIFlag Flag) const
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & add(const MachineOperand &MO) const
const MachineInstrBuilder & addFrameIndex(int Idx) const
const MachineInstrBuilder & addReg(Register RegNo, unsigned flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
const MachineInstrBuilder & addMemOperand(MachineMemOperand *MMO) const
reverse_iterator getReverse() const
Get a reverse iterator to the same node.
Representation of each machine instruction.
unsigned getOpcode() const
Returns the opcode of this MachineInstr.
unsigned getNumExplicitOperands() const
Returns the number of non-implicit operands.
const MCInstrDesc & getDesc() const
Returns the target instruction descriptor of this MachineInstr.
const MachineOperand & getOperand(unsigned i) const
A description of a memory reference used in the backend.
@ MOLoad
The memory access reads data.
@ MOStore
The memory access writes data.
MachineBasicBlock * getMBB() const
void setMBB(MachineBasicBlock *MBB)
static MachineOperand CreateImm(int64_t Val)
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
void enterBasicBlockEnd(MachineBasicBlock &MBB)
Start tracking liveness from the end of basic block MBB.
void setRegUsed(Register Reg, LaneBitmask LaneMask=LaneBitmask::getAll())
Tell the scavenger a register is used.
Register scavengeRegisterBackwards(const TargetRegisterClass &RC, MachineBasicBlock::iterator To, bool RestoreAfter, int SPAdj, bool AllowSpill=true)
Make a register of the specific register class available from the current position backwards to the p...
Wrapper class representing virtual and physical registers.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
MI-level Statepoint operands.
uint32_t getNumPatchBytes() const
Return the number of patchable bytes the given statepoint should emit.
virtual bool isSchedulingBoundary(const MachineInstr &MI, const MachineBasicBlock *MBB, const MachineFunction &MF) const
Test if the given instruction should be considered a scheduling boundary.
const MCAsmInfo * getMCAsmInfo() const
Return target specific asm information.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
Target - Wrapper for Target specific information.
self_iterator getIterator()
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
InstSeq generateInstSeq(int64_t Val)
bool isSEXT_W(const MachineInstr &MI)
@ Kill
The last use of a register.
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.
decltype(auto) get(const PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info > &Pair)
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
unsigned getKillRegState(bool B)
Description of the encoding of one expression Op.
static MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.