1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mmmx" } */
       3  /* { dg-final { scan-assembler-not "paddb" } } */
       4  
       5  typedef int v2si __attribute__ ((__vector_size__ (8)));
       6  typedef short v4hi __attribute__ ((__vector_size__ (8)));
       7  typedef char v8qi __attribute__ ((__vector_size__ (8)));
       8  
       9  int
      10  foo (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  }