__aeabi_fcmple
int __aeabi_fcmple(float32, float32);
int __aeabi_fcmple(float, float) __aapcs; // result (1, 0) denotes (<=, >) [2], use for C <=
