1 /* PR target/93673 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -mavx512f" } */
4 
5 #include <x86intrin.h>
6 
7 void
foo(__mmask16 * b)8 foo (__mmask16 *b)
9 {
10   b[0] = _kshiftli_mask16 (b[0], 0);
11   b[1] = _kshiftri_mask16 (b[1], 0);
12   b[2] = _kshiftli_mask16 (b[2], 1);
13   b[3] = _kshiftri_mask16 (b[3], 1);
14   b[4] = _kshiftli_mask16 (b[4], 15);
15   b[5] = _kshiftri_mask16 (b[5], 15);
16   b[6] = _kshiftli_mask16 (b[6], 0x7f);
17   b[7] = _kshiftri_mask16 (b[7], 0x7f);
18   b[8] = _kshiftli_mask16 (b[8], 0xff);
19   b[9] = _kshiftri_mask16 (b[9], 0xff);
20 }
21