[src/trunk]: src/lib/libc/arch/arm/softfloat aeabi floating compare ops are d...

[matt <matt%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/c0a90e55ca08
branches:  trunk
changeset: 786119:c0a90e55ca08
user:      matt <matt%NetBSD.org@localhost>
date:      Tue Apr 16 10:37:39 2013 +0000

description:
aeabi floating compare ops are different from the normal gcc softfloat ones.

diffstat:

 lib/libc/arch/arm/softfloat/__aeabi_dcmpeq.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_dcmpge.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_dcmpgt.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_dcmple.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_dcmplt.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_dcmpun.c |  28 ++++++++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_fcmpeq.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_fcmpge.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_fcmpgt.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_fcmple.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_fcmplt.c |  23 +++++++++++++++++++++++
 lib/libc/arch/arm/softfloat/__aeabi_fcmpun.c |  28 ++++++++++++++++++++++++++++
 12 files changed, 286 insertions(+), 0 deletions(-)

diffs (truncated from 334 to 300 lines):

diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_dcmpeq.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_dcmpeq.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_dcmpeq.c,v 1.1 2013/04/16 10:37:39 matt Exp $ */
+
+/*
+ * Written by Ben Harris, 2000.  This file is in the Public Domain.
+ */
+
+#include <sys/cdefs.h>
+#if defined(LIBC_SCCS) && !defined(lint)
+__RCSID("$NetBSD: __aeabi_dcmpeq.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+#include "softfloat-for-gcc.h"
+#include "milieu.h"
+#include "softfloat.h"
+
+int __aeabi_dcmpeq(float64, float64);
+
+int
+__aeabi_dcmpeq(float64 a, float64 b)
+{
+
+       return float64_eq(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_dcmpge.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_dcmpge.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_dcmpge.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_dcmpge.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_dcmpge(float64, float64);
+
+int
+__aeabi_dcmpge(float64 a, float64 b)
+{
+
+       return !float64_lt(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_dcmpgt.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_dcmpgt.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_dcmpgt.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_dcmpgt.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_dcmpgt(float64, float64);
+
+int
+__aeabi_dcmpgt(float64 a, float64 b)
+{
+
+       return !float64_le(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_dcmple.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_dcmple.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_dcmple.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_dcmple.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_dcmple(float64, float64);
+
+int
+__aeabi_dcmple(float64 a, float64 b)
+{
+
+       return float64_le(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_dcmplt.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_dcmplt.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_dcmplt.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_dcmplt.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_dcmplt(float64, float64);
+
+int
+__aeabi_dcmplt(float64 a, float64 b)
+{
+
+       return float64_lt(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_dcmpun.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_dcmpun.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,28 @@
+/* $NetBSD: __aeabi_dcmpun.c,v 1.1 2013/04/16 10:37:39 matt Exp $ */
+
+/*
+ * Written by Richard Earnshaw, 2003.  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: __aeabi_dcmpun.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_dcmpun(float64, float64);
+
+int
+__aeabi_dcmpun(float64 a, float64 b)
+{
+       /*
+        * The comparison is unordered if either input is a NaN.
+        * Test for this by comparing each operand with itself.
+        * We must perform both comparisons to correctly check for
+        * signalling NaNs.
+        */
+       return !float64_eq(a, a) || !float64_eq(b, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_fcmpeq.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_fcmpeq.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_fcmpeq.c,v 1.1 2013/04/16 10:37:39 matt Exp $ */
+
+/*
+ * Written by Ben Harris, 2000.  This file is in the Public Domain.
+ */
+
+#include <sys/cdefs.h>
+#if defined(LIBC_SCCS) && !defined(lint)
+__RCSID("$NetBSD: __aeabi_fcmpeq.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+#include "softfloat-for-gcc.h"
+#include "milieu.h"
+#include "softfloat.h"
+
+int __aeabi_fcmpeq(float32, float32);
+
+int
+__aeabi_fcmpeq(float32 a, float32 b)
+{
+
+       return float32_eq(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_fcmpge.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_fcmpge.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_fcmpge.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_fcmpge.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_fcmpge(float32, float32);
+
+int
+__aeabi_fcmpge(float32 a, float32 b)
+{
+
+       return !float32_lt(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_fcmpgt.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_fcmpgt.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_fcmpgt.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_fcmpgt.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_fcmpgt(float32, float32);
+
+int
+__aeabi_fcmpgt(float32 a, float32 b)
+{
+
+       return !float32_le(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_fcmple.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_fcmple.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_fcmple.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_fcmple.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_fcmple(float32, float32);
+
+int
+__aeabi_fcmple(float32 a, float32 b)
+{
+
+       return float32_le(a, b);
+}
diff -r 1d4b54b6cbfa -r c0a90e55ca08 lib/libc/arch/arm/softfloat/__aeabi_fcmplt.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/libc/arch/arm/softfloat/__aeabi_fcmplt.c      Tue Apr 16 10:37:39 2013 +0000
@@ -0,0 +1,23 @@
+/* $NetBSD: __aeabi_fcmplt.c,v 1.1 2013/04/16 10:37:39 matt 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: __aeabi_fcmplt.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
+#endif /* LIBC_SCCS and not lint */
+
+int __aeabi_fcmplt(float32, float32);
+
+int
+__aeabi_fcmplt(float32 a, float32 b)
+{
+