aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8/libgo/runtime/go-cdiv.c
blob: 0a81e458c84d35f69bf8d5ad06a5a5df27c574e8 (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
/* go-cdiv.c -- complex division routines

   Copyright 2013 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.  */

/* Calls to these functions are generated by the Go frontend for
   division of complex64 or complex128.  We use these because Go's
   complex division expects slightly different results from the GCC
   default.  When dividing NaN+1.0i / 0+0i, Go expects NaN+NaNi but
   GCC generates NaN+Infi.  NaN+Infi seems wrong seems the rules of
   C99 Annex G specify that if either side of a complex number is Inf,
   the the whole number is Inf, but an operation involving NaN ought
   to result in NaN, not Inf.  */

__complex float
__go_complex64_div (__complex float a, __complex float b)
{
  if (__builtin_expect (b == 0+0i, 0))
    {
      if (!__builtin_isinff (__real__ a)
	  && !__builtin_isinff (__imag__ a)
	  && (__builtin_isnanf (__real__ a) || __builtin_isnanf (__imag__ a)))
	{
	  /* Pass "1" to nanf to match math/bits.go.  */
	  return __builtin_nanf("1") + __builtin_nanf("1")*1i;
	}
    }
  return a / b;
}

__complex double
__go_complex128_div (__complex double a, __complex double b)
{
  if (__builtin_expect (b == 0+0i, 0))
    {
      if (!__builtin_isinf (__real__ a)
	  && !__builtin_isinf (__imag__ a)
	  && (__builtin_isnan (__real__ a) || __builtin_isnan (__imag__ a)))
	{
	  /* Pass "1" to nan to match math/bits.go.  */
	  return __builtin_nan("1") + __builtin_nan("1")*1i;
	}
    }
  return a / b;
}