flag __gtdf2(float64 a, float64 b) { /* libgcc1.c says a > b */ return float64_lt(b, a); }
flag __ltdf2(float64 a, float64 b) { /* libgcc1.c says -(a < b) */ return -float64_lt(a, b); }
int __aeabi_dcmpge(float64 a, float64 b) { return !float64_lt(a, b) && float64_eq(a, a) && float64_eq(b, b); }
int __ltdf2(float64 A, float64 B) { return -float64_lt(A, B); }
int __gtdf2(float64 A, float64 B) { return float64_lt(A, B); }
int __aeabi_dcmplt(float64 a, float64 b) { return float64_lt(a, b); }