39 return CC_RISCV_GHC(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State);
46 return CC_RISCV_Impl(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State,
54 return CC_RISCV_Impl(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State,
84 RISCV::F13_H, RISCV::F14_H, RISCV::F15_H,
85 RISCV::F16_H, RISCV::F17_H};
87 RISCV::F13_F, RISCV::F14_F, RISCV::F15_F,
88 RISCV::F16_F, RISCV::F17_F};
90 RISCV::F13_D, RISCV::F14_D, RISCV::F15_D,
91 RISCV::F16_D, RISCV::F17_D};
94 RISCV::V8, RISCV::V9, RISCV::V10, RISCV::V11, RISCV::V12, RISCV::V13,
95 RISCV::V14, RISCV::V15, RISCV::V16, RISCV::V17, RISCV::V18, RISCV::V19,
96 RISCV::V20, RISCV::V21, RISCV::V22, RISCV::V23};
98 RISCV::V14M2, RISCV::V16M2, RISCV::V18M2,
99 RISCV::V20M2, RISCV::V22M2};
104 RISCV::V8_V9, RISCV::V9_V10, RISCV::V10_V11, RISCV::V11_V12,
105 RISCV::V12_V13, RISCV::V13_V14, RISCV::V14_V15, RISCV::V15_V16,
106 RISCV::V16_V17, RISCV::V17_V18, RISCV::V18_V19, RISCV::V19_V20,
107 RISCV::V20_V21, RISCV::V21_V22, RISCV::V22_V23};
109 RISCV::V8_V9_V10, RISCV::V9_V10_V11, RISCV::V10_V11_V12,
110 RISCV::V11_V12_V13, RISCV::V12_V13_V14, RISCV::V13_V14_V15,
111 RISCV::V14_V15_V16, RISCV::V15_V16_V17, RISCV::V16_V17_V18,
112 RISCV::V17_V18_V19, RISCV::V18_V19_V20, RISCV::V19_V20_V21,
113 RISCV::V20_V21_V22, RISCV::V21_V22_V23};
115 RISCV::V8_V9_V10_V11, RISCV::V9_V10_V11_V12, RISCV::V10_V11_V12_V13,
116 RISCV::V11_V12_V13_V14, RISCV::V12_V13_V14_V15, RISCV::V13_V14_V15_V16,
117 RISCV::V14_V15_V16_V17, RISCV::V15_V16_V17_V18, RISCV::V16_V17_V18_V19,
118 RISCV::V17_V18_V19_V20, RISCV::V18_V19_V20_V21, RISCV::V19_V20_V21_V22,
119 RISCV::V20_V21_V22_V23};
121 RISCV::V8_V9_V10_V11_V12, RISCV::V9_V10_V11_V12_V13,
122 RISCV::V10_V11_V12_V13_V14, RISCV::V11_V12_V13_V14_V15,
123 RISCV::V12_V13_V14_V15_V16, RISCV::V13_V14_V15_V16_V17,
124 RISCV::V14_V15_V16_V17_V18, RISCV::V15_V16_V17_V18_V19,
125 RISCV::V16_V17_V18_V19_V20, RISCV::V17_V18_V19_V20_V21,
126 RISCV::V18_V19_V20_V21_V22, RISCV::V19_V20_V21_V22_V23};
128 RISCV::V8_V9_V10_V11_V12_V13, RISCV::V9_V10_V11_V12_V13_V14,
129 RISCV::V10_V11_V12_V13_V14_V15, RISCV::V11_V12_V13_V14_V15_V16,
130 RISCV::V12_V13_V14_V15_V16_V17, RISCV::V13_V14_V15_V16_V17_V18,
131 RISCV::V14_V15_V16_V17_V18_V19, RISCV::V15_V16_V17_V18_V19_V20,
132 RISCV::V16_V17_V18_V19_V20_V21, RISCV::V17_V18_V19_V20_V21_V22,
133 RISCV::V18_V19_V20_V21_V22_V23};
135 RISCV::V8_V9_V10_V11_V12_V13_V14, RISCV::V9_V10_V11_V12_V13_V14_V15,
136 RISCV::V10_V11_V12_V13_V14_V15_V16, RISCV::V11_V12_V13_V14_V15_V16_V17,
137 RISCV::V12_V13_V14_V15_V16_V17_V18, RISCV::V13_V14_V15_V16_V17_V18_V19,
138 RISCV::V14_V15_V16_V17_V18_V19_V20, RISCV::V15_V16_V17_V18_V19_V20_V21,
139 RISCV::V16_V17_V18_V19_V20_V21_V22, RISCV::V17_V18_V19_V20_V21_V22_V23};
141 RISCV::V9_V10_V11_V12_V13_V14_V15_V16,
142 RISCV::V10_V11_V12_V13_V14_V15_V16_V17,
143 RISCV::V11_V12_V13_V14_V15_V16_V17_V18,
144 RISCV::V12_V13_V14_V15_V16_V17_V18_V19,
145 RISCV::V13_V14_V15_V16_V17_V18_V19_V20,
146 RISCV::V14_V15_V16_V17_V18_V19_V20_V21,
147 RISCV::V15_V16_V17_V18_V19_V20_V21_V22,
148 RISCV::V16_V17_V18_V19_V20_V21_V22_V23};
150 RISCV::V12M2_V14M2, RISCV::V14M2_V16M2,
151 RISCV::V16M2_V18M2, RISCV::V18M2_V20M2,
154 RISCV::V8M2_V10M2_V12M2, RISCV::V10M2_V12M2_V14M2,
155 RISCV::V12M2_V14M2_V16M2, RISCV::V14M2_V16M2_V18M2,
156 RISCV::V16M2_V18M2_V20M2, RISCV::V18M2_V20M2_V22M2};
158 RISCV::V8M2_V10M2_V12M2_V14M2, RISCV::V10M2_V12M2_V14M2_V16M2,
159 RISCV::V12M2_V14M2_V16M2_V18M2, RISCV::V14M2_V16M2_V18M2_V20M2,
160 RISCV::V16M2_V18M2_V20M2_V22M2};
167 static const MCPhysReg ArgIGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
168 RISCV::X13, RISCV::X14, RISCV::X15,
169 RISCV::X16, RISCV::X17};
171 static const MCPhysReg ArgEGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
172 RISCV::X13, RISCV::X14, RISCV::X15};
183 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_H, RISCV::X11_H, RISCV::X12_H,
184 RISCV::X13_H, RISCV::X14_H, RISCV::X15_H,
185 RISCV::X16_H, RISCV::X17_H};
187 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
188 RISCV::X12_H, RISCV::X13_H,
189 RISCV::X14_H, RISCV::X15_H};
200 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_W, RISCV::X11_W, RISCV::X12_W,
201 RISCV::X13_W, RISCV::X14_W, RISCV::X15_W,
202 RISCV::X16_W, RISCV::X17_W};
204 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
205 RISCV::X12_W, RISCV::X13_W,
206 RISCV::X14_W, RISCV::X15_W};
219 RISCV::X10, RISCV::X11, RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15,
220 RISCV::X16, RISCV::X17, RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31};
223 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
224 RISCV::X13, RISCV::X14, RISCV::X15};
237 RISCV::X10_H, RISCV::X11_H, RISCV::X12_H, RISCV::X13_H,
238 RISCV::X14_H, RISCV::X15_H, RISCV::X16_H, RISCV::X17_H,
239 RISCV::X28_H, RISCV::X29_H, RISCV::X30_H, RISCV::X31_H};
242 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
243 RISCV::X12_H, RISCV::X13_H,
244 RISCV::X14_H, RISCV::X15_H};
257 RISCV::X10_W, RISCV::X11_W, RISCV::X12_W, RISCV::X13_W,
258 RISCV::X14_W, RISCV::X15_W, RISCV::X16_W, RISCV::X17_W,
259 RISCV::X28_W, RISCV::X29_W, RISCV::X30_W, RISCV::X31_W};
262 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
263 RISCV::X12_W, RISCV::X13_W,
264 RISCV::X14_W, RISCV::X15_W};
278 unsigned XLenInBytes = XLen / 8;
291 Align StackAlign(XLenInBytes);
292 if (!
EABI || XLen != 32)
296 State.AllocateStack(XLenInBytes, StackAlign),
299 ValNo2, ValVT2, State.AllocateStack(XLenInBytes,
Align(XLenInBytes)),
311 ValNo2, ValVT2, State.AllocateStack(XLenInBytes,
Align(XLenInBytes)),
321 if (RC == &RISCV::VRRegClass) {
328 return State.AllocateReg(
ArgVRs);
330 if (RC == &RISCV::VRM2RegClass)
332 if (RC == &RISCV::VRM4RegClass)
334 if (RC == &RISCV::VRM8RegClass)
336 if (RC == &RISCV::VRN2M1RegClass)
338 if (RC == &RISCV::VRN3M1RegClass)
340 if (RC == &RISCV::VRN4M1RegClass)
342 if (RC == &RISCV::VRN5M1RegClass)
344 if (RC == &RISCV::VRN6M1RegClass)
346 if (RC == &RISCV::VRN7M1RegClass)
348 if (RC == &RISCV::VRN8M1RegClass)
350 if (RC == &RISCV::VRN2M2RegClass)
352 if (RC == &RISCV::VRN3M2RegClass)
354 if (RC == &RISCV::VRN4M2RegClass)
356 if (RC == &RISCV::VRN2M4RegClass)
373 unsigned XLen = Subtarget.
getXLen();
384 const auto StaticChainReg = HasCFBranch ? RISCV::X28 : RISCV::X7;
390 "Nested functions with control flow protection are not "
391 "usable with ILP32E or LP64E ABI.");
406 bool UseGPRForF16_F32 =
true;
409 bool UseGPRForF64 =
true;
422 UseGPRForF16_F32 = ArgFlags.
isVarArg();
426 UseGPRForF16_F32 = ArgFlags.
isVarArg();
431 if ((LocVT == MVT::f16 || LocVT == MVT::bf16) && !UseGPRForF16_F32) {
438 if (LocVT == MVT::f32 && !UseGPRForF16_F32) {
445 if (LocVT == MVT::f64 && !UseGPRForF64) {
452 if ((ValVT == MVT::f16 && Subtarget.hasStdExtZhinxmin())) {
459 if (ValVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
469 if (LocVT == MVT::f64 && XLen == 64 && Subtarget.hasStdExtZdinx()) {
477 if (LocVT == MVT::f16 || LocVT == MVT::bf16 ||
478 (LocVT == MVT::f32 && XLen == 64)) {
488 if ((XLen == 32 && LocVT == MVT::f32) || (XLen == 64 && LocVT == MVT::f64)) {
507 unsigned TwoXLenInBytes = (2 * XLen) / 8;
509 DL.getTypeAllocSize(OrigTy) == TwoXLenInBytes &&
511 unsigned RegIdx = State.getFirstUnallocated(
ArgGPRs);
513 if (RegIdx != std::size(
ArgGPRs) && RegIdx % 2 == 1)
519 State.getPendingArgFlags();
522 "PendingLocs and PendingArgFlags out of sync");
526 if (XLen == 32 && LocVT == MVT::f64) {
527 assert(PendingLocs.
empty() &&
"Can't lower f64 if it is split");
557 assert(PendingLocs.
size() == 1 &&
"Unexpected PendingLocs.size()");
563 PendingArgFlags.
clear();
565 XLen, State, VA, AF, ValNo, ValVT, LocVT, ArgFlags,
585 unsigned StoreSizeBytes = XLen / 8;
597 LocVT = TLI.getContainerForFixedLengthVector(LocVT);
626 Reg ? 0 : State.AllocateStack(StoreSizeBytes, StackAlign);
630 if (!PendingLocs.
empty()) {
632 assert(PendingLocs.
size() > 2 &&
"Unexpected PendingLocs.size()");
634 for (
auto &It : PendingLocs) {
644 PendingArgFlags.
clear();
650 (TLI.getSubtarget().hasVInstructions() &&
652 "Expected an XLenVT or vector types at this stage");
674 if ((LocVT == MVT::f16 && Subtarget.hasStdExtZfhmin()) ||
675 (LocVT == MVT::bf16 && Subtarget.hasStdExtZfbfmin())) {
677 RISCV::F10_H, RISCV::F11_H, RISCV::F12_H, RISCV::F13_H, RISCV::F14_H,
678 RISCV::F15_H, RISCV::F16_H, RISCV::F17_H, RISCV::F0_H, RISCV::F1_H,
679 RISCV::F2_H, RISCV::F3_H, RISCV::F4_H, RISCV::F5_H, RISCV::F6_H,
680 RISCV::F7_H, RISCV::F28_H, RISCV::F29_H, RISCV::F30_H, RISCV::F31_H};
687 if (LocVT == MVT::f32 && Subtarget.hasStdExtF()) {
689 RISCV::F10_F, RISCV::F11_F, RISCV::F12_F, RISCV::F13_F, RISCV::F14_F,
690 RISCV::F15_F, RISCV::F16_F, RISCV::F17_F, RISCV::F0_F, RISCV::F1_F,
691 RISCV::F2_F, RISCV::F3_F, RISCV::F4_F, RISCV::F5_F, RISCV::F6_F,
692 RISCV::F7_F, RISCV::F28_F, RISCV::F29_F, RISCV::F30_F, RISCV::F31_F};
699 if (LocVT == MVT::f64 && Subtarget.hasStdExtD()) {
701 RISCV::F10_D, RISCV::F11_D, RISCV::F12_D, RISCV::F13_D, RISCV::F14_D,
702 RISCV::F15_D, RISCV::F16_D, RISCV::F17_D, RISCV::F0_D, RISCV::F1_D,
703 RISCV::F2_D, RISCV::F3_D, RISCV::F4_D, RISCV::F5_D, RISCV::F6_D,
704 RISCV::F7_D, RISCV::F28_D, RISCV::F29_D, RISCV::F30_D, RISCV::F31_D};
714 if ((LocVT == MVT::f16 && Subtarget.hasStdExtZhinxmin())) {
722 if (LocVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
730 if (LocVT == MVT::f64 && Subtarget.
is64Bit() && Subtarget.hasStdExtZdinx()) {
750 LocVT = TLI.getContainerForFixedLengthVector(LocVT);
768 if (LocVT == XLenVT) {
775 if (LocVT == XLenVT || LocVT == MVT::f16 || LocVT == MVT::bf16 ||
791 "Attribute 'nest' is not supported in GHC calling convention");
795 RISCV::X9, RISCV::X18, RISCV::X19, RISCV::X20, RISCV::X21, RISCV::X22,
796 RISCV::X23, RISCV::X24, RISCV::X25, RISCV::X26, RISCV::X27};
798 if (LocVT == MVT::i32 || LocVT == MVT::i64) {
810 if (LocVT == MVT::f32 && Subtarget.hasStdExtF()) {
813 static const MCPhysReg FPR32List[] = {RISCV::F8_F, RISCV::F9_F,
814 RISCV::F18_F, RISCV::F19_F,
815 RISCV::F20_F, RISCV::F21_F};
822 if (LocVT == MVT::f64 && Subtarget.hasStdExtD()) {
825 static const MCPhysReg FPR64List[] = {RISCV::F22_D, RISCV::F23_D,
826 RISCV::F24_D, RISCV::F25_D,
827 RISCV::F26_D, RISCV::F27_D};
834 if (LocVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
836 RISCV::X9_W, RISCV::X18_W, RISCV::X19_W, RISCV::X20_W,
837 RISCV::X21_W, RISCV::X22_W, RISCV::X23_W, RISCV::X24_W,
838 RISCV::X25_W, RISCV::X26_W, RISCV::X27_W};
845 if (LocVT == MVT::f64 && Subtarget.hasStdExtZdinx() && Subtarget.
is64Bit()) {
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Module.h This file contains the declarations for the Module class.
const MCPhysReg ArgFPR32s[]
const MCPhysReg ArgFPR64s[]
const MCPhysReg ArgGPRs[]
static bool CC_RISCVAssign2XLen(unsigned XLen, CCState &State, CCValAssign VA1, ISD::ArgFlagsTy ArgFlags1, unsigned ValNo2, MVT ValVT2, MVT LocVT2, ISD::ArgFlagsTy ArgFlags2, bool EABI)
static const MCPhysReg ArgVRN2M2s[]
static CCAssignFn CC_RISCV_FastCC
Used for assigning arguments with CallingConvention::Fast.
static const MCPhysReg ArgVRM2s[]
static MCRegister allocateRVVReg(MVT ValVT, unsigned ValNo, CCState &State, const RISCVTargetLowering &TLI)
static CCAssignFn CC_RISCV_GHC
Used for assigning arguments with CallingConvention::GHC.
static const MCPhysReg ArgVRN3M2s[]
static const MCPhysReg ArgVRN4M1s[]
static const MCPhysReg ArgVRN6M1s[]
static bool CC_RISCV_Impl(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State, bool IsRet)
static ArrayRef< MCPhysReg > getFastCCArgGPRF32s(const RISCVABI::ABI ABI)
static const MCPhysReg ArgVRN4M2s[]
static const MCPhysReg ArgVRN3M1s[]
static const MCPhysReg ArgVRN7M1s[]
static const MCPhysReg ArgVRN5M1s[]
static const MCPhysReg ArgVRN2M4s[]
static ArrayRef< MCPhysReg > getFastCCArgGPRF16s(const RISCVABI::ABI ABI)
static ArrayRef< MCPhysReg > getArgGPR32s(const RISCVABI::ABI ABI)
static const MCPhysReg ArgVRN2M1s[]
static const MCPhysReg ArgVRN8M1s[]
static ArrayRef< MCPhysReg > getArgGPR16s(const RISCVABI::ABI ABI)
static ArrayRef< MCPhysReg > getFastCCArgGPRs(const RISCVABI::ABI ABI)
static const MCPhysReg ArgVRM8s[]
static const MCPhysReg ArgVRM4s[]
static const MCPhysReg ArgFPR16s[]
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
CCState - This class holds information needed while lowering arguments and return values.
CCValAssign - Represent assignment of one arg/retval to a location.
static CCValAssign getPending(unsigned ValNo, MVT ValVT, MVT LocVT, LocInfo HTP, unsigned ExtraInfo=0)
static CCValAssign getReg(unsigned ValNo, MVT ValVT, MCRegister Reg, MVT LocVT, LocInfo HTP, bool IsCustom=false)
static CCValAssign getCustomReg(unsigned ValNo, MVT ValVT, MCRegister Reg, MVT LocVT, LocInfo HTP)
static CCValAssign getMem(unsigned ValNo, MVT ValVT, int64_t Offset, MVT LocVT, LocInfo HTP, bool IsCustom=false)
unsigned getValNo() const
static CCValAssign getCustomMem(unsigned ValNo, MVT ValVT, int64_t Offset, MVT LocVT, LocInfo HTP)
A parsed version of the target data layout string in and methods for querying it.
Wrapper class representing physical registers. Should be passed by value.
bool isRISCVVectorTuple() const
Return true if this is a RISCV vector tuple type where the runtime length is machine dependent.
uint64_t getScalarSizeInBits() const
bool isVector() const
Return true if this is a vector value type.
bool isScalableVector() const
Return true if this is a vector value type where the runtime length is machine dependent.
TypeSize getSizeInBits() const
Returns the size of the specified MVT in bits.
bool isFixedLengthVector() const
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
bool isScalarInteger() const
Return true if this is an integer, not including vectors.
MVT getVectorElementType() const
bool isFloatingPoint() const
Return true if this is a FP or a vector FP type.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
RISCVMachineFunctionInfo - This class is derived from MachineFunctionInfo and contains private RISCV-...
RISCVABI::ABI getTargetABI() const
bool isPExtPackedType(MVT VT) const
const RISCVTargetLowering * getTargetLowering() const override
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
StackOffset holds a fixed and a scalable offset in bytes.
virtual const TargetRegisterClass * getRegClassFor(MVT VT, bool isDivergent=false) const
Return the register class that should be used for the specified value type.
The instances of the Type class are immutable: once they are created, they are never changed.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ GHC
Used by the Glasgow Haskell Compiler (GHC).
@ Fast
Attempts to make calls as fast as possible (e.g.
ArrayRef< MCPhysReg > getArgGPRs(const RISCVABI::ABI ABI)
This is an optimization pass for GlobalISel generic memory operations.
bool CCAssignFn(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State)
CCAssignFn - This function assigns a location for Val, updating State to reflect the change.
CCAssignFn RetCC_RISCV
This is used for assigning return values to locations when making calls.
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
ArrayRef(const T &OneElt) -> ArrayRef< T >
CCAssignFn CC_RISCV
This is used for assigining arguments to locations when making calls.
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
This struct is a compact representation of a valid (non-zero power of two) alignment.
Align getNonZeroOrigAlign() const
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Align valueOrOne() const
For convenience, returns a valid alignment or 1 if undefined.