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