1/* { dg-do compile } */
2/* { dg-options "-O2 -mmmx" } */
3/* { dg-final { scan-assembler-not "paddb" } } */
4
5typedef int v2si __attribute__ ((__vector_size__ (8)));
6typedef short v4hi __attribute__ ((__vector_size__ (8)));
7typedef char v8qi __attribute__ ((__vector_size__ (8)));
8
9int
10foo (unsigned int *a, unsigned int *b)
11{
12  long long i, j, k;
13
14  i = (long long) __builtin_ia32_vec_init_v2si (*a, 0);
15  j = (long long) __builtin_ia32_vec_init_v2si (*b, 0);
16  i = (long long) __builtin_ia32_punpcklbw ((v8qi) i, (v8qi) 0ll);
17  j = (long long) __builtin_ia32_punpcklbw ((v8qi) j, (v8qi) 0ll);
18  k = (long long) __builtin_ia32_paddw ((v4hi) i, (v4hi) j);
19  return __builtin_ia32_vec_ext_v2si ((v2si) k, 0);
20}
21