1 /* { dg-do compile { target { *-*-linux* && { ! ia32 } } } } */ 2 /* { dg-options "-O2 -mgeneral-regs-only -mtune=generic" } */ 3 4 void 5 __attribute__ ((interrupt)) fn1(void * frame)6fn1 (void *frame) 7 { 8 char fxsave_region [512] __attribute__((aligned(16))); 9 __builtin_ia32_fxsave64 (fxsave_region); 10 } 11 12 /* { dg-final { scan-assembler-times "sub\[lq\]\[\t \]*\\\$400,\[\t \]*%\[re\]sp" 1 } } */ 13 /* { dg-final { scan-assembler-times "fxsave64\[\t \]*-120\\(%\[re\]sp\\)" 1 } } */ 14 /* { dg-final { scan-assembler-times "add\[lq\]\[\t \]*\\\$400,\[\t \]*%\[re\]sp" 1 } } */ 15