qbit/go
1
0
Fork 0
mirror of https://github.com/golang/go synced 2024-09-25 01:20:13 -06:00
Code Releases Activity

pkg/math: undo manual inlining of IsInf and IsNaN

Browse Source 
R=rsc
CC=golang-dev
https://golang.org/cl/5484076
This commit is contained in:
Luuk van Dijk 2012-02-01 16:08:31 +01:00
parent 702151a200
commit 8dd3de4d4b
29 changed files with 69 additions and 143 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/pkg/math/acosh.go
View File

@ -44,11 +44,9 @@ func Acosh(x float64) float64 {
Ln2 = 6.93147180559945286227e-01 // 0x3FE62E42FEFA39EF
Large = 1 << 28 // 2**28
)
// TODO(rsc): Remove manual inlining of IsNaN
// when compiler does it for us
// first case is special case
switch {
case x < 1 || x != x: // x < 1 || IsNaN(x):
case x < 1 || IsNaN(x):
return NaN()
case x == 1:
return 0

4
src/pkg/math/asinh.go
View File

@ -42,10 +42,8 @@ func Asinh(x float64) float64 {
NearZero = 1.0 / (1 << 28) // 2**-28
Large = 1 << 28 // 2**28
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
if x != x || x > MaxFloat64 || x < -MaxFloat64 { // IsNaN(x) || IsInf(x, 0)
if IsNaN(x) || IsInf(x, 0) {
return x
}
sign := false

14
src/pkg/math/atan2.go
View File

@ -29,11 +29,9 @@ package math
func Atan2(y, x float64) float64
func atan2(y, x float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case y != y || x != x: // IsNaN(y) || IsNaN(x):
case IsNaN(y) || IsNaN(x):
return NaN()
case y == 0:
if x >= 0 && !Signbit(x) {
@ -42,22 +40,22 @@ func atan2(y, x float64) float64 {
return Copysign(Pi, y)
case x == 0:
return Copysign(Pi/2, y)
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
if x > MaxFloat64 { // IsInf(x, 1) {
case IsInf(x, 0):
if IsInf(x, 1) {
switch {
case y < -MaxFloat64 || y > MaxFloat64: // IsInf(y, -1) || IsInf(y, 1):
case IsInf(y, 0):
return Copysign(Pi/4, y)
default:
return Copysign(0, y)
}
}
switch {
case y < -MaxFloat64 || y > MaxFloat64: // IsInf(y, -1) || IsInf(y, 1):
case IsInf(y, 0):
return Copysign(3*Pi/4, y)
default:
return Copysign(Pi, y)
}
case y < -MaxFloat64 || y > MaxFloat64: //IsInf(y, 0):
case IsInf(y, 0):
return Copysign(Pi/2, y)
}

4
src/pkg/math/atanh.go
View File

@ -46,11 +46,9 @@ package math
// Atanh(NaN) = NaN
func Atanh(x float64) float64 {
const NearZero = 1.0 / (1 << 28) // 2**-28
// TODO(rsc): Remove manual inlining of IsNaN
// when compiler does it for us
// special cases
switch {
case x < -1 || x > 1 || x != x: // x < -1 || x > 1 || IsNaN(x):
case x < -1 || x > 1 || IsNaN(x):
return NaN()
case x == 1:
return Inf(1)

4
src/pkg/math/cbrt.go
View File

@ -33,11 +33,9 @@ func Cbrt(x float64) float64 {
C3 = 6.46502159e-02
C4 = 1.412333954e-01
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x == 0 || x != x || x < -MaxFloat64 || x > MaxFloat64: // x == 0 || IsNaN(x) || IsInf(x, 0):
case x == 0 || IsNaN(x) || IsInf(x, 0):
return x
}
sign := false

12
src/pkg/math/dim.go
View File

@ -26,13 +26,11 @@ func dim(x, y float64) float64 {
func Max(x, y float64) float64
func max(x, y float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x > MaxFloat64 || y > MaxFloat64: // IsInf(x, 1) || IsInf(y, 1):
case IsInf(x, 1) || IsInf(y, 1):
return Inf(1)
case x != x || y != y: // IsNaN(x) || IsNaN(y):
case IsNaN(x) || IsNaN(y):
return NaN()
case x == 0 && x == y:
if Signbit(x) {
@ -55,13 +53,11 @@ func max(x, y float64) float64 {
func Min(x, y float64) float64
func min(x, y float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x < -MaxFloat64 || y < -MaxFloat64: // IsInf(x, -1) || IsInf(y, -1):
case IsInf(x, -1) || IsInf(y, -1):
return Inf(-1)
case x != x || y != y: // IsNaN(x) || IsNaN(y):
case IsNaN(x) || IsNaN(y):
return NaN()
case x == 0 && x == y:
if Signbit(x) {

16
src/pkg/math/erf.go
View File

@ -191,14 +191,12 @@ func Erf(x float64) float64 {
Small = 1.0 / (1 << 28) // 2**-28
)
// special cases
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
switch {
case x != x: // IsNaN(x):
case IsNaN(x):
return NaN()
case x > MaxFloat64: // IsInf(x, 1):
case IsInf(x, 1):
return 1
case x < -MaxFloat64: // IsInf(x, -1):
case IsInf(x, -1):
return -1
}
sign := false
@ -267,14 +265,12 @@ func Erf(x float64) float64 {
func Erfc(x float64) float64 {
const Tiny = 1.0 / (1 << 56) // 2**-56
// special cases
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
switch {
case x != x: // IsNaN(x):
case IsNaN(x):
return NaN()
case x > MaxFloat64: // IsInf(x, 1):
case IsInf(x, 1):
return 0
case x < -MaxFloat64: // IsInf(x, -1):
case IsInf(x, -1):
return 2
}
sign := false

12
src/pkg/math/exp.go
View File

@ -100,13 +100,11 @@ func exp(x float64) float64 {
NearZero = 1.0 / (1 << 28) // 2**-28
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x != x || x > MaxFloat64: // IsNaN(x) || IsInf(x, 1):
case IsNaN(x) || IsInf(x, 1):
return x
case x < -MaxFloat64: // IsInf(x, -1):
case IsInf(x, -1):
return 0
case x > Overflow:
return Inf(1)
@ -145,13 +143,11 @@ func exp2(x float64) float64 {
Underflow = -1.0740e+03
)
// TODO: remove manual inlining of IsNaN and IsInf
// when compiler does it for us
// special cases
switch {
case x != x || x > MaxFloat64: // IsNaN(x) || IsInf(x, 1):
case IsNaN(x) || IsInf(x, 1):
return x
case x < -MaxFloat64: // IsInf(x, -1):
case IsInf(x, -1):
return 0
case x > Overflow:
return Inf(1)

6
src/pkg/math/expm1.go
View File

@ -142,12 +142,10 @@ func expm1(x float64) float64 {
)
// special cases
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
switch {
case x > MaxFloat64 || x != x: // IsInf(x, 1) || IsNaN(x):
case IsInf(x, 1) || IsNaN(x):
return x
case x < -MaxFloat64: // IsInf(x, -1):
case IsInf(x, -1):
return -1
}

8
src/pkg/math/floor.go
View File

@ -13,9 +13,7 @@ package math
func Floor(x float64) float64
func floor(x float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
if x == 0 || x != x || x > MaxFloat64 || x < -MaxFloat64 { // x == 0 || IsNaN(x) || IsInf(x, 0)
if x == 0 || IsNaN(x) || IsInf(x, 0) {
return x
}
if x < 0 {
@ -50,9 +48,7 @@ func ceil(x float64) float64 {
func Trunc(x float64) float64
func trunc(x float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
if x == 0 || x != x || x > MaxFloat64 || x < -MaxFloat64 { // x == 0 || IsNaN(x) || IsInf(x, 0)
if x == 0 || IsNaN(x) || IsInf(x, 0) {
return x
}
d, _ := Modf(x)

4
src/pkg/math/frexp.go
View File

@ -16,13 +16,11 @@ package math
func Frexp(f float64) (frac float64, exp int)
func frexp(f float64) (frac float64, exp int) {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case f == 0:
return f, 0 // correctly return -0
case f < -MaxFloat64 || f > MaxFloat64 || f != f: // IsInf(f, 0) || IsNaN(f):
case IsInf(f, 0) || IsNaN(f):
return f, 0
}
f, exp = normalize(f)

2
src/pkg/math/gamma.go
View File

@ -121,7 +121,7 @@ func Gamma(x float64) float64 {
const Euler = 0.57721566490153286060651209008240243104215933593992 // A001620
// special cases
switch {
case x < -MaxFloat64 || x != x: // IsInf(x, -1) || IsNaN(x):
case IsInf(x, -1) || IsNaN(x):
return x
case x < -170.5674972726612 || x > 171.61447887182298:
return Inf(1)

6
src/pkg/math/hypot.go
View File

@ -17,13 +17,11 @@ package math
func Hypot(p, q float64) float64
func hypot(p, q float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case p < -MaxFloat64 || p > MaxFloat64 || q < -MaxFloat64 || q > MaxFloat64: // IsInf(p, 0) || IsInf(q, 0):
case IsInf(p, 0) || IsInf(q, 0):
return Inf(1)
case p != p || q != q: // IsNaN(p) || IsNaN(q):
case IsNaN(p) || IsNaN(q):
return NaN()
}
if p < 0 {

12
src/pkg/math/j0.go
View File

@ -89,13 +89,11 @@ func J0(x float64) float64 {
S03 = 5.13546550207318111446e-07 // 0x3EA13B54CE84D5A9
S04 = 1.16614003333790000205e-09 // 0x3E1408BCF4745D8F
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x != x: // IsNaN(x)
case IsNaN(x):
return x
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
return 0
case x == 0:
return 1
@ -171,13 +169,11 @@ func Y0(x float64) float64 {
V03 = 2.59150851840457805467e-07 // 0x3E91642D7FF202FD
V04 = 4.41110311332675467403e-10 // 0x3DFE50183BD6D9EF
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x < 0 || x != x: // x < 0 || IsNaN(x):
case x < 0 || IsNaN(x):
return NaN()
case x > MaxFloat64: // IsInf(x, 1):
case IsInf(x, 1):
return 0
case x == 0:
return Inf(-1)

12
src/pkg/math/j1.go
View File

@ -86,13 +86,11 @@ func J1(x float64) float64 {
S04 = 5.04636257076217042715e-09 // 0x3E35AC88C97DFF2C
S05 = 1.23542274426137913908e-11 // 0x3DAB2ACFCFB97ED8
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x != x: // IsNaN(x)
case IsNaN(x):
return x
case x < -MaxFloat64 || x > MaxFloat64 || x == 0: // IsInf(x, 0) || x == 0:
case IsInf(x, 0) || x == 0:
return 0
}
@ -168,13 +166,11 @@ func Y1(x float64) float64 {
V03 = 6.22741452364621501295e-09 // 0x3E3ABF1D5BA69A86
V04 = 1.66559246207992079114e-11 // 0x3DB25039DACA772A
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x < 0 || x != x: // x < 0 || IsNaN(x):
case x < 0 || IsNaN(x):
return NaN()
case x > MaxFloat64: // IsInf(x, 1):
case IsInf(x, 1):
return 0
case x == 0:
return Inf(-1)

14
src/pkg/math/jn.go
View File

@ -55,13 +55,11 @@ func Jn(n int, x float64) float64 {
TwoM29 = 1.0 / (1 << 29) // 2**-29 0x3e10000000000000
Two302 = 1 << 302 // 2**302 0x52D0000000000000
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x != x: // IsNaN(x)
case IsNaN(x):
return x
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
return 0
}
// J(-n, x) = (-1)**n * J(n, x), J(n, -x) = (-1)**n * J(n, x)
@ -236,13 +234,11 @@ func Jn(n int, x float64) float64 {
// Y1(n, NaN) = NaN
func Yn(n int, x float64) float64 {
const Two302 = 1 << 302 // 2**302 0x52D0000000000000
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x < 0 || x != x: // x < 0 || IsNaN(x):
case x < 0 || IsNaN(x):
return NaN()
case x > MaxFloat64: // IsInf(x, 1)
case IsInf(x, 1):
return 0
}
@ -299,7 +295,7 @@ func Yn(n int, x float64) float64 {
a := Y0(x)
b = Y1(x)
// quit if b is -inf
for i := 1; i < n && b >= -MaxFloat64; i++ { // for i := 1; i < n && !IsInf(b, -1); i++ {
for i := 1; i < n && !IsInf(b, -1); i++ {
a, b = b, (float64(i+i)/x)*b-a
}
}

4
src/pkg/math/ldexp.go
View File

@ -14,13 +14,11 @@ package math
func Ldexp(frac float64, exp int) float64
func ldexp(frac float64, exp int) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case frac == 0:
return frac // correctly return -0
case frac < -MaxFloat64 || frac > MaxFloat64 || frac != frac: // IsInf(frac, 0) || IsNaN(frac):
case IsInf(frac, 0) || IsNaN(frac):
return frac
}
frac, e := normalize(frac)

6
src/pkg/math/lgamma.go
View File

@ -183,15 +183,13 @@ func Lgamma(x float64) (lgamma float64, sign int) {
// Tt = -(tail of Tf)
Tt = -3.63867699703950536541e-18 // 0xBC50C7CAA48A971F
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
sign = 1
switch {
case x != x: // IsNaN(x):
case IsNaN(x):
lgamma = x
return
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
lgamma = x
return
case x == 0:

4
src/pkg/math/log.go
View File

@ -92,11 +92,9 @@ func log(x float64) float64 {
L7 = 1.479819860511658591e-01 /* 3FC2F112 DF3E5244 */
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x != x || x > MaxFloat64: // IsNaN(x) || IsInf(x, 1):
case IsNaN(x) || IsInf(x, 1):
return x
case x < 0:
return NaN()

6
src/pkg/math/log1p.go
View File

@ -113,14 +113,12 @@ func log1p(x float64) float64 {
)
// special cases
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
switch {
case x < -1 || x != x: // x < -1 || IsNaN(x): // includes -Inf
case x < -1 || IsNaN(x): // includes -Inf
return NaN()
case x == -1:
return Inf(-1)
case x > MaxFloat64: // IsInf(x, 1):
case IsInf(x, 1):
return Inf(1)
}

12
src/pkg/math/logb.go
View File

@ -11,15 +11,13 @@ package math
// Logb(0) = -Inf
// Logb(NaN) = NaN
func Logb(x float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x == 0:
return Inf(-1)
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
return Inf(1)
case x != x: // IsNaN(x):
case IsNaN(x):
return x
}
return float64(ilogb(x))
@ -32,15 +30,13 @@ func Logb(x float64) float64 {
// Ilogb(0) = MinInt32
// Ilogb(NaN) = MaxInt32
func Ilogb(x float64) int {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x == 0:
return MinInt32
case x != x: // IsNaN(x):
case IsNaN(x):
return MaxInt32
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
return MaxInt32
}
return ilogb(x)

4
src/pkg/math/mod.go
View File

@ -21,9 +21,7 @@ package math
func Mod(x, y float64) float64
func mod(x, y float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us.
if y == 0 || x > MaxFloat64 || x < -MaxFloat64 || x != x || y != y { // y == 0 || IsInf(x, 0) || IsNaN(x) || IsNan(y)
if y == 0 || IsInf(x, 0) || IsNaN(x) || IsNaN(y) {
return NaN()
}
if y < 0 {

4
src/pkg/math/nextafter.go
View File

@ -11,10 +11,8 @@ package math
// Nextafter(NaN, y) = NaN
// Nextafter(x, NaN) = NaN
func Nextafter(x, y float64) (r float64) {
// TODO(rsc): Remove manual inlining of IsNaN
// when compiler does it for us
switch {
case x != x || y != y: // IsNaN(x) || IsNaN(y): // special case
case IsNaN(x) || IsNaN(y): // special case
r = NaN()
case x == y:
r = x

8
src/pkg/math/pow.go
View File

@ -36,8 +36,6 @@ func isOddInt(x float64) bool {
// Pow(-Inf, y) = Pow(-0, -y)
// Pow(x, y) = NaN for finite x < 0 and finite non-integer y
func Pow(x, y float64) float64 {
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
switch {
case y == 0 || x == 1:
return 1
@ -47,7 +45,7 @@ func Pow(x, y float64) float64 {
return Sqrt(x)
case y == -0.5:
return 1 / Sqrt(x)
case x != x || y != y: // IsNaN(x) || IsNaN(y):
case IsNaN(x) || IsNaN(y):
return NaN()
case x == 0:
switch {
@ -62,7 +60,7 @@ func Pow(x, y float64) float64 {
}
return 0
}
case y > MaxFloat64 || y < -MaxFloat64: // IsInf(y, 0):
case IsInf(y, 0):
switch {
case x == -1:
return 1
@ -71,7 +69,7 @@ func Pow(x, y float64) float64 {
default:
return Inf(1)
}
case x > MaxFloat64 || x < -MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
if IsInf(x, -1) {
return Pow(1/x, -y) // Pow(-0, -y)
}

6
src/pkg/math/remainder.go
View File

@ -41,13 +41,11 @@ func remainder(x, y float64) float64 {
Tiny = 4.45014771701440276618e-308 // 0x0020000000000000
HalfMax = MaxFloat64 / 2
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x != x || y != y || x < -MaxFloat64 || x > MaxFloat64 || y == 0: // IsNaN(x) || IsNaN(y) || IsInf(x, 0) || y == 0:
case IsNaN(x) || IsNaN(y) || IsInf(x, 0) || y == 0:
return NaN()
case y < -MaxFloat64 || y > MaxFloat64: // IsInf(y):
case IsInf(y, 0):
return x
}
sign := false

10
src/pkg/math/sin.go
View File

@ -123,11 +123,9 @@ func cos(x float64) float64 {
PI4C = 2.69515142907905952645E-15 // 0x3ce8469898cc5170,
M4PI = 1.273239544735162542821171882678754627704620361328125 // 4/pi
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x != x || x < -MaxFloat64 || x > MaxFloat64: // IsNaN(x) || IsInf(x, 0):
case IsNaN(x) || IsInf(x, 0):
return NaN()
}
@ -182,13 +180,11 @@ func sin(x float64) float64 {
PI4C = 2.69515142907905952645E-15 // 0x3ce8469898cc5170,
M4PI = 1.273239544735162542821171882678754627704620361328125 // 4/pi
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x == 0 || x != x: // x == 0 || IsNaN():
case x == 0 || IsNaN(x):
return x // return ±0 || NaN()
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
return NaN()
}

4
src/pkg/math/sincos.go
View File

@ -21,13 +21,11 @@ func sincos(x float64) (sin, cos float64) {
PI4C = 2.69515142907905952645E-15 // 0x3ce8469898cc5170,
M4PI = 1.273239544735162542821171882678754627704620361328125 // 4/pi
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x == 0:
return x, 1 // return ±0.0, 1.0
case x != x || x < -MaxFloat64 || x > MaxFloat64: // IsNaN(x) || IsInf(x, 0):
case IsNaN(x) || IsInf(x, 0):
return NaN(), NaN()
}

4
src/pkg/math/sqrt.go
View File

@ -100,10 +100,8 @@ func Sqrt(x float64) float64
// Sqrt(NaN) = NaN
func sqrt(x float64) float64 {
// special cases
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
switch {
case x == 0 || x != x || x > MaxFloat64: // x == 0 || IsNaN(x) || IsInf(x, 1):
case x == 0 || IsNaN(x) || IsInf(x, 1):
return x
case x < 0:
return NaN()

6
src/pkg/math/tan.go
View File

@ -88,13 +88,11 @@ func tan(x float64) float64 {
PI4C = 2.69515142907905952645E-15 // 0x3ce8469898cc5170,
M4PI = 1.273239544735162542821171882678754627704620361328125 // 4/pi
)
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
// when compiler does it for us
// special cases
switch {
case x == 0 || x != x: // x == 0 || IsNaN():
case x == 0 || IsNaN(x):
return x // return ±0 || NaN()
case x < -MaxFloat64 || x > MaxFloat64: // IsInf(x, 0):
case IsInf(x, 0):
return NaN()
}