1 //==-- AArch64FrameLowering.h - TargetFrameLowering for AArch64 --*- C++ -*-==//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 //
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef LLVM_LIB_TARGET_AARCH64_AARCH64FRAMELOWERING_H
14 #define LLVM_LIB_TARGET_AARCH64_AARCH64FRAMELOWERING_H
15 
16 #include "llvm/Support/TypeSize.h"
17 #include "llvm/CodeGen/TargetFrameLowering.h"
18 
19 namespace llvm {
20 
21 class MCCFIInstruction;
22 
23 class AArch64FrameLowering : public TargetFrameLowering {
24 public:
AArch64FrameLowering()25   explicit AArch64FrameLowering()
26       : TargetFrameLowering(StackGrowsDown, Align(16), 0, Align(16),
27                             true /*StackRealignable*/) {}
28 
29   void
30   emitCalleeSavedFrameMoves(MachineBasicBlock &MBB,
31                             MachineBasicBlock::iterator MBBI) const override;
32 
33   MachineBasicBlock::iterator
34   eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
35                                 MachineBasicBlock::iterator I) const override;
36 
37   /// emitProlog/emitEpilog - These methods insert prolog and epilog code into
38   /// the function.
39   void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override;
40   void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override;
41 
42   bool canUseAsPrologue(const MachineBasicBlock &MBB) const override;
43 
44   StackOffset getFrameIndexReference(const MachineFunction &MF, int FI,
45                                      Register &FrameReg) const override;
46   StackOffset resolveFrameIndexReference(const MachineFunction &MF, int FI,
47                                          Register &FrameReg, bool PreferFP,
48                                          bool ForSimm) const;
49   StackOffset resolveFrameOffsetReference(const MachineFunction &MF,
50                                           int64_t ObjectOffset, bool isFixed,
51                                           bool isSVE, Register &FrameReg,
52                                           bool PreferFP, bool ForSimm) const;
53   bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
54                                  MachineBasicBlock::iterator MI,
55                                  ArrayRef<CalleeSavedInfo> CSI,
56                                  const TargetRegisterInfo *TRI) const override;
57 
58   bool
59   restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
60                               MachineBasicBlock::iterator MI,
61                               MutableArrayRef<CalleeSavedInfo> CSI,
62                               const TargetRegisterInfo *TRI) const override;
63 
64   /// Can this function use the red zone for local allocations.
65   bool canUseRedZone(const MachineFunction &MF) const;
66 
67   bool hasFP(const MachineFunction &MF) const override;
68   bool hasReservedCallFrame(const MachineFunction &MF) const override;
69 
70   bool hasSwiftExtendedFrame(const MachineFunction &MF) const;
71 
72   bool assignCalleeSavedSpillSlots(MachineFunction &MF,
73                                    const TargetRegisterInfo *TRI,
74                                    std::vector<CalleeSavedInfo> &CSI,
75                                    unsigned &MinCSFrameIndex,
76                                    unsigned &MaxCSFrameIndex) const override;
77 
78   void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs,
79                             RegScavenger *RS) const override;
80 
81   /// Returns true if the target will correctly handle shrink wrapping.
enableShrinkWrapping(const MachineFunction & MF)82   bool enableShrinkWrapping(const MachineFunction &MF) const override {
83     return true;
84   }
85 
86   bool enableStackSlotScavenging(const MachineFunction &MF) const override;
87   TargetStackID::Value getStackIDForScalableVectors() const override;
88 
89   void processFunctionBeforeFrameFinalized(MachineFunction &MF,
90                                            RegScavenger *RS) const override;
91 
92   void
93   processFunctionBeforeFrameIndicesReplaced(MachineFunction &MF,
94                                             RegScavenger *RS) const override;
95 
96   unsigned getWinEHParentFrameOffset(const MachineFunction &MF) const override;
97 
98   unsigned getWinEHFuncletFrameSize(const MachineFunction &MF) const;
99 
100   StackOffset
101   getFrameIndexReferencePreferSP(const MachineFunction &MF, int FI,
102                                  Register &FrameReg,
103                                  bool IgnoreSPUpdates) const override;
104   StackOffset getNonLocalFrameIndexReference(const MachineFunction &MF,
105                                              int FI) const override;
106   int getSEHFrameIndexOffset(const MachineFunction &MF, int FI) const;
107 
isSupportedStackID(TargetStackID::Value ID)108   bool isSupportedStackID(TargetStackID::Value ID) const override {
109     switch (ID) {
110     default:
111       return false;
112     case TargetStackID::Default:
113     case TargetStackID::ScalableVector:
114     case TargetStackID::NoAlloc:
115       return true;
116     }
117   }
118 
isStackIdSafeForLocalArea(unsigned StackId)119   bool isStackIdSafeForLocalArea(unsigned StackId) const override {
120     // We don't support putting SVE objects into the pre-allocated local
121     // frame block at the moment.
122     return StackId != TargetStackID::ScalableVector;
123   }
124 
125   void
126   orderFrameObjects(const MachineFunction &MF,
127                     SmallVectorImpl<int> &ObjectsToAllocate) const override;
128 
129 private:
130   /// Returns true if a homogeneous prolog or epilog code can be emitted
131   /// for the size optimization. If so, HOM_Prolog/HOM_Epilog pseudo
132   /// instructions are emitted in place. When Exit block is given, this check is
133   /// for epilog.
134   bool homogeneousPrologEpilog(MachineFunction &MF,
135                                MachineBasicBlock *Exit = nullptr) const;
136 
137   /// Returns true if CSRs should be paired.
138   bool producePairRegisters(MachineFunction &MF) const;
139 
140   bool shouldCombineCSRLocalStackBump(MachineFunction &MF,
141                                       uint64_t StackBumpBytes) const;
142 
143   int64_t estimateSVEStackObjectOffsets(MachineFrameInfo &MF) const;
144   int64_t assignSVEStackObjectOffsets(MachineFrameInfo &MF,
145                                       int &MinCSFrameIndex,
146                                       int &MaxCSFrameIndex) const;
147   MCCFIInstruction
148   createDefCFAExpressionFromSP(const TargetRegisterInfo &TRI,
149                                const StackOffset &OffsetFromSP) const;
150   MCCFIInstruction createCfaOffset(const TargetRegisterInfo &MRI, unsigned DwarfReg,
151                                    const StackOffset &OffsetFromDefCFA) const;
152   bool shouldCombineCSRLocalStackBumpInEpilogue(MachineBasicBlock &MBB,
153                                                 unsigned StackBumpBytes) const;
154 };
155 
156 } // End llvm namespace
157 
158 #endif
159