123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440 |
- //=- 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 <cassert>
- 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<bool> HasRedZone;
- /// ForwardedMustTailRegParms - A list of virtual and physical registers
- /// that must be forwarded to every musttail call.
- SmallVector<ForwardedRegister, 1> ForwardedMustTailRegParms;
- /// FrameIndex for the tagged base pointer.
- Optional<int> 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<std::string> 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<int>::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<std::string> 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<int64_t>::max();
- int64_t MaxOffset = std::numeric_limits<int64_t>::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<int64_t>(Offset, MinOffset);
- MaxOffset = std::max<int64_t>(Offset + ObjSize, MaxOffset);
- }
- if (SwiftAsyncContextFrameIdx != std::numeric_limits<int>::max()) {
- int64_t Offset = MFI.getObjectOffset(getSwiftAsyncContextFrameIdx());
- int64_t ObjSize = MFI.getObjectSize(getSwiftAsyncContextFrameIdx());
- MinOffset = std::min<int64_t>(Offset, MinOffset);
- MaxOffset = std::max<int64_t>(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<bool> 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 MachineInstr *, 16>;
- const SetOfInstructions &getLOHRelated() const { return LOHRelated; }
- // Shortcuts for LOH related types.
- class MILOHDirective {
- MCLOHType Kind;
- /// Arguments of this directive. Order matters.
- SmallVector<const MachineInstr *, 3> Args;
- public:
- using LOHArgs = ArrayRef<const MachineInstr *>;
- 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<MILOHDirective, 32>;
- 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<ForwardedRegister> &getForwardedMustTailRegParms() {
- return ForwardedMustTailRegParms;
- }
- Optional<int> 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<std::pair<unsigned, MCSymbol *>, 2> JumpTableEntryInfo;
- };
- namespace yaml {
- struct AArch64FunctionInfo final : public yaml::MachineFunctionInfo {
- Optional<bool> HasRedZone;
- AArch64FunctionInfo() = default;
- AArch64FunctionInfo(const llvm::AArch64FunctionInfo &MFI);
- void mappingImpl(yaml::IO &YamlIO) override;
- ~AArch64FunctionInfo() = default;
- };
- template <> struct MappingTraits<AArch64FunctionInfo> {
- 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
|