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

[Jeff Niu]

Mogball 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.

Thanks for sharing these results. Yes there are no benchmarks in upstream MLIR, but knowing that this improved something downstream is valuable as well. 2x faster is a big improvement! Do you also know how memory footprint is affected?

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