1  /* PR target/100305 */
       2  
       3  typedef double v2df __attribute__((vector_size(16)));
       4  
       5  #define N 4096
       6  void consume (void *);
       7  v2df
       8  foo (void)
       9  {
      10    double x[N+2];
      11    consume (x);
      12    return (v2df) { x[N], x[N + 1] };
      13  }