annotate libgo/runtime/go-cdiv.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* go-cdiv.c -- complex division routines
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 Copyright 2013 The Go Authors. All rights reserved.
kono
parents:
diff changeset
4 Use of this source code is governed by a BSD-style
kono
parents:
diff changeset
5 license that can be found in the LICENSE file. */
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 #include <complex.h>
kono
parents:
diff changeset
8 #include <math.h>
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 /* Calls to these functions are generated by the Go frontend for
kono
parents:
diff changeset
11 division of complex64 or complex128. We use these because Go's
kono
parents:
diff changeset
12 complex division expects slightly different results from the GCC
kono
parents:
diff changeset
13 default. When dividing NaN+1.0i / 0+0i, Go expects NaN+NaNi but
kono
parents:
diff changeset
14 GCC generates NaN+Infi. NaN+Infi seems wrong seems the rules of
kono
parents:
diff changeset
15 C99 Annex G specify that if either side of a complex number is Inf,
kono
parents:
diff changeset
16 the the whole number is Inf, but an operation involving NaN ought
kono
parents:
diff changeset
17 to result in NaN, not Inf. */
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 complex float
kono
parents:
diff changeset
20 __go_complex64_div (complex float a, complex float b)
kono
parents:
diff changeset
21 {
kono
parents:
diff changeset
22 if (__builtin_expect (b == 0, 0))
kono
parents:
diff changeset
23 {
kono
parents:
diff changeset
24 if (!isinf (crealf (a))
kono
parents:
diff changeset
25 && !isinf (cimagf (a))
kono
parents:
diff changeset
26 && (isnan (crealf (a)) || isnan (cimagf (a))))
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 /* Pass "1" to nanf to match math/bits.go. */
kono
parents:
diff changeset
29 return nanf("1") + nanf("1")*I;
kono
parents:
diff changeset
30 }
kono
parents:
diff changeset
31 }
kono
parents:
diff changeset
32 return a / b;
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 complex double
kono
parents:
diff changeset
36 __go_complex128_div (complex double a, complex double b)
kono
parents:
diff changeset
37 {
kono
parents:
diff changeset
38 if (__builtin_expect (b == 0, 0))
kono
parents:
diff changeset
39 {
kono
parents:
diff changeset
40 if (!isinf (creal (a))
kono
parents:
diff changeset
41 && !isinf (cimag (a))
kono
parents:
diff changeset
42 && (isnan (creal (a)) || isnan (cimag (a))))
kono
parents:
diff changeset
43 {
kono
parents:
diff changeset
44 /* Pass "1" to nan to match math/bits.go. */
kono
parents:
diff changeset
45 return nan("1") + nan("1")*I;
kono
parents:
diff changeset
46 }
kono
parents:
diff changeset
47 }
kono
parents:
diff changeset
48 return a / b;
kono
parents:
diff changeset
49 }