Lines Matching defs:orig_d
1634 _test_double_fp16_values(double orig_d)
1639 if (orig_d > 0x7FFF) {
1644 first_fp16 = double_to_fp1616(orig_d);
1654 * printf("FP16: original double: %f first fp16: %s, re-encoded double: %f, final fp16: %s\n", orig_d, first_fp16_s, final_d, final_fp16_s);
1659 assert(final_d > orig_d - 0.1);
1660 assert(final_d < orig_d + 0.1);
1664 if (orig_d > 0)
1665 _test_double_fp16_values(-orig_d);
1669 _test_double_fp32_values(double orig_d)
1674 if (orig_d > 0x7FFFFFFF) {
1679 first_fp32 = double_to_fp3232(orig_d);
1689 * printf("FP32: original double: %f first fp32: %s, re-encoded double: %f, final fp32: %s\n", orig_d, first_fp32_s, final_d, final_fp32_s);
1694 assert(final_d > orig_d - 0.1);
1695 assert(final_d < orig_d + 0.1);
1699 if (orig_d > 0)
1700 _test_double_fp32_values(-orig_d);