[Mlir-commits] [mlir] [MLIR][Tensor, MemRef] Fold expand_shape and collapse_shape if identity (PR #80658)

[Matthias Springer]

================
@@ -2223,10 +2223,6 @@ LogicalResult ExpandShapeOp::verify() {
   MemRefType srcType = getSrcType();
   MemRefType resultType = getResultType();
 
-  if (srcType.getRank() >= resultType.getRank())
----------------
matthias-springer wrote:

We still have to fail verification if `srcType.getRank() > resultType.getRank()`.


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