lib/libc/softfloat/gtdf2.c

   1 /* $NetBSD$ */
   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 #include <sys/cdefs.h>
  12 #if defined(LIBC_SCCS) && !defined(lint)
  13 __RCSID("$NetBSD$");
  14 #endif /* LIBC_SCCS and not lint */
  15
  16 flag __gtdf2(float64, float64);
  17
  18 flag
  19 __gtdf2(float64 a, float64 b)
  20 {
  21
  22         /* libgcc1.c says a > b */
  23         return float64_lt(b, a);
  24 }