[Mlir-commits] [mlir] [mlir] [dataflow] : Improve the time and space footprint of data flow. (PR #135325)

[donald chen]

cxy-1993 wrote:

> This seems useful, but do you have some benchmarks showing how this improves things?

There is no such benchmark on the current MLIR. On our downstream LLVM, we implemented reaching definition analysis based on dataflow. I simply tested it on a softmax example (with only one loop, the program is about 300 lines), and the solver's initialization time for reaching definitions was reduced by half (from 0.1211s to 0.0640s). This optimization will become more significant as the program size increases and the control flow becomes more complex.

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