[Mlir-commits] [mlir] [mlir][affine] Allow `memref.cast` in `isDimOpValidSymbol` (PR #74401)

[Matthias Springer]

matthias-springer wrote:

Do you see a way to improve the various affine op verifiers? If we land #74270, affine transformations become somewhat brittle because patterns can easily produce code that no longer verifies. Would it make sense to verify things such as `mlir::affine::isValidSymbol` in a separate pass and not as part of the op verifier?


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