[参考译文] CCS/TMS570LS3137：SDSCM00038278 - ARM 浮点转换例程不支持 NaN

尊敬的乔治：

非常感谢您的回答。

我们尝试根据您的输入(通过浮点至双精度转换)重现此问题、但我们未能这样做。 请告诉我们如何模拟问题(提供一些代码片段)。

伪代码1：

双 y；

y = 0.0f / 0.0

在调试窗口中：

 Y = NaN

内存浏览器：

0x08001330  7FF80000

伪代码2：

浮点 x；

双 y；

x = 0.0f/0.0f

y =(双精度) x；

在调试窗口中：

 X = NaN

 Y = NaN

内存浏览器：

(x) 0x08001328  7FC00000

(Y) 0x08001330  7FF80000

注：请注意 x 和 y 的 NaN 的不同数字存储器表示；

我们在项目计划中选择了编译器版本5.1.6，因此无法中间更改编译器版本。 根据您的输入、此问题适用于此编译器版本(5.1.6)、  我们只想包含更新的 CRTL 库函数、而不是修改不同的编译器版本。 请告诉我们在哪里可以获得更新的 CRTL 库函数。

谢谢、

Subash

0/0未定义、编译器可以返回所需的任何值、NaN 或无穷大。 您可以自由地检查0/0并提供您认为合适的任何答案。

您正在描述 CodeGen-831、也称为 SDSCM00049912。  以下是一个测试案例、展示了错误的行为：

/* armcl --abi=eabi CQ49912.c -z -llnk.cmd */
#include
#include
#include

int main()
｛
   易失性浮点 y = NaN；

   断言(isnan ((double) y))；
｝

我仍然无法重现问题、  

我已经测试了以下情况、但两者都产生相同的结果、换句话说、在这两种情况下、程序控制跳转到下一条指令 、即 x = x + 1；

/*场景-1 */

/* armcl --abi=eabi CQ49912.c -z -llnk.cmd */
#include
#include
#include

int main()
｛
   易失性浮点 y = NaN；

  int x；  

   断言(isnan ((double) y))；

  x = x + 1；
｝

/*场景-2 */

/* armcl --abi=eabi CQ49912.c -z -llnk.cmd */
#include
#include
#include

int main()
｛
   volatile double y = NaN；

  int x；  

   断言(isnan(y)；

  x = x + 1；
｝

PS：我们希望在 旧的编译器版本5.1.6中包含更新的编译器 CRTL 函数。 请向我们提供最新的编译器 CRTL 库。