[mlir] Add verifier for `shape.yield`.
authorAlexander Belyaev <pifon@google.com>
Fri, 5 Jun 2020 15:01:43 +0000 (17:01 +0200)
committerAlexander Belyaev <pifon@google.com>
Sun, 7 Jun 2020 13:40:11 +0000 (15:40 +0200)
commit50f68c1e339f0ce3203e821b4fe77257d8582d14
tree8d9a8ec319a773ea180466c679beb428826efb5f
parent2552f65183ebb43cdd6de951c63a3dcbfa021b5e
[mlir] Add verifier for `shape.yield`.

Differential Revision: https://reviews.llvm.org/D81262
mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
mlir/lib/Dialect/Shape/IR/Shape.cpp
mlir/test/Dialect/Shape/invalid.mlir
mlir/test/Dialect/Shape/ops.mlir