[PATCH] D142445: [mlir][tensor|memref] Harden the checks on dim op

[Quentin Colombet via Phabricator via llvm-commits]

qcolombet abandoned this revision.
qcolombet added a comment.

> hence my argument that this not a sound design for the verifier.

Agree!
I was going for consistency but looks like what is already here is not the right thing to do.

I'll stir the change in the other direction.
Abandoning this PR.

Thanks @mehdi_amini!

Could you file an issue with your example?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D142445/new/

https://reviews.llvm.org/D142445