xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AArch64/AArch64MachineFunctionInfo.h (revision cb14a3fe5122c879eae1fb480ed7ce82a699ddb6)
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"
25*cb14a3feSDimitry 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 
168*cb14a3feSDimitry Andric   /// SigningInstrOffset captures the offset of the PAC-RET signing instruction
169*cb14a3feSDimitry Andric   /// within the prologue, so it can be re-used for authentication in the
170*cb14a3feSDimitry Andric   /// epilogue when using PC as a second salt (FEAT_PAuth_LR)
171*cb14a3feSDimitry Andric   MCSymbol *SignInstrLabel = nullptr;
172*cb14a3feSDimitry Andric 
173e8d8bef9SDimitry Andric   /// BranchTargetEnforcement enables placing BTI instructions at potential
174e8d8bef9SDimitry Andric   /// indirect branch destinations.
175e8d8bef9SDimitry Andric   bool BranchTargetEnforcement = false;
176e8d8bef9SDimitry Andric 
177*cb14a3feSDimitry Andric   /// Indicates that SP signing should be diversified with PC as-per PAuthLR.
178*cb14a3feSDimitry Andric   /// This is set by -mbranch-protection and will emit NOP instructions unless
179*cb14a3feSDimitry Andric   /// the subtarget feature +pauthlr is also used (in which case non-NOP
180*cb14a3feSDimitry Andric   /// instructions are emitted).
181*cb14a3feSDimitry Andric   bool BranchProtectionPAuthLR = false;
182*cb14a3feSDimitry 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 
2110b57cec5SDimitry Andric public:
212bdd1243dSDimitry Andric   AArch64FunctionInfo(const Function &F, const AArch64Subtarget *STI);
2130b57cec5SDimitry Andric 
21481ad6265SDimitry Andric   MachineFunctionInfo *
21581ad6265SDimitry Andric   clone(BumpPtrAllocator &Allocator, MachineFunction &DestMF,
21681ad6265SDimitry Andric         const DenseMap<MachineBasicBlock *, MachineBasicBlock *> &Src2DstMBB)
21781ad6265SDimitry Andric       const override;
21881ad6265SDimitry Andric 
21981ad6265SDimitry Andric   bool isSVECC() const { return IsSVECC; };
22081ad6265SDimitry Andric   void setIsSVECC(bool s) { IsSVECC = s; };
22181ad6265SDimitry Andric 
222bdd1243dSDimitry Andric   unsigned getLazySaveTPIDR2Obj() const { return LazySaveTPIDR2Obj; }
223bdd1243dSDimitry Andric   void setLazySaveTPIDR2Obj(unsigned Reg) { LazySaveTPIDR2Obj = Reg; }
224bdd1243dSDimitry Andric 
2255ffd83dbSDimitry Andric   void initializeBaseYamlFields(const yaml::AArch64FunctionInfo &YamlMFI);
2260b57cec5SDimitry Andric 
2270b57cec5SDimitry Andric   unsigned getBytesInStackArgArea() const { return BytesInStackArgArea; }
2280b57cec5SDimitry Andric   void setBytesInStackArgArea(unsigned bytes) { BytesInStackArgArea = bytes; }
2290b57cec5SDimitry Andric 
2300b57cec5SDimitry Andric   unsigned getArgumentStackToRestore() const { return ArgumentStackToRestore; }
2310b57cec5SDimitry Andric   void setArgumentStackToRestore(unsigned bytes) {
2320b57cec5SDimitry Andric     ArgumentStackToRestore = bytes;
2330b57cec5SDimitry Andric   }
2340b57cec5SDimitry Andric 
235fe6060f1SDimitry Andric   unsigned getTailCallReservedStack() const { return TailCallReservedStack; }
236fe6060f1SDimitry Andric   void setTailCallReservedStack(unsigned bytes) {
237fe6060f1SDimitry Andric     TailCallReservedStack = bytes;
238fe6060f1SDimitry Andric   }
239fe6060f1SDimitry Andric 
2408bcb0991SDimitry Andric   bool hasCalculatedStackSizeSVE() const { return HasCalculatedStackSizeSVE; }
2418bcb0991SDimitry Andric 
2428bcb0991SDimitry Andric   void setStackSizeSVE(uint64_t S) {
2438bcb0991SDimitry Andric     HasCalculatedStackSizeSVE = true;
2448bcb0991SDimitry Andric     StackSizeSVE = S;
2458bcb0991SDimitry Andric   }
2468bcb0991SDimitry Andric 
2478bcb0991SDimitry Andric   uint64_t getStackSizeSVE() const { return StackSizeSVE; }
2488bcb0991SDimitry Andric 
2490b57cec5SDimitry Andric   bool hasStackFrame() const { return HasStackFrame; }
2500b57cec5SDimitry Andric   void setHasStackFrame(bool s) { HasStackFrame = s; }
2510b57cec5SDimitry Andric 
2520b57cec5SDimitry Andric   bool isStackRealigned() const { return StackRealigned; }
2530b57cec5SDimitry Andric   void setStackRealigned(bool s) { StackRealigned = s; }
2540b57cec5SDimitry Andric 
2550b57cec5SDimitry Andric   bool hasCalleeSaveStackFreeSpace() const {
2560b57cec5SDimitry Andric     return CalleeSaveStackHasFreeSpace;
2570b57cec5SDimitry Andric   }
2580b57cec5SDimitry Andric   void setCalleeSaveStackHasFreeSpace(bool s) {
2590b57cec5SDimitry Andric     CalleeSaveStackHasFreeSpace = s;
2600b57cec5SDimitry Andric   }
2610b57cec5SDimitry Andric   bool isSplitCSR() const { return IsSplitCSR; }
2620b57cec5SDimitry Andric   void setIsSplitCSR(bool s) { IsSplitCSR = s; }
2630b57cec5SDimitry Andric 
264480093f4SDimitry Andric   void setLocalStackSize(uint64_t Size) { LocalStackSize = Size; }
265480093f4SDimitry Andric   uint64_t getLocalStackSize() const { return LocalStackSize; }
2660b57cec5SDimitry Andric 
2675ffd83dbSDimitry Andric   void setOutliningStyle(std::string Style) { OutliningStyle = Style; }
268bdd1243dSDimitry Andric   std::optional<std::string> getOutliningStyle() const {
269bdd1243dSDimitry Andric     return OutliningStyle;
270bdd1243dSDimitry Andric   }
2715ffd83dbSDimitry Andric 
272480093f4SDimitry Andric   void setCalleeSavedStackSize(unsigned Size) {
273480093f4SDimitry Andric     CalleeSavedStackSize = Size;
274480093f4SDimitry Andric     HasCalleeSavedStackSize = true;
275480093f4SDimitry Andric   }
276480093f4SDimitry Andric 
277480093f4SDimitry Andric   // When CalleeSavedStackSize has not been set (for example when
278480093f4SDimitry Andric   // some MachineIR pass is run in isolation), then recalculate
279480093f4SDimitry Andric   // the CalleeSavedStackSize directly from the CalleeSavedInfo.
280480093f4SDimitry Andric   // Note: This information can only be recalculated after PEI
281480093f4SDimitry Andric   // has assigned offsets to the callee save objects.
282480093f4SDimitry Andric   unsigned getCalleeSavedStackSize(const MachineFrameInfo &MFI) const {
283480093f4SDimitry Andric     bool ValidateCalleeSavedStackSize = false;
284480093f4SDimitry Andric 
285480093f4SDimitry Andric #ifndef NDEBUG
286480093f4SDimitry Andric     // Make sure the calculated size derived from the CalleeSavedInfo
287480093f4SDimitry Andric     // equals the cached size that was calculated elsewhere (e.g. in
288480093f4SDimitry Andric     // determineCalleeSaves).
289480093f4SDimitry Andric     ValidateCalleeSavedStackSize = HasCalleeSavedStackSize;
290480093f4SDimitry Andric #endif
291480093f4SDimitry Andric 
292480093f4SDimitry Andric     if (!HasCalleeSavedStackSize || ValidateCalleeSavedStackSize) {
293480093f4SDimitry Andric       assert(MFI.isCalleeSavedInfoValid() && "CalleeSavedInfo not calculated");
294480093f4SDimitry Andric       if (MFI.getCalleeSavedInfo().empty())
295480093f4SDimitry Andric         return 0;
296480093f4SDimitry Andric 
297480093f4SDimitry Andric       int64_t MinOffset = std::numeric_limits<int64_t>::max();
298480093f4SDimitry Andric       int64_t MaxOffset = std::numeric_limits<int64_t>::min();
299480093f4SDimitry Andric       for (const auto &Info : MFI.getCalleeSavedInfo()) {
300480093f4SDimitry Andric         int FrameIdx = Info.getFrameIdx();
301480093f4SDimitry Andric         if (MFI.getStackID(FrameIdx) != TargetStackID::Default)
302480093f4SDimitry Andric           continue;
303480093f4SDimitry Andric         int64_t Offset = MFI.getObjectOffset(FrameIdx);
304480093f4SDimitry Andric         int64_t ObjSize = MFI.getObjectSize(FrameIdx);
305480093f4SDimitry Andric         MinOffset = std::min<int64_t>(Offset, MinOffset);
306480093f4SDimitry Andric         MaxOffset = std::max<int64_t>(Offset + ObjSize, MaxOffset);
307480093f4SDimitry Andric       }
308480093f4SDimitry Andric 
309fe6060f1SDimitry Andric       if (SwiftAsyncContextFrameIdx != std::numeric_limits<int>::max()) {
310fe6060f1SDimitry Andric         int64_t Offset = MFI.getObjectOffset(getSwiftAsyncContextFrameIdx());
311fe6060f1SDimitry Andric         int64_t ObjSize = MFI.getObjectSize(getSwiftAsyncContextFrameIdx());
312fe6060f1SDimitry Andric         MinOffset = std::min<int64_t>(Offset, MinOffset);
313fe6060f1SDimitry Andric         MaxOffset = std::max<int64_t>(Offset + ObjSize, MaxOffset);
314fe6060f1SDimitry Andric       }
315fe6060f1SDimitry Andric 
316480093f4SDimitry Andric       unsigned Size = alignTo(MaxOffset - MinOffset, 16);
317480093f4SDimitry Andric       assert((!HasCalleeSavedStackSize || getCalleeSavedStackSize() == Size) &&
318480093f4SDimitry Andric              "Invalid size calculated for callee saves");
319480093f4SDimitry Andric       return Size;
320480093f4SDimitry Andric     }
321480093f4SDimitry Andric 
322480093f4SDimitry Andric     return getCalleeSavedStackSize();
323480093f4SDimitry Andric   }
324480093f4SDimitry Andric 
325480093f4SDimitry Andric   unsigned getCalleeSavedStackSize() const {
326480093f4SDimitry Andric     assert(HasCalleeSavedStackSize &&
327480093f4SDimitry Andric            "CalleeSavedStackSize has not been calculated");
328480093f4SDimitry Andric     return CalleeSavedStackSize;
329480093f4SDimitry Andric   }
330480093f4SDimitry Andric 
331480093f4SDimitry Andric   // Saves the CalleeSavedStackSize for SVE vectors in 'scalable bytes'
332480093f4SDimitry Andric   void setSVECalleeSavedStackSize(unsigned Size) {
333480093f4SDimitry Andric     SVECalleeSavedStackSize = Size;
334480093f4SDimitry Andric   }
335480093f4SDimitry Andric   unsigned getSVECalleeSavedStackSize() const {
336480093f4SDimitry Andric     return SVECalleeSavedStackSize;
337480093f4SDimitry Andric   }
338480093f4SDimitry Andric 
339480093f4SDimitry Andric   void setMinMaxSVECSFrameIndex(int Min, int Max) {
340480093f4SDimitry Andric     MinSVECSFrameIndex = Min;
341480093f4SDimitry Andric     MaxSVECSFrameIndex = Max;
342480093f4SDimitry Andric   }
343480093f4SDimitry Andric 
344480093f4SDimitry Andric   int getMinSVECSFrameIndex() const { return MinSVECSFrameIndex; }
345480093f4SDimitry Andric   int getMaxSVECSFrameIndex() const { return MaxSVECSFrameIndex; }
3460b57cec5SDimitry Andric 
3470b57cec5SDimitry Andric   void incNumLocalDynamicTLSAccesses() { ++NumLocalDynamicTLSAccesses; }
3480b57cec5SDimitry Andric   unsigned getNumLocalDynamicTLSAccesses() const {
3490b57cec5SDimitry Andric     return NumLocalDynamicTLSAccesses;
3500b57cec5SDimitry Andric   }
3510b57cec5SDimitry Andric 
352bdd1243dSDimitry Andric   std::optional<bool> hasRedZone() const { return HasRedZone; }
3530b57cec5SDimitry Andric   void setHasRedZone(bool s) { HasRedZone = s; }
3540b57cec5SDimitry Andric 
3550b57cec5SDimitry Andric   int getVarArgsStackIndex() const { return VarArgsStackIndex; }
3560b57cec5SDimitry Andric   void setVarArgsStackIndex(int Index) { VarArgsStackIndex = Index; }
3570b57cec5SDimitry Andric 
358bdd1243dSDimitry Andric   unsigned getVarArgsStackOffset() const { return VarArgsStackOffset; }
359bdd1243dSDimitry Andric   void setVarArgsStackOffset(unsigned Offset) { VarArgsStackOffset = Offset; }
360bdd1243dSDimitry Andric 
3610b57cec5SDimitry Andric   int getVarArgsGPRIndex() const { return VarArgsGPRIndex; }
3620b57cec5SDimitry Andric   void setVarArgsGPRIndex(int Index) { VarArgsGPRIndex = Index; }
3630b57cec5SDimitry Andric 
3640b57cec5SDimitry Andric   unsigned getVarArgsGPRSize() const { return VarArgsGPRSize; }
3650b57cec5SDimitry Andric   void setVarArgsGPRSize(unsigned Size) { VarArgsGPRSize = Size; }
3660b57cec5SDimitry Andric 
3670b57cec5SDimitry Andric   int getVarArgsFPRIndex() const { return VarArgsFPRIndex; }
3680b57cec5SDimitry Andric   void setVarArgsFPRIndex(int Index) { VarArgsFPRIndex = Index; }
3690b57cec5SDimitry Andric 
3700b57cec5SDimitry Andric   unsigned getVarArgsFPRSize() const { return VarArgsFPRSize; }
3710b57cec5SDimitry Andric   void setVarArgsFPRSize(unsigned Size) { VarArgsFPRSize = Size; }
3720b57cec5SDimitry Andric 
3730b57cec5SDimitry Andric   unsigned getSRetReturnReg() const { return SRetReturnReg; }
3740b57cec5SDimitry Andric   void setSRetReturnReg(unsigned Reg) { SRetReturnReg = Reg; }
3750b57cec5SDimitry Andric 
3760b57cec5SDimitry Andric   unsigned getJumpTableEntrySize(int Idx) const {
377e8d8bef9SDimitry Andric     return JumpTableEntryInfo[Idx].first;
3780b57cec5SDimitry Andric   }
3790b57cec5SDimitry Andric   MCSymbol *getJumpTableEntryPCRelSymbol(int Idx) const {
380e8d8bef9SDimitry Andric     return JumpTableEntryInfo[Idx].second;
3810b57cec5SDimitry Andric   }
3820b57cec5SDimitry Andric   void setJumpTableEntryInfo(int Idx, unsigned Size, MCSymbol *PCRelSym) {
383e8d8bef9SDimitry Andric     if ((unsigned)Idx >= JumpTableEntryInfo.size())
384e8d8bef9SDimitry Andric       JumpTableEntryInfo.resize(Idx+1);
3850b57cec5SDimitry Andric     JumpTableEntryInfo[Idx] = std::make_pair(Size, PCRelSym);
3860b57cec5SDimitry Andric   }
3870b57cec5SDimitry Andric 
3880b57cec5SDimitry Andric   using SetOfInstructions = SmallPtrSet<const MachineInstr *, 16>;
3890b57cec5SDimitry Andric 
3900b57cec5SDimitry Andric   const SetOfInstructions &getLOHRelated() const { return LOHRelated; }
3910b57cec5SDimitry Andric 
3920b57cec5SDimitry Andric   // Shortcuts for LOH related types.
3930b57cec5SDimitry Andric   class MILOHDirective {
3940b57cec5SDimitry Andric     MCLOHType Kind;
3950b57cec5SDimitry Andric 
3960b57cec5SDimitry Andric     /// Arguments of this directive. Order matters.
3970b57cec5SDimitry Andric     SmallVector<const MachineInstr *, 3> Args;
3980b57cec5SDimitry Andric 
3990b57cec5SDimitry Andric   public:
4000b57cec5SDimitry Andric     using LOHArgs = ArrayRef<const MachineInstr *>;
4010b57cec5SDimitry Andric 
4020b57cec5SDimitry Andric     MILOHDirective(MCLOHType Kind, LOHArgs Args)
4030b57cec5SDimitry Andric         : Kind(Kind), Args(Args.begin(), Args.end()) {
4040b57cec5SDimitry Andric       assert(isValidMCLOHType(Kind) && "Invalid LOH directive type!");
4050b57cec5SDimitry Andric     }
4060b57cec5SDimitry Andric 
4070b57cec5SDimitry Andric     MCLOHType getKind() const { return Kind; }
4080b57cec5SDimitry Andric     LOHArgs getArgs() const { return Args; }
4090b57cec5SDimitry Andric   };
4100b57cec5SDimitry Andric 
4110b57cec5SDimitry Andric   using MILOHArgs = MILOHDirective::LOHArgs;
4120b57cec5SDimitry Andric   using MILOHContainer = SmallVector<MILOHDirective, 32>;
4130b57cec5SDimitry Andric 
4140b57cec5SDimitry Andric   const MILOHContainer &getLOHContainer() const { return LOHContainerSet; }
4150b57cec5SDimitry Andric 
4160b57cec5SDimitry Andric   /// Add a LOH directive of this @p Kind and this @p Args.
4170b57cec5SDimitry Andric   void addLOHDirective(MCLOHType Kind, MILOHArgs Args) {
4180b57cec5SDimitry Andric     LOHContainerSet.push_back(MILOHDirective(Kind, Args));
4190b57cec5SDimitry Andric     LOHRelated.insert(Args.begin(), Args.end());
4200b57cec5SDimitry Andric   }
4210b57cec5SDimitry Andric 
4220b57cec5SDimitry Andric   SmallVectorImpl<ForwardedRegister> &getForwardedMustTailRegParms() {
4230b57cec5SDimitry Andric     return ForwardedMustTailRegParms;
4240b57cec5SDimitry Andric   }
4250b57cec5SDimitry Andric 
426bdd1243dSDimitry Andric   std::optional<int> getTaggedBasePointerIndex() const {
427e8d8bef9SDimitry Andric     return TaggedBasePointerIndex;
428e8d8bef9SDimitry Andric   }
429e8d8bef9SDimitry Andric   void setTaggedBasePointerIndex(int Index) { TaggedBasePointerIndex = Index; }
430e8d8bef9SDimitry Andric 
4310b57cec5SDimitry Andric   unsigned getTaggedBasePointerOffset() const {
4320b57cec5SDimitry Andric     return TaggedBasePointerOffset;
4330b57cec5SDimitry Andric   }
4340b57cec5SDimitry Andric   void setTaggedBasePointerOffset(unsigned Offset) {
4350b57cec5SDimitry Andric     TaggedBasePointerOffset = Offset;
4360b57cec5SDimitry Andric   }
4370b57cec5SDimitry Andric 
438e8d8bef9SDimitry Andric   int getCalleeSaveBaseToFrameRecordOffset() const {
439e8d8bef9SDimitry Andric     return CalleeSaveBaseToFrameRecordOffset;
440e8d8bef9SDimitry Andric   }
441e8d8bef9SDimitry Andric   void setCalleeSaveBaseToFrameRecordOffset(int Offset) {
442e8d8bef9SDimitry Andric     CalleeSaveBaseToFrameRecordOffset = Offset;
443e8d8bef9SDimitry Andric   }
444e8d8bef9SDimitry Andric 
445bdd1243dSDimitry Andric   bool shouldSignReturnAddress(const MachineFunction &MF) const;
446e8d8bef9SDimitry Andric   bool shouldSignReturnAddress(bool SpillsLR) const;
447e8d8bef9SDimitry Andric 
4485f757f3fSDimitry Andric   bool needsShadowCallStackPrologueEpilogue(MachineFunction &MF) const;
4495f757f3fSDimitry Andric 
450e8d8bef9SDimitry Andric   bool shouldSignWithBKey() const { return SignWithBKey; }
451*cb14a3feSDimitry Andric 
452*cb14a3feSDimitry Andric   MCSymbol *getSigningInstrLabel() const { return SignInstrLabel; }
453*cb14a3feSDimitry Andric   void setSigningInstrLabel(MCSymbol *Label) { SignInstrLabel = Label; }
454*cb14a3feSDimitry Andric 
45581ad6265SDimitry Andric   bool isMTETagged() const { return IsMTETagged; }
456e8d8bef9SDimitry Andric 
457e8d8bef9SDimitry Andric   bool branchTargetEnforcement() const { return BranchTargetEnforcement; }
458e8d8bef9SDimitry Andric 
459*cb14a3feSDimitry Andric   bool branchProtectionPAuthLR() const { return BranchProtectionPAuthLR; }
460*cb14a3feSDimitry Andric 
461fe6060f1SDimitry Andric   void setHasSwiftAsyncContext(bool HasContext) {
462fe6060f1SDimitry Andric     HasSwiftAsyncContext = HasContext;
463fe6060f1SDimitry Andric   }
464fe6060f1SDimitry Andric   bool hasSwiftAsyncContext() const { return HasSwiftAsyncContext; }
465fe6060f1SDimitry Andric 
466fe6060f1SDimitry Andric   void setSwiftAsyncContextFrameIdx(int FI) {
467fe6060f1SDimitry Andric     SwiftAsyncContextFrameIdx = FI;
468fe6060f1SDimitry Andric   }
469fe6060f1SDimitry Andric   int getSwiftAsyncContextFrameIdx() const { return SwiftAsyncContextFrameIdx; }
470fe6060f1SDimitry Andric 
471bdd1243dSDimitry Andric   bool needsDwarfUnwindInfo(const MachineFunction &MF) const;
472bdd1243dSDimitry Andric   bool needsAsyncDwarfUnwindInfo(const MachineFunction &MF) const;
47381ad6265SDimitry Andric 
4745f757f3fSDimitry Andric   bool hasStreamingModeChanges() const { return HasStreamingModeChanges; }
4755f757f3fSDimitry Andric   void setHasStreamingModeChanges(bool HasChanges) {
4765f757f3fSDimitry Andric     HasStreamingModeChanges = HasChanges;
4775f757f3fSDimitry Andric   }
4785f757f3fSDimitry Andric 
4795f757f3fSDimitry Andric   bool hasStackProbing() const { return StackProbeSize != 0; }
4805f757f3fSDimitry Andric 
4815f757f3fSDimitry Andric   int64_t getStackProbeSize() const { return StackProbeSize; }
4825f757f3fSDimitry Andric 
4830b57cec5SDimitry Andric private:
4840b57cec5SDimitry Andric   // Hold the lists of LOHs.
4850b57cec5SDimitry Andric   MILOHContainer LOHContainerSet;
4860b57cec5SDimitry Andric   SetOfInstructions LOHRelated;
4870b57cec5SDimitry Andric 
488e8d8bef9SDimitry Andric   SmallVector<std::pair<unsigned, MCSymbol *>, 2> JumpTableEntryInfo;
4890b57cec5SDimitry Andric };
4900b57cec5SDimitry Andric 
4915ffd83dbSDimitry Andric namespace yaml {
4925ffd83dbSDimitry Andric struct AArch64FunctionInfo final : public yaml::MachineFunctionInfo {
493bdd1243dSDimitry Andric   std::optional<bool> HasRedZone;
4945ffd83dbSDimitry Andric 
4955ffd83dbSDimitry Andric   AArch64FunctionInfo() = default;
4965ffd83dbSDimitry Andric   AArch64FunctionInfo(const llvm::AArch64FunctionInfo &MFI);
4975ffd83dbSDimitry Andric 
4985ffd83dbSDimitry Andric   void mappingImpl(yaml::IO &YamlIO) override;
4995ffd83dbSDimitry Andric   ~AArch64FunctionInfo() = default;
5005ffd83dbSDimitry Andric };
5015ffd83dbSDimitry Andric 
5025ffd83dbSDimitry Andric template <> struct MappingTraits<AArch64FunctionInfo> {
5035ffd83dbSDimitry Andric   static void mapping(IO &YamlIO, AArch64FunctionInfo &MFI) {
5045ffd83dbSDimitry Andric     YamlIO.mapOptional("hasRedZone", MFI.HasRedZone);
5055ffd83dbSDimitry Andric   }
5065ffd83dbSDimitry Andric };
5075ffd83dbSDimitry Andric 
5085ffd83dbSDimitry Andric } // end namespace yaml
5095ffd83dbSDimitry Andric 
5100b57cec5SDimitry Andric } // end namespace llvm
5110b57cec5SDimitry Andric 
5120b57cec5SDimitry Andric #endif // LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H
513