1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mgeneral-regs-only -mno-cld" } */
       3  
       4  extern int check_int (int *i, void *, int align);
       5  typedef int aligned __attribute__((aligned(64)));
       6  typedef unsigned int uword_t __attribute__ ((mode (__word__)));
       7  
       8  __attribute__((interrupt))
       9  void
      10  foo (void *frame, uword_t error_code)
      11  {
      12    aligned j;
      13    if (check_int (frame, &j, __alignof__(j)))
      14      __builtin_abort ();
      15  }
      16  
      17  /* { dg-final { scan-assembler-times "and\[lq\]?\[^\\n\]*-64,\[^\\n\]*sp" 1 } } */
      18  /* { dg-final { scan-assembler "(add|lea)(?:l|q)\[\\t \]*\\\$?8.*,\[\\t \]*%\[re\]?sp" { target { ! ia32 } } } } */
      19  /* { dg-final { scan-assembler "(addl|leal).*4.*%esp" { target ia32 } } } */
      20  /* { dg-final { scan-assembler-times "iret" 1 { target ia32 } } } */
      21  /* { dg-final { scan-assembler-times "iretq" 1 { target { ! ia32 } } } } */
      22  /* { dg-final { scan-assembler-times "\tcld" 1 } } */