gcc/testsuite/gcc.dg/torture/builtin-iseqsig-1.c

   1 /* { dg-do run { xfail powerpc*-*-* } } */
   2 /* remove the xfail for powerpc when pr58684 is fixed */
   3 /* { dg-add-options ieee } */
   4 /* { dg-additional-options "-fsignaling-nans" } */
   5 /* { dg-require-effective-target fenv_exceptions } */
   6
   7 #include <fenv.h>
   8
   9 void
  10 ftrue (float x, float y)
  11 {
  12   if (!__builtin_iseqsig (x, y))
  13     __builtin_abort ();
  14 }
  15
  16 void
  17 ffalse (float x, float y)
  18 {
  19   if (__builtin_iseqsig (x, y))
  20     __builtin_abort ();
  21 }
  22
  23 int
  24 main ()
  25 {
  26   volatile float f1, f2;
  27
  28   f1 = 0.f; f2 = 0.f;
  29   ftrue (f1, f2);
  30   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  31
  32   f1 = 0.f; f2 = -0.f;
  33   ftrue (f1, f2);
  34   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  35
  36   f1 = 0.f; f2 = 1.f;
  37   ffalse (f1, f2);
  38   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  39
  40   f1 = -0.f; f2 = 1.f;
  41   ffalse (f1, f2);
  42   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  43
  44   f1 = 0.f; f2 = __builtin_inff();
  45   ffalse (f1, f2);
  46   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  47
  48   f1 = -0.f; f2 = __builtin_inff();
  49   ffalse (f1, f2);
  50   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  51
  52   f1 = 0.f; f2 = __builtin_nanf("");
  53   ffalse (f1, f2);
  54   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  55   feclearexcept (FE_INVALID);
  56
  57   f1 = -0.f; f2 = __builtin_nanf("");
  58   ffalse (f1, f2);
  59   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  60   feclearexcept (FE_INVALID);
  61
  62   f1 = 1.f; f2 = 1.f;
  63   ftrue (f1, f2);
  64   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  65
  66   f1 = 1.f; f2 = 0.f;
  67   ffalse (f1, f2);
  68   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  69
  70   f1 = 1.f; f2 = -0.f;
  71   ffalse (f1, f2);
  72   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  73
  74   f1 = 1.f; f2 = __builtin_inff();
  75   ffalse (f1, f2);
  76   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  77
  78   f1 = 1.f; f2 = __builtin_nanf("");
  79   ffalse (f1, f2);
  80   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  81   feclearexcept (FE_INVALID);
  82
  83   f1 = __builtin_inff(); f2 = __builtin_inff();
  84   ftrue (f1, f2);
  85   if (fetestexcept (FE_INVALID)) __builtin_abort ();
  86
  87   f1 = __builtin_inff(); f2 = __builtin_nanf("");
  88   ffalse (f1, f2);
  89   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  90   feclearexcept (FE_INVALID);
  91
  92   f1 = __builtin_nanf(""); f2 = __builtin_nanf("");
  93   ffalse (f1, f2);
  94   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
  95   feclearexcept (FE_INVALID);
  96
  97   f1 = __builtin_nansf(""); f2 = 1.f;
  98   ffalse (f1, f2);
  99   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
 100   feclearexcept (FE_INVALID);
 101
 102   f1 = 1.f; f2 = __builtin_nansf("");
 103   ffalse (f1, f2);
 104   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
 105   feclearexcept (FE_INVALID);
 106
 107   f1 = __builtin_nansf(""); f2 = __builtin_nansf("");
 108   ffalse (f1, f2);
 109   if (!fetestexcept (FE_INVALID)) __builtin_abort ();
 110   feclearexcept (FE_INVALID);
 111
 112   return 0;
 113 }