1 /* $NetBSD: __aeabi_fcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $ */
4 * Written by Ben Harris, 2000. This file is in the Public Domain.
7 #include "softfloat-for-gcc.h"
11 #include <sys/cdefs.h>
12 #if defined(LIBC_SCCS) && !defined(lint)
13 __RCSID("$NetBSD: __aeabi_fcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $");
14 #endif /* LIBC_SCCS and not lint */
16 int __aeabi_fcmpge(float32
, float32
);
19 __aeabi_fcmpge(float32 a
, float32 b
)
22 return !float32_lt(a
, b
) && float32_eq(a
, a
) && float32_eq(b
, b
);