[all-commits] [llvm/llvm-project] b69f10: [mlir][PDL] Infer result types from a `replace` as...

[River Riddle via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b69f10f5a118ec6efe5edfae2deb376b53877170
      https://github.com/llvm/llvm-project/commit/b69f10f5a118ec6efe5edfae2deb376b53877170
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2022-09-08 (Thu, 08 Sep 2022)

  Changed paths:
    M mlir/lib/Conversion/PDLToPDLInterp/PDLToPDLInterp.cpp
    M mlir/test/Conversion/PDLToPDLInterp/pdl-to-pdl-interp-rewriter.mlir

  Log Message:
  -----------
  [mlir][PDL] Infer result types from a `replace` as the last resort

This prevents situations where explicit results types were provided,
which have different types than the operation being replaced. This
is useful for supporting dialect conversion, which will have proper
support added in a followup.

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