1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  /* { dg-final { scan-assembler-not "kandn" } } */
       4  /* { dg-final { scan-assembler "andn" } } */
       5  
       6  int b, c, d;
       7  int r;
       8  
       9  void
      10  __attribute__((target("bmi")))
      11  foo ()
      12  {
      13    r = ((b & ~d) | (c & d));
      14  }
      15  
      16  void
      17  __attribute__((target("avx512bw")))
      18  bar ()
      19  {
      20    r = ((b & ~d) | (c & d));
      21  }