[llvm-branch-commits] [llvm] [RISCV] Support memcmp expansion for vectors (PR #114517)

Luke Lau via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Wed Jun 11 06:15:59 PDT 2025


================
@@ -14520,17 +14520,78 @@ static bool narrowIndex(SDValue &N, ISD::MemIndexType IndexType, SelectionDAG &D
   return true;
 }
 
+/// Try to map an integer comparison with size > XLEN to vector instructions
+/// before type legalization splits it up into chunks.
+static SDValue
+combineVectorSizedSetCCEquality(EVT VT, SDValue X, SDValue Y, ISD::CondCode CC,
+                                const SDLoc &DL, SelectionDAG &DAG,
+                                const RISCVSubtarget &Subtarget) {
+  assert(ISD::isIntEqualitySetCC(CC) && "Bad comparison predicate");
+
+  if (!Subtarget.hasVInstructions())
+    return SDValue();
+
+  MVT XLenVT = Subtarget.getXLenVT();
+  EVT OpVT = X.getValueType();
+  // We're looking for an oversized integer equality comparison.
+  if (OpVT.isScalableVT() || !OpVT.isScalarInteger())
----------------
lukel97 wrote:

I believe OpVT.isScalableVT() implies !OpVT.isScalarInteger()? Can this be simplified to 
```suggestion
  if (!OpVT.isScalarInteger())
```

https://github.com/llvm/llvm-project/pull/114517


More information about the llvm-branch-commits mailing list