[all-commits] [llvm/llvm-project] 5844bc: [mlir][Shape] Canonicalize assume_all with one inp...

[Benjamin Kramer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5844bc540cafb4330e7625b83371f1dab90528c3
      https://github.com/llvm/llvm-project/commit/5844bc540cafb4330e7625b83371f1dab90528c3
  Author: Benjamin Kramer <benny.kra at googlemail.com>
  Date:   2020-12-08 (Tue, 08 Dec 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][Shape] Canonicalize assume_all with one input and tensor_cast of constant_shape

This allows simplifying some more complicated shape expressions

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