1 /* { dg-do compile } */
2 /* { dg-options "-w -Wno-psabi" } */
3 
4 typedef __attribute__ ((vector_size (16))) float float4;
5 typedef __attribute__ ((vector_size (16))) double double2;
6 
foo(double2 d2)7 float foo (double2 d2)
8 {
9   float4 f4 = (float4) d2;
10   return *(float *) &f4;
11 }
12