[all-commits] [llvm/llvm-project] ebf353: [mlir][tensor] Insert explicit tensor.cast ops for...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ebf35370ff596dcbd8a4a74b865cd066440510a2
      https://github.com/llvm/llvm-project/commit/ebf35370ff596dcbd8a4a74b865cd066440510a2
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-08-24 (Tue, 24 Aug 2021)

  Changed paths:
    M mlir/lib/Dialect/Tensor/IR/TensorOps.cpp
    M mlir/test/Dialect/SCF/canonicalize.mlir
    M mlir/test/Dialect/Tensor/canonicalize.mlir

  Log Message:
  -----------
  [mlir][tensor] Insert explicit tensor.cast ops for insert_slice src

If additional static type information can be deduced from a insert_slice's size operands, insert an explicit cast of the op's source operand.

This enables other canonicalization patterns that are matching for tensor_cast ops such as `ForOpTensorCastFolder` in SCF.

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