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