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
       9  foo (void)
      10  {
      11    __builtin_ia32_pause ();
      12  }
      13  #pragma GCC pop_options
      14  
      15  void
      16  bar (void)
      17  {
      18    __builtin_ia32_pause ();
      19  }