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