Searched defs:f64h (Results 1 - 1 of 1) sorted by relevance
/external/valgrind/main/VEX/useful/ |
H A D | fp_80_64.c | 465 int do_80_to_64_test ( Int test_no, UChar* f80, UChar* f64h, UChar* f64s) argument 470 convert_f80le_to_f64le_HW(f80, f64h); 474 if (f64s[k] != f64h[k]) { 483 sprintf(buf64h, "%.16e", *(double*)f64h); 491 printf("f64h: "); show_f64le(f64h); printf("\n"); 549 UChar* f64h = malloc(8); local 562 fails += do_80_to_64_test(tests, f80, f64h, f64s); 575 f64h[i] = f64s[i] = 0; 580 fails += do_80_to_64_test(tests, f80, f64h, f64 [all...] |
Completed in 220 milliseconds