1 /* $NetBSD: __aeabi_dcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $ */ 2 /** @file 3 * 4 * Copyright (c) 2013 - 2014, ARM Limited. All rights reserved. 5 * 6 * This program and the accompanying materials 7 * are licensed and made available under the terms and conditions of the BSD License 8 * which accompanies this distribution. The full text of the license may be found at 9 * http://opensource.org/licenses/bsd-license.php 10 * 11 * THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 13 * 14 **/ 15 /* 16 * Written by Ben Harris, 2000. This file is in the Public Domain. 17 */ 18 19 #include "softfloat-for-gcc.h" 20 #include "milieu.h" 21 #include "softfloat.h" 22 23 #if defined(LIBC_SCCS) && !defined(lint) 24 __RCSID("$NetBSD: __aeabi_dcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $"); 25 #endif /* LIBC_SCCS and not lint */ 26 27 int __aeabi_dcmpge(float64, float64); 28 29 int 30 __aeabi_dcmpge(float64 a, float64 b) 31 { 32 33 return !float64_lt(a, b) && float64_eq(a, a) && float64_eq(b, b); 34 } 35
