Division of two floating point numbers using __c6xabi_divf

Other Parts Discussed in Thread: TCI6638K2K

Hi,

Using the __c6xabi_divf intrisic I am trying to divide two float point numbers on TCI6638K2K(c66x compiler). Here's the code for the division below:

float a,b,c;

a = 0.5f;

b = 0.2f;

c = (float) __c6xabi_divf(5.0f,2.0f);

printf("\n intrinsic division = %f\n",c);

I am getting an output -   intrinsic division = 2147483648.000000,

But the expected output should be 2.5

What's the correct format of input and output for __c6xabi_divf API.

regards,

Sravya Keerthana