[all-commits] [llvm/llvm-project] d4e4d5: [MLIR][Shape] Allow for `shape_of` to return exten...

[frgossen via All-commits]

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

  Changed paths:
    M mlir/include/mlir/Dialect/Shape/IR/ShapeBase.td
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/lib/Conversion/ShapeToStandard/ShapeToStandard.cpp
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/test/Conversion/ShapeToSCF/shape-to-scf.mlir
    M mlir/test/Conversion/ShapeToStandard/shape-to-standard.mlir
    M mlir/test/Dialect/Shape/canonicalize.mlir
    M mlir/test/Dialect/Shape/invalid.mlir
    M mlir/test/Dialect/Shape/ops.mlir

  Log Message:
  -----------
  [MLIR][Shape] Allow for `shape_of` to return extent tensors

The operation `shape.shape_of` now returns an extent tensor `tensor<?xindex>` in
cases when no error are possible. All consuming operation will eventually accept
both, shapes and extent tensors.

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