12.1. About the FPU programmer’s model
The FPU implements the VFPv3-D16 architecture and the Common
VFP Sub-Architecture v2. This includes the instruction set of the
VFPv3 architecture. See the ARM Architecture Reference Manual for
information on the VFPv3 instruction set.