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

[Fabian Mora]

https://github.com/fabianmcg requested changes to this pull request.

I think this change requires more discussion, or at the very least more motivation in the PR description, blocking until then.

While integer ranges should be made as precise as possible, it's not clear to me that it makes sense storing the actual flag.
What doesn't mean a range having a `nsw` flag? The `nsw` flag only makes sense as part of an operation, is not a property of the range or the result of an op.

I think it'd be more helpful to change the class to represent whether the ConstantRange represents an overflow state.

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