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);
627 ST->getAlign(),
ST->getAddressSpace())) {
630 case TargetLowering::Legal: {
631 EVT MemVT =
ST->getMemoryVT();
635 *
ST->getMemOperand())) {
637 ReplaceNode(
SDValue(ST, 0), Result);
641 case TargetLowering::Custom: {
643 if (Res && Res !=
SDValue(Node, 0))
644 ReplaceNode(
SDValue(Node, 0), Res);
647 case TargetLowering::Expand:
649 "Vector Stores are handled in LegalizeVectorOps");
657 ST->getBaseAlign(), MMOFlags, AAInfo);
665 StVT,
ST->getBaseAlign(), MMOFlags, AAInfo);
668 ReplaceNode(
SDValue(Node, 0), Result);
674void SelectionDAGLegalize::LegalizeLoadOps(SDNode *Node) {
683 LLVM_DEBUG(
dbgs() <<
"Legalizing non-extending load operation\n");
684 MVT VT =
Node->getSimpleValueType(0);
690 case TargetLowering::Legal: {
691 EVT MemVT =
LD->getMemoryVT();
696 *
LD->getMemOperand())) {
701 case TargetLowering::Custom:
708 case TargetLowering::Promote: {
711 "Can only promote loads to same size type");
715 if (
const MDNode *MD =
LD->getRanges()) {
719 LD->getMemOperand()->clearRanges();
727 if (RChain.
getNode() != Node) {
728 assert(RVal.
getNode() != Node &&
"Load must be completely replaced");
732 UpdatedNodes->insert(RVal.
getNode());
733 UpdatedNodes->insert(RChain.
getNode());
741 EVT SrcVT =
LD->getMemoryVT();
744 AAMDNodes AAInfo =
LD->getAAInfo();
756 LD->getAddressSpace(), ExtType,
757 false) == TargetLowering::Promote)) {
771 Chain, Ptr,
LD->getPointerInfo(), NVT,
772 LD->getBaseAlign(), MMOFlags, AAInfo);
784 Result.getValueType(), Result,
793 unsigned LogSrcWidth =
Log2_32(SrcWidthBits);
795 unsigned RoundWidth = 1 << LogSrcWidth;
796 assert(RoundWidth < SrcWidthBits);
797 unsigned ExtraWidth = SrcWidthBits - RoundWidth;
798 assert(ExtraWidth < RoundWidth);
799 assert(!(RoundWidth % 8) && !(ExtraWidth % 8) &&
800 "Load size not an integral number of bytes!");
804 unsigned IncrementSize;
807 if (
DL.isLittleEndian()) {
811 LD->getPointerInfo(), RoundVT,
LD->getBaseAlign(),
815 IncrementSize = RoundWidth / 8;
819 LD->getPointerInfo().getWithOffset(IncrementSize),
820 ExtraVT,
LD->getBaseAlign(), MMOFlags, AAInfo);
839 LD->getPointerInfo(), RoundVT,
LD->getBaseAlign(),
843 IncrementSize = RoundWidth / 8;
847 LD->getPointerInfo().getWithOffset(IncrementSize),
848 ExtraVT,
LD->getBaseAlign(), MMOFlags, AAInfo);
866 bool isCustom =
false;
868 LD->getAlign(),
LD->getAddressSpace(), ExtType,
872 case TargetLowering::Custom:
875 case TargetLowering::Legal:
887 EVT MemVT =
LD->getMemoryVT();
890 *
LD->getMemOperand())) {
896 case TargetLowering::Expand: {
897 EVT DestVT =
Node->getValueType(0);
898 if (!TLI.
isLoadLegal(DestVT, SrcVT,
LD->getAlign(),
LD->getAddressSpace(),
906 LD->getAddressSpace(), ExtType,
false))) {
913 SrcVT,
LD->getMemOperand());
917 Chain =
Load.getValue(1);
926 if (SVT == MVT::f16 || SVT == MVT::bf16) {
932 Ptr, ISrcVT,
LD->getMemOperand());
936 Chain =
Result.getValue(1);
942 "Vector Loads are handled in LegalizeVectorOps");
949 "EXTLOAD should always be supported!");
953 Node->getValueType(0),
955 LD->getMemOperand());
964 Chain =
Result.getValue(1);
973 assert(
Value.getNode() != Node &&
"Load must be completely replaced");
977 UpdatedNodes->insert(
Value.getNode());
978 UpdatedNodes->insert(Chain.
getNode());
985void SelectionDAGLegalize::LegalizeOp(SDNode *Node) {
994 for (
unsigned i = 0, e =
Node->getNumValues(); i != e; ++i)
996 TargetLowering::TypeLegal &&
997 "Unexpected illegal type!");
1001 TargetLowering::TypeLegal ||
1004 "Unexpected illegal type!");
1008 TargetLowering::LegalizeAction Action = TargetLowering::Legal;
1009 bool SimpleFinishLegalizing =
true;
1010 switch (
Node->getOpcode()) {
1021 ReplaceNode(Node, UndefNode.
getNode());
1033 Node->getValueType(0));
1037 Node->getValueType(0));
1038 if (Action != TargetLowering::Promote)
1044 Node->getOperand(1).getValueType());
1056 Node->getOperand(0).getValueType());
1070 Node->getOperand(1).getValueType());
1079 Node->getOperand(1).getValueType());
1088 unsigned Opc =
Node->getOpcode();
1099 MVT OpVT =
Node->getOperand(CompareOperand).getSimpleValueType();
1103 if (Action == TargetLowering::Legal) {
1106 Node->getValueType(0));
1116 SimpleFinishLegalizing =
false;
1123 SimpleFinishLegalizing =
false;
1137 if (Action == TargetLowering::Legal)
1138 Action = TargetLowering::Expand;
1149 if (Action == TargetLowering::Legal)
1150 Action = TargetLowering::Custom;
1168 Action = TargetLowering::Legal;
1172 if (Action == TargetLowering::Expand) {
1176 Node->getOperand(0));
1177 ReplaceNode(Node, NewVal.
getNode());
1184 if (Action == TargetLowering::Expand) {
1188 Node->getOperand(0));
1189 ReplaceNode(Node, NewVal.
getNode());
1214 unsigned Scale =
Node->getConstantOperandVal(2);
1216 Node->getValueType(0), Scale);
1227 case ISD::VP_SCATTER:
1237 case ISD::EXPERIMENTAL_VP_STRIDED_STORE:
1259 Node->getOpcode(),
Node->getOperand(0).getValueType());
1263 case ISD::VP_REDUCE_FADD:
1264 case ISD::VP_REDUCE_FMUL:
1265 case ISD::VP_REDUCE_ADD:
1266 case ISD::VP_REDUCE_MUL:
1267 case ISD::VP_REDUCE_AND:
1268 case ISD::VP_REDUCE_OR:
1269 case ISD::VP_REDUCE_XOR:
1270 case ISD::VP_REDUCE_SMAX:
1271 case ISD::VP_REDUCE_SMIN:
1272 case ISD::VP_REDUCE_UMAX:
1273 case ISD::VP_REDUCE_UMIN:
1274 case ISD::VP_REDUCE_FMAX:
1275 case ISD::VP_REDUCE_FMIN:
1276 case ISD::VP_REDUCE_FMAXIMUM:
1277 case ISD::VP_REDUCE_FMINIMUM:
1278 case ISD::VP_REDUCE_SEQ_FADD:
1279 case ISD::VP_REDUCE_SEQ_FMUL:
1281 Node->getOpcode(),
Node->getOperand(1).getValueType());
1285 case ISD::VP_CTTZ_ELTS:
1286 case ISD::VP_CTTZ_ELTS_ZERO_UNDEF:
1288 Node->getOperand(0).getValueType());
1304 if (SimpleFinishLegalizing) {
1305 SDNode *NewNode =
Node;
1306 switch (
Node->getOpcode()) {
1353 if (NewNode != Node) {
1354 ReplaceNode(Node, NewNode);
1358 case TargetLowering::Legal:
1361 case TargetLowering::Custom:
1369 if (
Node->getNumValues() == 1) {
1373 Node->getValueType(0) == MVT::Glue) &&
1374 "Type mismatch for custom legalized operation");
1377 ReplaceNode(
SDValue(Node, 0), Res);
1382 for (
unsigned i = 0, e =
Node->getNumValues(); i != e; ++i) {
1386 Node->getValueType(i) == MVT::Glue) &&
1387 "Type mismatch for custom legalized operation");
1391 ReplaceNode(Node, ResultVals.
data());
1396 case TargetLowering::Expand:
1397 if (ExpandNode(Node))
1400 case TargetLowering::LibCall:
1401 ConvertNodeToLibcall(Node);
1403 case TargetLowering::Promote:
1409 switch (
Node->getOpcode()) {
1422 return LegalizeLoadOps(Node);
1424 return LegalizeStoreOps(Node);
1428SDValue SelectionDAGLegalize::ExpandExtractFromVectorThroughStack(
SDValue Op) {
1441 SmallPtrSet<const SDNode *, 32> Visited;
1448 if (
ST->isIndexed() ||
ST->isTruncatingStore() ||
1449 ST->getValue() != Vec)
1454 if (!
ST->getChain().reachesChainWithoutSideEffects(DAG.
getEntryNode()))
1463 ST->hasPredecessor(
Op.getNode()))
1483 Align ElementAlignment =
1488 if (
Op.getValueType().isVector()) {
1490 Op.getValueType(), Idx);
1491 NewLoad = DAG.
getLoad(
Op.getValueType(), dl, Ch, StackPtr,
1492 MachinePointerInfo(), ElementAlignment);
1506 NewLoadOperands[0] = Ch;
1512SDValue SelectionDAGLegalize::ExpandInsertToVectorThroughStack(
SDValue Op) {
1513 assert(
Op.getValueType().isVector() &&
"Non-vector insert subvector!");
1525 MachinePointerInfo PtrInfo =
1529 Align BaseVecAlignment =
1547 Ch, dl, Part, SubStackPtr,
1556 Ch, dl, Part, SubStackPtr,
1562 "ElementAlignment does not match!");
1565 return DAG.
getLoad(
Op.getValueType(), dl, Ch, StackPtr, PtrInfo,
1569SDValue SelectionDAGLegalize::ExpandConcatVectors(SDNode *Node) {
1573 unsigned NumOperands =
Node->getNumOperands();
1575 EVT VectorValueType =
Node->getOperand(0).getValueType();
1579 for (
unsigned I = 0;
I < NumOperands; ++
I) {
1581 for (
unsigned Idx = 0; Idx < NumSubElem; ++Idx) {
1590SDValue SelectionDAGLegalize::ExpandVectorBuildThroughStack(SDNode* Node) {
1593 "Unexpected opcode!");
1599 EVT VT =
Node->getValueType(0);
1601 :
Node->getOperand(0).getValueType();
1605 MachinePointerInfo PtrInfo =
1611 assert(TypeByteSize > 0 &&
"Vector element type too small for stack store!");
1616 MemVT.
bitsLT(
Node->getOperand(0).getValueType());
1619 for (
unsigned i = 0, e =
Node->getNumOperands(); i != e; ++i) {
1621 if (
Node->getOperand(i).isUndef())
continue;
1623 unsigned Offset = TypeByteSize*i;
1630 Node->getOperand(i), Idx,
1638 if (!Stores.
empty())
1644 return DAG.
getLoad(VT, dl, StoreChain, FIPtr, PtrInfo);
1650void SelectionDAGLegalize::getSignAsIntValue(FloatSignAsInt &State,
1653 EVT FloatVT =
Value.getValueType();
1655 State.FloatVT = FloatVT;
1661 State.SignBit = NumBits - 1;
1676 State.FloatPointerInfo);
1679 if (DataLayout.isBigEndian()) {
1683 State.IntPointerInfo = State.FloatPointerInfo;
1686 unsigned ByteOffset = (NumBits / 8) - 1;
1693 State.IntPtr = IntPtr;
1695 State.IntPointerInfo, MVT::i8);
1702SDValue SelectionDAGLegalize::modifySignAsInt(
const FloatSignAsInt &State,
1710 State.IntPointerInfo, MVT::i8);
1711 return DAG.
getLoad(State.FloatVT,
DL, Chain, State.FloatPtr,
1712 State.FloatPointerInfo);
1715SDValue SelectionDAGLegalize::ExpandFCOPYSIGN(SDNode *Node)
const {
1721 FloatSignAsInt SignAsInt;
1722 getSignAsIntValue(SignAsInt,
DL, Sign);
1742 FloatSignAsInt MagAsInt;
1743 getSignAsIntValue(MagAsInt,
DL, Mag);
1750 int ShiftAmount = SignAsInt.SignBit - MagAsInt.SignBit;
1751 EVT ShiftVT = IntVT;
1757 if (ShiftAmount > 0) {
1760 }
else if (ShiftAmount < 0) {
1773 return modifySignAsInt(MagAsInt,
DL, CopiedSign);
1776SDValue SelectionDAGLegalize::ExpandFNEG(SDNode *Node)
const {
1779 FloatSignAsInt SignAsInt;
1780 getSignAsIntValue(SignAsInt,
DL,
Node->getOperand(0));
1789 return modifySignAsInt(SignAsInt,
DL, SignFlip);
1792SDValue SelectionDAGLegalize::ExpandFABS(SDNode *Node)
const {
1797 EVT FloatVT =
Value.getValueType();
1804 FloatSignAsInt ValueAsInt;
1805 getSignAsIntValue(ValueAsInt,
DL,
Value);
1810 return modifySignAsInt(ValueAsInt,
DL, ClearedSign);
1813void SelectionDAGLegalize::ExpandDYNAMIC_STACKALLOC(SDNode* Node,
1814 SmallVectorImpl<SDValue> &
Results) {
1816 assert(
SPReg &&
"Target cannot require DYNAMIC_STACKALLOC expansion and"
1817 " not tell us which reg is the stack pointer!");
1819 EVT VT =
Node->getValueType(0);
1831 Chain =
SP.getValue(1);
1840 if (Alignment > StackAlign)
1855SDValue SelectionDAGLegalize::EmitStackConvert(
SDValue SrcOp, EVT SlotVT,
1856 EVT DestVT,
const SDLoc &dl) {
1857 return EmitStackConvert(SrcOp, SlotVT, DestVT, dl, DAG.
getEntryNode());
1860SDValue SelectionDAGLegalize::EmitStackConvert(
SDValue SrcOp, EVT SlotVT,
1861 EVT DestVT,
const SDLoc &dl,
1871 (SlotVT.
bitsLT(DestVT) &&
1884 MachinePointerInfo PtrInfo =
1891 if (SrcVT.
bitsGT(SlotVT))
1896 Store = DAG.
getStore(Chain, dl, SrcOp, FIPtr, PtrInfo, SrcAlign);
1900 if (SlotVT.
bitsEq(DestVT))
1901 return DAG.
getLoad(DestVT, dl, Store, FIPtr, PtrInfo, DestAlign);
1908SDValue SelectionDAGLegalize::ExpandSCALAR_TO_VECTOR(SDNode *Node) {
1920 Node->getValueType(0).getVectorElementType());
1922 Node->getValueType(0), dl, Ch, StackPtr,
1929 unsigned NumElems =
Node->getNumOperands();
1931 EVT VT =
Node->getValueType(0);
1943 for (
unsigned i = 0; i < NumElems; ++i) {
1954 while (IntermedVals.
size() > 2) {
1955 NewIntermedVals.
clear();
1956 for (
unsigned i = 0, e = (IntermedVals.
size() & ~1u); i < e; i += 2) {
1962 FinalIndices.
reserve(IntermedVals[i].second.
size() +
1963 IntermedVals[i+1].second.
size());
1966 for (
unsigned j = 0, f = IntermedVals[i].second.
size(); j != f;
1969 FinalIndices.
push_back(IntermedVals[i].second[j]);
1971 for (
unsigned j = 0, f = IntermedVals[i+1].second.
size(); j != f;
1973 ShuffleVec[k] = NumElems + j;
1974 FinalIndices.
push_back(IntermedVals[i+1].second[j]);
1980 IntermedVals[i+1].first,
1985 std::make_pair(Shuffle, std::move(FinalIndices)));
1990 if ((IntermedVals.
size() & 1) != 0)
1993 IntermedVals.
swap(NewIntermedVals);
1997 "Invalid number of intermediate vectors");
1998 SDValue Vec1 = IntermedVals[0].first;
2000 if (IntermedVals.
size() > 1)
2001 Vec2 = IntermedVals[1].first;
2006 for (
unsigned i = 0, e = IntermedVals[0].second.
size(); i != e; ++i)
2007 ShuffleVec[IntermedVals[0].second[i]] = i;
2008 for (
unsigned i = 0, e = IntermedVals[1].second.
size(); i != e; ++i)
2009 ShuffleVec[IntermedVals[1].second[i]] = NumElems + i;
2022SDValue SelectionDAGLegalize::ExpandBUILD_VECTOR(SDNode *Node) {
2023 unsigned NumElems =
Node->getNumOperands();
2026 EVT VT =
Node->getValueType(0);
2027 EVT OpVT =
Node->getOperand(0).getValueType();
2032 bool isOnlyLowElement =
true;
2033 bool MoreThanTwoValues =
false;
2035 for (
unsigned i = 0; i < NumElems; ++i) {
2040 isOnlyLowElement =
false;
2046 }
else if (!Value2.
getNode()) {
2049 }
else if (V != Value1 && V != Value2) {
2050 MoreThanTwoValues =
true;
2057 if (isOnlyLowElement)
2063 for (
unsigned i = 0, e = NumElems; i !=
e; ++i) {
2064 if (ConstantFPSDNode *V =
2067 }
else if (ConstantSDNode *V =
2070 CV.
push_back(
const_cast<ConstantInt *
>(
V->getConstantIntValue()));
2075 const ConstantInt *CI =
V->getConstantIntValue();
2096 SmallSet<SDValue, 16> DefinedValues;
2097 for (
unsigned i = 0; i < NumElems; ++i) {
2098 if (
Node->getOperand(i).isUndef())
2104 if (!MoreThanTwoValues) {
2105 SmallVector<int, 8> ShuffleVec(NumElems, -1);
2106 for (
unsigned i = 0; i < NumElems; ++i) {
2110 ShuffleVec[i] =
V == Value1 ? 0 : NumElems;
2132 return ExpandVectorBuildThroughStack(Node);
2135SDValue SelectionDAGLegalize::ExpandSPLAT_VECTOR(SDNode *Node) {
2137 EVT VT =
Node->getValueType(0);
2148std::pair<SDValue, SDValue>
2149SelectionDAGLegalize::ExpandLibCall(RTLIB::Libcall LC, SDNode *Node,
2150 TargetLowering::ArgListTy &&Args,
2151 bool IsSigned, EVT RetVT) {
2155 if (LCImpl != RTLIB::Unsupported)
2160 Node->getOperationName(&DAG));
2177 (RetTy ==
F.getReturnType() ||
F.getReturnType()->
isVoidTy());
2181 TargetLowering::CallLoweringInfo CLI(DAG);
2183 CLI.setDebugLoc(SDLoc(Node))
2186 Callee, std::move(Args))
2187 .setTailCall(isTailCall)
2188 .setSExtResult(signExtend)
2189 .setZExtResult(!signExtend)
2190 .setIsPostTypeLegalization(
true);
2192 std::pair<SDValue, SDValue> CallInfo = TLI.
LowerCallTo(CLI);
2194 if (!CallInfo.second.getNode()) {
2200 LLVM_DEBUG(
dbgs() <<
"Created libcall: "; CallInfo.first.dump(&DAG));
2204std::pair<SDValue, SDValue> SelectionDAGLegalize::ExpandLibCall(RTLIB::Libcall LC, SDNode *Node,
2206 TargetLowering::ArgListTy
Args;
2208 EVT ArgVT =
Op.getValueType();
2210 TargetLowering::ArgListEntry
Entry(
Op, ArgTy);
2213 Args.push_back(Entry);
2216 return ExpandLibCall(LC, Node, std::move(Args), isSigned,
2217 Node->getValueType(0));
2220void SelectionDAGLegalize::ExpandFPLibCall(SDNode* Node,
2222 SmallVectorImpl<SDValue> &
Results) {
2223 if (LC == RTLIB::UNKNOWN_LIBCALL)
2226 if (
Node->isStrictFPOpcode()) {
2227 EVT RetVT =
Node->getValueType(0);
2229 TargetLowering::MakeLibCallOptions CallOptions;
2232 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(DAG, LC, RetVT,
2235 Node->getOperand(0));
2237 Results.push_back(Tmp.second);
2240 SDValue Tmp = ExpandLibCall(LC, Node, IsSignedArgument).first;
2246void SelectionDAGLegalize::ExpandFPLibCall(SDNode* Node,
2247 RTLIB::Libcall Call_F32,
2248 RTLIB::Libcall Call_F64,
2249 RTLIB::Libcall Call_F80,
2250 RTLIB::Libcall Call_F128,
2251 RTLIB::Libcall Call_PPCF128,
2252 SmallVectorImpl<SDValue> &
Results) {
2254 Call_F32, Call_F64, Call_F80,
2255 Call_F128, Call_PPCF128);
2256 ExpandFPLibCall(Node, LC,
Results);
2259void SelectionDAGLegalize::ExpandFastFPLibCall(
2260 SDNode *Node,
bool IsFast,
2261 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F32,
2262 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F64,
2263 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F80,
2264 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_F128,
2265 std::pair<RTLIB::Libcall, RTLIB::Libcall> Call_PPCF128,
2266 SmallVectorImpl<SDValue> &
Results) {
2268 EVT VT =
Node->getSimpleValueType(0);
2277 Call_F128.first, Call_PPCF128.first);
2283 Call_F80.second, Call_F128.second,
2284 Call_PPCF128.second);
2287 ExpandFPLibCall(Node, LC,
Results);
2290SDValue SelectionDAGLegalize::ExpandIntLibCall(SDNode* Node,
bool isSigned,
2291 RTLIB::Libcall Call_I8,
2292 RTLIB::Libcall Call_I16,
2293 RTLIB::Libcall Call_I32,
2294 RTLIB::Libcall Call_I64,
2295 RTLIB::Libcall Call_I128) {
2297 switch (
Node->getSimpleValueType(0).SimpleTy) {
2299 case MVT::i8: LC = Call_I8;
break;
2300 case MVT::i16: LC = Call_I16;
break;
2301 case MVT::i32: LC = Call_I32;
break;
2302 case MVT::i64: LC = Call_I64;
break;
2303 case MVT::i128: LC = Call_I128;
break;
2305 return ExpandLibCall(LC, Node, isSigned).first;
2310void SelectionDAGLegalize::ExpandArgFPLibCall(SDNode* Node,
2311 RTLIB::Libcall Call_F32,
2312 RTLIB::Libcall Call_F64,
2313 RTLIB::Libcall Call_F80,
2314 RTLIB::Libcall Call_F128,
2315 RTLIB::Libcall Call_PPCF128,
2316 SmallVectorImpl<SDValue> &
Results) {
2317 EVT InVT =
Node->getOperand(
Node->isStrictFPOpcode() ? 1 : 0).getValueType();
2319 Call_F32, Call_F64, Call_F80,
2320 Call_F128, Call_PPCF128);
2321 ExpandFPLibCall(Node, LC,
Results);
2324SDValue SelectionDAGLegalize::ExpandBitCountingLibCall(
2325 SDNode *Node, RTLIB::Libcall CallI32, RTLIB::Libcall CallI64,
2326 RTLIB::Libcall CallI128) {
2328 switch (
Node->getSimpleValueType(0).SimpleTy) {
2349 EVT ArgVT =
Op.getValueType();
2351 TargetLowering::ArgListEntry Arg(
Op, ArgTy);
2353 Arg.IsZExt = !Arg.IsSExt;
2355 SDValue Res = ExpandLibCall(LC, Node, TargetLowering::ArgListTy{Arg},
2368SelectionDAGLegalize::ExpandDivRemLibCall(SDNode *Node,
2369 SmallVectorImpl<SDValue> &
Results) {
2370 unsigned Opcode =
Node->getOpcode();
2374 switch (
Node->getSimpleValueType(0).SimpleTy) {
2376 case MVT::i8: LC= isSigned ? RTLIB::SDIVREM_I8 : RTLIB::UDIVREM_I8;
break;
2377 case MVT::i16: LC= isSigned ? RTLIB::SDIVREM_I16 : RTLIB::UDIVREM_I16;
break;
2378 case MVT::i32: LC= isSigned ? RTLIB::SDIVREM_I32 : RTLIB::UDIVREM_I32;
break;
2379 case MVT::i64: LC= isSigned ? RTLIB::SDIVREM_I64 : RTLIB::UDIVREM_I64;
break;
2380 case MVT::i128: LC= isSigned ? RTLIB::SDIVREM_I128:RTLIB::UDIVREM_I128;
break;
2388 EVT RetVT =
Node->getValueType(0);
2391 TargetLowering::ArgListTy
Args;
2393 EVT ArgVT =
Op.getValueType();
2395 TargetLowering::ArgListEntry
Entry(
Op, ArgTy);
2396 Entry.IsSExt = isSigned;
2397 Entry.IsZExt = !isSigned;
2398 Args.push_back(Entry);
2403 TargetLowering::ArgListEntry
Entry(
2404 FIPtr, PointerType::getUnqual(RetTy->
getContext()));
2405 Entry.IsSExt = isSigned;
2406 Entry.IsZExt = !isSigned;
2407 Args.push_back(Entry);
2410 if (LibcallImpl == RTLIB::Unsupported) {
2412 Node->getOperationName(&DAG));
2423 TargetLowering::CallLoweringInfo CLI(DAG);
2427 RetTy, Callee, std::move(Args))
2428 .setSExtResult(isSigned)
2429 .setZExtResult(!isSigned);
2431 std::pair<SDValue, SDValue> CallInfo = TLI.
LowerCallTo(CLI);
2435 MachinePointerInfo PtrInfo =
2438 SDValue Rem = DAG.
getLoad(RetVT, dl, CallInfo.second, FIPtr, PtrInfo);
2439 Results.push_back(CallInfo.first);
2468SDValue SelectionDAGLegalize::ExpandSincosStretLibCall(SDNode *Node)
const {
2476 if (SincosStret == RTLIB::Unsupported)
2491 Type *SincosStretRetTy = FuncTy->getReturnType();
2497 TargetLowering::ArgListTy
Args;
2501 if (FuncTy->getParamType(0)->isPointerTy()) {
2505 AttributeSet PtrAttrs = FuncAttrs.getParamAttrs(0);
2507 const uint64_t ByteSize =
DL.getTypeAllocSize(StructTy);
2508 const Align StackAlign =
DL.getPrefTypeAlign(StructTy);
2513 TargetLowering::ArgListEntry
Entry(SRet, FuncTy->getParamType(0));
2514 Entry.IsSRet =
true;
2515 Entry.IndirectType = StructTy;
2516 Entry.Alignment = StackAlign;
2518 Args.push_back(Entry);
2519 Args.emplace_back(Arg, FuncTy->getParamType(1));
2521 Args.emplace_back(Arg, FuncTy->getParamType(0));
2524 TargetLowering::CallLoweringInfo CLI(DAG);
2527 .setLibCallee(CallConv, SincosStretRetTy, Callee, std::move(Args))
2528 .setIsPostTypeLegalization();
2530 std::pair<SDValue, SDValue> CallResult = TLI.
LowerCallTo(CLI);
2533 MachinePointerInfo PtrInfo =
2535 SDValue LoadSin = DAG.
getLoad(ArgVT, dl, CallResult.second, SRet, PtrInfo);
2544 SDVTList Tys = DAG.
getVTList(ArgVT, ArgVT);
2549 if (!CallResult.first.getValueType().isVector())
2550 return CallResult.first;
2558 SDVTList Tys = DAG.
getVTList(ArgVT, ArgVT);
2562SDValue SelectionDAGLegalize::expandLdexp(SDNode *Node)
const {
2564 EVT VT =
Node->getValueType(0);
2567 EVT ExpVT =
N.getValueType();
2569 if (AsIntVT == EVT())
2577 SDNodeFlags NUW_NSW;
2585 const APFloat::ExponentType MaxExpVal = APFloat::semanticsMaxExponent(FltSem);
2586 const APFloat::ExponentType MinExpVal = APFloat::semanticsMinExponent(FltSem);
2587 const int Precision = APFloat::semanticsPrecision(FltSem);
2594 const APFloat One(FltSem,
"1.0");
2595 APFloat ScaleUpK =
scalbn(One, MaxExpVal, APFloat::rmNearestTiesToEven);
2599 scalbn(One, MinExpVal + Precision, APFloat::rmNearestTiesToEven);
2669 ExponentShiftAmt, NUW_NSW);
2674SDValue SelectionDAGLegalize::expandFrexp(SDNode *Node)
const {
2678 EVT ExpVT =
Node->getValueType(1);
2680 if (AsIntVT == EVT())
2684 const APFloat::ExponentType MinExpVal = APFloat::semanticsMinExponent(FltSem);
2685 const unsigned Precision = APFloat::semanticsPrecision(FltSem);
2718 FractSignMaskVal.
setBit(BitSize - 1);
2725 const APFloat One(FltSem,
"1.0");
2729 scalbn(One, Precision + 1, APFloat::rmNearestTiesToEven);
2741 SDValue AddNegSmallestNormal =
2743 SDValue DenormOrZero = DAG.
getSetCC(dl, SetCCVT, AddNegSmallestNormal,
2776 const APFloat Half(FltSem,
"0.5");
2793SDValue SelectionDAGLegalize::expandModf(SDNode *Node)
const {
2803 if (
Flags.hasNoInfs()) {
2804 FracToUse = FracPart;
2813 FracToUse = DAG.
getSelect(dl, VT, IsInf, Zero, FracPart);
2825SDValue SelectionDAGLegalize::ExpandLegalINT_TO_FP(SDNode *Node,
2829 EVT DestVT =
Node->getValueType(0);
2831 unsigned OpNo =
Node->isStrictFPOpcode() ? 1 : 0;
2837 if (SrcVT == MVT::i32 && TLI.
isTypeLegal(MVT::f64) &&
2838 (DestVT.
bitsLE(MVT::f64) ||
2842 LLVM_DEBUG(
dbgs() <<
"32-bit [signed|unsigned] integer to float/double "
2866 MachinePointerInfo());
2871 DAG.
getStore(MemChain, dl,
Hi, HiPtr, MachinePointerInfo());
2876 DAG.
getLoad(MVT::f64, dl, MemChain, StackSlot, MachinePointerInfo());
2885 if (
Node->isStrictFPOpcode()) {
2887 {
Node->getOperand(0),
Load, Bias});
2889 if (DestVT !=
Sub.getValueType()) {
2890 std::pair<SDValue, SDValue> ResultPair;
2893 Result = ResultPair.first;
2894 Chain = ResultPair.second;
2909 if (((SrcVT == MVT::i32 || SrcVT == MVT::i64) && DestVT == MVT::f32) ||
2910 (SrcVT == MVT::i64 && DestVT == MVT::f64)) {
2911 LLVM_DEBUG(
dbgs() <<
"Converting unsigned i32/i64 to f32/f64\n");
2926 EVT SetCCVT = getSetCCResultType(SrcVT);
2938 if (
Node->isStrictFPOpcode()) {
2946 Flags.setNoFPExcept(
Node->getFlags().hasNoFPExcept());
2949 Flags.setNoFPExcept(
true);
2972 "Cannot perform lossless SINT_TO_FP!");
2975 if (
Node->isStrictFPOpcode()) {
2977 {
Node->getOperand(0), Op0 });
2986 SignSet, Four, Zero);
2995 case MVT::i8 : FF = 0x43800000ULL;
break;
2996 case MVT::i16: FF = 0x47800000ULL;
break;
2997 case MVT::i32: FF = 0x4F800000ULL;
break;
2998 case MVT::i64: FF = 0x5F800000ULL;
break;
3002 Constant *FudgeFactor = ConstantInt::get(
3011 if (DestVT == MVT::f32)
3021 HandleSDNode Handle(Load);
3022 LegalizeOp(
Load.getNode());
3026 if (
Node->isStrictFPOpcode()) {
3028 { Tmp1.
getValue(1), Tmp1, FudgeInReg });
3029 Chain =
Result.getValue(1);
3041void SelectionDAGLegalize::PromoteLegalINT_TO_FP(
3042 SDNode *
N,
const SDLoc &dl, SmallVectorImpl<SDValue> &
Results) {
3046 EVT DestVT =
N->getValueType(0);
3047 SDValue LegalOp =
N->getOperand(IsStrict ? 1 : 0);
3054 unsigned OpToUse = 0;
3082 DAG.
getNode(OpToUse, dl, {DestVT, MVT::Other},
3085 dl, NewInTy, LegalOp)});
3092 DAG.
getNode(OpToUse, dl, DestVT,
3094 dl, NewInTy, LegalOp)));
3102void SelectionDAGLegalize::PromoteLegalFP_TO_INT(SDNode *
N,
const SDLoc &dl,
3103 SmallVectorImpl<SDValue> &
Results) {
3104 bool IsStrict =
N->isStrictFPOpcode();
3107 EVT DestVT =
N->getValueType(0);
3110 EVT NewOutTy = DestVT;
3112 unsigned OpToUse = 0;
3136 SDVTList VTs = DAG.
getVTList(NewOutTy, MVT::Other);
3152SDValue SelectionDAGLegalize::PromoteLegalFP_TO_INT_SAT(SDNode *Node,
3154 unsigned Opcode =
Node->getOpcode();
3157 EVT NewOutTy =
Node->getValueType(0);
3169 Node->getOperand(1));
3175 EVT VT =
Op.getValueType();
3195SDValue SelectionDAGLegalize::PromoteReduction(SDNode *Node) {
3197 MVT VecVT = IsVPOpcode ?
Node->getOperand(1).getSimpleValueType()
3198 :
Node->getOperand(0).getSimpleValueType();
3200 MVT ScalarVT =
Node->getSimpleValueType(0);
3207 assert(
Node->getOperand(0).getValueType().isFloatingPoint() &&
3208 "Only FP promotion is supported");
3210 for (
unsigned j = 0;
j !=
Node->getNumOperands(); ++
j)
3211 if (
Node->getOperand(j).getValueType().isVector() &&
3216 assert(
Node->getOperand(j).getValueType().isFloatingPoint() &&
3217 "Only FP promotion is supported");
3220 }
else if (
Node->getOperand(j).getValueType().isFloatingPoint()) {
3225 Operands[
j] =
Node->getOperand(j);
3236bool SelectionDAGLegalize::ExpandNode(SDNode *Node) {
3240 SDValue Tmp1, Tmp2, Tmp3, Tmp4;
3242 switch (
Node->getOpcode()) {
3286 Results.push_back(ExpandPARITY(
Node->getOperand(0), dl));
3338 SDVTList VTs = DAG.
getVTList(
Node->getValueType(0), MVT::Other);
3341 Node->getOperand(0),
Node->getOperand(1), Zero, Zero,
3351 Node->getOperand(0),
Node->getOperand(2),
Node->getOperand(1),
3360 SDVTList VTs = DAG.
getVTList(
Node->getValueType(0), MVT::Other);
3363 Node->getOperand(0),
Node->getOperand(1),
Node->getOperand(2),
3371 EVT OuterType =
Node->getValueType(0);
3404 EVT VT =
Node->getValueType(0);
3409 RHS =
RHS->getOperand(0);
3413 Node->getOperand(0),
Node->getOperand(1),
3420 ExpandDYNAMIC_STACKALLOC(Node,
Results);
3423 for (
unsigned i = 0; i <
Node->getNumValues(); i++)
3428 EVT VT =
Node->getValueType(0);
3445 Node->getValueType(0))
3446 == TargetLowering::Legal)
3450 if ((Tmp1 = EmitStackConvert(
Node->getOperand(1),
Node->getValueType(0),
3451 Node->getValueType(0), dl,
3452 Node->getOperand(0)))) {
3453 ReplaceNode(Node, Tmp1.
getNode());
3454 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_ROUND node\n");
3467 if ((Tmp1 = EmitStackConvert(
Node->getOperand(0),
Node->getValueType(0),
3468 Node->getValueType(0), dl)))
3479 Node->getValueType(0))
3480 == TargetLowering::Legal)
3484 if ((Tmp1 = EmitStackConvert(
3485 Node->getOperand(1),
Node->getOperand(1).getValueType(),
3486 Node->getValueType(0), dl,
Node->getOperand(0)))) {
3487 ReplaceNode(Node, Tmp1.
getNode());
3488 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_EXTEND node\n");
3494 EVT SrcVT =
Op.getValueType();
3495 EVT DstVT =
Node->getValueType(0);
3501 if ((Tmp1 = EmitStackConvert(
Op, SrcVT, DstVT, dl)))
3511 if (
Op.getValueType() == MVT::bf16) {
3521 if (
Node->getValueType(0) != MVT::f32)
3528 if (
Op.getValueType() != MVT::f32)
3540 if (
Node->getValueType(0) == MVT::bf16) {
3557 EVT DstVT =
Node->getValueType(0);
3560 const uint64_t SemEnum =
Node->getConstantOperandVal(1);
3573 "source format (semantics enum " +
3574 Twine(SemEnum) +
")");
3583 const unsigned SrcBits = APFloat::getSizeInBits(SrcSem);
3584 const unsigned SrcPrecision = APFloat::semanticsPrecision(SrcSem);
3585 const unsigned SrcMant = SrcPrecision - 1;
3586 const unsigned SrcExp = SrcBits - SrcMant - 1;
3587 const int SrcBias = 1 - APFloat::semanticsMinExponent(SrcSem);
3594 const unsigned DstBits = APFloat::getSizeInBits(DstSem);
3595 const unsigned DstMant = APFloat::semanticsPrecision(DstSem) - 1;
3596 const unsigned DstExpBits = DstBits - DstMant - 1;
3597 const int DstMinExp = APFloat::semanticsMinExponent(DstSem);
3598 const int DstBias = 1 - DstMinExp;
3599 const uint64_t DstExpAllOnes = (1ULL << DstExpBits) - 1;
3606 EVT SetCCVT = getSetCCResultType(IntVT);
3612 const uint64_t MantMask = (SrcMant > 0) ? ((1ULL << SrcMant) - 1) : 0;
3613 const uint64_t ExpMask = (1ULL << SrcExp) - 1;
3644 if (NFBehavior == fltNonfiniteBehavior::FiniteOnly) {
3647 }
else if (NFBehavior == fltNonfiniteBehavior::IEEE754) {
3649 IsNaN = DAG.
getNode(
ISD::AND, dl, SetCCVT, IsExpAllOnes, IsMantNonZero);
3656 IsNaN = DAG.
getNode(
ISD::AND, dl, SetCCVT, IsExpAllOnes, IsMantAllOnes);
3661 if (NFBehavior == fltNonfiniteBehavior::IEEE754) {
3679 const int BiasAdjust = DstBias - SrcBias;
3682 DAG.
getConstant(APInt(DstBits, BiasAdjust,
true), dl, IntVT));
3685 if (DstMant > SrcMant) {
3691 NormDstMant = MantField;
3709 const unsigned IntVTBits = DstBits;
3715 const int DenormExpConst =
3716 (int)IntVTBits + DstBias - SrcBias - (
int)SrcMant;
3719 DAG.
getConstant(APInt(DstBits, DenormExpConst,
true), dl, IntVT),
3725 DAG.
getConstant(IntVTBits - 1, dl, IntVT), LeadingZeros);
3736 const unsigned ShiftSub = IntVTBits - 1 - DstMant;
3754 DAG.
getSelect(dl, IntVT, IsDenorm, DenormResult, NormResult);
3759 const uint64_t QNaNBit = (DstMant > 0) ? (1ULL << (DstMant - 1)) : 0;
3761 DAG.
getConstant((DstExpAllOnes << DstMant) | QNaNBit, dl, IntVT);
3767 DAG.
getConstant(DstExpAllOnes << DstMant, dl, IntVT));
3771 SDValue ZeroResult = SignShifted;
3801 SDNodeFlags CanonicalizeFlags =
Node->getFlags();
3804 {Chain, Operand, One}, CanonicalizeFlags);
3811 EVT VT =
Node->getValueType(0);
3843 if (
Node->isStrictFPOpcode())
3850 if ((Tmp1 = ExpandLegalINT_TO_FP(Node, Tmp2))) {
3852 if (
Node->isStrictFPOpcode())
3862 ReplaceNode(Node, Tmp1.
getNode());
3863 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_TO_SINT node\n");
3876 ReplaceNodeWithValue(
SDValue(Node, 0), Tmp1);
3877 LLVM_DEBUG(
dbgs() <<
"Successfully expanded STRICT_FP_TO_UINT node\n");
3889 EVT ResVT =
Node->getValueType(0);
3903 if (
Node->getOperand(0).getValueType().getVectorElementCount().isScalar())
3906 Node->getOperand(0));
3908 Tmp1 = ExpandExtractFromVectorThroughStack(
SDValue(Node, 0));
3912 Results.push_back(ExpandExtractFromVectorThroughStack(
SDValue(Node, 0)));
3915 Results.push_back(ExpandInsertToVectorThroughStack(
SDValue(Node, 0)));
3918 if (EVT VectorValueType =
Node->getOperand(0).getValueType();
3921 Results.push_back(ExpandVectorBuildThroughStack(Node));
3923 Results.push_back(ExpandConcatVectors(Node));
3926 Results.push_back(ExpandSCALAR_TO_VECTOR(Node));
3935 EVT VT =
Node->getValueType(0);
3945 if (NewEltVT.
bitsLT(EltVT)) {
3961 unsigned int factor =
3969 for (
unsigned fi = 0; fi < factor; ++fi)
3973 for (
unsigned fi = 0; fi < factor; ++fi)
3984 for (
unsigned i = 0; i != NumElems; ++i) {
3989 unsigned Idx =
Mask[i];
4011 unsigned Factor =
Node->getNumOperands();
4015 EVT VecVT =
Node->getValueType(0);
4026 for (
unsigned I = 0;
I < Factor / 2;
I++) {
4029 {
L.getValue(
I),
R.getValue(
I)});
4036 unsigned Factor =
Node->getNumOperands();
4039 EVT VecVT =
Node->getValueType(0);
4044 for (
unsigned I = 0;
I < Factor / 2;
I++) {
4047 {
Node->getOperand(
I),
Node->getOperand(
I + Factor / 2)});
4055 for (
unsigned I = 0;
I < Factor / 2;
I++)
4057 for (
unsigned I = 0;
I < Factor / 2;
I++)
4062 EVT OpTy =
Node->getOperand(0).getValueType();
4063 if (
Node->getConstantOperandVal(1)) {
4072 Node->getOperand(0));
4083 Node->getValueType(0)));
4090 ?
"llvm.stackaddress"
4093 Twine(IntrinsicName) +
" is not supported on this target.",
4102 Node->getOperand(1)));
4112 Results.push_back(ExpandFCOPYSIGN(Node));
4115 Results.push_back(ExpandFNEG(Node));
4118 Results.push_back(ExpandFABS(Node));
4124 Test,
Node->getFlags(), SDLoc(Node), DAG))
4134 switch (
Node->getOpcode()) {
4141 Tmp1 =
Node->getOperand(0);
4142 Tmp2 =
Node->getOperand(1);
4143 Tmp1 = DAG.
getSelectCC(dl, Tmp1, Tmp2, Tmp1, Tmp2, Pred);
4166 EVT VT =
Node->getValueType(0);
4182 EVT VT =
Node->getValueType(0);
4189 if (
SDValue Expanded = expandLdexp(Node)) {
4192 Results.push_back(Expanded.getValue(1));
4204 if (
SDValue Expanded = expandFrexp(Node)) {
4206 Results.push_back(Expanded.getValue(1));
4217 if (
SDValue Expanded = expandModf(Node)) {
4219 Results.push_back(Expanded.getValue(1));
4226 EVT VT =
Node->getValueType(0);
4238 if (
Node->getValueType(0) != MVT::f32) {
4250 if (
Node->getValueType(0) != MVT::f32) {
4255 {Node->getOperand(0), Node->getOperand(1)});
4257 {
Node->getValueType(0), MVT::Other},
4267 MVT SVT =
Op.getSimpleValueType();
4268 if ((SVT == MVT::f64 || SVT == MVT::f80) &&
4286 Results.push_back(ExpandConstantFP(CFP,
true));
4291 Results.push_back(ExpandConstant(CP));
4295 EVT VT =
Node->getValueType(0);
4298 const SDNodeFlags
Flags =
Node->getFlags();
4306 EVT VT =
Node->getValueType(0);
4309 "Don't know how to expand this subtraction!");
4310 Tmp1 = DAG.
getNOT(dl,
Node->getOperand(1), VT);
4324 EVT VT =
Node->getValueType(0);
4327 Tmp1 = DAG.
getNode(DivRemOpc, dl, VTs,
Node->getOperand(0),
4328 Node->getOperand(1));
4335 unsigned ExpandOpcode =
4337 EVT VT =
Node->getValueType(0);
4340 Tmp1 = DAG.
getNode(ExpandOpcode, dl, VTs,
Node->getOperand(0),
4341 Node->getOperand(1));
4349 EVT VT =
LHS.getValueType();
4350 unsigned MULHOpcode =
4364 TargetLowering::MulExpansionKind::Always)) {
4365 for (
unsigned i = 0; i < 2; ++i) {
4378 EVT VT =
Node->getValueType(0);
4389 unsigned OpToUse = 0;
4390 if (HasSMUL_LOHI && !HasMULHS) {
4392 }
else if (HasUMUL_LOHI && !HasMULHU) {
4394 }
else if (HasSMUL_LOHI) {
4396 }
else if (HasUMUL_LOHI) {
4401 Node->getOperand(1)));
4412 TargetLowering::MulExpansionKind::OnlyLegalOrCustom)) {
4463 Node->getOperand(0),
4464 Node->getOperand(1),
4465 Node->getConstantOperandVal(2),
4488 EVT VT =
LHS.getValueType();
4492 EVT CarryType =
Node->getValueType(1);
4493 EVT SetCCType = getSetCCResultType(
Node->getValueType(0));
4540 if (TLI.
expandMULO(Node, Result, Overflow, DAG)) {
4557 Tmp1 =
Node->getOperand(0);
4558 Tmp2 =
Node->getOperand(1);
4559 Tmp3 =
Node->getOperand(2);
4580 unsigned EntrySize =
4616 Tmp1 =
Node->getOperand(0);
4617 Tmp2 =
Node->getOperand(1);
4623 Node->getOperand(2));
4635 Node->getOperand(2));
4643 bool IsVP =
Node->getOpcode() == ISD::VP_SETCC;
4648 unsigned Offset = IsStrict ? 1 : 0;
4658 DAG,
Node->getValueType(0), Tmp1, Tmp2, Tmp3, Mask, EVL, NeedInvert, dl,
4659 Chain, IsSignaling);
4667 {Chain, Tmp1, Tmp2, Tmp3},
Node->getFlags());
4671 {Tmp1, Tmp2, Tmp3, Mask, EVL},
Node->getFlags());
4673 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl,
Node->getValueType(0), Tmp1,
4674 Tmp2, Tmp3,
Node->getFlags());
4697 assert(!IsStrict &&
"Don't know how to expand for strict nodes.");
4702 EVT VT =
Node->getValueType(0);
4713 Tmp1 =
Node->getOperand(0);
4714 Tmp2 =
Node->getOperand(1);
4715 Tmp3 =
Node->getOperand(2);
4716 Tmp4 =
Node->getOperand(3);
4717 EVT VT =
Node->getValueType(0);
4727 "Cannot expand ISD::SELECT_CC when ISD::SELECT also needs to be "
4729 EVT CCVT = getSetCCResultType(CmpVT);
4737 bool Legalized =
false;
4755 Tmp1 = DAG.
getSelectCC(dl, Tmp2, Tmp1, Tmp4, Tmp3, SwapInvCC,
4762 DAG, getSetCCResultType(Tmp1.
getValueType()), Tmp1, Tmp2, CC,
4765 assert(Legalized &&
"Can't legalize SELECT_CC with legal condition!");
4776 Tmp2, Tmp3, Tmp4, CC,
Node->getFlags());
4781 Tmp2, Tmp3, Tmp4, CC,
Node->getFlags());
4790 Tmp1 =
Node->getOperand(0);
4791 Tmp2 =
Node->getOperand(2);
4792 Tmp3 =
Node->getOperand(3);
4793 Tmp4 =
Node->getOperand(1);
4796 DAG, getSetCCResultType(Tmp2.
getValueType()), Tmp2, Tmp3, Tmp4,
4799 assert(Legalized &&
"Can't legalize BR_CC with legal condition!");
4804 assert(!NeedInvert &&
"Don't know how to invert BR_CC!");
4807 Tmp4, Tmp2, Tmp3,
Node->getOperand(4));
4812 Tmp2, Tmp3,
Node->getOperand(4));
4818 Results.push_back(ExpandBUILD_VECTOR(Node));
4821 Results.push_back(ExpandSPLAT_VECTOR(Node));
4827 EVT VT =
Node->getValueType(0);
4833 for (
unsigned Idx = 0; Idx < NumElem; Idx++) {
4865 case ISD::VP_CTTZ_ELTS:
4866 case ISD::VP_CTTZ_ELTS_ZERO_UNDEF:
4878 EVT ResVT =
Node->getValueType(0);
4908 switch (
Node->getOpcode()) {
4911 Node->getValueType(0))
4912 == TargetLowering::Legal)
4923 EVT VT =
Node->getValueType(0);
4924 const SDNodeFlags
Flags =
Node->getFlags();
4927 {Node->getOperand(0), Node->getOperand(1), Neg},
4943 Node->getOperand(1).getValueType())
4944 == TargetLowering::Legal)
4957 ReplaceNode(Node,
Results.data());
4969 return Flags.hasApproximateFuncs() && Flags.hasNoNaNs() &&
4970 Flags.hasNoInfs() && Flags.hasNoSignedZeros();
4973void SelectionDAGLegalize::ConvertNodeToLibcall(SDNode *Node) {
4977 TargetLowering::MakeLibCallOptions CallOptions;
4980 unsigned Opc =
Node->getOpcode();
4985 TargetLowering::ArgListTy
Args;
4987 TargetLowering::CallLoweringInfo CLI(DAG);
4989 .setChain(
Node->getOperand(0))
4991 CallingConv::C, Type::getVoidTy(*DAG.
getContext()),
4996 std::pair<SDValue, SDValue> CallResult = TLI.
LowerCallTo(CLI);
4998 Results.push_back(CallResult.second);
5020 EVT RetVT =
Node->getValueType(0);
5025 Ops.push_back(
Node->getOperand(1));
5029 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
5030 "Unexpected atomic op or value type!");
5034 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(DAG, LC, RetVT,
5037 Node->getOperand(0));
5039 Results.push_back(Tmp.second);
5044 TargetLowering::ArgListTy
Args;
5045 TargetLowering::CallLoweringInfo CLI(DAG);
5047 .setChain(
Node->getOperand(0))
5048 .setLibCallee(CallingConv::C, Type::getVoidTy(*DAG.
getContext()),
5052 std::pair<SDValue, SDValue> CallResult = TLI.
LowerCallTo(CLI);
5054 Results.push_back(CallResult.second);
5061 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(
5062 DAG, RTLIB::CLEAR_CACHE, MVT::isVoid, {StartVal, EndVal}, CallOptions,
5063 SDLoc(Node), InputChain);
5064 Results.push_back(Tmp.second);
5069 ExpandFPLibCall(Node, RTLIB::FMIN_F32, RTLIB::FMIN_F64,
5070 RTLIB::FMIN_F80, RTLIB::FMIN_F128,
5071 RTLIB::FMIN_PPCF128,
Results);
5078 ExpandFPLibCall(Node, RTLIB::FMAX_F32, RTLIB::FMAX_F64,
5079 RTLIB::FMAX_F80, RTLIB::FMAX_F128,
5080 RTLIB::FMAX_PPCF128,
Results);
5083 ExpandFPLibCall(Node, RTLIB::FMINIMUM_NUM_F32, RTLIB::FMINIMUM_NUM_F64,
5084 RTLIB::FMINIMUM_NUM_F80, RTLIB::FMINIMUM_NUM_F128,
5085 RTLIB::FMINIMUM_NUM_PPCF128,
Results);
5088 ExpandFPLibCall(Node, RTLIB::FMAXIMUM_NUM_F32, RTLIB::FMAXIMUM_NUM_F64,
5089 RTLIB::FMAXIMUM_NUM_F80, RTLIB::FMAXIMUM_NUM_F128,
5090 RTLIB::FMAXIMUM_NUM_PPCF128,
Results);
5097 {RTLIB::FAST_SQRT_F32, RTLIB::SQRT_F32},
5098 {RTLIB::FAST_SQRT_F64, RTLIB::SQRT_F64},
5099 {RTLIB::FAST_SQRT_F80, RTLIB::SQRT_F80},
5100 {RTLIB::FAST_SQRT_F128, RTLIB::SQRT_F128},
5101 {RTLIB::FAST_SQRT_PPCF128, RTLIB::SQRT_PPCF128},
5106 ExpandFPLibCall(Node, RTLIB::CBRT_F32, RTLIB::CBRT_F64,
5107 RTLIB::CBRT_F80, RTLIB::CBRT_F128,
5108 RTLIB::CBRT_PPCF128,
Results);
5112 ExpandFPLibCall(Node, RTLIB::SIN_F32, RTLIB::SIN_F64,
5113 RTLIB::SIN_F80, RTLIB::SIN_F128,
5118 ExpandFPLibCall(Node, RTLIB::COS_F32, RTLIB::COS_F64,
5119 RTLIB::COS_F80, RTLIB::COS_F128,
5124 ExpandFPLibCall(Node, RTLIB::TAN_F32, RTLIB::TAN_F64, RTLIB::TAN_F80,
5125 RTLIB::TAN_F128, RTLIB::TAN_PPCF128,
Results);
5129 ExpandFPLibCall(Node, RTLIB::ASIN_F32, RTLIB::ASIN_F64, RTLIB::ASIN_F80,
5130 RTLIB::ASIN_F128, RTLIB::ASIN_PPCF128,
Results);
5134 ExpandFPLibCall(Node, RTLIB::ACOS_F32, RTLIB::ACOS_F64, RTLIB::ACOS_F80,
5135 RTLIB::ACOS_F128, RTLIB::ACOS_PPCF128,
Results);
5139 ExpandFPLibCall(Node, RTLIB::ATAN_F32, RTLIB::ATAN_F64, RTLIB::ATAN_F80,
5140 RTLIB::ATAN_F128, RTLIB::ATAN_PPCF128,
Results);
5144 ExpandFPLibCall(Node, RTLIB::ATAN2_F32, RTLIB::ATAN2_F64, RTLIB::ATAN2_F80,
5145 RTLIB::ATAN2_F128, RTLIB::ATAN2_PPCF128,
Results);
5149 ExpandFPLibCall(Node, RTLIB::SINH_F32, RTLIB::SINH_F64, RTLIB::SINH_F80,
5150 RTLIB::SINH_F128, RTLIB::SINH_PPCF128,
Results);
5154 ExpandFPLibCall(Node, RTLIB::COSH_F32, RTLIB::COSH_F64, RTLIB::COSH_F80,
5155 RTLIB::COSH_F128, RTLIB::COSH_PPCF128,
Results);
5159 ExpandFPLibCall(Node, RTLIB::TANH_F32, RTLIB::TANH_F64, RTLIB::TANH_F80,
5160 RTLIB::TANH_F128, RTLIB::TANH_PPCF128,
Results);
5164 EVT VT =
Node->getValueType(0);
5168 if (SincosStret != RTLIB::UNKNOWN_LIBCALL) {
5169 if (
SDValue Expanded = ExpandSincosStretLibCall(Node)) {
5171 Results.push_back(Expanded.getValue(1));
5183 Node->getOperationName(&DAG));
5193 ExpandFPLibCall(Node, RTLIB::LOG_F32, RTLIB::LOG_F64, RTLIB::LOG_F80,
5194 RTLIB::LOG_F128, RTLIB::LOG_PPCF128,
Results);
5198 ExpandFPLibCall(Node, RTLIB::LOG2_F32, RTLIB::LOG2_F64, RTLIB::LOG2_F80,
5199 RTLIB::LOG2_F128, RTLIB::LOG2_PPCF128,
Results);
5203 ExpandFPLibCall(Node, RTLIB::LOG10_F32, RTLIB::LOG10_F64, RTLIB::LOG10_F80,
5204 RTLIB::LOG10_F128, RTLIB::LOG10_PPCF128,
Results);
5208 ExpandFPLibCall(Node, RTLIB::EXP_F32, RTLIB::EXP_F64, RTLIB::EXP_F80,
5209 RTLIB::EXP_F128, RTLIB::EXP_PPCF128,
Results);
5213 ExpandFPLibCall(Node, RTLIB::EXP2_F32, RTLIB::EXP2_F64, RTLIB::EXP2_F80,
5214 RTLIB::EXP2_F128, RTLIB::EXP2_PPCF128,
Results);
5217 ExpandFPLibCall(Node, RTLIB::EXP10_F32, RTLIB::EXP10_F64, RTLIB::EXP10_F80,
5218 RTLIB::EXP10_F128, RTLIB::EXP10_PPCF128,
Results);
5222 ExpandFPLibCall(Node, RTLIB::TRUNC_F32, RTLIB::TRUNC_F64,
5223 RTLIB::TRUNC_F80, RTLIB::TRUNC_F128,
5224 RTLIB::TRUNC_PPCF128,
Results);
5228 ExpandFPLibCall(Node, RTLIB::FLOOR_F32, RTLIB::FLOOR_F64,
5229 RTLIB::FLOOR_F80, RTLIB::FLOOR_F128,
5230 RTLIB::FLOOR_PPCF128,
Results);
5234 ExpandFPLibCall(Node, RTLIB::CEIL_F32, RTLIB::CEIL_F64,
5235 RTLIB::CEIL_F80, RTLIB::CEIL_F128,
5236 RTLIB::CEIL_PPCF128,
Results);
5240 ExpandFPLibCall(Node, RTLIB::RINT_F32, RTLIB::RINT_F64,
5241 RTLIB::RINT_F80, RTLIB::RINT_F128,
5242 RTLIB::RINT_PPCF128,
Results);
5246 ExpandFPLibCall(Node, RTLIB::NEARBYINT_F32,
5247 RTLIB::NEARBYINT_F64,
5248 RTLIB::NEARBYINT_F80,
5249 RTLIB::NEARBYINT_F128,
5250 RTLIB::NEARBYINT_PPCF128,
Results);
5254 ExpandFPLibCall(Node, RTLIB::ROUND_F32,
5258 RTLIB::ROUND_PPCF128,
Results);
5262 ExpandFPLibCall(Node, RTLIB::ROUNDEVEN_F32,
5263 RTLIB::ROUNDEVEN_F64,
5264 RTLIB::ROUNDEVEN_F80,
5265 RTLIB::ROUNDEVEN_F128,
5266 RTLIB::ROUNDEVEN_PPCF128,
Results);
5270 ExpandFPLibCall(Node, RTLIB::LDEXP_F32, RTLIB::LDEXP_F64, RTLIB::LDEXP_F80,
5271 RTLIB::LDEXP_F128, RTLIB::LDEXP_PPCF128,
Results);
5275 EVT VT =
Node->getValueType(0);
5287 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unexpected fpowi.");
5290 if (
Node->isStrictFPOpcode()) {
5293 {
Node->getValueType(0),
Node->getValueType(1)},
5294 {
Node->getOperand(0),
Node->getOperand(2)});
5297 {
Node->getValueType(0),
Node->getValueType(1)},
5304 Node->getOperand(1));
5306 Node->getValueType(0),
5311 unsigned Offset =
Node->isStrictFPOpcode() ? 1 : 0;
5312 bool ExponentHasSizeOfInt =
5314 Node->getOperand(1 +
Offset).getValueType().getSizeInBits();
5315 if (!ExponentHasSizeOfInt) {
5322 ExpandFPLibCall(Node, LC,
Results);
5327 ExpandFPLibCall(Node, RTLIB::POW_F32, RTLIB::POW_F64, RTLIB::POW_F80,
5328 RTLIB::POW_F128, RTLIB::POW_PPCF128,
Results);
5332 ExpandArgFPLibCall(Node, RTLIB::LROUND_F32,
5333 RTLIB::LROUND_F64, RTLIB::LROUND_F80,
5335 RTLIB::LROUND_PPCF128,
Results);
5339 ExpandArgFPLibCall(Node, RTLIB::LLROUND_F32,
5340 RTLIB::LLROUND_F64, RTLIB::LLROUND_F80,
5341 RTLIB::LLROUND_F128,
5342 RTLIB::LLROUND_PPCF128,
Results);
5346 ExpandArgFPLibCall(Node, RTLIB::LRINT_F32,
5347 RTLIB::LRINT_F64, RTLIB::LRINT_F80,
5349 RTLIB::LRINT_PPCF128,
Results);
5353 ExpandArgFPLibCall(Node, RTLIB::LLRINT_F32,
5354 RTLIB::LLRINT_F64, RTLIB::LLRINT_F80,
5356 RTLIB::LLRINT_PPCF128,
Results);
5361 {RTLIB::FAST_DIV_F32, RTLIB::DIV_F32},
5362 {RTLIB::FAST_DIV_F64, RTLIB::DIV_F64},
5363 {RTLIB::FAST_DIV_F80, RTLIB::DIV_F80},
5364 {RTLIB::FAST_DIV_F128, RTLIB::DIV_F128},
5365 {RTLIB::FAST_DIV_PPCF128, RTLIB::DIV_PPCF128},
Results);
5370 ExpandFPLibCall(Node, RTLIB::REM_F32, RTLIB::REM_F64,
5371 RTLIB::REM_F80, RTLIB::REM_F128,
5376 ExpandFPLibCall(Node, RTLIB::FMA_F32, RTLIB::FMA_F64,
5377 RTLIB::FMA_F80, RTLIB::FMA_F128,
5383 {RTLIB::FAST_ADD_F32, RTLIB::ADD_F32},
5384 {RTLIB::FAST_ADD_F64, RTLIB::ADD_F64},
5385 {RTLIB::FAST_ADD_F80, RTLIB::ADD_F80},
5386 {RTLIB::FAST_ADD_F128, RTLIB::ADD_F128},
5387 {RTLIB::FAST_ADD_PPCF128, RTLIB::ADD_PPCF128},
Results);
5393 {RTLIB::FAST_MUL_F32, RTLIB::MUL_F32},
5394 {RTLIB::FAST_MUL_F64, RTLIB::MUL_F64},
5395 {RTLIB::FAST_MUL_F80, RTLIB::MUL_F80},
5396 {RTLIB::FAST_MUL_F128, RTLIB::MUL_F128},
5397 {RTLIB::FAST_MUL_PPCF128, RTLIB::MUL_PPCF128},
Results);
5401 if (
Node->getValueType(0) == MVT::f32) {
5402 Results.push_back(ExpandLibCall(RTLIB::FPEXT_F16_F32, Node,
false).first);
5406 if (
Node->getValueType(0) == MVT::f32) {
5407 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(
5408 DAG, RTLIB::FPEXT_BF16_F32, MVT::f32,
Node->getOperand(1),
5409 CallOptions, SDLoc(Node),
Node->getOperand(0));
5411 Results.push_back(Tmp.second);
5415 if (
Node->getValueType(0) == MVT::f32) {
5416 std::pair<SDValue, SDValue> Tmp = TLI.
makeLibCall(
5417 DAG, RTLIB::FPEXT_F16_F32, MVT::f32,
Node->getOperand(1), CallOptions,
5418 SDLoc(Node),
Node->getOperand(0));
5420 Results.push_back(Tmp.second);
5427 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to expand fp_to_fp16");
5428 Results.push_back(ExpandLibCall(LC, Node,
false).first);
5434 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to expand fp_to_bf16");
5435 Results.push_back(ExpandLibCall(LC, Node,
false).first);
5443 bool IsStrict =
Node->isStrictFPOpcode();
5446 EVT SVT =
Node->getOperand(IsStrict ? 1 : 0).getValueType();
5447 EVT RVT =
Node->getValueType(0);
5454 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
5455 for (
unsigned t = MVT::FIRST_INTEGER_VALUETYPE;
5456 t <= MVT::LAST_INTEGER_VALUETYPE && LC == RTLIB::UNKNOWN_LIBCALL;
5464 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5469 NVT,
Node->getOperand(IsStrict ? 1 : 0));
5471 std::pair<SDValue, SDValue> Tmp =
5475 Results.push_back(Tmp.second);
5483 bool IsStrict =
Node->isStrictFPOpcode();
5488 EVT SVT =
Op.getValueType();
5489 EVT RVT =
Node->getValueType(0);
5496 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
5497 for (
unsigned IntVT = MVT::FIRST_INTEGER_VALUETYPE;
5498 IntVT <= MVT::LAST_INTEGER_VALUETYPE && LC == RTLIB::UNKNOWN_LIBCALL;
5506 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5509 std::pair<SDValue, SDValue> Tmp =
5515 Results.push_back(Tmp.second);
5526 bool IsStrict =
Node->isStrictFPOpcode();
5529 EVT VT =
Node->getValueType(0);
5531 "Unable to expand as libcall if it is not normal rounding");
5534 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5536 std::pair<SDValue, SDValue> Tmp =
5537 TLI.
makeLibCall(DAG, LC, VT,
Op, CallOptions, SDLoc(Node), Chain);
5540 Results.push_back(Tmp.second);
5546 Node->getValueType(0)),
5547 Node,
false).first);
5553 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
5560 Node->getValueType(0));
5562 assert(LC != RTLIB::UNKNOWN_LIBCALL &&
"Unable to legalize as libcall");
5564 std::pair<SDValue, SDValue> Tmp =
5566 CallOptions, SDLoc(Node),
Node->getOperand(0));
5568 Results.push_back(Tmp.second);
5574 {RTLIB::FAST_SUB_F32, RTLIB::SUB_F32},
5575 {RTLIB::FAST_SUB_F64, RTLIB::SUB_F64},
5576 {RTLIB::FAST_SUB_F80, RTLIB::SUB_F80},
5577 {RTLIB::FAST_SUB_F128, RTLIB::SUB_F128},
5578 {RTLIB::FAST_SUB_PPCF128, RTLIB::SUB_PPCF128},
Results);
5582 Results.push_back(ExpandIntLibCall(Node,
true,
5584 RTLIB::SREM_I16, RTLIB::SREM_I32,
5585 RTLIB::SREM_I64, RTLIB::SREM_I128));
5588 Results.push_back(ExpandIntLibCall(Node,
false,
5590 RTLIB::UREM_I16, RTLIB::UREM_I32,
5591 RTLIB::UREM_I64, RTLIB::UREM_I128));
5594 Results.push_back(ExpandIntLibCall(Node,
true,
5596 RTLIB::SDIV_I16, RTLIB::SDIV_I32,
5597 RTLIB::SDIV_I64, RTLIB::SDIV_I128));
5600 Results.push_back(ExpandIntLibCall(Node,
false,
5602 RTLIB::UDIV_I16, RTLIB::UDIV_I32,
5603 RTLIB::UDIV_I64, RTLIB::UDIV_I128));
5608 ExpandDivRemLibCall(Node,
Results);
5611 Results.push_back(ExpandIntLibCall(Node,
false,
5613 RTLIB::MUL_I16, RTLIB::MUL_I32,
5614 RTLIB::MUL_I64, RTLIB::MUL_I128));
5617 Results.push_back(ExpandBitCountingLibCall(
5618 Node, RTLIB::CTLZ_I32, RTLIB::CTLZ_I64, RTLIB::CTLZ_I128));
5621 Results.push_back(ExpandBitCountingLibCall(
5622 Node, RTLIB::CTPOP_I32, RTLIB::CTPOP_I64, RTLIB::CTPOP_I128));
5651 EVT ModeVT =
Node->getValueType(0);
5655 Node->getOperand(0), dl);
5657 ModeVT, dl, Chain, StackPtr,
5667 EVT ModeVT =
Mode.getValueType();
5671 Node->getOperand(0), dl,
Mode, StackPtr,
5685 Node->getOperand(0), dl));
5692 LLVM_DEBUG(
dbgs() <<
"Successfully converted node to libcall\n");
5693 ReplaceNode(Node,
Results.data());
5701 MVT EltVT,
MVT NewEltVT) {
5703 MVT MidVT = OldEltsPerNewElt == 1
5710void SelectionDAGLegalize::PromoteNode(SDNode *Node) {
5713 MVT OVT =
Node->getSimpleValueType(0);
5723 OVT =
Node->getOperand(0).getSimpleValueType();
5734 Node->getOpcode() == ISD::VP_REDUCE_FADD ||
5735 Node->getOpcode() == ISD::VP_REDUCE_FMUL ||
5736 Node->getOpcode() == ISD::VP_REDUCE_FMAX ||
5737 Node->getOpcode() == ISD::VP_REDUCE_FMIN ||
5738 Node->getOpcode() == ISD::VP_REDUCE_FMAXIMUM ||
5739 Node->getOpcode() == ISD::VP_REDUCE_FMINIMUM ||
5740 Node->getOpcode() == ISD::VP_REDUCE_SEQ_FADD)
5741 OVT =
Node->getOperand(1).getSimpleValueType();
5744 OVT =
Node->getOperand(2).getSimpleValueType();
5747 SelectionDAG::FlagInserter FlagsInserter(DAG, FastMathFlags);
5750 SDValue Tmp1, Tmp2, Tmp3, Tmp4;
5751 switch (
Node->getOpcode()) {
5763 unsigned NewOpc =
Node->getOpcode();
5776 Tmp1 = DAG.
getNode(NewOpc, dl, NVT, Tmp1);
5792 auto AnyExtendedNode =
5798 auto LeftShiftResult =
5802 auto CTLZResult = DAG.
getNode(
Node->getOpcode(), dl, NVT, LeftShiftResult);
5810 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
5821 PromoteLegalFP_TO_INT(Node, dl,
Results);
5825 Results.push_back(PromoteLegalFP_TO_INT_SAT(Node, dl));
5831 PromoteLegalINT_TO_FP(Node, dl,
Results);
5842 &&
"VAARG promotion is supported only for vectors or integer types");
5847 Tmp1 = DAG.
getVAArg(NVT, dl, Chain, Ptr,
Node->getOperand(2),
5848 Node->getConstantOperandVal(3));
5851 Tmp2 = DAG.
getNode(TruncOp, dl, OVT, Tmp1);
5858 UpdatedNodes->insert(Tmp2.
getNode());
5859 UpdatedNodes->insert(Chain.
getNode());
5876 unsigned ExtOp, TruncOp;
5883 switch (
Node->getOpcode()) {
5908 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
5909 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
5911 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2);
5920 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
5921 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
5932 unsigned ExtOp, TruncOp;
5933 if (
Node->getValueType(0).isVector() ||
5937 }
else if (
Node->getValueType(0).isInteger()) {
5944 Tmp1 =
Node->getOperand(0);
5946 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
5947 Tmp3 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(2));
5949 Tmp1 = DAG.
getSelect(dl, NVT, Tmp1, Tmp2, Tmp3);
5951 Tmp1 = DAG.
getNode(TruncOp, dl,
Node->getValueType(0), Tmp1);
5953 Tmp1 = DAG.
getNode(TruncOp, dl,
Node->getValueType(0), Tmp1,
5966 Tmp1 = ShuffleWithNarrowerEltType(NVT, OVT, dl, Tmp1, Tmp2, Mask);
5975 Tmp3 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2,
5976 Node->getOperand(2));
5984 MVT CVT =
Node->getSimpleValueType(0);
5985 assert(CVT == OVT &&
"not handled");
5994 Tmp1 =
Node->getOperand(0);
5995 Tmp2 =
Node->getOperand(1);
5997 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
5998 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
6001 Tmp3 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(2));
6002 Tmp4 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(3));
6029 if (
Node->isStrictFPOpcode()) {
6031 std::tie(Tmp1, std::ignore) =
6033 std::tie(Tmp2, std::ignore) =
6037 SDVTList VTs = DAG.
getVTList(
Node->getValueType(0), MVT::Other);
6039 {OutChain, Tmp1, Tmp2, Node->getOperand(3)},
6044 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(0));
6045 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(1));
6047 Tmp2,
Node->getOperand(2),
Node->getFlags()));
6057 Tmp1 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(2));
6058 Tmp2 = DAG.
getNode(ExtOp, dl, NVT,
Node->getOperand(3));
6060 Node->getOperand(0),
Node->getOperand(1),
6061 Tmp1, Tmp2,
Node->getOperand(4)));
6079 Tmp3 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2);
6088 SDVTList VTs = DAG.
getVTList(NVT, MVT::Other);
6090 Node->getOperand(1));
6092 Node->getOperand(2));
6113 {
Node->getOperand(0),
Node->getOperand(1)});
6115 {
Node->getOperand(0),
Node->getOperand(2)});
6118 Tmp1 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6119 {Tmp3, Tmp1, Tmp2});
6132 DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2, Tmp3),
6137 {
Node->getOperand(0),
Node->getOperand(1)});
6139 {
Node->getOperand(0),
Node->getOperand(2)});
6141 {
Node->getOperand(0),
Node->getOperand(3)});
6144 Tmp4 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6145 {Tmp4, Tmp1, Tmp2, Tmp3});
6156 Tmp2 =
Node->getOperand(1);
6157 Tmp3 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1, Tmp2);
6172 {
Node->getOperand(0),
Node->getOperand(1)});
6173 Tmp2 =
Node->getOperand(2);
6185 {
Node->getOperand(0),
Node->getOperand(1)});
6186 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6187 {Tmp1.getValue(1), Tmp1, Node->getOperand(2)});
6211 for (
unsigned ResNum = 0; ResNum <
Node->getNumValues(); ResNum++)
6243 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
6271 {
Node->getOperand(0),
Node->getOperand(1)});
6272 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6273 {Tmp1.getValue(1), Tmp1});
6285 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl,
Node->getValueType(0), Tmp1);
6293 {
Node->getOperand(0),
Node->getOperand(1)});
6294 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, {NVT, MVT::Other},
6295 {Tmp1.getValue(1), Tmp1});
6310 "Invalid promote type for build_vector");
6343 "Invalid promote type for extract_vector_elt");
6358 for (
unsigned I = 0;
I < NewEltsPerOldElt; ++
I) {
6389 "Invalid promote type for insert_vector_elt");
6407 for (
unsigned I = 0;
I < NewEltsPerOldElt; ++
I) {
6412 CastVal, IdxOffset);
6415 NewVec, Elt, InEltIdx);
6455 "unexpected promotion type");
6457 "unexpected atomic_swap with illegal type");
6481 "unexpected promotion type");
6483 "unexpected atomic_load with illegal type");
6494 MVT ScalarType =
Scalar.getSimpleValueType();
6498 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
6503 Tmp2 = DAG.
getNode(
Node->getOpcode(), dl, NVT, Tmp1);
6513 case ISD::VP_REDUCE_FMAX:
6514 case ISD::VP_REDUCE_FMIN:
6515 case ISD::VP_REDUCE_FMAXIMUM:
6516 case ISD::VP_REDUCE_FMINIMUM:
6517 Results.push_back(PromoteReduction(Node));
6524 ReplaceNode(Node,
Results.data());
6542 SelectionDAGLegalize
Legalizer(*
this, LegalizedNodes);
6549 bool AnyLegalized =
false;
6560 if (LegalizedNodes.
insert(
N).second) {
6561 AnyLegalized =
true;
6582 SelectionDAGLegalize
Legalizer(*
this, LegalizedNodes, &UpdatedNodes);
6589 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.
LegalizeAction getTruncStoreAction(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace) const
Return how this store with truncation should be treated: either it is legal, needs to be promoted to ...
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.
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
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 isTruncStoreLegalOrCustom(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace) const
Return true if the specified store with truncation has solution on this target.
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