//=- AArch64MachineFunctionInfo.h - AArch64 machine function info -*- C++ -*-=// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // // This file declares AArch64-specific per-machine-function information. // //===----------------------------------------------------------------------===// #ifndef LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H #define LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H #include "llvm/ADT/ArrayRef.h" #include "llvm/ADT/Optional.h" #include "llvm/ADT/SmallPtrSet.h" #include "llvm/ADT/SmallVector.h" #include "llvm/CodeGen/CallingConvLower.h" #include "llvm/CodeGen/MIRYamlMapping.h" #include "llvm/CodeGen/MachineFunction.h" #include "llvm/IR/Function.h" #include "llvm/MC/MCLinkerOptimizationHint.h" #include namespace llvm { namespace yaml { struct AArch64FunctionInfo; } // end namespace yaml class MachineInstr; /// AArch64FunctionInfo - This class is derived from MachineFunctionInfo and /// contains private AArch64-specific information for each MachineFunction. class AArch64FunctionInfo final : public MachineFunctionInfo { /// Backreference to the machine function. MachineFunction &MF; /// Number of bytes of arguments this function has on the stack. If the callee /// is expected to restore the argument stack this should be a multiple of 16, /// all usable during a tail call. /// /// The alternative would forbid tail call optimisation in some cases: if we /// want to transfer control from a function with 8-bytes of stack-argument /// space to a function with 16-bytes then misalignment of this value would /// make a stack adjustment necessary, which could not be undone by the /// callee. unsigned BytesInStackArgArea = 0; /// The number of bytes to restore to deallocate space for incoming /// arguments. Canonically 0 in the C calling convention, but non-zero when /// callee is expected to pop the args. unsigned ArgumentStackToRestore = 0; /// Space just below incoming stack pointer reserved for arguments being /// passed on the stack during a tail call. This will be the difference /// between the largest tail call argument space needed in this function and /// what's already available by reusing space of incoming arguments. unsigned TailCallReservedStack = 0; /// HasStackFrame - True if this function has a stack frame. Set by /// determineCalleeSaves(). bool HasStackFrame = false; /// Amount of stack frame size, not including callee-saved registers. uint64_t LocalStackSize = 0; /// The start and end frame indices for the SVE callee saves. int MinSVECSFrameIndex = 0; int MaxSVECSFrameIndex = 0; /// Amount of stack frame size used for saving callee-saved registers. unsigned CalleeSavedStackSize = 0; unsigned SVECalleeSavedStackSize = 0; bool HasCalleeSavedStackSize = false; /// Number of TLS accesses using the special (combinable) /// _TLS_MODULE_BASE_ symbol. unsigned NumLocalDynamicTLSAccesses = 0; /// FrameIndex for start of varargs area for arguments passed on the /// stack. int VarArgsStackIndex = 0; /// FrameIndex for start of varargs area for arguments passed in /// general purpose registers. int VarArgsGPRIndex = 0; /// Size of the varargs area for arguments passed in general purpose /// registers. unsigned VarArgsGPRSize = 0; /// FrameIndex for start of varargs area for arguments passed in /// floating-point registers. int VarArgsFPRIndex = 0; /// Size of the varargs area for arguments passed in floating-point /// registers. unsigned VarArgsFPRSize = 0; /// True if this function has a subset of CSRs that is handled explicitly via /// copies. bool IsSplitCSR = false; /// True when the stack gets realigned dynamically because the size of stack /// frame is unknown at compile time. e.g., in case of VLAs. bool StackRealigned = false; /// True when the callee-save stack area has unused gaps that may be used for /// other stack allocations. bool CalleeSaveStackHasFreeSpace = false; /// SRetReturnReg - sret lowering includes returning the value of the /// returned struct in a register. This field holds the virtual register into /// which the sret argument is passed. unsigned SRetReturnReg = 0; /// SVE stack size (for predicates and data vectors) are maintained here /// rather than in FrameInfo, as the placement and Stack IDs are target /// specific. uint64_t StackSizeSVE = 0; /// HasCalculatedStackSizeSVE indicates whether StackSizeSVE is valid. bool HasCalculatedStackSizeSVE = false; /// Has a value when it is known whether or not the function uses a /// redzone, and no value otherwise. /// Initialized during frame lowering, unless the function has the noredzone /// attribute, in which case it is set to false at construction. Optional HasRedZone; /// ForwardedMustTailRegParms - A list of virtual and physical registers /// that must be forwarded to every musttail call. SmallVector ForwardedMustTailRegParms; /// FrameIndex for the tagged base pointer. Optional TaggedBasePointerIndex; /// Offset from SP-at-entry to the tagged base pointer. /// Tagged base pointer is set up to point to the first (lowest address) /// tagged stack slot. unsigned TaggedBasePointerOffset; /// OutliningStyle denotes, if a function was outined, how it was outlined, /// e.g. Tail Call, Thunk, or Function if none apply. Optional OutliningStyle; // Offset from SP-after-callee-saved-spills (i.e. SP-at-entry minus // CalleeSavedStackSize) to the address of the frame record. int CalleeSaveBaseToFrameRecordOffset = 0; /// SignReturnAddress is true if PAC-RET is enabled for the function with /// defaults being sign non-leaf functions only, with the B key. bool SignReturnAddress = false; /// SignReturnAddressAll modifies the default PAC-RET mode to signing leaf /// functions as well. bool SignReturnAddressAll = false; /// SignWithBKey modifies the default PAC-RET mode to signing with the B key. bool SignWithBKey = false; /// BranchTargetEnforcement enables placing BTI instructions at potential /// indirect branch destinations. bool BranchTargetEnforcement = false; /// Whether this function has an extended frame record [Ctx, FP, LR]. If so, /// bit 60 of the in-memory FP will be 1 to enable other tools to detect the /// extended record. bool HasSwiftAsyncContext = false; /// The stack slot where the Swift asynchronous context is stored. int SwiftAsyncContextFrameIdx = std::numeric_limits::max(); public: explicit AArch64FunctionInfo(MachineFunction &MF); void initializeBaseYamlFields(const yaml::AArch64FunctionInfo &YamlMFI); unsigned getBytesInStackArgArea() const { return BytesInStackArgArea; } void setBytesInStackArgArea(unsigned bytes) { BytesInStackArgArea = bytes; } unsigned getArgumentStackToRestore() const { return ArgumentStackToRestore; } void setArgumentStackToRestore(unsigned bytes) { ArgumentStackToRestore = bytes; } unsigned getTailCallReservedStack() const { return TailCallReservedStack; } void setTailCallReservedStack(unsigned bytes) { TailCallReservedStack = bytes; } bool hasCalculatedStackSizeSVE() const { return HasCalculatedStackSizeSVE; } void setStackSizeSVE(uint64_t S) { HasCalculatedStackSizeSVE = true; StackSizeSVE = S; } uint64_t getStackSizeSVE() const { return StackSizeSVE; } bool hasStackFrame() const { return HasStackFrame; } void setHasStackFrame(bool s) { HasStackFrame = s; } bool isStackRealigned() const { return StackRealigned; } void setStackRealigned(bool s) { StackRealigned = s; } bool hasCalleeSaveStackFreeSpace() const { return CalleeSaveStackHasFreeSpace; } void setCalleeSaveStackHasFreeSpace(bool s) { CalleeSaveStackHasFreeSpace = s; } bool isSplitCSR() const { return IsSplitCSR; } void setIsSplitCSR(bool s) { IsSplitCSR = s; } void setLocalStackSize(uint64_t Size) { LocalStackSize = Size; } uint64_t getLocalStackSize() const { return LocalStackSize; } void setOutliningStyle(std::string Style) { OutliningStyle = Style; } Optional getOutliningStyle() const { return OutliningStyle; } void setCalleeSavedStackSize(unsigned Size) { CalleeSavedStackSize = Size; HasCalleeSavedStackSize = true; } // When CalleeSavedStackSize has not been set (for example when // some MachineIR pass is run in isolation), then recalculate // the CalleeSavedStackSize directly from the CalleeSavedInfo. // Note: This information can only be recalculated after PEI // has assigned offsets to the callee save objects. unsigned getCalleeSavedStackSize(const MachineFrameInfo &MFI) const { bool ValidateCalleeSavedStackSize = false; #ifndef NDEBUG // Make sure the calculated size derived from the CalleeSavedInfo // equals the cached size that was calculated elsewhere (e.g. in // determineCalleeSaves). ValidateCalleeSavedStackSize = HasCalleeSavedStackSize; #endif if (!HasCalleeSavedStackSize || ValidateCalleeSavedStackSize) { assert(MFI.isCalleeSavedInfoValid() && "CalleeSavedInfo not calculated"); if (MFI.getCalleeSavedInfo().empty()) return 0; int64_t MinOffset = std::numeric_limits::max(); int64_t MaxOffset = std::numeric_limits::min(); for (const auto &Info : MFI.getCalleeSavedInfo()) { int FrameIdx = Info.getFrameIdx(); if (MFI.getStackID(FrameIdx) != TargetStackID::Default) continue; int64_t Offset = MFI.getObjectOffset(FrameIdx); int64_t ObjSize = MFI.getObjectSize(FrameIdx); MinOffset = std::min(Offset, MinOffset); MaxOffset = std::max(Offset + ObjSize, MaxOffset); } if (SwiftAsyncContextFrameIdx != std::numeric_limits::max()) { int64_t Offset = MFI.getObjectOffset(getSwiftAsyncContextFrameIdx()); int64_t ObjSize = MFI.getObjectSize(getSwiftAsyncContextFrameIdx()); MinOffset = std::min(Offset, MinOffset); MaxOffset = std::max(Offset + ObjSize, MaxOffset); } unsigned Size = alignTo(MaxOffset - MinOffset, 16); assert((!HasCalleeSavedStackSize || getCalleeSavedStackSize() == Size) && "Invalid size calculated for callee saves"); return Size; } return getCalleeSavedStackSize(); } unsigned getCalleeSavedStackSize() const { assert(HasCalleeSavedStackSize && "CalleeSavedStackSize has not been calculated"); return CalleeSavedStackSize; } // Saves the CalleeSavedStackSize for SVE vectors in 'scalable bytes' void setSVECalleeSavedStackSize(unsigned Size) { SVECalleeSavedStackSize = Size; } unsigned getSVECalleeSavedStackSize() const { return SVECalleeSavedStackSize; } void setMinMaxSVECSFrameIndex(int Min, int Max) { MinSVECSFrameIndex = Min; MaxSVECSFrameIndex = Max; } int getMinSVECSFrameIndex() const { return MinSVECSFrameIndex; } int getMaxSVECSFrameIndex() const { return MaxSVECSFrameIndex; } void incNumLocalDynamicTLSAccesses() { ++NumLocalDynamicTLSAccesses; } unsigned getNumLocalDynamicTLSAccesses() const { return NumLocalDynamicTLSAccesses; } Optional hasRedZone() const { return HasRedZone; } void setHasRedZone(bool s) { HasRedZone = s; } int getVarArgsStackIndex() const { return VarArgsStackIndex; } void setVarArgsStackIndex(int Index) { VarArgsStackIndex = Index; } int getVarArgsGPRIndex() const { return VarArgsGPRIndex; } void setVarArgsGPRIndex(int Index) { VarArgsGPRIndex = Index; } unsigned getVarArgsGPRSize() const { return VarArgsGPRSize; } void setVarArgsGPRSize(unsigned Size) { VarArgsGPRSize = Size; } int getVarArgsFPRIndex() const { return VarArgsFPRIndex; } void setVarArgsFPRIndex(int Index) { VarArgsFPRIndex = Index; } unsigned getVarArgsFPRSize() const { return VarArgsFPRSize; } void setVarArgsFPRSize(unsigned Size) { VarArgsFPRSize = Size; } unsigned getSRetReturnReg() const { return SRetReturnReg; } void setSRetReturnReg(unsigned Reg) { SRetReturnReg = Reg; } unsigned getJumpTableEntrySize(int Idx) const { return JumpTableEntryInfo[Idx].first; } MCSymbol *getJumpTableEntryPCRelSymbol(int Idx) const { return JumpTableEntryInfo[Idx].second; } void setJumpTableEntryInfo(int Idx, unsigned Size, MCSymbol *PCRelSym) { if ((unsigned)Idx >= JumpTableEntryInfo.size()) JumpTableEntryInfo.resize(Idx+1); JumpTableEntryInfo[Idx] = std::make_pair(Size, PCRelSym); } using SetOfInstructions = SmallPtrSet; const SetOfInstructions &getLOHRelated() const { return LOHRelated; } // Shortcuts for LOH related types. class MILOHDirective { MCLOHType Kind; /// Arguments of this directive. Order matters. SmallVector Args; public: using LOHArgs = ArrayRef; MILOHDirective(MCLOHType Kind, LOHArgs Args) : Kind(Kind), Args(Args.begin(), Args.end()) { assert(isValidMCLOHType(Kind) && "Invalid LOH directive type!"); } MCLOHType getKind() const { return Kind; } LOHArgs getArgs() const { return Args; } }; using MILOHArgs = MILOHDirective::LOHArgs; using MILOHContainer = SmallVector; const MILOHContainer &getLOHContainer() const { return LOHContainerSet; } /// Add a LOH directive of this @p Kind and this @p Args. void addLOHDirective(MCLOHType Kind, MILOHArgs Args) { LOHContainerSet.push_back(MILOHDirective(Kind, Args)); LOHRelated.insert(Args.begin(), Args.end()); } SmallVectorImpl &getForwardedMustTailRegParms() { return ForwardedMustTailRegParms; } Optional getTaggedBasePointerIndex() const { return TaggedBasePointerIndex; } void setTaggedBasePointerIndex(int Index) { TaggedBasePointerIndex = Index; } unsigned getTaggedBasePointerOffset() const { return TaggedBasePointerOffset; } void setTaggedBasePointerOffset(unsigned Offset) { TaggedBasePointerOffset = Offset; } int getCalleeSaveBaseToFrameRecordOffset() const { return CalleeSaveBaseToFrameRecordOffset; } void setCalleeSaveBaseToFrameRecordOffset(int Offset) { CalleeSaveBaseToFrameRecordOffset = Offset; } bool shouldSignReturnAddress() const; bool shouldSignReturnAddress(bool SpillsLR) const; bool shouldSignWithBKey() const { return SignWithBKey; } bool branchTargetEnforcement() const { return BranchTargetEnforcement; } void setHasSwiftAsyncContext(bool HasContext) { HasSwiftAsyncContext = HasContext; } bool hasSwiftAsyncContext() const { return HasSwiftAsyncContext; } void setSwiftAsyncContextFrameIdx(int FI) { SwiftAsyncContextFrameIdx = FI; } int getSwiftAsyncContextFrameIdx() const { return SwiftAsyncContextFrameIdx; } private: // Hold the lists of LOHs. MILOHContainer LOHContainerSet; SetOfInstructions LOHRelated; SmallVector, 2> JumpTableEntryInfo; }; namespace yaml { struct AArch64FunctionInfo final : public yaml::MachineFunctionInfo { Optional HasRedZone; AArch64FunctionInfo() = default; AArch64FunctionInfo(const llvm::AArch64FunctionInfo &MFI); void mappingImpl(yaml::IO &YamlIO) override; ~AArch64FunctionInfo() = default; }; template <> struct MappingTraits { static void mapping(IO &YamlIO, AArch64FunctionInfo &MFI) { YamlIO.mapOptional("hasRedZone", MFI.HasRedZone); } }; } // end namespace yaml } // end namespace llvm #endif // LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H