1 /* PR target/80206 */
2 /* { dg-do compile } */
3 /* { dg-options "-mavx512f -ffloat-store" } */
4 
5 #include <immintrin.h>
6 
7 __m512d a;
8 __m256d b;
9 
10 void
foo(__m256d * p)11 foo (__m256d *p)
12 {
13   *p = _mm512_mask_extractf64x4_pd (b, 1, a, 1);
14 }
15