[all-commits] [llvm/llvm-project] 1c3e38: [mlir] Add a shape op that returns a constant witness

[Tres via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 1c3e38d98c916104c675afa30ad2dd4343e9e923
      https://github.com/llvm/llvm-project/commit/1c3e38d98c916104c675afa30ad2dd4343e9e923
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-05 (Fri, 05 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/test/Dialect/Shape/ops.mlir

  Log Message:
  -----------
  [mlir] Add a shape op that returns a constant witness

This will later be used during canonicalization and folding steps to replace
statically known passing constraints.

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


  Commit: 6b3a5bff93cd9779f1e82a2d6896f35cbd1a44bc
      https://github.com/llvm/llvm-project/commit/6b3a5bff93cd9779f1e82a2d6896f35cbd1a44bc
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-05 (Fri, 05 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/test/Dialect/Shape/canonicalize.mlir

  Log Message:
  -----------
  [mlir] Folding of shape.assuming_all

This allows assuming_all to be replaced when all inputs are known to be
statically passing witnesses.

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


  Commit: 4a255bbd29698d9d5fbf05fd21ab78ca540365f2
      https://github.com/llvm/llvm-project/commit/4a255bbd29698d9d5fbf05fd21ab78ca540365f2
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-05 (Fri, 05 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/test/Dialect/Shape/canonicalize.mlir

  Log Message:
  -----------
  [mlir] Add folding for shape.any

If any input to shape.any is a const_shape, shape.any can be replaced
with that input.

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


  Commit: 6aab70945915ef1d565f1146734416029549a5a9
      https://github.com/llvm/llvm-project/commit/6aab70945915ef1d565f1146734416029549a5a9
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-05 (Fri, 05 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Dialect/Shape/CMakeLists.txt
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    A mlir/lib/Dialect/Shape/IR/ShapeCanonicalization.td
    M mlir/test/Dialect/Shape/canonicalize.mlir

  Log Message:
  -----------
  [mlir] Canonicalization and folding of shape.cstr_broadcastable

This allows replacing of this op with a true witness in the case of both
inputs being const_shapes and being found to be broadcastable.

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


  Commit: 0a554e607ff6247b79d1c4f184999750e5ad53b9
      https://github.com/llvm/llvm-project/commit/0a554e607ff6247b79d1c4f184999750e5ad53b9
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-05 (Fri, 05 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/lib/Dialect/Shape/IR/ShapeCanonicalization.td
    M mlir/test/Dialect/Shape/canonicalize.mlir

  Log Message:
  -----------
  [mlir] Folding and canonicalization of shape.cstr_eq

In the case of all inputs being constant and equal, cstr_eq will be
replaced with a true_witness.

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


  Commit: 655e08ceeb7bf908cc5460279acbe2882bd47c91
      https://github.com/llvm/llvm-project/commit/655e08ceeb7bf908cc5460279acbe2882bd47c91
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-05 (Fri, 05 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/test/Dialect/Shape/canonicalize.mlir

  Log Message:
  -----------
  [mlir] Canonicalization of shape.assuming

Summary:
This will inline the region to a shape.assuming in the case that the
input witness is found to be statically true.

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


  Commit: 4ffe6bd8a7b0775626bd250f6b67c2254d6d6e74
      https://github.com/llvm/llvm-project/commit/4ffe6bd8a7b0775626bd250f6b67c2254d6d6e74
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-06-05 (Fri, 05 Jun 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp

  Log Message:
  -----------
  [mlir] NFC formatting cleanup.


Compare: https://github.com/llvm/llvm-project/compare/5a675f0552b4...4ffe6bd8a7b0