STmove 发表于 昨天 00:04

浮点数逻辑运算(比大小)错误,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模式下的输出是正常的。

王昱顺 发表于 昨天 15:13



不使用8bit的tfpu库即可
应该是tfpu库中出现了纰漏,稍后我们检查修复
目前可以先屏蔽掉或者删除这个tfpu库,即可实现正常的判断

STmove 发表于 昨天 16:11

王昱顺 发表于 2025-10-15 15:13
不使用8bit的tfpu库即可
应该是tfpu库中出现了纰漏,稍后我们检查修复
目前可以先屏蔽掉或者删除这个tfpu ...

嗯嗯,刚刚我也测出来了,就是8bit的TFPU库有问题,跟其他因素应该无关

STmove 发表于 昨天 16:16


这是我刚刚的测试结果,另外还发现了32Bit模式下,双large模式编译会报错;还有,设置主时钟为44.2368MHz时,USB模块不工作。什么bug发掘圣体......
哦,对了,以上所有测试都是使用AICube生成的工程。

zhp 发表于 昨天 17:10

测试发现是由于Keil的8051和80251,对于浮点数比较函数C?FPCMP,R0~R7参数规范不一致导致的
硬件的浮点运算本身没问题

80251的C?FPCMP,R0~R3存放比较值(相比较的后面的数),R4~R7存放被比较值(相比较的前面的数)
8051的C?FPCMP,R4~R7存放比较值(相比较的后面的数),R0~R3存放被比较值(相比较的前面的数),正好和80251相反
如下图:


后续我们需要更新一下8位的TFPU库就可以了

STmove 发表于 昨天 17:36

zhp 发表于 2025-10-15 17:10
测试发现是由于Keil的8051和80251,对于浮点数比较函数C?FPCMP,R0~R7参数规范不一致导致的
硬件的浮点运算 ...

哦,怪不得,输出的结果正好是反过来的!
然后再请教一下,现在是只要在AICube里启用TPFU和MDU32库,在代码里的浮点数和三角函数相关运算,就会自动调用对应的硬件TPFU和DPU32模块么?以前很少使用库函数编程,见笑了

zhp 发表于 昨天 17:51

STmove 发表于 2025-10-15 17:36
哦,怪不得,输出的结果正好是反过来的!
然后再请教一下,现在是只要在AICube里启用TPFU和MDU32库,在代 ...

是的,只要包含了TFPU和MDU32的库,Keil编译时就会自动调用

比如浮点数比较,keil有默认的C?FPCMP函数实现浮点数比较
如果我们自己重写相同函数名称C?FPCMP的代码,Keil就会优先调用我们自己写的库

STmove 发表于 昨天 18:21

zhp 发表于 2025-10-15 17:51
是的,只要包含了TFPU和MDU32的库,Keil编译时就会自动调用

比如浮点数比较,keil有默认的C?FPCMP函数实 ...

感谢解惑!
页: [1]
查看完整版本: 浮点数逻辑运算(比大小)错误,100%复现,求大神帮忙看看怎么回事