[all-commits] [llvm/llvm-project] 8b023a: [mlir] Allow using non-attribute properties in dec...

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/users/krzysz00/prop-in-rewriter
  Home:   https://github.com/llvm/llvm-project
  Commit: 8b023aabd1b98de2e8690e6011952cc36f09006a
      https://github.com/llvm/llvm-project/commit/8b023aabd1b98de2e8690e6011952cc36f09006a
  Author: Krzysztof Drewniak <krzysdrewniak at gmail.com>
  Date:   2025-06-05 (Thu, 05 Jun 2025)

  Changed paths:
    M mlir/docs/DeclarativeRewrites.md
    M mlir/include/mlir/IR/Properties.td
    M mlir/include/mlir/TableGen/Pattern.h
    M mlir/include/mlir/TableGen/Property.h
    M mlir/lib/TableGen/CodeGenHelpers.cpp
    M mlir/lib/TableGen/Pattern.cpp
    M mlir/lib/TableGen/Property.cpp
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/test/mlir-tblgen/pattern.mlir
    M mlir/test/mlir-tblgen/rewriter-attributes-properties.td
    M mlir/test/mlir-tblgen/rewriter-static-matcher.td
    M mlir/tools/mlir-tblgen/RewriterGen.cpp

  Log Message:
  -----------
  [mlir] Allow using non-attribute properties in declarative rewrite patterns

This commit adds support for non-attribute properties (such as
StringProp and I64Prop) in declarative rewrite patterns. The handling
for attributes follows the handling for attributes in most cases,
including in the generation of static matchers.

Constraints that are shared between multiple types are supported by
making the constraint matcher a templated function, which is the
equivalent to passing ::mlir::Attribute for an arbitrary C++ type.



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