1  /* { dg-do run { target le } } */
       2  /* { dg-additional-options "-Os -fno-tree-ter -save-temps -fdump-rtl-ree-all -free -std=c99 -w" } */
       3  
       4  typedef unsigned char u8;
       5  typedef unsigned char __attribute__((__vector_size__ (8))) v64u8;
       6  typedef unsigned char __attribute__((__vector_size__ (16))) v128u8;
       7  typedef unsigned char __attribute__((__vector_size__ (32))) v256u8;
       8  typedef unsigned short __attribute__((__vector_size__ (8))) v64u16;
       9  typedef unsigned int __attribute__((__vector_size__ (16))) v128u32;
      10  typedef unsigned long long u64;
      11  typedef unsigned __int128 u128;
      12  
      13  v64u16 foo0_v32u16_0 = { 4, 5, 6, 7 };
      14  u64 foo0_u64_0 = 0x30;
      15  
      16  __attribute__((__noipa__))
      17  v64u8 foo0 (v64u16 v64u16_0, u128 u128_0)
      18  {
      19    /* 03 00 05 00 03 00 02 00 ... */
      20    v256u8 v256u16_1 = (v256u8)__builtin_shufflevector (v64u16_0, foo0_v32u16_0,
      21  			     3, 5, 3, 2, 3, 5, 1, 0,
      22  			     3, 5, 3, 2, 2, 0, 2, 0);
      23    /* 00 00 00 00 01 00 00 00 ... */
      24    v128u8 v128u8_1 = (v128u8) __builtin_convertvector (v64u16_0, v128u32);
      25    /* 10 */
      26    u8 u8_1 = foo0_u64_0 % u128_0;
      27    /* 03 00 05 00 04 00 02 00 ... */
      28    v128u8 v128u8_r = ((union {v256u8 a; v128u8 b[2];}) v256u16_1).b[0] + v128u8_1;
      29    /* 00 00 01 00 02 00 03 00 */
      30    v64u8 v64u8_0 = (v64u8)v64u16_0;
      31    /* 03 00 06 00 06 00 05 00 */
      32    v64u8 v64u8_r = ((union {v128u8 a; v64u8 b[2];}) v128u8_r).b[0] + v64u8_0;
      33    /* 13 10 16 10 16 10 15 10 */
      34    return v64u8_r + u8_1;
      35  }
      36  
      37  int
      38  main (void)
      39  {
      40    v64u8 x = foo0 ((v64u16){ 0, 1, 2, 3 }, 0x20);
      41    v64u8 exp = { 0x13, 0x10, 0x16, 0x10, 0x16, 0x10, 0x15, 0x10 };
      42    for (unsigned i = 0; i < sizeof(x); i++)
      43      if (x[i] != exp[i])
      44        __builtin_abort();
      45    return 0;
      46  }
      47  
      48  /* { dg-final { scan-rtl-dump {because some vector uses aren't extension} ree } } */