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

   1 /* Test _Float32 <float.h> macros.  */
   2 /* { dg-do run } */
   3 /* { dg-options "" } */
   4 /* { dg-add-options float32 } */
   5 /* { dg-require-effective-target float32_runtime } */
   6
   7 #define WIDTH 32
   8 #define EXT 0
   9 #include "floatn-floath.h"
  10
  11 #ifndef FLT32_MANT_DIG
  12 # error "FLT32_MANT_DIG undefined"
  13 #endif
  14
  15 #ifndef FLT32_DECIMAL_DIG
  16 # error "FLT32_DECIMAL_DIG undefined"
  17 #endif
  18
  19 #ifndef FLT32_DIG
  20 # error "FLT32_DIG undefined"
  21 #endif
  22
  23 #ifndef FLT32_MIN_EXP
  24 # error "FLT32_MIN_EXP undefined"
  25 #endif
  26
  27 #ifndef FLT32_MIN_10_EXP
  28 # error "FLT32_MIN_10_EXP undefined"
  29 #endif
  30
  31 #ifndef FLT32_MAX_EXP
  32 # error "FLT32_MAX_EXP undefined"
  33 #endif
  34
  35 #ifndef FLT32_MAX_10_EXP
  36 # error "FLT32_MAX_10_EXP undefined"
  37 #endif
  38
  39 #ifndef FLT32_MAX
  40 # error "FLT32_MAX undefined"
  41 #endif
  42
  43 #ifndef FLT32_EPSILON
  44 # error "FLT32_EPSILON undefined"
  45 #endif
  46
  47 #ifndef FLT32_MIN
  48 # error "FLT32_MIN undefined"
  49 #endif
  50
  51 #ifndef FLT32_TRUE_MIN
  52 # error "FLT32_TRUE_MIN undefined"
  53 #endif
  54
  55 #if FLT32_DECIMAL_DIG > DECIMAL_DIG
  56 # error "FLT32_DECIMAL_DIG > DECIMAL_DIG"
  57 #endif
  58
  59 #if FLT32_MANT_DIG != 24 || FLT32_MAX_EXP != 128 || FLT32_MIN_EXP != -125
  60 # error "_Float32 bad format"
  61 #endif