[mlir] Add a pass to remove all shape.cstr_ and assuming_ ops.
authorTres Popp <tpopp@google.com>
Tue, 9 Jun 2020 09:33:43 +0000 (11:33 +0200)
committerTres Popp <tpopp@google.com>
Thu, 18 Jun 2020 11:31:30 +0000 (13:31 +0200)
commit3324598844a28850527b8abc8b83579ad7ab94a2
treecc95c332ed492c707aa7aa15be3c07c9d96fc88c
parentd88acd8f7d77f2e7ef2b0840f05d5ee9f53fdf99
[mlir] Add a pass to remove all shape.cstr_ and assuming_ ops.

Summary:
This is to provide a utility to remove unsupported constraints or for
pipelines that happen to receive these but cannot lower them due to not
supporting assertions.

Differential Revision: https://reviews.llvm.org/D81560
mlir/include/mlir/Dialect/Shape/IR/Shape.h
mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
mlir/include/mlir/Dialect/Shape/Transforms/Passes.h
mlir/include/mlir/Dialect/Shape/Transforms/Passes.td
mlir/lib/Dialect/Shape/IR/Shape.cpp
mlir/lib/Dialect/Shape/Transforms/CMakeLists.txt
mlir/lib/Dialect/Shape/Transforms/RemoveShapeConstraints.cpp [new file with mode: 0644]
mlir/test/Dialect/Shape/remove-shape-constraints.mlir [new file with mode: 0644]