1*fcc6486eSmiod /* $OpenBSD: ledf2.c,v 1.3 2015/09/13 14:21:46 miod Exp $ */ 208daf0c2Sdrahn /* $NetBSD: ledf2.c,v 1.1 2000/06/06 08:15:06 bjh21 Exp $ */ 308daf0c2Sdrahn 408daf0c2Sdrahn /* 508daf0c2Sdrahn * Written by Ben Harris, 2000. This file is in the Public Domain. 608daf0c2Sdrahn */ 708daf0c2Sdrahn 808daf0c2Sdrahn #include "softfloat-for-gcc.h" 908daf0c2Sdrahn #include "milieu.h" 10*fcc6486eSmiod #include <softfloat.h> 1108daf0c2Sdrahn 1208daf0c2Sdrahn flag __ledf2(float64, float64); 1308daf0c2Sdrahn 1408daf0c2Sdrahn flag 1508daf0c2Sdrahn __ledf2(float64 a, float64 b) 1608daf0c2Sdrahn { 1708daf0c2Sdrahn 1808daf0c2Sdrahn /* libgcc1.c says 1 - (a <= b) */ 1908daf0c2Sdrahn return 1 - float64_le(a, b); 2008daf0c2Sdrahn } 21