1/* { dg-do compile } */
2/* { dg-options "-mavx2 -O2" } */
3
4#include <x86intrin.h>
5
6__m128d
7f (__m256d x)
8{
9  return *((__m128d*) ((double *) &x + 1));
10}
11