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