1/* { dg-do compile } */
2/* { dg-options "-O2 -mtune=core2 -msse4.1" } */
3
4typedef char __v16qi __attribute__ ((__vector_size__ (16)));
5typedef 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" } } */
20