float32_le
int AEABI_FUNC2(fcmple, float32, float32_le)
int AEABI_FUNC2_REV(fcmpge, float32, float32_le)
int float32_le( float32, float32 );
int float32_le( float32, float32 );
int float32_le( float32, float32 );
int float32_le( float32, float32 );
return float32_le(b, a) - 1;
return 1 - float32_le(a, b);
!!!flag float32_le( float32, float32 );
time_ab_float32_z_flag( float32_le );