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)9 v4sf foo(v4si vi)
10 {
11   int x = __builtin_ia32_vec_ext_v4si (vi, 0);
12   return bar(x);
13 }
14