Displaying 2 results from an estimated 2 matches for "jl_domain_exception".
2015 Jan 13
2
[LLVMdev] Floating-point range checks
...don’t address the case that I need for Julia. I’m now wondering if I’m better off extending SimplifyFCmpInst to handle the few cases in question instead of trying to be more general. Here’s an example case for Julia where a trivially true domain check should be removed:
%jl_value_t = type {}
@jl_domain_exception = external global %jl_value_t*
declare void @jl_throw_with_superfluous_argument(%jl_value_t*, i32)
declare float @llvm.sqrt.f32(float %Val)
define float @julia_f_64805(float) {
top:
%1 = fmul float %0, %0
%2 = fcmp uge float %1, 0.000000e+00
br i1 %2, label %pass, label %fail
fail...
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