[mlir] improve error handling in Linalg op splitting
authorAlex Zinenko <zinenko@google.com>
Fri, 6 Jan 2023 16:09:28 +0000 (17:09 +0100)
committerAlex Zinenko <zinenko@google.com>
Fri, 6 Jan 2023 17:35:08 +0000 (18:35 +0100)
commitc214cee772f7ce9c9128384b2dd1640f12c9feac
tree4eabc83eee13cfc2ae3fc878d43fbed142e644be
parent7efdc117b1518bb11a74cf315b17d4cbb751de6c
[mlir] improve error handling in Linalg op splitting

In several cases, the splitting may be known to be a noop, i.e., produce
no second part. Thread this information through the transform utilities
to the transform dialect, and differentiate it from the error state.

Reviewed By: nicolasvasilache

Differential Revision: https://reviews.llvm.org/D141138
mlir/include/mlir/Dialect/Linalg/Transforms/Transforms.h
mlir/lib/Dialect/Linalg/TransformOps/LinalgTransformOps.cpp
mlir/lib/Dialect/Linalg/Transforms/Split.cpp
mlir/test/Dialect/Linalg/transform-op-split.mlir