Searched refs:dbl (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dreturn_dbl.c10 static double return_dbl(double dbl) argument
12 printf ("%f\n", dbl);
13 return 2 * dbl;
20 double dbl, rdbl; local
23 values[0] = &dbl;
29 for (dbl = -127.3; dbl < 127; dbl++)
32 printf ("%f vs %f\n", rdbl, return_dbl(dbl));
33 CHECK(rdbl == 2 * dbl);
[all...]

Completed in 46 milliseconds