1 /* $NetBSD: __aeabi_dcmpge.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_dcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $");
14 #endif /* LIBC_SCCS and not lint */
15 
16 int __aeabi_dcmpge(float64, float64);
17 
18 int
__aeabi_dcmpge(float64 a,float64 b)19 __aeabi_dcmpge(float64 a, float64 b)
20 {
21 
22 	return !float64_lt(a, b) && float64_eq(a, a) && float64_eq(b, b);
23 }
24