浮点数逻辑运算(比大小)错误,100%复现,求大神帮忙看看怎么回事
硬件:AI8051U-34K64配置:8Bit模式,链接器LX51,存储器和代码大小模式都是Large,工程由STC-AICube生成
开发环境:keil V5.27.1.0
代码:
void main(void)
{
float tempf;
SYS_Init();
while (1)
{
WDT_Clear(); //清看门狗定时器
USBLIB_OUT_Done(); //查询方式处理USB接收的数据
if(!P32){
delay_ms(6);
if(!P32){
USB_Send_str("\n\n float比大小测试:",USB_TX_NOTEND);
USB_Send_str("\n (11.34>=0):",USB_TX_NOTEND);
tempf = 11.34f;
if(tempf>=0) USB_Send_str("True",USB_TX_NOTEND);
else USB_Send_str("False",USB_TX_NOTEND);
USB_Send_str("\n (-11.34>=0):",USB_TX_NOTEND);
tempf = -11.34f;
if(tempf>=0) USB_Send_str("True",USB_TX_NOTEND);
else USB_Send_str("False",USB_TX_END);
while(!P32);
}
}
}
}
输出:
float比大小测试:
(11.34>=0):False
(-11.34>=0):True
附件是我用AICube新生成的工程,只在main.c里加了USB_Send_str发送函数和上述测试代码;压缩包里也包含AICube配置文件。
此问题已在我手头多个开发板上稳定复现,另外:
1.把0改为±11.33以内的整数或浮点数都不影响输出,总是反过来的。
2.此代码在同样的平台上,32Bit模式下的输出是正常的。
不使用8bit的tfpu库即可
应该是tfpu库中出现了纰漏,稍后我们检查修复
目前可以先屏蔽掉或者删除这个tfpu库,即可实现正常的判断
王昱顺 发表于 2025-10-15 15:13
不使用8bit的tfpu库即可
应该是tfpu库中出现了纰漏,稍后我们检查修复
目前可以先屏蔽掉或者删除这个tfpu ...
嗯嗯,刚刚我也测出来了,就是8bit的TFPU库有问题,跟其他因素应该无关
这是我刚刚的测试结果,另外还发现了32Bit模式下,双large模式编译会报错;还有,设置主时钟为44.2368MHz时,USB模块不工作。什么bug发掘圣体......
哦,对了,以上所有测试都是使用AICube生成的工程。
测试发现是由于Keil的8051和80251,对于浮点数比较函数C?FPCMP,R0~R7参数规范不一致导致的
硬件的浮点运算本身没问题
80251的C?FPCMP,R0~R3存放比较值(相比较的后面的数),R4~R7存放被比较值(相比较的前面的数)
8051的C?FPCMP,R4~R7存放比较值(相比较的后面的数),R0~R3存放被比较值(相比较的前面的数),正好和80251相反
如下图:
后续我们需要更新一下8位的TFPU库就可以了
zhp 发表于 2025-10-15 17:10
测试发现是由于Keil的8051和80251,对于浮点数比较函数C?FPCMP,R0~R7参数规范不一致导致的
硬件的浮点运算 ...
哦,怪不得,输出的结果正好是反过来的!
然后再请教一下,现在是只要在AICube里启用TPFU和MDU32库,在代码里的浮点数和三角函数相关运算,就会自动调用对应的硬件TPFU和DPU32模块么?以前很少使用库函数编程,见笑了 STmove 发表于 2025-10-15 17:36
哦,怪不得,输出的结果正好是反过来的!
然后再请教一下,现在是只要在AICube里启用TPFU和MDU32库,在代 ...
是的,只要包含了TFPU和MDU32的库,Keil编译时就会自动调用
比如浮点数比较,keil有默认的C?FPCMP函数实现浮点数比较
如果我们自己重写相同函数名称C?FPCMP的代码,Keil就会优先调用我们自己写的库 zhp 发表于 2025-10-15 17:51
是的,只要包含了TFPU和MDU32的库,Keil编译时就会自动调用
比如浮点数比较,keil有默认的C?FPCMP函数实 ...
感谢解惑!
页:
[1]