ArmPkg: factor out softfloat support from StdLib/LibC/SoftFloat

[mirror_edk2.git] / ArmPkg / Library / ArmSoftFloatLib / Arm / __aeabi_fcmpge.c

diff --git a/ArmPkg/Library/ArmSoftFloatLib/Arm/__aeabi_fcmpge.c b/ArmPkg/Library/ArmSoftFloatLib/Arm/__aeabi_fcmpge.c
new file mode 100644 (file)
index 0000000..db59a98
--- /dev/null
+++ b/ArmPkg/Library/ArmSoftFloatLib/Arm/__aeabi_fcmpge.c
@@ -0,0 +1,37 @@
+/* $NetBSD: __aeabi_fcmpge.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_fcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $");\r
+#endif /* LIBC_SCCS and not lint */\r
+\r
+int __aeabi_fcmpge(float32, float32);\r
+\r
+int\r
+__aeabi_fcmpge(float32 a, float32 b)\r
+{\r
+\r
+    return !float32_lt(a, b) && float32_eq(a, a) && float32_eq(b, b);\r
+}\r