/* { dg-do compile } */
/* { dg-options "-O2" } */

typedef int v4si __attribute__((vector_size (4 * sizeof (int))));
typedef double v4df __attribute__((vector_size (4 * sizeof (double))));
double
foo (void)
{
  v4si a = { 1, 2, 3, 4 };
  return __builtin_convertvector (a, v4df)[1];
}