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