search for: jl_throw_with_superfluous_argu

...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...

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