1/* PR c/17297 */ 2 3typedef float V2SF __attribute__ ((vector_size (8))); 4 5int test0 (V2SF, V2SF); 6 7int 8main (void) 9{ 10 V2SF a = (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f}; 11 V2SF b = (V2SF) {567.345, 1984.0}; 12 int i; 13 14 i = test0 (a, b); 15 return i; 16} 17