1  /* PR target/88465 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mavx512dq -mno-avx512bw" } */
       4  /* { dg-final { scan-assembler-times "kxorb\[ \t]" 1 } } */
       5  /* { dg-final { scan-assembler-times "kxnorb\[ \t]" 1 } } */
       6  
       7  void
       8  foo (void)
       9  {
      10    unsigned char k = 0;
      11    __asm volatile ("" : : "k" (k));
      12    k = -1;
      13    __asm volatile ("" : : "k" (k));
      14  }