[llvm] [LLVM][IR] Add constant range support for floating-point types (PR #86483)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Not entirely clear to me from the UI whether or not the range is half-open or closed, which tends to matter more for floating-point values than it does for integers.
> 
> If it's half-open, then how is one supposed to represent `[inf, inf]`?

Currently we use closed intervals and use `[inf,-inf]` as the canonical form of an empty set.
BTW, do we need wrapped sets to represent something like `{X: X < -10 || X > 10}`? If not, there is no way to implement `inverse`.


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