[all-commits] [llvm/llvm-project] 3705ac: [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: 3705acd6c9334f76bf95877fcd8e878a015b9955
      https://github.com/llvm/llvm-project/commit/3705acd6c9334f76bf95877fcd8e878a015b9955
  Author: Krzysztof Drewniak <krzysdrewniak at gmail.com>
  Date:   2025-05-20 (Tue, 20 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