1  /* { dg-do compile } */
       2  /* { dg-options "-mavx512f" } */
       3  
       4  #include <x86intrin.h>
       5  
       6  __m512i zmm;
       7  __m128i xmm;
       8  
       9  void test (void)
      10  {
      11    xmm = _mm512_extracti32x4_epi32 (zmm, 0);
      12  }