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