gcc/testsuite/gcc.target/i386/tpause-1.c

   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 }