/* { dg-do compile } */
/* { dg-options "-O2 -mwaitpkg" } */
/* { dg-final { scan-assembler-times "tpause\[ \\t\]+\[^\{\n\]*%" 3 } } */
/* { dg-final { scan-assembler-times "setc\[ \\t\]+\[^\{\n\]*%" 3 } } */

#include <x86intrin.h>

unsigned char
foo (unsigned x, unsigned y)
{
   return _tpause (x, y);
}

unsigned char
bar (unsigned x, unsigned long long y)
{
   return _tpause (x, y);
}

unsigned char
foo1 (void)
{
   return _tpause (0, 0);
}