1/* { dg-do compile } */
2/* { dg-options "-g -O -msse3" } */
3
4typedef float v4sf __attribute__ ((__vector_size__ (16)));
5typedef int v4si __attribute__ ((__vector_size__ (16)));
6
7v4sf bar(int);
8
9v4sf foo(v4si vi)
10{
11  int x = __builtin_ia32_vec_ext_v4si (vi, 0);
12  return bar(x);
13}
14