1  /* { dg-do compile } */
       2  /* { dg-options "-mavx512pf -O2" } */
       3  /* { dg-final { scan-assembler-times "vgatherpf0dps\[ \\t\]+\[^\{\n\]*\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 2 } } */
       4  
       5  #include <immintrin.h>
       6  
       7  volatile __m512i idx;
       8  volatile __mmask16 m16;
       9  int *base;
      10  
      11  void extern
      12  avx512pf_test (void)
      13  {
      14    _mm512_prefetch_i32gather_ps (idx, base, 8, _MM_HINT_T0);
      15    _mm512_mask_prefetch_i32gather_ps (idx, m16, base, 8, _MM_HINT_T0);
      16  }