File tree Expand file tree Collapse file tree 2 files changed +8
-4
lines changed Expand file tree Collapse file tree 2 files changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -105,7 +105,7 @@ T == UInt32 |x - - - - - - -:- - - - - - - -:x - - - - - - -:- - - - - - - -|
105
105
"""
106
106
function target_f (X:: Type , T:: Type{<:Integer} ; ex = :default )
107
107
f_min = X === Fixed ? 0 : 1
108
- f_max = bitwidth (T) - (T <: Signed ) - 1 + f_min
108
+ f_max = bitwidth (T) - (T <: Signed )
109
109
ex === :heavy && return f_min: f_max
110
110
ex === :default && bitwidth (T) <= 16 && return f_min: f_max
111
111
ex === :thin && return ((f_max + 1 ) ÷ 2 , f_max)
Original file line number Diff line number Diff line change @@ -24,8 +24,8 @@ function test_fixed(::Type{F}) where {F}
24
24
fxf = convert (Float64, fx)
25
25
26
26
@test convert (F, convert (Float64, fx)) === fx
27
- @test convert (F, convert (Float64, - fx)) === - fx
28
- @test convert (Float64, - fx) == - convert (Float64, fx)
27
+ fx != typemin (F) && @test convert (F, convert (Float64, - fx)) === - fx
28
+ fx != typemin (F) && @test convert (Float64, - fx) == - convert (Float64, fx)
29
29
30
30
rx = convert (Rational{BigInt}, fx)
31
31
@assert isequal (fx, rx) == isequal (hash (fx), hash (rx))
113
113
f < bitwidth (T) - 1 && @test one (F) == 1
114
114
f < bitwidth (T) - 1 && @test one (F) * oneunit (F) == oneunit (F)
115
115
@test typemin (F) == typemin (T) >> f
116
- @test typemax (F) == typemax (T)// big " 2" ^ f
116
+ if T === Int128
117
+ @test typemax (F) * big " 2" ^ f == typemax (T)
118
+ else
119
+ @test typemax (F) == typemax (T)// big " 2" ^ f
120
+ end
117
121
@test floatmin (F) === eps (F) == 2.0 ^- f # issue #79
118
122
@test floatmax (F) === typemax (F)
119
123
@test eps (zero (F)) === eps (typemax (F))
You can’t perform that action at this time.
0 commit comments