1 /* { dg-do compile { target { *-*-linux* && { ! ia32 } } } } */
2 /* { dg-options "-O2 -mgeneral-regs-only -mtune=generic -fno-stack-protector" } */
4 typedef unsigned int uword_t
__attribute__ ((mode (__word__
)));
7 __attribute__ ((interrupt
))
8 fn1 (void *frame
, uword_t error
)
10 char fxsave_region
[512] __attribute__((aligned(16)));
11 __builtin_ia32_fxsave64 (fxsave_region
);
14 /* { dg-final { scan-assembler-times "sub\[lq\]\[\t \]*\\\$392,\[\t \]*%\[re\]sp" 1 } } */
15 /* { dg-final { scan-assembler-times "fxsave64\[\t \]*-120\\(%\[re\]sp\\)" 1 } } */
16 /* { dg-final { scan-assembler-times "add\[lq\]\[\t \]*\\\$400,\[\t \]*%\[re\]sp" 1 } } */