1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -mgeneral-regs-only -mno-cld" } */
       3  /* { dg-additional-options "-mpreferred-stack-boundary=3" { target { ! ia32 } } }  */
       4  /* { dg-additional-options "-mpreferred-stack-boundary=2" { target ia32 } } */
       5  
       6  extern void foo (void *) __attribute__ ((interrupt));
       7  extern void bar (void) __attribute__ ((no_caller_saved_registers));
       8  
       9  void foo (void *frame)
      10  {
      11    bar ();
      12  }
      13  /* { dg-final { scan-assembler-not "jmp" } } */
      14  /* { dg-final { scan-assembler-times "iret" 1 { target ia32 } } } */
      15  /* { dg-final { scan-assembler-times "iretq" 1 { target { ! ia32 } } } } */
      16  /* { dg-final { scan-assembler-times "\tcld" 1 } } */