[mlir][linalg] Tighter StructuredOp Verification.
authorTobias Gysi <gysit@google.com>
Thu, 8 Jul 2021 06:23:55 +0000 (06:23 +0000)
committerTobias Gysi <gysit@google.com>
Thu, 8 Jul 2021 06:53:36 +0000 (06:53 +0000)
commit511af1b1ad005af61ce792286a76633cd56ef7f9
treef068fe204866406394748b0445425c9d22c165ff
parentd7afd11e3dc14d50156618cb27689f1425239c86
[mlir][linalg] Tighter StructuredOp Verification.

Verify the number of results matches exactly the number of output tensors. Simplify the FillOp verification since part of it got redundant.

Differential Revision: https://reviews.llvm.org/D105427
mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp
mlir/lib/Dialect/Linalg/IR/LinalgOps.cpp
mlir/test/Dialect/Linalg/invalid.mlir