1 /* $NetBSD: __aeabi_fcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $ */
2 
3 /*
4  * Written by Ben Harris, 2000.  This file is in the Public Domain.
5  */
6 
7 #include "softfloat-for-gcc.h"
8 #include "milieu.h"
9 #include "softfloat.h"
10 
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 */
15 
16 int __aeabi_fcmpge(float32, float32);
17 
18 int
__aeabi_fcmpge(float32 a,float32 b)19 __aeabi_fcmpge(float32 a, float32 b)
20 {
21 
22 	return !float32_lt(a, b) && float32_eq(a, a) && float32_eq(b, b);
23 }
24