[Mlir-commits] [mlir] [MLIR][Affine] Fix affine.apply verifier and add functionality to demote invalid symbols to dims (PR #128289)

[Uday Bondhugula]

================
@@ -563,3 +563,17 @@ func.func @no_upper_bound() {
   }
   return
 }
+
+// -----
+
+func.func @invalid_symbol() {
----------------
bondhugula wrote:

A verifier should only verify the op the way it is! It can't transform it!

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