tree 131944b3b72c3f1502d4cea0f82d26ae0051fb12
parent 421cc581b902541928580ce9b130bcb174372b7c
author MaheshRavishankar <ravishankarm@google.com> 1638287181 +0000
committer Copybara-Service <copybara-worker@google.com> 1638304869 -0800

[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

GitOrigin-RevId: 311dd55c9eb9342b1c889f6db7728f15b05378bb