42#define DEBUG_TYPE "globalisel-utils"
64 assert(Reg.isVirtual() &&
"PhysReg not implemented");
74 if (ConstrainedReg != Reg) {
81 TII.get(TargetOpcode::COPY), ConstrainedReg)
86 TII.get(TargetOpcode::COPY), Reg)
90 Observer->changingInstr(*RegMO.
getParent());
92 RegMO.
setReg(ConstrainedReg);
94 Observer->changedInstr(*RegMO.
getParent());
100 Observer->changedInstr(*RegDef);
102 Observer->changingAllUsesOfReg(MRI, Reg);
103 Observer->finishedChangingAllUsesOfReg();
106 return ConstrainedReg;
116 assert(Reg.isVirtual() &&
"PhysReg not implemented");
129 if (
const auto *SubRC =
TRI.getCommonSubClass(
130 OpRC,
TRI.getConstrainedRegClassForOperand(RegMO, MRI)))
133 OpRC =
TRI.getAllocatableClass(OpRC);
138 "Register class constraint is required unless either the "
139 "instruction is target independent or the operand is a use");
161 "A selected instruction is expected");
166 for (
unsigned OpI = 0, OpE =
I.getNumExplicitOperands(); OpI != OpE; ++OpI) {
177 if (Reg.isPhysical())
193 int DefIdx =
I.getDesc().getOperandConstraint(OpI,
MCOI::TIED_TO);
194 if (DefIdx != -1 && !
I.isRegTiedToUseOperand(DefIdx))
195 I.tieOperands(DefIdx, OpI);
226 for (
const auto &MO :
MI.all_defs()) {
231 return MI.wouldBeTriviallyDead();
238 bool IsGlobalISelAbortEnabled =
240 bool IsFatal = Severity ==
DS_Error && IsGlobalISelAbortEnabled;
243 if (!R.getLocation().isValid() || IsFatal)
244 R << (
" (in function: " + MF.
getName() +
")").str();
270 MI.getDebugLoc(),
MI.getParent());
281 case TargetOpcode::G_SMIN:
282 return TargetOpcode::G_SMAX;
283 case TargetOpcode::G_SMAX:
284 return TargetOpcode::G_SMIN;
285 case TargetOpcode::G_UMIN:
286 return TargetOpcode::G_UMAX;
287 case TargetOpcode::G_UMAX:
288 return TargetOpcode::G_UMIN;
298 assert((!ValAndVReg || ValAndVReg->VReg == VReg) &&
299 "Value found while looking through instrs");
302 return ValAndVReg->Value;
308 assert((Const && Const->getOpcode() == TargetOpcode::G_CONSTANT) &&
309 "expected a G_CONSTANT on Reg");
310 return Const->getOperand(1).getCImm()->getValue();
313std::optional<int64_t>
316 if (Val && Val->getBitWidth() <= 64)
317 return Val->getSExtValue();
335std::optional<ValueAndVReg>
337 bool LookThroughInstrs =
true,
338 bool LookThroughAnyExt =
false) {
344 switch (
MI->getOpcode()) {
345 case TargetOpcode::G_ANYEXT:
346 if (!LookThroughAnyExt)
349 case TargetOpcode::G_TRUNC:
350 case TargetOpcode::G_SEXT:
351 case TargetOpcode::G_ZEXT:
355 VReg =
MI->getOperand(1).getReg();
357 case TargetOpcode::COPY:
358 VReg =
MI->getOperand(1).getReg();
362 case TargetOpcode::G_INTTOPTR:
363 VReg =
MI->getOperand(1).getReg();
369 if (!
MI || !IsConstantOpcode(
MI))
373 if (!GetAPCstValue(
MI, Val))
375 for (
auto &Pair :
reverse(SeenOpcodes)) {
376 switch (Pair.first) {
377 case TargetOpcode::G_TRUNC:
378 Val = Val.
trunc(Pair.second);
380 case TargetOpcode::G_ANYEXT:
381 case TargetOpcode::G_SEXT:
382 Val = Val.
sext(Pair.second);
384 case TargetOpcode::G_ZEXT:
385 Val = Val.
zext(Pair.second);
396 return MI->getOpcode() == TargetOpcode::G_CONSTANT;
402 return MI->getOpcode() == TargetOpcode::G_FCONSTANT;
408 unsigned Opc =
MI->getOpcode();
409 return Opc == TargetOpcode::G_CONSTANT ||
Opc == TargetOpcode::G_FCONSTANT;
435 return getConstantVRegValWithLookThrough<isIConstant, getCImmAsAPInt>(
436 VReg, MRI, LookThroughInstrs);
441 bool LookThroughAnyExt) {
442 return getConstantVRegValWithLookThrough<isAnyConstant,
443 getCImmOrFPImmAsAPInt>(
444 VReg, MRI, LookThroughInstrs, LookThroughAnyExt);
450 getConstantVRegValWithLookThrough<isFConstant, getCImmOrFPImmAsAPInt>(
451 VReg, MRI, LookThroughInstrs);
463 if (TargetOpcode::G_FCONSTANT !=
MI->getOpcode())
465 return MI->getOperand(1).getFPImm();
468std::optional<DefinitionAndSourceRegister>
479 if (!DstTy.isValid())
484 auto SrcTy = MRI.
getType(SrcReg);
485 if (!SrcTy.isValid())
496 std::optional<DefinitionAndSourceRegister> DefSrcReg =
498 return DefSrcReg ? DefSrcReg->MI :
nullptr;
503 std::optional<DefinitionAndSourceRegister> DefSrcReg =
505 return DefSrcReg ? DefSrcReg->Reg :
Register();
512 for (
int i = 0; i < NumParts; ++i)
526 unsigned NumParts =
RegSize / MainSize;
527 unsigned LeftoverSize =
RegSize - NumParts * MainSize;
530 if (LeftoverSize == 0) {
531 for (
unsigned I = 0;
I < NumParts; ++
I)
545 unsigned LeftoverNumElts = RegNumElts % MainNumElts;
547 if (MainNumElts % LeftoverNumElts == 0 &&
548 RegNumElts % LeftoverNumElts == 0 &&
550 LeftoverNumElts > 1) {
555 extractParts(Reg, LeftoverTy, RegNumElts / LeftoverNumElts, UnmergeValues,
559 unsigned LeftoverPerMain = MainNumElts / LeftoverNumElts;
560 unsigned NumOfLeftoverVal =
561 ((RegNumElts % MainNumElts) / LeftoverNumElts);
565 for (
unsigned I = 0;
I < UnmergeValues.
size() - NumOfLeftoverVal;
I++) {
567 if (MergeValues.
size() == LeftoverPerMain) {
574 for (
unsigned I = UnmergeValues.
size() - NumOfLeftoverVal;
575 I < UnmergeValues.
size();
I++) {
586 for (
unsigned i = 0; i < RegPieces.
size() - 1; ++i)
589 LeftoverTy = MRI.
getType(LeftoverRegs[0]);
595 for (
unsigned I = 0;
I != NumParts; ++
I) {
621 unsigned LeftoverNumElts = RegNumElts % NumElts;
622 unsigned NumNarrowTyPieces = RegNumElts / NumElts;
625 if (LeftoverNumElts == 0)
626 return extractParts(Reg, NarrowTy, NumNarrowTyPieces, VRegs, MIRBuilder,
633 extractParts(Reg, EltTy, RegNumElts, Elts, MIRBuilder, MRI);
637 for (
unsigned i = 0; i < NumNarrowTyPieces; ++i,
Offset += NumElts) {
643 if (LeftoverNumElts == 1) {
684 const APInt &C1 = MaybeOp1Cst->Value;
685 const APInt &C2 = MaybeOp2Cst->Value;
689 case TargetOpcode::G_ADD:
691 case TargetOpcode::G_PTR_ADD:
695 case TargetOpcode::G_AND:
697 case TargetOpcode::G_ASHR:
699 case TargetOpcode::G_LSHR:
701 case TargetOpcode::G_MUL:
703 case TargetOpcode::G_OR:
705 case TargetOpcode::G_SHL:
707 case TargetOpcode::G_SUB:
709 case TargetOpcode::G_XOR:
711 case TargetOpcode::G_UDIV:
712 if (!C2.getBoolValue())
715 case TargetOpcode::G_SDIV:
716 if (!C2.getBoolValue())
719 case TargetOpcode::G_UREM:
720 if (!C2.getBoolValue())
723 case TargetOpcode::G_SREM:
724 if (!C2.getBoolValue())
727 case TargetOpcode::G_SMIN:
729 case TargetOpcode::G_SMAX:
731 case TargetOpcode::G_UMIN:
733 case TargetOpcode::G_UMAX:
740std::optional<APFloat>
754 case TargetOpcode::G_FADD:
757 case TargetOpcode::G_FSUB:
760 case TargetOpcode::G_FMUL:
763 case TargetOpcode::G_FDIV:
766 case TargetOpcode::G_FREM:
769 case TargetOpcode::G_FCOPYSIGN:
772 case TargetOpcode::G_FMINNUM:
774 case TargetOpcode::G_FMAXNUM:
776 case TargetOpcode::G_FMINIMUM:
778 case TargetOpcode::G_FMAXIMUM:
780 case TargetOpcode::G_FMINIMUMNUM:
782 case TargetOpcode::G_FMAXIMUMNUM:
784 case TargetOpcode::G_FMINNUM_IEEE:
785 case TargetOpcode::G_FMAXNUM_IEEE:
807 auto [Dst, DstTy, Src, SrcTy] = Bitcast->getFirst2RegLLTs();
808 if (!SrcTy.isVector() || !DstTy.isVector())
810 if (SrcTy.getElementCount() != DstTy.getElementCount())
812 if (SrcTy.getScalarSizeInBits() != DstTy.getScalarSizeInBits())
831 for (
unsigned Idx = 0, E = SrcVec1->getNumSources(); Idx < E; ++Idx) {
833 SrcVec2->getSourceReg(Idx), MRI);
838 return FoldedElements;
852 return V->getPointerAlignment(M->getDataLayout());
870 assert(Def->getParent() == &EntryMBB &&
"live-in copy not in entry block");
899 case TargetOpcode::G_SEXT_INREG: {
901 return MaybeOp1Cst->trunc(Imm).sext(Ty.getScalarSizeInBits());
918 case TargetOpcode::G_SEXT:
919 return Val->sext(DstSize);
920 case TargetOpcode::G_ZEXT:
921 case TargetOpcode::G_ANYEXT:
923 return Val->zext(DstSize);
931std::optional<APFloat>
934 assert(Opcode == TargetOpcode::G_SITOFP || Opcode == TargetOpcode::G_UITOFP);
948 auto Fold = [Opcode, EltBits](
const APInt &V) ->
APInt {
950 case TargetOpcode::G_CTLZ:
951 case TargetOpcode::G_CTLZ_ZERO_POISON:
952 return APInt(EltBits, V.countl_zero());
953 case TargetOpcode::G_CTTZ:
954 case TargetOpcode::G_CTTZ_ZERO_POISON:
955 return APInt(EltBits, V.countr_zero());
956 case TargetOpcode::G_CTPOP:
957 return APInt(EltBits, V.popcount());
958 case TargetOpcode::G_ABS:
960 case TargetOpcode::G_BSWAP:
962 case TargetOpcode::G_BITREVERSE:
963 return V.reverseBits();
968 auto tryFoldScalar = [&](
Register R) -> std::optional<APInt> {
970 return Fold(*MaybeCst);
978 for (
unsigned SrcIdx = 0; SrcIdx < BV->getNumSources(); ++SrcIdx) {
979 if (
auto MaybeFold = tryFoldScalar(BV->getSourceReg(SrcIdx))) {
987 if (
auto MaybeCst = tryFoldScalar(Src))
988 return {std::move(*MaybeCst)};
992std::optional<SmallVector<APInt>>
994 unsigned DstScalarSizeInBits,
unsigned ExtOp,
996 assert(ExtOp == TargetOpcode::G_SEXT || ExtOp == TargetOpcode::G_ZEXT ||
997 ExtOp == TargetOpcode::G_ANYEXT);
1001 auto GetICmpResultCst = [&](
bool IsTrue) {
1003 return ExtOp == TargetOpcode::G_SEXT
1009 auto TryFoldScalar = [&](
Register LHS,
Register RHS) -> std::optional<APInt> {
1012 return std::nullopt;
1015 return std::nullopt;
1019 return GetICmpResultCst(LHSCst->eq(*RHSCst));
1021 return GetICmpResultCst(LHSCst->ne(*RHSCst));
1023 return GetICmpResultCst(LHSCst->ugt(*RHSCst));
1025 return GetICmpResultCst(LHSCst->uge(*RHSCst));
1027 return GetICmpResultCst(LHSCst->ult(*RHSCst));
1029 return GetICmpResultCst(LHSCst->ule(*RHSCst));
1031 return GetICmpResultCst(LHSCst->sgt(*RHSCst));
1033 return GetICmpResultCst(LHSCst->sge(*RHSCst));
1035 return GetICmpResultCst(LHSCst->slt(*RHSCst));
1037 return GetICmpResultCst(LHSCst->sle(*RHSCst));
1039 return std::nullopt;
1045 if (Ty.isVector()) {
1050 return std::nullopt;
1051 assert(BV1->getNumSources() == BV2->getNumSources() &&
"Invalid vectors");
1052 for (
unsigned I = 0;
I < BV1->getNumSources(); ++
I) {
1053 if (
auto MaybeFold =
1054 TryFoldScalar(BV1->getSourceReg(
I), BV2->getSourceReg(
I))) {
1058 return std::nullopt;
1063 if (
auto MaybeCst = TryFoldScalar(Op1, Op2)) {
1068 return std::nullopt;
1073 std::optional<DefinitionAndSourceRegister> DefSrcReg =
1081 switch (
MI.getOpcode()) {
1082 case TargetOpcode::G_CONSTANT: {
1083 unsigned BitWidth = Ty.getScalarSizeInBits();
1087 case TargetOpcode::G_SHL: {
1099 case TargetOpcode::G_LSHR: {
1101 if (ConstLHS->isSignMask())
1107 case TargetOpcode::G_BUILD_VECTOR: {
1116 case TargetOpcode::G_BUILD_VECTOR_TRUNC: {
1119 const unsigned BitWidth = Ty.getScalarSizeInBits();
1122 if (!Const || !Const->zextOrTrunc(
BitWidth).isPowerOf2())
1163 "getLCMType not implemented between fixed and scalable vectors.");
1183 LLT VecTy = OrigTy.
isVector() ? OrigTy : TargetTy;
1184 LLT ScalarTy = OrigTy.
isVector() ? TargetTy : OrigTy;
1219 "getCoverTy not implemented between fixed and scalable vectors.");
1227 if (OrigTyNumElts % TargetTyNumElts == 0)
1230 unsigned NumElts =
alignTo(OrigTyNumElts, TargetTyNumElts);
1250 "getGCDType not implemented between fixed and scalable vectors.");
1290 assert(
MI.getOpcode() == TargetOpcode::G_SHUFFLE_VECTOR &&
1291 "Only G_SHUFFLE_VECTOR can have a splat index!");
1293 auto FirstDefinedIdx =
find_if(Mask, [](
int Elt) {
return Elt >= 0; });
1297 if (FirstDefinedIdx == Mask.end())
1302 int SplatValue = *FirstDefinedIdx;
1304 [&SplatValue](
int Elt) { return Elt >= 0 && Elt != SplatValue; }))
1305 return std::nullopt;
1311 return Opcode == TargetOpcode::G_BUILD_VECTOR ||
1312 Opcode == TargetOpcode::G_BUILD_VECTOR_TRUNC;
1317std::optional<ValueAndVReg> getAnyConstantSplat(
Register VReg,
1322 return std::nullopt;
1324 bool isConcatVectorsOp =
MI->getOpcode() == TargetOpcode::G_CONCAT_VECTORS;
1326 return std::nullopt;
1328 std::optional<ValueAndVReg> SplatValAndReg;
1333 auto ElementValAndReg =
1335 ? getAnyConstantSplat(Element, MRI, AllowUndef)
1339 if (!ElementValAndReg) {
1342 return std::nullopt;
1346 if (!SplatValAndReg)
1347 SplatValAndReg = ElementValAndReg;
1350 if (SplatValAndReg->Value != ElementValAndReg->Value)
1351 return std::nullopt;
1354 return SplatValAndReg;
1361 int64_t SplatValue,
bool AllowUndef) {
1362 if (
auto SplatValAndReg = getAnyConstantSplat(Reg, MRI, AllowUndef))
1363 return SplatValAndReg->Value.getSExtValue() == SplatValue;
1370 const APInt &SplatValue,
1372 if (
auto SplatValAndReg = getAnyConstantSplat(Reg, MRI, AllowUndef)) {
1373 if (SplatValAndReg->Value.getBitWidth() < SplatValue.
getBitWidth())
1375 SplatValAndReg->Value.sext(SplatValue.
getBitWidth()), SplatValue);
1377 SplatValAndReg->Value,
1378 SplatValue.
sext(SplatValAndReg->Value.getBitWidth()));
1386 int64_t SplatValue,
bool AllowUndef) {
1393 const APInt &SplatValue,
1401 if (
auto SplatValAndReg =
1402 getAnyConstantSplat(Reg, MRI,
false)) {
1403 if (std::optional<ValueAndVReg> ValAndVReg =
1405 return ValAndVReg->Value;
1408 return std::nullopt;
1417std::optional<int64_t>
1420 if (
auto SplatValAndReg =
1421 getAnyConstantSplat(Reg, MRI,
false))
1423 return std::nullopt;
1426std::optional<int64_t>
1432std::optional<FPValueAndVReg>
1435 if (
auto SplatValAndReg = getAnyConstantSplat(VReg, MRI, AllowUndef))
1437 return std::nullopt;
1452std::optional<RegOrConstant>
1454 unsigned Opc =
MI.getOpcode();
1456 return std::nullopt;
1459 auto Reg =
MI.getOperand(1).getReg();
1462 return std::nullopt;
1468 bool AllowFP =
true,
1469 bool AllowOpaqueConstants =
true) {
1470 switch (
MI.getOpcode()) {
1471 case TargetOpcode::G_CONSTANT:
1472 case TargetOpcode::G_IMPLICIT_DEF:
1474 case TargetOpcode::G_FCONSTANT:
1476 case TargetOpcode::G_GLOBAL_VALUE:
1477 case TargetOpcode::G_FRAME_INDEX:
1478 case TargetOpcode::G_BLOCK_ADDR:
1479 case TargetOpcode::G_JUMP_TABLE:
1480 return AllowOpaqueConstants;
1494 for (
unsigned SrcIdx = 0; SrcIdx < BV->
getNumSources(); ++SrcIdx) {
1505 bool AllowFP,
bool AllowOpaqueConstants) {
1512 const unsigned NumOps =
MI.getNumOperands();
1513 for (
unsigned I = 1;
I !=
NumOps; ++
I) {
1530 return std::nullopt;
1532 return APInt(ScalarSize, *MaybeCst,
true);
1535std::optional<APFloat>
1540 return FpConst->Value;
1543 return std::nullopt;
1544 return MaybeCstFP->Value;
1549 switch (
MI.getOpcode()) {
1550 case TargetOpcode::G_IMPLICIT_DEF:
1552 case TargetOpcode::G_CONSTANT:
1553 return MI.getOperand(1).getCImm()->isNullValue();
1554 case TargetOpcode::G_FCONSTANT: {
1568 switch (
MI.getOpcode()) {
1569 case TargetOpcode::G_IMPLICIT_DEF:
1571 case TargetOpcode::G_CONSTANT:
1572 return MI.getOperand(1).getCImm()->isAllOnesValue();
1582 std::function<
bool(
const Constant *ConstVal)> Match,
bool AllowUndefs) {
1585 if (AllowUndefs && Def->getOpcode() == TargetOpcode::G_IMPLICIT_DEF)
1586 return Match(
nullptr);
1589 if (Def->getOpcode() == TargetOpcode::G_CONSTANT)
1590 return Match(Def->getOperand(1).getCImm());
1592 if (Def->getOpcode() != TargetOpcode::G_BUILD_VECTOR)
1595 for (
unsigned I = 1, E = Def->getNumOperands();
I != E; ++
I) {
1596 Register SrcElt = Def->getOperand(
I).getReg();
1598 if (AllowUndefs && SrcDef->
getOpcode() == TargetOpcode::G_IMPLICIT_DEF) {
1599 if (!Match(
nullptr))
1604 if (SrcDef->
getOpcode() != TargetOpcode::G_CONSTANT ||
1626 bool IsVector,
bool IsFP) {
1653 if (
Op.isReg() &&
Op.getReg().isVirtual())
1658 MI.eraseFromParent();
1670 while (!DeadInstChain.
empty()) {
1684 for (
auto &Def :
MI.defs()) {
1685 assert(Def.isReg() &&
"Must be a reg");
1696 if (!DbgUsers.
empty()) {
1704 case TargetOpcode::G_FABS:
1705 case TargetOpcode::G_FADD:
1706 case TargetOpcode::G_FCANONICALIZE:
1707 case TargetOpcode::G_FCEIL:
1708 case TargetOpcode::G_FCONSTANT:
1709 case TargetOpcode::G_FCOPYSIGN:
1710 case TargetOpcode::G_FCOS:
1711 case TargetOpcode::G_FDIV:
1712 case TargetOpcode::G_FEXP2:
1713 case TargetOpcode::G_FEXP:
1714 case TargetOpcode::G_FFLOOR:
1715 case TargetOpcode::G_FLOG10:
1716 case TargetOpcode::G_FLOG2:
1717 case TargetOpcode::G_FLOG:
1718 case TargetOpcode::G_FMA:
1719 case TargetOpcode::G_FMAD:
1720 case TargetOpcode::G_FMAXIMUM:
1721 case TargetOpcode::G_FMAXIMUMNUM:
1722 case TargetOpcode::G_FMAXNUM:
1723 case TargetOpcode::G_FMAXNUM_IEEE:
1724 case TargetOpcode::G_FMINIMUM:
1725 case TargetOpcode::G_FMINIMUMNUM:
1726 case TargetOpcode::G_FMINNUM:
1727 case TargetOpcode::G_FMINNUM_IEEE:
1728 case TargetOpcode::G_FMUL:
1729 case TargetOpcode::G_FNEARBYINT:
1730 case TargetOpcode::G_FNEG:
1731 case TargetOpcode::G_FPEXT:
1732 case TargetOpcode::G_FPEXTLOAD:
1733 case TargetOpcode::G_FPOW:
1734 case TargetOpcode::G_FPTRUNC:
1735 case TargetOpcode::G_FPTRUNCSTORE:
1736 case TargetOpcode::G_FREM:
1737 case TargetOpcode::G_FRINT:
1738 case TargetOpcode::G_FSIN:
1739 case TargetOpcode::G_FTAN:
1740 case TargetOpcode::G_FACOS:
1741 case TargetOpcode::G_FASIN:
1742 case TargetOpcode::G_FATAN:
1743 case TargetOpcode::G_FATAN2:
1744 case TargetOpcode::G_FCOSH:
1745 case TargetOpcode::G_FSINH:
1746 case TargetOpcode::G_FTANH:
1747 case TargetOpcode::G_FSQRT:
1748 case TargetOpcode::G_FSUB:
1749 case TargetOpcode::G_INTRINSIC_ROUND:
1750 case TargetOpcode::G_INTRINSIC_ROUNDEVEN:
1751 case TargetOpcode::G_INTRINSIC_TRUNC:
1763 if (Ty.isScalableVector())
1766 if (Ty.isScalar()) {
1767 std::optional<ValueAndVReg> Val =
1771 return Val->Value.ult(Ty.getScalarSizeInBits());
1779 for (
unsigned I = 0;
I < Sources; ++
I) {
1780 std::optional<ValueAndVReg> Val =
1784 if (!Val->Value.ult(Ty.getScalarSizeInBits()))
1792 bool ConsiderFlagsAndMetadata,
1798 if (GMI->hasPoisonGeneratingFlags())
1803 case TargetOpcode::G_BUILD_VECTOR:
1804 case TargetOpcode::G_CONSTANT_FOLD_BARRIER:
1806 case TargetOpcode::G_SHL:
1807 case TargetOpcode::G_ASHR:
1808 case TargetOpcode::G_LSHR:
1811 case TargetOpcode::G_FPTOSI:
1812 case TargetOpcode::G_FPTOUI:
1816 case TargetOpcode::G_CTLZ:
1817 case TargetOpcode::G_CTTZ:
1818 case TargetOpcode::G_CTLS:
1819 case TargetOpcode::G_ABS:
1820 case TargetOpcode::G_CTPOP:
1821 case TargetOpcode::G_BSWAP:
1822 case TargetOpcode::G_BITREVERSE:
1823 case TargetOpcode::G_FSHL:
1824 case TargetOpcode::G_FSHR:
1825 case TargetOpcode::G_SMAX:
1826 case TargetOpcode::G_SMIN:
1827 case TargetOpcode::G_SCMP:
1828 case TargetOpcode::G_UMAX:
1829 case TargetOpcode::G_UMIN:
1830 case TargetOpcode::G_UCMP:
1831 case TargetOpcode::G_PTRMASK:
1832 case TargetOpcode::G_SADDO:
1833 case TargetOpcode::G_SSUBO:
1834 case TargetOpcode::G_UADDO:
1835 case TargetOpcode::G_USUBO:
1836 case TargetOpcode::G_SMULO:
1837 case TargetOpcode::G_UMULO:
1838 case TargetOpcode::G_SADDSAT:
1839 case TargetOpcode::G_UADDSAT:
1840 case TargetOpcode::G_SSUBSAT:
1841 case TargetOpcode::G_USUBSAT:
1842 case TargetOpcode::G_SBFX:
1843 case TargetOpcode::G_UBFX:
1845 case TargetOpcode::G_SSHLSAT:
1846 case TargetOpcode::G_USHLSAT:
1849 case TargetOpcode::G_INSERT_VECTOR_ELT: {
1852 std::optional<ValueAndVReg> Index =
1856 LLT VecTy = MRI.
getType(Insert->getVectorReg());
1861 case TargetOpcode::G_EXTRACT_VECTOR_ELT: {
1864 std::optional<ValueAndVReg> Index =
1873 case TargetOpcode::G_SHUFFLE_VECTOR: {
1878 case TargetOpcode::G_FNEG:
1879 case TargetOpcode::G_PHI:
1880 case TargetOpcode::G_SELECT:
1881 case TargetOpcode::G_UREM:
1882 case TargetOpcode::G_SREM:
1883 case TargetOpcode::G_FREEZE:
1884 case TargetOpcode::G_ICMP:
1885 case TargetOpcode::G_FCMP:
1886 case TargetOpcode::G_FADD:
1887 case TargetOpcode::G_FSUB:
1888 case TargetOpcode::G_FMUL:
1889 case TargetOpcode::G_FDIV:
1890 case TargetOpcode::G_FREM:
1891 case TargetOpcode::G_PTR_ADD:
1908 case TargetOpcode::G_FREEZE:
1910 case TargetOpcode::G_IMPLICIT_DEF:
1912 case TargetOpcode::G_CONSTANT:
1913 case TargetOpcode::G_FCONSTANT:
1915 case TargetOpcode::G_BUILD_VECTOR: {
1918 for (
unsigned I = 0;
I < NumSources; ++
I)
1924 case TargetOpcode::G_PHI: {
1926 unsigned NumIncoming = Phi->getNumIncomingValues();
1927 for (
unsigned I = 0;
I < NumIncoming; ++
I)
1937 return ::isGuaranteedNotToBeUndefOrPoison(MO.getReg(), MRI,
Depth + 1,
1948 bool ConsiderFlagsAndMetadata) {
1949 return ::canCreateUndefOrPoison(Reg, MRI, ConsiderFlagsAndMetadata,
1954 bool ConsiderFlagsAndMetadata =
true) {
1955 return ::canCreateUndefOrPoison(
Reg, MRI, ConsiderFlagsAndMetadata,
1962 return ::isGuaranteedNotToBeUndefOrPoison(Reg, MRI,
Depth,
1969 return ::isGuaranteedNotToBeUndefOrPoison(Reg, MRI,
Depth,
1976 return ::isGuaranteedNotToBeUndefOrPoison(Reg, MRI,
Depth,
1983 Ty.getElementCount());
1988 switch (
MI.getOpcode()) {
1991 case TargetOpcode::G_ASSERT_ALIGN:
1992 case TargetOpcode::G_ASSERT_SEXT:
1993 case TargetOpcode::G_ASSERT_ZEXT:
2004std::optional<GIConstant>
2009 std::optional<ValueAndVReg> MayBeConstant =
2012 return std::nullopt;
2018 unsigned NumSources = Build->getNumSources();
2019 for (
unsigned I = 0;
I < NumSources; ++
I) {
2020 Register SrcReg = Build->getSourceReg(
I);
2021 std::optional<ValueAndVReg> MayBeConstant =
2024 return std::nullopt;
2025 Values.push_back(MayBeConstant->Value);
2030 std::optional<ValueAndVReg> MayBeConstant =
2033 return std::nullopt;
2044std::optional<GFConstant>
2049 std::optional<FPValueAndVReg> MayBeConstant =
2052 return std::nullopt;
2058 unsigned NumSources = Build->getNumSources();
2059 for (
unsigned I = 0;
I < NumSources; ++
I) {
2060 Register SrcReg = Build->getSourceReg(
I);
2061 std::optional<FPValueAndVReg> MayBeConstant =
2064 return std::nullopt;
2065 Values.push_back(MayBeConstant->Value);
2070 std::optional<FPValueAndVReg> MayBeConstant =
2073 return std::nullopt;
MachineInstrBuilder MachineInstrBuilder & DefMI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file declares a class to represent arbitrary precision floating point values and provide a varie...
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static void reportGISelDiagnostic(DiagnosticSeverity Severity, MachineFunction &MF, MachineOptimizationRemarkEmitter &MORE, MachineOptimizationRemarkMissed &R)
static bool shiftAmountKnownInRange(Register ShiftAmount, const MachineRegisterInfo &MRI)
Shifts return poison if shiftwidth is larger than the bitwidth.
static bool isBuildVectorOp(unsigned Opcode)
static bool isConstantScalar(const MachineInstr &MI, const MachineRegisterInfo &MRI, bool AllowFP=true, bool AllowOpaqueConstants=true)
static GBuildVector * getBuildVectorLikeDef(Register Reg, const MachineRegisterInfo &MRI)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This contains common code to allow clients to notify changes to machine instr.
Provides analysis for querying information about KnownBits during GISel passes.
Declares convenience wrapper classes for interpreting MachineInstr instances as specific generic oper...
const HexagonInstrInfo * TII
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
Tracks DebugLocs between checkpoints and verifies that they are transferred.
Contains matchers for matching SSA Machine Instructions.
This file declares the MachineIRBuilder class.
Register const TargetRegisterInfo * TRI
Promote Memory to Register
MachineInstr unsigned OpIdx
uint64_t IntrinsicInst * II
This file describes how to lower LLVM code to machine code.
Target-Independent Code Generator Pass Configuration Options pass.
This file contains the UndefPoisonKind enum and helper functions.
static const char PassName[]
Class recording the (high level) value of a variable.
static constexpr roundingMode rmNearestTiesToEven
static const fltSemantics & IEEEhalf()
opStatus divide(const APFloat &RHS, roundingMode RM)
void copySign(const APFloat &RHS)
LLVM_ABI opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
opStatus subtract(const APFloat &RHS, roundingMode RM)
opStatus add(const APFloat &RHS, roundingMode RM)
opStatus convertFromAPInt(const APInt &Input, bool IsSigned, roundingMode RM)
opStatus multiply(const APFloat &RHS, roundingMode RM)
APInt bitcastToAPInt() const
opStatus mod(const APFloat &RHS)
Class for arbitrary precision integers.
LLVM_ABI APInt udiv(const APInt &RHS) const
Unsigned division operation.
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
LLVM_ABI APInt zext(unsigned width) const
Zero extend to a new width.
LLVM_ABI APInt zextOrTrunc(unsigned width) const
Zero extend or truncate to width.
LLVM_ABI APInt trunc(unsigned width) const
Truncate to new width.
LLVM_ABI APInt urem(const APInt &RHS) const
Unsigned remainder operation.
unsigned getBitWidth() const
Return the number of bits in the APInt.
LLVM_ABI APInt sdiv(const APInt &RHS) const
Signed division function for APInt.
LLVM_ABI APInt sextOrTrunc(unsigned width) const
Sign extend or truncate to width.
static bool isSameValue(const APInt &I1, const APInt &I2, bool SignedCompare=false)
Determine if two APInts have the same value, after zero-extending or sign-extending (if SignedCompare...
APInt ashr(unsigned ShiftAmt) const
Arithmetic right-shift function.
LLVM_ABI APInt srem(const APInt &RHS) const
Function for signed remainder operation.
LLVM_ABI APInt sext(unsigned width) const
Sign extend to a new width.
bool isPowerOf2() const
Check if this APInt's value is a power of two greater than zero.
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
static APInt getOneBitSet(unsigned numBits, unsigned BitNo)
Return an APInt with exactly one bit set in the result.
APInt lshr(unsigned shiftAmt) const
Logical right-shift function.
Represent the analysis usage information of a pass.
AnalysisUsage & addPreserved()
Add the specified Pass class to the set of analyses preserved by this pass.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
@ ICMP_SLT
signed less than
@ ICMP_SLE
signed less or equal
@ ICMP_UGE
unsigned greater or equal
@ ICMP_UGT
unsigned greater than
@ ICMP_SGT
signed greater than
@ ICMP_ULT
unsigned less than
@ ICMP_SGE
signed greater or equal
@ ICMP_ULE
unsigned less or equal
ConstantFP - Floating Point Values [float, double].
const APFloat & getValueAPF() const
bool isNegative() const
Return true if the sign bit is set.
bool isZero() const
Return true if the value is positive or negative zero.
This is the shared class of boolean and integer constants.
const APInt & getValue() const
Return the constant as an APInt value reference.
This is an important base class in LLVM.
static constexpr ElementCount getFixed(ScalarTy MinVal)
static constexpr ElementCount get(ScalarTy MinVal, bool Scalable)
Represents a G_BUILD_VECTOR.
static LLVM_ABI std::optional< GFConstant > getConstant(Register Const, const MachineRegisterInfo &MRI)
GFConstant(ArrayRef< APFloat > Values)
LLVM_ABI APFloat getScalarValue() const
Returns the value, if this constant is a scalar.
LLVM_ABI APInt getScalarValue() const
Returns the value, if this constant is a scalar.
static LLVM_ABI std::optional< GIConstant > getConstant(Register Const, const MachineRegisterInfo &MRI)
GIConstant(ArrayRef< APInt > Values)
Abstract class that contains various methods for clients to notify about changes.
KnownBits getKnownBits(Register R)
void insert(MachineInstr *I)
Add the specified instruction to the worklist if it isn't already in it.
MachineInstr * pop_back_val()
void remove(const MachineInstr *I)
Remove I from the worklist if it exists.
Represents an insert vector element.
Register getSourceReg(unsigned I) const
Returns the I'th source register.
unsigned getNumSources() const
Returns the number of source registers.
Represents a G_SHUFFLE_VECTOR.
ArrayRef< int > getMask() const
Represents a splat vector.
Module * getParent()
Get the module that this global value is contained inside of...
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
constexpr bool isScalableVector() const
Returns true if the LLT is a scalable vector.
constexpr unsigned getScalarSizeInBits() const
static constexpr LLT vector(ElementCount EC, unsigned ScalarSizeInBits)
Get a low-level vector of some number of elements and element width.
LLT getScalarType() const
static constexpr LLT scalar(unsigned SizeInBits)
Get a low-level scalar or aggregate "bag of bits".
constexpr bool isValid() const
constexpr uint16_t getNumElements() const
Returns the number of elements in a vector LLT.
constexpr bool isVector() const
constexpr bool isScalable() const
Returns true if the LLT is a scalable vector.
constexpr TypeSize getSizeInBits() const
Returns the total size of the type. Must only be called on sized types.
constexpr ElementCount getElementCount() const
static constexpr LLT fixed_vector(unsigned NumElements, unsigned ScalarSizeInBits)
Get a low-level fixed-width vector of some number of elements and element width.
constexpr bool isFixedVector() const
Returns true if the LLT is a fixed vector.
static LLT integer(unsigned SizeInBits)
LLT getElementType() const
Returns the vector's element type. Only valid for vector types.
static constexpr LLT scalarOrVector(ElementCount EC, LLT ScalarTy)
This is an important class for using LLVM in a threaded context.
void checkpoint(bool CheckDebugLocs=true)
Call this to indicate that it's a good point to assess whether locations have been lost.
Describe properties that are true of each instruction in the target description file.
Wrapper class representing physical registers. Should be passed by value.
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
MachineInstrBundleIterator< MachineInstr > iterator
LLVM_ABI bool isLiveIn(MCRegister Reg, LaneBitmask LaneMask=LaneBitmask::getAll()) const
Return true if the specified register is in the live in set.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
GISelChangeObserver * getObserver() const
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Function & getFunction()
Return the LLVM function that this machine code represents.
const MachineFunctionProperties & getProperties() const
Get the function properties.
const MachineBasicBlock & front() const
Register addLiveIn(MCRegister PReg, const TargetRegisterClass *RC)
addLiveIn - Add the specified physical register as a live-in value and create a corresponding virtual...
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
Helper class to build MachineInstr.
MachineInstrBuilder buildUnmerge(ArrayRef< LLT > Res, const SrcOp &Op)
Build and insert Res0, ... = G_UNMERGE_VALUES Op.
MachineInstrBuilder buildExtract(const DstOp &Res, const SrcOp &Src, uint64_t Index)
Build and insert Res0, ... = G_EXTRACT Src, Idx0.
MachineInstrBuilder buildMergeLikeInstr(const DstOp &Res, ArrayRef< Register > Ops)
Build and insert Res = G_MERGE_VALUES Op0, ... or Res = G_BUILD_VECTOR Op0, ... or Res = G_CONCAT_VEC...
Register getReg(unsigned Idx) const
Get the register for the operand index.
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
Representation of each machine instruction.
unsigned getOpcode() const
Returns the opcode of this MachineInstr.
const MachineBasicBlock * getParent() const
mop_range uses()
Returns all operands which may be register uses.
const DebugLoc & getDebugLoc() const
Returns the debug location id of this MachineInstr.
const MachineOperand & getOperand(unsigned i) const
MachineOperand class - Representation of each machine instruction operand.
const ConstantInt * getCImm() const
bool isCImm() const
isCImm - Test if this is a MO_CImmediate operand.
bool isReg() const
isReg - Tests if this is a MO_Register operand.
LLVM_ABI void setReg(Register Reg)
Change the register this operand corresponds to.
MachineInstr * getParent()
getParent - Return the instruction that this operand belongs to.
Register getReg() const
getReg - Returns the register number.
const ConstantFP * getFPImm() const
bool isFPImm() const
isFPImm - Tests if this is a MO_FPImmediate operand.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI MachineInstr * getVRegDef(Register Reg) const
getVRegDef - Return the machine instr that defines the specified virtual register or null if none is ...
bool use_nodbg_empty(Register RegNo) const
use_nodbg_empty - Return true if there are no non-Debug instructions using the specified register.
const RegClassOrRegBank & getRegClassOrRegBank(Register Reg) const
Return the register bank or register class of Reg.
def_iterator def_begin(Register RegNo) const
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
LLT getType(Register Reg) const
Get the low-level type of Reg or LLT{} if Reg is not a generic (target independent) virtual register.
LLVM_ABI void setType(Register VReg, LLT Ty)
Set the low-level type of VReg to Ty.
LLVM_ABI Register createGenericVirtualRegister(LLT Ty, StringRef Name="")
Create and return a new generic virtual register with low-level type Ty.
LLVM_ABI Register getLiveInVirtReg(MCRegister PReg) const
getLiveInVirtReg - If PReg is a live-in physical register, return the corresponding live-in virtual r...
const TargetRegisterClass * getRegClassOrNull(Register Reg) const
Return the register class of Reg, or null if Reg has not been assigned a register class yet.
static def_iterator def_end()
iterator_range< use_iterator > use_operands(Register Reg) const
A Module instance is used to store all the information related to an LLVM module.
Represents a value which can be a Register or a constant.
Holds all the information related to register banks.
static const TargetRegisterClass * constrainGenericRegister(Register Reg, const TargetRegisterClass &RC, MachineRegisterInfo &MRI)
Constrain the (possibly generic) virtual register Reg to RC.
Wrapper class representing virtual and physical registers.
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Represent a constant reference to a string, i.e.
TargetInstrInfo - Interface to description of machine instruction set.
BooleanContent getBooleanContents(bool isVec, bool isFloat) const
For targets without i1 registers, this gives the nature of the high-bits of boolean values held in ty...
@ ZeroOrOneBooleanContent
@ UndefinedBooleanContent
@ ZeroOrNegativeOneBooleanContent
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
GlobalISelAbortMode GlobalISelAbort
EnableGlobalISelAbort - Control abort behaviour when global instruction selection fails to lower/sele...
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM Value Representation.
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
constexpr ScalarTy getFixedValue() const
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
constexpr LeafTy multiplyCoefficientBy(ScalarTy RHS) const
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
const APInt & smin(const APInt &A, const APInt &B)
Determine the smaller of two APInts considered to be signed.
const APInt & smax(const APInt &A, const APInt &B)
Determine the larger of two APInts considered to be signed.
const APInt & umin(const APInt &A, const APInt &B)
Determine the smaller of two APInts considered to be unsigned.
const APInt & umax(const APInt &A, const APInt &B)
Determine the larger of two APInts considered to be unsigned.
@ C
The default llvm calling convention, compatible with C.
DiagnosticInfoMIROptimization::MachineArgument MNV
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI Register getFunctionLiveInPhysReg(MachineFunction &MF, const TargetInstrInfo &TII, MCRegister PhysReg, const TargetRegisterClass &RC, const DebugLoc &DL, LLT RegTy=LLT())
Return a virtual register corresponding to the incoming argument register PhysReg.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
LLVM_ABI std::optional< SmallVector< APInt > > ConstantFoldICmp(unsigned Pred, const Register Op1, const Register Op2, unsigned DstScalarSizeInBits, unsigned ExtOp, const MachineRegisterInfo &MRI)
LLVM_ABI bool isBuildVectorAllZeros(const MachineInstr &MI, const MachineRegisterInfo &MRI, bool AllowUndef=false)
Return true if the specified instruction is a G_BUILD_VECTOR or G_BUILD_VECTOR_TRUNC where all of the...
LLVM_ABI Type * getTypeForLLT(LLT Ty, LLVMContext &C)
Get the type back from LLT.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI Register constrainOperandRegClass(const MachineFunction &MF, const TargetRegisterInfo &TRI, MachineRegisterInfo &MRI, const TargetInstrInfo &TII, const RegisterBankInfo &RBI, MachineInstr &InsertPt, const TargetRegisterClass &RegClass, MachineOperand &RegMO)
Constrain the Register operand OpIdx, so that it is now constrained to the TargetRegisterClass passed...
LLVM_ABI MachineInstr * getOpcodeDef(unsigned Opcode, Register Reg, const MachineRegisterInfo &MRI)
See if Reg is defined by an single def instruction that is Opcode.
LLVM_ABI const ConstantFP * getConstantFPVRegVal(Register VReg, const MachineRegisterInfo &MRI)
LLVM_ABI bool canCreatePoison(const Operator *Op, bool ConsiderFlagsAndMetadata=true)
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.
LLVM_ABI std::optional< APFloat > ConstantFoldIntToFloat(unsigned Opcode, LLT DstTy, Register Src, const MachineRegisterInfo &MRI)
LLVM_ABI std::optional< APInt > getIConstantSplatVal(const Register Reg, const MachineRegisterInfo &MRI)
LLVM_ABI bool isAllOnesOrAllOnesSplat(const MachineInstr &MI, const MachineRegisterInfo &MRI, bool AllowUndefs=false)
Return true if the value is a constant -1 integer or a splatted vector of a constant -1 integer (with...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI const llvm::fltSemantics & getFltSemanticForLLT(LLT Ty)
Get the appropriate floating point arithmetic semantic based on the bit size of the given scalar LLT.
LLVM_ABI std::optional< APFloat > ConstantFoldFPBinOp(unsigned Opcode, const Register Op1, const Register Op2, const MachineRegisterInfo &MRI)
LLVM_ABI void salvageDebugInfo(const MachineRegisterInfo &MRI, MachineInstr &MI)
Assuming the instruction MI is going to be deleted, attempt to salvage debug users of MI by writing t...
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.
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 ...
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
LLVM_ABI std::optional< APInt > ConstantFoldExtOp(unsigned Opcode, const Register Op1, uint64_t Imm, const MachineRegisterInfo &MRI)
LLVM_ABI std::optional< RegOrConstant > getVectorSplat(const MachineInstr &MI, const MachineRegisterInfo &MRI)
LLVM_READONLY APFloat maximum(const APFloat &A, const APFloat &B)
Implements IEEE 754-2019 maximum semantics.
GISelWorkList< 4 > SmallInstListTy
LLVM_ABI std::optional< APInt > isConstantOrConstantSplatVector(MachineInstr &MI, const MachineRegisterInfo &MRI)
Determines if MI defines a constant integer or a splat vector of constant integers.
LLVM_ABI bool isNullOrNullSplat(const MachineInstr &MI, const MachineRegisterInfo &MRI, bool AllowUndefs=false)
Return true if the value is a constant 0 integer or a splatted vector of a constant 0 integer (with n...
LLVM_ABI MachineInstr * getDefIgnoringCopies(Register Reg, const MachineRegisterInfo &MRI)
Find the def instruction for Reg, folding away any trivial copies.
LLVM_ABI bool matchUnaryPredicate(const MachineRegisterInfo &MRI, Register Reg, std::function< bool(const Constant *ConstVal)> Match, bool AllowUndefs=false)
Attempt to match a unary predicate against a scalar/splat constant or every element of a constant G_B...
bool isPreISelGenericOptimizationHint(unsigned Opcode)
LLVM_ABI void reportGISelWarning(MachineFunction &MF, MachineOptimizationRemarkEmitter &MORE, MachineOptimizationRemarkMissed &R)
Report an ISel warning as a missed optimization remark to the LLVMContext's diagnostic stream.
LLVM_ABI bool isGuaranteedNotToBeUndef(const Value *V, AssumptionCache *AC=nullptr, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr, unsigned Depth=0)
Returns true if V cannot be undef, but may be poison.
LLVM_ABI bool isConstTrueVal(const TargetLowering &TLI, int64_t Val, bool IsVector, bool IsFP)
Returns true if given the TargetLowering's boolean contents information, the value Val contains a tru...
LLVM_ABI LLVM_READNONE LLT getLCMType(LLT OrigTy, LLT TargetTy)
Return the least common multiple type of OrigTy and TargetTy, by changing the number of vector elemen...
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 std::optional< APInt > ConstantFoldBinOp(unsigned Opcode, const Register Op1, const Register Op2, const MachineRegisterInfo &MRI)
auto dyn_cast_or_null(const Y &Val)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
LLVM_ABI const APInt & getIConstantFromReg(Register VReg, const MachineRegisterInfo &MRI)
VReg is defined by a G_CONSTANT, return the corresponding value.
LLVM_READONLY APFloat maxnum(const APFloat &A, const APFloat &B)
Implements IEEE-754 2008 maxNum semantics.
LLVM_ABI bool isConstantOrConstantVector(const MachineInstr &MI, const MachineRegisterInfo &MRI, bool AllowFP=true, bool AllowOpaqueConstants=true)
Return true if the specified instruction is known to be a constant, or a vector of constants.
constexpr unsigned MaxAnalysisRecursionDepth
auto reverse(ContainerTy &&C)
LLVM_ABI bool canReplaceReg(Register DstReg, Register SrcReg, MachineRegisterInfo &MRI)
Check if DstReg can be replaced with SrcReg depending on the register constraints.
LLVM_READONLY APFloat minimumnum(const APFloat &A, const APFloat &B)
Implements IEEE 754-2019 minimumNumber semantics.
LLVM_ABI void saveUsesAndErase(MachineInstr &MI, MachineRegisterInfo &MRI, LostDebugLocObserver *LocObserver, SmallInstListTy &DeadInstChain)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
LLVM_ABI void reportGISelFailure(MachineFunction &MF, MachineOptimizationRemarkEmitter &MORE, MachineOptimizationRemarkMissed &R)
Report an ISel error as a missed optimization remark to the LLVMContext's diagnostic stream.
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
LLVM_ABI std::optional< ValueAndVReg > getAnyConstantVRegValWithLookThrough(Register VReg, const MachineRegisterInfo &MRI, bool LookThroughInstrs=true, bool LookThroughAnyExt=false)
If VReg is defined by a statically evaluable chain of instructions rooted on a G_CONSTANT or G_FCONST...
LLVM_ABI bool isBuildVectorAllOnes(const MachineInstr &MI, const MachineRegisterInfo &MRI, bool AllowUndef=false)
Return true if the specified instruction is a G_BUILD_VECTOR or G_BUILD_VECTOR_TRUNC where all of the...
LLVM_ABI bool canCreateUndefOrPoison(const Operator *Op, bool ConsiderFlagsAndMetadata=true)
canCreateUndefOrPoison returns true if Op can create undef or poison from non-undef & non-poison oper...
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
LLVM_ABI SmallVector< APInt > ConstantFoldVectorBinop(unsigned Opcode, const Register Op1, const Register Op2, const MachineRegisterInfo &MRI)
Tries to constant fold a vector binop with sources Op1 and Op2.
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...
LLVM_ABI std::optional< FPValueAndVReg > getFConstantSplat(Register VReg, const MachineRegisterInfo &MRI, bool AllowUndef=true)
Returns a floating point scalar constant of a build vector splat if it exists.
bool includesPoison(UndefPoisonKind Kind)
Returns true if Kind includes the Poison bit.
LLVM_ABI std::optional< APInt > ConstantFoldCastOp(unsigned Opcode, LLT DstTy, const Register Op0, const MachineRegisterInfo &MRI)
LLVM_ABI void extractParts(Register Reg, LLT Ty, int NumParts, SmallVectorImpl< Register > &VRegs, MachineIRBuilder &MIRBuilder, MachineRegisterInfo &MRI)
Helper function to split a wide generic register into bitwise blocks with the given Type (which impli...
LLVM_ABI void getSelectionDAGFallbackAnalysisUsage(AnalysisUsage &AU)
Modify analysis usage so it preserves passes required for the SelectionDAG fallback.
LLVM_ABI LLVM_READNONE LLT getCoverTy(LLT OrigTy, LLT TargetTy)
Return smallest type that covers both OrigTy and TargetTy and is multiple of TargetTy.
bool includesUndef(UndefPoisonKind Kind)
Returns true if Kind includes the Undef bit.
LLVM_READONLY APFloat minnum(const APFloat &A, const APFloat &B)
Implements IEEE-754 2008 minNum semantics.
LLVM_ABI unsigned getInverseGMinMaxOpcode(unsigned MinMaxOpc)
Returns the inverse opcode of MinMaxOpc, which is a generic min/max opcode like G_SMIN.
@ Mul
Product of integers.
bool isTargetSpecificOpcode(unsigned Opcode)
Check whether the given Opcode is a target-specific opcode.
DWARFExpression::Operation Op
LLVM_ABI bool isGuaranteedNotToBeUndefOrPoison(const Value *V, AssumptionCache *AC=nullptr, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr, unsigned Depth=0)
Return true if this function can prove that V does not have undef bits and is never poison.
LLVM_ABI std::optional< FPValueAndVReg > getFConstantVRegValWithLookThrough(Register VReg, const MachineRegisterInfo &MRI, bool LookThroughInstrs=true)
If VReg is defined by a statically evaluable chain of instructions rooted on a G_FCONSTANT returns it...
LLVM_ABI bool isConstFalseVal(const TargetLowering &TLI, int64_t Val, bool IsVector, bool IsFP)
LLVM_ABI std::optional< APFloat > isConstantOrConstantSplatVectorFP(MachineInstr &MI, const MachineRegisterInfo &MRI)
Determines if MI defines a float constant integer or a splat vector of float constant integers.
constexpr unsigned BitWidth
LLVM_ABI APFloat getAPFloatFromSize(double Val, unsigned Size)
Returns an APFloat from Val converted to the appropriate size.
LLVM_ABI bool isBuildVectorConstantSplat(const Register Reg, const MachineRegisterInfo &MRI, int64_t SplatValue, bool AllowUndef)
Return true if the specified register is defined by G_BUILD_VECTOR or G_BUILD_VECTOR_TRUNC where all ...
LLVM_ABI void eraseInstr(MachineInstr &MI, MachineRegisterInfo &MRI, LostDebugLocObserver *LocObserver=nullptr)
DiagnosticSeverity
Defines the different supported severity of a diagnostic.
LLVM_ABI Register constrainRegToClass(MachineRegisterInfo &MRI, const TargetInstrInfo &TII, const RegisterBankInfo &RBI, Register Reg, const TargetRegisterClass &RegClass)
Try to constrain Reg to the specified register class.
LLVM_ABI int64_t getICmpTrueVal(const TargetLowering &TLI, bool IsVector, bool IsFP)
Returns an integer representing true, as defined by the TargetBooleanContents.
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI std::optional< ValueAndVReg > getIConstantVRegValWithLookThrough(Register VReg, const MachineRegisterInfo &MRI, bool LookThroughInstrs=true)
If VReg is defined by a statically evaluable chain of instructions rooted on a G_CONSTANT returns its...
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
UndefPoisonKind
Enumeration to track whether we are interested in Undef, Poison, or both.
LLVM_ABI bool isPreISelGenericFloatingPointOpcode(unsigned Opc)
Returns whether opcode Opc is a pre-isel generic floating-point opcode, having only floating-point op...
LLVM_ABI std::optional< DefinitionAndSourceRegister > getDefSrcRegIgnoringCopies(Register Reg, const MachineRegisterInfo &MRI)
Find the def instruction for Reg, and underlying value Register folding away any copies.
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
LLVM_ABI SmallVector< APInt > ConstantFoldUnaryIntOp(unsigned Opcode, LLT DstTy, Register Src, const MachineRegisterInfo &MRI)
Tries to constant fold a unary integer operation (G_CTLZ, G_CTTZ, G_CTPOP and their _ZERO_POISON vari...
LLVM_ABI void eraseInstrs(ArrayRef< MachineInstr * > DeadInstrs, MachineRegisterInfo &MRI, LostDebugLocObserver *LocObserver=nullptr)
void salvageDebugInfoForDbgValue(const MachineRegisterInfo &MRI, MachineInstr &MI, ArrayRef< MachineOperand * > DbgUsers)
Assuming the instruction MI is going to be deleted, attempt to salvage debug users of MI by writing t...
LLVM_ABI bool isKnownToBeAPowerOfTwo(const Value *V, const DataLayout &DL, bool OrZero=false, AssumptionCache *AC=nullptr, const Instruction *CxtI=nullptr, const DominatorTree *DT=nullptr, bool UseInstrInfo=true, unsigned Depth=0)
Return true if the given value is known to have exactly one bit set when defined.
LLVM_ABI Register getSrcRegIgnoringCopies(Register Reg, const MachineRegisterInfo &MRI)
Find the source register for Reg, folding away any trivial copies.
LLVM_ABI LLVM_READNONE LLT getGCDType(LLT OrigTy, LLT TargetTy)
Return a type where the total size is the greatest common divisor of OrigTy and TargetTy.
LLVM_ABI bool isGuaranteedNotToBePoison(const Value *V, AssumptionCache *AC=nullptr, const Instruction *CtxI=nullptr, const DominatorTree *DT=nullptr, unsigned Depth=0)
Returns true if V cannot be poison, but may be undef.
LLVM_READONLY APFloat minimum(const APFloat &A, const APFloat &B)
Implements IEEE 754-2019 minimum semantics.
LLVM_READONLY APFloat maximumnum(const APFloat &A, const APFloat &B)
Implements IEEE 754-2019 maximumNumber semantics.
LLVM_ABI std::optional< int64_t > getIConstantSplatSExtVal(const Register Reg, const MachineRegisterInfo &MRI)
LLVM_ABI bool isAssertMI(const MachineInstr &MI)
Returns true if the instruction MI is one of the assert instructions.
LLVM_ABI void extractVectorParts(Register Reg, unsigned NumElts, SmallVectorImpl< Register > &VRegs, MachineIRBuilder &MIRBuilder, MachineRegisterInfo &MRI)
Version which handles irregular sub-vector splits.
LLVM_ABI int getSplatIndex(ArrayRef< int > Mask)
If all non-negative Mask elements are the same value, return that value.
LLVM_ABI bool isTriviallyDead(const MachineInstr &MI, const MachineRegisterInfo &MRI)
Check whether an instruction MI is dead: it only defines dead virtual registers, and doesn't have oth...
LLVM_ABI Align inferAlignFromPtrInfo(MachineFunction &MF, const MachinePointerInfo &MPO)
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
This struct is a compact representation of a valid (non-zero power of two) alignment.
Simple struct used to hold a Register value and the instruction which defines it.
unsigned countMaxPopulation() const
Returns the maximum number of bits that could be one.
unsigned countMinPopulation() const
Returns the number of bits known to be one.
This class contains a discriminated union of information about pointers in memory operands,...
int64_t Offset
Offset - This is an offset from the base Value*.
PointerUnion< const Value *, const PseudoSourceValue * > V
This is the IR pointer value for the access, or it is null if unknown.
Simple struct used to hold a constant integer value and a virtual register.