1  /* { dg-do run { target le } } */
       2  /* { dg-additional-options "-O2 -save-temps -fdump-rtl-ree-all -free -std=c99 -w" } */
       3  
       4  typedef unsigned char __attribute__((__vector_size__ (8))) v64u8;
       5  typedef unsigned char __attribute__((__vector_size__ (16))) v128u8;
       6  typedef unsigned short __attribute__((__vector_size__ (8))) v64u16;
       7  typedef unsigned short __attribute__((__vector_size__ (64))) v512u16;
       8  typedef unsigned int __attribute__((__vector_size__ (16))) v128u32;
       9  typedef unsigned long long u64;
      10  typedef unsigned long long __attribute__((__vector_size__ (8))) v64u64;
      11  typedef unsigned long long __attribute__((__vector_size__ (16))) v128u64;
      12  typedef unsigned __int128 u128;
      13  typedef unsigned __int128 __attribute__((__vector_size__ (64))) v512u128;
      14  v512u16 foo0_v512u16_0;
      15  u64 foo0_u64_0;
      16  u64 foo0_u16_0;
      17  
      18  void
      19  foo0 (v64u16 v64u16_0, v64u64 v64u64_0, u128 u128_0, v64u8 * ret)
      20  {
      21    /* { 0, 4, 0, 0 } */
      22    v128u32 v128u32_2 = __builtin_convertvector (v64u16_0, v128u32);
      23    /* 0 */
      24    foo0_u16_0 ^= foo0_u64_0 % u128_0;
      25    /* { 0, ... } */
      26    foo0_v512u16_0 *=
      27      __builtin_shufflevector (v64u16_0, v64u16_0, 7, 7, 2, 1, 0, 0, 3, 6, 2, 3,
      28  			     1, 0, 7, 5, 6, 7, 4, 3, 2, 3, 0, 6, 1, 2, 3, 3,
      29  			     6, 7, 6, 2, 4, 3);
      30    /* { 0, 0, 0, 0, 4, 0, ... } */
      31    v128u8 v128u8_r = (v128u8) ((v512u128) foo0_v512u16_0)[0] +
      32      (v128u8) v128u32_2;
      33    /* { 0, 0, 4, 0, 4, 0, 0, 0 } */
      34    v64u8 v64u8_r = (v64u8) ((v128u64) v128u8_r)[0] +
      35      (v64u8) v64u16_0 + (v64u8) v64u64_0;
      36    *ret = v64u8_r;
      37  }
      38  
      39  int
      40  main (void)
      41  {
      42    v64u8 x, exp = (v64u8){ 0, 0, 4, 0, 4, 0, 0, 0 };
      43    foo0 ((v64u16){0, 4}, (v64u64){}, 5, &x);
      44    /*
      45    for (unsigned i = 0; i < sizeof (x); i++)
      46      __builtin_printf ("%02x", x[i]);
      47    */
      48    for (unsigned i = 0; i < sizeof (x); i++)
      49      if (x[i] != exp[i]) __builtin_abort();
      50    return 0;
      51  }
      52  
      53  /* { dg-final { scan-rtl-dump {because some vector uses aren't extension} ree } } */