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