gcc/testsuite/gcc.dg/vect/vect-neg-zero.c

   1 /* { dg-add-options ieee } */
   2 /* { dg-additional-options "-fno-associative-math -fsigned-zeros" } */
   3
   4 double x[4] = {-0.0, 0.0, -0.0, 0.0};
   5 float y[8] = {-0.0, 0.0, -0.0, 0.0, -0.0, -0.0, 0.0, 0.0};
   6
   7 static __attribute__ ((always_inline)) inline void
   8 test (int factor)
   9 {
  10   double a[4];
  11   float b[8];
  12
  13   asm ("" ::: "memory");
  14
  15   for (int i = 0; i < 2 * factor; i++)
  16     a[i] = -x[i];
  17
  18   for (int i = 0; i < 4 * factor; i++)
  19     b[i] = -y[i];
  20
  21 #pragma GCC novector
  22   for (int i = 0; i < 2 * factor; i++)
  23     if (__builtin_signbit (a[i]) == __builtin_signbit (x[i]))
  24       __builtin_abort ();
  25
  26 #pragma GCC novector
  27   for (int i = 0; i < 4 * factor; i++)
  28     if (__builtin_signbit (b[i]) == __builtin_signbit (y[i]))
  29       __builtin_abort ();
  30 }
  31
  32 int
  33 main (void)
  34 {
  35   test (1);
  36   test (2);
  37   return 0;
  38 }