1  typedef float V2SF __attribute__ ((vector_size (8)));
       2  
       3  V2SF
       4  foo (int x, V2SF a)
       5  {
       6    while (x--)
       7      a += (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f};
       8    return a;
       9  }