1/* $NetBSD: getf2.c,v 1.1 2011/01/17 10:08:35 matt 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__FBSDID("$FreeBSD$");
13
14#ifdef FLOAT128
15
16flag __getf2(float128, float128);
17
18flag
19__getf2(float128 a, float128 b)
20{
21
22	/* libgcc1.c says (a >= b) - 1 */
23	return float128_le(b, a) - 1;
24}
25
26#endif /* FLOAT128 */
27