gcc/testsuite/gcc.dg/torture/float16-floath.c

   1 /* Test _Float16 <float.h> macros.  */
   2 /* { dg-do run } */
   3 /* { dg-options "" } */
   4 /* { dg-add-options float16 } */
   5 /* { dg-add-options ieee } */
   6 /* { dg-require-effective-target float16_runtime } */
   7
   8 #define WIDTH 16
   9 #define EXT 0
  10 #include "floatn-floath.h"
  11
  12 #ifndef FLT16_MANT_DIG
  13 # error "FLT16_MANT_DIG undefined"
  14 #endif
  15
  16 #ifndef FLT16_DECIMAL_DIG
  17 # error "FLT16_DECIMAL_DIG undefined"
  18 #endif
  19
  20 #ifndef FLT16_DIG
  21 # error "FLT16_DIG undefined"
  22 #endif
  23
  24 #ifndef FLT16_MIN_EXP
  25 # error "FLT16_MIN_EXP undefined"
  26 #endif
  27
  28 #ifndef FLT16_MIN_10_EXP
  29 # error "FLT16_MIN_10_EXP undefined"
  30 #endif
  31
  32 #ifndef FLT16_MAX_EXP
  33 # error "FLT16_MAX_EXP undefined"
  34 #endif
  35
  36 #ifndef FLT16_MAX_10_EXP
  37 # error "FLT16_MAX_10_EXP undefined"
  38 #endif
  39
  40 #ifndef FLT16_MAX
  41 # error "FLT16_MAX undefined"
  42 #endif
  43
  44 #ifndef FLT16_EPSILON
  45 # error "FLT16_EPSILON undefined"
  46 #endif
  47
  48 #ifndef FLT16_MIN
  49 # error "FLT16_MIN undefined"
  50 #endif
  51
  52 #ifndef FLT16_TRUE_MIN
  53 # error "FLT16_TRUE_MIN undefined"
  54 #endif
  55
  56 #if FLT16_MANT_DIG != 11 || FLT16_MAX_EXP != 16 || FLT16_MIN_EXP != -13
  57 # error "_Float16 bad format"
  58 #endif