1 typedef float V2SF __attribute__ ((vector_size (8)));
2 
3 V2SF
foo(int x,V2SF a)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 }
10