[all-commits] [llvm/llvm-project] 6983cf: [MLIR][Shape] Allow unsafe `shape.broadcast`

[frgossen via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 6983cf3a57aa6d8619eb39e1625eed5340ba05c7
      https://github.com/llvm/llvm-project/commit/6983cf3a57aa6d8619eb39e1625eed5340ba05c7
  Author: Frederik Gossen <frgossen at google.com>
  Date:   2020-07-31 (Fri, 31 Jul 2020)

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

  Log Message:
  -----------
  [MLIR][Shape] Allow unsafe `shape.broadcast`

In a context in which `shape.broadcast` is known not to produce an error value,
we want it to operate solely on extent tensors. The operation's behavior is
then undefined in the error case as the result type cannot hold this value.

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