1  /* PR target/93673 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mavx512bw" } */
       4  
       5  #include <x86intrin.h>
       6  
       7  void
       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  }