1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -msse3" } */ 3 4 void _mm_monitor(void const * __P,unsigned int __E,unsigned int __H)5 _mm_monitor (void const * __P, unsigned int __E, unsigned int __H) 6 { 7 __builtin_ia32_monitor (__P, __E, __H); 8 } 9