10. 浮点数指令

这些指令支持使用ARM浮点协同处理器（在诸如Pyboard的平台上，此平台即配备了此处理器）。FPU有32个称为 s0-s31 的寄存器，每个寄存器可容纳一个精度浮点。数据可通过 vmov 指令在FPU寄存器和ARM内核寄存器间传输。

注意：MicroPython不支持向汇编函数传输浮点，同样您与也不可将浮点置于 r0 中并期待合理值。解决方法有两种。一种是使用数组，另一种是传输且/或返回整数并在代码中转化为浮点数。

10.1. 文件规范

符号： Sd, Sm, Sn 表示FPU寄存器， Rd, Rm, Rn 表示ARM核心寄存器。后者可为任何ARM核心寄存器，尽管寄存器 R13-R15 在此情况下并不适用。

10.2. 算法

  • vadd(Sd, Sn, Sm) Sd = Sn + Sm

  • vsub(Sd, Sn, Sm) Sd = Sn - Sm

  • vneg(Sd, Sm) Sd = -Sm

  • vmul(Sd, Sn, Sm) Sd = Sn * Sm

  • vdiv(Sd, Sn, Sm) Sd = Sn / Sm

  • vsqrt(Sd, Sm) Sd = sqrt(Sm)

寄存器可能相同： vmul(S0, S0, S0) 将执行 S0 = S0*S0

10.3. 在ARM内核和FPU寄存器间移动

  • vmov(Sd, Rm) Sd = Rm

  • vmov(Rd, Sm) Rd = Sm

FPU有一个称为FPSCR的寄存器，与ARM的核心APSR相似，储存条件代码及其他数据。以下指令提供对其的访问。

  • vmrs(APSR_nzcv, FPSCR)

将浮点N、Z、C、V标志移动到APSR N、Z、C、V标志中。

这是在诸如FPU比对之类的指令后完成的，从而使条件代码可由汇编代码进行测试。以下为该指令的更一般形式。

  • vmrs(Rd, FPSCR) Rd = FPSCR

10.4. 在FPU寄存器和内存间移动

  • vldr(Sd, [Rn, offset]) Sd = [Rn + offset]

  • vstr(Sd, [Rn, offset]) [Rn + offset] = Sd

其中 [Rn + offset] 表示通过将Rn添加到偏移量获得的存储器地址。其单位为字节。由于每个浮点值占用一个32位字，因此在访问浮点数组时，偏移量须始终为4字节的倍数。

10.5. 数据对比

  • vcmp(Sd, Sm)

比对Sd和Sm中的值，并设定FPU N、Z、C、V标志。这之后通常有 vmrs(APSR_nzcv, FPSCR) 来启用待检测的结果。

10.6. 整数和浮点数之间的转换

  • vcvt_f32_s32(Sd, Sm) Sd = float(Sm)

  • vcvt_s32_f32(Sd, Sm) Sd = int(Sm)