39#define GEN_CHECK_COMPRESS_INSTR
40#include "RISCVGenCompressInstEmitter.inc"
42#define GET_INSTRINFO_CTOR_DTOR
43#define GET_INSTRINFO_NAMED_OPS
44#include "RISCVGenInstrInfo.inc"
48 cl::desc(
"Prefer whole register move for vector registers."));
51 "riscv-force-machine-combiner-strategy",
cl::Hidden,
52 cl::desc(
"Force machine combiner to use a specific strategy for machine "
53 "trace metrics evaluation."),
54 cl::init(MachineTraceStrategy::TS_NumStrategies),
57 clEnumValN(MachineTraceStrategy::TS_MinInstrCount,
"min-instr",
58 "MinInstrCount strategy.")));
64#define GET_RISCVVPseudosTable_IMPL
65#include "RISCVGenSearchableTables.inc"
71#define GET_RISCVMaskedPseudosTable_IMPL
72#include "RISCVGenSearchableTables.inc"
90 int &FrameIndex)
const {
97 unsigned &MemBytes)
const {
98 switch (
MI.getOpcode()) {
123 if (
MI.getOperand(1).isFI() &&
MI.getOperand(2).isImm() &&
124 MI.getOperand(2).getImm() == 0) {
125 FrameIndex =
MI.getOperand(1).getIndex();
126 return MI.getOperand(0).getReg();
133 int &FrameIndex)
const {
140 unsigned &MemBytes)
const {
141 switch (
MI.getOpcode()) {
163 if (
MI.getOperand(1).isFI() &&
MI.getOperand(2).isImm() &&
164 MI.getOperand(2).getImm() == 0) {
165 FrameIndex =
MI.getOperand(1).getIndex();
166 return MI.getOperand(0).getReg();
176 case RISCV::VFMV_V_F:
179 case RISCV::VFMV_S_F:
181 return MI.getOperand(1).isUndef();
189 return DstReg > SrcReg && (DstReg - SrcReg) < NumRegs;
200 assert(
MBBI->getOpcode() == TargetOpcode::COPY &&
201 "Unexpected COPY instruction.");
205 bool FoundDef =
false;
206 bool FirstVSetVLI =
false;
207 unsigned FirstSEW = 0;
210 if (
MBBI->isMetaInstruction())
213 if (
MBBI->getOpcode() == RISCV::PseudoVSETVLI ||
214 MBBI->getOpcode() == RISCV::PseudoVSETVLIX0 ||
215 MBBI->getOpcode() == RISCV::PseudoVSETIVLI) {
225 unsigned FirstVType =
MBBI->getOperand(2).getImm();
230 if (FirstLMul != LMul)
235 if (
MBBI->getOperand(0).getReg() != RISCV::X0)
237 if (
MBBI->getOperand(1).isImm())
239 if (
MBBI->getOperand(1).getReg() != RISCV::X0)
245 unsigned VType =
MBBI->getOperand(2).getImm();
263 }
else if (
MBBI->isInlineAsm() ||
MBBI->isCall()) {
265 }
else if (
MBBI->getNumDefs()) {
268 if (
MBBI->modifiesRegister(RISCV::VL,
nullptr))
274 if (!MO.isReg() || !MO.isDef())
276 if (!FoundDef &&
TRI->regsOverlap(MO.getReg(), SrcReg)) {
291 if (MO.getReg() != SrcReg)
332 uint16_t SrcEncoding =
TRI->getEncodingValue(SrcReg);
333 uint16_t DstEncoding =
TRI->getEncodingValue(DstReg);
335 assert(!Fractional &&
"It is impossible be fractional lmul here.");
336 unsigned NumRegs = NF * LMulVal;
342 SrcEncoding += NumRegs - 1;
343 DstEncoding += NumRegs - 1;
349 unsigned,
unsigned> {
357 uint16_t Diff = DstEncoding - SrcEncoding;
358 if (
I + 8 <= NumRegs && Diff >= 8 && SrcEncoding % 8 == 7 &&
359 DstEncoding % 8 == 7)
361 RISCV::PseudoVMV_V_V_M8, RISCV::PseudoVMV_V_I_M8};
362 if (
I + 4 <= NumRegs && Diff >= 4 && SrcEncoding % 4 == 3 &&
363 DstEncoding % 4 == 3)
365 RISCV::PseudoVMV_V_V_M4, RISCV::PseudoVMV_V_I_M4};
366 if (
I + 2 <= NumRegs && Diff >= 2 && SrcEncoding % 2 == 1 &&
367 DstEncoding % 2 == 1)
369 RISCV::PseudoVMV_V_V_M2, RISCV::PseudoVMV_V_I_M2};
372 RISCV::PseudoVMV_V_V_M1, RISCV::PseudoVMV_V_I_M1};
377 if (
I + 8 <= NumRegs && SrcEncoding % 8 == 0 && DstEncoding % 8 == 0)
379 RISCV::PseudoVMV_V_V_M8, RISCV::PseudoVMV_V_I_M8};
380 if (
I + 4 <= NumRegs && SrcEncoding % 4 == 0 && DstEncoding % 4 == 0)
382 RISCV::PseudoVMV_V_V_M4, RISCV::PseudoVMV_V_I_M4};
383 if (
I + 2 <= NumRegs && SrcEncoding % 2 == 0 && DstEncoding % 2 == 0)
385 RISCV::PseudoVMV_V_V_M2, RISCV::PseudoVMV_V_I_M2};
388 RISCV::PseudoVMV_V_V_M1, RISCV::PseudoVMV_V_I_M1};
395 return TRI->getMatchingSuperReg(Reg, RISCV::sub_vrm1_0, &RegClass);
397 while (
I != NumRegs) {
402 auto [LMulCopied, RegClass, Opc, VVOpc, VIOpc] =
403 GetCopyInfo(SrcEncoding, DstEncoding);
407 if (LMul == LMulCopied &&
410 if (DefMBBI->getOpcode() == VIOpc)
416 MCRegister ActualSrcReg = FindRegWithEncoding(
417 RegClass, ReversedCopy ? (SrcEncoding - NumCopied + 1) : SrcEncoding);
418 MCRegister ActualDstReg = FindRegWithEncoding(
419 RegClass, ReversedCopy ? (DstEncoding - NumCopied + 1) : DstEncoding);
427 MIB = MIB.add(DefMBBI->getOperand(2));
435 MIB.addImm(Log2SEW ? Log2SEW : 3);
442 SrcEncoding += (ReversedCopy ? -NumCopied : NumCopied);
443 DstEncoding += (ReversedCopy ? -NumCopied : NumCopied);
452 bool RenamableDest,
bool RenamableSrc)
const {
455 if (RISCV::GPRRegClass.
contains(DstReg, SrcReg)) {
463 if (RISCV::GPRF16RegClass.
contains(DstReg, SrcReg)) {
470 if (RISCV::GPRF32RegClass.
contains(DstReg, SrcReg)) {
477 if (RISCV::GPRPairRegClass.
contains(DstReg, SrcReg)) {
480 TRI->getSubReg(DstReg, RISCV::sub_gpr_even))
481 .
addReg(
TRI->getSubReg(SrcReg, RISCV::sub_gpr_even),
485 TRI->getSubReg(DstReg, RISCV::sub_gpr_odd))
486 .
addReg(
TRI->getSubReg(SrcReg, RISCV::sub_gpr_odd),
493 if (RISCV::VCSRRegClass.
contains(SrcReg) &&
494 RISCV::GPRRegClass.
contains(DstReg)) {
496 .
addImm(RISCVSysReg::lookupSysRegByName(
TRI->getName(SrcReg))->Encoding)
501 if (RISCV::FPR16RegClass.
contains(DstReg, SrcReg)) {
503 if (
STI.hasStdExtZfh()) {
504 Opc = RISCV::FSGNJ_H;
507 (
STI.hasStdExtZfhmin() ||
STI.hasStdExtZfbfmin()) &&
508 "Unexpected extensions");
510 DstReg =
TRI->getMatchingSuperReg(DstReg, RISCV::sub_16,
511 &RISCV::FPR32RegClass);
512 SrcReg =
TRI->getMatchingSuperReg(SrcReg, RISCV::sub_16,
513 &RISCV::FPR32RegClass);
514 Opc = RISCV::FSGNJ_S;
522 if (RISCV::FPR32RegClass.
contains(DstReg, SrcReg)) {
529 if (RISCV::FPR64RegClass.
contains(DstReg, SrcReg)) {
536 if (RISCV::FPR32RegClass.
contains(DstReg) &&
537 RISCV::GPRRegClass.
contains(SrcReg)) {
543 if (RISCV::GPRRegClass.
contains(DstReg) &&
544 RISCV::FPR32RegClass.
contains(SrcReg)) {
550 if (RISCV::FPR64RegClass.
contains(DstReg) &&
551 RISCV::GPRRegClass.
contains(SrcReg)) {
558 if (RISCV::GPRRegClass.
contains(DstReg) &&
559 RISCV::FPR64RegClass.
contains(SrcReg)) {
568 TRI->getCommonMinimalPhysRegClass(SrcReg, DstReg);
579 Register SrcReg,
bool IsKill,
int FI,
588 bool IsScalableVector =
true;
589 if (RISCV::GPRRegClass.hasSubClassEq(RC)) {
590 Opcode =
TRI->getRegSizeInBits(RISCV::GPRRegClass) == 32 ?
591 RISCV::SW : RISCV::SD;
592 IsScalableVector =
false;
593 }
else if (RISCV::GPRF16RegClass.hasSubClassEq(RC)) {
594 Opcode = RISCV::SH_INX;
595 IsScalableVector =
false;
596 }
else if (RISCV::GPRF32RegClass.hasSubClassEq(RC)) {
597 Opcode = RISCV::SW_INX;
598 IsScalableVector =
false;
599 }
else if (RISCV::GPRPairRegClass.hasSubClassEq(RC)) {
600 Opcode = RISCV::PseudoRV32ZdinxSD;
601 IsScalableVector =
false;
602 }
else if (RISCV::FPR16RegClass.hasSubClassEq(RC)) {
604 IsScalableVector =
false;
605 }
else if (RISCV::FPR32RegClass.hasSubClassEq(RC)) {
607 IsScalableVector =
false;
608 }
else if (RISCV::FPR64RegClass.hasSubClassEq(RC)) {
610 IsScalableVector =
false;
611 }
else if (RISCV::VRRegClass.hasSubClassEq(RC)) {
612 Opcode = RISCV::VS1R_V;
613 }
else if (RISCV::VRM2RegClass.hasSubClassEq(RC)) {
614 Opcode = RISCV::VS2R_V;
615 }
else if (RISCV::VRM4RegClass.hasSubClassEq(RC)) {
616 Opcode = RISCV::VS4R_V;
617 }
else if (RISCV::VRM8RegClass.hasSubClassEq(RC)) {
618 Opcode = RISCV::VS8R_V;
619 }
else if (RISCV::VRN2M1RegClass.hasSubClassEq(RC))
620 Opcode = RISCV::PseudoVSPILL2_M1;
621 else if (RISCV::VRN2M2RegClass.hasSubClassEq(RC))
622 Opcode = RISCV::PseudoVSPILL2_M2;
623 else if (RISCV::VRN2M4RegClass.hasSubClassEq(RC))
624 Opcode = RISCV::PseudoVSPILL2_M4;
625 else if (RISCV::VRN3M1RegClass.hasSubClassEq(RC))
626 Opcode = RISCV::PseudoVSPILL3_M1;
627 else if (RISCV::VRN3M2RegClass.hasSubClassEq(RC))
628 Opcode = RISCV::PseudoVSPILL3_M2;
629 else if (RISCV::VRN4M1RegClass.hasSubClassEq(RC))
630 Opcode = RISCV::PseudoVSPILL4_M1;
631 else if (RISCV::VRN4M2RegClass.hasSubClassEq(RC))
632 Opcode = RISCV::PseudoVSPILL4_M2;
633 else if (RISCV::VRN5M1RegClass.hasSubClassEq(RC))
634 Opcode = RISCV::PseudoVSPILL5_M1;
635 else if (RISCV::VRN6M1RegClass.hasSubClassEq(RC))
636 Opcode = RISCV::PseudoVSPILL6_M1;
637 else if (RISCV::VRN7M1RegClass.hasSubClassEq(RC))
638 Opcode = RISCV::PseudoVSPILL7_M1;
639 else if (RISCV::VRN8M1RegClass.hasSubClassEq(RC))
640 Opcode = RISCV::PseudoVSPILL8_M1;
644 if (IsScalableVector) {
675 bool IsScalableVector =
true;
676 if (RISCV::GPRRegClass.hasSubClassEq(RC)) {
677 Opcode =
TRI->getRegSizeInBits(RISCV::GPRRegClass) == 32 ?
678 RISCV::LW : RISCV::LD;
679 IsScalableVector =
false;
680 }
else if (RISCV::GPRF16RegClass.hasSubClassEq(RC)) {
681 Opcode = RISCV::LH_INX;
682 IsScalableVector =
false;
683 }
else if (RISCV::GPRF32RegClass.hasSubClassEq(RC)) {
684 Opcode = RISCV::LW_INX;
685 IsScalableVector =
false;
686 }
else if (RISCV::GPRPairRegClass.hasSubClassEq(RC)) {
687 Opcode = RISCV::PseudoRV32ZdinxLD;
688 IsScalableVector =
false;
689 }
else if (RISCV::FPR16RegClass.hasSubClassEq(RC)) {
691 IsScalableVector =
false;
692 }
else if (RISCV::FPR32RegClass.hasSubClassEq(RC)) {
694 IsScalableVector =
false;
695 }
else if (RISCV::FPR64RegClass.hasSubClassEq(RC)) {
697 IsScalableVector =
false;
698 }
else if (RISCV::VRRegClass.hasSubClassEq(RC)) {
699 Opcode = RISCV::VL1RE8_V;
700 }
else if (RISCV::VRM2RegClass.hasSubClassEq(RC)) {
701 Opcode = RISCV::VL2RE8_V;
702 }
else if (RISCV::VRM4RegClass.hasSubClassEq(RC)) {
703 Opcode = RISCV::VL4RE8_V;
704 }
else if (RISCV::VRM8RegClass.hasSubClassEq(RC)) {
705 Opcode = RISCV::VL8RE8_V;
706 }
else if (RISCV::VRN2M1RegClass.hasSubClassEq(RC))
707 Opcode = RISCV::PseudoVRELOAD2_M1;
708 else if (RISCV::VRN2M2RegClass.hasSubClassEq(RC))
709 Opcode = RISCV::PseudoVRELOAD2_M2;
710 else if (RISCV::VRN2M4RegClass.hasSubClassEq(RC))
711 Opcode = RISCV::PseudoVRELOAD2_M4;
712 else if (RISCV::VRN3M1RegClass.hasSubClassEq(RC))
713 Opcode = RISCV::PseudoVRELOAD3_M1;
714 else if (RISCV::VRN3M2RegClass.hasSubClassEq(RC))
715 Opcode = RISCV::PseudoVRELOAD3_M2;
716 else if (RISCV::VRN4M1RegClass.hasSubClassEq(RC))
717 Opcode = RISCV::PseudoVRELOAD4_M1;
718 else if (RISCV::VRN4M2RegClass.hasSubClassEq(RC))
719 Opcode = RISCV::PseudoVRELOAD4_M2;
720 else if (RISCV::VRN5M1RegClass.hasSubClassEq(RC))
721 Opcode = RISCV::PseudoVRELOAD5_M1;
722 else if (RISCV::VRN6M1RegClass.hasSubClassEq(RC))
723 Opcode = RISCV::PseudoVRELOAD6_M1;
724 else if (RISCV::VRN7M1RegClass.hasSubClassEq(RC))
725 Opcode = RISCV::PseudoVRELOAD7_M1;
726 else if (RISCV::VRN8M1RegClass.hasSubClassEq(RC))
727 Opcode = RISCV::PseudoVRELOAD8_M1;
731 if (IsScalableVector) {
763 if (Ops.
size() != 1 || Ops[0] != 1)
767 switch (
MI.getOpcode()) {
774 LoadOpc = RISCV::LWU;
778 LoadOpc = RISCV::LBU;
809 LoadOpc = RISCV::FLH;
812 LoadOpc = RISCV::FLW;
815 LoadOpc = RISCV::FLD;
829 case RISCV::ZEXT_H_RV32:
830 case RISCV::ZEXT_H_RV64:
831 LoadOpc = RISCV::LHU;
836 return BuildMI(*
MI.getParent(), InsertPt,
MI.getDebugLoc(),
get(LoadOpc),
846 bool DstIsDead)
const {
852 if (!isUInt<32>(Val))
856 Val = SignExtend64<32>(Val);
862 bool SrcRenamable =
false;
866 bool LastItem = ++Num == Seq.
size();
871 switch (Inst.getOpndKind()) {
881 .
addReg(SrcReg, SrcRegState)
888 .
addReg(SrcReg, SrcRegState)
889 .
addReg(SrcReg, SrcRegState)
895 .
addReg(SrcReg, SrcRegState)
903 SrcRenamable = DstRenamable;
911 case RISCV::CV_BEQIMM:
913 case RISCV::CV_BNEIMM:
937 "Unknown conditional branch");
950 return Imm ? RISCV::CV_BEQIMM : RISCV::BEQ;
952 return Imm ? RISCV::CV_BNEIMM : RISCV::BNE;
992 bool AllowModify)
const {
998 if (
I ==
MBB.
end() || !isUnpredicatedTerminator(*
I))
1004 int NumTerminators = 0;
1005 for (
auto J =
I.getReverse(); J !=
MBB.
rend() && isUnpredicatedTerminator(*J);
1008 if (J->getDesc().isUnconditionalBranch() ||
1009 J->getDesc().isIndirectBranch()) {
1016 if (AllowModify && FirstUncondOrIndirectBr !=
MBB.
end()) {
1017 while (std::next(FirstUncondOrIndirectBr) !=
MBB.
end()) {
1018 std::next(FirstUncondOrIndirectBr)->eraseFromParent();
1021 I = FirstUncondOrIndirectBr;
1025 if (
I->getDesc().isIndirectBranch())
1029 if (
I->isPreISelOpcode())
1033 if (NumTerminators > 2)
1037 if (NumTerminators == 1 &&
I->getDesc().isUnconditionalBranch()) {
1043 if (NumTerminators == 1 &&
I->getDesc().isConditionalBranch()) {
1049 if (NumTerminators == 2 && std::prev(
I)->getDesc().isConditionalBranch() &&
1050 I->getDesc().isUnconditionalBranch()) {
1061 int *BytesRemoved)
const {
1068 if (!
I->getDesc().isUnconditionalBranch() &&
1069 !
I->getDesc().isConditionalBranch())
1075 I->eraseFromParent();
1082 if (!
I->getDesc().isConditionalBranch())
1088 I->eraseFromParent();
1101 assert(
TBB &&
"insertBranch must not be told to insert a fallthrough");
1103 "RISC-V branch conditions have two components!");
1138 assert(RS &&
"RegScavenger required for long branching");
1140 "new block should be inserted for expanding unconditional branch");
1143 "restore block should be inserted for restoring clobbered registers");
1150 if (!isInt<32>(BrOffset))
1152 "Branch offsets outside of the signed 32-bit range not supported");
1157 Register ScratchReg =
MRI.createVirtualRegister(&RISCV::GPRJALRRegClass);
1169 if (TmpGPR != RISCV::NoRegister)
1175 TmpGPR = RISCV::X27;
1178 if (FrameIndex == -1)
1183 TRI->eliminateFrameIndex(std::prev(
MI.getIterator()),
1186 MI.getOperand(1).setMBB(&RestoreBB);
1190 TRI->eliminateFrameIndex(RestoreBB.
back(),
1194 MRI.replaceRegWith(ScratchReg, TmpGPR);
1195 MRI.clearVirtRegs();
1200 assert((
Cond.size() == 3) &&
"Invalid branch condition!");
1240 auto isLoadImm = [](
const MachineInstr *
MI, int64_t &Imm) ->
bool {
1241 if (
MI->getOpcode() == RISCV::ADDI &&
MI->getOperand(1).isReg() &&
1242 MI->getOperand(1).getReg() == RISCV::X0) {
1243 Imm =
MI->getOperand(2).getImm();
1253 return Reg.isVirtual() && isLoadImm(
MRI.getVRegDef(Reg), Imm);
1260 auto searchConst = [&](int64_t C1) ->
Register {
1262 auto DefC1 = std::find_if(++
II, E, [&](
const MachineInstr &
I) ->
bool {
1264 return isLoadImm(&
I, Imm) && Imm == C1 &&
1265 I.getOperand(0).getReg().isVirtual();
1268 return DefC1->getOperand(0).getReg();
1273 bool Modify =
false;
1275 if (isFromLoadImm(
LHS, C0) &&
MRI.hasOneUse(
LHS.getReg())) {
1280 if (
Register RegZ = searchConst(C0 + 1)) {
1286 MRI.clearKillFlags(RegZ);
1289 }
else if (isFromLoadImm(
RHS, C0) &&
MRI.hasOneUse(
RHS.getReg())) {
1294 if (
Register RegZ = searchConst(C0 - 1)) {
1300 MRI.clearKillFlags(RegZ);
1314 MI.eraseFromParent();
1321 assert(
MI.getDesc().isBranch() &&
"Unexpected opcode!");
1323 int NumOp =
MI.getNumExplicitOperands();
1324 return MI.getOperand(NumOp - 1).getMBB();
1328 int64_t BrOffset)
const {
1342 case RISCV::CV_BEQIMM:
1343 case RISCV::CV_BNEIMM:
1344 return isIntN(13, BrOffset);
1346 case RISCV::PseudoBR:
1347 return isIntN(21, BrOffset);
1348 case RISCV::PseudoJump:
1358 case RISCV::ADD:
return RISCV::PseudoCCADD;
break;
1359 case RISCV::SUB:
return RISCV::PseudoCCSUB;
break;
1360 case RISCV::SLL:
return RISCV::PseudoCCSLL;
break;
1361 case RISCV::SRL:
return RISCV::PseudoCCSRL;
break;
1362 case RISCV::SRA:
return RISCV::PseudoCCSRA;
break;
1363 case RISCV::AND:
return RISCV::PseudoCCAND;
break;
1364 case RISCV::OR:
return RISCV::PseudoCCOR;
break;
1365 case RISCV::XOR:
return RISCV::PseudoCCXOR;
break;
1367 case RISCV::ADDI:
return RISCV::PseudoCCADDI;
break;
1368 case RISCV::SLLI:
return RISCV::PseudoCCSLLI;
break;
1369 case RISCV::SRLI:
return RISCV::PseudoCCSRLI;
break;
1370 case RISCV::SRAI:
return RISCV::PseudoCCSRAI;
break;
1371 case RISCV::ANDI:
return RISCV::PseudoCCANDI;
break;
1372 case RISCV::ORI:
return RISCV::PseudoCCORI;
break;
1373 case RISCV::XORI:
return RISCV::PseudoCCXORI;
break;
1375 case RISCV::ADDW:
return RISCV::PseudoCCADDW;
break;
1376 case RISCV::SUBW:
return RISCV::PseudoCCSUBW;
break;
1377 case RISCV::SLLW:
return RISCV::PseudoCCSLLW;
break;
1378 case RISCV::SRLW:
return RISCV::PseudoCCSRLW;
break;
1379 case RISCV::SRAW:
return RISCV::PseudoCCSRAW;
break;
1381 case RISCV::ADDIW:
return RISCV::PseudoCCADDIW;
break;
1382 case RISCV::SLLIW:
return RISCV::PseudoCCSLLIW;
break;
1383 case RISCV::SRLIW:
return RISCV::PseudoCCSRLIW;
break;
1384 case RISCV::SRAIW:
return RISCV::PseudoCCSRAIW;
break;
1386 case RISCV::ANDN:
return RISCV::PseudoCCANDN;
break;
1387 case RISCV::ORN:
return RISCV::PseudoCCORN;
break;
1388 case RISCV::XNOR:
return RISCV::PseudoCCXNOR;
break;
1391 return RISCV::INSTRUCTION_LIST_END;
1399 if (!Reg.isVirtual())
1401 if (!
MRI.hasOneNonDBGUse(Reg))
1410 if (
MI->getOpcode() == RISCV::ADDI &&
MI->getOperand(1).isReg() &&
1411 MI->getOperand(1).getReg() == RISCV::X0)
1416 if (MO.isFI() || MO.isCPI() || MO.isJTI())
1426 if (MO.getReg().isPhysical() && !
MRI.isConstantPhysReg(MO.getReg()))
1429 bool DontMoveAcrossStores =
true;
1430 if (!
MI->isSafeToMove(DontMoveAcrossStores))
1437 unsigned &TrueOp,
unsigned &FalseOp,
1438 bool &Optimizable)
const {
1439 assert(
MI.getOpcode() == RISCV::PseudoCCMOVGPR &&
1440 "Unknown select instruction");
1450 Cond.push_back(
MI.getOperand(1));
1451 Cond.push_back(
MI.getOperand(2));
1452 Cond.push_back(
MI.getOperand(3));
1454 Optimizable =
STI.hasShortForwardBranchOpt();
1461 bool PreferFalse)
const {
1462 assert(
MI.getOpcode() == RISCV::PseudoCCMOVGPR &&
1463 "Unknown select instruction");
1464 if (!
STI.hasShortForwardBranchOpt())
1470 bool Invert = !
DefMI;
1478 Register DestReg =
MI.getOperand(0).getReg();
1480 if (!
MRI.constrainRegClass(DestReg, PreviousClass))
1484 assert(PredOpc != RISCV::INSTRUCTION_LIST_END &&
"Unexpected opcode!");
1491 NewMI.
add(
MI.getOperand(1));
1492 NewMI.
add(
MI.getOperand(2));
1501 NewMI.
add(FalseReg);
1525 if (
MI.isMetaInstruction())
1528 unsigned Opcode =
MI.getOpcode();
1530 if (Opcode == TargetOpcode::INLINEASM ||
1531 Opcode == TargetOpcode::INLINEASM_BR) {
1533 return getInlineAsmLength(
MI.getOperand(0).getSymbolName(),
1537 if (!
MI.memoperands_empty()) {
1541 if (isCompressibleInst(
MI,
STI))
1549 if (Opcode == TargetOpcode::BUNDLE)
1550 return getInstBundleLength(
MI);
1552 if (
MI.getParent() &&
MI.getParent()->getParent()) {
1553 if (isCompressibleInst(
MI,
STI))
1558 case RISCV::PseudoMV_FPR16INX:
1559 case RISCV::PseudoMV_FPR32INX:
1562 case TargetOpcode::STACKMAP:
1565 case TargetOpcode::PATCHPOINT:
1568 case TargetOpcode::STATEPOINT: {
1572 return std::max(NumBytes, 8U);
1574 case TargetOpcode::PATCHABLE_FUNCTION_ENTER:
1575 case TargetOpcode::PATCHABLE_FUNCTION_EXIT:
1576 case TargetOpcode::PATCHABLE_TAIL_CALL: {
1579 if (Opcode == TargetOpcode::PATCHABLE_FUNCTION_ENTER &&
1580 F.hasFnAttribute(
"patchable-function-entry")) {
1582 if (
F.getFnAttribute(
"patchable-function-entry")
1584 .getAsInteger(10, Num))
1585 return get(Opcode).getSize();
1595 return get(Opcode).getSize();
1599unsigned RISCVInstrInfo::getInstBundleLength(
const MachineInstr &
MI)
const {
1603 while (++
I != E &&
I->isInsideBundle()) {
1604 assert(!
I->isBundle() &&
"No nested bundle!");
1611 const unsigned Opcode =
MI.getOpcode();
1615 case RISCV::FSGNJ_D:
1616 case RISCV::FSGNJ_S:
1617 case RISCV::FSGNJ_H:
1618 case RISCV::FSGNJ_D_INX:
1619 case RISCV::FSGNJ_D_IN32X:
1620 case RISCV::FSGNJ_S_INX:
1621 case RISCV::FSGNJ_H_INX:
1623 return MI.getOperand(1).isReg() &&
MI.getOperand(2).isReg() &&
1624 MI.getOperand(1).getReg() ==
MI.getOperand(2).getReg();
1628 return (
MI.getOperand(1).isReg() &&
1629 MI.getOperand(1).getReg() == RISCV::X0) ||
1630 (
MI.getOperand(2).isImm() &&
MI.getOperand(2).getImm() == 0);
1632 return MI.isAsCheapAsAMove();
1635std::optional<DestSourcePair>
1639 switch (
MI.getOpcode()) {
1644 if (
MI.getOperand(1).isReg() &&
MI.getOperand(2).isImm() &&
1645 MI.getOperand(2).getImm() == 0)
1648 case RISCV::FSGNJ_D:
1649 case RISCV::FSGNJ_S:
1650 case RISCV::FSGNJ_H:
1651 case RISCV::FSGNJ_D_INX:
1652 case RISCV::FSGNJ_D_IN32X:
1653 case RISCV::FSGNJ_S_INX:
1654 case RISCV::FSGNJ_H_INX:
1656 if (
MI.getOperand(1).isReg() &&
MI.getOperand(2).isReg() &&
1657 MI.getOperand(1).getReg() ==
MI.getOperand(2).getReg())
1661 return std::nullopt;
1669 const auto &SchedModel =
STI.getSchedModel();
1670 return (!SchedModel.hasInstrSchedModel() || SchedModel.isOutOfOrder())
1687 RISCV::OpName::frm) < 0;
1689 "New instructions require FRM whereas the old one does not have it");
1696 for (
auto *NewMI : InsInstrs) {
1699 NewMI->getOpcode(), RISCV::OpName::frm)) != NewMI->getNumOperands())
1741bool RISCVInstrInfo::isVectorAssociativeAndCommutative(
const MachineInstr &Inst,
1742 bool Invert)
const {
1743#define OPCODE_LMUL_CASE(OPC) \
1744 case RISCV::OPC##_M1: \
1745 case RISCV::OPC##_M2: \
1746 case RISCV::OPC##_M4: \
1747 case RISCV::OPC##_M8: \
1748 case RISCV::OPC##_MF2: \
1749 case RISCV::OPC##_MF4: \
1750 case RISCV::OPC##_MF8
1752#define OPCODE_LMUL_MASK_CASE(OPC) \
1753 case RISCV::OPC##_M1_MASK: \
1754 case RISCV::OPC##_M2_MASK: \
1755 case RISCV::OPC##_M4_MASK: \
1756 case RISCV::OPC##_M8_MASK: \
1757 case RISCV::OPC##_MF2_MASK: \
1758 case RISCV::OPC##_MF4_MASK: \
1759 case RISCV::OPC##_MF8_MASK
1764 Opcode = *InvOpcode;
1781#undef OPCODE_LMUL_MASK_CASE
1782#undef OPCODE_LMUL_CASE
1785bool RISCVInstrInfo::areRVVInstsReassociable(
const MachineInstr &Root,
1798 auto checkImmOperand = [&](
unsigned OpIdx) {
1802 auto checkRegOperand = [&](
unsigned OpIdx) {
1810 if (!checkRegOperand(1))
1825 bool SeenMI2 =
false;
1835 if (It->modifiesRegister(RISCV::V0,
TRI)) {
1836 Register SrcReg = It->getOperand(1).getReg();
1854 if (MI1VReg != SrcReg)
1863 assert(SeenMI2 &&
"Prev is expected to appear before Root");
1902bool RISCVInstrInfo::hasReassociableVectorSibling(
const MachineInstr &Inst,
1903 bool &Commuted)
const {
1907 "Expect the present of passthrough operand.");
1913 Commuted = !areRVVInstsReassociable(Inst, *MI1) &&
1914 areRVVInstsReassociable(Inst, *MI2);
1918 return areRVVInstsReassociable(Inst, *MI1) &&
1919 (isVectorAssociativeAndCommutative(*MI1) ||
1920 isVectorAssociativeAndCommutative(*MI1,
true)) &&
1927 if (!isVectorAssociativeAndCommutative(Inst) &&
1928 !isVectorAssociativeAndCommutative(Inst,
true))
1940 MI1 =
MRI.getUniqueVRegDef(Op1.
getReg());
1942 MI2 =
MRI.getUniqueVRegDef(Op2.
getReg());
1954 for (
unsigned I = 0;
I < 5; ++
I)
1960 bool &Commuted)
const {
1961 if (isVectorAssociativeAndCommutative(Inst) ||
1962 isVectorAssociativeAndCommutative(Inst,
true))
1963 return hasReassociableVectorSibling(Inst, Commuted);
1969 unsigned OperandIdx = Commuted ? 2 : 1;
1973 int16_t InstFrmOpIdx =
1975 int16_t SiblingFrmOpIdx =
1978 return (InstFrmOpIdx < 0 && SiblingFrmOpIdx < 0) ||
1983 bool Invert)
const {
1984 if (isVectorAssociativeAndCommutative(Inst, Invert))
1992 Opc = *InverseOpcode;
2037std::optional<unsigned>
2039#define RVV_OPC_LMUL_CASE(OPC, INV) \
2040 case RISCV::OPC##_M1: \
2041 return RISCV::INV##_M1; \
2042 case RISCV::OPC##_M2: \
2043 return RISCV::INV##_M2; \
2044 case RISCV::OPC##_M4: \
2045 return RISCV::INV##_M4; \
2046 case RISCV::OPC##_M8: \
2047 return RISCV::INV##_M8; \
2048 case RISCV::OPC##_MF2: \
2049 return RISCV::INV##_MF2; \
2050 case RISCV::OPC##_MF4: \
2051 return RISCV::INV##_MF4; \
2052 case RISCV::OPC##_MF8: \
2053 return RISCV::INV##_MF8
2055#define RVV_OPC_LMUL_MASK_CASE(OPC, INV) \
2056 case RISCV::OPC##_M1_MASK: \
2057 return RISCV::INV##_M1_MASK; \
2058 case RISCV::OPC##_M2_MASK: \
2059 return RISCV::INV##_M2_MASK; \
2060 case RISCV::OPC##_M4_MASK: \
2061 return RISCV::INV##_M4_MASK; \
2062 case RISCV::OPC##_M8_MASK: \
2063 return RISCV::INV##_M8_MASK; \
2064 case RISCV::OPC##_MF2_MASK: \
2065 return RISCV::INV##_MF2_MASK; \
2066 case RISCV::OPC##_MF4_MASK: \
2067 return RISCV::INV##_MF4_MASK; \
2068 case RISCV::OPC##_MF8_MASK: \
2069 return RISCV::INV##_MF8_MASK
2073 return std::nullopt;
2075 return RISCV::FSUB_H;
2077 return RISCV::FSUB_S;
2079 return RISCV::FSUB_D;
2081 return RISCV::FADD_H;
2083 return RISCV::FADD_S;
2085 return RISCV::FADD_D;
2102#undef RVV_OPC_LMUL_MASK_CASE
2103#undef RVV_OPC_LMUL_CASE
2108 bool DoRegPressureReduce) {
2124 if (DoRegPressureReduce && !
MRI.hasOneNonDBGUse(
MI->getOperand(0).getReg()))
2135 bool DoRegPressureReduce) {
2137 bool IsFAdd =
isFADD(Opc);
2138 if (!IsFAdd && !
isFSUB(Opc))
2142 DoRegPressureReduce)) {
2148 DoRegPressureReduce)) {
2158 bool DoRegPressureReduce) {
2166 unsigned CombineOpc) {
2173 if (!
MI ||
MI->getParent() != &
MBB ||
MI->getOpcode() != CombineOpc)
2176 if (!
MRI.hasOneNonDBGUse(
MI->getOperand(0).getReg()))
2187 unsigned OuterShiftAmt) {
2193 if (InnerShiftAmt < OuterShiftAmt || (InnerShiftAmt - OuterShiftAmt) > 3)
2255 bool DoRegPressureReduce)
const {
2264 DoRegPressureReduce);
2272 return RISCV::FMADD_H;
2274 return RISCV::FMADD_S;
2276 return RISCV::FMADD_D;
2321 bool Mul1IsKill = Mul1.
isKill();
2322 bool Mul2IsKill = Mul2.
isKill();
2323 bool AddendIsKill = Addend.
isKill();
2332 BuildMI(*MF, MergedLoc,
TII->get(FusedOpc), DstReg)
2357 assert(OuterShiftAmt != 0 &&
"Unexpected opcode");
2364 assert(InnerShiftAmt >= OuterShiftAmt &&
"Unexpected shift amount");
2367 switch (InnerShiftAmt - OuterShiftAmt) {
2371 InnerOpc = RISCV::ADD;
2374 InnerOpc = RISCV::SH1ADD;
2377 InnerOpc = RISCV::SH2ADD;
2380 InnerOpc = RISCV::SH3ADD;
2388 Register NewVR =
MRI.createVirtualRegister(&RISCV::GPRRegClass);
2398 InstrIdxForVirtReg.
insert(std::make_pair(NewVR, 0));
2415 DelInstrs, InstrIdxForVirtReg);
2442 for (
const auto &[Index, Operand] :
enumerate(
Desc.operands())) {
2443 unsigned OpType = Operand.OperandType;
2448 ErrInfo =
"Expected a non-register operand.";
2452 int64_t Imm = MO.
getImm();
2459#define CASE_OPERAND_UIMM(NUM) \
2460 case RISCVOp::OPERAND_UIMM##NUM: \
2461 Ok = isUInt<NUM>(Imm); \
2463#define CASE_OPERAND_SIMM(NUM) \
2464 case RISCVOp::OPERAND_SIMM##NUM: \
2465 Ok = isInt<NUM>(Imm); \
2480 Ok = isShiftedUInt<1, 1>(Imm);
2483 Ok = isShiftedUInt<4, 1>(Imm);
2486 Ok = isShiftedUInt<5, 1>(Imm);
2489 Ok = isShiftedUInt<5, 2>(Imm);
2492 Ok = isShiftedUInt<6, 2>(Imm);
2495 Ok = isShiftedUInt<5, 3>(Imm);
2498 Ok = isUInt<8>(Imm) && Imm >= 32;
2501 Ok = isShiftedUInt<6, 3>(Imm);
2504 Ok = isShiftedInt<6, 4>(Imm) && (Imm != 0);
2507 Ok = isShiftedUInt<8, 2>(Imm) && (Imm != 0);
2519 Ok = (isInt<5>(Imm) && Imm != -16) || Imm == 16;
2522 Ok = Imm != 0 && isInt<6>(Imm);
2525 Ok = isUInt<10>(Imm);
2528 Ok = isUInt<11>(Imm);
2531 Ok = isShiftedInt<7, 5>(Imm);
2534 Ok =
STI.
is64Bit() ? isUInt<6>(Imm) : isUInt<5>(Imm);
2537 Ok =
STI.
is64Bit() ? isUInt<6>(Imm) : isUInt<5>(Imm);
2538 Ok = Ok && Imm != 0;
2541 Ok = (isUInt<5>(Imm) && Imm != 0) ||
2542 (Imm >= 0xfffe0 && Imm <= 0xfffff);
2545 Ok = Imm >= 0 && Imm <= 10;
2548 Ok = Imm >= 0 && Imm <= 7;
2551 Ok = Imm >= 1 && Imm <= 10;
2554 Ok = Imm >= 2 && Imm <= 14;
2557 Ok = (Imm & 0xf) == 0;
2580 Ok = isUInt<2>(Imm);
2586 ErrInfo =
"Invalid immediate";
2596 if (!
Op.isImm() && !
Op.isReg()) {
2597 ErrInfo =
"Invalid operand type for VL operand";
2600 if (
Op.isReg() &&
Op.getReg() != RISCV::NoRegister) {
2602 auto *RC =
MRI.getRegClass(
Op.getReg());
2603 if (!RISCV::GPRRegClass.hasSubClassEq(RC)) {
2604 ErrInfo =
"Invalid register class for VL operand";
2609 ErrInfo =
"VL operand w/o SEW operand?";
2615 if (!
MI.getOperand(OpIdx).isImm()) {
2616 ErrInfo =
"SEW value expected to be an immediate";
2619 uint64_t Log2SEW =
MI.getOperand(OpIdx).getImm();
2621 ErrInfo =
"Unexpected SEW value";
2624 unsigned SEW = Log2SEW ? 1 << Log2SEW : 8;
2626 ErrInfo =
"Unexpected SEW value";
2632 if (!
MI.getOperand(OpIdx).isImm()) {
2633 ErrInfo =
"Policy operand expected to be an immediate";
2636 uint64_t Policy =
MI.getOperand(OpIdx).getImm();
2638 ErrInfo =
"Invalid Policy Value";
2642 ErrInfo =
"policy operand w/o VL operand?";
2650 if (!
MI.isRegTiedToUseOperand(0, &UseOpIdx)) {
2651 ErrInfo =
"policy operand w/o tied operand?";
2658 !
MI.readsRegister(RISCV::FRM,
nullptr)) {
2659 ErrInfo =
"dynamic rounding mode should read FRM";
2705 int64_t NewOffset = OldOffset + Disp;
2707 NewOffset = SignExtend64<32>(NewOffset);
2709 if (!isInt<12>(NewOffset))
2727 "Addressing mode not supported for folding");
2773 OffsetIsScalable =
false;
2789 if (BaseOps1.
front()->isIdenticalTo(*BaseOps2.
front()))
2797 if (MO1->getAddrSpace() != MO2->getAddrSpace())
2800 auto Base1 = MO1->getValue();
2801 auto Base2 = MO2->getValue();
2802 if (!Base1 || !Base2)
2807 if (isa<UndefValue>(Base1) || isa<UndefValue>(Base2))
2810 return Base1 == Base2;
2816 int64_t Offset2,
bool OffsetIsScalable2,
unsigned ClusterSize,
2817 unsigned NumBytes)
const {
2820 if (!BaseOps1.
empty() && !BaseOps2.
empty()) {
2825 }
else if (!BaseOps1.
empty() || !BaseOps2.
empty()) {
2831 BaseOps1.
front()->getParent()->getMF()->getSubtarget().getCacheLineSize();
2837 return ClusterSize <= 4 && std::abs(Offset1 - Offset2) <
CacheLineSize;
2887 int64_t OffsetA = 0, OffsetB = 0;
2892 int LowOffset = std::min(OffsetA, OffsetB);
2893 int HighOffset = std::max(OffsetA, OffsetB);
2894 LocationSize LowWidth = (LowOffset == OffsetA) ? WidthA : WidthB;
2896 LowOffset + (int)LowWidth.
getValue() <= HighOffset)
2903std::pair<unsigned, unsigned>
2906 return std::make_pair(TF & Mask, TF & ~Mask);
2911 using namespace RISCVII;
2912 static const std::pair<unsigned, const char *> TargetFlags[] = {
2913 {MO_CALL,
"riscv-call"},
2914 {MO_LO,
"riscv-lo"},
2915 {MO_HI,
"riscv-hi"},
2916 {MO_PCREL_LO,
"riscv-pcrel-lo"},
2917 {MO_PCREL_HI,
"riscv-pcrel-hi"},
2918 {MO_GOT_HI,
"riscv-got-hi"},
2919 {MO_TPREL_LO,
"riscv-tprel-lo"},
2920 {MO_TPREL_HI,
"riscv-tprel-hi"},
2921 {MO_TPREL_ADD,
"riscv-tprel-add"},
2922 {MO_TLS_GOT_HI,
"riscv-tls-got-hi"},
2923 {MO_TLS_GD_HI,
"riscv-tls-gd-hi"},
2924 {MO_TLSDESC_HI,
"riscv-tlsdesc-hi"},
2925 {MO_TLSDESC_LOAD_LO,
"riscv-tlsdesc-load-lo"},
2926 {MO_TLSDESC_ADD_LO,
"riscv-tlsdesc-add-lo"},
2927 {MO_TLSDESC_CALL,
"riscv-tlsdesc-call"}};
2935 if (!OutlineFromLinkOnceODRs &&
F.hasLinkOnceODRLinkage())
2948 unsigned &Flags)
const {
2967 return F.getFnAttribute(
"fentry-call").getValueAsBool() ||
2968 F.hasFnAttribute(
"patchable-function-entry");
2973 return MI.readsRegister(RegNo,
TRI) ||
2974 MI.getDesc().hasImplicitUseOfPhysReg(RegNo);
2979 return MI.modifiesRegister(RegNo,
TRI) ||
2980 MI.getDesc().hasImplicitDefOfPhysReg(RegNo);
2993 unsigned TailExpandUseRegNo =
3004static std::optional<MachineOutlinerConstructionID>
3008 if (
C.back().isReturn()) {
3010 "The candidate who uses return instruction must be outlined "
3018 return isMIModifiesReg(MI, TRI, RISCV::X5);
3021 return !
C.isAvailableAcrossAndOutOfSeq(RISCV::X5, *
TRI);
3024 if (!CandidateUsesX5(
C))
3027 return std::nullopt;
3030std::optional<std::unique_ptr<outliner::OutlinedFunction>>
3033 std::vector<outliner::Candidate> &RepeatedSequenceLocs,
3034 unsigned MinRepeats)
const {
3040 RepeatedSequenceLocs.clear();
3043 if (RepeatedSequenceLocs.size() < MinRepeats)
3044 return std::nullopt;
3046 unsigned InstrSizeCExt =
3049 unsigned CallOverhead = 0, FrameOverhead = 0;
3057 FrameOverhead = InstrSizeCExt;
3061 CallOverhead = 4 + InstrSizeCExt;
3067 for (
auto &
C : RepeatedSequenceLocs)
3068 C.setCallInfo(MOCI, CallOverhead);
3070 unsigned SequenceSize = 0;
3071 for (
auto &
MI : Candidate)
3074 return std::make_unique<outliner::OutlinedFunction>(
3075 RepeatedSequenceLocs, SequenceSize, FrameOverhead, MOCI);
3081 unsigned Flags)
const {
3086 const auto &
F =
MI.getMF()->getFunction();
3089 if (
MI.isCFIInstruction())
3101 for (
const auto &MO :
MI.operands()) {
3106 (
MI.getMF()->getTarget().getFunctionSections() ||
F.hasComdat() ||
3107 F.hasSection() ||
F.getSectionPrefix()))
3119 bool Changed =
true;
3124 for (;
I != E; ++
I) {
3125 if (
I->isCFIInstruction()) {
3126 I->removeFromParent();
3151 .addGlobalAddress(M.getNamedValue(MF.
getName()),
3159 .addGlobalAddress(M.getNamedValue(MF.
getName()), 0,
3170 return std::nullopt;
3174 if (
MI.getOpcode() == RISCV::ADDI &&
MI.getOperand(1).isReg() &&
3175 MI.getOperand(2).isImm())
3176 return RegImmPair{
MI.getOperand(1).getReg(),
MI.getOperand(2).getImm()};
3178 return std::nullopt;
3186 std::string GenericComment =
3188 if (!GenericComment.empty())
3189 return GenericComment;
3193 return std::string();
3196 if (OpIdx >=
Desc.getNumOperands())
3197 return std::string();
3199 std::string Comment;
3209 unsigned Imm =
Op.getImm();
3215 unsigned Log2SEW =
Op.getImm();
3216 unsigned SEW = Log2SEW ? 1 << Log2SEW : 8;
3222 unsigned Policy =
Op.getImm();
3224 "Invalid Policy Value");
3234#define CASE_RVV_OPCODE_UNMASK_LMUL(OP, LMUL) \
3235 RISCV::Pseudo##OP##_##LMUL
3237#define CASE_RVV_OPCODE_MASK_LMUL(OP, LMUL) \
3238 RISCV::Pseudo##OP##_##LMUL##_MASK
3240#define CASE_RVV_OPCODE_LMUL(OP, LMUL) \
3241 CASE_RVV_OPCODE_UNMASK_LMUL(OP, LMUL): \
3242 case CASE_RVV_OPCODE_MASK_LMUL(OP, LMUL)
3244#define CASE_RVV_OPCODE_UNMASK_WIDEN(OP) \
3245 CASE_RVV_OPCODE_UNMASK_LMUL(OP, MF8): \
3246 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, MF4): \
3247 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, MF2): \
3248 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M1): \
3249 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M2): \
3250 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M4)
3252#define CASE_RVV_OPCODE_UNMASK(OP) \
3253 CASE_RVV_OPCODE_UNMASK_WIDEN(OP): \
3254 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M8)
3256#define CASE_RVV_OPCODE_MASK_WIDEN(OP) \
3257 CASE_RVV_OPCODE_MASK_LMUL(OP, MF8): \
3258 case CASE_RVV_OPCODE_MASK_LMUL(OP, MF4): \
3259 case CASE_RVV_OPCODE_MASK_LMUL(OP, MF2): \
3260 case CASE_RVV_OPCODE_MASK_LMUL(OP, M1): \
3261 case CASE_RVV_OPCODE_MASK_LMUL(OP, M2): \
3262 case CASE_RVV_OPCODE_MASK_LMUL(OP, M4)
3264#define CASE_RVV_OPCODE_MASK(OP) \
3265 CASE_RVV_OPCODE_MASK_WIDEN(OP): \
3266 case CASE_RVV_OPCODE_MASK_LMUL(OP, M8)
3268#define CASE_RVV_OPCODE_WIDEN(OP) \
3269 CASE_RVV_OPCODE_UNMASK_WIDEN(OP): \
3270 case CASE_RVV_OPCODE_MASK_WIDEN(OP)
3272#define CASE_RVV_OPCODE(OP) \
3273 CASE_RVV_OPCODE_UNMASK(OP): \
3274 case CASE_RVV_OPCODE_MASK(OP)
3278#define CASE_VMA_OPCODE_COMMON(OP, TYPE, LMUL) \
3279 RISCV::PseudoV##OP##_##TYPE##_##LMUL
3281#define CASE_VMA_OPCODE_LMULS_M1(OP, TYPE) \
3282 CASE_VMA_OPCODE_COMMON(OP, TYPE, M1): \
3283 case CASE_VMA_OPCODE_COMMON(OP, TYPE, M2): \
3284 case CASE_VMA_OPCODE_COMMON(OP, TYPE, M4): \
3285 case CASE_VMA_OPCODE_COMMON(OP, TYPE, M8)
3287#define CASE_VMA_OPCODE_LMULS_MF2(OP, TYPE) \
3288 CASE_VMA_OPCODE_COMMON(OP, TYPE, MF2): \
3289 case CASE_VMA_OPCODE_LMULS_M1(OP, TYPE)
3291#define CASE_VMA_OPCODE_LMULS_MF4(OP, TYPE) \
3292 CASE_VMA_OPCODE_COMMON(OP, TYPE, MF4): \
3293 case CASE_VMA_OPCODE_LMULS_MF2(OP, TYPE)
3295#define CASE_VMA_OPCODE_LMULS(OP, TYPE) \
3296 CASE_VMA_OPCODE_COMMON(OP, TYPE, MF8): \
3297 case CASE_VMA_OPCODE_LMULS_MF4(OP, TYPE)
3300#define CASE_VFMA_OPCODE_COMMON(OP, TYPE, LMUL, SEW) \
3301 RISCV::PseudoV##OP##_##TYPE##_##LMUL##_##SEW
3303#define CASE_VFMA_OPCODE_LMULS_M1(OP, TYPE, SEW) \
3304 CASE_VFMA_OPCODE_COMMON(OP, TYPE, M1, SEW): \
3305 case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M2, SEW): \
3306 case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M4, SEW): \
3307 case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M8, SEW)
3309#define CASE_VFMA_OPCODE_LMULS_MF2(OP, TYPE, SEW) \
3310 CASE_VFMA_OPCODE_COMMON(OP, TYPE, MF2, SEW): \
3311 case CASE_VFMA_OPCODE_LMULS_M1(OP, TYPE, SEW)
3313#define CASE_VFMA_OPCODE_LMULS_MF4(OP, TYPE, SEW) \
3314 CASE_VFMA_OPCODE_COMMON(OP, TYPE, MF4, SEW): \
3315 case CASE_VFMA_OPCODE_LMULS_MF2(OP, TYPE, SEW)
3317#define CASE_VFMA_OPCODE_VV(OP) \
3318 CASE_VFMA_OPCODE_LMULS_MF4(OP, VV, E16): \
3319 case CASE_VFMA_OPCODE_LMULS_MF2(OP, VV, E32): \
3320 case CASE_VFMA_OPCODE_LMULS_M1(OP, VV, E64)
3322#define CASE_VFMA_SPLATS(OP) \
3323 CASE_VFMA_OPCODE_LMULS_MF4(OP, VFPR16, E16): \
3324 case CASE_VFMA_OPCODE_LMULS_MF2(OP, VFPR32, E32): \
3325 case CASE_VFMA_OPCODE_LMULS_M1(OP, VFPR64, E64)
3329 unsigned &SrcOpIdx1,
3330 unsigned &SrcOpIdx2)
const {
3332 if (!
Desc.isCommutable())
3335 switch (
MI.getOpcode()) {
3336 case RISCV::TH_MVEQZ:
3337 case RISCV::TH_MVNEZ:
3341 if (
MI.getOperand(2).getReg() == RISCV::X0)
3344 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 1, 2);
3345 case RISCV::TH_MULA:
3346 case RISCV::TH_MULAW:
3347 case RISCV::TH_MULAH:
3348 case RISCV::TH_MULS:
3349 case RISCV::TH_MULSW:
3350 case RISCV::TH_MULSH:
3352 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 2, 3);
3353 case RISCV::PseudoCCMOVGPRNoX0:
3354 case RISCV::PseudoCCMOVGPR:
3356 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 4, 5);
3383 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 2, 3);
3404 if ((
MI.getOperand(
MI.getNumExplicitOperands() - 1).getImm() & 1) == 0)
3409 unsigned CommutableOpIdx1 = 1;
3410 unsigned CommutableOpIdx2 = 3;
3411 if (!fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, CommutableOpIdx1,
3424 if ((
MI.getOperand(
MI.getNumExplicitOperands() - 1).getImm() & 1) == 0)
3431 if (SrcOpIdx1 != CommuteAnyOperandIndex && SrcOpIdx1 > 3)
3433 if (SrcOpIdx2 != CommuteAnyOperandIndex && SrcOpIdx2 > 3)
3437 if (SrcOpIdx1 != CommuteAnyOperandIndex &&
3438 SrcOpIdx2 != CommuteAnyOperandIndex && SrcOpIdx1 != 1 && SrcOpIdx2 != 1)
3444 if (SrcOpIdx1 == CommuteAnyOperandIndex ||
3445 SrcOpIdx2 == CommuteAnyOperandIndex) {
3448 unsigned CommutableOpIdx1 = SrcOpIdx1;
3449 if (SrcOpIdx1 == SrcOpIdx2) {
3452 CommutableOpIdx1 = 1;
3453 }
else if (SrcOpIdx1 == CommuteAnyOperandIndex) {
3455 CommutableOpIdx1 = SrcOpIdx2;
3460 unsigned CommutableOpIdx2;
3461 if (CommutableOpIdx1 != 1) {
3463 CommutableOpIdx2 = 1;
3465 Register Op1Reg =
MI.getOperand(CommutableOpIdx1).getReg();
3470 if (Op1Reg !=
MI.getOperand(2).getReg())
3471 CommutableOpIdx2 = 2;
3473 CommutableOpIdx2 = 3;
3478 if (!fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, CommutableOpIdx1,
3491#define CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, LMUL) \
3492 case RISCV::PseudoV##OLDOP##_##TYPE##_##LMUL: \
3493 Opc = RISCV::PseudoV##NEWOP##_##TYPE##_##LMUL; \
3496#define CASE_VMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE) \
3497 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M1) \
3498 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M2) \
3499 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M4) \
3500 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M8)
3502#define CASE_VMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE) \
3503 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF2) \
3504 CASE_VMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE)
3506#define CASE_VMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, TYPE) \
3507 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF4) \
3508 CASE_VMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE)
3510#define CASE_VMA_CHANGE_OPCODE_LMULS(OLDOP, NEWOP, TYPE) \
3511 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF8) \
3512 CASE_VMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, TYPE)
3514#define CASE_VMA_CHANGE_OPCODE_SPLATS(OLDOP, NEWOP) \
3515 CASE_VMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, VFPR16) \
3516 CASE_VMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, VFPR32) \
3517 CASE_VMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, VFPR64)
3520#define CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, LMUL, SEW) \
3521 case RISCV::PseudoV##OLDOP##_##TYPE##_##LMUL##_##SEW: \
3522 Opc = RISCV::PseudoV##NEWOP##_##TYPE##_##LMUL##_##SEW; \
3525#define CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE, SEW) \
3526 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M1, SEW) \
3527 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M2, SEW) \
3528 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M4, SEW) \
3529 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M8, SEW)
3531#define CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE, SEW) \
3532 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF2, SEW) \
3533 CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE, SEW)
3535#define CASE_VFMA_CHANGE_OPCODE_VV(OLDOP, NEWOP) \
3536 CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, VV, E16) \
3537 CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, VV, E32) \
3538 CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, VV, E64)
3540#define CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, TYPE, SEW) \
3541 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF4, SEW) \
3542 CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE, SEW)
3544#define CASE_VFMA_CHANGE_OPCODE_LMULS(OLDOP, NEWOP, TYPE, SEW) \
3545 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF8, SEW) \
3546 CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, TYPE, SEW)
3548#define CASE_VFMA_CHANGE_OPCODE_SPLATS(OLDOP, NEWOP) \
3549 CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, VFPR16, E16) \
3550 CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, VFPR32, E32) \
3551 CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, VFPR64, E64)
3556 unsigned OpIdx2)
const {
3559 return *
MI.getParent()->getParent()->CloneMachineInstr(&
MI);
3563 switch (
MI.getOpcode()) {
3564 case RISCV::TH_MVEQZ:
3565 case RISCV::TH_MVNEZ: {
3566 auto &WorkingMI = cloneIfNew(
MI);
3567 WorkingMI.setDesc(
get(
MI.getOpcode() == RISCV::TH_MVEQZ ? RISCV::TH_MVNEZ
3568 : RISCV::TH_MVEQZ));
3572 case RISCV::PseudoCCMOVGPRNoX0:
3573 case RISCV::PseudoCCMOVGPR: {
3577 auto &WorkingMI = cloneIfNew(
MI);
3578 WorkingMI.getOperand(3).setImm(
CC);
3602 assert((OpIdx1 == 1 || OpIdx2 == 1) &&
"Unexpected opcode index");
3603 assert((OpIdx1 == 3 || OpIdx2 == 3) &&
"Unexpected opcode index");
3605 switch (
MI.getOpcode()) {
3628 auto &WorkingMI = cloneIfNew(
MI);
3629 WorkingMI.setDesc(
get(Opc));
3639 assert((OpIdx1 == 1 || OpIdx2 == 1) &&
"Unexpected opcode index");
3642 if (OpIdx1 == 3 || OpIdx2 == 3) {
3644 switch (
MI.getOpcode()) {
3655 auto &WorkingMI = cloneIfNew(
MI);
3656 WorkingMI.setDesc(
get(Opc));
3668#undef CASE_RVV_OPCODE_UNMASK_LMUL
3669#undef CASE_RVV_OPCODE_MASK_LMUL
3670#undef CASE_RVV_OPCODE_LMUL
3671#undef CASE_RVV_OPCODE_UNMASK_WIDEN
3672#undef CASE_RVV_OPCODE_UNMASK
3673#undef CASE_RVV_OPCODE_MASK_WIDEN
3674#undef CASE_RVV_OPCODE_MASK
3675#undef CASE_RVV_OPCODE_WIDEN
3676#undef CASE_RVV_OPCODE
3678#undef CASE_VMA_OPCODE_COMMON
3679#undef CASE_VMA_OPCODE_LMULS_M1
3680#undef CASE_VMA_OPCODE_LMULS_MF2
3681#undef CASE_VMA_OPCODE_LMULS_MF4
3682#undef CASE_VMA_OPCODE_LMULS
3683#undef CASE_VFMA_OPCODE_COMMON
3684#undef CASE_VFMA_OPCODE_LMULS_M1
3685#undef CASE_VFMA_OPCODE_LMULS_MF2
3686#undef CASE_VFMA_OPCODE_LMULS_MF4
3687#undef CASE_VFMA_OPCODE_VV
3688#undef CASE_VFMA_SPLATS
3691#define CASE_WIDEOP_OPCODE_COMMON(OP, LMUL) \
3692 RISCV::PseudoV##OP##_##LMUL##_TIED
3694#define CASE_WIDEOP_OPCODE_LMULS_MF4(OP) \
3695 CASE_WIDEOP_OPCODE_COMMON(OP, MF4): \
3696 case CASE_WIDEOP_OPCODE_COMMON(OP, MF2): \
3697 case CASE_WIDEOP_OPCODE_COMMON(OP, M1): \
3698 case CASE_WIDEOP_OPCODE_COMMON(OP, M2): \
3699 case CASE_WIDEOP_OPCODE_COMMON(OP, M4)
3701#define CASE_WIDEOP_OPCODE_LMULS(OP) \
3702 CASE_WIDEOP_OPCODE_COMMON(OP, MF8): \
3703 case CASE_WIDEOP_OPCODE_LMULS_MF4(OP)
3705#define CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, LMUL) \
3706 case RISCV::PseudoV##OP##_##LMUL##_TIED: \
3707 NewOpc = RISCV::PseudoV##OP##_##LMUL; \
3710#define CASE_WIDEOP_CHANGE_OPCODE_LMULS_MF4(OP) \
3711 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF4) \
3712 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2) \
3713 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1) \
3714 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2) \
3715 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4)
3717#define CASE_WIDEOP_CHANGE_OPCODE_LMULS(OP) \
3718 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF8) \
3719 CASE_WIDEOP_CHANGE_OPCODE_LMULS_MF4(OP)
3722#define CASE_FP_WIDEOP_OPCODE_COMMON(OP, LMUL, SEW) \
3723 RISCV::PseudoV##OP##_##LMUL##_##SEW##_TIED
3725#define CASE_FP_WIDEOP_OPCODE_LMULS_MF4(OP) \
3726 CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF4, E16): \
3727 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF2, E16): \
3728 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF2, E32): \
3729 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M1, E16): \
3730 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M1, E32): \
3731 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M2, E16): \
3732 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M2, E32): \
3733 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M4, E16): \
3734 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M4, E32) \
3736#define CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, LMUL, SEW) \
3737 case RISCV::PseudoV##OP##_##LMUL##_##SEW##_TIED: \
3738 NewOpc = RISCV::PseudoV##OP##_##LMUL##_##SEW; \
3741#define CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS_MF4(OP) \
3742 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF4, E16) \
3743 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2, E16) \
3744 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2, E32) \
3745 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1, E16) \
3746 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1, E32) \
3747 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2, E16) \
3748 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2, E32) \
3749 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4, E16) \
3750 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4, E32) \
3752#define CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS(OP) \
3753 CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS_MF4(OP)
3760 switch (
MI.getOpcode()) {
3766 MI.getNumExplicitOperands() == 7 &&
3767 "Expect 7 explicit operands rd, rs2, rs1, rm, vl, sew, policy");
3774 switch (
MI.getOpcode()) {
3784 .
add(
MI.getOperand(0))
3786 .
add(
MI.getOperand(1))
3787 .
add(
MI.getOperand(2))
3788 .
add(
MI.getOperand(3))
3789 .
add(
MI.getOperand(4))
3790 .
add(
MI.getOperand(5))
3791 .
add(
MI.getOperand(6));
3800 MI.getNumExplicitOperands() == 6);
3801 if ((
MI.getOperand(5).getImm() & 1) == 0)
3806 switch (
MI.getOpcode()) {
3818 .
add(
MI.getOperand(0))
3820 .
add(
MI.getOperand(1))
3821 .
add(
MI.getOperand(2))
3822 .
add(
MI.getOperand(3))
3823 .
add(
MI.getOperand(4))
3824 .
add(
MI.getOperand(5));
3831 unsigned NumOps =
MI.getNumOperands();
3832 for (
unsigned I = 1;
I < NumOps; ++
I) {
3834 if (
Op.isReg() &&
Op.isKill())
3842 if (
MI.getOperand(0).isEarlyClobber()) {
3848 if (S->
end ==
Idx.getRegSlot(
true))
3849 S->
end =
Idx.getRegSlot();
3856#undef CASE_WIDEOP_OPCODE_COMMON
3857#undef CASE_WIDEOP_OPCODE_LMULS_MF4
3858#undef CASE_WIDEOP_OPCODE_LMULS
3859#undef CASE_WIDEOP_CHANGE_OPCODE_COMMON
3860#undef CASE_WIDEOP_CHANGE_OPCODE_LMULS_MF4
3861#undef CASE_WIDEOP_CHANGE_OPCODE_LMULS
3862#undef CASE_FP_WIDEOP_OPCODE_COMMON
3863#undef CASE_FP_WIDEOP_OPCODE_LMULS_MF4
3864#undef CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON
3865#undef CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS_MF4
3866#undef CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS
3873 if (llvm::has_single_bit<uint32_t>(Amount)) {
3875 if (ShiftAmount == 0)
3881 }
else if (
STI.hasStdExtZba() &&
3888 if (Amount % 9 == 0) {
3889 Opc = RISCV::SH3ADD;
3890 ShiftAmount =
Log2_64(Amount / 9);
3891 }
else if (Amount % 5 == 0) {
3892 Opc = RISCV::SH2ADD;
3893 ShiftAmount =
Log2_64(Amount / 5);
3894 }
else if (Amount % 3 == 0) {
3895 Opc = RISCV::SH1ADD;
3896 ShiftAmount =
Log2_64(Amount / 3);
3909 }
else if (llvm::has_single_bit<uint32_t>(Amount - 1)) {
3910 Register ScaledRegister =
MRI.createVirtualRegister(&RISCV::GPRRegClass);
3920 }
else if (llvm::has_single_bit<uint32_t>(Amount + 1)) {
3921 Register ScaledRegister =
MRI.createVirtualRegister(&RISCV::GPRRegClass);
3931 }
else if (
STI.hasStdExtZmmul()) {
3932 Register N =
MRI.createVirtualRegister(&RISCV::GPRRegClass);
3941 for (
uint32_t ShiftAmount = 0; Amount >> ShiftAmount; ShiftAmount++) {
3942 if (Amount & (1U << ShiftAmount)) {
3946 .
addImm(ShiftAmount - PrevShiftAmount)
3948 if (Amount >> (ShiftAmount + 1)) {
3951 Acc =
MRI.createVirtualRegister(&RISCV::GPRRegClass);
3962 PrevShiftAmount = ShiftAmount;
3965 assert(Acc &&
"Expected valid accumulator");
3975 static const std::pair<MachineMemOperand::Flags, const char *> TargetFlags[] =
3989 return MI.getOpcode() == RISCV::ADDIW &&
MI.getOperand(1).isReg() &&
3990 MI.getOperand(2).isImm() &&
MI.getOperand(2).getImm() == 0;
3995 return MI.getOpcode() == RISCV::ADD_UW &&
MI.getOperand(1).isReg() &&
3996 MI.getOperand(2).isReg() &&
MI.getOperand(2).getReg() == RISCV::X0;
4001 return MI.getOpcode() == RISCV::ANDI &&
MI.getOperand(1).isReg() &&
4002 MI.getOperand(2).isImm() &&
MI.getOperand(2).getImm() == 255;
4013 case RISCV::VL1RE8_V:
4014 case RISCV::VL2RE8_V:
4015 case RISCV::VL4RE8_V:
4016 case RISCV::VL8RE8_V:
4017 case RISCV::VL1RE16_V:
4018 case RISCV::VL2RE16_V:
4019 case RISCV::VL4RE16_V:
4020 case RISCV::VL8RE16_V:
4021 case RISCV::VL1RE32_V:
4022 case RISCV::VL2RE32_V:
4023 case RISCV::VL4RE32_V:
4024 case RISCV::VL8RE32_V:
4025 case RISCV::VL1RE64_V:
4026 case RISCV::VL2RE64_V:
4027 case RISCV::VL4RE64_V:
4028 case RISCV::VL8RE64_V:
4036 unsigned Opcode =
MI.getOpcode();
4037 if (!RISCVVPseudosTable::getPseudoInfo(Opcode) &&
4043std::optional<std::pair<unsigned, unsigned>>
4047 return std::nullopt;
4048 case RISCV::PseudoVSPILL2_M1:
4049 case RISCV::PseudoVRELOAD2_M1:
4050 return std::make_pair(2u, 1u);
4051 case RISCV::PseudoVSPILL2_M2:
4052 case RISCV::PseudoVRELOAD2_M2:
4053 return std::make_pair(2u, 2u);
4054 case RISCV::PseudoVSPILL2_M4:
4055 case RISCV::PseudoVRELOAD2_M4:
4056 return std::make_pair(2u, 4u);
4057 case RISCV::PseudoVSPILL3_M1:
4058 case RISCV::PseudoVRELOAD3_M1:
4059 return std::make_pair(3u, 1u);
4060 case RISCV::PseudoVSPILL3_M2:
4061 case RISCV::PseudoVRELOAD3_M2:
4062 return std::make_pair(3u, 2u);
4063 case RISCV::PseudoVSPILL4_M1:
4064 case RISCV::PseudoVRELOAD4_M1:
4065 return std::make_pair(4u, 1u);
4066 case RISCV::PseudoVSPILL4_M2:
4067 case RISCV::PseudoVRELOAD4_M2:
4068 return std::make_pair(4u, 2u);
4069 case RISCV::PseudoVSPILL5_M1:
4070 case RISCV::PseudoVRELOAD5_M1:
4071 return std::make_pair(5u, 1u);
4072 case RISCV::PseudoVSPILL6_M1:
4073 case RISCV::PseudoVRELOAD6_M1:
4074 return std::make_pair(6u, 1u);
4075 case RISCV::PseudoVSPILL7_M1:
4076 case RISCV::PseudoVRELOAD7_M1:
4077 return std::make_pair(7u, 1u);
4078 case RISCV::PseudoVSPILL8_M1:
4079 case RISCV::PseudoVRELOAD8_M1:
4080 return std::make_pair(8u, 1u);
4085 return MI.getNumExplicitDefs() == 2 &&
4086 MI.modifiesRegister(RISCV::VL,
nullptr) && !
MI.isInlineAsm();
4090 int16_t MI1FrmOpIdx =
4092 int16_t MI2FrmOpIdx =
4094 if (MI1FrmOpIdx < 0 || MI2FrmOpIdx < 0)
4101std::optional<unsigned>
4106 return std::nullopt;
4109 case RISCV::VSLL_VX:
4110 case RISCV::VSRL_VX:
4111 case RISCV::VSRA_VX:
4113 case RISCV::VSSRL_VX:
4114 case RISCV::VSSRA_VX:
4119 case RISCV::VNSRL_WX:
4120 case RISCV::VNSRA_WX:
4122 case RISCV::VNCLIPU_WX:
4123 case RISCV::VNCLIP_WX:
4128 case RISCV::VADD_VX:
4129 case RISCV::VSUB_VX:
4130 case RISCV::VRSUB_VX:
4132 case RISCV::VWADDU_VX:
4133 case RISCV::VWSUBU_VX:
4134 case RISCV::VWADD_VX:
4135 case RISCV::VWSUB_VX:
4136 case RISCV::VWADDU_WX:
4137 case RISCV::VWSUBU_WX:
4138 case RISCV::VWADD_WX:
4139 case RISCV::VWSUB_WX:
4141 case RISCV::VADC_VXM:
4142 case RISCV::VADC_VIM:
4143 case RISCV::VMADC_VXM:
4144 case RISCV::VMADC_VIM:
4145 case RISCV::VMADC_VX:
4146 case RISCV::VSBC_VXM:
4147 case RISCV::VMSBC_VXM:
4148 case RISCV::VMSBC_VX:
4150 case RISCV::VAND_VX:
4152 case RISCV::VXOR_VX:
4154 case RISCV::VMSEQ_VX:
4155 case RISCV::VMSNE_VX:
4156 case RISCV::VMSLTU_VX:
4157 case RISCV::VMSLT_VX:
4158 case RISCV::VMSLEU_VX:
4159 case RISCV::VMSLE_VX:
4160 case RISCV::VMSGTU_VX:
4161 case RISCV::VMSGT_VX:
4163 case RISCV::VMINU_VX:
4164 case RISCV::VMIN_VX:
4165 case RISCV::VMAXU_VX:
4166 case RISCV::VMAX_VX:
4168 case RISCV::VMUL_VX:
4169 case RISCV::VMULH_VX:
4170 case RISCV::VMULHU_VX:
4171 case RISCV::VMULHSU_VX:
4173 case RISCV::VDIVU_VX:
4174 case RISCV::VDIV_VX:
4175 case RISCV::VREMU_VX:
4176 case RISCV::VREM_VX:
4178 case RISCV::VWMUL_VX:
4179 case RISCV::VWMULU_VX:
4180 case RISCV::VWMULSU_VX:
4182 case RISCV::VMACC_VX:
4183 case RISCV::VNMSAC_VX:
4184 case RISCV::VMADD_VX:
4185 case RISCV::VNMSUB_VX:
4187 case RISCV::VWMACCU_VX:
4188 case RISCV::VWMACC_VX:
4189 case RISCV::VWMACCSU_VX:
4190 case RISCV::VWMACCUS_VX:
4192 case RISCV::VMERGE_VXM:
4194 case RISCV::VMV_V_X:
4196 case RISCV::VSADDU_VX:
4197 case RISCV::VSADD_VX:
4198 case RISCV::VSSUBU_VX:
4199 case RISCV::VSSUB_VX:
4201 case RISCV::VAADDU_VX:
4202 case RISCV::VAADD_VX:
4203 case RISCV::VASUBU_VX:
4204 case RISCV::VASUB_VX:
4206 case RISCV::VSMUL_VX:
4208 case RISCV::VMV_S_X:
4209 return 1U << Log2SEW;
4215 RISCVVPseudosTable::getPseudoInfo(RVVPseudoOpcode);
4218 return RVV->BaseInstr;
4228 unsigned Scaled = Log2SEW + (DestEEW - 1);
4235 if (
LHS.isReg() &&
RHS.isReg() &&
LHS.getReg().isVirtual() &&
4236 LHS.getReg() ==
RHS.getReg())
4242 if (!
LHS.isImm() || !
RHS.isImm())
4244 return LHS.getImm() <=
RHS.getImm();
4258 bool shouldIgnoreForPipelining(
const MachineInstr *
MI)
const override {
4268 std::optional<bool> createTripCountGreaterCondition(
4280 void adjustTripCount(
int TripCountAdjust)
override {}
4284std::unique_ptr<TargetInstrInfo::PipelinerLoopInfo>
4292 if (
TBB == LoopBB && FBB == LoopBB)
4299 assert((
TBB == LoopBB || FBB == LoopBB) &&
4300 "The Loop must be a single-basic-block loop");
4311 if (!Reg.isVirtual())
4313 return MRI.getVRegDef(Reg);
4323 return std::make_unique<RISCVPipelinerLoopInfo>(
LHS,
RHS,
Cond);
unsigned const MachineRegisterInfo * MRI
MachineInstrBuilder MachineInstrBuilder & DefMI
static bool forwardCopyWillClobberTuple(unsigned DestReg, unsigned SrcReg, unsigned NumRegs)
static bool canCombine(MachineBasicBlock &MBB, MachineOperand &MO, unsigned CombineOpc, unsigned ZeroReg=0, bool CheckZeroReg=false)
static void parseCondBranch(MachineInstr *LastInst, MachineBasicBlock *&Target, SmallVectorImpl< MachineOperand > &Cond)
@ MachineOutlinerTailCall
Emit a save, restore, call, and return.
static ARCCC::CondCode getOppositeBranchCondition(ARCCC::CondCode CC)
Return the inverse of passed condition, i.e. turning COND_E to COND_NE.
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
static GCMetadataPrinterRegistry::Add< ErlangGCPrinter > X("erlang", "erlang-compatible garbage collector")
const HexagonInstrInfo * TII
Module.h This file contains the declarations for the Module class.
static M68k::CondCode getCondFromBranchOpc(unsigned BrOpc)
unsigned const TargetRegisterInfo * TRI
This file provides utility analysis objects describing memory locations.
uint64_t IntrinsicInst * II
static GCMetadataPrinterRegistry::Add< OcamlGCMetadataPrinter > Y("ocaml", "ocaml 3.10-compatible collector")
static bool cannotInsertTailCall(const MachineBasicBlock &MBB)
#define CASE_VFMA_CHANGE_OPCODE_SPLATS(OLDOP, NEWOP)
#define CASE_OPERAND_SIMM(NUM)
static bool isRVVWholeLoadStore(unsigned Opcode)
#define CASE_VFMA_CHANGE_OPCODE_VV(OLDOP, NEWOP)
static unsigned getFPFusedMultiplyOpcode(unsigned RootOpc, unsigned Pattern)
#define RVV_OPC_LMUL_CASE(OPC, INV)
static void combineFPFusedMultiply(MachineInstr &Root, MachineInstr &Prev, unsigned Pattern, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs)
static unsigned getAddendOperandIdx(unsigned Pattern)
#define CASE_RVV_OPCODE_UNMASK(OP)
#define CASE_WIDEOP_CHANGE_OPCODE_LMULS(OP)
static std::optional< MachineOutlinerConstructionID > analyzeCandidate(outliner::Candidate &C)
static cl::opt< bool > PreferWholeRegisterMove("riscv-prefer-whole-register-move", cl::init(false), cl::Hidden, cl::desc("Prefer whole register move for vector registers."))
#define CASE_VFMA_SPLATS(OP)
unsigned getPredicatedOpcode(unsigned Opcode)
static void genShXAddAddShift(MachineInstr &Root, unsigned AddOpIdx, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs, DenseMap< unsigned, unsigned > &InstrIdxForVirtReg)
#define CASE_WIDEOP_OPCODE_LMULS(OP)
#define OPCODE_LMUL_MASK_CASE(OPC)
static bool isFSUB(unsigned Opc)
#define CASE_VMA_CHANGE_OPCODE_LMULS(OLDOP, NEWOP, TYPE)
#define CASE_RVV_OPCODE(OP)
#define CASE_VFMA_OPCODE_VV(OP)
MachineOutlinerConstructionID
#define CASE_RVV_OPCODE_WIDEN(OP)
#define CASE_VMA_OPCODE_LMULS(OP, TYPE)
static bool isFMUL(unsigned Opc)
static bool getFPPatterns(MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns, bool DoRegPressureReduce)
#define OPCODE_LMUL_CASE(OPC)
#define CASE_OPERAND_UIMM(NUM)
static bool canCombineShiftIntoShXAdd(const MachineBasicBlock &MBB, const MachineOperand &MO, unsigned OuterShiftAmt)
Utility routine that checks if.
static bool isCandidatePatchable(const MachineBasicBlock &MBB)
static bool isMIReadsReg(const MachineInstr &MI, const TargetRegisterInfo *TRI, unsigned RegNo)
static bool isFADD(unsigned Opc)
#define CASE_FP_WIDEOP_OPCODE_LMULS_MF4(OP)
static bool isConvertibleToVMV_V_V(const RISCVSubtarget &STI, const MachineBasicBlock &MBB, MachineBasicBlock::const_iterator MBBI, MachineBasicBlock::const_iterator &DefMBBI, RISCVII::VLMUL LMul)
static bool isMIModifiesReg(const MachineInstr &MI, const TargetRegisterInfo *TRI, unsigned RegNo)
static MachineInstr * canFoldAsPredicatedOp(Register Reg, const MachineRegisterInfo &MRI, const TargetInstrInfo *TII)
Identify instructions that can be folded into a CCMOV instruction, and return the defining instructio...
static bool canCombineFPFusedMultiply(const MachineInstr &Root, const MachineOperand &MO, bool DoRegPressureReduce)
static bool getSHXADDPatterns(const MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns)
static bool getFPFusedMultiplyPatterns(MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns, bool DoRegPressureReduce)
static cl::opt< MachineTraceStrategy > ForceMachineCombinerStrategy("riscv-force-machine-combiner-strategy", cl::Hidden, cl::desc("Force machine combiner to use a specific strategy for machine " "trace metrics evaluation."), cl::init(MachineTraceStrategy::TS_NumStrategies), cl::values(clEnumValN(MachineTraceStrategy::TS_Local, "local", "Local strategy."), clEnumValN(MachineTraceStrategy::TS_MinInstrCount, "min-instr", "MinInstrCount strategy.")))
static unsigned getSHXADDShiftAmount(unsigned Opc)
#define CASE_RVV_OPCODE_MASK(OP)
#define RVV_OPC_LMUL_MASK_CASE(OPC, INV)
#define CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS_MF4(OP)
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
This file declares the machine register scavenger class.
static bool memOpsHaveSameBasePtr(const MachineInstr &MI1, ArrayRef< const MachineOperand * > BaseOps1, const MachineInstr &MI2, ArrayRef< const MachineOperand * > BaseOps2)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool isImm(const MachineOperand &MO, MachineRegisterInfo *MRI)
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
This file defines the SmallVector class.
static unsigned getSize(unsigned Kind)
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
const T & front() const
front - Get the first element.
size_t size() const
size - Get the array size.
bool empty() const
empty - Check if the array is empty.
static DILocation * getMergedLocation(DILocation *LocA, DILocation *LocB)
When two instructions are combined into a single instruction we also need to combine the original loc...
This class represents an Operation in the Expression.
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
bool hasMinSize() const
Optimize this function for minimum size (-Oz).
LiveInterval - This class represents the liveness of a register, or stack slot.
LiveInterval & getInterval(Register Reg)
SlotIndex ReplaceMachineInstrInMaps(MachineInstr &MI, MachineInstr &NewMI)
const Segment * getSegmentContaining(SlotIndex Idx) const
Return the segment that contains the specified index, or null if there is none.
void replaceKillInstruction(Register Reg, MachineInstr &OldMI, MachineInstr &NewMI)
replaceKillInstruction - Update register kill info by replacing a kill instruction with a new one.
static constexpr LocationSize beforeOrAfterPointer()
Any location before or after the base pointer (but still within the underlying object).
TypeSize getValue() const
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.
unsigned getNumOperands() const
Return the number of declared MachineOperands for this MachineInstruction.
bool isConditionalBranch() const
Return true if this is a branch which may fall through to the next instruction or may transfer contro...
This holds information about one operand of a machine instruction, indicating the register class for ...
uint8_t OperandType
Information about the type of the operand.
Wrapper class representing physical registers. Should be passed by value.
const FeatureBitset & getFeatureBits() const
unsigned pred_size() const
instr_iterator insert(instr_iterator I, MachineInstr *M)
Insert MI into the instruction list before I, possibly inside a bundle.
iterator getLastNonDebugInstr(bool SkipPseudoOp=true)
Returns an iterator to the last non-debug instruction in the basic block, or end().
Instructions::const_iterator const_instr_iterator
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
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.
void setStackID(int ObjectIdx, uint8_t ID)
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.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
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.
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
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...
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
const MachineInstrBuilder & setMemRefs(ArrayRef< MachineMemOperand * > MMOs) const
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 & addUse(Register RegNo, unsigned Flags=0, unsigned SubReg=0) const
Add a virtual register use operand.
const MachineInstrBuilder & setMIFlags(unsigned Flags) const
const MachineInstrBuilder & copyImplicitOps(const MachineInstr &OtherMI) const
Copy all the implicit operands from OtherMI onto this one.
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.
bool isReturn(QueryType Type=AnyInBundle) const
bool mayLoadOrStore(QueryType Type=AnyInBundle) const
Return true if this instruction could possibly read or modify memory.
const MachineBasicBlock * getParent() const
bool getFlag(MIFlag Flag) const
Return whether an MI flag is set.
unsigned getNumExplicitOperands() const
Returns the number of non-implicit operands.
bool mayLoad(QueryType Type=AnyInBundle) const
Return true if this instruction could possibly read memory.
const MCInstrDesc & getDesc() const
Returns the target instruction descriptor of this MachineInstr.
bool hasUnmodeledSideEffects() const
Return true if this instruction has side effects that are not modeled by mayLoad / mayStore,...
bool hasOneMemOperand() const
Return true if this instruction has exactly one MachineMemOperand.
mmo_iterator memoperands_begin() const
Access to memory operands of the instruction.
bool hasOrderedMemoryRef() const
Return true if this instruction may have an ordered or volatile memory reference, or if the informati...
const MachineFunction * getMF() const
Return the function that contains the basic block that this instruction belongs to.
ArrayRef< MachineMemOperand * > memoperands() const
Access to memory operands of the instruction.
const DebugLoc & getDebugLoc() const
Returns the debug location id of this MachineInstr.
void eraseFromParent()
Unlink 'this' from the containing basic block and delete it.
const MachineOperand & getOperand(unsigned i) const
uint32_t getFlags() const
Return the MI flags bitvector.
void clearKillInfo()
Clears kill flags on all operands.
A description of a memory reference used in the backend.
bool isNonTemporal() const
@ MOLoad
The memory access reads data.
@ MOStore
The memory access writes data.
This class contains meta information specific to a module.
MachineOperand class - Representation of each machine instruction operand.
bool isReg() const
isReg - Tests if this is a MO_Register operand.
MachineBasicBlock * getMBB() const
bool isImm() const
isImm - Tests if this is a MO_Immediate operand.
static MachineOperand CreateImm(int64_t Val)
MachineOperandType getType() const
getType - Returns the MachineOperandType for this operand.
Register getReg() const
getReg - Returns the register number.
bool isFI() const
isFI - Tests if this is a MO_FrameIndex operand.
bool isIdenticalTo(const MachineOperand &Other) const
Returns true if this operand is identical to the specified operand except for liveness related flags ...
@ MO_Immediate
Immediate operand.
@ MO_Register
Register operand.
static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp=false, bool isKill=false, bool isDead=false, bool isUndef=false, bool isEarlyClobber=false, unsigned SubReg=0, bool isDebug=false, bool isInternalRead=false, bool isRenamable=false)
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
A Module instance is used to store all the information related to an LLVM module.
MI-level patchpoint operands.
uint32_t getNumPatchBytes() const
Return the number of patchable bytes the given patchpoint should emit.
MachineInstr * convertToThreeAddress(MachineInstr &MI, LiveVariables *LV, LiveIntervals *LIS) const override
Register isLoadFromStackSlot(const MachineInstr &MI, int &FrameIndex) const override
std::optional< std::unique_ptr< outliner::OutlinedFunction > > getOutliningCandidateInfo(const MachineModuleInfo &MMI, std::vector< outliner::Candidate > &RepeatedSequenceLocs, unsigned MinRepeats) 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, bool DstRenamable=false, bool DstIsDead=false) const
MachineInstr * emitLdStWithAddr(MachineInstr &MemI, const ExtAddrMode &AM) const override
void mulImm(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator II, const DebugLoc &DL, Register DestReg, uint32_t Amt, MachineInstr::MIFlag Flag) const
Generate code to multiply the value in DestReg by Amt - handles all the common optimizations for this...
bool isReallyTriviallyReMaterializable(const MachineInstr &MI) const override
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register SrcReg, bool IsKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const override
bool isFunctionSafeToOutlineFrom(MachineFunction &MF, bool OutlineFromLinkOnceODRs) const override
std::unique_ptr< TargetInstrInfo::PipelinerLoopInfo > analyzeLoopForPipelining(MachineBasicBlock *LoopBB) const override
unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &dl, int *BytesAdded=nullptr) const override
bool hasReassociableSibling(const MachineInstr &Inst, bool &Commuted) const override
RISCVInstrInfo(RISCVSubtarget &STI)
void copyPhysRegVector(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister DstReg, MCRegister SrcReg, bool KillSrc, const TargetRegisterClass *RegClass) const
void genAlternativeCodeSequence(MachineInstr &Root, unsigned Pattern, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs, DenseMap< unsigned, unsigned > &InstrIdxForVirtReg) const override
const MCInstrDesc & getBrCond(RISCVCC::CondCode CC, bool Imm=false) const
MachineInstr * optimizeSelect(MachineInstr &MI, SmallPtrSetImpl< MachineInstr * > &SeenMIs, bool) 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
bool canFoldIntoAddrMode(const MachineInstr &MemI, Register Reg, const MachineInstr &AddrI, ExtAddrMode &AM) const override
void insertIndirectBranch(MachineBasicBlock &MBB, MachineBasicBlock &NewDestBB, MachineBasicBlock &RestoreBB, const DebugLoc &DL, int64_t BrOffset, RegScavenger *RS) const override
bool isAsCheapAsAMove(const MachineInstr &MI) const override
bool verifyInstruction(const MachineInstr &MI, StringRef &ErrInfo) const override
bool getMemOperandWithOffsetWidth(const MachineInstr &LdSt, const MachineOperand *&BaseOp, int64_t &Offset, LocationSize &Width, const TargetRegisterInfo *TRI) const
unsigned getTailDuplicateSize(CodeGenOptLevel OptLevel) const override
void getReassociateOperandIndices(const MachineInstr &Root, unsigned Pattern, std::array< unsigned, 5 > &OperandIndices) const override
const RISCVSubtarget & STI
Register isStoreToStackSlot(const MachineInstr &MI, int &FrameIndex) const override
std::optional< unsigned > getInverseOpcode(unsigned Opcode) const override
ArrayRef< std::pair< unsigned, const char * > > getSerializableDirectMachineOperandTargetFlags() const override
virtual outliner::InstrType getOutliningTypeImpl(const MachineModuleInfo &MMI, MachineBasicBlock::iterator &MBBI, unsigned Flags) const override
MachineTraceStrategy getMachineCombinerTraceStrategy() const override
unsigned getInstSizeInBytes(const MachineInstr &MI) const override
std::optional< RegImmPair > isAddImmediate(const MachineInstr &MI, Register Reg) const override
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
ArrayRef< std::pair< MachineMemOperand::Flags, const char * > > getSerializableMachineMemOperandTargetFlags() const override
MCInst getNop() const override
MachineInstr * foldMemoryOperandImpl(MachineFunction &MF, MachineInstr &MI, ArrayRef< unsigned > Ops, MachineBasicBlock::iterator InsertPt, int FrameIndex, LiveIntervals *LIS=nullptr, VirtRegMap *VRM=nullptr) const override
bool isMBBSafeToOutlineFrom(MachineBasicBlock &MBB, unsigned &Flags) const override
bool getMemOperandsWithOffsetWidth(const MachineInstr &MI, SmallVectorImpl< const MachineOperand * > &BaseOps, int64_t &Offset, bool &OffsetIsScalable, LocationSize &Width, const TargetRegisterInfo *TRI) const override
void buildOutlinedFrame(MachineBasicBlock &MBB, MachineFunction &MF, const outliner::OutlinedFunction &OF) const override
void finalizeInsInstrs(MachineInstr &Root, unsigned &Pattern, SmallVectorImpl< MachineInstr * > &InsInstrs) const override
std::pair< unsigned, unsigned > decomposeMachineOperandsTargetFlags(unsigned TF) const override
MachineInstr * commuteInstructionImpl(MachineInstr &MI, bool NewMI, unsigned OpIdx1, unsigned OpIdx2) const override
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register DstReg, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const override
bool hasReassociableOperands(const MachineInstr &Inst, const MachineBasicBlock *MBB) const override
MachineBasicBlock * getBranchDestBlock(const MachineInstr &MI) const override
std::string createMIROperandComment(const MachineInstr &MI, const MachineOperand &Op, unsigned OpIdx, const TargetRegisterInfo *TRI) const override
bool shouldOutlineFromFunctionByDefault(MachineFunction &MF) const override
bool findCommutedOpIndices(const MachineInstr &MI, unsigned &SrcOpIdx1, unsigned &SrcOpIdx2) const override
bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify) const override
MachineBasicBlock::iterator insertOutlinedCall(Module &M, MachineBasicBlock &MBB, MachineBasicBlock::iterator &It, MachineFunction &MF, outliner::Candidate &C) const override
bool isBranchOffsetInRange(unsigned BranchOpc, int64_t BrOffset) const override
bool isAssociativeAndCommutative(const MachineInstr &Inst, bool Invert) const override
CombinerObjective getCombinerObjective(unsigned Pattern) const override
bool getMachineCombinerPatterns(MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns, bool DoRegPressureReduce) const override
bool optimizeCondBranch(MachineInstr &MI) const override
std::optional< DestSourcePair > isCopyInstrImpl(const MachineInstr &MI) const override
bool analyzeSelect(const MachineInstr &MI, SmallVectorImpl< MachineOperand > &Cond, unsigned &TrueOp, unsigned &FalseOp, bool &Optimizable) const override
bool shouldClusterMemOps(ArrayRef< const MachineOperand * > BaseOps1, int64_t Offset1, bool OffsetIsScalable1, ArrayRef< const MachineOperand * > BaseOps2, int64_t Offset2, bool OffsetIsScalable2, unsigned ClusterSize, unsigned NumBytes) const override
bool areMemAccessesTriviallyDisjoint(const MachineInstr &MIa, const MachineInstr &MIb) const override
RISCVMachineFunctionInfo - This class is derived from MachineFunctionInfo and contains private RISCV-...
int getBranchRelaxationScratchFrameIndex() const
bool hasStdExtCOrZca() const
unsigned getTailDupAggressiveThreshold() const
const RISCVRegisterInfo * getRegisterInfo() const override
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.
constexpr bool isValid() const
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
SlotIndex - An opaque wrapper around machine indexes.
A templated base class for SmallPtrSet which provides the typesafe interface that is common across al...
bool erase(PtrType Ptr)
Remove pointer from the set.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
MI-level stackmap operands.
uint32_t getNumPatchBytes() const
Return the number of patchable bytes the given stackmap should emit.
MI-level Statepoint operands.
uint32_t getNumPatchBytes() const
Return the number of patchable bytes the given statepoint should emit.
StringRef - Represent a constant reference to a string, i.e.
Object returned by analyzeLoopForPipelining.
TargetInstrInfo - Interface to description of machine instruction set.
virtual bool findCommutedOpIndices(const MachineInstr &MI, unsigned &SrcOpIdx1, unsigned &SrcOpIdx2) const
Returns true iff the routine could find two commutable operands in the given machine instruction.
virtual bool hasReassociableOperands(const MachineInstr &Inst, const MachineBasicBlock *MBB) const
Return true when \P Inst has reassociable operands in the same \P MBB.
virtual void genAlternativeCodeSequence(MachineInstr &Root, unsigned Pattern, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs, DenseMap< unsigned, unsigned > &InstIdxForVirtReg) const
When getMachineCombinerPatterns() finds patterns, this function generates the instructions that could...
virtual bool getMachineCombinerPatterns(MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns, bool DoRegPressureReduce) const
Return true when there is potentially a faster code sequence for an instruction chain ending in Root.
virtual bool isMBBSafeToOutlineFrom(MachineBasicBlock &MBB, unsigned &Flags) const
Optional target hook that returns true if MBB is safe to outline from, and returns any target-specifi...
virtual void getReassociateOperandIndices(const MachineInstr &Root, unsigned Pattern, std::array< unsigned, 5 > &OperandIndices) const
The returned array encodes the operand index for each parameter because the operands may be commuted;...
virtual bool isReallyTriviallyReMaterializable(const MachineInstr &MI) const
For instructions with opcodes for which the M_REMATERIALIZABLE flag is set, this hook lets the target...
virtual CombinerObjective getCombinerObjective(unsigned Pattern) const
Return the objective of a combiner pattern.
virtual MachineInstr * commuteInstructionImpl(MachineInstr &MI, bool NewMI, unsigned OpIdx1, unsigned OpIdx2) const
This method commutes the operands of the given machine instruction MI.
virtual bool hasReassociableSibling(const MachineInstr &Inst, bool &Commuted) const
Return true when \P Inst has reassociable sibling.
virtual std::string createMIROperandComment(const MachineInstr &MI, const MachineOperand &Op, unsigned OpIdx, const TargetRegisterInfo *TRI) const
const MCAsmInfo * getMCAsmInfo() const
Return target specific asm information.
const uint8_t TSFlags
Configurable target specific flags.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
virtual const TargetInstrInfo * getInstrInfo() const
Target - Wrapper for Target specific information.
A raw_ostream that writes to an std::string.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
CondCode getOppositeBranchCondition(CondCode)
unsigned getBrCond(CondCode CC, bool Imm=false)
static bool isValidRoundingMode(unsigned Mode)
static unsigned getVecPolicyOpNum(const MCInstrDesc &Desc)
static bool usesMaskPolicy(uint64_t TSFlags)
static bool hasRoundModeOp(uint64_t TSFlags)
static unsigned getVLOpNum(const MCInstrDesc &Desc)
static bool hasVLOp(uint64_t TSFlags)
static int getFRMOpNum(const MCInstrDesc &Desc)
static bool hasVecPolicyOp(uint64_t TSFlags)
static bool usesVXRM(uint64_t TSFlags)
static unsigned getTailExpandUseRegNo(const FeatureBitset &FeatureBits)
static bool isRVVWideningReduction(uint64_t TSFlags)
static unsigned getSEWOpNum(const MCInstrDesc &Desc)
static bool hasSEWOp(uint64_t TSFlags)
static bool isFirstDefTiedToFirstUse(const MCInstrDesc &Desc)
InstSeq generateInstSeq(int64_t Val, const MCSubtargetInfo &STI)
@ OPERAND_UIMMLOG2XLEN_NONZERO
@ OPERAND_SIMM12_LSB00000
@ OPERAND_FIRST_RISCV_IMM
@ OPERAND_UIMM10_LSB00_NONZERO
@ OPERAND_SIMM10_LSB0000_NONZERO
static RISCVII::VLMUL getLMul(uint64_t TSFlags)
static unsigned getNF(uint64_t TSFlags)
static bool isTailAgnostic(unsigned VType)
static RISCVII::VLMUL getVLMUL(unsigned VType)
std::pair< unsigned, bool > decodeVLMUL(RISCVII::VLMUL VLMUL)
static bool isValidSEW(unsigned SEW)
void printVType(unsigned VType, raw_ostream &OS)
static unsigned getSEW(unsigned VType)
bool hasEqualFRM(const MachineInstr &MI1, const MachineInstr &MI2)
bool isVLKnownLE(const MachineOperand &LHS, const MachineOperand &RHS)
Given two VL operands, do we know that LHS <= RHS?
std::optional< unsigned > getVectorLowDemandedScalarBits(uint16_t Opcode, unsigned Log2SEW)
int16_t getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIndex)
unsigned getRVVMCOpcode(unsigned RVVPseudoOpcode)
unsigned getDestLog2EEW(const MCInstrDesc &Desc, unsigned Log2SEW)
bool isSEXT_W(const MachineInstr &MI)
bool isFaultFirstLoad(const MachineInstr &MI)
std::optional< std::pair< unsigned, unsigned > > isRVVSpillForZvlsseg(unsigned Opcode)
bool isZEXT_B(const MachineInstr &MI)
bool isRVVSpill(const MachineInstr &MI)
static constexpr int64_t VLMaxSentinel
bool isZEXT_W(const MachineInstr &MI)
@ Implicit
Not emitted register (e.g. carry, or temporary result).
@ Define
Register definition.
@ Kill
The last use of a register.
@ Undef
Value of the register doesn't matter.
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
InstrType
Represents how an instruction should be mapped by the outliner.
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
MachineTraceStrategy
Strategies for selecting traces.
@ TS_MinInstrCount
Select the trace through a block that has the fewest instructions.
@ TS_Local
Select the trace that contains only the current basic block.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
static const MachineMemOperand::Flags MONontemporalBit1
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
static const MachineMemOperand::Flags MONontemporalBit0
const Value * getUnderlyingObject(const Value *V, unsigned MaxLookup=6)
This method strips off any GEP address adjustments, pointer casts or llvm.threadlocal....
unsigned getDeadRegState(bool B)
constexpr bool isPowerOf2_64(uint64_t Value)
Return true if the argument is a power of two > 0 (64 bit edition.)
unsigned Log2_64(uint64_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
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.
CombinerObjective
The combiner's goal may differ based on which pattern it is attempting to optimize.
CodeGenOptLevel
Code generation optimization level.
unsigned getKillRegState(bool B)
bool isIntN(unsigned N, int64_t x)
Checks if an signed integer fits into the given (dynamic) bit width.
unsigned getRenamableRegState(bool B)
DWARFExpression::Operation Op
constexpr int64_t SignExtend64(uint64_t x)
Sign-extend the number in the bottom B bits of X to a 64-bit integer.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Description of the encoding of one expression Op.
Used to describe addressing mode similar to ExtAddrMode in CodeGenPrepare.
This represents a simple continuous liveness interval for a value.
static MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.
static bool isRVVRegClass(const TargetRegisterClass *RC)
Used to describe a register and immediate addition.
An individual sequence of instructions to be replaced with a call to an outlined function.
MachineFunction * getMF() const
The information necessary to create an outlined function for some class of candidate.
unsigned FrameConstructionID
Target-defined identifier for constructing a frame for this function.