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