Flexible Matching via Equality Saturation
- Having patterns defined in Relay
- Run EqSat on each pattern and get the corresponding EGraph
- Pattern match on a given model using
EGraphMatcher - Annotate matched region with BYOC-style function annotations for the codegen