1/* $NetBSD: __aeabi_dcmpge.c,v 1.1 2013/04/16 10:37:39 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.1 2013/04/16 10:37:39 matt Exp $");
14#endif /* LIBC_SCCS and not lint */
15
16int __aeabi_dcmpge(float64, float64);
17
18int
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