1 /* $NetBSD: getf2.c,v 1.1 2011/01/17 10:08:35 matt Exp $ */
4 * Written by Matt Thomas, 2011. This file is in the Public Domain.
7 #include "softfloat-for-gcc.h"
11 #include <sys/cdefs.h>
12 __FBSDID("$FreeBSD$");
16 flag __getf2(float128, float128);
19 __getf2(float128 a, float128 b)
22 /* libgcc1.c says (a >= b) - 1 */
23 return float128_le(b, a) - 1;