Symbol: __aeabi_fcmpeq