[llvm] [LLVM][IR] Add constant range support for floating-point types (PR #86483)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Tue Jun 25 05:13:23 PDT 2024
arsenm 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.
I think it's potentially useful. Some instructions only operate in a range of values. Maybe doesn't need to be in the initial support
https://github.com/llvm/llvm-project/pull/86483
More information about the llvm-commits
mailing list