/* { dg-do compile } */
/* { dg-require-effective-target vect_int } */
/* { dg-options "-O2 -Wno-psabi" } */
/* { dg-additional-options "-msse" { target i?86-*-* x86_64-*-* } } */

typedef int v4si
  __attribute__ ((vector_size (16)));

int fn1 (v4si p)
{
  return p[0];
}