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