1  /* PR target/65671 */
       2  /* { dg-do assemble } */
       3  /* { dg-require-effective-target lp64 } */
       4  /* { dg-require-effective-target avx512vl } */
       5  /* { dg-options "-O2 -mavx512vl -ffixed-ymm16" } */
       6  
       7  #include <x86intrin.h>
       8  
       9  register __m256d a asm ("ymm16");
      10  __m128d b;
      11  
      12  void
      13  foo ()
      14  {
      15    b = _mm256_extractf128_pd (a, 1);
      16  }