257#define DEBUG_TYPE "frame-info"
260 cl::desc(
"enable use of redzone on AArch64"),
264 "stack-tagging-merge-settag",
274 cl::desc(
"Emit homogeneous prologue and epilogue for the size "
275 "optimization (default = off)"));
287 "aarch64-disable-multivector-spill-fill",
291STATISTIC(NumRedZoneFunctions,
"Number of functions using red zone");
307 int64_t ArgumentPopSize = 0;
308 if (IsTailCallReturn) {
314 ArgumentPopSize = StackAdjust.
getImm();
323 return ArgumentPopSize;
334bool AArch64FrameLowering::homogeneousPrologEpilog(
359 if (AFI->hasSwiftAsyncContext() || AFI->hasStreamingModeChanges())
366 unsigned NumGPRs = 0;
367 for (
unsigned I = 0; CSRegs[
I]; ++
I) {
369 if (Reg == AArch64::LR) {
370 assert(CSRegs[
I + 1] == AArch64::FP);
371 if (NumGPRs % 2 != 0)
375 if (AArch64::GPR64RegClass.
contains(Reg))
383bool AArch64FrameLowering::producePairRegisters(
MachineFunction &MF)
const {
402 if (
MI.isDebugInstr() ||
MI.isPseudo() ||
403 MI.getOpcode() == AArch64::ADDXri ||
404 MI.getOpcode() == AArch64::ADDSXri)
431 if (!IsWin64 || IsFunclet) {
436 Attribute::SwiftAsync))
441 const unsigned UnwindHelpObject = (MF.
hasEHFunclets() ? 8 : 0);
443 alignTo(VarArgsArea + UnwindHelpObject, 16);
460 const unsigned RedZoneSize =
473 bool LowerQRegCopyThroughMem = Subtarget.hasFPARMv8() &&
477 return !(MFI.
hasCalls() ||
hasFP(MF) || NumBytes > RedZoneSize ||
538 unsigned Opc =
I->getOpcode();
539 bool IsDestroy = Opc ==
TII->getCallFrameDestroyOpcode();
540 uint64_t CalleePopAmount = IsDestroy ?
I->getOperand(1).getImm() : 0;
543 int64_t Amount =
I->getOperand(0).getImm();
551 if (CalleePopAmount == 0) {
562 assert(Amount > -0xffffff && Amount < 0xffffff &&
"call frame too large");
573 "non-reserved call frame without var sized objects?");
582 }
else if (CalleePopAmount != 0) {
585 assert(CalleePopAmount < 0xffffff &&
"call frame too large");
592void AArch64FrameLowering::emitCalleeSavedGPRLocations(
598 bool LocallyStreaming =
599 Attrs.hasStreamingBody() && !Attrs.hasStreamingInterface();
610 for (
const auto &Info : CSI) {
611 unsigned FrameIdx =
Info.getFrameIdx();
615 assert(!
Info.isSpilledToReg() &&
"Spilling to registers not implemented");
616 int64_t DwarfReg =
TRI.getDwarfRegNum(
Info.getReg(),
true);
623 (!LocallyStreaming &&
624 DwarfReg ==
TRI.getDwarfRegNum(AArch64::VG,
true)))
635void AArch64FrameLowering::emitCalleeSavedSVELocations(
651 for (
const auto &Info : CSI) {
657 assert(!
Info.isSpilledToReg() &&
"Spilling to registers not implemented");
692 const MCInstrDesc &CFIDesc =
TII.get(TargetOpcode::CFI_INSTRUCTION);
698 nullptr,
TRI.getDwarfRegNum(AArch64::SP,
true), 0));
702 if (MFI.shouldSignReturnAddress(MF)) {
703 auto CFIInst = MFI.branchProtectionPAuthLR()
711 if (MFI.needsShadowCallStackPrologueEpilogue(MF))
713 TRI.getDwarfRegNum(AArch64::X18,
true));
716 const std::vector<CalleeSavedInfo> &CSI =
718 for (
const auto &
Info : CSI) {
719 unsigned Reg =
Info.getReg();
720 if (!
TRI.regNeedsCFI(Reg, Reg))
723 TRI.getDwarfRegNum(Reg,
true));
742 for (
const auto &
Info : CSI) {
747 unsigned Reg =
Info.getReg();
752 if (!
Info.isRestored())
756 nullptr,
TRI.getDwarfRegNum(
Info.getReg(),
true)));
763void AArch64FrameLowering::emitCalleeSavedGPRRestores(
768void AArch64FrameLowering::emitCalleeSavedSVERestores(
776 static const int64_t MAX_BYTES_PER_SCALABLE_BYTE = 16;
777 return Size.getScalable() * MAX_BYTES_PER_SCALABLE_BYTE +
Size.getFixed();
780void AArch64FrameLowering::allocateStackSpace(
782 int64_t RealignmentPadding,
StackOffset AllocSize,
bool NeedsWinCFI,
783 bool *HasWinCFI,
bool EmitCFI,
StackOffset InitialOffset,
784 bool FollowupAllocs)
const {
797 const uint64_t AndMask = ~(MaxAlign - 1);
800 Register TargetReg = RealignmentPadding
806 EmitCFI, InitialOffset);
808 if (RealignmentPadding) {
829 if (AllocSize.
getScalable() == 0 && RealignmentPadding == 0) {
831 assert(ScratchReg != AArch64::NoRegister);
841 if (FollowupAllocs) {
858 if (
upperBound(AllocSize) + RealignmentPadding <= ProbeSize) {
859 Register ScratchReg = RealignmentPadding
862 assert(ScratchReg != AArch64::NoRegister);
866 EmitCFI, InitialOffset);
867 if (RealignmentPadding) {
875 if (FollowupAllocs ||
upperBound(AllocSize) + RealignmentPadding >
891 assert(TargetReg != AArch64::NoRegister);
895 EmitCFI, InitialOffset);
896 if (RealignmentPadding) {
916 if (RealignmentPadding)
929 case AArch64::W##n: \
930 case AArch64::X##n: \
955 case AArch64::B##n: \
956 case AArch64::H##n: \
957 case AArch64::S##n: \
958 case AArch64::D##n: \
959 case AArch64::Q##n: \
960 return HasSVE ? AArch64::Z##n : AArch64::Q##n
997void AArch64FrameLowering::emitZeroCallUsedRegs(
BitVector RegsToZero,
1005 DL =
MBBI->getDebugLoc();
1015 if (
TRI.isGeneralPurposeRegister(MF, Reg)) {
1018 GPRsToZero.set(XReg);
1022 FPRsToZero.set(XReg);
1038 {AArch64::P0, AArch64::P1, AArch64::P2, AArch64::P3, AArch64::P4,
1039 AArch64::P5, AArch64::P6, AArch64::P7, AArch64::P8, AArch64::P9,
1040 AArch64::P10, AArch64::P11, AArch64::P12, AArch64::P13, AArch64::P14,
1042 if (RegsToZero[PReg])
1054 for (
unsigned i = 0; CSRegs[i]; ++i)
1055 LiveRegs.
addReg(CSRegs[i]);
1089 for (
unsigned Reg : AArch64::GPR64RegClass) {
1093 return AArch64::NoRegister;
1139 StackSizeInBytes >=
uint64_t(MFI.getStackProbeSize());
1145 F.needsUnwindTableEntry();
1148bool AArch64FrameLowering::shouldCombineCSRLocalStackBump(
1154 if (homogeneousPrologEpilog(MF))
1177 if (MFI.hasVarSizedObjects())
1180 if (
RegInfo->hasStackRealignment(MF))
1197bool AArch64FrameLowering::shouldCombineCSRLocalStackBumpInEpilogue(
1199 if (!shouldCombineCSRLocalStackBump(*
MBB.
getParent(), StackBumpBytes))
1208 while (LastI != Begin) {
1210 if (LastI->isTransient())
1215 switch (LastI->getOpcode()) {
1216 case AArch64::STGloop:
1217 case AArch64::STZGloop:
1219 case AArch64::STZGi:
1220 case AArch64::ST2Gi:
1221 case AArch64::STZ2Gi:
1234 unsigned Opc =
MBBI->getOpcode();
1238 unsigned ImmIdx =
MBBI->getNumOperands() - 1;
1239 int Imm =
MBBI->getOperand(ImmIdx).getImm();
1247 case AArch64::LDPDpost:
1250 case AArch64::STPDpre: {
1251 unsigned Reg0 =
RegInfo->getSEHRegNum(
MBBI->getOperand(1).getReg());
1252 unsigned Reg1 =
RegInfo->getSEHRegNum(
MBBI->getOperand(2).getReg());
1253 MIB =
BuildMI(MF,
DL,
TII.get(AArch64::SEH_SaveFRegP_X))
1260 case AArch64::LDPXpost:
1263 case AArch64::STPXpre: {
1266 if (Reg0 == AArch64::FP && Reg1 == AArch64::LR)
1267 MIB =
BuildMI(MF,
DL,
TII.get(AArch64::SEH_SaveFPLR_X))
1271 MIB =
BuildMI(MF,
DL,
TII.get(AArch64::SEH_SaveRegP_X))
1278 case AArch64::LDRDpost:
1281 case AArch64::STRDpre: {
1282 unsigned Reg =
RegInfo->getSEHRegNum(
MBBI->getOperand(1).getReg());
1283 MIB =
BuildMI(MF,
DL,
TII.get(AArch64::SEH_SaveFReg_X))
1289 case AArch64::LDRXpost:
1292 case AArch64::STRXpre: {
1293 unsigned Reg =
RegInfo->getSEHRegNum(
MBBI->getOperand(1).getReg());
1300 case AArch64::STPDi:
1301 case AArch64::LDPDi: {
1302 unsigned Reg0 =
RegInfo->getSEHRegNum(
MBBI->getOperand(0).getReg());
1303 unsigned Reg1 =
RegInfo->getSEHRegNum(
MBBI->getOperand(1).getReg());
1311 case AArch64::STPXi:
1312 case AArch64::LDPXi: {
1315 if (Reg0 == AArch64::FP && Reg1 == AArch64::LR)
1327 case AArch64::STRXui:
1328 case AArch64::LDRXui: {
1329 int Reg =
RegInfo->getSEHRegNum(
MBBI->getOperand(0).getReg());
1336 case AArch64::STRDui:
1337 case AArch64::LDRDui: {
1338 unsigned Reg =
RegInfo->getSEHRegNum(
MBBI->getOperand(0).getReg());
1345 case AArch64::STPQi:
1346 case AArch64::LDPQi: {
1347 unsigned Reg0 =
RegInfo->getSEHRegNum(
MBBI->getOperand(0).getReg());
1348 unsigned Reg1 =
RegInfo->getSEHRegNum(
MBBI->getOperand(1).getReg());
1349 MIB =
BuildMI(MF,
DL,
TII.get(AArch64::SEH_SaveAnyRegQP))
1356 case AArch64::LDPQpost:
1359 case AArch64::STPQpre: {
1360 unsigned Reg0 =
RegInfo->getSEHRegNum(
MBBI->getOperand(1).getReg());
1361 unsigned Reg1 =
RegInfo->getSEHRegNum(
MBBI->getOperand(2).getReg());
1362 MIB =
BuildMI(MF,
DL,
TII.get(AArch64::SEH_SaveAnyRegQPX))
1376 unsigned LocalStackSize) {
1378 unsigned ImmIdx =
MBBI->getNumOperands() - 1;
1379 switch (
MBBI->getOpcode()) {
1382 case AArch64::SEH_SaveFPLR:
1383 case AArch64::SEH_SaveRegP:
1384 case AArch64::SEH_SaveReg:
1385 case AArch64::SEH_SaveFRegP:
1386 case AArch64::SEH_SaveFReg:
1387 case AArch64::SEH_SaveAnyRegQP:
1388 case AArch64::SEH_SaveAnyRegQPX:
1389 ImmOpnd = &
MBBI->getOperand(ImmIdx);
1409 if (ST.isTargetDarwin())
1415 unsigned Opc =
MBBI->getOpcode();
1416 if (Opc == AArch64::CNTD_XPiI || Opc == AArch64::RDSVLI_XI ||
1417 Opc == AArch64::UBFMXri)
1421 if (Opc == AArch64::ORRXrr)
1424 if (Opc == AArch64::BL) {
1425 auto Op1 =
MBBI->getOperand(0);
1426 return Op1.isSymbol() &&
1427 (
StringRef(Op1.getSymbolName()) ==
"__arm_get_current_vg");
1440 bool NeedsWinCFI,
bool *HasWinCFI,
bool EmitCFI,
1442 int CFAOffset = 0) {
1454 switch (
MBBI->getOpcode()) {
1457 case AArch64::STPXi:
1458 NewOpc = AArch64::STPXpre;
1460 case AArch64::STPDi:
1461 NewOpc = AArch64::STPDpre;
1463 case AArch64::STPQi:
1464 NewOpc = AArch64::STPQpre;
1466 case AArch64::STRXui:
1467 NewOpc = AArch64::STRXpre;
1469 case AArch64::STRDui:
1470 NewOpc = AArch64::STRDpre;
1472 case AArch64::STRQui:
1473 NewOpc = AArch64::STRQpre;
1475 case AArch64::LDPXi:
1476 NewOpc = AArch64::LDPXpost;
1478 case AArch64::LDPDi:
1479 NewOpc = AArch64::LDPDpost;
1481 case AArch64::LDPQi:
1482 NewOpc = AArch64::LDPQpost;
1484 case AArch64::LDRXui:
1485 NewOpc = AArch64::LDRXpost;
1487 case AArch64::LDRDui:
1488 NewOpc = AArch64::LDRDpost;
1490 case AArch64::LDRQui:
1491 NewOpc = AArch64::LDRQpost;
1496 auto SEH = std::next(
MBBI);
1498 SEH->eraseFromParent();
1502 int64_t MinOffset, MaxOffset;
1504 NewOpc, Scale, Width, MinOffset, MaxOffset);
1510 if (
MBBI->getOperand(
MBBI->getNumOperands() - 1).getImm() != 0 ||
1511 CSStackSizeInc < MinOffset * (int64_t)Scale.
getFixedValue() ||
1512 CSStackSizeInc > MaxOffset * (int64_t)Scale.
getFixedValue()) {
1519 false,
false,
nullptr, EmitCFI,
1522 return std::prev(
MBBI);
1529 unsigned OpndIdx = 0;
1530 for (
unsigned OpndEnd =
MBBI->getNumOperands() - 1; OpndIdx < OpndEnd;
1532 MIB.
add(
MBBI->getOperand(OpndIdx));
1534 assert(
MBBI->getOperand(OpndIdx).getImm() == 0 &&
1535 "Unexpected immediate offset in first/last callee-save save/restore "
1537 assert(
MBBI->getOperand(OpndIdx - 1).getReg() == AArch64::SP &&
1538 "Unexpected base register in callee-save save/restore instruction!");
1539 assert(CSStackSizeInc % Scale == 0);
1540 MIB.
addImm(CSStackSizeInc / (
int)Scale);
1571 unsigned Opc =
MI.getOpcode();
1574 case AArch64::STPXi:
1575 case AArch64::STRXui:
1576 case AArch64::STPDi:
1577 case AArch64::STRDui:
1578 case AArch64::LDPXi:
1579 case AArch64::LDRXui:
1580 case AArch64::LDPDi:
1581 case AArch64::LDRDui:
1584 case AArch64::STPQi:
1585 case AArch64::STRQui:
1586 case AArch64::LDPQi:
1587 case AArch64::LDRQui:
1594 unsigned OffsetIdx =
MI.getNumExplicitOperands() - 1;
1595 assert(
MI.getOperand(OffsetIdx - 1).getReg() == AArch64::SP &&
1596 "Unexpected base register in callee-save save/restore instruction!");
1600 assert(LocalStackSize % Scale == 0);
1601 OffsetOpnd.
setImm(OffsetOpnd.
getImm() + LocalStackSize / Scale);
1606 assert(
MBBI !=
MI.getParent()->end() &&
"Expecting a valid instruction");
1608 "Expecting a SEH instruction");
1623 switch (
I->getOpcode()) {
1626 case AArch64::PTRUE_C_B:
1627 case AArch64::LD1B_2Z_IMM:
1628 case AArch64::ST1B_2Z_IMM:
1629 case AArch64::STR_ZXI:
1630 case AArch64::STR_PXI:
1631 case AArch64::LDR_ZXI:
1632 case AArch64::LDR_PXI:
1643 bool NeedsUnwindInfo) {
1659 if (NeedsUnwindInfo) {
1662 static const char CFIInst[] = {
1663 dwarf::DW_CFA_val_expression,
1666 static_cast<char>(
unsigned(dwarf::DW_OP_breg18)),
1667 static_cast<char>(-8) & 0x7f,
1670 nullptr,
StringRef(CFIInst,
sizeof(CFIInst))));
1708 const int OffsetToFirstCalleeSaveFromFP =
1712 unsigned Reg =
TRI->getDwarfRegNum(
FramePtr,
true);
1714 nullptr, Reg, FixedObject - OffsetToFirstCalleeSaveFromFP));
1746 bool HasFP =
hasFP(MF);
1748 bool HasWinCFI =
false;
1757 while (NonFrameStart !=
End &&
1762 if (NonFrameStart !=
MBB.
end()) {
1778 if (NonFrameStart ==
MBB.
end())
1783 for (auto &Op : MI.operands())
1784 if (Op.isReg() && Op.isDef())
1785 assert(!LiveRegs.contains(Op.getReg()) &&
1786 "live register clobbered by inserted prologue instructions");
1803 if (MFnI.needsShadowCallStackPrologueEpilogue(MF))
1805 MFnI.needsDwarfUnwindInfo(MF));
1807 if (MFnI.shouldSignReturnAddress(MF)) {
1814 if (EmitCFI && MFnI.isMTETagged()) {
1892 assert(!HasFP &&
"unexpected function without stack frame but with FP");
1894 "unexpected function without stack frame but with SVE objects");
1903 ++NumRedZoneFunctions;
1935 bool CombineSPBump = shouldCombineCSRLocalStackBump(MF, NumBytes);
1936 bool HomPrologEpilog = homogeneousPrologEpilog(MF);
1937 if (CombineSPBump) {
1938 assert(!SVEStackSize &&
"Cannot combine SP bump with SVE");
1944 }
else if (HomPrologEpilog) {
1946 NumBytes -= PrologueSaveSize;
1947 }
else if (PrologueSaveSize != 0) {
1949 MBB,
MBBI,
DL,
TII, -PrologueSaveSize, NeedsWinCFI, &HasWinCFI,
1951 NumBytes -= PrologueSaveSize;
1953 assert(NumBytes >= 0 &&
"Negative stack allocation size!?");
1960 if (CombineSPBump &&
1964 NeedsWinCFI, &HasWinCFI);
1969 if (!IsFunclet && HasFP) {
1981 bool HaveInitialContext = Attrs.hasAttrSomewhere(Attribute::SwiftAsync);
1982 if (HaveInitialContext)
1984 Register Reg = HaveInitialContext ? AArch64::X22 : AArch64::XZR;
2000 if (HomPrologEpilog) {
2013 if (NeedsWinCFI && HasWinCFI) {
2018 NeedsWinCFI =
false;
2029 emitCalleeSavedGPRLocations(
MBB,
MBBI);
2032 const bool NeedsRealignment =
2033 NumBytes && !IsFunclet && RegInfo->hasStackRealignment(MF);
2034 const int64_t RealignmentPadding =
2040 uint64_t NumWords = (NumBytes + RealignmentPadding) >> 4;
2048 if (NumBytes >= (1 << 28))
2050 "unwinding purposes");
2052 uint32_t LowNumWords = NumWords & 0xFFFF;
2059 if ((NumWords & 0xFFFF0000) != 0) {
2062 .
addImm((NumWords & 0xFFFF0000) >> 16)
2133 if (RealignmentPadding > 0) {
2134 if (RealignmentPadding >= 4096) {
2137 .
addImm(RealignmentPadding)
2147 .
addImm(RealignmentPadding)
2164 StackOffset SVECalleeSavesSize = {}, SVELocalsSize = SVEStackSize;
2170 LLVM_DEBUG(
dbgs() <<
"SVECalleeSavedStackSize = " << CalleeSavedSize
2173 CalleeSavesBegin =
MBBI;
2177 CalleeSavesEnd =
MBBI;
2180 SVELocalsSize = SVEStackSize - SVECalleeSavesSize;
2187 allocateStackSpace(
MBB, CalleeSavesBegin, 0, SVECalleeSavesSize,
false,
2188 nullptr, EmitAsyncCFI && !HasFP, CFAOffset,
2190 CFAOffset += SVECalleeSavesSize;
2193 emitCalleeSavedSVELocations(
MBB, CalleeSavesEnd);
2198 "Cannot use redzone with stack realignment");
2203 allocateStackSpace(
MBB, CalleeSavesEnd, RealignmentPadding,
2205 NeedsWinCFI, &HasWinCFI, EmitAsyncCFI && !HasFP,
2217 if (!IsFunclet && RegInfo->hasBasePointer(MF)) {
2229 if (NeedsWinCFI && HasWinCFI) {
2237 if (IsFunclet &&
F.hasPersonalityFn()) {
2247 if (EmitCFI && !EmitAsyncCFI) {
2254 *RegInfo, AArch64::SP, AArch64::SP, TotalSize,
2260 emitCalleeSavedGPRLocations(
MBB,
MBBI);
2261 emitCalleeSavedSVELocations(
MBB,
MBBI);
2266 switch (
MI.getOpcode()) {
2269 case AArch64::CATCHRET:
2270 case AArch64::CLEANUPRET:
2285 bool HasWinCFI =
false;
2286 bool IsFunclet =
false;
2289 DL =
MBBI->getDebugLoc();
2297 BuildMI(MBB, MBB.getFirstTerminator(), DL,
2298 TII->get(AArch64::PAUTH_EPILOGUE))
2299 .setMIFlag(MachineInstr::FrameDestroy);
2309 TII->get(AArch64::SEH_EpilogEnd))
2336 int64_t AfterCSRPopSize = ArgumentStackToRestore;
2344 if (homogeneousPrologEpilog(MF, &
MBB)) {
2348 auto HomogeneousEpilog = std::prev(LastPopI);
2349 if (HomogeneousEpilog->getOpcode() == AArch64::HOM_Epilog)
2350 LastPopI = HomogeneousEpilog;
2360 assert(AfterCSRPopSize == 0);
2363 bool CombineSPBump = shouldCombineCSRLocalStackBumpInEpilogue(
MBB, NumBytes);
2365 bool CombineAfterCSRBump =
false;
2366 if (!CombineSPBump && PrologueSaveSize != 0) {
2368 while (Pop->getOpcode() == TargetOpcode::CFI_INSTRUCTION ||
2370 Pop = std::prev(Pop);
2373 const MachineOperand &OffsetOp = Pop->getOperand(Pop->getNumOperands() - 1);
2377 if (OffsetOp.
getImm() == 0 && AfterCSRPopSize >= 0) {
2379 MBB, Pop,
DL,
TII, PrologueSaveSize, NeedsWinCFI, &HasWinCFI, EmitCFI,
2386 AfterCSRPopSize += PrologueSaveSize;
2387 CombineAfterCSRBump =
true;
2396 while (LastPopI != Begin) {
2402 }
else if (CombineSPBump)
2404 NeedsWinCFI, &HasWinCFI);
2416 EpilogStartI = LastPopI;
2452 if (CombineSPBump) {
2453 assert(!SVEStackSize &&
"Cannot combine SP bump with SVE");
2456 if (EmitCFI &&
hasFP(MF)) {
2458 unsigned Reg = RegInfo.getDwarfRegNum(AArch64::SP,
true);
2473 NumBytes -= PrologueSaveSize;
2474 assert(NumBytes >= 0 &&
"Negative stack allocation size!?");
2478 StackOffset DeallocateBefore = {}, DeallocateAfter = SVEStackSize;
2481 RestoreBegin = std::prev(RestoreEnd);
2482 while (RestoreBegin !=
MBB.
begin() &&
2491 DeallocateBefore = SVEStackSize - CalleeSavedSizeAsOffset;
2492 DeallocateAfter = CalleeSavedSizeAsOffset;
2514 MBB, RestoreBegin,
DL, AArch64::SP, AArch64::SP,
2516 false,
false,
nullptr, EmitCFI && !
hasFP(MF),
2523 false,
nullptr, EmitCFI && !
hasFP(MF),
2529 false,
nullptr, EmitCFI && !
hasFP(MF),
2534 emitCalleeSavedSVERestores(
MBB, RestoreEnd);
2541 if (RedZone && AfterCSRPopSize == 0)
2548 bool NoCalleeSaveRestore = PrologueSaveSize == 0;
2549 int64_t StackRestoreBytes = RedZone ? 0 : NumBytes;
2550 if (NoCalleeSaveRestore)
2551 StackRestoreBytes += AfterCSRPopSize;
2554 MBB, LastPopI,
DL, AArch64::SP, AArch64::SP,
2561 if (NoCalleeSaveRestore || AfterCSRPopSize == 0) {
2574 MBB, LastPopI,
DL, AArch64::SP, AArch64::FP,
2577 }
else if (NumBytes)
2583 if (EmitCFI &&
hasFP(MF)) {
2585 unsigned Reg = RegInfo.getDwarfRegNum(AArch64::SP,
true);
2596 if (AfterCSRPopSize) {
2597 assert(AfterCSRPopSize > 0 &&
"attempting to reallocate arg stack that an "
2598 "interrupt may have clobbered");
2603 false, NeedsWinCFI, &HasWinCFI, EmitCFI,
2645 if (MFI.isVariableSizedObjectIndex(FI)) {
2659 bool IsFixed = MFI.isFixedObjectIndex(FI);
2664 if (!IsFixed && !IsCSR)
2665 ScalableOffset = -SVEStackSize;
2677 int64_t ObjectOffset) {
2681 bool IsWin64 = Subtarget.isCallingConvWin64(
F.getCallingConv(),
F.isVarArg());
2682 unsigned FixedObject =
2691 int64_t ObjectOffset) {
2702 return RegInfo->getLocalAddressRegister(MF) == AArch64::FP
2709 bool ForSimm)
const {
2712 bool isFixed = MFI.isFixedObjectIndex(FI);
2719 const MachineFunction &MF, int64_t ObjectOffset,
bool isFixed,
bool isSVE,
2720 Register &FrameReg,
bool PreferFP,
bool ForSimm)
const {
2743 PreferFP &= !SVEStackSize;
2751 }
else if (isCSR && RegInfo->hasStackRealignment(MF)) {
2755 assert(
hasFP(MF) &&
"Re-aligned stack must have frame pointer");
2757 }
else if (
hasFP(MF) && !RegInfo->hasStackRealignment(MF)) {
2762 bool FPOffsetFits = !ForSimm || FPOffset >= -256;
2763 PreferFP |=
Offset > -FPOffset && !SVEStackSize;
2765 if (FPOffset >= 0) {
2769 }
else if (MFI.hasVarSizedObjects()) {
2773 bool CanUseBP = RegInfo->hasBasePointer(MF);
2774 if (FPOffsetFits && CanUseBP)
2781 }
else if (MF.
hasEHFunclets() && !RegInfo->hasBasePointer(MF)) {
2788 "Funclets should only be present on Win64");
2792 if (FPOffsetFits && PreferFP)
2799 ((isFixed || isCSR) || !RegInfo->hasStackRealignment(MF) || !UseFP) &&
2800 "In the presence of dynamic stack pointer realignment, "
2801 "non-argument/CSR objects cannot be accessed through the frame pointer");
2813 RegInfo->hasStackRealignment(MF))) {
2814 FrameReg = RegInfo->getFrameRegister(MF);
2818 FrameReg = RegInfo->hasBasePointer(MF) ? RegInfo->getBaseRegister()
2824 if (UseFP && !(isFixed || isCSR))
2825 ScalableOffset = -SVEStackSize;
2826 if (!UseFP && (isFixed || isCSR))
2827 ScalableOffset = SVEStackSize;
2830 FrameReg = RegInfo->getFrameRegister(MF);
2835 if (RegInfo->hasBasePointer(MF))
2836 FrameReg = RegInfo->getBaseRegister();
2838 assert(!MFI.hasVarSizedObjects() &&
2839 "Can't use SP when we have var sized objects.");
2840 FrameReg = AArch64::SP;
2867 Attrs.hasAttrSomewhere(Attribute::SwiftError)) &&
2873 bool NeedsWinCFI,
bool IsFirst,
2882 if (Reg2 == AArch64::FP)
2886 if (
TRI->getEncodingValue(Reg2) ==
TRI->getEncodingValue(Reg1) + 1)
2893 if (Reg1 >= AArch64::X19 && Reg1 <= AArch64::X27 &&
2894 (Reg1 - AArch64::X19) % 2 == 0 && Reg2 == AArch64::LR && !IsFirst)
2904 bool UsesWinAAPCS,
bool NeedsWinCFI,
2905 bool NeedsFrameRecord,
bool IsFirst,
2913 if (NeedsFrameRecord)
2914 return Reg2 == AArch64::LR;
2922 unsigned Reg1 = AArch64::NoRegister;
2923 unsigned Reg2 = AArch64::NoRegister;
2926 enum RegType { GPR, FPR64, FPR128, PPR, ZPR, VG }
Type;
2929 RegPairInfo() =
default;
2931 bool isPaired()
const {
return Reg2 != AArch64::NoRegister; }
2933 bool isScalable()
const {
return Type == PPR ||
Type == ZPR; }
2939 for (
unsigned PReg = AArch64::P8; PReg <= AArch64::P15; ++PReg) {
2940 if (SavedRegs.
test(PReg)) {
2941 unsigned PNReg = PReg - AArch64::P0 + AArch64::PN0;
2945 return AArch64::NoRegister;
2955 bool IsLocallyStreaming =
2961 return Subtarget.hasSVE2p1() ||
2962 (Subtarget.hasSME2() &&
2963 (!IsLocallyStreaming && Subtarget.
isStreaming()));
2969 bool NeedsFrameRecord) {
2980 unsigned Count = CSI.
size();
2987 "Odd number of callee-saved regs to spill!");
2989 int StackFillDir = -1;
2991 unsigned FirstReg = 0;
2999 FirstReg = Count - 1;
3006 for (
unsigned i = FirstReg; i < Count; i += RegInc) {
3008 RPI.Reg1 = CSI[i].getReg();
3010 if (AArch64::GPR64RegClass.
contains(RPI.Reg1)) {
3011 RPI.Type = RegPairInfo::GPR;
3012 RPI.RC = &AArch64::GPR64RegClass;
3013 }
else if (AArch64::FPR64RegClass.
contains(RPI.Reg1)) {
3014 RPI.Type = RegPairInfo::FPR64;
3015 RPI.RC = &AArch64::FPR64RegClass;
3016 }
else if (AArch64::FPR128RegClass.
contains(RPI.Reg1)) {
3017 RPI.Type = RegPairInfo::FPR128;
3018 RPI.RC = &AArch64::FPR128RegClass;
3019 }
else if (AArch64::ZPRRegClass.
contains(RPI.Reg1)) {
3020 RPI.Type = RegPairInfo::ZPR;
3021 RPI.RC = &AArch64::ZPRRegClass;
3022 }
else if (AArch64::PPRRegClass.
contains(RPI.Reg1)) {
3023 RPI.Type = RegPairInfo::PPR;
3024 RPI.RC = &AArch64::PPRRegClass;
3025 }
else if (RPI.Reg1 == AArch64::VG) {
3026 RPI.Type = RegPairInfo::VG;
3027 RPI.RC = &AArch64::FIXED_REGSRegClass;
3036 ByteOffset += StackFillDir * StackHazardSize;
3039 int Scale =
TRI->getSpillSize(*RPI.RC);
3042 Register NextReg = CSI[i + RegInc].getReg();
3043 bool IsFirst = i == FirstReg;
3045 case RegPairInfo::GPR:
3046 if (AArch64::GPR64RegClass.
contains(NextReg) &&
3048 NeedsWinCFI, NeedsFrameRecord, IsFirst,
3052 case RegPairInfo::FPR64:
3053 if (AArch64::FPR64RegClass.
contains(NextReg) &&
3058 case RegPairInfo::FPR128:
3059 if (AArch64::FPR128RegClass.
contains(NextReg))
3062 case RegPairInfo::PPR:
3064 case RegPairInfo::ZPR:
3066 ((RPI.Reg1 - AArch64::Z0) & 1) == 0 && (NextReg == RPI.Reg1 + 1)) {
3069 int Offset = (ScalableByteOffset + StackFillDir * 2 * Scale) / Scale;
3074 case RegPairInfo::VG:
3085 assert((!RPI.isPaired() ||
3086 (CSI[i].getFrameIdx() + RegInc == CSI[i + RegInc].getFrameIdx())) &&
3087 "Out of order callee saved regs!");
3089 assert((!RPI.isPaired() || !NeedsFrameRecord || RPI.Reg2 != AArch64::FP ||
3090 RPI.Reg1 == AArch64::LR) &&
3091 "FrameRecord must be allocated together with LR");
3094 assert((!RPI.isPaired() || !NeedsFrameRecord || RPI.Reg1 != AArch64::FP ||
3095 RPI.Reg2 == AArch64::LR) &&
3096 "FrameRecord must be allocated together with LR");
3104 ((RPI.Reg1 == AArch64::LR && RPI.Reg2 == AArch64::FP) ||
3105 RPI.Reg1 + 1 == RPI.Reg2))) &&
3106 "Callee-save registers not saved as adjacent register pair!");
3108 RPI.FrameIdx = CSI[i].getFrameIdx();
3111 RPI.FrameIdx = CSI[i + RegInc].getFrameIdx();
3113 int OffsetPre = RPI.isScalable() ? ScalableByteOffset : ByteOffset;
3114 assert(OffsetPre % Scale == 0);
3116 if (RPI.isScalable())
3117 ScalableByteOffset += StackFillDir * (RPI.isPaired() ? 2 * Scale : Scale);
3119 ByteOffset += StackFillDir * (RPI.isPaired() ? 2 * Scale : Scale);
3124 ((!IsWindows && RPI.Reg2 == AArch64::FP) ||
3125 (IsWindows && RPI.Reg2 == AArch64::LR)))
3126 ByteOffset += StackFillDir * 8;
3130 if (NeedGapToAlignStack && !NeedsWinCFI && !RPI.isScalable() &&
3131 RPI.Type != RegPairInfo::FPR128 && !RPI.isPaired() &&
3132 ByteOffset % 16 != 0) {
3133 ByteOffset += 8 * StackFillDir;
3139 NeedGapToAlignStack =
false;
3142 int OffsetPost = RPI.isScalable() ? ScalableByteOffset : ByteOffset;
3143 assert(OffsetPost % Scale == 0);
3146 int Offset = NeedsWinCFI ? OffsetPre : OffsetPost;
3151 ((!IsWindows && RPI.Reg2 == AArch64::FP) ||
3152 (IsWindows && RPI.Reg2 == AArch64::LR)))
3154 RPI.Offset =
Offset / Scale;
3156 assert((!RPI.isPaired() ||
3157 (!RPI.isScalable() && RPI.Offset >= -64 && RPI.Offset <= 63) ||
3158 (RPI.isScalable() && RPI.Offset >= -256 && RPI.Offset <= 255)) &&
3159 "Offset out of bounds for LDP/STP immediate");
3161 auto isFrameRecord = [&] {
3163 return IsWindows ? RPI.Reg1 == AArch64::FP && RPI.Reg2 == AArch64::LR
3164 : RPI.Reg1 == AArch64::LR && RPI.Reg2 == AArch64::FP;
3172 return i > 0 && RPI.Reg1 == AArch64::FP &&
3173 CSI[i - 1].getReg() == AArch64::LR;
3178 if (NeedsFrameRecord && isFrameRecord())
3195 std::reverse(RegPairs.
begin(), RegPairs.
end());
3214 MRI.freezeReservedRegs();
3216 if (homogeneousPrologEpilog(MF)) {
3220 for (
auto &RPI : RegPairs) {
3225 if (!
MRI.isReserved(RPI.Reg1))
3227 if (RPI.isPaired() && !
MRI.isReserved(RPI.Reg2))
3232 bool PTrueCreated =
false;
3234 unsigned Reg1 = RPI.Reg1;
3235 unsigned Reg2 = RPI.Reg2;
3248 unsigned Size =
TRI->getSpillSize(*RPI.RC);
3249 Align Alignment =
TRI->getSpillAlign(*RPI.RC);
3251 case RegPairInfo::GPR:
3252 StrOpc = RPI.isPaired() ? AArch64::STPXi : AArch64::STRXui;
3254 case RegPairInfo::FPR64:
3255 StrOpc = RPI.isPaired() ? AArch64::STPDi : AArch64::STRDui;
3257 case RegPairInfo::FPR128:
3258 StrOpc = RPI.isPaired() ? AArch64::STPQi : AArch64::STRQui;
3260 case RegPairInfo::ZPR:
3261 StrOpc = RPI.isPaired() ? AArch64::ST1B_2Z_IMM : AArch64::STR_ZXI;
3263 case RegPairInfo::PPR:
3264 StrOpc = AArch64::STR_PXI;
3266 case RegPairInfo::VG:
3267 StrOpc = AArch64::STRXui;
3271 unsigned X0Scratch = AArch64::NoRegister;
3272 if (Reg1 == AArch64::VG) {
3275 assert(Reg1 != AArch64::NoRegister);
3278 if (Attrs.hasStreamingBody() && !Attrs.hasStreamingInterface() &&
3303 return STI.getRegisterInfo()->isSuperOrSubRegisterEq(
3304 AArch64::X0, LiveIn.PhysReg);
3308 if (X0Scratch != AArch64::NoRegister)
3315 const uint32_t *RegMask =
TRI->getCallPreservedMask(
3330 dbgs() <<
") -> fi#(" << RPI.FrameIdx;
3331 if (RPI.isPaired())
dbgs() <<
", " << RPI.FrameIdx + 1;
3334 assert((!NeedsWinCFI || !(Reg1 == AArch64::LR && Reg2 == AArch64::FP)) &&
3335 "Windows unwdinding requires a consecutive (FP,LR) pair");
3339 unsigned FrameIdxReg1 = RPI.FrameIdx;
3340 unsigned FrameIdxReg2 = RPI.FrameIdx + 1;
3341 if (NeedsWinCFI && RPI.isPaired()) {
3346 if (RPI.isPaired() && RPI.isScalable()) {
3352 "Expects SVE2.1 or SME2 target and a predicate register");
3353#ifdef EXPENSIVE_CHECKS
3354 auto IsPPR = [](
const RegPairInfo &c) {
3355 return c.Reg1 == RegPairInfo::PPR;
3357 auto PPRBegin = std::find_if(RegPairs.
begin(), RegPairs.
end(), IsPPR);
3358 auto IsZPR = [](
const RegPairInfo &c) {
3359 return c.Type == RegPairInfo::ZPR;
3361 auto ZPRBegin = std::find_if(RegPairs.
begin(), RegPairs.
end(), IsZPR);
3362 assert(!(PPRBegin < ZPRBegin) &&
3363 "Expected callee save predicate to be handled first");
3365 if (!PTrueCreated) {
3366 PTrueCreated =
true;
3371 if (!
MRI.isReserved(Reg1))
3373 if (!
MRI.isReserved(Reg2))
3375 MIB.
addReg( AArch64::Z0_Z1 + (RPI.Reg1 - AArch64::Z0));
3391 if (!
MRI.isReserved(Reg1))
3393 if (RPI.isPaired()) {
3394 if (!
MRI.isReserved(Reg2))
3414 if (RPI.Type == RegPairInfo::ZPR || RPI.Type == RegPairInfo::PPR) {
3420 if (X0Scratch != AArch64::NoRegister)
3440 DL =
MBBI->getDebugLoc();
3443 if (homogeneousPrologEpilog(MF, &
MBB)) {
3446 for (
auto &RPI : RegPairs) {
3454 auto IsPPR = [](
const RegPairInfo &c) {
return c.Type == RegPairInfo::PPR; };
3455 auto PPRBegin = std::find_if(RegPairs.
begin(), RegPairs.
end(), IsPPR);
3456 auto PPREnd = std::find_if_not(PPRBegin, RegPairs.
end(), IsPPR);
3457 std::reverse(PPRBegin, PPREnd);
3458 auto IsZPR = [](
const RegPairInfo &c) {
return c.Type == RegPairInfo::ZPR; };
3459 auto ZPRBegin = std::find_if(RegPairs.
begin(), RegPairs.
end(), IsZPR);
3460 auto ZPREnd = std::find_if_not(ZPRBegin, RegPairs.
end(), IsZPR);
3461 std::reverse(ZPRBegin, ZPREnd);
3463 bool PTrueCreated =
false;
3464 for (
const RegPairInfo &RPI : RegPairs) {
3465 unsigned Reg1 = RPI.Reg1;
3466 unsigned Reg2 = RPI.Reg2;
3477 unsigned Size =
TRI->getSpillSize(*RPI.RC);
3478 Align Alignment =
TRI->getSpillAlign(*RPI.RC);
3480 case RegPairInfo::GPR:
3481 LdrOpc = RPI.isPaired() ? AArch64::LDPXi : AArch64::LDRXui;
3483 case RegPairInfo::FPR64:
3484 LdrOpc = RPI.isPaired() ? AArch64::LDPDi : AArch64::LDRDui;
3486 case RegPairInfo::FPR128:
3487 LdrOpc = RPI.isPaired() ? AArch64::LDPQi : AArch64::LDRQui;
3489 case RegPairInfo::ZPR:
3490 LdrOpc = RPI.isPaired() ? AArch64::LD1B_2Z_IMM : AArch64::LDR_ZXI;
3492 case RegPairInfo::PPR:
3493 LdrOpc = AArch64::LDR_PXI;
3495 case RegPairInfo::VG:
3500 dbgs() <<
") -> fi#(" << RPI.FrameIdx;
3501 if (RPI.isPaired())
dbgs() <<
", " << RPI.FrameIdx + 1;
3507 unsigned FrameIdxReg1 = RPI.FrameIdx;
3508 unsigned FrameIdxReg2 = RPI.FrameIdx + 1;
3509 if (NeedsWinCFI && RPI.isPaired()) {
3515 if (RPI.isPaired() && RPI.isScalable()) {
3520 "Expects SVE2.1 or SME2 target and a predicate register");
3521#ifdef EXPENSIVE_CHECKS
3522 assert(!(PPRBegin < ZPRBegin) &&
3523 "Expected callee save predicate to be handled first");
3525 if (!PTrueCreated) {
3526 PTrueCreated =
true;
3531 MIB.
addReg( AArch64::Z0_Z1 + (RPI.Reg1 - AArch64::Z0),
3548 if (RPI.isPaired()) {
3573 dyn_cast_or_null<FixedStackPseudoSourceValue>(MMO->
getPseudoValue());
3575 return std::optional<int>(PSV->getFrameIndex());
3586 return std::nullopt;
3592 if (!
MI.mayLoadOrStore() ||
MI.getNumMemOperands() < 1)
3593 return std::nullopt;
3601void AArch64FrameLowering::determineStackHazardSlot(
3604 if (StackHazardSize == 0 || StackHazardSize % 16 != 0 ||
3617 bool HasFPRCSRs =
any_of(SavedRegs.
set_bits(), [](
unsigned Reg) {
3618 return AArch64::FPR64RegClass.contains(Reg) ||
3619 AArch64::FPR128RegClass.contains(Reg) ||
3620 AArch64::ZPRRegClass.contains(Reg) ||
3621 AArch64::PPRRegClass.contains(Reg);
3623 bool HasFPRStackObjects =
false;
3626 for (
auto &
MBB : MF) {
3627 for (
auto &
MI :
MBB) {
3629 if (FI && *FI >= 0 && *FI < (
int)FrameObjects.size()) {
3632 FrameObjects[*FI] |= 2;
3634 FrameObjects[*FI] |= 1;
3638 HasFPRStackObjects =
3639 any_of(FrameObjects, [](
unsigned B) {
return (
B & 3) == 2; });
3642 if (HasFPRCSRs || HasFPRStackObjects) {
3645 << StackHazardSize <<
"\n");
3663 unsigned UnspilledCSGPR = AArch64::NoRegister;
3664 unsigned UnspilledCSGPRPaired = AArch64::NoRegister;
3673 unsigned ExtraCSSpill = 0;
3674 bool HasUnpairedGPR64 =
false;
3675 bool HasPairZReg =
false;
3677 for (
unsigned i = 0; CSRegs[i]; ++i) {
3678 const unsigned Reg = CSRegs[i];
3681 if (Reg == BasePointerReg)
3684 bool RegUsed = SavedRegs.
test(Reg);
3685 unsigned PairedReg = AArch64::NoRegister;
3686 const bool RegIsGPR64 = AArch64::GPR64RegClass.contains(Reg);
3687 if (RegIsGPR64 || AArch64::FPR64RegClass.
contains(Reg) ||
3688 AArch64::FPR128RegClass.contains(Reg)) {
3691 if (HasUnpairedGPR64)
3692 PairedReg = CSRegs[i % 2 == 0 ? i - 1 : i + 1];
3694 PairedReg = CSRegs[i ^ 1];
3701 if (RegIsGPR64 && !AArch64::GPR64RegClass.
contains(PairedReg)) {
3702 PairedReg = AArch64::NoRegister;
3703 HasUnpairedGPR64 =
true;
3705 assert(PairedReg == AArch64::NoRegister ||
3706 AArch64::GPR64RegClass.
contains(Reg, PairedReg) ||
3707 AArch64::FPR64RegClass.
contains(Reg, PairedReg) ||
3708 AArch64::FPR128RegClass.
contains(Reg, PairedReg));
3711 if (AArch64::GPR64RegClass.
contains(Reg) &&
3713 UnspilledCSGPR = Reg;
3714 UnspilledCSGPRPaired = PairedReg;
3722 if (producePairRegisters(MF) && PairedReg != AArch64::NoRegister &&
3723 !SavedRegs.
test(PairedReg)) {
3724 SavedRegs.
set(PairedReg);
3725 if (AArch64::GPR64RegClass.
contains(PairedReg) &&
3727 ExtraCSSpill = PairedReg;
3730 HasPairZReg |= (AArch64::ZPRRegClass.contains(Reg, CSRegs[i ^ 1]) &&
3731 SavedRegs.
test(CSRegs[i ^ 1]));
3739 if (PnReg != AArch64::NoRegister)
3745 SavedRegs.
set(AArch64::P8);
3750 "Predicate cannot be a reserved register");
3760 SavedRegs.
set(AArch64::X18);
3764 unsigned CSStackSize = 0;
3765 unsigned SVECSStackSize = 0;
3767 for (
unsigned Reg : SavedRegs.
set_bits()) {
3768 auto *RC =
TRI->getMinimalPhysRegClass(Reg);
3769 assert(RC &&
"expected register class!");
3770 auto SpillSize =
TRI->getSpillSize(*RC);
3771 if (AArch64::PPRRegClass.
contains(Reg) ||
3772 AArch64::ZPRRegClass.
contains(Reg))
3773 SVECSStackSize += SpillSize;
3775 CSStackSize += SpillSize;
3785 if (Attrs.hasStreamingBody() && !Attrs.hasStreamingInterface())
3793 determineStackHazardSlot(MF, SavedRegs);
3794 if (AFI->hasStackHazardSlotIndex())
3798 unsigned NumSavedRegs = SavedRegs.
count();
3804 SavedRegs.
set(AArch64::FP);
3805 SavedRegs.
set(AArch64::LR);
3809 dbgs() <<
"*** determineCalleeSaves\nSaved CSRs:";
3810 for (
unsigned Reg : SavedRegs.
set_bits())
3816 int64_t SVEStackSize =
3817 alignTo(SVECSStackSize + estimateSVEStackObjectOffsets(MFI), 16);
3818 bool CanEliminateFrame = (SavedRegs.
count() == 0) && !SVEStackSize;
3827 int64_t CalleeStackUsed = 0;
3830 if (FixedOff > CalleeStackUsed)
3831 CalleeStackUsed = FixedOff;
3835 bool BigStack = SVEStackSize || (EstimatedStackSize + CSStackSize +
3836 CalleeStackUsed) > EstimatedStackSizeLimit;
3838 AFI->setHasStackFrame(
true);
3847 if (!ExtraCSSpill && UnspilledCSGPR != AArch64::NoRegister) {
3849 <<
" to get a scratch register.\n");
3850 SavedRegs.
set(UnspilledCSGPR);
3851 ExtraCSSpill = UnspilledCSGPR;
3856 if (producePairRegisters(MF)) {
3857 if (UnspilledCSGPRPaired == AArch64::NoRegister) {
3860 SavedRegs.
reset(UnspilledCSGPR);
3861 ExtraCSSpill = AArch64::NoRegister;
3864 SavedRegs.
set(UnspilledCSGPRPaired);
3873 unsigned Size =
TRI->getSpillSize(RC);
3874 Align Alignment =
TRI->getSpillAlign(RC);
3877 LLVM_DEBUG(
dbgs() <<
"No available CS registers, allocated fi#" << FI
3878 <<
" as the emergency spill slot.\n");
3883 CSStackSize += 8 * (SavedRegs.
count() - NumSavedRegs);
3887 if (
hasFP(MF) && AFI->hasSwiftAsyncContext())
3892 << EstimatedStackSize + AlignedCSStackSize <<
" bytes.\n");
3895 AFI->getCalleeSavedStackSize() == AlignedCSStackSize) &&
3896 "Should not invalidate callee saved info");
3900 AFI->setCalleeSavedStackSize(AlignedCSStackSize);
3901 AFI->setCalleeSaveStackHasFreeSpace(AlignedCSStackSize != CSStackSize);
3902 AFI->setSVECalleeSavedStackSize(
alignTo(SVECSStackSize, 16));
3907 std::vector<CalleeSavedInfo> &CSI,
unsigned &MinCSFrameIndex,
3908 unsigned &MaxCSFrameIndex)
const {
3917 std::reverse(CSI.begin(), CSI.end());
3931 if ((
unsigned)FrameIdx < MinCSFrameIndex)
3932 MinCSFrameIndex = FrameIdx;
3933 if ((
unsigned)FrameIdx > MaxCSFrameIndex)
3934 MaxCSFrameIndex = FrameIdx;
3939 std::vector<CalleeSavedInfo> VGSaves;
3943 VGInfo.setRestored(
false);
3944 VGSaves.push_back(VGInfo);
3948 if (Attrs.hasStreamingBody() && !Attrs.hasStreamingInterface())
3949 VGSaves.push_back(VGInfo);
3951 bool InsertBeforeLR =
false;
3953 for (
unsigned I = 0;
I < CSI.size();
I++)
3954 if (CSI[
I].
getReg() == AArch64::LR) {
3955 InsertBeforeLR =
true;
3956 CSI.insert(CSI.begin() +
I, VGSaves.begin(), VGSaves.end());
3960 if (!InsertBeforeLR)
3961 CSI.insert(CSI.end(), VGSaves.begin(), VGSaves.end());
3965 int HazardSlotIndex = std::numeric_limits<int>::max();
3966 for (
auto &CS : CSI) {
3974 assert(HazardSlotIndex == std::numeric_limits<int>::max() &&
3975 "Unexpected register order for hazard slot");
3977 LLVM_DEBUG(
dbgs() <<
"Created CSR Hazard at slot " << HazardSlotIndex
3980 if ((
unsigned)HazardSlotIndex < MinCSFrameIndex)
3981 MinCSFrameIndex = HazardSlotIndex;
3982 if ((
unsigned)HazardSlotIndex > MaxCSFrameIndex)
3983 MaxCSFrameIndex = HazardSlotIndex;
3989 CS.setFrameIdx(FrameIdx);
3991 if ((
unsigned)FrameIdx < MinCSFrameIndex)
3992 MinCSFrameIndex = FrameIdx;
3993 if ((
unsigned)FrameIdx > MaxCSFrameIndex)
3994 MaxCSFrameIndex = FrameIdx;
3998 Reg == AArch64::FP) {
4001 if ((
unsigned)FrameIdx < MinCSFrameIndex)
4002 MinCSFrameIndex = FrameIdx;
4003 if ((
unsigned)FrameIdx > MaxCSFrameIndex)
4004 MaxCSFrameIndex = FrameIdx;
4011 HazardSlotIndex == std::numeric_limits<int>::max()) {
4013 LLVM_DEBUG(
dbgs() <<
"Created CSR Hazard at slot " << HazardSlotIndex
4016 if ((
unsigned)HazardSlotIndex < MinCSFrameIndex)
4017 MinCSFrameIndex = HazardSlotIndex;
4018 if ((
unsigned)HazardSlotIndex > MaxCSFrameIndex)
4019 MaxCSFrameIndex = HazardSlotIndex;
4043 int &Min,
int &Max) {
4044 Min = std::numeric_limits<int>::max();
4045 Max = std::numeric_limits<int>::min();
4051 for (
auto &CS : CSI) {
4052 if (AArch64::ZPRRegClass.
contains(CS.getReg()) ||
4053 AArch64::PPRRegClass.contains(CS.getReg())) {
4054 assert((Max == std::numeric_limits<int>::min() ||
4055 Max + 1 == CS.getFrameIdx()) &&
4056 "SVE CalleeSaves are not consecutive");
4058 Min = std::min(Min, CS.getFrameIdx());
4059 Max = std::max(Max, CS.getFrameIdx());
4062 return Min != std::numeric_limits<int>::max();
4071 int &MinCSFrameIndex,
4072 int &MaxCSFrameIndex,
4073 bool AssignOffsets) {
4078 "SVE vectors should never be passed on the stack by value, only by "
4082 auto Assign = [&MFI](
int FI, int64_t
Offset) {
4092 for (
int I = MinCSFrameIndex;
I <= MaxCSFrameIndex; ++
I) {
4108 int StackProtectorFI = -1;
4112 ObjectsToAllocate.
push_back(StackProtectorFI);
4118 if (
I == StackProtectorFI)
4120 if (MaxCSFrameIndex >=
I &&
I >= MinCSFrameIndex)
4129 for (
unsigned FI : ObjectsToAllocate) {
4134 if (Alignment >
Align(16))
4136 "Alignment of scalable vectors > 16 bytes is not yet supported");
4146int64_t AArch64FrameLowering::estimateSVEStackObjectOffsets(
4148 int MinCSFrameIndex, MaxCSFrameIndex;
4152int64_t AArch64FrameLowering::assignSVEStackObjectOffsets(
4163 "Upwards growing stack unsupported");
4165 int MinCSFrameIndex, MaxCSFrameIndex;
4166 int64_t SVEStackSize =
4167 assignSVEStackObjectOffsets(MFI, MinCSFrameIndex, MaxCSFrameIndex);
4187 int64_t FixedObject =
4200 assert(DstReg &&
"There must be a free register after frame setup");
4209struct TagStoreInstr {
4232 std::optional<int64_t> FrameRegUpdate;
4234 unsigned FrameRegUpdateFlags;
4245 :
MBB(
MBB), ZeroData(ZeroData) {
4251 void addInstruction(TagStoreInstr
I) {
4253 TagStores.
back().Offset + TagStores.
back().Size ==
I.Offset) &&
4254 "Non-adjacent tag store instructions.");
4257 void clear() { TagStores.
clear(); }
4269 const int64_t kMinOffset = -256 * 16;
4270 const int64_t kMaxOffset = 255 * 16;
4273 int64_t BaseRegOffsetBytes = FrameRegOffset.
getFixed();
4274 if (BaseRegOffsetBytes < kMinOffset ||
4275 BaseRegOffsetBytes + (
Size -
Size % 32) > kMaxOffset ||
4279 BaseRegOffsetBytes % 16 != 0) {
4280 Register ScratchReg =
MRI->createVirtualRegister(&AArch64::GPR64RegClass);
4283 BaseReg = ScratchReg;
4284 BaseRegOffsetBytes = 0;
4289 int64_t InstrSize = (
Size > 16) ? 32 : 16;
4292 ? (ZeroData ? AArch64::STZGi : AArch64::STGi)
4293 : (ZeroData ? AArch64::STZ2Gi : AArch64::ST2Gi);
4294 assert(BaseRegOffsetBytes % 16 == 0);
4298 .
addImm(BaseRegOffsetBytes / 16)
4302 if (BaseRegOffsetBytes == 0)
4304 BaseRegOffsetBytes += InstrSize;
4318 :
MRI->createVirtualRegister(&AArch64::GPR64RegClass);
4319 Register SizeReg =
MRI->createVirtualRegister(&AArch64::GPR64RegClass);
4323 int64_t LoopSize =
Size;
4326 if (FrameRegUpdate && *FrameRegUpdate)
4327 LoopSize -= LoopSize % 32;
4329 TII->get(ZeroData ? AArch64::STZGloop_wback
4330 : AArch64::STGloop_wback))
4337 LoopI->
setFlags(FrameRegUpdateFlags);
4339 int64_t ExtraBaseRegUpdate =
4340 FrameRegUpdate ? (*FrameRegUpdate - FrameRegOffset.
getFixed() -
Size) : 0;
4341 LLVM_DEBUG(
dbgs() <<
"TagStoreEdit::emitLoop: LoopSize=" << LoopSize
4342 <<
", Size=" <<
Size
4343 <<
", ExtraBaseRegUpdate=" << ExtraBaseRegUpdate
4344 <<
", FrameRegUpdate=" << FrameRegUpdate
4345 <<
", FrameRegOffset.getFixed()="
4346 << FrameRegOffset.
getFixed() <<
"\n");
4347 if (LoopSize <
Size) {
4351 int64_t STGOffset = ExtraBaseRegUpdate + 16;
4352 assert(STGOffset % 16 == 0 && STGOffset >= -4096 && STGOffset <= 4080 &&
4353 "STG immediate out of range");
4355 TII->get(ZeroData ? AArch64::STZGPostIndex : AArch64::STGPostIndex))
4362 }
else if (ExtraBaseRegUpdate) {
4364 int64_t AddSubOffset = std::abs(ExtraBaseRegUpdate);
4365 assert(AddSubOffset <= 4095 &&
"ADD/SUB immediate out of range");
4368 TII->get(ExtraBaseRegUpdate > 0 ? AArch64::ADDXri : AArch64::SUBXri))
4381 int64_t
Size, int64_t *TotalOffset) {
4383 if ((
MI.getOpcode() == AArch64::ADDXri ||
4384 MI.getOpcode() == AArch64::SUBXri) &&
4385 MI.getOperand(0).getReg() == Reg &&
MI.getOperand(1).getReg() == Reg) {
4387 int64_t
Offset =
MI.getOperand(2).getImm() << Shift;
4388 if (
MI.getOpcode() == AArch64::SUBXri)
4399 const int64_t kMaxOffset = 4080 - 16;
4401 const int64_t kMinOffset = -4095;
4402 if (PostOffset <= kMaxOffset && PostOffset >= kMinOffset &&
4403 PostOffset % 16 == 0) {
4414 for (
auto &TS : TSE) {
4418 if (
MI->memoperands_empty()) {
4422 MemRefs.
append(
MI->memoperands_begin(),
MI->memoperands_end());
4428 bool TryMergeSPUpdate) {
4429 if (TagStores.
empty())
4431 TagStoreInstr &FirstTagStore = TagStores[0];
4432 TagStoreInstr &LastTagStore = TagStores[TagStores.
size() - 1];
4433 Size = LastTagStore.Offset - FirstTagStore.Offset + LastTagStore.Size;
4434 DL = TagStores[0].MI->getDebugLoc();
4438 *MF, FirstTagStore.Offset,
false ,
false , Reg,
4441 FrameRegUpdate = std::nullopt;
4443 mergeMemRefs(TagStores, CombinedMemRefs);
4446 dbgs() <<
"Replacing adjacent STG instructions:\n";
4447 for (
const auto &Instr : TagStores) {
4456 if (TagStores.
size() < 2)
4458 emitUnrolled(InsertI);
4461 int64_t TotalOffset = 0;
4462 if (TryMergeSPUpdate) {
4468 if (InsertI !=
MBB->
end() &&
4469 canMergeRegUpdate(InsertI, FrameReg, FrameRegOffset.
getFixed() +
Size,
4471 UpdateInstr = &*InsertI++;
4477 if (!UpdateInstr && TagStores.
size() < 2)
4481 FrameRegUpdate = TotalOffset;
4482 FrameRegUpdateFlags = UpdateInstr->
getFlags();
4489 for (
auto &TS : TagStores)
4490 TS.MI->eraseFromParent();
4494 int64_t &
Size,
bool &ZeroData) {
4498 unsigned Opcode =
MI.getOpcode();
4499 ZeroData = (Opcode == AArch64::STZGloop || Opcode == AArch64::STZGi ||
4500 Opcode == AArch64::STZ2Gi);
4502 if (Opcode == AArch64::STGloop || Opcode == AArch64::STZGloop) {
4503 if (!
MI.getOperand(0).isDead() || !
MI.getOperand(1).isDead())
4505 if (!
MI.getOperand(2).isImm() || !
MI.getOperand(3).isFI())
4508 Size =
MI.getOperand(2).getImm();
4512 if (Opcode == AArch64::STGi || Opcode == AArch64::STZGi)
4514 else if (Opcode == AArch64::ST2Gi || Opcode == AArch64::STZ2Gi)
4519 if (
MI.getOperand(0).getReg() != AArch64::SP || !
MI.getOperand(1).isFI())
4523 16 *
MI.getOperand(2).getImm();
4543 if (!isMergeableStackTaggingInstruction(
MI,
Offset,
Size, FirstZeroData))
4549 constexpr int kScanLimit = 10;
4552 NextI != E && Count < kScanLimit; ++NextI) {
4561 if (isMergeableStackTaggingInstruction(
MI,
Offset,
Size, ZeroData)) {
4562 if (ZeroData != FirstZeroData)
4570 if (!
MI.isTransient())
4579 if (
MI.mayLoadOrStore() ||
MI.hasUnmodeledSideEffects() ||
MI.isCall())
4595 LiveRegs.addLiveOuts(*
MBB);
4600 LiveRegs.stepBackward(*
I);
4603 if (LiveRegs.contains(AArch64::NZCV))
4607 [](
const TagStoreInstr &
Left,
const TagStoreInstr &
Right) {
4612 int64_t CurOffset = Instrs[0].Offset;
4613 for (
auto &Instr : Instrs) {
4614 if (CurOffset >
Instr.Offset)
4621 TagStoreEdit TSE(
MBB, FirstZeroData);
4622 std::optional<int64_t> EndOffset;
4623 for (
auto &Instr : Instrs) {
4624 if (EndOffset && *EndOffset !=
Instr.Offset) {
4626 TSE.emitCode(InsertI, TFI,
false);
4630 TSE.addInstruction(Instr);
4650 if (
MI.getOpcode() != AArch64::VGSavePseudo &&
4651 MI.getOpcode() != AArch64::VGRestorePseudo)
4655 bool LocallyStreaming =
4662 int64_t VGFrameIdx =
4664 assert(VGFrameIdx != std::numeric_limits<int>::max() &&
4665 "Expected FrameIdx for VG");
4668 if (
MI.getOpcode() == AArch64::VGSavePseudo) {
4673 nullptr,
TRI->getDwarfRegNum(AArch64::VG,
true),
Offset));
4676 nullptr,
TRI->getDwarfRegNum(AArch64::VG,
true)));
4679 TII->get(TargetOpcode::CFI_INSTRUCTION))
4682 MI.eraseFromParent();
4693 II = tryMergeAdjacentSTG(
II,
this, RS);
4702 bool IgnoreSPUpdates)
const {
4704 if (IgnoreSPUpdates) {
4707 FrameReg = AArch64::SP;
4717 FrameReg = AArch64::SP;
4742 bool IsValid =
false;
4744 int ObjectIndex = 0;
4746 int GroupIndex = -1;
4748 bool ObjectFirst =
false;
4751 bool GroupFirst =
false;
4755 unsigned Accesses = 0;
4756 enum { AccessFPR = 1, AccessHazard = 2, AccessGPR = 4 };
4761 int NextGroupIndex = 0;
4762 std::vector<FrameObject> &Objects;
4765 GroupBuilder(std::vector<FrameObject> &Objects) : Objects(Objects) {}
4767 void EndCurrentGroup() {
4768 if (CurrentMembers.
size() > 1) {
4773 for (
int Index : CurrentMembers) {
4774 Objects[
Index].GroupIndex = NextGroupIndex;
4780 CurrentMembers.clear();
4784bool FrameObjectCompare(
const FrameObject &
A,
const FrameObject &
B) {
4806 return std::make_tuple(!
A.IsValid,
A.Accesses,
A.ObjectFirst,
A.GroupFirst,
4807 A.GroupIndex,
A.ObjectIndex) <
4808 std::make_tuple(!
B.IsValid,
B.Accesses,
B.ObjectFirst,
B.GroupFirst,
4809 B.GroupIndex,
B.ObjectIndex);
4820 std::vector<FrameObject> FrameObjects(MFI.getObjectIndexEnd());
4821 for (
auto &Obj : ObjectsToAllocate) {
4822 FrameObjects[Obj].IsValid =
true;
4823 FrameObjects[Obj].ObjectIndex = Obj;
4828 GroupBuilder GB(FrameObjects);
4829 for (
auto &
MBB : MF) {
4830 for (
auto &
MI :
MBB) {
4831 if (
MI.isDebugInstr())
4836 if (FI && *FI >= 0 && *FI < (
int)FrameObjects.size()) {
4839 FrameObjects[*FI].Accesses |= FrameObject::AccessFPR;
4841 FrameObjects[*FI].Accesses |= FrameObject::AccessGPR;
4846 switch (
MI.getOpcode()) {
4847 case AArch64::STGloop:
4848 case AArch64::STZGloop:
4852 case AArch64::STZGi:
4853 case AArch64::ST2Gi:
4854 case AArch64::STZ2Gi:
4866 if (FI >= 0 && FI < MFI.getObjectIndexEnd() &&
4867 FrameObjects[FI].IsValid)
4875 GB.AddMember(TaggedFI);
4877 GB.EndCurrentGroup();
4880 GB.EndCurrentGroup();
4885 FrameObject::AccessHazard;
4887 for (
auto &Obj : FrameObjects)
4888 if (!Obj.Accesses ||
4889 Obj.Accesses == (FrameObject::AccessGPR | FrameObject::AccessFPR))
4890 Obj.Accesses = FrameObject::AccessGPR;
4899 FrameObjects[*TBPI].ObjectFirst =
true;
4900 FrameObjects[*TBPI].GroupFirst =
true;
4901 int FirstGroupIndex = FrameObjects[*TBPI].GroupIndex;
4902 if (FirstGroupIndex >= 0)
4903 for (FrameObject &Object : FrameObjects)
4904 if (Object.GroupIndex == FirstGroupIndex)
4905 Object.GroupFirst =
true;
4911 for (
auto &Obj : FrameObjects) {
4915 ObjectsToAllocate[i++] = Obj.ObjectIndex;
4919 dbgs() <<
"Final frame order:\n";
4920 for (
auto &Obj : FrameObjects) {
4923 dbgs() <<
" " << Obj.ObjectIndex <<
": group " << Obj.GroupIndex;
4924 if (Obj.ObjectFirst)
4925 dbgs() <<
", first";
4927 dbgs() <<
", group-first";
4938AArch64FrameLowering::inlineStackProbeLoopExactMultiple(
4949 MF.
insert(MBBInsertPoint, LoopMBB);
4951 MF.
insert(MBBInsertPoint, ExitMBB);
4986 return ExitMBB->
begin();
4989void AArch64FrameLowering::inlineStackProbeFixed(
5002 int64_t NumBlocks = FrameSize / ProbeSize;
5003 int64_t ResidualSize = FrameSize % ProbeSize;
5005 LLVM_DEBUG(
dbgs() <<
"Stack probing: total " << FrameSize <<
" bytes, "
5006 << NumBlocks <<
" blocks of " << ProbeSize
5007 <<
" bytes, plus " << ResidualSize <<
" bytes\n");
5012 for (
int i = 0; i < NumBlocks; ++i) {
5018 EmitAsyncCFI && !HasFP, CFAOffset);
5027 }
else if (NumBlocks != 0) {
5033 EmitAsyncCFI && !HasFP, CFAOffset);
5035 MBBI = inlineStackProbeLoopExactMultiple(
MBBI, ProbeSize, ScratchReg);
5037 if (EmitAsyncCFI && !HasFP) {
5041 unsigned Reg =
RegInfo.getDwarfRegNum(AArch64::SP,
true);
5050 if (ResidualSize != 0) {
5056 EmitAsyncCFI && !HasFP, CFAOffset);
5075 if (
MI.getOpcode() == AArch64::PROBED_STACKALLOC ||
5076 MI.getOpcode() == AArch64::PROBED_STACKALLOC_VAR)
5080 if (
MI->getOpcode() == AArch64::PROBED_STACKALLOC) {
5081 Register ScratchReg =
MI->getOperand(0).getReg();
5082 int64_t FrameSize =
MI->getOperand(1).getImm();
5084 MI->getOperand(3).getImm());
5085 inlineStackProbeFixed(
MI->getIterator(), ScratchReg, FrameSize,
5088 assert(
MI->getOpcode() == AArch64::PROBED_STACKALLOC_VAR &&
5089 "Stack probe pseudo-instruction expected");
5092 Register TargetReg =
MI->getOperand(0).getReg();
5093 (void)
TII->probedStackAlloc(
MI->getIterator(), TargetReg,
true);
5095 MI->eraseFromParent();
5115 return std::make_tuple(start(),
Idx) <
5116 std::make_tuple(Rhs.
start(), Rhs.
Idx);
5121 return AccessTypes & (AccessType::GPR | AccessType::PPR);
5123 bool isSME()
const {
return AccessTypes & AccessType::FPR; }
5124 bool isMixed()
const {
return isCPU() && isSME(); }
5130 switch (AccessTypes) {
5131 case AccessType::FPR:
5133 case AccessType::PPR:
5135 case AccessType::GPR:
5137 case AccessType::NotAccessed:
5146 << (
Offset.getFixed() < 0 ?
"" :
"+") <<
Offset.getFixed();
5147 if (
Offset.getScalable())
5148 OS << (
Offset.getScalable() < 0 ?
"" :
"+") <<
Offset.getScalable()
5159void AArch64FrameLowering::emitRemarks(
5163 if (
Attrs.hasNonStreamingInterfaceAndBody())
5170 if (HazardSize == 0)
5178 std::vector<StackAccess> StackAccesses(MFI.
getNumObjects());
5180 size_t NumFPLdSt = 0;
5181 size_t NumNonFPLdSt = 0;
5186 if (!
MI.mayLoadOrStore() ||
MI.getNumMemOperands() < 1)
5195 StackAccesses[ArrIdx].Idx = FrameIdx;
5196 StackAccesses[ArrIdx].Offset =
5203 if (AArch64::PPRRegClass.
contains(
MI.getOperand(0).getReg()))
5211 StackAccesses[ArrIdx].AccessTypes |= RegTy;
5222 if (NumFPLdSt == 0 || NumNonFPLdSt == 0)
5231 StackAccesses.end());
5236 if (StackAccesses.front().isMixed())
5237 MixedObjects.
push_back(&StackAccesses.front());
5239 for (
auto It = StackAccesses.begin(),
End = std::prev(StackAccesses.end());
5241 const auto &
First = *It;
5242 const auto &Second = *(It + 1);
5244 if (Second.isMixed())
5247 if ((
First.isSME() && Second.isCPU()) ||
5248 (
First.isCPU() && Second.isSME())) {
5250 if (Distance < HazardSize)
5258 "sme",
"StackHazard", MF.getFunction().getSubprogram(), &MF.front());
5259 return R <<
formatv(
"stack hazard in '{0}': ", MF.getName()).str() << Str;
5263 for (
const auto &
P : HazardPairs)
5264 EmitRemark(
formatv(
"{0} is too close to {1}", *
P.first, *
P.second).str());
5266 for (
const auto *Obj : MixedObjects)
5268 formatv(
"{0} accessed by both GP and FP instructions", *Obj).str());
unsigned const MachineRegisterInfo * MRI
for(const MachineOperand &MO :llvm::drop_begin(OldMI.operands(), Desc.getNumOperands()))
static int64_t getArgumentStackToRestore(MachineFunction &MF, MachineBasicBlock &MBB)
Returns how much of the incoming argument stack area (in bytes) we should clean up in an epilogue.
static void emitShadowCallStackEpilogue(const TargetInstrInfo &TII, MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL)
static void getLiveRegsForEntryMBB(LivePhysRegs &LiveRegs, const MachineBasicBlock &MBB)
static void emitCalleeSavedRestores(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, bool SVE)
static void computeCalleeSaveRegisterPairs(MachineFunction &MF, ArrayRef< CalleeSavedInfo > CSI, const TargetRegisterInfo *TRI, SmallVectorImpl< RegPairInfo > &RegPairs, bool NeedsFrameRecord)
static const unsigned DefaultSafeSPDisplacement
This is the biggest offset to the stack pointer we can encode in aarch64 instructions (without using ...
static void emitDefineCFAWithFP(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, unsigned FixedObject)
static bool needsWinCFI(const MachineFunction &MF)
static void insertCFISameValue(const MCInstrDesc &Desc, MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertPt, unsigned DwarfReg)
static cl::opt< bool > StackTaggingMergeSetTag("stack-tagging-merge-settag", cl::desc("merge settag instruction in function epilog"), cl::init(true), cl::Hidden)
bool requiresGetVGCall(MachineFunction &MF)
bool enableMultiVectorSpillFill(const AArch64Subtarget &Subtarget, MachineFunction &MF)
bool isVGInstruction(MachineBasicBlock::iterator MBBI)
static std::optional< int > getLdStFrameID(const MachineInstr &MI, const MachineFrameInfo &MFI)
static bool produceCompactUnwindFrame(MachineFunction &MF)
static cl::opt< bool > StackHazardInNonStreaming("aarch64-stack-hazard-in-non-streaming", cl::init(false), cl::Hidden)
static int64_t determineSVEStackObjectOffsets(MachineFrameInfo &MFI, int &MinCSFrameIndex, int &MaxCSFrameIndex, bool AssignOffsets)
static cl::opt< bool > OrderFrameObjects("aarch64-order-frame-objects", cl::desc("sort stack allocations"), cl::init(true), cl::Hidden)
static bool windowsRequiresStackProbe(MachineFunction &MF, uint64_t StackSizeInBytes)
static void fixupCalleeSaveRestoreStackOffset(MachineInstr &MI, uint64_t LocalStackSize, bool NeedsWinCFI, bool *HasWinCFI)
static bool invalidateWindowsRegisterPairing(unsigned Reg1, unsigned Reg2, bool NeedsWinCFI, bool IsFirst, const TargetRegisterInfo *TRI)
static MachineBasicBlock::iterator convertCalleeSaveRestoreToSPPrePostIncDec(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, const TargetInstrInfo *TII, int CSStackSizeInc, bool NeedsWinCFI, bool *HasWinCFI, bool EmitCFI, MachineInstr::MIFlag FrameFlag=MachineInstr::FrameSetup, int CFAOffset=0)
static void fixupSEHOpcode(MachineBasicBlock::iterator MBBI, unsigned LocalStackSize)
static StackOffset getSVEStackSize(const MachineFunction &MF)
Returns the size of the entire SVE stackframe (calleesaves + spills).
static cl::opt< bool > DisableMultiVectorSpillFill("aarch64-disable-multivector-spill-fill", cl::desc("Disable use of LD/ST pairs for SME2 or SVE2p1"), cl::init(false), cl::Hidden)
static cl::opt< bool > EnableRedZone("aarch64-redzone", cl::desc("enable use of redzone on AArch64"), cl::init(false), cl::Hidden)
static MachineBasicBlock::iterator InsertSEH(MachineBasicBlock::iterator MBBI, const TargetInstrInfo &TII, MachineInstr::MIFlag Flag)
static Register findScratchNonCalleeSaveRegister(MachineBasicBlock *MBB)
static void getLivePhysRegsUpTo(MachineInstr &MI, const TargetRegisterInfo &TRI, LivePhysRegs &LiveRegs)
Collect live registers from the end of MI's parent up to (including) MI in LiveRegs.
cl::opt< bool > EnableHomogeneousPrologEpilog("homogeneous-prolog-epilog", cl::Hidden, cl::desc("Emit homogeneous prologue and epilogue for the size " "optimization (default = off)"))
MachineBasicBlock::iterator emitVGSaveRestore(MachineBasicBlock::iterator II, const AArch64FrameLowering *TFI)
static bool IsSVECalleeSave(MachineBasicBlock::iterator I)
static bool invalidateRegisterPairing(unsigned Reg1, unsigned Reg2, bool UsesWinAAPCS, bool NeedsWinCFI, bool NeedsFrameRecord, bool IsFirst, const TargetRegisterInfo *TRI)
Returns true if Reg1 and Reg2 cannot be paired using a ldp/stp instruction.
unsigned findFreePredicateReg(BitVector &SavedRegs)
static unsigned getPrologueDeath(MachineFunction &MF, unsigned Reg)
static StackOffset getFPOffset(const MachineFunction &MF, int64_t ObjectOffset)
static bool isTargetWindows(const MachineFunction &MF)
static StackOffset getStackOffset(const MachineFunction &MF, int64_t ObjectOffset)
static int64_t upperBound(StackOffset Size)
static unsigned estimateRSStackSizeLimit(MachineFunction &MF)
Look at each instruction that references stack frames and return the stack size limit beyond which so...
static bool getSVECalleeSaveSlotRange(const MachineFrameInfo &MFI, int &Min, int &Max)
returns true if there are any SVE callee saves.
static cl::opt< unsigned > StackHazardRemarkSize("aarch64-stack-hazard-remark-size", cl::init(0), cl::Hidden)
static MCRegister getRegisterOrZero(MCRegister Reg, bool HasSVE)
static bool isFuncletReturnInstr(const MachineInstr &MI)
static unsigned getStackHazardSize(const MachineFunction &MF)
static void emitShadowCallStackPrologue(const TargetInstrInfo &TII, MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, bool NeedsWinCFI, bool NeedsUnwindInfo)
static std::optional< int > getMMOFrameID(MachineMemOperand *MMO, const MachineFrameInfo &MFI)
static bool requiresSaveVG(MachineFunction &MF)
static unsigned getFixedObjectSize(const MachineFunction &MF, const AArch64FunctionInfo *AFI, bool IsWin64, bool IsFunclet)
Returns the size of the fixed object area (allocated next to sp on entry) On Win64 this may include a...
static const int kSetTagLoopThreshold
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
This file contains the simple types necessary to represent the attributes associated with functions a...
#define CASE(ATTRNAME, AANAME,...)
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
Analysis containing CSE Info
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
static const HTTPClientCleanup Cleanup
const HexagonInstrInfo * TII
static std::string getTypeString(Type *T)
This file implements the LivePhysRegs utility for tracking liveness of physical registers.
unsigned const TargetRegisterInfo * TRI
static unsigned getReg(const MCDisassembler *D, unsigned RC, unsigned RegNo)
uint64_t IntrinsicInst * II
static const MCPhysReg FPR[]
FPR - The set of FP registers that should be allocated for arguments on Darwin and AIX.
This file declares the machine register scavenger class.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
This file defines the make_scope_exit function, which executes user-defined cleanup logic at scope ex...
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
static const unsigned FramePtr
void processFunctionBeforeFrameIndicesReplaced(MachineFunction &MF, RegScavenger *RS) const override
processFunctionBeforeFrameIndicesReplaced - This method is called immediately before MO_FrameIndex op...
MachineBasicBlock::iterator eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator I) const override
This method is called during prolog/epilog code insertion to eliminate call frame setup and destroy p...
bool canUseAsPrologue(const MachineBasicBlock &MBB) const override
Check whether or not the given MBB can be used as a prologue for the target.
bool enableStackSlotScavenging(const MachineFunction &MF) const override
Returns true if the stack slot holes in the fixed and callee-save stack area should be used when allo...
bool spillCalleeSavedRegisters(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, ArrayRef< CalleeSavedInfo > CSI, const TargetRegisterInfo *TRI) const override
spillCalleeSavedRegisters - Issues instruction(s) to spill all callee saved registers and returns tru...
bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, MutableArrayRef< CalleeSavedInfo > CSI, const TargetRegisterInfo *TRI) const override
restoreCalleeSavedRegisters - Issues instruction(s) to restore all callee saved registers and returns...
StackOffset getFrameIndexReferenceFromSP(const MachineFunction &MF, int FI) const override
getFrameIndexReferenceFromSP - This method returns the offset from the stack pointer to the slot of t...
StackOffset getNonLocalFrameIndexReference(const MachineFunction &MF, int FI) const override
getNonLocalFrameIndexReference - This method returns the offset used to reference a frame index locat...
TargetStackID::Value getStackIDForScalableVectors() const override
Returns the StackID that scalable vectors should be associated with.
bool hasFPImpl(const MachineFunction &MF) const override
hasFPImpl - Return true if the specified function should have a dedicated frame pointer register.
void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override
emitProlog/emitEpilog - These methods insert prolog and epilog code into the function.
bool enableCFIFixup(MachineFunction &MF) const override
Returns true if we may need to fix the unwind information for the function.
void resetCFIToInitialState(MachineBasicBlock &MBB) const override
Emit CFI instructions that recreate the state of the unwind information upon fucntion entry.
bool hasReservedCallFrame(const MachineFunction &MF) const override
hasReservedCallFrame - Under normal circumstances, when a frame pointer is not required,...
bool canUseRedZone(const MachineFunction &MF) const
Can this function use the red zone for local allocations.
void processFunctionBeforeFrameFinalized(MachineFunction &MF, RegScavenger *RS) const override
processFunctionBeforeFrameFinalized - This method is called immediately before the specified function...
int getSEHFrameIndexOffset(const MachineFunction &MF, int FI) const
unsigned getWinEHFuncletFrameSize(const MachineFunction &MF) const
Funclets only need to account for space for the callee saved registers, as the locals are accounted f...
void orderFrameObjects(const MachineFunction &MF, SmallVectorImpl< int > &ObjectsToAllocate) const override
Order the symbols in the local stack frame.
void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override
void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS) const override
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg) const override
getFrameIndexReference - Provide a base+offset reference to an FI slot for debug info.
StackOffset resolveFrameOffsetReference(const MachineFunction &MF, int64_t ObjectOffset, bool isFixed, bool isSVE, Register &FrameReg, bool PreferFP, bool ForSimm) const
bool assignCalleeSavedSpillSlots(MachineFunction &MF, const TargetRegisterInfo *TRI, std::vector< CalleeSavedInfo > &CSI, unsigned &MinCSFrameIndex, unsigned &MaxCSFrameIndex) const override
assignCalleeSavedSpillSlots - Allows target to override spill slot assignment logic.
StackOffset getFrameIndexReferencePreferSP(const MachineFunction &MF, int FI, Register &FrameReg, bool IgnoreSPUpdates) const override
For Win64 AArch64 EH, the offset to the Unwind object is from the SP before the update.
StackOffset resolveFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg, bool PreferFP, bool ForSimm) const
unsigned getWinEHParentFrameOffset(const MachineFunction &MF) const override
The parent frame offset (aka dispFrame) is only used on X86_64 to retrieve the parent's frame pointer...
AArch64FunctionInfo - This class is derived from MachineFunctionInfo and contains private AArch64-spe...
bool needsShadowCallStackPrologueEpilogue(MachineFunction &MF) const
void setSwiftAsyncContextFrameIdx(int FI)
unsigned getTailCallReservedStack() const
unsigned getCalleeSavedStackSize(const MachineFrameInfo &MFI) const
void setCalleeSaveBaseToFrameRecordOffset(int Offset)
bool hasStackProbing() const
unsigned getArgumentStackToRestore() const
void setLocalStackSize(uint64_t Size)
void setVGIdx(unsigned Idx)
int getCalleeSaveBaseToFrameRecordOffset() const
bool hasStreamingModeChanges() const
bool shouldSignReturnAddress(const MachineFunction &MF) const
void setPredicateRegForFillSpill(unsigned Reg)
int getStackHazardSlotIndex() const
void setStreamingVGIdx(unsigned FrameIdx)
int64_t getStackProbeSize() const
uint64_t getStackSizeSVE() const
void setHasRedZone(bool s)
bool hasStackFrame() const
std::optional< int > getTaggedBasePointerIndex() const
uint64_t getLocalStackSize() const
void setStackRealigned(bool s)
bool needsDwarfUnwindInfo(const MachineFunction &MF) const
unsigned getVarArgsGPRSize() const
void setStackSizeSVE(uint64_t S)
bool isStackRealigned() const
bool hasSwiftAsyncContext() const
bool hasStackHazardSlotIndex() const
void setTaggedBasePointerOffset(unsigned Offset)
void setStackHazardCSRSlotIndex(int Index)
unsigned getPredicateRegForFillSpill() const
unsigned getSVECalleeSavedStackSize() const
bool needsAsyncDwarfUnwindInfo(const MachineFunction &MF) const
int64_t getStreamingVGIdx() const
void setMinMaxSVECSFrameIndex(int Min, int Max)
bool hasCalleeSaveStackFreeSpace() const
static bool isTailCallReturnInst(const MachineInstr &MI)
Returns true if MI is one of the TCRETURN* instructions.
static bool isSEHInstruction(const MachineInstr &MI)
Return true if the instructions is a SEH instruciton used for unwinding on Windows.
static bool isFpOrNEON(Register Reg)
Returns whether the physical register is FP or NEON.
bool isReservedReg(const MachineFunction &MF, MCRegister Reg) const
bool hasBasePointer(const MachineFunction &MF) const
bool cannotEliminateFrame(const MachineFunction &MF) const
unsigned getBaseRegister() const
bool isTargetWindows() const
const AArch64RegisterInfo * getRegisterInfo() const override
bool isNeonAvailable() const
Returns true if the target has NEON and the function at runtime is known to have NEON enabled (e....
const AArch64InstrInfo * getInstrInfo() const override
bool isTargetILP32() const
const AArch64TargetLowering * getTargetLowering() const override
bool isTargetMachO() const
const Triple & getTargetTriple() const
const char * getChkStkName() const
bool isSVEorStreamingSVEAvailable() const
Returns true if the target has access to either the full range of SVE instructions,...
bool isStreaming() const
Returns true if the function has a streaming body.
bool isCallingConvWin64(CallingConv::ID CC, bool IsVarArg) const
bool swiftAsyncContextIsDynamicallySet() const
Return whether FrameLowering should always set the "extended frame present" bit in FP,...
bool hasInlineStackProbe(const MachineFunction &MF) const override
True if stack clash protection is enabled for this functions.
unsigned getRedZoneSize(const Function &F) const
bool supportSwiftError() const override
Return true if the target supports swifterror attribute.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
size - Get the array size.
bool empty() const
empty - Check if the array is empty.
bool hasAttrSomewhere(Attribute::AttrKind Kind, unsigned *Index=nullptr) const
Return true if the specified attribute is set for at least one parameter or for the return value.
bool test(unsigned Idx) const
size_type count() const
count - Returns the number of bits which are set.
iterator_range< const_set_bits_iterator > set_bits() const
The CalleeSavedInfo class tracks the information need to locate where a callee saved register is in t...
bool hasOptSize() const
Optimize this function for size (-Os) or minimum size (-Oz).
bool hasMinSize() const
Optimize this function for minimum size (-Oz).
CallingConv::ID getCallingConv() const
getCallingConv()/setCallingConv(CC) - These method get and set the calling convention of this functio...
AttributeList getAttributes() const
Return the attribute list for this Function.
bool isVarArg() const
isVarArg - Return true if this function takes a variable number of arguments.
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, const DebugLoc &DL, MCRegister DestReg, MCRegister SrcReg, bool KillSrc, bool RenamableDest=false, bool RenamableSrc=false) const override
Emit instructions to copy a pair of physical registers.
A set of physical registers with utility functions to track liveness when walking backward/forward th...
bool available(const MachineRegisterInfo &MRI, MCPhysReg Reg) const
Returns true if register Reg and no aliasing register is in the set.
void stepBackward(const MachineInstr &MI)
Simulates liveness when stepping backwards over an instruction(bundle).
void removeReg(MCPhysReg Reg)
Removes a physical register, all its sub-registers, and all its super-registers from the set.
void addLiveIns(const MachineBasicBlock &MBB)
Adds all live-in registers of basic block MBB.
void addLiveOuts(const MachineBasicBlock &MBB)
Adds all live-out registers of basic block MBB.
void addReg(MCPhysReg Reg)
Adds a physical register and all its sub-registers to the set.
bool usesWindowsCFI() const
static MCCFIInstruction createDefCfaRegister(MCSymbol *L, unsigned Register, SMLoc Loc={})
.cfi_def_cfa_register modifies a rule for computing CFA.
static MCCFIInstruction createRestore(MCSymbol *L, unsigned Register, SMLoc Loc={})
.cfi_restore says that the rule for Register is now the same as it was at the beginning of the functi...
static MCCFIInstruction cfiDefCfa(MCSymbol *L, unsigned Register, int64_t Offset, SMLoc Loc={})
.cfi_def_cfa defines a rule for computing CFA as: take address from Register and add Offset to it.
static MCCFIInstruction createOffset(MCSymbol *L, unsigned Register, int64_t Offset, SMLoc Loc={})
.cfi_offset Previous value of Register is saved at offset Offset from CFA.
static MCCFIInstruction createNegateRAStateWithPC(MCSymbol *L, SMLoc Loc={})
.cfi_negate_ra_state_with_pc AArch64 negate RA state with PC.
static MCCFIInstruction createNegateRAState(MCSymbol *L, SMLoc Loc={})
.cfi_negate_ra_state AArch64 negate RA state.
static MCCFIInstruction cfiDefCfaOffset(MCSymbol *L, int64_t Offset, SMLoc Loc={})
.cfi_def_cfa_offset modifies a rule for computing CFA.
static MCCFIInstruction createEscape(MCSymbol *L, StringRef Vals, SMLoc Loc={}, StringRef Comment="")
.cfi_escape Allows the user to add arbitrary bytes to the unwind info.
static MCCFIInstruction createSameValue(MCSymbol *L, unsigned Register, SMLoc Loc={})
.cfi_same_value Current value of Register is the same as in the previous frame.
MCSymbol * createTempSymbol()
Create a temporary symbol with a unique name.
Describe properties that are true of each instruction in the target description file.
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 ...
void transferSuccessorsAndUpdatePHIs(MachineBasicBlock *FromMBB)
Transfers all the successors, as in transferSuccessors, and update PHI operands in the successor bloc...
instr_iterator instr_begin()
iterator_range< livein_iterator > liveins() const
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
bool isEHFuncletEntry() const
Returns true if this is the entry block of an EH funclet.
iterator getFirstTerminator()
Returns an iterator to the first terminator instruction of this basic block.
MachineInstr & instr_back()
void addSuccessor(MachineBasicBlock *Succ, BranchProbability Prob=BranchProbability::getUnknown())
Add Succ as a successor of this MachineBasicBlock.
DebugLoc findDebugLoc(instr_iterator MBBI)
Find the next valid DebugLoc starting at MBBI, skipping any debug instructions.
iterator getLastNonDebugInstr(bool SkipPseudoOp=true)
Returns an iterator to the last non-debug instruction in the basic block, or end().
instr_iterator instr_end()
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
instr_iterator erase(instr_iterator I)
Remove an instruction from the instruction list and delete it.
reverse_iterator rbegin()
iterator insertAfter(iterator I, MachineInstr *MI)
Insert MI into the instruction list after I.
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 '...
bool isLiveIn(MCRegister Reg, LaneBitmask LaneMask=LaneBitmask::getAll()) const
Return true if the specified register is in the live in set.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
int CreateFixedObject(uint64_t Size, int64_t SPOffset, bool IsImmutable, bool isAliased=false)
Create a new object at a fixed location on the stack.
bool hasVarSizedObjects() const
This method may be called any time after instruction selection is complete to determine if the stack ...
uint64_t getStackSize() const
Return the number of bytes that must be allocated to hold all of the fixed size frame objects.
const AllocaInst * getObjectAllocation(int ObjectIdx) const
Return the underlying Alloca of the specified stack object if it exists.
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.
bool hasCalls() const
Return true if the current function has any function calls.
bool isFrameAddressTaken() const
This method may be called any time after instruction selection is complete to determine if there is a...
Align getMaxAlign() const
Return the alignment in bytes that this function must be aligned to, which is greater than the defaul...
void setObjectOffset(int ObjectIdx, int64_t SPOffset)
Set the stack frame offset of the specified object.
uint64_t getMaxCallFrameSize() const
Return the maximum size of a call frame that must be allocated for an outgoing function call.
bool hasPatchPoint() const
This method may be called any time after instruction selection is complete to determine if there is a...
int getStackProtectorIndex() const
Return the index for the stack protector object.
int CreateSpillStackObject(uint64_t Size, Align Alignment)
Create a new statically sized stack object that represents a spill slot, returning a nonnegative iden...
uint64_t estimateStackSize(const MachineFunction &MF) const
Estimate and return the size of the stack frame.
void setStackID(int ObjectIdx, uint8_t ID)
bool isCalleeSavedInfoValid() const
Has the callee saved info been calculated yet?
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
int64_t getObjectSize(int ObjectIdx) const
Return the size of the specified object.
bool isMaxCallFrameSizeComputed() const
bool hasStackMap() const
This method may be called any time after instruction selection is complete to determine if there is a...
const std::vector< CalleeSavedInfo > & getCalleeSavedInfo() const
Returns a reference to call saved info vector for the current function.
unsigned getNumObjects() const
Return the number of objects.
int getObjectIndexEnd() const
Return one past the maximum frame object index.
bool hasStackProtectorIndex() const
bool hasStackObjects() const
Return true if there are any stack objects in this function.
uint8_t getStackID(int ObjectIdx) const
unsigned getNumFixedObjects() const
Return the number of fixed objects.
int64_t getObjectOffset(int ObjectIdx) const
Return the assigned stack offset of the specified object from the incoming stack pointer.
int getObjectIndexBegin() const
Return the minimum frame object index.
void setObjectAlignment(int ObjectIdx, Align Alignment)
setObjectAlignment - Change the alignment of the specified stack object.
bool isDeadObjectIndex(int ObjectIdx) const
Returns true if the specified index corresponds to a dead object.
const WinEHFuncInfo * getWinEHFuncInfo() const
getWinEHFuncInfo - Return information about how the current function uses Windows exception handling.
unsigned addFrameInst(const MCCFIInstruction &Inst)
void setHasWinCFI(bool v)
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
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.
MCContext & getContext() const
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Function & getFunction()
Return the LLVM function that this machine code represents.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
const MachineBasicBlock & front() const
bool hasEHFunclets() const
MachineBasicBlock * CreateMachineBasicBlock(const BasicBlock *BB=nullptr, std::optional< UniqueBBID > BBID=std::nullopt)
CreateMachineBasicBlock - Allocate a new MachineBasicBlock.
void insert(iterator MBBI, MachineBasicBlock *MBB)
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
const MachineInstrBuilder & setMemRefs(ArrayRef< MachineMemOperand * > MMOs) const
const MachineInstrBuilder & addExternalSymbol(const char *FnName, unsigned TargetFlags=0) const
const MachineInstrBuilder & addCFIIndex(unsigned CFIIndex) const
const MachineInstrBuilder & setMIFlag(MachineInstr::MIFlag Flag) const
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & add(const MachineOperand &MO) const
const MachineInstrBuilder & addFrameIndex(int Idx) const
const MachineInstrBuilder & addRegMask(const uint32_t *Mask) const
const MachineInstrBuilder & addReg(Register RegNo, unsigned flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
const MachineInstrBuilder & addUse(Register RegNo, unsigned Flags=0, unsigned SubReg=0) const
Add a virtual register use operand.
const MachineInstrBuilder & setMIFlags(unsigned Flags) const
const MachineInstrBuilder & addMemOperand(MachineMemOperand *MMO) const
const MachineInstrBuilder & addDef(Register RegNo, unsigned Flags=0, unsigned SubReg=0) const
Add a virtual register definition operand.
Representation of each machine instruction.
void setFlags(unsigned flags)
void eraseFromParent()
Unlink 'this' from the containing basic block and delete it.
uint32_t getFlags() const
Return the MI flags bitvector.
A description of a memory reference used in the backend.
const PseudoSourceValue * getPseudoValue() const
@ MOLoad
The memory access reads data.
@ MOStore
The memory access writes data.
const Value * getValue() const
Return the base address of the memory access.
MachineOperand class - Representation of each machine instruction operand.
void setImm(int64_t immVal)
static MachineOperand CreateImm(int64_t Val)
bool isFI() const
isFI - Tests if this is a MO_FrameIndex operand.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
bool isLiveIn(Register Reg) const
const MCPhysReg * getCalleeSavedRegs() const
Returns list of callee saved registers.
bool isPhysRegUsed(MCRegister PhysReg, bool SkipRegMaskTest=false) const
Return true if the specified register is modified or read in this function.
MutableArrayRef - Represent a mutable reference to an array (0 or more elements consecutively in memo...
void enterBasicBlockEnd(MachineBasicBlock &MBB)
Start tracking liveness from the end of basic block MBB.
Register FindUnusedReg(const TargetRegisterClass *RC) const
Find an unused register of the specified register class.
void backward()
Update internal register state and move MBB iterator backwards.
void addScavengingFrameIndex(int FI)
Add a scavenging frame index.
Wrapper class representing virtual and physical registers.
SMEAttrs is a utility class to parse the SME ACLE attributes on functions.
bool hasStreamingInterface() const
bool hasStreamingBody() const
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StackOffset holds a fixed and a scalable offset in bytes.
int64_t getFixed() const
Returns the fixed component of the stack.
int64_t getScalable() const
Returns the scalable component of the stack.
static StackOffset get(int64_t Fixed, int64_t Scalable)
static StackOffset getScalable(int64_t Scalable)
static StackOffset getFixed(int64_t Fixed)
StringRef - Represent a constant reference to a string, i.e.
bool hasFP(const MachineFunction &MF) const
hasFP - Return true if the specified function should have a dedicated frame pointer register.
virtual void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
int getOffsetOfLocalArea() const
getOffsetOfLocalArea - This method returns the offset of the local area from the stack pointer on ent...
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
virtual bool enableCFIFixup(MachineFunction &MF) const
Returns true if we may need to fix the unwind information for the function.
TargetInstrInfo - Interface to description of machine instruction set.
CodeModel::Model getCodeModel() const
Returns the code model.
const MCAsmInfo * getMCAsmInfo() const
Return target specific asm information.
SwiftAsyncFramePointerMode SwiftAsyncFramePointer
Control when and how the Swift async frame pointer bit should be set.
bool DisableFramePointerElim(const MachineFunction &MF) const
DisableFramePointerElim - This returns true if frame pointer elimination optimization should be disab...
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
const TargetRegisterClass * getMinimalPhysRegClass(MCRegister Reg, MVT VT=MVT::Other) const
Returns the Register Class of a physical register of the given type, picking the most sub register cl...
Align getSpillAlign(const TargetRegisterClass &RC) const
Return the minimum required alignment in bytes for a spill slot for a register of this class.
bool hasStackRealignment(const MachineFunction &MF) const
True if stack realignment is required and still possible.
unsigned getSpillSize(const TargetRegisterClass &RC) const
Return the size in bytes of the stack slot allocated to hold a spilled copy of a register from class ...
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
virtual const TargetInstrInfo * getInstrInfo() const
StringRef getArchName() const
Get the architecture (first) component of the triple.
static constexpr TypeSize getFixed(ScalarTy ExactSize)
The instances of the Type class are immutable: once they are created, they are never changed.
constexpr ScalarTy getFixedValue() const
self_iterator getIterator()
This class implements an extremely fast bulk output stream that can only output to a stream.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ MO_GOT
MO_GOT - This flag indicates that a symbol operand represents the address of the GOT entry for the sy...
static unsigned getShiftValue(unsigned Imm)
getShiftValue - Extract the shift value.
static unsigned getArithExtendImm(AArch64_AM::ShiftExtendType ET, unsigned Imm)
getArithExtendImm - Encode the extend type and shift amount for an arithmetic instruction: imm: 3-bit...
static uint64_t encodeLogicalImmediate(uint64_t imm, unsigned regSize)
encodeLogicalImmediate - Return the encoded immediate value for a logical immediate instruction of th...
static unsigned getShifterImm(AArch64_AM::ShiftExtendType ST, unsigned Imm)
getShifterImm - Encode the shift type and amount: imm: 6-bit shift amount shifter: 000 ==> lsl 001 ==...
const unsigned StackProbeMaxLoopUnroll
Maximum number of iterations to unroll for a constant size probing loop.
const unsigned StackProbeMaxUnprobedStack
Maximum allowed number of unprobed bytes above SP at an ABI boundary.
constexpr char Attrs[]
Key for Kernel::Metadata::mAttrs.
@ AArch64_SVE_VectorCall
Used between AArch64 SVE functions.
@ PreserveMost
Used for runtime calls that preserves most registers.
@ CXX_FAST_TLS
Used for access functions.
@ GHC
Used by the Glasgow Haskell Compiler (GHC).
@ AArch64_SME_ABI_Support_Routines_PreserveMost_From_X1
Preserve X1-X15, X19-X29, SP, Z0-Z31, P0-P15.
@ PreserveAll
Used for runtime calls that preserves (almost) all registers.
@ PreserveNone
Used for runtime calls that preserves none general registers.
@ Win64
The C convention as implemented on Windows/x86-64 and AArch64.
@ SwiftTail
This follows the Swift calling convention in how arguments are passed but guarantees tail calls will ...
@ Implicit
Not emitted register (e.g. carry, or temporary result).
@ Define
Register definition.
@ Kill
The last use of a register.
@ Undef
Value of the register doesn't matter.
Reg
All possible values of the reg field in the ModR/M byte.
initializer< Ty > init(const Ty &Val)
NodeAddr< InstrNode * > Instr
This is an optimization pass for GlobalISel generic memory operations.
void stable_sort(R &&Range)
MCCFIInstruction createDefCFA(const TargetRegisterInfo &TRI, unsigned FrameReg, unsigned Reg, const StackOffset &Offset, bool LastAdjustmentWasScalable=true)
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
int isAArch64FrameOffsetLegal(const MachineInstr &MI, StackOffset &Offset, bool *OutUseUnscaledOp=nullptr, unsigned *OutUnscaledOp=nullptr, int64_t *EmittableOffset=nullptr)
Check if the Offset is a valid frame offset for MI.
detail::scope_exit< std::decay_t< Callable > > make_scope_exit(Callable &&F)
MCCFIInstruction createCFAOffset(const TargetRegisterInfo &MRI, unsigned Reg, const StackOffset &OffsetFromDefCFA)
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
unsigned getBLRCallOpcode(const MachineFunction &MF)
Return opcode to be used for indirect calls.
const Value * getUnderlyingObject(const Value *V, unsigned MaxLookup=6)
This method strips off any GEP address adjustments, pointer casts or llvm.threadlocal....
@ AArch64FrameOffsetCannotUpdate
Offset cannot apply.
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
auto formatv(bool Validate, const char *Fmt, Ts &&...Vals)
auto reverse(ContainerTy &&C)
void sort(IteratorTy Start, IteratorTy End)
@ Always
Always set the bit.
@ Never
Never set the bit.
@ DeploymentBased
Determine whether to set the bit statically or dynamically based on the deployment target.
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
void emitFrameOffset(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, unsigned DestReg, unsigned SrcReg, StackOffset Offset, const TargetInstrInfo *TII, MachineInstr::MIFlag=MachineInstr::NoFlags, bool SetNZCV=false, bool NeedsWinCFI=false, bool *HasWinCFI=nullptr, bool EmitCFAOffset=false, StackOffset InitialOffset={}, unsigned FrameReg=AArch64::SP)
emitFrameOffset - Emit instructions as needed to set DestReg to SrcReg plus Offset.
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
auto remove_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::remove_if which take ranges instead of having to pass begin/end explicitly.
unsigned getDefRegState(bool B)
unsigned getKillRegState(bool B)
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
bool isAsynchronousEHPersonality(EHPersonality Pers)
Returns true if this personality function catches asynchronous exceptions.
void fullyRecomputeLiveIns(ArrayRef< MachineBasicBlock * > MBBs)
Convenience function for recomputing live-in's for a set of MBBs until the computation converges.
Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
bool operator<(const StackAccess &Rhs) const
void print(raw_ostream &OS) const
std::string getTypeString() const
This struct is a compact representation of a valid (non-zero power of two) alignment.
uint64_t value() const
This is a hole in the type system and should not be abused.
Description of the encoding of one expression Op.
Pair of physical register and lane mask.
static MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.