[Mlir-commits] [mlir] [mlir] Make [tensor|memref]::ExpandShapeOp verifier stricter. (PR #181020)

[Han-Chung Wang]

================

----------------
hanhanW wrote:

Unfortunately, the canonicalziation pattern does not exist. I was thinking to add one, but we'll want to prioritize that pattern over other canonicalziation patterns. So other patterns can have such assumption. However, having priorities in canonicalization patterns looks weird to me, so I go ahead to fix the op semantics.

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