As more and more of our transformations evolve towards composition of orthogonal patterns, I find it more and more important to be able to document and surface these properly.
Today I would argue that MLIR infra has good support for this in the context of Passes with all the ODS related stuff. I would love to have something similar to automate the documentation, visibility and grouping of individual patterns into coherent sets.
Note that sets of patterns may well overlap to produce different transformations and that is ok.
I am thinking this would also be an opportunity to explore setting benefits in a more flexible and usable way. Indeed benefits are not really a frozen property of a pattern but rather a property of a pattern when used in conjunction with other patterns.
Bonus points would be the automation of creating passes by just assembling sets of patterns to be applied in sequence (one set at a time), in a declarative fashion.
Has someone thought about this level of control and/or has ideas to propose on the topic?