[Mlir-commits] [mlir] [mlir][vector] Support fixed-size masks in `eliminateVectorMasks` (PR #221595)

[Dhairyashil R G]

================
@@ -54,9 +57,25 @@ LogicalResult resolveAllTrueCreateMaskOp(IRRewriter &rewriter,
   for (auto [i, dimSize] : unknownDims) {
     // Compute the lower bound for the unknown dimension (i.e. the smallest
     // value it could be).
+    if (!vscaleRange) {
+      // A constant bound cannot prove a scalable dim, whose runtime size is
+      // `vscale` times the size in the type. Checked first to skip the query.
+      if (maskTypeDimScalableFlags[i])
+        return failure();
----------------
dhairyashilRG wrote:

Done. The general sentence stays above the loop, and each branch now has a heading marking the fixed-width and the scalable case.

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