--- /dev/null
+/* $NetBSD: __aeabi_dcmpgt.c,v 1.2 2013/04/16 13:38:34 matt Exp $ */\r
+\r
+/** @file\r
+*\r
+* Copyright (c) 2013 - 2014, ARM Limited. All rights reserved.\r
+*\r
+* This program and the accompanying materials\r
+* are licensed and made available under the terms and conditions of the BSD License\r
+* which accompanies this distribution. The full text of the license may be found at\r
+* http://opensource.org/licenses/bsd-license.php\r
+*\r
+* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+*\r
+**/\r
+\r
+/*\r
+ * Written by Ben Harris, 2000. This file is in the Public Domain.\r
+ */\r
+\r
+#include "softfloat-for-gcc.h"\r
+#include "milieu.h"\r
+#include "softfloat.h"\r
+\r
+#include <sys/cdefs.h>\r
+#if defined(LIBC_SCCS) && !defined(lint)\r
+__RCSID("$NetBSD: __aeabi_dcmpgt.c,v 1.2 2013/04/16 13:38:34 matt Exp $");\r
+#endif /* LIBC_SCCS and not lint */\r
+\r
+int __aeabi_dcmpgt(float64, float64);\r
+\r
+int\r
+__aeabi_dcmpgt(float64 a, float64 b)\r
+{\r
+\r
+ return !float64_le(a, b) && float64_eq(a, a) && float64_eq(b, b);\r
+}\r