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
508 B
C
25 lines
508 B
C
/* $NetBSD: gtsf2.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: gtsf2.c,v 1.1 2000/06/06 08:15:06 bjh21 Exp $");
|
|
#endif /* LIBC_SCCS and not lint */
|
|
|
|
flag __gtsf2(float32, float32);
|
|
|
|
flag
|
|
__gtsf2(float32 a, float32 b)
|
|
{
|
|
|
|
/* libgcc1.c says a > b */
|
|
return float32_lt(b, a);
|
|
}
|