/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-final { scan-assembler-not "kandn" } } */
/* { dg-final { scan-assembler "andn" } } */

int b, c, d;
int r;

void
__attribute__((target("bmi")))
foo ()
{
  r = ((b & ~d) | (c & d));
}

void
__attribute__((target("avx512bw")))
bar ()
{
  r = ((b & ~d) | (c & d));
}