2010-12-03 05:34:57 +01:00
|
|
|
|
// Copyright 2009 The Go Authors. All rights reserved.
|
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
|
|
|
|
|
package math
|
|
|
|
|
|
|
|
|
|
// Ldexp is the inverse of Frexp.
|
|
|
|
|
// It returns frac × 2**exp.
|
2011-01-21 19:19:03 +01:00
|
|
|
|
//
|
|
|
|
|
// Special cases are:
|
|
|
|
|
// Ldexp(±0, exp) = ±0
|
|
|
|
|
// Ldexp(±Inf, exp) = ±Inf
|
|
|
|
|
// Ldexp(NaN, exp) = NaN
|
2012-01-12 02:31:45 +01:00
|
|
|
|
func libc_ldexp(float64, int) float64 __asm__("ldexp")
|
2010-12-03 05:34:57 +01:00
|
|
|
|
func Ldexp(frac float64, exp int) float64 {
|
2012-01-12 02:31:45 +01:00
|
|
|
|
return libc_ldexp(frac, exp)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
func ldexp(frac float64, exp int) float64 {
|
2010-12-03 05:34:57 +01:00
|
|
|
|
// 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
|
2011-01-21 19:19:03 +01:00
|
|
|
|
case frac < -MaxFloat64 || frac > MaxFloat64 || frac != frac: // IsInf(frac, 0) || IsNaN(frac):
|
|
|
|
|
return frac
|
2010-12-03 05:34:57 +01:00
|
|
|
|
}
|
2011-01-21 19:19:03 +01:00
|
|
|
|
frac, e := normalize(frac)
|
|
|
|
|
exp += e
|
2010-12-03 05:34:57 +01:00
|
|
|
|
x := Float64bits(frac)
|
2011-01-21 19:19:03 +01:00
|
|
|
|
exp += int(x>>shift)&mask - bias
|
|
|
|
|
if exp < -1074 {
|
|
|
|
|
return Copysign(0, frac) // underflow
|
2010-12-03 05:34:57 +01:00
|
|
|
|
}
|
2011-01-21 19:19:03 +01:00
|
|
|
|
if exp > 1023 { // overflow
|
2010-12-03 05:34:57 +01:00
|
|
|
|
if frac < 0 {
|
|
|
|
|
return Inf(-1)
|
|
|
|
|
}
|
|
|
|
|
return Inf(1)
|
|
|
|
|
}
|
2011-01-21 19:19:03 +01:00
|
|
|
|
var m float64 = 1
|
|
|
|
|
if exp < -1022 { // denormal
|
|
|
|
|
exp += 52
|
|
|
|
|
m = 1.0 / (1 << 52) // 2**-52
|
|
|
|
|
}
|
2010-12-03 05:34:57 +01:00
|
|
|
|
x &^= mask << shift
|
2011-01-21 19:19:03 +01:00
|
|
|
|
x |= uint64(exp+bias) << shift
|
|
|
|
|
return m * Float64frombits(x)
|
2010-12-03 05:34:57 +01:00
|
|
|
|
}
|