gcc/testsuite/gcc.dg/torture/floatn-floath.h

   1 /* Tests for _FloatN / _FloatNx types: compile and execution tests for
   2    <float.h>.  Before including this file, define WIDTH as the value
   3    N; define EXT to 1 for _FloatNx and 0 for _FloatN.  */
   4
   5 #define __STDC_WANT_IEC_60559_TYPES_EXT__
   6 #include <float.h>
   7
   8 #define CONCATX(X, Y) X ## Y
   9 #define CONCAT(X, Y) CONCATX (X, Y)
  10 #define CONCAT3(X, Y, Z) CONCAT (CONCAT (X, Y), Z)
  11 #define CONCAT4(W, X, Y, Z) CONCAT (CONCAT (CONCAT (W, X), Y), Z)
  12
  13 #if EXT
  14 # define TYPE CONCAT3 (_Float, WIDTH, x)
  15 # define CST(C) CONCAT4 (C, f, WIDTH, x)
  16 # define FMAC(M) CONCAT4 (FLT, WIDTH, X_, M)
  17 #else
  18 # define TYPE CONCAT (_Float, WIDTH)
  19 # define CST(C) CONCAT3 (C, f, WIDTH)
  20 # define FMAC(M) CONCAT4 (FLT, WIDTH, _, M)
  21 #endif
  22
  23 extern void exit (int);
  24 extern void abort (void);
  25
  26 int
  27 main (void)
  28 {
  29   volatile TYPE a = CST (1.0);
  30   for (int i = 0; i >= FMAC (MIN_EXP); i--)
  31     a *= CST (0.5);
  32   if (a != FMAC (MIN))
  33     abort ();
  34   for (int i = 0; i < FMAC (MANT_DIG) - 1; i++)
  35     a *= CST (0.5);
  36   if (a != FMAC (TRUE_MIN))
  37     abort ();
  38   a *= CST (0.5);
  39   if (a != CST (0.0))
  40     abort ();
  41   a = FMAC (EPSILON);
  42   for (int i = 0; i < FMAC (MANT_DIG) - 1; i++)
  43     a *= CST (2.0);
  44   if (a != CST (1.0))
  45     abort ();
  46   a = FMAC (MAX);
  47   for (int i = 0; i < FMAC (MAX_EXP); i++)
  48     a *= CST (0.5);
  49   if (a != CST (1.0) - FMAC (EPSILON) * CST (0.5))
  50     abort ();
  51   exit (0);
  52 }