/* PR target/88465 */ | |
/* { dg-do compile } */ | |
/* { dg-options "-O2 -mavx512dq -mno-avx512bw" } */ | |
/* { dg-final { scan-assembler-times "kxorb\[ \t]" 1 } } */ | |
/* { dg-final { scan-assembler-times "kxnorb\[ \t]" 1 } } */ | |
void | |
foo (void) | |
{ | |
unsigned char k = 0; | |
__asm volatile ("" : : "k" (k)); | |
k = -1; | |
__asm volatile ("" : : "k" (k)); | |
} |