1 /* PR target/93673 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -mavx512bw" } */
4
5 #include <x86intrin.h>
6
7 void
foo(__mmask32 * c,__mmask64 * d)8 foo (__mmask32 *c, __mmask64 *d)
9 {
10 c[0] = _kshiftli_mask32 (c[0], 0);
11 c[1] = _kshiftri_mask32 (c[1], 0);
12 c[2] = _kshiftli_mask32 (c[2], 1);
13 c[3] = _kshiftri_mask32 (c[3], 1);
14 c[4] = _kshiftli_mask32 (c[4], 31);
15 c[5] = _kshiftri_mask32 (c[5], 31);
16 c[6] = _kshiftli_mask32 (c[6], 0x7f);
17 c[7] = _kshiftri_mask32 (c[7], 0x7f);
18 c[8] = _kshiftli_mask32 (c[8], 0xff);
19 c[9] = _kshiftri_mask32 (c[9], 0xff);
20 d[0] = _kshiftli_mask64 (d[0], 0);
21 d[1] = _kshiftri_mask64 (d[1], 0);
22 d[2] = _kshiftli_mask64 (d[2], 1);
23 d[3] = _kshiftri_mask64 (d[3], 1);
24 d[4] = _kshiftli_mask64 (d[4], 63);
25 d[5] = _kshiftri_mask64 (d[5], 63);
26 d[6] = _kshiftli_mask64 (d[6], 0x7f);
27 d[7] = _kshiftri_mask64 (d[7], 0x7f);
28 d[8] = _kshiftli_mask64 (d[8], 0xff);
29 d[9] = _kshiftri_mask64 (d[9], 0xff);
30 }
31