[Mlir-commits] [mlir] [mlir] Improve mlir-query by adding matcher combinators (PR #141423)

[Denzel-Brian Budii]

================
@@ -129,6 +131,8 @@ LogicalResult MatchQuery::run(llvm::raw_ostream &os, QuerySession &qs) const {
         finder.flattenMatchedOps(matches);
     Operation *function =
         extractFunction(flattenedMatches, rootOp->getContext(), functionName);
+    if (failed(verify(function)))
----------------
chios202 wrote:

We already have a test under `function-extraction.mlir` To highlight that the issue is not the slicing matcher itself, I added another test under `slice-function-extraction.mlir`

https://github.com/llvm/llvm-project/pull/141423