test_az_floatx80
void test_az_floatx80( floatx80 ( floatx80 ), floatx80 ( floatx80 ) );
test_az_floatx80( floatx80_round_to_int, syst_floatx80_round_to_int );
test_az_floatx80( floatx80_sqrt, syst_floatx80_sqrt );