[all-commits] [llvm/llvm-project] 12611a: [mlir] Improve mlir-query by adding matcher combin...

[Denzel-Brian Budii via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 12611a7fc71376e88aa01e3f0bbc74517f1a1703
      https://github.com/llvm/llvm-project/commit/12611a7fc71376e88aa01e3f0bbc74517f1a1703
  Author: Denzel-Brian Budii <73462654+chios202 at users.noreply.github.com>
  Date:   2025-06-17 (Tue, 17 Jun 2025)

  Changed paths:
    M mlir/include/mlir/Query/Matcher/Marshallers.h
    M mlir/include/mlir/Query/Matcher/MatchFinder.h
    M mlir/include/mlir/Query/Matcher/MatchersInternal.h
    M mlir/include/mlir/Query/Matcher/SliceMatchers.h
    M mlir/include/mlir/Query/Matcher/VariantValue.h
    M mlir/lib/Query/Matcher/CMakeLists.txt
    A mlir/lib/Query/Matcher/MatchersInternal.cpp
    M mlir/lib/Query/Matcher/RegistryManager.cpp
    M mlir/lib/Query/Matcher/VariantValue.cpp
    M mlir/lib/Query/Query.cpp
    A mlir/test/mlir-query/backward-slice-union.mlir
    R mlir/test/mlir-query/complex-test.mlir
    A mlir/test/mlir-query/forward-slice-by-predicate.mlir
    A mlir/test/mlir-query/logical-operator-test.mlir
    A mlir/test/mlir-query/slice-function-extraction.mlir
    M mlir/tools/mlir-query/mlir-query.cpp

  Log Message:
  -----------
  [mlir] Improve mlir-query by adding matcher combinators (#141423)

Whereas backward-slice matching provides support to limit traversal by
specifying the desired depth level, this pull request introduces support
for limiting traversal with a nested matcher (adding forward-slice
also). It also adds support for variadic operators, including `anyOf`
and `allOf`. Rather than simply stopping traversal when an operation
named foo is encountered, one can now define a matcher that specifies
different exit conditions. Variadic support implementation within
mlir-query is very similar to clang-query.



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