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

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5ce5ed4b856542a369b29db61ebed6b66c349f9e
      https://github.com/llvm/llvm-project/commit/5ce5ed4b856542a369b29db61ebed6b66c349f9e
  Author: Krzysztof Drewniak <krzysdrewniak at gmail.com>
  Date:   2025-06-24 (Tue, 24 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 (#143071)

This commit adds support for non-attribute properties (such as
StringProp and I64Prop) in declarative rewrite patterns. The handling
for properties 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