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 #if defined(LIBC_SCCS) && !defined(lint)
22 __RCSID("$NetBSD: __aeabi_dcmpeq.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
23 #endif /* LIBC_SCCS and not lint */
24
25 #include "softfloat-for-gcc.h"
26 #include "milieu.h"
27 #include "softfloat.h"
28
29 int __aeabi_dcmpeq(float64, float64);
30
31 int
__aeabi_dcmpeq(float64 a,float64 b)32 __aeabi_dcmpeq(float64 a, float64 b)
33 {
34
35 return float64_eq(a, b);
36 }
37