HomePhabricator

s[mlir] Tighten computation of inferred SubView result type.

Authored by nicolasvasilache on Feb 11 2021, 2:26 PM.

Description

s[mlir] Tighten computation of inferred SubView result type.

The AffineMap in the MemRef inferred by SubViewOp may have uncompressed symbols which result in type mismatch on otherwise unused symbols. Make the computation of the AffineMap compress those unused symbols which results in better canonical types.
Additionally, improve the error message to report which inferred type was expected.

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