This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

[参考译文] 编译器/MSP430F249-EP:在DO-178上下文中的FS_add库MSP430F249-EP

Guru**** 2595945 points


请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

https://e2e.ti.com/support/tools/code-composer-studio-group/ccs/f/code-composer-studio-forum/622961/compiler-msp430f249-ep-fs_add-library-in-do-178-context-msp430f249-ep

部件号:MSP430F249-EP

工具/软件:TI C/C++编译器

您好,

我们在项目中使用MSP430-F249-EP,并将D0-178C标准与德克萨斯编译器(4.3 .3)配合使用 ,然后我正在测试浮点库,我遇到了FS_add子例程的问题。

使用此标准时,我需要证明所有条件都是正确的,然后是错误的:

对于其中一个分支指令(JL下溢行336),我没有成功创建一个附加项来生成带有指令行336的UNERFLOW标签的分支。

有人可以帮助我吗?

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    请尝试以下操作:

    #include <stdio.h>
    #include <float.h>
    
    volatile float a, b, c;
    int main()
    {
    A = FLT_MIN * 1.125 ;
    B =-FLT_MIN;
    c = a + b;/* c为非正常*/
    printf("%e\n", c);
    }
    
  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    感谢您的快速回答,但是我已经尝试过这种测试(FLT_MIN + Delta)- FLT_MIN,但未成功涵盖JL UNDEFLOW LINE 336:

  • 请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。

    有人能帮我吗?