aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/torture/builtin-iseqsig-2.c
blob: 03625b07e6fa28c33df9d9b86684b0c0a64fcc8b (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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
/* { dg-do run { xfail powerpc*-*-* } } */
/* remove the xfail for powerpc when pr58684 is fixed */
/* { dg-add-options ieee } */
/* { dg-additional-options "-fsignaling-nans" } */
/* { dg-require-effective-target fenv_exceptions_double } */

#include <fenv.h>

void
ftrue (double x, double y)
{
  if (!__builtin_iseqsig (x, y))
    __builtin_abort ();
}

void
ffalse (double x, double y)
{
  if (__builtin_iseqsig (x, y))
    __builtin_abort ();
}

int
main ()
{
  volatile double f1, f2;

  f1 = 0.; f2 = 0.;
  ftrue (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 0.; f2 = -0.;
  ftrue (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 0.; f2 = 1.;
  ffalse (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = -0.; f2 = 1.;
  ffalse (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 0.; f2 = __builtin_inf();
  ffalse (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = -0.; f2 = __builtin_inf();
  ffalse (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 0.; f2 = __builtin_nan("");
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  f1 = -0.; f2 = __builtin_nan("");
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  f1 = 1.; f2 = 1.;
  ftrue (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 1.; f2 = 0.;
  ffalse (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 1.; f2 = -0.;
  ffalse (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 1.; f2 = __builtin_inf();
  ffalse (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = 1.; f2 = __builtin_nan("");
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  f1 = __builtin_inf(); f2 = __builtin_inf();
  ftrue (f1, f2);
  if (fetestexcept (FE_INVALID)) __builtin_abort ();

  f1 = __builtin_inf(); f2 = __builtin_nan("");
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  f1 = __builtin_nan(""); f2 = __builtin_nan("");
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  f1 = __builtin_nans(""); f2 = 1.;
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  f1 = 1.; f2 = __builtin_nans("");
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  f1 = __builtin_nans(""); f2 = __builtin_nans("");
  ffalse (f1, f2);
  if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  feclearexcept (FE_INVALID);

  return 0;
}