1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mwaitpkg" } */
       3  /* { dg-final { scan-assembler-times "tpause\[ \\t\]+\[^\{\n\]*%" 3 } } */
       4  /* { dg-final { scan-assembler-times "setc\[ \\t\]+\[^\{\n\]*%" 3 } } */
       5  
       6  #include <x86intrin.h>
       7  
       8  unsigned char
       9  foo (unsigned x, unsigned y)
      10  {
      11     return _tpause (x, y);
      12  }
      13  
      14  unsigned char
      15  bar (unsigned x, unsigned long long y)
      16  {
      17     return _tpause (x, y);
      18  }
      19  
      20  unsigned char
      21  foo1 (void)
      22  {
      23     return _tpause (0, 0);
      24  }