| /* { dg-do run } */ | |
| /* { dg-options "-O2 -mavx512bw" } */ | |
| /* { dg-require-effective-target avx512bw } */ | |
| #include "avx512bw-check.h" | |
| void | |
| avx512bw_test () | |
| { | |
| __mmask64 k1, k2; | |
| unsigned char r1, r2; | |
| k1 = _cvtu64_mask64(0); | |
| k2 = _cvtu64_mask64(-1); | |
| r1 = _kortest_mask64_u8(k1, k2, &r2); | |
| if (r1 != 0 || r2 != 1) | |
| abort (); | |
| } |