예제 #1
0
flag
__unordsf2(float32 a, float32 b)
{
	/*
	 * The comparison is unordered if either input is a NaN.
	 * Test for this by comparing each operand with itself.
	 * We must perform both comparisons to correctly check for
	 * signalling NaNs.
	 */
	return 1 ^ (float32_eq(a, a) & float32_eq(b, b));
}
예제 #2
0
flag
__eqsf2(float32 a, float32 b)
{

    /* libgcc1.c says !(a == b) */
    return !float32_eq(a, b);
}
예제 #3
0
파일: nesf2.c 프로젝트: mzp/frama-c-sample
flag
__nesf2(float32 a, float32 b)
{

	/* libgcc1.c says a != b */
	return !float32_eq(a, b);
}
예제 #4
0
uint32_t helper_fcmp_ne(uint32_t a, uint32_t b)
{
    CPU_FloatU fa, fb;
    int flags, r;

    fa.l = a;
    fb.l = b;
    set_float_exception_flags(0, &env->fp_status);
    r = !float32_eq(fa.f, fb.f, &env->fp_status);
    flags = get_float_exception_flags(&env->fp_status);
    update_fpu_flags(flags & float_flag_invalid);

    return r;
}
예제 #5
0
int
__aeabi_fcmpge(float32 a, float32 b)
{

	return !float32_lt(a, b) && float32_eq(a, a) && float32_eq(b, b);
}
예제 #6
0
int __nesf2(float32 A, float32 B)
{
	return !float32_eq(A, B);
}
예제 #7
0
int __aeabi_fcmpeq(float32 a, float32 b)
{
	return float32_eq(a, b);
}