1 //=- AArch64MachineFunctionInfo.h - AArch64 machine function info -*- 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 // This file declares AArch64-specific per-machine-function information. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #ifndef LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H 14 #define LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H 15 16 #include "llvm/ADT/ArrayRef.h" 17 #include "llvm/ADT/Optional.h" 18 #include "llvm/ADT/SmallPtrSet.h" 19 #include "llvm/ADT/SmallVector.h" 20 #include "llvm/CodeGen/CallingConvLower.h" 21 #include "llvm/CodeGen/MIRYamlMapping.h" 22 #include "llvm/CodeGen/MachineFrameInfo.h" 23 #include "llvm/CodeGen/MachineFunction.h" 24 #include "llvm/IR/Function.h" 25 #include "llvm/MC/MCLinkerOptimizationHint.h" 26 #include <cassert> 27 28 namespace llvm { 29 30 namespace yaml { 31 struct AArch64FunctionInfo; 32 } // end namespace yaml 33 34 class MachineInstr; 35 36 /// AArch64FunctionInfo - This class is derived from MachineFunctionInfo and 37 /// contains private AArch64-specific information for each MachineFunction. 38 class AArch64FunctionInfo final : public MachineFunctionInfo { 39 /// Backreference to the machine function. 40 MachineFunction *MF; 41 42 /// Number of bytes of arguments this function has on the stack. If the callee 43 /// is expected to restore the argument stack this should be a multiple of 16, 44 /// all usable during a tail call. 45 /// 46 /// The alternative would forbid tail call optimisation in some cases: if we 47 /// want to transfer control from a function with 8-bytes of stack-argument 48 /// space to a function with 16-bytes then misalignment of this value would 49 /// make a stack adjustment necessary, which could not be undone by the 50 /// callee. 51 unsigned BytesInStackArgArea = 0; 52 53 /// The number of bytes to restore to deallocate space for incoming 54 /// arguments. Canonically 0 in the C calling convention, but non-zero when 55 /// callee is expected to pop the args. 56 unsigned ArgumentStackToRestore = 0; 57 58 /// Space just below incoming stack pointer reserved for arguments being 59 /// passed on the stack during a tail call. This will be the difference 60 /// between the largest tail call argument space needed in this function and 61 /// what's already available by reusing space of incoming arguments. 62 unsigned TailCallReservedStack = 0; 63 64 /// HasStackFrame - True if this function has a stack frame. Set by 65 /// determineCalleeSaves(). 66 bool HasStackFrame = false; 67 68 /// Amount of stack frame size, not including callee-saved registers. 69 uint64_t LocalStackSize = 0; 70 71 /// The start and end frame indices for the SVE callee saves. 72 int MinSVECSFrameIndex = 0; 73 int MaxSVECSFrameIndex = 0; 74 75 /// Amount of stack frame size used for saving callee-saved registers. 76 unsigned CalleeSavedStackSize = 0; 77 unsigned SVECalleeSavedStackSize = 0; 78 bool HasCalleeSavedStackSize = false; 79 80 /// Number of TLS accesses using the special (combinable) 81 /// _TLS_MODULE_BASE_ symbol. 82 unsigned NumLocalDynamicTLSAccesses = 0; 83 84 /// FrameIndex for start of varargs area for arguments passed on the 85 /// stack. 86 int VarArgsStackIndex = 0; 87 88 /// FrameIndex for start of varargs area for arguments passed in 89 /// general purpose registers. 90 int VarArgsGPRIndex = 0; 91 92 /// Size of the varargs area for arguments passed in general purpose 93 /// registers. 94 unsigned VarArgsGPRSize = 0; 95 96 /// FrameIndex for start of varargs area for arguments passed in 97 /// floating-point registers. 98 int VarArgsFPRIndex = 0; 99 100 /// Size of the varargs area for arguments passed in floating-point 101 /// registers. 102 unsigned VarArgsFPRSize = 0; 103 104 /// True if this function has a subset of CSRs that is handled explicitly via 105 /// copies. 106 bool IsSplitCSR = false; 107 108 /// True when the stack gets realigned dynamically because the size of stack 109 /// frame is unknown at compile time. e.g., in case of VLAs. 110 bool StackRealigned = false; 111 112 /// True when the callee-save stack area has unused gaps that may be used for 113 /// other stack allocations. 114 bool CalleeSaveStackHasFreeSpace = false; 115 116 /// SRetReturnReg - sret lowering includes returning the value of the 117 /// returned struct in a register. This field holds the virtual register into 118 /// which the sret argument is passed. 119 Register SRetReturnReg; 120 121 /// SVE stack size (for predicates and data vectors) are maintained here 122 /// rather than in FrameInfo, as the placement and Stack IDs are target 123 /// specific. 124 uint64_t StackSizeSVE = 0; 125 126 /// HasCalculatedStackSizeSVE indicates whether StackSizeSVE is valid. 127 bool HasCalculatedStackSizeSVE = false; 128 129 /// Has a value when it is known whether or not the function uses a 130 /// redzone, and no value otherwise. 131 /// Initialized during frame lowering, unless the function has the noredzone 132 /// attribute, in which case it is set to false at construction. 133 Optional<bool> HasRedZone; 134 135 /// ForwardedMustTailRegParms - A list of virtual and physical registers 136 /// that must be forwarded to every musttail call. 137 SmallVector<ForwardedRegister, 1> ForwardedMustTailRegParms; 138 139 /// FrameIndex for the tagged base pointer. 140 Optional<int> TaggedBasePointerIndex; 141 142 /// Offset from SP-at-entry to the tagged base pointer. 143 /// Tagged base pointer is set up to point to the first (lowest address) 144 /// tagged stack slot. 145 unsigned TaggedBasePointerOffset; 146 147 /// OutliningStyle denotes, if a function was outined, how it was outlined, 148 /// e.g. Tail Call, Thunk, or Function if none apply. 149 Optional<std::string> OutliningStyle; 150 151 // Offset from SP-after-callee-saved-spills (i.e. SP-at-entry minus 152 // CalleeSavedStackSize) to the address of the frame record. 153 int CalleeSaveBaseToFrameRecordOffset = 0; 154 155 /// SignReturnAddress is true if PAC-RET is enabled for the function with 156 /// defaults being sign non-leaf functions only, with the B key. 157 bool SignReturnAddress = false; 158 159 /// SignReturnAddressAll modifies the default PAC-RET mode to signing leaf 160 /// functions as well. 161 bool SignReturnAddressAll = false; 162 163 /// SignWithBKey modifies the default PAC-RET mode to signing with the B key. 164 bool SignWithBKey = false; 165 166 /// BranchTargetEnforcement enables placing BTI instructions at potential 167 /// indirect branch destinations. 168 bool BranchTargetEnforcement = false; 169 170 /// Whether this function has an extended frame record [Ctx, FP, LR]. If so, 171 /// bit 60 of the in-memory FP will be 1 to enable other tools to detect the 172 /// extended record. 173 bool HasSwiftAsyncContext = false; 174 175 /// The stack slot where the Swift asynchronous context is stored. 176 int SwiftAsyncContextFrameIdx = std::numeric_limits<int>::max(); 177 178 bool IsMTETagged = false; 179 180 /// True if the function need unwind information. 181 mutable Optional<bool> NeedsDwarfUnwindInfo; 182 183 /// True if the function need asynchronous unwind information. 184 mutable Optional<bool> NeedsAsyncDwarfUnwindInfo; 185 186 public: 187 explicit AArch64FunctionInfo(MachineFunction &MF); 188 189 MachineFunctionInfo * 190 clone(BumpPtrAllocator &Allocator, MachineFunction &DestMF, 191 const DenseMap<MachineBasicBlock *, MachineBasicBlock *> &Src2DstMBB) 192 const override; 193 194 void initializeBaseYamlFields(const yaml::AArch64FunctionInfo &YamlMFI); 195 196 unsigned getBytesInStackArgArea() const { return BytesInStackArgArea; } 197 void setBytesInStackArgArea(unsigned bytes) { BytesInStackArgArea = bytes; } 198 199 unsigned getArgumentStackToRestore() const { return ArgumentStackToRestore; } 200 void setArgumentStackToRestore(unsigned bytes) { 201 ArgumentStackToRestore = bytes; 202 } 203 204 unsigned getTailCallReservedStack() const { return TailCallReservedStack; } 205 void setTailCallReservedStack(unsigned bytes) { 206 TailCallReservedStack = bytes; 207 } 208 209 bool hasCalculatedStackSizeSVE() const { return HasCalculatedStackSizeSVE; } 210 211 void setStackSizeSVE(uint64_t S) { 212 HasCalculatedStackSizeSVE = true; 213 StackSizeSVE = S; 214 } 215 216 uint64_t getStackSizeSVE() const { return StackSizeSVE; } 217 218 bool hasStackFrame() const { return HasStackFrame; } 219 void setHasStackFrame(bool s) { HasStackFrame = s; } 220 221 bool isStackRealigned() const { return StackRealigned; } 222 void setStackRealigned(bool s) { StackRealigned = s; } 223 224 bool hasCalleeSaveStackFreeSpace() const { 225 return CalleeSaveStackHasFreeSpace; 226 } 227 void setCalleeSaveStackHasFreeSpace(bool s) { 228 CalleeSaveStackHasFreeSpace = s; 229 } 230 bool isSplitCSR() const { return IsSplitCSR; } 231 void setIsSplitCSR(bool s) { IsSplitCSR = s; } 232 233 void setLocalStackSize(uint64_t Size) { LocalStackSize = Size; } 234 uint64_t getLocalStackSize() const { return LocalStackSize; } 235 236 void setOutliningStyle(std::string Style) { OutliningStyle = Style; } 237 Optional<std::string> getOutliningStyle() const { return OutliningStyle; } 238 239 void setCalleeSavedStackSize(unsigned Size) { 240 CalleeSavedStackSize = Size; 241 HasCalleeSavedStackSize = true; 242 } 243 244 // When CalleeSavedStackSize has not been set (for example when 245 // some MachineIR pass is run in isolation), then recalculate 246 // the CalleeSavedStackSize directly from the CalleeSavedInfo. 247 // Note: This information can only be recalculated after PEI 248 // has assigned offsets to the callee save objects. 249 unsigned getCalleeSavedStackSize(const MachineFrameInfo &MFI) const { 250 bool ValidateCalleeSavedStackSize = false; 251 252 #ifndef NDEBUG 253 // Make sure the calculated size derived from the CalleeSavedInfo 254 // equals the cached size that was calculated elsewhere (e.g. in 255 // determineCalleeSaves). 256 ValidateCalleeSavedStackSize = HasCalleeSavedStackSize; 257 #endif 258 259 if (!HasCalleeSavedStackSize || ValidateCalleeSavedStackSize) { 260 assert(MFI.isCalleeSavedInfoValid() && "CalleeSavedInfo not calculated"); 261 if (MFI.getCalleeSavedInfo().empty()) 262 return 0; 263 264 int64_t MinOffset = std::numeric_limits<int64_t>::max(); 265 int64_t MaxOffset = std::numeric_limits<int64_t>::min(); 266 for (const auto &Info : MFI.getCalleeSavedInfo()) { 267 int FrameIdx = Info.getFrameIdx(); 268 if (MFI.getStackID(FrameIdx) != TargetStackID::Default) 269 continue; 270 int64_t Offset = MFI.getObjectOffset(FrameIdx); 271 int64_t ObjSize = MFI.getObjectSize(FrameIdx); 272 MinOffset = std::min<int64_t>(Offset, MinOffset); 273 MaxOffset = std::max<int64_t>(Offset + ObjSize, MaxOffset); 274 } 275 276 if (SwiftAsyncContextFrameIdx != std::numeric_limits<int>::max()) { 277 int64_t Offset = MFI.getObjectOffset(getSwiftAsyncContextFrameIdx()); 278 int64_t ObjSize = MFI.getObjectSize(getSwiftAsyncContextFrameIdx()); 279 MinOffset = std::min<int64_t>(Offset, MinOffset); 280 MaxOffset = std::max<int64_t>(Offset + ObjSize, MaxOffset); 281 } 282 283 unsigned Size = alignTo(MaxOffset - MinOffset, 16); 284 assert((!HasCalleeSavedStackSize || getCalleeSavedStackSize() == Size) && 285 "Invalid size calculated for callee saves"); 286 return Size; 287 } 288 289 return getCalleeSavedStackSize(); 290 } 291 292 unsigned getCalleeSavedStackSize() const { 293 assert(HasCalleeSavedStackSize && 294 "CalleeSavedStackSize has not been calculated"); 295 return CalleeSavedStackSize; 296 } 297 298 // Saves the CalleeSavedStackSize for SVE vectors in 'scalable bytes' 299 void setSVECalleeSavedStackSize(unsigned Size) { 300 SVECalleeSavedStackSize = Size; 301 } 302 unsigned getSVECalleeSavedStackSize() const { 303 return SVECalleeSavedStackSize; 304 } 305 306 void setMinMaxSVECSFrameIndex(int Min, int Max) { 307 MinSVECSFrameIndex = Min; 308 MaxSVECSFrameIndex = Max; 309 } 310 311 int getMinSVECSFrameIndex() const { return MinSVECSFrameIndex; } 312 int getMaxSVECSFrameIndex() const { return MaxSVECSFrameIndex; } 313 314 void incNumLocalDynamicTLSAccesses() { ++NumLocalDynamicTLSAccesses; } 315 unsigned getNumLocalDynamicTLSAccesses() const { 316 return NumLocalDynamicTLSAccesses; 317 } 318 319 Optional<bool> hasRedZone() const { return HasRedZone; } 320 void setHasRedZone(bool s) { HasRedZone = s; } 321 322 int getVarArgsStackIndex() const { return VarArgsStackIndex; } 323 void setVarArgsStackIndex(int Index) { VarArgsStackIndex = Index; } 324 325 int getVarArgsGPRIndex() const { return VarArgsGPRIndex; } 326 void setVarArgsGPRIndex(int Index) { VarArgsGPRIndex = Index; } 327 328 unsigned getVarArgsGPRSize() const { return VarArgsGPRSize; } 329 void setVarArgsGPRSize(unsigned Size) { VarArgsGPRSize = Size; } 330 331 int getVarArgsFPRIndex() const { return VarArgsFPRIndex; } 332 void setVarArgsFPRIndex(int Index) { VarArgsFPRIndex = Index; } 333 334 unsigned getVarArgsFPRSize() const { return VarArgsFPRSize; } 335 void setVarArgsFPRSize(unsigned Size) { VarArgsFPRSize = Size; } 336 337 unsigned getSRetReturnReg() const { return SRetReturnReg; } 338 void setSRetReturnReg(unsigned Reg) { SRetReturnReg = Reg; } 339 340 unsigned getJumpTableEntrySize(int Idx) const { 341 return JumpTableEntryInfo[Idx].first; 342 } 343 MCSymbol *getJumpTableEntryPCRelSymbol(int Idx) const { 344 return JumpTableEntryInfo[Idx].second; 345 } 346 void setJumpTableEntryInfo(int Idx, unsigned Size, MCSymbol *PCRelSym) { 347 if ((unsigned)Idx >= JumpTableEntryInfo.size()) 348 JumpTableEntryInfo.resize(Idx+1); 349 JumpTableEntryInfo[Idx] = std::make_pair(Size, PCRelSym); 350 } 351 352 using SetOfInstructions = SmallPtrSet<const MachineInstr *, 16>; 353 354 const SetOfInstructions &getLOHRelated() const { return LOHRelated; } 355 356 // Shortcuts for LOH related types. 357 class MILOHDirective { 358 MCLOHType Kind; 359 360 /// Arguments of this directive. Order matters. 361 SmallVector<const MachineInstr *, 3> Args; 362 363 public: 364 using LOHArgs = ArrayRef<const MachineInstr *>; 365 366 MILOHDirective(MCLOHType Kind, LOHArgs Args) 367 : Kind(Kind), Args(Args.begin(), Args.end()) { 368 assert(isValidMCLOHType(Kind) && "Invalid LOH directive type!"); 369 } 370 371 MCLOHType getKind() const { return Kind; } 372 LOHArgs getArgs() const { return Args; } 373 }; 374 375 using MILOHArgs = MILOHDirective::LOHArgs; 376 using MILOHContainer = SmallVector<MILOHDirective, 32>; 377 378 const MILOHContainer &getLOHContainer() const { return LOHContainerSet; } 379 380 /// Add a LOH directive of this @p Kind and this @p Args. 381 void addLOHDirective(MCLOHType Kind, MILOHArgs Args) { 382 LOHContainerSet.push_back(MILOHDirective(Kind, Args)); 383 LOHRelated.insert(Args.begin(), Args.end()); 384 } 385 386 SmallVectorImpl<ForwardedRegister> &getForwardedMustTailRegParms() { 387 return ForwardedMustTailRegParms; 388 } 389 390 Optional<int> getTaggedBasePointerIndex() const { 391 return TaggedBasePointerIndex; 392 } 393 void setTaggedBasePointerIndex(int Index) { TaggedBasePointerIndex = Index; } 394 395 unsigned getTaggedBasePointerOffset() const { 396 return TaggedBasePointerOffset; 397 } 398 void setTaggedBasePointerOffset(unsigned Offset) { 399 TaggedBasePointerOffset = Offset; 400 } 401 402 int getCalleeSaveBaseToFrameRecordOffset() const { 403 return CalleeSaveBaseToFrameRecordOffset; 404 } 405 void setCalleeSaveBaseToFrameRecordOffset(int Offset) { 406 CalleeSaveBaseToFrameRecordOffset = Offset; 407 } 408 409 bool shouldSignReturnAddress() const; 410 bool shouldSignReturnAddress(bool SpillsLR) const; 411 412 bool shouldSignWithBKey() const { return SignWithBKey; } 413 bool isMTETagged() const { return IsMTETagged; } 414 415 bool branchTargetEnforcement() const { return BranchTargetEnforcement; } 416 417 void setHasSwiftAsyncContext(bool HasContext) { 418 HasSwiftAsyncContext = HasContext; 419 } 420 bool hasSwiftAsyncContext() const { return HasSwiftAsyncContext; } 421 422 void setSwiftAsyncContextFrameIdx(int FI) { 423 SwiftAsyncContextFrameIdx = FI; 424 } 425 int getSwiftAsyncContextFrameIdx() const { return SwiftAsyncContextFrameIdx; } 426 427 bool needsDwarfUnwindInfo() const; 428 bool needsAsyncDwarfUnwindInfo() const; 429 430 private: 431 // Hold the lists of LOHs. 432 MILOHContainer LOHContainerSet; 433 SetOfInstructions LOHRelated; 434 435 SmallVector<std::pair<unsigned, MCSymbol *>, 2> JumpTableEntryInfo; 436 }; 437 438 namespace yaml { 439 struct AArch64FunctionInfo final : public yaml::MachineFunctionInfo { 440 Optional<bool> HasRedZone; 441 442 AArch64FunctionInfo() = default; 443 AArch64FunctionInfo(const llvm::AArch64FunctionInfo &MFI); 444 445 void mappingImpl(yaml::IO &YamlIO) override; 446 ~AArch64FunctionInfo() = default; 447 }; 448 449 template <> struct MappingTraits<AArch64FunctionInfo> { 450 static void mapping(IO &YamlIO, AArch64FunctionInfo &MFI) { 451 YamlIO.mapOptional("hasRedZone", MFI.HasRedZone); 452 } 453 }; 454 455 } // end namespace yaml 456 457 } // end namespace llvm 458 459 #endif // LLVM_LIB_TARGET_AARCH64_AARCH64MACHINEFUNCTIONINFO_H 460