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