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
foo(int x,V2SF a)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 }
20