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

[Federico Bruzzone]

================
@@ -124,11 +124,10 @@ struct VscaleRange {
 
 /// Attempts to eliminate redundant vector masks by replacing them with all-true
 /// constants at the top of the function (which results in the masks folding
-/// away). Note: Currently, this only runs for vector.create_mask ops and
-/// requires `vscaleRange`. If `vscaleRange` is not provided this transform does
-/// nothing. This is because these redundant masks are much more likely for
-/// scalable code which requires memref/tensor dynamic sizes, whereas fixed-size
-/// code has static sizes, so simpler folds remove the masks.
+/// away). Note: Currently, this only runs for vector.create_mask ops.
+///
+/// `vscaleRange` is only needed to prove that a scalable mask dimension is
+/// all-true; without it, only fixed-size dimensions are considered.
----------------
FedericoBruzzone wrote:

```suggestion
/// away). 
/// `vscaleRange` is only needed to prove that a scalable mask dimension is
/// all-true; without it, only fixed-size dimensions are considered.
///
/// Note: Currently, this only runs for vector.create_mask ops.
```

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