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