1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx512f" } */
       3  /* { dg-final { scan-assembler-times "vcmppd\[ \\t\]+\[^\{\n\]*\[^\}\]%zmm\[0-9\]+\[^\n^k\]*%k\[0-7\](?:\n|\[ \\t\]+#)" 9 } } */
       4  /* { dg-final { scan-assembler-times "vcmppd\[ \\t\]+\[^\{\n\]*\[^\}\]%zmm\[0-9\]+\[^\n^k\]*%k\[0-7\]\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 9 } } */
       5  /* { dg-final { scan-assembler-times "vcmppd\[ \\t\]+\[^\{\n\]*\{sae\}\[^\n\]*%zmm\[0-9\]+\[^\n^k\]*%k\[0-7\](?:\n|\[ \\t\]+#)" 1 } } */
       6  /* { dg-final { scan-assembler-times "vcmppd\[ \\t\]+\[^\{\n\]*\{sae\}\[^\n\]*%zmm\[0-9\]+\[^\n^k\]*%k\[0-7\]\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 1 } } */
       7  
       8  #include <immintrin.h>
       9  
      10  volatile __m512d x;
      11  volatile __mmask8 m;
      12  
      13  void extern
      14  avx512f_test (void)
      15  {
      16    m = _mm512_cmp_pd_mask (x, x, _CMP_FALSE_OQ);
      17    m = _mm512_mask_cmp_pd_mask (m, x, x, _CMP_FALSE_OQ);
      18    m = _mm512_cmp_round_pd_mask (x, x, _CMP_FALSE_OQ, _MM_FROUND_NO_EXC);
      19    m = _mm512_mask_cmp_round_pd_mask (m, x, x, _CMP_FALSE_OQ, _MM_FROUND_NO_EXC);
      20  
      21    m = _mm512_cmpeq_pd_mask (x, x);
      22    m = _mm512_mask_cmpeq_pd_mask (m, x, x);
      23  
      24    m = _mm512_cmplt_pd_mask (x, x);
      25    m = _mm512_mask_cmplt_pd_mask (m, x, x);
      26  
      27    m = _mm512_cmple_pd_mask (x, x);
      28    m = _mm512_mask_cmple_pd_mask (m, x, x);
      29  
      30    m = _mm512_cmpunord_pd_mask (x, x);
      31    m = _mm512_mask_cmpunord_pd_mask (m, x, x);
      32  
      33    m = _mm512_cmpneq_pd_mask (x, x);
      34    m = _mm512_mask_cmpneq_pd_mask (m, x, x);
      35  
      36    m = _mm512_cmpnlt_pd_mask (x, x);
      37    m = _mm512_mask_cmpnlt_pd_mask (m, x, x);
      38  
      39    m = _mm512_cmpnle_pd_mask (x, x);
      40    m = _mm512_mask_cmpnle_pd_mask (m, x, x);
      41  
      42    m = _mm512_cmpord_pd_mask (x, x);
      43    m = _mm512_mask_cmpord_pd_mask (m, x, x);
      44  }
      45