/* { dg-do compile } */
/* { dg-options "-Os -w" } */
/* { dg-options "-Os -w -Wno-psabi" { target { i?86-*-* x86_64-*-* } } } */

typedef float V2SF __attribute__ ((vector_size (128)));

V2SF
foo (int x, V2SF a)
{
  V2SF b;
  if (x & 42)
    b = a;
  else
    b = a + (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f};
  while (x--)
    a += b;
      
  return a;
}