[Mlir-commits] [mlir] [mlir][transform] Guard parametric loop tiling pass from no option (PR #118254)

[Mehdi Amini]

================
@@ -0,0 +1,15 @@
+// RUN: mlir-opt -test-extract-fixed-outer-loops %s -verify-diagnostics
+
+// CHECK-LABEL: @no_crash
+func.func @no_crash(%arg0: memref<?x?xf32>) {
+  // expected-error at -5 {{expect non-empty outer loop sizes}}
+  %c2 = arith.constant 2 : index
+  %c44 = arith.constant 44 : index
+  %c1 = arith.constant 1 : index
+  scf.for %i = %c2 to %c44 step %c1 {
+    scf.for %j = %c1 to %c44 step %c2 {
+      memref.load %arg0[%i, %j]: memref<?x?xf32>
+    }
+  }
----------------
joker-eph wrote:

The body could just be empty right?

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