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

[Hocky Yudhiono]

hockyy wrote:

I will wait for @krzysz00 opinion as well. Thanks a lot for the review.

I believe the intent of this change is not to redefine ranges to have `nsw` or `nuw` semantics. But is to carry the proven no-warp facts metadata instead of looking it as a range properties.

Bounds can still not have any flags, if flag available, means proven, absent means unknown (not disproven), and the callsites determine when to add flags, while we can expose some shared APIs for binary operators.

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