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

[Nikita Popov via llvm-commits]

nikic wrote:

> > BTW, do we need wrapped sets to represent something like {X: X < -10 || X > 10}? If not, there is no way to implement inverse.
> 
> Any thoughts? IMO there will be a significant maintenance burden for us if we plan to support wrapped sets.

For integers, wrapped ranges are quite important because a non-wrapping signed range is often a wrapping unsigned range and vice versa. For FP, this problem does not exist as the ranges are always signed. I think it's better to leave out wrapped sets, at least for now, as they do make reasoning about operations a good bit harder.

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