Displaying 2 results from an estimated 2 matches for "cannotbeorderedlessthanzero".
2015 Jan 13
2
[LLVMdev] Floating-point range checks
...d @jl_throw_with_superfluous_argument(%jl_value_t* %3, i32 2)
unreachable
pass: ; preds = %top
%4 = call float @llvm.sqrt.f32(float %1)
ret float %4
}
I just want to fold the branch. Following Philip’s earlier suggestion, adding a routine CannotBeOrderedLessThanZero (that’s analogous to CannotBeNegativeZero) and making SimplifyFCmpInst use it would be enough to cover the cases of primary interest. Comments?
- Arch
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/2015011...
2015 Jan 08
2
[LLVMdev] Floating-point range checks
Yes, the modeling of floating-point is trickier. The wrap-around trick used by ConstantRange seems less applicable, and there are the unordered NaNs. Though in all cases, the key abstraction is a lattice of values, so an instance of FPRange should be thought of as a point on a lattice, not an interval. The lattice needs to be complicated enough the cover the cases of interest, but not so