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
foo()13 foo ()
14 {
15   b = _mm256_extractf128_pd (a, 1);
16 }
17