Searched refs:si1 (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | float.c | 28 signed int si1; local
33 values[0] = &si1;
45 si1 = 6;
50 floating (si1, f, d, ld);
54 printf ("%d vs %d\n", (int)rint, floating (si1, f, d, ld));
56 CHECK((int)rint == floating(si1, f, d, ld));
|
Completed in 27 milliseconds