ArmPkg/Library/ArmSoftFloatLib/Arm/__aeabi_dcmplt.c

   1 /* $NetBSD: __aeabi_dcmplt.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 *  SPDX-License-Identifier: BSD-2-Clause-Patent
   8 *
   9 **/
  10
  11 /*
  12  * Written by Ben Harris, 2000.  This file is in the Public Domain.
  13  */
  14
  15 #include "softfloat-for-gcc.h"
  16 #include "milieu.h"
  17 #include "softfloat.h"
  18
  19 #if defined(LIBC_SCCS) && !defined(lint)
  20 __RCSID("$NetBSD: __aeabi_dcmplt.c,v 1.1 2013/04/16 10:37:39 matt Exp $");
  21 #endif /* LIBC_SCCS and not lint */
  22
  23 int __aeabi_dcmplt(float64, float64);
  24
  25 int
  26 __aeabi_dcmplt(float64 a, float64 b)
  27 {
  28
  29     return float64_lt(a, b);
  30 }