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