1630 _test_double_fp16_values(double orig_d)  in _test_double_fp16_values()  argument
1635     if (orig_d > 0x7FFF) {  in _test_double_fp16_values()
1640     first_fp16 = double_to_fp1616(orig_d);  in _test_double_fp16_values()
1655     assert(final_d > orig_d - 0.1);  in _test_double_fp16_values()
1656     assert(final_d < orig_d + 0.1);  in _test_double_fp16_values()
1660     if (orig_d > 0)  in _test_double_fp16_values()
1661         _test_double_fp16_values(-orig_d);  in _test_double_fp16_values()
1665 _test_double_fp32_values(double orig_d)  in _test_double_fp32_values()  argument
1670     if (orig_d > 0x7FFFFFFF) {  in _test_double_fp32_values()
1675     first_fp32 = double_to_fp3232(orig_d);  in _test_double_fp32_values()
1690     assert(final_d > orig_d - 0.1);  in _test_double_fp32_values()
1691     assert(final_d < orig_d + 0.1);  in _test_double_fp32_values()
1695     if (orig_d > 0)  in _test_double_fp32_values()
1696         _test_double_fp32_values(-orig_d);  in _test_double_fp32_values()