2 /* { dg-do compile } */
3 /* { dg-options "-mno-sahf -mno-mmx -mno-sse" } */
4 /* { dg-additional-options "-march=i386" { target ia32 } } */
6 #pragma GCC push_options
7 #pragma GCC target ("sse")
11 __builtin_ia32_pause ();
13 #pragma GCC pop_options
18 __builtin_ia32_pause ();