1 //===-- VEFrameLowering.cpp - VE Frame Information ------------------------===//
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
7 //===----------------------------------------------------------------------===//
9 // This file contains the VE implementation of TargetFrameLowering class.
11 // On VE, stack frames are structured as follows:
13 // The stack grows downward.
15 // All of the individual frame areas on the frame below are optional, i.e. it's
16 // possible to create a function so that the particular area isn't present
19 // At function entry, the "frame" looks as follows:
22 // |----------------------------------------------|
23 // | Parameter area for this function |
24 // |----------------------------------------------|
25 // | Register save area (RSA) for this function |
26 // |----------------------------------------------|
27 // | Return address for this function |
28 // |----------------------------------------------|
29 // | Frame pointer for this function |
30 // |----------------------------------------------| <- sp
33 // VE doesn't use on demand stack allocation, so user code generated by LLVM
34 // needs to call VEOS to allocate stack frame. VE's ABI want to reduce the
35 // number of VEOS calls, so ABI requires to allocate not only RSA (in general
36 // CSR, callee saved register) area but also call frame at the prologue of
39 // After the prologue has run, the frame has the following general structure.
40 // Note that technically the last frame area (VLAs) doesn't get created until
41 // in the main function body, after the prologue is run. However, it's depicted
42 // here for completeness.
45 // |----------------------------------------------|
46 // | Parameter area for this function |
47 // |----------------------------------------------|
48 // | Register save area (RSA) for this function |
49 // |----------------------------------------------|
50 // | Return address for this function |
51 // |----------------------------------------------|
52 // | Frame pointer for this function |
53 // |----------------------------------------------| <- fp(=old sp)
54 // |.empty.space.to.make.part.below.aligned.in....|
55 // |.case.it.needs.more.than.the.standard.16-byte.| (size of this area is
56 // |.alignment....................................| unknown at compile time)
57 // |----------------------------------------------|
58 // | Local variables of fixed size including spill|
60 // |----------------------------------------------| <- bp(not defined by ABI,
61 // |.variable-sized.local.variables.(VLAs)........| LLVM chooses SX17)
62 // |..............................................| (size of this area is
63 // |..............................................| unknown at compile time)
64 // |----------------------------------------------| <- stack top (returned by
65 // | Parameter area for callee | alloca)
66 // |----------------------------------------------|
67 // | Register save area (RSA) for callee |
68 // |----------------------------------------------|
69 // | Return address for callee |
70 // |----------------------------------------------|
71 // | Frame pointer for callee |
72 // |----------------------------------------------| <- sp
75 // To access the data in a frame, at-compile time, a constant offset must be
76 // computable from one of the pointers (fp, bp, sp) to access it. The size
77 // of the areas with a dotted background cannot be computed at compile-time
78 // if they are present, making it required to have all three of fp, bp and
79 // sp to be set up to be able to access all contents in the frame areas,
80 // assuming all of the frame areas are non-empty.
82 // For most functions, some of the frame areas are empty. For those functions,
83 // it may not be necessary to set up fp or bp:
84 // * A base pointer is definitely needed when there are both VLAs and local
85 // variables with more-than-default alignment requirements.
86 // * A frame pointer is definitely needed when there are local variables with
87 // more-than-default alignment requirements.
89 // In addition, VE ABI defines RSA frame, return address, and frame pointer
92 // |----------------------------------------------| <- sp+176
94 // |----------------------------------------------| <- sp+48
95 // | Linkage area register (%s17) |
96 // |----------------------------------------------| <- sp+40
97 // | Procedure linkage table register (%plt=%s16) |
98 // |----------------------------------------------| <- sp+32
99 // | Global offset table register (%got=%s15) |
100 // |----------------------------------------------| <- sp+24
101 // | Thread pointer register (%tp=%s14) |
102 // |----------------------------------------------| <- sp+16
103 // | Return address |
104 // |----------------------------------------------| <- sp+8
106 // |----------------------------------------------| <- sp+0
108 // NOTE: This description is based on VE ABI and description in
109 // AArch64FrameLowering.cpp. Thanks a lot.
110 //===----------------------------------------------------------------------===//
112 #include "VEFrameLowering.h"
113 #include "VEInstrInfo.h"
114 #include "VEMachineFunctionInfo.h"
115 #include "VESubtarget.h"
116 #include "llvm/CodeGen/MachineFrameInfo.h"
117 #include "llvm/CodeGen/MachineFunction.h"
118 #include "llvm/CodeGen/MachineInstrBuilder.h"
119 #include "llvm/CodeGen/MachineModuleInfo.h"
120 #include "llvm/CodeGen/MachineRegisterInfo.h"
121 #include "llvm/CodeGen/RegisterScavenging.h"
122 #include "llvm/IR/DataLayout.h"
123 #include "llvm/IR/Function.h"
124 #include "llvm/Support/CommandLine.h"
125 #include "llvm/Target/TargetOptions.h"
126 #include "llvm/Support/MathExtras.h"
128 using namespace llvm
;
130 VEFrameLowering::VEFrameLowering(const VESubtarget
&ST
)
131 : TargetFrameLowering(TargetFrameLowering::StackGrowsDown
, Align(16), 0,
135 void VEFrameLowering::emitPrologueInsns(MachineFunction
&MF
,
136 MachineBasicBlock
&MBB
,
137 MachineBasicBlock::iterator MBBI
,
139 bool RequireFPUpdate
) const {
140 const VEMachineFunctionInfo
*FuncInfo
= MF
.getInfo
<VEMachineFunctionInfo
>();
142 const VEInstrInfo
&TII
= *STI
.getInstrInfo();
144 // Insert following codes here as prologue
146 // st %fp, 0(, %sp) iff !isLeafProc
147 // st %lr, 8(, %sp) iff !isLeafProc
148 // st %got, 24(, %sp) iff hasGOT
149 // st %plt, 32(, %sp) iff hasGOT
150 // st %s17, 40(, %sp) iff hasBP
151 if (!FuncInfo
->isLeafProc()) {
152 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::STrii
))
157 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::STrii
))
164 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::STrii
))
169 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::STrii
))
176 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::STrii
))
183 void VEFrameLowering::emitEpilogueInsns(MachineFunction
&MF
,
184 MachineBasicBlock
&MBB
,
185 MachineBasicBlock::iterator MBBI
,
187 bool RequireFPUpdate
) const {
188 const VEMachineFunctionInfo
*FuncInfo
= MF
.getInfo
<VEMachineFunctionInfo
>();
190 const VEInstrInfo
&TII
= *STI
.getInstrInfo();
192 // Insert following codes here as epilogue
194 // ld %s17, 40(, %sp) iff hasBP
195 // ld %plt, 32(, %sp) iff hasGOT
196 // ld %got, 24(, %sp) iff hasGOT
197 // ld %lr, 8(, %sp) iff !isLeafProc
198 // ld %fp, 0(, %sp) iff !isLeafProc
200 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LDrii
), VE::SX17
)
205 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LDrii
), VE::SX16
)
209 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LDrii
), VE::SX15
)
214 if (!FuncInfo
->isLeafProc()) {
215 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LDrii
), VE::SX10
)
219 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LDrii
), VE::SX9
)
226 void VEFrameLowering::emitSPAdjustment(MachineFunction
&MF
,
227 MachineBasicBlock
&MBB
,
228 MachineBasicBlock::iterator MBBI
,
230 MaybeAlign MaybeAlign
) const {
232 const VEInstrInfo
&TII
= *STI
.getInstrInfo();
235 // Nothing to do here.
236 } else if (isInt
<7>(NumBytes
)) {
237 // adds.l %s11, NumBytes@lo, %s11
238 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::ADDSLri
), VE::SX11
)
241 } else if (isInt
<32>(NumBytes
)) {
242 // lea %s11, NumBytes@lo(, %s11)
243 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LEArii
), VE::SX11
)
246 .addImm(Lo_32(NumBytes
));
248 // Emit following codes. This clobbers SX13 which we always know is
250 // lea %s13, NumBytes@lo
251 // and %s13, %s13, (32)0
252 // lea.sl %sp, NumBytes@hi(%s13, %sp)
253 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LEAzii
), VE::SX13
)
256 .addImm(Lo_32(NumBytes
));
257 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::ANDrm
), VE::SX13
)
260 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::LEASLrri
), VE::SX11
)
263 .addImm(Hi_32(NumBytes
));
267 // and %sp, %sp, Align-1
268 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::ANDrm
), VE::SX11
)
270 .addImm(M1(64 - Log2_64(MaybeAlign
.valueOrOne().value())));
274 void VEFrameLowering::emitSPExtend(MachineFunction
&MF
, MachineBasicBlock
&MBB
,
275 MachineBasicBlock::iterator MBBI
) const {
277 const VEInstrInfo
&TII
= *STI
.getInstrInfo();
279 // Emit following codes. It is not possible to insert multiple
280 // BasicBlocks in PEI pass, so we emit two pseudo instructions here.
282 // EXTEND_STACK // pseudo instrcution
283 // EXTEND_STACK_GUARD // pseudo instrcution
285 // EXTEND_STACK pseudo will be converted by ExpandPostRA pass into
286 // following instructions with multiple basic blocks later.
289 // brge.l.t %sp, %sl, sinkBB
291 // ld %s61, 0x18(, %tp) // load param area
292 // or %s62, 0, %s0 // spill the value of %s0
293 // lea %s63, 0x13b // syscall # of grow
294 // shm.l %s63, 0x0(%s61) // store syscall # at addr:0
295 // shm.l %sl, 0x8(%s61) // store old limit at addr:8
296 // shm.l %sp, 0x10(%s61) // store new limit at addr:16
297 // monc // call monitor
298 // or %s0, 0, %s62 // restore the value of %s0
301 // EXTEND_STACK_GUARD pseudo will be simply eliminated by ExpandPostRA
302 // pass. This pseudo is required to be at the next of EXTEND_STACK
303 // pseudo in order to protect iteration loop in ExpandPostRA.
304 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::EXTEND_STACK
));
305 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::EXTEND_STACK_GUARD
));
308 void VEFrameLowering::emitPrologue(MachineFunction
&MF
,
309 MachineBasicBlock
&MBB
) const {
310 const VEMachineFunctionInfo
*FuncInfo
= MF
.getInfo
<VEMachineFunctionInfo
>();
311 assert(&MF
.front() == &MBB
&& "Shrink-wrapping not yet supported");
312 MachineFrameInfo
&MFI
= MF
.getFrameInfo();
313 const VEInstrInfo
&TII
= *STI
.getInstrInfo();
314 const VERegisterInfo
&RegInfo
= *STI
.getRegisterInfo();
315 MachineBasicBlock::iterator MBBI
= MBB
.begin();
316 bool NeedsStackRealignment
= RegInfo
.shouldRealignStack(MF
);
318 // Debug location must be unknown since the first debug location is used
319 // to determine the end of the prologue.
322 if (NeedsStackRealignment
&& !RegInfo
.canRealignStack(MF
))
323 report_fatal_error("Function \"" + Twine(MF
.getName()) +
325 "stack re-alignment, but LLVM couldn't handle it "
326 "(probably because it has a dynamic alloca).");
328 // Get the number of bytes to allocate from the FrameInfo.
329 // This number of bytes is already aligned to ABI stack alignment.
330 uint64_t NumBytes
= MFI
.getStackSize();
332 // Adjust stack size if this function is not a leaf function since the
333 // VE ABI requires a reserved area at the top of stack as described in
334 // VEFrameLowering.cpp.
335 if (!FuncInfo
->isLeafProc()) {
336 // NOTE: The number is aligned to ABI stack alignment after adjustment.
337 NumBytes
= STI
.getAdjustedFrameSize(NumBytes
);
340 // Finally, ensure that the size is sufficiently aligned for the
341 // data on the stack.
342 NumBytes
= alignTo(NumBytes
, MFI
.getMaxAlign());
344 // Update stack size with corrected value.
345 MFI
.setStackSize(NumBytes
);
347 // Emit Prologue instructions to save multiple registers.
348 emitPrologueInsns(MF
, MBB
, MBBI
, NumBytes
, true);
350 // Emit instructions to save SP in FP as follows if this is not a leaf
353 if (!FuncInfo
->isLeafProc())
354 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::ORri
), VE::SX9
)
358 // Emit stack adjust instructions
359 MaybeAlign RuntimeAlign
=
360 NeedsStackRealignment
? MaybeAlign(MFI
.getMaxAlign()) : None
;
361 assert((RuntimeAlign
== None
|| !FuncInfo
->isLeafProc()) &&
362 "SP has to be saved in order to align variable sized stack object!");
363 emitSPAdjustment(MF
, MBB
, MBBI
, -(int64_t)NumBytes
, RuntimeAlign
);
367 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::ORri
), VE::SX17
)
372 // Emit stack extend instructions
374 emitSPExtend(MF
, MBB
, MBBI
);
377 MachineBasicBlock::iterator
VEFrameLowering::eliminateCallFramePseudoInstr(
378 MachineFunction
&MF
, MachineBasicBlock
&MBB
,
379 MachineBasicBlock::iterator I
) const {
380 if (!hasReservedCallFrame(MF
)) {
381 MachineInstr
&MI
= *I
;
382 int64_t Size
= MI
.getOperand(0).getImm();
383 if (MI
.getOpcode() == VE::ADJCALLSTACKDOWN
)
387 emitSPAdjustment(MF
, MBB
, I
, Size
);
392 void VEFrameLowering::emitEpilogue(MachineFunction
&MF
,
393 MachineBasicBlock
&MBB
) const {
394 const VEMachineFunctionInfo
*FuncInfo
= MF
.getInfo
<VEMachineFunctionInfo
>();
396 MachineBasicBlock::iterator MBBI
= MBB
.getLastNonDebugInstr();
397 MachineFrameInfo
&MFI
= MF
.getFrameInfo();
398 const VEInstrInfo
&TII
= *STI
.getInstrInfo();
400 uint64_t NumBytes
= MFI
.getStackSize();
402 // Emit instructions to retrieve original SP.
403 if (!FuncInfo
->isLeafProc()) {
404 // If SP is saved in FP, retrieve it as follows:
405 // or %sp, 0, %fp iff !isLeafProc
406 BuildMI(MBB
, MBBI
, DL
, TII
.get(VE::ORri
), VE::SX11
)
410 // Emit stack adjust instructions.
411 emitSPAdjustment(MF
, MBB
, MBBI
, NumBytes
, None
);
414 // Emit Epilogue instructions to restore multiple registers.
415 emitEpilogueInsns(MF
, MBB
, MBBI
, NumBytes
, true);
418 // hasFP - Return true if the specified function should have a dedicated frame
419 // pointer register. This is true if the function has variable sized allocas
420 // or if frame pointer elimination is disabled.
421 bool VEFrameLowering::hasFP(const MachineFunction
&MF
) const {
422 const TargetRegisterInfo
*RegInfo
= MF
.getSubtarget().getRegisterInfo();
424 const MachineFrameInfo
&MFI
= MF
.getFrameInfo();
425 return MF
.getTarget().Options
.DisableFramePointerElim(MF
) ||
426 RegInfo
->hasStackRealignment(MF
) || MFI
.hasVarSizedObjects() ||
427 MFI
.isFrameAddressTaken();
430 bool VEFrameLowering::hasBP(const MachineFunction
&MF
) const {
431 const MachineFrameInfo
&MFI
= MF
.getFrameInfo();
432 const TargetRegisterInfo
*TRI
= STI
.getRegisterInfo();
434 return MFI
.hasVarSizedObjects() && TRI
->hasStackRealignment(MF
);
437 bool VEFrameLowering::hasGOT(const MachineFunction
&MF
) const {
438 const VEMachineFunctionInfo
*FuncInfo
= MF
.getInfo
<VEMachineFunctionInfo
>();
440 // If a global base register is assigned (!= 0), GOT is used.
441 return FuncInfo
->getGlobalBaseReg() != 0;
444 StackOffset
VEFrameLowering::getFrameIndexReference(const MachineFunction
&MF
,
446 Register
&FrameReg
) const {
447 const MachineFrameInfo
&MFI
= MF
.getFrameInfo();
448 const VERegisterInfo
*RegInfo
= STI
.getRegisterInfo();
449 bool isFixed
= MFI
.isFixedObjectIndex(FI
);
451 int64_t FrameOffset
= MF
.getFrameInfo().getObjectOffset(FI
);
454 // If FP is not used, frame indexies are based on a %sp regiter.
455 FrameReg
= VE::SX11
; // %sp
456 return StackOffset::getFixed(FrameOffset
+
457 MF
.getFrameInfo().getStackSize());
459 if (RegInfo
->hasStackRealignment(MF
) && !isFixed
) {
460 // If data on stack require realignemnt, frame indexies are based on a %sp
461 // or %s17 (bp) register. If there is a variable sized object, bp is used.
463 FrameReg
= VE::SX17
; // %bp
465 FrameReg
= VE::SX11
; // %sp
466 return StackOffset::getFixed(FrameOffset
+
467 MF
.getFrameInfo().getStackSize());
469 // Use %fp by default.
470 FrameReg
= RegInfo
->getFrameRegister(MF
);
471 return StackOffset::getFixed(FrameOffset
);
474 bool VEFrameLowering::isLeafProc(MachineFunction
&MF
) const {
476 MachineRegisterInfo
&MRI
= MF
.getRegInfo();
477 MachineFrameInfo
&MFI
= MF
.getFrameInfo();
479 return !MFI
.hasCalls() // No calls
480 && !MRI
.isPhysRegUsed(VE::SX18
) // Registers within limits
481 // (s18 is first CSR)
482 && !MRI
.isPhysRegUsed(VE::SX11
) // %sp un-used
483 && !hasFP(MF
); // Don't need %fp
486 void VEFrameLowering::determineCalleeSaves(MachineFunction
&MF
,
487 BitVector
&SavedRegs
,
488 RegScavenger
*RS
) const {
489 TargetFrameLowering::determineCalleeSaves(MF
, SavedRegs
, RS
);
491 // Functions having BP need to emit prologue and epilogue to allocate local
492 // buffer on the stack even if the function is a leaf function.
493 if (isLeafProc(MF
) && !hasBP(MF
)) {
494 VEMachineFunctionInfo
*FuncInfo
= MF
.getInfo
<VEMachineFunctionInfo
>();
495 FuncInfo
->setLeafProc(true);