Searched refs:rdbl (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | return_dbl.c | 20 double dbl, rdbl; local
31 ffi_call(&cif, FFI_FN(return_dbl), &rdbl, values);
32 printf ("%f vs %f\n", rdbl, return_dbl(dbl));
33 CHECK(rdbl == 2 * dbl);
|
| H A D | return_dbl1.c | 19 double dbl1, dbl4, rdbl; local
39 ffi_call(&cif, FFI_FN(return_dbl), &rdbl, values);
40 printf ("%f vs %f\n", rdbl, return_dbl(dbl1, fl2, in3, dbl4));
41 CHECK(rdbl == dbl1 + fl2 + in3 + dbl4);
|
| H A D | return_dbl2.c | 19 double dbl1, dbl2, dbl4, rdbl; local
38 ffi_call(&cif, FFI_FN(return_dbl), &rdbl, values);
39 printf ("%f vs %f\n", rdbl, return_dbl(dbl1, dbl2, in3, dbl4));
40 CHECK(rdbl == dbl1 + dbl2 + in3 + dbl4);
|
Completed in 80 milliseconds