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 
7 __attribute__((interrupt))
8 void
foo(void * frame)9 foo (void *frame)
10 {
11   aligned j;
12   if (check_int (frame, &j, __alignof__(j)))
13     __builtin_abort ();
14 }
15 
16 /* { dg-final { scan-assembler-times "and\[lq\]?\[^\\n\]*-64,\[^\\n\]*sp" 1 } } */
17 /* { dg-final { scan-assembler-times "iret" 1 { target ia32 } } } */
18 /* { dg-final { scan-assembler-times "iretq" 1 { target { ! ia32 } } } } */
19 /* { dg-final { scan-assembler-times "\tcld" 1 } } */
20