20#define DEBUG_TYPE "csky-instr-info"
24#define GET_INSTRINFO_CTOR_DTOR
25#include "CSKYGenInstrInfo.inc"
31 v2sf =
STI.hasFPUv2SingleFloat();
32 v2df =
STI.hasFPUv2DoubleFloat();
33 v3sf =
STI.hasFPUv3SingleFloat();
34 v3df =
STI.hasFPUv3DoubleFloat();
41 "Unknown conditional branch");
51 bool AllowModify)
const {
57 if (
I ==
MBB.end() || !isUnpredicatedTerminator(*
I))
63 int NumTerminators = 0;
64 for (
auto J =
I.getReverse(); J !=
MBB.rend() && isUnpredicatedTerminator(*J);
67 if (J->getDesc().isUnconditionalBranch() ||
68 J->getDesc().isIndirectBranch()) {
75 if (AllowModify && FirstUncondOrIndirectBr !=
MBB.end()) {
76 while (std::next(FirstUncondOrIndirectBr) !=
MBB.end()) {
77 std::next(FirstUncondOrIndirectBr)->eraseFromParent();
80 I = FirstUncondOrIndirectBr;
84 if (
I->getDesc().isIndirectBranch())
88 if (NumTerminators > 2)
92 if (NumTerminators == 1 &&
I->getDesc().isUnconditionalBranch()) {
98 if (NumTerminators == 1 &&
I->getDesc().isConditionalBranch()) {
104 if (NumTerminators == 2 && std::prev(
I)->getDesc().isConditionalBranch() &&
105 I->getDesc().isUnconditionalBranch()) {
116 int *BytesRemoved)
const {
123 if (!
I->getDesc().isUnconditionalBranch() &&
124 !
I->getDesc().isConditionalBranch())
130 I->eraseFromParent();
134 if (
I ==
MBB.begin())
137 if (!
I->getDesc().isConditionalBranch())
143 I->eraseFromParent();
149 assert(
MI.getDesc().isBranch() &&
"Unexpected opcode!");
151 int NumOp =
MI.getNumExplicitOperands();
152 assert(
MI.getOperand(NumOp - 1).isMBB() &&
"Expected MBB!");
153 return MI.getOperand(NumOp - 1).getMBB();
163 assert(
TBB &&
"insertBranch must not be told to insert a fallthrough");
165 "CSKY branch conditions have two components!");
176 unsigned Opc =
Cond[0].getImm();
221 assert((
Cond.size() == 2) &&
"Invalid branch condition!");
237 DstReg =
MRI.createVirtualRegister(&CSKY::GPRRegClass);
245 .
addImm((Val >> 16) & 0xFFFF)
249 .
addImm((Val >> 16) & 0xFFFF)
258 DstReg =
MRI.createVirtualRegister(&CSKY::mGPRRegClass);
265 .
addImm((Val >> 8) & 0xFF)
271 if ((Val & 0xFF) != 0)
278 .
addImm((Val >> 16) & 0xFF)
284 if (((Val >> 8) & 0xFF) != 0)
287 .
addImm((Val >> 8) & 0xFF)
293 if ((Val & 0xFF) != 0)
300 .
addImm((Val >> 24) & 0xFF)
306 if (((Val >> 16) & 0xFF) != 0)
309 .
addImm((Val >> 16) & 0xFF)
315 if (((Val >> 8) & 0xFF) != 0)
318 .
addImm((Val >> 8) & 0xFF)
324 if ((Val & 0xFF) != 0)
336 int &FrameIndex)
const {
337 switch (
MI.getOpcode()) {
352 case CSKY::RESTORE_CARRY:
356 if (
MI.getOperand(1).isFI() &&
MI.getOperand(2).isImm() &&
357 MI.getOperand(2).getImm() == 0) {
358 FrameIndex =
MI.getOperand(1).getIndex();
359 return MI.getOperand(0).getReg();
366 int &FrameIndex)
const {
367 switch (
MI.getOpcode()) {
380 case CSKY::SPILL_CARRY:
384 if (
MI.getOperand(1).isFI() &&
MI.getOperand(2).isImm() &&
385 MI.getOperand(2).getImm() == 0) {
386 FrameIndex =
MI.getOperand(1).getIndex();
387 return MI.getOperand(0).getReg();
395 Register SrcReg,
bool IsKill,
int FI,
401 DL =
I->getDebugLoc();
409 if (CSKY::GPRRegClass.hasSubClassEq(RC)) {
410 Opcode = CSKY::ST32W;
411 }
else if (CSKY::CARRYRegClass.hasSubClassEq(RC)) {
412 Opcode = CSKY::SPILL_CARRY;
414 }
else if (v2sf && CSKY::sFPR32RegClass.hasSubClassEq(RC))
415 Opcode = CSKY::FST_S;
416 else if (v2df && CSKY::sFPR64RegClass.hasSubClassEq(RC))
417 Opcode = CSKY::FST_D;
418 else if (v3sf && CSKY::FPR32RegClass.hasSubClassEq(RC))
419 Opcode = CSKY::f2FST_S;
420 else if (v3df && CSKY::FPR64RegClass.hasSubClassEq(RC))
421 Opcode = CSKY::f2FST_D;
428 MFI.getObjectSize(FI), MFI.getObjectAlign(FI));
445 DL =
I->getDebugLoc();
453 if (CSKY::GPRRegClass.hasSubClassEq(RC)) {
454 Opcode = CSKY::LD32W;
455 }
else if (CSKY::CARRYRegClass.hasSubClassEq(RC)) {
456 Opcode = CSKY::RESTORE_CARRY;
458 }
else if (v2sf && CSKY::sFPR32RegClass.hasSubClassEq(RC))
459 Opcode = CSKY::FLD_S;
460 else if (v2df && CSKY::sFPR64RegClass.hasSubClassEq(RC))
461 Opcode = CSKY::FLD_D;
462 else if (v3sf && CSKY::FPR32RegClass.hasSubClassEq(RC))
463 Opcode = CSKY::f2FLD_S;
464 else if (v3df && CSKY::FPR64RegClass.hasSubClassEq(RC))
465 Opcode = CSKY::f2FLD_D;
472 MFI.getObjectSize(FI), MFI.getObjectAlign(FI));
484 bool RenamableDest,
bool RenamableSrc)
const {
485 if (CSKY::GPRRegClass.
contains(SrcReg) &&
486 CSKY::CARRYRegClass.
contains(DestReg)) {
492 assert(SrcReg < CSKY::R8);
500 if (CSKY::CARRYRegClass.
contains(SrcReg) &&
501 CSKY::GPRRegClass.
contains(DestReg)) {
507 assert(DestReg < CSKY::R16);
508 assert(DestReg < CSKY::R8);
525 if (CSKY::GPRRegClass.
contains(DestReg, SrcReg))
526 Opcode =
STI.hasE2() ? CSKY::MOV32 : CSKY::MOV16;
527 else if (v2sf && CSKY::sFPR32RegClass.
contains(DestReg, SrcReg))
528 Opcode = CSKY::FMOV_S;
529 else if (v3sf && CSKY::FPR32RegClass.
contains(DestReg, SrcReg))
530 Opcode = CSKY::f2FMOV_S;
531 else if (v2df && CSKY::sFPR64RegClass.
contains(DestReg, SrcReg))
532 Opcode = CSKY::FMOV_D;
533 else if (v3df && CSKY::FPR64RegClass.
contains(DestReg, SrcReg))
534 Opcode = CSKY::f2FMOV_D;
535 else if (v2sf && CSKY::sFPR32RegClass.
contains(SrcReg) &&
536 CSKY::GPRRegClass.
contains(DestReg))
537 Opcode = CSKY::FMFVRL;
538 else if (v3sf && CSKY::FPR32RegClass.
contains(SrcReg) &&
539 CSKY::GPRRegClass.
contains(DestReg))
540 Opcode = CSKY::f2FMFVRL;
541 else if (v2df && CSKY::sFPR64RegClass.
contains(SrcReg) &&
542 CSKY::GPRRegClass.
contains(DestReg))
543 Opcode = CSKY::FMFVRL_D;
544 else if (v3df && CSKY::FPR64RegClass.
contains(SrcReg) &&
545 CSKY::GPRRegClass.
contains(DestReg))
546 Opcode = CSKY::f2FMFVRL_D;
547 else if (v2sf && CSKY::GPRRegClass.
contains(SrcReg) &&
548 CSKY::sFPR32RegClass.
contains(DestReg))
549 Opcode = CSKY::FMTVRL;
550 else if (v3sf && CSKY::GPRRegClass.
contains(SrcReg) &&
551 CSKY::FPR32RegClass.
contains(DestReg))
552 Opcode = CSKY::f2FMTVRL;
553 else if (v2df && CSKY::GPRRegClass.
contains(SrcReg) &&
554 CSKY::sFPR64RegClass.
contains(DestReg))
555 Opcode = CSKY::FMTVRL_D;
556 else if (v3df && CSKY::GPRRegClass.
contains(SrcReg) &&
557 CSKY::FPR64RegClass.
contains(DestReg))
558 Opcode = CSKY::f2FMTVRL_D;
560 LLVM_DEBUG(
dbgs() <<
"src = " << SrcReg <<
", dst = " << DestReg);
575 if (GlobalBaseReg != 0)
576 return GlobalBaseReg;
588 unsigned CPI = MCP->getConstantPoolIndex(CPV,
Align(4));
597 GlobalBaseReg =
MRI.createVirtualRegister(&CSKY::GPRRegClass);
602 return GlobalBaseReg;
606 switch (
MI.getOpcode()) {
608 return MI.getDesc().getSize();
609 case CSKY::CONSTPOOL_ENTRY:
610 return MI.getOperand(2).getImm();
611 case CSKY::SPILL_CARRY:
612 case CSKY::RESTORE_CARRY:
613 case CSKY::PseudoTLSLA32:
615 case TargetOpcode::INLINEASM_BR:
616 case TargetOpcode::INLINEASM: {
618 const char *AsmStr =
MI.getOperand(0).getSymbolName();
unsigned const MachineRegisterInfo * MRI
static void parseCondBranch(MachineInstr *LastInst, MachineBasicBlock *&Target, SmallVectorImpl< MachineOperand > &Cond)
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
static unsigned getOppositeBranchOpc(unsigned Opcode)
Register const TargetRegisterInfo * TRI
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
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),...
static CSKYConstantPoolSymbol * Create(Type *Ty, const char *S, unsigned PCAdjust, CSKYCP::CSKYCPModifier Modifier)
CSKYConstantPoolValue - CSKY specific constantpool value.
unsigned getInstSizeInBytes(const MachineInstr &MI) const override
unsigned removeBranch(MachineBasicBlock &MBB, int *BytesRemoved=nullptr) const override
unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &DL, int *BytesAdded=nullptr) const override
CSKYInstrInfo(const CSKYSubtarget &STI, const CSKYRegisterInfo &RI)
const CSKYSubtarget & STI
MachineBasicBlock * getBranchDestBlock(const MachineInstr &MI) const override
bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify=false) const override
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register SrcReg, bool IsKill, int FrameIndex, const TargetRegisterClass *RC, Register VReg, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const override
Register movImm(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, uint64_t Val, MachineInstr::MIFlag Flag=MachineInstr::NoFlags) const
Register isLoadFromStackSlot(const MachineInstr &MI, int &FrameIndex) const override
Register getGlobalBaseReg(MachineFunction &MF) const
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register DestReg, int FrameIndex, const TargetRegisterClass *RC, Register VReg, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const override
Register isStoreToStackSlot(const MachineInstr &MI, int &FrameIndex) const override
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, const DebugLoc &DL, Register DestReg, Register SrcReg, bool KillSrc, bool RenamableDest=false, bool RenamableSrc=false) const override
Register getGlobalBaseReg() const
void setGlobalBaseReg(Register Reg)
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
bool isConditionalBranch() const
Return true if this is a branch which may fall through to the next instruction or may transfer contro...
MachineInstrBundleIterator< MachineInstr > iterator
The MachineConstantPool class keeps track of constants referenced by a function which must be spilled...
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
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.
Function & getFunction()
Return the LLVM function that this machine code represents.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
MachineConstantPool * getConstantPool()
getConstantPool - Return the constant pool object for the current function.
const MachineBasicBlock & front() const
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
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 & addConstantPoolIndex(unsigned Idx, int Offset=0, unsigned TargetFlags=0) 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 & setMIFlags(unsigned Flags) 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.
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
static MachineOperand CreateImm(int64_t Val)
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
Wrapper class representing virtual and physical registers.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
const MCAsmInfo * getMCAsmInfo() const
Return target specific asm information.
Target - Wrapper for Target specific information.
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ Define
Register definition.
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.
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
unsigned getDeadRegState(bool B)
MachineInstr * getImm(const MachineOperand &MO, const MachineRegisterInfo *MRI)
decltype(auto) get(const PointerIntPair< PointerTy, IntBits, IntType, PtrTraits, Info > &Pair)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
unsigned getKillRegState(bool B)
constexpr bool isShiftedUInt(uint64_t x)
Checks if a unsigned integer is an N bit number shifted left by S.
This struct is a compact representation of a valid (non-zero power of two) alignment.
static LLVM_ABI MachinePointerInfo getConstantPool(MachineFunction &MF)
Return a MachinePointerInfo record that refers to the constant pool.
static LLVM_ABI MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.