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};
198 if (STI.hasStdExtQ())
201 if (STI.hasStdExtD())
217 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_H, RISCV::X11_H, RISCV::X12_H,
218 RISCV::X13_H, RISCV::X14_H, RISCV::X15_H,
219 RISCV::X16_H, RISCV::X17_H};
221 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
222 RISCV::X12_H, RISCV::X13_H,
223 RISCV::X14_H, RISCV::X15_H};
234 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_W, RISCV::X11_W, RISCV::X12_W,
235 RISCV::X13_W, RISCV::X14_W, RISCV::X15_W,
236 RISCV::X16_W, RISCV::X17_W};
238 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
239 RISCV::X12_W, RISCV::X13_W,
240 RISCV::X14_W, RISCV::X15_W};
253 RISCV::X10, RISCV::X11, RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15,
254 RISCV::X16, RISCV::X17, RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31};
257 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
258 RISCV::X13, RISCV::X14, RISCV::X15};
271 RISCV::X10_H, RISCV::X11_H, RISCV::X12_H, RISCV::X13_H,
272 RISCV::X14_H, RISCV::X15_H, RISCV::X16_H, RISCV::X17_H,
273 RISCV::X28_H, RISCV::X29_H, RISCV::X30_H, RISCV::X31_H};
276 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
277 RISCV::X12_H, RISCV::X13_H,
278 RISCV::X14_H, RISCV::X15_H};
291 RISCV::X10_W, RISCV::X11_W, RISCV::X12_W, RISCV::X13_W,
292 RISCV::X14_W, RISCV::X15_W, RISCV::X16_W, RISCV::X17_W,
293 RISCV::X28_W, RISCV::X29_W, RISCV::X30_W, RISCV::X31_W};
296 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
297 RISCV::X12_W, RISCV::X13_W,
298 RISCV::X14_W, RISCV::X15_W};
313 unsigned XLen = Subtarget.
getXLen();
314 unsigned XLenInBytes = XLen / 8;
328 Align StackAlign(XLenInBytes);
329 if (!
EABI || XLen != 32)
333 State.AllocateStack(XLenInBytes, StackAlign),
336 ValNo2, ValVT2, State.AllocateStack(XLenInBytes,
Align(XLenInBytes)),
348 ValNo2, ValVT2, State.AllocateStack(XLenInBytes,
Align(XLenInBytes)),
358 if (RC == &RISCV::VRRegClass) {
365 return State.AllocateReg(
ArgVRs);
367 if (RC == &RISCV::VRM2RegClass)
369 if (RC == &RISCV::VRM4RegClass)
371 if (RC == &RISCV::VRM8RegClass)
373 if (RC == &RISCV::VRN2M1RegClass)
375 if (RC == &RISCV::VRN3M1RegClass)
377 if (RC == &RISCV::VRN4M1RegClass)
379 if (RC == &RISCV::VRN5M1RegClass)
381 if (RC == &RISCV::VRN6M1RegClass)
383 if (RC == &RISCV::VRN7M1RegClass)
385 if (RC == &RISCV::VRN8M1RegClass)
387 if (RC == &RISCV::VRN2M2RegClass)
389 if (RC == &RISCV::VRN3M2RegClass)
391 if (RC == &RISCV::VRN4M2RegClass)
393 if (RC == &RISCV::VRN2M4RegClass)
405 assert(ValVT == LocVT &&
"Expected ValVT and LocVT to match");
411 unsigned XLen = Subtarget.
getXLen();
422 const auto StaticChainReg = HasCFBranch ? RISCV::X28 : RISCV::X7;
428 "Nested functions with control flow protection are not "
429 "usable with ILP32E or LP64E ABI.");
448 bool AllowFPRForF16_F32 =
false;
450 bool AllowFPRForF64 =
false;
463 AllowFPRForF64 = !ArgFlags.
isVarArg();
467 AllowFPRForF16_F32 = !ArgFlags.
isVarArg();
471 if ((LocVT == MVT::f16 || LocVT == MVT::bf16) && AllowFPRForF16_F32) {
478 if (LocVT == MVT::f32 && AllowFPRForF16_F32) {
485 if (LocVT == MVT::f64 && AllowFPRForF64) {
492 if (LocVT == MVT::f16 && Subtarget.hasStdExtZhinxmin()) {
499 if (LocVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
509 if (LocVT == MVT::f64 && XLen == 64 && Subtarget.hasStdExtZdinx()) {
517 if (LocVT == MVT::f16 || LocVT == MVT::bf16 ||
518 (LocVT == MVT::f32 && XLen == 64)) {
528 if ((XLen == 32 && LocVT == MVT::f32) || (XLen == 64 && LocVT == MVT::f64)) {
547 unsigned TwoXLenInBytes = (2 * XLen) / 8;
549 DL.getTypeAllocSize(OrigTy) == TwoXLenInBytes &&
551 unsigned RegIdx = State.getFirstUnallocated(
ArgGPRs);
553 if (RegIdx != std::size(
ArgGPRs) && RegIdx % 2 == 1)
559 State.getPendingArgFlags();
562 "PendingLocs and PendingArgFlags out of sync");
570 "Can't lower f64 or P extension vector if it is split");
601 assert(PendingLocs.
size() == 1 &&
"Unexpected PendingLocs.size()");
607 PendingArgFlags.
clear();
628 unsigned StoreSizeBytes = XLen / 8;
640 LocVT = TLI.getContainerForFixedLengthVector(LocVT);
669 Reg ? 0 : State.AllocateStack(StoreSizeBytes, StackAlign);
673 if (!PendingLocs.
empty()) {
675 assert(PendingLocs.
size() > 1 &&
"Unexpected PendingLocs.size()");
677 for (
auto &It : PendingLocs) {
687 PendingArgFlags.
clear();
693 (TLI.getSubtarget().hasVInstructions() &&
695 "Expected an XLenVT or vector types at this stage");
717 if ((LocVT == MVT::f16 && Subtarget.hasStdExtZfhmin()) ||
718 (LocVT == MVT::bf16 && Subtarget.hasStdExtZfbfmin())) {
720 RISCV::F10_H, RISCV::F11_H, RISCV::F12_H, RISCV::F13_H, RISCV::F14_H,
721 RISCV::F15_H, RISCV::F16_H, RISCV::F17_H, RISCV::F0_H, RISCV::F1_H,
722 RISCV::F2_H, RISCV::F3_H, RISCV::F4_H, RISCV::F5_H, RISCV::F6_H,
723 RISCV::F7_H, RISCV::F28_H, RISCV::F29_H, RISCV::F30_H, RISCV::F31_H};
730 if (LocVT == MVT::f32 && Subtarget.hasStdExtF()) {
732 RISCV::F10_F, RISCV::F11_F, RISCV::F12_F, RISCV::F13_F, RISCV::F14_F,
733 RISCV::F15_F, RISCV::F16_F, RISCV::F17_F, RISCV::F0_F, RISCV::F1_F,
734 RISCV::F2_F, RISCV::F3_F, RISCV::F4_F, RISCV::F5_F, RISCV::F6_F,
735 RISCV::F7_F, RISCV::F28_F, RISCV::F29_F, RISCV::F30_F, RISCV::F31_F};
742 if (LocVT == MVT::f64 && Subtarget.hasStdExtD()) {
744 RISCV::F10_D, RISCV::F11_D, RISCV::F12_D, RISCV::F13_D, RISCV::F14_D,
745 RISCV::F15_D, RISCV::F16_D, RISCV::F17_D, RISCV::F0_D, RISCV::F1_D,
746 RISCV::F2_D, RISCV::F3_D, RISCV::F4_D, RISCV::F5_D, RISCV::F6_D,
747 RISCV::F7_D, RISCV::F28_D, RISCV::F29_D, RISCV::F30_D, RISCV::F31_D};
757 if ((LocVT == MVT::f16 && Subtarget.hasStdExtZhinxmin())) {
765 if (LocVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
773 if (LocVT == MVT::f64 && Subtarget.
is64Bit() && Subtarget.hasStdExtZdinx()) {
793 LocVT = TLI.getContainerForFixedLengthVector(LocVT);
811 if (LocVT == XLenVT) {
818 if (LocVT == XLenVT || LocVT == MVT::f16 || LocVT == MVT::bf16 ||
834 "Attribute 'nest' is not supported in GHC calling convention");
838 RISCV::X9, RISCV::X18, RISCV::X19, RISCV::X20, RISCV::X21, RISCV::X22,
839 RISCV::X23, RISCV::X24, RISCV::X25, RISCV::X26, RISCV::X27};
841 if (LocVT == MVT::i32 || LocVT == MVT::i64) {
853 if (LocVT == MVT::f32 && Subtarget.hasStdExtF()) {
856 static const MCPhysReg FPR32List[] = {RISCV::F8_F, RISCV::F9_F,
857 RISCV::F18_F, RISCV::F19_F,
858 RISCV::F20_F, RISCV::F21_F};
865 if (LocVT == MVT::f64 && Subtarget.hasStdExtD()) {
868 static const MCPhysReg FPR64List[] = {RISCV::F22_D, RISCV::F23_D,
869 RISCV::F24_D, RISCV::F25_D,
870 RISCV::F26_D, RISCV::F27_D};
877 if (LocVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
879 RISCV::X9_W, RISCV::X18_W, RISCV::X19_W, RISCV::X20_W,
880 RISCV::X21_W, RISCV::X22_W, RISCV::X23_W, RISCV::X24_W,
881 RISCV::X25_W, RISCV::X26_W, RISCV::X27_W};
888 if (LocVT == MVT::f64 && Subtarget.hasStdExtZdinx() && Subtarget.
is64Bit()) {
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 isPExtPackedDoubleType(MVT VT) const
bool isPExtPackedType(MVT VT) const
bool hasVInstructions() 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 > 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 >
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
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.