]>
git.proxmox.com Git - mirror_edk2.git/blob - ArmPkg/Library/ArmSoftFloatLib/Arm/__aeabi_fcmpge.c
5c99f4d16e54dc17fc1bd7f892d7046651e4e0c0
1 /* $NetBSD: __aeabi_fcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $ */
5 * Copyright (c) 2013 - 2014, ARM Limited. All rights reserved.
7 * SPDX-License-Identifier: BSD-2-Clause-Patent
12 * Written by Ben Harris, 2000. This file is in the Public Domain.
15 #include "softfloat-for-gcc.h"
17 #include "softfloat.h"
19 #if defined(LIBC_SCCS) && !defined(lint)
20 __RCSID("$NetBSD: __aeabi_fcmpge.c,v 1.2 2013/04/16 13:38:34 matt Exp $");
21 #endif /* LIBC_SCCS and not lint */
23 int __aeabi_fcmpge(float32
, float32
);
26 __aeabi_fcmpge(float32 a
, float32 b
)
29 return !float32_lt(a
, b
) && float32_eq(a
, a
) && float32_eq(b
, b
);