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
      11  foo (__m256d *p)
      12  {
      13    *p = _mm512_mask_extractf64x4_pd (b, 1, a, 1);
      14  }