Displaying 2 results from an estimated 2 matches for "jl_throw_with_superfluous_argument".
2015 Jan 13
2
[LLVMdev] Floating-point range checks
...f 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: ; preds = %top
%3 = load %jl_val...
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