59#define DEBUG_TYPE "legalizedag"
65struct FloatSignAsInt {
88class SelectionDAGLegalize {
100 EVT getSetCCResultType(
EVT VT)
const {
111 LegalizedNodes(LegalizedNodes), UpdatedNodes(UpdatedNodes) {}
132 std::pair<SDValue, SDValue> ExpandLibCall(RTLIB::Libcall LC,
SDNode *
Node,
134 bool IsSigned,
EVT RetVT);
135 std::pair<SDValue, SDValue> ExpandLibCall(RTLIB::Libcall LC,
SDNode *
Node,
bool isSigned);
137 void ExpandFPLibCall(
SDNode *
Node, RTLIB::Libcall LC,
139 void ExpandFPLibCall(
SDNode *
Node, RTLIB::Libcall Call_F32,
140 RTLIB::Libcall Call_F64, RTLIB::Libcall Call_F80,
141 RTLIB::Libcall Call_F128,
142 RTLIB::Libcall Call_PPCF128,
146 ExpandFastFPLibCall(
SDNode *
Node,
bool IsFast,
147 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F32,
148 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F64,
149 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F80,
150 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F128,
151 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_PPCF128,
155 RTLIB::Libcall Call_I16, RTLIB::Libcall Call_I32,
156 RTLIB::Libcall Call_I64, RTLIB::Libcall Call_I128);
158 RTLIB::Libcall Call_F32, RTLIB::Libcall Call_F64,
159 RTLIB::Libcall Call_F80, RTLIB::Libcall Call_F128,
160 RTLIB::Libcall Call_PPCF128,
163 RTLIB::Libcall CallI64,
164 RTLIB::Libcall CallI128);
178 void getSignAsIntValue(FloatSignAsInt &State,
const SDLoc &
DL,
180 SDValue modifySignAsInt(
const FloatSignAsInt &State,
const SDLoc &
DL,
229 dbgs() <<
" with: "; New->dump(&DAG));
232 "Replacing one node with another that produces a different number "
236 UpdatedNodes->
insert(New);
242 dbgs() <<
" with: "; New->dump(&DAG));
246 UpdatedNodes->
insert(New.getNode());
247 ReplacedNode(Old.getNode());
254 for (
unsigned i = 0, e = Old->
getNumValues(); i != e; ++i) {
265 dbgs() <<
" with: "; New->dump(&DAG));
269 UpdatedNodes->
insert(New.getNode());
270 ReplacedNode(Old.getNode());
280 bool isObjectScalable) {
288 ObjectSize, MFI.getObjectAlign(FI));
295SDValue SelectionDAGLegalize::ShuffleWithNarrowerEltType(
300 unsigned NumEltsGrowth = NumDestElts / NumMaskElts;
302 assert(NumEltsGrowth &&
"Cannot promote to vector type with fewer elts!");
304 if (NumEltsGrowth == 1)
307 SmallVector<int, 8> NewMask;
308 for (
unsigned i = 0; i != NumMaskElts; ++i) {
310 for (
unsigned j = 0;
j != NumEltsGrowth; ++
j) {
314 NewMask.
push_back(Idx * NumEltsGrowth + j);
317 assert(NewMask.
size() == NumDestElts &&
"Non-integer NumEltsGrowth?");
325SelectionDAGLegalize::ExpandConstantFP(ConstantFPSDNode *CFP,
bool UseCP) {
338 assert((VT == MVT::f64 || VT == MVT::f32) &&
"Invalid type expansion");
340 (VT == MVT::f64) ? MVT::i64 : MVT::i32);
350 while (SVT != MVT::f32 && SVT != MVT::f16 && SVT != MVT::bf16) {
389SDValue SelectionDAGLegalize::ExpandConstant(ConstantSDNode *CP) {
421 SmallVector<int, 8> ShufOps;
422 for (
unsigned i = 0; i != NumElts; ++i)
423 ShufOps.
push_back(i != InsertPos->getZExtValue() ? i : NumElts);
428 return ExpandInsertToVectorThroughStack(
Op);
431SDValue SelectionDAGLegalize::OptimizeFloatStore(StoreSDNode* ST) {
446 AAMDNodes AAInfo =
ST->getAAInfo();
457 bitcastToAPInt().zextOrTrunc(32),
458 SDLoc(CFP), MVT::i32);
459 return DAG.
getStore(Chain, dl, Con, Ptr,
ST->getPointerInfo(),
460 ST->getBaseAlign(), MMOFlags, AAInfo);
468 zextOrTrunc(64), SDLoc(CFP), MVT::i64);
469 return DAG.
getStore(Chain, dl, Con, Ptr,
ST->getPointerInfo(),
470 ST->getBaseAlign(), MMOFlags, AAInfo);
484 ST->getBaseAlign(), MMOFlags, AAInfo);
487 ST->getPointerInfo().getWithOffset(4),
488 ST->getBaseAlign(), MMOFlags, AAInfo);
497void SelectionDAGLegalize::LegalizeStoreOps(SDNode *Node) {
504 AAMDNodes AAInfo =
ST->getAAInfo();
506 if (!
ST->isTruncatingStore()) {
508 if (SDNode *OptStore = OptimizeFloatStore(ST).
getNode()) {
509 ReplaceNode(ST, OptStore);
514 MVT VT =
Value.getSimpleValueType();
517 case TargetLowering::Legal: {
520 EVT MemVT =
ST->getMemoryVT();
523 *
ST->getMemOperand())) {
526 ReplaceNode(
SDValue(ST, 0), Result);
531 case TargetLowering::Custom: {
534 if (Res && Res !=
SDValue(Node, 0))
535 ReplaceNode(
SDValue(Node, 0), Res);
538 case TargetLowering::Promote: {
541 "Can only promote stores to same size type");
544 ST->getBaseAlign(), MMOFlags, AAInfo);
545 ReplaceNode(
SDValue(Node, 0), Result);
554 EVT StVT =
ST->getMemoryVT();
559 if (StWidth != StSize) {
567 ST->getBaseAlign(), MMOFlags, AAInfo);
568 ReplaceNode(
SDValue(Node, 0), Result);
573 unsigned LogStWidth =
Log2_32(StWidthBits);
575 unsigned RoundWidth = 1 << LogStWidth;
576 assert(RoundWidth < StWidthBits);
577 unsigned ExtraWidth = StWidthBits - RoundWidth;
578 assert(ExtraWidth < RoundWidth);
579 assert(!(RoundWidth % 8) && !(ExtraWidth % 8) &&
580 "Store size not an integral number of bytes!");
584 unsigned IncrementSize;
586 if (
DL.isLittleEndian()) {
590 RoundVT,
ST->getBaseAlign(), MMOFlags, AAInfo);
593 IncrementSize = RoundWidth / 8;
600 ST->getPointerInfo().getWithOffset(IncrementSize),
601 ExtraVT,
ST->getBaseAlign(), MMOFlags, AAInfo);
610 ST->getBaseAlign(), MMOFlags, AAInfo);
613 IncrementSize = RoundWidth / 8;
618 ST->getPointerInfo().getWithOffset(IncrementSize),
619 ExtraVT,
ST->getBaseAlign(), MMOFlags, AAInfo);
624 ReplaceNode(
SDValue(Node, 0), Result);
628 case TargetLowering::Legal: {
629 EVT MemVT =
ST->getMemoryVT();
633 *
ST->getMemOperand())) {
635 ReplaceNode(
SDValue(ST, 0), Result);
639 case TargetLowering::Custom: {
641 if (Res && Res !=
SDValue(Node, 0))
642 ReplaceNode(
SDValue(Node, 0), Res);
645 case TargetLowering::Expand:
647 "Vector Stores are handled in LegalizeVectorOps");
655 ST->getBaseAlign(), MMOFlags, AAInfo);
663 StVT,
ST->getBaseAlign(), MMOFlags, AAInfo);
666 ReplaceNode(
SDValue(Node, 0), Result);
672void SelectionDAGLegalize::LegalizeLoadOps(SDNode *Node) {
681 LLVM_DEBUG(
dbgs() <<
"Legalizing non-extending load operation\n");
682 MVT VT =
Node->getSimpleValueType(0);
688 case TargetLowering::Legal: {
689 EVT MemVT =
LD->getMemoryVT();
694 *
LD->getMemOperand())) {
699 case TargetLowering::Custom:
706 case TargetLowering::Promote: {
709 "Can only promote loads to same size type");
713 if (
const MDNode *MD =
LD->getRanges()) {
717 LD->getMemOperand()->clearRanges();
725 if (RChain.
getNode() != Node) {
726 assert(RVal.
getNode() != Node &&
"Load must be completely replaced");
730 UpdatedNodes->insert(RVal.
getNode());
731 UpdatedNodes->insert(RChain.
getNode());
739 EVT SrcVT =
LD->getMemoryVT();
742 AAMDNodes AAInfo =
LD->getAAInfo();
754 LD->getAddressSpace(), ExtType,
755 false) == TargetLowering::Promote)) {
769 Chain, Ptr,
LD->getPointerInfo(), NVT,
770 LD->getBaseAlign(), MMOFlags, AAInfo);
782 Result.getValueType(), Result,
791 unsigned LogSrcWidth =
Log2_32(SrcWidthBits);
793 unsigned RoundWidth = 1 << LogSrcWidth;
794 assert(RoundWidth < SrcWidthBits);
795 unsigned ExtraWidth = SrcWidthBits - RoundWidth;
796 assert(ExtraWidth < RoundWidth);
797 assert(!(RoundWidth % 8) && !(ExtraWidth % 8) &&
798 "Load size not an integral number of bytes!");
802 unsigned IncrementSize;
805 if (
DL.isLittleEndian()) {
809 LD->getPointerInfo(), RoundVT,
LD->getBaseAlign(),
813 IncrementSize = RoundWidth / 8;
817 LD->getPointerInfo().getWithOffset(IncrementSize),
818 ExtraVT,
LD->getBaseAlign(), MMOFlags, AAInfo);
837 LD->getPointerInfo(), RoundVT,
LD->getBaseAlign(),
841 IncrementSize = RoundWidth / 8;
845 LD->getPointerInfo().getWithOffset(IncrementSize),
846 ExtraVT,
LD->getBaseAlign(), MMOFlags, AAInfo);
864 bool isCustom =
false;
866 LD->getAlign(),
LD->getAddressSpace(), ExtType,
870 case TargetLowering::Custom:
873 case TargetLowering::Legal:
885 EVT MemVT =
LD->getMemoryVT();
888 *
LD->getMemOperand())) {
894 case TargetLowering::Expand: {
895 EVT DestVT =
Node->getValueType(0);
896 if (!TLI.
isLoadLegal(DestVT, SrcVT,
LD->getAlign(),
LD->getAddressSpace(),
904 LD->getAddressSpace(), ExtType,
false))) {
911 SrcVT,
LD->getMemOperand());
915 Chain =
Load.getValue(1);
924 if (SVT == MVT::f16 || SVT == MVT::bf16) {
930 Ptr, ISrcVT,
LD->getMemOperand());
934 Chain =
Result.getValue(1);
940 "Vector Loads are handled in LegalizeVectorOps");
947 "EXTLOAD should always be supported!");
951 Node->getValueType(0),
953 LD->getMemOperand());
962 Chain =
Result.getValue(1);
971 assert(
Value.getNode() != Node &&
"Load must be completely replaced");
975 UpdatedNodes->insert(
Value.getNode());
976 UpdatedNodes->insert(Chain.
getNode());
983void SelectionDAGLegalize::LegalizeOp(SDNode *Node) {
992 for (
unsigned i = 0, e =
Node->getNumValues(); i != e; ++i)
994 TargetLowering::TypeLegal &&
995 "Unexpected illegal type!");
999 TargetLowering::TypeLegal ||
1002 "Unexpected illegal type!");
1006 TargetLowering::LegalizeAction Action = TargetLowering::Legal;
1007 bool SimpleFinishLegalizing =
true;
1008 switch (
Node->getOpcode()) {
1019 ReplaceNode(Node, UndefNode.
getNode());
1031 Node->getValueType(0));
1035 Node->getValueType(0));
1036 if (Action != TargetLowering::Promote)
1042 Node->getOperand(1).getValueType());
1054 Node->getOperand(0).getValueType());
1068 Node->getOperand(1).getValueType());
1077 Node->getOperand(1).getValueType());
1086 unsigned Opc =
Node->getOpcode();
1097 MVT OpVT =
Node->getOperand(CompareOperand).getSimpleValueType();
1101 if (Action == TargetLowering::Legal) {
1104 Node->getValueType(0));
1114 SimpleFinishLegalizing =
false;
1121 SimpleFinishLegalizing =
false;
1135 if (Action == TargetLowering::Legal)
1136 Action = TargetLowering::Expand;
1147 if (Action == TargetLowering::Legal)
1148 Action = TargetLowering::Custom;
1166 Action = TargetLowering::Legal;
1170 if (Action == TargetLowering::Expand) {
1174 Node->getOperand(0));
1175 ReplaceNode(Node, NewVal.
getNode());
1182 if (Action == TargetLowering::Expand) {
1186 Node->getOperand(0));
1187 ReplaceNode(Node, NewVal.
getNode());
1212 unsigned Scale =
Node->getConstantOperandVal(2);
1214 Node->getValueType(0), Scale);
1225 case ISD::VP_SCATTER:
1235 case ISD::EXPERIMENTAL_VP_STRIDED_STORE:
1257 Node->getOpcode(),
Node->getOperand(0).getValueType());
1261 case ISD::VP_REDUCE_FADD:
1262 case ISD::VP_REDUCE_FMUL:
1263 case ISD::VP_REDUCE_ADD:
1264 case ISD::VP_REDUCE_MUL:
1265 case ISD::VP_REDUCE_AND:
1266 case ISD::VP_REDUCE_OR:
1267 case ISD::VP_REDUCE_XOR:
1268 case ISD::VP_REDUCE_SMAX:
1269 case ISD::VP_REDUCE_SMIN:
1270 case ISD::VP_REDUCE_UMAX:
1271 case ISD::VP_REDUCE_UMIN:
1272 case ISD::VP_REDUCE_FMAX:
1273 case ISD::VP_REDUCE_FMIN:
1274 case ISD::VP_REDUCE_FMAXIMUM:
1275 case ISD::VP_REDUCE_FMINIMUM:
1276 case ISD::VP_REDUCE_SEQ_FADD:
1277 case ISD::VP_REDUCE_SEQ_FMUL:
1279 Node->getOpcode(),
Node->getOperand(1).getValueType());
1283 case ISD::VP_CTTZ_ELTS:
1284 case ISD::VP_CTTZ_ELTS_ZERO_UNDEF:
1286 Node->getOperand(0).getValueType());
1302 if (SimpleFinishLegalizing) {
1303 SDNode *NewNode =
Node;
1304 switch (
Node->getOpcode()) {
1351 if (NewNode != Node) {
1352 ReplaceNode(Node, NewNode);
1356 case TargetLowering::Legal:
1359 case TargetLowering::Custom:
1367 if (
Node->getNumValues() == 1) {
1371 Node->getValueType(0) == MVT::Glue) &&
1372 "Type mismatch for custom legalized operation");
1375 ReplaceNode(
SDValue(Node, 0), Res);
1380 for (
unsigned i = 0, e =
Node->getNumValues(); i != e; ++i) {
1384 Node->getValueType(i) == MVT::Glue) &&
1385 "Type mismatch for custom legalized operation");
1389 ReplaceNode(Node, ResultVals.
data());
1394 case TargetLowering::Expand:
1395 if (ExpandNode(Node))
1398 case TargetLowering::LibCall:
1399 ConvertNodeToLibcall(Node);
1401 case TargetLowering::Promote:
1407 switch (
Node->getOpcode()) {
1420 return LegalizeLoadOps(Node);
1422 return LegalizeStoreOps(Node);
1426SDValue SelectionDAGLegalize::ExpandExtractFromVectorThroughStack(
SDValue Op) {
1439 SmallPtrSet<const SDNode *, 32> Visited;
1446 if (
ST->isIndexed() ||
ST->isTruncatingStore() ||
1447 ST->getValue() != Vec)
1452 if (!
ST->getChain().reachesChainWithoutSideEffects(DAG.
getEntryNode()))
1461 ST->hasPredecessor(
Op.getNode()))
1481 Align ElementAlignment =
1486 if (
Op.getValueType().isVector()) {
1488 Op.getValueType(), Idx);
1489 NewLoad = DAG.
getLoad(
Op.getValueType(), dl, Ch, StackPtr,
1490 MachinePointerInfo(), ElementAlignment);
1504 NewLoadOperands[0] = Ch;
1510SDValue SelectionDAGLegalize::ExpandInsertToVectorThroughStack(
SDValue Op) {
1511 assert(
Op.getValueType().isVector() &&
"Non-vector insert subvector!");
1523 MachinePointerInfo PtrInfo =
1527 Align BaseVecAlignment =
1545 Ch, dl, Part, SubStackPtr,
1554 Ch, dl, Part, SubStackPtr,
1560 "ElementAlignment does not match!");
1563 return DAG.
getLoad(
Op.getValueType(), dl, Ch, StackPtr, PtrInfo,
1567SDValue SelectionDAGLegalize::ExpandConcatVectors(SDNode *Node) {
1571 unsigned NumOperands =
Node->getNumOperands();
1573 EVT VectorValueType =
Node->getOperand(0).getValueType();
1577 for (
unsigned I = 0;
I < NumOperands; ++
I) {
1579 for (
unsigned Idx = 0; Idx < NumSubElem; ++Idx) {
1588SDValue SelectionDAGLegalize::ExpandVectorBuildThroughStack(SDNode* Node) {
1591 "Unexpected opcode!");
1597 EVT VT =
Node->getValueType(0);
1599 :
Node->getOperand(0).getValueType();
1603 MachinePointerInfo PtrInfo =
1609 assert(TypeByteSize > 0 &&
"Vector element type too small for stack store!");
1614 MemVT.
bitsLT(
Node->getOperand(0).getValueType());
1617 for (
unsigned i = 0, e =
Node->getNumOperands(); i != e; ++i) {
1619 if (
Node->getOperand(i).isUndef())
continue;
1621 unsigned Offset = TypeByteSize*i;
1628 Node->getOperand(i), Idx,
1636 if (!Stores.
empty())
1642 return DAG.
getLoad(VT, dl, StoreChain, FIPtr, PtrInfo);
1648void SelectionDAGLegalize::getSignAsIntValue(FloatSignAsInt &State,
1651 EVT FloatVT =
Value.getValueType();
1653 State.FloatVT = FloatVT;
1659 State.SignBit = NumBits - 1;
1674 State.FloatPointerInfo);
1677 if (DataLayout.isBigEndian()) {
1681 State.IntPointerInfo = State.FloatPointerInfo;
1684 unsigned ByteOffset = (NumBits / 8) - 1;
1691 State.IntPtr = IntPtr;
1693 State.IntPointerInfo, MVT::i8);
1700SDValue SelectionDAGLegalize::modifySignAsInt(
const FloatSignAsInt &State,
1708 State.IntPointerInfo, MVT::i8);
1709 return DAG.
getLoad(State.FloatVT,
DL, Chain, State.FloatPtr,
1710 State.FloatPointerInfo);
1713SDValue SelectionDAGLegalize::ExpandFCOPYSIGN(SDNode *Node)
const {
1719 FloatSignAsInt SignAsInt;
1720 getSignAsIntValue(SignAsInt,
DL, Sign);
1740 FloatSignAsInt MagAsInt;
1741 getSignAsIntValue(MagAsInt,
DL, Mag);
1748 int ShiftAmount = SignAsInt.SignBit - MagAsInt.SignBit;
1749 EVT ShiftVT = IntVT;
1755 if (ShiftAmount > 0) {
1758 }
else if (ShiftAmount < 0) {
1771 return modifySignAsInt(MagAsInt,
DL, CopiedSign);
1774SDValue SelectionDAGLegalize::ExpandFNEG(SDNode *Node)
const {
1777 FloatSignAsInt SignAsInt;
1778 getSignAsIntValue(SignAsInt,
DL,
Node->getOperand(0));
1787 return modifySignAsInt(SignAsInt,
DL, SignFlip);
1790SDValue SelectionDAGLegalize::ExpandFABS(SDNode *Node)
const {
1795 EVT FloatVT =
Value.getValueType();
1802 FloatSignAsInt ValueAsInt;
1803 getSignAsIntValue(ValueAsInt,
DL,
Value);
1808 return modifySignAsInt(ValueAsInt,
DL, ClearedSign);
1811void SelectionDAGLegalize::ExpandDYNAMIC_STACKALLOC(SDNode* Node,
1812 SmallVectorImpl<SDValue> &
Results) {
1814 assert(
SPReg &&
"Target cannot require DYNAMIC_STACKALLOC expansion and"
1815 " not tell us which reg is the stack pointer!");
1817 EVT VT =
Node->getValueType(0);
1829 Chain =
SP.getValue(1);
1838 if (Alignment > StackAlign)
1853SDValue SelectionDAGLegalize::EmitStackConvert(
SDValue SrcOp, EVT SlotVT,
1854 EVT DestVT,
const SDLoc &dl) {
1855 return EmitStackConvert(SrcOp, SlotVT, DestVT, dl, DAG.
getEntryNode());
1858SDValue SelectionDAGLegalize::EmitStackConvert(
SDValue SrcOp, EVT SlotVT,
1859 EVT DestVT,
const SDLoc &dl,
1866 if ((SrcVT.
bitsGT(SlotVT) &&
1868 (SlotVT.
bitsLT(DestVT) &&
1881 MachinePointerInfo PtrInfo =
1888 if (SrcVT.
bitsGT(SlotVT))
1893 Store = DAG.
getStore(Chain, dl, SrcOp, FIPtr, PtrInfo, SrcAlign);
1897 if (SlotVT.
bitsEq(DestVT))
1898 return DAG.
getLoad(DestVT, dl, Store, FIPtr, PtrInfo, DestAlign);
1905SDValue SelectionDAGLegalize::ExpandSCALAR_TO_VECTOR(SDNode *Node) {
1917 Node->getValueType(0).getVectorElementType());
1919 Node->getValueType(0), dl, Ch, StackPtr,
1926 unsigned NumElems =
Node->getNumOperands();
1928 EVT VT =
Node->getValueType(0);
1940 for (
unsigned i = 0; i < NumElems; ++i) {
1951 while (IntermedVals.
size() > 2) {
1952 NewIntermedVals.
clear();
1953 for (
unsigned i = 0, e = (IntermedVals.
size() & ~1u); i < e; i += 2) {
1959 FinalIndices.
reserve(IntermedVals[i].second.
size() +
1960 IntermedVals[i+1].second.
size());
1963 for (
unsigned j = 0, f = IntermedVals[i].second.
size(); j != f;
1966 FinalIndices.
push_back(IntermedVals[i].second[j]);
1968 for (
unsigned j = 0, f = IntermedVals[i+1].second.
size(); j != f;
1970 ShuffleVec[k] = NumElems + j;
1971 FinalIndices.
push_back(IntermedVals[i+1].second[j]);
1977 IntermedVals[i+1].first,
1982 std::make_pair(Shuffle, std::move(FinalIndices)));
1987 if ((IntermedVals.
size() & 1) != 0)
1990 IntermedVals.
swap(NewIntermedVals);
1994 "Invalid number of intermediate vectors");
1995 SDValue Vec1 = IntermedVals[0].first;
1997 if (IntermedVals.
size() > 1)
1998 Vec2 = IntermedVals[1].first;
2003 for (
unsigned i = 0, e = IntermedVals[0].second.
size(); i != e; ++i)
2004 ShuffleVec[IntermedVals[0].second[i]] = i;
2005 for (
unsigned i = 0, e = IntermedVals[1].second.
size(); i != e; ++i)
2006 ShuffleVec[IntermedVals[1].second[i]] = NumElems + i;
2019SDValue SelectionDAGLegalize::ExpandBUILD_VECTOR(SDNode *Node) {
2020 unsigned NumElems =
Node->getNumOperands();
2023 EVT VT =
Node->getValueType(0);
2024 EVT OpVT =
Node->getOperand(0).getValueType();
2029 bool isOnlyLowElement =
true;
2030 bool MoreThanTwoValues =
false;
2032 for (
unsigned i = 0; i < NumElems; ++i) {
2037 isOnlyLowElement =
false;
2043 }
else if (!Value2.
getNode()) {
2046 }
else if (V != Value1 && V != Value2) {
2047 MoreThanTwoValues =
true;
2054 if (isOnlyLowElement)
2060 for (
unsigned i = 0, e = NumElems; i !=
e; ++i) {
2061 if (ConstantFPSDNode *V =
2064 }
else if (ConstantSDNode *V =
2067 CV.
push_back(
const_cast<ConstantInt *
>(
V->getConstantIntValue()));
2072 const ConstantInt *CI =
V->getConstantIntValue();
2093 SmallSet<SDValue, 16> DefinedValues;
2094 for (
unsigned i = 0; i < NumElems; ++i) {
2095 if (
Node->getOperand(i).isUndef())
2101 if (!MoreThanTwoValues) {
2102 SmallVector<int, 8> ShuffleVec(NumElems, -1);
2103 for (
unsigned i = 0; i < NumElems; ++i) {
2107 ShuffleVec[i] =
V == Value1 ? 0 : NumElems;
2129 return ExpandVectorBuildThroughStack(Node);
2132SDValue SelectionDAGLegalize::ExpandSPLAT_VECTOR(SDNode *Node) {
2134 EVT VT =
Node->getValueType(0);
2145std::pair<SDValue, SDValue>
2146SelectionDAGLegalize::ExpandLibCall(RTLIB::Libcall LC, SDNode *Node,
2147 TargetLowering::ArgListTy &&Args,
2148 bool IsSigned, EVT RetVT) {
2152 if (LCImpl != RTLIB::Unsupported)
2157 Node->getOperationName(&DAG));
2174 (RetTy ==
F.getReturnType() ||
F.getReturnType()->
isVoidTy());
2178 TargetLowering::CallLoweringInfo CLI(DAG);
2180 CLI.setDebugLoc(SDLoc(Node))
2183 Callee, std::move(Args))
2184 .setTailCall(isTailCall)
2185 .setSExtResult(signExtend)
2186 .setZExtResult(!signExtend)
2187 .setIsPostTypeLegalization(
true);
2189 std::pair<SDValue, SDValue> CallInfo = TLI.
LowerCallTo(CLI);
2191 if (!CallInfo.second.getNode()) {
2197 LLVM_DEBUG(
dbgs() <<
"Created libcall: "; CallInfo.first.dump(&DAG));
2201std::pair<SDValue, SDValue> SelectionDAGLegalize::ExpandLibCall(RTLIB::Libcall LC, SDNode *Node,
2203 TargetLowering::ArgListTy
Args;
2205 EVT ArgVT =
Op.getValueType();
2207 TargetLowering::ArgListEntry
Entry(
Op, ArgTy);
2210 Args.push_back(Entry);
2213 return ExpandLibCall(LC, Node, std::move(Args), isSigned,
2214 Node->getValueType(0));
2217void SelectionDAGLegalize::ExpandFPLibCall(SDNode* Node,
2219 SmallVectorImpl<SDValue> &
Results) {
2220 if (LC == RTLIB::UNKNOWN_LIBCALL)
2223 if (
Node->isStrictFPOpcode()) {
2224 EVT RetVT =
Node->getValueType(0);
2226 TargetLowering::MakeLibCallOptions CallOptions;
2229 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(DAG, LC, RetVT,
2232 Node->getOperand(0));
2234 Results.push_back(Tmp.second);
2237 SDValue Tmp = ExpandLibCall(LC, Node, IsSignedArgument).first;
2243void SelectionDAGLegalize::ExpandFPLibCall(SDNode* Node,
2244 RTLIB::Libcall Call_F32,
2245 RTLIB::Libcall Call_F64,
2246 RTLIB::Libcall Call_F80,
2247 RTLIB::Libcall Call_F128,
2248 RTLIB::Libcall Call_PPCF128,
2249 SmallVectorImpl<SDValue> &
Results) {
2251 Call_F32, Call_F64, Call_F80,
2252 Call_F128, Call_PPCF128);
2253 ExpandFPLibCall(Node, LC,
Results);
2256void SelectionDAGLegalize::ExpandFastFPLibCall(
2257 SDNode *Node,
bool IsFast,
2258 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F32,
2259 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F64,
2260 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F80,
2261 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F128,
2262 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_PPCF128,
2263 SmallVectorImpl<SDValue> &
Results) {
2265 EVT VT =
Node->getSimpleValueType(0);
2274 Call_F128.first, Call_PPCF128.first);
2280 Call_F80.second, Call_F128.second,
2281 Call_PPCF128.second);
2284 ExpandFPLibCall(Node, LC,
Results);
2287SDValue SelectionDAGLegalize::ExpandIntLibCall(SDNode* Node,
bool isSigned,
2288 RTLIB::Libcall Call_I8,
2289 RTLIB::Libcall Call_I16,
2290 RTLIB::Libcall Call_I32,
2291 RTLIB::Libcall Call_I64,
2292 RTLIB::Libcall Call_I128) {
2294 switch (
Node->getSimpleValueType(0).SimpleTy) {
2296 case MVT::i8: LC = Call_I8;
break;
2297 case MVT::i16: LC = Call_I16;
break;
2298 case MVT::i32: LC = Call_I32;
break;
2299 case MVT::i64: LC = Call_I64;
break;
2300 case MVT::i128: LC = Call_I128;
break;
2302 return ExpandLibCall(LC, Node, isSigned).first;
2307void SelectionDAGLegalize::ExpandArgFPLibCall(SDNode* Node,
2308 RTLIB::Libcall Call_F32,
2309 RTLIB::Libcall Call_F64,
2310 RTLIB::Libcall Call_F80,
2311 RTLIB::Libcall Call_F128,
2312 RTLIB::Libcall Call_PPCF128,
2313 SmallVectorImpl<SDValue> &
Results) {
2314 EVT InVT =
Node->getOperand(
Node->isStrictFPOpcode() ? 1 : 0).getValueType();
2316 Call_F32, Call_F64, Call_F80,
2317 Call_F128, Call_PPCF128);
2318 ExpandFPLibCall(Node, LC,
Results);
2321SDValue SelectionDAGLegalize::ExpandBitCountingLibCall(
2322 SDNode *Node, RTLIB::Libcall CallI32, RTLIB::Libcall CallI64,
2323 RTLIB::Libcall CallI128) {
2325 switch (
Node->getSimpleValueType(0).SimpleTy) {
2346 EVT ArgVT =
Op.getValueType();
2348 TargetLowering::ArgListEntry Arg(
Op, ArgTy);
2350 Arg.IsZExt = !Arg.IsSExt;
2352 SDValue Res = ExpandLibCall(LC, Node, TargetLowering::ArgListTy{Arg},
2365SelectionDAGLegalize::ExpandDivRemLibCall(SDNode *Node,
2366 SmallVectorImpl<SDValue> &
Results) {
2367 unsigned Opcode =
Node->getOpcode();
2371 switch (
Node->getSimpleValueType(0).SimpleTy) {
2373 case MVT::i8: LC= isSigned ? RTLIB::SDIVREM_I8 : RTLIB::UDIVREM_I8;
break;
2374 case MVT::i16: LC= isSigned ? RTLIB::SDIVREM_I16 : RTLIB::UDIVREM_I16;
break;
2375 case MVT::i32: LC= isSigned ? RTLIB::SDIVREM_I32 : RTLIB::UDIVREM_I32;
break;
2376 case MVT::i64: LC= isSigned ? RTLIB::SDIVREM_I64 : RTLIB::UDIVREM_I64;
break;
2377 case MVT::i128: LC= isSigned ? RTLIB::SDIVREM_I128:RTLIB::UDIVREM_I128;
break;
2385 EVT RetVT =
Node->getValueType(0);
2388 TargetLowering::ArgListTy
Args;
2390 EVT ArgVT =
Op.getValueType();
2392 TargetLowering::ArgListEntry
Entry(
Op, ArgTy);
2393 Entry.IsSExt = isSigned;
2394 Entry.IsZExt = !isSigned;
2395 Args.push_back(Entry);
2400 TargetLowering::ArgListEntry
Entry(
2401 FIPtr, PointerType::getUnqual(RetTy->
getContext()));
2402 Entry.IsSExt = isSigned;
2403 Entry.IsZExt = !isSigned;
2404 Args.push_back(Entry);
2407 if (LibcallImpl == RTLIB::Unsupported) {
2409 Node->getOperationName(&DAG));
2420 TargetLowering::CallLoweringInfo CLI(DAG);
2424 RetTy, Callee, std::move(Args))
2425 .setSExtResult(isSigned)
2426 .setZExtResult(!isSigned);
2428 std::pair<SDValue, SDValue> CallInfo = TLI.
LowerCallTo(CLI);
2432 MachinePointerInfo PtrInfo =
2435 SDValue Rem = DAG.
getLoad(RetVT, dl, CallInfo.second, FIPtr, PtrInfo);
2436 Results.push_back(CallInfo.first);
2465SDValue SelectionDAGLegalize::ExpandSincosStretLibCall(SDNode *Node)
const {
2473 if (SincosStret == RTLIB::Unsupported)
2488 Type *SincosStretRetTy = FuncTy->getReturnType();
2494 TargetLowering::ArgListTy
Args;
2498 if (FuncTy->getParamType(0)->isPointerTy()) {
2502 AttributeSet PtrAttrs = FuncAttrs.getParamAttrs(0);
2504 const uint64_t ByteSize =
DL.getTypeAllocSize(StructTy);
2505 const Align StackAlign =
DL.getPrefTypeAlign(StructTy);
2510 TargetLowering::ArgListEntry
Entry(SRet, FuncTy->getParamType(0));
2511 Entry.IsSRet =
true;
2512 Entry.IndirectType = StructTy;
2513 Entry.Alignment = StackAlign;
2515 Args.push_back(Entry);
2516 Args.emplace_back(Arg, FuncTy->getParamType(1));
2518 Args.emplace_back(Arg, FuncTy->getParamType(0));
2521 TargetLowering::CallLoweringInfo CLI(DAG);
2524 .setLibCallee(CallConv, SincosStretRetTy, Callee, std::move(Args))
2525 .setIsPostTypeLegalization();
2527 std::pair<SDValue, SDValue> CallResult = TLI.
LowerCallTo(CLI);
2530 MachinePointerInfo PtrInfo =
2532 SDValue LoadSin = DAG.
getLoad(ArgVT, dl, CallResult.second, SRet, PtrInfo);
2541 SDVTList Tys = DAG.
getVTList(ArgVT, ArgVT);
2546 if (!CallResult.first.getValueType().isVector())
2547 return CallResult.first;
2555 SDVTList Tys = DAG.
getVTList(ArgVT, ArgVT);
2559SDValue SelectionDAGLegalize::expandLdexp(SDNode *Node)
const {
2561 EVT VT =
Node->getValueType(0);
2564 EVT ExpVT =
N.getValueType();
2566 if (AsIntVT == EVT())
2574 SDNodeFlags NUW_NSW;
2582 const APFloat::ExponentType MaxExpVal = APFloat::semanticsMaxExponent(FltSem);
2583 const APFloat::ExponentType MinExpVal = APFloat::semanticsMinExponent(FltSem);
2584 const int Precision = APFloat::semanticsPrecision(FltSem);
2591 const APFloat One(FltSem,
"1.0");
2592 APFloat ScaleUpK =
scalbn(One, MaxExpVal, APFloat::rmNearestTiesToEven);
2596 scalbn(One, MinExpVal + Precision, APFloat::rmNearestTiesToEven);
2666 ExponentShiftAmt, NUW_NSW);
2671SDValue SelectionDAGLegalize::expandFrexp(SDNode *Node)
const {
2675 EVT ExpVT =
Node->getValueType(1);
2677 if (AsIntVT == EVT())
2681 const APFloat::ExponentType MinExpVal = APFloat::semanticsMinExponent(FltSem);
2682 const unsigned Precision = APFloat::semanticsPrecision(FltSem);
2715 FractSignMaskVal.
setBit(BitSize - 1);
2722 const APFloat One(FltSem,
"1.0");
2726 scalbn(One, Precision + 1, APFloat::rmNearestTiesToEven);
2738 SDValue AddNegSmallestNormal =
2740 SDValue DenormOrZero = DAG.
getSetCC(dl, SetCCVT, AddNegSmallestNormal,
2773 const APFloat Half(FltSem,
"0.5");
2790SDValue SelectionDAGLegalize::expandModf(SDNode *Node)
const {
2800 if (
Flags.hasNoInfs()) {
2801 FracToUse = FracPart;
2810 FracToUse = DAG.
getSelect(dl, VT, IsInf, Zero, FracPart);
2822SDValue SelectionDAGLegalize::ExpandLegalINT_TO_FP(SDNode *Node,
2826 EVT DestVT =
Node->getValueType(0);
2828 unsigned OpNo =
Node->isStrictFPOpcode() ? 1 : 0;
2834 if (SrcVT == MVT::i32 && TLI.
isTypeLegal(MVT::f64) &&
2835 (DestVT.
bitsLE(MVT::f64) ||
2839 LLVM_DEBUG(
dbgs() <<
"32-bit [signed|unsigned] integer to float/double "
2863 MachinePointerInfo());
2868 DAG.
getStore(MemChain, dl,
Hi, HiPtr, MachinePointerInfo());
2873 DAG.
getLoad(MVT::f64, dl, MemChain, StackSlot, MachinePointerInfo());
2882 if (
Node->isStrictFPOpcode()) {
2884 {
Node->getOperand(0),
Load, Bias});
2886 if (DestVT !=
Sub.getValueType()) {
2887 std::pair<SDValue, SDValue> ResultPair;
2890 Result = ResultPair.first;
2891 Chain = ResultPair.second;
2906 if (((SrcVT == MVT::i32 || SrcVT == MVT::i64) && DestVT == MVT::f32) ||
2907 (SrcVT == MVT::i64 && DestVT == MVT::f64)) {
2908 LLVM_DEBUG(
dbgs() <<
"Converting unsigned i32/i64 to f32/f64\n");
2923 EVT SetCCVT = getSetCCResultType(SrcVT);
2935 if (
Node->isStrictFPOpcode()) {
2943 Flags.setNoFPExcept(
Node->getFlags().hasNoFPExcept());
2946 Flags.setNoFPExcept(
true);
2969 "Cannot perform lossless SINT_TO_FP!");
2972 if (
Node->isStrictFPOpcode()) {
2974 {
Node->getOperand(0), Op0 });
2983 SignSet, Four, Zero);
2992 case MVT::i8 : FF = 0x43800000ULL;
break;
2993 case MVT::i16: FF = 0x47800000ULL;
break;
2994 case MVT::i32: FF = 0x4F800000ULL;
break;
2995 case MVT::i64: FF = 0x5F800000ULL;
break;
2999 Constant *FudgeFactor = ConstantInt::get(
3008 if (DestVT == MVT::f32)
3018 HandleSDNode Handle(Load);
3019 LegalizeOp(
Load.getNode());
3023 if (
Node->isStrictFPOpcode()) {
3025 { Tmp1.
getValue(1), Tmp1, FudgeInReg });
3026 Chain =
Result.getValue(1);
3038void SelectionDAGLegalize::PromoteLegalINT_TO_FP(
3039 SDNode *
N,
const SDLoc &dl, SmallVectorImpl<SDValue> &
Results) {
3043 EVT DestVT =
N->getValueType(0);
3044 SDValue LegalOp =
N->getOperand(IsStrict ? 1 : 0);
3051 unsigned OpToUse = 0;
3079 DAG.
getNode(OpToUse, dl, {DestVT, MVT::Other},
3082 dl, NewInTy, LegalOp)});
3089 DAG.
getNode(OpToUse, dl, DestVT,
3091 dl, NewInTy, LegalOp)));
3099void SelectionDAGLegalize::PromoteLegalFP_TO_INT(SDNode *
N,
const SDLoc &dl,
3100 SmallVectorImpl<SDValue> &
Results) {
3101 bool IsStrict =
N->isStrictFPOpcode();
3104 EVT DestVT =
N->getValueType(0);
3107 EVT NewOutTy = DestVT;
3109 unsigned OpToUse = 0;
3133 SDVTList VTs = DAG.
getVTList(NewOutTy, MVT::Other);
3149SDValue SelectionDAGLegalize::PromoteLegalFP_TO_INT_SAT(SDNode *Node,
3151 unsigned Opcode =
Node->getOpcode();
3154 EVT NewOutTy =
Node->getValueType(0);
3166 Node->getOperand(1));
3172 EVT VT =
Op.getValueType();
3192SDValue SelectionDAGLegalize::PromoteReduction(SDNode *Node) {
3194 MVT VecVT = IsVPOpcode ?
Node->getOperand(1).getSimpleValueType()
3195 :
Node->getOperand(0).getSimpleValueType();
3197 MVT ScalarVT =
Node->getSimpleValueType(0);
3204 assert(
Node->getOperand(0).getValueType().isFloatingPoint() &&
3205 "Only FP promotion is supported");
3207 for (
unsigned j = 0;
j !=
Node->getNumOperands(); ++
j)
3208 if (
Node->getOperand(j).getValueType().isVector() &&
3213 assert(
Node->getOperand(j).getValueType().isFloatingPoint() &&
3214 "Only FP promotion is supported");
3217 }
else if (
Node->getOperand(j).getValueType().isFloatingPoint()) {
3222 Operands[
j] =
Node->getOperand(j);
3233bool SelectionDAGLegalize::ExpandNode(SDNode *Node) {
3237 SDValue Tmp1, Tmp2, Tmp3, Tmp4;
3239 switch (
Node->getOpcode()) {
3283 Results.push_back(ExpandPARITY(
Node->getOperand(0), dl));
3335 SDVTList VTs = DAG.
getVTList(
Node->getValueType(0), MVT::Other);
3338 Node->getOperand(0),
Node->getOperand(1), Zero, Zero,
3348 Node->getOperand(0),
Node->getOperand(2),
Node->getOperand(1),
3357 SDVTList VTs = DAG.
getVTList(
Node->getValueType(0), MVT::Other);
3360 Node->getOperand(0),
Node->getOperand(1),
Node->getOperand(2),
3368 EVT OuterType =
Node->getValueType(0);
3401 EVT VT =
Node->getValueType(0);
3406 RHS =
RHS->getOperand(0);
3410 Node->getOperand(0),
Node->getOperand(1),
3417 ExpandDYNAMIC_STACKALLOC(Node,
Results);
3420 for (
unsigned i = 0; i <
Node->getNumValues(); i++)
3425 EVT VT =
Node->getValueType(0);
3442 Node->getValueType(0))
3443 == TargetLowering::Legal)
3447 if ((Tmp1 = EmitStackConvert(
Node->getOperand(1),
Node->getValueType(0),
3448 Node->getValueType(0), dl,
3449 Node->getOperand(0)))) {
3450 ReplaceNode(Node, Tmp1.
getNode());
3451 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_ROUND node\n");
3464 if ((Tmp1 = EmitStackConvert(
Node->getOperand(0),
Node->getValueType(0),
3465 Node->getValueType(0), dl)))
3476 Node->getValueType(0))
3477 == TargetLowering::Legal)
3481 if ((Tmp1 = EmitStackConvert(
3482 Node->getOperand(1),
Node->getOperand(1).getValueType(),
3483 Node->getValueType(0), dl,
Node->getOperand(0)))) {
3484 ReplaceNode(Node, Tmp1.
getNode());
3485 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_EXTEND node\n");
3491 EVT SrcVT =
Op.getValueType();
3492 EVT DstVT =
Node->getValueType(0);
3498 if ((Tmp1 = EmitStackConvert(
Op, SrcVT, DstVT, dl)))
3508 if (
Op.getValueType() == MVT::bf16) {
3518 if (
Node->getValueType(0) != MVT::f32)
3525 if (
Op.getValueType() != MVT::f32)
3537 if (
Node->getValueType(0) == MVT::bf16) {
3554 EVT DstVT =
Node->getValueType(0);
3557 const uint64_t SemEnum =
Node->getConstantOperandVal(1);
3570 "source format (semantics enum " +
3571 Twine(SemEnum) +
")");
3580 const unsigned SrcBits = APFloat::getSizeInBits(SrcSem);
3581 const unsigned SrcPrecision = APFloat::semanticsPrecision(SrcSem);
3582 const unsigned SrcMant = SrcPrecision - 1;
3583 const unsigned SrcExp = SrcBits - SrcMant - 1;
3584 const int SrcBias = 1 - APFloat::semanticsMinExponent(SrcSem);
3591 const unsigned DstBits = APFloat::getSizeInBits(DstSem);
3592 const unsigned DstMant = APFloat::semanticsPrecision(DstSem) - 1;
3593 const unsigned DstExpBits = DstBits - DstMant - 1;
3594 const int DstMinExp = APFloat::semanticsMinExponent(DstSem);
3595 const int DstBias = 1 - DstMinExp;
3596 const uint64_t DstExpAllOnes = (1ULL << DstExpBits) - 1;
3603 EVT SetCCVT = getSetCCResultType(IntVT);
3609 const uint64_t MantMask = (SrcMant > 0) ? ((1ULL << SrcMant) - 1) : 0;
3610 const uint64_t ExpMask = (1ULL << SrcExp) - 1;
3641 if (NFBehavior == fltNonfiniteBehavior::FiniteOnly) {
3644 }
else if (NFBehavior == fltNonfiniteBehavior::IEEE754) {
3646 IsNaN = DAG.
getNode(
ISD::AND, dl, SetCCVT, IsExpAllOnes, IsMantNonZero);
3653 IsNaN = DAG.
getNode(
ISD::AND, dl, SetCCVT, IsExpAllOnes, IsMantAllOnes);
3658 if (NFBehavior == fltNonfiniteBehavior::IEEE754) {
3676 const int BiasAdjust = DstBias - SrcBias;
3679 DAG.
getConstant(APInt(DstBits, BiasAdjust,
true), dl, IntVT));
3682 if (DstMant > SrcMant) {
3688 NormDstMant = MantField;
3706 const unsigned IntVTBits = DstBits;
3712 const int DenormExpConst =
3713 (int)IntVTBits + DstBias - SrcBias - (
int)SrcMant;
3716 DAG.
getConstant(APInt(DstBits, DenormExpConst,
true), dl, IntVT),
3722 DAG.
getConstant(IntVTBits - 1, dl, IntVT), LeadingZeros);
3733 const unsigned ShiftSub = IntVTBits - 1 - DstMant;
3751 DAG.
getSelect(dl, IntVT, IsDenorm, DenormResult, NormResult);
3756 const uint64_t QNaNBit = (DstMant > 0) ? (1ULL << (DstMant - 1)) : 0;
3758 DAG.
getConstant((DstExpAllOnes << DstMant) | QNaNBit, dl, IntVT);
3764 DAG.
getConstant(DstExpAllOnes << DstMant, dl, IntVT));
3768 SDValue ZeroResult = SignShifted;
3798 SDNodeFlags CanonicalizeFlags =
Node->getFlags();
3801 {Chain, Operand, One}, CanonicalizeFlags);
3808 EVT VT =
Node->getValueType(0);
3840 if (
Node->isStrictFPOpcode())
3847 if ((Tmp1 = ExpandLegalINT_TO_FP(Node, Tmp2))) {
3849 if (
Node->isStrictFPOpcode())
3859 ReplaceNode(Node, Tmp1.
getNode());
3860 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_TO_SINT node\n");
3873 ReplaceNodeWithValue(
SDValue(Node, 0), Tmp1);
3874 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_TO_UINT node\n");
3886 EVT ResVT =
Node->getValueType(0);
3900 if (
Node->getOperand(0).getValueType().getVectorElementCount().isScalar())
3903 Node->getOperand(0));
3905 Tmp1 = ExpandExtractFromVectorThroughStack(
SDValue(Node, 0));
3909 Results.push_back(ExpandExtractFromVectorThroughStack(
SDValue(Node, 0)));
3912 Results.push_back(ExpandInsertToVectorThroughStack(
SDValue(Node, 0)));
3915 if (EVT VectorValueType =
Node->getOperand(0).getValueType();
3918 Results.push_back(ExpandVectorBuildThroughStack(Node));
3920 Results.push_back(ExpandConcatVectors(Node));
3923 Results.push_back(ExpandSCALAR_TO_VECTOR(Node));
3932 EVT VT =
Node->getValueType(0);
3942 if (NewEltVT.
bitsLT(EltVT)) {
3958 unsigned int factor =
3966 for (
unsigned fi = 0; fi < factor; ++fi)
3970 for (
unsigned fi = 0; fi < factor; ++fi)
3981 for (
unsigned i = 0; i != NumElems; ++i) {
3986 unsigned Idx =
Mask[i];
4008 unsigned Factor =
Node->getNumOperands();
4012 EVT VecVT =
Node->getValueType(0);
4023 for (
unsigned I = 0;
I < Factor / 2;
I++) {
4026 {
L.getValue(
I),
R.getValue(
I)});
4033 unsigned Factor =
Node->getNumOperands();
4036 EVT VecVT =
Node->getValueType(0);
4041 for (
unsigned I = 0;
I < Factor / 2;
I++) {
4044 {
Node->getOperand(
I),
Node->getOperand(
I + Factor / 2)});
4052 for (
unsigned I = 0;
I < Factor / 2;
I++)
4054 for (
unsigned I = 0;
I < Factor / 2;
I++)
4059 EVT OpTy =
Node->getOperand(0).getValueType();
4060 if (
Node->getConstantOperandVal(1)) {
4069 Node->getOperand(0));
4080 Node->getValueType(0)));
4087 ?
"llvm.stackaddress"
4090 Twine(IntrinsicName) +
" is not supported on this target.",
4099 Node->getOperand(1)));
4109 Results.push_back(ExpandFCOPYSIGN(Node));
4112 Results.push_back(ExpandFNEG(Node));
4115 Results.push_back(ExpandFABS(Node));
4121 Test,
Node->getFlags(), SDLoc(Node), DAG))
4131 switch (
Node->getOpcode()) {
4138 Tmp1 =
Node->getOperand(0);
4139 Tmp2 =
Node->getOperand(1);
4140 Tmp1 = DAG.
getSelectCC(dl, Tmp1, Tmp2, Tmp1, Tmp2, Pred);
4163 EVT VT =
Node->getValueType(0);
4179 EVT VT =
Node->getValueType(0);
4186 if (
SDValue Expanded = expandLdexp(Node)) {
4189 Results.push_back(Expanded.getValue(1));
4201 if (
SDValue Expanded = expandFrexp(Node)) {
4203 Results.push_back(Expanded.getValue(1));
4214 if (
SDValue Expanded = expandModf(Node)) {
4216 Results.push_back(Expanded.getValue(1));
4223 EVT VT =
Node->getValueType(0);
4235 if (
Node->getValueType(0) != MVT::f32) {
4247 if (
Node->getValueType(0) != MVT::f32) {
4252 {Node->getOperand(0), Node->getOperand(1)});
4254 {
Node->getValueType(0), MVT::Other},
4264 MVT SVT =
Op.getSimpleValueType();
4265 if ((SVT == MVT::f64 || SVT == MVT::f80) &&
4283 Results.push_back(ExpandConstantFP(CFP,
true));
4288 Results.push_back(ExpandConstant(CP));
4292 EVT VT =
Node->getValueType(0);
4295 const SDNodeFlags
Flags =
Node->getFlags();
4303 EVT VT =
Node->getValueType(0);
4306 "Don't know how to expand this subtraction!");
4307 Tmp1 = DAG.
getNOT(dl,
Node->getOperand(1), VT);
4321 EVT VT =
Node->getValueType(0);
4324 Tmp1 = DAG.
getNode(DivRemOpc, dl, VTs,
Node->getOperand(0),
4325 Node->getOperand(1));
4332 unsigned ExpandOpcode =
4334 EVT VT =
Node->getValueType(0);
4337 Tmp1 = DAG.
getNode(ExpandOpcode, dl, VTs,
Node->getOperand(0),
4338 Node->getOperand(1));
4346 EVT VT =
LHS.getValueType();
4347 unsigned MULHOpcode =
4361 TargetLowering::MulExpansionKind::Always)) {
4362 for (
unsigned i = 0; i < 2; ++i) {
4375 EVT VT =
Node->getValueType(0);
4386 unsigned OpToUse = 0;
4387 if (HasSMUL_LOHI && !HasMULHS) {
4389 }
else if (HasUMUL_LOHI && !HasMULHU) {
4391 }
else if (HasSMUL_LOHI) {
4393 }
else if (HasUMUL_LOHI) {
4398 Node->getOperand(1)));
4409 TargetLowering::MulExpansionKind::OnlyLegalOrCustom)) {
4460 Node->getOperand(0),
4461 Node->getOperand(1),
4462 Node->getConstantOperandVal(2),
4485 EVT VT =
LHS.getValueType();
4489 EVT CarryType =
Node->getValueType(1);
4490 EVT SetCCType = getSetCCResultType(
Node->getValueType(0));
4537 if (TLI.
expandMULO(Node, Result, Overflow, DAG)) {
4554 Tmp1 =
Node->getOperand(0);
4555 Tmp2 =
Node->getOperand(1);
4556 Tmp3 =
Node->getOperand(2);
4577 unsigned EntrySize =
4613 Tmp1 =
Node->getOperand(0);
4614 Tmp2 =
Node->getOperand(1);
4620 Node->getOperand(2));
4632 Node->getOperand(2));
4640 bool IsVP =
Node->getOpcode() == ISD::VP_SETCC;
4645 unsigned Offset = IsStrict ? 1 : 0;
4655 DAG,
Node->getValueType(0), Tmp1, Tmp2, Tmp3, Mask, EVL, NeedInvert, dl,
4656 Chain, IsSignaling);
4664 {Chain, Tmp1, Tmp2, Tmp3},
Node->getFlags());
4668 {Tmp1, Tmp2, Tmp3, Mask, EVL},
Node->getFlags());
4670 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl,
Node->getValueType(0), Tmp1,
4671 Tmp2, Tmp3,
Node->getFlags());
4694 assert(!IsStrict &&
"Don't know how to expand for strict nodes.");
4699 EVT VT =
Node->getValueType(0);
4710 Tmp1 =
Node->getOperand(0);
4711 Tmp2 =
Node->getOperand(1);
4712 Tmp3 =
Node->getOperand(2);
4713 Tmp4 =
Node->getOperand(3);
4714 EVT VT =
Node->getValueType(0);
4724 "Cannot expand ISD::SELECT_CC when ISD::SELECT also needs to be "
4726 EVT CCVT = getSetCCResultType(CmpVT);
4734 bool Legalized =
false;
4752 Tmp1 = DAG.
getSelectCC(dl, Tmp2, Tmp1, Tmp4, Tmp3, SwapInvCC,
4759 DAG, getSetCCResultType(Tmp1.
getValueType()), Tmp1, Tmp2, CC,
4762 assert(Legalized &&
"Can't legalize SELECT_CC with legal condition!");
4773 Tmp2, Tmp3, Tmp4, CC,
Node->getFlags());
4778 Tmp2, Tmp3, Tmp4, CC,
Node->getFlags());
4787 Tmp1 =
Node->getOperand(0);
4788 Tmp2 =
Node->getOperand(2);
4789 Tmp3 =
Node->getOperand(3);
4790 Tmp4 =
Node->getOperand(1);
4793 DAG, getSetCCResultType(Tmp2.
getValueType()), Tmp2, Tmp3, Tmp4,
4796 assert(Legalized &&
"Can't legalize BR_CC with legal condition!");
4801 assert(!NeedInvert &&
"Don't know how to invert BR_CC!");
4804 Tmp4, Tmp2, Tmp3,
Node->getOperand(4));
4809 Tmp2, Tmp3,
Node->getOperand(4));
4815 Results.push_back(ExpandBUILD_VECTOR(Node));
4818 Results.push_back(ExpandSPLAT_VECTOR(Node));
4824 EVT VT =
Node->getValueType(0);
4830 for (
unsigned Idx = 0; Idx < NumElem; Idx++) {
4862 case ISD::VP_CTTZ_ELTS:
4863 case ISD::VP_CTTZ_ELTS_ZERO_UNDEF:
4875 EVT ResVT =
Node->getValueType(0);
4905 switch (
Node->getOpcode()) {
4908 Node->getValueType(0))
4909 == TargetLowering::Legal)
4920 EVT VT =
Node->getValueType(0);
4921 const SDNodeFlags
Flags =
Node->getFlags();
4924 {Node->getOperand(0), Node->getOperand(1), Neg},
4940 Node->getOperand(1).getValueType())
4941 == TargetLowering::Legal)
4954 ReplaceNode(Node,
Results.data());
4966 return Flags.hasApproximateFuncs() && Flags.hasNoNaNs() &&
4967 Flags.hasNoInfs() && Flags.hasNoSignedZeros();
4970void SelectionDAGLegalize::ConvertNodeToLibcall(SDNode *Node) {
4974 TargetLowering::MakeLibCallOptions CallOptions;
4977 unsigned Opc =
Node->getOpcode();
4982 TargetLowering::ArgListTy
Args;
4984 TargetLowering::CallLoweringInfo CLI(DAG);
4986 .setChain(
Node->getOperand(0))
4988 CallingConv::C, Type::getVoidTy(*DAG.
getContext()),
4993 std::pair<SDValue, SDValue> CallResult = TLI.
LowerCallTo(CLI);
4995 Results.push_back(CallResult.second);
5017 EVT RetVT =
Node->getValueType(0);
5022 Ops.push_back(
Node->getOperand(1));
5026 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
5027 "Unexpected atomic op or value type!");
5031 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(DAG, LC, RetVT,
5034 Node->getOperand(0));
5036 Results.push_back(Tmp.second);
5041 TargetLowering::ArgListTy
Args;
5042 TargetLowering::CallLoweringInfo CLI(DAG);
5044 .setChain(
Node->getOperand(0))
5045 .setLibCallee(CallingConv::C, Type::getVoidTy(*DAG.
getContext()),
5049 std::pair<SDValue, SDValue> CallResult = TLI.
LowerCallTo(CLI);
5051 Results.push_back(CallResult.second);
5058 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(
5059 DAG, RTLIB::CLEAR_CACHE, MVT::isVoid, {StartVal, EndVal}, CallOptions,
5060 SDLoc(Node), InputChain);
5061 Results.push_back(Tmp.second);
5066 ExpandFPLibCall(Node, RTLIB::FMIN_F32, RTLIB::FMIN_F64,
5067 RTLIB::FMIN_F80, RTLIB::FMIN_F128,
5068 RTLIB::FMIN_PPCF128,
Results);
5075 ExpandFPLibCall(Node, RTLIB::FMAX_F32, RTLIB::FMAX_F64,
5076 RTLIB::FMAX_F80, RTLIB::FMAX_F128,
5077 RTLIB::FMAX_PPCF128,
Results);
5080 ExpandFPLibCall(Node, RTLIB::FMINIMUM_NUM_F32, RTLIB::FMINIMUM_NUM_F64,
5081 RTLIB::FMINIMUM_NUM_F80, RTLIB::FMINIMUM_NUM_F128,
5082 RTLIB::FMINIMUM_NUM_PPCF128,
Results);
5085 ExpandFPLibCall(Node, RTLIB::FMAXIMUM_NUM_F32, RTLIB::FMAXIMUM_NUM_F64,
5086 RTLIB::FMAXIMUM_NUM_F80, RTLIB::FMAXIMUM_NUM_F128,
5087 RTLIB::FMAXIMUM_NUM_PPCF128,
Results);
5094 {RTLIB::FAST_SQRT_F32, RTLIB::SQRT_F32},
5095 {RTLIB::FAST_SQRT_F64, RTLIB::SQRT_F64},
5096 {RTLIB::FAST_SQRT_F80, RTLIB::SQRT_F80},
5097 {RTLIB::FAST_SQRT_F128, RTLIB::SQRT_F128},
5098 {RTLIB::FAST_SQRT_PPCF128, RTLIB::SQRT_PPCF128},
5103 ExpandFPLibCall(Node, RTLIB::CBRT_F32, RTLIB::CBRT_F64,
5104 RTLIB::CBRT_F80, RTLIB::CBRT_F128,
5105 RTLIB::CBRT_PPCF128,
Results);
5109 ExpandFPLibCall(Node, RTLIB::SIN_F32, RTLIB::SIN_F64,
5110 RTLIB::SIN_F80, RTLIB::SIN_F128,
5115 ExpandFPLibCall(Node, RTLIB::COS_F32, RTLIB::COS_F64,
5116 RTLIB::COS_F80, RTLIB::COS_F128,
5121 ExpandFPLibCall(Node, RTLIB::TAN_F32, RTLIB::TAN_F64, RTLIB::TAN_F80,
5122 RTLIB::TAN_F128, RTLIB::TAN_PPCF128,
Results);
5126 ExpandFPLibCall(Node, RTLIB::ASIN_F32, RTLIB::ASIN_F64, RTLIB::ASIN_F80,
5127 RTLIB::ASIN_F128, RTLIB::ASIN_PPCF128,
Results);
5131 ExpandFPLibCall(Node, RTLIB::ACOS_F32, RTLIB::ACOS_F64, RTLIB::ACOS_F80,
5132 RTLIB::ACOS_F128, RTLIB::ACOS_PPCF128,
Results);
5136 ExpandFPLibCall(Node, RTLIB::ATAN_F32, RTLIB::ATAN_F64, RTLIB::ATAN_F80,
5137 RTLIB::ATAN_F128, RTLIB::ATAN_PPCF128,
Results);
5141 ExpandFPLibCall(Node, RTLIB::ATAN2_F32, RTLIB::ATAN2_F64, RTLIB::ATAN2_F80,
5142 RTLIB::ATAN2_F128, RTLIB::ATAN2_PPCF128,
Results);
5146 ExpandFPLibCall(Node, RTLIB::SINH_F32, RTLIB::SINH_F64, RTLIB::SINH_F80,
5147 RTLIB::SINH_F128, RTLIB::SINH_PPCF128,
Results);
5151 ExpandFPLibCall(Node, RTLIB::COSH_F32, RTLIB::COSH_F64, RTLIB::COSH_F80,
5152 RTLIB::COSH_F128, RTLIB::COSH_PPCF128,
Results);
5156 ExpandFPLibCall(Node, RTLIB::TANH_F32, RTLIB::TANH_F64, RTLIB::TANH_F80,
5157 RTLIB::TANH_F128, RTLIB::TANH_PPCF128,
Results);
5161 EVT VT =
Node->getValueType(0);
5165 if (SincosStret != RTLIB::UNKNOWN_LIBCALL) {
5166 if (
SDValue Expanded = ExpandSincosStretLibCall(Node)) {
5168 Results.push_back(Expanded.getValue(1));
5180 Node->getOperationName(&DAG));
5190 ExpandFPLibCall(Node, RTLIB::LOG_F32, RTLIB::LOG_F64, RTLIB::LOG_F80,
5191 RTLIB::LOG_F128, RTLIB::LOG_PPCF128,
Results);
5195 ExpandFPLibCall(Node, RTLIB::LOG2_F32, RTLIB::LOG2_F64, RTLIB::LOG2_F80,
5196 RTLIB::LOG2_F128, RTLIB::LOG2_PPCF128,
Results);
5200 ExpandFPLibCall(Node, RTLIB::LOG10_F32, RTLIB::LOG10_F64, RTLIB::LOG10_F80,
5201 RTLIB::LOG10_F128, RTLIB::LOG10_PPCF128,
Results);
5205 ExpandFPLibCall(Node, RTLIB::EXP_F32, RTLIB::EXP_F64, RTLIB::EXP_F80,
5206 RTLIB::EXP_F128, RTLIB::EXP_PPCF128,
Results);
5210 ExpandFPLibCall(Node, RTLIB::EXP2_F32, RTLIB::EXP2_F64, RTLIB::EXP2_F80,
5211 RTLIB::EXP2_F128, RTLIB::EXP2_PPCF128,
Results);
5214 ExpandFPLibCall(Node, RTLIB::EXP10_F32, RTLIB::EXP10_F64, RTLIB::EXP10_F80,
5215 RTLIB::EXP10_F128, RTLIB::EXP10_PPCF128,
Results);
5219 ExpandFPLibCall(Node, RTLIB::TRUNC_F32, RTLIB::TRUNC_F64,
5220 RTLIB::TRUNC_F80, RTLIB::TRUNC_F128,
5221 RTLIB::TRUNC_PPCF128,
Results);
5225 ExpandFPLibCall(Node, RTLIB::FLOOR_F32, RTLIB::FLOOR_F64,
5226 RTLIB::FLOOR_F80, RTLIB::FLOOR_F128,
5227 RTLIB::FLOOR_PPCF128,
Results);
5231 ExpandFPLibCall(Node, RTLIB::CEIL_F32, RTLIB::CEIL_F64,
5232 RTLIB::CEIL_F80, RTLIB::CEIL_F128,
5233 RTLIB::CEIL_PPCF128,
Results);
5237 ExpandFPLibCall(Node, RTLIB::RINT_F32, RTLIB::RINT_F64,
5238 RTLIB::RINT_F80, RTLIB::RINT_F128,
5239 RTLIB::RINT_PPCF128,
Results);
5243 ExpandFPLibCall(Node, RTLIB::NEARBYINT_F32,
5244 RTLIB::NEARBYINT_F64,
5245 RTLIB::NEARBYINT_F80,
5246 RTLIB::NEARBYINT_F128,
5247 RTLIB::NEARBYINT_PPCF128,
Results);
5251 ExpandFPLibCall(Node, RTLIB::ROUND_F32,
5255 RTLIB::ROUND_PPCF128,
Results);
5259 ExpandFPLibCall(Node, RTLIB::ROUNDEVEN_F32,
5260 RTLIB::ROUNDEVEN_F64,
5261 RTLIB::ROUNDEVEN_F80,
5262 RTLIB::ROUNDEVEN_F128,
5263 RTLIB::ROUNDEVEN_PPCF128,
Results);
5267 ExpandFPLibCall(Node, RTLIB::LDEXP_F32, RTLIB::LDEXP_F64, RTLIB::LDEXP_F80,
5268 RTLIB::LDEXP_F128, RTLIB::LDEXP_PPCF128,
Results);
5272 EVT VT =
Node->getValueType(0);
5284 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unexpected fpowi.");
5287 if (
Node->isStrictFPOpcode()) {
5290 {
Node->getValueType(0),
Node->getValueType(1)},
5291 {
Node->getOperand(0),
Node->getOperand(2)});
5294 {
Node->getValueType(0),
Node->getValueType(1)},
5301 Node->getOperand(1));
5303 Node->getValueType(0),
5308 unsigned Offset =
Node->isStrictFPOpcode() ? 1 : 0;
5309 bool ExponentHasSizeOfInt =
5311 Node->getOperand(1 +
Offset).getValueType().getSizeInBits();
5312 if (!ExponentHasSizeOfInt) {
5319 ExpandFPLibCall(Node, LC,
Results);
5324 ExpandFPLibCall(Node, RTLIB::POW_F32, RTLIB::POW_F64, RTLIB::POW_F80,
5325 RTLIB::POW_F128, RTLIB::POW_PPCF128,
Results);
5329 ExpandArgFPLibCall(Node, RTLIB::LROUND_F32,
5330 RTLIB::LROUND_F64, RTLIB::LROUND_F80,
5332 RTLIB::LROUND_PPCF128,
Results);
5336 ExpandArgFPLibCall(Node, RTLIB::LLROUND_F32,
5337 RTLIB::LLROUND_F64, RTLIB::LLROUND_F80,
5338 RTLIB::LLROUND_F128,
5339 RTLIB::LLROUND_PPCF128,
Results);
5343 ExpandArgFPLibCall(Node, RTLIB::LRINT_F32,
5344 RTLIB::LRINT_F64, RTLIB::LRINT_F80,
5346 RTLIB::LRINT_PPCF128,
Results);
5350 ExpandArgFPLibCall(Node, RTLIB::LLRINT_F32,
5351 RTLIB::LLRINT_F64, RTLIB::LLRINT_F80,
5353 RTLIB::LLRINT_PPCF128,
Results);
5358 {RTLIB::FAST_DIV_F32, RTLIB::DIV_F32},
5359 {RTLIB::FAST_DIV_F64, RTLIB::DIV_F64},
5360 {RTLIB::FAST_DIV_F80, RTLIB::DIV_F80},
5361 {RTLIB::FAST_DIV_F128, RTLIB::DIV_F128},
5362 {RTLIB::FAST_DIV_PPCF128, RTLIB::DIV_PPCF128},
Results);
5367 ExpandFPLibCall(Node, RTLIB::REM_F32, RTLIB::REM_F64,
5368 RTLIB::REM_F80, RTLIB::REM_F128,
5373 ExpandFPLibCall(Node, RTLIB::FMA_F32, RTLIB::FMA_F64,
5374 RTLIB::FMA_F80, RTLIB::FMA_F128,
5380 {RTLIB::FAST_ADD_F32, RTLIB::ADD_F32},
5381 {RTLIB::FAST_ADD_F64, RTLIB::ADD_F64},
5382 {RTLIB::FAST_ADD_F80, RTLIB::ADD_F80},
5383 {RTLIB::FAST_ADD_F128, RTLIB::ADD_F128},
5384 {RTLIB::FAST_ADD_PPCF128, RTLIB::ADD_PPCF128},
Results);
5390 {RTLIB::FAST_MUL_F32, RTLIB::MUL_F32},
5391 {RTLIB::FAST_MUL_F64, RTLIB::MUL_F64},
5392 {RTLIB::FAST_MUL_F80, RTLIB::MUL_F80},
5393 {RTLIB::FAST_MUL_F128, RTLIB::MUL_F128},
5394 {RTLIB::FAST_MUL_PPCF128, RTLIB::MUL_PPCF128},
Results);
5398 if (
Node->getValueType(0) == MVT::f32) {
5399 Results.push_back(ExpandLibCall(RTLIB::FPEXT_F16_F32, Node,
false).first);
5403 if (
Node->getValueType(0) == MVT::f32) {
5404 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(
5405 DAG, RTLIB::FPEXT_BF16_F32, MVT::f32,
Node->getOperand(1),
5406 CallOptions, SDLoc(Node),
Node->getOperand(0));
5408 Results.push_back(Tmp.second);
5412 if (
Node->getValueType(0) == MVT::f32) {
5413 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(
5414 DAG, RTLIB::FPEXT_F16_F32, MVT::f32,
Node->getOperand(1), CallOptions,
5415 SDLoc(Node),
Node->getOperand(0));
5417 Results.push_back(Tmp.second);
5424 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to expand fp_to_fp16");
5425 Results.push_back(ExpandLibCall(LC, Node,
false).first);
5431 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to expand fp_to_bf16");
5432 Results.push_back(ExpandLibCall(LC, Node,
false).first);
5440 bool IsStrict =
Node->isStrictFPOpcode();
5443 EVT SVT =
Node->getOperand(IsStrict ? 1 : 0).getValueType();
5444 EVT RVT =
Node->getValueType(0);
5451 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
5452 for (
unsigned t = MVT::FIRST_INTEGER_VALUETYPE;
5453 t <= MVT::LAST_INTEGER_VALUETYPE && LC == RTLIB::UNKNOWN_LIBCALL;
5461 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5466 NVT,
Node->getOperand(IsStrict ? 1 : 0));
5468 std::pair<SDValue, SDValue> Tmp =
5472 Results.push_back(Tmp.second);
5480 bool IsStrict =
Node->isStrictFPOpcode();
5485 EVT SVT =
Op.getValueType();
5486 EVT RVT =
Node->getValueType(0);
5493 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
5494 for (
unsigned IntVT = MVT::FIRST_INTEGER_VALUETYPE;
5495 IntVT <= MVT::LAST_INTEGER_VALUETYPE && LC == RTLIB::UNKNOWN_LIBCALL;
5503 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5506 std::pair<SDValue, SDValue> Tmp =
5512 Results.push_back(Tmp.second);
5523 bool IsStrict =
Node->isStrictFPOpcode();
5526 EVT VT =
Node->getValueType(0);
5528 "Unable to expand as libcall if it is not normal rounding");
5531 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5533 std::pair<SDValue, SDValue> Tmp =
5534 TLI.
makeLibCall(DAG, LC, VT,
Op, CallOptions, SDLoc(Node), Chain);
5537 Results.push_back(Tmp.second);
5543 Node->getValueType(0)),
5544 Node,
false).first);
5550 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
5557 Node->getValueType(0));
5559 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5561 std::pair<SDValue, SDValue> Tmp =
5563 CallOptions, SDLoc(Node),
Node->getOperand(0));
5565 Results.push_back(Tmp.second);
5571 {RTLIB::FAST_SUB_F32, RTLIB::SUB_F32},
5572 {RTLIB::FAST_SUB_F64, RTLIB::SUB_F64},
5573 {RTLIB::FAST_SUB_F80, RTLIB::SUB_F80},
5574 {RTLIB::FAST_SUB_F128, RTLIB::SUB_F128},
5575 {RTLIB::FAST_SUB_PPCF128, RTLIB::SUB_PPCF128},
Results);
5579 Results.push_back(ExpandIntLibCall(Node,
true,
5581 RTLIB::SREM_I16, RTLIB::SREM_I32,
5582 RTLIB::SREM_I64, RTLIB::SREM_I128));
5585 Results.push_back(ExpandIntLibCall(Node,
false,
5587 RTLIB::UREM_I16, RTLIB::UREM_I32,
5588 RTLIB::UREM_I64, RTLIB::UREM_I128));
5591 Results.push_back(ExpandIntLibCall(Node,
true,
5593 RTLIB::SDIV_I16, RTLIB::SDIV_I32,
5594 RTLIB::SDIV_I64, RTLIB::SDIV_I128));
5597 Results.push_back(ExpandIntLibCall(Node,
false,
5599 RTLIB::UDIV_I16, RTLIB::UDIV_I32,
5600 RTLIB::UDIV_I64, RTLIB::UDIV_I128));
5605 ExpandDivRemLibCall(Node,
Results);
5608 Results.push_back(ExpandIntLibCall(Node,
false,
5610 RTLIB::MUL_I16, RTLIB::MUL_I32,
5611 RTLIB::MUL_I64, RTLIB::MUL_I128));
5614 Results.push_back(ExpandBitCountingLibCall(
5615 Node, RTLIB::CTLZ_I32, RTLIB::CTLZ_I64, RTLIB::CTLZ_I128));
5618 Results.push_back(ExpandBitCountingLibCall(
5619 Node, RTLIB::CTPOP_I32, RTLIB::CTPOP_I64, RTLIB::CTPOP_I128));
5648 EVT ModeVT =
Node->getValueType(0);
5652 Node->getOperand(0), dl);
5654 ModeVT, dl, Chain, StackPtr,
5664 EVT ModeVT =
Mode.getValueType();
5668 Node->getOperand(0), dl,
Mode, StackPtr,
5682 Node->getOperand(0), dl));
5689 LLVM_DEBUG(
dbgs() <<
"Successfully converted node to libcall\n");
5690 ReplaceNode(Node,
Results.data());
5698 MVT EltVT,
MVT NewEltVT) {
5700 MVT MidVT = OldEltsPerNewElt == 1
5707void SelectionDAGLegalize::PromoteNode(SDNode *Node) {
5710 MVT OVT =
Node->getSimpleValueType(0);
5720 OVT =
Node->getOperand(0).getSimpleValueType();
5731 Node->getOpcode() == ISD::VP_REDUCE_FADD ||
5732 Node->getOpcode() == ISD::VP_REDUCE_FMUL ||
5733 Node->getOpcode() == ISD::VP_REDUCE_FMAX ||
5734 Node->getOpcode() == ISD::VP_REDUCE_FMIN ||
5735 Node->getOpcode() == ISD::VP_REDUCE_FMAXIMUM ||
5736 Node->getOpcode() == ISD::VP_REDUCE_FMINIMUM ||
5737 Node->getOpcode() == ISD::VP_REDUCE_SEQ_FADD)
5738 OVT =
Node->getOperand(1).getSimpleValueType();
5741 OVT =
Node->getOperand(2).getSimpleValueType();
5744 SelectionDAG::FlagInserter FlagsInserter(DAG, FastMathFlags);
5747 SDValue Tmp1, Tmp2, Tmp3, Tmp4;
5748 switch (
Node->getOpcode()) {
5760 unsigned NewOpc =
Node->getOpcode();
5773 Tmp1 = DAG.
getNode(NewOpc, dl, NVT, Tmp1);
5789 auto AnyExtendedNode =
5795 auto LeftShiftResult =
5799 auto CTLZResult = DAG.
getNode(
Node->getOpcode(), dl, NVT, LeftShiftResult);
5807 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
5818 PromoteLegalFP_TO_INT(Node, dl,
Results);
5822 Results.push_back(PromoteLegalFP_TO_INT_SAT(Node, dl));
5828 PromoteLegalINT_TO_FP(Node, dl,
Results);
5839 &&
"VAARG promotion is supported only for vectors or integer types");
5844 Tmp1 = DAG.
getVAArg(NVT, dl, Chain, Ptr,
Node->getOperand(2),
5845 Node->getConstantOperandVal(3));
5848 Tmp2 = DAG.
getNode(TruncOp, dl, OVT, Tmp1);
5855 UpdatedNodes->insert(Tmp2.
getNode());
5856 UpdatedNodes->insert(Chain.
getNode());
5873 unsigned ExtOp, TruncOp;
5880 switch (
Node->getOpcode()) {
5905 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
5906 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
5908 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2);
5917 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
5918 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
5929 unsigned ExtOp, TruncOp;
5930 if (
Node->getValueType(0).isVector() ||
5934 }
else if (
Node->getValueType(0).isInteger()) {
5941 Tmp1 =
Node->getOperand(0);
5943 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
5944 Tmp3 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(2));
5946 Tmp1 = DAG.
getSelect(dl, NVT, Tmp1, Tmp2, Tmp3);
5948 Tmp1 = DAG.
getNode(TruncOp, dl,
Node->getValueType(0), Tmp1);
5950 Tmp1 = DAG.
getNode(TruncOp, dl,
Node->getValueType(0), Tmp1,
5963 Tmp1 = ShuffleWithNarrowerEltType(NVT, OVT, dl, Tmp1, Tmp2, Mask);
5972 Tmp3 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2,
5973 Node->getOperand(2));
5981 MVT CVT =
Node->getSimpleValueType(0);
5982 assert(CVT == OVT &&
"not handled");
5991 Tmp1 =
Node->getOperand(0);
5992 Tmp2 =
Node->getOperand(1);
5994 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
5995 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
5998 Tmp3 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(2));
5999 Tmp4 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(3));
6026 if (
Node->isStrictFPOpcode()) {
6028 std::tie(Tmp1, std::ignore) =
6030 std::tie(Tmp2, std::ignore) =
6034 SDVTList VTs = DAG.
getVTList(
Node->getValueType(0), MVT::Other);
6036 {OutChain, Tmp1, Tmp2, Node->getOperand(3)},
6041 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
6042 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
6044 Tmp2,
Node->getOperand(2),
Node->getFlags()));
6054 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(2));
6055 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(3));
6057 Node->getOperand(0),
Node->getOperand(1),
6058 Tmp1, Tmp2,
Node->getOperand(4)));
6076 Tmp3 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2);
6085 SDVTList VTs = DAG.
getVTList(NVT, MVT::Other);
6087 Node->getOperand(1));
6089 Node->getOperand(2));
6110 {
Node->getOperand(0),
Node->getOperand(1)});
6112 {
Node->getOperand(0),
Node->getOperand(2)});
6115 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6116 {Tmp3, Tmp1, Tmp2});
6129 DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2, Tmp3),
6134 {
Node->getOperand(0),
Node->getOperand(1)});
6136 {
Node->getOperand(0),
Node->getOperand(2)});
6138 {
Node->getOperand(0),
Node->getOperand(3)});
6141 Tmp4 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6142 {Tmp4, Tmp1, Tmp2, Tmp3});
6153 Tmp2 =
Node->getOperand(1);
6154 Tmp3 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2);
6169 {
Node->getOperand(0),
Node->getOperand(1)});
6170 Tmp2 =
Node->getOperand(2);
6182 {
Node->getOperand(0),
Node->getOperand(1)});
6183 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6184 {Tmp1.getValue(1), Tmp1, Node->getOperand(2)});
6208 for (
unsigned ResNum = 0; ResNum <
Node->getNumValues(); ResNum++)
6240 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
6268 {
Node->getOperand(0),
Node->getOperand(1)});
6269 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6270 {Tmp1.getValue(1), Tmp1});
6282 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl,
Node->getValueType(0), Tmp1);
6290 {
Node->getOperand(0),
Node->getOperand(1)});
6291 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6292 {Tmp1.getValue(1), Tmp1});
6307 "Invalid promote type for build_vector");
6340 "Invalid promote type for extract_vector_elt");
6355 for (
unsigned I = 0;
I < NewEltsPerOldElt; ++
I) {
6386 "Invalid promote type for insert_vector_elt");
6404 for (
unsigned I = 0;
I < NewEltsPerOldElt; ++
I) {
6409 CastVal, IdxOffset);
6412 NewVec, Elt, InEltIdx);
6452 "unexpected promotion type");
6454 "unexpected atomic_swap with illegal type");
6478 "unexpected promotion type");
6480 "unexpected atomic_load with illegal type");
6491 MVT ScalarType =
Scalar.getSimpleValueType();
6495 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
6500 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
6510 case ISD::VP_REDUCE_FMAX:
6511 case ISD::VP_REDUCE_FMIN:
6512 case ISD::VP_REDUCE_FMAXIMUM:
6513 case ISD::VP_REDUCE_FMINIMUM:
6514 Results.push_back(PromoteReduction(Node));
6521 ReplaceNode(Node,
Results.data());
6539 SelectionDAGLegalize
Legalizer(*
this, LegalizedNodes);
6546 bool AnyLegalized =
false;
6557 if (LegalizedNodes.
insert(
N).second) {
6558 AnyLegalized =
true;
6579 SelectionDAGLegalize
Legalizer(*
this, LegalizedNodes, &UpdatedNodes);
6586 return LegalizedNodes.
count(
N);
aarch64 falkor hwpf fix Falkor HW Prefetch Fix Late Phase
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static msgpack::DocNode getNode(msgpack::DocNode DN, msgpack::Type Type, MCValue Val)
static bool isConstant(const MachineInstr &MI)
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
Function Alias Analysis Results
This file contains the declarations for the subclasses of Constant, which represent the different fla...
Utilities for dealing with flags related to floating point properties and mode controls.
static MaybeAlign getAlign(Value *Ptr)
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
static bool ExpandBVWithShuffles(SDNode *Node, SelectionDAG &DAG, const TargetLowering &TLI, SDValue &Res)
static bool isSinCosLibcallAvailable(SDNode *Node, const LibcallLoweringInfo &Libcalls)
Return true if sincos or __sincos_stret libcall is available.
static bool useSinCos(SDNode *Node)
Only issue sincos libcall if both sin and cos are needed.
static bool canUseFastMathLibcall(const SDNode *Node)
Return if we can use the FAST_* variant of a math libcall for the node.
static MachineMemOperand * getStackAlignedMMO(SDValue StackPtr, MachineFunction &MF, bool isObjectScalable)
static MVT getPromotedVectorElementType(const TargetLowering &TLI, MVT EltVT, MVT NewEltVT)
std::pair< MCSymbol *, MachineModuleInfoImpl::StubValueTy > PairTy
Promote Memory to Register
PowerPC Reduce CR logical Operation
static constexpr MCPhysReg SPReg
const SmallVectorImpl< MachineOperand > & Cond
static cl::opt< RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode > Mode("regalloc-enable-advisor", cl::Hidden, cl::init(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default), cl::desc("Enable regalloc advisor mode"), cl::values(clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default, "default", "Default"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Release, "release", "precompiled"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Development, "development", "for training")))
This file implements a set that has insertion order iteration characteristics.
This file defines the SmallPtrSet class.
This file defines the SmallSet class.
This file defines the SmallVector class.
This file describes how to lower LLVM code to machine code.
static constexpr int Concat[]
static LLVM_ABI const llvm::fltSemantics & EnumToSemantics(Semantics S)
static APFloat getSmallestNormalized(const fltSemantics &Sem, bool Negative=false)
Returns the smallest (by magnitude) normalized finite number in the given semantics.
APInt bitcastToAPInt() const
static APFloat getInf(const fltSemantics &Sem, bool Negative=false)
Factory for Positive and Negative Infinity.
Class for arbitrary precision integers.
static APInt getSignMask(unsigned BitWidth)
Get the SignMask for a specific bit width.
void setBit(unsigned BitPosition)
Set the given bit to 1 whose position is given as "bitPosition".
static APInt getBitsSet(unsigned numBits, unsigned loBit, unsigned hiBit)
Get a value with a block of bits set.
static APInt getSignedMaxValue(unsigned numBits)
Gets maximum signed value of APInt for a specific bit width.
static APInt getOneBitSet(unsigned numBits, unsigned BitNo)
Return an APInt with exactly one bit set in the result.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
const SDValue & getBasePtr() const
const SDValue & getVal() const
LLVM_ABI Type * getStructRetType() const
static LLVM_ABI bool isValueValidForType(EVT VT, const APFloat &Val)
const APFloat & getValueAPF() const
const ConstantFP * getConstantFPValue() const
const APFloat & getValueAPF() const
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
const ConstantInt * getConstantIntValue() const
static LLVM_ABI Constant * get(ArrayRef< Constant * > V)
bool isLittleEndian() const
Layout endianness...
unsigned getAllocaAddrSpace() const
LLVM_ABI Align getPrefTypeAlign(Type *Ty) const
Returns the preferred stack/global alignment for the specified type.
const BasicBlock & back() const
LLVM_ABI void emitError(const Instruction *I, const Twine &ErrorStr)
emitError - Emit an error message to the currently installed error handler with optional location inf...
LLVM_ABI void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
Tracks which library functions to use for a particular subtarget.
LLVM_ABI CallingConv::ID getLibcallImplCallingConv(RTLIB::LibcallImpl Call) const
Get the CallingConv that should be used for the specified libcall.
LLVM_ABI RTLIB::LibcallImpl getLibcallImpl(RTLIB::Libcall Call) const
Return the lowering's selection of implementation call for Call.
static LocationSize precise(uint64_t Value)
static constexpr LocationSize beforeOrAfterPointer()
Any location before or after the base pointer (but still within the underlying object).
uint64_t getScalarSizeInBits() const
bool bitsLE(MVT VT) const
Return true if this has no more bits than VT.
unsigned getVectorNumElements() const
bool isVector() const
Return true if this is a vector value type.
bool isInteger() const
Return true if this is an integer or a vector integer type.
bool bitsLT(MVT VT) const
Return true if this has less bits than VT.
TypeSize getSizeInBits() const
Returns the size of the specified MVT in bits.
static MVT getVectorVT(MVT VT, unsigned NumElements)
MVT getVectorElementType() const
bool isFloatingPoint() const
Return true if this is a FP or a vector FP type.
LLVM_ABI int CreateStackObject(uint64_t Size, Align Alignment, bool isSpillSlot, const AllocaInst *Alloca=nullptr, uint8_t ID=0)
Create a new statically sized stack object, returning a nonnegative identifier to represent it.
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags f, LLT MemTy, Align base_alignment, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr, SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
Function & getFunction()
Return the LLVM function that this machine code represents.
const MachineJumpTableInfo * getJumpTableInfo() const
getJumpTableInfo - Return the jump table info object for the current function.
LLVM_ABI unsigned getEntrySize(const DataLayout &TD) const
getEntrySize - Return the size of each entry in the jump table.
A description of a memory reference used in the backend.
Flags
Flags values. These may be or'd together.
@ MOStore
The memory access writes data.
MachineMemOperand * getMemOperand() const
Return the unique MachineMemOperand object describing the memory reference performed by operation.
const SDValue & getChain() const
EVT getMemoryVT() const
Return the type of the in-memory value.
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
const DebugLoc & getDebugLoc() const
Represents one node in the SelectionDAG.
bool isStrictFPOpcode()
Test if this node is a strict floating point pseudo-op.
ArrayRef< SDUse > ops() const
LLVM_ABI void dump() const
Dump this node, for debugging.
unsigned getOpcode() const
Return the SelectionDAG opcode value for this node.
static bool hasPredecessorHelper(const SDNode *N, SmallPtrSetImpl< const SDNode * > &Visited, SmallVectorImpl< const SDNode * > &Worklist, unsigned int MaxSteps=0, bool TopologicalPrune=false)
Returns true if N is a predecessor of any node in Worklist.
unsigned getNumValues() const
Return the number of values defined/returned by this operator.
const SDValue & getOperand(unsigned Num) const
EVT getValueType(unsigned ResNo) const
Return the type of a specified result.
iterator_range< user_iterator > users()
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
SDNode * getNode() const
get the SDNode which holds the desired result
SDValue getValue(unsigned R) const
EVT getValueType() const
Return the ValueType of the referenced return value.
const SDValue & getOperand(unsigned i) const
uint64_t getScalarValueSizeInBits() const
unsigned getResNo() const
get the index which selects a specific result in the SDNode
MVT getSimpleValueType() const
Return the simple ValueType of the referenced return value.
unsigned getOpcode() const
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
LLVM_ABI SDValue getShiftAmountOperand(EVT LHSTy, SDValue Op)
Return the specified value casted to the target's desired shift amount type.
LLVM_ABI SDValue getExtLoad(ISD::LoadExtType ExtType, const SDLoc &dl, EVT VT, SDValue Chain, SDValue Ptr, MachinePointerInfo PtrInfo, EVT MemVT, MaybeAlign Alignment=MaybeAlign(), MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes())
const SDValue & getRoot() const
Return the root tag of the SelectionDAG.
bool isKnownNeverSNaN(SDValue Op, const APInt &DemandedElts, unsigned Depth=0) const
const TargetSubtargetInfo & getSubtarget() const
SDValue getCopyToReg(SDValue Chain, const SDLoc &dl, Register Reg, SDValue N)
LLVM_ABI SDValue getMergeValues(ArrayRef< SDValue > Ops, const SDLoc &dl)
Create a MERGE_VALUES node from the given operands.
LLVM_ABI SDVTList getVTList(EVT VT)
Return an SDVTList that represents the list of values specified.
LLVM_ABI SDValue getShiftAmountConstant(uint64_t Val, EVT VT, const SDLoc &DL)
LLVM_ABI SDValue getAllOnesConstant(const SDLoc &DL, EVT VT, bool IsTarget=false, bool IsOpaque=false)
LLVM_ABI SDValue getFreeze(SDValue V)
Return a freeze using the SDLoc of the value operand.
LLVM_ABI SDValue getConstantPool(const Constant *C, EVT VT, MaybeAlign Align=std::nullopt, int Offs=0, bool isT=false, unsigned TargetFlags=0)
LLVM_ABI SDValue getAtomicCmpSwap(unsigned Opcode, const SDLoc &dl, EVT MemVT, SDVTList VTs, SDValue Chain, SDValue Ptr, SDValue Cmp, SDValue Swp, MachineMemOperand *MMO)
Gets a node for an atomic cmpxchg op.
LLVM_ABI SDValue UnrollVectorOp(SDNode *N, unsigned ResNE=0)
Utility function used by legalize and lowering to "unroll" a vector operation by splitting out the sc...
LLVM_ABI SDValue getConstantFP(double Val, const SDLoc &DL, EVT VT, bool isTarget=false)
Create a ConstantFPSDNode wrapping a constant value.
LLVM_ABI SDValue getLoad(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, MachinePointerInfo PtrInfo, MaybeAlign Alignment=MaybeAlign(), MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr)
Loads are not normal binary operators: their result type is not determined by their operands,...
SDValue getSetCC(const SDLoc &DL, EVT VT, SDValue LHS, SDValue RHS, ISD::CondCode Cond, SDValue Chain=SDValue(), bool IsSignaling=false, SDNodeFlags Flags={})
Helper function to make it easier to build SetCC's if you just have an ISD::CondCode instead of an SD...
LLVM_ABI SDValue getAtomic(unsigned Opcode, const SDLoc &dl, EVT MemVT, SDValue Chain, SDValue Ptr, SDValue Val, MachineMemOperand *MMO)
Gets a node for an atomic op, produces result (if relevant) and chain and takes 2 operands.
LLVM_ABI bool shouldOptForSize() const
LLVM_ABI SDValue getNOT(const SDLoc &DL, SDValue Val, EVT VT)
Create a bitwise NOT operation as (XOR Val, -1).
const TargetLowering & getTargetLoweringInfo() const
LLVM_ABI SDValue expandVACopy(SDNode *Node)
Expand the specified ISD::VACOPY node as the Legalize pass would.
allnodes_const_iterator allnodes_begin() const
SDValue getUNDEF(EVT VT)
Return an UNDEF node. UNDEF does not have a useful SDLoc.
SDValue getCALLSEQ_END(SDValue Chain, SDValue Op1, SDValue Op2, SDValue InGlue, const SDLoc &DL)
Return a new CALLSEQ_END node, which always must have a glue result (to ensure it's not CSE'd).
SDValue getBuildVector(EVT VT, const SDLoc &DL, ArrayRef< SDValue > Ops)
Return an ISD::BUILD_VECTOR node.
allnodes_const_iterator allnodes_end() const
LLVM_ABI void DeleteNode(SDNode *N)
Remove the specified node from the system.
SDValue getCopyFromReg(SDValue Chain, const SDLoc &dl, Register Reg, EVT VT)
SDValue getSelect(const SDLoc &DL, EVT VT, SDValue Cond, SDValue LHS, SDValue RHS, SDNodeFlags Flags=SDNodeFlags())
Helper function to make it easier to build Select's if you just have operands and don't want to check...
LLVM_ABI SDValue getZeroExtendInReg(SDValue Op, const SDLoc &DL, EVT VT)
Return the expression required to zero extend the Op value assuming it was the smaller SrcTy value.
const DataLayout & getDataLayout() const
LLVM_ABI SDValue expandVAArg(SDNode *Node)
Expand the specified ISD::VAARG node as the Legalize pass would.
LLVM_ABI void Legalize()
This transforms the SelectionDAG into a SelectionDAG that is compatible with the target instruction s...
LLVM_ABI SDValue getTokenFactor(const SDLoc &DL, SmallVectorImpl< SDValue > &Vals)
Creates a new TokenFactor containing Vals.
LLVM_ABI bool LegalizeOp(SDNode *N, SmallSetVector< SDNode *, 16 > &UpdatedNodes)
Transforms a SelectionDAG node and any operands to it into a node that is compatible with the target ...
LLVM_ABI SDValue getConstant(uint64_t Val, const SDLoc &DL, EVT VT, bool isTarget=false, bool isOpaque=false)
Create a ConstantSDNode wrapping a constant value.
LLVM_ABI SDValue getMemBasePlusOffset(SDValue Base, TypeSize Offset, const SDLoc &DL, const SDNodeFlags Flags=SDNodeFlags())
Returns sum of the base pointer and offset.
LLVM_ABI SDValue getVAArg(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, SDValue SV, unsigned Align)
VAArg produces a result and token chain, and takes a pointer and a source value as input.
LLVM_ABI SDValue getTruncStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, MachinePointerInfo PtrInfo, EVT SVT, Align Alignment, MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes())
LLVM_ABI void ReplaceAllUsesWith(SDValue From, SDValue To)
Modify anything using 'From' to use 'To' instead.
LLVM_ABI SDValue makeStateFunctionCall(unsigned LibFunc, SDValue Ptr, SDValue InChain, const SDLoc &DLoc)
Helper used to make a call to a library function that has one argument of pointer type.
LLVM_ABI SDValue getStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, MachinePointerInfo PtrInfo, Align Alignment, MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes())
Helper function to build ISD::STORE nodes.
LLVM_ABI SDValue getSignedConstant(int64_t Val, const SDLoc &DL, EVT VT, bool isTarget=false, bool isOpaque=false)
SDValue getCALLSEQ_START(SDValue Chain, uint64_t InSize, uint64_t OutSize, const SDLoc &DL)
Return a new CALLSEQ_START node, that starts new call frame, in which InSize bytes are set up inside ...
LLVM_ABI void RemoveDeadNodes()
This method deletes all unreachable nodes in the SelectionDAG.
SDValue getSelectCC(const SDLoc &DL, SDValue LHS, SDValue RHS, SDValue True, SDValue False, ISD::CondCode Cond, SDNodeFlags Flags=SDNodeFlags())
Helper function to make it easier to build SelectCC's if you just have an ISD::CondCode instead of an...
LLVM_ABI SDValue getSExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT)
Convert Op, which must be of integer type, to the integer type VT, by either sign-extending or trunca...
LLVM_ABI SDValue getBoolExtOrTrunc(SDValue Op, const SDLoc &SL, EVT VT, EVT OpVT)
Convert Op, which must be of integer type, to the integer type VT, by using an extension appropriate ...
LLVM_ABI SDValue getExternalSymbol(const char *Sym, EVT VT)
const TargetMachine & getTarget() const
LLVM_ABI std::pair< SDValue, SDValue > getStrictFPExtendOrRound(SDValue Op, SDValue Chain, const SDLoc &DL, EVT VT)
Convert Op, which must be a STRICT operation of float type, to the float type VT, by either extending...
LLVM_ABI SDValue getVPLogicalNOT(const SDLoc &DL, SDValue Val, SDValue Mask, SDValue EVL, EVT VT)
Create a vector-predicated logical NOT operation as (VP_XOR Val, BooleanOne, Mask,...
LLVM_ABI SDValue getAnyExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT)
Convert Op, which must be of integer type, to the integer type VT, by either any-extending or truncat...
const LibcallLoweringInfo & getLibcalls() const
LLVM_ABI SDValue getIntPtrConstant(uint64_t Val, const SDLoc &DL, bool isTarget=false)
LLVM_ABI SDValue getValueType(EVT)
LLVM_ABI SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, ArrayRef< SDUse > Ops)
Gets or creates the specified node.
LLVM_ABI SDValue getFPExtendOrRound(SDValue Op, const SDLoc &DL, EVT VT)
Convert Op, which must be of float type, to the float type VT, by either extending or rounding (by tr...
LLVM_ABI unsigned AssignTopologicalOrder()
Topological-sort the AllNodes list and a assign a unique node id for each node in the DAG based on th...
const TargetLibraryInfo & getLibInfo() const
LLVM_ABI SDValue getBoolConstant(bool V, const SDLoc &DL, EVT VT, EVT OpVT)
Create a true or false constant of type VT using the target's BooleanContent for type OpVT.
LLVM_ABI SDValue getVectorIdxConstant(uint64_t Val, const SDLoc &DL, bool isTarget=false)
LLVM_ABI void ReplaceAllUsesOfValueWith(SDValue From, SDValue To)
Replace any uses of From with To, leaving uses of other values produced by From.getNode() alone.
MachineFunction & getMachineFunction() const
SDValue getPOISON(EVT VT)
Return a POISON node. POISON does not have a useful SDLoc.
SDValue getSplatBuildVector(EVT VT, const SDLoc &DL, SDValue Op)
Return a splat ISD::BUILD_VECTOR node, consisting of Op splatted to all elements.
LLVM_ABI SDValue getFrameIndex(int FI, EVT VT, bool isTarget=false)
LLVM_ABI SDValue getZExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT)
Convert Op, which must be of integer type, to the integer type VT, by either zero-extending or trunca...
LLVM_ABI SDValue getCondCode(ISD::CondCode Cond)
SDValue getObjectPtrOffset(const SDLoc &SL, SDValue Ptr, TypeSize Offset)
Create an add instruction with appropriate flags when used for addressing some offset of an object.
LLVMContext * getContext() const
LLVM_ABI SDValue CreateStackTemporary(TypeSize Bytes, Align Alignment)
Create a stack temporary based on the size in bytes and the alignment.
LLVM_ABI SDNode * UpdateNodeOperands(SDNode *N, SDValue Op)
Mutate the specified node in-place to have the specified operands.
SDValue getEntryNode() const
Return the token chain corresponding to the entry of the function.
LLVM_ABI SDValue getVectorShuffle(EVT VT, const SDLoc &dl, SDValue N1, SDValue N2, ArrayRef< int > Mask)
Return an ISD::VECTOR_SHUFFLE node.
LLVM_ABI SDValue getLogicalNOT(const SDLoc &DL, SDValue Val, EVT VT)
Create a logical NOT operation as (XOR Val, BooleanOne).
bool insert(const value_type &X)
Insert a new element into the SetVector.
A templated base class for SmallPtrSet which provides the typesafe interface that is common across al...
bool erase(PtrType Ptr)
Remove pointer from the set.
size_type count(ConstPtrType Ptr) const
count - Return 1 if the specified pointer is in the set, 0 otherwise.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
A SetVector that performs no allocations if smaller than a certain size.
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void reserve(size_type N)
void swap(SmallVectorImpl &RHS)
void push_back(const T &Elt)
pointer data()
Return a pointer to the vector's buffer, even if empty().
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
This class is used to represent ISD::STORE nodes.
Align getStackAlign() const
getStackAlignment - This method returns the number of bytes to which the stack pointer must be aligne...
StackDirection getStackGrowthDirection() const
getStackGrowthDirection - Return the direction the stack grows
unsigned getIntSize() const
Get size of a C-level int or unsigned int, in bits.
bool isOperationExpand(unsigned Op, EVT VT) const
Return true if the specified operation is illegal on this target or unlikely to be made legal with cu...
virtual bool isShuffleMaskLegal(ArrayRef< int >, EVT) const
Targets can use this to indicate that they only support some VECTOR_SHUFFLE operations,...
virtual bool shouldExpandBuildVectorWithShuffles(EVT, unsigned DefinedValues) const
virtual bool isSExtCheaperThanZExt(EVT FromTy, EVT ToTy) const
Return true if sign-extension from FromTy to ToTy is cheaper than zero-extension.
MVT getVectorIdxTy(const DataLayout &DL) const
Returns the type to be used for the index operand of: ISD::INSERT_VECTOR_ELT, ISD::EXTRACT_VECTOR_ELT...
bool isOperationLegalOrPromote(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal using promotion.
LegalizeAction getCondCodeAction(ISD::CondCode CC, MVT VT) const
Return how the condition code should be treated: either it is legal, needs to be expanded to some oth...
virtual bool isFPImmLegal(const APFloat &, EVT, bool ForCodeSize=false) const
Returns true if the target can instruction select the specified FP immediate natively.
Register getStackPointerRegisterToSaveRestore() const
If a physical register, this specifies the register that llvm.savestack/llvm.restorestack should save...
LegalizeAction getFixedPointOperationAction(unsigned Op, EVT VT, unsigned Scale) const
Some fixed point operations may be natively supported by the target but only for specific scales.
virtual ISD::NodeType getExtendForAtomicOps() const
Returns how the platform's atomic operations are extended (ZERO_EXTEND, SIGN_EXTEND,...
EVT getShiftAmountTy(EVT LHSTy, const DataLayout &DL) const
Returns the type for the shift amount of a shift opcode.
bool isStrictFPEnabled() const
Return true if the target support strict float operation.
virtual EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, EVT VT) const
Return the ValueType of the result of SETCC operations.
virtual EVT getTypeToTransformTo(LLVMContext &Context, EVT VT) const
For types supported by the target, this is an identity function.
bool isCondCodeLegal(ISD::CondCode CC, MVT VT) const
Return true if the specified condition code is legal for a comparison of the specified types on this ...
bool isTypeLegal(EVT VT) const
Return true if the target has native support for the specified value type.
MVT getProgramPointerTy(const DataLayout &DL) const
Return the type for code pointers, which is determined by the program address space specified through...
virtual bool isJumpTableRelative() const
virtual bool ShouldShrinkFPConstant(EVT) const
If true, then instruction selection should seek to shrink the FP constant of the specified type to a ...
virtual MVT getPointerTy(const DataLayout &DL, uint32_t AS=0) const
Return the pointer type for the given address space, defaults to the pointer type from the data layou...
bool isOperationLegal(unsigned Op, EVT VT) const
Return true if the specified operation is legal on this target.
LegalizeAction getTruncStoreAction(EVT ValVT, EVT MemVT) const
Return how this store with truncation should be treated: either it is legal, needs to be promoted to ...
bool isOperationLegalOrCustom(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal with custom lower...
virtual bool allowsMemoryAccess(LLVMContext &Context, const DataLayout &DL, EVT VT, unsigned AddrSpace=0, Align Alignment=Align(1), MachineMemOperand::Flags Flags=MachineMemOperand::MONone, unsigned *Fast=nullptr) const
Return true if the target supports a memory access of this type for the given address space and align...
virtual LegalizeAction getCustomOperationAction(SDNode &Op) const
How to legalize this custom operation?
LegalizeAction getLoadAction(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return how this load with extension should be treated: either it is legal, needs to be promoted to a ...
LegalizeAction getStrictFPOperationAction(unsigned Op, EVT VT) const
virtual bool useSoftFloat() const
bool isTruncStoreLegalOrCustom(EVT ValVT, EVT MemVT) const
Return true if the specified store with truncation has solution on this target.
LegalizeTypeAction getTypeAction(LLVMContext &Context, EVT VT) const
Return how we should legalize values of this type, either it is already legal (return 'Legal') or we ...
virtual bool shouldSignExtendTypeInLibCall(Type *Ty, bool IsSigned) const
Returns true if arguments should be sign-extended in lib calls.
std::vector< ArgListEntry > ArgListTy
bool allowsMemoryAccessForAlignment(LLVMContext &Context, const DataLayout &DL, EVT VT, unsigned AddrSpace=0, Align Alignment=Align(1), MachineMemOperand::Flags Flags=MachineMemOperand::MONone, unsigned *Fast=nullptr) const
This function returns true if the memory access is aligned or if the target allows this specific unal...
bool isCondCodeLegalOrCustom(ISD::CondCode CC, MVT VT) const
Return true if the specified condition code is legal or custom for a comparison of the specified type...
MVT getFrameIndexTy(const DataLayout &DL) const
Return the type for frame index, which is determined by the alloca address space specified through th...
bool isLoadLegal(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return true if the specified load with extension is legal on this target.
MVT getRegisterType(MVT VT) const
Return the type of registers that this ValueType will eventually require.
bool isLoadLegalOrCustom(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return true if the specified load with extension is legal or custom on this target.
LegalizeAction getOperationAction(unsigned Op, EVT VT) const
Return how this operation should be treated: either it is legal, needs to be promoted to a larger siz...
MVT getTypeToPromoteTo(unsigned Op, MVT VT) const
If the action for this operation is to promote, this method returns the ValueType to promote to.
const RTLIB::RuntimeLibcallsInfo & getRuntimeLibcallsInfo() const
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
SDValue expandAddSubSat(SDNode *Node, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::[US][ADD|SUB]SAT.
bool expandMultipleResultFPLibCall(SelectionDAG &DAG, RTLIB::Libcall LC, SDNode *Node, SmallVectorImpl< SDValue > &Results, std::optional< unsigned > CallRetResNo={}) const
Expands a node with multiple results to an FP or vector libcall.
bool expandMULO(SDNode *Node, SDValue &Result, SDValue &Overflow, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::[US]MULO.
bool expandMUL(SDNode *N, SDValue &Lo, SDValue &Hi, EVT HiLoVT, SelectionDAG &DAG, MulExpansionKind Kind, SDValue LL=SDValue(), SDValue LH=SDValue(), SDValue RL=SDValue(), SDValue RH=SDValue()) const
Expand a MUL into two nodes.
SDValue expandCTLZ(SDNode *N, SelectionDAG &DAG) const
Expand CTLZ/CTLZ_ZERO_UNDEF nodes.
SDValue expandBITREVERSE(SDNode *N, SelectionDAG &DAG) const
Expand BITREVERSE nodes.
SDValue expandCTTZ(SDNode *N, SelectionDAG &DAG) const
Expand CTTZ/CTTZ_ZERO_UNDEF nodes.
virtual SDValue expandIndirectJTBranch(const SDLoc &dl, SDValue Value, SDValue Addr, int JTI, SelectionDAG &DAG) const
Expands target specific indirect branch for the case of JumpTable expansion.
SDValue expandABD(SDNode *N, SelectionDAG &DAG) const
Expand ABDS/ABDU nodes.
SDValue expandCLMUL(SDNode *N, SelectionDAG &DAG) const
Expand carryless multiply.
SDValue expandShlSat(SDNode *Node, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::[US]SHLSAT.
SDValue expandIS_FPCLASS(EVT ResultVT, SDValue Op, FPClassTest Test, SDNodeFlags Flags, const SDLoc &DL, SelectionDAG &DAG) const
Expand check for floating point class.
SDValue expandFP_TO_INT_SAT(SDNode *N, SelectionDAG &DAG) const
Expand FP_TO_[US]INT_SAT into FP_TO_[US]INT and selects or min/max.
SDValue expandUnalignedStore(StoreSDNode *ST, SelectionDAG &DAG) const
Expands an unaligned store to 2 half-size stores for integer values, and possibly more for vectors.
void expandSADDSUBO(SDNode *Node, SDValue &Result, SDValue &Overflow, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::S(ADD|SUB)O.
SDValue expandABS(SDNode *N, SelectionDAG &DAG, bool IsNegative=false) const
Expand ABS nodes.
SDValue expandVecReduce(SDNode *Node, SelectionDAG &DAG) const
Expand a VECREDUCE_* into an explicit calculation.
SDValue expandVPCTTZElements(SDNode *N, SelectionDAG &DAG) const
Expand VP_CTTZ_ELTS/VP_CTTZ_ELTS_ZERO_UNDEF nodes.
bool expandFP_TO_UINT(SDNode *N, SDValue &Result, SDValue &Chain, SelectionDAG &DAG) const
Expand float to UINT conversion.
bool expandREM(SDNode *Node, SDValue &Result, SelectionDAG &DAG) const
Expand an SREM or UREM using SDIV/UDIV or SDIVREM/UDIVREM, if legal.
std::pair< SDValue, SDValue > expandUnalignedLoad(LoadSDNode *LD, SelectionDAG &DAG) const
Expands an unaligned load to 2 half-size loads for an integer, and possibly more for vectors.
SDValue expandFMINIMUMNUM_FMAXIMUMNUM(SDNode *N, SelectionDAG &DAG) const
Expand fminimumnum/fmaximumnum into multiple comparison with selects.
SDValue expandVectorSplice(SDNode *Node, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::VECTOR_SPLICE.
SDValue getVectorSubVecPointer(SelectionDAG &DAG, SDValue VecPtr, EVT VecVT, EVT SubVecVT, SDValue Index, const SDNodeFlags PtrArithFlags=SDNodeFlags()) const
Get a pointer to a sub-vector of type SubVecVT at index Idx located in memory for a vector of type Ve...
SDValue expandCTPOP(SDNode *N, SelectionDAG &DAG) const
Expand CTPOP nodes.
std::pair< SDValue, SDValue > LowerCallTo(CallLoweringInfo &CLI) const
This function lowers an abstract call to a function into an actual call.
SDValue expandBSWAP(SDNode *N, SelectionDAG &DAG) const
Expand BSWAP nodes.
SDValue expandFMINIMUM_FMAXIMUM(SDNode *N, SelectionDAG &DAG) const
Expand fminimum/fmaximum into multiple comparison with selects.
bool expandFP_TO_SINT(SDNode *N, SDValue &Result, SelectionDAG &DAG) const
Expand float(f32) to SINT(i64) conversion.
virtual SDValue getPICJumpTableRelocBase(SDValue Table, SelectionDAG &DAG) const
Returns relocation base for the given PIC jumptable.
bool isInTailCallPosition(SelectionDAG &DAG, SDNode *Node, SDValue &Chain) const
Check whether a given call node is in tail position within its function.
SDValue expandFunnelShift(SDNode *N, SelectionDAG &DAG) const
Expand funnel shift.
bool LegalizeSetCCCondCode(SelectionDAG &DAG, EVT VT, SDValue &LHS, SDValue &RHS, SDValue &CC, SDValue Mask, SDValue EVL, bool &NeedInvert, const SDLoc &dl, SDValue &Chain, bool IsSignaling=false) const
Legalize a SETCC or VP_SETCC with given LHS and RHS and condition code CC on the current target.
virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const
This callback is invoked for operations that are unsupported by the target, which are registered to u...
SDValue expandFixedPointDiv(unsigned Opcode, const SDLoc &dl, SDValue LHS, SDValue RHS, unsigned Scale, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::[US]DIVFIX[SAT].
SDValue expandFP_ROUND(SDNode *Node, SelectionDAG &DAG) const
Expand round(fp) to fp conversion.
SDValue expandROT(SDNode *N, bool AllowVectorOps, SelectionDAG &DAG) const
Expand rotations.
SDValue getVectorElementPointer(SelectionDAG &DAG, SDValue VecPtr, EVT VecVT, SDValue Index, const SDNodeFlags PtrArithFlags=SDNodeFlags()) const
Get a pointer to vector element Idx located in memory for a vector of type VecVT starting at a base a...
SDValue expandFMINNUM_FMAXNUM(SDNode *N, SelectionDAG &DAG) const
Expand fminnum/fmaxnum into fminnum_ieee/fmaxnum_ieee with quieted inputs.
std::pair< SDValue, SDValue > makeLibCall(SelectionDAG &DAG, RTLIB::LibcallImpl LibcallImpl, EVT RetVT, ArrayRef< SDValue > Ops, MakeLibCallOptions CallOptions, const SDLoc &dl, SDValue Chain=SDValue()) const
Returns a pair of (return value, chain).
SDValue expandCMP(SDNode *Node, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::[US]CMP.
SDValue expandFixedPointMul(SDNode *Node, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::[U|S]MULFIX[SAT].
void expandUADDSUBO(SDNode *Node, SDValue &Result, SDValue &Overflow, SelectionDAG &DAG) const
Method for building the DAG expansion of ISD::U(ADD|SUB)O.
bool expandUINT_TO_FP(SDNode *N, SDValue &Result, SDValue &Chain, SelectionDAG &DAG) const
Expand UINT(i64) to double(f64) conversion.
bool expandMUL_LOHI(unsigned Opcode, EVT VT, const SDLoc &dl, SDValue LHS, SDValue RHS, SmallVectorImpl< SDValue > &Result, EVT HiLoVT, SelectionDAG &DAG, MulExpansionKind Kind, SDValue LL=SDValue(), SDValue LH=SDValue(), SDValue RL=SDValue(), SDValue RH=SDValue()) const
Expand a MUL or [US]MUL_LOHI of n-bit values into two or four nodes, respectively,...
SDValue expandAVG(SDNode *N, SelectionDAG &DAG) const
Expand vector/scalar AVGCEILS/AVGCEILU/AVGFLOORS/AVGFLOORU nodes.
SDValue expandCTLS(SDNode *N, SelectionDAG &DAG) const
Expand CTLS (count leading sign bits) nodes.
Primary interface to the complete machine description for the target machine.
const Triple & getTargetTriple() const
virtual const TargetFrameLowering * getFrameLowering() const
static constexpr TypeSize getFixed(ScalarTy ExactSize)
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
bool isVoidTy() const
Return true if this is 'void'.
static LLVM_ABI UndefValue * get(Type *T)
Static factory methods - Return an 'undef' object of the specified type.
LLVM Value Representation.
constexpr ScalarTy getFixedValue() 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.
constexpr char Align[]
Key for Kernel::Arg::Metadata::mAlign.
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
@ Fast
Attempts to make calls as fast as possible (e.g.
@ SETCC
SetCC operator - This evaluates to a true value iff the condition is true.
@ MERGE_VALUES
MERGE_VALUES - This node takes multiple discrete operands and returns them all as its individual resu...
@ STACKRESTORE
STACKRESTORE has two operands, an input chain and a pointer to restore to it returns an output chain.
@ STACKSAVE
STACKSAVE - STACKSAVE has one operand, an input chain.
@ STRICT_FSETCC
STRICT_FSETCC/STRICT_FSETCCS - Constrained versions of SETCC, used for floating-point operands only.
@ POISON
POISON - A poison node.
@ SET_FPENV
Sets the current floating-point environment.
@ VECREDUCE_SEQ_FADD
Generic reduction nodes.
@ EH_SJLJ_LONGJMP
OUTCHAIN = EH_SJLJ_LONGJMP(INCHAIN, buffer) This corresponds to the eh.sjlj.longjmp intrinsic.
@ SMUL_LOHI
SMUL_LOHI/UMUL_LOHI - Multiply two integers of type iN, producing a signed/unsigned value of type i[2...
@ INSERT_SUBVECTOR
INSERT_SUBVECTOR(VECTOR1, VECTOR2, IDX) - Returns a vector with VECTOR2 inserted into VECTOR1.
@ STACKADDRESS
STACKADDRESS - Represents the llvm.stackaddress intrinsic.
@ BSWAP
Byte Swap and Counting operators.
@ SMULFIX
RESULT = [US]MULFIX(LHS, RHS, SCALE) - Perform fixed point multiplication on 2 integers with the same...
@ VAEND
VAEND, VASTART - VAEND and VASTART have three operands: an input chain, pointer, and a SRCVALUE.
@ ATOMIC_STORE
OUTCHAIN = ATOMIC_STORE(INCHAIN, val, ptr) This corresponds to "store atomic" instruction.
@ FRAME_TO_ARGS_OFFSET
FRAME_TO_ARGS_OFFSET - This node represents offset from frame pointer to first (possible) on-stack ar...
@ RESET_FPENV
Set floating-point environment to default state.
@ FMAD
FMAD - Perform a * b + c, while getting the same result as the separately rounded operations.
@ ADD
Simple integer binary arithmetic operators.
@ LOAD
LOAD and STORE have token chains as their first operand, then the same operands as an LLVM load/store...
@ SMULFIXSAT
Same as the corresponding unsaturated fixed point instructions, but the result is clamped between the...
@ SET_FPMODE
Sets the current dynamic floating-point control modes.
@ ANY_EXTEND
ANY_EXTEND - Used for integer types. The high bits are undefined.
@ CTTZ_ELTS
Returns the number of number of trailing (least significant) zero elements in a vector.
@ FMA
FMA - Perform a * b + c with no intermediate rounding step.
@ FMODF
FMODF - Decomposes the operand into integral and fractional parts, each having the same type and sign...
@ FATAN2
FATAN2 - atan2, inspired by libm.
@ FSINCOSPI
FSINCOSPI - Compute both the sine and cosine times pi more accurately than FSINCOS(pi*x),...
@ INTRINSIC_VOID
OUTCHAIN = INTRINSIC_VOID(INCHAIN, INTRINSICID, arg1, arg2, ...) This node represents a target intrin...
@ EH_SJLJ_SETUP_DISPATCH
OUTCHAIN = EH_SJLJ_SETUP_DISPATCH(INCHAIN) The target initializes the dispatch table here.
@ ATOMIC_CMP_SWAP_WITH_SUCCESS
Val, Success, OUTCHAIN = ATOMIC_CMP_SWAP_WITH_SUCCESS(INCHAIN, ptr, cmp, swap) N.b.
@ SINT_TO_FP
[SU]INT_TO_FP - These operators convert integers (whose interpreted sign depends on the first letter)...
@ CONCAT_VECTORS
CONCAT_VECTORS(VECTOR0, VECTOR1, ...) - Given a number of values of vector type with the same length ...
@ VECREDUCE_FMAX
FMIN/FMAX nodes can have flags, for NaN/NoNaN variants.
@ FADD
Simple binary floating point operators.
@ VECREDUCE_FMAXIMUM
FMINIMUM/FMAXIMUM nodes propatate NaNs and signed zeroes using the llvm.minimum and llvm....
@ ABS
ABS - Determine the unsigned absolute value of a signed integer value of the same bitwidth.
@ ATOMIC_FENCE
OUTCHAIN = ATOMIC_FENCE(INCHAIN, ordering, scope) This corresponds to the fence instruction.
@ RESET_FPMODE
Sets default dynamic floating-point control modes.
@ SDIVREM
SDIVREM/UDIVREM - Divide two integers and produce both a quotient and remainder result.
@ FP16_TO_FP
FP16_TO_FP, FP_TO_FP16 - These operators are used to perform promotions and truncation for half-preci...
@ BITCAST
BITCAST - This operator converts between integer, vector and FP values, as if the value was stored to...
@ BUILD_PAIR
BUILD_PAIR - This is the opposite of EXTRACT_ELEMENT in some ways.
@ CLMUL
Carry-less multiplication operations.
@ INIT_TRAMPOLINE
INIT_TRAMPOLINE - This corresponds to the init_trampoline intrinsic.
@ FLDEXP
FLDEXP - ldexp, inspired by libm (op0 * 2**op1).
@ SDIVFIX
RESULT = [US]DIVFIX(LHS, RHS, SCALE) - Perform fixed point division on 2 integers with the same width...
@ STRICT_FSQRT
Constrained versions of libm-equivalent floating point intrinsics.
@ BUILTIN_OP_END
BUILTIN_OP_END - This must be the last enum value in this list.
@ CONVERT_FROM_ARBITRARY_FP
CONVERT_FROM_ARBITRARY_FP - This operator converts from an arbitrary floating-point represented as an...
@ EH_LABEL
EH_LABEL - Represents a label in mid basic block used to track locations needed for debug and excepti...
@ EH_RETURN
OUTCHAIN = EH_RETURN(INCHAIN, OFFSET, HANDLER) - This node represents 'eh_return' gcc dwarf builtin,...
@ SIGN_EXTEND
Conversion operators.
@ AVGCEILS
AVGCEILS/AVGCEILU - Rounding averaging add - Add two integers using an integer of type i[N+2],...
@ SCALAR_TO_VECTOR
SCALAR_TO_VECTOR(VAL) - This represents the operation of loading a scalar value into element 0 of the...
@ READSTEADYCOUNTER
READSTEADYCOUNTER - This corresponds to the readfixedcounter intrinsic.
@ ADDROFRETURNADDR
ADDROFRETURNADDR - Represents the llvm.addressofreturnaddress intrinsic.
@ VECREDUCE_FADD
These reductions have relaxed evaluation order semantics, and have a single vector operand.
@ CTTZ_ZERO_UNDEF
Bit counting operators with an undefined result for zero inputs.
@ PREFETCH
PREFETCH - This corresponds to a prefetch intrinsic.
@ FSINCOS
FSINCOS - Compute both fsin and fcos as a single operation.
@ SETCCCARRY
Like SetCC, ops #0 and #1 are the LHS and RHS operands to compare, but op #2 is a boolean indicating ...
@ FNEG
Perform various unary floating-point operations inspired by libm.
@ BR_CC
BR_CC - Conditional branch.
@ SSUBO
Same for subtraction.
@ BR_JT
BR_JT - Jumptable branch.
@ VECTOR_INTERLEAVE
VECTOR_INTERLEAVE(VEC1, VEC2, ...) - Returns N vectors from N input vectors, where N is the factor to...
@ FCANONICALIZE
Returns platform specific canonical encoding of a floating point number.
@ IS_FPCLASS
Performs a check of floating point class property, defined by IEEE-754.
@ SSUBSAT
RESULT = [US]SUBSAT(LHS, RHS) - Perform saturation subtraction on 2 integers with the same bit width ...
@ SELECT
Select(COND, TRUEVAL, FALSEVAL).
@ ATOMIC_LOAD
Val, OUTCHAIN = ATOMIC_LOAD(INCHAIN, ptr) This corresponds to "load atomic" instruction.
@ UNDEF
UNDEF - An undefined node.
@ EXTRACT_ELEMENT
EXTRACT_ELEMENT - This is used to get the lower or upper (determined by a Constant,...
@ SPLAT_VECTOR
SPLAT_VECTOR(VAL) - Returns a vector with the scalar value VAL duplicated in all lanes.
@ VACOPY
VACOPY - VACOPY has 5 operands: an input chain, a destination pointer, a source pointer,...
@ SADDO
RESULT, BOOL = [SU]ADDO(LHS, RHS) - Overflow-aware nodes for addition.
@ CTLS
Count leading redundant sign bits.
@ VECREDUCE_ADD
Integer reductions may have a result type larger than the vector element type.
@ GET_ROUNDING
Returns current rounding mode: -1 Undefined 0 Round to 0 1 Round to nearest, ties to even 2 Round to ...
@ MULHU
MULHU/MULHS - Multiply high - Multiply two integers of type iN, producing an unsigned/signed value of...
@ GET_FPMODE
Reads the current dynamic floating-point control modes.
@ SHL
Shift and rotation operations.
@ VECTOR_SHUFFLE
VECTOR_SHUFFLE(VEC1, VEC2) - Returns a vector, of the same type as VEC1/VEC2.
@ EXTRACT_SUBVECTOR
EXTRACT_SUBVECTOR(VECTOR, IDX) - Returns a subvector from VECTOR.
@ READ_REGISTER
READ_REGISTER, WRITE_REGISTER - This node represents llvm.register on the DAG, which implements the n...
@ EXTRACT_VECTOR_ELT
EXTRACT_VECTOR_ELT(VECTOR, IDX) - Returns a single element from VECTOR identified by the (potentially...
@ ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
@ DEBUGTRAP
DEBUGTRAP - Trap intended to get the attention of a debugger.
@ SELECT_CC
Select with condition operator - This selects between a true value and a false value (ops #2 and #3) ...
@ ATOMIC_CMP_SWAP
Val, OUTCHAIN = ATOMIC_CMP_SWAP(INCHAIN, ptr, cmp, swap) For double-word atomic operations: ValLo,...
@ FMINNUM
FMINNUM/FMAXNUM - Perform floating-point minimum maximum on two values, following IEEE-754 definition...
@ UBSANTRAP
UBSANTRAP - Trap with an immediate describing the kind of sanitizer failure.
@ SSHLSAT
RESULT = [US]SHLSAT(LHS, RHS) - Perform saturation left shift.
@ SMULO
Same for multiplication.
@ DYNAMIC_STACKALLOC
DYNAMIC_STACKALLOC - Allocate some number of bytes on the stack aligned to a specified boundary.
@ VECTOR_SPLICE_LEFT
VECTOR_SPLICE_LEFT(VEC1, VEC2, OFFSET) - Shifts CONCAT_VECTORS(VEC1, VEC2) left by OFFSET elements an...
@ SIGN_EXTEND_INREG
SIGN_EXTEND_INREG - This operator atomically performs a SHL/SRA pair to sign extend a small value in ...
@ SMIN
[US]{MIN/MAX} - Binary minimum or maximum of signed or unsigned integers.
@ SDIVFIXSAT
Same as the corresponding unsaturated fixed point instructions, but the result is clamped between the...
@ FP_EXTEND
X = FP_EXTEND(Y) - Extend a smaller FP type into a larger FP type.
@ GLOBAL_OFFSET_TABLE
The address of the GOT.
@ UADDO_CARRY
Carry-using nodes for multiple precision addition and subtraction.
@ STRICT_SINT_TO_FP
STRICT_[US]INT_TO_FP - Convert a signed or unsigned integer to a floating point value.
@ EH_DWARF_CFA
EH_DWARF_CFA - This node represents the pointer to the DWARF Canonical Frame Address (CFA),...
@ BF16_TO_FP
BF16_TO_FP, FP_TO_BF16 - These operators are used to perform promotions and truncation for bfloat16.
@ FRAMEADDR
FRAMEADDR, RETURNADDR - These nodes represent llvm.frameaddress and llvm.returnaddress on the DAG.
@ STRICT_FP_ROUND
X = STRICT_FP_ROUND(Y, TRUNC) - Rounding 'Y' from a larger floating point type down to the precision ...
@ STRICT_FP_TO_SINT
STRICT_FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
@ FMINIMUM
FMINIMUM/FMAXIMUM - NaN-propagating minimum/maximum that also treat -0.0 as less than 0....
@ FP_TO_SINT
FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
@ READCYCLECOUNTER
READCYCLECOUNTER - This corresponds to the readcyclecounter intrinsic.
@ TargetConstant
TargetConstant* - Like Constant*, but the DAG does not do any folding, simplification,...
@ STRICT_FP_EXTEND
X = STRICT_FP_EXTEND(Y) - Extend a smaller FP type into a larger FP type.
@ AND
Bitwise operators - logical and, logical or, logical xor.
@ TRAP
TRAP - Trapping instruction.
@ INTRINSIC_WO_CHAIN
RESULT = INTRINSIC_WO_CHAIN(INTRINSICID, arg1, arg2, ...) This node represents a target intrinsic fun...
@ GET_FPENV_MEM
Gets the current floating-point environment.
@ SCMP
[US]CMP - 3-way comparison of signed or unsigned integers.
@ AVGFLOORS
AVGFLOORS/AVGFLOORU - Averaging add - Add two integers using an integer of type i[N+1],...
@ VECTOR_SPLICE_RIGHT
VECTOR_SPLICE_RIGHT(VEC1, VEC2, OFFSET) - Shifts CONCAT_VECTORS(VEC1,VEC2) right by OFFSET elements a...
@ STRICT_FADD
Constrained versions of the binary floating point operators.
@ INSERT_VECTOR_ELT
INSERT_VECTOR_ELT(VECTOR, VAL, IDX) - Returns VECTOR with the element at IDX replaced with VAL.
@ TokenFactor
TokenFactor - This node takes multiple tokens as input and produces a single token result.
@ ATOMIC_SWAP
Val, OUTCHAIN = ATOMIC_SWAP(INCHAIN, ptr, amt) Val, OUTCHAIN = ATOMIC_LOAD_[OpName](INCHAIN,...
@ FFREXP
FFREXP - frexp, extract fractional and exponent component of a floating-point value.
@ FP_ROUND
X = FP_ROUND(Y, TRUNC) - Rounding 'Y' from a larger floating point type down to the precision of the ...
@ SPONENTRY
SPONENTRY - Represents the llvm.sponentry intrinsic.
@ CLEAR_CACHE
llvm.clear_cache intrinsic Operands: Input Chain, Start Addres, End Address Outputs: Output Chain
@ ADDRSPACECAST
ADDRSPACECAST - This operator converts between pointers of different address spaces.
@ EXPERIMENTAL_VECTOR_HISTOGRAM
Experimental vector histogram intrinsic Operands: Input Chain, Inc, Mask, Base, Index,...
@ FP_TO_SINT_SAT
FP_TO_[US]INT_SAT - Convert floating point value in operand 0 to a signed or unsigned scalar integer ...
@ EH_SJLJ_SETJMP
RESULT, OUTCHAIN = EH_SJLJ_SETJMP(INCHAIN, buffer) This corresponds to the eh.sjlj....
@ TRUNCATE
TRUNCATE - Completely drop the high bits.
@ VAARG
VAARG - VAARG has four operands: an input chain, a pointer, a SRCVALUE, and the alignment.
@ BRCOND
BRCOND - Conditional branch.
@ SHL_PARTS
SHL_PARTS/SRA_PARTS/SRL_PARTS - These operators are used for expanded integer shift operations.
@ AssertSext
AssertSext, AssertZext - These nodes record if a register contains a value that has already been zero...
@ FCOPYSIGN
FCOPYSIGN(X, Y) - Return the value of X with the sign of Y.
@ SADDSAT
RESULT = [US]ADDSAT(LHS, RHS) - Perform saturation addition on 2 integers with the same bit width (W)...
@ CALLSEQ_START
CALLSEQ_START/CALLSEQ_END - These operators mark the beginning and end of a call sequence,...
@ VECTOR_DEINTERLEAVE
VECTOR_DEINTERLEAVE(VEC1, VEC2, ...) - Returns N vectors from N input vectors, where N is the factor ...
@ GET_DYNAMIC_AREA_OFFSET
GET_DYNAMIC_AREA_OFFSET - get offset from native SP to the address of the most recent dynamic alloca.
@ SET_FPENV_MEM
Sets the current floating point environment.
@ FMINIMUMNUM
FMINIMUMNUM/FMAXIMUMNUM - minimumnum/maximumnum that is same with FMINNUM_IEEE and FMAXNUM_IEEE besid...
@ ABDS
ABDS/ABDU - Absolute difference - Return the absolute difference between two numbers interpreted as s...
@ ADJUST_TRAMPOLINE
ADJUST_TRAMPOLINE - This corresponds to the adjust_trampoline intrinsic.
@ INTRINSIC_W_CHAIN
RESULT,OUTCHAIN = INTRINSIC_W_CHAIN(INCHAIN, INTRINSICID, arg1, ...) This node represents a target in...
@ BUILD_VECTOR
BUILD_VECTOR(ELT0, ELT1, ELT2, ELT3,...) - Return a fixed-width vector with the specified,...
LLVM_ABI NodeType getExtForLoadExtType(bool IsFP, LoadExtType)
bool isNormalStore(const SDNode *N)
Returns true if the specified node is a non-truncating and unindexed store.
LLVM_ABI CondCode getSetCCInverse(CondCode Operation, EVT Type)
Return the operation corresponding to !(X op Y), where 'op' is a valid SetCC operation.
LLVM_ABI std::optional< unsigned > getVPMaskIdx(unsigned Opcode)
The operand position of the vector mask.
LLVM_ABI CondCode getSetCCSwappedOperands(CondCode Operation)
Return the operation corresponding to (Y op X) when given the operation for (X op Y).
bool isSignedIntSetCC(CondCode Code)
Return true if this is a setcc instruction that performs a signed comparison when used with integer o...
CondCode
ISD::CondCode enum - These are ordered carefully to make the bitfields below work out,...
LoadExtType
LoadExtType enum - This enum defines the three variants of LOADEXT (load with extension).
LLVM_ABI bool isVPOpcode(unsigned Opcode)
Whether this is a vector-predicated Opcode.
LLVM_ABI Libcall getPOWI(EVT RetVT)
getPOWI - Return the POWI_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getSINTTOFP(EVT OpVT, EVT RetVT)
getSINTTOFP - Return the SINTTOFP_*_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getSYNC(unsigned Opc, MVT VT)
Return the SYNC_FETCH_AND_* value for the given opcode and type, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getLDEXP(EVT RetVT)
getLDEXP - Return the LDEXP_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getUINTTOFP(EVT OpVT, EVT RetVT)
getUINTTOFP - Return the UINTTOFP_*_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getFREXP(EVT RetVT)
getFREXP - Return the FREXP_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getSINCOSPI(EVT RetVT)
getSINCOSPI - Return the SINCOSPI_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getFPLibCall(EVT VT, Libcall Call_F32, Libcall Call_F64, Libcall Call_F80, Libcall Call_F128, Libcall Call_PPCF128)
GetFPLibCall - Helper to return the right libcall for the given floating point type,...
LLVM_ABI Libcall getFPTOUINT(EVT OpVT, EVT RetVT)
getFPTOUINT - Return the FPTOUINT_*_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getMODF(EVT VT)
getMODF - Return the MODF_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getFPTOSINT(EVT OpVT, EVT RetVT)
getFPTOSINT - Return the FPTOSINT_*_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getOUTLINE_ATOMIC(unsigned Opc, AtomicOrdering Order, MVT VT)
Return the outline atomics value for the given opcode, atomic ordering and type, or UNKNOWN_LIBCALL i...
LLVM_ABI Libcall getFPEXT(EVT OpVT, EVT RetVT)
getFPEXT - Return the FPEXT_*_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getFPROUND(EVT OpVT, EVT RetVT)
getFPROUND - Return the FPROUND_*_* value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getSINCOS_STRET(EVT RetVT)
Return the SINCOS_STRET_ value for the given types, or UNKNOWN_LIBCALL if there is none.
LLVM_ABI Libcall getSINCOS(EVT RetVT)
getSINCOS - Return the SINCOS_* value for the given types, or UNKNOWN_LIBCALL if there is none.
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
NodeAddr< NodeBase * > Node
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
void dump(const SparseBitVector< ElementSize > &LHS, raw_ostream &out)
unsigned Log2_32_Ceil(uint32_t Value)
Return the ceil log base 2 of the specified value, 32 if the value is zero.
FunctionAddr VTableAddr Value
@ Undef
Value of the register doesn't matter.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
constexpr bool isPowerOf2_64(uint64_t Value)
Return true if the argument is a power of two > 0 (64 bit edition.)
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
FPClassTest
Floating-point class tests, supported by 'is_fpclass' intrinsic.
APFloat scalbn(APFloat X, int Exp, APFloat::roundingMode RM)
Returns: X * 2^Exp for integral exponents.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
LLVM_ABI Constant * ConstantFoldCastOperand(unsigned Opcode, Constant *C, Type *DestTy, const DataLayout &DL)
Attempt to constant fold a cast with the specified operand.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
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...
AtomicOrdering
Atomic ordering for LLVM's memory model.
To bit_cast(const From &from) noexcept
@ Or
Bitwise or logical OR of integers.
@ And
Bitwise or logical AND of integers.
@ Sub
Subtraction of integers.
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI bool isOneConstant(SDValue V)
Returns true if V is a constant integer one.
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
constexpr uint64_t value() const
This is a hole in the type system and should not be abused.
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
static EVT getVectorVT(LLVMContext &Context, EVT VT, unsigned NumElements, bool IsScalable=false)
Returns the EVT that represents a vector NumElements in length, where each element is of type VT.
EVT changeTypeToInteger() const
Return the type converted to an equivalently sized integer or vector with integer element type.
bool bitsGT(EVT VT) const
Return true if this has more bits than VT.
bool bitsLT(EVT VT) const
Return true if this has less bits than VT.
bool isFloatingPoint() const
Return true if this is a FP or a vector FP type.
TypeSize getSizeInBits() const
Return the size of the specified value type in bits.
bool isByteSized() const
Return true if the bit size is a multiple of 8.
uint64_t getScalarSizeInBits() const
EVT getHalfSizedIntegerVT(LLVMContext &Context) const
Finds the smallest simple value type that is greater than or equal to half the width of this EVT.
TypeSize getStoreSizeInBits() const
Return the number of bits overwritten by a store of the specified value type.
MVT getSimpleVT() const
Return the SimpleValueType held in the specified simple EVT.
static EVT getIntegerVT(LLVMContext &Context, unsigned BitWidth)
Returns the EVT that represents an integer with the given number of bits.
bool isVector() const
Return true if this is a vector value type.
EVT getScalarType() const
If this is a vector type, return the element type, otherwise return this.
bool bitsGE(EVT VT) const
Return true if this has no less bits than VT.
bool bitsEq(EVT VT) const
Return true if this has the same number of bits as VT.
LLVM_ABI Type * getTypeForEVT(LLVMContext &Context) const
This method returns an LLVM type corresponding to the specified EVT.
bool isScalableVector() const
Return true if this is a vector type where the runtime length is machine dependent.
EVT getVectorElementType() const
Given a vector type, return the type of each element.
bool isScalarInteger() const
Return true if this is an integer, but not a vector.
LLVM_ABI const fltSemantics & getFltSemantics() const
Returns an APFloat semantics tag appropriate for the value type.
unsigned getVectorNumElements() const
Given a vector type, return the number of elements it contains.
bool bitsLE(EVT VT) const
Return true if this has no more bits than VT.
bool isInteger() const
Return true if this is an integer or a vector integer type.
This class contains a discriminated union of information about pointers in memory operands,...
static LLVM_ABI MachinePointerInfo getJumpTable(MachineFunction &MF)
Return a MachinePointerInfo record that refers to a jump table entry.
LLVM_ABI unsigned getAddrSpace() const
Return the LLVM IR address space number that this pointer points into.
static LLVM_ABI MachinePointerInfo getConstantPool(MachineFunction &MF)
Return a MachinePointerInfo record that refers to the constant pool.
MachinePointerInfo getWithOffset(int64_t O) const
static LLVM_ABI MachinePointerInfo getUnknownStack(MachineFunction &MF)
Stack memory without other information.
static LLVM_ABI MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.
CallingConv::ID getLibcallImplCallingConv(RTLIB::LibcallImpl Call) const
Get the CallingConv that should be used for the specified libcall.
std::pair< FunctionType *, AttributeList > getFunctionTy(LLVMContext &Ctx, const Triple &TT, const DataLayout &DL, RTLIB::LibcallImpl LibcallImpl) const
These are IR-level optimization flags that may be propagated to SDNodes.
void setNoFPExcept(bool b)
void setNoUnsignedWrap(bool b)
void setNoSignedWrap(bool b)
bool IsPostTypeLegalization
MakeLibCallOptions & setIsSigned(bool Value=true)
fltNonfiniteBehavior nonFiniteBehavior
fltNanEncoding nanEncoding