Searched refs:ldblit (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | float2.c | 13 static long double ldblit(float f) function
39 printf ("%Lf\n", ldblit(f));
42 ffi_call(&cif, FFI_FN(ldblit), &ld, values);
48 printf ("%Lf, %Lf, %Lf, %Lf\n", ld, ldblit(f), ld - ldblit(f), LDBL_EPSILON);
52 if (ld - ldblit(f) < LDBL_EPSILON)
|
Completed in 27 milliseconds