__aeabi_dcmple
int __aeabi_dcmple(float64, float64);
int __aeabi_dcmple(double, double) __aapcs; // result (1, 0) denotes (<=, >) [2], use for C <=