Matching an instruction based on the substitution rule it invokes

inducer / loopy

A code generator for array-based code on CPUs and GPUs

http://mathema.tician.de/software/loopy

MIT License

587 stars 73 forks source link

Open kaushikcfd opened 1 year ago

kaushikcfd commented 1 year ago

There's no way to express such match criteria, maybe we need one such MatchExpressionBase?

inducer commented 1 year ago

How efficient would/could it be to use minikanren for such a query?