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: 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 assignCalleeSavedSpillSlots(MachineFunction &MF, 71 const TargetRegisterInfo *TRI, 72 std::vector<CalleeSavedInfo> &CSI, 73 unsigned &MinCSFrameIndex, 74 unsigned &MaxCSFrameIndex) const override; 75 76 void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, 77 RegScavenger *RS) const override; 78 79 /// Returns true if the target will correctly handle shrink wrapping. 80 bool enableShrinkWrapping(const MachineFunction &MF) const override { 81 return true; 82 } 83 84 bool enableStackSlotScavenging(const MachineFunction &MF) const override; 85 TargetStackID::Value getStackIDForScalableVectors() const override; 86 87 void processFunctionBeforeFrameFinalized(MachineFunction &MF, 88 RegScavenger *RS) const override; 89 90 void 91 processFunctionBeforeFrameIndicesReplaced(MachineFunction &MF, 92 RegScavenger *RS) const override; 93 94 unsigned getWinEHParentFrameOffset(const MachineFunction &MF) const override; 95 96 unsigned getWinEHFuncletFrameSize(const MachineFunction &MF) const; 97 98 StackOffset 99 getFrameIndexReferencePreferSP(const MachineFunction &MF, int FI, 100 Register &FrameReg, 101 bool IgnoreSPUpdates) const override; 102 StackOffset getNonLocalFrameIndexReference(const MachineFunction &MF, 103 int FI) const override; 104 int getSEHFrameIndexOffset(const MachineFunction &MF, int FI) const; 105 106 bool isSupportedStackID(TargetStackID::Value ID) const override { 107 switch (ID) { 108 default: 109 return false; 110 case TargetStackID::Default: 111 case TargetStackID::ScalableVector: 112 case TargetStackID::NoAlloc: 113 return true; 114 } 115 } 116 117 bool isStackIdSafeForLocalArea(unsigned StackId) const override { 118 // We don't support putting SVE objects into the pre-allocated local 119 // frame block at the moment. 120 return StackId != TargetStackID::ScalableVector; 121 } 122 123 void 124 orderFrameObjects(const MachineFunction &MF, 125 SmallVectorImpl<int> &ObjectsToAllocate) const override; 126 127 private: 128 /// Returns true if a homogeneous prolog or epilog code can be emitted 129 /// for the size optimization. If so, HOM_Prolog/HOM_Epilog pseudo 130 /// instructions are emitted in place. When Exit block is given, this check is 131 /// for epilog. 132 bool homogeneousPrologEpilog(MachineFunction &MF, 133 MachineBasicBlock *Exit = nullptr) const; 134 135 /// Returns true if CSRs should be paired. 136 bool producePairRegisters(MachineFunction &MF) const; 137 138 bool shouldCombineCSRLocalStackBump(MachineFunction &MF, 139 uint64_t StackBumpBytes) const; 140 141 int64_t estimateSVEStackObjectOffsets(MachineFrameInfo &MF) const; 142 int64_t assignSVEStackObjectOffsets(MachineFrameInfo &MF, 143 int &MinCSFrameIndex, 144 int &MaxCSFrameIndex) const; 145 MCCFIInstruction 146 createDefCFAExpressionFromSP(const TargetRegisterInfo &TRI, 147 const StackOffset &OffsetFromSP) const; 148 MCCFIInstruction createCfaOffset(const TargetRegisterInfo &MRI, unsigned DwarfReg, 149 const StackOffset &OffsetFromDefCFA) const; 150 bool shouldCombineCSRLocalStackBumpInEpilogue(MachineBasicBlock &MBB, 151 unsigned StackBumpBytes) const; 152 }; 153 154 } // End llvm namespace 155 156 #endif 157