1 /* PR target/88465 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -mavx512f -mno-avx512dq -mno-avx512bw" } */
4 /* { dg-final { scan-assembler-times "kxorw\[ \t]" 2 } } */
5 /* { dg-final { scan-assembler-times "kxnorw\[ \t]" 1 } } */
6 
7 void
foo(void)8 foo (void)
9 {
10   unsigned short int k = 0;
11   __asm volatile ("" : : "k" (k));
12   k = -1;
13   __asm volatile ("" : : "k" (k));
14 }
15 
16 void
bar(void)17 bar (void)
18 {
19   unsigned char k = 0;
20   __asm volatile ("" : : "k" (k));
21 }
22