| /* PR target/65671 */ | |
| /* { dg-do assemble } */ | |
| /* { dg-require-effective-target lp64 } */ | |
| /* { dg-require-effective-target avx512vl } */ | |
| /* { dg-options "-O2 -mavx512vl -ffixed-ymm16" } */ | |
| #include <x86intrin.h> | |
| register __m256d a asm ("ymm16"); | |
| __m128d b; | |
| void | |
| foo () | |
| { | |
| b = _mm256_extractf128_pd (a, 1); | |
| } |