https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94743
--- Comment #3 from Christophe Lyon <clyon at gcc dot gnu.org> --- Maybe we could - save the VFP registers as needed by default - emit a warning "IRQ handler 'foo' saves VFP registers because it is not a leaf function. If you know none of the callees will clobber the VFP registers you can use the 'IRQ-dont-push-VFP-regs' attribute" - implement this new attribute such that users can disable such long vpush sequences