1 /* { dg-do compile } */
2 /* { dg-options "-Os -w" } */
3 /* { dg-options "-Os -w -Wno-psabi" { target { i?86-*-* x86_64-*-* } } } */
5 typedef float V2SF __attribute__ ((vector_size (128)));
14 b = a + (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f};