Generating graph matchers for pure analysis purpose (without rewrite)


Our team would like to write a parametric analysis that would need to match some patterns on our dialect.
We do not want to modify the IR however, the goal is only to extract information from it.

My research of systems producing matchers with a similar ease of use than PDLL/TDRR didn’t give result, so I was wondering if I missed a way of generating matchers?
Or is there an “alternative preferred way” of performing this kind of analysis that could still avoid writing manually the matching logic?

Thank you.