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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dfloat3.c17 static double floating_2(long double a, double b, float c) function
65 floating_2 (ld, d, f);
67 ffi_call(&cif, FFI_FN(floating_2), &rd, values);
69 CHECK(rd - floating_2(ld, d, f) < DBL_EPSILON);

Completed in 23 milliseconds