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