4472dbe5e3
mostly-MI floating-point implementation for use by gcc -msoft-float. It's currently only used by arm26, but should be usable by other ports without too much hacking, assuming doubles and u_int64_ts are passed and returned the same way, and FP formats are IEEEish.
25 lines
519 B
C
25 lines
519 B
C
/* $NetBSD: ledf2.c,v 1.1 2000/06/06 08:15:06 bjh21 Exp $ */
|
|
|
|
/*
|
|
* Written by Ben Harris, 2000. This file is in the Public Domain.
|
|
*/
|
|
|
|
#include "softfloat-for-gcc.h"
|
|
#include "milieu.h"
|
|
#include "softfloat.h"
|
|
|
|
#include <sys/cdefs.h>
|
|
#if defined(LIBC_SCCS) && !defined(lint)
|
|
__RCSID("$NetBSD: ledf2.c,v 1.1 2000/06/06 08:15:06 bjh21 Exp $");
|
|
#endif /* LIBC_SCCS and not lint */
|
|
|
|
flag __ledf2(float64, float64);
|
|
|
|
flag
|
|
__ledf2(float64 a, float64 b)
|
|
{
|
|
|
|
/* libgcc1.c says 1 - (a <= b) */
|
|
return 1 - float64_le(a, b);
|
|
}
|