1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  typedef int v4si __attribute__((vector_size (4 * sizeof (int))));
       5  typedef double v4df __attribute__((vector_size (4 * sizeof (double))));
       6  double
       7  foo (void)
       8  {
       9    v4si a = { 1, 2, 3, 4 };
      10    return __builtin_convertvector (a, v4df)[1];
      11  }