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)));
Set_AC4R_SETUP_I(const char * val)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