Compiler/MSP430F249-EP: fs_add library in DO-178 Context MSP430F249-EP

JNo78

Part Number: MSP430F249-EP

Tool/software: TI C/C++ Compiler

Hello,

We use MSP430-F249-EP in project with D0-178C standard with TEXAS compiler (4.3.3) and then I'm working on test of floating point libraries and I have a problem for fs_add subroutine.

With this standard, I need to demonstrate that all conditions become TRUE then FALSE:

For one of the branch instruction (JL UNDERFLOW line 336) I don't succeed to create a addition to generate a branch to UNERFLOW label with instruction line 336.

Somebody can help me ?

over 6 years ago

0 Archaeologist over 6 years ago

TI__Guru* 84225 points

Try this:

#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 is denormal */
    printf("%e\n", c);
}