[all-commits] [llvm/llvm-project] e8b571: [mlir] Add predicates to tablegen-defined properties

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/users/krzysz00/predicates-on-properties
  Home:   https://github.com/llvm/llvm-project
  Commit: e8b571f614adbc68ad551798c8e4b6b7df09c315
      https://github.com/llvm/llvm-project/commit/e8b571f614adbc68ad551798c8e4b6b7df09c315
  Author: Krzysztof Drewniak <krzysdrewniak at gmail.com>
  Date:   2024-12-16 (Mon, 16 Dec 2024)

  Changed paths:
    M mlir/include/mlir/IR/Properties.td
    M mlir/include/mlir/TableGen/Property.h
    M mlir/lib/TableGen/Property.cpp
    A mlir/test/IR/test-op-property-predicates.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td
    A mlir/test/mlir-tblgen/op-properties-predicates.td
    M mlir/test/mlir-tblgen/op-properties.td
    M mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp

  Log Message:
  -----------
  [mlir] Add predicates to tablegen-defined properties

Give the properties from tablegen a `predicate` field that holds the
predicate that the property needs to satisfy, if one exists, and hook
that field up to verifier generation.



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