gcc/testsuite/gcc.dg/pr43300.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Os -w" } */
   3 /* { dg-options "-Os -w -Wno-psabi" { target { i?86-*-* x86_64-*-* } } } */
   4
   5 typedef float V2SF __attribute__ ((vector_size (128)));
   6
   7 V2SF
   8 foo (int x, V2SF a)
   9 {
  10   V2SF b;
  11   if (x & 42)
  12     b = a;
  13   else
  14     b = a + (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f};
  15   while (x--)
  16     a += b;
  17
  18   return a;
  19 }