The _ _DIVS_C intrinsic has the following declaration:
float __DIVS_C(float, float);
This intrinsic function returns the result of dividing the first argument by the second argument, with IEEE chopped rounding used. Both arguments and the result are in IEEE single-precision format.