1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mtune=core2 -msse4.1" } */
       3  
       4  typedef char __v16qi __attribute__ ((__vector_size__ (16)));
       5  typedef long long __m128i __attribute__ ((__vector_size__ (16)));
       6  __m128i Set_AC4R_SETUP_I( const char *val ) {
       7    char D2073 = *val;
       8    char D2074 = *(val + 1);
       9    char D2075 = *(val + 2);
      10    char D2076 = *(val + 3);
      11    char D2077 = *(val + 4);
      12    char D2078 = *(val + 5);
      13    char D2079 = *(val + 6);
      14    __v16qi D2094 = {D2073, D2074, D2075, D2076,  D2077, D2078, D2079, 0,
      15    D2073, D2074, D2075, D2076,  D2077, D2078, D2079, 0};
      16    return (__m128i)D2094;
      17  }
      18  
      19  /* { dg-final { scan-assembler "pinsrb" } } */