38 return CC_RISCV_GHC(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State);
45 return CC_RISCV_Impl(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State,
53 return CC_RISCV_Impl(ValNo, ValVT, LocVT, LocInfo, ArgFlags, OrigTy, State,
83 RISCV::F13_H, RISCV::F14_H, RISCV::F15_H,
84 RISCV::F16_H, RISCV::F17_H};
86 RISCV::F13_F, RISCV::F14_F, RISCV::F15_F,
87 RISCV::F16_F, RISCV::F17_F};
89 RISCV::F13_D, RISCV::F14_D, RISCV::F15_D,
90 RISCV::F16_D, RISCV::F17_D};
92 RISCV::F13_Q, RISCV::F14_Q, RISCV::F15_Q,
93 RISCV::F16_Q, RISCV::F17_Q};
97 RISCV::V8, RISCV::V9, RISCV::V10, RISCV::V11, RISCV::V12, RISCV::V13,
98 RISCV::V14, RISCV::V15, RISCV::V16, RISCV::V17, RISCV::V18, RISCV::V19,
99 RISCV::V20, RISCV::V21, RISCV::V22, RISCV::V23};
101 RISCV::V14M2, RISCV::V16M2, RISCV::V18M2,
102 RISCV::V20M2, RISCV::V22M2};
107 RISCV::V8_V9, RISCV::V9_V10, RISCV::V10_V11, RISCV::V11_V12,
108 RISCV::V12_V13, RISCV::V13_V14, RISCV::V14_V15, RISCV::V15_V16,
109 RISCV::V16_V17, RISCV::V17_V18, RISCV::V18_V19, RISCV::V19_V20,
110 RISCV::V20_V21, RISCV::V21_V22, RISCV::V22_V23};
112 RISCV::V8_V9_V10, RISCV::V9_V10_V11, RISCV::V10_V11_V12,
113 RISCV::V11_V12_V13, RISCV::V12_V13_V14, RISCV::V13_V14_V15,
114 RISCV::V14_V15_V16, RISCV::V15_V16_V17, RISCV::V16_V17_V18,
115 RISCV::V17_V18_V19, RISCV::V18_V19_V20, RISCV::V19_V20_V21,
116 RISCV::V20_V21_V22, RISCV::V21_V22_V23};
118 RISCV::V8_V9_V10_V11, RISCV::V9_V10_V11_V12, RISCV::V10_V11_V12_V13,
119 RISCV::V11_V12_V13_V14, RISCV::V12_V13_V14_V15, RISCV::V13_V14_V15_V16,
120 RISCV::V14_V15_V16_V17, RISCV::V15_V16_V17_V18, RISCV::V16_V17_V18_V19,
121 RISCV::V17_V18_V19_V20, RISCV::V18_V19_V20_V21, RISCV::V19_V20_V21_V22,
122 RISCV::V20_V21_V22_V23};
124 RISCV::V8_V9_V10_V11_V12, RISCV::V9_V10_V11_V12_V13,
125 RISCV::V10_V11_V12_V13_V14, RISCV::V11_V12_V13_V14_V15,
126 RISCV::V12_V13_V14_V15_V16, RISCV::V13_V14_V15_V16_V17,
127 RISCV::V14_V15_V16_V17_V18, RISCV::V15_V16_V17_V18_V19,
128 RISCV::V16_V17_V18_V19_V20, RISCV::V17_V18_V19_V20_V21,
129 RISCV::V18_V19_V20_V21_V22, RISCV::V19_V20_V21_V22_V23};
131 RISCV::V8_V9_V10_V11_V12_V13, RISCV::V9_V10_V11_V12_V13_V14,
132 RISCV::V10_V11_V12_V13_V14_V15, RISCV::V11_V12_V13_V14_V15_V16,
133 RISCV::V12_V13_V14_V15_V16_V17, RISCV::V13_V14_V15_V16_V17_V18,
134 RISCV::V14_V15_V16_V17_V18_V19, RISCV::V15_V16_V17_V18_V19_V20,
135 RISCV::V16_V17_V18_V19_V20_V21, RISCV::V17_V18_V19_V20_V21_V22,
136 RISCV::V18_V19_V20_V21_V22_V23};
138 RISCV::V8_V9_V10_V11_V12_V13_V14, RISCV::V9_V10_V11_V12_V13_V14_V15,
139 RISCV::V10_V11_V12_V13_V14_V15_V16, RISCV::V11_V12_V13_V14_V15_V16_V17,
140 RISCV::V12_V13_V14_V15_V16_V17_V18, RISCV::V13_V14_V15_V16_V17_V18_V19,
141 RISCV::V14_V15_V16_V17_V18_V19_V20, RISCV::V15_V16_V17_V18_V19_V20_V21,
142 RISCV::V16_V17_V18_V19_V20_V21_V22, RISCV::V17_V18_V19_V20_V21_V22_V23};
144 RISCV::V9_V10_V11_V12_V13_V14_V15_V16,
145 RISCV::V10_V11_V12_V13_V14_V15_V16_V17,
146 RISCV::V11_V12_V13_V14_V15_V16_V17_V18,
147 RISCV::V12_V13_V14_V15_V16_V17_V18_V19,
148 RISCV::V13_V14_V15_V16_V17_V18_V19_V20,
149 RISCV::V14_V15_V16_V17_V18_V19_V20_V21,
150 RISCV::V15_V16_V17_V18_V19_V20_V21_V22,
151 RISCV::V16_V17_V18_V19_V20_V21_V22_V23};
153 RISCV::V12M2_V14M2, RISCV::V14M2_V16M2,
154 RISCV::V16M2_V18M2, RISCV::V18M2_V20M2,
157 RISCV::V8M2_V10M2_V12M2, RISCV::V10M2_V12M2_V14M2,
158 RISCV::V12M2_V14M2_V16M2, RISCV::V14M2_V16M2_V18M2,
159 RISCV::V16M2_V18M2_V20M2, RISCV::V18M2_V20M2_V22M2};
161 RISCV::V8M2_V10M2_V12M2_V14M2, RISCV::V10M2_V12M2_V14M2_V16M2,
162 RISCV::V12M2_V14M2_V16M2_V18M2, RISCV::V14M2_V16M2_V18M2_V20M2,
163 RISCV::V16M2_V18M2_V20M2_V22M2};
172 static const MCPhysReg ArgIGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
173 RISCV::X13, RISCV::X14, RISCV::X15,
174 RISCV::X16, RISCV::X17};
176 static const MCPhysReg ArgEGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
177 RISCV::X13, RISCV::X14, RISCV::X15};
189 if (STI.hasStdExtQ())
192 if (STI.hasStdExtD())
208 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_H, RISCV::X11_H, RISCV::X12_H,
209 RISCV::X13_H, RISCV::X14_H, RISCV::X15_H,
210 RISCV::X16_H, RISCV::X17_H};
212 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
213 RISCV::X12_H, RISCV::X13_H,
214 RISCV::X14_H, RISCV::X15_H};
225 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_W, RISCV::X11_W, RISCV::X12_W,
226 RISCV::X13_W, RISCV::X14_W, RISCV::X15_W,
227 RISCV::X16_W, RISCV::X17_W};
229 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
230 RISCV::X12_W, RISCV::X13_W,
231 RISCV::X14_W, RISCV::X15_W};
244 RISCV::X10, RISCV::X11, RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15,
245 RISCV::X16, RISCV::X17, RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31};
248 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
249 RISCV::X13, RISCV::X14, RISCV::X15};
262 RISCV::X10_H, RISCV::X11_H, RISCV::X12_H, RISCV::X13_H,
263 RISCV::X14_H, RISCV::X15_H, RISCV::X16_H, RISCV::X17_H,
264 RISCV::X28_H, RISCV::X29_H, RISCV::X30_H, RISCV::X31_H};
267 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
268 RISCV::X12_H, RISCV::X13_H,
269 RISCV::X14_H, RISCV::X15_H};
282 RISCV::X10_W, RISCV::X11_W, RISCV::X12_W, RISCV::X13_W,
283 RISCV::X14_W, RISCV::X15_W, RISCV::X16_W, RISCV::X17_W,
284 RISCV::X28_W, RISCV::X29_W, RISCV::X30_W, RISCV::X31_W};
287 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
288 RISCV::X12_W, RISCV::X13_W,
289 RISCV::X14_W, RISCV::X15_W};
305 unsigned XLenInBytes = XLen / 8;
319 Align StackAlign(XLenInBytes);
320 if (!
EABI || XLen != 32)
324 State.AllocateStack(XLenInBytes, StackAlign),
327 ValNo2, ValVT2, State.AllocateStack(XLenInBytes,
Align(XLenInBytes)),
339 ValNo2, ValVT2, State.AllocateStack(XLenInBytes,
Align(XLenInBytes)),
349 if (RC == &RISCV::VRRegClass) {
356 return State.AllocateReg(
ArgVRs);
358 if (RC == &RISCV::VRM2RegClass)
360 if (RC == &RISCV::VRM4RegClass)
362 if (RC == &RISCV::VRM8RegClass)
364 if (RC == &RISCV::VRN2M1RegClass)
366 if (RC == &RISCV::VRN3M1RegClass)
368 if (RC == &RISCV::VRN4M1RegClass)
370 if (RC == &RISCV::VRN5M1RegClass)
372 if (RC == &RISCV::VRN6M1RegClass)
374 if (RC == &RISCV::VRN7M1RegClass)
376 if (RC == &RISCV::VRN8M1RegClass)
378 if (RC == &RISCV::VRN2M2RegClass)
380 if (RC == &RISCV::VRN3M2RegClass)
382 if (RC == &RISCV::VRN4M2RegClass)
384 if (RC == &RISCV::VRN2M4RegClass)
396 assert(ValVT == LocVT &&
"Expected ValVT and LocVT to match");
413 const auto StaticChainReg = HasCFBranch ? RISCV::X28 : RISCV::X7;
418 "Nested functions with control flow protection are not "
419 "usable with ILP32E or LP64E ABI.");
433 if (
Subtarget.isPExtPackedDoubleType(LocVT) && IsRet && ValNo > 0)
438 bool AllowFPRForF16_F32 =
false;
440 bool AllowFPRForF64 =
false;
447 AllowFPRForF16_F32 = !ArgFlags.
isVarArg();
449 AllowFPRForF64 = !ArgFlags.
isVarArg();
451 if ((LocVT == MVT::f16 || LocVT == MVT::bf16) && AllowFPRForF16_F32) {
458 if (LocVT == MVT::f32 && AllowFPRForF16_F32) {
465 if (LocVT == MVT::f64 && AllowFPRForF64) {
472 if (LocVT == MVT::f16 &&
Subtarget.hasStdExtZhinxmin()) {
479 if (LocVT == MVT::f32 &&
Subtarget.hasStdExtZfinx()) {
489 if (LocVT == MVT::f64 && XLen == 64 &&
Subtarget.hasStdExtZdinx()) {
497 if (LocVT == MVT::f16 || LocVT == MVT::bf16 ||
498 (LocVT == MVT::f32 && XLen == 64)) {
508 if ((XLen == 32 && LocVT == MVT::f32) || (XLen == 64 && LocVT == MVT::f64)) {
527 unsigned TwoXLenInBytes = (2 * XLen) / 8;
529 DL.getTypeAllocSize(OrigTy) == TwoXLenInBytes &&
531 unsigned RegIdx = State.getFirstUnallocated(
ArgGPRs);
533 if (RegIdx != std::size(
ArgGPRs) && RegIdx % 2 == 1)
539 State.getPendingArgFlags();
542 "PendingLocs and PendingArgFlags out of sync");
547 (LocVT == MVT::f64 || (
Subtarget.isPExtPackedDoubleType(LocVT) &&
550 "Can't lower f64 or P extension vector if it is split");
581 assert(PendingLocs.
size() == 1 &&
"Unexpected PendingLocs.size()");
587 PendingArgFlags.
clear();
608 unsigned StoreSizeBytes = XLen / 8;
613 if (!
Subtarget.isPExtPackedType(LocVT) &&
620 LocVT =
TLI.getContainerForFixedLengthVector(LocVT);
649 Reg ? 0 : State.AllocateStack(StoreSizeBytes, StackAlign);
653 if (!PendingLocs.
empty()) {
655 assert(PendingLocs.
size() > 1 &&
"Unexpected PendingLocs.size()");
657 for (
auto &It : PendingLocs) {
667 PendingArgFlags.
clear();
673 (
TLI.getSubtarget().hasVInstructions() &&
675 "Expected an XLenVT or vector types at this stage");
697 if ((LocVT == MVT::f16 &&
Subtarget.hasStdExtZfhmin()) ||
698 (LocVT == MVT::bf16 &&
Subtarget.hasStdExtZfbfmin())) {
700 RISCV::F10_H, RISCV::F11_H, RISCV::F12_H, RISCV::F13_H, RISCV::F14_H,
701 RISCV::F15_H, RISCV::F16_H, RISCV::F17_H, RISCV::F0_H, RISCV::F1_H,
702 RISCV::F2_H, RISCV::F3_H, RISCV::F4_H, RISCV::F5_H, RISCV::F6_H,
703 RISCV::F7_H, RISCV::F28_H, RISCV::F29_H, RISCV::F30_H, RISCV::F31_H};
710 if (LocVT == MVT::f32 &&
Subtarget.hasStdExtF()) {
712 RISCV::F10_F, RISCV::F11_F, RISCV::F12_F, RISCV::F13_F, RISCV::F14_F,
713 RISCV::F15_F, RISCV::F16_F, RISCV::F17_F, RISCV::F0_F, RISCV::F1_F,
714 RISCV::F2_F, RISCV::F3_F, RISCV::F4_F, RISCV::F5_F, RISCV::F6_F,
715 RISCV::F7_F, RISCV::F28_F, RISCV::F29_F, RISCV::F30_F, RISCV::F31_F};
722 if (LocVT == MVT::f64 &&
Subtarget.hasStdExtD()) {
724 RISCV::F10_D, RISCV::F11_D, RISCV::F12_D, RISCV::F13_D, RISCV::F14_D,
725 RISCV::F15_D, RISCV::F16_D, RISCV::F17_D, RISCV::F0_D, RISCV::F1_D,
726 RISCV::F2_D, RISCV::F3_D, RISCV::F4_D, RISCV::F5_D, RISCV::F6_D,
727 RISCV::F7_D, RISCV::F28_D, RISCV::F29_D, RISCV::F30_D, RISCV::F31_D};
737 if ((LocVT == MVT::f16 &&
Subtarget.hasStdExtZhinxmin())) {
745 if (LocVT == MVT::f32 &&
Subtarget.hasStdExtZfinx()) {
773 LocVT =
TLI.getContainerForFixedLengthVector(LocVT);
791 if (LocVT == XLenVT) {
798 if (LocVT == XLenVT || LocVT == MVT::f16 || LocVT == MVT::bf16 ||
814 "Attribute 'nest' is not supported in GHC calling convention");
818 RISCV::X9, RISCV::X18, RISCV::X19, RISCV::X20, RISCV::X21, RISCV::X22,
819 RISCV::X23, RISCV::X24, RISCV::X25, RISCV::X26, RISCV::X27};
821 if (LocVT == MVT::i32 || LocVT == MVT::i64) {
833 if (LocVT == MVT::f32 &&
Subtarget.hasStdExtF()) {
836 static const MCPhysReg FPR32List[] = {RISCV::F8_F, RISCV::F9_F,
837 RISCV::F18_F, RISCV::F19_F,
838 RISCV::F20_F, RISCV::F21_F};
845 if (LocVT == MVT::f64 &&
Subtarget.hasStdExtD()) {
848 static const MCPhysReg FPR64List[] = {RISCV::F22_D, RISCV::F23_D,
849 RISCV::F24_D, RISCV::F25_D,
850 RISCV::F26_D, RISCV::F27_D};
857 if (LocVT == MVT::f32 &&
Subtarget.hasStdExtZfinx()) {
859 RISCV::X9_W, RISCV::X18_W, RISCV::X19_W, RISCV::X20_W,
860 RISCV::X21_W, RISCV::X22_W, RISCV::X23_W, RISCV::X24_W,
861 RISCV::X25_W, RISCV::X26_W, RISCV::X27_W};
const AArch64Subtarget & Subtarget
const TargetLowering & TLI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
const MCPhysReg ArgFPR32s[]
const MCPhysReg ArgFPR64s[]
const MCPhysReg ArgGPRs[]
static const MCPhysReg ArgVRN2M2s[]
static CCAssignFn CC_RISCV_FastCC
Used for assigning arguments with CallingConvention::Fast.
static const MCPhysReg ArgVRM2s[]
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 ArgFPR128s[]
static const MCPhysReg ArgVRN3M1s[]
static const MCPhysReg ArgVRN7M1s[]
static bool CC_RISCVAssign2XLen(CCState &State, CCValAssign VA1, ISD::ArgFlagsTy ArgFlags1, unsigned ValNo2, MVT ValVT2, MVT LocVT2, ISD::ArgFlagsTy ArgFlags2, const RISCVSubtarget &Subtarget)
static MCRegister allocateRVVReg(MVT LocVT, unsigned ValNo, CCState &State, const RISCVTargetLowering &TLI)
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[]
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 hasVInstructions() const
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.
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.
bool isRVE(ABI TargetABI)
bool isSingleFP(ABI TargetABI)
bool isDoubleFP(ABI TargetABI)
bool isPurecap(ABI TargetABI)
ArrayRef< MCPhysReg > getArgFPRs(const RISCVSubtarget &STI)
ArrayRef< MCPhysReg > getArgGPRs(const RISCVSubtarget &STI)
ArrayRef< MCPhysReg > getArgVRs(const RISCVSubtarget &STI)
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.
MCRegisterClass TargetRegisterClass
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.