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