如何在Micropython汇编语言中测试浮点寄存器的符号

Question

我正在学习MicroPython的汇编程序（用于PyBoard的ARM Thumb2指令集）。

有没有更快的方法来检查FPU寄存器（s0）的符号（正/负）？

@micropython.asm_thumb
def float_array_abs(r0, r1):
    label(LOOP)
    vldr(s0, [r0, 0])
    vmov(r2, s0)         # 1
    cmp(r2, 0)           # 2
    itt(mi)              # 3
    vneg(s0, s0)
    vstr(s0, [r0, 0])
    add(r0, 4)
    sub(r1, 1)
    bgt(LOOP)

这有效，但它似乎不是'正确'的解决方案（不确定r2的标志总是与s0的标志相符），我怀疑它必须在不到两个指令中可行。

更新1：

根据评论（谢谢），我进一步提高了代码的速度：

@micropython.asm_thumb
def float_array_abs1(r0, r1):
    label(LOOP)
    ldr(r2, [r0, 0])
    cmp(r2, 0)         # this works for some reason
    bge(SKIP)
    vmov(s0, r2)
    vneg(s0, s0)
    vstr(s0, [r0, 0])  # this can be skipped if not negative
    label(SKIP)
    add(r0, 4)
    sub(r1, 1)
    bgt(LOOP)

但它仍然存在一个问题，这是一种确定FP值符号的可靠方法吗？

这里参考我系统上四个浮点值的字节表示：

-1.0 0xbf800000
-0.0 0x80000000
 0.0 0x00000000
 1.0 0x3f800000

我想如果这是硬件依赖的那么我不应该依靠它来确定标志......

我认为这可能是“正确”的方式（即适当的FPU比较）：

def float_array_abs2(r0, r1):
    mov(r2, 0)
    vmov(s1, r2)
    label(LOOP)
    vldr(s0, [r0, 0])
    vcmp(s0, s1)
    vmrs(APSR_nzcv, FPSCR)
    itt(mi)
    vneg(s0, s0)
    vstr(s0, [r0, 0])
    add(r0, 4)
    sub(r1, 1)
    bgt(LOOP)

但是我计时了，它比上面的代码慢了11％（float_array_abs1）。因此，如果它是一个可靠的解决方案，那么使用早期的代码会更好。

更新2：

@ Ped7g提出了方法and 0x7FFFFFFF（见评论）。

我测试了它，它确实有效。这是代码：

@micropython.asm_thumb
def float_array_abs3(r0, r1):
    movwt(r3, 0x7FFFFFFF)
    label(LOOP)
    ldr(r2, [r0, 0])
    and_(r2, r3)
    str(r2, [r0, 0])
    add(r0, 4)
    sub(r1, 1)
    bgt(LOOP)

更正：它比上面的float_array_abs1更快。这似乎是最好的解决方案，但它是否健壮？