46 RISCV::F13_H, RISCV::F14_H, RISCV::F15_H,
47 RISCV::F16_H, RISCV::F17_H};
49 RISCV::F13_F, RISCV::F14_F, RISCV::F15_F,
50 RISCV::F16_F, RISCV::F17_F};
52 RISCV::F13_D, RISCV::F14_D, RISCV::F15_D,
53 RISCV::F16_D, RISCV::F17_D};
56 RISCV::V8, RISCV::V9, RISCV::V10, RISCV::V11, RISCV::V12, RISCV::V13,
57 RISCV::V14, RISCV::V15, RISCV::V16, RISCV::V17, RISCV::V18, RISCV::V19,
58 RISCV::V20, RISCV::V21, RISCV::V22, RISCV::V23};
60 RISCV::V14M2, RISCV::V16M2, RISCV::V18M2,
61 RISCV::V20M2, RISCV::V22M2};
66 RISCV::V8_V9, RISCV::V9_V10, RISCV::V10_V11, RISCV::V11_V12,
67 RISCV::V12_V13, RISCV::V13_V14, RISCV::V14_V15, RISCV::V15_V16,
68 RISCV::V16_V17, RISCV::V17_V18, RISCV::V18_V19, RISCV::V19_V20,
69 RISCV::V20_V21, RISCV::V21_V22, RISCV::V22_V23};
71 RISCV::V8_V9_V10, RISCV::V9_V10_V11, RISCV::V10_V11_V12,
72 RISCV::V11_V12_V13, RISCV::V12_V13_V14, RISCV::V13_V14_V15,
73 RISCV::V14_V15_V16, RISCV::V15_V16_V17, RISCV::V16_V17_V18,
74 RISCV::V17_V18_V19, RISCV::V18_V19_V20, RISCV::V19_V20_V21,
75 RISCV::V20_V21_V22, RISCV::V21_V22_V23};
77 RISCV::V8_V9_V10_V11, RISCV::V9_V10_V11_V12, RISCV::V10_V11_V12_V13,
78 RISCV::V11_V12_V13_V14, RISCV::V12_V13_V14_V15, RISCV::V13_V14_V15_V16,
79 RISCV::V14_V15_V16_V17, RISCV::V15_V16_V17_V18, RISCV::V16_V17_V18_V19,
80 RISCV::V17_V18_V19_V20, RISCV::V18_V19_V20_V21, RISCV::V19_V20_V21_V22,
81 RISCV::V20_V21_V22_V23};
83 RISCV::V8_V9_V10_V11_V12, RISCV::V9_V10_V11_V12_V13,
84 RISCV::V10_V11_V12_V13_V14, RISCV::V11_V12_V13_V14_V15,
85 RISCV::V12_V13_V14_V15_V16, RISCV::V13_V14_V15_V16_V17,
86 RISCV::V14_V15_V16_V17_V18, RISCV::V15_V16_V17_V18_V19,
87 RISCV::V16_V17_V18_V19_V20, RISCV::V17_V18_V19_V20_V21,
88 RISCV::V18_V19_V20_V21_V22, RISCV::V19_V20_V21_V22_V23};
90 RISCV::V8_V9_V10_V11_V12_V13, RISCV::V9_V10_V11_V12_V13_V14,
91 RISCV::V10_V11_V12_V13_V14_V15, RISCV::V11_V12_V13_V14_V15_V16,
92 RISCV::V12_V13_V14_V15_V16_V17, RISCV::V13_V14_V15_V16_V17_V18,
93 RISCV::V14_V15_V16_V17_V18_V19, RISCV::V15_V16_V17_V18_V19_V20,
94 RISCV::V16_V17_V18_V19_V20_V21, RISCV::V17_V18_V19_V20_V21_V22,
95 RISCV::V18_V19_V20_V21_V22_V23};
97 RISCV::V8_V9_V10_V11_V12_V13_V14, RISCV::V9_V10_V11_V12_V13_V14_V15,
98 RISCV::V10_V11_V12_V13_V14_V15_V16, RISCV::V11_V12_V13_V14_V15_V16_V17,
99 RISCV::V12_V13_V14_V15_V16_V17_V18, RISCV::V13_V14_V15_V16_V17_V18_V19,
100 RISCV::V14_V15_V16_V17_V18_V19_V20, RISCV::V15_V16_V17_V18_V19_V20_V21,
101 RISCV::V16_V17_V18_V19_V20_V21_V22, RISCV::V17_V18_V19_V20_V21_V22_V23};
103 RISCV::V9_V10_V11_V12_V13_V14_V15_V16,
104 RISCV::V10_V11_V12_V13_V14_V15_V16_V17,
105 RISCV::V11_V12_V13_V14_V15_V16_V17_V18,
106 RISCV::V12_V13_V14_V15_V16_V17_V18_V19,
107 RISCV::V13_V14_V15_V16_V17_V18_V19_V20,
108 RISCV::V14_V15_V16_V17_V18_V19_V20_V21,
109 RISCV::V15_V16_V17_V18_V19_V20_V21_V22,
110 RISCV::V16_V17_V18_V19_V20_V21_V22_V23};
112 RISCV::V12M2_V14M2, RISCV::V14M2_V16M2,
113 RISCV::V16M2_V18M2, RISCV::V18M2_V20M2,
116 RISCV::V8M2_V10M2_V12M2, RISCV::V10M2_V12M2_V14M2,
117 RISCV::V12M2_V14M2_V16M2, RISCV::V14M2_V16M2_V18M2,
118 RISCV::V16M2_V18M2_V20M2, RISCV::V18M2_V20M2_V22M2};
120 RISCV::V8M2_V10M2_V12M2_V14M2, RISCV::V10M2_V12M2_V14M2_V16M2,
121 RISCV::V12M2_V14M2_V16M2_V18M2, RISCV::V14M2_V16M2_V18M2_V20M2,
122 RISCV::V16M2_V18M2_V20M2_V22M2};
129 static const MCPhysReg ArgIGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
130 RISCV::X13, RISCV::X14, RISCV::X15,
131 RISCV::X16, RISCV::X17};
133 static const MCPhysReg ArgEGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
134 RISCV::X13, RISCV::X14, RISCV::X15};
145 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_H, RISCV::X11_H, RISCV::X12_H,
146 RISCV::X13_H, RISCV::X14_H, RISCV::X15_H,
147 RISCV::X16_H, RISCV::X17_H};
149 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
150 RISCV::X12_H, RISCV::X13_H,
151 RISCV::X14_H, RISCV::X15_H};
162 static const MCPhysReg ArgIGPRs[] = {RISCV::X10_W, RISCV::X11_W, RISCV::X12_W,
163 RISCV::X13_W, RISCV::X14_W, RISCV::X15_W,
164 RISCV::X16_W, RISCV::X17_W};
166 static const MCPhysReg ArgEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
167 RISCV::X12_W, RISCV::X13_W,
168 RISCV::X14_W, RISCV::X15_W};
181 RISCV::X10, RISCV::X11, RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15,
182 RISCV::X16, RISCV::X17, RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31};
185 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10, RISCV::X11, RISCV::X12,
186 RISCV::X13, RISCV::X14, RISCV::X15};
199 RISCV::X10_H, RISCV::X11_H, RISCV::X12_H, RISCV::X13_H,
200 RISCV::X14_H, RISCV::X15_H, RISCV::X16_H, RISCV::X17_H,
201 RISCV::X28_H, RISCV::X29_H, RISCV::X30_H, RISCV::X31_H};
204 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_H, RISCV::X11_H,
205 RISCV::X12_H, RISCV::X13_H,
206 RISCV::X14_H, RISCV::X15_H};
219 RISCV::X10_W, RISCV::X11_W, RISCV::X12_W, RISCV::X13_W,
220 RISCV::X14_W, RISCV::X15_W, RISCV::X16_W, RISCV::X17_W,
221 RISCV::X28_W, RISCV::X29_W, RISCV::X30_W, RISCV::X31_W};
224 static const MCPhysReg FastCCEGPRs[] = {RISCV::X10_W, RISCV::X11_W,
225 RISCV::X12_W, RISCV::X13_W,
226 RISCV::X14_W, RISCV::X15_W};
240 unsigned XLenInBytes = XLen / 8;
253 Align StackAlign(XLenInBytes);
254 if (!
EABI || XLen != 32)
283 if (RC == &RISCV::VRRegClass) {
292 if (RC == &RISCV::VRM2RegClass)
294 if (RC == &RISCV::VRM4RegClass)
296 if (RC == &RISCV::VRM8RegClass)
298 if (RC == &RISCV::VRN2M1RegClass)
300 if (RC == &RISCV::VRN3M1RegClass)
302 if (RC == &RISCV::VRN4M1RegClass)
304 if (RC == &RISCV::VRN5M1RegClass)
306 if (RC == &RISCV::VRN6M1RegClass)
308 if (RC == &RISCV::VRN7M1RegClass)
310 if (RC == &RISCV::VRN8M1RegClass)
312 if (RC == &RISCV::VRN2M2RegClass)
314 if (RC == &RISCV::VRN3M2RegClass)
316 if (RC == &RISCV::VRN4M2RegClass)
318 if (RC == &RISCV::VRN2M4RegClass)
326 CCState &State,
bool IsFixed,
bool IsRet,
Type *OrigTy) {
332 unsigned XLen = Subtarget.
getXLen();
346 if (!LocVT.
isVector() && IsRet && ValNo > 1)
351 bool UseGPRForF16_F32 =
true;
354 bool UseGPRForF64 =
true;
367 UseGPRForF16_F32 = !IsFixed;
371 UseGPRForF16_F32 = !IsFixed;
372 UseGPRForF64 = !IsFixed;
376 if ((LocVT == MVT::f16 || LocVT == MVT::bf16) && !UseGPRForF16_F32) {
383 if (LocVT == MVT::f32 && !UseGPRForF16_F32) {
390 if (LocVT == MVT::f64 && !UseGPRForF64) {
397 if ((ValVT == MVT::f16 && Subtarget.hasStdExtZhinxmin())) {
404 if (ValVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
414 if (LocVT == MVT::f64 && XLen == 64 && Subtarget.hasStdExtZdinx()) {
422 if (LocVT == MVT::f16 || LocVT == MVT::bf16 ||
423 (LocVT == MVT::f32 && XLen == 64)) {
433 if ((XLen == 32 && LocVT == MVT::f32) || (XLen == 64 && LocVT == MVT::f64)) {
452 unsigned TwoXLenInBytes = (2 * XLen) / 8;
454 DL.getTypeAllocSize(OrigTy) == TwoXLenInBytes &&
458 if (RegIdx != std::size(
ArgGPRs) && RegIdx % 2 == 1)
467 "PendingLocs and PendingArgFlags out of sync");
471 if (XLen == 32 && LocVT == MVT::f64) {
472 assert(PendingLocs.
empty() &&
"Can't lower f64 if it is split");
515 PendingLocs.
size() <= 2) {
516 assert(PendingLocs.
size() == 2 &&
"Unexpected PendingLocs.size()");
522 PendingArgFlags.
clear();
524 XLen, State, VA, AF, ValNo, ValVT, LocVT, ArgFlags,
530 unsigned StoreSizeBytes = XLen / 8;
539 LocVT = TLI.getContainerForFixedLengthVector(LocVT);
574 if (!PendingLocs.
empty()) {
576 assert(PendingLocs.
size() > 2 &&
"Unexpected PendingLocs.size()");
578 for (
auto &It : PendingLocs) {
580 It.convertToReg(Reg);
586 PendingArgFlags.
clear();
591 (TLI.getSubtarget().hasVInstructions() &&
593 "Expected an XLenVT or vector types at this stage");
609 bool IsFixed,
bool IsRet,
Type *OrigTy) {
615 if ((LocVT == MVT::f16 && Subtarget.hasStdExtZfhmin()) ||
616 (LocVT == MVT::bf16 && Subtarget.hasStdExtZfbfmin())) {
618 RISCV::F10_H, RISCV::F11_H, RISCV::F12_H, RISCV::F13_H, RISCV::F14_H,
619 RISCV::F15_H, RISCV::F16_H, RISCV::F17_H, RISCV::F0_H, RISCV::F1_H,
620 RISCV::F2_H, RISCV::F3_H, RISCV::F4_H, RISCV::F5_H, RISCV::F6_H,
621 RISCV::F7_H, RISCV::F28_H, RISCV::F29_H, RISCV::F30_H, RISCV::F31_H};
628 if (LocVT == MVT::f32 && Subtarget.hasStdExtF()) {
630 RISCV::F10_F, RISCV::F11_F, RISCV::F12_F, RISCV::F13_F, RISCV::F14_F,
631 RISCV::F15_F, RISCV::F16_F, RISCV::F17_F, RISCV::F0_F, RISCV::F1_F,
632 RISCV::F2_F, RISCV::F3_F, RISCV::F4_F, RISCV::F5_F, RISCV::F6_F,
633 RISCV::F7_F, RISCV::F28_F, RISCV::F29_F, RISCV::F30_F, RISCV::F31_F};
640 if (LocVT == MVT::f64 && Subtarget.hasStdExtD()) {
642 RISCV::F10_D, RISCV::F11_D, RISCV::F12_D, RISCV::F13_D, RISCV::F14_D,
643 RISCV::F15_D, RISCV::F16_D, RISCV::F17_D, RISCV::F0_D, RISCV::F1_D,
644 RISCV::F2_D, RISCV::F3_D, RISCV::F4_D, RISCV::F5_D, RISCV::F6_D,
645 RISCV::F7_D, RISCV::F28_D, RISCV::F29_D, RISCV::F30_D, RISCV::F31_D};
655 if ((LocVT == MVT::f16 && Subtarget.hasStdExtZhinxmin())) {
663 if (LocVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
671 if (LocVT == MVT::f64 && Subtarget.
is64Bit() && Subtarget.hasStdExtZdinx()) {
691 LocVT = TLI.getContainerForFixedLengthVector(LocVT);
709 if (LocVT == XLenVT) {
716 if (LocVT == XLenVT || LocVT == MVT::f16 || LocVT == MVT::bf16 ||
732 "Attribute 'nest' is not supported in GHC calling convention");
736 RISCV::X9, RISCV::X18, RISCV::X19, RISCV::X20, RISCV::X21, RISCV::X22,
737 RISCV::X23, RISCV::X24, RISCV::X25, RISCV::X26, RISCV::X27};
739 if (LocVT == MVT::i32 || LocVT == MVT::i64) {
751 if (LocVT == MVT::f32 && Subtarget.hasStdExtF()) {
754 static const MCPhysReg FPR32List[] = {RISCV::F8_F, RISCV::F9_F,
755 RISCV::F18_F, RISCV::F19_F,
756 RISCV::F20_F, RISCV::F21_F};
763 if (LocVT == MVT::f64 && Subtarget.hasStdExtD()) {
766 static const MCPhysReg FPR64List[] = {RISCV::F22_D, RISCV::F23_D,
767 RISCV::F24_D, RISCV::F25_D,
768 RISCV::F26_D, RISCV::F27_D};
775 if (LocVT == MVT::f32 && Subtarget.hasStdExtZfinx()) {
777 RISCV::X9_W, RISCV::X18_W, RISCV::X19_W, RISCV::X20_W,
778 RISCV::X21_W, RISCV::X22_W, RISCV::X23_W, RISCV::X24_W,
779 RISCV::X25_W, RISCV::X26_W, RISCV::X27_W};
786 if (LocVT == MVT::f64 && Subtarget.hasStdExtZdinx() && Subtarget.
is64Bit()) {
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
const MCPhysReg ArgGPRs[]
static const MCPhysReg ArgFPR32s[]
static const MCPhysReg ArgVRs[]
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 const MCPhysReg ArgVRM2s[]
static MCRegister allocateRVVReg(MVT ValVT, unsigned ValNo, CCState &State, const RISCVTargetLowering &TLI)
static const MCPhysReg ArgVRN3M2s[]
static const MCPhysReg ArgVRN4M1s[]
static const MCPhysReg ArgVRN6M1s[]
static ArrayRef< MCPhysReg > getFastCCArgGPRF32s(const RISCVABI::ABI ABI)
static const MCPhysReg ArgVRN4M2s[]
static const MCPhysReg ArgFPR64s[]
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[]
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
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.
MachineFunction & getMachineFunction() const
unsigned getFirstUnallocated(ArrayRef< MCPhysReg > Regs) const
getFirstUnallocated - Return the index of the first unallocated register in the set,...
SmallVectorImpl< ISD::ArgFlagsTy > & getPendingArgFlags()
MCRegister AllocateReg(MCPhysReg Reg)
AllocateReg - Attempt to allocate one register.
int64_t AllocateStack(unsigned Size, Align Alignment)
AllocateStack - Allocate a chunk of stack space with the specified size and alignment.
SmallVectorImpl< CCValAssign > & getPendingLocs()
void addLoc(const CCValAssign &V)
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.
RISCVABI::ABI getTargetABI() 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.
ArrayRef< MCPhysReg > getArgGPRs(const RISCVABI::ABI ABI)
This is an optimization pass for GlobalISel generic memory operations.
bool CC_RISCV_GHC(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, CCState &State)
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
bool CC_RISCV_FastCC(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, CCState &State, bool IsFixed, bool IsRet, Type *OrigTy)
bool CC_RISCV(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, CCState &State, bool IsFixed, bool IsRet, Type *OrigTy)
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.