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  }