[Mlir-commits] [mlir] [mlir][Vector] Improve `vector.mask` verifier (PR #139823)
Diego Caballero
llvmlistbot at llvm.org
Fri May 16 15:53:51 PDT 2025
================
@@ -6603,9 +6605,8 @@ LogicalResult MaskOp::verify() {
"number of results");
if (!llvm::equal(maskableOp->getResults(), terminator.getOperands()))
- return emitOpError(
- "expects all the results from the MaskableOpInterface to "
- "be returned by the terminator");
+ return emitOpError("expects all the results from the MaskableOpInterface "
+ "to match all the values returned by the terminator");
----------------
dcaballe wrote:
yes, my intent with this PR is to make clearer that an empty `vector.mask` is not a common valid case to mask operations and that may eventually go away. Let me clarify that a bit better in the doc. We would need the CSE equivalence issue to be fixed and improve some of the existing vector transformations. Definitely a target we should be moving towards.
https://github.com/llvm/llvm-project/pull/139823
More information about the Mlir-commits
mailing list