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