[Mlir-commits] [mlir] [mlir][Interfaces] Track and infer no-overflow flags in integer ranges (PR #191777)

[Hocky Yudhiono]

hockyy wrote:

> I would expect lit tests for all the dialect implementation actually.

Thanks a lot for the review~ 
After exploring the codebase for a while, I found some duplicated code logic that can be shortened and be used together. 

I added support for `Arith`, `affine`, `GPU`, `MemRef`, `Vector` and some strided metadata range analysis, and updated the reflect_bounds test Op so the `constantIntRanges` it can be inspected.

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