[all-commits] [llvm/llvm-project] 105c99: [mlir] use irdl as matcher description in transfor...

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 105c992c83aa527c6c50d60becd4d66b476b0a32
      https://github.com/llvm/llvm-project/commit/105c992c83aa527c6c50d60becd4d66b476b0a32
  Author: Oleksandr "Alex" Zinenko <git at ozinenko.com>
  Date:   2024-05-02 (Thu, 02 May 2024)

  Changed paths:
    M mlir/include/mlir/Dialect/IRDL/IRDLVerifiers.h
    M mlir/include/mlir/Dialect/Transform/CMakeLists.txt
    A mlir/include/mlir/Dialect/Transform/IRDLExtension/CMakeLists.txt
    A mlir/include/mlir/Dialect/Transform/IRDLExtension/IRDLExtension.h
    A mlir/include/mlir/Dialect/Transform/IRDLExtension/IRDLExtensionOps.h
    A mlir/include/mlir/Dialect/Transform/IRDLExtension/IRDLExtensionOps.td
    M mlir/include/mlir/Dialect/Transform/PDLExtension/PDLExtension.h
    M mlir/include/mlir/InitAllExtensions.h
    M mlir/lib/Dialect/IRDL/IRDLLoading.cpp
    M mlir/lib/Dialect/Transform/CMakeLists.txt
    A mlir/lib/Dialect/Transform/IRDLExtension/CMakeLists.txt
    A mlir/lib/Dialect/Transform/IRDLExtension/IRDLExtension.cpp
    A mlir/lib/Dialect/Transform/IRDLExtension/IRDLExtensionOps.cpp
    A mlir/test/Dialect/Transform/irdl.mlir

  Log Message:
  -----------
  [mlir] use irdl as matcher description in transform (#89779)

Introduce a new Transform dialect extension that uses IRDL op
definitions as matcher descriptors. IRDL allows one to essentially
define additional op constraits to be verified and, unlike PDL, does not
assume rewriting will happen. Leverage IRDL verification capability to
filter out ops that match an IRDL definition without actually
registering the corresponding operation with the system.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications