1  /* { dg-do compile { target { ! ia32  } } } */
       2  /* { dg-options "-O2 -fno-ipa-icf -mbmi " } */
       3  /* { dg-final { scan-assembler-times "andn\[^\\n]*rax" 2 } } */
       4  /* { dg-final { scan-assembler-times "bextr\[ \\t]+\[^\\n]*rax" 2 } } */
       5  /* { dg-final { scan-assembler-times "blsi\[^\\n]*rax" 2 } } */
       6  /* { dg-final { scan-assembler-times "blsmsk\[^\\n]*rax" 2 } } */
       7  /* { dg-final { scan-assembler-times "blsr\[^\\n]*rax" 2 } } */
       8  /* { dg-final { scan-assembler-times "tzcntq\[^\\n]*rax" 2 } } */
       9  
      10  #include <x86intrin.h>
      11  
      12  unsigned long long
      13  func_andn64 (unsigned long long X, unsigned long long Y)
      14  {
      15    return __andn_u64 (X, Y);
      16  }
      17  
      18  unsigned long long
      19  func_andn64_2 (unsigned long long X, unsigned long long Y)
      20  {
      21    return _andn_u64 (X, Y);
      22  }
      23  
      24  unsigned long long
      25  func_bextr64 (unsigned long long X, unsigned long long Y)
      26  {
      27    return __bextr_u64 (X, Y);
      28  }
      29  
      30  unsigned long long
      31  func_bextr64_3args (unsigned long long X,
      32  		    unsigned long long Y,
      33  		    unsigned long long Z)
      34  {
      35    return _bextr_u64 (X, Y, Z);
      36  }
      37  
      38  unsigned long long
      39  func_blsi64 (unsigned long long X)
      40  {
      41    return __blsi_u64 (X);
      42  }
      43  
      44  unsigned long long
      45  func_blsi64_2 (unsigned long long X)
      46  {
      47    return _blsi_u64 (X);
      48  }
      49  
      50  unsigned long long
      51  func_blsmsk64 (unsigned long long X)
      52  {
      53    return __blsmsk_u64 (X);
      54  }
      55  
      56  unsigned long long
      57  func_blsmsk64_2 (unsigned long long X)
      58  {
      59    return _blsmsk_u64 (X);
      60  }
      61  
      62  unsigned long long
      63  func_blsr64 (unsigned long long X)
      64  {
      65    return __blsr_u64 (X);
      66  }
      67  
      68  unsigned long long
      69  func_blsr64_2 (unsigned long long X)
      70  {
      71    return _blsr_u64 (X);
      72  }
      73  
      74  unsigned long long
      75  func_tzcnt64 (unsigned long long X)
      76  {
      77    return __tzcnt_u64 (X);
      78  }
      79  
      80  unsigned long long
      81  func_tzcnt64_2 (unsigned long long X)
      82  {
      83    return _tzcnt_u64 (X);
      84  }