82#define DEBUG_TYPE "mips-lower"
90 cl::desc(
"MIPS: permit tail calls."),
94 Mips::D12_64, Mips::D13_64, Mips::D14_64, Mips::D15_64,
95 Mips::D16_64, Mips::D17_64, Mips::D18_64, Mips::D19_64
126 unsigned &NumIntermediates,
MVT &RegisterVT)
const {
131 return NumIntermediates;
147 unsigned Flag)
const {
153 unsigned Flag)
const {
159 unsigned Flag)
const {
165 unsigned Flag)
const {
171 unsigned Flag)
const {
173 N->getOffset(), Flag);
440 isMicroMips =
Subtarget.inMicroMipsMode();
466 if (!TM.isPositionIndependent() || !TM.getABI().IsO32() ||
487 EVT Ty =
N->getValueType(0);
488 unsigned LO = (Ty == MVT::i32) ? Mips::LO0 : Mips::LO0_64;
489 unsigned HI = (Ty == MVT::i32) ? Mips::HI0 : Mips::HI0_64;
495 N->getOperand(0),
N->getOperand(1));
500 if (
N->hasAnyUseOfValue(0)) {
509 if (
N->hasAnyUseOfValue(1)) {
551 "Illegal Condition Code");
566 if (!
LHS.getValueType().isFloatingPoint())
587 return DAG.
getNode((invert ? MipsISD::CMovFP_F : MipsISD::CMovFP_T),
DL,
678 SDValue ValueIfTrue =
N->getOperand(0), ValueIfFalse =
N->getOperand(2);
691 unsigned Opc = (
N->getOpcode() == MipsISD::CMovFP_T) ? MipsISD::CMovFP_F :
694 SDValue FCC =
N->getOperand(1), Glue =
N->getOperand(3);
696 ValueIfFalse, FCC, ValueIfTrue, Glue);
705 SDValue FirstOperand =
N->getOperand(0);
706 unsigned FirstOperandOpc = FirstOperand.
getOpcode();
708 EVT ValTy =
N->getValueType(0);
712 unsigned SMPos, SMSize;
753 if (SMPos != Pos || Pos >= ValTy.
getSizeInBits() || SMSize >= 32 ||
775 NewOperand = FirstOperand;
788 SDValue FirstOperand =
N->getOperand(0), SecondOperand =
N->getOperand(1);
789 unsigned SMPos0, SMSize0, SMPos1, SMSize1;
793 SecondOperand.getOpcode() ==
ISD::SHL) ||
795 SecondOperand.getOpcode() ==
ISD::AND)) {
806 ? SecondOperand.getOperand(0)
816 ? SecondOperand.getOperand(1)
822 if (SMPos0 != 0 || SMSize0 != ShlShiftValue)
826 EVT ValTy =
N->getValueType(0);
827 SMPos1 = ShlShiftValue;
829 SMSize1 = (ValTy == MVT::i64 ? 64 : 32) - SMPos1;
830 return DAG.
getNode(MipsISD::Ins,
DL, ValTy, ShlOperand0,
848 if (SecondOperand.getOpcode() ==
ISD::AND &&
849 SecondOperand.getOperand(0).getOpcode() ==
ISD::SHL) {
856 if (SMPos0 != SMPos1 || SMSize0 != SMSize1)
868 EVT ValTy =
N->getValueType(0);
869 if ((Shamt != SMPos0) || (SMPos0 + SMSize0 > ValTy.
getSizeInBits()))
884 ((SMSize0 + SMPos0 <= 64 && Subtarget.
hasMips64r2()) ||
885 (SMSize0 + SMPos0 <= 32))) {
887 bool isConstCase = SecondOperand.getOpcode() !=
ISD::AND;
888 if (SecondOperand.getOpcode() ==
ISD::AND) {
901 EVT ValTy =
N->getOperand(0)->getValueType(0);
907 SecondOperand, Const1);
910 MipsISD::Ins,
DL,
N->getValueType(0),
992 if (!IsSigned && !IsUnsigned)
998 std::tie(BottomHalf, TopHalf) =
1001 CurDAG.
getNode(MipsISD::MTLOHI,
DL, MVT::Untyped, BottomHalf, TopHalf);
1005 unsigned Opcode = IsAdd ? (IsUnsigned ? MipsISD::MAddu : MipsISD::MAdd)
1006 : (IsUnsigned ? MipsISD::MSubu : MipsISD::MSub);
1025 !Subtarget.
inMips16Mode() &&
N->getValueType(0) == MVT::i64)
1040 !Subtarget.
inMips16Mode() &&
N->getValueType(0) == MVT::i64)
1050 SDValue InnerAdd =
N->getOperand(1);
1059 if (
Lo.getOpcode() != MipsISD::Lo)
1062 if ((
Lo.getOpcode() != MipsISD::Lo) ||
1066 EVT ValTy =
N->getValueType(0);
1083 SDValue FirstOperand =
N->getOperand(0);
1084 unsigned FirstOperandOpc = FirstOperand.
getOpcode();
1085 SDValue SecondOperand =
N->getOperand(1);
1086 EVT ValTy =
N->getValueType(0);
1090 unsigned SMPos, SMSize;
1113 if (SMPos != 0 || SMSize > 32 || Pos + SMSize > ValTy.
getSizeInBits())
1120 return DAG.
getNode(MipsISD::CIns,
DL, ValTy, NewOperand,
1133 EVT VT =
N->getValueType(0);
1148 int64_t ConstImm = ConstantOperand->getSExtValue();
1159 unsigned Opc =
N->getOpcode();
1168 case MipsISD::CMovFP_F:
1169 case MipsISD::CMovFP_T:
1201 return C->getAPIntValue().ule(15);
1209 N->getOperand(0).getOpcode() ==
ISD::SRL) ||
1211 N->getOperand(0).getOpcode() ==
ISD::SHL)) &&
1212 "Expected shift-shift mask");
1214 if (
N->getOperand(0).getValueType().isVector())
1229 switch (
Op.getOpcode())
1241 return lowerFSETCC(
Op, DAG);
1247 return lowerFCANONICALIZE(
Op, DAG);
1260 return lowerSTRICT_FP_TO_INT(
Op, DAG);
1263 return lowerREADCYCLECOUNTER(
Op, DAG);
1286 bool Is64Bit,
bool IsMicroMips) {
1295 TII.get(IsMicroMips ? Mips::TEQ_MM : Mips::TEQ))
1316 switch (
MI.getOpcode()) {
1319 case Mips::ATOMIC_LOAD_ADD_I8:
1320 return emitAtomicBinaryPartword(
MI, BB, 1);
1321 case Mips::ATOMIC_LOAD_ADD_I16:
1322 return emitAtomicBinaryPartword(
MI, BB, 2);
1323 case Mips::ATOMIC_LOAD_ADD_I32:
1324 return emitAtomicBinary(
MI, BB);
1325 case Mips::ATOMIC_LOAD_ADD_I64:
1326 return emitAtomicBinary(
MI, BB);
1328 case Mips::ATOMIC_LOAD_AND_I8:
1329 return emitAtomicBinaryPartword(
MI, BB, 1);
1330 case Mips::ATOMIC_LOAD_AND_I16:
1331 return emitAtomicBinaryPartword(
MI, BB, 2);
1332 case Mips::ATOMIC_LOAD_AND_I32:
1333 return emitAtomicBinary(
MI, BB);
1334 case Mips::ATOMIC_LOAD_AND_I64:
1335 return emitAtomicBinary(
MI, BB);
1337 case Mips::ATOMIC_LOAD_OR_I8:
1338 return emitAtomicBinaryPartword(
MI, BB, 1);
1339 case Mips::ATOMIC_LOAD_OR_I16:
1340 return emitAtomicBinaryPartword(
MI, BB, 2);
1341 case Mips::ATOMIC_LOAD_OR_I32:
1342 return emitAtomicBinary(
MI, BB);
1343 case Mips::ATOMIC_LOAD_OR_I64:
1344 return emitAtomicBinary(
MI, BB);
1346 case Mips::ATOMIC_LOAD_XOR_I8:
1347 return emitAtomicBinaryPartword(
MI, BB, 1);
1348 case Mips::ATOMIC_LOAD_XOR_I16:
1349 return emitAtomicBinaryPartword(
MI, BB, 2);
1350 case Mips::ATOMIC_LOAD_XOR_I32:
1351 return emitAtomicBinary(
MI, BB);
1352 case Mips::ATOMIC_LOAD_XOR_I64:
1353 return emitAtomicBinary(
MI, BB);
1355 case Mips::ATOMIC_LOAD_NAND_I8:
1356 return emitAtomicBinaryPartword(
MI, BB, 1);
1357 case Mips::ATOMIC_LOAD_NAND_I16:
1358 return emitAtomicBinaryPartword(
MI, BB, 2);
1359 case Mips::ATOMIC_LOAD_NAND_I32:
1360 return emitAtomicBinary(
MI, BB);
1361 case Mips::ATOMIC_LOAD_NAND_I64:
1362 return emitAtomicBinary(
MI, BB);
1364 case Mips::ATOMIC_LOAD_SUB_I8:
1365 return emitAtomicBinaryPartword(
MI, BB, 1);
1366 case Mips::ATOMIC_LOAD_SUB_I16:
1367 return emitAtomicBinaryPartword(
MI, BB, 2);
1368 case Mips::ATOMIC_LOAD_SUB_I32:
1369 return emitAtomicBinary(
MI, BB);
1370 case Mips::ATOMIC_LOAD_SUB_I64:
1371 return emitAtomicBinary(
MI, BB);
1373 case Mips::ATOMIC_SWAP_I8:
1374 return emitAtomicBinaryPartword(
MI, BB, 1);
1375 case Mips::ATOMIC_SWAP_I16:
1376 return emitAtomicBinaryPartword(
MI, BB, 2);
1377 case Mips::ATOMIC_SWAP_I32:
1378 return emitAtomicBinary(
MI, BB);
1379 case Mips::ATOMIC_SWAP_I64:
1380 return emitAtomicBinary(
MI, BB);
1382 case Mips::ATOMIC_CMP_SWAP_I8:
1383 return emitAtomicCmpSwapPartword(
MI, BB, 1);
1384 case Mips::ATOMIC_CMP_SWAP_I16:
1385 return emitAtomicCmpSwapPartword(
MI, BB, 2);
1386 case Mips::ATOMIC_CMP_SWAP_I32:
1387 return emitAtomicCmpSwap(
MI, BB);
1388 case Mips::ATOMIC_CMP_SWAP_I64:
1389 return emitAtomicCmpSwap(
MI, BB);
1391 case Mips::ATOMIC_LOAD_MIN_I8:
1392 return emitAtomicBinaryPartword(
MI, BB, 1);
1393 case Mips::ATOMIC_LOAD_MIN_I16:
1394 return emitAtomicBinaryPartword(
MI, BB, 2);
1395 case Mips::ATOMIC_LOAD_MIN_I32:
1396 return emitAtomicBinary(
MI, BB);
1397 case Mips::ATOMIC_LOAD_MIN_I64:
1398 return emitAtomicBinary(
MI, BB);
1400 case Mips::ATOMIC_LOAD_MAX_I8:
1401 return emitAtomicBinaryPartword(
MI, BB, 1);
1402 case Mips::ATOMIC_LOAD_MAX_I16:
1403 return emitAtomicBinaryPartword(
MI, BB, 2);
1404 case Mips::ATOMIC_LOAD_MAX_I32:
1405 return emitAtomicBinary(
MI, BB);
1406 case Mips::ATOMIC_LOAD_MAX_I64:
1407 return emitAtomicBinary(
MI, BB);
1409 case Mips::ATOMIC_LOAD_UMIN_I8:
1410 return emitAtomicBinaryPartword(
MI, BB, 1);
1411 case Mips::ATOMIC_LOAD_UMIN_I16:
1412 return emitAtomicBinaryPartword(
MI, BB, 2);
1413 case Mips::ATOMIC_LOAD_UMIN_I32:
1414 return emitAtomicBinary(
MI, BB);
1415 case Mips::ATOMIC_LOAD_UMIN_I64:
1416 return emitAtomicBinary(
MI, BB);
1418 case Mips::ATOMIC_LOAD_UMAX_I8:
1419 return emitAtomicBinaryPartword(
MI, BB, 1);
1420 case Mips::ATOMIC_LOAD_UMAX_I16:
1421 return emitAtomicBinaryPartword(
MI, BB, 2);
1422 case Mips::ATOMIC_LOAD_UMAX_I32:
1423 return emitAtomicBinary(
MI, BB);
1424 case Mips::ATOMIC_LOAD_UMAX_I64:
1425 return emitAtomicBinary(
MI, BB);
1427 case Mips::PseudoSDIV:
1428 case Mips::PseudoUDIV:
1435 case Mips::SDIV_MM_Pseudo:
1436 case Mips::UDIV_MM_Pseudo:
1439 case Mips::DIV_MMR6:
1440 case Mips::DIVU_MMR6:
1441 case Mips::MOD_MMR6:
1442 case Mips::MODU_MMR6:
1444 case Mips::PseudoDSDIV:
1445 case Mips::PseudoDUDIV:
1452 case Mips::PseudoSELECT_I:
1453 case Mips::PseudoSELECT_I64:
1454 case Mips::PseudoSELECT_S:
1455 case Mips::PseudoSELECT_D32:
1456 case Mips::PseudoSELECT_D64:
1457 return emitPseudoSELECT(
MI, BB,
false, Mips::BNE);
1458 case Mips::PseudoSELECTFP_F_I:
1459 case Mips::PseudoSELECTFP_F_I64:
1460 case Mips::PseudoSELECTFP_F_S:
1461 case Mips::PseudoSELECTFP_F_D32:
1462 case Mips::PseudoSELECTFP_F_D64:
1463 return emitPseudoSELECT(
MI, BB,
true, Mips::BC1F);
1464 case Mips::PseudoSELECTFP_T_I:
1465 case Mips::PseudoSELECTFP_T_I64:
1466 case Mips::PseudoSELECTFP_T_S:
1467 case Mips::PseudoSELECTFP_T_D32:
1468 case Mips::PseudoSELECTFP_T_D64:
1469 return emitPseudoSELECT(
MI, BB,
true, Mips::BC1T);
1470 case Mips::PseudoD_SELECT_I:
1471 case Mips::PseudoD_SELECT_I64:
1472 return emitPseudoD_SELECT(
MI, BB);
1474 return emitLDR_W(
MI, BB);
1476 return emitLDR_D(
MI, BB);
1478 return emitSTR_W(
MI, BB);
1480 return emitSTR_D(
MI, BB);
1496 bool NeedsAdditionalReg =
false;
1497 switch (
MI.getOpcode()) {
1498 case Mips::ATOMIC_LOAD_ADD_I32:
1499 AtomicOp = Mips::ATOMIC_LOAD_ADD_I32_POSTRA;
1501 case Mips::ATOMIC_LOAD_SUB_I32:
1502 AtomicOp = Mips::ATOMIC_LOAD_SUB_I32_POSTRA;
1504 case Mips::ATOMIC_LOAD_AND_I32:
1505 AtomicOp = Mips::ATOMIC_LOAD_AND_I32_POSTRA;
1507 case Mips::ATOMIC_LOAD_OR_I32:
1508 AtomicOp = Mips::ATOMIC_LOAD_OR_I32_POSTRA;
1510 case Mips::ATOMIC_LOAD_XOR_I32:
1511 AtomicOp = Mips::ATOMIC_LOAD_XOR_I32_POSTRA;
1513 case Mips::ATOMIC_LOAD_NAND_I32:
1514 AtomicOp = Mips::ATOMIC_LOAD_NAND_I32_POSTRA;
1516 case Mips::ATOMIC_SWAP_I32:
1517 AtomicOp = Mips::ATOMIC_SWAP_I32_POSTRA;
1519 case Mips::ATOMIC_LOAD_ADD_I64:
1520 AtomicOp = Mips::ATOMIC_LOAD_ADD_I64_POSTRA;
1522 case Mips::ATOMIC_LOAD_SUB_I64:
1523 AtomicOp = Mips::ATOMIC_LOAD_SUB_I64_POSTRA;
1525 case Mips::ATOMIC_LOAD_AND_I64:
1526 AtomicOp = Mips::ATOMIC_LOAD_AND_I64_POSTRA;
1528 case Mips::ATOMIC_LOAD_OR_I64:
1529 AtomicOp = Mips::ATOMIC_LOAD_OR_I64_POSTRA;
1531 case Mips::ATOMIC_LOAD_XOR_I64:
1532 AtomicOp = Mips::ATOMIC_LOAD_XOR_I64_POSTRA;
1534 case Mips::ATOMIC_LOAD_NAND_I64:
1535 AtomicOp = Mips::ATOMIC_LOAD_NAND_I64_POSTRA;
1537 case Mips::ATOMIC_SWAP_I64:
1538 AtomicOp = Mips::ATOMIC_SWAP_I64_POSTRA;
1540 case Mips::ATOMIC_LOAD_MIN_I32:
1541 AtomicOp = Mips::ATOMIC_LOAD_MIN_I32_POSTRA;
1542 NeedsAdditionalReg =
true;
1544 case Mips::ATOMIC_LOAD_MAX_I32:
1545 AtomicOp = Mips::ATOMIC_LOAD_MAX_I32_POSTRA;
1546 NeedsAdditionalReg =
true;
1548 case Mips::ATOMIC_LOAD_UMIN_I32:
1549 AtomicOp = Mips::ATOMIC_LOAD_UMIN_I32_POSTRA;
1550 NeedsAdditionalReg =
true;
1552 case Mips::ATOMIC_LOAD_UMAX_I32:
1553 AtomicOp = Mips::ATOMIC_LOAD_UMAX_I32_POSTRA;
1554 NeedsAdditionalReg =
true;
1556 case Mips::ATOMIC_LOAD_MIN_I64:
1557 AtomicOp = Mips::ATOMIC_LOAD_MIN_I64_POSTRA;
1558 NeedsAdditionalReg =
true;
1560 case Mips::ATOMIC_LOAD_MAX_I64:
1561 AtomicOp = Mips::ATOMIC_LOAD_MAX_I64_POSTRA;
1562 NeedsAdditionalReg =
true;
1564 case Mips::ATOMIC_LOAD_UMIN_I64:
1565 AtomicOp = Mips::ATOMIC_LOAD_UMIN_I64_POSTRA;
1566 NeedsAdditionalReg =
true;
1568 case Mips::ATOMIC_LOAD_UMAX_I64:
1569 AtomicOp = Mips::ATOMIC_LOAD_UMAX_I64_POSTRA;
1570 NeedsAdditionalReg =
true;
1631 if (NeedsAdditionalReg) {
1638 MI.eraseFromParent();
1645 unsigned SrcReg)
const {
1660 MachineRegisterInfo &RegInfo = MF->
getRegInfo();
1665 int64_t ShiftImm = 32 - (
Size * 8);
1676 "Unsupported size for EmitAtomicBinaryPartial.");
1679 MachineRegisterInfo &RegInfo = MF->
getRegInfo();
1681 const bool ArePtrs64bit =
ABI.ArePtrs64bit();
1682 const TargetRegisterClass *RCp =
1703 unsigned AtomicOp = 0;
1704 bool NeedsAdditionalReg =
false;
1705 switch (
MI.getOpcode()) {
1706 case Mips::ATOMIC_LOAD_NAND_I8:
1707 AtomicOp = Mips::ATOMIC_LOAD_NAND_I8_POSTRA;
1709 case Mips::ATOMIC_LOAD_NAND_I16:
1710 AtomicOp = Mips::ATOMIC_LOAD_NAND_I16_POSTRA;
1712 case Mips::ATOMIC_SWAP_I8:
1713 AtomicOp = Mips::ATOMIC_SWAP_I8_POSTRA;
1715 case Mips::ATOMIC_SWAP_I16:
1716 AtomicOp = Mips::ATOMIC_SWAP_I16_POSTRA;
1718 case Mips::ATOMIC_LOAD_ADD_I8:
1719 AtomicOp = Mips::ATOMIC_LOAD_ADD_I8_POSTRA;
1721 case Mips::ATOMIC_LOAD_ADD_I16:
1722 AtomicOp = Mips::ATOMIC_LOAD_ADD_I16_POSTRA;
1724 case Mips::ATOMIC_LOAD_SUB_I8:
1725 AtomicOp = Mips::ATOMIC_LOAD_SUB_I8_POSTRA;
1727 case Mips::ATOMIC_LOAD_SUB_I16:
1728 AtomicOp = Mips::ATOMIC_LOAD_SUB_I16_POSTRA;
1730 case Mips::ATOMIC_LOAD_AND_I8:
1731 AtomicOp = Mips::ATOMIC_LOAD_AND_I8_POSTRA;
1733 case Mips::ATOMIC_LOAD_AND_I16:
1734 AtomicOp = Mips::ATOMIC_LOAD_AND_I16_POSTRA;
1736 case Mips::ATOMIC_LOAD_OR_I8:
1737 AtomicOp = Mips::ATOMIC_LOAD_OR_I8_POSTRA;
1739 case Mips::ATOMIC_LOAD_OR_I16:
1740 AtomicOp = Mips::ATOMIC_LOAD_OR_I16_POSTRA;
1742 case Mips::ATOMIC_LOAD_XOR_I8:
1743 AtomicOp = Mips::ATOMIC_LOAD_XOR_I8_POSTRA;
1745 case Mips::ATOMIC_LOAD_XOR_I16:
1746 AtomicOp = Mips::ATOMIC_LOAD_XOR_I16_POSTRA;
1748 case Mips::ATOMIC_LOAD_MIN_I8:
1749 AtomicOp = Mips::ATOMIC_LOAD_MIN_I8_POSTRA;
1750 NeedsAdditionalReg =
true;
1752 case Mips::ATOMIC_LOAD_MIN_I16:
1753 AtomicOp = Mips::ATOMIC_LOAD_MIN_I16_POSTRA;
1754 NeedsAdditionalReg =
true;
1756 case Mips::ATOMIC_LOAD_MAX_I8:
1757 AtomicOp = Mips::ATOMIC_LOAD_MAX_I8_POSTRA;
1758 NeedsAdditionalReg =
true;
1760 case Mips::ATOMIC_LOAD_MAX_I16:
1761 AtomicOp = Mips::ATOMIC_LOAD_MAX_I16_POSTRA;
1762 NeedsAdditionalReg =
true;
1764 case Mips::ATOMIC_LOAD_UMIN_I8:
1765 AtomicOp = Mips::ATOMIC_LOAD_UMIN_I8_POSTRA;
1766 NeedsAdditionalReg =
true;
1768 case Mips::ATOMIC_LOAD_UMIN_I16:
1769 AtomicOp = Mips::ATOMIC_LOAD_UMIN_I16_POSTRA;
1770 NeedsAdditionalReg =
true;
1772 case Mips::ATOMIC_LOAD_UMAX_I8:
1773 AtomicOp = Mips::ATOMIC_LOAD_UMAX_I8_POSTRA;
1774 NeedsAdditionalReg =
true;
1776 case Mips::ATOMIC_LOAD_UMAX_I16:
1777 AtomicOp = Mips::ATOMIC_LOAD_UMAX_I16_POSTRA;
1778 NeedsAdditionalReg =
true;
1807 int64_t MaskImm = (
Size == 1) ? 255 : 65535;
1813 .
addReg(Ptr, {}, ArePtrs64bit ? Mips::sub_32 : 0)
1835 MachineInstrBuilder MIB =
1849 if (NeedsAdditionalReg) {
1855 MI.eraseFromParent();
1869 assert((
MI.getOpcode() == Mips::ATOMIC_CMP_SWAP_I32 ||
1870 MI.getOpcode() == Mips::ATOMIC_CMP_SWAP_I64) &&
1871 "Unsupported atomic pseudo for EmitAtomicCmpSwap.");
1873 const unsigned Size =
MI.getOpcode() == Mips::ATOMIC_CMP_SWAP_I32 ? 4 : 8;
1881 unsigned AtomicOp =
MI.getOpcode() == Mips::ATOMIC_CMP_SWAP_I32
1882 ? Mips::ATOMIC_CMP_SWAP_I32_POSTRA
1883 : Mips::ATOMIC_CMP_SWAP_I64_POSTRA;
1917 MI.eraseFromParent();
1925 "Unsupported size for EmitAtomicCmpSwapPartial.");
1928 MachineRegisterInfo &RegInfo = MF->
getRegInfo();
1930 const bool ArePtrs64bit =
ABI.ArePtrs64bit();
1931 const TargetRegisterClass *RCp =
1952 unsigned AtomicOp =
MI.getOpcode() == Mips::ATOMIC_CMP_SWAP_I8
1953 ? Mips::ATOMIC_CMP_SWAP_I8_POSTRA
1954 : Mips::ATOMIC_CMP_SWAP_I16_POSTRA;
1995 int64_t MaskImm = (
Size == 1) ? 255 : 65535;
1996 BuildMI(BB,
DL,
TII->get(ArePtrs64bit ? Mips::DADDiu : Mips::ADDiu), MaskLSB2)
1998 BuildMI(BB,
DL,
TII->get(ArePtrs64bit ? Mips::AND64 : Mips::AND), AlignedAddr)
2001 .
addReg(Ptr, {}, ArePtrs64bit ? Mips::sub_32 : 0)
2042 MI.eraseFromParent();
2052 unsigned RdhwrOpc, DestReg;
2055 if (PtrVT == MVT::i64) {
2056 RdhwrOpc = Mips::RDHWR64;
2068 RdhwrOpc = Mips::RDHWR;
2096 if (CondRes.
getOpcode() != MipsISD::FPCmp)
2104 return DAG.
getNode(MipsISD::FPBrcond,
DL,
Op.getValueType(), Chain, BrCode,
2105 FCC0, Dest, CondRes);
2115 if (
Cond.getOpcode() != MipsISD::FPCmp)
2127 "Floating point operand expected.");
2156 EVT Ty =
Op.getValueType();
2158 const GlobalValue *GV =
N->getGlobal();
2162 "Windows is the only supported COFF target");
2169 const MipsTargetObjectFile *TLOF =
2170 static_cast<const MipsTargetObjectFile *
>(
2204 N, SDLoc(
N), Ty, DAG,
2212 EVT Ty =
Op.getValueType();
2233 const GlobalValue *GV = GA->
getGlobal();
2252 Args.emplace_back(Argument, PtrTy);
2254 TargetLowering::CallLoweringInfo CLI(DAG);
2257 .setLibCallee(
CallingConv::C, PtrTy, TlsGetAddr, std::move(Args));
2258 std::pair<SDValue, SDValue> CallResult =
LowerCallTo(CLI);
2260 SDValue Ret = CallResult.first;
2304 EVT Ty =
Op.getValueType();
2317 EVT Ty =
Op.getValueType();
2320 const MipsTargetObjectFile *TLOF =
2321 static_cast<const MipsTargetObjectFile *
>(
2338 MipsFunctionInfo *FuncInfo = MF.
getInfo<MipsFunctionInfo>();
2348 MachinePointerInfo(SV));
2352 SDNode *
Node =
Op.getNode();
2353 EVT VT =
Node->getValueType(0);
2357 llvm::MaybeAlign(
Node->getConstantOperandVal(3)).valueOrOne();
2360 unsigned ArgSlotSizeInBytes = (
ABI.IsN32() ||
ABI.IsN64()) ? 8 : 4;
2363 VAListPtr, MachinePointerInfo(SV));
2385 unsigned ArgSizeInBytes =
2393 MachinePointerInfo(SV));
2400 if (!
Subtarget.isLittle() && ArgSizeInBytes < ArgSlotSizeInBytes) {
2401 unsigned Adjustment = ArgSlotSizeInBytes - ArgSizeInBytes;
2406 return DAG.
getLoad(VT,
DL, Chain, VAList, MachinePointerInfo());
2410 bool HasExtractInsert) {
2411 EVT TyX =
Op.getOperand(0).getValueType();
2412 EVT TyY =
Op.getOperand(1).getValueType();
2422 DAG.
getNode(MipsISD::ExtractElementF64,
DL, MVT::i32,
Op.getOperand(0),
2426 DAG.
getNode(MipsISD::ExtractElementF64,
DL, MVT::i32,
Op.getOperand(1),
2429 if (HasExtractInsert) {
2433 Res = DAG.
getNode(MipsISD::Ins,
DL, MVT::i32,
E, Const31, Const1,
X);
2447 if (TyX == MVT::f32)
2453 return DAG.
getNode(MipsISD::BuildPairF64,
DL, MVT::f64, LowX, Res);
2457 bool HasExtractInsert) {
2458 unsigned WidthX =
Op.getOperand(0).getValueSizeInBits();
2459 unsigned WidthY =
Op.getOperand(1).getValueSizeInBits();
2468 if (HasExtractInsert) {
2474 if (WidthX > WidthY)
2476 else if (WidthY > WidthX)
2495 if (WidthX > WidthY)
2497 else if (WidthY > WidthX)
2515 bool HasExtractInsert)
const {
2519 if (
Op->getFlags().hasNoNaNs() ||
Subtarget.inAbs2008Mode())
2526 : DAG.
getNode(MipsISD::ExtractElementF64,
DL, MVT::i32,
2527 Op.getOperand(0), Const1);
2530 if (HasExtractInsert)
2531 Res = DAG.
getNode(MipsISD::Ins,
DL, MVT::i32,
2541 if (
Op.getValueType() == MVT::f32)
2549 DAG.
getNode(MipsISD::ExtractElementF64,
DL, MVT::i32,
Op.getOperand(0),
2551 return DAG.
getNode(MipsISD::BuildPairF64,
DL, MVT::f64, LowX, Res);
2555 bool HasExtractInsert)
const {
2559 if (
Op->getFlags().hasNoNaNs() ||
Subtarget.inAbs2008Mode())
2566 if (HasExtractInsert)
2567 Res = DAG.
getNode(MipsISD::Ins,
DL, MVT::i64,
2579 if ((
ABI.IsN32() ||
ABI.IsN64()) && (
Op.getValueType() == MVT::f64))
2580 return lowerFABS64(
Op, DAG,
Subtarget.hasExtractInsert());
2582 return lowerFABS32(
Op, DAG,
Subtarget.hasExtractInsert());
2588 EVT VT =
Op.getValueType();
2590 SDNodeFlags
Flags =
Op->getFlags();
2602 if (
Op.getConstantOperandVal(0) != 0) {
2604 "return address can be determined only for current frame");
2610 EVT VT =
Op.getValueType();
2620 if (
Op.getConstantOperandVal(0) != 0) {
2622 "return address can be determined only for current frame");
2628 MVT VT =
Op.getSimpleValueType();
2629 unsigned RA =
ABI.IsN64() ? Mips::RA_64 : Mips::RA;
2644 MipsFunctionInfo *MipsFI = MF.
getInfo<MipsFunctionInfo>();
2651 EVT Ty =
ABI.IsN64() ? MVT::i64 : MVT::i32;
2655 unsigned OffsetReg =
ABI.IsN64() ? Mips::V1_64 : Mips::V1;
2656 unsigned AddrReg =
ABI.IsN64() ? Mips::V0_64 : Mips::V0;
2659 return DAG.
getNode(MipsISD::EH_RETURN,
DL, MVT::Other, Chain,
2675 return DAG.
getNode(MipsISD::Sync,
DL, MVT::Other,
Op.getOperand(0),
2693 MVT VT =
Subtarget.isGP64bit() ? MVT::i64 : MVT::i32;
2727 MVT VT =
Subtarget.isGP64bit() ? MVT::i64 : MVT::i32;
2758 SDVTList VTList = DAG.
getVTList(VT, VT);
2761 DL, VTList,
Cond, ShiftRightHi,
2776 SDValue Ptr = LD->getBasePtr();
2777 EVT VT = LD->getValueType(0), MemVT = LD->getMemoryVT();
2788 LD->getMemOperand());
2794 EVT MemVT = LD->getMemoryVT();
2796 if (
Subtarget.systemSupportsUnalignedAccess())
2800 if ((LD->getAlign().value() >= (MemVT.
getSizeInBits() / 8)) ||
2801 ((MemVT != MVT::i32) && (MemVT != MVT::i64)))
2805 EVT VT =
Op.getValueType();
2809 assert((VT == MVT::i32) || (VT == MVT::i64));
2887 return createStoreLR(MipsISD::SWR, DAG, SD, SWL, IsLittle ? 0 : 3);
2898 return createStoreLR(MipsISD::SDR, DAG, SD, SDL, IsLittle ? 0 : 7);
2923 if (!
Subtarget.systemSupportsUnalignedAccess() &&
2925 ((MemVT == MVT::i32) || (MemVT == MVT::i64)))
2937 EVT ValTy =
Op->getValueType(0);
2962 Loc,
Op.getValueType(), SrcVal);
2968 static const MCPhysReg RCRegs[] = {Mips::FCR31};
3001 State.getMachineFunction().getSubtarget());
3003 static const MCPhysReg IntRegs[] = { Mips::A0, Mips::A1, Mips::A2, Mips::A3 };
3007 static const MCPhysReg FloatVectorIntRegs[] = { Mips::A0, Mips::A2 };
3015 if (LocVT == MVT::i8 || LocVT == MVT::i16 || LocVT == MVT::i32) {
3019 else if (ArgFlags.
isZExt())
3027 if (LocVT == MVT::i8 || LocVT == MVT::i16) {
3031 else if (ArgFlags.
isZExt())
3042 bool AllocateFloatsInIntReg = State.isVarArg() || ValNo > 1 ||
3043 State.getFirstUnallocated(
F32Regs) != ValNo;
3045 bool isI64 = (ValVT == MVT::i32 && OrigAlign ==
Align(8));
3049 if (ValVT == MVT::i32 && isVectorFloat) {
3055 Reg = State.AllocateReg(FloatVectorIntRegs);
3056 if (
Reg == Mips::A2)
3057 State.AllocateReg(Mips::A1);
3059 State.AllocateReg(Mips::A3);
3065 }
else if (ValVT == MVT::i32 ||
3066 (ValVT == MVT::f32 && AllocateFloatsInIntReg)) {
3070 if (isI64 && (
Reg == Mips::A1 ||
Reg == Mips::A3))
3073 }
else if (ValVT == MVT::f64 && AllocateFloatsInIntReg) {
3077 if (
Reg == Mips::A1 ||
Reg == Mips::A3)
3093 if (ValVT == MVT::f32) {
3098 Reg = State.AllocateReg(F64Regs);
3101 if (Reg2 == Mips::A1 || Reg2 == Mips::A3)
3121 static const MCPhysReg F64Regs[] = { Mips::D6, Mips::D7 };
3123 return CC_MipsO32(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State,
3131 static const MCPhysReg F64Regs[] = { Mips::D12_64, Mips::D14_64 };
3133 return CC_MipsO32(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State,
3142#include "MipsGenCallingConv.inc"
3145 return CC_Mips_FixedArg;
3157 const SDLoc &
DL,
bool IsTailCall,
3175 std::deque<std::pair<unsigned, SDValue>> &RegsToPass,
3176 bool IsPICCall,
bool GlobalOrExternal,
bool InternalLinkage,
3189 if (IsPICCall && !InternalLinkage && IsCallReloc) {
3190 unsigned GPReg =
ABI.IsN64() ? Mips::GP_64 : Mips::GP;
3191 EVT Ty =
ABI.IsN64() ? MVT::i64 : MVT::i32;
3192 RegsToPass.push_back(std::make_pair(GPReg,
getGlobalReg(CLI.
DAG, Ty)));
3201 for (
auto &R : RegsToPass) {
3208 for (
auto &R : RegsToPass)
3215 assert(Mask &&
"Missing call preserved mask for calling convention");
3219 Function *
F =
G->getGlobal()->getParent()->getFunction(Sym);
3220 if (
F &&
F->hasFnAttribute(
"__Mips16RetHelper")) {
3228 Ops.push_back(InGlue);
3233 switch (
MI.getOpcode()) {
3237 case Mips::JALRPseudo:
3239 case Mips::JALR64Pseudo:
3240 case Mips::JALR16_MM:
3241 case Mips::JALRC16_MMR6:
3242 case Mips::TAILCALLREG:
3243 case Mips::TAILCALLREG64:
3244 case Mips::TAILCALLR6REG:
3245 case Mips::TAILCALL64R6REG:
3246 case Mips::TAILCALLREG_MM:
3247 case Mips::TAILCALLREG_MMR6: {
3251 Node->getNumOperands() < 1 ||
3252 Node->getOperand(0).getNumOperands() < 2) {
3258 const SDValue TargetAddr =
Node->getOperand(0).getOperand(1);
3266 LLVM_DEBUG(
dbgs() <<
"Not adding R_MIPS_JALR against data symbol "
3267 <<
G->getGlobal()->getName() <<
"\n");
3270 Sym =
G->getGlobal()->getName();
3274 Sym = ES->getSymbol();
3282 LLVM_DEBUG(
dbgs() <<
"Adding R_MIPS_JALR against " << Sym <<
"\n");
3350 unsigned ReservedArgArea =
3351 MemcpyInByVal ? 0 : ABI.GetCalleeAllocdArgSizeInBytes(CallConv);
3352 CCInfo.AllocateStack(ReservedArgArea,
Align(1));
3354 CCInfo.AnalyzeCallOperands(Outs,
CC_Mips);
3357 unsigned StackSize = CCInfo.getStackSize();
3369 bool CalleeIsLocal =
true;
3373 bool HasHiddenVisibility =
3376 CalleeIsLocal = HasLocalLinkage || HasHiddenVisibility;
3386 "site marked musttail");
3388 bool Eligible = isEligibleForTailCallOptimization(
3389 CCInfo, StackSize, *MF.
getInfo<MipsFunctionInfo>());
3390 if (!Eligible || !CalleeIsLocal) {
3394 "failed to perform tail call elimination on a call "
3395 "site marked musttail");
3407 StackSize =
alignTo(StackSize, StackAlignment);
3409 if (!(IsTailCall || MemcpyInByVal))
3415 std::deque<std::pair<unsigned, SDValue>> RegsToPass;
3418 CCInfo.rewindByValRegsInfo();
3421 for (
unsigned i = 0, e = ArgLocs.
size(), OutIdx = 0; i != e; ++i, ++OutIdx) {
3422 SDValue Arg = OutVals[OutIdx];
3423 CCValAssign &VA = ArgLocs[i];
3425 ISD::ArgFlagsTy
Flags = Outs[OutIdx].Flags;
3426 bool UseUpperBits =
false;
3429 if (
Flags.isByVal()) {
3430 unsigned FirstByValReg, LastByValReg;
3431 unsigned ByValIdx = CCInfo.getInRegsParamsProcessed();
3432 CCInfo.getInRegsParamInfo(ByValIdx, FirstByValReg, LastByValReg);
3435 "ByVal args of size 0 should have been ignored by front-end.");
3436 assert(ByValIdx < CCInfo.getInRegsParamsCount());
3438 "Do not tail-call optimize if there is a byval argument.");
3439 passByValArg(Chain,
DL, RegsToPass, MemOpChains, StackPtr, MFI, DAG, Arg,
3440 FirstByValReg, LastByValReg, Flags,
Subtarget.isLittle(),
3442 CCInfo.nextInRegsParam();
3452 if ((ValVT == MVT::f32 && LocVT == MVT::i32) ||
3453 (ValVT == MVT::f64 && LocVT == MVT::i64) ||
3454 (ValVT == MVT::i64 && LocVT == MVT::f64))
3456 else if (ValVT == MVT::f64 && LocVT == MVT::i32) {
3467 Register LocRegHigh = ArgLocs[++i].getLocReg();
3468 RegsToPass.
push_back(std::make_pair(LocRegLo,
Lo));
3469 RegsToPass.push_back(std::make_pair(LocRegHigh,
Hi));
3478 UseUpperBits =
true;
3484 UseUpperBits =
true;
3490 UseUpperBits =
true;
3498 unsigned ValSizeInBits = Outs[OutIdx].ArgVT.getSizeInBits();
3508 RegsToPass.push_back(std::make_pair(VA.
getLocReg(), Arg));
3529 Chain, Arg,
DL, IsTailCall, DAG));
3534 if (!MemOpChains.
empty())
3541 EVT Ty =
Callee.getValueType();
3542 bool GlobalOrExternal =
false, IsCallReloc =
false;
3547 if (!
Subtarget.isABICalls() && !IsPIC) {
3557 bool UseLongCalls =
Subtarget.useLongCalls();
3561 if (
F->hasFnAttribute(
"long-call"))
3562 UseLongCalls =
true;
3563 else if (
F->hasFnAttribute(
"short-call"))
3564 UseLongCalls =
false;
3573 bool InternalLinkage =
false;
3576 G->getGlobal()->hasDLLImportStorageClass()) {
3578 "Windows is the only supported COFF target");
3579 auto PtrInfo = MachinePointerInfo();
3583 const GlobalValue *Val =
G->getGlobal();
3586 if (InternalLinkage)
3602 GlobalOrExternal =
true;
3605 const char *Sym = S->getSymbol();
3621 GlobalOrExternal =
true;
3625 SDVTList NodeTys = DAG.
getVTList(MVT::Other, MVT::Glue);
3627 getOpndList(
Ops, RegsToPass, IsPIC, GlobalOrExternal, InternalLinkage,
3628 IsCallReloc, CLI, Callee, Chain);
3637 Chain = DAG.
getNode(MipsISD::JmpLink,
DL, NodeTys,
Ops);
3644 if (!(MemcpyInByVal)) {
3651 return LowerCallResult(Chain, InGlue, CallConv, IsVarArg, Ins,
DL, DAG,
3657SDValue MipsTargetLowering::LowerCallResult(
3667 CCInfo.AnalyzeCallResult(Ins, RetCC_Mips);
3670 for (
unsigned i = 0; i != RVLocs.
size(); ++i) {
3671 CCValAssign &VA = RVLocs[i];
3675 RVLocs[i].getLocVT(), InGlue);
3680 unsigned ValSizeInBits = Ins[i].ArgVT.getSizeInBits();
3781SDValue MipsTargetLowering::LowerFormalArguments(
3787 MipsFunctionInfo *MipsFI = MF.
getInfo<MipsFunctionInfo>();
3792 std::vector<SDValue> OutChains;
3798 CCInfo.AllocateStack(
ABI.GetCalleeAllocdArgSizeInBytes(CallConv),
Align(1));
3802 if (
Func.hasFnAttribute(
"interrupt") && !
Func.arg_empty())
3804 "Functions with the interrupt attribute cannot have arguments!");
3806 CCInfo.AnalyzeFormalArguments(Ins, CC_Mips_FixedArg);
3808 CCInfo.getInRegsParamsCount() > 0);
3810 unsigned CurArgIdx = 0;
3811 CCInfo.rewindByValRegsInfo();
3813 for (
unsigned i = 0, e = ArgLocs.
size(), InsIdx = 0; i != e; ++i, ++InsIdx) {
3814 CCValAssign &VA = ArgLocs[i];
3815 if (Ins[InsIdx].isOrigArg()) {
3816 std::advance(FuncArg, Ins[InsIdx].getOrigArgIndex() - CurArgIdx);
3817 CurArgIdx = Ins[InsIdx].getOrigArgIndex();
3820 ISD::ArgFlagsTy
Flags = Ins[InsIdx].Flags;
3823 if (
Flags.isByVal()) {
3824 assert(Ins[InsIdx].isOrigArg() &&
"Byval arguments cannot be implicit");
3825 unsigned FirstByValReg, LastByValReg;
3826 unsigned ByValIdx = CCInfo.getInRegsParamsProcessed();
3827 CCInfo.getInRegsParamInfo(ByValIdx, FirstByValReg, LastByValReg);
3830 "ByVal args of size 0 should have been ignored by front-end.");
3831 assert(ByValIdx < CCInfo.getInRegsParamsCount());
3832 copyByValRegs(Chain,
DL, OutChains, DAG, Flags, InVals, &*FuncArg,
3833 FirstByValReg, LastByValReg, VA, CCInfo);
3834 CCInfo.nextInRegsParam();
3854 if ((RegVT == MVT::i32 && ValVT == MVT::f32) ||
3855 (RegVT == MVT::i64 && ValVT == MVT::f64) ||
3856 (RegVT == MVT::f64 && ValVT == MVT::i64))
3858 else if (
ABI.IsO32() && RegVT == MVT::i32 &&
3859 ValVT == MVT::f64) {
3861 CCValAssign &NextVA = ArgLocs[++i];
3867 ArgValue = DAG.
getNode(MipsISD::BuildPairF64,
DL, MVT::f64,
3868 ArgValue, ArgValue2);
3887 LocVT,
DL, Chain, FIN,
3889 OutChains.push_back(ArgValue.
getValue(1));
3898 for (
unsigned i = 0, e = ArgLocs.
size(), InsIdx = 0; i != e; ++i, ++InsIdx) {
3900 if (ArgLocs[i].needsCustom()) {
3908 if (Ins[InsIdx].
Flags.isSRet()) {
3922 writeVarArgRegs(OutChains, Chain,
DL, DAG, CCInfo);
3926 if (!OutChains.empty()) {
3927 OutChains.push_back(Chain);
3944 MipsCCState CCInfo(CallConv, IsVarArg, MF, RVLocs,
Context);
3945 return CCInfo.CheckReturn(Outs, RetCC_Mips);
3948bool MipsTargetLowering::shouldSignExtendTypeInLibCall(
Type *Ty,
3949 bool IsSigned)
const {
3961 MipsFunctionInfo *MipsFI = MF.
getInfo<MipsFunctionInfo>();
3965 return DAG.
getNode(MipsISD::ERet,
DL, MVT::Other, RetOps);
3980 MipsCCState CCInfo(CallConv, IsVarArg, MF, RVLocs, *DAG.
getContext());
3983 CCInfo.AnalyzeReturn(Outs, RetCC_Mips);
3989 for (
unsigned i = 0; i != RVLocs.
size(); ++i) {
3991 CCValAssign &VA = RVLocs[i];
3993 bool UseUpperBits =
false;
4004 UseUpperBits =
true;
4010 UseUpperBits =
true;
4016 UseUpperBits =
true;
4024 unsigned ValSizeInBits = Outs[i].ArgVT.getSizeInBits();
4043 MipsFunctionInfo *MipsFI = MF.
getInfo<MipsFunctionInfo>();
4050 unsigned V0 =
ABI.IsN64() ? Mips::V0_64 : Mips::V0;
4065 return LowerInterruptReturn(RetOps,
DL, DAG);
4068 return DAG.
getNode(MipsISD::Ret,
DL, MVT::Other, RetOps);
4078MipsTargetLowering::getConstraintType(
StringRef Constraint)
const {
4090 if (Constraint.
size() == 1) {
4091 switch (Constraint[0]) {
4105 if (Constraint ==
"ZC")
4115MipsTargetLowering::getSingleConstraintMatchWeight(
4116 AsmOperandInfo &
info,
const char *constraint)
const {
4118 Value *CallOperandVal =
info.CallOperandVal;
4121 if (!CallOperandVal)
4125 switch (*constraint) {
4169 unsigned long long &
Reg) {
4170 if (
C.front() !=
'{' ||
C.back() !=
'}')
4171 return std::make_pair(
false,
false);
4175 I = std::find_if(
B,
E, isdigit);
4181 return std::make_pair(
true,
false);
4192 return VT.
bitsLT(MinVT) ? MinVT : VT;
4195std::pair<unsigned, const TargetRegisterClass *> MipsTargetLowering::
4201 unsigned long long Reg;
4206 return std::make_pair(0U,
nullptr);
4208 if ((Prefix ==
"hi" || Prefix ==
"lo")) {
4211 return std::make_pair(0U,
nullptr);
4213 RC =
TRI->getRegClass(Prefix ==
"hi" ?
4214 Mips::HI32RegClassID : Mips::LO32RegClassID);
4215 return std::make_pair(*(RC->
begin()), RC);
4216 }
else if (Prefix.starts_with(
"$msa")) {
4221 return std::make_pair(0U,
nullptr);
4224 .
Case(
"$msair", Mips::MSAIR)
4225 .
Case(
"$msacsr", Mips::MSACSR)
4226 .
Case(
"$msaaccess", Mips::MSAAccess)
4227 .
Case(
"$msasave", Mips::MSASave)
4228 .
Case(
"$msamodify", Mips::MSAModify)
4229 .
Case(
"$msarequest", Mips::MSARequest)
4230 .
Case(
"$msamap", Mips::MSAMap)
4231 .
Case(
"$msaunmap", Mips::MSAUnmap)
4235 return std::make_pair(0U,
nullptr);
4237 RC =
TRI->getRegClass(Mips::MSACtrlRegClassID);
4238 return std::make_pair(
Reg, RC);
4242 return std::make_pair(0U,
nullptr);
4244 if (Prefix ==
"$f") {
4249 if (VT == MVT::Other) {
4253 VT = (
Subtarget.isFP64bit() || !(
Reg % 2)) ? MVT::f64 : MVT::f32;
4258 if (RC == &Mips::AFGR64RegClass) {
4262 }
else if (Prefix ==
"$fcc")
4263 RC =
TRI->getRegClass(Mips::FCCRegClassID);
4264 else if (Prefix ==
"$w") {
4272 return std::make_pair(*(RC->
begin() +
Reg), RC);
4278std::pair<unsigned, const TargetRegisterClass *>
4282 if (Constraint.
size() == 1) {
4283 switch (Constraint[0]) {
4287 if ((VT == MVT::i32 || VT == MVT::i16 || VT == MVT::i8 ||
4289 (VT == MVT::f32 &&
Subtarget.useSoftFloat())) {
4291 return std::make_pair(0U, &Mips::CPU16RegsRegClass);
4292 return std::make_pair(0U, &Mips::GPR32RegClass);
4294 if ((VT == MVT::i64 || (VT == MVT::f64 &&
Subtarget.useSoftFloat()) ||
4295 (VT == MVT::f64 &&
Subtarget.isSingleFloat())) &&
4297 return std::make_pair(0U, &Mips::GPR32RegClass);
4298 if ((VT == MVT::i64 || (VT == MVT::f64 &&
Subtarget.useSoftFloat()) ||
4299 (VT == MVT::f64 &&
Subtarget.isSingleFloat())) &&
4301 return std::make_pair(0U, &Mips::GPR64RegClass);
4303 return std::make_pair(0U,
nullptr);
4305 if (VT == MVT::v16i8)
4306 return std::make_pair(0U, &Mips::MSA128BRegClass);
4307 else if (VT == MVT::v8i16 || VT == MVT::v8f16)
4308 return std::make_pair(0U, &Mips::MSA128HRegClass);
4309 else if (VT == MVT::v4i32 || VT == MVT::v4f32)
4310 return std::make_pair(0U, &Mips::MSA128WRegClass);
4311 else if (VT == MVT::v2i64 || VT == MVT::v2f64)
4312 return std::make_pair(0U, &Mips::MSA128DRegClass);
4313 else if (VT == MVT::f32)
4314 return std::make_pair(0U, &Mips::FGR32RegClass);
4315 else if ((VT == MVT::f64) && (!
Subtarget.isSingleFloat())) {
4317 return std::make_pair(0U, &Mips::FGR64RegClass);
4318 return std::make_pair(0U, &Mips::AFGR64RegClass);
4323 return std::make_pair((
unsigned)Mips::T9, &Mips::GPR32RegClass);
4325 return std::make_pair((
unsigned)Mips::T9_64, &Mips::GPR64RegClass);
4327 return std::make_pair(0U,
nullptr);
4330 if (VT == MVT::i32 || VT == MVT::i16 || VT == MVT::i8)
4331 return std::make_pair((
unsigned)Mips::LO0, &Mips::LO32RegClass);
4332 return std::make_pair((
unsigned)Mips::LO0_64, &Mips::LO64RegClass);
4337 return std::make_pair(0U,
nullptr);
4341 if (!Constraint.
empty()) {
4342 std::pair<unsigned, const TargetRegisterClass *>
R;
4343 R = parseRegForInlineAsmConstraint(Constraint, VT);
4354void MipsTargetLowering::LowerAsmOperandForConstraint(
SDValue Op,
4356 std::vector<SDValue> &
Ops,
4362 if (Constraint.
size() > 1)
4365 char ConstraintLetter = Constraint[0];
4366 switch (ConstraintLetter) {
4371 EVT
Type =
Op.getValueType();
4372 int64_t Val =
C->getSExtValue();
4381 EVT
Type =
Op.getValueType();
4382 int64_t Val =
C->getZExtValue();
4391 EVT
Type =
Op.getValueType();
4392 uint64_t Val =
C->getZExtValue();
4401 EVT
Type =
Op.getValueType();
4402 int64_t Val =
C->getSExtValue();
4403 if ((
isInt<32>(Val)) && ((Val & 0xffff) == 0)){
4411 EVT
Type =
Op.getValueType();
4412 int64_t Val =
C->getSExtValue();
4413 if ((Val >= -65535) && (Val <= -1)) {
4421 EVT
Type =
Op.getValueType();
4422 int64_t Val =
C->getSExtValue();
4431 EVT
Type =
Op.getValueType();
4432 int64_t Val =
C->getSExtValue();
4433 if ((Val <= 65535) && (Val >= 1)) {
4442 Ops.push_back(Result);
4449bool MipsTargetLowering::isLegalAddressingMode(
const DataLayout &
DL,
4477EVT MipsTargetLowering::getOptimalMemOpType(
4479 const AttributeList &FuncAttributes)
const {
4486bool MipsTargetLowering::isFPImmLegal(
const APFloat &Imm,
EVT VT,
4487 bool ForCodeSize)
const {
4488 if (VT != MVT::f32 && VT != MVT::f64)
4490 if (
Imm.isNegZero())
4492 return Imm.isZero();
4495bool MipsTargetLowering::isLegalICmpImmediate(int64_t Imm)
const {
4499bool MipsTargetLowering::isLegalAddImmediate(int64_t Imm)
const {
4511SDValue MipsTargetLowering::getPICJumpTableRelocBase(
SDValue Table,
4522void MipsTargetLowering::copyByValRegs(
4526 unsigned FirstReg,
unsigned LastReg,
const CCValAssign &VA,
4530 unsigned GPRSizeInBytes =
Subtarget.getGPRSizeInBytes();
4531 unsigned NumRegs = LastReg - FirstReg;
4532 unsigned RegAreaSize = NumRegs * GPRSizeInBytes;
4533 unsigned FrameObjSize = std::max(
Flags.getByValSize(), RegAreaSize);
4540 (int)((ByValArgRegs.
size() - FirstReg) * GPRSizeInBytes);
4562 for (
unsigned I = 0;
I < NumRegs; ++
I) {
4563 unsigned ArgReg = ByValArgRegs[FirstReg +
I];
4564 unsigned VReg =
addLiveIn(MF, ArgReg, RC);
4565 unsigned Offset =
I * GPRSizeInBytes;
4569 StorePtr, MachinePointerInfo(FuncArg,
Offset));
4570 OutChains.push_back(Store);
4575void MipsTargetLowering::passByValArg(
4577 std::deque<std::pair<unsigned, SDValue>> &RegsToPass,
4582 unsigned ByValSizeInBytes =
Flags.getByValSize();
4583 unsigned OffsetInBytes = 0;
4584 unsigned RegSizeInBytes =
Subtarget.getGPRSizeInBytes();
4586 std::min(
Flags.getNonZeroByValAlign(),
Align(RegSizeInBytes));
4589 unsigned NumRegs = LastReg - FirstReg;
4593 bool LeftoverBytes = (NumRegs * RegSizeInBytes > ByValSizeInBytes);
4597 for (;
I < NumRegs - LeftoverBytes; ++
I, OffsetInBytes += RegSizeInBytes) {
4601 MachinePointerInfo(), Alignment);
4603 unsigned ArgReg = ArgRegs[FirstReg +
I];
4604 RegsToPass.push_back(std::make_pair(ArgReg, LoadVal));
4608 if (ByValSizeInBytes == OffsetInBytes)
4612 if (LeftoverBytes) {
4615 for (
unsigned LoadSizeInBytes = RegSizeInBytes / 2, TotalBytesLoaded = 0;
4616 OffsetInBytes < ByValSizeInBytes; LoadSizeInBytes /= 2) {
4617 unsigned RemainingSizeInBytes = ByValSizeInBytes - OffsetInBytes;
4619 if (RemainingSizeInBytes < LoadSizeInBytes)
4635 Shamt = TotalBytesLoaded * 8;
4637 Shamt = (RegSizeInBytes - (TotalBytesLoaded + LoadSizeInBytes)) * 8;
4647 OffsetInBytes += LoadSizeInBytes;
4648 TotalBytesLoaded += LoadSizeInBytes;
4649 Alignment = std::min(Alignment,
Align(LoadSizeInBytes));
4652 unsigned ArgReg = ArgRegs[FirstReg +
I];
4653 RegsToPass.push_back(std::make_pair(ArgReg, Val));
4659 unsigned MemCpySize = ByValSizeInBytes - OffsetInBytes;
4665 Chain,
DL, Dst, Src, DAG.
getConstant(MemCpySize,
DL, PtrTy), Alignment,
4666 Alignment,
false,
false,
4667 nullptr, std::nullopt, MachinePointerInfo(), MachinePointerInfo());
4671void MipsTargetLowering::writeVarArgRegs(std::vector<SDValue> &OutChains,
4677 unsigned RegSizeInBytes =
Subtarget.getGPRSizeInBytes();
4682 MipsFunctionInfo *MipsFI = MF.
getInfo<MipsFunctionInfo>();
4687 if (ArgRegs.
size() == Idx)
4692 (int)(RegSizeInBytes * (ArgRegs.
size() - Idx));
4704 for (
unsigned I = Idx;
I < ArgRegs.
size();
4705 ++
I, VaArgOffset += RegSizeInBytes) {
4711 DAG.
getStore(Chain,
DL, ArgValue, PtrOff, MachinePointerInfo());
4714 OutChains.push_back(Store);
4719 Align Alignment)
const {
4722 assert(
Size &&
"Byval argument's size shouldn't be 0.");
4726 unsigned FirstReg = 0;
4727 unsigned NumRegs = 0;
4730 unsigned RegSizeInBytes =
Subtarget.getGPRSizeInBytes();
4739 Alignment >=
Align(RegSizeInBytes) &&
4740 "Byval argument's alignment should be a multiple of RegSizeInBytes.");
4742 FirstReg = State->getFirstUnallocated(IntArgRegs);
4748 if ((Alignment > RegSizeInBytes) && (FirstReg % 2)) {
4749 State->AllocateReg(IntArgRegs[FirstReg], ShadowRegs[FirstReg]);
4755 for (
unsigned I = FirstReg;
Size > 0 && (
I < IntArgRegs.
size());
4756 Size -= RegSizeInBytes, ++
I, ++NumRegs)
4757 State->AllocateReg(IntArgRegs[
I], ShadowRegs[
I]);
4760 State->addInRegsParamInfo(FirstReg, FirstReg + NumRegs);
4766 unsigned Opc)
const {
4768 "Subtarget already supports SELECT nodes with the use of"
4769 "conditional-move instructions.");
4792 F->insert(It, copy0MBB);
4793 F->insert(It, sinkMBB);
4836 MI.eraseFromParent();
4845 "Subtarget already supports SELECT nodes with the use of"
4846 "conditional-move instructions.");
4865 MachineBasicBlock *thisMBB = BB;
4867 MachineBasicBlock *copy0MBB =
F->CreateMachineBasicBlock(LLVM_BB);
4868 MachineBasicBlock *sinkMBB =
F->CreateMachineBasicBlock(LLVM_BB);
4870 F->insert(It, sinkMBB);
4912 MI.eraseFromParent();
4918int MipsTargetLowering::getCPURegisterIndex(
StringRef Name)
const {
4921 CC = StringSwitch<unsigned>(Name)
4958 if (!(
ABI.IsN32() ||
ABI.IsN64()))
4964 if (8 <= CC && CC <= 11)
4968 CC = StringSwitch<unsigned>(Name)
4986 std::string newRegName =
RegName;
4991 std::smatch matchResult;
4993 static const std::regex matchStr(
"^[0-9]*$");
4994 if (std::regex_match(newRegName, matchResult, matchStr))
4995 regIdx = std::stoi(newRegName);
4998 regIdx = getCPURegisterIndex(
StringRef(newRegName));
5002 if (regIdx >= 0 && regIdx < 32) {
5024 unsigned Imm =
MI.getOperand(2).getImm();
5046 .
addImm(Imm + (IsLittle ? 0 : 3))
5051 .
addImm(Imm + (IsLittle ? 3 : 0))
5056 MI.eraseFromParent();
5065 const bool IsLittle =
Subtarget.isLittle();
5070 unsigned Imm =
MI.getOperand(2).getImm();
5090 .
addImm(Imm + (IsLittle ? 0 : 4));
5094 .
addImm(Imm + (IsLittle ? 4 : 0));
5115 .
addImm(Imm + (IsLittle ? 0 : 7))
5120 .
addImm(Imm + (IsLittle ? 3 : 4))
5126 .
addImm(Imm + (IsLittle ? 4 : 3))
5131 .
addImm(Imm + (IsLittle ? 7 : 0))
5140 MI.eraseFromParent();
5149 const bool IsLittle =
Subtarget.isLittle();
5152 Register StoreVal =
MI.getOperand(0).getReg();
5154 unsigned Imm =
MI.getOperand(2).getImm();
5182 .
addImm(Imm + (IsLittle ? 0 : 3));
5186 .
addImm(Imm + (IsLittle ? 3 : 0));
5189 MI.eraseFromParent();
5199 const bool IsLittle =
Subtarget.isLittle();
5202 Register StoreVal =
MI.getOperand(0).getReg();
5204 unsigned Imm =
MI.getOperand(2).getImm();
5242 .
addImm(Imm + (IsLittle ? 0 : 4));
5246 .
addImm(Imm + (IsLittle ? 4 : 0));
5266 .
addImm(Imm + (IsLittle ? 0 : 3));
5270 .
addImm(Imm + (IsLittle ? 3 : 0));
5274 .
addImm(Imm + (IsLittle ? 4 : 7));
5278 .
addImm(Imm + (IsLittle ? 7 : 4));
5281 MI.eraseFromParent();
static SDValue performSHLCombine(SDNode *N, TargetLowering::DAGCombinerInfo &DCI, SelectionDAG &DAG)
If the operand is a bitwise AND with a constant RHS, and the shift has a constant RHS and is the only...
static SDValue performORCombine(SDNode *N, TargetLowering::DAGCombinerInfo &DCI)
static SDValue performANDCombine(SDNode *N, TargetLowering::DAGCombinerInfo &DCI)
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file declares a class to represent arbitrary precision floating point values and provide a varie...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Function Alias Analysis Results
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This file contains the declarations for the subclasses of Constant, which represent the different fla...
const HexagonInstrInfo * TII
Module.h This file contains the declarations for the Module class.
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
static SDValue performADDCombine(SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI, const LoongArchSubtarget &Subtarget)
static SDValue performSUBCombine(SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI, const LoongArchSubtarget &Subtarget)
static MachineBasicBlock * insertDivByZeroTrap(MachineInstr &MI, MachineBasicBlock *MBB)
Register const TargetRegisterInfo * TRI
Promote Memory to Register
cl::opt< bool > EmitJalrReloc
cl::opt< bool > NoZeroDivCheck
static bool CC_Mips(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State)
static bool CC_MipsO32_FP64(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State)
static bool CC_MipsO32_FP32(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State)
static SDValue performMADD_MSUBCombine(SDNode *ROOTNode, SelectionDAG &CurDAG, const MipsSubtarget &Subtarget)
static bool invertFPCondCodeUser(Mips::CondCode CC)
This function returns true if the floating point conditional branches and conditional moves which use...
static bool CC_MipsO32(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State, ArrayRef< MCPhysReg > F64Regs)
static SDValue lowerFP_TO_SINT_STORE(StoreSDNode *SD, SelectionDAG &DAG, bool SingleFloat)
static SDValue performDivRemCombine(SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI, const MipsSubtarget &Subtarget)
static const MCPhysReg Mips64DPRegs[8]
static SDValue lowerUnalignedIntStore(StoreSDNode *SD, SelectionDAG &DAG, bool IsLittle)
static SDValue createStoreLR(unsigned Opc, SelectionDAG &DAG, StoreSDNode *SD, SDValue Chain, unsigned Offset)
static unsigned addLiveIn(MachineFunction &MF, unsigned PReg, const TargetRegisterClass *RC)
static std::pair< bool, bool > parsePhysicalReg(StringRef C, StringRef &Prefix, unsigned long long &Reg)
This is a helper function to parse a physical register string and split it into non-numeric and numer...
static SDValue createLoadLR(unsigned Opc, SelectionDAG &DAG, LoadSDNode *LD, SDValue Chain, SDValue Src, unsigned Offset)
static SDValue lowerFCOPYSIGN64(SDValue Op, SelectionDAG &DAG, bool HasExtractInsert)
static SDValue createFPCmp(SelectionDAG &DAG, const SDValue &Op)
static SDValue lowerFCOPYSIGN32(SDValue Op, SelectionDAG &DAG, bool HasExtractInsert)
static SDValue performSELECTCombine(SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI, const MipsSubtarget &Subtarget)
static SDValue performSignExtendCombine(SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI, const MipsSubtarget &Subtarget)
static SDValue performCMovFPCombine(SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI, const MipsSubtarget &Subtarget)
static SDValue UnpackFromArgumentSlot(SDValue Val, const CCValAssign &VA, EVT ArgVT, const SDLoc &DL, SelectionDAG &DAG)
static Mips::CondCode condCodeToFCC(ISD::CondCode CC)
static SDValue createCMovFP(SelectionDAG &DAG, SDValue Cond, SDValue True, SDValue False, const SDLoc &DL)
static cl::opt< bool > UseMipsTailCalls("mips-tail-calls", cl::Hidden, cl::desc("MIPS: permit tail calls."), cl::init(false))
uint64_t IntrinsicInst * II
const SmallVectorImpl< MachineOperand > & Cond
SI optimize exec mask operations pre RA
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
This file defines the SmallVector class.
static const MCPhysReg IntRegs[32]
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
This file implements the StringSwitch template, which mimics a switch() statement whose cases are str...
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static const MCPhysReg F32Regs[64]
This class represents an incoming formal argument to a Function.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
LLVM Basic Block Representation.
static BranchProbability getOne()
CCState - This class holds information needed while lowering arguments and return values.
unsigned getFirstUnallocated(ArrayRef< MCPhysReg > Regs) const
getFirstUnallocated - Return the index of the first unallocated register in the set,...
CallingConv::ID getCallingConv() const
uint64_t getStackSize() const
Returns the size of the currently allocated portion of the stack.
CCValAssign - Represent assignment of one arg/retval to a location.
Register getLocReg() const
LocInfo getLocInfo() const
static CCValAssign getReg(unsigned ValNo, MVT ValVT, MCRegister Reg, MVT LocVT, LocInfo HTP, bool IsCustom=false)
static CCValAssign getCustomReg(unsigned ValNo, MVT ValVT, MCRegister Reg, MVT LocVT, LocInfo HTP)
bool isUpperBitsInLoc() const
static CCValAssign getMem(unsigned ValNo, MVT ValVT, int64_t Offset, MVT LocVT, LocInfo HTP, bool IsCustom=false)
int64_t getLocMemOffset() const
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
LLVM_ABI bool isMustTailCall() const
Tests if this call site must be tail call optimized.
uint64_t getZExtValue() const
int64_t getSExtValue() const
A parsed version of the target data layout string in and methods for querying it.
LLVM_ABI TypeSize getTypeAllocSize(Type *Ty) const
Returns the offset in bytes between successive objects of the specified type, including alignment pad...
const char * getSymbol() const
This is a fast-path instruction selection class that generates poor code and doesn't support illegal ...
FunctionLoweringInfo - This contains information that is global to a function that is used when lower...
bool hasStructRetAttr() const
Determine if the function returns a structure through first or second pointer argument.
const Argument * const_arg_iterator
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
const GlobalValue * getGlobal() const
bool hasLocalLinkage() const
bool hasPrivateLinkage() const
bool hasHiddenVisibility() const
bool hasDLLImportStorageClass() const
bool isDeclarationForLinker() const
LLVM_ABI const GlobalObject * getAliaseeObject() const
bool hasInternalLinkage() const
bool hasProtectedVisibility() const
This is an important class for using LLVM in a threaded context.
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...
Tracks which library functions to use for a particular subtarget.
This class is used to represent ISD::LOAD nodes.
const MCRegisterInfo * getRegisterInfo() const
LLVM_ABI MCSymbol * getOrCreateSymbol(const Twine &Name)
Lookup the symbol inside with the specified Name.
MCRegisterClass - Base class of TargetRegisterClass.
MCRegister getRegister(unsigned i) const
getRegister - Return the specified register in the class.
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
const MCRegisterClass & getRegClass(unsigned i) const
Returns the register class associated with the enumeration value.
Wrapper class representing physical registers. Should be passed by value.
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
static auto integer_valuetypes()
TypeSize getSizeInBits() const
Returns the size of the specified MVT in bits.
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
static MVT getVectorVT(MVT VT, unsigned NumElements)
bool isFloatingPoint() const
Return true if this is a FP or a vector FP type.
bool isValid() const
Return true if this is a valid simple valuetype.
static MVT getIntegerVT(unsigned BitWidth)
static auto fp_valuetypes()
static auto fp_fixedlen_vector_valuetypes()
LLVM_ABI void transferSuccessorsAndUpdatePHIs(MachineBasicBlock *FromMBB)
Transfers all the successors, as in transferSuccessors, and update PHI operands in the successor bloc...
LLVM_ABI instr_iterator insert(instr_iterator I, MachineInstr *M)
Insert MI into the instruction list before I, possibly inside a bundle.
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
LLVM_ABI void addSuccessor(MachineBasicBlock *Succ, BranchProbability Prob=BranchProbability::getUnknown())
Add Succ as a successor of this MachineBasicBlock.
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
void splice(iterator Where, MachineBasicBlock *Other, iterator From)
Take an instruction from MBB 'Other' at the position From, and insert it into this MBB right before '...
MachineInstrBundleIterator< MachineInstr > iterator
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
LLVM_ABI int CreateFixedObject(uint64_t Size, int64_t SPOffset, bool IsImmutable, bool isAliased=false)
Create a new object at a fixed location on the stack.
void setFrameAddressIsTaken(bool T)
void setHasTailCall(bool V=true)
void setReturnAddressIsTaken(bool s)
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MCContext & getContext() const
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
Function & getFunction()
Return the LLVM function that this machine code represents.
BasicBlockListType::iterator iterator
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
Register addLiveIn(MCRegister PReg, const TargetRegisterClass *RC)
addLiveIn - Add the specified physical register as a live-in value and create a corresponding virtual...
MachineBasicBlock * CreateMachineBasicBlock(const BasicBlock *BB=nullptr, std::optional< UniqueBBID > BBID=std::nullopt)
CreateMachineInstr - Allocate a new MachineInstr.
void insert(iterator MBBI, MachineBasicBlock *MBB)
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
const MachineInstrBuilder & addUse(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a virtual register use operand.
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
const MachineInstrBuilder & addDef(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a virtual register definition operand.
Representation of each machine instruction.
const MachineOperand & getOperand(unsigned i) const
@ EK_GPRel32BlockAddress
EK_GPRel32BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
@ EK_BlockAddress
EK_BlockAddress - Each entry is a plain address of block, e.g.: .word LBB123.
@ EK_GPRel64BlockAddress
EK_GPRel64BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
@ MOVolatile
The memory access is volatile.
Flags getFlags() const
Return the raw flags of the source value,.
MachineOperand class - Representation of each machine instruction operand.
void setSubReg(unsigned subReg)
static MachineOperand CreateMCSymbol(MCSymbol *Sym, unsigned TargetFlags=0)
void setIsKill(bool Val=true)
Register getReg() const
getReg - Returns the register number.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
const TargetRegisterClass * getRegClass(Register Reg) const
Return the register class of the specified virtual register.
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
void addLiveIn(MCRegister Reg, Register vreg=Register())
addLiveIn - Add the specified register as a live-in.
MachineMemOperand * getMemOperand() const
Return the unique MachineMemOperand object describing the memory reference performed by operation.
const MachinePointerInfo & getPointerInfo() const
const SDValue & getChain() const
EVT getMemoryVT() const
Return the type of the in-memory value.
static SpecialCallingConvType getSpecialCallingConvForCallee(const SDNode *Callee, const MipsSubtarget &Subtarget)
Determine the SpecialCallingConvType for the given callee.
MipsFunctionInfo - This class is derived from MachineFunction private Mips target-specific informatio...
void setVarArgsFrameIndex(int Index)
unsigned getSRetReturnReg() const
int getVarArgsFrameIndex() const
MachinePointerInfo callPtrInfo(MachineFunction &MF, const char *ES)
Create a MachinePointerInfo that has an ExternalSymbolPseudoSourceValue object representing a GOT ent...
Register getGlobalBaseReg(MachineFunction &MF)
void setSRetReturnReg(unsigned Reg)
void setFormalArgInfo(unsigned Size, bool HasByval)
static const uint32_t * getMips16RetHelperMask()
const MipsInstrInfo * getInstrInfo() const override
bool inMips16Mode() const
const MipsRegisterInfo * getRegisterInfo() const override
bool hasExtractInsert() const
Features related to the presence of specific instructions.
bool isSingleFloat() const
const TargetFrameLowering * getFrameLowering() const override
MVT getRegisterTypeForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const override
Return the register type for a given MVT, ensuring vectors are treated as a series of gpr sized integ...
bool hasBitTest(SDValue X, SDValue Y) const override
Return true if the target has a bit-test instruction: (X & (1 << Y)) ==/!= 0 This knowledge can be us...
static const MipsTargetLowering * create(const MipsTargetMachine &TM, const MipsSubtarget &STI)
SDValue getAddrGPRel(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, bool IsN64) const
unsigned getVectorTypeBreakdownForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT, EVT &IntermediateVT, unsigned &NumIntermediates, MVT &RegisterVT) const override
Break down vectors to the correct number of gpr sized integers.
Register getRegisterByName(const char *RegName, LLT VT, const MachineFunction &MF) const override
Return the register ID of the name passed in.
SDValue getAddrNonPICSym64(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG) const
EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, EVT VT) const override
getSetCCResultType - get the ISD::SETCC result ValueType
SDValue getAddrGlobal(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, unsigned Flag, SDValue Chain, const MachinePointerInfo &PtrInfo) const
MipsTargetLowering(const MipsTargetMachine &TM, const MipsSubtarget &STI)
SDValue getAddrGlobalLargeGOT(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, unsigned HiFlag, unsigned LoFlag, SDValue Chain, const MachinePointerInfo &PtrInfo) const
SDValue getDllimportVariable(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, SDValue Chain, const MachinePointerInfo &PtrInfo) const
bool shouldFoldConstantShiftPairToMask(const SDNode *N) const override
Return true if it is profitable to fold a pair of shifts into a mask.
SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override
This method will be invoked for all target nodes and for any target-independent nodes that the target...
CCAssignFn * CCAssignFnForReturn() const
void ReplaceNodeResults(SDNode *N, SmallVectorImpl< SDValue > &Results, SelectionDAG &DAG) const override
ReplaceNodeResults - Replace the results of node with an illegal result type with new values built ou...
MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr &MI, MachineBasicBlock *MBB) const override
This method should be implemented by targets that mark instructions with the 'usesCustomInserter' fla...
SDValue getDllimportSymbol(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG) const
CCAssignFn * CCAssignFnForCall() const
unsigned getNumRegistersForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const override
Return the number of registers for a given MVT, ensuring vectors are treated as a series of gpr sized...
SDValue getAddrNonPIC(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG) const
SDValue lowerSTORE(SDValue Op, SelectionDAG &DAG) const
FastISel * createFastISel(FunctionLoweringInfo &funcInfo, const TargetLibraryInfo *libInfo, const LibcallLoweringInfo *libcallLowering) const override
createFastISel - This method returns a target specific FastISel object, or null if the target does no...
void AdjustInstrPostInstrSelection(MachineInstr &MI, SDNode *Node) const override
This method should be implemented by targets that mark instructions with the 'hasPostISelHook' flag.
virtual void getOpndList(SmallVectorImpl< SDValue > &Ops, std::deque< std::pair< unsigned, SDValue > > &RegsToPass, bool IsPICCall, bool GlobalOrExternal, bool InternalLinkage, bool IsCallReloc, CallLoweringInfo &CLI, SDValue Callee, SDValue Chain) const
This function fills Ops, which is the list of operands that will later be used when a function call n...
EVT getTypeForExtReturn(LLVMContext &Context, EVT VT, ISD::NodeType) const override
Return the type that should be used to zero or sign extend a zeroext/signext integer return value.
bool isCheapToSpeculateCtlz(Type *Ty) const override
Return true if it is cheap to speculate a call to intrinsic ctlz.
SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override
LowerOperation - Provide custom lowering hooks for some operations.
bool isCheapToSpeculateCttz(Type *Ty) const override
Return true if it is cheap to speculate a call to intrinsic cttz.
SDValue getAddrLocal(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, bool IsN32OrN64) const
SDValue getGlobalReg(SelectionDAG &DAG, EVT Ty) const
const MipsSubtarget & Subtarget
void HandleByVal(CCState *, unsigned &, Align) const override
Target-specific cleanup for formal ByVal parameters.
SDValue lowerLOAD(SDValue Op, SelectionDAG &DAG) const
bool IsConstantInSmallSection(const DataLayout &DL, const Constant *CN, const TargetMachine &TM) const
Return true if this constant should be placed into small data section.
Wrapper class representing virtual and physical registers.
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Represents one node in the SelectionDAG.
unsigned getOpcode() const
Return the SelectionDAG opcode value for this node.
uint64_t getAsZExtVal() const
Helper method returns the zero-extended integer value of a ConstantSDNode.
const SDValue & getOperand(unsigned Num) const
EVT getValueType(unsigned ResNo) const
Return the type of a specified result.
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
bool hasOneUse() const
Return true if there is exactly one node using value ResNo of Node.
SDValue getValue(unsigned R) const
EVT getValueType() const
Return the ValueType of the referenced return value.
TypeSize getValueSizeInBits() const
Returns the size of the value in bits.
const SDValue & getOperand(unsigned i) const
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 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())
SDValue getTargetGlobalAddress(const GlobalValue *GV, const SDLoc &DL, EVT VT, int64_t offset=0, unsigned TargetFlags=0)
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 MachineSDNode * getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT)
These are used for target selectors to create a new node with specified return type(s),...
LLVM_ABI SDValue getRegister(Register Reg, EVT VT)
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 getGLOBAL_OFFSET_TABLE(EVT VT)
Return a GLOBAL_OFFSET_TABLE node. This does not have a useful SDLoc.
LLVM_ABI SDValue getMemIntrinsicNode(unsigned Opcode, const SDLoc &dl, SDVTList VTList, ArrayRef< SDValue > Ops, EVT MemVT, MachinePointerInfo PtrInfo, Align Alignment, MachineMemOperand::Flags Flags=MachineMemOperand::MOLoad|MachineMemOperand::MOStore, LocationSize Size=LocationSize::precise(0), const AAMDNodes &AAInfo=AAMDNodes())
Creates a MemIntrinsicNode that may produce a result and takes a list of 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 getMemcpy(SDValue Chain, const SDLoc &dl, SDValue Dst, SDValue Src, SDValue Size, Align DstAlign, Align SrcAlign, bool isVol, bool AlwaysInline, const CallInst *CI, std::optional< bool > OverrideTailCall, MachinePointerInfo DstPtrInfo, MachinePointerInfo SrcPtrInfo, const AAMDNodes &AAInfo=AAMDNodes(), BatchAAResults *BatchAA=nullptr)
SDValue getTargetJumpTable(int JTI, EVT VT, unsigned TargetFlags=0)
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 getCopyFromReg(SDValue Chain, const SDLoc &dl, Register Reg, EVT VT)
const DataLayout & getDataLayout() const
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.
SDValue getSignedTargetConstant(int64_t Val, const SDLoc &DL, EVT VT, bool isOpaque=false)
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 ...
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 getExternalSymbol(const char *Sym, EVT VT)
const TargetMachine & getTarget() 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 bool isKnownNeverNaN(SDValue Op, const APInt &DemandedElts, bool SNaN=false, unsigned Depth=0) const
Test whether the given SDValue (or all elements of it, if it is a vector) is known to never be NaN in...
SDValue getTargetConstant(uint64_t Val, const SDLoc &DL, EVT VT, bool isOpaque=false)
SDValue getTargetBlockAddress(const BlockAddress *BA, EVT VT, int64_t Offset=0, unsigned TargetFlags=0)
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
LLVM_ABI SDValue getFrameIndex(int FI, EVT VT, bool isTarget=false)
LLVM_ABI SDValue getRegisterMask(const uint32_t *RegMask)
void addCallSiteInfo(const SDNode *Node, CallSiteInfo &&CallInfo)
Set CallSiteInfo to be associated with Node.
LLVMContext * getContext() const
LLVM_ABI SDValue getTargetExternalSymbol(const char *Sym, EVT VT, unsigned TargetFlags=0)
SDValue getTargetConstantPool(const Constant *C, EVT VT, MaybeAlign Align=std::nullopt, int Offset=0, unsigned TargetFlags=0)
SDValue getEntryNode() const
Return the token chain corresponding to the entry of the function.
LLVM_ABI std::pair< SDValue, SDValue > SplitScalar(const SDValue &N, const SDLoc &DL, const EVT &LoVT, const EVT &HiVT)
Split the scalar node with EXTRACT_ELEMENT using the provided VTs and return the low/high part.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
This class is used to represent ISD::STORE nodes.
const SDValue & getBasePtr() const
const SDValue & getValue() const
bool isTruncatingStore() const
Return true if the op does a truncation before store.
Represent a constant reference to a string, i.e.
constexpr StringRef substr(size_t Start, size_t N=npos) const
Return a reference to the substring from [Start, Start + N).
constexpr bool empty() const
Check if the string is empty.
const char * const_iterator
constexpr size_t size() const
Get the string size.
LLVM_ABI std::string lower() const
A switch()-like statement whose cases are string literals.
StringSwitch & Case(StringLiteral S, T Value)
Information about stack frame layout on the target.
unsigned getStackAlignment() const
getStackAlignment - This method returns the number of bytes to which the stack pointer must be aligne...
Align getStackAlign() const
getStackAlignment - This method returns the number of bytes to which the stack pointer must be aligne...
TargetInstrInfo - Interface to description of machine instruction set.
Provides information about what library functions are available for the current target.
void setBooleanVectorContents(BooleanContent Ty)
Specify how the target extends the result of a vector boolean value from a vector of i1 to a wider ty...
void setOperationAction(unsigned Op, MVT VT, LegalizeAction Action)
Indicate that the specified operation does not work with the specified type and indicate what to do a...
virtual const TargetRegisterClass * getRegClassFor(MVT VT, bool isDivergent=false) const
Return the register class that should be used for the specified value type.
void setMinStackArgumentAlignment(Align Alignment)
Set the minimum stack alignment of an argument.
const TargetMachine & getTargetMachine() const
virtual unsigned getNumRegisters(LLVMContext &Context, EVT VT, std::optional< MVT > RegisterVT=std::nullopt) const
Return the number of registers that this ValueType will eventually require.
void setMaxAtomicSizeInBitsSupported(unsigned SizeInBits)
Set the maximum atomic operation size supported by the backend.
void setMinFunctionAlignment(Align Alignment)
Set the target's minimum function alignment.
void setBooleanContents(BooleanContent Ty)
Specify how the target extends the result of integer and floating point boolean values from i1 to a w...
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...
void setTruncStoreAction(MVT ValVT, MVT MemVT, LegalizeAction Action)
Indicate that the specified truncating store does not work with the specified type and indicate what ...
@ ZeroOrOneBooleanContent
@ ZeroOrNegativeOneBooleanContent
void setStackPointerRegisterToSaveRestore(Register R)
If set to a physical register, this specifies the register that llvm.savestack/llvm....
void AddPromotedToType(unsigned Opc, MVT OrigVT, MVT DestVT)
If Opc/OrigVT is specified as being promoted, the promotion code defaults to trying a larger integer/...
void setTargetDAGCombine(ArrayRef< ISD::NodeType > NTs)
Targets should invoke this method for each target independent node that they want to provide a custom...
virtual bool useSoftFloat() const
Align getMinStackArgumentAlignment() const
Return the minimum stack alignment of an argument.
void setLoadExtAction(unsigned ExtType, MVT ValVT, MVT MemVT, LegalizeAction Action)
Indicate that the specified load with extension does not work with the specified type and indicate wh...
std::vector< ArgListEntry > ArgListTy
unsigned MaxStoresPerMemcpy
Specify maximum number of store instructions per memcpy call.
MVT getRegisterType(MVT VT) const
Return the type of registers that this ValueType will eventually require.
virtual ConstraintType getConstraintType(StringRef Constraint) const
Given a constraint, return the type of constraint it is for this target.
virtual SDValue LowerToTLSEmulatedModel(const GlobalAddressSDNode *GA, SelectionDAG &DAG) const
Lower TLS global address SDNode for target independent emulated TLS model.
std::pair< SDValue, SDValue > LowerCallTo(CallLoweringInfo &CLI) const
This function lowers an abstract call to a function into an actual call.
bool isPositionIndependent() const
virtual ConstraintWeight getSingleConstraintMatchWeight(AsmOperandInfo &info, const char *constraint) const
Examine constraint string and operand type and determine a weight value.
virtual std::pair< unsigned, const TargetRegisterClass * > getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, StringRef Constraint, MVT VT) const
Given a physical register constraint (e.g.
TargetLowering(const TargetLowering &)=delete
virtual ArrayRef< MCPhysReg > getRoundingControlRegisters() const
Returns a 0 terminated array of rounding control registers that can be attached into strict FP call.
virtual void LowerAsmOperandForConstraint(SDValue Op, StringRef Constraint, std::vector< SDValue > &Ops, SelectionDAG &DAG) const
Lower the specified operand into the Ops vector.
virtual unsigned getJumpTableEncoding() const
Return the entry encoding for a jump table in the current function.
virtual void LowerOperationWrapper(SDNode *N, SmallVectorImpl< SDValue > &Results, SelectionDAG &DAG) const
This callback is invoked by the type legalizer to legalize nodes with an illegal operand type but leg...
void setTypeIdForCallsiteInfo(const CallBase *CB, MachineFunction &MF, MachineFunction::CallSiteInfo &CSInfo) const
TLSModel::Model getTLSModel(const GlobalValue *GV) const
Returns the TLS model which should be used for the given global variable.
bool useEmulatedTLS() const
Returns true if this target uses emulated TLS.
virtual TargetLoweringObjectFile * getObjFileLowering() const
unsigned EnableFastISel
EnableFastISel - This flag enables fast-path instruction selection which trades away generated code q...
iterator begin() const
begin/end - Return all of the registers in this class.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVectorTy() const
True if this is an instance of VectorType.
bool isFloatTy() const
Return true if this is 'float', a 32-bit IEEE fp type.
LLVM_ABI TypeSize getPrimitiveSizeInBits() const LLVM_READONLY
Return the basic size of this type if it is a primitive type.
bool isIntegerTy() const
True if this is an instance of IntegerType.
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
constexpr ScalarTy getFixedValue() const
self_iterator getIterator()
#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.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ Fast
Attempts to make calls as fast as possible (e.g.
@ C
The default llvm calling convention, compatible with C.
NodeType
ISD::NodeType enum - This enum defines the target-independent operators for a SelectionDAG.
@ SETCC
SetCC operator - This evaluates to a true value iff the condition is true.
@ 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.
@ BSWAP
Byte Swap and Counting operators.
@ 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.
@ 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...
@ ANY_EXTEND
ANY_EXTEND - Used for integer types. The high bits are undefined.
@ FMA
FMA - Perform a * b + c with no intermediate rounding step.
@ FADD
Simple binary floating point operators.
@ MEMBARRIER
MEMBARRIER - Compiler barrier only; generate a no-op.
@ ATOMIC_FENCE
OUTCHAIN = ATOMIC_FENCE(INCHAIN, ordering, scope) This corresponds to the fence instruction.
@ 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.
@ EH_RETURN
OUTCHAIN = EH_RETURN(INCHAIN, OFFSET, HANDLER) - This node represents 'eh_return' gcc dwarf builtin,...
@ SIGN_EXTEND
Conversion operators.
@ FSINCOS
FSINCOS - Compute both fsin and fcos as a single operation.
@ BR_CC
BR_CC - Conditional branch.
@ BR_JT
BR_JT - Jumptable branch.
@ 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.
@ SELECT
Select(COND, TRUEVAL, FALSEVAL).
@ ATOMIC_LOAD
Val, OUTCHAIN = ATOMIC_LOAD(INCHAIN, ptr) This corresponds to "load atomic" instruction.
@ VACOPY
VACOPY - VACOPY has 5 operands: an input chain, a destination pointer, a source pointer,...
@ BasicBlock
Various leaf nodes.
@ SHL
Shift and rotation operations.
@ FMINNUM_IEEE
FMINNUM_IEEE/FMAXNUM_IEEE - Perform floating-point minimumNumber or maximumNumber on two values,...
@ ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
@ SELECT_CC
Select with condition operator - This selects between a true value and a false value (ops #2 and #3) ...
@ FMINNUM
FMINNUM/FMAXNUM - Perform floating-point minimum maximum on two values, following IEEE-754 definition...
@ DYNAMIC_STACKALLOC
DYNAMIC_STACKALLOC - Allocate some number of bytes on the stack aligned to a specified boundary.
@ SIGN_EXTEND_INREG
SIGN_EXTEND_INREG - This operator atomically performs a SHL/SRA pair to sign extend a small value in ...
@ EH_DWARF_CFA
EH_DWARF_CFA - This node represents the pointer to the DWARF Canonical Frame Address (CFA),...
@ FRAMEADDR
FRAMEADDR, RETURNADDR - These nodes represent llvm.frameaddress and llvm.returnaddress on the DAG.
@ STRICT_FP_TO_SINT
STRICT_FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
@ 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.
@ AND
Bitwise operators - logical and, logical or, logical xor.
@ TRAP
TRAP - Trapping instruction.
@ TokenFactor
TokenFactor - This node takes multiple tokens as input and produces a single token result.
@ 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.
@ CALLSEQ_START
CALLSEQ_START/CALLSEQ_END - These operators mark the beginning and end of a call sequence,...
LLVM_ABI CondCode getSetCCInverse(CondCode Operation, EVT Type)
Return the operation corresponding to !(X op Y), where 'op' is a valid SetCC operation.
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).
@ Bitcast
Perform the operation on a different, but equivalently sized type.
@ MO_TLSGD
On a symbol operand, this indicates that the immediate is the offset to the slot in GOT which stores ...
Flag
These should be considered private to the implementation of the MCInstrDesc class.
FastISel * createFastISel(FunctionLoweringInfo &funcInfo, const TargetLibraryInfo *libInfo, const LibcallLoweringInfo *libcallLowering)
Not(const Pred &P) -> Not< Pred >
@ SingleThread
Synchronized with respect to signal handlers executing in the same thread.
@ System
Synchronized with respect to all concurrently executing threads.
initializer< Ty > init(const Ty &Val)
NodeAddr< NodeBase * > Node
NodeAddr< FuncNode * > Func
This is an optimization pass for GlobalISel generic memory operations.
FunctionAddr VTableAddr Value
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
@ Implicit
Not emitted register (e.g. carry, or temporary result).
@ Kill
The last use of a register.
@ Undef
Value of the register doesn't matter.
@ EarlyClobber
Register definition happens before uses.
@ Define
Register definition.
constexpr RegState getKillRegState(bool B)
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
bool CCAssignFn(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State)
CCAssignFn - This function assigns a location for Val, updating State to reflect the change.
constexpr bool isShiftedMask_64(uint64_t Value)
Return true if the argument contains a non-empty sequence of ones with the remainder zero (64 bit ver...
auto dyn_cast_or_null(const Y &Val)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
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...
constexpr T divideCeil(U Numerator, V Denominator)
Returns the integer ceil(Numerator / Denominator).
const MipsTargetLowering * createMips16TargetLowering(const MipsTargetMachine &TM, const MipsSubtarget &STI)
Create MipsTargetLowering objects.
@ Or
Bitwise or logical OR of integers.
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
const MipsTargetLowering * createMipsSETargetLowering(const MipsTargetMachine &TM, const MipsSubtarget &STI)
LLVM_ABI bool getAsUnsignedInteger(StringRef Str, unsigned Radix, unsigned long long &Result)
Helper functions for StringRef::getAsInteger.
constexpr T maskTrailingOnes(unsigned N)
Create a bitmask with the N right-most bits set to 1, and all other bits set to 0.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
This struct is a compact representation of a valid (non-zero power of two) alignment.
constexpr uint64_t value() const
This is a hole in the type system and should not be abused.
EVT changeVectorElementTypeToInteger() const
Return a vector with the same number of elements as this vector, but with the element type converted ...
bool bitsLT(EVT VT) const
Return true if this has less bits than VT.
TypeSize getSizeInBits() const
Return the size of the specified value type in bits.
bool isPow2VectorType() const
Returns true if the given vector is a power of 2.
MVT getSimpleVT() const
Return the SimpleValueType held in the specified simple EVT.
static EVT getFloatingPointVT(unsigned BitWidth)
Returns the EVT that represents a floating-point type with the given number of bits.
bool isVector() const
Return true if this is a vector value type.
LLVM_ABI Type * getTypeForEVT(LLVMContext &Context) const
This method returns an LLVM type corresponding to the specified EVT.
bool isRound() const
Return true if the size is a power-of-two number of bytes.
EVT getVectorElementType() const
Given a vector type, return the type of each element.
unsigned getVectorNumElements() const
Given a vector type, return the number of elements it contains.
bool isInteger() const
Return true if this is an integer or a vector integer type.
Align getNonZeroOrigAlign() const
SmallVector< ArgRegPair, 1 > ArgRegPairs
Vector of call argument and its forwarding register.
This class contains a discriminated union of information about pointers in memory operands,...
static LLVM_ABI MachinePointerInfo getGOT(MachineFunction &MF)
Return a MachinePointerInfo record that refers to a GOT entry.
static LLVM_ABI MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
This represents a list of ValueType's that has been intern'd by a SelectionDAG.
This structure contains all information that is necessary for lowering calls.
SmallVector< ISD::InputArg, 32 > Ins
SmallVector< ISD::OutputArg, 32 > Outs
SmallVector< SDValue, 32 > OutVals
bool isBeforeLegalizeOps() const