[all-commits] [llvm/llvm-project] 851d02: Enhance InferShapedTypeOpInterface to make it acce...

[Mehdi Amini via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 851d02f61e945d335021858111416f444139e2b2
      https://github.com/llvm/llvm-project/commit/851d02f61e945d335021858111416f444139e2b2
  Author: Wenyi Zhao <reyizero at gmail.com>
  Date:   2021-05-19 (Wed, 19 May 2021)

  Changed paths:
    M mlir/include/mlir/Interfaces/InferTypeOpInterface.td
    M mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
    M mlir/test/lib/Dialect/Test/TestDialect.cpp
    M mlir/test/lib/Dialect/Test/TestPatterns.cpp

  Log Message:
  -----------
  Enhance InferShapedTypeOpInterface to make it accessible during dialect conversion

Original interfaces are not safe to be called during dialect conversion.
This is because some ops (e.g. `dynamic_reshape(input, target_shape)`)
depend on the values of their operands to calculate the output shape.
However the operands may be out of reach during dialect conversion (e.g.
converting from tensor world to buffer world). This patch provides a new
kind of interface which accpets user-provided operands to solve this
problem.

Reviewed By: herhut

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