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