[all-commits] [llvm/llvm-project] 110248: [mlir][transform] Fix typo in ApplyConversionPatte...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 11024898911a2c0d8e3bb70bf570ac27ba55ec23
      https://github.com/llvm/llvm-project/commit/11024898911a2c0d8e3bb70bf570ac27ba55ec23
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-08-10 (Thu, 10 Aug 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Transform/IR/TransformOps.td
    M mlir/test/Dialect/Transform/test-pattern-application.mlir

  Log Message:
  -----------
  [mlir][transform] Fix typo in ApplyConversionPatternsOp

Also add extra test cases for partial/full conversion.

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


  Commit: 6ebeecf452fb236af62346caaba88347fba6d54d
      https://github.com/llvm/llvm-project/commit/6ebeecf452fb236af62346caaba88347fba6d54d
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-08-10 (Thu, 10 Aug 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Transform/IR/TransformOps.td
    M mlir/lib/Dialect/Transform/IR/TransformOps.cpp
    M mlir/test/Dialect/Transform/test-pattern-application.mlir

  Log Message:
  -----------
  [mlir][transform] ApplyConversionPatternsOp: Make conversion target optional

A conversion target is not needed. In a partial dialect conversion, ops are rewritten when possible. The dialect conversion succeeds if there are no illegal ops in the resulting IR.

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


  Commit: 3dd58333d09faf97872ada19a8349fbe93c0ef11
      https://github.com/llvm/llvm-project/commit/3dd58333d09faf97872ada19a8349fbe93c0ef11
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-08-10 (Thu, 10 Aug 2023)

  Changed paths:
    M mlir/include/mlir/Transforms/DialectConversion.h
    M mlir/lib/Transforms/Utils/DialectConversion.cpp

  Log Message:
  -----------
  [mlir][Transforms] TypeConverter: Mark conversion/materialization functions as "const"

Functions that materialize IR or convert types can be const.

Caching data structures inside the TypeConverter are marked as `mutable`.

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


Compare: https://github.com/llvm/llvm-project/compare/6e13e3c3e5e2...3dd58333d09f