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