[all-commits] [llvm/llvm-project] 332459: [mlir] Add a pass to remove all shape.cstr_ and as...

[Tres via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 3324598844a28850527b8abc8b83579ad7ab94a2
      https://github.com/llvm/llvm-project/commit/3324598844a28850527b8abc8b83579ad7ab94a2
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-18 (Thu, 18 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/Shape.h
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/include/mlir/Dialect/Shape/Transforms/Passes.h
    M mlir/include/mlir/Dialect/Shape/Transforms/Passes.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/lib/Dialect/Shape/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/Shape/Transforms/RemoveShapeConstraints.cpp
    A mlir/test/Dialect/Shape/remove-shape-constraints.mlir

  Log Message:
  -----------
  [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