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  }