tree 6a7cd8106a876409c824cda20e5daaa29076137d
parent 4ad4b7dd0e8ec37718ba366f3eea8e9c486e35a2
author Stephan Herhut <herhut@google.com> 1638193191 +0100
committer Copybara-Service <copybara-worker@google.com> 1638197438 -0800

[mlir][memref] Fix bug in verification of memref.collapse_shape

The verifier computed an illegal type with negative dimension size when collapsing partially static memrefs.

Differential Revision: https://reviews.llvm.org/D114702

GitOrigin-RevId: 95f34e318c469806879a0cd1a6c5290901ed12df