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
avx512f_test(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 }
18