[Bug target/94743] IRQ handler doesn't save scratch VFP registers

[clyon at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94743

--- Comment #2 from Christophe Lyon <clyon at gcc dot gnu.org> ---
I have a preliminary patch which generates:
        vpush.64        {d0, d1, d2, d3, d4, d5, d6, d7}
        vpush.64        {d16, d17, d18, d19, d20, d21, d22, d23, d24, d25, d26,
d27, d28, d29, d30, d31}

I'm not sure users would be happy with such long push sequences....