[mlir][Linalg] Drop check for output indexing maps.
authorMahesh Ravishankar <ravishankarm@google.com>
Fri, 26 Aug 2022 16:15:08 +0000 (16:15 +0000)
committerMahesh Ravishankar <ravishankarm@google.com>
Fri, 26 Aug 2022 16:15:55 +0000 (16:15 +0000)
commit7744253f12a84879aa58522346e919df8b65364e
treea8ab6d39f4af4ed70b3f72a88815728a14712d71
parent325426d72ce50c35e52ce801dcbfabc4a5a2afb3
[mlir][Linalg] Drop check for output indexing maps.

The current check for form of the output indexing maps disallows
generic ops that return both a reduced and unreduced value. Such an op
seems like it could fall within the scope of a Strucutred op. Drop the
check. The only load-bearing place this was found to cause isseus was
during vectorization, but the fix for that seems to be simple.

Reviewed By: ThomasRaoux

Differential Revision: https://reviews.llvm.org/D132716
mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp
mlir/lib/Dialect/Linalg/Transforms/Vectorization.cpp
mlir/test/Dialect/Linalg/invalid.mlir
mlir/test/Dialect/Linalg/roundtrip.mlir
mlir/test/Dialect/Linalg/vectorization.mlir