[all-commits] [llvm/llvm-project] 617f74: [mlir] Unique property constraints where possible

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/users/krzysz00/prop-verifier-helper
  Home:   https://github.com/llvm/llvm-project
  Commit: 617f74f4cd768543121258a80e5c37e9585e04eb
      https://github.com/llvm/llvm-project/commit/617f74f4cd768543121258a80e5c37e9585e04eb
  Author: Krzysztof Drewniak <krzysdrewniak at gmail.com>
  Date:   2025-05-30 (Fri, 30 May 2025)

  Changed paths:
    M mlir/include/mlir/TableGen/CodeGenHelpers.h
    M mlir/include/mlir/TableGen/Property.h
    M mlir/lib/TableGen/CodeGenHelpers.cpp
    M mlir/lib/TableGen/Property.cpp
    M mlir/test/mlir-tblgen/op-properties-predicates.td
    M mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp

  Log Message:
  -----------
  [mlir] Unique property constraints where possible

Now that `Property` is a `PropConstraint`, hook it up to the same
constraint-uniquing machinery that other types of constraints use.
This will primarily save on code size for types, like enums, that have
inherent constraints which are shared across many operations.



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