[Mlir-commits] [mlir] [mlir] Enable decoupling two kinds of greedy behavior. (PR #104649)

[Jacques Pienaar]

jpienaar wrote:

To make it more concrete:

All passes/pipelines combined 140s
applyPatternsAndFoldGreedily 105s
- fold 93s
  - constant matching 63s (there are some additional constant matching outside folding, < 0.5s)
     - hasTrait related to 57s

So ~50% of time is spent just checking if an operation is a constant (don't have all the line info to see time spent in repopulating constant hash map etc). The only ways to reduce overhead at the moment is to combine into larger patternsets (only sometimes possible) or not using the rewrite driver (which means you either lose the worklist management & nicer debug/tracing facilities or just create duplication).

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