1 /* { dg-do compile } */
3 typedef unsigned char uint8x4_t
4 __attribute__ ((__vector_size__ (4)));
6 typedef unsigned short uint16x8_t
7 __attribute__ ((__vector_size__ (16)));
9 typedef unsigned int uint32x4_t
10 __attribute__ ((__vector_size__ (16)));
13 foo (uint16x8_t
*x
, uint8x4_t
*y
)
15 *y
= (uint8x4_t
) ((uint32x4_t
) (*x
))[0];