41#define GEN_CHECK_COMPRESS_INSTR
42#include "RISCVGenCompressInstEmitter.inc"
44#define GET_INSTRINFO_CTOR_DTOR
45#include "RISCVGenInstrInfo.inc"
47#define DEBUG_TYPE "riscv-instr-info"
49 "Number of registers within vector register groups spilled");
51 "Number of registers within vector register groups reloaded");
55 cl::desc(
"Prefer whole register move for vector registers."));
58 "riscv-force-machine-combiner-strategy",
cl::Hidden,
59 cl::desc(
"Force machine combiner to use a specific strategy for machine "
60 "trace metrics evaluation."),
65 "MinInstrCount strategy.")));
69 cl::desc(
"Enable RegSave strategy in machine outliner (save X5 to a "
70 "temporary register when X5 is live across outlined calls)."));
76#define GET_RISCVVPseudosTable_IMPL
77#include "RISCVGenSearchableTables.inc"
83#define GET_RISCVMaskedPseudosTable_IMPL
84#include "RISCVGenSearchableTables.inc"
90 RISCV::ADJCALLSTACKUP),
93#define GET_INSTRINFO_HELPERS
94#include "RISCVGenInstrInfo.inc"
97 if (
STI.hasStdExtZca())
106 int &FrameIndex)
const {
116 case RISCV::VL1RE8_V:
117 case RISCV::VL1RE16_V:
118 case RISCV::VL1RE32_V:
119 case RISCV::VL1RE64_V:
122 case RISCV::VL2RE8_V:
123 case RISCV::VL2RE16_V:
124 case RISCV::VL2RE32_V:
125 case RISCV::VL2RE64_V:
128 case RISCV::VL4RE8_V:
129 case RISCV::VL4RE16_V:
130 case RISCV::VL4RE32_V:
131 case RISCV::VL4RE64_V:
134 case RISCV::VL8RE8_V:
135 case RISCV::VL8RE16_V:
136 case RISCV::VL8RE32_V:
137 case RISCV::VL8RE64_V:
145 switch (
MI.getOpcode()) {
169 case RISCV::VL1RE8_V:
170 case RISCV::VL2RE8_V:
171 case RISCV::VL4RE8_V:
172 case RISCV::VL8RE8_V:
173 if (!
MI.getOperand(1).isFI())
175 FrameIndex =
MI.getOperand(1).getIndex();
178 return MI.getOperand(0).getReg();
181 if (
MI.getOperand(1).isFI() &&
MI.getOperand(2).isImm() &&
182 MI.getOperand(2).getImm() == 0) {
183 FrameIndex =
MI.getOperand(1).getIndex();
184 return MI.getOperand(0).getReg();
191 int &FrameIndex)
const {
199 switch (
MI.getOpcode()) {
224 if (!
MI.getOperand(1).isFI())
226 FrameIndex =
MI.getOperand(1).getIndex();
229 return MI.getOperand(0).getReg();
232 if (
MI.getOperand(1).isFI() &&
MI.getOperand(2).isImm() &&
233 MI.getOperand(2).getImm() == 0) {
234 FrameIndex =
MI.getOperand(1).getIndex();
235 return MI.getOperand(0).getReg();
245 case RISCV::VFMV_V_F:
248 case RISCV::VFMV_S_F:
250 return MI.getOperand(1).isUndef();
258 return DstReg > SrcReg && (DstReg - SrcReg) < NumRegs;
269 assert(
MBBI->getOpcode() == TargetOpcode::COPY &&
270 "Unexpected COPY instruction.");
274 bool FoundDef =
false;
275 bool FirstVSetVLI =
false;
276 unsigned FirstSEW = 0;
279 if (
MBBI->isMetaInstruction())
282 if (RISCVInstrInfo::isVectorConfigInstr(*
MBBI)) {
292 unsigned FirstVType =
MBBI->getOperand(2).getImm();
297 if (FirstLMul != LMul)
302 if (!RISCVInstrInfo::isVLPreservingConfig(*
MBBI))
308 unsigned VType =
MBBI->getOperand(2).getImm();
326 }
else if (
MBBI->isInlineAsm() ||
MBBI->isCall()) {
328 }
else if (
MBBI->getNumDefs()) {
331 if (
MBBI->modifiesRegister(RISCV::VL,
nullptr))
337 if (!MO.isReg() || !MO.isDef())
339 if (!FoundDef &&
TRI->regsOverlap(MO.getReg(), SrcReg)) {
354 if (MO.getReg() != SrcReg)
395 uint16_t SrcEncoding =
TRI->getEncodingValue(SrcReg);
396 uint16_t DstEncoding =
TRI->getEncodingValue(DstReg);
398 assert(!Fractional &&
"It is impossible be fractional lmul here.");
399 unsigned NumRegs = NF * LMulVal;
405 SrcEncoding += NumRegs - 1;
406 DstEncoding += NumRegs - 1;
412 unsigned,
unsigned> {
420 uint16_t Diff = DstEncoding - SrcEncoding;
421 if (
I + 8 <= NumRegs && Diff >= 8 && SrcEncoding % 8 == 7 &&
422 DstEncoding % 8 == 7)
424 RISCV::PseudoVMV_V_V_M8, RISCV::PseudoVMV_V_I_M8};
425 if (
I + 4 <= NumRegs && Diff >= 4 && SrcEncoding % 4 == 3 &&
426 DstEncoding % 4 == 3)
428 RISCV::PseudoVMV_V_V_M4, RISCV::PseudoVMV_V_I_M4};
429 if (
I + 2 <= NumRegs && Diff >= 2 && SrcEncoding % 2 == 1 &&
430 DstEncoding % 2 == 1)
432 RISCV::PseudoVMV_V_V_M2, RISCV::PseudoVMV_V_I_M2};
435 RISCV::PseudoVMV_V_V_M1, RISCV::PseudoVMV_V_I_M1};
440 if (
I + 8 <= NumRegs && SrcEncoding % 8 == 0 && DstEncoding % 8 == 0)
442 RISCV::PseudoVMV_V_V_M8, RISCV::PseudoVMV_V_I_M8};
443 if (
I + 4 <= NumRegs && SrcEncoding % 4 == 0 && DstEncoding % 4 == 0)
445 RISCV::PseudoVMV_V_V_M4, RISCV::PseudoVMV_V_I_M4};
446 if (
I + 2 <= NumRegs && SrcEncoding % 2 == 0 && DstEncoding % 2 == 0)
448 RISCV::PseudoVMV_V_V_M2, RISCV::PseudoVMV_V_I_M2};
451 RISCV::PseudoVMV_V_V_M1, RISCV::PseudoVMV_V_I_M1};
454 while (
I != NumRegs) {
459 auto [LMulCopied, RegClass,
Opc, VVOpc, VIOpc] =
460 GetCopyInfo(SrcEncoding, DstEncoding);
464 if (LMul == LMulCopied &&
467 if (DefMBBI->getOpcode() == VIOpc)
474 RegClass, ReversedCopy ? (SrcEncoding - NumCopied + 1) : SrcEncoding);
476 RegClass, ReversedCopy ? (DstEncoding - NumCopied + 1) : DstEncoding);
484 MIB = MIB.add(DefMBBI->getOperand(2));
492 MIB.addImm(Log2SEW ? Log2SEW : 3);
504 SrcEncoding += (ReversedCopy ? -NumCopied : NumCopied);
505 DstEncoding += (ReversedCopy ? -NumCopied : NumCopied);
514 bool RenamableDest,
bool RenamableSrc)
const {
518 if (RISCV::GPRRegClass.
contains(DstReg, SrcReg)) {
525 if (RISCV::GPRF16RegClass.
contains(DstReg, SrcReg)) {
531 if (RISCV::GPRF32RegClass.
contains(DstReg, SrcReg)) {
537 if (RISCV::GPRPairRegClass.
contains(DstReg, SrcReg)) {
539 if (
STI.hasStdExtZdinx()) {
548 if (
STI.hasStdExtP()) {
557 MCRegister EvenReg =
TRI->getSubReg(SrcReg, RISCV::sub_gpr_even);
558 MCRegister OddReg =
TRI->getSubReg(SrcReg, RISCV::sub_gpr_odd);
560 if (OddReg == RISCV::DUMMY_REG_PAIR_WITH_X0)
562 assert(DstReg != RISCV::X0_Pair &&
"Cannot write to X0_Pair");
566 TRI->getSubReg(DstReg, RISCV::sub_gpr_even))
567 .
addReg(EvenReg, KillFlag)
570 TRI->getSubReg(DstReg, RISCV::sub_gpr_odd))
577 if (RISCV::VCSRRegClass.
contains(SrcReg) &&
578 RISCV::GPRRegClass.
contains(DstReg)) {
580 .
addImm(RISCVSysReg::lookupSysRegByName(
TRI->getName(SrcReg))->Encoding)
585 if (RISCV::FPR16RegClass.
contains(DstReg, SrcReg)) {
587 if (
STI.hasStdExtZfh()) {
588 Opc = RISCV::FSGNJ_H;
591 (
STI.hasStdExtZfhmin() ||
STI.hasStdExtZfbfmin()) &&
592 "Unexpected extensions");
594 DstReg =
TRI->getMatchingSuperReg(DstReg, RISCV::sub_16,
595 &RISCV::FPR32RegClass);
596 SrcReg =
TRI->getMatchingSuperReg(SrcReg, RISCV::sub_16,
597 &RISCV::FPR32RegClass);
598 Opc = RISCV::FSGNJ_S;
602 .
addReg(SrcReg, KillFlag);
606 if (RISCV::FPR32RegClass.
contains(DstReg, SrcReg)) {
609 .
addReg(SrcReg, KillFlag);
613 if (RISCV::FPR64RegClass.
contains(DstReg, SrcReg)) {
616 .
addReg(SrcReg, KillFlag);
620 if (RISCV::FPR32RegClass.
contains(DstReg) &&
621 RISCV::GPRRegClass.
contains(SrcReg)) {
623 .
addReg(SrcReg, KillFlag);
627 if (RISCV::GPRRegClass.
contains(DstReg) &&
628 RISCV::FPR32RegClass.
contains(SrcReg)) {
630 .
addReg(SrcReg, KillFlag);
634 if (RISCV::FPR64RegClass.
contains(DstReg) &&
635 RISCV::GPRRegClass.
contains(SrcReg)) {
636 assert(
STI.getXLen() == 64 &&
"Unexpected GPR size");
638 .
addReg(SrcReg, KillFlag);
642 if (RISCV::GPRRegClass.
contains(DstReg) &&
643 RISCV::FPR64RegClass.
contains(SrcReg)) {
644 assert(
STI.getXLen() == 64 &&
"Unexpected GPR size");
646 .
addReg(SrcReg, KillFlag);
652 TRI->getCommonMinimalPhysRegClass(SrcReg, DstReg);
663 Register SrcReg,
bool IsKill,
int FI,
672 if (RISCV::GPRRegClass.hasSubClassEq(RC)) {
673 Opcode = RegInfo.getRegSizeInBits(RISCV::GPRRegClass) == 32 ? RISCV::SW
675 }
else if (RISCV::GPRF16RegClass.hasSubClassEq(RC)) {
676 Opcode = RISCV::SH_INX;
677 }
else if (RISCV::GPRF32RegClass.hasSubClassEq(RC)) {
678 Opcode = RISCV::SW_INX;
679 }
else if (RISCV::GPRPairRegClass.hasSubClassEq(RC)) {
680 if (!
STI.is64Bit() &&
STI.hasStdExtZilsd() &&
681 Alignment >=
STI.getZilsdAlign()) {
682 Opcode = RISCV::SD_RV32;
684 Opcode = RISCV::PseudoRV32ZdinxSD;
686 }
else if (RISCV::FPR16RegClass.hasSubClassEq(RC)) {
688 }
else if (RISCV::FPR32RegClass.hasSubClassEq(RC)) {
690 }
else if (RISCV::FPR64RegClass.hasSubClassEq(RC)) {
692 }
else if (RISCV::VRRegClass.hasSubClassEq(RC)) {
693 Opcode = RISCV::VS1R_V;
694 }
else if (RISCV::VRM2RegClass.hasSubClassEq(RC)) {
695 Opcode = RISCV::VS2R_V;
696 }
else if (RISCV::VRM4RegClass.hasSubClassEq(RC)) {
697 Opcode = RISCV::VS4R_V;
698 }
else if (RISCV::VRM8RegClass.hasSubClassEq(RC)) {
699 Opcode = RISCV::VS8R_V;
700 }
else if (RISCV::VRN2M1RegClass.hasSubClassEq(RC))
701 Opcode = RISCV::PseudoVSPILL2_M1;
702 else if (RISCV::VRN2M2RegClass.hasSubClassEq(RC))
703 Opcode = RISCV::PseudoVSPILL2_M2;
704 else if (RISCV::VRN2M4RegClass.hasSubClassEq(RC))
705 Opcode = RISCV::PseudoVSPILL2_M4;
706 else if (RISCV::VRN3M1RegClass.hasSubClassEq(RC))
707 Opcode = RISCV::PseudoVSPILL3_M1;
708 else if (RISCV::VRN3M2RegClass.hasSubClassEq(RC))
709 Opcode = RISCV::PseudoVSPILL3_M2;
710 else if (RISCV::VRN4M1RegClass.hasSubClassEq(RC))
711 Opcode = RISCV::PseudoVSPILL4_M1;
712 else if (RISCV::VRN4M2RegClass.hasSubClassEq(RC))
713 Opcode = RISCV::PseudoVSPILL4_M2;
714 else if (RISCV::VRN5M1RegClass.hasSubClassEq(RC))
715 Opcode = RISCV::PseudoVSPILL5_M1;
716 else if (RISCV::VRN6M1RegClass.hasSubClassEq(RC))
717 Opcode = RISCV::PseudoVSPILL6_M1;
718 else if (RISCV::VRN7M1RegClass.hasSubClassEq(RC))
719 Opcode = RISCV::PseudoVSPILL7_M1;
720 else if (RISCV::VRN8M1RegClass.hasSubClassEq(RC))
721 Opcode = RISCV::PseudoVSPILL8_M1;
764 if (RISCV::GPRRegClass.hasSubClassEq(RC)) {
765 Opcode = RegInfo.getRegSizeInBits(RISCV::GPRRegClass) == 32 ? RISCV::LW
767 }
else if (RISCV::GPRF16RegClass.hasSubClassEq(RC)) {
768 Opcode = RISCV::LH_INX;
769 }
else if (RISCV::GPRF32RegClass.hasSubClassEq(RC)) {
770 Opcode = RISCV::LW_INX;
771 }
else if (RISCV::GPRPairRegClass.hasSubClassEq(RC)) {
772 if (!
STI.is64Bit() &&
STI.hasStdExtZilsd() &&
773 Alignment >=
STI.getZilsdAlign()) {
774 Opcode = RISCV::LD_RV32;
776 Opcode = RISCV::PseudoRV32ZdinxLD;
778 }
else if (RISCV::FPR16RegClass.hasSubClassEq(RC)) {
780 }
else if (RISCV::FPR32RegClass.hasSubClassEq(RC)) {
782 }
else if (RISCV::FPR64RegClass.hasSubClassEq(RC)) {
784 }
else if (RISCV::VRRegClass.hasSubClassEq(RC)) {
785 Opcode = RISCV::VL1RE8_V;
786 }
else if (RISCV::VRM2RegClass.hasSubClassEq(RC)) {
787 Opcode = RISCV::VL2RE8_V;
788 }
else if (RISCV::VRM4RegClass.hasSubClassEq(RC)) {
789 Opcode = RISCV::VL4RE8_V;
790 }
else if (RISCV::VRM8RegClass.hasSubClassEq(RC)) {
791 Opcode = RISCV::VL8RE8_V;
792 }
else if (RISCV::VRN2M1RegClass.hasSubClassEq(RC))
793 Opcode = RISCV::PseudoVRELOAD2_M1;
794 else if (RISCV::VRN2M2RegClass.hasSubClassEq(RC))
795 Opcode = RISCV::PseudoVRELOAD2_M2;
796 else if (RISCV::VRN2M4RegClass.hasSubClassEq(RC))
797 Opcode = RISCV::PseudoVRELOAD2_M4;
798 else if (RISCV::VRN3M1RegClass.hasSubClassEq(RC))
799 Opcode = RISCV::PseudoVRELOAD3_M1;
800 else if (RISCV::VRN3M2RegClass.hasSubClassEq(RC))
801 Opcode = RISCV::PseudoVRELOAD3_M2;
802 else if (RISCV::VRN4M1RegClass.hasSubClassEq(RC))
803 Opcode = RISCV::PseudoVRELOAD4_M1;
804 else if (RISCV::VRN4M2RegClass.hasSubClassEq(RC))
805 Opcode = RISCV::PseudoVRELOAD4_M2;
806 else if (RISCV::VRN5M1RegClass.hasSubClassEq(RC))
807 Opcode = RISCV::PseudoVRELOAD5_M1;
808 else if (RISCV::VRN6M1RegClass.hasSubClassEq(RC))
809 Opcode = RISCV::PseudoVRELOAD6_M1;
810 else if (RISCV::VRN7M1RegClass.hasSubClassEq(RC))
811 Opcode = RISCV::PseudoVRELOAD7_M1;
812 else if (RISCV::VRN8M1RegClass.hasSubClassEq(RC))
813 Opcode = RISCV::PseudoVRELOAD8_M1;
851 if (
Ops.size() != 1 ||
Ops[0] != 1)
854 switch (
MI.getOpcode()) {
856 if (RISCVInstrInfo::isSEXT_W(
MI))
858 if (RISCVInstrInfo::isZEXT_W(
MI))
860 if (RISCVInstrInfo::isZEXT_B(
MI))
867 case RISCV::ZEXT_H_RV32:
868 case RISCV::ZEXT_H_RV64:
875 case RISCV::VMV_X_S: {
878 if (ST.getXLen() < (1U << Log2SEW))
893 case RISCV::VFMV_F_S: {
921 return BuildMI(*
MI.getParent(), InsertPt,
MI.getDebugLoc(),
get(*LoadOpc),
930 return RISCV::PseudoCCLB;
932 return RISCV::PseudoCCLBU;
934 return RISCV::PseudoCCLH;
936 return RISCV::PseudoCCLHU;
938 return RISCV::PseudoCCLW;
940 return RISCV::PseudoCCLWU;
942 return RISCV::PseudoCCLD;
944 return RISCV::PseudoCCQC_E_LB;
945 case RISCV::QC_E_LBU:
946 return RISCV::PseudoCCQC_E_LBU;
948 return RISCV::PseudoCCQC_E_LH;
949 case RISCV::QC_E_LHU:
950 return RISCV::PseudoCCQC_E_LHU;
952 return RISCV::PseudoCCQC_E_LW;
964 if (
MI.getOpcode() != RISCV::PseudoCCMOVGPR)
969 if (!
STI.hasShortForwardBranchILoad() || !PredOpc)
973 if (
Ops.size() != 1 || (
Ops[0] != 1 &&
Ops[0] != 2))
976 bool Invert =
Ops[0] == 2;
985 MI.getDebugLoc(),
get(PredOpc), DestReg);
996 unsigned BCC =
MI.getOperand(
MI.getNumExplicitOperands() - 3).getImm();
1002 NewMI.
add({
MI.getOperand(
MI.getNumExplicitOperands() - 2),
1003 MI.getOperand(
MI.getNumExplicitOperands() - 1)});
1012 bool DstIsDead)
const {
1028 bool SrcRenamable =
false;
1032 bool LastItem = ++Num == Seq.
size();
1037 switch (Inst.getOpndKind()) {
1047 .
addReg(SrcReg, SrcRegState)
1054 .
addReg(SrcReg, SrcRegState)
1055 .
addReg(SrcReg, SrcRegState)
1061 .
addReg(SrcReg, SrcRegState)
1069 SrcRenamable = DstRenamable;
1079 case RISCV::CV_BEQIMM:
1080 case RISCV::QC_BEQI:
1081 case RISCV::QC_E_BEQI:
1082 case RISCV::NDS_BBC:
1083 case RISCV::NDS_BEQC:
1087 case RISCV::QC_BNEI:
1088 case RISCV::QC_E_BNEI:
1089 case RISCV::CV_BNEIMM:
1090 case RISCV::NDS_BBS:
1091 case RISCV::NDS_BNEC:
1094 case RISCV::QC_BLTI:
1095 case RISCV::QC_E_BLTI:
1098 case RISCV::QC_BGEI:
1099 case RISCV::QC_E_BGEI:
1102 case RISCV::QC_BLTUI:
1103 case RISCV::QC_E_BLTUI:
1106 case RISCV::QC_BGEUI:
1107 case RISCV::QC_E_BGEUI:
1139 "Unknown conditional branch");
1150 case RISCV::QC_MVEQ:
1151 return RISCV::QC_MVNE;
1152 case RISCV::QC_MVNE:
1153 return RISCV::QC_MVEQ;
1154 case RISCV::QC_MVLT:
1155 return RISCV::QC_MVGE;
1156 case RISCV::QC_MVGE:
1157 return RISCV::QC_MVLT;
1158 case RISCV::QC_MVLTU:
1159 return RISCV::QC_MVGEU;
1160 case RISCV::QC_MVGEU:
1161 return RISCV::QC_MVLTU;
1162 case RISCV::QC_MVEQI:
1163 return RISCV::QC_MVNEI;
1164 case RISCV::QC_MVNEI:
1165 return RISCV::QC_MVEQI;
1166 case RISCV::QC_MVLTI:
1167 return RISCV::QC_MVGEI;
1168 case RISCV::QC_MVGEI:
1169 return RISCV::QC_MVLTI;
1170 case RISCV::QC_MVLTUI:
1171 return RISCV::QC_MVGEUI;
1172 case RISCV::QC_MVGEUI:
1173 return RISCV::QC_MVLTUI;
1178 switch (SelectOpc) {
1197 case RISCV::Select_GPR_Using_CC_Imm5_Zibi:
1207 case RISCV::Select_GPR_Using_CC_SImm5_CV:
1212 return RISCV::CV_BEQIMM;
1214 return RISCV::CV_BNEIMM;
1217 case RISCV::Select_GPRNoX0_Using_CC_SImm5NonZero_QC:
1222 return RISCV::QC_BEQI;
1224 return RISCV::QC_BNEI;
1226 return RISCV::QC_BLTI;
1228 return RISCV::QC_BGEI;
1231 case RISCV::Select_GPRNoX0_Using_CC_UImm5NonZero_QC:
1236 return RISCV::QC_BLTUI;
1238 return RISCV::QC_BGEUI;
1241 case RISCV::Select_GPRNoX0_Using_CC_SImm16NonZero_QC:
1246 return RISCV::QC_E_BEQI;
1248 return RISCV::QC_E_BNEI;
1250 return RISCV::QC_E_BLTI;
1252 return RISCV::QC_E_BGEI;
1255 case RISCV::Select_GPRNoX0_Using_CC_UImm16NonZero_QC:
1260 return RISCV::QC_E_BLTUI;
1262 return RISCV::QC_E_BGEUI;
1265 case RISCV::Select_GPR_Using_CC_UImmLog2XLen_NDS:
1270 return RISCV::NDS_BBC;
1272 return RISCV::NDS_BBS;
1275 case RISCV::Select_GPR_Using_CC_UImm7_NDS:
1280 return RISCV::NDS_BEQC;
1282 return RISCV::NDS_BNEC;
1328 case RISCV::CV_BEQIMM:
1329 return RISCV::CV_BNEIMM;
1330 case RISCV::CV_BNEIMM:
1331 return RISCV::CV_BEQIMM;
1332 case RISCV::QC_BEQI:
1333 return RISCV::QC_BNEI;
1334 case RISCV::QC_BNEI:
1335 return RISCV::QC_BEQI;
1336 case RISCV::QC_BLTI:
1337 return RISCV::QC_BGEI;
1338 case RISCV::QC_BGEI:
1339 return RISCV::QC_BLTI;
1340 case RISCV::QC_BLTUI:
1341 return RISCV::QC_BGEUI;
1342 case RISCV::QC_BGEUI:
1343 return RISCV::QC_BLTUI;
1344 case RISCV::QC_E_BEQI:
1345 return RISCV::QC_E_BNEI;
1346 case RISCV::QC_E_BNEI:
1347 return RISCV::QC_E_BEQI;
1348 case RISCV::QC_E_BLTI:
1349 return RISCV::QC_E_BGEI;
1350 case RISCV::QC_E_BGEI:
1351 return RISCV::QC_E_BLTI;
1352 case RISCV::QC_E_BLTUI:
1353 return RISCV::QC_E_BGEUI;
1354 case RISCV::QC_E_BGEUI:
1355 return RISCV::QC_E_BLTUI;
1356 case RISCV::NDS_BBC:
1357 return RISCV::NDS_BBS;
1358 case RISCV::NDS_BBS:
1359 return RISCV::NDS_BBC;
1360 case RISCV::NDS_BEQC:
1361 return RISCV::NDS_BNEC;
1362 case RISCV::NDS_BNEC:
1363 return RISCV::NDS_BEQC;
1371 bool AllowModify)
const {
1372 TBB = FBB =
nullptr;
1377 if (
I ==
MBB.end() || !isUnpredicatedTerminator(*
I))
1383 int NumTerminators = 0;
1384 for (
auto J =
I.getReverse(); J !=
MBB.rend() && isUnpredicatedTerminator(*J);
1387 if (J->getDesc().isUnconditionalBranch() ||
1388 J->getDesc().isIndirectBranch()) {
1395 if (AllowModify && FirstUncondOrIndirectBr !=
MBB.end()) {
1396 while (std::next(FirstUncondOrIndirectBr) !=
MBB.end()) {
1397 std::next(FirstUncondOrIndirectBr)->eraseFromParent();
1400 I = FirstUncondOrIndirectBr;
1404 if (
I->getDesc().isIndirectBranch())
1408 if (
I->isPreISelOpcode())
1412 if (NumTerminators > 2)
1416 if (NumTerminators == 1 &&
I->getDesc().isUnconditionalBranch()) {
1422 if (NumTerminators == 1 &&
I->getDesc().isConditionalBranch()) {
1428 if (NumTerminators == 2 && std::prev(
I)->getDesc().isConditionalBranch() &&
1429 I->getDesc().isUnconditionalBranch()) {
1440 int *BytesRemoved)
const {
1447 if (!
I->getDesc().isUnconditionalBranch() &&
1448 !
I->getDesc().isConditionalBranch())
1454 I->eraseFromParent();
1458 if (
I ==
MBB.begin())
1461 if (!
I->getDesc().isConditionalBranch())
1467 I->eraseFromParent();
1480 assert(
TBB &&
"insertBranch must not be told to insert a fallthrough");
1482 "RISC-V branch conditions have two components!");
1516 assert(RS &&
"RegScavenger required for long branching");
1518 "new block should be inserted for expanding unconditional branch");
1521 "restore block should be inserted for restoring clobbered registers");
1530 "Branch offsets outside of the signed 32-bit range not supported");
1536 auto II =
MBB.end();
1542 RS->enterBasicBlockEnd(
MBB);
1549 RC = &RISCV::GPRX7RegClass;
1551 RS->scavengeRegisterBackwards(*RC,
MI.getIterator(),
1555 RS->setRegUsed(TmpGPR);
1560 TmpGPR =
STI.hasStdExtE() ? RISCV::X9 : RISCV::X27;
1566 if (FrameIndex == -1)
1571 TRI->eliminateFrameIndex(std::prev(
MI.getIterator()),
1574 MI.getOperand(1).setMBB(&RestoreBB);
1578 TRI->eliminateFrameIndex(RestoreBB.
back(),
1588 assert((
Cond.size() == 3) &&
"Invalid branch condition!");
1598 if (
MI->getOpcode() == RISCV::ADDI &&
MI->getOperand(1).isReg() &&
1599 MI->getOperand(1).getReg() == RISCV::X0) {
1600 Imm =
MI->getOperand(2).getImm();
1605 if (
MI->getOpcode() == RISCV::BSETI &&
MI->getOperand(1).isReg() &&
1606 MI->getOperand(1).getReg() == RISCV::X0 &&
1607 MI->getOperand(2).getImm() == 11) {
1621 if (Reg == RISCV::X0) {
1629 bool IsSigned =
false;
1630 bool IsEquality =
false;
1631 switch (
MI.getOpcode()) {
1667 MI.eraseFromParent();
1693 auto searchConst = [&](int64_t C1) ->
Register {
1695 auto DefC1 = std::find_if(++
II, E, [&](
const MachineInstr &
I) ->
bool {
1698 I.getOperand(0).getReg().isVirtual();
1701 return DefC1->getOperand(0).getReg();
1713 if (
isFromLoadImm(MRI, LHS, C0) && C0 != 0 && LHS.getReg().isVirtual() &&
1714 MRI.
hasOneUse(LHS.getReg()) && (IsSigned || C0 != -1)) {
1716 if (
Register RegZ = searchConst(C0 + 1)) {
1724 MI.eraseFromParent();
1734 if (
isFromLoadImm(MRI, RHS, C0) && C0 != 0 && RHS.getReg().isVirtual() &&
1737 if (
Register RegZ = searchConst(C0 - 1)) {
1745 MI.eraseFromParent();
1755 assert(
MI.getDesc().isBranch() &&
"Unexpected opcode!");
1757 int NumOp =
MI.getNumExplicitOperands();
1758 return MI.getOperand(NumOp - 1).getMBB();
1762 int64_t BrOffset)
const {
1763 unsigned XLen =
STI.getXLen();
1770 case RISCV::NDS_BBC:
1771 case RISCV::NDS_BBS:
1772 case RISCV::NDS_BEQC:
1773 case RISCV::NDS_BNEC:
1783 case RISCV::CV_BEQIMM:
1784 case RISCV::CV_BNEIMM:
1785 case RISCV::QC_BEQI:
1786 case RISCV::QC_BNEI:
1787 case RISCV::QC_BGEI:
1788 case RISCV::QC_BLTI:
1789 case RISCV::QC_BLTUI:
1790 case RISCV::QC_BGEUI:
1791 case RISCV::QC_E_BEQI:
1792 case RISCV::QC_E_BNEI:
1793 case RISCV::QC_E_BGEI:
1794 case RISCV::QC_E_BLTI:
1795 case RISCV::QC_E_BLTUI:
1796 case RISCV::QC_E_BGEUI:
1799 case RISCV::PseudoBR:
1801 case RISCV::PseudoJump:
1812 case RISCV::ADD:
return RISCV::PseudoCCADD;
1813 case RISCV::SUB:
return RISCV::PseudoCCSUB;
1814 case RISCV::SLL:
return RISCV::PseudoCCSLL;
1815 case RISCV::SRL:
return RISCV::PseudoCCSRL;
1816 case RISCV::SRA:
return RISCV::PseudoCCSRA;
1817 case RISCV::AND:
return RISCV::PseudoCCAND;
1818 case RISCV::OR:
return RISCV::PseudoCCOR;
1819 case RISCV::XOR:
return RISCV::PseudoCCXOR;
1820 case RISCV::MAX:
return RISCV::PseudoCCMAX;
1821 case RISCV::MAXU:
return RISCV::PseudoCCMAXU;
1822 case RISCV::MIN:
return RISCV::PseudoCCMIN;
1823 case RISCV::MINU:
return RISCV::PseudoCCMINU;
1824 case RISCV::MUL:
return RISCV::PseudoCCMUL;
1825 case RISCV::LUI:
return RISCV::PseudoCCLUI;
1826 case RISCV::QC_LI:
return RISCV::PseudoCCQC_LI;
1827 case RISCV::QC_E_LI:
return RISCV::PseudoCCQC_E_LI;
1829 case RISCV::ADDI:
return RISCV::PseudoCCADDI;
1830 case RISCV::SLLI:
return RISCV::PseudoCCSLLI;
1831 case RISCV::SRLI:
return RISCV::PseudoCCSRLI;
1832 case RISCV::SRAI:
return RISCV::PseudoCCSRAI;
1833 case RISCV::ANDI:
return RISCV::PseudoCCANDI;
1834 case RISCV::ORI:
return RISCV::PseudoCCORI;
1835 case RISCV::XORI:
return RISCV::PseudoCCXORI;
1837 case RISCV::ADDW:
return RISCV::PseudoCCADDW;
1838 case RISCV::SUBW:
return RISCV::PseudoCCSUBW;
1839 case RISCV::SLLW:
return RISCV::PseudoCCSLLW;
1840 case RISCV::SRLW:
return RISCV::PseudoCCSRLW;
1841 case RISCV::SRAW:
return RISCV::PseudoCCSRAW;
1843 case RISCV::ADDIW:
return RISCV::PseudoCCADDIW;
1844 case RISCV::SLLIW:
return RISCV::PseudoCCSLLIW;
1845 case RISCV::SRLIW:
return RISCV::PseudoCCSRLIW;
1846 case RISCV::SRAIW:
return RISCV::PseudoCCSRAIW;
1848 case RISCV::ANDN:
return RISCV::PseudoCCANDN;
1849 case RISCV::ORN:
return RISCV::PseudoCCORN;
1850 case RISCV::XNOR:
return RISCV::PseudoCCXNOR;
1852 case RISCV::NDS_BFOS:
return RISCV::PseudoCCNDS_BFOS;
1853 case RISCV::NDS_BFOZ:
return RISCV::PseudoCCNDS_BFOZ;
1857 return RISCV::INSTRUCTION_LIST_END;
1866 if (!
Reg.isVirtual())
1874 if (!STI.hasShortForwardBranchIMinMax() &&
1875 (
MI->getOpcode() == RISCV::MAX ||
MI->getOpcode() == RISCV::MIN ||
1876 MI->getOpcode() == RISCV::MINU ||
MI->getOpcode() == RISCV::MAXU))
1879 if (!STI.hasShortForwardBranchIMul() &&
MI->getOpcode() == RISCV::MUL)
1886 if (
MI->getOpcode() == RISCV::ADDI &&
MI->getOperand(1).isReg() &&
1887 MI->getOperand(1).getReg() == RISCV::X0)
1892 if (MO.isFI() || MO.isCPI() || MO.isJTI())
1905 bool DontMoveAcrossStores =
true;
1906 if (!
MI->isSafeToMove(DontMoveAcrossStores))
1914 bool PreferFalse)
const {
1915 assert(
MI.getOpcode() == RISCV::PseudoCCMOVGPR &&
1916 "Unknown select instruction");
1917 if (!
STI.hasShortForwardBranchIALU())
1923 bool Invert = !
DefMI;
1931 Register DestReg =
MI.getOperand(0).getReg();
1937 assert(PredOpc != RISCV::INSTRUCTION_LIST_END &&
"Unexpected opcode!");
1944 NewMI.
add(FalseReg);
1952 unsigned BCCOpcode =
MI.getOperand(
MI.getNumExplicitOperands() - 3).getImm();
1958 NewMI.
add(
MI.getOperand(
MI.getNumExplicitOperands() - 2));
1959 NewMI.
add(
MI.getOperand(
MI.getNumExplicitOperands() - 1));
1969 if (
DefMI->getParent() !=
MI.getParent())
1973 DefMI->eraseFromParent();
1978 if (
MI.isMetaInstruction())
1981 unsigned Opcode =
MI.getOpcode();
1983 if (Opcode == TargetOpcode::INLINEASM ||
1984 Opcode == TargetOpcode::INLINEASM_BR) {
1986 return getInlineAsmLength(
MI.getOperand(0).getSymbolName(),
1991 if (
STI.hasStdExtZca()) {
1992 if (isCompressibleInst(
MI,
STI))
1999 if (Opcode == TargetOpcode::BUNDLE)
2000 return getInstBundleSize(
MI);
2002 if (
MI.getParent() &&
MI.getParent()->getParent()) {
2003 if (isCompressibleInst(
MI,
STI))
2008 case RISCV::PseudoMV_FPR16INX:
2009 case RISCV::PseudoMV_FPR32INX:
2010 case RISCV::PseudoClearGPR:
2012 return STI.hasStdExtZca() ? 2 : 4;
2014 case RISCV::PseudoCCMOVGPRNoX0:
2015 return get(
MI.getOperand(
MI.getNumExplicitOperands() - 3).getImm())
2018 case RISCV::PseudoCCMOVGPR:
2019 case RISCV::PseudoCCADD:
2020 case RISCV::PseudoCCSUB:
2021 case RISCV::PseudoCCSLL:
2022 case RISCV::PseudoCCSRL:
2023 case RISCV::PseudoCCSRA:
2024 case RISCV::PseudoCCAND:
2025 case RISCV::PseudoCCOR:
2026 case RISCV::PseudoCCXOR:
2027 case RISCV::PseudoCCADDI:
2028 case RISCV::PseudoCCANDI:
2029 case RISCV::PseudoCCORI:
2030 case RISCV::PseudoCCXORI:
2031 case RISCV::PseudoCCLUI:
2032 case RISCV::PseudoCCSLLI:
2033 case RISCV::PseudoCCSRLI:
2034 case RISCV::PseudoCCSRAI:
2035 case RISCV::PseudoCCADDW:
2036 case RISCV::PseudoCCSUBW:
2037 case RISCV::PseudoCCSLLW:
2038 case RISCV::PseudoCCSRLW:
2039 case RISCV::PseudoCCSRAW:
2040 case RISCV::PseudoCCADDIW:
2041 case RISCV::PseudoCCSLLIW:
2042 case RISCV::PseudoCCSRLIW:
2043 case RISCV::PseudoCCSRAIW:
2044 case RISCV::PseudoCCANDN:
2045 case RISCV::PseudoCCORN:
2046 case RISCV::PseudoCCXNOR:
2047 case RISCV::PseudoCCMAX:
2048 case RISCV::PseudoCCMIN:
2049 case RISCV::PseudoCCMAXU:
2050 case RISCV::PseudoCCMINU:
2051 case RISCV::PseudoCCMUL:
2052 case RISCV::PseudoCCLB:
2053 case RISCV::PseudoCCLH:
2054 case RISCV::PseudoCCLW:
2055 case RISCV::PseudoCCLHU:
2056 case RISCV::PseudoCCLBU:
2057 case RISCV::PseudoCCLWU:
2058 case RISCV::PseudoCCLD:
2059 case RISCV::PseudoCCQC_LI:
2060 return get(
MI.getOperand(
MI.getNumExplicitOperands() - 3).getImm())
2063 case RISCV::PseudoCCQC_E_LI:
2064 case RISCV::PseudoCCQC_E_LB:
2065 case RISCV::PseudoCCQC_E_LH:
2066 case RISCV::PseudoCCQC_E_LW:
2067 case RISCV::PseudoCCQC_E_LHU:
2068 case RISCV::PseudoCCQC_E_LBU:
2069 return get(
MI.getOperand(
MI.getNumExplicitOperands() - 3).getImm())
2072 case TargetOpcode::STACKMAP:
2075 case TargetOpcode::PATCHPOINT:
2078 case TargetOpcode::STATEPOINT: {
2082 return std::max(NumBytes, 8U);
2084 case TargetOpcode::PATCHABLE_FUNCTION_ENTER:
2085 case TargetOpcode::PATCHABLE_FUNCTION_EXIT:
2086 case TargetOpcode::PATCHABLE_TAIL_CALL: {
2089 if (Opcode == TargetOpcode::PATCHABLE_FUNCTION_ENTER &&
2090 F.hasFnAttribute(
"patchable-function-entry")) {
2092 F.getFnAttributeAsParsedInteger(
"patchable-function-entry");
2094 return (
STI.hasStdExtZca() ? 2 : 4) * Num;
2098 return STI.is64Bit() ? 68 : 44;
2101 return get(Opcode).getSize();
2106 const unsigned Opcode =
MI.getOpcode();
2110 case RISCV::FSGNJ_D:
2111 case RISCV::FSGNJ_S:
2112 case RISCV::FSGNJ_H:
2113 case RISCV::FSGNJ_D_INX:
2114 case RISCV::FSGNJ_D_IN32X:
2115 case RISCV::FSGNJ_S_INX:
2116 case RISCV::FSGNJ_H_INX:
2118 return MI.getOperand(1).isReg() &&
MI.getOperand(2).isReg() &&
2119 MI.getOperand(1).getReg() ==
MI.getOperand(2).getReg();
2123 return (
MI.getOperand(1).isReg() &&
2124 MI.getOperand(1).getReg() == RISCV::X0) ||
2125 (
MI.getOperand(2).isImm() &&
MI.getOperand(2).getImm() == 0);
2127 return MI.isAsCheapAsAMove();
2130std::optional<DestSourcePair>
2134 switch (
MI.getOpcode()) {
2140 if (
MI.getOperand(1).isReg() &&
MI.getOperand(1).getReg() == RISCV::X0 &&
2141 MI.getOperand(2).isReg())
2143 if (
MI.getOperand(2).isReg() &&
MI.getOperand(2).getReg() == RISCV::X0 &&
2144 MI.getOperand(1).isReg())
2149 if (
MI.getOperand(1).isReg() &&
MI.getOperand(2).isImm() &&
2150 MI.getOperand(2).getImm() == 0)
2154 if (
MI.getOperand(2).isReg() &&
MI.getOperand(2).getReg() == RISCV::X0 &&
2155 MI.getOperand(1).isReg())
2159 case RISCV::SH1ADD_UW:
2161 case RISCV::SH2ADD_UW:
2163 case RISCV::SH3ADD_UW:
2164 if (
MI.getOperand(1).isReg() &&
MI.getOperand(1).getReg() == RISCV::X0 &&
2165 MI.getOperand(2).isReg())
2168 case RISCV::FSGNJ_D:
2169 case RISCV::FSGNJ_S:
2170 case RISCV::FSGNJ_H:
2171 case RISCV::FSGNJ_D_INX:
2172 case RISCV::FSGNJ_D_IN32X:
2173 case RISCV::FSGNJ_S_INX:
2174 case RISCV::FSGNJ_H_INX:
2176 if (
MI.getOperand(1).isReg() &&
MI.getOperand(2).isReg() &&
2177 MI.getOperand(1).getReg() ==
MI.getOperand(2).getReg())
2181 return std::nullopt;
2189 const auto &SchedModel =
STI.getSchedModel();
2190 return (!SchedModel.hasInstrSchedModel() || SchedModel.isOutOfOrder())
2202 RISCV::getNamedOperandIdx(Root.
getOpcode(), RISCV::OpName::frm);
2206 return RISCV::getNamedOperandIdx(
MI->getOpcode(),
2207 RISCV::OpName::frm) < 0;
2209 "New instructions require FRM whereas the old one does not have it");
2216 for (
auto *NewMI : InsInstrs) {
2218 if (
static_cast<unsigned>(RISCV::getNamedOperandIdx(
2219 NewMI->getOpcode(), RISCV::OpName::frm)) != NewMI->getNumOperands())
2261bool RISCVInstrInfo::isVectorAssociativeAndCommutative(
const MachineInstr &Inst,
2262 bool Invert)
const {
2263#define OPCODE_LMUL_CASE(OPC) \
2264 case RISCV::OPC##_M1: \
2265 case RISCV::OPC##_M2: \
2266 case RISCV::OPC##_M4: \
2267 case RISCV::OPC##_M8: \
2268 case RISCV::OPC##_MF2: \
2269 case RISCV::OPC##_MF4: \
2270 case RISCV::OPC##_MF8
2272#define OPCODE_LMUL_MASK_CASE(OPC) \
2273 case RISCV::OPC##_M1_MASK: \
2274 case RISCV::OPC##_M2_MASK: \
2275 case RISCV::OPC##_M4_MASK: \
2276 case RISCV::OPC##_M8_MASK: \
2277 case RISCV::OPC##_MF2_MASK: \
2278 case RISCV::OPC##_MF4_MASK: \
2279 case RISCV::OPC##_MF8_MASK
2284 Opcode = *InvOpcode;
2301#undef OPCODE_LMUL_MASK_CASE
2302#undef OPCODE_LMUL_CASE
2305bool RISCVInstrInfo::areRVVInstsReassociable(
const MachineInstr &Root,
2316 const uint64_t TSFlags =
Desc.TSFlags;
2318 auto checkImmOperand = [&](
unsigned OpIdx) {
2322 auto checkRegOperand = [&](
unsigned OpIdx) {
2330 if (!checkRegOperand(1))
2345 bool SeenMI2 =
false;
2346 for (
auto End =
MBB->
rend(), It = It1; It != End; ++It) {
2355 if (It->modifiesRegister(RISCV::V0,
TRI)) {
2356 Register SrcReg = It->getOperand(1).getReg();
2374 if (MI1VReg != SrcReg)
2383 assert(SeenMI2 &&
"Prev is expected to appear before Root");
2423bool RISCVInstrInfo::hasReassociableVectorSibling(
const MachineInstr &Inst,
2424 bool &Commuted)
const {
2428 "Expect the present of passthrough operand.");
2434 Commuted = !areRVVInstsReassociable(Inst, *MI1) &&
2435 areRVVInstsReassociable(Inst, *MI2);
2439 return areRVVInstsReassociable(Inst, *MI1) &&
2440 (isVectorAssociativeAndCommutative(*MI1) ||
2441 isVectorAssociativeAndCommutative(*MI1,
true)) &&
2448 if (!isVectorAssociativeAndCommutative(Inst) &&
2449 !isVectorAssociativeAndCommutative(Inst,
true))
2475 for (
unsigned I = 0;
I < 5; ++
I)
2481 bool &Commuted)
const {
2482 if (isVectorAssociativeAndCommutative(Inst) ||
2483 isVectorAssociativeAndCommutative(Inst,
true))
2484 return hasReassociableVectorSibling(Inst, Commuted);
2490 unsigned OperandIdx = Commuted ? 2 : 1;
2494 int16_t InstFrmOpIdx =
2495 RISCV::getNamedOperandIdx(Inst.
getOpcode(), RISCV::OpName::frm);
2496 int16_t SiblingFrmOpIdx =
2497 RISCV::getNamedOperandIdx(Sibling.
getOpcode(), RISCV::OpName::frm);
2499 return (InstFrmOpIdx < 0 && SiblingFrmOpIdx < 0) ||
2504 bool Invert)
const {
2505 if (isVectorAssociativeAndCommutative(Inst, Invert))
2513 Opc = *InverseOpcode;
2558std::optional<unsigned>
2560#define RVV_OPC_LMUL_CASE(OPC, INV) \
2561 case RISCV::OPC##_M1: \
2562 return RISCV::INV##_M1; \
2563 case RISCV::OPC##_M2: \
2564 return RISCV::INV##_M2; \
2565 case RISCV::OPC##_M4: \
2566 return RISCV::INV##_M4; \
2567 case RISCV::OPC##_M8: \
2568 return RISCV::INV##_M8; \
2569 case RISCV::OPC##_MF2: \
2570 return RISCV::INV##_MF2; \
2571 case RISCV::OPC##_MF4: \
2572 return RISCV::INV##_MF4; \
2573 case RISCV::OPC##_MF8: \
2574 return RISCV::INV##_MF8
2576#define RVV_OPC_LMUL_MASK_CASE(OPC, INV) \
2577 case RISCV::OPC##_M1_MASK: \
2578 return RISCV::INV##_M1_MASK; \
2579 case RISCV::OPC##_M2_MASK: \
2580 return RISCV::INV##_M2_MASK; \
2581 case RISCV::OPC##_M4_MASK: \
2582 return RISCV::INV##_M4_MASK; \
2583 case RISCV::OPC##_M8_MASK: \
2584 return RISCV::INV##_M8_MASK; \
2585 case RISCV::OPC##_MF2_MASK: \
2586 return RISCV::INV##_MF2_MASK; \
2587 case RISCV::OPC##_MF4_MASK: \
2588 return RISCV::INV##_MF4_MASK; \
2589 case RISCV::OPC##_MF8_MASK: \
2590 return RISCV::INV##_MF8_MASK
2594 return std::nullopt;
2596 return RISCV::FSUB_H;
2598 return RISCV::FSUB_S;
2600 return RISCV::FSUB_D;
2602 return RISCV::FADD_H;
2604 return RISCV::FADD_S;
2606 return RISCV::FADD_D;
2623#undef RVV_OPC_LMUL_MASK_CASE
2624#undef RVV_OPC_LMUL_CASE
2629 bool DoRegPressureReduce) {
2656 bool DoRegPressureReduce) {
2663 DoRegPressureReduce)) {
2669 DoRegPressureReduce)) {
2679 bool DoRegPressureReduce) {
2687 unsigned CombineOpc) {
2694 if (!
MI ||
MI->getParent() != &
MBB ||
MI->getOpcode() != CombineOpc)
2708 unsigned OuterShiftAmt) {
2714 if (InnerShiftAmt < OuterShiftAmt || (InnerShiftAmt - OuterShiftAmt) > 3)
2741 case RISCV::SH1ADD_UW:
2743 case RISCV::SH2ADD_UW:
2745 case RISCV::SH3ADD_UW:
2791 bool DoRegPressureReduce)
const {
2800 DoRegPressureReduce);
2808 return RISCV::FMADD_H;
2810 return RISCV::FMADD_S;
2812 return RISCV::FMADD_D;
2857 bool Mul1IsKill = Mul1.
isKill();
2858 bool Mul2IsKill = Mul2.
isKill();
2859 bool AddendIsKill = Addend.
isKill();
2868 BuildMI(*MF, MergedLoc,
TII->get(FusedOpc), DstReg)
2893 assert(OuterShiftAmt != 0 &&
"Unexpected opcode");
2900 assert(InnerShiftAmt >= OuterShiftAmt &&
"Unexpected shift amount");
2903 switch (InnerShiftAmt - OuterShiftAmt) {
2907 InnerOpc = RISCV::ADD;
2910 InnerOpc = RISCV::SH1ADD;
2913 InnerOpc = RISCV::SH2ADD;
2916 InnerOpc = RISCV::SH3ADD;
2934 InstrIdxForVirtReg.
insert(std::make_pair(NewVR, 0));
2951 DelInstrs, InstrIdxForVirtReg);
2978 for (
const auto &[Index, Operand] :
enumerate(
Desc.operands())) {
2980 unsigned OpType = Operand.OperandType;
2986 ErrInfo =
"Expected an immediate operand.";
2989 int64_t Imm = MO.
getImm();
2995#define CASE_OPERAND_UIMM(NUM) \
2996 case RISCVOp::OPERAND_UIMM##NUM: \
2997 Ok = isUInt<NUM>(Imm); \
2999#define CASE_OPERAND_UIMM_LSB_ZEROS(BITS, SUFFIX) \
3000 case RISCVOp::OPERAND_UIMM##BITS##_LSB##SUFFIX: { \
3001 constexpr size_t NumZeros = sizeof(#SUFFIX) - 1; \
3002 Ok = isShiftedUInt<BITS - NumZeros, NumZeros>(Imm); \
3005#define CASE_OPERAND_SIMM(NUM) \
3006 case RISCVOp::OPERAND_SIMM##NUM: \
3007 Ok = isInt<NUM>(Imm); \
3041 Ok = Imm >= 1 && Imm <= 32;
3044 Ok = Imm >= 1 && Imm <= 64;
3047 Ok = Imm ==
STI.getXLen();
3071 Ok = (
isUInt<5>(Imm) && Imm != 0) || Imm == -1;
3083 Ok = Imm >= -15 && Imm <= 16;
3111 Ok = Ok && Imm != 0;
3114 Ok = (
isUInt<5>(Imm) && Imm != 0) || (Imm >= 0xfffe0 && Imm <= 0xfffff);
3117 Ok = Imm >= 0 && Imm <= 10;
3120 Ok = Imm >= 0 && Imm <= 7;
3123 Ok = Imm >= 1 && Imm <= 10;
3126 Ok = Imm >= 2 && Imm <= 14;
3135 Ok = Imm >= 0 && Imm <= 48 && Imm % 16 == 0;
3170 Ok = Imm == 1 || Imm == 2 || Imm == 4;
3174 ErrInfo =
"Invalid immediate";
3183 ErrInfo =
"Expected a non-register operand.";
3187 ErrInfo =
"Invalid immediate";
3196 ErrInfo =
"Expected a non-register operand.";
3200 ErrInfo =
"Invalid immediate";
3208 ErrInfo =
"Expected a non-register operand.";
3212 ErrInfo =
"Invalid immediate";
3218 int64_t Imm = MO.
getImm();
3221 ErrInfo =
"Invalid immediate";
3224 }
else if (!MO.
isReg()) {
3225 ErrInfo =
"Expected a register or immediate operand.";
3231 ErrInfo =
"Expected a register or immediate operand.";
3241 if (!
Op.isImm() && !
Op.isReg()) {
3242 ErrInfo =
"Invalid operand type for VL operand";
3245 if (
Op.isReg() &&
Op.getReg().isValid()) {
3248 if (!RISCV::GPRNoX0RegClass.hasSubClassEq(RC)) {
3249 ErrInfo =
"Invalid register class for VL operand";
3254 ErrInfo =
"VL operand w/o SEW operand?";
3260 if (!
MI.getOperand(
OpIdx).isImm()) {
3261 ErrInfo =
"SEW value expected to be an immediate";
3266 ErrInfo =
"Unexpected SEW value";
3269 unsigned SEW = Log2SEW ? 1 << Log2SEW : 8;
3271 ErrInfo =
"Unexpected SEW value";
3277 if (!
MI.getOperand(
OpIdx).isImm()) {
3278 ErrInfo =
"Policy operand expected to be an immediate";
3283 ErrInfo =
"Invalid Policy Value";
3287 ErrInfo =
"policy operand w/o VL operand?";
3295 if (!
MI.isRegTiedToUseOperand(0, &UseOpIdx)) {
3296 ErrInfo =
"policy operand w/o tied operand?";
3303 !
MI.readsRegister(RISCV::FRM,
nullptr)) {
3304 ErrInfo =
"dynamic rounding mode should read FRM";
3326 case RISCV::LD_RV32:
3336 case RISCV::SD_RV32:
3352 int64_t NewOffset = OldOffset + Disp;
3374 "Addressing mode not supported for folding");
3447 case RISCV::LD_RV32:
3450 case RISCV::SD_RV32:
3457 OffsetIsScalable =
false;
3473 if (BaseOps1.
front()->isIdenticalTo(*BaseOps2.
front()))
3481 if (MO1->getAddrSpace() != MO2->getAddrSpace())
3484 auto Base1 = MO1->getValue();
3485 auto Base2 = MO2->getValue();
3486 if (!Base1 || !Base2)
3494 return Base1 == Base2;
3500 int64_t Offset2,
bool OffsetIsScalable2,
unsigned ClusterSize,
3501 unsigned NumBytes)
const {
3504 if (!BaseOps1.
empty() && !BaseOps2.
empty()) {
3509 }
else if (!BaseOps1.
empty() || !BaseOps2.
empty()) {
3515 BaseOps1.
front()->getParent()->getMF()->getSubtarget().getCacheLineSize();
3521 return ClusterSize <= 4 && std::abs(Offset1 - Offset2) <
CacheLineSize;
3571 int64_t OffsetA = 0, OffsetB = 0;
3577 int LowOffset = std::min(OffsetA, OffsetB);
3578 int HighOffset = std::max(OffsetA, OffsetB);
3579 LocationSize LowWidth = (LowOffset == OffsetA) ? WidthA : WidthB;
3581 LowOffset + (
int)LowWidth.
getValue() <= HighOffset)
3588std::pair<unsigned, unsigned>
3591 return std::make_pair(TF & Mask, TF & ~Mask);
3597 static const std::pair<unsigned, const char *> TargetFlags[] = {
3598 {MO_CALL,
"riscv-call"},
3599 {MO_LO,
"riscv-lo"},
3600 {MO_HI,
"riscv-hi"},
3601 {MO_PCREL_LO,
"riscv-pcrel-lo"},
3602 {MO_PCREL_HI,
"riscv-pcrel-hi"},
3603 {MO_GOT_HI,
"riscv-got-hi"},
3604 {MO_TPREL_LO,
"riscv-tprel-lo"},
3605 {MO_TPREL_HI,
"riscv-tprel-hi"},
3606 {MO_TPREL_ADD,
"riscv-tprel-add"},
3607 {MO_TLS_GOT_HI,
"riscv-tls-got-hi"},
3608 {MO_TLS_GD_HI,
"riscv-tls-gd-hi"},
3609 {MO_TLSDESC_HI,
"riscv-tlsdesc-hi"},
3610 {MO_TLSDESC_LOAD_LO,
"riscv-tlsdesc-load-lo"},
3611 {MO_TLSDESC_ADD_LO,
"riscv-tlsdesc-add-lo"},
3612 {MO_TLSDESC_CALL,
"riscv-tlsdesc-call"},
3613 {MO_QC_ACCESS,
"riscv-qc-access"},
3622 if (!OutlineFromLinkOnceODRs &&
F.hasLinkOnceODRLinkage())
3635 unsigned &Flags)
const {
3655 return F.getFnAttribute(
"fentry-call").getValueAsBool() ||
3656 F.hasFnAttribute(
"patchable-function-entry");
3661 return MI.readsRegister(RegNo,
TRI) ||
3662 MI.getDesc().hasImplicitUseOfPhysReg(RegNo);
3667 return MI.modifiesRegister(RegNo,
TRI) ||
3668 MI.getDesc().hasImplicitDefOfPhysReg(RegNo);
3672 if (!
MBB.back().isReturn())
3711 if (
C.isAvailableAcrossAndOutOfSeq(
Reg,
TRI) &&
3712 C.isAvailableInsideSeq(
Reg,
TRI)) {
3726 if (
C.back().isReturn() &&
3727 !
C.isAvailableAcrossAndOutOfSeq(TailExpandUseReg, RegInfo)) {
3729 LLVM_DEBUG(
dbgs() <<
"Cannot be outlined between: " <<
C.front() <<
"and "
3731 LLVM_DEBUG(
dbgs() <<
"Because the tail-call register is live across "
3732 "the proposed outlined function call\n");
3738 if (
C.back().isReturn()) {
3740 "The candidate who uses return instruction must be outlined "
3747 if (!
C.isAvailableInsideSeq(RISCV::X5, RegInfo))
3751 if (
C.isAvailableAcrossAndOutOfSeq(RISCV::X5, RegInfo))
3761std::optional<std::unique_ptr<outliner::OutlinedFunction>>
3764 std::vector<outliner::Candidate> &RepeatedSequenceLocs,
3765 unsigned MinRepeats)
const {
3773 if (RepeatedSequenceLocs.size() < MinRepeats)
3774 return std::nullopt;
3778 unsigned InstrSizeCExt =
3780 unsigned CallOverhead = 0, FrameOverhead = 0;
3783 unsigned CFICount = 0;
3784 for (
auto &
I : Candidate) {
3785 if (
I.isCFIInstruction())
3796 std::vector<MCCFIInstruction> CFIInstructions =
3797 C.getMF()->getFrameInstructions();
3799 if (CFICount > 0 && CFICount != CFIInstructions.size())
3800 return std::nullopt;
3808 CallOverhead = 4 + InstrSizeCExt;
3815 FrameOverhead = InstrSizeCExt;
3821 return std::nullopt;
3825 for (
auto &
C : RepeatedSequenceLocs) {
3827 if (
C.isAvailableAcrossAndOutOfSeq(RISCV::X5, RegInfo)) {
3829 unsigned CandCallOverhead = 8;
3834 unsigned CandCallOverhead = InstrSizeCExt + 8 + InstrSizeCExt;
3839 for (
auto &
C : RepeatedSequenceLocs)
3840 C.setCallInfo(MOCI, CallOverhead);
3843 unsigned SequenceSize = 0;
3844 for (
auto &
MI : Candidate)
3847 return std::make_unique<outliner::OutlinedFunction>(
3848 RepeatedSequenceLocs, SequenceSize, FrameOverhead, MOCI);
3854 unsigned Flags)
const {
3858 MBB->getParent()->getSubtarget().getRegisterInfo();
3859 const auto &
F =
MI.getMF()->getFunction();
3864 if (
MI.isCFIInstruction())
3872 for (
const auto &MO :
MI.operands()) {
3877 (
MI.getMF()->getTarget().getFunctionSections() ||
F.hasComdat() ||
3878 F.hasSection() ||
F.getSectionPrefix()))
3895 MBB.addLiveIn(RISCV::X5);
3910 .addGlobalAddress(M.getNamedValue(MF.
getName()),
3917 assert(SaveReg &&
"Cannot find an available register to save/restore X5.");
3928 .addGlobalAddress(M.getNamedValue(MF.
getName()), 0,
3944 .addGlobalAddress(M.getNamedValue(MF.
getName()), 0,
3952 bool AllowSideEffects)
const {
3957 if (
TRI.isGeneralPurposeRegister(MF, Reg)) {
3959 }
else if (RISCV::FPR32RegClass.
contains(Reg)) {
3961 }
else if (RISCV::FPR64RegClass.
contains(Reg)) {
3963 }
else if (RISCV::FPR128RegClass.
contains(Reg)) {
3967 "buildClearRegister is not implemented for vector registers");
3977 return std::nullopt;
3981 if (
MI.getOpcode() == RISCV::ADDI &&
MI.getOperand(1).isReg() &&
3982 MI.getOperand(2).isImm())
3983 return RegImmPair{
MI.getOperand(1).getReg(),
MI.getOperand(2).getImm()};
3985 return std::nullopt;
3993 std::string GenericComment =
3995 if (!GenericComment.empty())
3996 return GenericComment;
4000 return std::string();
4002 std::string Comment;
4009 switch (OpInfo.OperandType) {
4012 unsigned Imm =
Op.getImm();
4017 unsigned Imm =
Op.getImm();
4022 unsigned Imm =
Op.getImm();
4028 unsigned Log2SEW =
Op.getImm();
4029 unsigned SEW = Log2SEW ? 1 << Log2SEW : 8;
4035 unsigned Policy =
Op.getImm();
4037 "Invalid Policy Value");
4043 if (
Op.isImm() &&
Op.getImm() == -1)
4065#define CASE_RVV_OPCODE_UNMASK_LMUL(OP, LMUL) \
4066 RISCV::Pseudo##OP##_##LMUL
4068#define CASE_RVV_OPCODE_MASK_LMUL(OP, LMUL) \
4069 RISCV::Pseudo##OP##_##LMUL##_MASK
4071#define CASE_RVV_OPCODE_LMUL(OP, LMUL) \
4072 CASE_RVV_OPCODE_UNMASK_LMUL(OP, LMUL): \
4073 case CASE_RVV_OPCODE_MASK_LMUL(OP, LMUL)
4075#define CASE_RVV_OPCODE_UNMASK_WIDEN(OP) \
4076 CASE_RVV_OPCODE_UNMASK_LMUL(OP, MF8): \
4077 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, MF4): \
4078 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, MF2): \
4079 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M1): \
4080 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M2): \
4081 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M4)
4083#define CASE_RVV_OPCODE_UNMASK(OP) \
4084 CASE_RVV_OPCODE_UNMASK_WIDEN(OP): \
4085 case CASE_RVV_OPCODE_UNMASK_LMUL(OP, M8)
4087#define CASE_RVV_OPCODE_MASK_WIDEN(OP) \
4088 CASE_RVV_OPCODE_MASK_LMUL(OP, MF8): \
4089 case CASE_RVV_OPCODE_MASK_LMUL(OP, MF4): \
4090 case CASE_RVV_OPCODE_MASK_LMUL(OP, MF2): \
4091 case CASE_RVV_OPCODE_MASK_LMUL(OP, M1): \
4092 case CASE_RVV_OPCODE_MASK_LMUL(OP, M2): \
4093 case CASE_RVV_OPCODE_MASK_LMUL(OP, M4)
4095#define CASE_RVV_OPCODE_MASK(OP) \
4096 CASE_RVV_OPCODE_MASK_WIDEN(OP): \
4097 case CASE_RVV_OPCODE_MASK_LMUL(OP, M8)
4099#define CASE_RVV_OPCODE_WIDEN(OP) \
4100 CASE_RVV_OPCODE_UNMASK_WIDEN(OP): \
4101 case CASE_RVV_OPCODE_MASK_WIDEN(OP)
4103#define CASE_RVV_OPCODE(OP) \
4104 CASE_RVV_OPCODE_UNMASK(OP): \
4105 case CASE_RVV_OPCODE_MASK(OP)
4109#define CASE_VMA_OPCODE_COMMON(OP, TYPE, LMUL) \
4110 RISCV::PseudoV##OP##_##TYPE##_##LMUL
4112#define CASE_VMA_OPCODE_LMULS(OP, TYPE) \
4113 CASE_VMA_OPCODE_COMMON(OP, TYPE, MF8): \
4114 case CASE_VMA_OPCODE_COMMON(OP, TYPE, MF4): \
4115 case CASE_VMA_OPCODE_COMMON(OP, TYPE, MF2): \
4116 case CASE_VMA_OPCODE_COMMON(OP, TYPE, M1): \
4117 case CASE_VMA_OPCODE_COMMON(OP, TYPE, M2): \
4118 case CASE_VMA_OPCODE_COMMON(OP, TYPE, M4): \
4119 case CASE_VMA_OPCODE_COMMON(OP, TYPE, M8)
4122#define CASE_VFMA_OPCODE_COMMON(OP, TYPE, LMUL, SEW) \
4123 RISCV::PseudoV##OP##_##TYPE##_##LMUL##_##SEW
4125#define CASE_VFMA_OPCODE_LMULS_M1(OP, TYPE, SEW) \
4126 CASE_VFMA_OPCODE_COMMON(OP, TYPE, M1, SEW): \
4127 case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M2, SEW): \
4128 case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M4, SEW): \
4129 case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M8, SEW)
4131#define CASE_VFMA_OPCODE_LMULS_MF2(OP, TYPE, SEW) \
4132 CASE_VFMA_OPCODE_COMMON(OP, TYPE, MF2, SEW): \
4133 case CASE_VFMA_OPCODE_LMULS_M1(OP, TYPE, SEW)
4135#define CASE_VFMA_OPCODE_LMULS_MF4(OP, TYPE, SEW) \
4136 CASE_VFMA_OPCODE_COMMON(OP, TYPE, MF4, SEW): \
4137 case CASE_VFMA_OPCODE_LMULS_MF2(OP, TYPE, SEW)
4139#define CASE_VFMA_OPCODE_VV(OP) \
4140 CASE_VFMA_OPCODE_LMULS_MF4(OP, VV, E16): \
4141 case CASE_VFMA_OPCODE_LMULS_MF4(OP##_ALT, VV, E16): \
4142 case CASE_VFMA_OPCODE_LMULS_MF2(OP, VV, E32): \
4143 case CASE_VFMA_OPCODE_LMULS_M1(OP, VV, E64)
4145#define CASE_VFMA_SPLATS(OP) \
4146 CASE_VFMA_OPCODE_LMULS_MF4(OP, VFPR16, E16): \
4147 case CASE_VFMA_OPCODE_LMULS_MF4(OP##_ALT, VFPR16, E16): \
4148 case CASE_VFMA_OPCODE_LMULS_MF2(OP, VFPR32, E32): \
4149 case CASE_VFMA_OPCODE_LMULS_M1(OP, VFPR64, E64)
4153 unsigned &SrcOpIdx1,
4154 unsigned &SrcOpIdx2)
const {
4156 if (!
Desc.isCommutable())
4159 switch (
MI.getOpcode()) {
4160 case RISCV::TH_MVEQZ:
4161 case RISCV::TH_MVNEZ:
4165 if (
MI.getOperand(2).getReg() == RISCV::X0)
4168 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 1, 2);
4169 case RISCV::QC_SELECTIEQ:
4170 case RISCV::QC_SELECTINE:
4171 case RISCV::QC_SELECTIIEQ:
4172 case RISCV::QC_SELECTIINE:
4173 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 1, 2);
4174 case RISCV::QC_MVEQ:
4175 case RISCV::QC_MVNE:
4176 case RISCV::QC_MVLT:
4177 case RISCV::QC_MVGE:
4178 case RISCV::QC_MVLTU:
4179 case RISCV::QC_MVGEU:
4180 case RISCV::QC_MVEQI:
4181 case RISCV::QC_MVNEI:
4182 case RISCV::QC_MVLTI:
4183 case RISCV::QC_MVGEI:
4184 case RISCV::QC_MVLTUI:
4185 case RISCV::QC_MVGEUI:
4186 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 1, 4);
4187 case RISCV::TH_MULA:
4188 case RISCV::TH_MULAW:
4189 case RISCV::TH_MULAH:
4190 case RISCV::TH_MULS:
4191 case RISCV::TH_MULSW:
4192 case RISCV::TH_MULSH:
4194 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 2, 3);
4195 case RISCV::PseudoCCMOVGPRNoX0:
4196 case RISCV::PseudoCCMOVGPR:
4198 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 1, 2);
4239 return fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, 2, 3);
4266 unsigned CommutableOpIdx1 = 1;
4267 unsigned CommutableOpIdx2 = 3;
4268 if (!fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, CommutableOpIdx1,
4289 if (SrcOpIdx1 != CommuteAnyOperandIndex && SrcOpIdx1 > 3)
4291 if (SrcOpIdx2 != CommuteAnyOperandIndex && SrcOpIdx2 > 3)
4295 if (SrcOpIdx1 != CommuteAnyOperandIndex &&
4296 SrcOpIdx2 != CommuteAnyOperandIndex && SrcOpIdx1 != 1 && SrcOpIdx2 != 1)
4302 if (SrcOpIdx1 == CommuteAnyOperandIndex ||
4303 SrcOpIdx2 == CommuteAnyOperandIndex) {
4306 unsigned CommutableOpIdx1 = SrcOpIdx1;
4307 if (SrcOpIdx1 == SrcOpIdx2) {
4310 CommutableOpIdx1 = 1;
4311 }
else if (SrcOpIdx1 == CommuteAnyOperandIndex) {
4313 CommutableOpIdx1 = SrcOpIdx2;
4318 unsigned CommutableOpIdx2;
4319 if (CommutableOpIdx1 != 1) {
4321 CommutableOpIdx2 = 1;
4323 Register Op1Reg =
MI.getOperand(CommutableOpIdx1).getReg();
4328 if (Op1Reg !=
MI.getOperand(2).getReg())
4329 CommutableOpIdx2 = 2;
4331 CommutableOpIdx2 = 3;
4336 if (!fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, CommutableOpIdx1,
4349#define CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, LMUL) \
4350 case RISCV::PseudoV##OLDOP##_##TYPE##_##LMUL: \
4351 Opc = RISCV::PseudoV##NEWOP##_##TYPE##_##LMUL; \
4354#define CASE_VMA_CHANGE_OPCODE_LMULS(OLDOP, NEWOP, TYPE) \
4355 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF8) \
4356 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF4) \
4357 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF2) \
4358 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M1) \
4359 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M2) \
4360 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M4) \
4361 CASE_VMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M8)
4364#define CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, LMUL, SEW) \
4365 case RISCV::PseudoV##OLDOP##_##TYPE##_##LMUL##_##SEW: \
4366 Opc = RISCV::PseudoV##NEWOP##_##TYPE##_##LMUL##_##SEW; \
4369#define CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE, SEW) \
4370 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M1, SEW) \
4371 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M2, SEW) \
4372 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M4, SEW) \
4373 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M8, SEW)
4375#define CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE, SEW) \
4376 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF2, SEW) \
4377 CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE, SEW)
4379#define CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, TYPE, SEW) \
4380 CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF4, SEW) \
4381 CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE, SEW)
4383#define CASE_VFMA_CHANGE_OPCODE_VV(OLDOP, NEWOP) \
4384 CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, VV, E16) \
4385 CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP##_ALT, NEWOP##_ALT, VV, E16) \
4386 CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, VV, E32) \
4387 CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, VV, E64)
4389#define CASE_VFMA_CHANGE_OPCODE_SPLATS(OLDOP, NEWOP) \
4390 CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, VFPR16, E16) \
4391 CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP##_ALT, NEWOP##_ALT, VFPR16, E16) \
4392 CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, VFPR32, E32) \
4393 CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, VFPR64, E64)
4399 unsigned OpIdx2)
const {
4402 return *
MI.getParent()->getParent()->CloneMachineInstr(&
MI);
4406 switch (
MI.getOpcode()) {
4407 case RISCV::TH_MVEQZ:
4408 case RISCV::TH_MVNEZ: {
4409 auto &WorkingMI = cloneIfNew(
MI);
4410 WorkingMI.setDesc(
get(
MI.getOpcode() == RISCV::TH_MVEQZ ? RISCV::TH_MVNEZ
4411 : RISCV::TH_MVEQZ));
4415 case RISCV::QC_SELECTIEQ:
4416 case RISCV::QC_SELECTINE:
4417 case RISCV::QC_SELECTIIEQ:
4418 case RISCV::QC_SELECTIINE:
4420 case RISCV::QC_MVEQ:
4421 case RISCV::QC_MVNE:
4422 case RISCV::QC_MVLT:
4423 case RISCV::QC_MVGE:
4424 case RISCV::QC_MVLTU:
4425 case RISCV::QC_MVGEU:
4426 case RISCV::QC_MVEQI:
4427 case RISCV::QC_MVNEI:
4428 case RISCV::QC_MVLTI:
4429 case RISCV::QC_MVGEI:
4430 case RISCV::QC_MVLTUI:
4431 case RISCV::QC_MVGEUI: {
4432 auto &WorkingMI = cloneIfNew(
MI);
4437 case RISCV::PseudoCCMOVGPRNoX0:
4438 case RISCV::PseudoCCMOVGPR: {
4440 unsigned BCC =
MI.getOperand(
MI.getNumExplicitOperands() - 3).getImm();
4442 auto &WorkingMI = cloneIfNew(
MI);
4443 WorkingMI.getOperand(
MI.getNumExplicitOperands() - 3).setImm(BCC);
4467 assert((OpIdx1 == 1 || OpIdx2 == 1) &&
"Unexpected opcode index");
4468 assert((OpIdx1 == 3 || OpIdx2 == 3) &&
"Unexpected opcode index");
4470 switch (
MI.getOpcode()) {
4493 auto &WorkingMI = cloneIfNew(
MI);
4494 WorkingMI.setDesc(
get(
Opc));
4504 assert((OpIdx1 == 1 || OpIdx2 == 1) &&
"Unexpected opcode index");
4507 if (OpIdx1 == 3 || OpIdx2 == 3) {
4509 switch (
MI.getOpcode()) {
4520 auto &WorkingMI = cloneIfNew(
MI);
4521 WorkingMI.setDesc(
get(
Opc));
4533#undef CASE_VMA_CHANGE_OPCODE_COMMON
4534#undef CASE_VMA_CHANGE_OPCODE_LMULS
4535#undef CASE_VFMA_CHANGE_OPCODE_COMMON
4536#undef CASE_VFMA_CHANGE_OPCODE_LMULS_M1
4537#undef CASE_VFMA_CHANGE_OPCODE_LMULS_MF2
4538#undef CASE_VFMA_CHANGE_OPCODE_LMULS_MF4
4539#undef CASE_VFMA_CHANGE_OPCODE_VV
4540#undef CASE_VFMA_CHANGE_OPCODE_SPLATS
4542#undef CASE_RVV_OPCODE_UNMASK_LMUL
4543#undef CASE_RVV_OPCODE_MASK_LMUL
4544#undef CASE_RVV_OPCODE_LMUL
4545#undef CASE_RVV_OPCODE_UNMASK_WIDEN
4546#undef CASE_RVV_OPCODE_UNMASK
4547#undef CASE_RVV_OPCODE_MASK_WIDEN
4548#undef CASE_RVV_OPCODE_MASK
4549#undef CASE_RVV_OPCODE_WIDEN
4550#undef CASE_RVV_OPCODE
4552#undef CASE_VMA_OPCODE_COMMON
4553#undef CASE_VMA_OPCODE_LMULS
4554#undef CASE_VFMA_OPCODE_COMMON
4555#undef CASE_VFMA_OPCODE_LMULS_M1
4556#undef CASE_VFMA_OPCODE_LMULS_MF2
4557#undef CASE_VFMA_OPCODE_LMULS_MF4
4558#undef CASE_VFMA_OPCODE_VV
4559#undef CASE_VFMA_SPLATS
4562 switch (
MI.getOpcode()) {
4570 if (
MI.getOperand(1).getReg() == RISCV::X0)
4571 commuteInstruction(
MI);
4573 if (
MI.getOperand(2).getReg() == RISCV::X0) {
4574 MI.getOperand(2).ChangeToImmediate(0);
4575 MI.setDesc(
get(RISCV::ADDI));
4579 if (
MI.getOpcode() == RISCV::XOR &&
4580 MI.getOperand(1).getReg() ==
MI.getOperand(2).getReg()) {
4581 MI.getOperand(1).setReg(RISCV::X0);
4582 MI.getOperand(2).ChangeToImmediate(0);
4583 MI.setDesc(
get(RISCV::ADDI));
4590 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4591 MI.setDesc(
get(RISCV::ADDI));
4597 if (
MI.getOperand(2).getReg() == RISCV::X0) {
4598 MI.getOperand(2).ChangeToImmediate(0);
4599 MI.setDesc(
get(RISCV::ADDI));
4605 if (
MI.getOperand(2).getReg() == RISCV::X0) {
4606 MI.getOperand(2).ChangeToImmediate(0);
4607 MI.setDesc(
get(RISCV::ADDIW));
4614 if (
MI.getOperand(1).getReg() == RISCV::X0)
4615 commuteInstruction(
MI);
4617 if (
MI.getOperand(2).getReg() == RISCV::X0) {
4618 MI.getOperand(2).ChangeToImmediate(0);
4619 MI.setDesc(
get(RISCV::ADDIW));
4624 case RISCV::SH1ADD_UW:
4626 case RISCV::SH2ADD_UW:
4628 case RISCV::SH3ADD_UW:
4630 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4631 MI.removeOperand(1);
4633 MI.setDesc(
get(RISCV::ADDI));
4637 if (
MI.getOperand(2).getReg() == RISCV::X0) {
4638 MI.removeOperand(2);
4639 unsigned Opc =
MI.getOpcode();
4640 if (
Opc == RISCV::SH1ADD_UW ||
Opc == RISCV::SH2ADD_UW ||
4641 Opc == RISCV::SH3ADD_UW) {
4643 MI.setDesc(
get(RISCV::SLLI_UW));
4647 MI.setDesc(
get(RISCV::SLLI));
4661 if (
MI.getOperand(1).getReg() == RISCV::X0 ||
4662 MI.getOperand(2).getReg() == RISCV::X0) {
4663 MI.getOperand(1).setReg(RISCV::X0);
4664 MI.getOperand(2).ChangeToImmediate(0);
4665 MI.setDesc(
get(RISCV::ADDI));
4671 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4672 MI.getOperand(2).setImm(0);
4673 MI.setDesc(
get(RISCV::ADDI));
4681 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4682 MI.getOperand(2).ChangeToImmediate(0);
4683 MI.setDesc(
get(RISCV::ADDI));
4687 if (
MI.getOperand(2).getReg() == RISCV::X0) {
4688 MI.getOperand(2).ChangeToImmediate(0);
4689 MI.setDesc(
get(RISCV::ADDI));
4697 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4698 MI.getOperand(2).ChangeToImmediate(0);
4699 MI.setDesc(
get(RISCV::ADDI));
4709 case RISCV::SLLI_UW:
4711 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4712 MI.getOperand(2).setImm(0);
4713 MI.setDesc(
get(RISCV::ADDI));
4721 if (
MI.getOperand(1).getReg() == RISCV::X0 &&
4722 MI.getOperand(2).getReg() == RISCV::X0) {
4723 MI.getOperand(2).ChangeToImmediate(0);
4724 MI.setDesc(
get(RISCV::ADDI));
4728 if (
MI.getOpcode() == RISCV::ADD_UW &&
4729 MI.getOperand(1).getReg() == RISCV::X0) {
4730 MI.removeOperand(1);
4732 MI.setDesc(
get(RISCV::ADDI));
4738 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4739 MI.getOperand(2).setImm(
MI.getOperand(2).getImm() != 0);
4740 MI.setDesc(
get(RISCV::ADDI));
4746 case RISCV::ZEXT_H_RV32:
4747 case RISCV::ZEXT_H_RV64:
4750 if (
MI.getOperand(1).getReg() == RISCV::X0) {
4752 MI.setDesc(
get(RISCV::ADDI));
4761 if (
MI.getOperand(1).getReg() ==
MI.getOperand(2).getReg()) {
4762 MI.getOperand(2).ChangeToImmediate(0);
4763 MI.setDesc(
get(RISCV::ADDI));
4770 if (
MI.getOperand(0).getReg() == RISCV::X0) {
4772 MI.removeOperand(0);
4773 MI.insert(
MI.operands_begin() + 1, {MO0});
4778 if (
MI.getOperand(0).getReg() == RISCV::X0) {
4780 MI.removeOperand(0);
4781 MI.insert(
MI.operands_begin() + 1, {MO0});
4782 MI.setDesc(
get(RISCV::BNE));
4787 if (
MI.getOperand(0).getReg() == RISCV::X0) {
4789 MI.removeOperand(0);
4790 MI.insert(
MI.operands_begin() + 1, {MO0});
4791 MI.setDesc(
get(RISCV::BEQ));
4799#define CASE_WIDEOP_OPCODE_COMMON(OP, LMUL) \
4800 RISCV::PseudoV##OP##_##LMUL##_TIED
4802#define CASE_WIDEOP_OPCODE_LMULS(OP) \
4803 CASE_WIDEOP_OPCODE_COMMON(OP, MF8): \
4804 case CASE_WIDEOP_OPCODE_COMMON(OP, MF4): \
4805 case CASE_WIDEOP_OPCODE_COMMON(OP, MF2): \
4806 case CASE_WIDEOP_OPCODE_COMMON(OP, M1): \
4807 case CASE_WIDEOP_OPCODE_COMMON(OP, M2): \
4808 case CASE_WIDEOP_OPCODE_COMMON(OP, M4)
4810#define CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, LMUL) \
4811 case RISCV::PseudoV##OP##_##LMUL##_TIED: \
4812 NewOpc = RISCV::PseudoV##OP##_##LMUL; \
4815#define CASE_WIDEOP_CHANGE_OPCODE_LMULS(OP) \
4816 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF8) \
4817 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF4) \
4818 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2) \
4819 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1) \
4820 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2) \
4821 CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4)
4824#define CASE_FP_WIDEOP_OPCODE_COMMON(OP, LMUL, SEW) \
4825 RISCV::PseudoV##OP##_##LMUL##_##SEW##_TIED
4827#define CASE_FP_WIDEOP_OPCODE_LMULS(OP) \
4828 CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF4, E16): \
4829 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF2, E16): \
4830 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF2, E32): \
4831 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M1, E16): \
4832 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M1, E32): \
4833 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M2, E16): \
4834 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M2, E32): \
4835 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M4, E16): \
4836 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M4, E32) \
4838#define CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, LMUL, SEW) \
4839 case RISCV::PseudoV##OP##_##LMUL##_##SEW##_TIED: \
4840 NewOpc = RISCV::PseudoV##OP##_##LMUL##_##SEW; \
4843#define CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS(OP) \
4844 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF4, E16) \
4845 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2, E16) \
4846 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2, E32) \
4847 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1, E16) \
4848 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1, E32) \
4849 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2, E16) \
4850 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2, E32) \
4851 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4, E16) \
4852 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4, E32) \
4854#define CASE_FP_WIDEOP_OPCODE_LMULS_ALT(OP) \
4855 CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF4, E16): \
4856 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, MF2, E16): \
4857 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M1, E16): \
4858 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M2, E16): \
4859 case CASE_FP_WIDEOP_OPCODE_COMMON(OP, M4, E16)
4861#define CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS_ALT(OP) \
4862 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF4, E16) \
4863 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2, E16) \
4864 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1, E16) \
4865 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2, E16) \
4866 CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4, E16)
4873 switch (
MI.getOpcode()) {
4881 MI.getNumExplicitOperands() == 7 &&
4882 "Expect 7 explicit operands rd, rs2, rs1, rm, vl, sew, policy");
4889 switch (
MI.getOpcode()) {
4901 .
add(
MI.getOperand(0))
4903 .
add(
MI.getOperand(1))
4904 .
add(
MI.getOperand(2))
4905 .
add(
MI.getOperand(3))
4906 .
add(
MI.getOperand(4))
4907 .
add(
MI.getOperand(5))
4908 .
add(
MI.getOperand(6));
4917 MI.getNumExplicitOperands() == 6);
4924 switch (
MI.getOpcode()) {
4936 .
add(
MI.getOperand(0))
4938 .
add(
MI.getOperand(1))
4939 .
add(
MI.getOperand(2))
4940 .
add(
MI.getOperand(3))
4941 .
add(
MI.getOperand(4))
4942 .
add(
MI.getOperand(5));
4949 unsigned NumOps =
MI.getNumOperands();
4952 if (
Op.isReg() &&
Op.isKill())
4960 if (
MI.getOperand(0).isEarlyClobber()) {
4974#undef CASE_WIDEOP_OPCODE_COMMON
4975#undef CASE_WIDEOP_OPCODE_LMULS
4976#undef CASE_WIDEOP_CHANGE_OPCODE_COMMON
4977#undef CASE_WIDEOP_CHANGE_OPCODE_LMULS
4978#undef CASE_FP_WIDEOP_OPCODE_COMMON
4979#undef CASE_FP_WIDEOP_OPCODE_LMULS
4980#undef CASE_FP_WIDEOP_CHANGE_OPCODE_COMMON
4981#undef CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS
4990 if (ShiftAmount == 0)
4996 }
else if (
int ShXAmount, ShiftAmount;
4998 (ShXAmount =
isShifted359(Amount, ShiftAmount)) != 0) {
5001 switch (ShXAmount) {
5003 Opc = RISCV::SH1ADD;
5006 Opc = RISCV::SH2ADD;
5009 Opc = RISCV::SH3ADD;
5045 }
else if (
STI.hasStdExtZmmul()) {
5055 for (
uint32_t ShiftAmount = 0; Amount >> ShiftAmount; ShiftAmount++) {
5056 if (Amount & (1U << ShiftAmount)) {
5060 .
addImm(ShiftAmount - PrevShiftAmount)
5062 if (Amount >> (ShiftAmount + 1)) {
5076 PrevShiftAmount = ShiftAmount;
5079 assert(Acc &&
"Expected valid accumulator");
5089 static const std::pair<MachineMemOperand::Flags, const char *> TargetFlags[] =
5097 ?
STI.getTailDupAggressiveThreshold()
5104 unsigned Opcode =
MI.getOpcode();
5105 if (!RISCVVPseudosTable::getPseudoInfo(Opcode) &&
5114 return MI.isCopy() &&
MI.getOperand(0).getReg().isPhysical() &&
5116 TRI->getMinimalPhysRegClass(
MI.getOperand(0).getReg()));
5119std::optional<std::pair<unsigned, unsigned>>
5123 return std::nullopt;
5124 case RISCV::PseudoVSPILL2_M1:
5125 case RISCV::PseudoVRELOAD2_M1:
5126 return std::make_pair(2u, 1u);
5127 case RISCV::PseudoVSPILL2_M2:
5128 case RISCV::PseudoVRELOAD2_M2:
5129 return std::make_pair(2u, 2u);
5130 case RISCV::PseudoVSPILL2_M4:
5131 case RISCV::PseudoVRELOAD2_M4:
5132 return std::make_pair(2u, 4u);
5133 case RISCV::PseudoVSPILL3_M1:
5134 case RISCV::PseudoVRELOAD3_M1:
5135 return std::make_pair(3u, 1u);
5136 case RISCV::PseudoVSPILL3_M2:
5137 case RISCV::PseudoVRELOAD3_M2:
5138 return std::make_pair(3u, 2u);
5139 case RISCV::PseudoVSPILL4_M1:
5140 case RISCV::PseudoVRELOAD4_M1:
5141 return std::make_pair(4u, 1u);
5142 case RISCV::PseudoVSPILL4_M2:
5143 case RISCV::PseudoVRELOAD4_M2:
5144 return std::make_pair(4u, 2u);
5145 case RISCV::PseudoVSPILL5_M1:
5146 case RISCV::PseudoVRELOAD5_M1:
5147 return std::make_pair(5u, 1u);
5148 case RISCV::PseudoVSPILL6_M1:
5149 case RISCV::PseudoVRELOAD6_M1:
5150 return std::make_pair(6u, 1u);
5151 case RISCV::PseudoVSPILL7_M1:
5152 case RISCV::PseudoVRELOAD7_M1:
5153 return std::make_pair(7u, 1u);
5154 case RISCV::PseudoVSPILL8_M1:
5155 case RISCV::PseudoVRELOAD8_M1:
5156 return std::make_pair(8u, 1u);
5161 int16_t MI1FrmOpIdx =
5162 RISCV::getNamedOperandIdx(MI1.
getOpcode(), RISCV::OpName::frm);
5163 int16_t MI2FrmOpIdx =
5164 RISCV::getNamedOperandIdx(MI2.
getOpcode(), RISCV::OpName::frm);
5165 if (MI1FrmOpIdx < 0 || MI2FrmOpIdx < 0)
5172std::optional<unsigned>
5176 return std::nullopt;
5179 case RISCV::VSLL_VX:
5180 case RISCV::VSRL_VX:
5181 case RISCV::VSRA_VX:
5183 case RISCV::VSSRL_VX:
5184 case RISCV::VSSRA_VX:
5186 case RISCV::VROL_VX:
5187 case RISCV::VROR_VX:
5192 case RISCV::VNSRL_WX:
5193 case RISCV::VNSRA_WX:
5195 case RISCV::VNCLIPU_WX:
5196 case RISCV::VNCLIP_WX:
5198 case RISCV::VWSLL_VX:
5203 case RISCV::VADD_VX:
5204 case RISCV::VSUB_VX:
5205 case RISCV::VRSUB_VX:
5207 case RISCV::VWADDU_VX:
5208 case RISCV::VWSUBU_VX:
5209 case RISCV::VWADD_VX:
5210 case RISCV::VWSUB_VX:
5211 case RISCV::VWADDU_WX:
5212 case RISCV::VWSUBU_WX:
5213 case RISCV::VWADD_WX:
5214 case RISCV::VWSUB_WX:
5216 case RISCV::VADC_VXM:
5217 case RISCV::VADC_VIM:
5218 case RISCV::VMADC_VXM:
5219 case RISCV::VMADC_VIM:
5220 case RISCV::VMADC_VX:
5221 case RISCV::VSBC_VXM:
5222 case RISCV::VMSBC_VXM:
5223 case RISCV::VMSBC_VX:
5225 case RISCV::VAND_VX:
5227 case RISCV::VXOR_VX:
5229 case RISCV::VMSEQ_VX:
5230 case RISCV::VMSNE_VX:
5231 case RISCV::VMSLTU_VX:
5232 case RISCV::VMSLT_VX:
5233 case RISCV::VMSLEU_VX:
5234 case RISCV::VMSLE_VX:
5235 case RISCV::VMSGTU_VX:
5236 case RISCV::VMSGT_VX:
5238 case RISCV::VMINU_VX:
5239 case RISCV::VMIN_VX:
5240 case RISCV::VMAXU_VX:
5241 case RISCV::VMAX_VX:
5243 case RISCV::VMUL_VX:
5244 case RISCV::VMULH_VX:
5245 case RISCV::VMULHU_VX:
5246 case RISCV::VMULHSU_VX:
5248 case RISCV::VDIVU_VX:
5249 case RISCV::VDIV_VX:
5250 case RISCV::VREMU_VX:
5251 case RISCV::VREM_VX:
5253 case RISCV::VWMUL_VX:
5254 case RISCV::VWMULU_VX:
5255 case RISCV::VWMULSU_VX:
5257 case RISCV::VMACC_VX:
5258 case RISCV::VNMSAC_VX:
5259 case RISCV::VMADD_VX:
5260 case RISCV::VNMSUB_VX:
5262 case RISCV::VWMACCU_VX:
5263 case RISCV::VWMACC_VX:
5264 case RISCV::VWMACCSU_VX:
5265 case RISCV::VWMACCUS_VX:
5267 case RISCV::VMERGE_VXM:
5269 case RISCV::VMV_V_X:
5271 case RISCV::VSADDU_VX:
5272 case RISCV::VSADD_VX:
5273 case RISCV::VSSUBU_VX:
5274 case RISCV::VSSUB_VX:
5276 case RISCV::VAADDU_VX:
5277 case RISCV::VAADD_VX:
5278 case RISCV::VASUBU_VX:
5279 case RISCV::VASUB_VX:
5281 case RISCV::VSMUL_VX:
5283 case RISCV::VMV_S_X:
5285 case RISCV::VANDN_VX:
5286 return 1U << Log2SEW;
5292 RISCVVPseudosTable::getPseudoInfo(RVVPseudoOpcode);
5295 return RVV->BaseInstr;
5305 unsigned Scaled = Log2SEW + (DestEEW - 1);
5319 return std::nullopt;
5324 assert((LHS.isImm() || LHS.getParent()->getMF()->getRegInfo().isSSA()) &&
5325 (RHS.isImm() || RHS.getParent()->getMF()->getRegInfo().isSSA()));
5326 if (LHS.isReg() && RHS.isReg() && LHS.getReg().isVirtual() &&
5327 LHS.getReg() == RHS.getReg())
5331 if (LHS.isImm() && LHS.getImm() == 0)
5337 if (!LHSImm || !RHSImm)
5339 return LHSImm <= RHSImm;
5351 : LHS(LHS), RHS(RHS),
Cond(
Cond.begin(),
Cond.end()) {}
5353 bool shouldIgnoreForPipelining(
const MachineInstr *
MI)
const override {
5363 std::optional<bool> createTripCountGreaterCondition(
5364 int TC, MachineBasicBlock &
MBB,
5365 SmallVectorImpl<MachineOperand> &CondParam)
override {
5373 void setPreheader(MachineBasicBlock *NewPreheader)
override {}
5375 void adjustTripCount(
int TripCountAdjust)
override {}
5379std::unique_ptr<TargetInstrInfo::PipelinerLoopInfo>
5387 if (
TBB == LoopBB && FBB == LoopBB)
5394 assert((
TBB == LoopBB || FBB == LoopBB) &&
5395 "The Loop must be a single-basic-block loop");
5406 if (!Reg.isVirtual())
5413 if (LHS && LHS->isPHI())
5415 if (RHS && RHS->isPHI())
5418 return std::make_unique<RISCVPipelinerLoopInfo>(LHS, RHS,
Cond);
5424 Opc = RVVMCOpcode ? RVVMCOpcode :
Opc;
5441 case RISCV::FDIV_H_INX:
5442 case RISCV::FDIV_S_INX:
5443 case RISCV::FDIV_D_INX:
5444 case RISCV::FDIV_D_IN32X:
5445 case RISCV::FSQRT_H:
5446 case RISCV::FSQRT_S:
5447 case RISCV::FSQRT_D:
5448 case RISCV::FSQRT_H_INX:
5449 case RISCV::FSQRT_S_INX:
5450 case RISCV::FSQRT_D_INX:
5451 case RISCV::FSQRT_D_IN32X:
5453 case RISCV::VDIV_VV:
5454 case RISCV::VDIV_VX:
5455 case RISCV::VDIVU_VV:
5456 case RISCV::VDIVU_VX:
5457 case RISCV::VREM_VV:
5458 case RISCV::VREM_VX:
5459 case RISCV::VREMU_VV:
5460 case RISCV::VREMU_VX:
5462 case RISCV::VFDIV_VV:
5463 case RISCV::VFDIV_VF:
5464 case RISCV::VFRDIV_VF:
5465 case RISCV::VFSQRT_V:
5466 case RISCV::VFRSQRT7_V:
5472 if (
MI->getOpcode() != TargetOpcode::COPY)
5477 Register DstReg =
MI->getOperand(0).getReg();
5480 :
TRI->getMinimalPhysRegClass(DstReg);
5490 auto [RCLMul, RCFractional] =
5492 return (!RCFractional && LMul == RCLMul) || (RCFractional && LMul == 1);
5496 if (
MI.memoperands_empty())
5511 if (MO.getReg().isPhysical())
5514 if (MO.getReg().isPhysical())
5516 bool SawStore =
false;
5519 if (
II->definesRegister(PhysReg,
nullptr))
5522 if (
II->definesRegister(PhysReg,
nullptr) ||
5523 II->readsRegister(PhysReg,
nullptr))
5525 if (
II->mayStore()) {
MachineInstrBuilder MachineInstrBuilder & DefMI
static bool forwardCopyWillClobberTuple(unsigned DestReg, unsigned SrcReg, unsigned NumRegs)
static void parseCondBranch(MachineInstr *LastInst, MachineBasicBlock *&Target, SmallVectorImpl< MachineOperand > &Cond)
@ MachineOutlinerTailCall
Emit a save, restore, call, and return.
@ MachineOutlinerRegSave
Emit a call and tail-call.
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
SmallVector< int16_t, MAX_SRC_OPERANDS_NUM > OperandIndices
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
const HexagonInstrInfo * TII
Module.h This file contains the declarations for the Module class.
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
Register const TargetRegisterInfo * TRI
Promote Memory to Register
This file provides utility analysis objects describing memory locations.
MachineInstr unsigned OpIdx
uint64_t IntrinsicInst * II
static bool cannotInsertTailCall(const MachineBasicBlock &MBB)
#define CASE_VFMA_CHANGE_OPCODE_SPLATS(OLDOP, NEWOP)
#define CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS_ALT(OP)
#define CASE_FP_WIDEOP_OPCODE_LMULS(OP)
#define CASE_OPERAND_SIMM(NUM)
static std::optional< unsigned > getLMULForRVVWholeLoadStore(unsigned Opcode)
#define CASE_VFMA_CHANGE_OPCODE_VV(OLDOP, NEWOP)
static unsigned getFPFusedMultiplyOpcode(unsigned RootOpc, unsigned Pattern)
std::optional< unsigned > getFoldedOpcode(MachineFunction &MF, MachineInstr &MI, ArrayRef< unsigned > Ops, const RISCVSubtarget &ST)
#define RVV_OPC_LMUL_CASE(OPC, INV)
#define CASE_FP_WIDEOP_CHANGE_OPCODE_LMULS(OP)
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 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)
#define CASE_FP_WIDEOP_OPCODE_LMULS_ALT(OP)
#define CASE_WIDEOP_OPCODE_LMULS(OP)
static bool isMIReadsReg(const MachineInstr &MI, const TargetRegisterInfo *TRI, MCRegister RegNo)
#define OPCODE_LMUL_MASK_CASE(OPC)
#define CASE_OPERAND_UIMM_LSB_ZEROS(BITS, SUFFIX)
static bool isFSUB(unsigned Opc)
#define CASE_VMA_CHANGE_OPCODE_LMULS(OLDOP, NEWOP, TYPE)
#define CASE_RVV_OPCODE(OP)
static std::optional< int64_t > getEffectiveImm(const MachineOperand &MO)
#define CASE_VFMA_OPCODE_VV(OP)
static cl::opt< bool > OutlinerEnableRegSave("riscv-outliner-regsave", cl::init(true), cl::Hidden, cl::desc("Enable RegSave strategy in machine outliner (save X5 to a " "temporary register when X5 is live across outlined calls)."))
MachineOutlinerConstructionID
#define CASE_RVV_OPCODE_WIDEN(OP)
static unsigned getLoadPredicatedOpcode(unsigned Opcode)
static unsigned getSHXADDUWShiftAmount(unsigned Opc)
#define CASE_VMA_OPCODE_LMULS(OP, TYPE)
static bool isConvertibleToVMV_V_V(const RISCVSubtarget &STI, const MachineBasicBlock &MBB, MachineBasicBlock::const_iterator MBBI, MachineBasicBlock::const_iterator &DefMBBI, RISCVVType::VLMUL LMul)
static bool isFMUL(unsigned Opc)
static unsigned getInverseXqcicmOpcode(unsigned Opcode)
static bool getFPPatterns(MachineInstr &Root, SmallVectorImpl< unsigned > &Patterns, bool DoRegPressureReduce)
#define OPCODE_LMUL_CASE(OPC)
#define CASE_OPERAND_UIMM(NUM)
static Register findRegisterToSaveX5To(outliner::Candidate &C, const TargetRegisterInfo &TRI)
static bool canCombineShiftIntoShXAdd(const MachineBasicBlock &MBB, const MachineOperand &MO, unsigned OuterShiftAmt)
Utility routine that checks if.
static bool isCandidatePatchable(const MachineBasicBlock &MBB)
static bool isFADD(unsigned Opc)
static void genShXAddAddShift(MachineInstr &Root, unsigned AddOpIdx, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs, DenseMap< Register, unsigned > &InstrIdxForVirtReg)
static bool isLoadImm(const MachineInstr *MI, int64_t &Imm)
static bool isMIModifiesReg(const MachineInstr &MI, const TargetRegisterInfo *TRI, MCRegister RegNo)
#define CASE_RVV_OPCODE_LMUL(OP, LMUL)
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)
static MachineInstr * canFoldAsPredicatedOp(Register Reg, const MachineRegisterInfo &MRI, const TargetInstrInfo *TII, const RISCVSubtarget &STI)
Identify instructions that can be folded into a CCMOV instruction, and return the defining instructio...
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)
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static bool canCombine(MachineBasicBlock &MBB, MachineOperand &MO, unsigned CombineOpc=0)
Represent a constant reference to an array (0 or more elements consecutively in memory),...
const T & front() const
Get the first element.
bool empty() const
Check if the array is empty.
static LLVM_ABI DILocation * getMergedLocation(DILocation *LocA, DILocation *LocB)
Attempts to merge LocA and LocB into a single location; see DebugLoc::getMergedLocation for more deta...
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.
LLVM_ABI void replaceKillInstruction(Register Reg, MachineInstr &OldMI, MachineInstr &NewMI)
replaceKillInstruction - Update register kill info by replacing a kill instruction with a new one.
static LocationSize precise(uint64_t Value)
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 ...
Wrapper class representing physical registers. Should be passed by value.
const FeatureBitset & getFeatureBits() const
MachineInstrBundleIterator< const MachineInstr > const_iterator
MachineInstrBundleIterator< MachineInstr, true > reverse_iterator
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
MachineInstrBundleIterator< MachineInstr > iterator
MachineInstrBundleIterator< const MachineInstr, true > const_reverse_iterator
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 & addUse(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a virtual register use operand.
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
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 & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
const MachineInstrBuilder & cloneMemRefs(const MachineInstr &OtherMI) const
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
filtered_mop_range all_defs()
Returns an iterator range over all operands that are (explicit or implicit) register defs.
bool getFlag(MIFlag Flag) const
Return whether an MI flag is set.
LLVM_ABI bool isSafeToMove(bool &SawStore) const
Return true if it is safe to move this instruction.
LLVM_ABI unsigned getNumExplicitOperands() const
Returns the number of non-implicit operands.
bool modifiesRegister(Register Reg, const TargetRegisterInfo *TRI) const
Return true if the MachineInstr modifies (fully define or partially define) the specified register.
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.
LLVM_ABI 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.
LLVM_ABI bool hasOrderedMemoryRef() const
Return true if this instruction may have an ordered or volatile memory reference, or if the informati...
LLVM_ABI 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.
filtered_mop_range all_uses()
Returns an iterator range over all operands that are (explicit or implicit) register uses.
const MachineOperand & getOperand(unsigned i) const
uint32_t getFlags() const
Return the MI flags bitvector.
LLVM_ABI 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.
MachineInstr * getParent()
getParent - Return the instruction that this operand belongs to.
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.
LLVM_ABI 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.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI bool hasOneNonDBGUse(Register RegNo) const
hasOneNonDBGUse - Return true if there is exactly one non-Debug use of the specified register.
const TargetRegisterClass * getRegClass(Register Reg) const
Return the register class of the specified virtual register.
LLVM_ABI void clearKillFlags(Register Reg) const
clearKillFlags - Iterate over all the uses of the given register and clear the kill flag from the Mac...
LLVM_ABI MachineInstr * getVRegDef(Register Reg) const
getVRegDef - Return the machine instr that defines the specified virtual register or null if none is ...
bool isReserved(MCRegister PhysReg) const
isReserved - Returns true when PhysReg is a reserved register.
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
bool hasOneUse(Register RegNo) const
hasOneUse - Return true if there is exactly one instruction using the specified register.
LLVM_ABI void clearVirtRegs()
clearVirtRegs - Remove all virtual registers (after physreg assignment).
const TargetRegisterInfo * getTargetRegisterInfo() const
LLVM_ABI bool isConstantPhysReg(MCRegister PhysReg) const
Returns true if PhysReg is unallocatable and constant throughout the function.
LLVM_ABI const TargetRegisterClass * constrainRegClass(Register Reg, const TargetRegisterClass *RC, unsigned MinNumRegs=0)
constrainRegClass - Constrain the register class of the specified virtual register to be a common sub...
LLVM_ABI void replaceRegWith(Register FromReg, Register ToReg)
replaceRegWith - Replace all instances of FromReg with ToReg in the machine function.
LLVM_ABI MachineInstr * getUniqueVRegDef(Register Reg) const
getUniqueVRegDef - Return the unique machine instr that defines the specified virtual register or nul...
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.
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register SrcReg, bool IsKill, int FrameIndex, const TargetRegisterClass *RC, Register VReg, MachineInstr::MIFlag Flags=MachineInstr::NoFlags) const override
static bool isSafeToMove(const MachineInstr &From, const MachineBasicBlock::iterator &To)
Return true if moving From down to To won't cause any physical register reads or writes to be clobber...
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 genAlternativeCodeSequence(MachineInstr &Root, unsigned Pattern, SmallVectorImpl< MachineInstr * > &InsInstrs, SmallVectorImpl< MachineInstr * > &DelInstrs, DenseMap< Register, unsigned > &InstrIdxForVirtReg) 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...
static bool isPairableLdStInstOpc(unsigned Opc)
Return true if pairing the given load or store may be paired with another.
RISCVInstrInfo(const RISCVSubtarget &STI)
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register DstReg, int FrameIndex, const TargetRegisterClass *RC, Register VReg, unsigned SubReg=0, 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
static bool isLdStSafeToPair(const MachineInstr &LdSt, const TargetRegisterInfo *TRI)
void copyPhysRegVector(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister DstReg, MCRegister SrcReg, bool KillSrc, const TargetRegisterClass *RegClass) const
bool isReMaterializableImpl(const MachineInstr &MI) const override
MachineInstr * optimizeSelect(MachineInstr &MI, SmallPtrSetImpl< MachineInstr * > &SeenMIs, bool) const override
bool isVRegCopy(const MachineInstr *MI, unsigned LMul=0) const
Return true if MI is a COPY to a vector register of a specific LMul, or any kind of vector registers ...
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
bool simplifyInstruction(MachineInstr &MI) const override
ArrayRef< std::pair< unsigned, const char * > > getSerializableDirectMachineOperandTargetFlags() const override
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
bool analyzeCandidate(outliner::Candidate &C) const
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
bool requiresNTLHint(const MachineInstr &MI) const
Return true if the instruction requires an NTL hint to be emitted.
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
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
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, Register DstReg, Register SrcReg, bool KillSrc, bool RenamableDest=false, bool RenamableSrc=false) 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
MachineInstr * foldMemoryOperandImpl(MachineFunction &MF, MachineInstr &MI, ArrayRef< unsigned > Ops, int FrameIndex, MachineInstr *&CopyMI, LiveIntervals *LIS=nullptr, VirtRegMap *VRM=nullptr) const override
bool isBranchOffsetInRange(unsigned BranchOpc, int64_t BrOffset) const override
static RISCVCC::CondCode getCondFromBranchOpc(unsigned Opc)
void buildClearRegister(Register Reg, MachineBasicBlock &MBB, MachineBasicBlock::iterator Iter, DebugLoc &DL, bool AllowSideEffects=true) const override
bool isAssociativeAndCommutative(const MachineInstr &Inst, bool Invert) const override
CombinerObjective getCombinerObjective(unsigned Pattern) const override
bool isHighLatencyDef(int Opc) const override
static bool evaluateCondBranch(RISCVCC::CondCode CC, int64_t C0, int64_t C1)
Return the result of the evaluation of C0 CC C1, where CC is a RISCVCC::CondCode.
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
static bool isFromLoadImm(const MachineRegisterInfo &MRI, const MachineOperand &Op, int64_t &Imm)
Return true if the operand is a load immediate instruction and sets Imm to the immediate value.
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
const RISCVRegisterInfo * getRegisterInfo() const override
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.
SlotIndex getRegSlot(bool EC=false) const
Returns the register use/def slot in the current instruction for a normal or early-clobber def.
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.
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< Register, 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 isReMaterializableImpl(const MachineInstr &MI) const
For instructions with opcodes for which the M_REMATERIALIZABLE flag is set, this hook lets the target...
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 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 TargetInstrInfo * getInstrInfo() const
virtual const TargetRegisterInfo * getRegisterInfo() const =0
Return the target's register information.
Target - Wrapper for Target specific information.
static constexpr TypeSize getFixed(ScalarTy ExactSize)
static constexpr TypeSize getZero()
static constexpr TypeSize getScalable(ScalarTy MinimumSize)
self_iterator getIterator()
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 getInverseBranchCondition(CondCode)
unsigned getInverseBranchOpcode(unsigned BCC)
unsigned getBrCond(CondCode CC, unsigned SelectOpc=0)
static bool isValidRoundingMode(unsigned Mode)
static StringRef roundingModeToString(RoundingMode RndMode)
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 MCRegister getTailExpandUseRegNo(const FeatureBitset &FeatureBits)
static int getFRMOpNum(const MCInstrDesc &Desc)
static int getVXRMOpNum(const MCInstrDesc &Desc)
static bool hasVecPolicyOp(uint64_t TSFlags)
static bool usesVXRM(uint64_t TSFlags)
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)
SmallVector< Inst, 8 > InstSeq
@ OPERAND_UIMMLOG2XLEN_NONZERO
@ OPERAND_SIMM12_LSB00000
@ OPERAND_FIRST_RISCV_IMM
@ OPERAND_UIMM10_LSB00_NONZERO
@ OPERAND_SIMM10_LSB0000_NONZERO
@ OPERAND_ATOMIC_ORDERING
static unsigned getNF(uint8_t TSFlags)
static RISCVVType::VLMUL getLMul(uint8_t TSFlags)
static bool isTailAgnostic(unsigned VType)
LLVM_ABI void printXSfmmVType(unsigned VType, raw_ostream &OS)
LLVM_ABI std::pair< unsigned, bool > decodeVLMUL(VLMUL VLMul)
static bool isValidSEW(unsigned SEW)
static bool isValidVType(unsigned VType)
LLVM_ABI void printVType(unsigned VType, raw_ostream &OS)
static bool isValidXSfmmVType(unsigned VTypeI)
static unsigned getSEW(unsigned VType)
static VLMUL getVLMUL(unsigned VType)
static bool isValidRoundingMode(unsigned Mode)
static StringRef roundingModeToString(RoundingMode RndMode)
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?
bool isValidYBNDSWImm(int64_t Imm)
unsigned getRVVMCOpcode(unsigned RVVPseudoOpcode)
unsigned getDestLog2EEW(const MCInstrDesc &Desc, unsigned Log2SEW)
std::optional< unsigned > getVectorLowDemandedScalarBits(unsigned Opcode, unsigned Log2SEW)
std::optional< std::pair< unsigned, unsigned > > isRVVSpillForZvlsseg(unsigned Opcode)
static constexpr unsigned RVVBitsPerBlock
bool isRVVSpill(const MachineInstr &MI)
static constexpr unsigned RVVBytesPerBlock
static constexpr int64_t VLMaxSentinel
bool isVectorCopy(const TargetRegisterInfo *TRI, const MachineInstr &MI)
Return true if MI is a copy that will be lowered to one or more vmvNr.vs.
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.
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
RegState
Flags to represent properties of register accesses.
@ Implicit
Not emitted register (e.g. carry, or temporary result).
@ Kill
The last use of a register.
@ Undef
Value of the register doesn't matter.
@ Define
Register definition.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
bool isValidAtomicOrdering(Int I)
constexpr RegState getKillRegState(bool B)
static const MachineMemOperand::Flags MONontemporalBit0
constexpr RegState getDeadRegState(bool B)
LLVM_ABI void reportFatalInternalError(Error Err)
Report a fatal error that indicates a bug in LLVM.
unsigned M1(unsigned Val)
constexpr bool has_single_bit(T Value) noexcept
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
MachineInstr * getImm(const MachineOperand &MO, const MachineRegisterInfo *MRI)
constexpr RegState getRenamableRegState(bool B)
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 RegState getDefRegState(bool B)
CombinerObjective
The combiner's goal may differ based on which pattern it is attempting to optimize.
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
CodeGenOptLevel
Code generation optimization level.
int isShifted359(T Value, int &Shift)
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
constexpr bool isShiftedInt(int64_t x)
Checks if a signed integer is an N bit number shifted left by S.
void erase_if(Container &C, UnaryPredicate P)
Provide a container algorithm similar to C++ Library Fundamentals v2's erase_if which is equivalent t...
constexpr int64_t SignExtend64(uint64_t x)
Sign-extend the number in the bottom B bits of X to a 64-bit integer.
LLVM_ABI const Value * getUnderlyingObject(const Value *V, unsigned MaxLookup=MaxLookupSearchDepth)
This method strips off any GEP address adjustments, pointer casts or llvm.threadlocal....
constexpr bool isShiftedUInt(uint64_t x)
Checks if a unsigned integer is an N bit number shifted left by S.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
This struct is a compact representation of a valid (non-zero power of two) alignment.
Used to describe addressing mode similar to ExtAddrMode in CodeGenPrepare.
This represents a simple continuous liveness interval for a value.
static LLVM_ABI 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.