float128_eq
flag float128_eq( float128, float128 );
int float128_eq( float128, float128 );
flag float128_eq( float128, float128 );
int float128_eq( float128, float128 );
flag float128_eq( float128, float128 );
flag float128_eq( float128, float128 );
flag float128_eq( float128, float128 );
return float128_eq(*a, *b);
return !float128_eq(*a, *b);
if (float128_eq(*a, *b))
flag float128_eq( float128, float128 );
return !float128_eq(a, b);
return !float128_eq(a, b);
!!!flag float128_eq( float128, float128 );
time_ab_float128_z_flag( float128_eq );
return 1 ^ (float128_eq(a, a) & float128_eq(b, b));
int float128_eq( float128, float128 );
test_ab_float128_z_flag( float128_eq, syst_float128_eq );
int float128_eq( float128, float128 );