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
      14  foo (uint16x8_t *x, uint8x4_t *y)
      15  {
      16    *y = (uint8x4_t) ((uint32x4_t) (*x))[0];
      17  }