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