Lines Matching refs:f80
44 static void convert_f80le_to_f64le_HW ( /*IN*/UChar* f80, /*OUT*/UChar* f64 ) in convert_f80le_to_f64le_HW() argument
48 : "r" (&f80[0]), "r" (&f64[0]) in convert_f80le_to_f64le_HW()
52 static void convert_f64le_to_f80le_HW ( /*IN*/UChar* f64, /*OUT*/UChar* f80 ) in convert_f64le_to_f80le_HW() argument
56 : "r" (&f64[0]), "r" (&f80[0]) in convert_f64le_to_f80le_HW()
103 static void convert_f64le_to_f80le ( /*IN*/UChar* f64, /*OUT*/UChar* f80 ) in convert_f64le_to_f80le() argument
130 f80[9] = toUChar( sign << 7 ); in convert_f64le_to_f80le()
131 f80[8] = f80[7] = f80[6] = f80[5] = f80[4] in convert_f64le_to_f80le()
132 = f80[3] = f80[2] = f80[1] = f80[0] = 0; in convert_f64le_to_f80le()
153 write_bit_array( f80, j, in convert_f64le_to_f80le()
161 f80[9] = toUChar( (sign << 7) | ((bexp >> 8) & 0xFF) ); in convert_f64le_to_f80le()
162 f80[8] = toUChar( bexp & 0xFF ); in convert_f64le_to_f80le()
178 f80[9] = toUChar( (sign << 7) | 0x7F ); in convert_f64le_to_f80le()
179 f80[8] = 0xFF; in convert_f64le_to_f80le()
180 f80[7] = 0x80; in convert_f64le_to_f80le()
181 f80[6] = f80[5] = f80[4] = f80[3] in convert_f64le_to_f80le()
182 = f80[2] = f80[1] = f80[0] = 0; in convert_f64le_to_f80le()
196 f80[9] = toUChar( (sign << 7) | 0x7F ); in convert_f64le_to_f80le()
197 f80[8] = 0xFF; in convert_f64le_to_f80le()
198 f80[7] = 0xFF; in convert_f64le_to_f80le()
199 f80[6] = f80[5] = f80[4] = f80[3] in convert_f64le_to_f80le()
200 = f80[2] = f80[1] = f80[0] = 0xFF; in convert_f64le_to_f80le()
205 f80[9] = toUChar( (sign << 7) | 0x7F ); in convert_f64le_to_f80le()
206 f80[8] = 0xFF; in convert_f64le_to_f80le()
207 f80[7] = 0x7F; in convert_f64le_to_f80le()
208 f80[6] = f80[5] = f80[4] = f80[3] in convert_f64le_to_f80le()
209 = f80[2] = f80[1] = f80[0] = 0xFF; in convert_f64le_to_f80le()
219 f80[9] = toUChar( (sign << 7) | ((bexp >> 8) & 0xFF) ); in convert_f64le_to_f80le()
220 f80[8] = toUChar( bexp & 0xFF ); in convert_f64le_to_f80le()
221 f80[7] = toUChar( (1 << 7) | ((f64[6] << 3) & 0x78) in convert_f64le_to_f80le()
223 f80[6] = toUChar( ((f64[5] << 3) & 0xF8) | ((f64[4] >> 5) & 7) ); in convert_f64le_to_f80le()
224 f80[5] = toUChar( ((f64[4] << 3) & 0xF8) | ((f64[3] >> 5) & 7) ); in convert_f64le_to_f80le()
225 f80[4] = toUChar( ((f64[3] << 3) & 0xF8) | ((f64[2] >> 5) & 7) ); in convert_f64le_to_f80le()
226 f80[3] = toUChar( ((f64[2] << 3) & 0xF8) | ((f64[1] >> 5) & 7) ); in convert_f64le_to_f80le()
227 f80[2] = toUChar( ((f64[1] << 3) & 0xF8) | ((f64[0] >> 5) & 7) ); in convert_f64le_to_f80le()
228 f80[1] = toUChar( ((f64[0] << 3) & 0xF8) ); in convert_f64le_to_f80le()
229 f80[0] = toUChar( 0 ); in convert_f64le_to_f80le()
244 static void convert_f80le_to_f64le ( /*IN*/UChar* f80, /*OUT*/UChar* f64 ) in convert_f80le_to_f64le() argument
250 sign = toUChar((f80[9] >> 7) & 1); in convert_f80le_to_f64le()
251 bexp = (((UInt)f80[9]) << 8) | (UInt)f80[8]; in convert_f80le_to_f64le()
273 (f80[7] & 0x7F) == 0 in convert_f80le_to_f64le()
274 && f80[6] == 0 && f80[5] == 0 && f80[4] == 0 in convert_f80le_to_f64le()
275 && f80[3] == 0 && f80[2] == 0 && f80[1] == 0 in convert_f80le_to_f64le()
276 && f80[0] == 0 in convert_f80le_to_f64le()
279 if (0 == (f80[7] & 0x80)) in convert_f80le_to_f64le()
296 if (f80[8] & 0x40) { in convert_f80le_to_f64le()
317 if (0 == (f80[7] & 0x80)) { in convert_f80le_to_f64le()
362 read_bit_array ( f80, i ) ); in convert_f80le_to_f64le()
365 if (read_bit_array(f80, 10+1 - bexp) == 1) in convert_f80le_to_f64le()
379 f64[0] = toUChar( (f80[1] >> 3) | (f80[2] << 5) ); in convert_f80le_to_f64le()
380 f64[1] = toUChar( (f80[2] >> 3) | (f80[3] << 5) ); in convert_f80le_to_f64le()
381 f64[2] = toUChar( (f80[3] >> 3) | (f80[4] << 5) ); in convert_f80le_to_f64le()
382 f64[3] = toUChar( (f80[4] >> 3) | (f80[5] << 5) ); in convert_f80le_to_f64le()
383 f64[4] = toUChar( (f80[5] >> 3) | (f80[6] << 5) ); in convert_f80le_to_f64le()
384 f64[5] = toUChar( (f80[6] >> 3) | (f80[7] << 5) ); in convert_f80le_to_f64le()
386 f64[6] = toUChar( ((bexp << 4) & 0xF0) | ((f80[7] >> 3) & 0x0F) ); in convert_f80le_to_f64le()
392 if (f80[1] & 4) /* read_bit_array(f80, 10) == 1) */ { in convert_f80le_to_f64le()
401 if ((f80[1] & 0xF) == 4/*0100b*/ && f80[0] == 0) in convert_f80le_to_f64le()
431 static void show_f80 ( UChar* f80 ) in show_f80() argument
434 printf("%d ", read_bit_array(f80, 79)); in show_f80()
437 printf("%d", read_bit_array(f80, i)); in show_f80()
439 printf(" %d ", read_bit_array(f80, 63)); in show_f80()
442 printf("%d", read_bit_array(f80, i)); in show_f80()
465 int do_80_to_64_test ( Int test_no, UChar* f80, UChar* f64h, UChar* f64s) in do_80_to_64_test() argument
470 convert_f80le_to_f64le_HW(f80, f64h); in do_80_to_64_test()
471 convert_f80le_to_f64le(f80, f64s); in do_80_to_64_test()
490 printf("f80: "); show_f80(f80); printf("\n"); in do_80_to_64_test()
495 test_no, *(long double*)f80, in do_80_to_64_test()
551 UChar* f80 = malloc(10); in do_80_to_64_tests() local
560 f80[j] = (random() >> 7) & 255; in do_80_to_64_tests()
562 fails += do_80_to_64_test(tests, f80, f64h, f64s); in do_80_to_64_tests()
573 f80[i] = 0; in do_80_to_64_tests()
576 f80[9] = b9; in do_80_to_64_tests()
577 f80[8] = b8; in do_80_to_64_tests()
578 f80[7] = b7; in do_80_to_64_tests()
580 fails += do_80_to_64_test(tests, f80, f64h, f64s); in do_80_to_64_tests()