[all-commits] [llvm/llvm-project] 9ed1e5: [mlir][shape] Start a pass that lowers shape const...

[Sean Silva via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9ed1e5873c19eb817fb9e36d0262c7effee5d35e
      https://github.com/llvm/llvm-project/commit/9ed1e5873c19eb817fb9e36d0262c7effee5d35e
  Author: Sean Silva <silvasean at google.com>
  Date:   2020-09-24 (Thu, 24 Sep 2020)

  Changed paths:
    M mlir/include/mlir/Conversion/Passes.td
    M mlir/include/mlir/Conversion/ShapeToStandard/ShapeToStandard.h
    M mlir/lib/Conversion/ShapeToStandard/CMakeLists.txt
    A mlir/lib/Conversion/ShapeToStandard/ConvertShapeConstraints.cpp
    A mlir/test/Conversion/ShapeToStandard/convert-shape-constraints.mlir

  Log Message:
  -----------
  [mlir][shape] Start a pass that lowers shape constraints.

This pass converts shape.cstr_* ops to eager (side-effecting)
error-handling code. After that conversion is done, the witnesses are
trivially satisfied and are replaced with `shape.const_witness true`.

Differential Revision: https://reviews.llvm.org/D87941