xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AArch64/AArch64MachineFunctionInfo.h (revision 7a6dacaca14b62ca4b74406814becb87a3fefac0)
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