1 /* { dg-do compile } */
2 /* { dg-require-effective-target int32plus } */
4 typedef unsigned char uint8x4_t
5 __attribute__ ((__vector_size__ (4)));
7 typedef unsigned short uint16x8_t
8 __attribute__ ((__vector_size__ (16)));
10 typedef unsigned int uint32x4_t
11 __attribute__ ((__vector_size__ (16)));
14 foo (uint16x8_t
*x
, uint8x4_t
*y
)
16 *y
= (uint8x4_t
) ((uint32x4_t
) (*x
))[0];