summaryrefslogtreecommitdiff
path: root/libgo/go/math/hypot_port.go
blob: 27f335ba2de9c304b4ac503f47de59f072f0810c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
// Copyright 2009-2010 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

/*
	Hypot -- sqrt(p*p + q*q), but overflows only if the result does.
	See:
		Cleve Moler and Donald Morrison,
		Replacing Square Roots by Pythagorean Sums
		IBM Journal of Research and Development,
		Vol. 27, Number 6, pp. 577-581, Nov. 1983
*/

// Hypot computes Sqrt(p*p + q*q), taking care to avoid
// unnecessary overflow and underflow.
//
// Special cases are:
//	Hypot(p, q) = +Inf if p or q is infinite
//	Hypot(p, q) = NaN if p or q is NaN
func hypotGo(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):
		return Inf(1)
	case p != p || q != q: // IsNaN(p) || IsNaN(q):
		return NaN()
	}
	if p < 0 {
		p = -p
	}
	if q < 0 {
		q = -q
	}

	if p < q {
		p, q = q, p
	}

	if p == 0 {
		return 0
	}

	pfac := p
	q = q / p
	r := q
	p = 1
	for {
		r = r * r
		s := r + 4
		if s == 4 {
			return p * pfac
		}
		r = r / s
		p = p + 2*r*p
		q = q * r
		r = q / p
	}
	panic("unreachable")
}