1 //===-- RISCVInstrInfo.cpp - RISCV Instruction 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 RISCV implementation of the TargetInstrInfo class.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #include "RISCVInstrInfo.h"
14 #include "MCTargetDesc/RISCVMatInt.h"
15 #include "RISCV.h"
16 #include "RISCVMachineFunctionInfo.h"
17 #include "RISCVSubtarget.h"
18 #include "RISCVTargetMachine.h"
19 #include "llvm/ADT/STLExtras.h"
20 #include "llvm/ADT/SmallVector.h"
21 #include "llvm/Analysis/MemoryLocation.h"
22 #include "llvm/CodeGen/LiveIntervals.h"
23 #include "llvm/CodeGen/LiveVariables.h"
24 #include "llvm/CodeGen/MachineFunctionPass.h"
25 #include "llvm/CodeGen/MachineInstrBuilder.h"
26 #include "llvm/CodeGen/MachineRegisterInfo.h"
27 #include "llvm/CodeGen/RegisterScavenging.h"
28 #include "llvm/MC/MCInstBuilder.h"
29 #include "llvm/MC/TargetRegistry.h"
30 #include "llvm/Support/ErrorHandling.h"
31 
32 using namespace llvm;
33 
34 #define GEN_CHECK_COMPRESS_INSTR
35 #include "RISCVGenCompressInstEmitter.inc"
36 
37 #define GET_INSTRINFO_CTOR_DTOR
38 #define GET_INSTRINFO_NAMED_OPS
39 #include "RISCVGenInstrInfo.inc"
40 
41 static cl::opt<bool> PreferWholeRegisterMove(
42     "riscv-prefer-whole-register-move", cl::init(false), cl::Hidden,
43     cl::desc("Prefer whole register move for vector registers."));
44 
45 namespace llvm {
46 namespace RISCVVPseudosTable {
47 
48 using namespace RISCV;
49 
50 #define GET_RISCVVPseudosTable_IMPL
51 #include "RISCVGenSearchableTables.inc"
52 
53 } // namespace RISCVVPseudosTable
54 } // namespace llvm
55 
56 RISCVInstrInfo::RISCVInstrInfo(RISCVSubtarget &STI)
57     : RISCVGenInstrInfo(RISCV::ADJCALLSTACKDOWN, RISCV::ADJCALLSTACKUP),
58       STI(STI) {}
59 
60 MCInst RISCVInstrInfo::getNop() const {
61   if (STI.getFeatureBits()[RISCV::FeatureStdExtC])
62     return MCInstBuilder(RISCV::C_NOP);
63   return MCInstBuilder(RISCV::ADDI)
64       .addReg(RISCV::X0)
65       .addReg(RISCV::X0)
66       .addImm(0);
67 }
68 
69 unsigned RISCVInstrInfo::isLoadFromStackSlot(const MachineInstr &MI,
70                                              int &FrameIndex) const {
71   switch (MI.getOpcode()) {
72   default:
73     return 0;
74   case RISCV::LB:
75   case RISCV::LBU:
76   case RISCV::LH:
77   case RISCV::LHU:
78   case RISCV::FLH:
79   case RISCV::LW:
80   case RISCV::FLW:
81   case RISCV::LWU:
82   case RISCV::LD:
83   case RISCV::FLD:
84     break;
85   }
86 
87   if (MI.getOperand(1).isFI() && MI.getOperand(2).isImm() &&
88       MI.getOperand(2).getImm() == 0) {
89     FrameIndex = MI.getOperand(1).getIndex();
90     return MI.getOperand(0).getReg();
91   }
92 
93   return 0;
94 }
95 
96 unsigned RISCVInstrInfo::isStoreToStackSlot(const MachineInstr &MI,
97                                             int &FrameIndex) const {
98   switch (MI.getOpcode()) {
99   default:
100     return 0;
101   case RISCV::SB:
102   case RISCV::SH:
103   case RISCV::SW:
104   case RISCV::FSH:
105   case RISCV::FSW:
106   case RISCV::SD:
107   case RISCV::FSD:
108     break;
109   }
110 
111   if (MI.getOperand(1).isFI() && MI.getOperand(2).isImm() &&
112       MI.getOperand(2).getImm() == 0) {
113     FrameIndex = MI.getOperand(1).getIndex();
114     return MI.getOperand(0).getReg();
115   }
116 
117   return 0;
118 }
119 
120 static bool forwardCopyWillClobberTuple(unsigned DstReg, unsigned SrcReg,
121                                         unsigned NumRegs) {
122   return DstReg > SrcReg && (DstReg - SrcReg) < NumRegs;
123 }
124 
125 static bool isConvertibleToVMV_V_V(const RISCVSubtarget &STI,
126                                    const MachineBasicBlock &MBB,
127                                    MachineBasicBlock::const_iterator MBBI,
128                                    MachineBasicBlock::const_iterator &DefMBBI,
129                                    RISCVII::VLMUL LMul) {
130   if (PreferWholeRegisterMove)
131     return false;
132 
133   assert(MBBI->getOpcode() == TargetOpcode::COPY &&
134          "Unexpected COPY instruction.");
135   Register SrcReg = MBBI->getOperand(1).getReg();
136   const TargetRegisterInfo *TRI = STI.getRegisterInfo();
137 
138   bool FoundDef = false;
139   bool FirstVSetVLI = false;
140   unsigned FirstSEW = 0;
141   while (MBBI != MBB.begin()) {
142     --MBBI;
143     if (MBBI->isMetaInstruction())
144       continue;
145 
146     if (MBBI->getOpcode() == RISCV::PseudoVSETVLI ||
147         MBBI->getOpcode() == RISCV::PseudoVSETVLIX0 ||
148         MBBI->getOpcode() == RISCV::PseudoVSETIVLI) {
149       // There is a vsetvli between COPY and source define instruction.
150       // vy = def_vop ...  (producing instruction)
151       // ...
152       // vsetvli
153       // ...
154       // vx = COPY vy
155       if (!FoundDef) {
156         if (!FirstVSetVLI) {
157           FirstVSetVLI = true;
158           unsigned FirstVType = MBBI->getOperand(2).getImm();
159           RISCVII::VLMUL FirstLMul = RISCVVType::getVLMUL(FirstVType);
160           FirstSEW = RISCVVType::getSEW(FirstVType);
161           // The first encountered vsetvli must have the same lmul as the
162           // register class of COPY.
163           if (FirstLMul != LMul)
164             return false;
165         }
166         // Only permit `vsetvli x0, x0, vtype` between COPY and the source
167         // define instruction.
168         if (MBBI->getOperand(0).getReg() != RISCV::X0)
169           return false;
170         if (MBBI->getOperand(1).isImm())
171           return false;
172         if (MBBI->getOperand(1).getReg() != RISCV::X0)
173           return false;
174         continue;
175       }
176 
177       // MBBI is the first vsetvli before the producing instruction.
178       unsigned VType = MBBI->getOperand(2).getImm();
179       // If there is a vsetvli between COPY and the producing instruction.
180       if (FirstVSetVLI) {
181         // If SEW is different, return false.
182         if (RISCVVType::getSEW(VType) != FirstSEW)
183           return false;
184       }
185 
186       // If the vsetvli is tail undisturbed, keep the whole register move.
187       if (!RISCVVType::isTailAgnostic(VType))
188         return false;
189 
190       // The checking is conservative. We only have register classes for
191       // LMUL = 1/2/4/8. We should be able to convert vmv1r.v to vmv.v.v
192       // for fractional LMUL operations. However, we could not use the vsetvli
193       // lmul for widening operations. The result of widening operation is
194       // 2 x LMUL.
195       return LMul == RISCVVType::getVLMUL(VType);
196     } else if (MBBI->isInlineAsm() || MBBI->isCall()) {
197       return false;
198     } else if (MBBI->getNumDefs()) {
199       // Check all the instructions which will change VL.
200       // For example, vleff has implicit def VL.
201       if (MBBI->modifiesRegister(RISCV::VL))
202         return false;
203 
204       // Only converting whole register copies to vmv.v.v when the defining
205       // value appears in the explicit operands.
206       for (const MachineOperand &MO : MBBI->explicit_operands()) {
207         if (!MO.isReg() || !MO.isDef())
208           continue;
209         if (!FoundDef && TRI->isSubRegisterEq(MO.getReg(), SrcReg)) {
210           // We only permit the source of COPY has the same LMUL as the defined
211           // operand.
212           // There are cases we need to keep the whole register copy if the LMUL
213           // is different.
214           // For example,
215           // $x0 = PseudoVSETIVLI 4, 73   // vsetivli zero, 4, e16,m2,ta,m
216           // $v28m4 = PseudoVWADD_VV_M2 $v26m2, $v8m2
217           // # The COPY may be created by vlmul_trunc intrinsic.
218           // $v26m2 = COPY renamable $v28m2, implicit killed $v28m4
219           //
220           // After widening, the valid value will be 4 x e32 elements. If we
221           // convert the COPY to vmv.v.v, it will only copy 4 x e16 elements.
222           // FIXME: The COPY of subregister of Zvlsseg register will not be able
223           // to convert to vmv.v.[v|i] under the constraint.
224           if (MO.getReg() != SrcReg)
225             return false;
226 
227           // In widening reduction instructions with LMUL_1 input vector case,
228           // only checking the LMUL is insufficient due to reduction result is
229           // always LMUL_1.
230           // For example,
231           // $x11 = PseudoVSETIVLI 1, 64 // vsetivli a1, 1, e8, m1, ta, mu
232           // $v8m1 = PseudoVWREDSUM_VS_M1 $v26, $v27
233           // $v26 = COPY killed renamable $v8
234           // After widening, The valid value will be 1 x e16 elements. If we
235           // convert the COPY to vmv.v.v, it will only copy 1 x e8 elements.
236           uint64_t TSFlags = MBBI->getDesc().TSFlags;
237           if (RISCVII::isRVVWideningReduction(TSFlags))
238             return false;
239 
240           // Found the definition.
241           FoundDef = true;
242           DefMBBI = MBBI;
243           // If the producing instruction does not depend on vsetvli, do not
244           // convert COPY to vmv.v.v. For example, VL1R_V or PseudoVRELOAD.
245           if (!RISCVII::hasSEWOp(TSFlags))
246             return false;
247           break;
248         }
249       }
250     }
251   }
252 
253   return false;
254 }
255 
256 void RISCVInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
257                                  MachineBasicBlock::iterator MBBI,
258                                  const DebugLoc &DL, MCRegister DstReg,
259                                  MCRegister SrcReg, bool KillSrc) const {
260   if (RISCV::GPRRegClass.contains(DstReg, SrcReg)) {
261     BuildMI(MBB, MBBI, DL, get(RISCV::ADDI), DstReg)
262         .addReg(SrcReg, getKillRegState(KillSrc))
263         .addImm(0);
264     return;
265   }
266 
267   // FPR->FPR copies and VR->VR copies.
268   unsigned Opc;
269   bool IsScalableVector = true;
270   unsigned NF = 1;
271   RISCVII::VLMUL LMul = RISCVII::LMUL_1;
272   unsigned SubRegIdx = RISCV::sub_vrm1_0;
273   if (RISCV::FPR16RegClass.contains(DstReg, SrcReg)) {
274     Opc = RISCV::FSGNJ_H;
275     IsScalableVector = false;
276   } else if (RISCV::FPR32RegClass.contains(DstReg, SrcReg)) {
277     Opc = RISCV::FSGNJ_S;
278     IsScalableVector = false;
279   } else if (RISCV::FPR64RegClass.contains(DstReg, SrcReg)) {
280     Opc = RISCV::FSGNJ_D;
281     IsScalableVector = false;
282   } else if (RISCV::VRRegClass.contains(DstReg, SrcReg)) {
283     Opc = RISCV::PseudoVMV1R_V;
284     LMul = RISCVII::LMUL_1;
285   } else if (RISCV::VRM2RegClass.contains(DstReg, SrcReg)) {
286     Opc = RISCV::PseudoVMV2R_V;
287     LMul = RISCVII::LMUL_2;
288   } else if (RISCV::VRM4RegClass.contains(DstReg, SrcReg)) {
289     Opc = RISCV::PseudoVMV4R_V;
290     LMul = RISCVII::LMUL_4;
291   } else if (RISCV::VRM8RegClass.contains(DstReg, SrcReg)) {
292     Opc = RISCV::PseudoVMV8R_V;
293     LMul = RISCVII::LMUL_8;
294   } else if (RISCV::VRN2M1RegClass.contains(DstReg, SrcReg)) {
295     Opc = RISCV::PseudoVMV1R_V;
296     SubRegIdx = RISCV::sub_vrm1_0;
297     NF = 2;
298     LMul = RISCVII::LMUL_1;
299   } else if (RISCV::VRN2M2RegClass.contains(DstReg, SrcReg)) {
300     Opc = RISCV::PseudoVMV2R_V;
301     SubRegIdx = RISCV::sub_vrm2_0;
302     NF = 2;
303     LMul = RISCVII::LMUL_2;
304   } else if (RISCV::VRN2M4RegClass.contains(DstReg, SrcReg)) {
305     Opc = RISCV::PseudoVMV4R_V;
306     SubRegIdx = RISCV::sub_vrm4_0;
307     NF = 2;
308     LMul = RISCVII::LMUL_4;
309   } else if (RISCV::VRN3M1RegClass.contains(DstReg, SrcReg)) {
310     Opc = RISCV::PseudoVMV1R_V;
311     SubRegIdx = RISCV::sub_vrm1_0;
312     NF = 3;
313     LMul = RISCVII::LMUL_1;
314   } else if (RISCV::VRN3M2RegClass.contains(DstReg, SrcReg)) {
315     Opc = RISCV::PseudoVMV2R_V;
316     SubRegIdx = RISCV::sub_vrm2_0;
317     NF = 3;
318     LMul = RISCVII::LMUL_2;
319   } else if (RISCV::VRN4M1RegClass.contains(DstReg, SrcReg)) {
320     Opc = RISCV::PseudoVMV1R_V;
321     SubRegIdx = RISCV::sub_vrm1_0;
322     NF = 4;
323     LMul = RISCVII::LMUL_1;
324   } else if (RISCV::VRN4M2RegClass.contains(DstReg, SrcReg)) {
325     Opc = RISCV::PseudoVMV2R_V;
326     SubRegIdx = RISCV::sub_vrm2_0;
327     NF = 4;
328     LMul = RISCVII::LMUL_2;
329   } else if (RISCV::VRN5M1RegClass.contains(DstReg, SrcReg)) {
330     Opc = RISCV::PseudoVMV1R_V;
331     SubRegIdx = RISCV::sub_vrm1_0;
332     NF = 5;
333     LMul = RISCVII::LMUL_1;
334   } else if (RISCV::VRN6M1RegClass.contains(DstReg, SrcReg)) {
335     Opc = RISCV::PseudoVMV1R_V;
336     SubRegIdx = RISCV::sub_vrm1_0;
337     NF = 6;
338     LMul = RISCVII::LMUL_1;
339   } else if (RISCV::VRN7M1RegClass.contains(DstReg, SrcReg)) {
340     Opc = RISCV::PseudoVMV1R_V;
341     SubRegIdx = RISCV::sub_vrm1_0;
342     NF = 7;
343     LMul = RISCVII::LMUL_1;
344   } else if (RISCV::VRN8M1RegClass.contains(DstReg, SrcReg)) {
345     Opc = RISCV::PseudoVMV1R_V;
346     SubRegIdx = RISCV::sub_vrm1_0;
347     NF = 8;
348     LMul = RISCVII::LMUL_1;
349   } else {
350     llvm_unreachable("Impossible reg-to-reg copy");
351   }
352 
353   if (IsScalableVector) {
354     bool UseVMV_V_V = false;
355     MachineBasicBlock::const_iterator DefMBBI;
356     unsigned DefExplicitOpNum;
357     unsigned VIOpc;
358     if (isConvertibleToVMV_V_V(STI, MBB, MBBI, DefMBBI, LMul)) {
359       UseVMV_V_V = true;
360       DefExplicitOpNum = DefMBBI->getNumExplicitOperands();
361       // We only need to handle LMUL = 1/2/4/8 here because we only define
362       // vector register classes for LMUL = 1/2/4/8.
363       switch (LMul) {
364       default:
365         llvm_unreachable("Impossible LMUL for vector register copy.");
366       case RISCVII::LMUL_1:
367         Opc = RISCV::PseudoVMV_V_V_M1;
368         VIOpc = RISCV::PseudoVMV_V_I_M1;
369         break;
370       case RISCVII::LMUL_2:
371         Opc = RISCV::PseudoVMV_V_V_M2;
372         VIOpc = RISCV::PseudoVMV_V_I_M2;
373         break;
374       case RISCVII::LMUL_4:
375         Opc = RISCV::PseudoVMV_V_V_M4;
376         VIOpc = RISCV::PseudoVMV_V_I_M4;
377         break;
378       case RISCVII::LMUL_8:
379         Opc = RISCV::PseudoVMV_V_V_M8;
380         VIOpc = RISCV::PseudoVMV_V_I_M8;
381         break;
382       }
383     }
384 
385     bool UseVMV_V_I = false;
386     if (UseVMV_V_V && (DefMBBI->getOpcode() == VIOpc)) {
387       UseVMV_V_I = true;
388       Opc = VIOpc;
389     }
390 
391     if (NF == 1) {
392       auto MIB = BuildMI(MBB, MBBI, DL, get(Opc), DstReg);
393       if (UseVMV_V_I)
394         MIB = MIB.add(DefMBBI->getOperand(1));
395       else
396         MIB = MIB.addReg(SrcReg, getKillRegState(KillSrc));
397       if (UseVMV_V_V) {
398         // The last two arguments of vector instructions are
399         // AVL, SEW. We also need to append the implicit-use vl and vtype.
400         MIB.add(DefMBBI->getOperand(DefExplicitOpNum - 2)); // AVL
401         MIB.add(DefMBBI->getOperand(DefExplicitOpNum - 1)); // SEW
402         MIB.addReg(RISCV::VL, RegState::Implicit);
403         MIB.addReg(RISCV::VTYPE, RegState::Implicit);
404       }
405     } else {
406       const TargetRegisterInfo *TRI = STI.getRegisterInfo();
407 
408       int I = 0, End = NF, Incr = 1;
409       unsigned SrcEncoding = TRI->getEncodingValue(SrcReg);
410       unsigned DstEncoding = TRI->getEncodingValue(DstReg);
411       unsigned LMulVal;
412       bool Fractional;
413       std::tie(LMulVal, Fractional) = RISCVVType::decodeVLMUL(LMul);
414       assert(!Fractional && "It is impossible be fractional lmul here.");
415       if (forwardCopyWillClobberTuple(DstEncoding, SrcEncoding, NF * LMulVal)) {
416         I = NF - 1;
417         End = -1;
418         Incr = -1;
419       }
420 
421       for (; I != End; I += Incr) {
422         auto MIB = BuildMI(MBB, MBBI, DL, get(Opc),
423                            TRI->getSubReg(DstReg, SubRegIdx + I));
424         if (UseVMV_V_I)
425           MIB = MIB.add(DefMBBI->getOperand(1));
426         else
427           MIB = MIB.addReg(TRI->getSubReg(SrcReg, SubRegIdx + I),
428                            getKillRegState(KillSrc));
429         if (UseVMV_V_V) {
430           MIB.add(DefMBBI->getOperand(DefExplicitOpNum - 2)); // AVL
431           MIB.add(DefMBBI->getOperand(DefExplicitOpNum - 1)); // SEW
432           MIB.addReg(RISCV::VL, RegState::Implicit);
433           MIB.addReg(RISCV::VTYPE, RegState::Implicit);
434         }
435       }
436     }
437   } else {
438     BuildMI(MBB, MBBI, DL, get(Opc), DstReg)
439         .addReg(SrcReg, getKillRegState(KillSrc))
440         .addReg(SrcReg, getKillRegState(KillSrc));
441   }
442 }
443 
444 void RISCVInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
445                                          MachineBasicBlock::iterator I,
446                                          Register SrcReg, bool IsKill, int FI,
447                                          const TargetRegisterClass *RC,
448                                          const TargetRegisterInfo *TRI) const {
449   DebugLoc DL;
450   if (I != MBB.end())
451     DL = I->getDebugLoc();
452 
453   MachineFunction *MF = MBB.getParent();
454   MachineFrameInfo &MFI = MF->getFrameInfo();
455 
456   unsigned Opcode;
457   bool IsScalableVector = true;
458   bool IsZvlsseg = true;
459   if (RISCV::GPRRegClass.hasSubClassEq(RC)) {
460     Opcode = TRI->getRegSizeInBits(RISCV::GPRRegClass) == 32 ?
461              RISCV::SW : RISCV::SD;
462     IsScalableVector = false;
463   } else if (RISCV::FPR16RegClass.hasSubClassEq(RC)) {
464     Opcode = RISCV::FSH;
465     IsScalableVector = false;
466   } else if (RISCV::FPR32RegClass.hasSubClassEq(RC)) {
467     Opcode = RISCV::FSW;
468     IsScalableVector = false;
469   } else if (RISCV::FPR64RegClass.hasSubClassEq(RC)) {
470     Opcode = RISCV::FSD;
471     IsScalableVector = false;
472   } else if (RISCV::VRRegClass.hasSubClassEq(RC)) {
473     Opcode = RISCV::PseudoVSPILL_M1;
474     IsZvlsseg = false;
475   } else if (RISCV::VRM2RegClass.hasSubClassEq(RC)) {
476     Opcode = RISCV::PseudoVSPILL_M2;
477     IsZvlsseg = false;
478   } else if (RISCV::VRM4RegClass.hasSubClassEq(RC)) {
479     Opcode = RISCV::PseudoVSPILL_M4;
480     IsZvlsseg = false;
481   } else if (RISCV::VRM8RegClass.hasSubClassEq(RC)) {
482     Opcode = RISCV::PseudoVSPILL_M8;
483     IsZvlsseg = false;
484   } else if (RISCV::VRN2M1RegClass.hasSubClassEq(RC))
485     Opcode = RISCV::PseudoVSPILL2_M1;
486   else if (RISCV::VRN2M2RegClass.hasSubClassEq(RC))
487     Opcode = RISCV::PseudoVSPILL2_M2;
488   else if (RISCV::VRN2M4RegClass.hasSubClassEq(RC))
489     Opcode = RISCV::PseudoVSPILL2_M4;
490   else if (RISCV::VRN3M1RegClass.hasSubClassEq(RC))
491     Opcode = RISCV::PseudoVSPILL3_M1;
492   else if (RISCV::VRN3M2RegClass.hasSubClassEq(RC))
493     Opcode = RISCV::PseudoVSPILL3_M2;
494   else if (RISCV::VRN4M1RegClass.hasSubClassEq(RC))
495     Opcode = RISCV::PseudoVSPILL4_M1;
496   else if (RISCV::VRN4M2RegClass.hasSubClassEq(RC))
497     Opcode = RISCV::PseudoVSPILL4_M2;
498   else if (RISCV::VRN5M1RegClass.hasSubClassEq(RC))
499     Opcode = RISCV::PseudoVSPILL5_M1;
500   else if (RISCV::VRN6M1RegClass.hasSubClassEq(RC))
501     Opcode = RISCV::PseudoVSPILL6_M1;
502   else if (RISCV::VRN7M1RegClass.hasSubClassEq(RC))
503     Opcode = RISCV::PseudoVSPILL7_M1;
504   else if (RISCV::VRN8M1RegClass.hasSubClassEq(RC))
505     Opcode = RISCV::PseudoVSPILL8_M1;
506   else
507     llvm_unreachable("Can't store this register to stack slot");
508 
509   if (IsScalableVector) {
510     MachineMemOperand *MMO = MF->getMachineMemOperand(
511         MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOStore,
512         MemoryLocation::UnknownSize, MFI.getObjectAlign(FI));
513 
514     MFI.setStackID(FI, TargetStackID::ScalableVector);
515     auto MIB = BuildMI(MBB, I, DL, get(Opcode))
516                    .addReg(SrcReg, getKillRegState(IsKill))
517                    .addFrameIndex(FI)
518                    .addMemOperand(MMO);
519     if (IsZvlsseg) {
520       // For spilling/reloading Zvlsseg registers, append the dummy field for
521       // the scaled vector length. The argument will be used when expanding
522       // these pseudo instructions.
523       MIB.addReg(RISCV::X0);
524     }
525   } else {
526     MachineMemOperand *MMO = MF->getMachineMemOperand(
527         MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOStore,
528         MFI.getObjectSize(FI), MFI.getObjectAlign(FI));
529 
530     BuildMI(MBB, I, DL, get(Opcode))
531         .addReg(SrcReg, getKillRegState(IsKill))
532         .addFrameIndex(FI)
533         .addImm(0)
534         .addMemOperand(MMO);
535   }
536 }
537 
538 void RISCVInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
539                                           MachineBasicBlock::iterator I,
540                                           Register DstReg, int FI,
541                                           const TargetRegisterClass *RC,
542                                           const TargetRegisterInfo *TRI) const {
543   DebugLoc DL;
544   if (I != MBB.end())
545     DL = I->getDebugLoc();
546 
547   MachineFunction *MF = MBB.getParent();
548   MachineFrameInfo &MFI = MF->getFrameInfo();
549 
550   unsigned Opcode;
551   bool IsScalableVector = true;
552   bool IsZvlsseg = true;
553   if (RISCV::GPRRegClass.hasSubClassEq(RC)) {
554     Opcode = TRI->getRegSizeInBits(RISCV::GPRRegClass) == 32 ?
555              RISCV::LW : RISCV::LD;
556     IsScalableVector = false;
557   } else if (RISCV::FPR16RegClass.hasSubClassEq(RC)) {
558     Opcode = RISCV::FLH;
559     IsScalableVector = false;
560   } else if (RISCV::FPR32RegClass.hasSubClassEq(RC)) {
561     Opcode = RISCV::FLW;
562     IsScalableVector = false;
563   } else if (RISCV::FPR64RegClass.hasSubClassEq(RC)) {
564     Opcode = RISCV::FLD;
565     IsScalableVector = false;
566   } else if (RISCV::VRRegClass.hasSubClassEq(RC)) {
567     Opcode = RISCV::PseudoVRELOAD_M1;
568     IsZvlsseg = false;
569   } else if (RISCV::VRM2RegClass.hasSubClassEq(RC)) {
570     Opcode = RISCV::PseudoVRELOAD_M2;
571     IsZvlsseg = false;
572   } else if (RISCV::VRM4RegClass.hasSubClassEq(RC)) {
573     Opcode = RISCV::PseudoVRELOAD_M4;
574     IsZvlsseg = false;
575   } else if (RISCV::VRM8RegClass.hasSubClassEq(RC)) {
576     Opcode = RISCV::PseudoVRELOAD_M8;
577     IsZvlsseg = false;
578   } else if (RISCV::VRN2M1RegClass.hasSubClassEq(RC))
579     Opcode = RISCV::PseudoVRELOAD2_M1;
580   else if (RISCV::VRN2M2RegClass.hasSubClassEq(RC))
581     Opcode = RISCV::PseudoVRELOAD2_M2;
582   else if (RISCV::VRN2M4RegClass.hasSubClassEq(RC))
583     Opcode = RISCV::PseudoVRELOAD2_M4;
584   else if (RISCV::VRN3M1RegClass.hasSubClassEq(RC))
585     Opcode = RISCV::PseudoVRELOAD3_M1;
586   else if (RISCV::VRN3M2RegClass.hasSubClassEq(RC))
587     Opcode = RISCV::PseudoVRELOAD3_M2;
588   else if (RISCV::VRN4M1RegClass.hasSubClassEq(RC))
589     Opcode = RISCV::PseudoVRELOAD4_M1;
590   else if (RISCV::VRN4M2RegClass.hasSubClassEq(RC))
591     Opcode = RISCV::PseudoVRELOAD4_M2;
592   else if (RISCV::VRN5M1RegClass.hasSubClassEq(RC))
593     Opcode = RISCV::PseudoVRELOAD5_M1;
594   else if (RISCV::VRN6M1RegClass.hasSubClassEq(RC))
595     Opcode = RISCV::PseudoVRELOAD6_M1;
596   else if (RISCV::VRN7M1RegClass.hasSubClassEq(RC))
597     Opcode = RISCV::PseudoVRELOAD7_M1;
598   else if (RISCV::VRN8M1RegClass.hasSubClassEq(RC))
599     Opcode = RISCV::PseudoVRELOAD8_M1;
600   else
601     llvm_unreachable("Can't load this register from stack slot");
602 
603   if (IsScalableVector) {
604     MachineMemOperand *MMO = MF->getMachineMemOperand(
605         MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOLoad,
606         MemoryLocation::UnknownSize, MFI.getObjectAlign(FI));
607 
608     MFI.setStackID(FI, TargetStackID::ScalableVector);
609     auto MIB = BuildMI(MBB, I, DL, get(Opcode), DstReg)
610                    .addFrameIndex(FI)
611                    .addMemOperand(MMO);
612     if (IsZvlsseg) {
613       // For spilling/reloading Zvlsseg registers, append the dummy field for
614       // the scaled vector length. The argument will be used when expanding
615       // these pseudo instructions.
616       MIB.addReg(RISCV::X0);
617     }
618   } else {
619     MachineMemOperand *MMO = MF->getMachineMemOperand(
620         MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOLoad,
621         MFI.getObjectSize(FI), MFI.getObjectAlign(FI));
622 
623     BuildMI(MBB, I, DL, get(Opcode), DstReg)
624         .addFrameIndex(FI)
625         .addImm(0)
626         .addMemOperand(MMO);
627   }
628 }
629 
630 void RISCVInstrInfo::movImm(MachineBasicBlock &MBB,
631                             MachineBasicBlock::iterator MBBI,
632                             const DebugLoc &DL, Register DstReg, uint64_t Val,
633                             MachineInstr::MIFlag Flag) const {
634   Register SrcReg = RISCV::X0;
635 
636   if (!STI.is64Bit() && !isInt<32>(Val))
637     report_fatal_error("Should only materialize 32-bit constants for RV32");
638 
639   RISCVMatInt::InstSeq Seq =
640       RISCVMatInt::generateInstSeq(Val, STI.getFeatureBits());
641   assert(!Seq.empty());
642 
643   for (RISCVMatInt::Inst &Inst : Seq) {
644     if (Inst.Opc == RISCV::LUI) {
645       BuildMI(MBB, MBBI, DL, get(RISCV::LUI), DstReg)
646           .addImm(Inst.Imm)
647           .setMIFlag(Flag);
648     } else if (Inst.Opc == RISCV::ADD_UW) {
649       BuildMI(MBB, MBBI, DL, get(RISCV::ADD_UW), DstReg)
650           .addReg(SrcReg, RegState::Kill)
651           .addReg(RISCV::X0)
652           .setMIFlag(Flag);
653     } else if (Inst.Opc == RISCV::SH1ADD || Inst.Opc == RISCV::SH2ADD ||
654                Inst.Opc == RISCV::SH3ADD) {
655       BuildMI(MBB, MBBI, DL, get(Inst.Opc), DstReg)
656           .addReg(SrcReg, RegState::Kill)
657           .addReg(SrcReg, RegState::Kill)
658           .setMIFlag(Flag);
659     } else {
660       BuildMI(MBB, MBBI, DL, get(Inst.Opc), DstReg)
661           .addReg(SrcReg, RegState::Kill)
662           .addImm(Inst.Imm)
663           .setMIFlag(Flag);
664     }
665     // Only the first instruction has X0 as its source.
666     SrcReg = DstReg;
667   }
668 }
669 
670 static RISCVCC::CondCode getCondFromBranchOpc(unsigned Opc) {
671   switch (Opc) {
672   default:
673     return RISCVCC::COND_INVALID;
674   case RISCV::BEQ:
675     return RISCVCC::COND_EQ;
676   case RISCV::BNE:
677     return RISCVCC::COND_NE;
678   case RISCV::BLT:
679     return RISCVCC::COND_LT;
680   case RISCV::BGE:
681     return RISCVCC::COND_GE;
682   case RISCV::BLTU:
683     return RISCVCC::COND_LTU;
684   case RISCV::BGEU:
685     return RISCVCC::COND_GEU;
686   }
687 }
688 
689 // The contents of values added to Cond are not examined outside of
690 // RISCVInstrInfo, giving us flexibility in what to push to it. For RISCV, we
691 // push BranchOpcode, Reg1, Reg2.
692 static void parseCondBranch(MachineInstr &LastInst, MachineBasicBlock *&Target,
693                             SmallVectorImpl<MachineOperand> &Cond) {
694   // Block ends with fall-through condbranch.
695   assert(LastInst.getDesc().isConditionalBranch() &&
696          "Unknown conditional branch");
697   Target = LastInst.getOperand(2).getMBB();
698   unsigned CC = getCondFromBranchOpc(LastInst.getOpcode());
699   Cond.push_back(MachineOperand::CreateImm(CC));
700   Cond.push_back(LastInst.getOperand(0));
701   Cond.push_back(LastInst.getOperand(1));
702 }
703 
704 const MCInstrDesc &RISCVInstrInfo::getBrCond(RISCVCC::CondCode CC) const {
705   switch (CC) {
706   default:
707     llvm_unreachable("Unknown condition code!");
708   case RISCVCC::COND_EQ:
709     return get(RISCV::BEQ);
710   case RISCVCC::COND_NE:
711     return get(RISCV::BNE);
712   case RISCVCC::COND_LT:
713     return get(RISCV::BLT);
714   case RISCVCC::COND_GE:
715     return get(RISCV::BGE);
716   case RISCVCC::COND_LTU:
717     return get(RISCV::BLTU);
718   case RISCVCC::COND_GEU:
719     return get(RISCV::BGEU);
720   }
721 }
722 
723 RISCVCC::CondCode RISCVCC::getOppositeBranchCondition(RISCVCC::CondCode CC) {
724   switch (CC) {
725   default:
726     llvm_unreachable("Unrecognized conditional branch");
727   case RISCVCC::COND_EQ:
728     return RISCVCC::COND_NE;
729   case RISCVCC::COND_NE:
730     return RISCVCC::COND_EQ;
731   case RISCVCC::COND_LT:
732     return RISCVCC::COND_GE;
733   case RISCVCC::COND_GE:
734     return RISCVCC::COND_LT;
735   case RISCVCC::COND_LTU:
736     return RISCVCC::COND_GEU;
737   case RISCVCC::COND_GEU:
738     return RISCVCC::COND_LTU;
739   }
740 }
741 
742 bool RISCVInstrInfo::analyzeBranch(MachineBasicBlock &MBB,
743                                    MachineBasicBlock *&TBB,
744                                    MachineBasicBlock *&FBB,
745                                    SmallVectorImpl<MachineOperand> &Cond,
746                                    bool AllowModify) const {
747   TBB = FBB = nullptr;
748   Cond.clear();
749 
750   // If the block has no terminators, it just falls into the block after it.
751   MachineBasicBlock::iterator I = MBB.getLastNonDebugInstr();
752   if (I == MBB.end() || !isUnpredicatedTerminator(*I))
753     return false;
754 
755   // Count the number of terminators and find the first unconditional or
756   // indirect branch.
757   MachineBasicBlock::iterator FirstUncondOrIndirectBr = MBB.end();
758   int NumTerminators = 0;
759   for (auto J = I.getReverse(); J != MBB.rend() && isUnpredicatedTerminator(*J);
760        J++) {
761     NumTerminators++;
762     if (J->getDesc().isUnconditionalBranch() ||
763         J->getDesc().isIndirectBranch()) {
764       FirstUncondOrIndirectBr = J.getReverse();
765     }
766   }
767 
768   // If AllowModify is true, we can erase any terminators after
769   // FirstUncondOrIndirectBR.
770   if (AllowModify && FirstUncondOrIndirectBr != MBB.end()) {
771     while (std::next(FirstUncondOrIndirectBr) != MBB.end()) {
772       std::next(FirstUncondOrIndirectBr)->eraseFromParent();
773       NumTerminators--;
774     }
775     I = FirstUncondOrIndirectBr;
776   }
777 
778   // We can't handle blocks that end in an indirect branch.
779   if (I->getDesc().isIndirectBranch())
780     return true;
781 
782   // We can't handle blocks with more than 2 terminators.
783   if (NumTerminators > 2)
784     return true;
785 
786   // Handle a single unconditional branch.
787   if (NumTerminators == 1 && I->getDesc().isUnconditionalBranch()) {
788     TBB = getBranchDestBlock(*I);
789     return false;
790   }
791 
792   // Handle a single conditional branch.
793   if (NumTerminators == 1 && I->getDesc().isConditionalBranch()) {
794     parseCondBranch(*I, TBB, Cond);
795     return false;
796   }
797 
798   // Handle a conditional branch followed by an unconditional branch.
799   if (NumTerminators == 2 && std::prev(I)->getDesc().isConditionalBranch() &&
800       I->getDesc().isUnconditionalBranch()) {
801     parseCondBranch(*std::prev(I), TBB, Cond);
802     FBB = getBranchDestBlock(*I);
803     return false;
804   }
805 
806   // Otherwise, we can't handle this.
807   return true;
808 }
809 
810 unsigned RISCVInstrInfo::removeBranch(MachineBasicBlock &MBB,
811                                       int *BytesRemoved) const {
812   if (BytesRemoved)
813     *BytesRemoved = 0;
814   MachineBasicBlock::iterator I = MBB.getLastNonDebugInstr();
815   if (I == MBB.end())
816     return 0;
817 
818   if (!I->getDesc().isUnconditionalBranch() &&
819       !I->getDesc().isConditionalBranch())
820     return 0;
821 
822   // Remove the branch.
823   if (BytesRemoved)
824     *BytesRemoved += getInstSizeInBytes(*I);
825   I->eraseFromParent();
826 
827   I = MBB.end();
828 
829   if (I == MBB.begin())
830     return 1;
831   --I;
832   if (!I->getDesc().isConditionalBranch())
833     return 1;
834 
835   // Remove the branch.
836   if (BytesRemoved)
837     *BytesRemoved += getInstSizeInBytes(*I);
838   I->eraseFromParent();
839   return 2;
840 }
841 
842 // Inserts a branch into the end of the specific MachineBasicBlock, returning
843 // the number of instructions inserted.
844 unsigned RISCVInstrInfo::insertBranch(
845     MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB,
846     ArrayRef<MachineOperand> Cond, const DebugLoc &DL, int *BytesAdded) const {
847   if (BytesAdded)
848     *BytesAdded = 0;
849 
850   // Shouldn't be a fall through.
851   assert(TBB && "insertBranch must not be told to insert a fallthrough");
852   assert((Cond.size() == 3 || Cond.size() == 0) &&
853          "RISCV branch conditions have two components!");
854 
855   // Unconditional branch.
856   if (Cond.empty()) {
857     MachineInstr &MI = *BuildMI(&MBB, DL, get(RISCV::PseudoBR)).addMBB(TBB);
858     if (BytesAdded)
859       *BytesAdded += getInstSizeInBytes(MI);
860     return 1;
861   }
862 
863   // Either a one or two-way conditional branch.
864   auto CC = static_cast<RISCVCC::CondCode>(Cond[0].getImm());
865   MachineInstr &CondMI =
866       *BuildMI(&MBB, DL, getBrCond(CC)).add(Cond[1]).add(Cond[2]).addMBB(TBB);
867   if (BytesAdded)
868     *BytesAdded += getInstSizeInBytes(CondMI);
869 
870   // One-way conditional branch.
871   if (!FBB)
872     return 1;
873 
874   // Two-way conditional branch.
875   MachineInstr &MI = *BuildMI(&MBB, DL, get(RISCV::PseudoBR)).addMBB(FBB);
876   if (BytesAdded)
877     *BytesAdded += getInstSizeInBytes(MI);
878   return 2;
879 }
880 
881 void RISCVInstrInfo::insertIndirectBranch(MachineBasicBlock &MBB,
882                                           MachineBasicBlock &DestBB,
883                                           MachineBasicBlock &RestoreBB,
884                                           const DebugLoc &DL, int64_t BrOffset,
885                                           RegScavenger *RS) const {
886   assert(RS && "RegScavenger required for long branching");
887   assert(MBB.empty() &&
888          "new block should be inserted for expanding unconditional branch");
889   assert(MBB.pred_size() == 1);
890 
891   MachineFunction *MF = MBB.getParent();
892   MachineRegisterInfo &MRI = MF->getRegInfo();
893 
894   if (!isInt<32>(BrOffset))
895     report_fatal_error(
896         "Branch offsets outside of the signed 32-bit range not supported");
897 
898   // FIXME: A virtual register must be used initially, as the register
899   // scavenger won't work with empty blocks (SIInstrInfo::insertIndirectBranch
900   // uses the same workaround).
901   Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
902   auto II = MBB.end();
903 
904   MachineInstr &MI = *BuildMI(MBB, II, DL, get(RISCV::PseudoJump))
905                           .addReg(ScratchReg, RegState::Define | RegState::Dead)
906                           .addMBB(&DestBB, RISCVII::MO_CALL);
907 
908   RS->enterBasicBlockEnd(MBB);
909   Register Scav = RS->scavengeRegisterBackwards(RISCV::GPRRegClass,
910                                                 MI.getIterator(), false, 0);
911   // TODO: The case when there is no scavenged register needs special handling.
912   assert(Scav != RISCV::NoRegister && "No register is scavenged!");
913   MRI.replaceRegWith(ScratchReg, Scav);
914   MRI.clearVirtRegs();
915   RS->setRegUsed(Scav);
916 }
917 
918 bool RISCVInstrInfo::reverseBranchCondition(
919     SmallVectorImpl<MachineOperand> &Cond) const {
920   assert((Cond.size() == 3) && "Invalid branch condition!");
921   auto CC = static_cast<RISCVCC::CondCode>(Cond[0].getImm());
922   Cond[0].setImm(getOppositeBranchCondition(CC));
923   return false;
924 }
925 
926 MachineBasicBlock *
927 RISCVInstrInfo::getBranchDestBlock(const MachineInstr &MI) const {
928   assert(MI.getDesc().isBranch() && "Unexpected opcode!");
929   // The branch target is always the last operand.
930   int NumOp = MI.getNumExplicitOperands();
931   return MI.getOperand(NumOp - 1).getMBB();
932 }
933 
934 bool RISCVInstrInfo::isBranchOffsetInRange(unsigned BranchOp,
935                                            int64_t BrOffset) const {
936   unsigned XLen = STI.getXLen();
937   // Ideally we could determine the supported branch offset from the
938   // RISCVII::FormMask, but this can't be used for Pseudo instructions like
939   // PseudoBR.
940   switch (BranchOp) {
941   default:
942     llvm_unreachable("Unexpected opcode!");
943   case RISCV::BEQ:
944   case RISCV::BNE:
945   case RISCV::BLT:
946   case RISCV::BGE:
947   case RISCV::BLTU:
948   case RISCV::BGEU:
949     return isIntN(13, BrOffset);
950   case RISCV::JAL:
951   case RISCV::PseudoBR:
952     return isIntN(21, BrOffset);
953   case RISCV::PseudoJump:
954     return isIntN(32, SignExtend64(BrOffset + 0x800, XLen));
955   }
956 }
957 
958 unsigned RISCVInstrInfo::getInstSizeInBytes(const MachineInstr &MI) const {
959   if (MI.isMetaInstruction())
960     return 0;
961 
962   unsigned Opcode = MI.getOpcode();
963 
964   if (Opcode == TargetOpcode::INLINEASM ||
965       Opcode == TargetOpcode::INLINEASM_BR) {
966     const MachineFunction &MF = *MI.getParent()->getParent();
967     const auto &TM = static_cast<const RISCVTargetMachine &>(MF.getTarget());
968     return getInlineAsmLength(MI.getOperand(0).getSymbolName(),
969                               *TM.getMCAsmInfo());
970   }
971 
972   if (MI.getParent() && MI.getParent()->getParent()) {
973     const auto MF = MI.getMF();
974     const auto &TM = static_cast<const RISCVTargetMachine &>(MF->getTarget());
975     const MCRegisterInfo &MRI = *TM.getMCRegisterInfo();
976     const MCSubtargetInfo &STI = *TM.getMCSubtargetInfo();
977     const RISCVSubtarget &ST = MF->getSubtarget<RISCVSubtarget>();
978     if (isCompressibleInst(MI, &ST, MRI, STI))
979       return 2;
980   }
981   return get(Opcode).getSize();
982 }
983 
984 bool RISCVInstrInfo::isAsCheapAsAMove(const MachineInstr &MI) const {
985   const unsigned Opcode = MI.getOpcode();
986   switch (Opcode) {
987   default:
988     break;
989   case RISCV::FSGNJ_D:
990   case RISCV::FSGNJ_S:
991   case RISCV::FSGNJ_H:
992     // The canonical floating-point move is fsgnj rd, rs, rs.
993     return MI.getOperand(1).isReg() && MI.getOperand(2).isReg() &&
994            MI.getOperand(1).getReg() == MI.getOperand(2).getReg();
995   case RISCV::ADDI:
996   case RISCV::ORI:
997   case RISCV::XORI:
998     return (MI.getOperand(1).isReg() &&
999             MI.getOperand(1).getReg() == RISCV::X0) ||
1000            (MI.getOperand(2).isImm() && MI.getOperand(2).getImm() == 0);
1001   }
1002   return MI.isAsCheapAsAMove();
1003 }
1004 
1005 Optional<DestSourcePair>
1006 RISCVInstrInfo::isCopyInstrImpl(const MachineInstr &MI) const {
1007   if (MI.isMoveReg())
1008     return DestSourcePair{MI.getOperand(0), MI.getOperand(1)};
1009   switch (MI.getOpcode()) {
1010   default:
1011     break;
1012   case RISCV::ADDI:
1013     // Operand 1 can be a frameindex but callers expect registers
1014     if (MI.getOperand(1).isReg() && MI.getOperand(2).isImm() &&
1015         MI.getOperand(2).getImm() == 0)
1016       return DestSourcePair{MI.getOperand(0), MI.getOperand(1)};
1017     break;
1018   case RISCV::FSGNJ_D:
1019   case RISCV::FSGNJ_S:
1020   case RISCV::FSGNJ_H:
1021     // The canonical floating-point move is fsgnj rd, rs, rs.
1022     if (MI.getOperand(1).isReg() && MI.getOperand(2).isReg() &&
1023         MI.getOperand(1).getReg() == MI.getOperand(2).getReg())
1024       return DestSourcePair{MI.getOperand(0), MI.getOperand(1)};
1025     break;
1026   }
1027   return None;
1028 }
1029 
1030 bool RISCVInstrInfo::verifyInstruction(const MachineInstr &MI,
1031                                        StringRef &ErrInfo) const {
1032   const MCInstrInfo *MCII = STI.getInstrInfo();
1033   MCInstrDesc const &Desc = MCII->get(MI.getOpcode());
1034 
1035   for (auto &OI : enumerate(Desc.operands())) {
1036     unsigned OpType = OI.value().OperandType;
1037     if (OpType >= RISCVOp::OPERAND_FIRST_RISCV_IMM &&
1038         OpType <= RISCVOp::OPERAND_LAST_RISCV_IMM) {
1039       const MachineOperand &MO = MI.getOperand(OI.index());
1040       if (MO.isImm()) {
1041         int64_t Imm = MO.getImm();
1042         bool Ok;
1043         switch (OpType) {
1044         default:
1045           llvm_unreachable("Unexpected operand type");
1046         case RISCVOp::OPERAND_UIMM2:
1047           Ok = isUInt<2>(Imm);
1048           break;
1049         case RISCVOp::OPERAND_UIMM3:
1050           Ok = isUInt<3>(Imm);
1051           break;
1052         case RISCVOp::OPERAND_UIMM4:
1053           Ok = isUInt<4>(Imm);
1054           break;
1055         case RISCVOp::OPERAND_UIMM5:
1056           Ok = isUInt<5>(Imm);
1057           break;
1058         case RISCVOp::OPERAND_UIMM7:
1059           Ok = isUInt<7>(Imm);
1060           break;
1061         case RISCVOp::OPERAND_UIMM12:
1062           Ok = isUInt<12>(Imm);
1063           break;
1064         case RISCVOp::OPERAND_SIMM12:
1065           Ok = isInt<12>(Imm);
1066           break;
1067         case RISCVOp::OPERAND_UIMM20:
1068           Ok = isUInt<20>(Imm);
1069           break;
1070         case RISCVOp::OPERAND_UIMMLOG2XLEN:
1071           if (STI.getTargetTriple().isArch64Bit())
1072             Ok = isUInt<6>(Imm);
1073           else
1074             Ok = isUInt<5>(Imm);
1075           break;
1076         case RISCVOp::OPERAND_RVKRNUM:
1077           Ok = Imm >= 0 && Imm <= 10;
1078           break;
1079         }
1080         if (!Ok) {
1081           ErrInfo = "Invalid immediate";
1082           return false;
1083         }
1084       }
1085     }
1086   }
1087 
1088   return true;
1089 }
1090 
1091 // Return true if get the base operand, byte offset of an instruction and the
1092 // memory width. Width is the size of memory that is being loaded/stored.
1093 bool RISCVInstrInfo::getMemOperandWithOffsetWidth(
1094     const MachineInstr &LdSt, const MachineOperand *&BaseReg, int64_t &Offset,
1095     unsigned &Width, const TargetRegisterInfo *TRI) const {
1096   if (!LdSt.mayLoadOrStore())
1097     return false;
1098 
1099   // Here we assume the standard RISC-V ISA, which uses a base+offset
1100   // addressing mode. You'll need to relax these conditions to support custom
1101   // load/stores instructions.
1102   if (LdSt.getNumExplicitOperands() != 3)
1103     return false;
1104   if (!LdSt.getOperand(1).isReg() || !LdSt.getOperand(2).isImm())
1105     return false;
1106 
1107   if (!LdSt.hasOneMemOperand())
1108     return false;
1109 
1110   Width = (*LdSt.memoperands_begin())->getSize();
1111   BaseReg = &LdSt.getOperand(1);
1112   Offset = LdSt.getOperand(2).getImm();
1113   return true;
1114 }
1115 
1116 bool RISCVInstrInfo::areMemAccessesTriviallyDisjoint(
1117     const MachineInstr &MIa, const MachineInstr &MIb) const {
1118   assert(MIa.mayLoadOrStore() && "MIa must be a load or store.");
1119   assert(MIb.mayLoadOrStore() && "MIb must be a load or store.");
1120 
1121   if (MIa.hasUnmodeledSideEffects() || MIb.hasUnmodeledSideEffects() ||
1122       MIa.hasOrderedMemoryRef() || MIb.hasOrderedMemoryRef())
1123     return false;
1124 
1125   // Retrieve the base register, offset from the base register and width. Width
1126   // is the size of memory that is being loaded/stored (e.g. 1, 2, 4).  If
1127   // base registers are identical, and the offset of a lower memory access +
1128   // the width doesn't overlap the offset of a higher memory access,
1129   // then the memory accesses are different.
1130   const TargetRegisterInfo *TRI = STI.getRegisterInfo();
1131   const MachineOperand *BaseOpA = nullptr, *BaseOpB = nullptr;
1132   int64_t OffsetA = 0, OffsetB = 0;
1133   unsigned int WidthA = 0, WidthB = 0;
1134   if (getMemOperandWithOffsetWidth(MIa, BaseOpA, OffsetA, WidthA, TRI) &&
1135       getMemOperandWithOffsetWidth(MIb, BaseOpB, OffsetB, WidthB, TRI)) {
1136     if (BaseOpA->isIdenticalTo(*BaseOpB)) {
1137       int LowOffset = std::min(OffsetA, OffsetB);
1138       int HighOffset = std::max(OffsetA, OffsetB);
1139       int LowWidth = (LowOffset == OffsetA) ? WidthA : WidthB;
1140       if (LowOffset + LowWidth <= HighOffset)
1141         return true;
1142     }
1143   }
1144   return false;
1145 }
1146 
1147 std::pair<unsigned, unsigned>
1148 RISCVInstrInfo::decomposeMachineOperandsTargetFlags(unsigned TF) const {
1149   const unsigned Mask = RISCVII::MO_DIRECT_FLAG_MASK;
1150   return std::make_pair(TF & Mask, TF & ~Mask);
1151 }
1152 
1153 ArrayRef<std::pair<unsigned, const char *>>
1154 RISCVInstrInfo::getSerializableDirectMachineOperandTargetFlags() const {
1155   using namespace RISCVII;
1156   static const std::pair<unsigned, const char *> TargetFlags[] = {
1157       {MO_CALL, "riscv-call"},
1158       {MO_PLT, "riscv-plt"},
1159       {MO_LO, "riscv-lo"},
1160       {MO_HI, "riscv-hi"},
1161       {MO_PCREL_LO, "riscv-pcrel-lo"},
1162       {MO_PCREL_HI, "riscv-pcrel-hi"},
1163       {MO_GOT_HI, "riscv-got-hi"},
1164       {MO_TPREL_LO, "riscv-tprel-lo"},
1165       {MO_TPREL_HI, "riscv-tprel-hi"},
1166       {MO_TPREL_ADD, "riscv-tprel-add"},
1167       {MO_TLS_GOT_HI, "riscv-tls-got-hi"},
1168       {MO_TLS_GD_HI, "riscv-tls-gd-hi"}};
1169   return makeArrayRef(TargetFlags);
1170 }
1171 bool RISCVInstrInfo::isFunctionSafeToOutlineFrom(
1172     MachineFunction &MF, bool OutlineFromLinkOnceODRs) const {
1173   const Function &F = MF.getFunction();
1174 
1175   // Can F be deduplicated by the linker? If it can, don't outline from it.
1176   if (!OutlineFromLinkOnceODRs && F.hasLinkOnceODRLinkage())
1177     return false;
1178 
1179   // Don't outline from functions with section markings; the program could
1180   // expect that all the code is in the named section.
1181   if (F.hasSection())
1182     return false;
1183 
1184   // It's safe to outline from MF.
1185   return true;
1186 }
1187 
1188 bool RISCVInstrInfo::isMBBSafeToOutlineFrom(MachineBasicBlock &MBB,
1189                                             unsigned &Flags) const {
1190   // More accurate safety checking is done in getOutliningCandidateInfo.
1191   return TargetInstrInfo::isMBBSafeToOutlineFrom(MBB, Flags);
1192 }
1193 
1194 // Enum values indicating how an outlined call should be constructed.
1195 enum MachineOutlinerConstructionID {
1196   MachineOutlinerDefault
1197 };
1198 
1199 bool RISCVInstrInfo::shouldOutlineFromFunctionByDefault(
1200     MachineFunction &MF) const {
1201   return MF.getFunction().hasMinSize();
1202 }
1203 
1204 outliner::OutlinedFunction RISCVInstrInfo::getOutliningCandidateInfo(
1205     std::vector<outliner::Candidate> &RepeatedSequenceLocs) const {
1206 
1207   // First we need to filter out candidates where the X5 register (IE t0) can't
1208   // be used to setup the function call.
1209   auto CannotInsertCall = [](outliner::Candidate &C) {
1210     const TargetRegisterInfo *TRI = C.getMF()->getSubtarget().getRegisterInfo();
1211     return !C.isAvailableAcrossAndOutOfSeq(RISCV::X5, *TRI);
1212   };
1213 
1214   llvm::erase_if(RepeatedSequenceLocs, CannotInsertCall);
1215 
1216   // If the sequence doesn't have enough candidates left, then we're done.
1217   if (RepeatedSequenceLocs.size() < 2)
1218     return outliner::OutlinedFunction();
1219 
1220   unsigned SequenceSize = 0;
1221 
1222   auto I = RepeatedSequenceLocs[0].front();
1223   auto E = std::next(RepeatedSequenceLocs[0].back());
1224   for (; I != E; ++I)
1225     SequenceSize += getInstSizeInBytes(*I);
1226 
1227   // call t0, function = 8 bytes.
1228   unsigned CallOverhead = 8;
1229   for (auto &C : RepeatedSequenceLocs)
1230     C.setCallInfo(MachineOutlinerDefault, CallOverhead);
1231 
1232   // jr t0 = 4 bytes, 2 bytes if compressed instructions are enabled.
1233   unsigned FrameOverhead = 4;
1234   if (RepeatedSequenceLocs[0].getMF()->getSubtarget()
1235           .getFeatureBits()[RISCV::FeatureStdExtC])
1236     FrameOverhead = 2;
1237 
1238   return outliner::OutlinedFunction(RepeatedSequenceLocs, SequenceSize,
1239                                     FrameOverhead, MachineOutlinerDefault);
1240 }
1241 
1242 outliner::InstrType
1243 RISCVInstrInfo::getOutliningType(MachineBasicBlock::iterator &MBBI,
1244                                  unsigned Flags) const {
1245   MachineInstr &MI = *MBBI;
1246   MachineBasicBlock *MBB = MI.getParent();
1247   const TargetRegisterInfo *TRI =
1248       MBB->getParent()->getSubtarget().getRegisterInfo();
1249 
1250   // Positions generally can't safely be outlined.
1251   if (MI.isPosition()) {
1252     // We can manually strip out CFI instructions later.
1253     if (MI.isCFIInstruction())
1254       // If current function has exception handling code, we can't outline &
1255       // strip these CFI instructions since it may break .eh_frame section
1256       // needed in unwinding.
1257       return MI.getMF()->getFunction().needsUnwindTableEntry()
1258                  ? outliner::InstrType::Illegal
1259                  : outliner::InstrType::Invisible;
1260 
1261     return outliner::InstrType::Illegal;
1262   }
1263 
1264   // Don't trust the user to write safe inline assembly.
1265   if (MI.isInlineAsm())
1266     return outliner::InstrType::Illegal;
1267 
1268   // We can't outline branches to other basic blocks.
1269   if (MI.isTerminator() && !MBB->succ_empty())
1270     return outliner::InstrType::Illegal;
1271 
1272   // We need support for tail calls to outlined functions before return
1273   // statements can be allowed.
1274   if (MI.isReturn())
1275     return outliner::InstrType::Illegal;
1276 
1277   // Don't allow modifying the X5 register which we use for return addresses for
1278   // these outlined functions.
1279   if (MI.modifiesRegister(RISCV::X5, TRI) ||
1280       MI.getDesc().hasImplicitDefOfPhysReg(RISCV::X5))
1281     return outliner::InstrType::Illegal;
1282 
1283   // Make sure the operands don't reference something unsafe.
1284   for (const auto &MO : MI.operands())
1285     if (MO.isMBB() || MO.isBlockAddress() || MO.isCPI() || MO.isJTI())
1286       return outliner::InstrType::Illegal;
1287 
1288   // Don't allow instructions which won't be materialized to impact outlining
1289   // analysis.
1290   if (MI.isMetaInstruction())
1291     return outliner::InstrType::Invisible;
1292 
1293   return outliner::InstrType::Legal;
1294 }
1295 
1296 void RISCVInstrInfo::buildOutlinedFrame(
1297     MachineBasicBlock &MBB, MachineFunction &MF,
1298     const outliner::OutlinedFunction &OF) const {
1299 
1300   // Strip out any CFI instructions
1301   bool Changed = true;
1302   while (Changed) {
1303     Changed = false;
1304     auto I = MBB.begin();
1305     auto E = MBB.end();
1306     for (; I != E; ++I) {
1307       if (I->isCFIInstruction()) {
1308         I->removeFromParent();
1309         Changed = true;
1310         break;
1311       }
1312     }
1313   }
1314 
1315   MBB.addLiveIn(RISCV::X5);
1316 
1317   // Add in a return instruction to the end of the outlined frame.
1318   MBB.insert(MBB.end(), BuildMI(MF, DebugLoc(), get(RISCV::JALR))
1319       .addReg(RISCV::X0, RegState::Define)
1320       .addReg(RISCV::X5)
1321       .addImm(0));
1322 }
1323 
1324 MachineBasicBlock::iterator RISCVInstrInfo::insertOutlinedCall(
1325     Module &M, MachineBasicBlock &MBB, MachineBasicBlock::iterator &It,
1326     MachineFunction &MF, outliner::Candidate &C) const {
1327 
1328   // Add in a call instruction to the outlined function at the given location.
1329   It = MBB.insert(It,
1330                   BuildMI(MF, DebugLoc(), get(RISCV::PseudoCALLReg), RISCV::X5)
1331                       .addGlobalAddress(M.getNamedValue(MF.getName()), 0,
1332                                         RISCVII::MO_CALL));
1333   return It;
1334 }
1335 
1336 // MIR printer helper function to annotate Operands with a comment.
1337 std::string RISCVInstrInfo::createMIROperandComment(
1338     const MachineInstr &MI, const MachineOperand &Op, unsigned OpIdx,
1339     const TargetRegisterInfo *TRI) const {
1340   // Print a generic comment for this operand if there is one.
1341   std::string GenericComment =
1342       TargetInstrInfo::createMIROperandComment(MI, Op, OpIdx, TRI);
1343   if (!GenericComment.empty())
1344     return GenericComment;
1345 
1346   // If not, we must have an immediate operand.
1347   if (Op.getType() != MachineOperand::MO_Immediate)
1348     return std::string();
1349 
1350   std::string Comment;
1351   raw_string_ostream OS(Comment);
1352 
1353   uint64_t TSFlags = MI.getDesc().TSFlags;
1354 
1355   // Print the full VType operand of vsetvli/vsetivli instructions, and the SEW
1356   // operand of vector codegen pseudos.
1357   if ((MI.getOpcode() == RISCV::VSETVLI || MI.getOpcode() == RISCV::VSETIVLI ||
1358        MI.getOpcode() == RISCV::PseudoVSETVLI ||
1359        MI.getOpcode() == RISCV::PseudoVSETIVLI ||
1360        MI.getOpcode() == RISCV::PseudoVSETVLIX0) &&
1361       OpIdx == 2) {
1362     unsigned Imm = MI.getOperand(OpIdx).getImm();
1363     RISCVVType::printVType(Imm, OS);
1364   } else if (RISCVII::hasSEWOp(TSFlags)) {
1365     unsigned NumOperands = MI.getNumExplicitOperands();
1366     bool HasPolicy = RISCVII::hasVecPolicyOp(TSFlags);
1367 
1368     // The SEW operand is before any policy operand.
1369     if (OpIdx != NumOperands - HasPolicy - 1)
1370       return std::string();
1371 
1372     unsigned Log2SEW = MI.getOperand(OpIdx).getImm();
1373     unsigned SEW = Log2SEW ? 1 << Log2SEW : 8;
1374     assert(RISCVVType::isValidSEW(SEW) && "Unexpected SEW");
1375 
1376     OS << "e" << SEW;
1377   }
1378 
1379   OS.flush();
1380   return Comment;
1381 }
1382 
1383 // clang-format off
1384 #define CASE_VFMA_OPCODE_COMMON(OP, TYPE, LMUL)                                \
1385   RISCV::PseudoV##OP##_##TYPE##_##LMUL
1386 
1387 #define CASE_VFMA_OPCODE_LMULS_M1(OP, TYPE)                                    \
1388   CASE_VFMA_OPCODE_COMMON(OP, TYPE, M1):                                       \
1389   case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M2):                                  \
1390   case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M4):                                  \
1391   case CASE_VFMA_OPCODE_COMMON(OP, TYPE, M8)
1392 
1393 #define CASE_VFMA_OPCODE_LMULS_MF2(OP, TYPE)                                   \
1394   CASE_VFMA_OPCODE_COMMON(OP, TYPE, MF2):                                      \
1395   case CASE_VFMA_OPCODE_LMULS_M1(OP, TYPE)
1396 
1397 #define CASE_VFMA_OPCODE_LMULS_MF4(OP, TYPE)                                   \
1398   CASE_VFMA_OPCODE_COMMON(OP, TYPE, MF4):                                      \
1399   case CASE_VFMA_OPCODE_LMULS_MF2(OP, TYPE)
1400 
1401 #define CASE_VFMA_OPCODE_LMULS(OP, TYPE)                                       \
1402   CASE_VFMA_OPCODE_COMMON(OP, TYPE, MF8):                                      \
1403   case CASE_VFMA_OPCODE_LMULS_MF4(OP, TYPE)
1404 
1405 #define CASE_VFMA_SPLATS(OP)                                                   \
1406   CASE_VFMA_OPCODE_LMULS_MF4(OP, VF16):                                        \
1407   case CASE_VFMA_OPCODE_LMULS_MF2(OP, VF32):                                   \
1408   case CASE_VFMA_OPCODE_LMULS_M1(OP, VF64)
1409 // clang-format on
1410 
1411 bool RISCVInstrInfo::findCommutedOpIndices(const MachineInstr &MI,
1412                                            unsigned &SrcOpIdx1,
1413                                            unsigned &SrcOpIdx2) const {
1414   const MCInstrDesc &Desc = MI.getDesc();
1415   if (!Desc.isCommutable())
1416     return false;
1417 
1418   switch (MI.getOpcode()) {
1419   case CASE_VFMA_SPLATS(FMADD):
1420   case CASE_VFMA_SPLATS(FMSUB):
1421   case CASE_VFMA_SPLATS(FMACC):
1422   case CASE_VFMA_SPLATS(FMSAC):
1423   case CASE_VFMA_SPLATS(FNMADD):
1424   case CASE_VFMA_SPLATS(FNMSUB):
1425   case CASE_VFMA_SPLATS(FNMACC):
1426   case CASE_VFMA_SPLATS(FNMSAC):
1427   case CASE_VFMA_OPCODE_LMULS_MF4(FMACC, VV):
1428   case CASE_VFMA_OPCODE_LMULS_MF4(FMSAC, VV):
1429   case CASE_VFMA_OPCODE_LMULS_MF4(FNMACC, VV):
1430   case CASE_VFMA_OPCODE_LMULS_MF4(FNMSAC, VV):
1431   case CASE_VFMA_OPCODE_LMULS(MADD, VX):
1432   case CASE_VFMA_OPCODE_LMULS(NMSUB, VX):
1433   case CASE_VFMA_OPCODE_LMULS(MACC, VX):
1434   case CASE_VFMA_OPCODE_LMULS(NMSAC, VX):
1435   case CASE_VFMA_OPCODE_LMULS(MACC, VV):
1436   case CASE_VFMA_OPCODE_LMULS(NMSAC, VV): {
1437     // If the tail policy is undisturbed we can't commute.
1438     assert(RISCVII::hasVecPolicyOp(MI.getDesc().TSFlags));
1439     if ((MI.getOperand(MI.getNumExplicitOperands() - 1).getImm() & 1) == 0)
1440       return false;
1441 
1442     // For these instructions we can only swap operand 1 and operand 3 by
1443     // changing the opcode.
1444     unsigned CommutableOpIdx1 = 1;
1445     unsigned CommutableOpIdx2 = 3;
1446     if (!fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, CommutableOpIdx1,
1447                               CommutableOpIdx2))
1448       return false;
1449     return true;
1450   }
1451   case CASE_VFMA_OPCODE_LMULS_MF4(FMADD, VV):
1452   case CASE_VFMA_OPCODE_LMULS_MF4(FMSUB, VV):
1453   case CASE_VFMA_OPCODE_LMULS_MF4(FNMADD, VV):
1454   case CASE_VFMA_OPCODE_LMULS_MF4(FNMSUB, VV):
1455   case CASE_VFMA_OPCODE_LMULS(MADD, VV):
1456   case CASE_VFMA_OPCODE_LMULS(NMSUB, VV): {
1457     // If the tail policy is undisturbed we can't commute.
1458     assert(RISCVII::hasVecPolicyOp(MI.getDesc().TSFlags));
1459     if ((MI.getOperand(MI.getNumExplicitOperands() - 1).getImm() & 1) == 0)
1460       return false;
1461 
1462     // For these instructions we have more freedom. We can commute with the
1463     // other multiplicand or with the addend/subtrahend/minuend.
1464 
1465     // Any fixed operand must be from source 1, 2 or 3.
1466     if (SrcOpIdx1 != CommuteAnyOperandIndex && SrcOpIdx1 > 3)
1467       return false;
1468     if (SrcOpIdx2 != CommuteAnyOperandIndex && SrcOpIdx2 > 3)
1469       return false;
1470 
1471     // It both ops are fixed one must be the tied source.
1472     if (SrcOpIdx1 != CommuteAnyOperandIndex &&
1473         SrcOpIdx2 != CommuteAnyOperandIndex && SrcOpIdx1 != 1 && SrcOpIdx2 != 1)
1474       return false;
1475 
1476     // Look for two different register operands assumed to be commutable
1477     // regardless of the FMA opcode. The FMA opcode is adjusted later if
1478     // needed.
1479     if (SrcOpIdx1 == CommuteAnyOperandIndex ||
1480         SrcOpIdx2 == CommuteAnyOperandIndex) {
1481       // At least one of operands to be commuted is not specified and
1482       // this method is free to choose appropriate commutable operands.
1483       unsigned CommutableOpIdx1 = SrcOpIdx1;
1484       if (SrcOpIdx1 == SrcOpIdx2) {
1485         // Both of operands are not fixed. Set one of commutable
1486         // operands to the tied source.
1487         CommutableOpIdx1 = 1;
1488       } else if (SrcOpIdx1 == CommuteAnyOperandIndex) {
1489         // Only one of the operands is not fixed.
1490         CommutableOpIdx1 = SrcOpIdx2;
1491       }
1492 
1493       // CommutableOpIdx1 is well defined now. Let's choose another commutable
1494       // operand and assign its index to CommutableOpIdx2.
1495       unsigned CommutableOpIdx2;
1496       if (CommutableOpIdx1 != 1) {
1497         // If we haven't already used the tied source, we must use it now.
1498         CommutableOpIdx2 = 1;
1499       } else {
1500         Register Op1Reg = MI.getOperand(CommutableOpIdx1).getReg();
1501 
1502         // The commuted operands should have different registers.
1503         // Otherwise, the commute transformation does not change anything and
1504         // is useless. We use this as a hint to make our decision.
1505         if (Op1Reg != MI.getOperand(2).getReg())
1506           CommutableOpIdx2 = 2;
1507         else
1508           CommutableOpIdx2 = 3;
1509       }
1510 
1511       // Assign the found pair of commutable indices to SrcOpIdx1 and
1512       // SrcOpIdx2 to return those values.
1513       if (!fixCommutedOpIndices(SrcOpIdx1, SrcOpIdx2, CommutableOpIdx1,
1514                                 CommutableOpIdx2))
1515         return false;
1516     }
1517 
1518     return true;
1519   }
1520   }
1521 
1522   return TargetInstrInfo::findCommutedOpIndices(MI, SrcOpIdx1, SrcOpIdx2);
1523 }
1524 
1525 #define CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, LMUL)               \
1526   case RISCV::PseudoV##OLDOP##_##TYPE##_##LMUL:                                \
1527     Opc = RISCV::PseudoV##NEWOP##_##TYPE##_##LMUL;                             \
1528     break;
1529 
1530 #define CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE)                   \
1531   CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M1)                       \
1532   CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M2)                       \
1533   CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M4)                       \
1534   CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, M8)
1535 
1536 #define CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE)                  \
1537   CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF2)                      \
1538   CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, TYPE)
1539 
1540 #define CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, TYPE)                  \
1541   CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF4)                      \
1542   CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, TYPE)
1543 
1544 #define CASE_VFMA_CHANGE_OPCODE_LMULS(OLDOP, NEWOP, TYPE)                      \
1545   CASE_VFMA_CHANGE_OPCODE_COMMON(OLDOP, NEWOP, TYPE, MF8)                      \
1546   CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, TYPE)
1547 
1548 #define CASE_VFMA_CHANGE_OPCODE_SPLATS(OLDOP, NEWOP)                           \
1549   CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(OLDOP, NEWOP, VF16)                        \
1550   CASE_VFMA_CHANGE_OPCODE_LMULS_MF2(OLDOP, NEWOP, VF32)                        \
1551   CASE_VFMA_CHANGE_OPCODE_LMULS_M1(OLDOP, NEWOP, VF64)
1552 
1553 MachineInstr *RISCVInstrInfo::commuteInstructionImpl(MachineInstr &MI,
1554                                                      bool NewMI,
1555                                                      unsigned OpIdx1,
1556                                                      unsigned OpIdx2) const {
1557   auto cloneIfNew = [NewMI](MachineInstr &MI) -> MachineInstr & {
1558     if (NewMI)
1559       return *MI.getParent()->getParent()->CloneMachineInstr(&MI);
1560     return MI;
1561   };
1562 
1563   switch (MI.getOpcode()) {
1564   case CASE_VFMA_SPLATS(FMACC):
1565   case CASE_VFMA_SPLATS(FMADD):
1566   case CASE_VFMA_SPLATS(FMSAC):
1567   case CASE_VFMA_SPLATS(FMSUB):
1568   case CASE_VFMA_SPLATS(FNMACC):
1569   case CASE_VFMA_SPLATS(FNMADD):
1570   case CASE_VFMA_SPLATS(FNMSAC):
1571   case CASE_VFMA_SPLATS(FNMSUB):
1572   case CASE_VFMA_OPCODE_LMULS_MF4(FMACC, VV):
1573   case CASE_VFMA_OPCODE_LMULS_MF4(FMSAC, VV):
1574   case CASE_VFMA_OPCODE_LMULS_MF4(FNMACC, VV):
1575   case CASE_VFMA_OPCODE_LMULS_MF4(FNMSAC, VV):
1576   case CASE_VFMA_OPCODE_LMULS(MADD, VX):
1577   case CASE_VFMA_OPCODE_LMULS(NMSUB, VX):
1578   case CASE_VFMA_OPCODE_LMULS(MACC, VX):
1579   case CASE_VFMA_OPCODE_LMULS(NMSAC, VX):
1580   case CASE_VFMA_OPCODE_LMULS(MACC, VV):
1581   case CASE_VFMA_OPCODE_LMULS(NMSAC, VV): {
1582     // It only make sense to toggle these between clobbering the
1583     // addend/subtrahend/minuend one of the multiplicands.
1584     assert((OpIdx1 == 1 || OpIdx2 == 1) && "Unexpected opcode index");
1585     assert((OpIdx1 == 3 || OpIdx2 == 3) && "Unexpected opcode index");
1586     unsigned Opc;
1587     switch (MI.getOpcode()) {
1588       default:
1589         llvm_unreachable("Unexpected opcode");
1590       CASE_VFMA_CHANGE_OPCODE_SPLATS(FMACC, FMADD)
1591       CASE_VFMA_CHANGE_OPCODE_SPLATS(FMADD, FMACC)
1592       CASE_VFMA_CHANGE_OPCODE_SPLATS(FMSAC, FMSUB)
1593       CASE_VFMA_CHANGE_OPCODE_SPLATS(FMSUB, FMSAC)
1594       CASE_VFMA_CHANGE_OPCODE_SPLATS(FNMACC, FNMADD)
1595       CASE_VFMA_CHANGE_OPCODE_SPLATS(FNMADD, FNMACC)
1596       CASE_VFMA_CHANGE_OPCODE_SPLATS(FNMSAC, FNMSUB)
1597       CASE_VFMA_CHANGE_OPCODE_SPLATS(FNMSUB, FNMSAC)
1598       CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FMACC, FMADD, VV)
1599       CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FMSAC, FMSUB, VV)
1600       CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FNMACC, FNMADD, VV)
1601       CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FNMSAC, FNMSUB, VV)
1602       CASE_VFMA_CHANGE_OPCODE_LMULS(MACC, MADD, VX)
1603       CASE_VFMA_CHANGE_OPCODE_LMULS(MADD, MACC, VX)
1604       CASE_VFMA_CHANGE_OPCODE_LMULS(NMSAC, NMSUB, VX)
1605       CASE_VFMA_CHANGE_OPCODE_LMULS(NMSUB, NMSAC, VX)
1606       CASE_VFMA_CHANGE_OPCODE_LMULS(MACC, MADD, VV)
1607       CASE_VFMA_CHANGE_OPCODE_LMULS(NMSAC, NMSUB, VV)
1608     }
1609 
1610     auto &WorkingMI = cloneIfNew(MI);
1611     WorkingMI.setDesc(get(Opc));
1612     return TargetInstrInfo::commuteInstructionImpl(WorkingMI, /*NewMI=*/false,
1613                                                    OpIdx1, OpIdx2);
1614   }
1615   case CASE_VFMA_OPCODE_LMULS_MF4(FMADD, VV):
1616   case CASE_VFMA_OPCODE_LMULS_MF4(FMSUB, VV):
1617   case CASE_VFMA_OPCODE_LMULS_MF4(FNMADD, VV):
1618   case CASE_VFMA_OPCODE_LMULS_MF4(FNMSUB, VV):
1619   case CASE_VFMA_OPCODE_LMULS(MADD, VV):
1620   case CASE_VFMA_OPCODE_LMULS(NMSUB, VV): {
1621     assert((OpIdx1 == 1 || OpIdx2 == 1) && "Unexpected opcode index");
1622     // If one of the operands, is the addend we need to change opcode.
1623     // Otherwise we're just swapping 2 of the multiplicands.
1624     if (OpIdx1 == 3 || OpIdx2 == 3) {
1625       unsigned Opc;
1626       switch (MI.getOpcode()) {
1627         default:
1628           llvm_unreachable("Unexpected opcode");
1629         CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FMADD, FMACC, VV)
1630         CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FMSUB, FMSAC, VV)
1631         CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FNMADD, FNMACC, VV)
1632         CASE_VFMA_CHANGE_OPCODE_LMULS_MF4(FNMSUB, FNMSAC, VV)
1633         CASE_VFMA_CHANGE_OPCODE_LMULS(MADD, MACC, VV)
1634         CASE_VFMA_CHANGE_OPCODE_LMULS(NMSUB, NMSAC, VV)
1635       }
1636 
1637       auto &WorkingMI = cloneIfNew(MI);
1638       WorkingMI.setDesc(get(Opc));
1639       return TargetInstrInfo::commuteInstructionImpl(WorkingMI, /*NewMI=*/false,
1640                                                      OpIdx1, OpIdx2);
1641     }
1642     // Let the default code handle it.
1643     break;
1644   }
1645   }
1646 
1647   return TargetInstrInfo::commuteInstructionImpl(MI, NewMI, OpIdx1, OpIdx2);
1648 }
1649 
1650 #undef CASE_VFMA_CHANGE_OPCODE_SPLATS
1651 #undef CASE_VFMA_CHANGE_OPCODE_LMULS
1652 #undef CASE_VFMA_CHANGE_OPCODE_COMMON
1653 #undef CASE_VFMA_SPLATS
1654 #undef CASE_VFMA_OPCODE_LMULS
1655 #undef CASE_VFMA_OPCODE_COMMON
1656 
1657 // clang-format off
1658 #define CASE_WIDEOP_OPCODE_COMMON(OP, LMUL)                                    \
1659   RISCV::PseudoV##OP##_##LMUL##_TIED
1660 
1661 #define CASE_WIDEOP_OPCODE_LMULS_MF4(OP)                                       \
1662   CASE_WIDEOP_OPCODE_COMMON(OP, MF4):                                          \
1663   case CASE_WIDEOP_OPCODE_COMMON(OP, MF2):                                     \
1664   case CASE_WIDEOP_OPCODE_COMMON(OP, M1):                                      \
1665   case CASE_WIDEOP_OPCODE_COMMON(OP, M2):                                      \
1666   case CASE_WIDEOP_OPCODE_COMMON(OP, M4)
1667 
1668 #define CASE_WIDEOP_OPCODE_LMULS(OP)                                           \
1669   CASE_WIDEOP_OPCODE_COMMON(OP, MF8):                                          \
1670   case CASE_WIDEOP_OPCODE_LMULS_MF4(OP)
1671 // clang-format on
1672 
1673 #define CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, LMUL)                             \
1674   case RISCV::PseudoV##OP##_##LMUL##_TIED:                                     \
1675     NewOpc = RISCV::PseudoV##OP##_##LMUL;                                      \
1676     break;
1677 
1678 #define CASE_WIDEOP_CHANGE_OPCODE_LMULS_MF4(OP)                                 \
1679   CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF4)                                    \
1680   CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF2)                                    \
1681   CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M1)                                     \
1682   CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M2)                                     \
1683   CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, M4)
1684 
1685 #define CASE_WIDEOP_CHANGE_OPCODE_LMULS(OP)                                    \
1686   CASE_WIDEOP_CHANGE_OPCODE_COMMON(OP, MF8)                                    \
1687   CASE_WIDEOP_CHANGE_OPCODE_LMULS_MF4(OP)
1688 
1689 MachineInstr *RISCVInstrInfo::convertToThreeAddress(MachineInstr &MI,
1690                                                     LiveVariables *LV,
1691                                                     LiveIntervals *LIS) const {
1692   switch (MI.getOpcode()) {
1693   default:
1694     break;
1695   case CASE_WIDEOP_OPCODE_LMULS_MF4(FWADD_WV):
1696   case CASE_WIDEOP_OPCODE_LMULS_MF4(FWSUB_WV):
1697   case CASE_WIDEOP_OPCODE_LMULS(WADD_WV):
1698   case CASE_WIDEOP_OPCODE_LMULS(WADDU_WV):
1699   case CASE_WIDEOP_OPCODE_LMULS(WSUB_WV):
1700   case CASE_WIDEOP_OPCODE_LMULS(WSUBU_WV): {
1701     // clang-format off
1702     unsigned NewOpc;
1703     switch (MI.getOpcode()) {
1704     default:
1705       llvm_unreachable("Unexpected opcode");
1706     CASE_WIDEOP_CHANGE_OPCODE_LMULS_MF4(FWADD_WV)
1707     CASE_WIDEOP_CHANGE_OPCODE_LMULS_MF4(FWSUB_WV)
1708     CASE_WIDEOP_CHANGE_OPCODE_LMULS(WADD_WV)
1709     CASE_WIDEOP_CHANGE_OPCODE_LMULS(WADDU_WV)
1710     CASE_WIDEOP_CHANGE_OPCODE_LMULS(WSUB_WV)
1711     CASE_WIDEOP_CHANGE_OPCODE_LMULS(WSUBU_WV)
1712     }
1713     // clang-format on
1714 
1715     MachineBasicBlock &MBB = *MI.getParent();
1716     MachineInstrBuilder MIB = BuildMI(MBB, MI, MI.getDebugLoc(), get(NewOpc))
1717                                   .add(MI.getOperand(0))
1718                                   .add(MI.getOperand(1))
1719                                   .add(MI.getOperand(2))
1720                                   .add(MI.getOperand(3))
1721                                   .add(MI.getOperand(4));
1722     MIB.copyImplicitOps(MI);
1723 
1724     if (LV) {
1725       unsigned NumOps = MI.getNumOperands();
1726       for (unsigned I = 1; I < NumOps; ++I) {
1727         MachineOperand &Op = MI.getOperand(I);
1728         if (Op.isReg() && Op.isKill())
1729           LV->replaceKillInstruction(Op.getReg(), MI, *MIB);
1730       }
1731     }
1732 
1733     if (LIS) {
1734       SlotIndex Idx = LIS->ReplaceMachineInstrInMaps(MI, *MIB);
1735 
1736       if (MI.getOperand(0).isEarlyClobber()) {
1737         // Use operand 1 was tied to early-clobber def operand 0, so its live
1738         // interval could have ended at an early-clobber slot. Now they are not
1739         // tied we need to update it to the normal register slot.
1740         LiveInterval &LI = LIS->getInterval(MI.getOperand(1).getReg());
1741         LiveRange::Segment *S = LI.getSegmentContaining(Idx);
1742         if (S->end == Idx.getRegSlot(true))
1743           S->end = Idx.getRegSlot();
1744       }
1745     }
1746 
1747     return MIB;
1748   }
1749   }
1750 
1751   return nullptr;
1752 }
1753 
1754 #undef CASE_WIDEOP_CHANGE_OPCODE_LMULS
1755 #undef CASE_WIDEOP_CHANGE_OPCODE_COMMON
1756 #undef CASE_WIDEOP_OPCODE_LMULS
1757 #undef CASE_WIDEOP_OPCODE_COMMON
1758 
1759 Register RISCVInstrInfo::getVLENFactoredAmount(MachineFunction &MF,
1760                                                MachineBasicBlock &MBB,
1761                                                MachineBasicBlock::iterator II,
1762                                                const DebugLoc &DL,
1763                                                int64_t Amount,
1764                                                MachineInstr::MIFlag Flag) const {
1765   assert(Amount > 0 && "There is no need to get VLEN scaled value.");
1766   assert(Amount % 8 == 0 &&
1767          "Reserve the stack by the multiple of one vector size.");
1768 
1769   MachineRegisterInfo &MRI = MF.getRegInfo();
1770   int64_t NumOfVReg = Amount / 8;
1771 
1772   Register VL = MRI.createVirtualRegister(&RISCV::GPRRegClass);
1773   BuildMI(MBB, II, DL, get(RISCV::PseudoReadVLENB), VL)
1774     .setMIFlag(Flag);
1775   assert(isInt<32>(NumOfVReg) &&
1776          "Expect the number of vector registers within 32-bits.");
1777   if (isPowerOf2_32(NumOfVReg)) {
1778     uint32_t ShiftAmount = Log2_32(NumOfVReg);
1779     if (ShiftAmount == 0)
1780       return VL;
1781     BuildMI(MBB, II, DL, get(RISCV::SLLI), VL)
1782         .addReg(VL, RegState::Kill)
1783         .addImm(ShiftAmount)
1784         .setMIFlag(Flag);
1785   } else if ((NumOfVReg == 3 || NumOfVReg == 5 || NumOfVReg == 9) &&
1786              STI.hasStdExtZba()) {
1787     // We can use Zba SHXADD instructions for multiply in some cases.
1788     // TODO: Generalize to SHXADD+SLLI.
1789     unsigned Opc;
1790     switch (NumOfVReg) {
1791     default: llvm_unreachable("Unexpected number of vregs");
1792     case 3: Opc = RISCV::SH1ADD; break;
1793     case 5: Opc = RISCV::SH2ADD; break;
1794     case 9: Opc = RISCV::SH3ADD; break;
1795     }
1796     BuildMI(MBB, II, DL, get(Opc), VL)
1797         .addReg(VL, RegState::Kill)
1798         .addReg(VL)
1799         .setMIFlag(Flag);
1800   } else if (isPowerOf2_32(NumOfVReg - 1)) {
1801     Register ScaledRegister = MRI.createVirtualRegister(&RISCV::GPRRegClass);
1802     uint32_t ShiftAmount = Log2_32(NumOfVReg - 1);
1803     BuildMI(MBB, II, DL, get(RISCV::SLLI), ScaledRegister)
1804         .addReg(VL)
1805         .addImm(ShiftAmount)
1806         .setMIFlag(Flag);
1807     BuildMI(MBB, II, DL, get(RISCV::ADD), VL)
1808         .addReg(ScaledRegister, RegState::Kill)
1809         .addReg(VL, RegState::Kill)
1810         .setMIFlag(Flag);
1811   } else if (isPowerOf2_32(NumOfVReg + 1)) {
1812     Register ScaledRegister = MRI.createVirtualRegister(&RISCV::GPRRegClass);
1813     uint32_t ShiftAmount = Log2_32(NumOfVReg + 1);
1814     BuildMI(MBB, II, DL, get(RISCV::SLLI), ScaledRegister)
1815         .addReg(VL)
1816         .addImm(ShiftAmount)
1817         .setMIFlag(Flag);
1818     BuildMI(MBB, II, DL, get(RISCV::SUB), VL)
1819         .addReg(ScaledRegister, RegState::Kill)
1820         .addReg(VL, RegState::Kill)
1821         .setMIFlag(Flag);
1822   } else {
1823     Register N = MRI.createVirtualRegister(&RISCV::GPRRegClass);
1824     movImm(MBB, II, DL, N, NumOfVReg, Flag);
1825     if (!STI.hasStdExtM())
1826       MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
1827           MF.getFunction(),
1828           "M-extension must be enabled to calculate the vscaled size/offset."});
1829     BuildMI(MBB, II, DL, get(RISCV::MUL), VL)
1830         .addReg(VL, RegState::Kill)
1831         .addReg(N, RegState::Kill)
1832         .setMIFlag(Flag);
1833   }
1834 
1835   return VL;
1836 }
1837 
1838 static bool isRVVWholeLoadStore(unsigned Opcode) {
1839   switch (Opcode) {
1840   default:
1841     return false;
1842   case RISCV::VS1R_V:
1843   case RISCV::VS2R_V:
1844   case RISCV::VS4R_V:
1845   case RISCV::VS8R_V:
1846   case RISCV::VL1RE8_V:
1847   case RISCV::VL2RE8_V:
1848   case RISCV::VL4RE8_V:
1849   case RISCV::VL8RE8_V:
1850   case RISCV::VL1RE16_V:
1851   case RISCV::VL2RE16_V:
1852   case RISCV::VL4RE16_V:
1853   case RISCV::VL8RE16_V:
1854   case RISCV::VL1RE32_V:
1855   case RISCV::VL2RE32_V:
1856   case RISCV::VL4RE32_V:
1857   case RISCV::VL8RE32_V:
1858   case RISCV::VL1RE64_V:
1859   case RISCV::VL2RE64_V:
1860   case RISCV::VL4RE64_V:
1861   case RISCV::VL8RE64_V:
1862     return true;
1863   }
1864 }
1865 
1866 bool RISCVInstrInfo::isRVVSpill(const MachineInstr &MI, bool CheckFIs) const {
1867   // RVV lacks any support for immediate addressing for stack addresses, so be
1868   // conservative.
1869   unsigned Opcode = MI.getOpcode();
1870   if (!RISCVVPseudosTable::getPseudoInfo(Opcode) &&
1871       !isRVVWholeLoadStore(Opcode) && !isRVVSpillForZvlsseg(Opcode))
1872     return false;
1873   return !CheckFIs || any_of(MI.operands(), [](const MachineOperand &MO) {
1874     return MO.isFI();
1875   });
1876 }
1877 
1878 Optional<std::pair<unsigned, unsigned>>
1879 RISCVInstrInfo::isRVVSpillForZvlsseg(unsigned Opcode) const {
1880   switch (Opcode) {
1881   default:
1882     return None;
1883   case RISCV::PseudoVSPILL2_M1:
1884   case RISCV::PseudoVRELOAD2_M1:
1885     return std::make_pair(2u, 1u);
1886   case RISCV::PseudoVSPILL2_M2:
1887   case RISCV::PseudoVRELOAD2_M2:
1888     return std::make_pair(2u, 2u);
1889   case RISCV::PseudoVSPILL2_M4:
1890   case RISCV::PseudoVRELOAD2_M4:
1891     return std::make_pair(2u, 4u);
1892   case RISCV::PseudoVSPILL3_M1:
1893   case RISCV::PseudoVRELOAD3_M1:
1894     return std::make_pair(3u, 1u);
1895   case RISCV::PseudoVSPILL3_M2:
1896   case RISCV::PseudoVRELOAD3_M2:
1897     return std::make_pair(3u, 2u);
1898   case RISCV::PseudoVSPILL4_M1:
1899   case RISCV::PseudoVRELOAD4_M1:
1900     return std::make_pair(4u, 1u);
1901   case RISCV::PseudoVSPILL4_M2:
1902   case RISCV::PseudoVRELOAD4_M2:
1903     return std::make_pair(4u, 2u);
1904   case RISCV::PseudoVSPILL5_M1:
1905   case RISCV::PseudoVRELOAD5_M1:
1906     return std::make_pair(5u, 1u);
1907   case RISCV::PseudoVSPILL6_M1:
1908   case RISCV::PseudoVRELOAD6_M1:
1909     return std::make_pair(6u, 1u);
1910   case RISCV::PseudoVSPILL7_M1:
1911   case RISCV::PseudoVRELOAD7_M1:
1912     return std::make_pair(7u, 1u);
1913   case RISCV::PseudoVSPILL8_M1:
1914   case RISCV::PseudoVRELOAD8_M1:
1915     return std::make_pair(8u, 1u);
1916   }
1917 }
1918