libsoftfloat/ledf2.c

   1 /* $NetBSD: ledf2.c,v 1.1 2000/06/06 08:15:06 bjh21 Exp $ */
   2
   3 /*
   4  * Written by Ben Harris, 2000.  This file is in the Public Domain.
   5  */
   6
   7 #include "softfloat-for-gcc.h"
   8 #include "milieu.h"
   9 #include "softfloat.h"
  10
  11 flag __ledf2(float64, float64);
  12
  13 flag
  14 __ledf2(float64 a, float64 b)
  15 {
  16
  17         /* libgcc1.c says 1 - (a <= b) */
  18         return 1 - float64_le(a, b);
  19 }