tree 3460ce7099eb7d06f5a3e6b796bb8333ce9b68b4
parent 18308e171b5b1dd99627a4d88c7d6c5ff21b8c96
author MaheshRavishankar <ravishankarm@google.com> 1638287181 +0000
committer Nicolas Vasilache <nicolas.vasilache@gmail.com> 1638304626 +0000

[mlir][MemRef] Fix SubViewOp canonicalization when a subset of unit-dims are dropped.

The canonical type of the result of the `memref.subview` needs to make
sure that the previously dropped unit-dimensions are the ones dropped
for the canonicalized type as well. This means the generic
`inferRankReducedResultType` cannot be used. Instead the current
dropped dimensions need to be querried and the same need to be dropped.

Reviewed By: nicolasvasilache, ThomasRaoux

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