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

   1 /* Test _Float32x <float.h> macros.  */
   2 /* { dg-do run } */
   3 /* { dg-options "" } */
   4 /* { dg-add-options float32x } */
   5 /* { dg-add-options ieee } */
   6 /* { dg-require-effective-target float32x_runtime } */
   7
   8 #define WIDTH 32
   9 #define EXT 1
  10 #include "floatn-floath.h"
  11
  12 #ifndef FLT32X_MANT_DIG
  13 # error "FLT32X_MANT_DIG undefined"
  14 #endif
  15
  16 #ifndef FLT32X_DECIMAL_DIG
  17 # error "FLT32X_DECIMAL_DIG undefined"
  18 #endif
  19
  20 #ifndef FLT32X_DIG
  21 # error "FLT32X_DIG undefined"
  22 #endif
  23
  24 #ifndef FLT32X_MIN_EXP
  25 # error "FLT32X_MIN_EXP undefined"
  26 #endif
  27
  28 #ifndef FLT32X_MIN_10_EXP
  29 # error "FLT32X_MIN_10_EXP undefined"
  30 #endif
  31
  32 #ifndef FLT32X_MAX_EXP
  33 # error "FLT32X_MAX_EXP undefined"
  34 #endif
  35
  36 #ifndef FLT32X_MAX_10_EXP
  37 # error "FLT32X_MAX_10_EXP undefined"
  38 #endif
  39
  40 #ifndef FLT32X_MAX
  41 # error "FLT32X_MAX undefined"
  42 #endif
  43
  44 #ifndef FLT32X_EPSILON
  45 # error "FLT32X_EPSILON undefined"
  46 #endif
  47
  48 #ifndef FLT32X_MIN
  49 # error "FLT32X_MIN undefined"
  50 #endif
  51
  52 #ifndef FLT32X_TRUE_MIN
  53 # error "FLT32X_TRUE_MIN undefined"
  54 #endif
  55
  56 #if FLT32X_MANT_DIG < 32 || FLT32X_MAX_EXP < 1024 || FLT32X_MIN_EXP + FLT32X_MAX_EXP != 3
  57 # error "_Float32x bad format"
  58 #endif