1 /* PR target/79568 */
2 /* { dg-do compile } */
3 /* { dg-options "-mno-sahf -mno-mmx -mno-sse" } */
4 /* { dg-additional-options "-march=i386" { target ia32 } } */
5 
6 #pragma GCC push_options
7 #pragma GCC target ("sse")
8 void
foo(void)9 foo (void)
10 {
11   __builtin_ia32_pause ();
12 }
13 #pragma GCC pop_options
14 
15 void
bar(void)16 bar (void)
17 {
18   __builtin_ia32_pause ();
19 }
20