1 /* { dg-do run { target i?86-*-* x86_64-*-* } } */
2 /* { dg-additional-sources no-callee-saved-run-1b.c } */
4 extern void bar0 (int, int, int, int, int, int, int, int, int)
5 __attribute__ ((no_callee_saved_registers
));
10 bar0 (0, 1, 2, 3, 4, 5, 6, 7, 8);