1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mmwait -mgeneral-regs-only" } */
       3  
       4  /* Verify that they work in both 32bit and 64bit.  */
       5  
       6  #include <x86gprintrin.h>
       7  
       8  void
       9  foo (char *p, int x, int y, int z)
      10  {
      11     _mm_monitor (p, y, x);
      12     _mm_mwait (z, y);
      13  }
      14  
      15  void
      16  bar (char *p, long x, long y, long z)
      17  {
      18     _mm_monitor (p, y, x);
      19     _mm_mwait (z, y);
      20  }
      21  
      22  void
      23  foo1 (char *p)
      24  {
      25     _mm_monitor (p, 0, 0);
      26     _mm_mwait (0, 0);
      27  }