float128_add
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
*c = float128_add(*c, *c);
*c = float128_add(*c, __sf128_one);
*c = float128_add(*a, *b);
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
time_abz_float128( float128_add );
float128 float128_add( float128, float128 );
test_abz_float128( float128_add, syst_float128_add );
float128 float128_add( float128, float128 );