40#include "llvm/IR/IntrinsicsX86.h"
50#define DEBUG_TYPE "X86-isel"
56#define GET_GLOBALISEL_PREDICATE_BITSET
57#include "X86GenGlobalISel.inc"
58#undef GET_GLOBALISEL_PREDICATE_BITSET
75 Align Alignment)
const;
144#define GET_GLOBALISEL_PREDICATES_DECL
145#include "X86GenGlobalISel.inc"
146#undef GET_GLOBALISEL_PREDICATES_DECL
148#define GET_GLOBALISEL_TEMPORARIES_DECL
149#include "X86GenGlobalISel.inc"
150#undef GET_GLOBALISEL_TEMPORARIES_DECL
155#define GET_GLOBALISEL_IMPL
156#include "X86GenGlobalISel.inc"
157#undef GET_GLOBALISEL_IMPL
162 : TM(TM), STI(STI),
TII(*STI.getInstrInfo()),
TRI(*STI.getRegisterInfo()),
165#include
"X86GenGlobalISel.inc"
168#include
"X86GenGlobalISel.inc"
176X86InstructionSelector::getRegClass(
LLT Ty,
const RegisterBank &RB)
const {
177 if (RB.
getID() == X86::GPRRegBankID) {
179 return &X86::GR8RegClass;
181 return &X86::GR16RegClass;
183 return &X86::GR32RegClass;
185 return &X86::GR64RegClass;
187 if (RB.
getID() == X86::VECRRegBankID) {
189 return STI.
hasAVX512() ? &X86::FR16XRegClass : &X86::FR16RegClass;
191 return STI.
hasAVX512() ? &X86::FR32XRegClass : &X86::FR32RegClass;
193 return STI.
hasAVX512() ? &X86::FR64XRegClass : &X86::FR64RegClass;
195 return STI.
hasAVX512() ? &X86::VR128XRegClass : &X86::VR128RegClass;
197 return STI.
hasAVX512() ? &X86::VR256XRegClass : &X86::VR256RegClass;
199 return &X86::VR512RegClass;
202 if (RB.
getID() == X86::PSRRegBankID) {
204 return &X86::RFP80RegClass;
206 return &X86::RFP64RegClass;
208 return &X86::RFP32RegClass;
214const TargetRegisterClass *
215X86InstructionSelector::getRegClass(LLT Ty,
Register Reg,
216 MachineRegisterInfo &
MRI)
const {
221static unsigned getSubRegIndex(
const TargetRegisterClass *RC) {
222 unsigned SubIdx = X86::NoSubRegister;
223 if (RC == &X86::GR32RegClass) {
224 SubIdx = X86::sub_32bit;
225 }
else if (RC == &X86::GR16RegClass) {
226 SubIdx = X86::sub_16bit;
227 }
else if (RC == &X86::GR8RegClass) {
228 SubIdx = X86::sub_8bit;
237 return &X86::GR64RegClass;
239 return &X86::GR32RegClass;
241 return &X86::GR16RegClass;
243 return &X86::GR8RegClass;
251bool X86InstructionSelector::selectDebugInstr(MachineInstr &
I,
252 MachineRegisterInfo &
MRI)
const {
253 for (MachineOperand &MO :
I.operands()) {
261 LLT Ty =
MRI.getType(
Reg);
263 const TargetRegisterClass *RC =
270 dbgs() <<
"Warning: DBG_VALUE operand has unexpected size/bank\n");
281bool X86InstructionSelector::selectCopy(MachineInstr &
I,
282 MachineRegisterInfo &
MRI)
const {
283 Register DstReg =
I.getOperand(0).getReg();
287 Register SrcReg =
I.getOperand(1).getReg();
292 assert(
I.isCopy() &&
"Generic operators do not allow physical registers");
294 if (DstSize > SrcSize && SrcRegBank.
getID() == X86::GPRRegBankID &&
295 DstRegBank.
getID() == X86::GPRRegBankID) {
297 const TargetRegisterClass *SrcRC =
301 if (SrcRC != DstRC) {
303 Register ExtSrc =
MRI.createVirtualRegister(DstRC);
305 TII.get(TargetOpcode::SUBREG_TO_REG))
308 .
addImm(getSubRegIndex(SrcRC));
310 I.getOperand(1).setReg(ExtSrc);
315 if (SrcSize == 16 && SrcRegBank.
getID() == X86::GPRRegBankID &&
316 (DstRegBank.
getID() == X86::VECRRegBankID)) {
321 Register ExtReg =
MRI.createVirtualRegister(&X86::GR32RegClass);
322 BuildMI(*
I.getParent(),
I,
DL,
TII.get(TargetOpcode::SUBREG_TO_REG),
328 BuildMI(*
I.getParent(),
I,
DL,
TII.get(TargetOpcode::COPY), DstReg)
335 if (DstSize == 16 && DstRegBank.
getID() == X86::GPRRegBankID &&
336 (SrcRegBank.
getID() == X86::VECRRegBankID)) {
341 Register Temp32 =
MRI.createVirtualRegister(&X86::GR32RegClass);
342 BuildMI(*
I.getParent(),
I,
DL,
TII.get(TargetOpcode::COPY), Temp32)
346 if (
Register Dst32 =
TRI.getMatchingSuperReg(DstReg, X86::sub_16bit,
347 &X86::GR32RegClass)) {
349 BuildMI(*
I.getParent(),
I,
DL,
TII.get(TargetOpcode::COPY), Dst32)
353 BuildMI(*
I.getParent(),
I,
DL,
TII.get(TargetOpcode::COPY), DstReg)
354 .
addReg(Temp32, {}, X86::sub_16bit);
364 "No phys reg on generic operators");
365 assert((DstSize == SrcSize ||
370 "Copy with different width?!");
372 const TargetRegisterClass *DstRC =
375 if (SrcRegBank.
getID() == X86::GPRRegBankID &&
376 DstRegBank.
getID() == X86::GPRRegBankID && SrcSize > DstSize &&
382 if (DstRC != SrcRC) {
383 I.getOperand(1).setSubReg(getSubRegIndex(DstRC));
384 I.getOperand(1).substPhysReg(SrcReg,
TRI);
391 const TargetRegisterClass *OldRC =
MRI.getRegClassOrNull(DstReg);
399 I.setDesc(
TII.get(X86::COPY));
403bool X86InstructionSelector::select(MachineInstr &
I) {
404 assert(
I.getParent() &&
"Instruction should be in a basic block!");
405 assert(
I.getParent()->getParent() &&
"Instruction should be in a function!");
411 unsigned Opcode =
I.getOpcode();
415 if (Opcode == TargetOpcode::LOAD_STACK_GUARD)
421 if (
I.isDebugInstr())
427 assert(
I.getNumOperands() ==
I.getNumExplicitOperands() &&
428 "Generic instruction has unexpected implicit operands\n");
430 if (selectImpl(
I, *CoverageInfo))
436 switch (
I.getOpcode()) {
439 case TargetOpcode::G_STORE:
440 case TargetOpcode::G_LOAD:
442 case TargetOpcode::G_PTR_ADD:
443 case TargetOpcode::G_FRAME_INDEX:
444 return selectFrameIndexOrGep(
I,
MRI, MF);
445 case TargetOpcode::G_GLOBAL_VALUE:
446 return selectGlobalValue(
I,
MRI, MF);
447 case TargetOpcode::G_CONSTANT:
448 return selectConstant(
I,
MRI, MF);
449 case TargetOpcode::G_FCONSTANT:
450 return materializeFP(
I,
MRI, MF);
451 case TargetOpcode::G_PTRTOINT:
452 case TargetOpcode::G_TRUNC:
453 return selectTruncOrPtrToInt(
I,
MRI, MF);
454 case TargetOpcode::G_INTTOPTR:
455 case TargetOpcode::G_FREEZE:
457 case TargetOpcode::G_ZEXT:
458 return selectZext(
I,
MRI, MF);
459 case TargetOpcode::G_ANYEXT:
460 return selectAnyext(
I,
MRI, MF);
461 case TargetOpcode::G_ICMP:
462 return selectCmp(
I,
MRI, MF);
463 case TargetOpcode::G_FCMP:
464 return selectFCmp(
I,
MRI, MF);
465 case TargetOpcode::G_UADDE:
466 case TargetOpcode::G_UADDO:
467 case TargetOpcode::G_USUBE:
468 case TargetOpcode::G_USUBO:
469 return selectUAddSub(
I,
MRI, MF);
470 case TargetOpcode::G_UNMERGE_VALUES:
472 case TargetOpcode::G_MERGE_VALUES:
473 case TargetOpcode::G_CONCAT_VECTORS:
475 case TargetOpcode::G_EXTRACT:
476 return selectExtract(
I,
MRI, MF);
477 case TargetOpcode::G_INSERT:
478 return selectInsert(
I,
MRI, MF);
479 case TargetOpcode::G_BRCOND:
480 return selectCondBranch(
I,
MRI, MF);
481 case TargetOpcode::G_IMPLICIT_DEF:
482 case TargetOpcode::G_PHI:
483 return selectImplicitDefOrPHI(
I,
MRI);
484 case TargetOpcode::G_MUL:
485 case TargetOpcode::G_SMULH:
486 case TargetOpcode::G_UMULH:
487 case TargetOpcode::G_SDIV:
488 case TargetOpcode::G_UDIV:
489 case TargetOpcode::G_SREM:
490 case TargetOpcode::G_UREM:
491 return selectMulDivRem(
I,
MRI, MF);
492 case TargetOpcode::G_SELECT:
493 return selectSelect(
I,
MRI, MF);
499unsigned X86InstructionSelector::getPtrLoadStoreOp(
const LLT &Ty,
500 const RegisterBank &RB,
501 unsigned Opc)
const {
502 assert((
Opc == TargetOpcode::G_STORE ||
Opc == TargetOpcode::G_LOAD) &&
503 "Only G_STORE and G_LOAD are expected for selection");
505 bool IsLoad = (
Opc == TargetOpcode::G_LOAD);
510 return IsLoad ? X86::MOV32rm : X86::MOV32mr;
512 return IsLoad ? X86::MOV64rm : X86::MOV64mr;
518unsigned X86InstructionSelector::getLoadStoreOp(
const LLT &Ty,
519 const RegisterBank &RB,
521 Align Alignment)
const {
522 bool Isload = (
Opc == TargetOpcode::G_LOAD);
523 bool HasAVX = STI.
hasAVX();
525 bool HasVLX = STI.hasVLX();
528 if (X86::GPRRegBankID == RB.
getID())
529 return Isload ? X86::MOV8rm : X86::MOV8mr;
531 if (X86::GPRRegBankID == RB.
getID())
532 return Isload ? X86::MOV16rm : X86::MOV16mr;
534 if (X86::GPRRegBankID == RB.
getID())
535 return Isload ? X86::MOV32rm : X86::MOV32mr;
536 if (X86::VECRRegBankID == RB.
getID())
537 return Isload ? (HasAVX512 ? X86::VMOVSSZrm_alt :
538 HasAVX ? X86::VMOVSSrm_alt :
540 : (HasAVX512 ?
X86::VMOVSSZmr :
541 HasAVX ?
X86::VMOVSSmr :
543 if (X86::PSRRegBankID == RB.
getID())
544 return Isload ? X86::LD_Fp32m : X86::ST_Fp32m;
546 if (X86::GPRRegBankID == RB.
getID())
547 return Isload ? X86::MOV64rm : X86::MOV64mr;
548 if (X86::VECRRegBankID == RB.
getID())
549 return Isload ? (HasAVX512 ? X86::VMOVSDZrm_alt :
550 HasAVX ? X86::VMOVSDrm_alt :
552 : (HasAVX512 ?
X86::VMOVSDZmr :
553 HasAVX ?
X86::VMOVSDmr :
555 if (X86::PSRRegBankID == RB.
getID())
556 return Isload ? X86::LD_Fp64m : X86::ST_Fp64m;
558 return Isload ? X86::LD_Fp80m : X86::ST_FpP80m;
560 if (Alignment >=
Align(16))
561 return Isload ? (HasVLX ? X86::VMOVAPSZ128rm
563 ? X86::VMOVAPSZ128rm_NOVLX
564 : HasAVX ? X86::VMOVAPSrm : X86::MOVAPSrm)
565 : (HasVLX ?
X86::VMOVAPSZ128mr
567 ?
X86::VMOVAPSZ128mr_NOVLX
568 : HasAVX ?
X86::VMOVAPSmr :
X86::MOVAPSmr);
570 return Isload ? (HasVLX ? X86::VMOVUPSZ128rm
572 ? X86::VMOVUPSZ128rm_NOVLX
573 : HasAVX ? X86::VMOVUPSrm : X86::MOVUPSrm)
574 : (HasVLX ? X86::VMOVUPSZ128mr
576 ? X86::VMOVUPSZ128mr_NOVLX
577 : HasAVX ? X86::VMOVUPSmr : X86::MOVUPSmr);
579 if (Alignment >=
Align(32))
580 return Isload ? (HasVLX ? X86::VMOVAPSZ256rm
581 : HasAVX512 ? X86::VMOVAPSZ256rm_NOVLX
583 : (HasVLX ?
X86::VMOVAPSZ256mr
584 : HasAVX512 ?
X86::VMOVAPSZ256mr_NOVLX
587 return Isload ? (HasVLX ? X86::VMOVUPSZ256rm
588 : HasAVX512 ? X86::VMOVUPSZ256rm_NOVLX
590 : (HasVLX ? X86::VMOVUPSZ256mr
591 : HasAVX512 ? X86::VMOVUPSZ256mr_NOVLX
594 if (Alignment >=
Align(64))
595 return Isload ? X86::VMOVAPSZrm : X86::VMOVAPSZmr;
597 return Isload ? X86::VMOVUPSZrm : X86::VMOVUPSZmr;
606 assert(
I.getOperand(0).isReg() &&
"unsupported operand.");
607 assert(
MRI.getType(
I.getOperand(0).getReg()).isPointer() &&
608 "unsupported type.");
610 switch (
I.getOpcode()) {
613 case TargetOpcode::G_FRAME_INDEX:
617 case TargetOpcode::G_PTR_ADD: {
621 AM.
Disp =
static_cast<int32_t
>(Imm);
622 AM.
Base.
Reg =
I.getOperand(1).getReg();
628 case TargetOpcode::G_GLOBAL_VALUE: {
629 auto GV =
I.getOperand(1).getGlobal();
630 if (GV->isThreadLocal()) {
650 "RIP-relative addresses can't have additional register operands");
655 case TargetOpcode::G_CONSTANT_POOL: {
663 else if (STI.is64Bit())
666 AM.
Disp =
I.getOperand(1).getIndex();
671 AM.
Base.
Reg =
I.getOperand(0).getReg();
675bool X86InstructionSelector::selectLoadStoreOp(MachineInstr &
I,
676 MachineRegisterInfo &
MRI,
677 MachineFunction &MF)
const {
678 unsigned Opc =
I.getOpcode();
680 assert((
Opc == TargetOpcode::G_STORE ||
Opc == TargetOpcode::G_LOAD) &&
681 "Only G_STORE and G_LOAD are expected for selection");
683 const Register DefReg =
I.getOperand(0).getReg();
684 LLT Ty =
MRI.getType(DefReg);
688 auto &MemOp = **
I.memoperands_begin();
689 if (MemOp.isAtomic()) {
695 if (!MemOp.isUnordered()) {
705 unsigned NewOpc = getPtrLoadStoreOp(Ty, RB,
Opc);
709 I.setDesc(
TII.get(NewOpc));
710 MachineInstrBuilder MIB(MF,
I);
711 MachineInstr *Ptr =
MRI.getVRegDef(
I.getOperand(1).getReg());
717 if (
Opc == TargetOpcode::G_LOAD) {
727 I.addImplicitDefUseOperands(MF);
740bool X86InstructionSelector::selectFrameIndexOrGep(MachineInstr &
I,
741 MachineRegisterInfo &
MRI,
742 MachineFunction &MF)
const {
743 unsigned Opc =
I.getOpcode();
745 assert((
Opc == TargetOpcode::G_FRAME_INDEX ||
Opc == TargetOpcode::G_PTR_ADD) &&
746 "unexpected instruction");
748 const Register DefReg =
I.getOperand(0).getReg();
749 LLT Ty =
MRI.getType(DefReg);
752 unsigned NewOpc =
getLeaOP(Ty, STI);
753 I.setDesc(
TII.get(NewOpc));
754 MachineInstrBuilder MIB(MF,
I);
756 if (
Opc == TargetOpcode::G_FRAME_INDEX) {
759 MachineOperand &InxOp =
I.getOperand(2);
762 MIB.addImm(0).addReg(0);
769bool X86InstructionSelector::selectGlobalValue(MachineInstr &
I,
770 MachineRegisterInfo &
MRI,
771 MachineFunction &MF)
const {
772 assert((
I.getOpcode() == TargetOpcode::G_GLOBAL_VALUE) &&
773 "unexpected instruction");
779 const Register DefReg =
I.getOperand(0).getReg();
780 LLT Ty =
MRI.getType(DefReg);
781 unsigned NewOpc =
getLeaOP(Ty, STI);
783 I.setDesc(
TII.get(NewOpc));
784 MachineInstrBuilder MIB(MF,
I);
793bool X86InstructionSelector::selectConstant(MachineInstr &
I,
794 MachineRegisterInfo &
MRI,
795 MachineFunction &MF)
const {
796 assert((
I.getOpcode() == TargetOpcode::G_CONSTANT) &&
797 "unexpected instruction");
799 const Register DefReg =
I.getOperand(0).getReg();
800 LLT Ty =
MRI.getType(DefReg);
806 if (
I.getOperand(1).isCImm()) {
807 Val =
I.getOperand(1).getCImm()->getZExtValue();
808 I.getOperand(1).ChangeToImmediate(Val);
809 }
else if (
I.getOperand(1).isImm()) {
810 Val =
I.getOperand(1).getImm();
817 NewOpc = X86::MOV8ri;
820 NewOpc = X86::MOV16ri;
823 NewOpc = X86::MOV32ri;
828 NewOpc = X86::MOV64ri32;
830 NewOpc = X86::MOV64ri;
836 I.setDesc(
TII.get(NewOpc));
846 return (DstRC == &X86::FR32RegClass || DstRC == &X86::FR32XRegClass ||
847 DstRC == &X86::FR64RegClass || DstRC == &X86::FR64XRegClass) &&
848 (SrcRC == &X86::VR128RegClass || SrcRC == &X86::VR128XRegClass);
851bool X86InstructionSelector::selectTurnIntoCOPY(
852 MachineInstr &
I, MachineRegisterInfo &
MRI,
const Register DstReg,
853 const TargetRegisterClass *DstRC,
const Register SrcReg,
854 const TargetRegisterClass *SrcRC)
const {
862 I.setDesc(
TII.get(X86::COPY));
866bool X86InstructionSelector::selectTruncOrPtrToInt(MachineInstr &
I,
867 MachineRegisterInfo &
MRI,
868 MachineFunction &MF)
const {
869 assert((
I.getOpcode() == TargetOpcode::G_TRUNC ||
870 I.getOpcode() == TargetOpcode::G_PTRTOINT) &&
871 "unexpected instruction");
873 const Register DstReg =
I.getOperand(0).getReg();
874 const Register SrcReg =
I.getOperand(1).getReg();
876 const LLT DstTy =
MRI.getType(DstReg);
877 const LLT SrcTy =
MRI.getType(SrcReg);
884 <<
" input/output on different banks\n");
888 const TargetRegisterClass *DstRC =
getRegClass(DstTy, DstRB);
889 const TargetRegisterClass *SrcRC =
getRegClass(SrcTy, SrcRB);
891 if (!DstRC || !SrcRC)
898 return selectTurnIntoCOPY(
I,
MRI, DstReg, DstRC, SrcReg, SrcRC);
900 if (DstRB.
getID() != X86::GPRRegBankID)
904 if (DstRC == SrcRC) {
906 SubIdx = X86::NoSubRegister;
907 }
else if (DstRC == &X86::GR32RegClass) {
908 SubIdx = X86::sub_32bit;
909 }
else if (DstRC == &X86::GR16RegClass) {
910 SubIdx = X86::sub_16bit;
911 }
else if (DstRC == &X86::GR8RegClass) {
912 SubIdx = X86::sub_8bit;
917 SrcRC =
TRI.getSubClassWithSubReg(SrcRC, SubIdx);
926 I.getOperand(1).setSubReg(SubIdx);
928 I.setDesc(
TII.get(X86::COPY));
932bool X86InstructionSelector::selectZext(MachineInstr &
I,
933 MachineRegisterInfo &
MRI,
934 MachineFunction &MF)
const {
935 assert((
I.getOpcode() == TargetOpcode::G_ZEXT) &&
"unexpected instruction");
937 const Register DstReg =
I.getOperand(0).getReg();
938 const Register SrcReg =
I.getOperand(1).getReg();
940 const LLT DstTy =
MRI.getType(DstReg);
941 const LLT SrcTy =
MRI.getType(SrcReg);
944 "8=>16 Zext is handled by tablegen");
946 "8=>32 Zext is handled by tablegen");
948 "16=>32 Zext is handled by tablegen");
950 "8=>64 Zext is handled by tablegen");
952 "16=>64 Zext is handled by tablegen");
954 "32=>64 Zext is handled by tablegen");
961 AndOpc = X86::AND8ri;
963 AndOpc = X86::AND16ri;
965 AndOpc = X86::AND32ri;
967 AndOpc = X86::AND64ri32;
976 TII.get(TargetOpcode::IMPLICIT_DEF), ImpDefReg);
980 TII.get(TargetOpcode::INSERT_SUBREG), DefReg)
986 MachineInstr &AndInst =
987 *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(AndOpc), DstReg)
997bool X86InstructionSelector::selectAnyext(MachineInstr &
I,
998 MachineRegisterInfo &
MRI,
999 MachineFunction &MF)
const {
1000 assert((
I.getOpcode() == TargetOpcode::G_ANYEXT) &&
"unexpected instruction");
1002 const Register DstReg =
I.getOperand(0).getReg();
1003 const Register SrcReg =
I.getOperand(1).getReg();
1005 const LLT DstTy =
MRI.getType(DstReg);
1006 const LLT SrcTy =
MRI.getType(SrcReg);
1012 "G_ANYEXT input/output on different banks\n");
1015 "G_ANYEXT incorrect operand size");
1017 const TargetRegisterClass *DstRC =
getRegClass(DstTy, DstRB);
1018 const TargetRegisterClass *SrcRC =
getRegClass(SrcTy, SrcRB);
1024 return selectTurnIntoCOPY(
I,
MRI, SrcReg, SrcRC, DstReg, DstRC);
1026 if (DstRB.
getID() != X86::GPRRegBankID)
1036 if (SrcRC == DstRC) {
1037 I.setDesc(
TII.get(X86::COPY));
1042 TII.get(TargetOpcode::SUBREG_TO_REG))
1045 .
addImm(getSubRegIndex(SrcRC));
1047 I.eraseFromParent();
1051bool X86InstructionSelector::selectCmp(MachineInstr &
I,
1052 MachineRegisterInfo &
MRI,
1053 MachineFunction &MF)
const {
1054 assert((
I.getOpcode() == TargetOpcode::G_ICMP) &&
"unexpected instruction");
1068 LLT Ty =
MRI.getType(
LHS);
1074 OpCmp = X86::CMP8rr;
1077 OpCmp = X86::CMP16rr;
1080 OpCmp = X86::CMP32rr;
1083 OpCmp = X86::CMP64rr;
1087 MachineInstr &CmpInst =
1088 *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(OpCmp))
1092 MachineInstr &SetInst = *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
1093 TII.get(X86::SETCCr),
I.getOperand(0).getReg()).
addImm(CC);
1098 I.eraseFromParent();
1102bool X86InstructionSelector::selectFCmp(MachineInstr &
I,
1103 MachineRegisterInfo &
MRI,
1104 MachineFunction &MF)
const {
1105 assert((
I.getOpcode() == TargetOpcode::G_FCMP) &&
"unexpected instruction");
1107 Register LhsReg =
I.getOperand(2).getReg();
1108 Register RhsReg =
I.getOperand(3).getReg();
1113 static const uint16_t SETFOpcTable[2][3] = {
1116 const uint16_t *SETFOpc =
nullptr;
1117 switch (Predicate) {
1121 SETFOpc = &SETFOpcTable[0][0];
1124 SETFOpc = &SETFOpcTable[1][0];
1129 "Both arguments of FCMP need to be virtual!");
1132 assert((LhsBank == RhsBank) &&
1133 "Both banks assigned to FCMP arguments need to be same!");
1137 LLT Ty =
MRI.getType(LhsReg);
1142 OpCmp = LhsBank->getID() == X86::PSRRegBankID ? X86::UCOM_FpIr32
1146 OpCmp = LhsBank->getID() == X86::PSRRegBankID ? X86::UCOM_FpIr64
1150 OpCmp = X86::UCOM_FpIr80;
1154 Register ResultReg =
I.getOperand(0).getReg();
1159 MachineInstr &CmpInst =
1160 *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(OpCmp))
1164 Register FlagReg1 =
MRI.createVirtualRegister(&X86::GR8RegClass);
1165 Register FlagReg2 =
MRI.createVirtualRegister(&X86::GR8RegClass);
1166 MachineInstr &Set1 = *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
1167 TII.get(X86::SETCCr), FlagReg1).
addImm(SETFOpc[0]);
1168 MachineInstr &Set2 = *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
1169 TII.get(X86::SETCCr), FlagReg2).
addImm(SETFOpc[1]);
1170 MachineInstr &Set3 = *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
1171 TII.get(SETFOpc[2]), ResultReg)
1179 I.eraseFromParent();
1192 MachineInstr &CmpInst =
1193 *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(OpCmp))
1201 I.eraseFromParent();
1205bool X86InstructionSelector::selectUAddSub(MachineInstr &
I,
1206 MachineRegisterInfo &
MRI,
1207 MachineFunction &MF)
const {
1208 assert((
I.getOpcode() == TargetOpcode::G_UADDE ||
1209 I.getOpcode() == TargetOpcode::G_UADDO ||
1210 I.getOpcode() == TargetOpcode::G_USUBE ||
1211 I.getOpcode() == TargetOpcode::G_USUBO) &&
1212 "unexpected instruction");
1216 const Register DstReg = CarryMI.getDstReg();
1217 const Register CarryOutReg = CarryMI.getCarryOutReg();
1218 const Register Op0Reg = CarryMI.getLHSReg();
1219 const Register Op1Reg = CarryMI.getRHSReg();
1220 bool IsSub = CarryMI.isSub();
1222 const LLT DstTy =
MRI.getType(DstReg);
1223 assert(DstTy.
isScalar() &&
"selectUAddSub only supported for scalar types");
1226 unsigned OpADC, OpADD, OpSBB, OpSUB;
1229 OpADC = X86::ADC8rr;
1230 OpADD = X86::ADD8rr;
1231 OpSBB = X86::SBB8rr;
1232 OpSUB = X86::SUB8rr;
1235 OpADC = X86::ADC16rr;
1236 OpADD = X86::ADD16rr;
1237 OpSBB = X86::SBB16rr;
1238 OpSUB = X86::SUB16rr;
1241 OpADC = X86::ADC32rr;
1242 OpADD = X86::ADD32rr;
1243 OpSBB = X86::SBB32rr;
1244 OpSUB = X86::SUB32rr;
1247 OpADC = X86::ADC64rr;
1248 OpADD = X86::ADD64rr;
1249 OpSBB = X86::SBB64rr;
1250 OpSUB = X86::SUB64rr;
1257 const TargetRegisterClass *CarryRC =
1260 unsigned Opcode = IsSub ? OpSUB : OpADD;
1264 Register CarryInReg = CarryInMI->getCarryInReg();
1265 MachineInstr *
Def =
MRI.getVRegDef(CarryInReg);
1266 while (
Def->getOpcode() == TargetOpcode::G_TRUNC) {
1267 CarryInReg =
Def->getOperand(1).getReg();
1268 Def =
MRI.getVRegDef(CarryInReg);
1272 if (
Def->getOpcode() == TargetOpcode::G_UADDE ||
1273 Def->getOpcode() == TargetOpcode::G_UADDO ||
1274 Def->getOpcode() == TargetOpcode::G_USUBE ||
1275 Def->getOpcode() == TargetOpcode::G_USUBO) {
1278 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::CMP8ri))
1285 Opcode = IsSub ? OpSBB : OpADC;
1291 Opcode = IsSub ? OpSUB : OpADD;
1296 MachineInstr &Inst =
1297 *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(Opcode), DstReg)
1301 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::SETCCr), CarryOutReg)
1308 I.eraseFromParent();
1312bool X86InstructionSelector::selectExtract(MachineInstr &
I,
1313 MachineRegisterInfo &
MRI,
1314 MachineFunction &MF)
const {
1315 assert((
I.getOpcode() == TargetOpcode::G_EXTRACT) &&
1316 "unexpected instruction");
1318 const Register DstReg =
I.getOperand(0).getReg();
1319 const Register SrcReg =
I.getOperand(1).getReg();
1320 int64_t
Index =
I.getOperand(2).getImm();
1322 const LLT DstTy =
MRI.getType(DstReg);
1323 const LLT SrcTy =
MRI.getType(SrcReg);
1334 if (!emitExtractSubreg(DstReg, SrcReg,
I,
MRI, MF))
1337 I.eraseFromParent();
1341 bool HasAVX = STI.
hasAVX();
1343 bool HasVLX = STI.hasVLX();
1347 I.setDesc(
TII.get(X86::VEXTRACTF32X4Z256rri));
1349 I.setDesc(
TII.get(X86::VEXTRACTF128rri));
1354 I.setDesc(
TII.get(X86::VEXTRACTF32X4Zrri));
1356 I.setDesc(
TII.get(X86::VEXTRACTF64X4Zrri));
1364 I.getOperand(2).setImm(Index);
1370bool X86InstructionSelector::emitExtractSubreg(
Register DstReg,
Register SrcReg,
1372 MachineRegisterInfo &
MRI,
1373 MachineFunction &MF)
const {
1374 const LLT DstTy =
MRI.getType(DstReg);
1375 const LLT SrcTy =
MRI.getType(SrcReg);
1376 unsigned SubIdx = X86::NoSubRegister;
1382 "Incorrect Src/Dst register size");
1385 SubIdx = X86::sub_xmm;
1387 SubIdx = X86::sub_ymm;
1391 const TargetRegisterClass *DstRC =
getRegClass(DstTy, DstReg,
MRI);
1392 const TargetRegisterClass *SrcRC =
getRegClass(SrcTy, SrcReg,
MRI);
1394 SrcRC =
TRI.getSubClassWithSubReg(SrcRC, SubIdx);
1402 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::COPY), DstReg)
1403 .
addReg(SrcReg, {}, SubIdx);
1408bool X86InstructionSelector::emitInsertSubreg(
Register DstReg,
Register SrcReg,
1410 MachineRegisterInfo &
MRI,
1411 MachineFunction &MF)
const {
1412 const LLT DstTy =
MRI.getType(DstReg);
1413 const LLT SrcTy =
MRI.getType(SrcReg);
1414 unsigned SubIdx = X86::NoSubRegister;
1421 "Incorrect Src/Dst register size");
1424 SubIdx = X86::sub_xmm;
1426 SubIdx = X86::sub_ymm;
1430 const TargetRegisterClass *SrcRC =
getRegClass(SrcTy, SrcReg,
MRI);
1431 const TargetRegisterClass *DstRC =
getRegClass(DstTy, DstReg,
MRI);
1439 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::COPY))
1440 .
addReg(DstReg, RegState::DefineNoRead, SubIdx)
1446bool X86InstructionSelector::selectInsert(MachineInstr &
I,
1447 MachineRegisterInfo &
MRI,
1448 MachineFunction &MF)
const {
1449 assert((
I.getOpcode() == TargetOpcode::G_INSERT) &&
"unexpected instruction");
1451 const Register DstReg =
I.getOperand(0).getReg();
1452 const Register SrcReg =
I.getOperand(1).getReg();
1453 const Register InsertReg =
I.getOperand(2).getReg();
1454 int64_t
Index =
I.getOperand(3).getImm();
1456 const LLT DstTy =
MRI.getType(DstReg);
1457 const LLT InsertRegTy =
MRI.getType(InsertReg);
1466 if (Index == 0 &&
MRI.getVRegDef(SrcReg)->isImplicitDef()) {
1468 if (!emitInsertSubreg(DstReg, InsertReg,
I,
MRI, MF))
1471 I.eraseFromParent();
1475 bool HasAVX = STI.
hasAVX();
1477 bool HasVLX = STI.hasVLX();
1481 I.setDesc(
TII.get(X86::VINSERTF32X4Z256rri));
1483 I.setDesc(
TII.get(X86::VINSERTF128rri));
1488 I.setDesc(
TII.get(X86::VINSERTF32X4Zrri));
1490 I.setDesc(
TII.get(X86::VINSERTF64X4Zrri));
1499 I.getOperand(3).setImm(Index);
1505bool X86InstructionSelector::selectUnmergeValues(
1506 MachineInstr &
I, MachineRegisterInfo &
MRI, MachineFunction &MF) {
1507 assert((
I.getOpcode() == TargetOpcode::G_UNMERGE_VALUES) &&
1508 "unexpected instruction");
1511 unsigned NumDefs =
I.getNumOperands() - 1;
1512 Register SrcReg =
I.getOperand(NumDefs).getReg();
1513 unsigned DefSize =
MRI.getType(
I.getOperand(0).getReg()).getSizeInBits();
1515 for (
unsigned Idx = 0; Idx < NumDefs; ++Idx) {
1516 MachineInstr &ExtrInst =
1518 TII.get(TargetOpcode::G_EXTRACT),
I.getOperand(Idx).getReg())
1522 if (!select(ExtrInst))
1526 I.eraseFromParent();
1530bool X86InstructionSelector::selectMergeValues(
1531 MachineInstr &
I, MachineRegisterInfo &
MRI, MachineFunction &MF) {
1532 assert((
I.getOpcode() == TargetOpcode::G_MERGE_VALUES ||
1533 I.getOpcode() == TargetOpcode::G_CONCAT_VECTORS) &&
1534 "unexpected instruction");
1537 Register DstReg =
I.getOperand(0).getReg();
1538 Register SrcReg0 =
I.getOperand(1).getReg();
1540 const LLT DstTy =
MRI.getType(DstReg);
1541 const LLT SrcTy =
MRI.getType(SrcReg0);
1547 Register DefReg =
MRI.createGenericVirtualRegister(DstTy);
1548 MRI.setRegBank(DefReg, RegBank);
1549 if (!emitInsertSubreg(DefReg,
I.getOperand(1).getReg(),
I,
MRI, MF))
1552 for (
unsigned Idx = 2; Idx <
I.getNumOperands(); ++Idx) {
1553 Register Tmp =
MRI.createGenericVirtualRegister(DstTy);
1554 MRI.setRegBank(Tmp, RegBank);
1556 MachineInstr &InsertInst = *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
1557 TII.get(TargetOpcode::G_INSERT), Tmp)
1559 .
addReg(
I.getOperand(Idx).getReg())
1560 .
addImm((Idx - 1) * SrcSize);
1564 if (!select(InsertInst))
1568 MachineInstr &CopyInst = *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
1569 TII.get(TargetOpcode::COPY), DstReg)
1572 if (!select(CopyInst))
1575 I.eraseFromParent();
1579bool X86InstructionSelector::selectCondBranch(MachineInstr &
I,
1580 MachineRegisterInfo &
MRI,
1581 MachineFunction &MF)
const {
1582 assert((
I.getOpcode() == TargetOpcode::G_BRCOND) &&
"unexpected instruction");
1584 const Register CondReg =
I.getOperand(0).getReg();
1585 MachineBasicBlock *DestMBB =
I.getOperand(1).getMBB();
1587 MachineInstr &TestInst =
1588 *
BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::TEST8ri))
1591 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::JCC_1))
1596 I.eraseFromParent();
1600bool X86InstructionSelector::materializeFP(MachineInstr &
I,
1601 MachineRegisterInfo &
MRI,
1602 MachineFunction &MF)
const {
1603 assert((
I.getOpcode() == TargetOpcode::G_FCONSTANT) &&
1604 "unexpected instruction");
1611 const Register DstReg =
I.getOperand(0).getReg();
1612 const LLT DstTy =
MRI.getType(DstReg);
1615 const ConstantFP *CFP =
I.getOperand(1).getFPImm();
1618 const DebugLoc &DbgLoc =
I.getDebugLoc();
1621 getLoadStoreOp(DstTy, RegBank, TargetOpcode::G_LOAD, Alignment);
1624 MachineInstr *LoadInst =
nullptr;
1631 Register AddrReg =
MRI.createVirtualRegister(&X86::GR64RegClass);
1632 BuildMI(*
I.getParent(),
I, DbgLoc,
TII.get(X86::MOV64ri), AddrReg)
1649 unsigned PICBase = 0;
1658 BuildMI(*
I.getParent(),
I, DbgLoc,
TII.get(
Opc), DstReg), CPI, PICBase,
1664 I.eraseFromParent();
1668bool X86InstructionSelector::selectImplicitDefOrPHI(
1669 MachineInstr &
I, MachineRegisterInfo &
MRI)
const {
1670 assert((
I.getOpcode() == TargetOpcode::G_IMPLICIT_DEF ||
1671 I.getOpcode() == TargetOpcode::G_PHI) &&
1672 "unexpected instruction");
1674 Register DstReg =
I.getOperand(0).getReg();
1676 if (!
MRI.getRegClassOrNull(DstReg)) {
1677 const LLT DstTy =
MRI.getType(DstReg);
1687 if (
I.getOpcode() == TargetOpcode::G_IMPLICIT_DEF)
1688 I.setDesc(
TII.get(X86::IMPLICIT_DEF));
1690 I.setDesc(
TII.get(X86::PHI));
1695bool X86InstructionSelector::selectMulDivRem(MachineInstr &
I,
1696 MachineRegisterInfo &
MRI,
1697 MachineFunction &MF)
const {
1699 assert((
I.getOpcode() == TargetOpcode::G_MUL ||
1700 I.getOpcode() == TargetOpcode::G_SMULH ||
1701 I.getOpcode() == TargetOpcode::G_UMULH ||
1702 I.getOpcode() == TargetOpcode::G_SDIV ||
1703 I.getOpcode() == TargetOpcode::G_SREM ||
1704 I.getOpcode() == TargetOpcode::G_UDIV ||
1705 I.getOpcode() == TargetOpcode::G_UREM) &&
1706 "unexpected instruction");
1708 const Register DstReg =
I.getOperand(0).getReg();
1709 const Register Op1Reg =
I.getOperand(1).getReg();
1710 const Register Op2Reg =
I.getOperand(2).getReg();
1712 const LLT RegTy =
MRI.getType(DstReg);
1713 assert(RegTy ==
MRI.getType(Op1Reg) && RegTy ==
MRI.getType(Op2Reg) &&
1714 "Arguments and return value types must match");
1717 if (!RegRB || RegRB->
getID() != X86::GPRRegBankID)
1720 const static unsigned NumTypes = 4;
1721 const static unsigned NumOps = 7;
1722 const static bool S =
true;
1723 const static bool U =
false;
1724 const static unsigned Copy = TargetOpcode::COPY;
1734 const static struct MulDivRemEntry {
1736 unsigned SizeInBits;
1740 struct MulDivRemResult {
1741 unsigned OpMulDivRem;
1742 unsigned OpSignExtend;
1749 } OpTable[NumTypes] = {
1754 {X86::IDIV8r, 0, X86::MOVSX16rr8, X86::AL, S},
1755 {X86::IDIV8r, 0, X86::MOVSX16rr8, X86::AH, S},
1756 {X86::DIV8r, 0, X86::MOVZX16rr8, X86::AL,
U},
1757 {X86::DIV8r, 0, X86::MOVZX16rr8, X86::AH,
U},
1758 {X86::IMUL8r, 0, X86::MOVSX16rr8, X86::AL, S},
1759 {X86::IMUL8r, 0, X86::MOVSX16rr8, X86::AH, S},
1760 {X86::MUL8r, 0, X86::MOVZX16rr8, X86::AH,
U},
1766 {X86::IDIV16r, X86::CWD,
Copy, X86::AX, S},
1767 {X86::IDIV16r, X86::CWD,
Copy, X86::DX, S},
1768 {X86::DIV16r, X86::MOV32r0,
Copy, X86::AX,
U},
1769 {X86::DIV16r, X86::MOV32r0,
Copy, X86::DX,
U},
1770 {X86::IMUL16r, X86::MOV32r0,
Copy, X86::AX, S},
1771 {X86::IMUL16r, X86::MOV32r0,
Copy, X86::DX, S},
1772 {X86::MUL16r, X86::MOV32r0,
Copy, X86::DX,
U},
1778 {X86::IDIV32r, X86::CDQ,
Copy, X86::EAX, S},
1779 {X86::IDIV32r, X86::CDQ,
Copy, X86::EDX, S},
1780 {X86::DIV32r, X86::MOV32r0,
Copy, X86::EAX,
U},
1781 {X86::DIV32r, X86::MOV32r0,
Copy, X86::EDX,
U},
1782 {X86::IMUL32r, X86::MOV32r0,
Copy, X86::EAX, S},
1783 {X86::IMUL32r, X86::MOV32r0,
Copy, X86::EDX, S},
1784 {X86::MUL32r, X86::MOV32r0,
Copy, X86::EDX,
U},
1790 {X86::IDIV64r, X86::CQO,
Copy, X86::RAX, S},
1791 {X86::IDIV64r, X86::CQO,
Copy, X86::RDX, S},
1792 {X86::DIV64r, X86::MOV32r0,
Copy, X86::RAX,
U},
1793 {X86::DIV64r, X86::MOV32r0,
Copy, X86::RDX,
U},
1794 {X86::IMUL64r, X86::MOV32r0,
Copy, X86::RAX, S},
1795 {X86::IMUL64r, X86::MOV32r0,
Copy, X86::RDX, S},
1796 {X86::MUL64r, X86::MOV32r0,
Copy, X86::RDX,
U},
1800 auto OpEntryIt =
llvm::find_if(OpTable, [RegTy](
const MulDivRemEntry &El) {
1803 if (OpEntryIt == std::end(OpTable))
1807 switch (
I.getOpcode()) {
1810 case TargetOpcode::G_SDIV:
1813 case TargetOpcode::G_SREM:
1816 case TargetOpcode::G_UDIV:
1819 case TargetOpcode::G_UREM:
1822 case TargetOpcode::G_MUL:
1825 case TargetOpcode::G_SMULH:
1828 case TargetOpcode::G_UMULH:
1833 const MulDivRemEntry &
TypeEntry = *OpEntryIt;
1834 const MulDivRemEntry::MulDivRemResult &OpEntry =
1837 const TargetRegisterClass *RegRC =
getRegClass(RegTy, *RegRB);
1847 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(OpEntry.OpCopy),
1852 if (OpEntry.OpSignExtend) {
1853 if (OpEntry.IsOpSigned)
1855 TII.get(OpEntry.OpSignExtend));
1857 Register Zero32 =
MRI.createVirtualRegister(&X86::GR32RegClass);
1858 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::MOV32r0),
1867 .
addReg(Zero32, {}, X86::sub_16bit);
1874 TII.get(TargetOpcode::SUBREG_TO_REG),
TypeEntry.HighInReg)
1882 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(OpEntry.OpMulDivRem))
1893 if (OpEntry.ResultReg == X86::AH && STI.is64Bit()) {
1894 Register SourceSuperReg =
MRI.createVirtualRegister(&X86::GR16RegClass);
1895 Register ResultSuperReg =
MRI.createVirtualRegister(&X86::GR16RegClass);
1896 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(Copy), SourceSuperReg)
1900 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(X86::SHR16ri),
1906 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(TargetOpcode::COPY),
1908 .
addReg(ResultSuperReg, {}, X86::sub_8bit);
1910 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(TargetOpcode::COPY),
1912 .
addReg(OpEntry.ResultReg);
1914 I.eraseFromParent();
1919bool X86InstructionSelector::selectSelect(MachineInstr &
I,
1920 MachineRegisterInfo &
MRI,
1921 MachineFunction &MF)
const {
1929 LLT Ty =
MRI.getType(DstReg);
1940 OpCmp = X86::CMOV_GR8;
1943 OpCmp = STI.
canUseCMOV() ? X86::CMOV16rr : X86::CMOV_GR16;
1946 OpCmp = STI.
canUseCMOV() ? X86::CMOV32rr : X86::CMOV_GR32;
1950 OpCmp = X86::CMOV64rr;
1968InstructionSelector::ComplexRendererFns
1969X86InstructionSelector::selectAddr(MachineOperand &Root)
const {
1971 MachineIRBuilder MIRBuilder(*
MI);
1973 MachineRegisterInfo &
MRI =
MI->getMF()->getRegInfo();
1974 MachineInstr *Ptr =
MRI.getVRegDef(Root.
getReg());
1979 return std::nullopt;
1982 {[=](MachineInstrBuilder &MIB) {
1987 "Unknown type of address base");
1992 [=](MachineInstrBuilder &MIB) { MIB.addImm(AM.
Scale); },
1994 [=](MachineInstrBuilder &MIB) { MIB.addUse(0); },
1996 [=](MachineInstrBuilder &MIB) {
2002 MIB.addImm(AM.
Disp);
2005 [=](MachineInstrBuilder &MIB) { MIB.addUse(0); }}};
2008InstructionSelector *
2012 return new X86InstructionSelector(TM, Subtarget, RBI);
unsigned const MachineRegisterInfo * MRI
static const TargetRegisterClass * getRegClass(const MachineInstr &MI, Register Reg)
#define GET_GLOBALISEL_PREDICATES_INIT
#define GET_GLOBALISEL_TEMPORARIES_INIT
static bool selectCopy(MachineInstr &I, const TargetInstrInfo &TII, MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI)
static bool selectDebugInstr(MachineInstr &I, MachineRegisterInfo &MRI, const RegisterBankInfo &RBI)
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static bool selectMergeValues(MachineInstrBuilder &MIB, const ARMBaseInstrInfo &TII, MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI)
static bool selectUnmergeValues(MachineInstrBuilder &MIB, const ARMBaseInstrInfo &TII, MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI)
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Declares convenience wrapper classes for interpreting MachineInstr instances as specific generic oper...
const HexagonInstrInfo * TII
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
Implement a low-level type suitable for MachineInstr level instruction selection.
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
Register const TargetRegisterInfo * TRI
Promote Memory to Register
static unsigned selectLoadStoreOp(unsigned GenericOpc, unsigned RegBankID, unsigned OpSize)
static StringRef getName(Value *V)
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
static bool X86SelectAddress(MachineInstr &I, const X86TargetMachine &TM, const MachineRegisterInfo &MRI, const X86Subtarget &STI, X86AddressMode &AM)
static bool canTurnIntoCOPY(const TargetRegisterClass *DstRC, const TargetRegisterClass *SrcRC)
static unsigned getLeaOP(LLT Ty, const X86Subtarget &STI)
static const TargetRegisterClass * getRegClassFromGRPhysReg(Register Reg)
This file declares the targeting of the RegisterBankInfo class for X86.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ FCMP_OEQ
0 0 0 1 True if ordered and equal
@ FCMP_UNE
1 1 1 0 True if unordered or not equal
Register getCondReg() const
Register getFalseReg() const
Register getTrueReg() const
Register getReg(unsigned Idx) const
Access the Idx'th operand as a register and return it.
constexpr bool isScalar() const
static constexpr LLT scalar(unsigned SizeInBits)
Get a low-level scalar or aggregate "bag of bits".
constexpr bool isVector() const
static constexpr LLT pointer(unsigned AddressSpace, unsigned SizeInBits)
Get a low-level pointer in the given address space.
constexpr TypeSize getSizeInBits() const
Returns the total size of the type. Must only be called on sized types.
constexpr bool isPointer() const
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
unsigned getConstantPoolIndex(const Constant *C, Align Alignment)
getConstantPoolIndex - Create a new entry in the constant pool or return an existing one.
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.
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.
MachineConstantPool * getConstantPool()
getConstantPool - Return the constant pool object for the current function.
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 & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & addConstantPoolIndex(unsigned Idx, int Offset=0, unsigned TargetFlags=0) const
const MachineInstrBuilder & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
const MachineInstrBuilder & addDef(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a virtual register definition operand.
const MachineInstrBuilder & addMemOperand(MachineMemOperand *MMO) const
Representation of each machine instruction.
const MachineBasicBlock * getParent() const
const DebugLoc & getDebugLoc() const
Returns the debug location id of this MachineInstr.
LLVM_ABI void eraseFromParent()
Unlink 'this' from the containing basic block and delete it.
@ MOLoad
The memory access reads data.
MachineOperand class - Representation of each machine instruction operand.
LLVM_ABI void ChangeToImmediate(int64_t ImmVal, unsigned TargetFlags=0)
ChangeToImmediate - Replace this operand with a new immediate operand of the specified value.
MachineInstr * getParent()
getParent - Return the instruction that this operand belongs to.
Register getReg() const
getReg - Returns the register number.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
static const TargetRegisterClass * constrainGenericRegister(Register Reg, const TargetRegisterClass &RC, MachineRegisterInfo &MRI)
Constrain the (possibly generic) virtual register Reg to RC.
const RegisterBank & getRegBank(unsigned ID)
Get the register bank identified by ID.
TypeSize getSizeInBits(Register Reg, const MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI) const
Get the size in bits of Reg.
This class implements the register bank concept.
unsigned getID() const
Get the identifier of this register bank.
Wrapper class representing virtual and physical registers.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
CodeModel::Model getCodeModel() const
Returns the code model.
bool hasSubClassEq(const TargetRegisterClass *RC) const
Returns true if RC is a sub-class of or equal to this class.
Type * getType() const
All values are typed, get the type of this value.
Register getGlobalBaseReg(MachineFunction *MF) const
getGlobalBaseReg - Return a virtual register initialized with the the global base register value.
This class provides the information for the target register banks.
bool isTarget64BitILP32() const
Is this x86_64 with the ILP32 programming model (x32 ABI)?
const X86InstrInfo * getInstrInfo() const override
unsigned char classifyGlobalReference(const GlobalValue *GV, const Module &M) const
bool isPICStyleRIPRel() const
unsigned char classifyLocalReference(const GlobalValue *GV) const
Classify a global variable reference for the current subtarget according to how we should reference i...
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Align[]
Key for Kernel::Arg::Metadata::mAlign.
Predicate
Predicate - These are "(BI << 5) | BO" for various predicates.
@ X86
Windows x64, Windows Itanium (IA-64)
@ MO_GOTOFF
MO_GOTOFF - On a symbol operand this indicates that the immediate is the offset to the location of th...
@ MO_PIC_BASE_OFFSET
MO_PIC_BASE_OFFSET - On a symbol operand this indicates that the immediate should get the value of th...
std::pair< CondCode, bool > getX86ConditionCode(CmpInst::Predicate Predicate)
Return a pair of condition code for the given predicate and whether the instruction operands should b...
StringMapEntry< std::atomic< TypeEntryBody * > > TypeEntry
NodeAddr< DefNode * > Def
This is an optimization pass for GlobalISel generic memory operations.
static bool isGlobalStubReference(unsigned char TargetFlag)
isGlobalStubReference - Return true if the specified TargetFlag operand is a reference to a stub for ...
static bool isGlobalRelativeToPICBase(unsigned char TargetFlag)
isGlobalRelativeToPICBase - Return true if the specified global value reference is relative to a 32-b...
PointerUnion< const TargetRegisterClass *, const RegisterBank * > RegClassOrRegBank
Convenient type to represent either a register class or a register bank.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
LLVM_ABI std::optional< APInt > getIConstantVRegVal(Register VReg, const MachineRegisterInfo &MRI)
If VReg is defined by a G_CONSTANT, return the corresponding value.
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI void constrainSelectedInstRegOperands(MachineInstr &I, const TargetInstrInfo &TII, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI)
Mutate the newly-selected instruction I to constrain its (possibly generic) virtual register operands...
bool isPreISelGenericOpcode(unsigned Opcode)
Check whether the given Opcode is a generic opcode that is not supposed to appear after ISel.
static const MachineInstrBuilder & addConstantPoolReference(const MachineInstrBuilder &MIB, unsigned CPI, Register GlobalBaseReg, unsigned char OpFlags)
addConstantPoolReference - This function is used to add a reference to the base of a constant value s...
auto dyn_cast_if_present(const Y &Val)
dyn_cast_if_present<X> - Functionally identical to dyn_cast, except that a null (or none in the case ...
static const MachineInstrBuilder & addFullAddress(const MachineInstrBuilder &MIB, const X86AddressMode &AM)
LLVM_ABI std::optional< int64_t > getIConstantVRegSExtVal(Register VReg, const MachineRegisterInfo &MRI)
If VReg is defined by a G_CONSTANT fits in int64_t returns it.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
static const MachineInstrBuilder & addOffset(const MachineInstrBuilder &MIB, int Offset)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
static const MachineInstrBuilder & addDirectMem(const MachineInstrBuilder &MIB, Register Reg)
addDirectMem - This function is used to add a direct memory reference to the current instruction – th...
InstructionSelector * createX86InstructionSelector(const X86TargetMachine &TM, const X86Subtarget &, const X86RegisterBankInfo &)
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.
static LLVM_ABI MachinePointerInfo getConstantPool(MachineFunction &MF)
Return a MachinePointerInfo record that refers to the constant pool.
X86AddressMode - This struct holds a generalized full x86 address mode.
union llvm::X86AddressMode::BaseUnion Base
enum llvm::X86AddressMode::@202116273335065351270200035056227005202106004277 BaseType