LLVM 23.0.0git
RISCVISelDAGToDAG.cpp
Go to the documentation of this file.
1//===-- RISCVISelDAGToDAG.cpp - A dag to dag inst selector for RISC-V -----===//
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 defines an instruction selector for the RISC-V target.
10//
11//===----------------------------------------------------------------------===//
12
13#include "RISCVISelDAGToDAG.h"
17#include "RISCVISelLowering.h"
18#include "RISCVInstrInfo.h"
22#include "llvm/IR/IntrinsicsRISCV.h"
24#include "llvm/Support/Debug.h"
27
28using namespace llvm;
29
30#define DEBUG_TYPE "riscv-isel"
31#define PASS_NAME "RISC-V DAG->DAG Pattern Instruction Selection"
32
34 "riscv-use-rematerializable-movimm", cl::Hidden,
35 cl::desc("Use a rematerializable pseudoinstruction for 2 instruction "
36 "constant materialization"),
37 cl::init(false));
38
39#define GET_DAGISEL_BODY RISCVDAGToDAGISel
40#include "RISCVGenDAGISel.inc"
41
43 SelectionDAG::allnodes_iterator Position = CurDAG->allnodes_end();
44
45 bool MadeChange = false;
46 while (Position != CurDAG->allnodes_begin()) {
47 SDNode *N = &*--Position;
48 if (N->use_empty())
49 continue;
50
51 SDValue Result;
52 switch (N->getOpcode()) {
53 case ISD::SPLAT_VECTOR: {
54 if (Subtarget->hasStdExtP())
55 break;
56 // Convert integer SPLAT_VECTOR to VMV_V_X_VL and floating-point
57 // SPLAT_VECTOR to VFMV_V_F_VL to reduce isel burden.
58 MVT VT = N->getSimpleValueType(0);
59 unsigned Opc =
60 VT.isInteger() ? RISCVISD::VMV_V_X_VL : RISCVISD::VFMV_V_F_VL;
61 SDLoc DL(N);
62 SDValue VL = CurDAG->getRegister(RISCV::X0, Subtarget->getXLenVT());
63 SDValue Src = N->getOperand(0);
64 if (VT.isInteger())
65 Src = CurDAG->getNode(ISD::ANY_EXTEND, DL, Subtarget->getXLenVT(),
66 N->getOperand(0));
67 Result = CurDAG->getNode(Opc, DL, VT, CurDAG->getUNDEF(VT), Src, VL);
68 break;
69 }
70 case RISCVISD::SPLAT_VECTOR_SPLIT_I64_VL: {
71 // Lower SPLAT_VECTOR_SPLIT_I64 to two scalar stores and a stride 0 vector
72 // load. Done after lowering and combining so that we have a chance to
73 // optimize this to VMV_V_X_VL when the upper bits aren't needed.
74 assert(N->getNumOperands() == 4 && "Unexpected number of operands");
75 MVT VT = N->getSimpleValueType(0);
76 SDValue Passthru = N->getOperand(0);
77 SDValue Lo = N->getOperand(1);
78 SDValue Hi = N->getOperand(2);
79 SDValue VL = N->getOperand(3);
80 assert(VT.getVectorElementType() == MVT::i64 && VT.isScalableVector() &&
81 Lo.getValueType() == MVT::i32 && Hi.getValueType() == MVT::i32 &&
82 "Unexpected VTs!");
83 MachineFunction &MF = CurDAG->getMachineFunction();
84 SDLoc DL(N);
85
86 // Create temporary stack for each expanding node.
87 SDValue StackSlot =
88 CurDAG->CreateStackTemporary(TypeSize::getFixed(8), Align(8));
89 int FI = cast<FrameIndexSDNode>(StackSlot.getNode())->getIndex();
91
92 SDValue Chain = CurDAG->getEntryNode();
93 Lo = CurDAG->getStore(Chain, DL, Lo, StackSlot, MPI, Align(8));
94
95 SDValue OffsetSlot =
96 CurDAG->getMemBasePlusOffset(StackSlot, TypeSize::getFixed(4), DL);
97 Hi = CurDAG->getStore(Chain, DL, Hi, OffsetSlot, MPI.getWithOffset(4),
98 Align(8));
99
100 Chain = CurDAG->getNode(ISD::TokenFactor, DL, MVT::Other, Lo, Hi);
101
102 SDVTList VTs = CurDAG->getVTList({VT, MVT::Other});
103 SDValue IntID =
104 CurDAG->getTargetConstant(Intrinsic::riscv_vlse, DL, MVT::i64);
105 SDValue Ops[] = {Chain,
106 IntID,
107 Passthru,
108 StackSlot,
109 CurDAG->getRegister(RISCV::X0, MVT::i64),
110 VL};
111
112 Result = CurDAG->getMemIntrinsicNode(ISD::INTRINSIC_W_CHAIN, DL, VTs, Ops,
113 MVT::i64, MPI, Align(8),
115 break;
116 }
117 case ISD::FP_EXTEND: {
118 // We only have vector patterns for riscv_fpextend_vl in isel.
119 SDLoc DL(N);
120 MVT VT = N->getSimpleValueType(0);
121 if (!VT.isVector())
122 break;
123 SDValue VLMAX = CurDAG->getRegister(RISCV::X0, Subtarget->getXLenVT());
124 SDValue TrueMask = CurDAG->getNode(
125 RISCVISD::VMSET_VL, DL, VT.changeVectorElementType(MVT::i1), VLMAX);
126 Result = CurDAG->getNode(RISCVISD::FP_EXTEND_VL, DL, VT, N->getOperand(0),
127 TrueMask, VLMAX);
128 break;
129 }
130 }
131
132 if (Result) {
133 LLVM_DEBUG(dbgs() << "RISC-V DAG preprocessing replacing:\nOld: ");
134 LLVM_DEBUG(N->dump(CurDAG));
135 LLVM_DEBUG(dbgs() << "\nNew: ");
136 LLVM_DEBUG(Result->dump(CurDAG));
137 LLVM_DEBUG(dbgs() << "\n");
138
139 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 0), Result);
140 MadeChange = true;
141 }
142 }
143
144 if (MadeChange)
145 CurDAG->RemoveDeadNodes();
146}
147
149 HandleSDNode Dummy(CurDAG->getRoot());
150 SelectionDAG::allnodes_iterator Position = CurDAG->allnodes_end();
151
152 bool MadeChange = false;
153 while (Position != CurDAG->allnodes_begin()) {
154 SDNode *N = &*--Position;
155 // Skip dead nodes and any non-machine opcodes.
156 if (N->use_empty() || !N->isMachineOpcode())
157 continue;
158
159 MadeChange |= doPeepholeSExtW(N);
160
161 // FIXME: This is here only because the VMerge transform doesn't
162 // know how to handle masked true inputs. Once that has been moved
163 // to post-ISEL, this can be deleted as well.
164 MadeChange |= doPeepholeMaskedRVV(cast<MachineSDNode>(N));
165 }
166
167 CurDAG->setRoot(Dummy.getValue());
168
169 // After we're done with everything else, convert IMPLICIT_DEF
170 // passthru operands to NoRegister. This is required to workaround
171 // an optimization deficiency in MachineCSE. This really should
172 // be merged back into each of the patterns (i.e. there's no good
173 // reason not to go directly to NoReg), but is being done this way
174 // to allow easy backporting.
175 MadeChange |= doPeepholeNoRegPassThru();
176
177 if (MadeChange)
178 CurDAG->RemoveDeadNodes();
179}
180
181static SDValue selectImmSeq(SelectionDAG *CurDAG, const SDLoc &DL, const MVT VT,
183 SDValue SrcReg = CurDAG->getRegister(RISCV::X0, VT);
184 for (const RISCVMatInt::Inst &Inst : Seq) {
185 SDValue SDImm = CurDAG->getSignedTargetConstant(Inst.getImm(), DL, VT);
186 SDNode *Result = nullptr;
187 switch (Inst.getOpndKind()) {
188 case RISCVMatInt::Imm:
189 Result = CurDAG->getMachineNode(Inst.getOpcode(), DL, VT, SDImm);
190 break;
192 Result = CurDAG->getMachineNode(Inst.getOpcode(), DL, VT, SrcReg,
193 CurDAG->getRegister(RISCV::X0, VT));
194 break;
196 Result = CurDAG->getMachineNode(Inst.getOpcode(), DL, VT, SrcReg, SrcReg);
197 break;
199 Result = CurDAG->getMachineNode(Inst.getOpcode(), DL, VT, SrcReg, SDImm);
200 break;
201 }
202
203 // Only the first instruction has X0 as its source.
204 SrcReg = SDValue(Result, 0);
205 }
206
207 return SrcReg;
208}
209
210static SDValue selectImm(SelectionDAG *CurDAG, const SDLoc &DL, const MVT VT,
211 int64_t Imm, const RISCVSubtarget &Subtarget) {
213
214 // Use a rematerializable pseudo instruction for short sequences if enabled.
215 if (Seq.size() == 2 && UsePseudoMovImm)
216 return SDValue(
217 CurDAG->getMachineNode(RISCV::PseudoMovImm, DL, VT,
218 CurDAG->getSignedTargetConstant(Imm, DL, VT)),
219 0);
220
221 // See if we can create this constant as (ADD (SLLI X, C), X) where X is at
222 // worst an LUI+ADDIW. This will require an extra register, but avoids a
223 // constant pool.
224 // If we have Zba we can use (ADD_UW X, (SLLI X, 32)) to handle cases where
225 // low and high 32 bits are the same and bit 31 and 63 are set.
226 if (Seq.size() > 3) {
227 unsigned ShiftAmt, AddOpc;
229 RISCVMatInt::generateTwoRegInstSeq(Imm, Subtarget, ShiftAmt, AddOpc);
230 if (!SeqLo.empty() && (SeqLo.size() + 2) < Seq.size()) {
231 SDValue Lo = selectImmSeq(CurDAG, DL, VT, SeqLo);
232
233 SDValue SLLI = SDValue(
234 CurDAG->getMachineNode(RISCV::SLLI, DL, VT, Lo,
235 CurDAG->getTargetConstant(ShiftAmt, DL, VT)),
236 0);
237 return SDValue(CurDAG->getMachineNode(AddOpc, DL, VT, Lo, SLLI), 0);
238 }
239 }
240
241 // Otherwise, use the original sequence.
242 return selectImmSeq(CurDAG, DL, VT, Seq);
243}
244
246 SDNode *Node, unsigned Log2SEW, const SDLoc &DL, unsigned CurOp,
247 bool IsMasked, bool IsStridedOrIndexed, SmallVectorImpl<SDValue> &Operands,
248 bool IsLoad, MVT *IndexVT) {
249 SDValue Chain = Node->getOperand(0);
250
251 Operands.push_back(Node->getOperand(CurOp++)); // Base pointer.
252
253 if (IsStridedOrIndexed) {
254 Operands.push_back(Node->getOperand(CurOp++)); // Index.
255 if (IndexVT)
256 *IndexVT = Operands.back()->getSimpleValueType(0);
257 }
258
259 if (IsMasked) {
260 SDValue Mask = Node->getOperand(CurOp++);
261 Operands.push_back(Mask);
262 }
263 SDValue VL;
264 selectVLOp(Node->getOperand(CurOp++), VL);
265 Operands.push_back(VL);
266
267 MVT XLenVT = Subtarget->getXLenVT();
268 SDValue SEWOp = CurDAG->getTargetConstant(Log2SEW, DL, XLenVT);
269 Operands.push_back(SEWOp);
270
271 // At the IR layer, all the masked load intrinsics have policy operands,
272 // none of the others do. All have passthru operands. For our pseudos,
273 // all loads have policy operands.
274 if (IsLoad) {
276 if (IsMasked)
277 Policy = Node->getConstantOperandVal(CurOp++);
278 SDValue PolicyOp = CurDAG->getTargetConstant(Policy, DL, XLenVT);
279 Operands.push_back(PolicyOp);
280 }
281
282 Operands.push_back(Chain); // Chain.
283}
284
285void RISCVDAGToDAGISel::selectVLSEG(SDNode *Node, unsigned NF, bool IsMasked,
286 bool IsStrided) {
287 SDLoc DL(Node);
288 MVT VT = Node->getSimpleValueType(0);
289 unsigned Log2SEW = Node->getConstantOperandVal(Node->getNumOperands() - 1);
291
292 unsigned CurOp = 2;
294
295 Operands.push_back(Node->getOperand(CurOp++));
296
297 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked, IsStrided,
298 Operands, /*IsLoad=*/true);
299
300 const RISCV::VLSEGPseudo *P =
301 RISCV::getVLSEGPseudo(NF, IsMasked, IsStrided, /*FF*/ false, Log2SEW,
302 static_cast<unsigned>(LMUL));
303 MachineSDNode *Load =
304 CurDAG->getMachineNode(P->Pseudo, DL, MVT::Untyped, MVT::Other, Operands);
305
306 CurDAG->setNodeMemRefs(Load, {cast<MemSDNode>(Node)->getMemOperand()});
307
308 ReplaceUses(SDValue(Node, 0), SDValue(Load, 0));
309 ReplaceUses(SDValue(Node, 1), SDValue(Load, 1));
310 CurDAG->RemoveDeadNode(Node);
311}
312
314 bool IsMasked) {
315 SDLoc DL(Node);
316 MVT VT = Node->getSimpleValueType(0);
317 MVT XLenVT = Subtarget->getXLenVT();
318 unsigned Log2SEW = Node->getConstantOperandVal(Node->getNumOperands() - 1);
320
321 unsigned CurOp = 2;
323
324 Operands.push_back(Node->getOperand(CurOp++));
325
326 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked,
327 /*IsStridedOrIndexed*/ false, Operands,
328 /*IsLoad=*/true);
329
330 const RISCV::VLSEGPseudo *P =
331 RISCV::getVLSEGPseudo(NF, IsMasked, /*Strided*/ false, /*FF*/ true,
332 Log2SEW, static_cast<unsigned>(LMUL));
333 MachineSDNode *Load = CurDAG->getMachineNode(P->Pseudo, DL, MVT::Untyped,
334 XLenVT, MVT::Other, Operands);
335
336 CurDAG->setNodeMemRefs(Load, {cast<MemSDNode>(Node)->getMemOperand()});
337
338 ReplaceUses(SDValue(Node, 0), SDValue(Load, 0)); // Result
339 ReplaceUses(SDValue(Node, 1), SDValue(Load, 1)); // VL
340 ReplaceUses(SDValue(Node, 2), SDValue(Load, 2)); // Chain
341 CurDAG->RemoveDeadNode(Node);
342}
343
344void RISCVDAGToDAGISel::selectVLXSEG(SDNode *Node, unsigned NF, bool IsMasked,
345 bool IsOrdered) {
346 SDLoc DL(Node);
347 MVT VT = Node->getSimpleValueType(0);
348 unsigned Log2SEW = Node->getConstantOperandVal(Node->getNumOperands() - 1);
350
351 unsigned CurOp = 2;
353
354 Operands.push_back(Node->getOperand(CurOp++));
355
356 MVT IndexVT;
357 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked,
358 /*IsStridedOrIndexed*/ true, Operands,
359 /*IsLoad=*/true, &IndexVT);
360
361#ifndef NDEBUG
362 // Number of element = RVVBitsPerBlock * LMUL / SEW
363 unsigned ContainedTyNumElts = RISCV::RVVBitsPerBlock >> Log2SEW;
364 auto DecodedLMUL = RISCVVType::decodeVLMUL(LMUL);
365 if (DecodedLMUL.second)
366 ContainedTyNumElts /= DecodedLMUL.first;
367 else
368 ContainedTyNumElts *= DecodedLMUL.first;
369 assert(ContainedTyNumElts == IndexVT.getVectorMinNumElements() &&
370 "Element count mismatch");
371#endif
372
374 unsigned IndexLog2EEW = Log2_32(IndexVT.getScalarSizeInBits());
375 if (IndexLog2EEW == 6 && !Subtarget->is64Bit()) {
376 reportFatalUsageError("The V extension does not support EEW=64 for index "
377 "values when XLEN=32");
378 }
379 const RISCV::VLXSEGPseudo *P = RISCV::getVLXSEGPseudo(
380 NF, IsMasked, IsOrdered, IndexLog2EEW, static_cast<unsigned>(LMUL),
381 static_cast<unsigned>(IndexLMUL));
382 MachineSDNode *Load =
383 CurDAG->getMachineNode(P->Pseudo, DL, MVT::Untyped, MVT::Other, Operands);
384
385 CurDAG->setNodeMemRefs(Load, {cast<MemSDNode>(Node)->getMemOperand()});
386
387 ReplaceUses(SDValue(Node, 0), SDValue(Load, 0));
388 ReplaceUses(SDValue(Node, 1), SDValue(Load, 1));
389 CurDAG->RemoveDeadNode(Node);
390}
391
392void RISCVDAGToDAGISel::selectVSSEG(SDNode *Node, unsigned NF, bool IsMasked,
393 bool IsStrided) {
394 SDLoc DL(Node);
395 MVT VT = Node->getOperand(2)->getSimpleValueType(0);
396 unsigned Log2SEW = Node->getConstantOperandVal(Node->getNumOperands() - 1);
398
399 unsigned CurOp = 2;
401
402 Operands.push_back(Node->getOperand(CurOp++));
403
404 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked, IsStrided,
405 Operands);
406
407 const RISCV::VSSEGPseudo *P = RISCV::getVSSEGPseudo(
408 NF, IsMasked, IsStrided, Log2SEW, static_cast<unsigned>(LMUL));
409 MachineSDNode *Store =
410 CurDAG->getMachineNode(P->Pseudo, DL, Node->getValueType(0), Operands);
411
412 CurDAG->setNodeMemRefs(Store, {cast<MemSDNode>(Node)->getMemOperand()});
413
414 ReplaceNode(Node, Store);
415}
416
417void RISCVDAGToDAGISel::selectVSXSEG(SDNode *Node, unsigned NF, bool IsMasked,
418 bool IsOrdered) {
419 SDLoc DL(Node);
420 MVT VT = Node->getOperand(2)->getSimpleValueType(0);
421 unsigned Log2SEW = Node->getConstantOperandVal(Node->getNumOperands() - 1);
423
424 unsigned CurOp = 2;
426
427 Operands.push_back(Node->getOperand(CurOp++));
428
429 MVT IndexVT;
430 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked,
431 /*IsStridedOrIndexed*/ true, Operands,
432 /*IsLoad=*/false, &IndexVT);
433
434#ifndef NDEBUG
435 // Number of element = RVVBitsPerBlock * LMUL / SEW
436 unsigned ContainedTyNumElts = RISCV::RVVBitsPerBlock >> Log2SEW;
437 auto DecodedLMUL = RISCVVType::decodeVLMUL(LMUL);
438 if (DecodedLMUL.second)
439 ContainedTyNumElts /= DecodedLMUL.first;
440 else
441 ContainedTyNumElts *= DecodedLMUL.first;
442 assert(ContainedTyNumElts == IndexVT.getVectorMinNumElements() &&
443 "Element count mismatch");
444#endif
445
447 unsigned IndexLog2EEW = Log2_32(IndexVT.getScalarSizeInBits());
448 if (IndexLog2EEW == 6 && !Subtarget->is64Bit()) {
449 reportFatalUsageError("The V extension does not support EEW=64 for index "
450 "values when XLEN=32");
451 }
452 const RISCV::VSXSEGPseudo *P = RISCV::getVSXSEGPseudo(
453 NF, IsMasked, IsOrdered, IndexLog2EEW, static_cast<unsigned>(LMUL),
454 static_cast<unsigned>(IndexLMUL));
455 MachineSDNode *Store =
456 CurDAG->getMachineNode(P->Pseudo, DL, Node->getValueType(0), Operands);
457
458 CurDAG->setNodeMemRefs(Store, {cast<MemSDNode>(Node)->getMemOperand()});
459
460 ReplaceNode(Node, Store);
461}
462
464 if (!Subtarget->hasVInstructions())
465 return;
466
467 assert(Node->getOpcode() == ISD::INTRINSIC_WO_CHAIN && "Unexpected opcode");
468
469 SDLoc DL(Node);
470 MVT XLenVT = Subtarget->getXLenVT();
471
472 unsigned IntNo = Node->getConstantOperandVal(0);
473
474 assert((IntNo == Intrinsic::riscv_vsetvli ||
475 IntNo == Intrinsic::riscv_vsetvlimax) &&
476 "Unexpected vsetvli intrinsic");
477
478 bool VLMax = IntNo == Intrinsic::riscv_vsetvlimax;
479 unsigned Offset = (VLMax ? 1 : 2);
480
481 assert(Node->getNumOperands() == Offset + 2 &&
482 "Unexpected number of operands");
483
484 unsigned SEW =
485 RISCVVType::decodeVSEW(Node->getConstantOperandVal(Offset) & 0x7);
486 RISCVVType::VLMUL VLMul = static_cast<RISCVVType::VLMUL>(
487 Node->getConstantOperandVal(Offset + 1) & 0x7);
488
489 unsigned VTypeI = RISCVVType::encodeVTYPE(VLMul, SEW, /*TailAgnostic*/ true,
490 /*MaskAgnostic*/ true);
491 SDValue VTypeIOp = CurDAG->getTargetConstant(VTypeI, DL, XLenVT);
492
493 SDValue VLOperand;
494 unsigned Opcode = RISCV::PseudoVSETVLI;
495 if (auto *C = dyn_cast<ConstantSDNode>(Node->getOperand(1))) {
496 if (auto VLEN = Subtarget->getRealVLen())
497 if (*VLEN / RISCVVType::getSEWLMULRatio(SEW, VLMul) == C->getZExtValue())
498 VLMax = true;
499 }
500 if (VLMax || isAllOnesConstant(Node->getOperand(1))) {
501 VLOperand = CurDAG->getRegister(RISCV::X0, XLenVT);
502 Opcode = RISCV::PseudoVSETVLIX0;
503 } else {
504 VLOperand = Node->getOperand(1);
505
506 if (auto *C = dyn_cast<ConstantSDNode>(VLOperand)) {
507 uint64_t AVL = C->getZExtValue();
508 if (isUInt<5>(AVL)) {
509 SDValue VLImm = CurDAG->getTargetConstant(AVL, DL, XLenVT);
510 ReplaceNode(Node, CurDAG->getMachineNode(RISCV::PseudoVSETIVLI, DL,
511 XLenVT, VLImm, VTypeIOp));
512 return;
513 }
514 }
515 }
516
518 CurDAG->getMachineNode(Opcode, DL, XLenVT, VLOperand, VTypeIOp));
519}
520
522 if (!Subtarget->hasVendorXSfmmbase())
523 return;
524
525 assert(Node->getOpcode() == ISD::INTRINSIC_WO_CHAIN && "Unexpected opcode");
526
527 SDLoc DL(Node);
528 MVT XLenVT = Subtarget->getXLenVT();
529
530 unsigned IntNo = Node->getConstantOperandVal(0);
531
532 assert((IntNo == Intrinsic::riscv_sf_vsettnt ||
533 IntNo == Intrinsic::riscv_sf_vsettm ||
534 IntNo == Intrinsic::riscv_sf_vsettk) &&
535 "Unexpected XSfmm vset intrinsic");
536
537 unsigned SEW = RISCVVType::decodeVSEW(Node->getConstantOperandVal(2));
538 unsigned Widen = RISCVVType::decodeTWiden(Node->getConstantOperandVal(3));
539 unsigned PseudoOpCode =
540 IntNo == Intrinsic::riscv_sf_vsettnt ? RISCV::PseudoSF_VSETTNT
541 : IntNo == Intrinsic::riscv_sf_vsettm ? RISCV::PseudoSF_VSETTM
542 : RISCV::PseudoSF_VSETTK;
543
544 if (IntNo == Intrinsic::riscv_sf_vsettnt) {
545 unsigned VTypeI = RISCVVType::encodeXSfmmVType(SEW, Widen, 0);
546 SDValue VTypeIOp = CurDAG->getTargetConstant(VTypeI, DL, XLenVT);
547
548 ReplaceNode(Node, CurDAG->getMachineNode(PseudoOpCode, DL, XLenVT,
549 Node->getOperand(1), VTypeIOp));
550 } else {
551 SDValue Log2SEW = CurDAG->getTargetConstant(Log2_32(SEW), DL, XLenVT);
552 SDValue TWiden = CurDAG->getTargetConstant(Widen, DL, XLenVT);
554 CurDAG->getMachineNode(PseudoOpCode, DL, XLenVT,
555 Node->getOperand(1), Log2SEW, TWiden));
556 }
557}
558
560 MVT VT = Node->getSimpleValueType(0);
561 unsigned Opcode = Node->getOpcode();
562 assert((Opcode == ISD::AND || Opcode == ISD::OR || Opcode == ISD::XOR) &&
563 "Unexpected opcode");
564 SDLoc DL(Node);
565
566 // For operations of the form (x << C1) op C2, check if we can use
567 // ANDI/ORI/XORI by transforming it into (x op (C2>>C1)) << C1.
568 SDValue N0 = Node->getOperand(0);
569 SDValue N1 = Node->getOperand(1);
570
572 if (!Cst)
573 return false;
574
575 int64_t Val = Cst->getSExtValue();
576
577 // Check if immediate can already use ANDI/ORI/XORI.
578 if (isInt<12>(Val))
579 return false;
580
581 SDValue Shift = N0;
582
583 // If Val is simm32 and we have a sext_inreg from i32, then the binop
584 // produces at least 33 sign bits. We can peek through the sext_inreg and use
585 // a SLLIW at the end.
586 bool SignExt = false;
587 if (isInt<32>(Val) && N0.getOpcode() == ISD::SIGN_EXTEND_INREG &&
588 N0.hasOneUse() && cast<VTSDNode>(N0.getOperand(1))->getVT() == MVT::i32) {
589 SignExt = true;
590 Shift = N0.getOperand(0);
591 }
592
593 if (Shift.getOpcode() != ISD::SHL || !Shift.hasOneUse())
594 return false;
595
597 if (!ShlCst)
598 return false;
599
600 uint64_t ShAmt = ShlCst->getZExtValue();
601
602 // Make sure that we don't change the operation by removing bits.
603 // This only matters for OR and XOR, AND is unaffected.
604 uint64_t RemovedBitsMask = maskTrailingOnes<uint64_t>(ShAmt);
605 if (Opcode != ISD::AND && (Val & RemovedBitsMask) != 0)
606 return false;
607
608 int64_t ShiftedVal = Val >> ShAmt;
609 if (!isInt<12>(ShiftedVal))
610 return false;
611
612 // If we peeked through a sext_inreg, make sure the shift is valid for SLLIW.
613 if (SignExt && ShAmt >= 32)
614 return false;
615
616 // Ok, we can reorder to get a smaller immediate.
617 unsigned BinOpc;
618 switch (Opcode) {
619 default: llvm_unreachable("Unexpected opcode");
620 case ISD::AND: BinOpc = RISCV::ANDI; break;
621 case ISD::OR: BinOpc = RISCV::ORI; break;
622 case ISD::XOR: BinOpc = RISCV::XORI; break;
623 }
624
625 unsigned ShOpc = SignExt ? RISCV::SLLIW : RISCV::SLLI;
626
627 SDNode *BinOp = CurDAG->getMachineNode(
628 BinOpc, DL, VT, Shift.getOperand(0),
629 CurDAG->getSignedTargetConstant(ShiftedVal, DL, VT));
630 SDNode *SLLI =
631 CurDAG->getMachineNode(ShOpc, DL, VT, SDValue(BinOp, 0),
632 CurDAG->getTargetConstant(ShAmt, DL, VT));
633 ReplaceNode(Node, SLLI);
634 return true;
635}
636
638 unsigned Opc;
639
640 if (Subtarget->hasVendorXTHeadBb())
641 Opc = RISCV::TH_EXT;
642 else if (Subtarget->hasVendorXAndesPerf())
643 Opc = RISCV::NDS_BFOS;
644 else if (Subtarget->hasVendorXqcibm())
645 Opc = RISCV::QC_EXT;
646 else
647 // Only supported with XTHeadBb/XAndesPerf/Xqcibm at the moment.
648 return false;
649
650 auto *N1C = dyn_cast<ConstantSDNode>(Node->getOperand(1));
651 if (!N1C)
652 return false;
653
654 SDValue N0 = Node->getOperand(0);
655 if (!N0.hasOneUse())
656 return false;
657
658 auto BitfieldExtract = [&](SDValue N0, unsigned Msb, unsigned Lsb,
659 const SDLoc &DL, MVT VT) {
660 if (Opc == RISCV::QC_EXT) {
661 // QC.EXT X, width, shamt
662 // shamt is the same as Lsb
663 // width is the number of bits to extract from the Lsb
664 Msb = Msb - Lsb + 1;
665 }
666 return CurDAG->getMachineNode(Opc, DL, VT, N0.getOperand(0),
667 CurDAG->getTargetConstant(Msb, DL, VT),
668 CurDAG->getTargetConstant(Lsb, DL, VT));
669 };
670
671 SDLoc DL(Node);
672 MVT VT = Node->getSimpleValueType(0);
673 const unsigned RightShAmt = N1C->getZExtValue();
674
675 // Transform (sra (shl X, C1) C2) with C1 < C2
676 // -> (SignedBitfieldExtract X, msb, lsb)
677 if (N0.getOpcode() == ISD::SHL) {
678 auto *N01C = dyn_cast<ConstantSDNode>(N0.getOperand(1));
679 if (!N01C)
680 return false;
681
682 const unsigned LeftShAmt = N01C->getZExtValue();
683 // Make sure that this is a bitfield extraction (i.e., the shift-right
684 // amount can not be less than the left-shift).
685 if (LeftShAmt > RightShAmt)
686 return false;
687
688 const unsigned MsbPlusOne = VT.getSizeInBits() - LeftShAmt;
689 const unsigned Msb = MsbPlusOne - 1;
690 const unsigned Lsb = RightShAmt - LeftShAmt;
691
692 SDNode *Sbe = BitfieldExtract(N0, Msb, Lsb, DL, VT);
693 ReplaceNode(Node, Sbe);
694 return true;
695 }
696
697 // Transform (sra (sext_inreg X, _), C) ->
698 // (SignedBitfieldExtract X, msb, lsb)
699 if (N0.getOpcode() == ISD::SIGN_EXTEND_INREG) {
700 unsigned ExtSize =
701 cast<VTSDNode>(N0.getOperand(1))->getVT().getSizeInBits();
702
703 // ExtSize of 32 should use sraiw via tablegen pattern.
704 if (ExtSize == 32)
705 return false;
706
707 const unsigned Msb = ExtSize - 1;
708 // If the shift-right amount is greater than Msb, it means that extracts
709 // the X[Msb] bit and sign-extend it.
710 const unsigned Lsb = RightShAmt > Msb ? Msb : RightShAmt;
711
712 SDNode *Sbe = BitfieldExtract(N0, Msb, Lsb, DL, VT);
713 ReplaceNode(Node, Sbe);
714 return true;
715 }
716
717 return false;
718}
719
721 // Only supported with XAndesPerf at the moment.
722 if (!Subtarget->hasVendorXAndesPerf())
723 return false;
724
725 auto *N1C = dyn_cast<ConstantSDNode>(Node->getOperand(1));
726 if (!N1C)
727 return false;
728
729 SDValue N0 = Node->getOperand(0);
730 if (!N0.hasOneUse())
731 return false;
732
733 auto BitfieldInsert = [&](SDValue N0, unsigned Msb, unsigned Lsb,
734 const SDLoc &DL, MVT VT) {
735 unsigned Opc = RISCV::NDS_BFOS;
736 // If the Lsb is equal to the Msb, then the Lsb should be 0.
737 if (Lsb == Msb)
738 Lsb = 0;
739 return CurDAG->getMachineNode(Opc, DL, VT, N0.getOperand(0),
740 CurDAG->getTargetConstant(Lsb, DL, VT),
741 CurDAG->getTargetConstant(Msb, DL, VT));
742 };
743
744 SDLoc DL(Node);
745 MVT VT = Node->getSimpleValueType(0);
746 const unsigned RightShAmt = N1C->getZExtValue();
747
748 // Transform (sra (shl X, C1) C2) with C1 > C2
749 // -> (NDS.BFOS X, lsb, msb)
750 if (N0.getOpcode() == ISD::SHL) {
751 auto *N01C = dyn_cast<ConstantSDNode>(N0.getOperand(1));
752 if (!N01C)
753 return false;
754
755 const unsigned LeftShAmt = N01C->getZExtValue();
756 // Make sure that this is a bitfield insertion (i.e., the shift-right
757 // amount should be less than the left-shift).
758 if (LeftShAmt <= RightShAmt)
759 return false;
760
761 const unsigned MsbPlusOne = VT.getSizeInBits() - RightShAmt;
762 const unsigned Msb = MsbPlusOne - 1;
763 const unsigned Lsb = LeftShAmt - RightShAmt;
764
765 SDNode *Sbi = BitfieldInsert(N0, Msb, Lsb, DL, VT);
766 ReplaceNode(Node, Sbi);
767 return true;
768 }
769
770 return false;
771}
772
774 const SDLoc &DL, MVT VT,
775 SDValue X, unsigned Msb,
776 unsigned Lsb) {
777 unsigned Opc;
778
779 if (Subtarget->hasVendorXTHeadBb()) {
780 Opc = RISCV::TH_EXTU;
781 } else if (Subtarget->hasVendorXAndesPerf()) {
782 Opc = RISCV::NDS_BFOZ;
783 } else if (Subtarget->hasVendorXqcibm()) {
784 Opc = RISCV::QC_EXTU;
785 // QC.EXTU X, width, shamt
786 // shamt is the same as Lsb
787 // width is the number of bits to extract from the Lsb
788 Msb = Msb - Lsb + 1;
789 } else {
790 // Only supported with XTHeadBb/XAndesPerf/Xqcibm at the moment.
791 return false;
792 }
793
794 SDNode *Ube = CurDAG->getMachineNode(Opc, DL, VT, X,
795 CurDAG->getTargetConstant(Msb, DL, VT),
796 CurDAG->getTargetConstant(Lsb, DL, VT));
797 ReplaceNode(Node, Ube);
798 return true;
799}
800
802 const SDLoc &DL, MVT VT,
803 SDValue X, unsigned Msb,
804 unsigned Lsb) {
805 // Only supported with XAndesPerf at the moment.
806 if (!Subtarget->hasVendorXAndesPerf())
807 return false;
808
809 unsigned Opc = RISCV::NDS_BFOZ;
810
811 // If the Lsb is equal to the Msb, then the Lsb should be 0.
812 if (Lsb == Msb)
813 Lsb = 0;
814 SDNode *Ubi = CurDAG->getMachineNode(Opc, DL, VT, X,
815 CurDAG->getTargetConstant(Lsb, DL, VT),
816 CurDAG->getTargetConstant(Msb, DL, VT));
817 ReplaceNode(Node, Ubi);
818 return true;
819}
820
822 // Target does not support indexed loads.
823 if (!Subtarget->hasVendorXTHeadMemIdx())
824 return false;
825
828 if (AM == ISD::UNINDEXED)
829 return false;
830
832 if (!C)
833 return false;
834
835 EVT LoadVT = Ld->getMemoryVT();
836 assert((AM == ISD::PRE_INC || AM == ISD::POST_INC) &&
837 "Unexpected addressing mode");
838 bool IsPre = AM == ISD::PRE_INC;
839 bool IsPost = AM == ISD::POST_INC;
840 int64_t Offset = C->getSExtValue();
841
842 // The constants that can be encoded in the THeadMemIdx instructions
843 // are of the form (sign_extend(imm5) << imm2).
844 unsigned Shift;
845 for (Shift = 0; Shift < 4; Shift++)
846 if (isInt<5>(Offset >> Shift) && ((Offset % (1LL << Shift)) == 0))
847 break;
848
849 // Constant cannot be encoded.
850 if (Shift == 4)
851 return false;
852
853 bool IsZExt = (Ld->getExtensionType() == ISD::ZEXTLOAD);
854 unsigned Opcode;
855 if (LoadVT == MVT::i8 && IsPre)
856 Opcode = IsZExt ? RISCV::TH_LBUIB : RISCV::TH_LBIB;
857 else if (LoadVT == MVT::i8 && IsPost)
858 Opcode = IsZExt ? RISCV::TH_LBUIA : RISCV::TH_LBIA;
859 else if (LoadVT == MVT::i16 && IsPre)
860 Opcode = IsZExt ? RISCV::TH_LHUIB : RISCV::TH_LHIB;
861 else if (LoadVT == MVT::i16 && IsPost)
862 Opcode = IsZExt ? RISCV::TH_LHUIA : RISCV::TH_LHIA;
863 else if (LoadVT == MVT::i32 && IsPre)
864 Opcode = IsZExt ? RISCV::TH_LWUIB : RISCV::TH_LWIB;
865 else if (LoadVT == MVT::i32 && IsPost)
866 Opcode = IsZExt ? RISCV::TH_LWUIA : RISCV::TH_LWIA;
867 else if (LoadVT == MVT::i64 && IsPre)
868 Opcode = RISCV::TH_LDIB;
869 else if (LoadVT == MVT::i64 && IsPost)
870 Opcode = RISCV::TH_LDIA;
871 else
872 return false;
873
874 EVT Ty = Ld->getOffset().getValueType();
875 SDValue Ops[] = {
876 Ld->getBasePtr(),
877 CurDAG->getSignedTargetConstant(Offset >> Shift, SDLoc(Node), Ty),
878 CurDAG->getTargetConstant(Shift, SDLoc(Node), Ty), Ld->getChain()};
879 SDNode *New = CurDAG->getMachineNode(Opcode, SDLoc(Node), Ld->getValueType(0),
880 Ld->getValueType(1), MVT::Other, Ops);
881
882 MachineMemOperand *MemOp = cast<MemSDNode>(Node)->getMemOperand();
883 CurDAG->setNodeMemRefs(cast<MachineSDNode>(New), {MemOp});
884
885 ReplaceNode(Node, New);
886
887 return true;
888}
889
890static SDValue buildGPRPair(SelectionDAG *CurDAG, const SDLoc &DL, MVT VT,
891 SDValue Lo, SDValue Hi) {
892 SDValue Ops[] = {
893 CurDAG->getTargetConstant(RISCV::GPRPairRegClassID, DL, MVT::i32), Lo,
894 CurDAG->getTargetConstant(RISCV::sub_gpr_even, DL, MVT::i32), Hi,
895 CurDAG->getTargetConstant(RISCV::sub_gpr_odd, DL, MVT::i32)};
896
897 return SDValue(
898 CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL, VT, Ops), 0);
899}
900
901// Helper to extract Lo and Hi values from a GPR pair.
902static std::pair<SDValue, SDValue>
904 SDValue Lo =
905 CurDAG->getTargetExtractSubreg(RISCV::sub_gpr_even, DL, MVT::i32, Pair);
906 SDValue Hi =
907 CurDAG->getTargetExtractSubreg(RISCV::sub_gpr_odd, DL, MVT::i32, Pair);
908 return {Lo, Hi};
909}
910
911// Try to match WMACC pattern: ADDD where one operand pair comes from a
912// widening multiply (both results of UMUL_LOHI, SMUL_LOHI, or WMULSU).
914 assert(Node->getOpcode() == RISCVISD::ADDD && "Expected ADDD");
915
916 SDValue Op0Lo = Node->getOperand(0);
917 SDValue Op0Hi = Node->getOperand(1);
918 SDValue Op1Lo = Node->getOperand(2);
919 SDValue Op1Hi = Node->getOperand(3);
920
921 auto IsSupportedMulWithOneUse = [](SDValue Lo, SDValue Hi) {
922 unsigned Opc = Lo.getOpcode();
923 if (Opc != ISD::UMUL_LOHI && Opc != ISD::SMUL_LOHI &&
924 Opc != RISCVISD::WMULSU)
925 return false;
926 return Lo.getNode() == Hi.getNode() && Lo.getResNo() == 0 &&
927 Hi.getResNo() == 1 && Lo.hasOneUse() && Hi.hasOneUse();
928 };
929
930 SDNode *MulNode = nullptr;
931 SDValue AddLo, AddHi;
932
933 // Check if first operand pair is a supported multiply with single use.
934 if (IsSupportedMulWithOneUse(Op0Lo, Op0Hi)) {
935 MulNode = Op0Lo.getNode();
936 AddLo = Op1Lo;
937 AddHi = Op1Hi;
938 }
939 // ADDD is commutative. Check if second operand pair is a supported multiply
940 // with single use.
941 else if (IsSupportedMulWithOneUse(Op1Lo, Op1Hi)) {
942 MulNode = Op1Lo.getNode();
943 AddLo = Op0Lo;
944 AddHi = Op0Hi;
945 } else {
946 return false;
947 }
948
949 unsigned Opc;
950 switch (MulNode->getOpcode()) {
951 default:
952 llvm_unreachable("Unexpected multiply opcode");
953 case ISD::UMUL_LOHI:
954 Opc = RISCV::WMACCU;
955 break;
956 case ISD::SMUL_LOHI:
957 Opc = RISCV::WMACC;
958 break;
959 case RISCVISD::WMULSU:
960 Opc = RISCV::WMACCSU;
961 break;
962 }
963
964 SDValue Acc = buildGPRPair(CurDAG, DL, MVT::Untyped, AddLo, AddHi);
965
966 // WMACC instruction format: rd, rs1, rs2 (rd is accumulator).
967 SDValue M0 = MulNode->getOperand(0);
968 SDValue M1 = MulNode->getOperand(1);
969 MachineSDNode *New =
970 CurDAG->getMachineNode(Opc, DL, MVT::Untyped, Acc, M0, M1);
971
972 auto [Lo, Hi] = extractGPRPair(CurDAG, DL, SDValue(New, 0));
975 CurDAG->RemoveDeadNode(Node);
976 return true;
977}
978
979static Register getTileReg(uint64_t TileNum) {
980 assert(TileNum <= 15 && "Invalid tile number");
981 return RISCV::T0 + TileNum;
982}
983
985 if (!Subtarget->hasVInstructions())
986 return;
987
988 assert(Node->getOpcode() == ISD::INTRINSIC_VOID && "Unexpected opcode");
989
990 SDLoc DL(Node);
991 unsigned IntNo = Node->getConstantOperandVal(1);
992
993 assert((IntNo == Intrinsic::riscv_sf_vc_x_se ||
994 IntNo == Intrinsic::riscv_sf_vc_i_se) &&
995 "Unexpected vsetvli intrinsic");
996
997 // imm, imm, imm, simm5/scalar, sew, log2lmul, vl
998 unsigned Log2SEW = Log2_32(Node->getConstantOperandVal(6));
999 SDValue SEWOp =
1000 CurDAG->getTargetConstant(Log2SEW, DL, Subtarget->getXLenVT());
1001 SmallVector<SDValue, 8> Operands = {Node->getOperand(2), Node->getOperand(3),
1002 Node->getOperand(4), Node->getOperand(5),
1003 Node->getOperand(8), SEWOp,
1004 Node->getOperand(0)};
1005
1006 unsigned Opcode;
1007 auto *LMulSDNode = cast<ConstantSDNode>(Node->getOperand(7));
1008 switch (LMulSDNode->getSExtValue()) {
1009 case 5:
1010 Opcode = IntNo == Intrinsic::riscv_sf_vc_x_se ? RISCV::PseudoSF_VC_X_SE_MF8
1011 : RISCV::PseudoSF_VC_I_SE_MF8;
1012 break;
1013 case 6:
1014 Opcode = IntNo == Intrinsic::riscv_sf_vc_x_se ? RISCV::PseudoSF_VC_X_SE_MF4
1015 : RISCV::PseudoSF_VC_I_SE_MF4;
1016 break;
1017 case 7:
1018 Opcode = IntNo == Intrinsic::riscv_sf_vc_x_se ? RISCV::PseudoSF_VC_X_SE_MF2
1019 : RISCV::PseudoSF_VC_I_SE_MF2;
1020 break;
1021 case 0:
1022 Opcode = IntNo == Intrinsic::riscv_sf_vc_x_se ? RISCV::PseudoSF_VC_X_SE_M1
1023 : RISCV::PseudoSF_VC_I_SE_M1;
1024 break;
1025 case 1:
1026 Opcode = IntNo == Intrinsic::riscv_sf_vc_x_se ? RISCV::PseudoSF_VC_X_SE_M2
1027 : RISCV::PseudoSF_VC_I_SE_M2;
1028 break;
1029 case 2:
1030 Opcode = IntNo == Intrinsic::riscv_sf_vc_x_se ? RISCV::PseudoSF_VC_X_SE_M4
1031 : RISCV::PseudoSF_VC_I_SE_M4;
1032 break;
1033 case 3:
1034 Opcode = IntNo == Intrinsic::riscv_sf_vc_x_se ? RISCV::PseudoSF_VC_X_SE_M8
1035 : RISCV::PseudoSF_VC_I_SE_M8;
1036 break;
1037 }
1038
1039 ReplaceNode(Node, CurDAG->getMachineNode(
1040 Opcode, DL, Node->getSimpleValueType(0), Operands));
1041}
1042
1043static unsigned getSegInstNF(unsigned Intrinsic) {
1044#define INST_NF_CASE(NAME, NF) \
1045 case Intrinsic::riscv_##NAME##NF: \
1046 return NF;
1047#define INST_NF_CASE_MASK(NAME, NF) \
1048 case Intrinsic::riscv_##NAME##NF##_mask: \
1049 return NF;
1050#define INST_NF_CASE_FF(NAME, NF) \
1051 case Intrinsic::riscv_##NAME##NF##ff: \
1052 return NF;
1053#define INST_NF_CASE_FF_MASK(NAME, NF) \
1054 case Intrinsic::riscv_##NAME##NF##ff_mask: \
1055 return NF;
1056#define INST_ALL_NF_CASE_BASE(MACRO_NAME, NAME) \
1057 MACRO_NAME(NAME, 2) \
1058 MACRO_NAME(NAME, 3) \
1059 MACRO_NAME(NAME, 4) \
1060 MACRO_NAME(NAME, 5) \
1061 MACRO_NAME(NAME, 6) \
1062 MACRO_NAME(NAME, 7) \
1063 MACRO_NAME(NAME, 8)
1064#define INST_ALL_NF_CASE(NAME) \
1065 INST_ALL_NF_CASE_BASE(INST_NF_CASE, NAME) \
1066 INST_ALL_NF_CASE_BASE(INST_NF_CASE_MASK, NAME)
1067#define INST_ALL_NF_CASE_WITH_FF(NAME) \
1068 INST_ALL_NF_CASE(NAME) \
1069 INST_ALL_NF_CASE_BASE(INST_NF_CASE_FF, NAME) \
1070 INST_ALL_NF_CASE_BASE(INST_NF_CASE_FF_MASK, NAME)
1071 switch (Intrinsic) {
1072 default:
1073 llvm_unreachable("Unexpected segment load/store intrinsic");
1075 INST_ALL_NF_CASE(vlsseg)
1076 INST_ALL_NF_CASE(vloxseg)
1077 INST_ALL_NF_CASE(vluxseg)
1078 INST_ALL_NF_CASE(vsseg)
1079 INST_ALL_NF_CASE(vssseg)
1080 INST_ALL_NF_CASE(vsoxseg)
1081 INST_ALL_NF_CASE(vsuxseg)
1082 }
1083}
1084
1085static bool isApplicableToPLIOrPLUI(int Val) {
1086 // Check if the immediate is packed i8 or i10
1087 int16_t Bit31To16 = Val >> 16;
1088 int16_t Bit15To0 = Val;
1089 int8_t Bit15To8 = Bit15To0 >> 8;
1090 int8_t Bit7To0 = Val;
1091 if (Bit31To16 != Bit15To0)
1092 return false;
1093
1094 return isInt<10>(Bit15To0) || isShiftedInt<10, 6>(Bit15To0) ||
1095 Bit15To8 == Bit7To0;
1096}
1097
1099 // If we have a custom node, we have already selected.
1100 if (Node->isMachineOpcode()) {
1101 LLVM_DEBUG(dbgs() << "== "; Node->dump(CurDAG); dbgs() << "\n");
1102 Node->setNodeId(-1);
1103 return;
1104 }
1105
1106 // Instruction Selection not handled by the auto-generated tablegen selection
1107 // should be handled here.
1108 unsigned Opcode = Node->getOpcode();
1109 MVT XLenVT = Subtarget->getXLenVT();
1110 SDLoc DL(Node);
1111 MVT VT = Node->getSimpleValueType(0);
1112
1113 bool HasBitTest = Subtarget->hasBEXTILike();
1114
1115 switch (Opcode) {
1116 case ISD::Constant: {
1117 assert(VT == Subtarget->getXLenVT() && "Unexpected VT");
1118 auto *ConstNode = cast<ConstantSDNode>(Node);
1119 if (ConstNode->isZero()) {
1120 SDValue New =
1121 CurDAG->getCopyFromReg(CurDAG->getEntryNode(), DL, RISCV::X0, VT);
1122 ReplaceNode(Node, New.getNode());
1123 return;
1124 }
1125 int64_t Imm = ConstNode->getSExtValue();
1126 // If only the lower 8 bits are used, try to convert this to a simm6 by
1127 // sign-extending bit 7. This is neutral without the C extension, and
1128 // allows C.LI to be used if C is present.
1129 if (!isInt<8>(Imm) && isUInt<8>(Imm) && isInt<6>(SignExtend64<8>(Imm)) &&
1131 Imm = SignExtend64<8>(Imm);
1132 // If the upper XLen-16 bits are not used, try to convert this to a simm12
1133 // by sign extending bit 15.
1134 else if (!isInt<16>(Imm) && isUInt<16>(Imm) &&
1136 Imm = SignExtend64<16>(Imm);
1137
1138 // If the upper XLen-16 bits are not used, the lower 2 bytes are the same,
1139 // and we can't use li, convert to an xlen splat so we can use pli.b.
1140 if (Subtarget->hasStdExtP() && !isInt<12>(Imm) &&
1141 (Imm & 0xff) == ((Imm >> 8) & 0xff) && hasAllHUsers(Node)) {
1142 // Splat the lower 16 bits to XLen. Sign extend for RV32.
1143 uint64_t Splat = Imm & 0xffff;
1144 Splat = (Splat << 16) | Splat;
1145 if (VT == MVT::i64)
1146 Imm = Splat << 32 | Splat;
1147 else
1148 Imm = SignExtend64<32>(Splat);
1149 } else {
1150 // If the upper 32-bits are not used try to convert this into a simm32 by
1151 // sign extending bit 32.
1152 if (!isInt<32>(Imm) && isUInt<32>(Imm) && hasAllWUsers(Node))
1153 Imm = SignExtend64<32>(Imm);
1154
1155 if (VT == MVT::i64 && !isInt<12>(Imm) && !isShiftedInt<20, 12>(Imm) &&
1156 Subtarget->hasStdExtP() && isApplicableToPLIOrPLUI(Imm) &&
1157 hasAllWUsers(Node)) {
1158 // If it's 4 packed 8-bit integers or 2 packed signed 16-bit integers,
1159 // we can simply copy lower 32 bits to higher 32 bits to make it able to
1160 // rematerialize to PLI_B or PLI_H
1161 Imm = ((uint64_t)Imm << 32) | (Imm & 0xFFFFFFFF);
1162 }
1163 }
1164
1165 ReplaceNode(Node, selectImm(CurDAG, DL, VT, Imm, *Subtarget).getNode());
1166 return;
1167 }
1168 case ISD::ConstantFP: {
1169 const APFloat &APF = cast<ConstantFPSDNode>(Node)->getValueAPF();
1170
1171 bool Is64Bit = Subtarget->is64Bit();
1172 bool HasZdinx = Subtarget->hasStdExtZdinx();
1173
1174 bool NegZeroF64 = APF.isNegZero() && VT == MVT::f64;
1175 SDValue Imm;
1176 // For +0.0 or f64 -0.0 we need to start from X0. For all others, we will
1177 // create an integer immediate.
1178 if (APF.isPosZero() || NegZeroF64) {
1179 if (VT == MVT::f64 && HasZdinx && !Is64Bit)
1180 Imm = CurDAG->getRegister(RISCV::X0_Pair, MVT::f64);
1181 else
1182 Imm = CurDAG->getRegister(RISCV::X0, XLenVT);
1183 } else {
1184 Imm = selectImm(CurDAG, DL, XLenVT, APF.bitcastToAPInt().getSExtValue(),
1185 *Subtarget);
1186 }
1187
1188 unsigned Opc;
1189 switch (VT.SimpleTy) {
1190 default:
1191 llvm_unreachable("Unexpected size");
1192 case MVT::bf16:
1193 assert(Subtarget->hasStdExtZfbfmin());
1194 Opc = RISCV::FMV_H_X;
1195 break;
1196 case MVT::f16:
1197 Opc = Subtarget->hasStdExtZhinxmin() ? RISCV::COPY : RISCV::FMV_H_X;
1198 break;
1199 case MVT::f32:
1200 Opc = Subtarget->hasStdExtZfinx() ? RISCV::COPY : RISCV::FMV_W_X;
1201 break;
1202 case MVT::f64:
1203 // For RV32, we can't move from a GPR, we need to convert instead. This
1204 // should only happen for +0.0 and -0.0.
1205 assert((Subtarget->is64Bit() || APF.isZero()) && "Unexpected constant");
1206 if (HasZdinx)
1207 Opc = RISCV::COPY;
1208 else
1209 Opc = Is64Bit ? RISCV::FMV_D_X : RISCV::FCVT_D_W;
1210 break;
1211 }
1212
1213 SDNode *Res;
1214 if (VT.SimpleTy == MVT::f16 && Opc == RISCV::COPY) {
1215 Res =
1216 CurDAG->getTargetExtractSubreg(RISCV::sub_16, DL, VT, Imm).getNode();
1217 } else if (VT.SimpleTy == MVT::f32 && Opc == RISCV::COPY) {
1218 Res =
1219 CurDAG->getTargetExtractSubreg(RISCV::sub_32, DL, VT, Imm).getNode();
1220 } else if (Opc == RISCV::FCVT_D_W_IN32X || Opc == RISCV::FCVT_D_W)
1221 Res = CurDAG->getMachineNode(
1222 Opc, DL, VT, Imm,
1223 CurDAG->getTargetConstant(RISCVFPRndMode::RNE, DL, XLenVT));
1224 else
1225 Res = CurDAG->getMachineNode(Opc, DL, VT, Imm);
1226
1227 // For f64 -0.0, we need to insert a fneg.d idiom.
1228 if (NegZeroF64) {
1229 Opc = RISCV::FSGNJN_D;
1230 if (HasZdinx)
1231 Opc = Is64Bit ? RISCV::FSGNJN_D_INX : RISCV::FSGNJN_D_IN32X;
1232 Res =
1233 CurDAG->getMachineNode(Opc, DL, VT, SDValue(Res, 0), SDValue(Res, 0));
1234 }
1235
1236 ReplaceNode(Node, Res);
1237 return;
1238 }
1239 case RISCVISD::BuildGPRPair:
1240 case RISCVISD::BuildPairF64:
1241 case RISCVISD::BuildPairGPRVec: {
1242 if (Opcode == RISCVISD::BuildPairF64 && !Subtarget->hasStdExtZdinx())
1243 break;
1244
1245 assert((!Subtarget->is64Bit() || Opcode != RISCVISD::BuildPairF64) &&
1246 "BuildPairF64 only handled here on rv32i_zdinx");
1247
1248 SDValue N =
1249 buildGPRPair(CurDAG, DL, VT, Node->getOperand(0), Node->getOperand(1));
1250 ReplaceNode(Node, N.getNode());
1251 return;
1252 }
1253 case RISCVISD::SplitGPRPair:
1254 case RISCVISD::SplitF64:
1255 case RISCVISD::SplitGPRVec: {
1256 if (Subtarget->hasStdExtZdinx() || Opcode != RISCVISD::SplitF64) {
1257 assert((!Subtarget->is64Bit() || Opcode != RISCVISD::SplitF64) &&
1258 "SplitF64 only handled here on rv32i_zdinx");
1259
1260 if (!SDValue(Node, 0).use_empty()) {
1261 SDValue Lo = CurDAG->getTargetExtractSubreg(RISCV::sub_gpr_even, DL,
1262 Node->getValueType(0),
1263 Node->getOperand(0));
1264 ReplaceUses(SDValue(Node, 0), Lo);
1265 }
1266
1267 if (!SDValue(Node, 1).use_empty()) {
1268 SDValue Hi = CurDAG->getTargetExtractSubreg(
1269 RISCV::sub_gpr_odd, DL, Node->getValueType(1), Node->getOperand(0));
1270 ReplaceUses(SDValue(Node, 1), Hi);
1271 }
1272
1273 CurDAG->RemoveDeadNode(Node);
1274 return;
1275 }
1276
1277 if (!Subtarget->hasStdExtZfa())
1278 break;
1279 assert(Subtarget->hasStdExtD() && !Subtarget->is64Bit() &&
1280 "Unexpected subtarget");
1281
1282 // With Zfa, lower to fmv.x.w and fmvh.x.d.
1283 if (!SDValue(Node, 0).use_empty()) {
1284 SDNode *Lo = CurDAG->getMachineNode(RISCV::FMV_X_W_FPR64, DL, VT,
1285 Node->getOperand(0));
1286 ReplaceUses(SDValue(Node, 0), SDValue(Lo, 0));
1287 }
1288 if (!SDValue(Node, 1).use_empty()) {
1289 SDNode *Hi = CurDAG->getMachineNode(RISCV::FMVH_X_D, DL, VT,
1290 Node->getOperand(0));
1291 ReplaceUses(SDValue(Node, 1), SDValue(Hi, 0));
1292 }
1293
1294 CurDAG->RemoveDeadNode(Node);
1295 return;
1296 }
1297 case ISD::SHL: {
1298 auto *N1C = dyn_cast<ConstantSDNode>(Node->getOperand(1));
1299 if (!N1C)
1300 break;
1301 SDValue N0 = Node->getOperand(0);
1302 if (N0.getOpcode() != ISD::AND || !N0.hasOneUse() ||
1304 break;
1305 unsigned ShAmt = N1C->getZExtValue();
1306 uint64_t Mask = N0.getConstantOperandVal(1);
1307
1308 if (isShiftedMask_64(Mask)) {
1309 unsigned XLen = Subtarget->getXLen();
1310 unsigned LeadingZeros = XLen - llvm::bit_width(Mask);
1311 unsigned TrailingZeros = llvm::countr_zero(Mask);
1312 if (ShAmt <= 32 && TrailingZeros > 0 && LeadingZeros == 32) {
1313 // Optimize (shl (and X, C2), C) -> (slli (srliw X, C3), C3+C)
1314 // where C2 has 32 leading zeros and C3 trailing zeros.
1315 SDNode *SRLIW = CurDAG->getMachineNode(
1316 RISCV::SRLIW, DL, VT, N0.getOperand(0),
1317 CurDAG->getTargetConstant(TrailingZeros, DL, VT));
1318 SDNode *SLLI = CurDAG->getMachineNode(
1319 RISCV::SLLI, DL, VT, SDValue(SRLIW, 0),
1320 CurDAG->getTargetConstant(TrailingZeros + ShAmt, DL, VT));
1321 ReplaceNode(Node, SLLI);
1322 return;
1323 }
1324 if (TrailingZeros == 0 && LeadingZeros > ShAmt &&
1325 XLen - LeadingZeros > 11 && LeadingZeros != 32) {
1326 // Optimize (shl (and X, C2), C) -> (srli (slli X, C4), C4-C)
1327 // where C2 has C4 leading zeros and no trailing zeros.
1328 // This is profitable if the "and" was to be lowered to
1329 // (srli (slli X, C4), C4) and not (andi X, C2).
1330 // For "LeadingZeros == 32":
1331 // - with Zba it's just (slli.uw X, C)
1332 // - without Zba a tablegen pattern applies the very same
1333 // transform as we would have done here
1334 SDNode *SLLI = CurDAG->getMachineNode(
1335 RISCV::SLLI, DL, VT, N0.getOperand(0),
1336 CurDAG->getTargetConstant(LeadingZeros, DL, VT));
1337 SDNode *SRLI = CurDAG->getMachineNode(
1338 RISCV::SRLI, DL, VT, SDValue(SLLI, 0),
1339 CurDAG->getTargetConstant(LeadingZeros - ShAmt, DL, VT));
1340 ReplaceNode(Node, SRLI);
1341 return;
1342 }
1343 }
1344 break;
1345 }
1346 case ISD::SRL: {
1347 auto *N1C = dyn_cast<ConstantSDNode>(Node->getOperand(1));
1348 if (!N1C)
1349 break;
1350 SDValue N0 = Node->getOperand(0);
1351 if (N0.getOpcode() != ISD::AND || !isa<ConstantSDNode>(N0.getOperand(1)))
1352 break;
1353 unsigned ShAmt = N1C->getZExtValue();
1354 uint64_t Mask = N0.getConstantOperandVal(1);
1355
1356 // Optimize (srl (and X, C2), C) -> (slli (srliw X, C3), C3-C) where C2 has
1357 // 32 leading zeros and C3 trailing zeros.
1358 if (isShiftedMask_64(Mask) && N0.hasOneUse()) {
1359 unsigned XLen = Subtarget->getXLen();
1360 unsigned LeadingZeros = XLen - llvm::bit_width(Mask);
1361 unsigned TrailingZeros = llvm::countr_zero(Mask);
1362 if (LeadingZeros == 32 && TrailingZeros > ShAmt) {
1363 SDNode *SRLIW = CurDAG->getMachineNode(
1364 RISCV::SRLIW, DL, VT, N0.getOperand(0),
1365 CurDAG->getTargetConstant(TrailingZeros, DL, VT));
1366 SDNode *SLLI = CurDAG->getMachineNode(
1367 RISCV::SLLI, DL, VT, SDValue(SRLIW, 0),
1368 CurDAG->getTargetConstant(TrailingZeros - ShAmt, DL, VT));
1369 ReplaceNode(Node, SLLI);
1370 return;
1371 }
1372 }
1373
1374 // Optimize (srl (and X, C2), C) ->
1375 // (srli (slli X, (XLen-C3), (XLen-C3) + C)
1376 // Where C2 is a mask with C3 trailing ones.
1377 // Taking into account that the C2 may have had lower bits unset by
1378 // SimplifyDemandedBits. This avoids materializing the C2 immediate.
1379 // This pattern occurs when type legalizing right shifts for types with
1380 // less than XLen bits.
1381 Mask |= maskTrailingOnes<uint64_t>(ShAmt);
1382 if (!isMask_64(Mask))
1383 break;
1384 unsigned TrailingOnes = llvm::countr_one(Mask);
1385 if (ShAmt >= TrailingOnes)
1386 break;
1387 // If the mask has 32 trailing ones, use SRLI on RV32 or SRLIW on RV64.
1388 if (TrailingOnes == 32) {
1389 SDNode *SRLI = CurDAG->getMachineNode(
1390 Subtarget->is64Bit() ? RISCV::SRLIW : RISCV::SRLI, DL, VT,
1391 N0.getOperand(0), CurDAG->getTargetConstant(ShAmt, DL, VT));
1392 ReplaceNode(Node, SRLI);
1393 return;
1394 }
1395
1396 // Only do the remaining transforms if the AND has one use.
1397 if (!N0.hasOneUse())
1398 break;
1399
1400 // If C2 is (1 << ShAmt) use bexti or th.tst if possible.
1401 if (HasBitTest && ShAmt + 1 == TrailingOnes) {
1402 SDNode *BEXTI = CurDAG->getMachineNode(
1403 Subtarget->hasStdExtZbs() ? RISCV::BEXTI : RISCV::TH_TST, DL, VT,
1404 N0.getOperand(0), CurDAG->getTargetConstant(ShAmt, DL, VT));
1405 ReplaceNode(Node, BEXTI);
1406 return;
1407 }
1408
1409 const unsigned Msb = TrailingOnes - 1;
1410 const unsigned Lsb = ShAmt;
1411 if (tryUnsignedBitfieldExtract(Node, DL, VT, N0.getOperand(0), Msb, Lsb))
1412 return;
1413
1414 unsigned LShAmt = Subtarget->getXLen() - TrailingOnes;
1415 SDNode *SLLI =
1416 CurDAG->getMachineNode(RISCV::SLLI, DL, VT, N0.getOperand(0),
1417 CurDAG->getTargetConstant(LShAmt, DL, VT));
1418 SDNode *SRLI = CurDAG->getMachineNode(
1419 RISCV::SRLI, DL, VT, SDValue(SLLI, 0),
1420 CurDAG->getTargetConstant(LShAmt + ShAmt, DL, VT));
1421 ReplaceNode(Node, SRLI);
1422 return;
1423 }
1424 case ISD::SRA: {
1426 return;
1427
1429 return;
1430
1431 // Optimize (sra (sext_inreg X, i16), C) ->
1432 // (srai (slli X, (XLen-16), (XLen-16) + C)
1433 // And (sra (sext_inreg X, i8), C) ->
1434 // (srai (slli X, (XLen-8), (XLen-8) + C)
1435 // This can occur when Zbb is enabled, which makes sext_inreg i16/i8 legal.
1436 // This transform matches the code we get without Zbb. The shifts are more
1437 // compressible, and this can help expose CSE opportunities in the sdiv by
1438 // constant optimization.
1439 auto *N1C = dyn_cast<ConstantSDNode>(Node->getOperand(1));
1440 if (!N1C)
1441 break;
1442 SDValue N0 = Node->getOperand(0);
1443 if (N0.getOpcode() != ISD::SIGN_EXTEND_INREG || !N0.hasOneUse())
1444 break;
1445 unsigned ShAmt = N1C->getZExtValue();
1446 unsigned ExtSize =
1447 cast<VTSDNode>(N0.getOperand(1))->getVT().getSizeInBits();
1448 // ExtSize of 32 should use sraiw via tablegen pattern.
1449 if (ExtSize >= 32 || ShAmt >= ExtSize)
1450 break;
1451 unsigned LShAmt = Subtarget->getXLen() - ExtSize;
1452 SDNode *SLLI =
1453 CurDAG->getMachineNode(RISCV::SLLI, DL, VT, N0.getOperand(0),
1454 CurDAG->getTargetConstant(LShAmt, DL, VT));
1455 SDNode *SRAI = CurDAG->getMachineNode(
1456 RISCV::SRAI, DL, VT, SDValue(SLLI, 0),
1457 CurDAG->getTargetConstant(LShAmt + ShAmt, DL, VT));
1458 ReplaceNode(Node, SRAI);
1459 return;
1460 }
1462 // Optimize (sext_inreg (srl X, C), i8/i16) ->
1463 // (srai (slli X, XLen-ExtSize-C), XLen-ExtSize)
1464 // This is a bitfield extract pattern where we're extracting a signed
1465 // 8-bit or 16-bit field from position C.
1466 SDValue N0 = Node->getOperand(0);
1467 if (N0.getOpcode() != ISD::SRL || !N0.hasOneUse())
1468 break;
1469
1470 auto *ShAmtC = dyn_cast<ConstantSDNode>(N0.getOperand(1));
1471 if (!ShAmtC)
1472 break;
1473
1474 unsigned ExtSize =
1475 cast<VTSDNode>(Node->getOperand(1))->getVT().getSizeInBits();
1476 unsigned ShAmt = ShAmtC->getZExtValue();
1477 unsigned XLen = Subtarget->getXLen();
1478
1479 // Only handle types less than 32, and make sure the shift amount is valid.
1480 if (ExtSize >= 32 || ShAmt >= XLen - ExtSize)
1481 break;
1482
1483 unsigned LShAmt = XLen - ExtSize - ShAmt;
1484 SDNode *SLLI =
1485 CurDAG->getMachineNode(RISCV::SLLI, DL, VT, N0.getOperand(0),
1486 CurDAG->getTargetConstant(LShAmt, DL, VT));
1487 SDNode *SRAI = CurDAG->getMachineNode(
1488 RISCV::SRAI, DL, VT, SDValue(SLLI, 0),
1489 CurDAG->getTargetConstant(XLen - ExtSize, DL, VT));
1490 ReplaceNode(Node, SRAI);
1491 return;
1492 }
1493 case ISD::OR: {
1495 return;
1496
1497 break;
1498 }
1499 case ISD::XOR:
1501 return;
1502
1503 break;
1504 case ISD::AND: {
1505 auto *N1C = dyn_cast<ConstantSDNode>(Node->getOperand(1));
1506 if (!N1C)
1507 break;
1508
1509 SDValue N0 = Node->getOperand(0);
1510
1511 bool LeftShift = N0.getOpcode() == ISD::SHL;
1512 if (LeftShift || N0.getOpcode() == ISD::SRL) {
1513 auto *C = dyn_cast<ConstantSDNode>(N0.getOperand(1));
1514 if (!C)
1515 break;
1516 unsigned C2 = C->getZExtValue();
1517 unsigned XLen = Subtarget->getXLen();
1518 assert((C2 > 0 && C2 < XLen) && "Unexpected shift amount!");
1519
1520 // Keep track of whether this is a c.andi. If we can't use c.andi, the
1521 // shift pair might offer more compression opportunities.
1522 // TODO: We could check for C extension here, but we don't have many lit
1523 // tests with the C extension enabled so not checking gets better
1524 // coverage.
1525 // TODO: What if ANDI faster than shift?
1526 bool IsCANDI = isInt<6>(N1C->getSExtValue());
1527
1528 uint64_t C1 = N1C->getZExtValue();
1529
1530 // Clear irrelevant bits in the mask.
1531 if (LeftShift)
1533 else
1534 C1 &= maskTrailingOnes<uint64_t>(XLen - C2);
1535
1536 // Some transforms should only be done if the shift has a single use or
1537 // the AND would become (srli (slli X, 32), 32)
1538 bool OneUseOrZExtW = N0.hasOneUse() || C1 == UINT64_C(0xFFFFFFFF);
1539
1540 SDValue X = N0.getOperand(0);
1541
1542 // Turn (and (srl x, c2) c1) -> (srli (slli x, c3-c2), c3) if c1 is a mask
1543 // with c3 leading zeros.
1544 if (!LeftShift && isMask_64(C1)) {
1545 unsigned Leading = XLen - llvm::bit_width(C1);
1546 if (C2 < Leading) {
1547 // If the number of leading zeros is C2+32 this can be SRLIW.
1548 if (C2 + 32 == Leading) {
1549 SDNode *SRLIW = CurDAG->getMachineNode(
1550 RISCV::SRLIW, DL, VT, X, CurDAG->getTargetConstant(C2, DL, VT));
1551 ReplaceNode(Node, SRLIW);
1552 return;
1553 }
1554
1555 // (and (srl (sexti32 Y), c2), c1) -> (srliw (sraiw Y, 31), c3 - 32)
1556 // if c1 is a mask with c3 leading zeros and c2 >= 32 and c3-c2==1.
1557 //
1558 // This pattern occurs when (i32 (srl (sra 31), c3 - 32)) is type
1559 // legalized and goes through DAG combine.
1560 if (C2 >= 32 && (Leading - C2) == 1 && N0.hasOneUse() &&
1561 X.getOpcode() == ISD::SIGN_EXTEND_INREG &&
1562 cast<VTSDNode>(X.getOperand(1))->getVT() == MVT::i32) {
1563 SDNode *SRAIW =
1564 CurDAG->getMachineNode(RISCV::SRAIW, DL, VT, X.getOperand(0),
1565 CurDAG->getTargetConstant(31, DL, VT));
1566 SDNode *SRLIW = CurDAG->getMachineNode(
1567 RISCV::SRLIW, DL, VT, SDValue(SRAIW, 0),
1568 CurDAG->getTargetConstant(Leading - 32, DL, VT));
1569 ReplaceNode(Node, SRLIW);
1570 return;
1571 }
1572
1573 // Try to use an unsigned bitfield extract (e.g., th.extu) if
1574 // available.
1575 // Transform (and (srl x, C2), C1)
1576 // -> (<bfextract> x, msb, lsb)
1577 //
1578 // Make sure to keep this below the SRLIW cases, as we always want to
1579 // prefer the more common instruction.
1580 const unsigned Msb = llvm::bit_width(C1) + C2 - 1;
1581 const unsigned Lsb = C2;
1582 if (tryUnsignedBitfieldExtract(Node, DL, VT, X, Msb, Lsb))
1583 return;
1584
1585 // (srli (slli x, c3-c2), c3).
1586 // Skip if we could use (zext.w (sraiw X, C2)).
1587 bool Skip = Subtarget->hasStdExtZba() && Leading == 32 &&
1588 X.getOpcode() == ISD::SIGN_EXTEND_INREG &&
1589 cast<VTSDNode>(X.getOperand(1))->getVT() == MVT::i32;
1590 // Also Skip if we can use bexti or th.tst.
1591 Skip |= HasBitTest && Leading == XLen - 1;
1592 if (OneUseOrZExtW && !Skip) {
1593 SDNode *SLLI = CurDAG->getMachineNode(
1594 RISCV::SLLI, DL, VT, X,
1595 CurDAG->getTargetConstant(Leading - C2, DL, VT));
1596 SDNode *SRLI = CurDAG->getMachineNode(
1597 RISCV::SRLI, DL, VT, SDValue(SLLI, 0),
1598 CurDAG->getTargetConstant(Leading, DL, VT));
1599 ReplaceNode(Node, SRLI);
1600 return;
1601 }
1602 }
1603 }
1604
1605 // Turn (and (shl x, c2), c1) -> (srli (slli c2+c3), c3) if c1 is a mask
1606 // shifted by c2 bits with c3 leading zeros.
1607 if (LeftShift && isShiftedMask_64(C1)) {
1608 unsigned Leading = XLen - llvm::bit_width(C1);
1609
1610 if (C2 + Leading < XLen &&
1611 C1 == (maskTrailingOnes<uint64_t>(XLen - (C2 + Leading)) << C2)) {
1612 // Use slli.uw when possible.
1613 if ((XLen - (C2 + Leading)) == 32 && Subtarget->hasStdExtZba()) {
1614 SDNode *SLLI_UW =
1615 CurDAG->getMachineNode(RISCV::SLLI_UW, DL, VT, X,
1616 CurDAG->getTargetConstant(C2, DL, VT));
1617 ReplaceNode(Node, SLLI_UW);
1618 return;
1619 }
1620
1621 // Try to use an unsigned bitfield insert (e.g., nds.bfoz) if
1622 // available.
1623 // Transform (and (shl x, c2), c1)
1624 // -> (<bfinsert> x, msb, lsb)
1625 // e.g.
1626 // (and (shl x, 12), 0x00fff000)
1627 // If XLen = 32 and C2 = 12, then
1628 // Msb = 32 - 8 - 1 = 23 and Lsb = 12
1629 const unsigned Msb = XLen - Leading - 1;
1630 const unsigned Lsb = C2;
1631 if (tryUnsignedBitfieldInsertInZero(Node, DL, VT, X, Msb, Lsb))
1632 return;
1633
1634 if (OneUseOrZExtW && !IsCANDI) {
1635 // (packh x0, X)
1636 if (Subtarget->hasStdExtZbkb() && C1 == 0xff00 && C2 == 8) {
1637 SDNode *PACKH = CurDAG->getMachineNode(
1638 RISCV::PACKH, DL, VT,
1639 CurDAG->getRegister(RISCV::X0, Subtarget->getXLenVT()), X);
1640 ReplaceNode(Node, PACKH);
1641 return;
1642 }
1643 // (srli (slli c2+c3), c3)
1644 SDNode *SLLI = CurDAG->getMachineNode(
1645 RISCV::SLLI, DL, VT, X,
1646 CurDAG->getTargetConstant(C2 + Leading, DL, VT));
1647 SDNode *SRLI = CurDAG->getMachineNode(
1648 RISCV::SRLI, DL, VT, SDValue(SLLI, 0),
1649 CurDAG->getTargetConstant(Leading, DL, VT));
1650 ReplaceNode(Node, SRLI);
1651 return;
1652 }
1653 }
1654 }
1655
1656 // Turn (and (shr x, c2), c1) -> (slli (srli x, c2+c3), c3) if c1 is a
1657 // shifted mask with c2 leading zeros and c3 trailing zeros.
1658 if (!LeftShift && isShiftedMask_64(C1)) {
1659 unsigned Leading = XLen - llvm::bit_width(C1);
1660 unsigned Trailing = llvm::countr_zero(C1);
1661 if (Leading == C2 && C2 + Trailing < XLen && OneUseOrZExtW &&
1662 !IsCANDI) {
1663 unsigned SrliOpc = RISCV::SRLI;
1664 // If the input is zexti32 we should use SRLIW.
1665 if (X.getOpcode() == ISD::AND &&
1666 isa<ConstantSDNode>(X.getOperand(1)) &&
1667 X.getConstantOperandVal(1) == UINT64_C(0xFFFFFFFF)) {
1668 SrliOpc = RISCV::SRLIW;
1669 X = X.getOperand(0);
1670 }
1671 SDNode *SRLI = CurDAG->getMachineNode(
1672 SrliOpc, DL, VT, X,
1673 CurDAG->getTargetConstant(C2 + Trailing, DL, VT));
1674 SDNode *SLLI = CurDAG->getMachineNode(
1675 RISCV::SLLI, DL, VT, SDValue(SRLI, 0),
1676 CurDAG->getTargetConstant(Trailing, DL, VT));
1677 ReplaceNode(Node, SLLI);
1678 return;
1679 }
1680 // If the leading zero count is C2+32, we can use SRLIW instead of SRLI.
1681 if (Leading > 32 && (Leading - 32) == C2 && C2 + Trailing < 32 &&
1682 OneUseOrZExtW && !IsCANDI) {
1683 SDNode *SRLIW = CurDAG->getMachineNode(
1684 RISCV::SRLIW, DL, VT, X,
1685 CurDAG->getTargetConstant(C2 + Trailing, DL, VT));
1686 SDNode *SLLI = CurDAG->getMachineNode(
1687 RISCV::SLLI, DL, VT, SDValue(SRLIW, 0),
1688 CurDAG->getTargetConstant(Trailing, DL, VT));
1689 ReplaceNode(Node, SLLI);
1690 return;
1691 }
1692 // If we have 32 bits in the mask, we can use SLLI_UW instead of SLLI.
1693 if (Trailing > 0 && Leading + Trailing == 32 && C2 + Trailing < XLen &&
1694 OneUseOrZExtW && Subtarget->hasStdExtZba()) {
1695 SDNode *SRLI = CurDAG->getMachineNode(
1696 RISCV::SRLI, DL, VT, X,
1697 CurDAG->getTargetConstant(C2 + Trailing, DL, VT));
1698 SDNode *SLLI_UW = CurDAG->getMachineNode(
1699 RISCV::SLLI_UW, DL, VT, SDValue(SRLI, 0),
1700 CurDAG->getTargetConstant(Trailing, DL, VT));
1701 ReplaceNode(Node, SLLI_UW);
1702 return;
1703 }
1704 }
1705
1706 // Turn (and (shl x, c2), c1) -> (slli (srli x, c3-c2), c3) if c1 is a
1707 // shifted mask with no leading zeros and c3 trailing zeros.
1708 if (LeftShift && isShiftedMask_64(C1)) {
1709 unsigned Leading = XLen - llvm::bit_width(C1);
1710 unsigned Trailing = llvm::countr_zero(C1);
1711 if (Leading == 0 && C2 < Trailing && OneUseOrZExtW && !IsCANDI) {
1712 SDNode *SRLI = CurDAG->getMachineNode(
1713 RISCV::SRLI, DL, VT, X,
1714 CurDAG->getTargetConstant(Trailing - C2, DL, VT));
1715 SDNode *SLLI = CurDAG->getMachineNode(
1716 RISCV::SLLI, DL, VT, SDValue(SRLI, 0),
1717 CurDAG->getTargetConstant(Trailing, DL, VT));
1718 ReplaceNode(Node, SLLI);
1719 return;
1720 }
1721 // If we have (32-C2) leading zeros, we can use SRLIW instead of SRLI.
1722 if (C2 < Trailing && Leading + C2 == 32 && OneUseOrZExtW && !IsCANDI) {
1723 SDNode *SRLIW = CurDAG->getMachineNode(
1724 RISCV::SRLIW, DL, VT, X,
1725 CurDAG->getTargetConstant(Trailing - C2, DL, VT));
1726 SDNode *SLLI = CurDAG->getMachineNode(
1727 RISCV::SLLI, DL, VT, SDValue(SRLIW, 0),
1728 CurDAG->getTargetConstant(Trailing, DL, VT));
1729 ReplaceNode(Node, SLLI);
1730 return;
1731 }
1732
1733 // If we have 32 bits in the mask, we can use SLLI_UW instead of SLLI.
1734 if (C2 < Trailing && Leading + Trailing == 32 && OneUseOrZExtW &&
1735 Subtarget->hasStdExtZba()) {
1736 SDNode *SRLI = CurDAG->getMachineNode(
1737 RISCV::SRLI, DL, VT, X,
1738 CurDAG->getTargetConstant(Trailing - C2, DL, VT));
1739 SDNode *SLLI_UW = CurDAG->getMachineNode(
1740 RISCV::SLLI_UW, DL, VT, SDValue(SRLI, 0),
1741 CurDAG->getTargetConstant(Trailing, DL, VT));
1742 ReplaceNode(Node, SLLI_UW);
1743 return;
1744 }
1745 }
1746 }
1747
1748 const uint64_t C1 = N1C->getZExtValue();
1749
1750 if (N0.getOpcode() == ISD::SRA && isa<ConstantSDNode>(N0.getOperand(1)) &&
1751 N0.hasOneUse()) {
1752 unsigned C2 = N0.getConstantOperandVal(1);
1753 unsigned XLen = Subtarget->getXLen();
1754 assert((C2 > 0 && C2 < XLen) && "Unexpected shift amount!");
1755
1756 SDValue X = N0.getOperand(0);
1757
1758 // Prefer SRAIW + ANDI when possible.
1759 bool Skip = C2 > 32 && isInt<12>(N1C->getSExtValue()) &&
1760 X.getOpcode() == ISD::SHL &&
1761 isa<ConstantSDNode>(X.getOperand(1)) &&
1762 X.getConstantOperandVal(1) == 32;
1763 // Turn (and (sra x, c2), c1) -> (srli (srai x, c2-c3), c3) if c1 is a
1764 // mask with c3 leading zeros and c2 is larger than c3.
1765 if (isMask_64(C1) && !Skip) {
1766 unsigned Leading = XLen - llvm::bit_width(C1);
1767 if (C2 > Leading) {
1768 SDNode *SRAI = CurDAG->getMachineNode(
1769 RISCV::SRAI, DL, VT, X,
1770 CurDAG->getTargetConstant(C2 - Leading, DL, VT));
1771 SDNode *SRLI = CurDAG->getMachineNode(
1772 RISCV::SRLI, DL, VT, SDValue(SRAI, 0),
1773 CurDAG->getTargetConstant(Leading, DL, VT));
1774 ReplaceNode(Node, SRLI);
1775 return;
1776 }
1777 }
1778
1779 // Look for (and (sra y, c2), c1) where c1 is a shifted mask with c3
1780 // leading zeros and c4 trailing zeros. If c2 is greater than c3, we can
1781 // use (slli (srli (srai y, c2 - c3), c3 + c4), c4).
1782 if (isShiftedMask_64(C1) && !Skip) {
1783 unsigned Leading = XLen - llvm::bit_width(C1);
1784 unsigned Trailing = llvm::countr_zero(C1);
1785 if (C2 > Leading && Leading > 0 && Trailing > 0) {
1786 SDNode *SRAI = CurDAG->getMachineNode(
1787 RISCV::SRAI, DL, VT, N0.getOperand(0),
1788 CurDAG->getTargetConstant(C2 - Leading, DL, VT));
1789 SDNode *SRLI = CurDAG->getMachineNode(
1790 RISCV::SRLI, DL, VT, SDValue(SRAI, 0),
1791 CurDAG->getTargetConstant(Leading + Trailing, DL, VT));
1792 SDNode *SLLI = CurDAG->getMachineNode(
1793 RISCV::SLLI, DL, VT, SDValue(SRLI, 0),
1794 CurDAG->getTargetConstant(Trailing, DL, VT));
1795 ReplaceNode(Node, SLLI);
1796 return;
1797 }
1798 }
1799 }
1800
1801 // If C1 masks off the upper bits only (but can't be formed as an
1802 // ANDI), use an unsigned bitfield extract (e.g., th.extu), if
1803 // available.
1804 // Transform (and x, C1)
1805 // -> (<bfextract> x, msb, lsb)
1806 if (isMask_64(C1) && !isInt<12>(N1C->getSExtValue()) &&
1807 !(C1 == 0xffff && Subtarget->hasStdExtZbb()) &&
1808 !(C1 == 0xffffffff && Subtarget->hasStdExtZba())) {
1809 const unsigned Msb = llvm::bit_width(C1) - 1;
1810 if (tryUnsignedBitfieldExtract(Node, DL, VT, N0, Msb, 0))
1811 return;
1812 }
1813
1815 return;
1816
1817 break;
1818 }
1819 case ISD::MUL: {
1820 // Special case for calculating (mul (and X, C2), C1) where the full product
1821 // fits in XLen bits. We can shift X left by the number of leading zeros in
1822 // C2 and shift C1 left by XLen-lzcnt(C2). This will ensure the final
1823 // product has XLen trailing zeros, putting it in the output of MULHU. This
1824 // can avoid materializing a constant in a register for C2.
1825
1826 // RHS should be a constant.
1827 auto *N1C = dyn_cast<ConstantSDNode>(Node->getOperand(1));
1828 if (!N1C || !N1C->hasOneUse())
1829 break;
1830
1831 // LHS should be an AND with constant.
1832 SDValue N0 = Node->getOperand(0);
1833 if (N0.getOpcode() != ISD::AND || !isa<ConstantSDNode>(N0.getOperand(1)))
1834 break;
1835
1837
1838 // Constant should be a mask.
1839 if (!isMask_64(C2))
1840 break;
1841
1842 // If this can be an ANDI or ZEXT.H, don't do this if the ANDI/ZEXT has
1843 // multiple users or the constant is a simm12. This prevents inserting a
1844 // shift and still have uses of the AND/ZEXT. Shifting a simm12 will likely
1845 // make it more costly to materialize. Otherwise, using a SLLI might allow
1846 // it to be compressed.
1847 bool IsANDIOrZExt =
1848 isInt<12>(C2) ||
1849 (C2 == UINT64_C(0xFFFF) && Subtarget->hasStdExtZbb());
1850 // With XTHeadBb, we can use TH.EXTU.
1851 IsANDIOrZExt |= C2 == UINT64_C(0xFFFF) && Subtarget->hasVendorXTHeadBb();
1852 if (IsANDIOrZExt && (isInt<12>(N1C->getSExtValue()) || !N0.hasOneUse()))
1853 break;
1854 // If this can be a ZEXT.w, don't do this if the ZEXT has multiple users or
1855 // the constant is a simm32.
1856 bool IsZExtW = C2 == UINT64_C(0xFFFFFFFF) && Subtarget->hasStdExtZba();
1857 // With XTHeadBb, we can use TH.EXTU.
1858 IsZExtW |= C2 == UINT64_C(0xFFFFFFFF) && Subtarget->hasVendorXTHeadBb();
1859 if (IsZExtW && (isInt<32>(N1C->getSExtValue()) || !N0.hasOneUse()))
1860 break;
1861
1862 // We need to shift left the AND input and C1 by a total of XLen bits.
1863
1864 // How far left do we need to shift the AND input?
1865 unsigned XLen = Subtarget->getXLen();
1866 unsigned LeadingZeros = XLen - llvm::bit_width(C2);
1867
1868 // The constant gets shifted by the remaining amount unless that would
1869 // shift bits out.
1870 uint64_t C1 = N1C->getZExtValue();
1871 unsigned ConstantShift = XLen - LeadingZeros;
1872 if (ConstantShift > (XLen - llvm::bit_width(C1)))
1873 break;
1874
1875 uint64_t ShiftedC1 = C1 << ConstantShift;
1876 // If this RV32, we need to sign extend the constant.
1877 if (XLen == 32)
1878 ShiftedC1 = SignExtend64<32>(ShiftedC1);
1879
1880 // Create (mulhu (slli X, lzcnt(C2)), C1 << (XLen - lzcnt(C2))).
1881 SDNode *Imm = selectImm(CurDAG, DL, VT, ShiftedC1, *Subtarget).getNode();
1882 SDNode *SLLI =
1883 CurDAG->getMachineNode(RISCV::SLLI, DL, VT, N0.getOperand(0),
1884 CurDAG->getTargetConstant(LeadingZeros, DL, VT));
1885 SDNode *MULHU = CurDAG->getMachineNode(RISCV::MULHU, DL, VT,
1886 SDValue(SLLI, 0), SDValue(Imm, 0));
1887 ReplaceNode(Node, MULHU);
1888 return;
1889 }
1890 case ISD::SMUL_LOHI:
1891 case ISD::UMUL_LOHI:
1892 case RISCVISD::WMULSU:
1893 case RISCVISD::WADDU:
1894 case RISCVISD::WSUBU: {
1895 assert(Subtarget->hasStdExtP() && !Subtarget->is64Bit() && VT == MVT::i32 &&
1896 "Unexpected opcode");
1897
1898 unsigned Opc;
1899 switch (Node->getOpcode()) {
1900 default:
1901 llvm_unreachable("Unexpected opcode");
1902 case ISD::SMUL_LOHI:
1903 Opc = RISCV::WMUL;
1904 break;
1905 case ISD::UMUL_LOHI:
1906 Opc = RISCV::WMULU;
1907 break;
1908 case RISCVISD::WMULSU:
1909 Opc = RISCV::WMULSU;
1910 break;
1911 case RISCVISD::WADDU:
1912 Opc = RISCV::WADDU;
1913 break;
1914 case RISCVISD::WSUBU:
1915 Opc = RISCV::WSUBU;
1916 break;
1917 }
1918
1919 SDNode *Result = CurDAG->getMachineNode(
1920 Opc, DL, MVT::Untyped, Node->getOperand(0), Node->getOperand(1));
1921
1922 auto [Lo, Hi] = extractGPRPair(CurDAG, DL, SDValue(Result, 0));
1923 ReplaceUses(SDValue(Node, 0), Lo);
1924 ReplaceUses(SDValue(Node, 1), Hi);
1925 CurDAG->RemoveDeadNode(Node);
1926 return;
1927 }
1928 case RISCVISD::WSLL:
1929 case RISCVISD::WSLA: {
1930 // Custom select WSLL/WSLA for RV32P.
1931 assert(Subtarget->hasStdExtP() && !Subtarget->is64Bit() && VT == MVT::i32 &&
1932 "Unexpected opcode");
1933
1934 bool IsSigned = Node->getOpcode() == RISCVISD::WSLA;
1935
1936 SDValue ShAmt = Node->getOperand(1);
1937
1938 unsigned Opc;
1939
1940 auto *ShAmtC = dyn_cast<ConstantSDNode>(ShAmt);
1941 if (ShAmtC && ShAmtC->getZExtValue() < 64) {
1942 Opc = IsSigned ? RISCV::WSLAI : RISCV::WSLLI;
1943 ShAmt = CurDAG->getTargetConstant(ShAmtC->getZExtValue(), DL, XLenVT);
1944 } else {
1945 Opc = IsSigned ? RISCV::WSLA : RISCV::WSLL;
1946 }
1947
1948 SDNode *WShift = CurDAG->getMachineNode(Opc, DL, MVT::Untyped,
1949 Node->getOperand(0), ShAmt);
1950
1951 auto [Lo, Hi] = extractGPRPair(CurDAG, DL, SDValue(WShift, 0));
1952 ReplaceUses(SDValue(Node, 0), Lo);
1953 ReplaceUses(SDValue(Node, 1), Hi);
1954 CurDAG->RemoveDeadNode(Node);
1955 return;
1956 }
1957 case ISD::LOAD: {
1958 if (tryIndexedLoad(Node))
1959 return;
1960
1961 if (Subtarget->hasVendorXCVmem() && !Subtarget->is64Bit()) {
1962 // We match post-incrementing load here
1964 if (Load->getAddressingMode() != ISD::POST_INC)
1965 break;
1966
1967 SDValue Chain = Node->getOperand(0);
1968 SDValue Base = Node->getOperand(1);
1969 SDValue Offset = Node->getOperand(2);
1970
1971 bool Simm12 = false;
1972 bool SignExtend = Load->getExtensionType() == ISD::SEXTLOAD;
1973
1974 if (auto ConstantOffset = dyn_cast<ConstantSDNode>(Offset)) {
1975 int ConstantVal = ConstantOffset->getSExtValue();
1976 Simm12 = isInt<12>(ConstantVal);
1977 if (Simm12)
1978 Offset = CurDAG->getSignedTargetConstant(ConstantVal, SDLoc(Offset),
1979 Offset.getValueType());
1980 }
1981
1982 unsigned Opcode = 0;
1983 switch (Load->getMemoryVT().getSimpleVT().SimpleTy) {
1984 case MVT::i8:
1985 if (Simm12 && SignExtend)
1986 Opcode = RISCV::CV_LB_ri_inc;
1987 else if (Simm12 && !SignExtend)
1988 Opcode = RISCV::CV_LBU_ri_inc;
1989 else if (!Simm12 && SignExtend)
1990 Opcode = RISCV::CV_LB_rr_inc;
1991 else
1992 Opcode = RISCV::CV_LBU_rr_inc;
1993 break;
1994 case MVT::i16:
1995 if (Simm12 && SignExtend)
1996 Opcode = RISCV::CV_LH_ri_inc;
1997 else if (Simm12 && !SignExtend)
1998 Opcode = RISCV::CV_LHU_ri_inc;
1999 else if (!Simm12 && SignExtend)
2000 Opcode = RISCV::CV_LH_rr_inc;
2001 else
2002 Opcode = RISCV::CV_LHU_rr_inc;
2003 break;
2004 case MVT::i32:
2005 if (Simm12)
2006 Opcode = RISCV::CV_LW_ri_inc;
2007 else
2008 Opcode = RISCV::CV_LW_rr_inc;
2009 break;
2010 default:
2011 break;
2012 }
2013 if (!Opcode)
2014 break;
2015
2016 ReplaceNode(Node, CurDAG->getMachineNode(Opcode, DL, XLenVT, XLenVT,
2017 Chain.getSimpleValueType(), Base,
2018 Offset, Chain));
2019 return;
2020 }
2021 break;
2022 }
2023 case RISCVISD::LD_RV32: {
2024 assert(Subtarget->hasStdExtZilsd() && "LD_RV32 is only used with Zilsd");
2025
2027 SDValue Chain = Node->getOperand(0);
2028 SDValue Addr = Node->getOperand(1);
2030
2031 SDValue Ops[] = {Base, Offset, Chain};
2032 MachineSDNode *New = CurDAG->getMachineNode(
2033 RISCV::LD_RV32, DL, {MVT::Untyped, MVT::Other}, Ops);
2034 auto [Lo, Hi] = extractGPRPair(CurDAG, DL, SDValue(New, 0));
2035 CurDAG->setNodeMemRefs(New, {cast<MemSDNode>(Node)->getMemOperand()});
2036 ReplaceUses(SDValue(Node, 0), Lo);
2037 ReplaceUses(SDValue(Node, 1), Hi);
2038 ReplaceUses(SDValue(Node, 2), SDValue(New, 1));
2039 CurDAG->RemoveDeadNode(Node);
2040 return;
2041 }
2042 case RISCVISD::SD_RV32: {
2044 SDValue Chain = Node->getOperand(0);
2045 SDValue Addr = Node->getOperand(3);
2047
2048 SDValue Lo = Node->getOperand(1);
2049 SDValue Hi = Node->getOperand(2);
2050
2051 SDValue RegPair;
2052 // Peephole to use X0_Pair for storing zero.
2054 RegPair = CurDAG->getRegister(RISCV::X0_Pair, MVT::Untyped);
2055 } else {
2056 RegPair = buildGPRPair(CurDAG, DL, MVT::Untyped, Lo, Hi);
2057 }
2058
2059 MachineSDNode *New = CurDAG->getMachineNode(RISCV::SD_RV32, DL, MVT::Other,
2060 {RegPair, Base, Offset, Chain});
2061 CurDAG->setNodeMemRefs(New, {cast<MemSDNode>(Node)->getMemOperand()});
2062 ReplaceUses(SDValue(Node, 0), SDValue(New, 0));
2063 CurDAG->RemoveDeadNode(Node);
2064 return;
2065 }
2066 case RISCVISD::ADDD:
2067 // Try to match WMACC pattern: ADDD where one operand pair comes from a
2068 // widening multiply.
2070 return;
2071
2072 // Fall through to regular ADDD selection.
2073 [[fallthrough]];
2074 case RISCVISD::SUBD:
2075 case RISCVISD::PPAIRE_DB:
2076 case RISCVISD::WADDAU:
2077 case RISCVISD::WSUBAU: {
2078 assert(!Subtarget->is64Bit() && "Unexpected opcode");
2079 assert(
2080 (Node->getOpcode() != RISCVISD::PPAIRE_DB || Subtarget->hasStdExtP()) &&
2081 "Unexpected opcode");
2082
2083 SDValue Op0Lo = Node->getOperand(0);
2084 SDValue Op0Hi = Node->getOperand(1);
2085
2086 SDValue Op0;
2087 if (isNullConstant(Op0Lo) && isNullConstant(Op0Hi)) {
2088 Op0 = CurDAG->getRegister(RISCV::X0_Pair, MVT::Untyped);
2089 } else {
2090 Op0 = buildGPRPair(CurDAG, DL, MVT::Untyped, Op0Lo, Op0Hi);
2091 }
2092
2093 SDValue Op1Lo = Node->getOperand(2);
2094 SDValue Op1Hi = Node->getOperand(3);
2095
2096 MachineSDNode *New;
2097 if (Opcode == RISCVISD::WADDAU || Opcode == RISCVISD::WSUBAU) {
2098 // WADDAU/WSUBAU: Op0 is the accumulator (GPRPair), Op1Lo and Op1Hi are
2099 // the two 32-bit values.
2100 unsigned Opc = Opcode == RISCVISD::WADDAU ? RISCV::WADDAU : RISCV::WSUBAU;
2101 New = CurDAG->getMachineNode(Opc, DL, MVT::Untyped, Op0, Op1Lo, Op1Hi);
2102 } else {
2103 SDValue Op1 = buildGPRPair(CurDAG, DL, MVT::Untyped, Op1Lo, Op1Hi);
2104
2105 unsigned Opc;
2106 switch (Opcode) {
2107 default:
2108 llvm_unreachable("Unexpected opcode");
2109 case RISCVISD::ADDD:
2110 Opc = RISCV::ADDD;
2111 break;
2112 case RISCVISD::SUBD:
2113 Opc = RISCV::SUBD;
2114 break;
2115 case RISCVISD::PPAIRE_DB:
2116 Opc = RISCV::PPAIRE_DB;
2117 break;
2118 }
2119 New = CurDAG->getMachineNode(Opc, DL, MVT::Untyped, Op0, Op1);
2120 }
2121
2122 auto [Lo, Hi] = extractGPRPair(CurDAG, DL, SDValue(New, 0));
2123 ReplaceUses(SDValue(Node, 0), Lo);
2124 ReplaceUses(SDValue(Node, 1), Hi);
2125 CurDAG->RemoveDeadNode(Node);
2126 return;
2127 }
2129 unsigned IntNo = Node->getConstantOperandVal(0);
2130 switch (IntNo) {
2131 // By default we do not custom select any intrinsic.
2132 default:
2133 break;
2134 case Intrinsic::riscv_vmsgeu:
2135 case Intrinsic::riscv_vmsge: {
2136 SDValue Src1 = Node->getOperand(1);
2137 SDValue Src2 = Node->getOperand(2);
2138 bool IsUnsigned = IntNo == Intrinsic::riscv_vmsgeu;
2139 bool IsCmpConstant = false;
2140 bool IsCmpMinimum = false;
2141 // Only custom select scalar second operand.
2142 if (Src2.getValueType() != XLenVT)
2143 break;
2144 // Small constants are handled with patterns.
2145 int64_t CVal = 0;
2146 MVT Src1VT = Src1.getSimpleValueType();
2147 if (auto *C = dyn_cast<ConstantSDNode>(Src2)) {
2148 IsCmpConstant = true;
2149 CVal = C->getSExtValue();
2150 if (CVal >= -15 && CVal <= 16) {
2151 if (!IsUnsigned || CVal != 0)
2152 break;
2153 IsCmpMinimum = true;
2154 } else if (!IsUnsigned && CVal == APInt::getSignedMinValue(
2155 Src1VT.getScalarSizeInBits())
2156 .getSExtValue()) {
2157 IsCmpMinimum = true;
2158 }
2159 }
2160 unsigned VMSLTOpcode, VMNANDOpcode, VMSetOpcode, VMSGTOpcode;
2161 switch (RISCVTargetLowering::getLMUL(Src1VT)) {
2162 default:
2163 llvm_unreachable("Unexpected LMUL!");
2164#define CASE_VMSLT_OPCODES(lmulenum, suffix) \
2165 case RISCVVType::lmulenum: \
2166 VMSLTOpcode = IsUnsigned ? RISCV::PseudoVMSLTU_VX_##suffix \
2167 : RISCV::PseudoVMSLT_VX_##suffix; \
2168 VMSGTOpcode = IsUnsigned ? RISCV::PseudoVMSGTU_VX_##suffix \
2169 : RISCV::PseudoVMSGT_VX_##suffix; \
2170 break;
2171 CASE_VMSLT_OPCODES(LMUL_F8, MF8)
2172 CASE_VMSLT_OPCODES(LMUL_F4, MF4)
2173 CASE_VMSLT_OPCODES(LMUL_F2, MF2)
2174 CASE_VMSLT_OPCODES(LMUL_1, M1)
2175 CASE_VMSLT_OPCODES(LMUL_2, M2)
2176 CASE_VMSLT_OPCODES(LMUL_4, M4)
2177 CASE_VMSLT_OPCODES(LMUL_8, M8)
2178#undef CASE_VMSLT_OPCODES
2179 }
2180 // Mask operations use the LMUL from the mask type.
2181 switch (RISCVTargetLowering::getLMUL(VT)) {
2182 default:
2183 llvm_unreachable("Unexpected LMUL!");
2184#define CASE_VMNAND_VMSET_OPCODES(lmulenum, suffix) \
2185 case RISCVVType::lmulenum: \
2186 VMNANDOpcode = RISCV::PseudoVMNAND_MM_##suffix; \
2187 VMSetOpcode = RISCV::PseudoVMSET_M_##suffix; \
2188 break;
2189 CASE_VMNAND_VMSET_OPCODES(LMUL_F8, B64)
2190 CASE_VMNAND_VMSET_OPCODES(LMUL_F4, B32)
2191 CASE_VMNAND_VMSET_OPCODES(LMUL_F2, B16)
2192 CASE_VMNAND_VMSET_OPCODES(LMUL_1, B8)
2193 CASE_VMNAND_VMSET_OPCODES(LMUL_2, B4)
2194 CASE_VMNAND_VMSET_OPCODES(LMUL_4, B2)
2195 CASE_VMNAND_VMSET_OPCODES(LMUL_8, B1)
2196#undef CASE_VMNAND_VMSET_OPCODES
2197 }
2198 SDValue SEW = CurDAG->getTargetConstant(
2199 Log2_32(Src1VT.getScalarSizeInBits()), DL, XLenVT);
2200 SDValue MaskSEW = CurDAG->getTargetConstant(0, DL, XLenVT);
2201 SDValue VL;
2202 selectVLOp(Node->getOperand(3), VL);
2203
2204 // If vmsge(u) with minimum value, expand it to vmset.
2205 if (IsCmpMinimum) {
2207 CurDAG->getMachineNode(VMSetOpcode, DL, VT, VL, MaskSEW));
2208 return;
2209 }
2210
2211 if (IsCmpConstant) {
2212 SDValue Imm =
2213 selectImm(CurDAG, SDLoc(Src2), XLenVT, CVal - 1, *Subtarget);
2214
2215 ReplaceNode(Node, CurDAG->getMachineNode(VMSGTOpcode, DL, VT,
2216 {Src1, Imm, VL, SEW}));
2217 return;
2218 }
2219
2220 // Expand to
2221 // vmslt{u}.vx vd, va, x; vmnand.mm vd, vd, vd
2222 SDValue Cmp = SDValue(
2223 CurDAG->getMachineNode(VMSLTOpcode, DL, VT, {Src1, Src2, VL, SEW}),
2224 0);
2225 ReplaceNode(Node, CurDAG->getMachineNode(VMNANDOpcode, DL, VT,
2226 {Cmp, Cmp, VL, MaskSEW}));
2227 return;
2228 }
2229 case Intrinsic::riscv_vmsgeu_mask:
2230 case Intrinsic::riscv_vmsge_mask: {
2231 SDValue Src1 = Node->getOperand(2);
2232 SDValue Src2 = Node->getOperand(3);
2233 bool IsUnsigned = IntNo == Intrinsic::riscv_vmsgeu_mask;
2234 bool IsCmpConstant = false;
2235 bool IsCmpMinimum = false;
2236 // Only custom select scalar second operand.
2237 if (Src2.getValueType() != XLenVT)
2238 break;
2239 // Small constants are handled with patterns.
2240 MVT Src1VT = Src1.getSimpleValueType();
2241 int64_t CVal = 0;
2242 if (auto *C = dyn_cast<ConstantSDNode>(Src2)) {
2243 IsCmpConstant = true;
2244 CVal = C->getSExtValue();
2245 if (CVal >= -15 && CVal <= 16) {
2246 if (!IsUnsigned || CVal != 0)
2247 break;
2248 IsCmpMinimum = true;
2249 } else if (!IsUnsigned && CVal == APInt::getSignedMinValue(
2250 Src1VT.getScalarSizeInBits())
2251 .getSExtValue()) {
2252 IsCmpMinimum = true;
2253 }
2254 }
2255 unsigned VMSLTOpcode, VMSLTMaskOpcode, VMXOROpcode, VMANDNOpcode,
2256 VMOROpcode, VMSGTMaskOpcode;
2257 switch (RISCVTargetLowering::getLMUL(Src1VT)) {
2258 default:
2259 llvm_unreachable("Unexpected LMUL!");
2260#define CASE_VMSLT_OPCODES(lmulenum, suffix) \
2261 case RISCVVType::lmulenum: \
2262 VMSLTOpcode = IsUnsigned ? RISCV::PseudoVMSLTU_VX_##suffix \
2263 : RISCV::PseudoVMSLT_VX_##suffix; \
2264 VMSLTMaskOpcode = IsUnsigned ? RISCV::PseudoVMSLTU_VX_##suffix##_MASK \
2265 : RISCV::PseudoVMSLT_VX_##suffix##_MASK; \
2266 VMSGTMaskOpcode = IsUnsigned ? RISCV::PseudoVMSGTU_VX_##suffix##_MASK \
2267 : RISCV::PseudoVMSGT_VX_##suffix##_MASK; \
2268 break;
2269 CASE_VMSLT_OPCODES(LMUL_F8, MF8)
2270 CASE_VMSLT_OPCODES(LMUL_F4, MF4)
2271 CASE_VMSLT_OPCODES(LMUL_F2, MF2)
2272 CASE_VMSLT_OPCODES(LMUL_1, M1)
2273 CASE_VMSLT_OPCODES(LMUL_2, M2)
2274 CASE_VMSLT_OPCODES(LMUL_4, M4)
2275 CASE_VMSLT_OPCODES(LMUL_8, M8)
2276#undef CASE_VMSLT_OPCODES
2277 }
2278 // Mask operations use the LMUL from the mask type.
2279 switch (RISCVTargetLowering::getLMUL(VT)) {
2280 default:
2281 llvm_unreachable("Unexpected LMUL!");
2282#define CASE_VMXOR_VMANDN_VMOR_OPCODES(lmulenum, suffix) \
2283 case RISCVVType::lmulenum: \
2284 VMXOROpcode = RISCV::PseudoVMXOR_MM_##suffix; \
2285 VMANDNOpcode = RISCV::PseudoVMANDN_MM_##suffix; \
2286 VMOROpcode = RISCV::PseudoVMOR_MM_##suffix; \
2287 break;
2288 CASE_VMXOR_VMANDN_VMOR_OPCODES(LMUL_F8, B64)
2289 CASE_VMXOR_VMANDN_VMOR_OPCODES(LMUL_F4, B32)
2290 CASE_VMXOR_VMANDN_VMOR_OPCODES(LMUL_F2, B16)
2295#undef CASE_VMXOR_VMANDN_VMOR_OPCODES
2296 }
2297 SDValue SEW = CurDAG->getTargetConstant(
2298 Log2_32(Src1VT.getScalarSizeInBits()), DL, XLenVT);
2299 SDValue MaskSEW = CurDAG->getTargetConstant(0, DL, XLenVT);
2300 SDValue VL;
2301 selectVLOp(Node->getOperand(5), VL);
2302 SDValue MaskedOff = Node->getOperand(1);
2303 SDValue Mask = Node->getOperand(4);
2304
2305 // If vmsge(u) with minimum value, expand it to vmor mask, maskedoff.
2306 if (IsCmpMinimum) {
2307 // We don't need vmor if the MaskedOff and the Mask are the same
2308 // value.
2309 if (Mask == MaskedOff) {
2310 ReplaceUses(Node, Mask.getNode());
2311 return;
2312 }
2314 CurDAG->getMachineNode(VMOROpcode, DL, VT,
2315 {Mask, MaskedOff, VL, MaskSEW}));
2316 return;
2317 }
2318
2319 // If the MaskedOff value and the Mask are the same value use
2320 // vmslt{u}.vx vt, va, x; vmandn.mm vd, vd, vt
2321 // This avoids needing to copy v0 to vd before starting the next sequence.
2322 if (Mask == MaskedOff) {
2323 SDValue Cmp = SDValue(
2324 CurDAG->getMachineNode(VMSLTOpcode, DL, VT, {Src1, Src2, VL, SEW}),
2325 0);
2326 ReplaceNode(Node, CurDAG->getMachineNode(VMANDNOpcode, DL, VT,
2327 {Mask, Cmp, VL, MaskSEW}));
2328 return;
2329 }
2330
2331 SDValue PolicyOp =
2332 CurDAG->getTargetConstant(RISCVVType::TAIL_AGNOSTIC, DL, XLenVT);
2333
2334 if (IsCmpConstant) {
2335 SDValue Imm =
2336 selectImm(CurDAG, SDLoc(Src2), XLenVT, CVal - 1, *Subtarget);
2337
2338 ReplaceNode(Node, CurDAG->getMachineNode(
2339 VMSGTMaskOpcode, DL, VT,
2340 {MaskedOff, Src1, Imm, Mask, VL, SEW, PolicyOp}));
2341 return;
2342 }
2343
2344 // Otherwise use
2345 // vmslt{u}.vx vd, va, x, v0.t; vmxor.mm vd, vd, v0
2346 // The result is mask undisturbed.
2347 // We use the same instructions to emulate mask agnostic behavior, because
2348 // the agnostic result can be either undisturbed or all 1.
2349 SDValue Cmp = SDValue(CurDAG->getMachineNode(VMSLTMaskOpcode, DL, VT,
2350 {MaskedOff, Src1, Src2, Mask,
2351 VL, SEW, PolicyOp}),
2352 0);
2353 // vmxor.mm vd, vd, v0 is used to update active value.
2354 ReplaceNode(Node, CurDAG->getMachineNode(VMXOROpcode, DL, VT,
2355 {Cmp, Mask, VL, MaskSEW}));
2356 return;
2357 }
2358 case Intrinsic::riscv_vsetvli:
2359 case Intrinsic::riscv_vsetvlimax:
2360 return selectVSETVLI(Node);
2361 case Intrinsic::riscv_sf_vsettnt:
2362 case Intrinsic::riscv_sf_vsettm:
2363 case Intrinsic::riscv_sf_vsettk:
2364 return selectXSfmmVSET(Node);
2365 }
2366 break;
2367 }
2369 unsigned IntNo = Node->getConstantOperandVal(1);
2370 switch (IntNo) {
2371 // By default we do not custom select any intrinsic.
2372 default:
2373 break;
2374 case Intrinsic::riscv_vlseg2:
2375 case Intrinsic::riscv_vlseg3:
2376 case Intrinsic::riscv_vlseg4:
2377 case Intrinsic::riscv_vlseg5:
2378 case Intrinsic::riscv_vlseg6:
2379 case Intrinsic::riscv_vlseg7:
2380 case Intrinsic::riscv_vlseg8: {
2381 selectVLSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2382 /*IsStrided*/ false);
2383 return;
2384 }
2385 case Intrinsic::riscv_vlseg2_mask:
2386 case Intrinsic::riscv_vlseg3_mask:
2387 case Intrinsic::riscv_vlseg4_mask:
2388 case Intrinsic::riscv_vlseg5_mask:
2389 case Intrinsic::riscv_vlseg6_mask:
2390 case Intrinsic::riscv_vlseg7_mask:
2391 case Intrinsic::riscv_vlseg8_mask: {
2392 selectVLSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2393 /*IsStrided*/ false);
2394 return;
2395 }
2396 case Intrinsic::riscv_vlsseg2:
2397 case Intrinsic::riscv_vlsseg3:
2398 case Intrinsic::riscv_vlsseg4:
2399 case Intrinsic::riscv_vlsseg5:
2400 case Intrinsic::riscv_vlsseg6:
2401 case Intrinsic::riscv_vlsseg7:
2402 case Intrinsic::riscv_vlsseg8: {
2403 selectVLSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2404 /*IsStrided*/ true);
2405 return;
2406 }
2407 case Intrinsic::riscv_vlsseg2_mask:
2408 case Intrinsic::riscv_vlsseg3_mask:
2409 case Intrinsic::riscv_vlsseg4_mask:
2410 case Intrinsic::riscv_vlsseg5_mask:
2411 case Intrinsic::riscv_vlsseg6_mask:
2412 case Intrinsic::riscv_vlsseg7_mask:
2413 case Intrinsic::riscv_vlsseg8_mask: {
2414 selectVLSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2415 /*IsStrided*/ true);
2416 return;
2417 }
2418 case Intrinsic::riscv_vloxseg2:
2419 case Intrinsic::riscv_vloxseg3:
2420 case Intrinsic::riscv_vloxseg4:
2421 case Intrinsic::riscv_vloxseg5:
2422 case Intrinsic::riscv_vloxseg6:
2423 case Intrinsic::riscv_vloxseg7:
2424 case Intrinsic::riscv_vloxseg8:
2425 selectVLXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2426 /*IsOrdered*/ true);
2427 return;
2428 case Intrinsic::riscv_vluxseg2:
2429 case Intrinsic::riscv_vluxseg3:
2430 case Intrinsic::riscv_vluxseg4:
2431 case Intrinsic::riscv_vluxseg5:
2432 case Intrinsic::riscv_vluxseg6:
2433 case Intrinsic::riscv_vluxseg7:
2434 case Intrinsic::riscv_vluxseg8:
2435 selectVLXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2436 /*IsOrdered*/ false);
2437 return;
2438 case Intrinsic::riscv_vloxseg2_mask:
2439 case Intrinsic::riscv_vloxseg3_mask:
2440 case Intrinsic::riscv_vloxseg4_mask:
2441 case Intrinsic::riscv_vloxseg5_mask:
2442 case Intrinsic::riscv_vloxseg6_mask:
2443 case Intrinsic::riscv_vloxseg7_mask:
2444 case Intrinsic::riscv_vloxseg8_mask:
2445 selectVLXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2446 /*IsOrdered*/ true);
2447 return;
2448 case Intrinsic::riscv_vluxseg2_mask:
2449 case Intrinsic::riscv_vluxseg3_mask:
2450 case Intrinsic::riscv_vluxseg4_mask:
2451 case Intrinsic::riscv_vluxseg5_mask:
2452 case Intrinsic::riscv_vluxseg6_mask:
2453 case Intrinsic::riscv_vluxseg7_mask:
2454 case Intrinsic::riscv_vluxseg8_mask:
2455 selectVLXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2456 /*IsOrdered*/ false);
2457 return;
2458 case Intrinsic::riscv_vlseg8ff:
2459 case Intrinsic::riscv_vlseg7ff:
2460 case Intrinsic::riscv_vlseg6ff:
2461 case Intrinsic::riscv_vlseg5ff:
2462 case Intrinsic::riscv_vlseg4ff:
2463 case Intrinsic::riscv_vlseg3ff:
2464 case Intrinsic::riscv_vlseg2ff: {
2465 selectVLSEGFF(Node, getSegInstNF(IntNo), /*IsMasked*/ false);
2466 return;
2467 }
2468 case Intrinsic::riscv_vlseg8ff_mask:
2469 case Intrinsic::riscv_vlseg7ff_mask:
2470 case Intrinsic::riscv_vlseg6ff_mask:
2471 case Intrinsic::riscv_vlseg5ff_mask:
2472 case Intrinsic::riscv_vlseg4ff_mask:
2473 case Intrinsic::riscv_vlseg3ff_mask:
2474 case Intrinsic::riscv_vlseg2ff_mask: {
2475 selectVLSEGFF(Node, getSegInstNF(IntNo), /*IsMasked*/ true);
2476 return;
2477 }
2478 case Intrinsic::riscv_vloxei:
2479 case Intrinsic::riscv_vloxei_mask:
2480 case Intrinsic::riscv_vluxei:
2481 case Intrinsic::riscv_vluxei_mask: {
2482 bool IsMasked = IntNo == Intrinsic::riscv_vloxei_mask ||
2483 IntNo == Intrinsic::riscv_vluxei_mask;
2484 bool IsOrdered = IntNo == Intrinsic::riscv_vloxei ||
2485 IntNo == Intrinsic::riscv_vloxei_mask;
2486
2487 MVT VT = Node->getSimpleValueType(0);
2488 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
2489
2490 unsigned CurOp = 2;
2491 SmallVector<SDValue, 8> Operands;
2492 Operands.push_back(Node->getOperand(CurOp++));
2493
2494 MVT IndexVT;
2495 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked,
2496 /*IsStridedOrIndexed*/ true, Operands,
2497 /*IsLoad=*/true, &IndexVT);
2498
2500 "Element count mismatch");
2501
2504 unsigned IndexLog2EEW = Log2_32(IndexVT.getScalarSizeInBits());
2505 if (IndexLog2EEW == 6 && !Subtarget->is64Bit()) {
2506 reportFatalUsageError("The V extension does not support EEW=64 for "
2507 "index values when XLEN=32");
2508 }
2509 const RISCV::VLX_VSXPseudo *P = RISCV::getVLXPseudo(
2510 IsMasked, IsOrdered, IndexLog2EEW, static_cast<unsigned>(LMUL),
2511 static_cast<unsigned>(IndexLMUL));
2512 MachineSDNode *Load =
2513 CurDAG->getMachineNode(P->Pseudo, DL, Node->getVTList(), Operands);
2514
2515 CurDAG->setNodeMemRefs(Load, {cast<MemSDNode>(Node)->getMemOperand()});
2516
2517 ReplaceNode(Node, Load);
2518 return;
2519 }
2520 case Intrinsic::riscv_vlm:
2521 case Intrinsic::riscv_vle:
2522 case Intrinsic::riscv_vle_mask:
2523 case Intrinsic::riscv_vlse:
2524 case Intrinsic::riscv_vlse_mask: {
2525 bool IsMasked = IntNo == Intrinsic::riscv_vle_mask ||
2526 IntNo == Intrinsic::riscv_vlse_mask;
2527 bool IsStrided =
2528 IntNo == Intrinsic::riscv_vlse || IntNo == Intrinsic::riscv_vlse_mask;
2529
2530 MVT VT = Node->getSimpleValueType(0);
2531 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
2532
2533 // The riscv_vlm intrinsic are always tail agnostic and no passthru
2534 // operand at the IR level. In pseudos, they have both policy and
2535 // passthru operand. The passthru operand is needed to track the
2536 // "tail undefined" state, and the policy is there just for
2537 // for consistency - it will always be "don't care" for the
2538 // unmasked form.
2539 bool HasPassthruOperand = IntNo != Intrinsic::riscv_vlm;
2540 unsigned CurOp = 2;
2541 SmallVector<SDValue, 8> Operands;
2542 if (HasPassthruOperand)
2543 Operands.push_back(Node->getOperand(CurOp++));
2544 else {
2545 // We eagerly lower to implicit_def (instead of undef), as we
2546 // otherwise fail to select nodes such as: nxv1i1 = undef
2547 SDNode *Passthru =
2548 CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, DL, VT);
2549 Operands.push_back(SDValue(Passthru, 0));
2550 }
2551 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked, IsStrided,
2552 Operands, /*IsLoad=*/true);
2553
2555 const RISCV::VLEPseudo *P =
2556 RISCV::getVLEPseudo(IsMasked, IsStrided, /*FF*/ false, Log2SEW,
2557 static_cast<unsigned>(LMUL));
2558 MachineSDNode *Load =
2559 CurDAG->getMachineNode(P->Pseudo, DL, Node->getVTList(), Operands);
2560
2561 CurDAG->setNodeMemRefs(Load, {cast<MemSDNode>(Node)->getMemOperand()});
2562
2563 ReplaceNode(Node, Load);
2564 return;
2565 }
2566 case Intrinsic::riscv_vleff:
2567 case Intrinsic::riscv_vleff_mask: {
2568 bool IsMasked = IntNo == Intrinsic::riscv_vleff_mask;
2569
2570 MVT VT = Node->getSimpleValueType(0);
2571 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
2572
2573 unsigned CurOp = 2;
2574 SmallVector<SDValue, 7> Operands;
2575 Operands.push_back(Node->getOperand(CurOp++));
2576 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked,
2577 /*IsStridedOrIndexed*/ false, Operands,
2578 /*IsLoad=*/true);
2579
2581 const RISCV::VLEPseudo *P =
2582 RISCV::getVLEPseudo(IsMasked, /*Strided*/ false, /*FF*/ true,
2583 Log2SEW, static_cast<unsigned>(LMUL));
2584 MachineSDNode *Load = CurDAG->getMachineNode(
2585 P->Pseudo, DL, Node->getVTList(), Operands);
2586 CurDAG->setNodeMemRefs(Load, {cast<MemSDNode>(Node)->getMemOperand()});
2587
2588 ReplaceNode(Node, Load);
2589 return;
2590 }
2591 case Intrinsic::riscv_nds_vln:
2592 case Intrinsic::riscv_nds_vln_mask:
2593 case Intrinsic::riscv_nds_vlnu:
2594 case Intrinsic::riscv_nds_vlnu_mask: {
2595 bool IsMasked = IntNo == Intrinsic::riscv_nds_vln_mask ||
2596 IntNo == Intrinsic::riscv_nds_vlnu_mask;
2597 bool IsUnsigned = IntNo == Intrinsic::riscv_nds_vlnu ||
2598 IntNo == Intrinsic::riscv_nds_vlnu_mask;
2599
2600 MVT VT = Node->getSimpleValueType(0);
2601 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
2602 unsigned CurOp = 2;
2603 SmallVector<SDValue, 8> Operands;
2604
2605 Operands.push_back(Node->getOperand(CurOp++));
2606 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked,
2607 /*IsStridedOrIndexed=*/false, Operands,
2608 /*IsLoad=*/true);
2609
2611 const RISCV::NDSVLNPseudo *P = RISCV::getNDSVLNPseudo(
2612 IsMasked, IsUnsigned, Log2SEW, static_cast<unsigned>(LMUL));
2613 MachineSDNode *Load =
2614 CurDAG->getMachineNode(P->Pseudo, DL, Node->getVTList(), Operands);
2615
2616 if (auto *MemOp = dyn_cast<MemSDNode>(Node))
2617 CurDAG->setNodeMemRefs(Load, {MemOp->getMemOperand()});
2618
2619 ReplaceNode(Node, Load);
2620 return;
2621 }
2622 }
2623 break;
2624 }
2625 case ISD::INTRINSIC_VOID: {
2626 unsigned IntNo = Node->getConstantOperandVal(1);
2627 switch (IntNo) {
2628 case Intrinsic::riscv_vsseg2:
2629 case Intrinsic::riscv_vsseg3:
2630 case Intrinsic::riscv_vsseg4:
2631 case Intrinsic::riscv_vsseg5:
2632 case Intrinsic::riscv_vsseg6:
2633 case Intrinsic::riscv_vsseg7:
2634 case Intrinsic::riscv_vsseg8: {
2635 selectVSSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2636 /*IsStrided*/ false);
2637 return;
2638 }
2639 case Intrinsic::riscv_vsseg2_mask:
2640 case Intrinsic::riscv_vsseg3_mask:
2641 case Intrinsic::riscv_vsseg4_mask:
2642 case Intrinsic::riscv_vsseg5_mask:
2643 case Intrinsic::riscv_vsseg6_mask:
2644 case Intrinsic::riscv_vsseg7_mask:
2645 case Intrinsic::riscv_vsseg8_mask: {
2646 selectVSSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2647 /*IsStrided*/ false);
2648 return;
2649 }
2650 case Intrinsic::riscv_vssseg2:
2651 case Intrinsic::riscv_vssseg3:
2652 case Intrinsic::riscv_vssseg4:
2653 case Intrinsic::riscv_vssseg5:
2654 case Intrinsic::riscv_vssseg6:
2655 case Intrinsic::riscv_vssseg7:
2656 case Intrinsic::riscv_vssseg8: {
2657 selectVSSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2658 /*IsStrided*/ true);
2659 return;
2660 }
2661 case Intrinsic::riscv_vssseg2_mask:
2662 case Intrinsic::riscv_vssseg3_mask:
2663 case Intrinsic::riscv_vssseg4_mask:
2664 case Intrinsic::riscv_vssseg5_mask:
2665 case Intrinsic::riscv_vssseg6_mask:
2666 case Intrinsic::riscv_vssseg7_mask:
2667 case Intrinsic::riscv_vssseg8_mask: {
2668 selectVSSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2669 /*IsStrided*/ true);
2670 return;
2671 }
2672 case Intrinsic::riscv_vsoxseg2:
2673 case Intrinsic::riscv_vsoxseg3:
2674 case Intrinsic::riscv_vsoxseg4:
2675 case Intrinsic::riscv_vsoxseg5:
2676 case Intrinsic::riscv_vsoxseg6:
2677 case Intrinsic::riscv_vsoxseg7:
2678 case Intrinsic::riscv_vsoxseg8:
2679 selectVSXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2680 /*IsOrdered*/ true);
2681 return;
2682 case Intrinsic::riscv_vsuxseg2:
2683 case Intrinsic::riscv_vsuxseg3:
2684 case Intrinsic::riscv_vsuxseg4:
2685 case Intrinsic::riscv_vsuxseg5:
2686 case Intrinsic::riscv_vsuxseg6:
2687 case Intrinsic::riscv_vsuxseg7:
2688 case Intrinsic::riscv_vsuxseg8:
2689 selectVSXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ false,
2690 /*IsOrdered*/ false);
2691 return;
2692 case Intrinsic::riscv_vsoxseg2_mask:
2693 case Intrinsic::riscv_vsoxseg3_mask:
2694 case Intrinsic::riscv_vsoxseg4_mask:
2695 case Intrinsic::riscv_vsoxseg5_mask:
2696 case Intrinsic::riscv_vsoxseg6_mask:
2697 case Intrinsic::riscv_vsoxseg7_mask:
2698 case Intrinsic::riscv_vsoxseg8_mask:
2699 selectVSXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2700 /*IsOrdered*/ true);
2701 return;
2702 case Intrinsic::riscv_vsuxseg2_mask:
2703 case Intrinsic::riscv_vsuxseg3_mask:
2704 case Intrinsic::riscv_vsuxseg4_mask:
2705 case Intrinsic::riscv_vsuxseg5_mask:
2706 case Intrinsic::riscv_vsuxseg6_mask:
2707 case Intrinsic::riscv_vsuxseg7_mask:
2708 case Intrinsic::riscv_vsuxseg8_mask:
2709 selectVSXSEG(Node, getSegInstNF(IntNo), /*IsMasked*/ true,
2710 /*IsOrdered*/ false);
2711 return;
2712 case Intrinsic::riscv_vsoxei:
2713 case Intrinsic::riscv_vsoxei_mask:
2714 case Intrinsic::riscv_vsuxei:
2715 case Intrinsic::riscv_vsuxei_mask: {
2716 bool IsMasked = IntNo == Intrinsic::riscv_vsoxei_mask ||
2717 IntNo == Intrinsic::riscv_vsuxei_mask;
2718 bool IsOrdered = IntNo == Intrinsic::riscv_vsoxei ||
2719 IntNo == Intrinsic::riscv_vsoxei_mask;
2720
2721 MVT VT = Node->getOperand(2)->getSimpleValueType(0);
2722 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
2723
2724 unsigned CurOp = 2;
2725 SmallVector<SDValue, 8> Operands;
2726 Operands.push_back(Node->getOperand(CurOp++)); // Store value.
2727
2728 MVT IndexVT;
2729 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked,
2730 /*IsStridedOrIndexed*/ true, Operands,
2731 /*IsLoad=*/false, &IndexVT);
2732
2734 "Element count mismatch");
2735
2738 unsigned IndexLog2EEW = Log2_32(IndexVT.getScalarSizeInBits());
2739 if (IndexLog2EEW == 6 && !Subtarget->is64Bit()) {
2740 reportFatalUsageError("The V extension does not support EEW=64 for "
2741 "index values when XLEN=32");
2742 }
2743 const RISCV::VLX_VSXPseudo *P = RISCV::getVSXPseudo(
2744 IsMasked, IsOrdered, IndexLog2EEW,
2745 static_cast<unsigned>(LMUL), static_cast<unsigned>(IndexLMUL));
2746 MachineSDNode *Store =
2747 CurDAG->getMachineNode(P->Pseudo, DL, Node->getVTList(), Operands);
2748
2749 CurDAG->setNodeMemRefs(Store, {cast<MemSDNode>(Node)->getMemOperand()});
2750
2751 ReplaceNode(Node, Store);
2752 return;
2753 }
2754 case Intrinsic::riscv_vsm:
2755 case Intrinsic::riscv_vse:
2756 case Intrinsic::riscv_vse_mask:
2757 case Intrinsic::riscv_vsse:
2758 case Intrinsic::riscv_vsse_mask: {
2759 bool IsMasked = IntNo == Intrinsic::riscv_vse_mask ||
2760 IntNo == Intrinsic::riscv_vsse_mask;
2761 bool IsStrided =
2762 IntNo == Intrinsic::riscv_vsse || IntNo == Intrinsic::riscv_vsse_mask;
2763
2764 MVT VT = Node->getOperand(2)->getSimpleValueType(0);
2765 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
2766
2767 unsigned CurOp = 2;
2768 SmallVector<SDValue, 8> Operands;
2769 Operands.push_back(Node->getOperand(CurOp++)); // Store value.
2770
2771 addVectorLoadStoreOperands(Node, Log2SEW, DL, CurOp, IsMasked, IsStrided,
2772 Operands);
2773
2775 const RISCV::VSEPseudo *P = RISCV::getVSEPseudo(
2776 IsMasked, IsStrided, Log2SEW, static_cast<unsigned>(LMUL));
2777 MachineSDNode *Store =
2778 CurDAG->getMachineNode(P->Pseudo, DL, Node->getVTList(), Operands);
2779 CurDAG->setNodeMemRefs(Store, {cast<MemSDNode>(Node)->getMemOperand()});
2780
2781 ReplaceNode(Node, Store);
2782 return;
2783 }
2784 case Intrinsic::riscv_sf_vc_x_se:
2785 case Intrinsic::riscv_sf_vc_i_se:
2787 return;
2788 case Intrinsic::riscv_sf_vlte8:
2789 case Intrinsic::riscv_sf_vlte16:
2790 case Intrinsic::riscv_sf_vlte32:
2791 case Intrinsic::riscv_sf_vlte64: {
2792 unsigned Log2SEW;
2793 unsigned PseudoInst;
2794 switch (IntNo) {
2795 case Intrinsic::riscv_sf_vlte8:
2796 PseudoInst = RISCV::PseudoSF_VLTE8;
2797 Log2SEW = 3;
2798 break;
2799 case Intrinsic::riscv_sf_vlte16:
2800 PseudoInst = RISCV::PseudoSF_VLTE16;
2801 Log2SEW = 4;
2802 break;
2803 case Intrinsic::riscv_sf_vlte32:
2804 PseudoInst = RISCV::PseudoSF_VLTE32;
2805 Log2SEW = 5;
2806 break;
2807 case Intrinsic::riscv_sf_vlte64:
2808 PseudoInst = RISCV::PseudoSF_VLTE64;
2809 Log2SEW = 6;
2810 break;
2811 }
2812
2813 SDValue SEWOp = CurDAG->getTargetConstant(Log2SEW, DL, XLenVT);
2814 SDValue TWidenOp = CurDAG->getTargetConstant(1, DL, XLenVT);
2815 SDValue Operands[] = {Node->getOperand(2),
2816 Node->getOperand(3),
2817 Node->getOperand(4),
2818 SEWOp,
2819 TWidenOp,
2820 Node->getOperand(0)};
2821
2822 MachineSDNode *TileLoad =
2823 CurDAG->getMachineNode(PseudoInst, DL, Node->getVTList(), Operands);
2824 CurDAG->setNodeMemRefs(TileLoad,
2825 {cast<MemSDNode>(Node)->getMemOperand()});
2826
2827 ReplaceNode(Node, TileLoad);
2828 return;
2829 }
2830 case Intrinsic::riscv_sf_mm_s_s:
2831 case Intrinsic::riscv_sf_mm_s_u:
2832 case Intrinsic::riscv_sf_mm_u_s:
2833 case Intrinsic::riscv_sf_mm_u_u:
2834 case Intrinsic::riscv_sf_mm_e5m2_e5m2:
2835 case Intrinsic::riscv_sf_mm_e5m2_e4m3:
2836 case Intrinsic::riscv_sf_mm_e4m3_e5m2:
2837 case Intrinsic::riscv_sf_mm_e4m3_e4m3:
2838 case Intrinsic::riscv_sf_mm_f_f: {
2839 bool HasFRM = false;
2840 unsigned PseudoInst;
2841 switch (IntNo) {
2842 case Intrinsic::riscv_sf_mm_s_s:
2843 PseudoInst = RISCV::PseudoSF_MM_S_S;
2844 break;
2845 case Intrinsic::riscv_sf_mm_s_u:
2846 PseudoInst = RISCV::PseudoSF_MM_S_U;
2847 break;
2848 case Intrinsic::riscv_sf_mm_u_s:
2849 PseudoInst = RISCV::PseudoSF_MM_U_S;
2850 break;
2851 case Intrinsic::riscv_sf_mm_u_u:
2852 PseudoInst = RISCV::PseudoSF_MM_U_U;
2853 break;
2854 case Intrinsic::riscv_sf_mm_e5m2_e5m2:
2855 PseudoInst = RISCV::PseudoSF_MM_E5M2_E5M2;
2856 HasFRM = true;
2857 break;
2858 case Intrinsic::riscv_sf_mm_e5m2_e4m3:
2859 PseudoInst = RISCV::PseudoSF_MM_E5M2_E4M3;
2860 HasFRM = true;
2861 break;
2862 case Intrinsic::riscv_sf_mm_e4m3_e5m2:
2863 PseudoInst = RISCV::PseudoSF_MM_E4M3_E5M2;
2864 HasFRM = true;
2865 break;
2866 case Intrinsic::riscv_sf_mm_e4m3_e4m3:
2867 PseudoInst = RISCV::PseudoSF_MM_E4M3_E4M3;
2868 HasFRM = true;
2869 break;
2870 case Intrinsic::riscv_sf_mm_f_f:
2871 if (Node->getOperand(3).getValueType().getScalarType() == MVT::bf16)
2872 PseudoInst = RISCV::PseudoSF_MM_F_F_ALT;
2873 else
2874 PseudoInst = RISCV::PseudoSF_MM_F_F;
2875 HasFRM = true;
2876 break;
2877 }
2878 uint64_t TileNum = Node->getConstantOperandVal(2);
2879 SDValue Op1 = Node->getOperand(3);
2880 SDValue Op2 = Node->getOperand(4);
2881 MVT VT = Op1->getSimpleValueType(0);
2882 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
2883 SDValue TmOp = Node->getOperand(5);
2884 SDValue TnOp = Node->getOperand(6);
2885 SDValue TkOp = Node->getOperand(7);
2886 SDValue TWidenOp = Node->getOperand(8);
2887 SDValue Chain = Node->getOperand(0);
2888
2889 // sf.mm.f.f with sew=32, twiden=2 is invalid
2890 if (IntNo == Intrinsic::riscv_sf_mm_f_f && Log2SEW == 5 &&
2891 TWidenOp->getAsZExtVal() == 2)
2892 reportFatalUsageError("sf.mm.f.f doesn't support (sew=32, twiden=2)");
2893
2894 SmallVector<SDValue, 10> Operands(
2895 {CurDAG->getRegister(getTileReg(TileNum), XLenVT), Op1, Op2});
2896 if (HasFRM)
2897 Operands.push_back(
2898 CurDAG->getTargetConstant(RISCVFPRndMode::DYN, DL, XLenVT));
2899 Operands.append({TmOp, TnOp, TkOp,
2900 CurDAG->getTargetConstant(Log2SEW, DL, XLenVT), TWidenOp,
2901 Chain});
2902
2903 auto *NewNode =
2904 CurDAG->getMachineNode(PseudoInst, DL, Node->getVTList(), Operands);
2905
2906 ReplaceNode(Node, NewNode);
2907 return;
2908 }
2909 case Intrinsic::riscv_sf_vtzero_t: {
2910 uint64_t TileNum = Node->getConstantOperandVal(2);
2911 SDValue Tm = Node->getOperand(3);
2912 SDValue Tn = Node->getOperand(4);
2913 SDValue Log2SEW = Node->getOperand(5);
2914 SDValue TWiden = Node->getOperand(6);
2915 SDValue Chain = Node->getOperand(0);
2916 auto *NewNode = CurDAG->getMachineNode(
2917 RISCV::PseudoSF_VTZERO_T, DL, Node->getVTList(),
2918 {CurDAG->getRegister(getTileReg(TileNum), XLenVT), Tm, Tn, Log2SEW,
2919 TWiden, Chain});
2920
2921 ReplaceNode(Node, NewNode);
2922 return;
2923 }
2924 }
2925 break;
2926 }
2927 case ISD::BITCAST: {
2928 MVT SrcVT = Node->getOperand(0).getSimpleValueType();
2929 // Just drop bitcasts between vectors if both are fixed or both are
2930 // scalable.
2931 if ((VT.isScalableVector() && SrcVT.isScalableVector()) ||
2932 (VT.isFixedLengthVector() && SrcVT.isFixedLengthVector())) {
2933 ReplaceUses(SDValue(Node, 0), Node->getOperand(0));
2934 CurDAG->RemoveDeadNode(Node);
2935 return;
2936 }
2937 if (Subtarget->hasStdExtP()) {
2938 bool Is32BitCast =
2939 (VT == MVT::i32 && (SrcVT == MVT::v4i8 || SrcVT == MVT::v2i16)) ||
2940 (SrcVT == MVT::i32 && (VT == MVT::v4i8 || VT == MVT::v2i16));
2941 bool Is64BitCast =
2942 (VT == MVT::i64 && (SrcVT == MVT::v8i8 || SrcVT == MVT::v4i16 ||
2943 SrcVT == MVT::v2i32)) ||
2944 (SrcVT == MVT::i64 &&
2945 (VT == MVT::v8i8 || VT == MVT::v4i16 || VT == MVT::v2i32));
2946 if (Is32BitCast || Is64BitCast) {
2947 ReplaceUses(SDValue(Node, 0), Node->getOperand(0));
2948 CurDAG->RemoveDeadNode(Node);
2949 return;
2950 }
2951 }
2952 break;
2953 }
2954 case ISD::SPLAT_VECTOR: {
2955 if (!Subtarget->hasStdExtP())
2956 break;
2957 if (auto *ConstNode = dyn_cast<ConstantSDNode>(Node->getOperand(0))) {
2958 bool IsDoubleWide = Subtarget->isPExtPackedDoubleType(VT);
2959
2960 if (ConstNode->isZero()) {
2961 MCPhysReg X0Reg = IsDoubleWide ? RISCV::X0_Pair : RISCV::X0;
2962 SDValue New =
2963 CurDAG->getCopyFromReg(CurDAG->getEntryNode(), DL, X0Reg, VT);
2964 ReplaceNode(Node, New.getNode());
2965 return;
2966 }
2967
2968 unsigned EltSize = VT.getVectorElementType().getSizeInBits();
2969 APInt Val = ConstNode->getAPIntValue().trunc(EltSize);
2970
2971 // Use LI for all ones since it can be compressed to c.li.
2972 if (Val.isAllOnes() && !IsDoubleWide) {
2973 SDNode *NewNode = CurDAG->getMachineNode(
2974 RISCV::ADDI, DL, VT, CurDAG->getRegister(RISCV::X0, VT),
2975 CurDAG->getAllOnesConstant(DL, XLenVT, /*IsTarget=*/true));
2976 ReplaceNode(Node, NewNode);
2977 return;
2978 }
2979
2980 // Find the smallest splat.
2981 if (Val.getBitWidth() > 16 && Val.isSplat(16))
2982 Val = Val.trunc(16);
2983 if (Val.getBitWidth() > 8 && Val.isSplat(8))
2984 Val = Val.trunc(8);
2985
2986 EltSize = Val.getBitWidth();
2987 int64_t Imm = Val.getSExtValue();
2988
2989 unsigned Opc = 0;
2990 if (EltSize == 8) {
2991 Opc = IsDoubleWide ? RISCV::PLI_DB : RISCV::PLI_B;
2992 } else if (EltSize == 16 && isInt<10>(Imm)) {
2993 Opc = IsDoubleWide ? RISCV::PLI_DH : RISCV::PLI_H;
2994 } else if (!IsDoubleWide && EltSize == 32 && isInt<10>(Imm)) {
2995 Opc = RISCV::PLI_W;
2996 } else if (EltSize == 16 && isShiftedInt<10, 6>(Imm)) {
2997 Opc = IsDoubleWide ? RISCV::PLUI_DH : RISCV::PLUI_H;
2998 Imm = Imm >> 6;
2999 } else if (!IsDoubleWide && EltSize == 32 && isShiftedInt<10, 22>(Imm)) {
3000 Opc = RISCV::PLUI_W;
3001 Imm = Imm >> 22;
3002 }
3003
3004 if (Opc) {
3005 SDNode *NewNode = CurDAG->getMachineNode(
3006 Opc, DL, VT, CurDAG->getSignedTargetConstant(Imm, DL, XLenVT));
3007 ReplaceNode(Node, NewNode);
3008 return;
3009 }
3010 }
3011
3012 break;
3013 }
3015 if (Subtarget->hasStdExtP()) {
3016 MVT SrcVT = Node->getOperand(0).getSimpleValueType();
3017 if ((VT == MVT::v2i32 && SrcVT == MVT::i64) ||
3018 (VT == MVT::v4i8 && SrcVT == MVT::i32)) {
3019 ReplaceUses(SDValue(Node, 0), Node->getOperand(0));
3020 CurDAG->RemoveDeadNode(Node);
3021 return;
3022 }
3023 }
3024 break;
3026 case RISCVISD::TUPLE_INSERT: {
3027 SDValue V = Node->getOperand(0);
3028 SDValue SubV = Node->getOperand(1);
3029 SDLoc DL(SubV);
3030 auto Idx = Node->getConstantOperandVal(2);
3031 MVT SubVecVT = SubV.getSimpleValueType();
3032
3033 const RISCVTargetLowering &TLI = *Subtarget->getTargetLowering();
3034 MVT SubVecContainerVT = SubVecVT;
3035 // Establish the correct scalable-vector types for any fixed-length type.
3036 if (SubVecVT.isFixedLengthVector()) {
3037 SubVecContainerVT = TLI.getContainerForFixedLengthVector(SubVecVT);
3039 [[maybe_unused]] bool ExactlyVecRegSized =
3040 Subtarget->expandVScale(SubVecVT.getSizeInBits())
3041 .isKnownMultipleOf(Subtarget->expandVScale(VecRegSize));
3042 assert(isPowerOf2_64(Subtarget->expandVScale(SubVecVT.getSizeInBits())
3043 .getKnownMinValue()));
3044 assert(Idx == 0 && (ExactlyVecRegSized || V.isUndef()));
3045 }
3046 MVT ContainerVT = VT;
3047 if (VT.isFixedLengthVector())
3048 ContainerVT = TLI.getContainerForFixedLengthVector(VT);
3049
3050 const auto *TRI = Subtarget->getRegisterInfo();
3051 unsigned SubRegIdx;
3052 std::tie(SubRegIdx, Idx) =
3054 ContainerVT, SubVecContainerVT, Idx, TRI);
3055
3056 // If the Idx hasn't been completely eliminated then this is a subvector
3057 // insert which doesn't naturally align to a vector register. These must
3058 // be handled using instructions to manipulate the vector registers.
3059 if (Idx != 0)
3060 break;
3061
3062 RISCVVType::VLMUL SubVecLMUL =
3063 RISCVTargetLowering::getLMUL(SubVecContainerVT);
3064 [[maybe_unused]] bool IsSubVecPartReg =
3065 SubVecLMUL == RISCVVType::VLMUL::LMUL_F2 ||
3066 SubVecLMUL == RISCVVType::VLMUL::LMUL_F4 ||
3067 SubVecLMUL == RISCVVType::VLMUL::LMUL_F8;
3068 assert((V.getValueType().isRISCVVectorTuple() || !IsSubVecPartReg ||
3069 V.isUndef()) &&
3070 "Expecting lowering to have created legal INSERT_SUBVECTORs when "
3071 "the subvector is smaller than a full-sized register");
3072
3073 // If we haven't set a SubRegIdx, then we must be going between
3074 // equally-sized LMUL groups (e.g. VR -> VR). This can be done as a copy.
3075 if (SubRegIdx == RISCV::NoSubRegister) {
3076 unsigned InRegClassID =
3079 InRegClassID &&
3080 "Unexpected subvector extraction");
3081 SDValue RC = CurDAG->getTargetConstant(InRegClassID, DL, XLenVT);
3082 SDNode *NewNode = CurDAG->getMachineNode(TargetOpcode::COPY_TO_REGCLASS,
3083 DL, VT, SubV, RC);
3084 ReplaceNode(Node, NewNode);
3085 return;
3086 }
3087
3088 SDValue Insert = CurDAG->getTargetInsertSubreg(SubRegIdx, DL, VT, V, SubV);
3089 ReplaceNode(Node, Insert.getNode());
3090 return;
3091 }
3093 case RISCVISD::TUPLE_EXTRACT: {
3094 SDValue V = Node->getOperand(0);
3095 auto Idx = Node->getConstantOperandVal(1);
3096 MVT InVT = V.getSimpleValueType();
3097
3098 // Handle P-extension extract_subvector for v2i16 from v4i16 and v4i8 from
3099 // v8i8
3100 if (Subtarget->hasStdExtP() && !Subtarget->is64Bit() &&
3101 ((InVT == MVT::v4i16 && VT == MVT::v2i16) ||
3102 (InVT == MVT::v8i8 && VT == MVT::v4i8))) {
3103 unsigned NumElts = VT.getVectorNumElements();
3104 if (Idx != 0 && Idx != NumElts)
3105 break;
3106
3107 unsigned SubRegIdx = Idx == 0 ? RISCV::sub_gpr_even : RISCV::sub_gpr_odd;
3108 SDValue Extract = CurDAG->getTargetExtractSubreg(SubRegIdx, DL, VT, V);
3109 ReplaceNode(Node, Extract.getNode());
3110 return;
3111 }
3112
3113 SDLoc DL(V);
3114
3115 const RISCVTargetLowering &TLI = *Subtarget->getTargetLowering();
3116 MVT SubVecContainerVT = VT;
3117 // Establish the correct scalable-vector types for any fixed-length type.
3118 if (VT.isFixedLengthVector()) {
3119 assert(Idx == 0);
3120 SubVecContainerVT = TLI.getContainerForFixedLengthVector(VT);
3121 }
3122 if (InVT.isFixedLengthVector())
3123 InVT = TLI.getContainerForFixedLengthVector(InVT);
3124
3125 const auto *TRI = Subtarget->getRegisterInfo();
3126 unsigned SubRegIdx;
3127 std::tie(SubRegIdx, Idx) =
3129 InVT, SubVecContainerVT, Idx, TRI);
3130
3131 // If the Idx hasn't been completely eliminated then this is a subvector
3132 // extract which doesn't naturally align to a vector register. These must
3133 // be handled using instructions to manipulate the vector registers.
3134 if (Idx != 0)
3135 break;
3136
3137 // If we haven't set a SubRegIdx, then we must be going between
3138 // equally-sized LMUL types (e.g. VR -> VR). This can be done as a copy.
3139 if (SubRegIdx == RISCV::NoSubRegister) {
3140 unsigned InRegClassID = RISCVTargetLowering::getRegClassIDForVecVT(InVT);
3142 InRegClassID &&
3143 "Unexpected subvector extraction");
3144 SDValue RC = CurDAG->getTargetConstant(InRegClassID, DL, XLenVT);
3145 SDNode *NewNode =
3146 CurDAG->getMachineNode(TargetOpcode::COPY_TO_REGCLASS, DL, VT, V, RC);
3147 ReplaceNode(Node, NewNode);
3148 return;
3149 }
3150
3151 SDValue Extract = CurDAG->getTargetExtractSubreg(SubRegIdx, DL, VT, V);
3152 ReplaceNode(Node, Extract.getNode());
3153 return;
3154 }
3155 case RISCVISD::VMV_S_X_VL:
3156 case RISCVISD::VFMV_S_F_VL:
3157 case RISCVISD::VMV_V_X_VL:
3158 case RISCVISD::VFMV_V_F_VL: {
3159 // Try to match splat of a scalar load to a strided load with stride of x0.
3160 bool IsScalarMove = Node->getOpcode() == RISCVISD::VMV_S_X_VL ||
3161 Node->getOpcode() == RISCVISD::VFMV_S_F_VL;
3162 if (!Node->getOperand(0).isUndef())
3163 break;
3164 SDValue Src = Node->getOperand(1);
3165 auto *Ld = dyn_cast<LoadSDNode>(Src);
3166 // Can't fold load update node because the second
3167 // output is used so that load update node can't be removed.
3168 if (!Ld || Ld->isIndexed())
3169 break;
3170 EVT MemVT = Ld->getMemoryVT();
3171 // The memory VT should be the same size as the element type.
3172 if (MemVT.getStoreSize() != VT.getVectorElementType().getStoreSize())
3173 break;
3174 if (!IsProfitableToFold(Src, Node, Node) ||
3175 !IsLegalToFold(Src, Node, Node, TM.getOptLevel()))
3176 break;
3177
3178 SDValue VL;
3179 if (IsScalarMove) {
3180 // We could deal with more VL if we update the VSETVLI insert pass to
3181 // avoid introducing more VSETVLI.
3182 if (!isOneConstant(Node->getOperand(2)))
3183 break;
3184 selectVLOp(Node->getOperand(2), VL);
3185 } else
3186 selectVLOp(Node->getOperand(2), VL);
3187
3188 unsigned Log2SEW = Log2_32(VT.getScalarSizeInBits());
3189 SDValue SEW = CurDAG->getTargetConstant(Log2SEW, DL, XLenVT);
3190
3191 // If VL=1, then we don't need to do a strided load and can just do a
3192 // regular load.
3193 bool IsStrided = !isOneConstant(VL);
3194
3195 // Only do a strided load if we have optimized zero-stride vector load.
3196 if (IsStrided && !Subtarget->hasOptimizedZeroStrideLoad())
3197 break;
3198
3199 SmallVector<SDValue> Operands = {
3200 SDValue(CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, DL, VT), 0),
3201 Ld->getBasePtr()};
3202 if (IsStrided)
3203 Operands.push_back(CurDAG->getRegister(RISCV::X0, XLenVT));
3205 SDValue PolicyOp = CurDAG->getTargetConstant(Policy, DL, XLenVT);
3206 Operands.append({VL, SEW, PolicyOp, Ld->getChain()});
3207
3209 const RISCV::VLEPseudo *P = RISCV::getVLEPseudo(
3210 /*IsMasked*/ false, IsStrided, /*FF*/ false,
3211 Log2SEW, static_cast<unsigned>(LMUL));
3212 MachineSDNode *Load =
3213 CurDAG->getMachineNode(P->Pseudo, DL, {VT, MVT::Other}, Operands);
3214 // Update the chain.
3215 ReplaceUses(Src.getValue(1), SDValue(Load, 1));
3216 // Record the mem-refs
3217 CurDAG->setNodeMemRefs(Load, {Ld->getMemOperand()});
3218 // Replace the splat with the vlse.
3219 ReplaceNode(Node, Load);
3220 return;
3221 }
3222 case ISD::PREFETCH:
3223 // MIPS's prefetch instruction already encodes the hint within the
3224 // instruction itself, so no extra NTL hint is needed.
3225 if (Subtarget->hasVendorXMIPSCBOP())
3226 break;
3227
3228 unsigned Locality = Node->getConstantOperandVal(3);
3229 if (Locality > 2)
3230 break;
3231
3232 auto *LoadStoreMem = cast<MemSDNode>(Node);
3233 MachineMemOperand *MMO = LoadStoreMem->getMemOperand();
3235
3236 int NontemporalLevel = 0;
3237 switch (Locality) {
3238 case 0:
3239 NontemporalLevel = 3; // NTL.ALL
3240 break;
3241 case 1:
3242 NontemporalLevel = 1; // NTL.PALL
3243 break;
3244 case 2:
3245 NontemporalLevel = 0; // NTL.P1
3246 break;
3247 default:
3248 llvm_unreachable("unexpected locality value.");
3249 }
3250
3251 if (NontemporalLevel & 0b1)
3253 if (NontemporalLevel & 0b10)
3255 break;
3256 }
3257
3258 // Select the default instruction.
3259 SelectCode(Node);
3260}
3261
3263 const SDValue &Op, InlineAsm::ConstraintCode ConstraintID,
3264 std::vector<SDValue> &OutOps) {
3265 // Always produce a register and immediate operand, as expected by
3266 // RISCVAsmPrinter::PrintAsmMemoryOperand.
3267 switch (ConstraintID) {
3270 SDValue Op0, Op1;
3271 [[maybe_unused]] bool Found = SelectAddrRegImm(Op, Op0, Op1);
3272 assert(Found && "SelectAddrRegImm should always succeed");
3273 OutOps.push_back(Op0);
3274 OutOps.push_back(Op1);
3275 return false;
3276 }
3278 OutOps.push_back(Op);
3279 OutOps.push_back(
3280 CurDAG->getTargetConstant(0, SDLoc(Op), Subtarget->getXLenVT()));
3281 return false;
3282 default:
3283 report_fatal_error("Unexpected asm memory constraint " +
3284 InlineAsm::getMemConstraintName(ConstraintID));
3285 }
3286
3287 return true;
3288}
3289
3291 SDValue &Offset) {
3292 if (auto *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
3293 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), Subtarget->getXLenVT());
3294 Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), Subtarget->getXLenVT());
3295 return true;
3296 }
3297
3298 return false;
3299}
3300
3301// Fold constant addresses.
3302static bool selectConstantAddr(SelectionDAG *CurDAG, const SDLoc &DL,
3303 const MVT VT, const RISCVSubtarget *Subtarget,
3305 bool IsPrefetch = false) {
3306 if (!isa<ConstantSDNode>(Addr))
3307 return false;
3308
3309 int64_t CVal = cast<ConstantSDNode>(Addr)->getSExtValue();
3310
3311 // If the constant is a simm12, we can fold the whole constant and use X0 as
3312 // the base. If the constant can be materialized with LUI+simm12, use LUI as
3313 // the base. We can't use generateInstSeq because it favors LUI+ADDIW.
3314 int64_t Lo12 = SignExtend64<12>(CVal);
3315 int64_t Hi = (uint64_t)CVal - (uint64_t)Lo12;
3316 if (!Subtarget->is64Bit() || isInt<32>(Hi)) {
3317 if (IsPrefetch && (Lo12 & 0b11111) != 0)
3318 return false;
3319 if (Hi) {
3320 int64_t Hi20 = (Hi >> 12) & 0xfffff;
3321 Base = SDValue(
3322 CurDAG->getMachineNode(RISCV::LUI, DL, VT,
3323 CurDAG->getTargetConstant(Hi20, DL, VT)),
3324 0);
3325 } else {
3326 Base = CurDAG->getRegister(RISCV::X0, VT);
3327 }
3328 Offset = CurDAG->getSignedTargetConstant(Lo12, DL, VT);
3329 return true;
3330 }
3331
3332 // Ask how constant materialization would handle this constant.
3333 RISCVMatInt::InstSeq Seq = RISCVMatInt::generateInstSeq(CVal, *Subtarget);
3334
3335 // If the last instruction would be an ADDI, we can fold its immediate and
3336 // emit the rest of the sequence as the base.
3337 if (Seq.back().getOpcode() != RISCV::ADDI)
3338 return false;
3339 Lo12 = Seq.back().getImm();
3340 if (IsPrefetch && (Lo12 & 0b11111) != 0)
3341 return false;
3342
3343 // Drop the last instruction.
3344 Seq.pop_back();
3345 assert(!Seq.empty() && "Expected more instructions in sequence");
3346
3347 Base = selectImmSeq(CurDAG, DL, VT, Seq);
3348 Offset = CurDAG->getSignedTargetConstant(Lo12, DL, VT);
3349 return true;
3350}
3351
3352// Is this ADD instruction only used as the base pointer of scalar loads and
3353// stores?
3355 for (auto *User : Add->users()) {
3356 if (User->getOpcode() != ISD::LOAD && User->getOpcode() != ISD::STORE &&
3357 User->getOpcode() != RISCVISD::LD_RV32 &&
3358 User->getOpcode() != RISCVISD::SD_RV32 &&
3359 User->getOpcode() != ISD::ATOMIC_LOAD &&
3360 User->getOpcode() != ISD::ATOMIC_STORE)
3361 return false;
3362 EVT VT = cast<MemSDNode>(User)->getMemoryVT();
3363 if (!VT.isScalarInteger() && VT != MVT::f16 && VT != MVT::f32 &&
3364 VT != MVT::f64)
3365 return false;
3366 // Don't allow stores of the value. It must be used as the address.
3367 if (User->getOpcode() == ISD::STORE &&
3368 cast<StoreSDNode>(User)->getValue() == Add)
3369 return false;
3370 if (User->getOpcode() == ISD::ATOMIC_STORE &&
3371 cast<AtomicSDNode>(User)->getVal() == Add)
3372 return false;
3373 if (User->getOpcode() == RISCVISD::SD_RV32 &&
3374 (User->getOperand(0) == Add || User->getOperand(1) == Add))
3375 return false;
3376 if (isStrongerThanMonotonic(cast<MemSDNode>(User)->getSuccessOrdering()))
3377 return false;
3378 }
3379
3380 return true;
3381}
3382
3384 switch (User->getOpcode()) {
3385 default:
3386 return false;
3387 case ISD::LOAD:
3388 case RISCVISD::LD_RV32:
3389 case ISD::ATOMIC_LOAD:
3390 break;
3391 case ISD::STORE:
3392 // Don't allow stores of Add. It must only be used as the address.
3394 return false;
3395 break;
3396 case RISCVISD::SD_RV32:
3397 // Don't allow stores of Add. It must only be used as the address.
3398 if (User->getOperand(0) == Add || User->getOperand(1) == Add)
3399 return false;
3400 break;
3401 case ISD::ATOMIC_STORE:
3402 // Don't allow stores of Add. It must only be used as the address.
3403 if (cast<AtomicSDNode>(User)->getVal() == Add)
3404 return false;
3405 break;
3406 }
3407
3408 return true;
3409}
3410
3411// To prevent SelectAddrRegImm from folding offsets that conflict with the
3412// fusion of PseudoMovAddr, check if the offset of every use of a given address
3413// is within the alignment.
3415 Align Alignment) {
3416 assert(Addr->getOpcode() == RISCVISD::ADD_LO);
3417 for (auto *User : Addr->users()) {
3418 // If the user is a load or store, then the offset is 0 which is always
3419 // within alignment.
3420 if (isRegImmLoadOrStore(User, Addr))
3421 continue;
3422
3423 if (CurDAG->isBaseWithConstantOffset(SDValue(User, 0))) {
3424 int64_t CVal = cast<ConstantSDNode>(User->getOperand(1))->getSExtValue();
3425 if (!isInt<12>(CVal) || Alignment <= CVal)
3426 return false;
3427
3428 // Make sure all uses are foldable load/stores.
3429 for (auto *AddUser : User->users())
3430 if (!isRegImmLoadOrStore(AddUser, SDValue(User, 0)))
3431 return false;
3432
3433 continue;
3434 }
3435
3436 return false;
3437 }
3438
3439 return true;
3440}
3441
3443 SDValue &Offset) {
3444 if (SelectAddrFrameIndex(Addr, Base, Offset))
3445 return true;
3446
3447 SDLoc DL(Addr);
3448 MVT VT = Addr.getSimpleValueType();
3449
3450 if (Addr.getOpcode() == RISCVISD::ADD_LO) {
3451 bool CanFold = true;
3452 // Unconditionally fold if operand 1 is not a global address (e.g.
3453 // externsymbol)
3454 if (auto *GA = dyn_cast<GlobalAddressSDNode>(Addr.getOperand(1))) {
3455 const DataLayout &DL = CurDAG->getDataLayout();
3456 Align Alignment = commonAlignment(
3457 GA->getGlobal()->getPointerAlignment(DL), GA->getOffset());
3458 if (!areOffsetsWithinAlignment(Addr, Alignment))
3459 CanFold = false;
3460 }
3461 if (CanFold) {
3462 Base = Addr.getOperand(0);
3463 Offset = Addr.getOperand(1);
3464 return true;
3465 }
3466 }
3467
3468 if (CurDAG->isBaseWithConstantOffset(Addr)) {
3469 int64_t CVal = cast<ConstantSDNode>(Addr.getOperand(1))->getSExtValue();
3470 if (isInt<12>(CVal)) {
3471 Base = Addr.getOperand(0);
3472 if (Base.getOpcode() == RISCVISD::ADD_LO) {
3473 SDValue LoOperand = Base.getOperand(1);
3474 if (auto *GA = dyn_cast<GlobalAddressSDNode>(LoOperand)) {
3475 // If the Lo in (ADD_LO hi, lo) is a global variable's address
3476 // (its low part, really), then we can rely on the alignment of that
3477 // variable to provide a margin of safety before low part can overflow
3478 // the 12 bits of the load/store offset. Check if CVal falls within
3479 // that margin; if so (low part + CVal) can't overflow.
3480 const DataLayout &DL = CurDAG->getDataLayout();
3481 Align Alignment = commonAlignment(
3482 GA->getGlobal()->getPointerAlignment(DL), GA->getOffset());
3483 if ((CVal == 0 || Alignment > CVal) &&
3484 areOffsetsWithinAlignment(Base, Alignment)) {
3485 int64_t CombinedOffset = CVal + GA->getOffset();
3486 Base = Base.getOperand(0);
3487 Offset = CurDAG->getTargetGlobalAddress(
3488 GA->getGlobal(), SDLoc(LoOperand), LoOperand.getValueType(),
3489 CombinedOffset, GA->getTargetFlags());
3490 return true;
3491 }
3492 }
3493 }
3494
3495 if (auto *FIN = dyn_cast<FrameIndexSDNode>(Base))
3496 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), VT);
3497 Offset = CurDAG->getSignedTargetConstant(CVal, DL, VT);
3498 return true;
3499 }
3500 }
3501
3502 // Handle ADD with large immediates.
3503 if (Addr.getOpcode() == ISD::ADD && isa<ConstantSDNode>(Addr.getOperand(1))) {
3504 int64_t CVal = cast<ConstantSDNode>(Addr.getOperand(1))->getSExtValue();
3505 assert(!isInt<12>(CVal) && "simm12 not already handled?");
3506
3507 // Handle immediates in the range [-4096,-2049] or [2048, 4094]. We can use
3508 // an ADDI for part of the offset and fold the rest into the load/store.
3509 // This mirrors the AddiPair PatFrag in RISCVInstrInfo.td.
3510 if (CVal >= -4096 && CVal <= 4094) {
3511 int64_t Adj = CVal < 0 ? -2048 : 2047;
3512 Base = SDValue(
3513 CurDAG->getMachineNode(RISCV::ADDI, DL, VT, Addr.getOperand(0),
3514 CurDAG->getSignedTargetConstant(Adj, DL, VT)),
3515 0);
3516 Offset = CurDAG->getSignedTargetConstant(CVal - Adj, DL, VT);
3517 return true;
3518 }
3519
3520 // For larger immediates, we might be able to save one instruction from
3521 // constant materialization by folding the Lo12 bits of the immediate into
3522 // the address. We should only do this if the ADD is only used by loads and
3523 // stores that can fold the lo12 bits. Otherwise, the ADD will get iseled
3524 // separately with the full materialized immediate creating extra
3525 // instructions.
3526 if (isWorthFoldingAdd(Addr) &&
3527 selectConstantAddr(CurDAG, DL, VT, Subtarget, Addr.getOperand(1), Base,
3528 Offset, /*IsPrefetch=*/false)) {
3529 // Insert an ADD instruction with the materialized Hi52 bits.
3530 Base = SDValue(
3531 CurDAG->getMachineNode(RISCV::ADD, DL, VT, Addr.getOperand(0), Base),
3532 0);
3533 return true;
3534 }
3535 }
3536
3537 if (selectConstantAddr(CurDAG, DL, VT, Subtarget, Addr, Base, Offset,
3538 /*IsPrefetch=*/false))
3539 return true;
3540
3541 Base = Addr;
3542 Offset = CurDAG->getTargetConstant(0, DL, VT);
3543 return true;
3544}
3545
3546/// Similar to SelectAddrRegImm, except that the offset is restricted to uimm9.
3548 SDValue &Offset) {
3549 if (SelectAddrFrameIndex(Addr, Base, Offset))
3550 return true;
3551
3552 SDLoc DL(Addr);
3553 MVT VT = Addr.getSimpleValueType();
3554
3555 if (CurDAG->isBaseWithConstantOffset(Addr)) {
3556 int64_t CVal = cast<ConstantSDNode>(Addr.getOperand(1))->getSExtValue();
3557 if (isUInt<9>(CVal)) {
3558 Base = Addr.getOperand(0);
3559
3560 if (auto *FIN = dyn_cast<FrameIndexSDNode>(Base))
3561 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), VT);
3562 Offset = CurDAG->getSignedTargetConstant(CVal, DL, VT);
3563 return true;
3564 }
3565 }
3566
3567 Base = Addr;
3568 Offset = CurDAG->getTargetConstant(0, DL, VT);
3569 return true;
3570}
3571
3572/// Similar to SelectAddrRegImm, except that the least significant 5 bits of
3573/// Offset should be all zeros.
3575 SDValue &Offset) {
3576 if (SelectAddrFrameIndex(Addr, Base, Offset))
3577 return true;
3578
3579 SDLoc DL(Addr);
3580 MVT VT = Addr.getSimpleValueType();
3581
3582 if (CurDAG->isBaseWithConstantOffset(Addr)) {
3583 int64_t CVal = cast<ConstantSDNode>(Addr.getOperand(1))->getSExtValue();
3584 if (isInt<12>(CVal)) {
3585 Base = Addr.getOperand(0);
3586
3587 // Early-out if not a valid offset.
3588 if ((CVal & 0b11111) != 0) {
3589 Base = Addr;
3590 Offset = CurDAG->getTargetConstant(0, DL, VT);
3591 return true;
3592 }
3593
3594 if (auto *FIN = dyn_cast<FrameIndexSDNode>(Base))
3595 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), VT);
3596 Offset = CurDAG->getSignedTargetConstant(CVal, DL, VT);
3597 return true;
3598 }
3599 }
3600
3601 // Handle ADD with large immediates.
3602 if (Addr.getOpcode() == ISD::ADD && isa<ConstantSDNode>(Addr.getOperand(1))) {
3603 int64_t CVal = cast<ConstantSDNode>(Addr.getOperand(1))->getSExtValue();
3604 assert(!isInt<12>(CVal) && "simm12 not already handled?");
3605
3606 // Handle immediates in the range [-4096,-2049] or [2017, 4065]. We can save
3607 // one instruction by folding adjustment (-2048 or 2016) into the address.
3608 if ((-2049 >= CVal && CVal >= -4096) || (4065 >= CVal && CVal >= 2017)) {
3609 int64_t Adj = CVal < 0 ? -2048 : 2016;
3610 int64_t AdjustedOffset = CVal - Adj;
3611 Base =
3612 SDValue(CurDAG->getMachineNode(
3613 RISCV::ADDI, DL, VT, Addr.getOperand(0),
3614 CurDAG->getSignedTargetConstant(AdjustedOffset, DL, VT)),
3615 0);
3616 Offset = CurDAG->getSignedTargetConstant(Adj, DL, VT);
3617 return true;
3618 }
3619
3620 if (selectConstantAddr(CurDAG, DL, VT, Subtarget, Addr.getOperand(1), Base,
3621 Offset, /*IsPrefetch=*/true)) {
3622 // Insert an ADD instruction with the materialized Hi52 bits.
3623 Base = SDValue(
3624 CurDAG->getMachineNode(RISCV::ADD, DL, VT, Addr.getOperand(0), Base),
3625 0);
3626 return true;
3627 }
3628 }
3629
3630 if (selectConstantAddr(CurDAG, DL, VT, Subtarget, Addr, Base, Offset,
3631 /*IsPrefetch=*/true))
3632 return true;
3633
3634 Base = Addr;
3635 Offset = CurDAG->getTargetConstant(0, DL, VT);
3636 return true;
3637}
3638
3639/// Return true if this a load/store that we have a RegRegScale instruction for.
3641 const RISCVSubtarget &Subtarget) {
3642 if (User->getOpcode() != ISD::LOAD && User->getOpcode() != ISD::STORE)
3643 return false;
3644 EVT VT = cast<MemSDNode>(User)->getMemoryVT();
3645 if (!(VT.isScalarInteger() &&
3646 (Subtarget.hasVendorXTHeadMemIdx() || Subtarget.hasVendorXqcisls())) &&
3647 !((VT == MVT::f32 || VT == MVT::f64) &&
3648 Subtarget.hasVendorXTHeadFMemIdx()))
3649 return false;
3650 // Don't allow stores of the value. It must be used as the address.
3651 if (User->getOpcode() == ISD::STORE &&
3652 cast<StoreSDNode>(User)->getValue() == Add)
3653 return false;
3654
3655 return true;
3656}
3657
3658/// Is it profitable to fold this Add into RegRegScale load/store. If \p
3659/// Shift is non-null, then we have matched a shl+add. We allow reassociating
3660/// (add (add (shl A C2) B) C1) -> (add (add B C1) (shl A C2)) if there is a
3661/// single addi and we don't have a SHXADD instruction we could use.
3662/// FIXME: May still need to check how many and what kind of users the SHL has.
3664 SDValue Add,
3665 SDValue Shift = SDValue()) {
3666 bool FoundADDI = false;
3667 for (auto *User : Add->users()) {
3668 if (isRegRegScaleLoadOrStore(User, Add, Subtarget))
3669 continue;
3670
3671 // Allow a single ADDI that is used by loads/stores if we matched a shift.
3672 if (!Shift || FoundADDI || User->getOpcode() != ISD::ADD ||
3674 !isInt<12>(cast<ConstantSDNode>(User->getOperand(1))->getSExtValue()))
3675 return false;
3676
3677 FoundADDI = true;
3678
3679 // If we have a SHXADD instruction, prefer that over reassociating an ADDI.
3680 assert(Shift.getOpcode() == ISD::SHL);
3681 unsigned ShiftAmt = Shift.getConstantOperandVal(1);
3682 if (Subtarget.hasShlAdd(ShiftAmt))
3683 return false;
3684
3685 // All users of the ADDI should be load/store.
3686 for (auto *ADDIUser : User->users())
3687 if (!isRegRegScaleLoadOrStore(ADDIUser, SDValue(User, 0), Subtarget))
3688 return false;
3689 }
3690
3691 return true;
3692}
3693
3695 unsigned MaxShiftAmount,
3696 SDValue &Base, SDValue &Index,
3697 SDValue &Scale) {
3698 if (Addr.getOpcode() != ISD::ADD)
3699 return false;
3700 SDValue LHS = Addr.getOperand(0);
3701 SDValue RHS = Addr.getOperand(1);
3702
3703 EVT VT = Addr.getSimpleValueType();
3704 auto SelectShl = [this, VT, MaxShiftAmount](SDValue N, SDValue &Index,
3705 SDValue &Shift) {
3706 if (N.getOpcode() != ISD::SHL || !isa<ConstantSDNode>(N.getOperand(1)))
3707 return false;
3708
3709 // Only match shifts by a value in range [0, MaxShiftAmount].
3710 unsigned ShiftAmt = N.getConstantOperandVal(1);
3711 if (ShiftAmt > MaxShiftAmount)
3712 return false;
3713
3714 Index = N.getOperand(0);
3715 Shift = CurDAG->getTargetConstant(ShiftAmt, SDLoc(N), VT);
3716 return true;
3717 };
3718
3719 if (auto *C1 = dyn_cast<ConstantSDNode>(RHS)) {
3720 // (add (add (shl A C2) B) C1) -> (add (add B C1) (shl A C2))
3721 if (LHS.getOpcode() == ISD::ADD &&
3722 !isa<ConstantSDNode>(LHS.getOperand(1)) &&
3723 isInt<12>(C1->getSExtValue())) {
3724 if (SelectShl(LHS.getOperand(1), Index, Scale) &&
3725 isWorthFoldingIntoRegRegScale(*Subtarget, LHS, LHS.getOperand(1))) {
3726 SDValue C1Val = CurDAG->getTargetConstant(*C1->getConstantIntValue(),
3727 SDLoc(Addr), VT);
3728 Base = SDValue(CurDAG->getMachineNode(RISCV::ADDI, SDLoc(Addr), VT,
3729 LHS.getOperand(0), C1Val),
3730 0);
3731 return true;
3732 }
3733
3734 // Add is commutative so we need to check both operands.
3735 if (SelectShl(LHS.getOperand(0), Index, Scale) &&
3736 isWorthFoldingIntoRegRegScale(*Subtarget, LHS, LHS.getOperand(0))) {
3737 SDValue C1Val = CurDAG->getTargetConstant(*C1->getConstantIntValue(),
3738 SDLoc(Addr), VT);
3739 Base = SDValue(CurDAG->getMachineNode(RISCV::ADDI, SDLoc(Addr), VT,
3740 LHS.getOperand(1), C1Val),
3741 0);
3742 return true;
3743 }
3744 }
3745
3746 // Don't match add with constants.
3747 // FIXME: Is this profitable for large constants that have 0s in the lower
3748 // 12 bits that we can materialize with LUI?
3749 return false;
3750 }
3751
3752 // Try to match a shift on the RHS.
3753 if (SelectShl(RHS, Index, Scale)) {
3754 if (!isWorthFoldingIntoRegRegScale(*Subtarget, Addr, RHS))
3755 return false;
3756 Base = LHS;
3757 return true;
3758 }
3759
3760 // Try to match a shift on the LHS.
3761 if (SelectShl(LHS, Index, Scale)) {
3762 if (!isWorthFoldingIntoRegRegScale(*Subtarget, Addr, LHS))
3763 return false;
3764 Base = RHS;
3765 return true;
3766 }
3767
3768 if (!isWorthFoldingIntoRegRegScale(*Subtarget, Addr))
3769 return false;
3770
3771 Base = LHS;
3772 Index = RHS;
3773 Scale = CurDAG->getTargetConstant(0, SDLoc(Addr), VT);
3774 return true;
3775}
3776
3778 unsigned MaxShiftAmount,
3779 unsigned Bits, SDValue &Base,
3780 SDValue &Index,
3781 SDValue &Scale) {
3782 if (!SelectAddrRegRegScale(Addr, MaxShiftAmount, Base, Index, Scale))
3783 return false;
3784
3785 if (Index.getOpcode() == ISD::AND) {
3786 auto *C = dyn_cast<ConstantSDNode>(Index.getOperand(1));
3787 if (C && C->getZExtValue() == maskTrailingOnes<uint64_t>(Bits)) {
3788 Index = Index.getOperand(0);
3789 return true;
3790 }
3791 }
3792
3793 return false;
3794}
3795
3797 SDValue &Offset) {
3798 if (Addr.getOpcode() != ISD::ADD)
3799 return false;
3800
3801 if (isa<ConstantSDNode>(Addr.getOperand(1)))
3802 return false;
3803
3804 Base = Addr.getOperand(0);
3805 Offset = Addr.getOperand(1);
3806 return true;
3807}
3808
3810 SDValue &ShAmt) {
3811 ShAmt = N;
3812
3813 // Peek through zext.
3814 if (ShAmt->getOpcode() == ISD::ZERO_EXTEND)
3815 ShAmt = ShAmt.getOperand(0);
3816
3817 // Shift instructions on RISC-V only read the lower 5 or 6 bits of the shift
3818 // amount. If there is an AND on the shift amount, we can bypass it if it
3819 // doesn't affect any of those bits.
3820 if (ShAmt.getOpcode() == ISD::AND &&
3821 isa<ConstantSDNode>(ShAmt.getOperand(1))) {
3822 const APInt &AndMask = ShAmt.getConstantOperandAPInt(1);
3823
3824 // Since the max shift amount is a power of 2 we can subtract 1 to make a
3825 // mask that covers the bits needed to represent all shift amounts.
3826 assert(isPowerOf2_32(ShiftWidth) && "Unexpected max shift amount!");
3827 APInt ShMask(AndMask.getBitWidth(), ShiftWidth - 1);
3828
3829 if (ShMask.isSubsetOf(AndMask)) {
3830 ShAmt = ShAmt.getOperand(0);
3831 } else {
3832 // SimplifyDemandedBits may have optimized the mask so try restoring any
3833 // bits that are known zero.
3834 KnownBits Known = CurDAG->computeKnownBits(ShAmt.getOperand(0));
3835 if (!ShMask.isSubsetOf(AndMask | Known.Zero))
3836 return true;
3837 ShAmt = ShAmt.getOperand(0);
3838 }
3839 }
3840
3841 if (ShAmt.getOpcode() == ISD::ADD &&
3842 isa<ConstantSDNode>(ShAmt.getOperand(1))) {
3843 uint64_t Imm = ShAmt.getConstantOperandVal(1);
3844 // If we are shifting by X+N where N == 0 mod Size, then just shift by X
3845 // to avoid the ADD.
3846 if (Imm != 0 && Imm % ShiftWidth == 0) {
3847 ShAmt = ShAmt.getOperand(0);
3848 return true;
3849 }
3850 } else if (ShAmt.getOpcode() == ISD::SUB &&
3851 isa<ConstantSDNode>(ShAmt.getOperand(0))) {
3852 uint64_t Imm = ShAmt.getConstantOperandVal(0);
3853 // If we are shifting by N-X where N == 0 mod Size, then just shift by -X to
3854 // generate a NEG instead of a SUB of a constant.
3855 if (Imm != 0 && Imm % ShiftWidth == 0) {
3856 SDLoc DL(ShAmt);
3857 EVT VT = ShAmt.getValueType();
3858 SDValue Zero = CurDAG->getRegister(RISCV::X0, VT);
3859 unsigned NegOpc = VT == MVT::i64 ? RISCV::SUBW : RISCV::SUB;
3860 MachineSDNode *Neg = CurDAG->getMachineNode(NegOpc, DL, VT, Zero,
3861 ShAmt.getOperand(1));
3862 ShAmt = SDValue(Neg, 0);
3863 return true;
3864 }
3865 // If we are shifting by N-X where N == -1 mod Size, then just shift by ~X
3866 // to generate a NOT instead of a SUB of a constant.
3867 if (Imm % ShiftWidth == ShiftWidth - 1) {
3868 SDLoc DL(ShAmt);
3869 EVT VT = ShAmt.getValueType();
3870 MachineSDNode *Not = CurDAG->getMachineNode(
3871 RISCV::XORI, DL, VT, ShAmt.getOperand(1),
3872 CurDAG->getAllOnesConstant(DL, VT, /*isTarget=*/true));
3873 ShAmt = SDValue(Not, 0);
3874 return true;
3875 }
3876 }
3877
3878 return true;
3879}
3880
3881/// RISC-V doesn't have general instructions for integer setne/seteq, but we can
3882/// check for equality with 0. This function emits instructions that convert the
3883/// seteq/setne into something that can be compared with 0.
3884/// \p ExpectedCCVal indicates the condition code to attempt to match (e.g.
3885/// ISD::SETNE).
3887 SDValue &Val) {
3888 assert(ISD::isIntEqualitySetCC(ExpectedCCVal) &&
3889 "Unexpected condition code!");
3890
3891 // We're looking for a setcc.
3892 if (N->getOpcode() != ISD::SETCC)
3893 return false;
3894
3895 // Must be an equality comparison.
3896 ISD::CondCode CCVal = cast<CondCodeSDNode>(N->getOperand(2))->get();
3897 if (CCVal != ExpectedCCVal)
3898 return false;
3899
3900 SDValue LHS = N->getOperand(0);
3901 SDValue RHS = N->getOperand(1);
3902
3903 if (!LHS.getValueType().isScalarInteger())
3904 return false;
3905
3906 // If the RHS side is 0, we don't need any extra instructions, return the LHS.
3907 if (isNullConstant(RHS)) {
3908 Val = LHS;
3909 return true;
3910 }
3911
3912 SDLoc DL(N);
3913
3914 if (auto *C = dyn_cast<ConstantSDNode>(RHS)) {
3915 int64_t CVal = C->getSExtValue();
3916 // If the RHS is -2048, we can use xori to produce 0 if the LHS is -2048 and
3917 // non-zero otherwise.
3918 if (CVal == -2048) {
3919 Val = SDValue(
3920 CurDAG->getMachineNode(
3921 RISCV::XORI, DL, N->getValueType(0), LHS,
3922 CurDAG->getSignedTargetConstant(CVal, DL, N->getValueType(0))),
3923 0);
3924 return true;
3925 }
3926 // If the RHS is [-2047,2048], we can use addi/addiw with -RHS to produce 0
3927 // if the LHS is equal to the RHS and non-zero otherwise.
3928 if (isInt<12>(CVal) || CVal == 2048) {
3929 unsigned Opc = RISCV::ADDI;
3930 if (LHS.getOpcode() == ISD::SIGN_EXTEND_INREG &&
3931 cast<VTSDNode>(LHS.getOperand(1))->getVT() == MVT::i32) {
3932 Opc = RISCV::ADDIW;
3933 LHS = LHS.getOperand(0);
3934 }
3935
3936 Val = SDValue(CurDAG->getMachineNode(Opc, DL, N->getValueType(0), LHS,
3937 CurDAG->getSignedTargetConstant(
3938 -CVal, DL, N->getValueType(0))),
3939 0);
3940 return true;
3941 }
3942 if (isPowerOf2_64(CVal) && Subtarget->hasStdExtZbs()) {
3943 Val = SDValue(
3944 CurDAG->getMachineNode(
3945 RISCV::BINVI, DL, N->getValueType(0), LHS,
3946 CurDAG->getTargetConstant(Log2_64(CVal), DL, N->getValueType(0))),
3947 0);
3948 return true;
3949 }
3950 // Same as the addi case above but for larger immediates (signed 26-bit) use
3951 // the QC_E_ADDI instruction from the Xqcilia extension, if available. Avoid
3952 // anything which can be done with a single lui as it might be compressible.
3953 if (Subtarget->hasVendorXqcilia() && isInt<26>(CVal) &&
3954 (CVal & 0xFFF) != 0) {
3955 Val = SDValue(
3956 CurDAG->getMachineNode(
3957 RISCV::QC_E_ADDI, DL, N->getValueType(0), LHS,
3958 CurDAG->getSignedTargetConstant(-CVal, DL, N->getValueType(0))),
3959 0);
3960 return true;
3961 }
3962 }
3963
3964 // If nothing else we can XOR the LHS and RHS to produce zero if they are
3965 // equal and a non-zero value if they aren't.
3966 Val = SDValue(
3967 CurDAG->getMachineNode(RISCV::XOR, DL, N->getValueType(0), LHS, RHS), 0);
3968 return true;
3969}
3970
3972 if (N.getOpcode() == ISD::SIGN_EXTEND_INREG &&
3973 cast<VTSDNode>(N.getOperand(1))->getVT().getSizeInBits() == Bits) {
3974 Val = N.getOperand(0);
3975 return true;
3976 }
3977
3978 auto UnwrapShlSra = [](SDValue N, unsigned ShiftAmt) {
3979 if (N.getOpcode() != ISD::SRA || !isa<ConstantSDNode>(N.getOperand(1)))
3980 return N;
3981
3982 SDValue N0 = N.getOperand(0);
3983 if (N0.getOpcode() == ISD::SHL && isa<ConstantSDNode>(N0.getOperand(1)) &&
3984 N.getConstantOperandVal(1) == ShiftAmt &&
3985 N0.getConstantOperandVal(1) == ShiftAmt)
3986 return N0.getOperand(0);
3987
3988 return N;
3989 };
3990
3991 MVT VT = N.getSimpleValueType();
3992 if (CurDAG->ComputeNumSignBits(N) > (VT.getSizeInBits() - Bits)) {
3993 Val = UnwrapShlSra(N, VT.getSizeInBits() - Bits);
3994 return true;
3995 }
3996
3997 return false;
3998}
3999
4001 if (N.getOpcode() == ISD::AND) {
4002 auto *C = dyn_cast<ConstantSDNode>(N.getOperand(1));
4003 if (C && C->getZExtValue() == maskTrailingOnes<uint64_t>(Bits)) {
4004 Val = N.getOperand(0);
4005 return true;
4006 }
4007 }
4008 MVT VT = N.getSimpleValueType();
4009 APInt Mask = APInt::getBitsSetFrom(VT.getSizeInBits(), Bits);
4010 if (CurDAG->MaskedValueIsZero(N, Mask)) {
4011 Val = N;
4012 return true;
4013 }
4014
4015 return false;
4016}
4017
4018/// Look for various patterns that can be done with a SHL that can be folded
4019/// into a SHXADD. \p ShAmt contains 1, 2, or 3 and is set based on which
4020/// SHXADD we are trying to match.
4022 SDValue &Val) {
4023 if (N.getOpcode() == ISD::AND && isa<ConstantSDNode>(N.getOperand(1))) {
4024 SDValue N0 = N.getOperand(0);
4025
4026 if (bool LeftShift = N0.getOpcode() == ISD::SHL;
4027 (LeftShift || N0.getOpcode() == ISD::SRL) &&
4029 uint64_t Mask = N.getConstantOperandVal(1);
4030 unsigned C2 = N0.getConstantOperandVal(1);
4031
4032 unsigned XLen = Subtarget->getXLen();
4033 if (LeftShift)
4034 Mask &= maskTrailingZeros<uint64_t>(C2);
4035 else
4036 Mask &= maskTrailingOnes<uint64_t>(XLen - C2);
4037
4038 if (isShiftedMask_64(Mask)) {
4039 unsigned Leading = XLen - llvm::bit_width(Mask);
4040 unsigned Trailing = llvm::countr_zero(Mask);
4041 if (Trailing != ShAmt)
4042 return false;
4043
4044 unsigned Opcode;
4045 // Look for (and (shl y, c2), c1) where c1 is a shifted mask with no
4046 // leading zeros and c3 trailing zeros. We can use an SRLI by c3-c2
4047 // followed by a SHXADD with c3 for the X amount.
4048 if (LeftShift && Leading == 0 && C2 < Trailing)
4049 Opcode = RISCV::SRLI;
4050 // Look for (and (shl y, c2), c1) where c1 is a shifted mask with 32-c2
4051 // leading zeros and c3 trailing zeros. We can use an SRLIW by c3-c2
4052 // followed by a SHXADD with c3 for the X amount.
4053 else if (LeftShift && Leading == 32 - C2 && C2 < Trailing)
4054 Opcode = RISCV::SRLIW;
4055 // Look for (and (shr y, c2), c1) where c1 is a shifted mask with c2
4056 // leading zeros and c3 trailing zeros. We can use an SRLI by c2+c3
4057 // followed by a SHXADD using c3 for the X amount.
4058 else if (!LeftShift && Leading == C2)
4059 Opcode = RISCV::SRLI;
4060 // Look for (and (shr y, c2), c1) where c1 is a shifted mask with 32+c2
4061 // leading zeros and c3 trailing zeros. We can use an SRLIW by c2+c3
4062 // followed by a SHXADD using c3 for the X amount.
4063 else if (!LeftShift && Leading == 32 + C2)
4064 Opcode = RISCV::SRLIW;
4065 else
4066 return false;
4067
4068 SDLoc DL(N);
4069 EVT VT = N.getValueType();
4070 ShAmt = LeftShift ? Trailing - C2 : Trailing + C2;
4071 Val = SDValue(
4072 CurDAG->getMachineNode(Opcode, DL, VT, N0.getOperand(0),
4073 CurDAG->getTargetConstant(ShAmt, DL, VT)),
4074 0);
4075 return true;
4076 }
4077 } else if (N0.getOpcode() == ISD::SRA && N0.hasOneUse() &&
4079 uint64_t Mask = N.getConstantOperandVal(1);
4080 unsigned C2 = N0.getConstantOperandVal(1);
4081
4082 // Look for (and (sra y, c2), c1) where c1 is a shifted mask with c3
4083 // leading zeros and c4 trailing zeros. If c2 is greater than c3, we can
4084 // use (srli (srai y, c2 - c3), c3 + c4) followed by a SHXADD with c4 as
4085 // the X amount.
4086 if (isShiftedMask_64(Mask)) {
4087 unsigned XLen = Subtarget->getXLen();
4088 unsigned Leading = XLen - llvm::bit_width(Mask);
4089 unsigned Trailing = llvm::countr_zero(Mask);
4090 if (C2 > Leading && Leading > 0 && Trailing == ShAmt) {
4091 SDLoc DL(N);
4092 EVT VT = N.getValueType();
4093 Val = SDValue(CurDAG->getMachineNode(
4094 RISCV::SRAI, DL, VT, N0.getOperand(0),
4095 CurDAG->getTargetConstant(C2 - Leading, DL, VT)),
4096 0);
4097 Val = SDValue(CurDAG->getMachineNode(
4098 RISCV::SRLI, DL, VT, Val,
4099 CurDAG->getTargetConstant(Leading + ShAmt, DL, VT)),
4100 0);
4101 return true;
4102 }
4103 }
4104 }
4105 } else if (bool LeftShift = N.getOpcode() == ISD::SHL;
4106 (LeftShift || N.getOpcode() == ISD::SRL) &&
4107 isa<ConstantSDNode>(N.getOperand(1))) {
4108 SDValue N0 = N.getOperand(0);
4109 if (N0.getOpcode() == ISD::AND && N0.hasOneUse() &&
4111 uint64_t Mask = N0.getConstantOperandVal(1);
4112 if (isShiftedMask_64(Mask)) {
4113 unsigned C1 = N.getConstantOperandVal(1);
4114 unsigned XLen = Subtarget->getXLen();
4115 unsigned Leading = XLen - llvm::bit_width(Mask);
4116 unsigned Trailing = llvm::countr_zero(Mask);
4117 // Look for (shl (and X, Mask), C1) where Mask has 32 leading zeros and
4118 // C3 trailing zeros. If C1+C3==ShAmt we can use SRLIW+SHXADD.
4119 if (LeftShift && Leading == 32 && Trailing > 0 &&
4120 (Trailing + C1) == ShAmt) {
4121 SDLoc DL(N);
4122 EVT VT = N.getValueType();
4123 Val = SDValue(CurDAG->getMachineNode(
4124 RISCV::SRLIW, DL, VT, N0.getOperand(0),
4125 CurDAG->getTargetConstant(Trailing, DL, VT)),
4126 0);
4127 return true;
4128 }
4129 // Look for (srl (and X, Mask), C1) where Mask has 32 leading zeros and
4130 // C3 trailing zeros. If C3-C1==ShAmt we can use SRLIW+SHXADD.
4131 if (!LeftShift && Leading == 32 && Trailing > C1 &&
4132 (Trailing - C1) == ShAmt) {
4133 SDLoc DL(N);
4134 EVT VT = N.getValueType();
4135 Val = SDValue(CurDAG->getMachineNode(
4136 RISCV::SRLIW, DL, VT, N0.getOperand(0),
4137 CurDAG->getTargetConstant(Trailing, DL, VT)),
4138 0);
4139 return true;
4140 }
4141 }
4142 }
4143 }
4144
4145 return false;
4146}
4147
4148/// Look for various patterns that can be done with a SHL that can be folded
4149/// into a SHXADD_UW. \p ShAmt contains 1, 2, or 3 and is set based on which
4150/// SHXADD_UW we are trying to match.
4152 SDValue &Val) {
4153 if (N.getOpcode() == ISD::AND && isa<ConstantSDNode>(N.getOperand(1)) &&
4154 N.hasOneUse()) {
4155 SDValue N0 = N.getOperand(0);
4156 if (N0.getOpcode() == ISD::SHL && isa<ConstantSDNode>(N0.getOperand(1)) &&
4157 N0.hasOneUse()) {
4158 uint64_t Mask = N.getConstantOperandVal(1);
4159 unsigned C2 = N0.getConstantOperandVal(1);
4160
4161 Mask &= maskTrailingZeros<uint64_t>(C2);
4162
4163 // Look for (and (shl y, c2), c1) where c1 is a shifted mask with
4164 // 32-ShAmt leading zeros and c2 trailing zeros. We can use SLLI by
4165 // c2-ShAmt followed by SHXADD_UW with ShAmt for the X amount.
4166 if (isShiftedMask_64(Mask)) {
4167 unsigned Leading = llvm::countl_zero(Mask);
4168 unsigned Trailing = llvm::countr_zero(Mask);
4169 if (Leading == 32 - ShAmt && Trailing == C2 && Trailing > ShAmt) {
4170 SDLoc DL(N);
4171 EVT VT = N.getValueType();
4172 Val = SDValue(CurDAG->getMachineNode(
4173 RISCV::SLLI, DL, VT, N0.getOperand(0),
4174 CurDAG->getTargetConstant(C2 - ShAmt, DL, VT)),
4175 0);
4176 return true;
4177 }
4178 }
4179 }
4180 }
4181
4182 return false;
4183}
4184
4186 assert(N->getOpcode() == ISD::OR || N->getOpcode() == RISCVISD::OR_VL);
4187 if (N->getFlags().hasDisjoint())
4188 return true;
4189 return CurDAG->haveNoCommonBitsSet(N->getOperand(0), N->getOperand(1));
4190}
4191
4192bool RISCVDAGToDAGISel::selectImm64IfCheaper(int64_t Imm, int64_t OrigImm,
4193 SDValue N, SDValue &Val) {
4194 int OrigCost = RISCVMatInt::getIntMatCost(APInt(64, OrigImm), 64, *Subtarget,
4195 /*CompressionCost=*/true);
4196 int Cost = RISCVMatInt::getIntMatCost(APInt(64, Imm), 64, *Subtarget,
4197 /*CompressionCost=*/true);
4198 if (OrigCost <= Cost)
4199 return false;
4200
4201 Val = selectImm(CurDAG, SDLoc(N), N->getSimpleValueType(0), Imm, *Subtarget);
4202 return true;
4203}
4204
4206 if (!isa<ConstantSDNode>(N))
4207 return false;
4208 int64_t Imm = cast<ConstantSDNode>(N)->getSExtValue();
4209 if ((Imm >> 31) != 1)
4210 return false;
4211
4212 for (const SDNode *U : N->users()) {
4213 switch (U->getOpcode()) {
4214 case ISD::ADD:
4215 break;
4216 case ISD::OR:
4217 if (orDisjoint(U))
4218 break;
4219 return false;
4220 default:
4221 return false;
4222 }
4223 }
4224
4225 return selectImm64IfCheaper(0xffffffff00000000 | Imm, Imm, N, Val);
4226}
4227
4229 if (!isa<ConstantSDNode>(N))
4230 return false;
4231 int64_t Imm = cast<ConstantSDNode>(N)->getSExtValue();
4232 if (isInt<32>(Imm))
4233 return false;
4234 if (Imm == INT64_MIN)
4235 return false;
4236
4237 for (const SDNode *U : N->users()) {
4238 switch (U->getOpcode()) {
4239 case ISD::ADD:
4240 break;
4241 case RISCVISD::VMV_V_X_VL:
4242 if (!all_of(U->users(), [](const SDNode *V) {
4243 return V->getOpcode() == ISD::ADD ||
4244 V->getOpcode() == RISCVISD::ADD_VL;
4245 }))
4246 return false;
4247 break;
4248 default:
4249 return false;
4250 }
4251 }
4252
4253 return selectImm64IfCheaper(-Imm, Imm, N, Val);
4254}
4255
4257 if (!isa<ConstantSDNode>(N))
4258 return false;
4259 int64_t Imm = cast<ConstantSDNode>(N)->getSExtValue();
4260
4261 // For 32-bit signed constants, we can only substitute LUI+ADDI with LUI.
4262 if (isInt<32>(Imm) && ((Imm & 0xfff) != 0xfff || Imm == -1))
4263 return false;
4264
4265 // Abandon this transform if the constant is needed elsewhere.
4266 for (const SDNode *U : N->users()) {
4267 switch (U->getOpcode()) {
4268 case ISD::AND:
4269 case ISD::OR:
4270 case ISD::XOR:
4271 if (!(Subtarget->hasStdExtZbb() || Subtarget->hasStdExtZbkb()))
4272 return false;
4273 break;
4274 case RISCVISD::VMV_V_X_VL:
4275 if (!Subtarget->hasStdExtZvkb())
4276 return false;
4277 if (!all_of(U->users(), [](const SDNode *V) {
4278 return V->getOpcode() == ISD::AND ||
4279 V->getOpcode() == RISCVISD::AND_VL;
4280 }))
4281 return false;
4282 break;
4283 default:
4284 return false;
4285 }
4286 }
4287
4288 if (isInt<32>(Imm)) {
4289 Val =
4290 selectImm(CurDAG, SDLoc(N), N->getSimpleValueType(0), ~Imm, *Subtarget);
4291 return true;
4292 }
4293
4294 // For 64-bit constants, the instruction sequences get complex,
4295 // so we select inverted only if it's cheaper.
4296 return selectImm64IfCheaper(~Imm, Imm, N, Val);
4297}
4298
4299static bool vectorPseudoHasAllNBitUsers(SDNode *User, unsigned UserOpNo,
4300 unsigned Bits,
4301 const TargetInstrInfo *TII) {
4302 unsigned MCOpcode = RISCV::getRVVMCOpcode(User->getMachineOpcode());
4303
4304 if (!MCOpcode)
4305 return false;
4306
4307 const MCInstrDesc &MCID = TII->get(User->getMachineOpcode());
4308 const uint64_t TSFlags = MCID.TSFlags;
4309 if (!RISCVII::hasSEWOp(TSFlags))
4310 return false;
4311 assert(RISCVII::hasVLOp(TSFlags));
4312
4313 unsigned ChainOpIdx = User->getNumOperands() - 1;
4314 bool HasChainOp = User->getOperand(ChainOpIdx).getValueType() == MVT::Other;
4315 bool HasVecPolicyOp = RISCVII::hasVecPolicyOp(TSFlags);
4316 unsigned VLIdx = User->getNumOperands() - HasVecPolicyOp - HasChainOp - 2;
4317 const unsigned Log2SEW = User->getConstantOperandVal(VLIdx + 1);
4318
4319 if (UserOpNo == VLIdx)
4320 return false;
4321
4322 auto NumDemandedBits =
4323 RISCV::getVectorLowDemandedScalarBits(MCOpcode, Log2SEW);
4324 return NumDemandedBits && Bits >= *NumDemandedBits;
4325}
4326
4327// Return true if all users of this SDNode* only consume the lower \p Bits.
4328// This can be used to form W instructions for add/sub/mul/shl even when the
4329// root isn't a sext_inreg. This can allow the ADDW/SUBW/MULW/SLLIW to CSE if
4330// SimplifyDemandedBits has made it so some users see a sext_inreg and some
4331// don't. The sext_inreg+add/sub/mul/shl will get selected, but still leave
4332// the add/sub/mul/shl to become non-W instructions. By checking the users we
4333// may be able to use a W instruction and CSE with the other instruction if
4334// this has happened. We could try to detect that the CSE opportunity exists
4335// before doing this, but that would be more complicated.
4337 const unsigned Depth) const {
4338 assert((Node->getOpcode() == ISD::ADD || Node->getOpcode() == ISD::SUB ||
4339 Node->getOpcode() == ISD::MUL || Node->getOpcode() == ISD::SHL ||
4340 Node->getOpcode() == ISD::SRL || Node->getOpcode() == ISD::AND ||
4341 Node->getOpcode() == ISD::OR || Node->getOpcode() == ISD::XOR ||
4342 Node->getOpcode() == ISD::SIGN_EXTEND_INREG ||
4343 isa<ConstantSDNode>(Node) || Depth != 0) &&
4344 "Unexpected opcode");
4345
4347 return false;
4348
4349 // The PatFrags that call this may run before RISCVGenDAGISel.inc has checked
4350 // the VT. Ensure the type is scalar to avoid wasting time on vectors.
4351 if (Depth == 0 && !Node->getValueType(0).isScalarInteger())
4352 return false;
4353
4354 for (SDUse &Use : Node->uses()) {
4355 SDNode *User = Use.getUser();
4356 // Users of this node should have already been instruction selected
4357 if (!User->isMachineOpcode())
4358 return false;
4359
4360 // TODO: Add more opcodes?
4361 switch (User->getMachineOpcode()) {
4362 default:
4364 break;
4365 return false;
4366 case RISCV::ADDW:
4367 case RISCV::ADDIW:
4368 case RISCV::SUBW:
4369 case RISCV::MULW:
4370 case RISCV::SLLW:
4371 case RISCV::SLLIW:
4372 case RISCV::SRAW:
4373 case RISCV::SRAIW:
4374 case RISCV::SRLW:
4375 case RISCV::SRLIW:
4376 case RISCV::DIVW:
4377 case RISCV::DIVUW:
4378 case RISCV::REMW:
4379 case RISCV::REMUW:
4380 case RISCV::ROLW:
4381 case RISCV::RORW:
4382 case RISCV::RORIW:
4383 case RISCV::CLSW:
4384 case RISCV::CLZW:
4385 case RISCV::CTZW:
4386 case RISCV::CPOPW:
4387 case RISCV::SLLI_UW:
4388 case RISCV::ABSW:
4389 case RISCV::FMV_W_X:
4390 case RISCV::FCVT_H_W:
4391 case RISCV::FCVT_H_W_INX:
4392 case RISCV::FCVT_H_WU:
4393 case RISCV::FCVT_H_WU_INX:
4394 case RISCV::FCVT_S_W:
4395 case RISCV::FCVT_S_W_INX:
4396 case RISCV::FCVT_S_WU:
4397 case RISCV::FCVT_S_WU_INX:
4398 case RISCV::FCVT_D_W:
4399 case RISCV::FCVT_D_W_INX:
4400 case RISCV::FCVT_D_WU:
4401 case RISCV::FCVT_D_WU_INX:
4402 case RISCV::TH_REVW:
4403 case RISCV::TH_SRRIW:
4404 if (Bits >= 32)
4405 break;
4406 return false;
4407 case RISCV::SLL:
4408 case RISCV::SRA:
4409 case RISCV::SRL:
4410 case RISCV::ROL:
4411 case RISCV::ROR:
4412 case RISCV::BSET:
4413 case RISCV::BCLR:
4414 case RISCV::BINV:
4415 // Shift amount operands only use log2(Xlen) bits.
4416 if (Use.getOperandNo() == 1 && Bits >= Log2_32(Subtarget->getXLen()))
4417 break;
4418 return false;
4419 case RISCV::SLLI:
4420 // SLLI only uses the lower (XLen - ShAmt) bits.
4421 if (Bits >= Subtarget->getXLen() - User->getConstantOperandVal(1))
4422 break;
4423 return false;
4424 case RISCV::ANDI:
4425 if (Bits >= (unsigned)llvm::bit_width(User->getConstantOperandVal(1)))
4426 break;
4427 goto RecCheck;
4428 case RISCV::ORI: {
4429 uint64_t Imm = cast<ConstantSDNode>(User->getOperand(1))->getSExtValue();
4430 if (Bits >= (unsigned)llvm::bit_width<uint64_t>(~Imm))
4431 break;
4432 [[fallthrough]];
4433 }
4434 case RISCV::AND:
4435 case RISCV::OR:
4436 case RISCV::XOR:
4437 case RISCV::XORI:
4438 case RISCV::ANDN:
4439 case RISCV::ORN:
4440 case RISCV::XNOR:
4441 case RISCV::SH1ADD:
4442 case RISCV::SH2ADD:
4443 case RISCV::SH3ADD:
4444 RecCheck:
4445 if (hasAllNBitUsers(User, Bits, Depth + 1))
4446 break;
4447 return false;
4448 case RISCV::SRLI: {
4449 unsigned ShAmt = User->getConstantOperandVal(1);
4450 // If we are shifting right by less than Bits, and users don't demand any
4451 // bits that were shifted into [Bits-1:0], then we can consider this as an
4452 // N-Bit user.
4453 if (Bits > ShAmt && hasAllNBitUsers(User, Bits - ShAmt, Depth + 1))
4454 break;
4455 return false;
4456 }
4457 case RISCV::SEXT_B:
4458 case RISCV::PACKH:
4459 if (Bits >= 8)
4460 break;
4461 return false;
4462 case RISCV::SEXT_H:
4463 case RISCV::FMV_H_X:
4464 case RISCV::ZEXT_H_RV32:
4465 case RISCV::ZEXT_H_RV64:
4466 case RISCV::PACKW:
4467 if (Bits >= 16)
4468 break;
4469 return false;
4470 case RISCV::PACK:
4471 if (Bits >= (Subtarget->getXLen() / 2))
4472 break;
4473 return false;
4474 case RISCV::PPAIRE_H:
4475 // If only the lower 32-bits of the result are used, then only the
4476 // lower 16 bits of the inputs are used.
4477 if (Bits >= 16 && hasAllNBitUsers(User, 32, Depth + 1))
4478 break;
4479 return false;
4480 case RISCV::ADD_UW:
4481 case RISCV::SH1ADD_UW:
4482 case RISCV::SH2ADD_UW:
4483 case RISCV::SH3ADD_UW:
4484 // The first operand to add.uw/shXadd.uw is implicitly zero extended from
4485 // 32 bits.
4486 if (Use.getOperandNo() == 0 && Bits >= 32)
4487 break;
4488 return false;
4489 case RISCV::SB:
4490 if (Use.getOperandNo() == 0 && Bits >= 8)
4491 break;
4492 return false;
4493 case RISCV::SH:
4494 if (Use.getOperandNo() == 0 && Bits >= 16)
4495 break;
4496 return false;
4497 case RISCV::SW:
4498 if (Use.getOperandNo() == 0 && Bits >= 32)
4499 break;
4500 return false;
4501 case RISCV::TH_EXT:
4502 case RISCV::TH_EXTU: {
4503 unsigned Msb = User->getConstantOperandVal(1);
4504 unsigned Lsb = User->getConstantOperandVal(2);
4505 // Behavior of Msb < Lsb is not well documented.
4506 if (Msb >= Lsb && Bits > Msb)
4507 break;
4508 return false;
4509 }
4510 }
4511 }
4512
4513 return true;
4514}
4515
4516// Select a constant that can be represented as (sign_extend(imm5) << imm2).
4518 SDValue &Shl2) {
4519 auto *C = dyn_cast<ConstantSDNode>(N);
4520 if (!C)
4521 return false;
4522
4523 int64_t Offset = C->getSExtValue();
4524 for (unsigned Shift = 0; Shift < 4; Shift++) {
4525 if (isInt<5>(Offset >> Shift) && ((Offset % (1LL << Shift)) == 0)) {
4526 EVT VT = N->getValueType(0);
4527 Simm5 = CurDAG->getSignedTargetConstant(Offset >> Shift, SDLoc(N), VT);
4528 Shl2 = CurDAG->getTargetConstant(Shift, SDLoc(N), VT);
4529 return true;
4530 }
4531 }
4532
4533 return false;
4534}
4535
4536// Select VL as a 5 bit immediate or a value that will become a register. This
4537// allows us to choose between VSETIVLI or VSETVLI later.
4539 auto *C = dyn_cast<ConstantSDNode>(N);
4540 if (C && isUInt<5>(C->getZExtValue())) {
4541 VL = CurDAG->getTargetConstant(C->getZExtValue(), SDLoc(N),
4542 N->getValueType(0));
4543 } else if (C && C->isAllOnes()) {
4544 // Treat all ones as VLMax.
4545 VL = CurDAG->getSignedTargetConstant(RISCV::VLMaxSentinel, SDLoc(N),
4546 N->getValueType(0));
4547 } else if (isa<RegisterSDNode>(N) &&
4548 cast<RegisterSDNode>(N)->getReg() == RISCV::X0) {
4549 // All our VL operands use an operand that allows GPRNoX0 or an immediate
4550 // as the register class. Convert X0 to a special immediate to pass the
4551 // MachineVerifier. This is recognized specially by the vsetvli insertion
4552 // pass.
4553 VL = CurDAG->getSignedTargetConstant(RISCV::VLMaxSentinel, SDLoc(N),
4554 N->getValueType(0));
4555 } else {
4556 VL = N;
4557 }
4558
4559 return true;
4560}
4561
4563 if (N.getOpcode() == ISD::INSERT_SUBVECTOR) {
4564 if (!N.getOperand(0).isUndef())
4565 return SDValue();
4566 N = N.getOperand(1);
4567 }
4568 SDValue Splat = N;
4569 if ((Splat.getOpcode() != RISCVISD::VMV_V_X_VL &&
4570 Splat.getOpcode() != RISCVISD::VMV_S_X_VL) ||
4571 !Splat.getOperand(0).isUndef())
4572 return SDValue();
4573 assert(Splat.getNumOperands() == 3 && "Unexpected number of operands");
4574 return Splat;
4575}
4576
4579 if (!Splat)
4580 return false;
4581
4582 SplatVal = Splat.getOperand(1);
4583 return true;
4584}
4585
4587 SelectionDAG &DAG,
4588 const RISCVSubtarget &Subtarget,
4589 std::function<bool(int64_t)> ValidateImm,
4590 bool Decrement = false) {
4592 if (!Splat || !isa<ConstantSDNode>(Splat.getOperand(1)))
4593 return false;
4594
4595 const unsigned SplatEltSize = Splat.getScalarValueSizeInBits();
4596 assert(Subtarget.getXLenVT() == Splat.getOperand(1).getSimpleValueType() &&
4597 "Unexpected splat operand type");
4598
4599 // The semantics of RISCVISD::VMV_V_X_VL is that when the operand
4600 // type is wider than the resulting vector element type: an implicit
4601 // truncation first takes place. Therefore, perform a manual
4602 // truncation/sign-extension in order to ignore any truncated bits and catch
4603 // any zero-extended immediate.
4604 // For example, we wish to match (i8 -1) -> (XLenVT 255) as a simm5 by first
4605 // sign-extending to (XLenVT -1).
4606 APInt SplatConst = Splat.getConstantOperandAPInt(1).sextOrTrunc(SplatEltSize);
4607
4608 int64_t SplatImm = SplatConst.getSExtValue();
4609
4610 if (!ValidateImm(SplatImm))
4611 return false;
4612
4613 if (Decrement)
4614 SplatImm -= 1;
4615
4616 SplatVal =
4617 DAG.getSignedTargetConstant(SplatImm, SDLoc(N), Subtarget.getXLenVT());
4618 return true;
4619}
4620
4622 return selectVSplatImmHelper(N, SplatVal, *CurDAG, *Subtarget,
4623 [](int64_t Imm) { return isInt<5>(Imm); });
4624}
4625
4627 return selectVSplatImmHelper(
4628 N, SplatVal, *CurDAG, *Subtarget,
4629 [](int64_t Imm) { return Imm >= -15 && Imm <= 16; },
4630 /*Decrement=*/true);
4631}
4632
4634 return selectVSplatImmHelper(
4635 N, SplatVal, *CurDAG, *Subtarget,
4636 [](int64_t Imm) { return Imm >= -15 && Imm <= 16; },
4637 /*Decrement=*/false);
4638}
4639
4641 SDValue &SplatVal) {
4642 return selectVSplatImmHelper(
4643 N, SplatVal, *CurDAG, *Subtarget,
4644 [](int64_t Imm) { return Imm != 0 && Imm >= -15 && Imm <= 16; },
4645 /*Decrement=*/true);
4646}
4647
4649 SDValue &SplatVal) {
4650 return selectVSplatImmHelper(
4651 N, SplatVal, *CurDAG, *Subtarget,
4652 [Bits](int64_t Imm) { return isUIntN(Bits, Imm); });
4653}
4654
4657 return Splat && selectNegImm(Splat.getOperand(1), SplatVal);
4658}
4659
4661 auto IsExtOrTrunc = [](SDValue N) {
4662 switch (N->getOpcode()) {
4663 case ISD::SIGN_EXTEND:
4664 case ISD::ZERO_EXTEND:
4665 // There's no passthru on these _VL nodes so any VL/mask is ok, since any
4666 // inactive elements will be undef.
4667 case RISCVISD::TRUNCATE_VECTOR_VL:
4668 case RISCVISD::VSEXT_VL:
4669 case RISCVISD::VZEXT_VL:
4670 return true;
4671 default:
4672 return false;
4673 }
4674 };
4675
4676 // We can have multiple nested nodes, so unravel them all if needed.
4677 while (IsExtOrTrunc(N)) {
4678 if (!N.hasOneUse() || N.getScalarValueSizeInBits() < 8)
4679 return false;
4680 N = N->getOperand(0);
4681 }
4682
4683 return selectVSplat(N, SplatVal);
4684}
4685
4687 // Allow bitcasts from XLenVT -> FP.
4688 if (N.getOpcode() == ISD::BITCAST &&
4689 N.getOperand(0).getValueType() == Subtarget->getXLenVT()) {
4690 Imm = N.getOperand(0);
4691 return true;
4692 }
4693 // Allow moves from XLenVT to FP.
4694 if (N.getOpcode() == RISCVISD::FMV_H_X ||
4695 N.getOpcode() == RISCVISD::FMV_W_X_RV64) {
4696 Imm = N.getOperand(0);
4697 return true;
4698 }
4699
4700 // Otherwise, look for FP constants that can materialized with scalar int.
4702 if (!CFP)
4703 return false;
4704 const APFloat &APF = CFP->getValueAPF();
4705 // td can handle +0.0 already.
4706 if (APF.isPosZero())
4707 return false;
4708
4709 MVT VT = CFP->getSimpleValueType(0);
4710
4711 MVT XLenVT = Subtarget->getXLenVT();
4712 if (VT == MVT::f64 && !Subtarget->is64Bit()) {
4713 assert(APF.isNegZero() && "Unexpected constant.");
4714 return false;
4715 }
4716 SDLoc DL(N);
4717 Imm = selectImm(CurDAG, DL, XLenVT, APF.bitcastToAPInt().getSExtValue(),
4718 *Subtarget);
4719 return true;
4720}
4721
4723 SDValue &Imm) {
4724 if (auto *C = dyn_cast<ConstantSDNode>(N)) {
4725 int64_t ImmVal = SignExtend64(C->getSExtValue(), Width);
4726
4727 if (!isInt<5>(ImmVal))
4728 return false;
4729
4730 Imm = CurDAG->getSignedTargetConstant(ImmVal, SDLoc(N),
4731 Subtarget->getXLenVT());
4732 return true;
4733 }
4734
4735 return false;
4736}
4737
4738// Match XOR with a VMSET_VL operand. Return the other operand.
4740 if (N.getOpcode() != ISD::XOR)
4741 return false;
4742
4743 if (N.getOperand(0).getOpcode() == RISCVISD::VMSET_VL) {
4744 Res = N.getOperand(1);
4745 return true;
4746 }
4747
4748 if (N.getOperand(1).getOpcode() == RISCVISD::VMSET_VL) {
4749 Res = N.getOperand(0);
4750 return true;
4751 }
4752
4753 return false;
4754}
4755
4756// Match VMXOR_VL with a VMSET_VL operand. Making sure that that VL operand
4757// matches the parent's VL. Return the other operand of the VMXOR_VL.
4759 SDValue &Res) {
4760 if (N.getOpcode() != RISCVISD::VMXOR_VL)
4761 return false;
4762
4763 assert(Parent &&
4764 (Parent->getOpcode() == RISCVISD::VMAND_VL ||
4765 Parent->getOpcode() == RISCVISD::VMOR_VL ||
4766 Parent->getOpcode() == RISCVISD::VMXOR_VL) &&
4767 "Unexpected parent");
4768
4769 // The VL should match the parent.
4770 if (Parent->getOperand(2) != N->getOperand(2))
4771 return false;
4772
4773 if (N.getOperand(0).getOpcode() == RISCVISD::VMSET_VL) {
4774 Res = N.getOperand(1);
4775 return true;
4776 }
4777
4778 if (N.getOperand(1).getOpcode() == RISCVISD::VMSET_VL) {
4779 Res = N.getOperand(0);
4780 return true;
4781 }
4782
4783 return false;
4784}
4785
4786// Try to remove sext.w if the input is a W instruction or can be made into
4787// a W instruction cheaply.
4788bool RISCVDAGToDAGISel::doPeepholeSExtW(SDNode *N) {
4789 // Look for the sext.w pattern, addiw rd, rs1, 0.
4790 if (N->getMachineOpcode() != RISCV::ADDIW ||
4791 !isNullConstant(N->getOperand(1)))
4792 return false;
4793
4794 SDValue N0 = N->getOperand(0);
4795 if (!N0.isMachineOpcode())
4796 return false;
4797
4798 switch (N0.getMachineOpcode()) {
4799 default:
4800 break;
4801 case RISCV::ADD:
4802 case RISCV::ADDI:
4803 case RISCV::SUB:
4804 case RISCV::MUL:
4805 case RISCV::SLLI: {
4806 // Convert sext.w+add/sub/mul to their W instructions. This will create
4807 // a new independent instruction. This improves latency.
4808 unsigned Opc;
4809 switch (N0.getMachineOpcode()) {
4810 default:
4811 llvm_unreachable("Unexpected opcode!");
4812 case RISCV::ADD: Opc = RISCV::ADDW; break;
4813 case RISCV::ADDI: Opc = RISCV::ADDIW; break;
4814 case RISCV::SUB: Opc = RISCV::SUBW; break;
4815 case RISCV::MUL: Opc = RISCV::MULW; break;
4816 case RISCV::SLLI: Opc = RISCV::SLLIW; break;
4817 }
4818
4819 SDValue N00 = N0.getOperand(0);
4820 SDValue N01 = N0.getOperand(1);
4821
4822 // Shift amount needs to be uimm5.
4823 if (N0.getMachineOpcode() == RISCV::SLLI &&
4824 !isUInt<5>(cast<ConstantSDNode>(N01)->getSExtValue()))
4825 break;
4826
4827 SDNode *Result =
4828 CurDAG->getMachineNode(Opc, SDLoc(N), N->getValueType(0),
4829 N00, N01);
4830 ReplaceUses(N, Result);
4831 return true;
4832 }
4833 case RISCV::ADDW:
4834 case RISCV::ADDIW:
4835 case RISCV::SUBW:
4836 case RISCV::MULW:
4837 case RISCV::SLLIW:
4838 case RISCV::PACKW:
4839 case RISCV::TH_MULAW:
4840 case RISCV::TH_MULAH:
4841 case RISCV::TH_MULSW:
4842 case RISCV::TH_MULSH:
4843 if (N0.getValueType() == MVT::i32)
4844 break;
4845
4846 // Result is already sign extended just remove the sext.w.
4847 // NOTE: We only handle the nodes that are selected with hasAllWUsers.
4848 ReplaceUses(N, N0.getNode());
4849 return true;
4850 }
4851
4852 return false;
4853}
4854
4855static bool usesAllOnesMask(SDValue MaskOp) {
4856 const auto IsVMSet = [](unsigned Opc) {
4857 return Opc == RISCV::PseudoVMSET_M_B1 || Opc == RISCV::PseudoVMSET_M_B16 ||
4858 Opc == RISCV::PseudoVMSET_M_B2 || Opc == RISCV::PseudoVMSET_M_B32 ||
4859 Opc == RISCV::PseudoVMSET_M_B4 || Opc == RISCV::PseudoVMSET_M_B64 ||
4860 Opc == RISCV::PseudoVMSET_M_B8;
4861 };
4862
4863 // TODO: Check that the VMSET is the expected bitwidth? The pseudo has
4864 // undefined behaviour if it's the wrong bitwidth, so we could choose to
4865 // assume that it's all-ones? Same applies to its VL.
4866 return MaskOp->isMachineOpcode() && IsVMSet(MaskOp.getMachineOpcode());
4867}
4868
4869static bool isImplicitDef(SDValue V) {
4870 if (!V.isMachineOpcode())
4871 return false;
4872 if (V.getMachineOpcode() == TargetOpcode::REG_SEQUENCE) {
4873 for (unsigned I = 1; I < V.getNumOperands(); I += 2)
4874 if (!isImplicitDef(V.getOperand(I)))
4875 return false;
4876 return true;
4877 }
4878 return V.getMachineOpcode() == TargetOpcode::IMPLICIT_DEF;
4879}
4880
4881// Optimize masked RVV pseudo instructions with a known all-ones mask to their
4882// corresponding "unmasked" pseudo versions.
4883bool RISCVDAGToDAGISel::doPeepholeMaskedRVV(MachineSDNode *N) {
4884 const RISCV::RISCVMaskedPseudoInfo *I =
4885 RISCV::getMaskedPseudoInfo(N->getMachineOpcode());
4886 if (!I)
4887 return false;
4888
4889 unsigned MaskOpIdx = I->MaskOpIdx;
4890 if (!usesAllOnesMask(N->getOperand(MaskOpIdx)))
4891 return false;
4892
4893 // There are two classes of pseudos in the table - compares and
4894 // everything else. See the comment on RISCVMaskedPseudo for details.
4895 const unsigned Opc = I->UnmaskedPseudo;
4896 const MCInstrDesc &MCID = TII->get(Opc);
4897 const bool HasPassthru = RISCVII::isFirstDefTiedToFirstUse(MCID);
4898
4899 const MCInstrDesc &MaskedMCID = TII->get(N->getMachineOpcode());
4900 const bool MaskedHasPassthru = RISCVII::isFirstDefTiedToFirstUse(MaskedMCID);
4901
4902 assert((RISCVII::hasVecPolicyOp(MaskedMCID.TSFlags) ||
4904 "Unmasked pseudo has policy but masked pseudo doesn't?");
4905 assert(RISCVII::hasVecPolicyOp(MCID.TSFlags) == HasPassthru &&
4906 "Unexpected pseudo structure");
4907 assert(!(HasPassthru && !MaskedHasPassthru) &&
4908 "Unmasked pseudo has passthru but masked pseudo doesn't?");
4909
4911 // Skip the passthru operand at index 0 if the unmasked don't have one.
4912 bool ShouldSkip = !HasPassthru && MaskedHasPassthru;
4913 bool DropPolicy = !RISCVII::hasVecPolicyOp(MCID.TSFlags) &&
4914 RISCVII::hasVecPolicyOp(MaskedMCID.TSFlags);
4915 bool HasChainOp =
4916 N->getOperand(N->getNumOperands() - 1).getValueType() == MVT::Other;
4917 unsigned LastOpNum = N->getNumOperands() - 1 - HasChainOp;
4918 for (unsigned I = ShouldSkip, E = N->getNumOperands(); I != E; I++) {
4919 // Skip the mask
4920 SDValue Op = N->getOperand(I);
4921 if (I == MaskOpIdx)
4922 continue;
4923 if (DropPolicy && I == LastOpNum)
4924 continue;
4925 Ops.push_back(Op);
4926 }
4927
4928 MachineSDNode *Result =
4929 CurDAG->getMachineNode(Opc, SDLoc(N), N->getVTList(), Ops);
4930
4931 if (!N->memoperands_empty())
4932 CurDAG->setNodeMemRefs(Result, N->memoperands());
4933
4934 Result->setFlags(N->getFlags());
4935 ReplaceUses(N, Result);
4936
4937 return true;
4938}
4939
4940/// If our passthru is an implicit_def, use noreg instead. This side
4941/// steps issues with MachineCSE not being able to CSE expressions with
4942/// IMPLICIT_DEF operands while preserving the semantic intent. See
4943/// pr64282 for context. Note that this transform is the last one
4944/// performed at ISEL DAG to DAG.
4945bool RISCVDAGToDAGISel::doPeepholeNoRegPassThru() {
4946 bool MadeChange = false;
4947 SelectionDAG::allnodes_iterator Position = CurDAG->allnodes_end();
4948
4949 while (Position != CurDAG->allnodes_begin()) {
4950 SDNode *N = &*--Position;
4951 if (N->use_empty() || !N->isMachineOpcode())
4952 continue;
4953
4954 const unsigned Opc = N->getMachineOpcode();
4955 if (!RISCVVPseudosTable::getPseudoInfo(Opc) ||
4957 !isImplicitDef(N->getOperand(0)))
4958 continue;
4959
4961 Ops.push_back(CurDAG->getRegister(RISCV::NoRegister, N->getValueType(0)));
4962 for (unsigned I = 1, E = N->getNumOperands(); I != E; I++) {
4963 SDValue Op = N->getOperand(I);
4964 Ops.push_back(Op);
4965 }
4966
4967 MachineSDNode *Result =
4968 CurDAG->getMachineNode(Opc, SDLoc(N), N->getVTList(), Ops);
4969 Result->setFlags(N->getFlags());
4970 CurDAG->setNodeMemRefs(Result, cast<MachineSDNode>(N)->memoperands());
4971 ReplaceUses(N, Result);
4972 MadeChange = true;
4973 }
4974 return MadeChange;
4975}
4976
4977
4978// This pass converts a legalized DAG into a RISCV-specific DAG, ready
4979// for instruction scheduling.
4981 CodeGenOptLevel OptLevel) {
4982 return new RISCVDAGToDAGISelLegacy(TM, OptLevel);
4983}
4984
4986
4991
static SDValue Widen(SelectionDAG *CurDAG, SDValue N)
return SDValue()
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static msgpack::DocNode getNode(msgpack::DocNode DN, msgpack::Type Type, MCValue Val)
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
#define X(NUM, ENUM, NAME)
Definition ELF.h:853
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define DEBUG_TYPE
const HexagonInstrInfo * TII
static constexpr Value * getValue(Ty &ValueOrUse)
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define I(x, y, z)
Definition MD5.cpp:57
Register const TargetRegisterInfo * TRI
static MCRegister getReg(const MCDisassembler *D, unsigned RC, unsigned RegNo)
#define P(N)
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
static bool getVal(MDTuple *MD, const char *Key, uint64_t &Val)
static bool usesAllOnesMask(SDValue MaskOp)
static Register getTileReg(uint64_t TileNum)
static SDValue selectImm(SelectionDAG *CurDAG, const SDLoc &DL, const MVT VT, int64_t Imm, const RISCVSubtarget &Subtarget)
static bool isRegRegScaleLoadOrStore(SDNode *User, SDValue Add, const RISCVSubtarget &Subtarget)
Return true if this a load/store that we have a RegRegScale instruction for.
static std::pair< SDValue, SDValue > extractGPRPair(SelectionDAG *CurDAG, const SDLoc &DL, SDValue Pair)
#define CASE_VMNAND_VMSET_OPCODES(lmulenum, suffix)
static bool isWorthFoldingAdd(SDValue Add)
static SDValue selectImmSeq(SelectionDAG *CurDAG, const SDLoc &DL, const MVT VT, RISCVMatInt::InstSeq &Seq)
static bool isImplicitDef(SDValue V)
#define CASE_VMXOR_VMANDN_VMOR_OPCODES(lmulenum, suffix)
static bool selectVSplatImmHelper(SDValue N, SDValue &SplatVal, SelectionDAG &DAG, const RISCVSubtarget &Subtarget, std::function< bool(int64_t)> ValidateImm, bool Decrement=false)
static unsigned getSegInstNF(unsigned Intrinsic)
static bool isWorthFoldingIntoRegRegScale(const RISCVSubtarget &Subtarget, SDValue Add, SDValue Shift=SDValue())
Is it profitable to fold this Add into RegRegScale load/store.
static bool vectorPseudoHasAllNBitUsers(SDNode *User, unsigned UserOpNo, unsigned Bits, const TargetInstrInfo *TII)
static bool selectConstantAddr(SelectionDAG *CurDAG, const SDLoc &DL, const MVT VT, const RISCVSubtarget *Subtarget, SDValue Addr, SDValue &Base, SDValue &Offset, bool IsPrefetch=false)
#define INST_ALL_NF_CASE_WITH_FF(NAME)
#define CASE_VMSLT_OPCODES(lmulenum, suffix)
static SDValue buildGPRPair(SelectionDAG *CurDAG, const SDLoc &DL, MVT VT, SDValue Lo, SDValue Hi)
bool isRegImmLoadOrStore(SDNode *User, SDValue Add)
static cl::opt< bool > UsePseudoMovImm("riscv-use-rematerializable-movimm", cl::Hidden, cl::desc("Use a rematerializable pseudoinstruction for 2 instruction " "constant materialization"), cl::init(false))
static SDValue findVSplat(SDValue N)
static bool isApplicableToPLIOrPLUI(int Val)
#define INST_ALL_NF_CASE(NAME)
Contains matchers for matching SelectionDAG nodes and values.
#define LLVM_DEBUG(...)
Definition Debug.h:119
#define PASS_NAME
DEMANGLE_DUMP_METHOD void dump() const
bool isZero() const
Definition APFloat.h:1534
APInt bitcastToAPInt() const
Definition APFloat.h:1430
bool isPosZero() const
Definition APFloat.h:1549
bool isNegZero() const
Definition APFloat.h:1550
Class for arbitrary precision integers.
Definition APInt.h:78
LLVM_ABI APInt trunc(unsigned width) const
Truncate to new width.
Definition APInt.cpp:968
bool isAllOnes() const
Determine if all bits are set. This is true for zero-width values.
Definition APInt.h:372
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1511
LLVM_ABI bool isSplat(unsigned SplatSizeInBits) const
Check if the APInt consists of a repeated bit pattern.
Definition APInt.cpp:631
static APInt getSignedMinValue(unsigned numBits)
Gets minimum signed value of APInt for a specific bit width.
Definition APInt.h:220
bool isSubsetOf(const APInt &RHS) const
This operation checks that all bits set in this APInt are also set in RHS.
Definition APInt.h:1264
static APInt getBitsSetFrom(unsigned numBits, unsigned loBit)
Constructs an APInt value that has a contiguous range of bits set.
Definition APInt.h:287
int64_t getSExtValue() const
Get sign extended value.
Definition APInt.h:1585
const APFloat & getValueAPF() const
uint64_t getZExtValue() const
int64_t getSExtValue() const
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
FunctionPass class - This class is used to implement most global optimizations.
Definition Pass.h:314
This class is used to form a handle around another node that is persistent and is updated across invo...
const SDValue & getValue() const
static StringRef getMemConstraintName(ConstraintCode C)
Definition InlineAsm.h:475
ISD::MemIndexedMode getAddressingMode() const
Return the addressing mode for this load or store: unindexed, pre-inc, pre-dec, post-inc,...
This class is used to represent ISD::LOAD nodes.
const SDValue & getBasePtr() const
const SDValue & getOffset() const
ISD::LoadExtType getExtensionType() const
Return whether this is a plain node, or one of the varieties of value-extending loads.
Describe properties that are true of each instruction in the target description file.
Machine Value Type.
unsigned getVectorMinNumElements() const
Given a vector type, return the minimum number of elements it contains.
SimpleValueType SimpleTy
uint64_t getScalarSizeInBits() const
MVT changeVectorElementType(MVT EltVT) const
Return a VT for a vector type whose attributes match ourselves with the exception of the element type...
unsigned getVectorNumElements() const
bool isVector() const
Return true if this is a vector value type.
bool isInteger() const
Return true if this is an integer or a vector integer type.
bool isScalableVector() const
Return true if this is a vector value type where the runtime length is machine dependent.
TypeSize getSizeInBits() const
Returns the size of the specified MVT in bits.
bool isFixedLengthVector() const
ElementCount getVectorElementCount() const
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
MVT getVectorElementType() const
A description of a memory reference used in the backend.
@ MOLoad
The memory access reads data.
@ MONonTemporal
The memory access is non-temporal.
void setFlags(Flags f)
Bitwise OR the current flags with the given flags.
An SDNode that represents everything that will be needed to construct a MachineInstr.
const SDValue & getChain() const
EVT getMemoryVT() const
Return the type of the in-memory value.
RISCVDAGToDAGISelLegacy(RISCVTargetMachine &TargetMachine, CodeGenOptLevel OptLevel)
bool selectSETCC(SDValue N, ISD::CondCode ExpectedCCVal, SDValue &Val)
RISC-V doesn't have general instructions for integer setne/seteq, but we can check for equality with ...
bool selectSExtBits(SDValue N, unsigned Bits, SDValue &Val)
bool selectNegImm(SDValue N, SDValue &Val)
bool selectZExtBits(SDValue N, unsigned Bits, SDValue &Val)
bool selectSHXADD_UWOp(SDValue N, unsigned ShAmt, SDValue &Val)
Look for various patterns that can be done with a SHL that can be folded into a SHXADD_UW.
bool areOffsetsWithinAlignment(SDValue Addr, Align Alignment)
bool hasAllNBitUsers(SDNode *Node, unsigned Bits, const unsigned Depth=0) const
bool SelectAddrRegImmLsb00000(SDValue Addr, SDValue &Base, SDValue &Offset)
Similar to SelectAddrRegImm, except that the least significant 5 bits of Offset should be all zeros.
bool selectZExtImm32(SDValue N, SDValue &Val)
bool SelectAddrRegZextRegScale(SDValue Addr, unsigned MaxShiftAmount, unsigned Bits, SDValue &Base, SDValue &Index, SDValue &Scale)
bool SelectAddrRegReg(SDValue Addr, SDValue &Base, SDValue &Offset)
bool selectVMNOT_VLOp(SDNode *Parent, SDValue N, SDValue &Res)
void selectVSXSEG(SDNode *Node, unsigned NF, bool IsMasked, bool IsOrdered)
void selectVLSEGFF(SDNode *Node, unsigned NF, bool IsMasked)
bool selectVSplatSimm5Plus1NoDec(SDValue N, SDValue &SplatVal)
bool selectSimm5Shl2(SDValue N, SDValue &Simm5, SDValue &Shl2)
void selectSF_VC_X_SE(SDNode *Node)
bool orDisjoint(const SDNode *Node) const
bool tryWideningMulAcc(SDNode *Node, const SDLoc &DL)
bool selectLow8BitsVSplat(SDValue N, SDValue &SplatVal)
bool hasAllHUsers(SDNode *Node) const
bool SelectInlineAsmMemoryOperand(const SDValue &Op, InlineAsm::ConstraintCode ConstraintID, std::vector< SDValue > &OutOps) override
SelectInlineAsmMemoryOperand - Select the specified address as a target addressing mode,...
bool selectVSplatSimm5(SDValue N, SDValue &SplatVal)
bool selectRVVSimm5(SDValue N, unsigned Width, SDValue &Imm)
bool SelectAddrFrameIndex(SDValue Addr, SDValue &Base, SDValue &Offset)
bool tryUnsignedBitfieldInsertInZero(SDNode *Node, const SDLoc &DL, MVT VT, SDValue X, unsigned Msb, unsigned Lsb)
bool hasAllWUsers(SDNode *Node) const
void PreprocessISelDAG() override
PreprocessISelDAG - This hook allows targets to hack on the graph before instruction selection starts...
bool selectInvLogicImm(SDValue N, SDValue &Val)
bool SelectAddrRegImm(SDValue Addr, SDValue &Base, SDValue &Offset)
void Select(SDNode *Node) override
Main hook for targets to transform nodes into machine nodes.
void selectXSfmmVSET(SDNode *Node)
bool trySignedBitfieldInsertInSign(SDNode *Node)
bool selectVSplat(SDValue N, SDValue &SplatVal)
void addVectorLoadStoreOperands(SDNode *Node, unsigned SEWImm, const SDLoc &DL, unsigned CurOp, bool IsMasked, bool IsStridedOrIndexed, SmallVectorImpl< SDValue > &Operands, bool IsLoad=false, MVT *IndexVT=nullptr)
void PostprocessISelDAG() override
PostprocessISelDAG() - This hook allows the target to hack on the graph right after selection.
bool SelectAddrRegImm9(SDValue Addr, SDValue &Base, SDValue &Offset)
Similar to SelectAddrRegImm, except that the offset is restricted to uimm9.
bool selectScalarFPAsInt(SDValue N, SDValue &Imm)
bool hasAllBUsers(SDNode *Node) const
void selectVLSEG(SDNode *Node, unsigned NF, bool IsMasked, bool IsStrided)
bool tryShrinkShlLogicImm(SDNode *Node)
void selectVSETVLI(SDNode *Node)
bool selectVLOp(SDValue N, SDValue &VL)
bool trySignedBitfieldExtract(SDNode *Node)
bool selectVSplatSimm5Plus1(SDValue N, SDValue &SplatVal)
bool selectVMNOTOp(SDValue N, SDValue &Res)
void selectVSSEG(SDNode *Node, unsigned NF, bool IsMasked, bool IsStrided)
bool selectVSplatImm64Neg(SDValue N, SDValue &SplatVal)
bool selectVSplatSimm5Plus1NonZero(SDValue N, SDValue &SplatVal)
bool tryUnsignedBitfieldExtract(SDNode *Node, const SDLoc &DL, MVT VT, SDValue X, unsigned Msb, unsigned Lsb)
void selectVLXSEG(SDNode *Node, unsigned NF, bool IsMasked, bool IsOrdered)
bool selectShiftMask(SDValue N, unsigned ShiftWidth, SDValue &ShAmt)
bool selectSHXADDOp(SDValue N, unsigned ShAmt, SDValue &Val)
Look for various patterns that can be done with a SHL that can be folded into a SHXADD.
bool tryIndexedLoad(SDNode *Node)
bool SelectAddrRegRegScale(SDValue Addr, unsigned MaxShiftAmount, SDValue &Base, SDValue &Index, SDValue &Scale)
bool selectVSplatUimm(SDValue N, unsigned Bits, SDValue &SplatVal)
bool hasShlAdd(int64_t ShAmt) const
static std::pair< unsigned, unsigned > decomposeSubvectorInsertExtractToSubRegs(MVT VecVT, MVT SubVecVT, unsigned InsertExtractIdx, const RISCVRegisterInfo *TRI)
static unsigned getRegClassIDForVecVT(MVT VT)
static RISCVVType::VLMUL getLMUL(MVT VT)
Wrapper class representing virtual and physical registers.
Definition Register.h:20
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Represents one node in the SelectionDAG.
bool isMachineOpcode() const
Test if this node has a post-isel opcode, directly corresponding to a MachineInstr opcode.
unsigned getOpcode() const
Return the SelectionDAG opcode value for this node.
MVT getSimpleValueType(unsigned ResNo) const
Return the type of a specified result as a simple type.
uint64_t getAsZExtVal() const
Helper method returns the zero-extended integer value of a ConstantSDNode.
const SDValue & getOperand(unsigned Num) const
EVT getValueType(unsigned ResNo) const
Return the type of a specified result.
iterator_range< user_iterator > users()
Represents a use of a SDNode.
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
SDNode * getNode() const
get the SDNode which holds the desired result
bool hasOneUse() const
Return true if there is exactly one node using value ResNo of Node.
EVT getValueType() const
Return the ValueType of the referenced return value.
bool isMachineOpcode() const
const SDValue & getOperand(unsigned i) const
const APInt & getConstantOperandAPInt(unsigned i) const
uint64_t getConstantOperandVal(unsigned i) const
MVT getSimpleValueType() const
Return the simple ValueType of the referenced return value.
unsigned getMachineOpcode() const
unsigned getOpcode() const
SelectionDAGISelLegacy(char &ID, std::unique_ptr< SelectionDAGISel > S)
const TargetLowering * TLI
const TargetInstrInfo * TII
void ReplaceUses(SDValue F, SDValue T)
ReplaceUses - replace all uses of the old node F with the use of the new node T.
virtual bool IsProfitableToFold(SDValue N, SDNode *U, SDNode *Root) const
IsProfitableToFold - Returns true if it's profitable to fold the specific operand node N of U during ...
static bool IsLegalToFold(SDValue N, SDNode *U, SDNode *Root, CodeGenOptLevel OptLevel, bool IgnoreChains=false)
IsLegalToFold - Returns true if the specific operand node N of U can be folded during instruction sel...
void ReplaceNode(SDNode *F, SDNode *T)
Replace all uses of F with T, then remove F from the DAG.
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
LLVM_ABI MachineSDNode * getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT)
These are used for target selectors to create a new node with specified return type(s),...
LLVM_ABI SDValue getRegister(Register Reg, EVT VT)
static constexpr unsigned MaxRecursionDepth
SDValue getSignedTargetConstant(int64_t Val, const SDLoc &DL, EVT VT, bool isOpaque=false)
LLVM_ABI SDValue getTargetExtractSubreg(int SRIdx, const SDLoc &DL, EVT VT, SDValue Operand)
A convenience function for creating TargetInstrInfo::EXTRACT_SUBREG nodes.
SDValue getTargetConstant(uint64_t Val, const SDLoc &DL, EVT VT, bool isOpaque=false)
ilist< SDNode >::iterator allnodes_iterator
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
TargetInstrInfo - Interface to description of machine instruction set.
static constexpr TypeSize getFixed(ScalarTy ExactSize)
Definition TypeSize.h:343
static constexpr TypeSize getScalable(ScalarTy MinimumSize)
Definition TypeSize.h:346
A Use represents the edge between a Value definition and its users.
Definition Use.h:35
LLVM_ABI unsigned getOperandNo() const
Return the operand # of this use in its User.
Definition Use.cpp:36
User * getUser() const
Returns the User that contains this Use.
Definition Use.h:61
Value * getOperand(unsigned i) const
Definition User.h:207
unsigned getNumOperands() const
Definition User.h:229
iterator_range< user_iterator > users()
Definition Value.h:426
#define INT64_MIN
Definition DataTypes.h:74
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
@ SETCC
SetCC operator - This evaluates to a true value iff the condition is true.
Definition ISDOpcodes.h:823
@ SMUL_LOHI
SMUL_LOHI/UMUL_LOHI - Multiply two integers of type iN, producing a signed/unsigned value of type i[2...
Definition ISDOpcodes.h:275
@ INSERT_SUBVECTOR
INSERT_SUBVECTOR(VECTOR1, VECTOR2, IDX) - Returns a vector with VECTOR2 inserted into VECTOR1.
Definition ISDOpcodes.h:600
@ ATOMIC_STORE
OUTCHAIN = ATOMIC_STORE(INCHAIN, val, ptr) This corresponds to "store atomic" instruction.
@ ADD
Simple integer binary arithmetic operators.
Definition ISDOpcodes.h:264
@ LOAD
LOAD and STORE have token chains as their first operand, then the same operands as an LLVM load/store...
@ ANY_EXTEND
ANY_EXTEND - Used for integer types. The high bits are undefined.
Definition ISDOpcodes.h:857
@ INTRINSIC_VOID
OUTCHAIN = INTRINSIC_VOID(INCHAIN, INTRINSICID, arg1, arg2, ...) This node represents a target intrin...
Definition ISDOpcodes.h:220
@ BITCAST
BITCAST - This operator converts between integer, vector and FP values, as if the value was stored to...
Definition ISDOpcodes.h:997
@ SIGN_EXTEND
Conversion operators.
Definition ISDOpcodes.h:848
@ SCALAR_TO_VECTOR
SCALAR_TO_VECTOR(VAL) - This represents the operation of loading a scalar value into element 0 of the...
Definition ISDOpcodes.h:665
@ PREFETCH
PREFETCH - This corresponds to a prefetch intrinsic.
@ ATOMIC_LOAD
Val, OUTCHAIN = ATOMIC_LOAD(INCHAIN, ptr) This corresponds to "load atomic" instruction.
@ SPLAT_VECTOR
SPLAT_VECTOR(VAL) - Returns a vector with the scalar value VAL duplicated in all lanes.
Definition ISDOpcodes.h:672
@ SHL
Shift and rotation operations.
Definition ISDOpcodes.h:769
@ EXTRACT_SUBVECTOR
EXTRACT_SUBVECTOR(VECTOR, IDX) - Returns a subvector from VECTOR.
Definition ISDOpcodes.h:614
@ ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
Definition ISDOpcodes.h:854
@ SIGN_EXTEND_INREG
SIGN_EXTEND_INREG - This operator atomically performs a SHL/SRA pair to sign extend a small value in ...
Definition ISDOpcodes.h:892
@ FP_EXTEND
X = FP_EXTEND(Y) - Extend a smaller FP type into a larger FP type.
Definition ISDOpcodes.h:982
@ AND
Bitwise operators - logical and, logical or, logical xor.
Definition ISDOpcodes.h:739
@ INTRINSIC_WO_CHAIN
RESULT = INTRINSIC_WO_CHAIN(INTRINSICID, arg1, arg2, ...) This node represents a target intrinsic fun...
Definition ISDOpcodes.h:205
@ TokenFactor
TokenFactor - This node takes multiple tokens as input and produces a single token result.
Definition ISDOpcodes.h:53
@ INTRINSIC_W_CHAIN
RESULT,OUTCHAIN = INTRINSIC_W_CHAIN(INCHAIN, INTRINSICID, arg1, ...) This node represents a target in...
Definition ISDOpcodes.h:213
MemIndexedMode
MemIndexedMode enum - This enum defines the load / store indexed addressing modes.
CondCode
ISD::CondCode enum - These are ordered carefully to make the bitfields below work out,...
bool isIntEqualitySetCC(CondCode Code)
Return true if this is a setcc instruction that performs an equality comparison when used with intege...
This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.
static bool hasVLOp(uint64_t TSFlags)
static bool hasVecPolicyOp(uint64_t TSFlags)
static bool hasSEWOp(uint64_t TSFlags)
static bool isFirstDefTiedToFirstUse(const MCInstrDesc &Desc)
InstSeq generateInstSeq(int64_t Val, const MCSubtargetInfo &STI)
int getIntMatCost(const APInt &Val, unsigned Size, const MCSubtargetInfo &STI, bool CompressionCost, bool FreeZeroes)
InstSeq generateTwoRegInstSeq(int64_t Val, const MCSubtargetInfo &STI, unsigned &ShiftAmt, unsigned &AddOpc)
SmallVector< Inst, 8 > InstSeq
Definition RISCVMatInt.h:43
static unsigned decodeVSEW(unsigned VSEW)
LLVM_ABI unsigned encodeXSfmmVType(unsigned SEW, unsigned Widen, bool AltFmt)
LLVM_ABI std::pair< unsigned, bool > decodeVLMUL(VLMUL VLMul)
LLVM_ABI unsigned getSEWLMULRatio(unsigned SEW, VLMUL VLMul)
static unsigned decodeTWiden(unsigned TWiden)
LLVM_ABI unsigned encodeVTYPE(VLMUL VLMUL, unsigned SEW, bool TailAgnostic, bool MaskAgnostic, bool AltFmt=false)
unsigned getRVVMCOpcode(unsigned RVVPseudoOpcode)
std::optional< unsigned > getVectorLowDemandedScalarBits(unsigned Opcode, unsigned Log2SEW)
static constexpr unsigned RVVBitsPerBlock
static constexpr int64_t VLMaxSentinel
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:558
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1738
static const MachineMemOperand::Flags MONontemporalBit1
InstructionCost Cost
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
Definition MathExtras.h:165
LLVM_ABI bool isNullConstant(SDValue V)
Returns true if V is a constant integer zero.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
bool isStrongerThanMonotonic(AtomicOrdering AO)
int countr_one(T Value)
Count the number of ones from the least significant bit to the first zero bit.
Definition bit.h:315
int bit_width(T Value)
Returns the number of bits needed to represent Value if Value is nonzero.
Definition bit.h:325
constexpr bool isUIntN(unsigned N, uint64_t x)
Checks if an unsigned integer fits into the given (dynamic) bit width.
Definition MathExtras.h:243
static const MachineMemOperand::Flags MONontemporalBit0
constexpr bool isPowerOf2_64(uint64_t Value)
Return true if the argument is a power of two > 0 (64 bit edition.)
Definition MathExtras.h:284
unsigned Log2_64(uint64_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
Definition MathExtras.h:337
int countr_zero(T Val)
Count number of 0's from the least significant bit to the most stopping at the first 1.
Definition bit.h:204
constexpr bool isShiftedMask_64(uint64_t Value)
Return true if the argument contains a non-empty sequence of ones with the remainder zero (64 bit ver...
Definition MathExtras.h:273
unsigned M1(unsigned Val)
Definition VE.h:377
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
Definition MathExtras.h:331
int countl_zero(T Val)
Count number of 0's from the most significant bit to the least stopping at the first 1.
Definition bit.h:263
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
Definition MathExtras.h:279
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:163
constexpr bool isMask_64(uint64_t Value)
Return true if the argument is a non-empty sequence of ones starting at the least significant bit wit...
Definition MathExtras.h:261
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
Definition MathExtras.h:189
CodeGenOptLevel
Code generation optimization level.
Definition CodeGen.h:82
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
constexpr T maskTrailingZeros(unsigned N)
Create a bitmask with the N right-most bits set to 0, and all other bits set to 1.
Definition MathExtras.h:94
@ Add
Sum of integers.
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
Definition MCRegister.h:21
DWARFExpression::Operation Op
unsigned M0(unsigned Val)
Definition VE.h:376
constexpr bool isShiftedInt(int64_t x)
Checks if a signed integer is an N bit number shifted left by S.
Definition MathExtras.h:182
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
LLVM_ABI bool isOneConstant(SDValue V)
Returns true if V is a constant integer one.
FunctionPass * createRISCVISelDag(RISCVTargetMachine &TM, CodeGenOptLevel OptLevel)
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
Definition Alignment.h:201
constexpr int64_t SignExtend64(uint64_t x)
Sign-extend the number in the bottom B bits of X to a 64-bit integer.
Definition MathExtras.h:572
constexpr T maskTrailingOnes(unsigned N)
Create a bitmask with the N right-most bits set to 1, and all other bits set to 0.
Definition MathExtras.h:77
LLVM_ABI bool isAllOnesConstant(SDValue V)
Returns true if V is an integer constant with all bits set.
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
Definition Error.cpp:177
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:874
#define N
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
Extended Value Type.
Definition ValueTypes.h:35
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
Definition ValueTypes.h:418
bool isScalarInteger() const
Return true if this is an integer, but not a vector.
Definition ValueTypes.h:165
This class contains a discriminated union of information about pointers in memory operands,...
MachinePointerInfo getWithOffset(int64_t O) const
static LLVM_ABI MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.
This represents a list of ValueType's that has been intern'd by a SelectionDAG.