gcc/testsuite/gcc.dg/tg-tests.h

   1 /* Test various type-generic builtins by calling "main_tests()".  */
   2
   3 void __attribute__ ((__noinline__))
   4 foo_1 (float f, double d, long double ld,
   5        int res_unord, int res_isnan, int res_isinf,
   6        int res_isinf_sign, int res_isfin, int res_isnorm)
   7 {
   8   if (__builtin_isunordered (f, 0) != res_unord)
   9     __builtin_abort ();
  10   if (__builtin_isunordered (0, f) != res_unord)
  11     __builtin_abort ();
  12   if (__builtin_isunordered (d, 0) != res_unord)
  13     __builtin_abort ();
  14   if (__builtin_isunordered (0, d) != res_unord)
  15     __builtin_abort ();
  16   if (__builtin_isunordered (ld, 0) != res_unord)
  17     __builtin_abort ();
  18   if (__builtin_isunordered (0, ld) != res_unord)
  19     __builtin_abort ();
  20
  21   if (__builtin_isnan (f) != res_isnan)
  22     __builtin_abort ();
  23   if (__builtin_isnan (d) != res_isnan)
  24     __builtin_abort ();
  25   if (__builtin_isnan (ld) != res_isnan)
  26     __builtin_abort ();
  27   if (__builtin_isnanf (f) != res_isnan)
  28     __builtin_abort ();
  29   if (__builtin_isnanl (ld) != res_isnan)
  30     __builtin_abort ();
  31
  32   if (__builtin_isinf (f) != res_isinf)
  33     __builtin_abort ();
  34   if (__builtin_isinf (d) != res_isinf)
  35     __builtin_abort ();
  36   if (__builtin_isinf (ld) != res_isinf)
  37     __builtin_abort ();
  38   if (__builtin_isinff (f) != res_isinf)
  39     __builtin_abort ();
  40   if (__builtin_isinfl (ld) != res_isinf)
  41     __builtin_abort ();
  42
  43   if (__builtin_isinf_sign (f) != res_isinf_sign)
  44     __builtin_abort ();
  45   if (__builtin_isinf_sign (d) != res_isinf_sign)
  46     __builtin_abort ();
  47   if (__builtin_isinf_sign (ld) != res_isinf_sign)
  48     __builtin_abort ();
  49
  50   if (__builtin_isnormal (f) != res_isnorm)
  51     __builtin_abort ();
  52   if (__builtin_isnormal (d) != res_isnorm)
  53     __builtin_abort ();
  54   if (__builtin_isnormal (ld) != res_isnorm)
  55     __builtin_abort ();
  56
  57   if (__builtin_isfinite (f) != res_isfin)
  58     __builtin_abort ();
  59   if (__builtin_isfinite (d) != res_isfin)
  60     __builtin_abort ();
  61   if (__builtin_isfinite (ld) != res_isfin)
  62     __builtin_abort ();
  63
  64   if (__builtin_finitef (f) != res_isfin)
  65     __builtin_abort ();
  66   if (__builtin_finite (f) != res_isfin)
  67     __builtin_abort ();
  68   if (__builtin_finite (d) != res_isfin)
  69     __builtin_abort ();
  70   if (__builtin_finitel (d) != res_isfin)
  71     __builtin_abort ();
  72   if (__builtin_finitel (ld) != res_isfin)
  73     __builtin_abort ();
  74 }
  75
  76 void __attribute__ ((__noinline__))
  77 foo (float f, double d, long double ld,
  78      int res_unord, int res_isnan, int res_isinf,
  79      int res_isfin, int res_isnorm)
  80 {
  81   foo_1 (f, d, ld, res_unord, res_isnan, res_isinf, res_isinf, res_isfin, res_isnorm);
  82   /* Try all the values negated as well.  */
  83   foo_1 (-f, -d, -ld, res_unord, res_isnan, res_isinf, -res_isinf, res_isfin, res_isnorm);
  84 }
  85
  86 int __attribute__ ((__noinline__))
  87 main_tests (void)
  88 {
  89   volatile float f;
  90   volatile double d;
  91   volatile long double ld;
  92
  93   /* Test NaN.  */
  94   f = __builtin_nanf(""); d = __builtin_nan(""); ld = __builtin_nanl("");
  95   foo(f, d, ld, /*unord=*/ 1, /*isnan=*/ 1, /*isinf=*/ 0, /*isfin=*/ 0, /*isnorm=*/ 0);
  96
  97   /* Test infinity.  */
  98   f = __builtin_inff(); d = __builtin_inf(); ld = __builtin_infl();
  99   foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 1, /*isfin=*/ 0, /*isnorm=*/ 0);
 100
 101   /* Test zero.  */
 102   f = 0; d = 0; ld = 0;
 103   foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 0);
 104
 105   /* Test one.  */
 106   f = 1; d = 1; ld = 1;
 107   foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 1);
 108
 109   /* Test minimum values.  */
 110   f = __FLT_MIN__; d = __DBL_MIN__; ld = __LDBL_MIN__;
 111   foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 1);
 112
 113   /* Test subnormal values.  */
 114   f = __FLT_MIN__/2; d = __DBL_MIN__/2; ld = __LDBL_MIN__/2;
 115   foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 0);
 116
 117   /* Test maximum values.  */
 118   f = __FLT_MAX__; d = __DBL_MAX__; ld = __LDBL_MAX__;
 119   foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 1);
 120
 121   /* Test overflow values.  */
 122   f = __FLT_MAX__*2; d = __DBL_MAX__*2; ld = __LDBL_MAX__*2;
 123   foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 1, /*isfin=*/ 0, /*isnorm=*/ 0);
 124
 125   return 0;
 126 }