ARM架构下浮点数奇偶性测试及VTST.F32指令报错咨询

嘿，刚好碰到过类似的场景，我来给你拆解下问题所在和解决方案！

首先直接说结论：ARM的VFP/NEON指令集里根本没有VTST.F32这个指令，这就是你编译报错的核心原因——这个操作码完全不存在，不管你选什么目标CPU都没用。

为什么会这样？因为TST是针对整数的位测试指令，它的逻辑是测试寄存器的某一位（比如最低位判断奇偶），但浮点数是按IEEE754标准存储的，它的二进制位布局和整数完全不同，直接对浮点寄存器做位测试没有意义（比如浮点数的最低位和数值的奇偶性没有直接对应关系）。

那要实现你的需求（判断浮点数的奇偶性，奇数设负、偶数设正），正确的思路是先把浮点数转换成整数，再用整数指令处理奇偶判断，最后再调整浮点数的符号。具体步骤和示例代码如下：

实现步骤 #

1. 浮点转整数：把单精度浮点数（存在S0）转成32位整数，存入通用寄存器（比如R0），用指令VCVT.S32.F32 R0, S0。注意：如果你的浮点数不是整数（比如2.5），这个指令会直接截断小数部分，如果你需要先验证是否为整数，可以额外加一步判断（后面会补充）。
2. 整数奇偶判断：用经典的TST R0, #1测试整数的最低位——如果结果的Z标志位为1，说明是偶数；Z为0则是奇数。
3. 调整浮点数符号：
   • 奇数：用VNEG.F32 S0, S0给浮点数加上负号；
   • 偶数：用VABS.F32 S0, S0确保浮点数为正（不管原来符号）。

示例代码片段 #

; 假设S0中存储着需要处理的单精度浮点数
VCVT.S32.F32 R0, S0   ; 将浮点数转换为32位整数，结果存入R0
TST R0, #1            ; 测试整数最低位，判断奇偶性
BEQ set_positive      ; 如果是偶数（Z标志位=1），跳转到设正号的分支

; 奇数分支：设置负号
VNEG.F32 S0, S0       ; 对S0中的浮点数取负
B process_end         ; 跳转到结束

set_positive:
; 偶数分支：设置正号（确保结果为正）
VABS.F32 S0, S0       ; 取浮点数的绝对值

process_end:
; 后续处理逻辑写在这里

额外补充：验证浮点数是否为整数 #

如果你的输入可能包含非整数的浮点数（比如2.3），需要先判断它是否是整数，再进行奇偶判断，可以在浮点转整数后加一步验证：

VCVT.S32.F32 R0, S0   ; 浮点转整数
VCVT.F32.S32 S1, R0   ; 整数转回浮点
VCMPE.F32 S0, S1      ; 比较原浮点数和转回后的浮点数是否相等
VMRS APSR_nzcv, FPSCR ; 将浮点状态寄存器的值同步到整数状态寄存器
BNE not_integer        ; 如果不相等，说明不是整数，跳转到错误处理分支

这样就能避免对非整数做无意义的奇偶判断啦。

内容的提问来源于stack exchange，提问作者Leonil Sulude