1*00b6e344Sguenther /* $OpenBSD: ledf2.c,v 1.4 2019/11/10 22:23:29 guenther 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" 10fcc6486eSmiod #include <softfloat.h> 1108daf0c2Sdrahn 12*00b6e344Sguenther flag __ledf2(float64, float64) __dso_protected; 1308daf0c2Sdrahn 1408daf0c2Sdrahn flag __ledf2(float64 a,float64 b)1508daf0c2Sdrahn__ledf2(float64 a, float64 b) 1608daf0c2Sdrahn { 1708daf0c2Sdrahn 1808daf0c2Sdrahn /* libgcc1.c says 1 - (a <= b) */ 1908daf0c2Sdrahn return 1 - float64_le(a, b); 2008daf0c2Sdrahn } 21