[all-commits] [llvm/llvm-project] 3842d4: Make shape.is_broadcastable/shape.cstr_broadcastab...

[Tres via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3842d4b6791f6fbd67a1d12806f05a05654728cf
      https://github.com/llvm/llvm-project/commit/3842d4b6791f6fbd67a1d12806f05a05654728cf
  Author: Tres Popp <tpopp at google.com>
  Date:   2021-02-15 (Mon, 15 Feb 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Conversion/ShapeToStandard/ConvertShapeConstraints.cpp
    M mlir/lib/Conversion/ShapeToStandard/ShapeToStandard.cpp
    M mlir/lib/Conversion/ShapeToStandard/ShapeToStandard.td
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/lib/Dialect/Shape/IR/ShapeCanonicalization.td
    M mlir/test/Conversion/ShapeToStandard/convert-shape-constraints.mlir
    M mlir/test/Conversion/ShapeToStandard/shape-to-standard.mlir
    M mlir/test/Dialect/Shape/invalid.mlir

  Log Message:
  -----------
  Make shape.is_broadcastable/shape.cstr_broadcastable nary

This corresponds with the previous work to make shape.broadcast nary.
Additionally, simplify the ConvertShapeConstraints pass. It now doesn't
lower an implicit shape.is_broadcastable. This is still the same in
combination with shape-to-standard when the 2 passes are used in either
order.

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