1  /* { dg-do run } */
       2  /* { dg-options "-mavx512f -O2" } */
       3  /* { dg-require-effective-target avx512f } */
       4  
       5  #include "avx512f-check.h"
       6  
       7  static void
       8  avx512f_test (void)
       9  {
      10    __m512i a
      11      = _mm512_set_epi32 (1, 17, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16);
      12    __m512i b
      13      = _mm512_set_epi32 (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16);
      14    __mmask16 c = _mm512_cmpgt_epu32_mask (a, b);
      15    if (_mm512_mask2int (c) != 0xc000)
      16      __builtin_abort ();
      17  }