LLVM 24.0.0git
RISCVRegisterInfo.cpp
Go to the documentation of this file.
1//===-- RISCVRegisterInfo.cpp - RISC-V Register Information -----*- C++ -*-===//
2//
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
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains the RISC-V implementation of the TargetRegisterInfo class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "RISCVRegisterInfo.h"
14#include "RISCV.h"
15#include "RISCVSubtarget.h"
16#include "llvm/ADT/SmallSet.h"
26
27#define GET_REGINFO_TARGET_DESC
28#include "RISCVGenRegisterInfo.inc"
29
30using namespace llvm;
31
32static_assert(RISCV::X1 == RISCV::X0 + 1, "Register list not consecutive");
33static_assert(RISCV::X31 == RISCV::X0 + 31, "Register list not consecutive");
34static_assert(RISCV::F1_H == RISCV::F0_H + 1, "Register list not consecutive");
35static_assert(RISCV::F31_H == RISCV::F0_H + 31,
36 "Register list not consecutive");
37static_assert(RISCV::F1_F == RISCV::F0_F + 1, "Register list not consecutive");
38static_assert(RISCV::F31_F == RISCV::F0_F + 31,
39 "Register list not consecutive");
40static_assert(RISCV::F1_D == RISCV::F0_D + 1, "Register list not consecutive");
41static_assert(RISCV::F31_D == RISCV::F0_D + 31,
42 "Register list not consecutive");
43static_assert(RISCV::F1_Q == RISCV::F0_Q + 1, "Register list not consecutive");
44static_assert(RISCV::F31_Q == RISCV::F0_Q + 31,
45 "Register list not consecutive");
46static_assert(RISCV::V1 == RISCV::V0 + 1, "Register list not consecutive");
47static_assert(RISCV::V31 == RISCV::V0 + 31, "Register list not consecutive");
48
50 : RISCVGenRegisterInfo(RISCV::X1, /*DwarfFlavour*/0, /*EHFlavor*/0,
51 /*PC*/0, HwMode) {}
52
53const MCPhysReg *
55 return CSR_IPRA_SaveList;
56}
57
58const MCPhysReg *
60 auto &Subtarget = MF->getSubtarget<RISCVSubtarget>();
62 return CSR_NoRegs_SaveList;
64 return Subtarget.hasStdExtE() ? CSR_RT_MostRegs_RVE_SaveList
65 : CSR_RT_MostRegs_SaveList;
66 if (MF->getFunction().hasFnAttribute("interrupt")) {
67 if (Subtarget.hasVInstructions()) {
68 if (Subtarget.hasStdExtD())
69 return Subtarget.hasStdExtE() ? CSR_XLEN_F64_V_Interrupt_RVE_SaveList
70 : CSR_XLEN_F64_V_Interrupt_SaveList;
71 if (Subtarget.hasStdExtF())
72 return Subtarget.hasStdExtE() ? CSR_XLEN_F32_V_Interrupt_RVE_SaveList
73 : CSR_XLEN_F32_V_Interrupt_SaveList;
74 return Subtarget.hasStdExtE() ? CSR_XLEN_V_Interrupt_RVE_SaveList
75 : CSR_XLEN_V_Interrupt_SaveList;
76 }
77 if (Subtarget.hasStdExtD())
78 return Subtarget.hasStdExtE() ? CSR_XLEN_F64_Interrupt_RVE_SaveList
79 : CSR_XLEN_F64_Interrupt_SaveList;
80 if (Subtarget.hasStdExtF())
81 return Subtarget.hasStdExtE() ? CSR_XLEN_F32_Interrupt_RVE_SaveList
82 : CSR_XLEN_F32_Interrupt_SaveList;
83 return Subtarget.hasStdExtE() ? CSR_Interrupt_RVE_SaveList
84 : CSR_Interrupt_SaveList;
85 }
86
87 bool HasVectorCSR =
89 Subtarget.hasVInstructions();
90
91 switch (Subtarget.getTargetABI()) {
92 default:
93 llvm_unreachable("Unrecognized ABI");
96 return CSR_ILP32E_LP64E_SaveList;
99 if (HasVectorCSR)
100 return CSR_ILP32_LP64_V_SaveList;
101 return CSR_ILP32_LP64_SaveList;
104 if (HasVectorCSR)
105 return CSR_ILP32F_LP64F_V_SaveList;
106 return CSR_ILP32F_LP64F_SaveList;
109 if (HasVectorCSR)
110 return CSR_ILP32D_LP64D_V_SaveList;
111 return CSR_ILP32D_LP64D_SaveList;
112 }
113}
114
116 Register Reg, const MachineRegisterInfo &MRI) const {
117 const RISCVSubtarget &STI = MRI.getMF().getSubtarget<RISCVSubtarget>();
118
119 const RegClassOrRegBank &RCOrRB = MRI.getRegClassOrRegBank(Reg);
120 if (const RegisterBank *RB = dyn_cast<const RegisterBank *>(RCOrRB))
121 return getRegClassForTypeOnBank(MRI.getType(Reg), *RB, STI.is64Bit());
122
123 if (const auto *RC = dyn_cast<const TargetRegisterClass *>(RCOrRB)) {
124 return getAllocatableClass(RC);
125 }
126
127 return nullptr;
128}
129
132 bool Is64Bit) const {
133 if (RB.getID() == RISCV::GPRBRegBankID) {
134 if (Ty.getSizeInBits() <= 32 || (Is64Bit && Ty.getSizeInBits() == 64))
135 return &RISCV::GPRRegClass;
136 }
137
138 if (RB.getID() == RISCV::FPRBRegBankID) {
139 if (Ty.getSizeInBits() == 16)
140 return &RISCV::FPR16RegClass;
141 if (Ty.getSizeInBits() == 32)
142 return &RISCV::FPR32RegClass;
143 if (Ty.getSizeInBits() == 64)
144 return &RISCV::FPR64RegClass;
145 }
146
147 if (RB.getID() == RISCV::VRBRegBankID) {
148 if (Ty.getSizeInBits().getKnownMinValue() <= 64)
149 return &RISCV::VRRegClass;
150
151 if (Ty.getSizeInBits().getKnownMinValue() == 128)
152 return &RISCV::VRM2RegClass;
153
154 if (Ty.getSizeInBits().getKnownMinValue() == 256)
155 return &RISCV::VRM4RegClass;
156
157 if (Ty.getSizeInBits().getKnownMinValue() == 512)
158 return &RISCV::VRM8RegClass;
159 }
160
161 return nullptr;
162}
163
165 const RISCVFrameLowering *TFI = getFrameLowering(MF);
166 BitVector Reserved(getNumRegs());
167 auto &Subtarget = MF.getSubtarget<RISCVSubtarget>();
168
169 for (size_t Reg = 0; Reg < getNumRegs(); Reg++) {
170 // Mark any GPRs requested to be reserved as such
171 if (Subtarget.isRegisterReservedByUser(Reg)) {
172 for (MCPhysReg Sub : subregs_inclusive(Reg))
173 markSuperRegs(Reserved, Sub);
174 }
175
176 // Mark all the registers defined as constant in TableGen as reserved.
177 if (isConstantPhysReg(Reg)) {
178 for (MCPhysReg Sub : subregs_inclusive(Reg))
179 markSuperRegs(Reserved, Sub);
180 }
181 }
182
183 // Use markSuperRegs to ensure any register aliases are also reserved
184 markSuperRegs(Reserved, RISCV::X2_H); // sp
185 markSuperRegs(Reserved, RISCV::X3_H); // gp
186 markSuperRegs(Reserved, RISCV::X4_H); // tp
187 if (TFI->hasFP(MF))
188 markSuperRegs(Reserved, RISCV::X8_H); // fp
189 // Reserve the base register if we need to realign the stack and allocate
190 // variable-sized objects at runtime.
191 if (TFI->hasBP(MF))
192 markSuperRegs(Reserved, RISCVABI::getBPReg()); // bp
193
194 // There are only 16 GPRs for RVE.
195 if (Subtarget.hasStdExtE())
196 for (MCPhysReg Reg = RISCV::X16_H; Reg <= RISCV::X31_H; Reg++)
197 markSuperRegs(Reserved, Reg);
198
199 // V registers for code generation. We handle them manually.
200 markSuperRegs(Reserved, RISCV::VL);
201 markSuperRegs(Reserved, RISCV::VTYPE);
202 markSuperRegs(Reserved, RISCV::VXSAT);
203 markSuperRegs(Reserved, RISCV::VXRM);
204
205 // Floating point environment registers.
206 markSuperRegs(Reserved, RISCV::FRM);
207 markSuperRegs(Reserved, RISCV::FFLAGS);
208
209 // SiFive VCIX state registers.
210 markSuperRegs(Reserved, RISCV::SF_VCIX_STATE);
211
213 if (Subtarget.hasStdExtE())
214 reportFatalUsageError("Graal reserved registers do not exist in RVE");
215 markSuperRegs(Reserved, RISCV::X23_H);
216 markSuperRegs(Reserved, RISCV::X27_H);
217 }
218
219 // Shadow stack pointer.
220 markSuperRegs(Reserved, RISCV::SSP);
221
222 // XSfmmbase
223 for (MCPhysReg Reg = RISCV::T0; Reg <= RISCV::T15; Reg++)
224 markSuperRegs(Reserved, Reg);
225
226 assert(checkAllSuperRegsMarked(Reserved));
227 return Reserved;
228}
229
231 MCRegister PhysReg) const {
232 return !MF.getSubtarget().isRegisterReservedByUser(PhysReg);
233}
234
236 return CSR_NoRegs_RegMask;
237}
238
241 const DebugLoc &DL, Register DestReg,
244 MaybeAlign RequiredAlign) const {
245
246 if (DestReg == SrcReg && !Offset.getFixed() && !Offset.getScalable())
247 return;
248
249 MachineFunction &MF = *MBB.getParent();
252 const RISCVInstrInfo *TII = ST.getInstrInfo();
253
254 // Optimize compile time offset case
255 if (Offset.getScalable()) {
256 if (auto VLEN = ST.getRealVLen()) {
257 // 1. Multiply the number of v-slots by the (constant) length of register
258 const int64_t VLENB = *VLEN / 8;
259 assert(Offset.getScalable() % RISCV::RVVBytesPerBlock == 0 &&
260 "Reserve the stack by the multiple of one vector size.");
261 const int64_t NumOfVReg = Offset.getScalable() / 8;
262 const int64_t FixedOffset = NumOfVReg * VLENB;
263 if (!isInt<32>(FixedOffset)) {
264 // This check might also need to be updated to 64bit.
265 // However mulImm() still assumes 32bit. For now only support fixed
266 // 64bit frame offsets, since scalable offsets would require the number
267 // of spilled registers to exceed 2^31, which is unlikely.
268 reportFatalUsageError("Scalable frame size outside of the signed "
269 "32-bit range not supported");
270 }
271 Offset = StackOffset::getFixed(FixedOffset + Offset.getFixed());
272 }
273 }
274
275 bool KillSrcReg = false;
276
277 if (Offset.getScalable()) {
278 unsigned ScalableAdjOpc = RISCV::ADD;
279 int64_t ScalableValue = Offset.getScalable();
280 if (ScalableValue < 0) {
281 ScalableValue = -ScalableValue;
282 ScalableAdjOpc = RISCV::SUB;
283 }
284 // Get vlenb and multiply vlen with the number of vector registers.
285 Register ScratchReg = DestReg;
286 if (DestReg == SrcReg)
287 ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
288
289 assert(ScalableValue > 0 && "There is no need to get VLEN scaled value.");
290 assert(ScalableValue % RISCV::RVVBytesPerBlock == 0 &&
291 "Reserve the stack by the multiple of one vector size.");
292 assert(isInt<32>(ScalableValue / RISCV::RVVBytesPerBlock) &&
293 "Expect the number of vector registers within 32-bits.");
294 uint32_t NumOfVReg = ScalableValue / RISCV::RVVBytesPerBlock;
295 // Only use vsetvli rather than vlenb if adjusting in the prologue or
296 // epilogue, otherwise it may disturb the VTYPE and VL status.
297 bool IsPrologueOrEpilogue =
299 bool UseVsetvliRatherThanVlenb =
300 IsPrologueOrEpilogue && ST.preferVsetvliOverReadVLENB();
301 if (UseVsetvliRatherThanVlenb && (NumOfVReg == 1 || NumOfVReg == 2 ||
302 NumOfVReg == 4 || NumOfVReg == 8)) {
303 BuildMI(MBB, II, DL, TII->get(RISCV::PseudoReadVLENBViaVSETVLIX0),
304 ScratchReg)
305 .addImm(NumOfVReg)
306 .setMIFlag(Flag);
307 BuildMI(MBB, II, DL, TII->get(ScalableAdjOpc), DestReg)
308 .addReg(SrcReg)
309 .addReg(ScratchReg, RegState::Kill)
310 .setMIFlag(Flag);
311 } else {
312 if (UseVsetvliRatherThanVlenb)
313 BuildMI(MBB, II, DL, TII->get(RISCV::PseudoReadVLENBViaVSETVLIX0),
314 ScratchReg)
315 .addImm(1)
316 .setMIFlag(Flag);
317 else
318 BuildMI(MBB, II, DL, TII->get(RISCV::PseudoReadVLENB), ScratchReg)
319 .setMIFlag(Flag);
320
321 if (ScalableAdjOpc == RISCV::ADD && ST.hasStdExtZba() &&
322 (NumOfVReg == 2 || NumOfVReg == 4 || NumOfVReg == 8)) {
323 unsigned Opc = NumOfVReg == 2
324 ? RISCV::SH1ADD
325 : (NumOfVReg == 4 ? RISCV::SH2ADD : RISCV::SH3ADD);
326 BuildMI(MBB, II, DL, TII->get(Opc), DestReg)
327 .addReg(ScratchReg, RegState::Kill)
328 .addReg(SrcReg)
329 .setMIFlag(Flag);
330 } else {
331 TII->mulImm(MF, MBB, II, DL, ScratchReg, NumOfVReg, Flag);
332 BuildMI(MBB, II, DL, TII->get(ScalableAdjOpc), DestReg)
333 .addReg(SrcReg)
334 .addReg(ScratchReg, RegState::Kill)
335 .setMIFlag(Flag);
336 }
337 }
338 SrcReg = DestReg;
339 KillSrcReg = true;
340 }
341
342 int64_t Val = Offset.getFixed();
343 if (DestReg == SrcReg && Val == 0)
344 return;
345
346 const uint64_t Align = RequiredAlign.valueOrOne().value();
347
348 if (isInt<12>(Val)) {
349 BuildMI(MBB, II, DL, TII->get(RISCV::ADDI), DestReg)
350 .addReg(SrcReg, getKillRegState(KillSrcReg))
351 .addImm(Val)
352 .setMIFlag(Flag);
353 return;
354 }
355
356 // Use the QC_E_ADDI instruction from the Xqcilia extension that can take a
357 // signed 26-bit immediate.
358 if (ST.hasVendorXqcilia() && isInt<26>(Val)) {
359 // The one case where using this instruction is sub-optimal is if Val can be
360 // materialized with a single compressible LUI and following add/sub is also
361 // compressible. Avoid doing this if that is the case.
362 int Hi20 = (Val & 0xFFFFF000) >> 12;
363 bool IsCompressLUI =
364 ((Val & 0xFFF) == 0) && (Hi20 != 0) &&
365 (isUInt<5>(Hi20) || (Hi20 >= 0xfffe0 && Hi20 <= 0xfffff));
366 bool IsCompressAddSub =
367 (SrcReg == DestReg) &&
368 ((Val > 0 && RISCV::GPRNoX0RegClass.contains(SrcReg)) ||
369 (Val < 0 && RISCV::GPRCRegClass.contains(SrcReg)));
370
371 if (!(IsCompressLUI && IsCompressAddSub)) {
372 BuildMI(MBB, II, DL, TII->get(RISCV::QC_E_ADDI), DestReg)
373 .addReg(SrcReg, getKillRegState(KillSrcReg))
374 .addImm(Val)
375 .setMIFlag(Flag);
376 return;
377 }
378 }
379
380 // Try to split the offset across two ADDIs. We need to keep the intermediate
381 // result aligned after each ADDI. We need to determine the maximum value we
382 // can put in each ADDI. In the negative direction, we can use -2048 which is
383 // always sufficiently aligned. In the positive direction, we need to find the
384 // largest 12-bit immediate that is aligned. Exclude -4096 since it can be
385 // created with LUI.
386 assert(Align < 2048 && "Required alignment too large");
387 int64_t MaxPosAdjStep = 2048 - Align;
388 if (Val > -4096 && Val <= (2 * MaxPosAdjStep)) {
389 int64_t FirstAdj = Val < 0 ? -2048 : MaxPosAdjStep;
390 Val -= FirstAdj;
391 BuildMI(MBB, II, DL, TII->get(RISCV::ADDI), DestReg)
392 .addReg(SrcReg, getKillRegState(KillSrcReg))
393 .addImm(FirstAdj)
394 .setMIFlag(Flag);
395 BuildMI(MBB, II, DL, TII->get(RISCV::ADDI), DestReg)
396 .addReg(DestReg, RegState::Kill)
397 .addImm(Val)
398 .setMIFlag(Flag);
399 return;
400 }
401
402 // Use shNadd if doing so lets us materialize a 12 bit immediate with a single
403 // instruction. This saves 1 instruction over the full lui/addi+add fallback
404 // path. We avoid anything which can be done with a single lui as it might
405 // be compressible. Note that the sh1add case is fully covered by the 2x addi
406 // case just above and is thus omitted.
407 if (ST.hasStdExtZba() && (Val & 0xFFF) != 0) {
408 unsigned Opc = 0;
409 if (isShiftedInt<12, 3>(Val)) {
410 Opc = RISCV::SH3ADD;
411 Val = Val >> 3;
412 } else if (isShiftedInt<12, 2>(Val)) {
413 Opc = RISCV::SH2ADD;
414 Val = Val >> 2;
415 }
416 if (Opc) {
417 Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
418 TII->movImm(MBB, II, DL, ScratchReg, Val, Flag);
419 BuildMI(MBB, II, DL, TII->get(Opc), DestReg)
420 .addReg(ScratchReg, RegState::Kill)
421 .addReg(SrcReg, getKillRegState(KillSrcReg))
422 .setMIFlag(Flag);
423 return;
424 }
425 }
426
427 // Emit a PseudoAddUpperImm instead of LUI+ADD when the offset is a multiple
428 // of 4096 and the source is the frame register. The frame register is
429 // invariant after PEI, so MachineLateInstrsCleanup can CSE identical pseudos.
430 // The pseudo is later expanded back to LUI+ADD.
431 if (Flag == MachineInstr::NoFlags && !KillSrcReg && DestReg != SrcReg &&
432 SrcReg == getFrameRegister(MF) && isShiftedInt<20, 12>(Val)) {
433 BuildMI(MBB, II, DL, TII->get(RISCV::PseudoAddUpperImm), DestReg)
434 .addReg(SrcReg)
435 .addImm(static_cast<uint32_t>(Val) >> 12);
436 return;
437 }
438
439 unsigned Opc = RISCV::ADD;
440 if (Val < 0) {
441 Val = -Val;
442 Opc = RISCV::SUB;
443 }
444
445 Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
446 TII->movImm(MBB, II, DL, ScratchReg, Val, Flag);
447 BuildMI(MBB, II, DL, TII->get(Opc), DestReg)
448 .addReg(SrcReg, getKillRegState(KillSrcReg))
449 .addReg(ScratchReg, RegState::Kill)
450 .setMIFlag(Flag);
451}
452
453static std::tuple<RISCVVType::VLMUL, const TargetRegisterClass &, unsigned>
454getSpillReloadInfo(unsigned NumRemaining, uint16_t RegEncoding, bool IsSpill) {
455 if (NumRemaining >= 8 && RegEncoding % 8 == 0)
456 return {RISCVVType::LMUL_8, RISCV::VRM8RegClass,
457 IsSpill ? RISCV::VS8R_V : RISCV::VL8RE8_V};
458 if (NumRemaining >= 4 && RegEncoding % 4 == 0)
459 return {RISCVVType::LMUL_4, RISCV::VRM4RegClass,
460 IsSpill ? RISCV::VS4R_V : RISCV::VL4RE8_V};
461 if (NumRemaining >= 2 && RegEncoding % 2 == 0)
462 return {RISCVVType::LMUL_2, RISCV::VRM2RegClass,
463 IsSpill ? RISCV::VS2R_V : RISCV::VL2RE8_V};
464 return {RISCVVType::LMUL_1, RISCV::VRRegClass,
465 IsSpill ? RISCV::VS1R_V : RISCV::VL1RE8_V};
466}
467
468// Split a VSPILLx_Mx/VSPILLx_Mx pseudo into multiple whole register stores
469// separated by LMUL*VLENB bytes.
471 bool IsSpill) const {
472 DebugLoc DL = II->getDebugLoc();
473 MachineBasicBlock &MBB = *II->getParent();
474 MachineFunction &MF = *MBB.getParent();
476 const RISCVSubtarget &STI = MF.getSubtarget<RISCVSubtarget>();
477 const TargetInstrInfo *TII = STI.getInstrInfo();
479
480 auto ZvlssegInfo = RISCV::isRVVSpillForZvlsseg(II->getOpcode());
481 unsigned NF = ZvlssegInfo->first;
482 unsigned LMUL = ZvlssegInfo->second;
483 unsigned NumRegs = NF * LMUL;
484 assert(NumRegs <= 8 && "Invalid NF/LMUL combinations.");
485
486 Register Reg = II->getOperand(0).getReg();
487 uint16_t RegEncoding = TRI->getEncodingValue(Reg);
488 Register Base = II->getOperand(1).getReg();
489 bool IsBaseKill = II->getOperand(1).isKill();
490 Register NewBase = MRI.createVirtualRegister(&RISCV::GPRRegClass);
491
492 auto *OldMMO = *(II->memoperands_begin());
493 LocationSize OldLoc = OldMMO->getSize();
494 assert(OldLoc.isPrecise() && OldLoc.getValue().isKnownMultipleOf(NF));
495 TypeSize VRegSize = OldLoc.getValue().divideCoefficientBy(NumRegs);
496
497 Register VLENB = 0;
498 unsigned VLENBShift = 0;
499 unsigned PrevHandledNum = 0;
500 unsigned I = 0;
501 while (I != NumRegs) {
502 auto [LMulHandled, RegClass, Opcode] =
503 getSpillReloadInfo(NumRegs - I, RegEncoding, IsSpill);
504 auto [RegNumHandled, _] = RISCVVType::decodeVLMUL(LMulHandled);
505 bool IsLast = I + RegNumHandled == NumRegs;
506 if (PrevHandledNum) {
507 Register Step;
508 // Optimize for constant VLEN.
509 if (auto VLEN = STI.getRealVLen()) {
510 int64_t Offset = *VLEN / 8 * PrevHandledNum;
511 Step = MRI.createVirtualRegister(&RISCV::GPRRegClass);
512 STI.getInstrInfo()->movImm(MBB, II, DL, Step, Offset);
513 } else {
514 if (!VLENB) {
515 VLENB = MRI.createVirtualRegister(&RISCV::GPRRegClass);
516 BuildMI(MBB, II, DL, TII->get(RISCV::PseudoReadVLENB), VLENB);
517 }
518 uint32_t ShiftAmount = Log2_32(PrevHandledNum);
519 // To avoid using an extra register, we shift the VLENB register and
520 // remember how much it has been shifted. We can then use relative
521 // shifts to adjust to the desired shift amount.
522 if (VLENBShift > ShiftAmount) {
523 BuildMI(MBB, II, DL, TII->get(RISCV::SRLI), VLENB)
524 .addReg(VLENB, RegState::Kill)
525 .addImm(VLENBShift - ShiftAmount);
526 } else if (VLENBShift < ShiftAmount) {
527 BuildMI(MBB, II, DL, TII->get(RISCV::SLLI), VLENB)
528 .addReg(VLENB, RegState::Kill)
529 .addImm(ShiftAmount - VLENBShift);
530 }
531 VLENBShift = ShiftAmount;
532 Step = VLENB;
533 }
534
535 BuildMI(MBB, II, DL, TII->get(RISCV::ADD), NewBase)
536 .addReg(Base, getKillRegState(I != 0 || IsBaseKill))
537 .addReg(Step, getKillRegState(Step != VLENB || IsLast));
538 Base = NewBase;
539 }
540
541 MCRegister ActualReg = findVRegWithEncoding(RegClass, RegEncoding);
543 BuildMI(MBB, II, DL, TII->get(Opcode))
544 .addReg(ActualReg, getDefRegState(!IsSpill))
545 .addReg(Base, getKillRegState(IsLast))
546 .addMemOperand(MF.getMachineMemOperand(OldMMO, OldMMO->getOffset(),
547 VRegSize * RegNumHandled));
548
549 // Adding implicit-use of super register to describe we are using part of
550 // super register, that prevents machine verifier complaining when part of
551 // subreg is undef, see comment in MachineVerifier::checkLiveness for more
552 // detail.
553 if (IsSpill)
554 MIB.addReg(Reg, RegState::Implicit);
555
556 PrevHandledNum = RegNumHandled;
557 RegEncoding += RegNumHandled;
558 I += RegNumHandled;
559 }
560 II->eraseFromParent();
561}
562
563static unsigned getXqciloWideOpcode(unsigned Opc) {
564 switch (Opc) {
565 case RISCV::LW:
566 return RISCV::QC_E_LW;
567 case RISCV::SW:
568 return RISCV::QC_E_SW;
569 case RISCV::LB:
570 return RISCV::QC_E_LB;
571 case RISCV::LBU:
572 return RISCV::QC_E_LBU;
573 case RISCV::LH:
574 return RISCV::QC_E_LH;
575 case RISCV::LHU:
576 return RISCV::QC_E_LHU;
577 case RISCV::SB:
578 return RISCV::QC_E_SB;
579 case RISCV::SH:
580 return RISCV::QC_E_SH;
581 default:
582 return 0;
583 }
584}
585
587 int SPAdj, unsigned FIOperandNum,
588 RegScavenger *RS) const {
589 assert(SPAdj == 0 && "Unexpected non-zero SPAdj value");
590
591 MachineInstr &MI = *II;
592 MachineFunction &MF = *MI.getParent()->getParent();
595 const RISCVInstrInfo *TII = ST.getInstrInfo();
596 bool Is64Bit = ST.is64Bit();
597 DebugLoc DL = MI.getDebugLoc();
598
599 int FrameIndex = MI.getOperand(FIOperandNum).getIndex();
600 Register FrameReg;
602 getFrameLowering(MF)->getFrameIndexReference(MF, FrameIndex, FrameReg);
603 bool IsRVVSpill = RISCV::isRVVSpill(MI);
604 if (!IsRVVSpill)
605 Offset += StackOffset::getFixed(MI.getOperand(FIOperandNum + 1).getImm());
606
607 if (!Is64Bit && !isInt<32>(Offset.getFixed())) {
608 reportFatalUsageError("Frame offsets outside of the signed 32-bit range "
609 "not supported on RV32");
610 }
611
612 if (!IsRVVSpill) {
613 int64_t Val = Offset.getFixed();
614 int64_t Lo12 = SignExtend64<12>(Val);
615 int64_t Lo26 = SignExtend64<26>(Val);
616 unsigned Opc = MI.getOpcode();
617
618 if (Opc == RISCV::ADDI && !isInt<12>(Val)) {
619 // We chose to emit the canonical immediate sequence rather than folding
620 // the offset into the using add under the theory that doing so doesn't
621 // save dynamic instruction count and some target may fuse the canonical
622 // 32 bit immediate sequence. We still need to clear the portion of the
623 // offset encoded in the immediate.
624 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(0);
625 } else if ((Opc == RISCV::PREFETCH_I || Opc == RISCV::PREFETCH_R ||
626 Opc == RISCV::PREFETCH_W) &&
627 (Lo12 & 0b11111) != 0) {
628 // Prefetch instructions require the offset to be 32 byte aligned.
629 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(0);
630 } else if (Opc == RISCV::MIPS_PREF && !isUInt<9>(Val)) {
631 // MIPS Prefetch instructions require the offset to be 9 bits encoded.
632 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(0);
633 } else if ((Opc == RISCV::PseudoRV32ZdinxLD ||
634 Opc == RISCV::PseudoRV32ZdinxSD ||
635 Opc == RISCV::PseudoLD_RV32_OPT ||
636 Opc == RISCV::PseudoSD_RV32_OPT) &&
637 Lo12 >= 2044) {
638 // This instruction will/might be split into 2 instructions. The second
639 // instruction will add 4 to the immediate. If that would overflow 12
640 // bits, we can't fold the offset.
641 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(0);
642 } else if (unsigned WideOpc = getXqciloWideOpcode(Opc);
643 !isInt<12>(Val) && ST.hasVendorXqcilo() && WideOpc) {
644 // The resolved frame offset exceeds simm12 but the instruction is a
645 // standard load/store (LW/SW/etc). Promote to the wide Xqcilo equivalent
646 // so the full 26-bit offset folds directly, avoiding a separate
647 // base-adjust instruction. This runs post-RA and does not affect
648 // register allocation decisions.
649 MI.setDesc(TII->get(WideOpc));
650 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(Lo26);
651 Offset = StackOffset::get((uint64_t)Val - (uint64_t)Lo26,
652 Offset.getScalable());
653 } else if (Opc == RISCV::QC_E_ADDI || RISCVInstrInfo::isBaseQCLoad(MI) ||
654 RISCVInstrInfo::isBaseQCStore(MI)) {
655 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(Lo26);
656 Offset = StackOffset::get((uint64_t)Val - (uint64_t)Lo26,
657 Offset.getScalable());
658 } else {
659 // We can encode an add with 12 bit signed immediate in the immediate
660 // operand of our user instruction. As a result, the remaining
661 // offset can by construction, at worst, a LUI and a ADD.
662 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(Lo12);
663 Offset = StackOffset::get((uint64_t)Val - (uint64_t)Lo12,
664 Offset.getScalable());
665 }
666 }
667
668 if (Offset.getScalable() || Offset.getFixed()) {
669 Register DestReg;
670 if (MI.getOpcode() == RISCV::ADDI)
671 DestReg = MI.getOperand(0).getReg();
672 else
673 DestReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
674 adjustReg(*II->getParent(), II, DL, DestReg, FrameReg, Offset,
675 MachineInstr::NoFlags, std::nullopt);
676 MI.getOperand(FIOperandNum).ChangeToRegister(DestReg, /*IsDef*/false,
677 /*IsImp*/false,
678 /*IsKill*/true);
679 } else {
680 MI.getOperand(FIOperandNum).ChangeToRegister(FrameReg, /*IsDef*/false,
681 /*IsImp*/false,
682 /*IsKill*/false);
683 }
684
685 // If after materializing the adjustment, we have a pointless ADDI, remove it
686 if (MI.getOpcode() == RISCV::ADDI &&
687 MI.getOperand(0).getReg() == MI.getOperand(1).getReg() &&
688 MI.getOperand(2).getImm() == 0) {
689 MI.eraseFromParent();
690 return true;
691 }
692
693 // Handle spill/fill of synthetic register classes for segment operations to
694 // ensure correctness in the edge case one gets spilled.
695 switch (MI.getOpcode()) {
696 case RISCV::PseudoVSPILL2_M1:
697 case RISCV::PseudoVSPILL2_M2:
698 case RISCV::PseudoVSPILL2_M4:
699 case RISCV::PseudoVSPILL3_M1:
700 case RISCV::PseudoVSPILL3_M2:
701 case RISCV::PseudoVSPILL4_M1:
702 case RISCV::PseudoVSPILL4_M2:
703 case RISCV::PseudoVSPILL5_M1:
704 case RISCV::PseudoVSPILL6_M1:
705 case RISCV::PseudoVSPILL7_M1:
706 case RISCV::PseudoVSPILL8_M1:
707 lowerSegmentSpillReload(II, /*IsSpill=*/true);
708 return true;
709 case RISCV::PseudoVRELOAD2_M1:
710 case RISCV::PseudoVRELOAD2_M2:
711 case RISCV::PseudoVRELOAD2_M4:
712 case RISCV::PseudoVRELOAD3_M1:
713 case RISCV::PseudoVRELOAD3_M2:
714 case RISCV::PseudoVRELOAD4_M1:
715 case RISCV::PseudoVRELOAD4_M2:
716 case RISCV::PseudoVRELOAD5_M1:
717 case RISCV::PseudoVRELOAD6_M1:
718 case RISCV::PseudoVRELOAD7_M1:
719 case RISCV::PseudoVRELOAD8_M1:
720 lowerSegmentSpillReload(II, /*IsSpill=*/false);
721 return true;
722 }
723
724 return false;
725}
726
728 const MachineFunction &MF) const {
729 return true;
730}
731
732// Returns true if the instruction's frame index reference would be better
733// served by a base register other than FP or SP.
734// Used by LocalStackSlotAllocation pass to determine which frame index
735// references it should create new base registers for.
737 int64_t Offset) const {
738 unsigned FIOperandNum = 0;
739 for (; !MI->getOperand(FIOperandNum).isFI(); FIOperandNum++)
740 assert(FIOperandNum < MI->getNumOperands() &&
741 "Instr doesn't have FrameIndex operand");
742
743 // For RISC-V, The machine instructions that include a FrameIndex operand
744 // are load/store, ADDI instructions.
745 unsigned MIFrm = RISCVII::getFormat(MI->getDesc().TSFlags);
746 if (MIFrm != RISCVII::InstFormatI && MIFrm != RISCVII::InstFormatS)
747 return false;
748 // We only generate virtual base registers for loads and stores, so
749 // return false for everything else.
750 if (!MI->mayLoad() && !MI->mayStore())
751 return false;
752
753 const MachineFunction &MF = *MI->getMF();
754 const MachineFrameInfo &MFI = MF.getFrameInfo();
755 const RISCVFrameLowering *TFI = getFrameLowering(MF);
756 const MachineRegisterInfo &MRI = MF.getRegInfo();
757
758 if (TFI->hasFP(MF) && !shouldRealignStack(MF)) {
759 auto &Subtarget = MF.getSubtarget<RISCVSubtarget>();
760 // Estimate the stack size used to store callee saved registers(
761 // excludes reserved registers).
762 unsigned CalleeSavedSize = 0;
763 for (const MCPhysReg *R = MRI.getCalleeSavedRegs(); MCPhysReg Reg = *R;
764 ++R) {
765 if (Subtarget.isRegisterReservedByUser(Reg))
766 continue;
767
768 if (RISCV::GPRRegClass.contains(Reg))
769 CalleeSavedSize += getSpillSize(RISCV::GPRRegClass);
770 else if (RISCV::FPR64RegClass.contains(Reg))
771 CalleeSavedSize += getSpillSize(RISCV::FPR64RegClass);
772 else if (RISCV::FPR32RegClass.contains(Reg))
773 CalleeSavedSize += getSpillSize(RISCV::FPR32RegClass);
774 // Ignore vector registers.
775 }
776
777 int64_t MaxFPOffset = Offset - CalleeSavedSize;
778 if (isFrameOffsetLegal(MI, RISCV::X8, MaxFPOffset))
779 return false;
780
781 // If the FP-relative offset doesn't fit, fall through to check the
782 // SP-relative offset. getFrameIndexReference may select SP over FP when
783 // the SP offset fits in the compressed instruction immediate range, so a
784 // base register might not be needed.
785 }
786
787 // Assume 128 bytes spill slots size to estimate the maximum possible
788 // offset relative to the stack pointer.
789 // FIXME: The 128 is copied from ARM. We should run some statistics and pick a
790 // real one for RISC-V.
791 int64_t MaxSPOffset = Offset + 128;
792 MaxSPOffset += MFI.getLocalFrameSize();
793 return !isFrameOffsetLegal(MI, RISCV::X2, MaxSPOffset);
794}
795
796// Determine whether a given base register plus offset immediate is
797// encodable to resolve a frame index.
799 Register BaseReg,
800 int64_t Offset) const {
801 unsigned FIOperandNum = 0;
802 while (!MI->getOperand(FIOperandNum).isFI()) {
803 FIOperandNum++;
804 assert(FIOperandNum < MI->getNumOperands() &&
805 "Instr does not have a FrameIndex operand!");
806 }
807
808 Offset += getFrameIndexInstrOffset(MI, FIOperandNum);
809 return isInt<12>(Offset);
810}
811
812// Insert defining instruction(s) for a pointer to FrameIdx before
813// insertion point I.
814// Return materialized frame pointer.
816 int FrameIdx,
817 int64_t Offset) const {
819 DebugLoc DL;
820 if (MBBI != MBB->end())
821 DL = MBBI->getDebugLoc();
822 MachineFunction *MF = MBB->getParent();
823 MachineRegisterInfo &MFI = MF->getRegInfo();
825
826 Register BaseReg = MFI.createVirtualRegister(&RISCV::GPRRegClass);
827 BuildMI(*MBB, MBBI, DL, TII->get(RISCV::ADDI), BaseReg)
828 .addFrameIndex(FrameIdx)
829 .addImm(Offset);
830 return BaseReg;
831}
832
833// Resolve a frame index operand of an instruction to reference the
834// indicated base register plus offset instead.
836 int64_t Offset) const {
837 unsigned FIOperandNum = 0;
838 while (!MI.getOperand(FIOperandNum).isFI()) {
839 FIOperandNum++;
840 assert(FIOperandNum < MI.getNumOperands() &&
841 "Instr does not have a FrameIndex operand!");
842 }
843
844 Offset += getFrameIndexInstrOffset(&MI, FIOperandNum);
845 // FrameIndex Operands are always represented as a
846 // register followed by an immediate.
847 MI.getOperand(FIOperandNum).ChangeToRegister(BaseReg, false);
848 MI.getOperand(FIOperandNum + 1).ChangeToImmediate(Offset);
849}
850
851// Get the offset from the referenced frame index in the instruction,
852// if there is one.
854 int Idx) const {
855 assert((RISCVII::getFormat(MI->getDesc().TSFlags) == RISCVII::InstFormatI ||
856 RISCVII::getFormat(MI->getDesc().TSFlags) == RISCVII::InstFormatS) &&
857 "The MI must be I or S format.");
858 assert(MI->getOperand(Idx).isFI() && "The Idx'th operand of MI is not a "
859 "FrameIndex operand");
860 return MI->getOperand(Idx + 1).getImm();
861}
862
864 const TargetFrameLowering *TFI = getFrameLowering(MF);
865 return TFI->hasFP(MF) ? RISCV::X8 : RISCV::X2;
866}
867
869 MCRegister Reg) const {
870 auto const &STI = MF.getSubtarget<RISCVSubtarget>();
871 const RISCVRegisterInfo *TRI = STI.getRegisterInfo();
872
873 if (TRI->isGeneralPurposeRegister(MF, Reg))
874 return llvm::is_contained(RISCV::getArgGPRs(STI), Reg);
875
876 if (TRI->isFPRegister(Reg))
877 return llvm::is_contained(RISCV::getArgFPRs(STI), Reg);
878
879 if (RISCV::VRRegClass.contains(Reg))
880 return llvm::is_contained(RISCV::getArgVRs(STI), Reg);
881
882 return false;
883}
884
886 if (Reg == RISCV::SF_VCIX_STATE)
887 return "sf.vcix_state";
889}
890
891const uint32_t *
893 CallingConv::ID CC) const {
894 auto &Subtarget = MF.getSubtarget<RISCVSubtarget>();
895
896 if (CC == CallingConv::GHC)
897 return CSR_NoRegs_RegMask;
898 RISCVABI::ABI ABI = Subtarget.getTargetABI();
899 if (CC == CallingConv::PreserveMost) {
900 if (ABI == RISCVABI::ABI_ILP32E || ABI == RISCVABI::ABI_LP64E)
901 return CSR_RT_MostRegs_RVE_RegMask;
902 return CSR_RT_MostRegs_RegMask;
903 }
904 switch (ABI) {
905 default:
906 llvm_unreachable("Unrecognized ABI");
909 return CSR_ILP32E_LP64E_RegMask;
913 return CSR_ILP32_LP64_V_RegMask;
914 return CSR_ILP32_LP64_RegMask;
918 return CSR_ILP32F_LP64F_V_RegMask;
919 return CSR_ILP32F_LP64F_RegMask;
923 return CSR_ILP32D_LP64D_V_RegMask;
924 return CSR_ILP32D_LP64D_RegMask;
925 }
926}
927
930 const MachineFunction &) const {
931 if (RC == &RISCV::VMV0RegClass)
932 return &RISCV::VRRegClass;
933 if (RC == &RISCV::VRNoV0RegClass)
934 return &RISCV::VRRegClass;
935 if (RC == &RISCV::VRM2NoV0RegClass)
936 return &RISCV::VRM2RegClass;
937 if (RC == &RISCV::VRM4NoV0RegClass)
938 return &RISCV::VRM4RegClass;
939 if (RC == &RISCV::VRM8NoV0RegClass)
940 return &RISCV::VRM8RegClass;
941 return RC;
942}
943
946 // VLENB is the length of a vector register in bytes. We use <vscale x 8 x i8>
947 // to represent one vector register. The dwarf offset is
948 // VLENB * scalable_offset / 8.
949 assert(Offset.getScalable() % 8 == 0 && "Invalid frame offset");
950
951 // Add fixed-sized offset using existing DIExpression interface.
953
954 unsigned VLENB = getDwarfRegNum(RISCV::VLENB, true);
955 int64_t VLENBSized = Offset.getScalable() / 8;
956 if (VLENBSized > 0) {
957 Ops.push_back(dwarf::DW_OP_constu);
958 Ops.push_back(VLENBSized);
959 Ops.append({dwarf::DW_OP_bregx, VLENB, 0ULL});
960 Ops.push_back(dwarf::DW_OP_mul);
961 Ops.push_back(dwarf::DW_OP_plus);
962 } else if (VLENBSized < 0) {
963 Ops.push_back(dwarf::DW_OP_constu);
964 Ops.push_back(-VLENBSized);
965 Ops.append({dwarf::DW_OP_bregx, VLENB, 0ULL});
966 Ops.push_back(dwarf::DW_OP_mul);
967 Ops.push_back(dwarf::DW_OP_minus);
968 }
969}
970
971std::pair<Register, Register>
973 if (Pair == RISCV::X0_Pair)
974 return {RISCV::X0, RISCV::X0};
975 return {getSubReg(Pair, RISCV::sub_gpr_even),
976 getSubReg(Pair, RISCV::sub_gpr_odd)};
977}
978
979unsigned
981 // Set CostPerUse to 1 only when optimizing for size and RVC exists.
982 const auto &ST = MF.getSubtarget<RISCVSubtarget>();
983 return MF.getFunction().hasOptSize() && ST.hasStdExtZca() &&
984 ST.getCLOpts().cost_per_use
985 ? 1
986 : 0;
987}
988
990 const TargetRegisterClass *RC) const {
991 return getRegClassWeight(RC).RegWeight;
992}
993
994// Add two address hints to improve chances of being able to use a compressed
995// instruction.
997 Register VirtReg, ArrayRef<MCPhysReg> Order,
999 const VirtRegMap *VRM, const LiveRegMatrix *Matrix) const {
1000 const MachineRegisterInfo *MRI = &MF.getRegInfo();
1001 auto &Subtarget = MF.getSubtarget<RISCVSubtarget>();
1002
1003 // Handle RegPairEven/RegPairOdd hints for Zilsd register pairs
1004 std::pair<unsigned, Register> Hint = MRI->getRegAllocationHint(VirtReg);
1005 unsigned HintType = Hint.first;
1006 Register Partner = Hint.second;
1007
1008 MCRegister TargetReg;
1009 if (HintType == RISCVRI::RegPairEven || HintType == RISCVRI::RegPairOdd) {
1010 // Check if we want the even or odd register of a consecutive pair
1011 bool WantOdd = (HintType == RISCVRI::RegPairOdd);
1012
1013 // First priority: Check if partner is already allocated
1014 if (Partner.isVirtual() && VRM && VRM->hasPhys(Partner)) {
1015 MCRegister PartnerPhys = VRM->getPhys(Partner);
1016 // Calculate the exact register we need for consecutive pairing
1017 TargetReg = PartnerPhys.id() + (WantOdd ? 1 : -1);
1018
1019 // Verify it's valid and available
1020 if (RISCV::GPRRegClass.contains(TargetReg) &&
1021 is_contained(Order, TargetReg))
1022 Hints.insert(TargetReg.id());
1023 }
1024
1025 // Second priority: Try to find consecutive register pairs in the allocation
1026 // order
1027 for (MCPhysReg PhysReg : Order) {
1028 // Don't add the hint if we already added above.
1029 if (TargetReg == PhysReg)
1030 continue;
1031
1032 unsigned RegNum = getEncodingValue(PhysReg);
1033 // Check if this register matches the even/odd requirement
1034 bool IsOdd = (RegNum % 2 != 0);
1035
1036 // Don't provide hints that are paired to a reserved register.
1037 MCRegister Paired = PhysReg + (IsOdd ? -1 : 1);
1038 if (WantOdd == IsOdd && !MRI->isReserved(Paired))
1039 Hints.insert(PhysReg);
1040 }
1041 }
1042
1043 bool BaseImplRetVal = TargetRegisterInfo::getRegAllocationHints(
1044 VirtReg, Order, Hints, MF, VRM, Matrix);
1045
1046 if (!VRM || !MF.getSubtarget<RISCVSubtarget>().getCLOpts().regalloc_hints)
1047 return BaseImplRetVal;
1048
1049 // Add any two address hints after any copy hints.
1050 SmallSet<Register, 4> TwoAddrHints;
1051
1052 auto tryAddHint = [&](const MachineOperand &VRRegMO, const MachineOperand &MO,
1053 bool NeedGPRC) -> void {
1054 Register Reg = MO.getReg();
1055 Register PhysReg = Reg.isPhysical() ? Reg : Register(VRM->getPhys(Reg));
1056 // TODO: Support GPRPair subregisters? Need to be careful with even/odd
1057 // registers. If the virtual register is an odd register of a pair and the
1058 // physical register is even (or vice versa), we should not add the hint.
1059 if (PhysReg && (!NeedGPRC || RISCV::GPRCRegClass.contains(PhysReg)) &&
1060 !MO.getSubReg() && !VRRegMO.getSubReg()) {
1061 if (!MRI->isReserved(PhysReg) && !Hints.contains(PhysReg))
1062 TwoAddrHints.insert(PhysReg);
1063 }
1064 };
1065
1066 // This is all of the compressible binary instructions. If an instruction
1067 // needs GPRC register class operands \p NeedGPRC will be set to true.
1068 auto isCompressible = [&Subtarget](const MachineInstr &MI, bool &NeedGPRC) {
1069 NeedGPRC = false;
1070 switch (MI.getOpcode()) {
1071 default:
1072 return false;
1073 case RISCV::AND:
1074 case RISCV::OR:
1075 case RISCV::XOR:
1076 case RISCV::SUB:
1077 case RISCV::ADDW:
1078 case RISCV::SUBW:
1079 NeedGPRC = true;
1080 return true;
1081 case RISCV::ANDI: {
1082 NeedGPRC = true;
1083 if (!MI.getOperand(2).isImm())
1084 return false;
1085 int64_t Imm = MI.getOperand(2).getImm();
1086 if (isInt<6>(Imm))
1087 return true;
1088 // c.zext.b
1089 return Subtarget.hasStdExtZcb() && Imm == 255;
1090 }
1091 case RISCV::SRAI:
1092 case RISCV::SRLI:
1093 NeedGPRC = true;
1094 return true;
1095 case RISCV::ADD:
1096 case RISCV::SLLI:
1097 return true;
1098 case RISCV::ADDI:
1099 case RISCV::ADDIW:
1100 return MI.getOperand(2).isImm() && isInt<6>(MI.getOperand(2).getImm());
1101 case RISCV::MUL:
1102 // c.mul
1103 NeedGPRC = true;
1104 return Subtarget.hasStdExtZcb();
1105 case RISCV::SEXT_B:
1106 case RISCV::SEXT_H:
1107 case RISCV::ZEXT_H_RV32:
1108 case RISCV::ZEXT_H_RV64:
1109 // c.sext.b, c.sext.h, c.zext.h
1110 NeedGPRC = true;
1111 return Subtarget.hasStdExtZcb() && Subtarget.hasStdExtZbb();
1112 case RISCV::ADD_UW:
1113 // c.zext.w
1114 NeedGPRC = true;
1115 return Subtarget.hasStdExtZcb() && MI.getOperand(2).isReg() &&
1116 MI.getOperand(2).getReg() == RISCV::X0;
1117 case RISCV::XORI:
1118 // c.not
1119 NeedGPRC = true;
1120 return Subtarget.hasStdExtZcb() && MI.getOperand(2).isImm() &&
1121 MI.getOperand(2).getImm() == -1;
1122 case RISCV::QC_EXTU:
1123 return MI.getOperand(2).getImm() >= 6 && MI.getOperand(3).getImm() == 0;
1124 case RISCV::BSETI:
1125 case RISCV::BEXTI:
1126 // qc.c.bseti, qc.c.bexti
1127 NeedGPRC = true;
1128 return Subtarget.hasVendorXqcibm() && MI.getOperand(2).getImm() != 0;
1129 }
1130 };
1131
1132 // Returns true if this operand is compressible. For non-registers it always
1133 // returns true. Immediate range was already checked in isCompressible.
1134 // For registers, it checks if the register is a GPRC register. reg-reg
1135 // instructions that require GPRC need all register operands to be GPRC.
1136 auto isCompressibleOpnd = [&](const MachineOperand &MO) {
1137 if (!MO.isReg())
1138 return true;
1139 Register Reg = MO.getReg();
1140 Register PhysReg = Reg.isPhysical() ? Reg : Register(VRM->getPhys(Reg));
1141 return PhysReg && RISCV::GPRCRegClass.contains(PhysReg);
1142 };
1143
1144 for (auto &MO : MRI->reg_nodbg_operands(VirtReg)) {
1145 const MachineInstr &MI = *MO.getParent();
1146 unsigned OpIdx = MO.getOperandNo();
1147 bool NeedGPRC;
1148 if (isCompressible(MI, NeedGPRC)) {
1149 if (OpIdx == 0 && MI.getOperand(1).isReg()) {
1150 if (!NeedGPRC || MI.getNumExplicitOperands() < 3 ||
1151 MI.getOpcode() == RISCV::ADD_UW ||
1152 isCompressibleOpnd(MI.getOperand(2)))
1153 tryAddHint(MO, MI.getOperand(1), NeedGPRC);
1154 if (MI.isCommutable() && MI.getOperand(2).isReg() &&
1155 (!NeedGPRC || isCompressibleOpnd(MI.getOperand(1))))
1156 tryAddHint(MO, MI.getOperand(2), NeedGPRC);
1157 } else if (OpIdx == 1 && (!NeedGPRC || MI.getNumExplicitOperands() < 3 ||
1158 isCompressibleOpnd(MI.getOperand(2)))) {
1159 tryAddHint(MO, MI.getOperand(0), NeedGPRC);
1160 } else if (MI.isCommutable() && OpIdx == 2 &&
1161 (!NeedGPRC || isCompressibleOpnd(MI.getOperand(1)))) {
1162 tryAddHint(MO, MI.getOperand(0), NeedGPRC);
1163 }
1164 }
1165
1166 // Add a hint if it would allow auipc/lui+addi(w) fusion. We do this even
1167 // without the fusions explicitly enabled as the impact is rarely negative
1168 // and some cores do implement this fusion.
1169 if ((MI.getOpcode() == RISCV::ADDIW || MI.getOpcode() == RISCV::ADDI) &&
1170 MI.getOperand(1).isReg()) {
1171 const MachineBasicBlock &MBB = *MI.getParent();
1172 MachineBasicBlock::const_iterator I = MI.getIterator();
1173 // Is the previous instruction a LUI or AUIPC that can be fused?
1174 if (I != MBB.begin()) {
1175 I = skipDebugInstructionsBackward(std::prev(I), MBB.begin());
1176 if ((I->getOpcode() == RISCV::LUI || I->getOpcode() == RISCV::AUIPC) &&
1177 I->getOperand(0).getReg() == MI.getOperand(1).getReg()) {
1178 if (OpIdx == 0)
1179 tryAddHint(MO, MI.getOperand(1), /*NeedGPRC=*/false);
1180 else
1181 tryAddHint(MO, MI.getOperand(0), /*NeedGPRC=*/false);
1182 }
1183 }
1184 }
1185 }
1186
1187 for (MCPhysReg OrderReg : Order)
1188 if (TwoAddrHints.count(OrderReg))
1189 Hints.insert(OrderReg);
1190
1191 return BaseImplRetVal;
1192}
1193
1195 MachineFunction &MF) const {
1196 MachineRegisterInfo *MRI = &MF.getRegInfo();
1197 std::pair<unsigned, Register> Hint = MRI->getRegAllocationHint(Reg);
1198
1199 // Handle RegPairEven/RegPairOdd hints for Zilsd register pairs
1200 if ((Hint.first == RISCVRI::RegPairOdd ||
1201 Hint.first == RISCVRI::RegPairEven) &&
1202 Hint.second.isVirtual()) {
1203 // If 'Reg' is one of the even/odd register pair and it's now changed
1204 // (e.g. coalesced) into a different register, the other register of the
1205 // pair allocation hint must be updated to reflect the relationship change.
1206 Register Partner = Hint.second;
1207 std::pair<unsigned, Register> PartnerHint =
1208 MRI->getRegAllocationHint(Partner);
1209
1210 // Make sure partner still points to us
1211 if (PartnerHint.second == Reg) {
1212 // Update partner to point to NewReg instead of Reg
1213 MRI->setRegAllocationHint(Partner, PartnerHint.first, NewReg);
1214
1215 // If NewReg is virtual, set up the reciprocal hint
1216 // NewReg takes over Reg's role, so it gets the SAME hint type as Reg
1217 if (NewReg.isVirtual())
1218 MRI->setRegAllocationHint(NewReg, Hint.first, Partner);
1219 }
1220 }
1221}
1222
1225 uint16_t Encoding) const {
1226 MCRegister Reg = RISCV::V0 + Encoding;
1228 return Reg;
1229 return getMatchingSuperReg(Reg, RISCV::sub_vrm1_0, &RegClass);
1230}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
unsigned Imm
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
This file contains constants used for implementing Dwarf debug support.
const HexagonInstrInfo * TII
#define _
IRTranslator LLVM IR MI
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
Live Register Matrix
#define I(x, y, z)
Definition MD5.cpp:57
Register const TargetRegisterInfo * TRI
Promote Memory to Register
Definition Mem2Reg.cpp:110
uint64_t IntrinsicInst * II
static unsigned getXqciloWideOpcode(unsigned Opc)
static std::tuple< RISCVVType::VLMUL, const TargetRegisterClass &, unsigned > getSpillReloadInfo(unsigned NumRemaining, uint16_t RegEncoding, bool IsSpill)
This file declares the machine register scavenger class.
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
Definition Value.cpp:484
This file defines the SmallSet class.
static unsigned getDwarfRegNum(MCRegister Reg, const TargetRegisterInfo *TRI)
Go up the super-register chain until we hit a valid dwarf register number.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
static LLVM_ABI void appendOffset(SmallVectorImpl< uint64_t > &Ops, int64_t Offset)
Append Ops with operations to apply the Offset.
A debug info location.
Definition DebugLoc.h:126
bool hasOptSize() const
Optimize this function for size (-Os) or minimum size (-Oz).
Definition Function.h:699
CallingConv::ID getCallingConv() const
getCallingConv()/setCallingConv(CC) - These method get and set the calling convention of this functio...
Definition Function.h:273
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
Definition Function.cpp:734
TypeSize getValue() const
bool isPrecise() const
const uint8_t TSFlags
Configurable target specific flags.
Wrapper class representing physical registers. Should be passed by value.
Definition MCRegister.h:41
constexpr unsigned id() const
Definition MCRegister.h:82
MachineInstrBundleIterator< const MachineInstr > const_iterator
MachineInstrBundleIterator< MachineInstr > iterator
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
int64_t getLocalFrameSize() const
Get the size of the local object blob.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Function & getFunction()
Return the LLVM function that this machine code represents.
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags F, LLT MemTy, Align BaseAlignment, const MMOMetadata &Metadata=MMOMetadata(), SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & setMIFlag(MachineInstr::MIFlag Flag) const
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & addFrameIndex(int Idx) const
const MachineInstrBuilder & addMemOperand(MachineMemOperand *MMO) const
Representation of each machine instruction.
MachineOperand class - Representation of each machine instruction operand.
unsigned getSubReg() const
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
const RegClassOrRegBank & getRegClassOrRegBank(Register Reg) const
Return the register bank or register class of Reg.
bool isReserved(MCRegister PhysReg) const
isReserved - Returns true when PhysReg is a reserved register.
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
LLT getType(Register Reg) const
Get the low-level type of Reg or LLT{} if Reg is not a generic (target independent) virtual register.
LLVM_ABI const MCPhysReg * getCalleeSavedRegs() const
Returns list of callee saved registers.
std::pair< unsigned, Register > getRegAllocationHint(Register VReg) const
getRegAllocationHint - Return the register allocation hint for the specified virtual register.
void setRegAllocationHint(Register VReg, unsigned Type, Register PrefReg)
setRegAllocationHint - Specify a register allocation hint for the specified virtual register.
const MachineFunction & getMF() const
iterator_range< reg_nodbg_iterator > reg_nodbg_operands(Register Reg) const
bool hasBP(const MachineFunction &MF) const
void movImm(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, Register DstReg, uint64_t Val, MachineInstr::MIFlag Flag=MachineInstr::NoFlags, bool DstRenamable=false, bool DstIsDead=false) const
const RISCVOptions & getCLOpts() const
std::optional< unsigned > getRealVLen() const
const RISCVRegisterInfo * getRegisterInfo() const override
const RISCVInstrInfo * getInstrInfo() const override
This class implements the register bank concept.
unsigned getID() const
Get the identifier of this register bank.
Wrapper class representing virtual and physical registers.
Definition Register.h:20
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
Definition Register.h:79
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
Definition Register.h:83
bool contains(const_arg_type key) const
Check if the SetVector contains the given key.
Definition SetVector.h:258
bool insert(const value_type &X)
Insert a new element into the SetVector.
Definition SetVector.h:157
A SetVector that performs no allocations if smaller than a certain size.
Definition SetVector.h:345
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
Definition SmallSet.h:134
size_type count(const T &V) const
count - Return 1 if the element is in the set, 0 otherwise.
Definition SmallSet.h:176
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
Definition SmallSet.h:184
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
StackOffset holds a fixed and a scalable offset in bytes.
Definition TypeSize.h:30
int64_t getFixed() const
Returns the fixed component of the stack.
Definition TypeSize.h:46
static StackOffset get(int64_t Fixed, int64_t Scalable)
Definition TypeSize.h:41
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
Information about stack frame layout on the target.
bool hasFP(const MachineFunction &MF) const
hasFP - Return true if the specified function should have a dedicated frame pointer register.
TargetInstrInfo - Interface to description of machine instruction set.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
virtual bool getRegAllocationHints(Register VirtReg, ArrayRef< MCPhysReg > Order, SmallSetVector< MCPhysReg, 16 > &Hints, const MachineFunction &MF, const VirtRegMap *VRM=nullptr, const LiveRegMatrix *Matrix=nullptr) const
Get a list of 'hint' registers that the register allocator should try first when allocating a physica...
virtual StringRef getRegAsmName(MCRegister Reg) const
Return the assembly name for Reg.
virtual bool isRegisterReservedByUser(Register R) const
virtual const TargetInstrInfo * getInstrInfo() const
MCRegister getPhys(Register virtReg) const
returns the physical register mapped to the specified virtual register
Definition VirtRegMap.h:91
bool hasPhys(Register virtReg) const
returns true if the specified virtual register is mapped to a physical register
Definition VirtRegMap.h:87
constexpr bool isKnownMultipleOf(ScalarTy RHS) const
This function tells the caller whether the element count is known at compile time to be a multiple of...
Definition TypeSize.h:180
constexpr LeafTy divideCoefficientBy(ScalarTy RHS) const
We do not provide the '/' operator here because division for polynomial types does not work in the sa...
Definition TypeSize.h:252
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ RISCV_VectorCall
Calling convention used for RISC-V V-extension.
@ PreserveMost
Used for runtime calls that preserves most registers.
Definition CallingConv.h:63
@ GHC
Used by the Glasgow Haskell Compiler (GHC).
Definition CallingConv.h:50
@ GRAAL
Used by GraalVM. Two additional registers are reserved.
MCRegister getBPReg()
static unsigned getFormat(uint64_t TSFlags)
static RISCVVType::VLMUL getLMul(uint8_t TSFlags)
LLVM_ABI std::pair< unsigned, bool > decodeVLMUL(VLMUL VLMul)
ArrayRef< MCPhysReg > getArgFPRs(const RISCVSubtarget &STI)
ArrayRef< MCPhysReg > getArgGPRs(const RISCVSubtarget &STI)
ArrayRef< MCPhysReg > getArgVRs(const RISCVSubtarget &STI)
std::optional< std::pair< unsigned, unsigned > > isRVVSpillForZvlsseg(unsigned Opcode)
bool isRVVSpill(const MachineInstr &MI)
static constexpr unsigned RVVBytesPerBlock
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:577
PointerUnion< const TargetRegisterClass *, const RegisterBank * > RegClassOrRegBank
Convenient type to represent either a register class or a register bank.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
Definition MathExtras.h:166
@ Implicit
Not emitted register (e.g. carry, or temporary result).
@ Kill
The last use of a register.
constexpr RegState getKillRegState(bool B)
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
Definition MathExtras.h:326
constexpr RegState getDefRegState(bool B)
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
Definition MathExtras.h:190
IterT skipDebugInstructionsBackward(IterT It, IterT Begin, bool SkipPseudoOp=true)
Decrement It until it points to a non-debug instruction or to Begin and return the resulting iterator...
@ Sub
Subtraction of integers.
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
Definition MCRegister.h:21
constexpr bool isShiftedInt(int64_t x)
Checks if a signed integer is an N bit number shifted left by S.
Definition MathExtras.h:183
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1963
constexpr int64_t SignExtend64(uint64_t x)
Sign-extend the number in the bottom B bits of X to a 64-bit integer.
Definition MathExtras.h:567
MCRegisterClass TargetRegisterClass
Definition FastISel.h:58
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
Definition Error.cpp:177
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
constexpr uint64_t value() const
This is a hole in the type system and should not be abused.
Definition Alignment.h:82
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition Alignment.h:111
Align valueOrOne() const
For convenience, returns a valid alignment or 1 if undefined.
Definition Alignment.h:135
bool needsFrameBaseReg(MachineInstr *MI, int64_t Offset) const override
bool requiresVirtualBaseRegisters(const MachineFunction &MF) const override
Register findVRegWithEncoding(const TargetRegisterClass &RegClass, uint16_t Encoding) const
const TargetRegisterClass * getLargestLegalSuperClass(const TargetRegisterClass *RC, const MachineFunction &) const override
std::pair< Register, Register > getGPRPairSubRegs(MCRegister Pair) const
bool isArgumentRegister(const MachineFunction &MF, MCRegister Reg) const override
const MCPhysReg * getCalleeSavedRegs(const MachineFunction *MF) const override
BitVector getReservedRegs(const MachineFunction &MF) const override
bool getRegAllocationHints(Register VirtReg, ArrayRef< MCPhysReg > Order, SmallSetVector< MCPhysReg, 16 > &Hints, const MachineFunction &MF, const VirtRegMap *VRM, const LiveRegMatrix *Matrix) const override
const uint32_t * getCallPreservedMask(const MachineFunction &MF, CallingConv::ID) const override
Register materializeFrameBaseRegister(MachineBasicBlock *MBB, int FrameIdx, int64_t Offset) const override
RISCVRegisterInfo(unsigned HwMode)
void getOffsetOpcodes(const StackOffset &Offset, SmallVectorImpl< uint64_t > &Ops) const override
bool isFrameOffsetLegal(const MachineInstr *MI, Register BaseReg, int64_t Offset) const override
Register getFrameRegister(const MachineFunction &MF) const override
const MCPhysReg * getIPRACSRegs(const MachineFunction *MF) const override
void lowerSegmentSpillReload(MachineBasicBlock::iterator II, bool IsSpill) const
const TargetRegisterClass * getRegClassForTypeOnBank(LLT Ty, const RegisterBank &RB, bool Is64Bit) const
void adjustReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator II, const DebugLoc &DL, Register DestReg, Register SrcReg, StackOffset Offset, MachineInstr::MIFlag Flag, MaybeAlign RequiredAlign) const
void updateRegAllocHint(Register Reg, Register NewReg, MachineFunction &MF) const override
bool isAsmClobberable(const MachineFunction &MF, MCRegister PhysReg) const override
const uint32_t * getNoPreservedMask() const override
float getSpillWeightScaleFactor(const TargetRegisterClass *RC) const override
const TargetRegisterClass * getConstrainedRegClassForReg(Register Reg, const MachineRegisterInfo &MRI) const override
void resolveFrameIndex(MachineInstr &MI, Register BaseReg, int64_t Offset) const override
int64_t getFrameIndexInstrOffset(const MachineInstr *MI, int Idx) const override
unsigned getRegisterCostTableIndex(const MachineFunction &MF) const override
StringRef getRegAsmName(MCRegister Reg) const override
bool eliminateFrameIndex(MachineBasicBlock::iterator MI, int SPAdj, unsigned FIOperandNum, RegScavenger *RS=nullptr) const override