gcc/testsuite/gcc.dg/pr91734.c

   1 /* PR tree-optimization/91734 */
   2 /* { dg-do run } */
   3 /* { dg-add-options ieee } */
   4 /* { dg-additional-options "-O2 -std=gnu99" } */
   5
   6 __attribute__((noipa, optimize ("Ofast"))) int
   7 f1 (float x)
   8 {
   9   return __builtin_sqrtf (x) < __FLT_MIN__;
  10 }
  11
  12 __attribute__((noipa, optimize ("Ofast"))) int
  13 f2 (float x)
  14 {
  15   return __builtin_sqrtf (x) < 0x1.2dd3d0p-65f;
  16 }
  17
  18 __attribute__((noipa, optimize ("Ofast"))) int
  19 f3 (float x)
  20 {
  21   return __builtin_sqrtf (x) >= 0x1.2dd3d0p-65f;
  22 }
  23
  24 __attribute__((noipa, optimize ("Ofast"))) int
  25 f4 (float x)
  26 {
  27   return __builtin_sqrtf (x) >= 0x1.5642e6p+54f;
  28 }
  29
  30 __attribute__((noipa, optimize ("Ofast"))) int
  31 f5 (float x)
  32 {
  33   return __builtin_sqrtf (x) > 0x1.5642e6p+54f;
  34 }
  35
  36 __attribute__((noipa, optimize ("Ofast"))) int
  37 f6 (float x)
  38 {
  39   return __builtin_sqrtf (x) < 0x1.4da1cp-19f;
  40 }
  41
  42 __attribute__((noipa, optimize ("Ofast"))) int
  43 f7 (float x)
  44 {
  45   return __builtin_sqrtf (x) <= 0x1.4da1cp-19f;
  46 }
  47
  48 __attribute__((noipa, optimize ("Ofast"))) int
  49 f8 (float x)
  50 {
  51   return __builtin_sqrtf (x) < 0x1.50cb62p-65f;
  52 }
  53
  54 __attribute__((noipa, optimize ("Ofast"))) int
  55 f9 (float x)
  56 {
  57   return __builtin_sqrtf (x) <= 0x1.4fc00cp-73f;
  58 }
  59
  60 __attribute__((noipa, optimize ("Ofast"))) int
  61 f10 (float x)
  62 {
  63   return __builtin_sqrtf (x) < 0x1.001002p+0f;
  64 }
  65
  66 int
  67 main ()
  68 {
  69   if (__FLT_RADIX__ != 2
  70       || __FLT_MANT_DIG__ != 24
  71       || __FLT_MIN_EXP__ != -125
  72       || __FLT_MAX_EXP__ != 128
  73       || __FLT_HAS_DENORM__ != 1
  74       || __FLT_HAS_INFINITY__ != 1)
  75     return 0;
  76   if (!f1 (0.0f) || f1 (0x1.0p-149f))
  77     __builtin_abort ();
  78   if (!f2 (0x1.63dbc0p-130f))
  79     __builtin_abort ();
  80   if (f3 (0x1.63dbc0p-130f))
  81     __builtin_abort ();
  82   if (!f4 (0x1.c996d0p+108f) || !f4 (0x1.c996cep+108f) || f4 (0x1.c996ccp+108f))
  83     __builtin_abort ();
  84   if (f5 (0x1.c996d0p+108f) || f5 (0x1.c996d2p+108f) || !f5 (0x1.c996d4p+108f))
  85     __builtin_abort ();
  86   if (!f6 (0x1.b2ce3p-38f) || f6 (0x1.b2ce32p-38f) || f6 (0x1.b2ce34p-38f))
  87     __builtin_abort ();
  88   if (!f7 (0x1.b2ce3p-38f) || !f7 (0x1.b2ce34p-38f) || !f7 (0x1.b2ce36p-38f) || f7 (0x1.b2ce38p-38f))
  89     __builtin_abort ();
  90   if (!f8 (0x1.bb166p-130f) || !f8 (0x1.bb168p-130f) || f8 (0x1.bb16ap-130f) || f8 (0x1.bb16cp-130f))
  91     __builtin_abort ();
  92   if (!f9 (0x1.8p-146f) || !f9 (0x1.ap-146f) || f9 (0x1.cp-146f) || f9 (0x1.ep-146f))
  93     __builtin_abort ();
  94   if (f10 (0x1.002004p+0f))
  95     __builtin_abort ();
  96   return 0;
  97 }