1/* $NetBSD: getf2.c,v 1.1 2000/06/06 08:15:05 bjh21 Exp $ */ 2 3/* 4 * Written by Matt Thomas, 2011. 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: getf2.c,v 1.1 2000/06/06 08:15:05 bjh21 Exp $"); 14#endif /* LIBC_SCCS and not lint */ 15 16#ifdef FLOAT128 17 18flag __getf2(float128, float128); 19 20flag 21__getf2(float128 a, float128 b) 22{ 23 24 /* libgcc1.c says (a >= b) - 1 */ 25 return float128_le(b, a) - 1; 26} 27 28#endif /* FLOAT128 */ 29