10b57cec5SDimitry Andric //=- AArch64MachineFunctionInfo.h - AArch64 machine function info -*- C++ -*-=// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file declares AArch64-specific per-machine-function information. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric #ifndef LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H 140b57cec5SDimitry Andric #define LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H 150b57cec5SDimitry Andric 160b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h" 170b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h" 180b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/CallingConvLower.h" 205ffd83dbSDimitry Andric #include "llvm/CodeGen/MIRYamlMapping.h" 2181ad6265SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h" 220b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 238bcb0991SDimitry Andric #include "llvm/IR/Function.h" 240b57cec5SDimitry Andric #include "llvm/MC/MCLinkerOptimizationHint.h" 25cb14a3feSDimitry Andric #include "llvm/MC/MCSymbol.h" 260b57cec5SDimitry Andric #include <cassert> 27bdd1243dSDimitry Andric #include <optional> 280b57cec5SDimitry Andric 290b57cec5SDimitry Andric namespace llvm { 300b57cec5SDimitry Andric 315ffd83dbSDimitry Andric namespace yaml { 325ffd83dbSDimitry Andric struct AArch64FunctionInfo; 335ffd83dbSDimitry Andric } // end namespace yaml 345ffd83dbSDimitry Andric 35bdd1243dSDimitry Andric class AArch64Subtarget; 360b57cec5SDimitry Andric class MachineInstr; 370b57cec5SDimitry Andric 380b57cec5SDimitry Andric /// AArch64FunctionInfo - This class is derived from MachineFunctionInfo and 390b57cec5SDimitry Andric /// contains private AArch64-specific information for each MachineFunction. 400b57cec5SDimitry Andric class AArch64FunctionInfo final : public MachineFunctionInfo { 410b57cec5SDimitry Andric /// Number of bytes of arguments this function has on the stack. If the callee 420b57cec5SDimitry Andric /// is expected to restore the argument stack this should be a multiple of 16, 430b57cec5SDimitry Andric /// all usable during a tail call. 440b57cec5SDimitry Andric /// 450b57cec5SDimitry Andric /// The alternative would forbid tail call optimisation in some cases: if we 460b57cec5SDimitry Andric /// want to transfer control from a function with 8-bytes of stack-argument 470b57cec5SDimitry Andric /// space to a function with 16-bytes then misalignment of this value would 480b57cec5SDimitry Andric /// make a stack adjustment necessary, which could not be undone by the 490b57cec5SDimitry Andric /// callee. 500b57cec5SDimitry Andric unsigned BytesInStackArgArea = 0; 510b57cec5SDimitry Andric 520b57cec5SDimitry Andric /// The number of bytes to restore to deallocate space for incoming 530b57cec5SDimitry Andric /// arguments. Canonically 0 in the C calling convention, but non-zero when 540b57cec5SDimitry Andric /// callee is expected to pop the args. 550b57cec5SDimitry Andric unsigned ArgumentStackToRestore = 0; 560b57cec5SDimitry Andric 57fe6060f1SDimitry Andric /// Space just below incoming stack pointer reserved for arguments being 58fe6060f1SDimitry Andric /// passed on the stack during a tail call. This will be the difference 59fe6060f1SDimitry Andric /// between the largest tail call argument space needed in this function and 60fe6060f1SDimitry Andric /// what's already available by reusing space of incoming arguments. 61fe6060f1SDimitry Andric unsigned TailCallReservedStack = 0; 62fe6060f1SDimitry Andric 630b57cec5SDimitry Andric /// HasStackFrame - True if this function has a stack frame. Set by 640b57cec5SDimitry Andric /// determineCalleeSaves(). 650b57cec5SDimitry Andric bool HasStackFrame = false; 660b57cec5SDimitry Andric 670b57cec5SDimitry Andric /// Amount of stack frame size, not including callee-saved registers. 68480093f4SDimitry Andric uint64_t LocalStackSize = 0; 69480093f4SDimitry Andric 70480093f4SDimitry Andric /// The start and end frame indices for the SVE callee saves. 71480093f4SDimitry Andric int MinSVECSFrameIndex = 0; 72480093f4SDimitry Andric int MaxSVECSFrameIndex = 0; 730b57cec5SDimitry Andric 740b57cec5SDimitry Andric /// Amount of stack frame size used for saving callee-saved registers. 75480093f4SDimitry Andric unsigned CalleeSavedStackSize = 0; 76480093f4SDimitry Andric unsigned SVECalleeSavedStackSize = 0; 77480093f4SDimitry Andric bool HasCalleeSavedStackSize = false; 780b57cec5SDimitry Andric 790b57cec5SDimitry Andric /// Number of TLS accesses using the special (combinable) 800b57cec5SDimitry Andric /// _TLS_MODULE_BASE_ symbol. 810b57cec5SDimitry Andric unsigned NumLocalDynamicTLSAccesses = 0; 820b57cec5SDimitry Andric 830b57cec5SDimitry Andric /// FrameIndex for start of varargs area for arguments passed on the 840b57cec5SDimitry Andric /// stack. 850b57cec5SDimitry Andric int VarArgsStackIndex = 0; 860b57cec5SDimitry Andric 87bdd1243dSDimitry Andric /// Offset of start of varargs area for arguments passed on the stack. 88bdd1243dSDimitry Andric unsigned VarArgsStackOffset = 0; 89bdd1243dSDimitry Andric 900b57cec5SDimitry Andric /// FrameIndex for start of varargs area for arguments passed in 910b57cec5SDimitry Andric /// general purpose registers. 920b57cec5SDimitry Andric int VarArgsGPRIndex = 0; 930b57cec5SDimitry Andric 940b57cec5SDimitry Andric /// Size of the varargs area for arguments passed in general purpose 950b57cec5SDimitry Andric /// registers. 960b57cec5SDimitry Andric unsigned VarArgsGPRSize = 0; 970b57cec5SDimitry Andric 980b57cec5SDimitry Andric /// FrameIndex for start of varargs area for arguments passed in 990b57cec5SDimitry Andric /// floating-point registers. 1000b57cec5SDimitry Andric int VarArgsFPRIndex = 0; 1010b57cec5SDimitry Andric 1020b57cec5SDimitry Andric /// Size of the varargs area for arguments passed in floating-point 1030b57cec5SDimitry Andric /// registers. 1040b57cec5SDimitry Andric unsigned VarArgsFPRSize = 0; 1050b57cec5SDimitry Andric 1060b57cec5SDimitry Andric /// True if this function has a subset of CSRs that is handled explicitly via 1070b57cec5SDimitry Andric /// copies. 1080b57cec5SDimitry Andric bool IsSplitCSR = false; 1090b57cec5SDimitry Andric 1100b57cec5SDimitry Andric /// True when the stack gets realigned dynamically because the size of stack 1110b57cec5SDimitry Andric /// frame is unknown at compile time. e.g., in case of VLAs. 1120b57cec5SDimitry Andric bool StackRealigned = false; 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric /// True when the callee-save stack area has unused gaps that may be used for 1150b57cec5SDimitry Andric /// other stack allocations. 1160b57cec5SDimitry Andric bool CalleeSaveStackHasFreeSpace = false; 1170b57cec5SDimitry Andric 1180b57cec5SDimitry Andric /// SRetReturnReg - sret lowering includes returning the value of the 1190b57cec5SDimitry Andric /// returned struct in a register. This field holds the virtual register into 1200b57cec5SDimitry Andric /// which the sret argument is passed. 12181ad6265SDimitry Andric Register SRetReturnReg; 12281ad6265SDimitry Andric 1238bcb0991SDimitry Andric /// SVE stack size (for predicates and data vectors) are maintained here 1248bcb0991SDimitry Andric /// rather than in FrameInfo, as the placement and Stack IDs are target 1258bcb0991SDimitry Andric /// specific. 1268bcb0991SDimitry Andric uint64_t StackSizeSVE = 0; 1278bcb0991SDimitry Andric 1288bcb0991SDimitry Andric /// HasCalculatedStackSizeSVE indicates whether StackSizeSVE is valid. 1298bcb0991SDimitry Andric bool HasCalculatedStackSizeSVE = false; 1300b57cec5SDimitry Andric 1310b57cec5SDimitry Andric /// Has a value when it is known whether or not the function uses a 1320b57cec5SDimitry Andric /// redzone, and no value otherwise. 1330b57cec5SDimitry Andric /// Initialized during frame lowering, unless the function has the noredzone 1340b57cec5SDimitry Andric /// attribute, in which case it is set to false at construction. 135bdd1243dSDimitry Andric std::optional<bool> HasRedZone; 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric /// ForwardedMustTailRegParms - A list of virtual and physical registers 1380b57cec5SDimitry Andric /// that must be forwarded to every musttail call. 1390b57cec5SDimitry Andric SmallVector<ForwardedRegister, 1> ForwardedMustTailRegParms; 1400b57cec5SDimitry Andric 141e8d8bef9SDimitry Andric /// FrameIndex for the tagged base pointer. 142bdd1243dSDimitry Andric std::optional<int> TaggedBasePointerIndex; 143e8d8bef9SDimitry Andric 144e8d8bef9SDimitry Andric /// Offset from SP-at-entry to the tagged base pointer. 145e8d8bef9SDimitry Andric /// Tagged base pointer is set up to point to the first (lowest address) 146e8d8bef9SDimitry Andric /// tagged stack slot. 147e8d8bef9SDimitry Andric unsigned TaggedBasePointerOffset; 1480b57cec5SDimitry Andric 1495ffd83dbSDimitry Andric /// OutliningStyle denotes, if a function was outined, how it was outlined, 1505ffd83dbSDimitry Andric /// e.g. Tail Call, Thunk, or Function if none apply. 151bdd1243dSDimitry Andric std::optional<std::string> OutliningStyle; 1525ffd83dbSDimitry Andric 153e8d8bef9SDimitry Andric // Offset from SP-after-callee-saved-spills (i.e. SP-at-entry minus 154e8d8bef9SDimitry Andric // CalleeSavedStackSize) to the address of the frame record. 155e8d8bef9SDimitry Andric int CalleeSaveBaseToFrameRecordOffset = 0; 156e8d8bef9SDimitry Andric 157e8d8bef9SDimitry Andric /// SignReturnAddress is true if PAC-RET is enabled for the function with 158e8d8bef9SDimitry Andric /// defaults being sign non-leaf functions only, with the B key. 159e8d8bef9SDimitry Andric bool SignReturnAddress = false; 160e8d8bef9SDimitry Andric 161e8d8bef9SDimitry Andric /// SignReturnAddressAll modifies the default PAC-RET mode to signing leaf 162e8d8bef9SDimitry Andric /// functions as well. 163e8d8bef9SDimitry Andric bool SignReturnAddressAll = false; 164e8d8bef9SDimitry Andric 165e8d8bef9SDimitry Andric /// SignWithBKey modifies the default PAC-RET mode to signing with the B key. 166e8d8bef9SDimitry Andric bool SignWithBKey = false; 167e8d8bef9SDimitry Andric 168cb14a3feSDimitry Andric /// SigningInstrOffset captures the offset of the PAC-RET signing instruction 169cb14a3feSDimitry Andric /// within the prologue, so it can be re-used for authentication in the 170cb14a3feSDimitry Andric /// epilogue when using PC as a second salt (FEAT_PAuth_LR) 171cb14a3feSDimitry Andric MCSymbol *SignInstrLabel = nullptr; 172cb14a3feSDimitry Andric 173e8d8bef9SDimitry Andric /// BranchTargetEnforcement enables placing BTI instructions at potential 174e8d8bef9SDimitry Andric /// indirect branch destinations. 175e8d8bef9SDimitry Andric bool BranchTargetEnforcement = false; 176e8d8bef9SDimitry Andric 177cb14a3feSDimitry Andric /// Indicates that SP signing should be diversified with PC as-per PAuthLR. 178cb14a3feSDimitry Andric /// This is set by -mbranch-protection and will emit NOP instructions unless 179cb14a3feSDimitry Andric /// the subtarget feature +pauthlr is also used (in which case non-NOP 180cb14a3feSDimitry Andric /// instructions are emitted). 181cb14a3feSDimitry Andric bool BranchProtectionPAuthLR = false; 182cb14a3feSDimitry Andric 183fe6060f1SDimitry Andric /// Whether this function has an extended frame record [Ctx, FP, LR]. If so, 184fe6060f1SDimitry Andric /// bit 60 of the in-memory FP will be 1 to enable other tools to detect the 185fe6060f1SDimitry Andric /// extended record. 186fe6060f1SDimitry Andric bool HasSwiftAsyncContext = false; 187fe6060f1SDimitry Andric 188fe6060f1SDimitry Andric /// The stack slot where the Swift asynchronous context is stored. 189fe6060f1SDimitry Andric int SwiftAsyncContextFrameIdx = std::numeric_limits<int>::max(); 190fe6060f1SDimitry Andric 19181ad6265SDimitry Andric bool IsMTETagged = false; 19281ad6265SDimitry Andric 19381ad6265SDimitry Andric /// The function has Scalable Vector or Scalable Predicate register argument 19481ad6265SDimitry Andric /// or return type 19581ad6265SDimitry Andric bool IsSVECC = false; 19681ad6265SDimitry Andric 197bdd1243dSDimitry Andric /// The frame-index for the TPIDR2 object used for lazy saves. 198bdd1243dSDimitry Andric Register LazySaveTPIDR2Obj = 0; 199bdd1243dSDimitry Andric 2005f757f3fSDimitry Andric /// Whether this function changes streaming mode within the function. 2015f757f3fSDimitry Andric bool HasStreamingModeChanges = false; 202bdd1243dSDimitry Andric 20381ad6265SDimitry Andric /// True if the function need unwind information. 204bdd1243dSDimitry Andric mutable std::optional<bool> NeedsDwarfUnwindInfo; 20581ad6265SDimitry Andric 20681ad6265SDimitry Andric /// True if the function need asynchronous unwind information. 207bdd1243dSDimitry Andric mutable std::optional<bool> NeedsAsyncDwarfUnwindInfo; 20881ad6265SDimitry Andric 2095f757f3fSDimitry Andric int64_t StackProbeSize = 0; 2105f757f3fSDimitry Andric 211*7a6dacacSDimitry Andric // Holds a register containing pstate.sm. This is set 212*7a6dacacSDimitry Andric // on function entry to record the initial pstate of a function. 213*7a6dacacSDimitry Andric Register PStateSMReg = MCRegister::NoRegister; 214*7a6dacacSDimitry Andric 2150b57cec5SDimitry Andric public: 216bdd1243dSDimitry Andric AArch64FunctionInfo(const Function &F, const AArch64Subtarget *STI); 2170b57cec5SDimitry Andric 21881ad6265SDimitry Andric MachineFunctionInfo * 21981ad6265SDimitry Andric clone(BumpPtrAllocator &Allocator, MachineFunction &DestMF, 22081ad6265SDimitry Andric const DenseMap<MachineBasicBlock *, MachineBasicBlock *> &Src2DstMBB) 22181ad6265SDimitry Andric const override; 22281ad6265SDimitry Andric 223*7a6dacacSDimitry Andric Register getPStateSMReg() const { return PStateSMReg; }; 224*7a6dacacSDimitry Andric void setPStateSMReg(Register Reg) { PStateSMReg = Reg; }; 225*7a6dacacSDimitry Andric 22681ad6265SDimitry Andric bool isSVECC() const { return IsSVECC; }; 22781ad6265SDimitry Andric void setIsSVECC(bool s) { IsSVECC = s; }; 22881ad6265SDimitry Andric 229bdd1243dSDimitry Andric unsigned getLazySaveTPIDR2Obj() const { return LazySaveTPIDR2Obj; } 230bdd1243dSDimitry Andric void setLazySaveTPIDR2Obj(unsigned Reg) { LazySaveTPIDR2Obj = Reg; } 231bdd1243dSDimitry Andric 2325ffd83dbSDimitry Andric void initializeBaseYamlFields(const yaml::AArch64FunctionInfo &YamlMFI); 2330b57cec5SDimitry Andric 2340b57cec5SDimitry Andric unsigned getBytesInStackArgArea() const { return BytesInStackArgArea; } 2350b57cec5SDimitry Andric void setBytesInStackArgArea(unsigned bytes) { BytesInStackArgArea = bytes; } 2360b57cec5SDimitry Andric 2370b57cec5SDimitry Andric unsigned getArgumentStackToRestore() const { return ArgumentStackToRestore; } 2380b57cec5SDimitry Andric void setArgumentStackToRestore(unsigned bytes) { 2390b57cec5SDimitry Andric ArgumentStackToRestore = bytes; 2400b57cec5SDimitry Andric } 2410b57cec5SDimitry Andric 242fe6060f1SDimitry Andric unsigned getTailCallReservedStack() const { return TailCallReservedStack; } 243fe6060f1SDimitry Andric void setTailCallReservedStack(unsigned bytes) { 244fe6060f1SDimitry Andric TailCallReservedStack = bytes; 245fe6060f1SDimitry Andric } 246fe6060f1SDimitry Andric 2478bcb0991SDimitry Andric bool hasCalculatedStackSizeSVE() const { return HasCalculatedStackSizeSVE; } 2488bcb0991SDimitry Andric 2498bcb0991SDimitry Andric void setStackSizeSVE(uint64_t S) { 2508bcb0991SDimitry Andric HasCalculatedStackSizeSVE = true; 2518bcb0991SDimitry Andric StackSizeSVE = S; 2528bcb0991SDimitry Andric } 2538bcb0991SDimitry Andric 2548bcb0991SDimitry Andric uint64_t getStackSizeSVE() const { return StackSizeSVE; } 2558bcb0991SDimitry Andric 2560b57cec5SDimitry Andric bool hasStackFrame() const { return HasStackFrame; } 2570b57cec5SDimitry Andric void setHasStackFrame(bool s) { HasStackFrame = s; } 2580b57cec5SDimitry Andric 2590b57cec5SDimitry Andric bool isStackRealigned() const { return StackRealigned; } 2600b57cec5SDimitry Andric void setStackRealigned(bool s) { StackRealigned = s; } 2610b57cec5SDimitry Andric 2620b57cec5SDimitry Andric bool hasCalleeSaveStackFreeSpace() const { 2630b57cec5SDimitry Andric return CalleeSaveStackHasFreeSpace; 2640b57cec5SDimitry Andric } 2650b57cec5SDimitry Andric void setCalleeSaveStackHasFreeSpace(bool s) { 2660b57cec5SDimitry Andric CalleeSaveStackHasFreeSpace = s; 2670b57cec5SDimitry Andric } 2680b57cec5SDimitry Andric bool isSplitCSR() const { return IsSplitCSR; } 2690b57cec5SDimitry Andric void setIsSplitCSR(bool s) { IsSplitCSR = s; } 2700b57cec5SDimitry Andric 271480093f4SDimitry Andric void setLocalStackSize(uint64_t Size) { LocalStackSize = Size; } 272480093f4SDimitry Andric uint64_t getLocalStackSize() const { return LocalStackSize; } 2730b57cec5SDimitry Andric 2745ffd83dbSDimitry Andric void setOutliningStyle(std::string Style) { OutliningStyle = Style; } 275bdd1243dSDimitry Andric std::optional<std::string> getOutliningStyle() const { 276bdd1243dSDimitry Andric return OutliningStyle; 277bdd1243dSDimitry Andric } 2785ffd83dbSDimitry Andric 279480093f4SDimitry Andric void setCalleeSavedStackSize(unsigned Size) { 280480093f4SDimitry Andric CalleeSavedStackSize = Size; 281480093f4SDimitry Andric HasCalleeSavedStackSize = true; 282480093f4SDimitry Andric } 283480093f4SDimitry Andric 284480093f4SDimitry Andric // When CalleeSavedStackSize has not been set (for example when 285480093f4SDimitry Andric // some MachineIR pass is run in isolation), then recalculate 286480093f4SDimitry Andric // the CalleeSavedStackSize directly from the CalleeSavedInfo. 287480093f4SDimitry Andric // Note: This information can only be recalculated after PEI 288480093f4SDimitry Andric // has assigned offsets to the callee save objects. 289480093f4SDimitry Andric unsigned getCalleeSavedStackSize(const MachineFrameInfo &MFI) const { 290480093f4SDimitry Andric bool ValidateCalleeSavedStackSize = false; 291480093f4SDimitry Andric 292480093f4SDimitry Andric #ifndef NDEBUG 293480093f4SDimitry Andric // Make sure the calculated size derived from the CalleeSavedInfo 294480093f4SDimitry Andric // equals the cached size that was calculated elsewhere (e.g. in 295480093f4SDimitry Andric // determineCalleeSaves). 296480093f4SDimitry Andric ValidateCalleeSavedStackSize = HasCalleeSavedStackSize; 297480093f4SDimitry Andric #endif 298480093f4SDimitry Andric 299480093f4SDimitry Andric if (!HasCalleeSavedStackSize || ValidateCalleeSavedStackSize) { 300480093f4SDimitry Andric assert(MFI.isCalleeSavedInfoValid() && "CalleeSavedInfo not calculated"); 301480093f4SDimitry Andric if (MFI.getCalleeSavedInfo().empty()) 302480093f4SDimitry Andric return 0; 303480093f4SDimitry Andric 304480093f4SDimitry Andric int64_t MinOffset = std::numeric_limits<int64_t>::max(); 305480093f4SDimitry Andric int64_t MaxOffset = std::numeric_limits<int64_t>::min(); 306480093f4SDimitry Andric for (const auto &Info : MFI.getCalleeSavedInfo()) { 307480093f4SDimitry Andric int FrameIdx = Info.getFrameIdx(); 308480093f4SDimitry Andric if (MFI.getStackID(FrameIdx) != TargetStackID::Default) 309480093f4SDimitry Andric continue; 310480093f4SDimitry Andric int64_t Offset = MFI.getObjectOffset(FrameIdx); 311480093f4SDimitry Andric int64_t ObjSize = MFI.getObjectSize(FrameIdx); 312480093f4SDimitry Andric MinOffset = std::min<int64_t>(Offset, MinOffset); 313480093f4SDimitry Andric MaxOffset = std::max<int64_t>(Offset + ObjSize, MaxOffset); 314480093f4SDimitry Andric } 315480093f4SDimitry Andric 316fe6060f1SDimitry Andric if (SwiftAsyncContextFrameIdx != std::numeric_limits<int>::max()) { 317fe6060f1SDimitry Andric int64_t Offset = MFI.getObjectOffset(getSwiftAsyncContextFrameIdx()); 318fe6060f1SDimitry Andric int64_t ObjSize = MFI.getObjectSize(getSwiftAsyncContextFrameIdx()); 319fe6060f1SDimitry Andric MinOffset = std::min<int64_t>(Offset, MinOffset); 320fe6060f1SDimitry Andric MaxOffset = std::max<int64_t>(Offset + ObjSize, MaxOffset); 321fe6060f1SDimitry Andric } 322fe6060f1SDimitry Andric 323480093f4SDimitry Andric unsigned Size = alignTo(MaxOffset - MinOffset, 16); 324480093f4SDimitry Andric assert((!HasCalleeSavedStackSize || getCalleeSavedStackSize() == Size) && 325480093f4SDimitry Andric "Invalid size calculated for callee saves"); 326480093f4SDimitry Andric return Size; 327480093f4SDimitry Andric } 328480093f4SDimitry Andric 329480093f4SDimitry Andric return getCalleeSavedStackSize(); 330480093f4SDimitry Andric } 331480093f4SDimitry Andric 332480093f4SDimitry Andric unsigned getCalleeSavedStackSize() const { 333480093f4SDimitry Andric assert(HasCalleeSavedStackSize && 334480093f4SDimitry Andric "CalleeSavedStackSize has not been calculated"); 335480093f4SDimitry Andric return CalleeSavedStackSize; 336480093f4SDimitry Andric } 337480093f4SDimitry Andric 338480093f4SDimitry Andric // Saves the CalleeSavedStackSize for SVE vectors in 'scalable bytes' 339480093f4SDimitry Andric void setSVECalleeSavedStackSize(unsigned Size) { 340480093f4SDimitry Andric SVECalleeSavedStackSize = Size; 341480093f4SDimitry Andric } 342480093f4SDimitry Andric unsigned getSVECalleeSavedStackSize() const { 343480093f4SDimitry Andric return SVECalleeSavedStackSize; 344480093f4SDimitry Andric } 345480093f4SDimitry Andric 346480093f4SDimitry Andric void setMinMaxSVECSFrameIndex(int Min, int Max) { 347480093f4SDimitry Andric MinSVECSFrameIndex = Min; 348480093f4SDimitry Andric MaxSVECSFrameIndex = Max; 349480093f4SDimitry Andric } 350480093f4SDimitry Andric 351480093f4SDimitry Andric int getMinSVECSFrameIndex() const { return MinSVECSFrameIndex; } 352480093f4SDimitry Andric int getMaxSVECSFrameIndex() const { return MaxSVECSFrameIndex; } 3530b57cec5SDimitry Andric 3540b57cec5SDimitry Andric void incNumLocalDynamicTLSAccesses() { ++NumLocalDynamicTLSAccesses; } 3550b57cec5SDimitry Andric unsigned getNumLocalDynamicTLSAccesses() const { 3560b57cec5SDimitry Andric return NumLocalDynamicTLSAccesses; 3570b57cec5SDimitry Andric } 3580b57cec5SDimitry Andric 359bdd1243dSDimitry Andric std::optional<bool> hasRedZone() const { return HasRedZone; } 3600b57cec5SDimitry Andric void setHasRedZone(bool s) { HasRedZone = s; } 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric int getVarArgsStackIndex() const { return VarArgsStackIndex; } 3630b57cec5SDimitry Andric void setVarArgsStackIndex(int Index) { VarArgsStackIndex = Index; } 3640b57cec5SDimitry Andric 365bdd1243dSDimitry Andric unsigned getVarArgsStackOffset() const { return VarArgsStackOffset; } 366bdd1243dSDimitry Andric void setVarArgsStackOffset(unsigned Offset) { VarArgsStackOffset = Offset; } 367bdd1243dSDimitry Andric 3680b57cec5SDimitry Andric int getVarArgsGPRIndex() const { return VarArgsGPRIndex; } 3690b57cec5SDimitry Andric void setVarArgsGPRIndex(int Index) { VarArgsGPRIndex = Index; } 3700b57cec5SDimitry Andric 3710b57cec5SDimitry Andric unsigned getVarArgsGPRSize() const { return VarArgsGPRSize; } 3720b57cec5SDimitry Andric void setVarArgsGPRSize(unsigned Size) { VarArgsGPRSize = Size; } 3730b57cec5SDimitry Andric 3740b57cec5SDimitry Andric int getVarArgsFPRIndex() const { return VarArgsFPRIndex; } 3750b57cec5SDimitry Andric void setVarArgsFPRIndex(int Index) { VarArgsFPRIndex = Index; } 3760b57cec5SDimitry Andric 3770b57cec5SDimitry Andric unsigned getVarArgsFPRSize() const { return VarArgsFPRSize; } 3780b57cec5SDimitry Andric void setVarArgsFPRSize(unsigned Size) { VarArgsFPRSize = Size; } 3790b57cec5SDimitry Andric 3800b57cec5SDimitry Andric unsigned getSRetReturnReg() const { return SRetReturnReg; } 3810b57cec5SDimitry Andric void setSRetReturnReg(unsigned Reg) { SRetReturnReg = Reg; } 3820b57cec5SDimitry Andric 3830b57cec5SDimitry Andric unsigned getJumpTableEntrySize(int Idx) const { 384e8d8bef9SDimitry Andric return JumpTableEntryInfo[Idx].first; 3850b57cec5SDimitry Andric } 3860b57cec5SDimitry Andric MCSymbol *getJumpTableEntryPCRelSymbol(int Idx) const { 387e8d8bef9SDimitry Andric return JumpTableEntryInfo[Idx].second; 3880b57cec5SDimitry Andric } 3890b57cec5SDimitry Andric void setJumpTableEntryInfo(int Idx, unsigned Size, MCSymbol *PCRelSym) { 390e8d8bef9SDimitry Andric if ((unsigned)Idx >= JumpTableEntryInfo.size()) 391e8d8bef9SDimitry Andric JumpTableEntryInfo.resize(Idx+1); 3920b57cec5SDimitry Andric JumpTableEntryInfo[Idx] = std::make_pair(Size, PCRelSym); 3930b57cec5SDimitry Andric } 3940b57cec5SDimitry Andric 3950b57cec5SDimitry Andric using SetOfInstructions = SmallPtrSet<const MachineInstr *, 16>; 3960b57cec5SDimitry Andric 3970b57cec5SDimitry Andric const SetOfInstructions &getLOHRelated() const { return LOHRelated; } 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric // Shortcuts for LOH related types. 4000b57cec5SDimitry Andric class MILOHDirective { 4010b57cec5SDimitry Andric MCLOHType Kind; 4020b57cec5SDimitry Andric 4030b57cec5SDimitry Andric /// Arguments of this directive. Order matters. 4040b57cec5SDimitry Andric SmallVector<const MachineInstr *, 3> Args; 4050b57cec5SDimitry Andric 4060b57cec5SDimitry Andric public: 4070b57cec5SDimitry Andric using LOHArgs = ArrayRef<const MachineInstr *>; 4080b57cec5SDimitry Andric 4090b57cec5SDimitry Andric MILOHDirective(MCLOHType Kind, LOHArgs Args) 4100b57cec5SDimitry Andric : Kind(Kind), Args(Args.begin(), Args.end()) { 4110b57cec5SDimitry Andric assert(isValidMCLOHType(Kind) && "Invalid LOH directive type!"); 4120b57cec5SDimitry Andric } 4130b57cec5SDimitry Andric 4140b57cec5SDimitry Andric MCLOHType getKind() const { return Kind; } 4150b57cec5SDimitry Andric LOHArgs getArgs() const { return Args; } 4160b57cec5SDimitry Andric }; 4170b57cec5SDimitry Andric 4180b57cec5SDimitry Andric using MILOHArgs = MILOHDirective::LOHArgs; 4190b57cec5SDimitry Andric using MILOHContainer = SmallVector<MILOHDirective, 32>; 4200b57cec5SDimitry Andric 4210b57cec5SDimitry Andric const MILOHContainer &getLOHContainer() const { return LOHContainerSet; } 4220b57cec5SDimitry Andric 4230b57cec5SDimitry Andric /// Add a LOH directive of this @p Kind and this @p Args. 4240b57cec5SDimitry Andric void addLOHDirective(MCLOHType Kind, MILOHArgs Args) { 4250b57cec5SDimitry Andric LOHContainerSet.push_back(MILOHDirective(Kind, Args)); 4260b57cec5SDimitry Andric LOHRelated.insert(Args.begin(), Args.end()); 4270b57cec5SDimitry Andric } 4280b57cec5SDimitry Andric 4290b57cec5SDimitry Andric SmallVectorImpl<ForwardedRegister> &getForwardedMustTailRegParms() { 4300b57cec5SDimitry Andric return ForwardedMustTailRegParms; 4310b57cec5SDimitry Andric } 4320b57cec5SDimitry Andric 433bdd1243dSDimitry Andric std::optional<int> getTaggedBasePointerIndex() const { 434e8d8bef9SDimitry Andric return TaggedBasePointerIndex; 435e8d8bef9SDimitry Andric } 436e8d8bef9SDimitry Andric void setTaggedBasePointerIndex(int Index) { TaggedBasePointerIndex = Index; } 437e8d8bef9SDimitry Andric 4380b57cec5SDimitry Andric unsigned getTaggedBasePointerOffset() const { 4390b57cec5SDimitry Andric return TaggedBasePointerOffset; 4400b57cec5SDimitry Andric } 4410b57cec5SDimitry Andric void setTaggedBasePointerOffset(unsigned Offset) { 4420b57cec5SDimitry Andric TaggedBasePointerOffset = Offset; 4430b57cec5SDimitry Andric } 4440b57cec5SDimitry Andric 445e8d8bef9SDimitry Andric int getCalleeSaveBaseToFrameRecordOffset() const { 446e8d8bef9SDimitry Andric return CalleeSaveBaseToFrameRecordOffset; 447e8d8bef9SDimitry Andric } 448e8d8bef9SDimitry Andric void setCalleeSaveBaseToFrameRecordOffset(int Offset) { 449e8d8bef9SDimitry Andric CalleeSaveBaseToFrameRecordOffset = Offset; 450e8d8bef9SDimitry Andric } 451e8d8bef9SDimitry Andric 452bdd1243dSDimitry Andric bool shouldSignReturnAddress(const MachineFunction &MF) const; 453e8d8bef9SDimitry Andric bool shouldSignReturnAddress(bool SpillsLR) const; 454e8d8bef9SDimitry Andric 4555f757f3fSDimitry Andric bool needsShadowCallStackPrologueEpilogue(MachineFunction &MF) const; 4565f757f3fSDimitry Andric 457e8d8bef9SDimitry Andric bool shouldSignWithBKey() const { return SignWithBKey; } 458cb14a3feSDimitry Andric 459cb14a3feSDimitry Andric MCSymbol *getSigningInstrLabel() const { return SignInstrLabel; } 460cb14a3feSDimitry Andric void setSigningInstrLabel(MCSymbol *Label) { SignInstrLabel = Label; } 461cb14a3feSDimitry Andric 46281ad6265SDimitry Andric bool isMTETagged() const { return IsMTETagged; } 463e8d8bef9SDimitry Andric 464e8d8bef9SDimitry Andric bool branchTargetEnforcement() const { return BranchTargetEnforcement; } 465e8d8bef9SDimitry Andric 466cb14a3feSDimitry Andric bool branchProtectionPAuthLR() const { return BranchProtectionPAuthLR; } 467cb14a3feSDimitry Andric 468fe6060f1SDimitry Andric void setHasSwiftAsyncContext(bool HasContext) { 469fe6060f1SDimitry Andric HasSwiftAsyncContext = HasContext; 470fe6060f1SDimitry Andric } 471fe6060f1SDimitry Andric bool hasSwiftAsyncContext() const { return HasSwiftAsyncContext; } 472fe6060f1SDimitry Andric 473fe6060f1SDimitry Andric void setSwiftAsyncContextFrameIdx(int FI) { 474fe6060f1SDimitry Andric SwiftAsyncContextFrameIdx = FI; 475fe6060f1SDimitry Andric } 476fe6060f1SDimitry Andric int getSwiftAsyncContextFrameIdx() const { return SwiftAsyncContextFrameIdx; } 477fe6060f1SDimitry Andric 478bdd1243dSDimitry Andric bool needsDwarfUnwindInfo(const MachineFunction &MF) const; 479bdd1243dSDimitry Andric bool needsAsyncDwarfUnwindInfo(const MachineFunction &MF) const; 48081ad6265SDimitry Andric 4815f757f3fSDimitry Andric bool hasStreamingModeChanges() const { return HasStreamingModeChanges; } 4825f757f3fSDimitry Andric void setHasStreamingModeChanges(bool HasChanges) { 4835f757f3fSDimitry Andric HasStreamingModeChanges = HasChanges; 4845f757f3fSDimitry Andric } 4855f757f3fSDimitry Andric 4865f757f3fSDimitry Andric bool hasStackProbing() const { return StackProbeSize != 0; } 4875f757f3fSDimitry Andric 4885f757f3fSDimitry Andric int64_t getStackProbeSize() const { return StackProbeSize; } 4895f757f3fSDimitry Andric 4900b57cec5SDimitry Andric private: 4910b57cec5SDimitry Andric // Hold the lists of LOHs. 4920b57cec5SDimitry Andric MILOHContainer LOHContainerSet; 4930b57cec5SDimitry Andric SetOfInstructions LOHRelated; 4940b57cec5SDimitry Andric 495e8d8bef9SDimitry Andric SmallVector<std::pair<unsigned, MCSymbol *>, 2> JumpTableEntryInfo; 4960b57cec5SDimitry Andric }; 4970b57cec5SDimitry Andric 4985ffd83dbSDimitry Andric namespace yaml { 4995ffd83dbSDimitry Andric struct AArch64FunctionInfo final : public yaml::MachineFunctionInfo { 500bdd1243dSDimitry Andric std::optional<bool> HasRedZone; 5015ffd83dbSDimitry Andric 5025ffd83dbSDimitry Andric AArch64FunctionInfo() = default; 5035ffd83dbSDimitry Andric AArch64FunctionInfo(const llvm::AArch64FunctionInfo &MFI); 5045ffd83dbSDimitry Andric 5055ffd83dbSDimitry Andric void mappingImpl(yaml::IO &YamlIO) override; 5065ffd83dbSDimitry Andric ~AArch64FunctionInfo() = default; 5075ffd83dbSDimitry Andric }; 5085ffd83dbSDimitry Andric 5095ffd83dbSDimitry Andric template <> struct MappingTraits<AArch64FunctionInfo> { 5105ffd83dbSDimitry Andric static void mapping(IO &YamlIO, AArch64FunctionInfo &MFI) { 5115ffd83dbSDimitry Andric YamlIO.mapOptional("hasRedZone", MFI.HasRedZone); 5125ffd83dbSDimitry Andric } 5135ffd83dbSDimitry Andric }; 5145ffd83dbSDimitry Andric 5155ffd83dbSDimitry Andric } // end namespace yaml 5165ffd83dbSDimitry Andric 5170b57cec5SDimitry Andric } // end namespace llvm 5180b57cec5SDimitry Andric 5190b57cec5SDimitry Andric #endif // LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H 520