Displaying 2 results from an estimated 2 matches for "_a_priori_".
2013 Apr 06
0
[LLVMdev] Integer divide by zero
On Saturday, April 6, 2013, Jeff Bezanson wrote:
>
> Presumably the optimizer benefits from taking advantage of the
> undefined behavior, but to get a consistent result you need to check
> for both zero and this case, which is an awful lot of checks. Yes they
> will branch predict well, but this still can't be good, for code size
> if nothing else. How much performance can
2013 Apr 06
3
[LLVMdev] Integer divide by zero
I'm also not fully happy with LLVM's behavior here. There is another
undefined case too, which is the minimum integer divided by -1. In
Julia I can get "random" answers by doing:
julia> sdiv_int(-9223372036854775808, -1)
87106304
julia> sdiv_int(-9223372036854775808, -1)
87108096
In other contexts where the arguments are not constant, this typically
gives an FPE trap.