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

Krzysztof Drewniak via All-commits all-commits at lists.llvm.org
Tue Dec 17 19:41:57 PST 2024


  Branch: refs/heads/users/krzysz00/predicates-on-properties
  Home:   https://github.com/llvm/llvm-project
  Commit: 987a7d0b83a56e40f76d555e26842f7be481f7a0
      https://github.com/llvm/llvm-project/commit/987a7d0b83a56e40f76d555e26842f7be481f7a0
  Author: Krzysztof Drewniak <krzysdrewniak at gmail.com>
  Date:   2024-12-17 (Tue, 17 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.


  Commit: 3238de521d7ad489ec5f461efca903e813caa99c
      https://github.com/llvm/llvm-project/commit/3238de521d7ad489ec5f461efca903e813caa99c
  Author: Krzysztof Drewniak <krzysdrewniak at gmail.com>
  Date:   2024-12-17 (Tue, 17 Dec 2024)

  Changed paths:
    M mlir/include/mlir/IR/Constraints.td
    M mlir/include/mlir/IR/Properties.td
    M mlir/lib/TableGen/Predicate.cpp
    M mlir/test/IR/test-op-property-predicates.mlir
    M mlir/test/mlir-tblgen/op-properties-predicates.td
    M mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp

  Log Message:
  -----------
  Review comments


Compare: https://github.com/llvm/llvm-project/compare/e8b571f614ad...3238de521d7a

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


More information about the All-commits mailing list