Wie pushen (und knallen Sie) Gleitkommaregister zum Stack auf ARMv7 32-Bit?

Question

Wie man eine Reihe von Gleitkommaregistern auf dem modernen ARMv7 32-Bit auf den Stack pusht (und dann pop)? Insbesondere interessiert mich das Speichern und Wiederherstellen der (schwebenden) Fließkomma-Register d0-d7 (oder s0-s15, vorausgesetzt, sie belegen denselben Platz im Prozessor).

habe ich diesen Ansatz http://www.cl.cam.ac.uk/~fms27/teaching/2001-02/arm-project/02-sort/apcs.txt mit SFM und LFM, aber es scheint nur zu sehr alte ARM-Prozessoren anwendbar, wo Register wurden f0-f7 und sie wurden jeweils 96-Bit genannt. Sowohl die Register als auch die Instruktionen scheinen danach überarbeitet und umbenannt worden zu sein.

Answer 1

Offenbar ist es schwierig, im Internet zu finden, aber am Ende scheint es so einfach zu sein, wie diese (Quelle http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0204j/Bcfchhif.html):

VPUSH {d0-d7} ; push d0, d1, ... , d7 to the stack 
VPOP {d0-d7} ; pop d0, d1, ... , d7 from the stack