[Mlir-commits] [mlir] [mlir][Affine] affine-super-vectorize transform op (PR #177755)

[Oleksandr Alex Zinenko]

================
@@ -149,6 +152,33 @@ void SimplifyBoundedAffineOpsOp::getEffects(
   modifiesPayload(effects);
 }
 
+DiagnosedSilenceableFailure
+SuperVectorizeOp::apply(transform::TransformRewriter &rewriter,
+                        TransformResults &results, TransformState &state) {
+  ArrayRef<int64_t> fastestVaryingPattern;
+  if (getFastestVaryingPattern().has_value()) {
+    if (getFastestVaryingPattern()->size() != getVectorSizes().size())
----------------
ftynse wrote:

IMO, this should be part of the op verifier, not of the `apply` function since this is an error of the transform op itself rather than an incompatibility of the transform op with payload IR.

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