[all-commits] [llvm/llvm-project] d2abbc: [mlir] Add shape.is_broadcastable.

[Tres via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: d2abbc17b2c03fda16feb1b52aa11440680e3887
      https://github.com/llvm/llvm-project/commit/d2abbc17b2c03fda16feb1b52aa11440680e3887
  Author: Tres Popp <tpopp at google.com>
  Date:   2020-10-30 (Fri, 30 Oct 2020)

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

  Log Message:
  -----------
  [mlir] Add shape.is_broadcastable.

This op returns a boolean value indicating whether 2 ops are
broadcastable or not. This follows the same logic as the other ops with
broadcast in their names in the shape dialect.

Concretely, shape.is_broadcastable returning true implies that
shape.broadcast will not give an error, and shape.cstr_broadcastable
will not result in an assertion failure. Similarly, false implies an
error or assertion failure.