11.2Smatt/* $NetBSD: __aeabi_dcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $ */
21.1Smatt
31.1Smatt/*
41.1Smatt * Written by Ben Harris, 2000.  This file is in the Public Domain.
51.1Smatt */
61.1Smatt
71.1Smatt#include "softfloat-for-gcc.h"
81.1Smatt#include "milieu.h"
91.1Smatt#include "softfloat.h"
101.1Smatt
111.1Smatt#include <sys/cdefs.h>
121.1Smatt#if defined(LIBC_SCCS) && !defined(lint)
131.2Smatt__RCSID("$NetBSD: __aeabi_dcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $");
141.1Smatt#endif /* LIBC_SCCS and not lint */
151.1Smatt
161.1Smattint __aeabi_dcmpge(float64, float64);
171.1Smatt
181.1Smattint
191.1Smatt__aeabi_dcmpge(float64 a, float64 b)
201.1Smatt{
211.1Smatt
221.2Smatt	return !float64_lt(a, b) && float64_eq(a, a) && float64_eq(b, b);
231.1Smatt}
24