1/* $NetBSD: netf2.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#ifdef FLOAT128
12
13flag __netf2(float128, float128);
14
15flag
16__netf2(float128 a, float128 b)
17{
18
19	/* libgcc1.c says a != b */
20	return !float128_eq(a, b);
21}
22
23#endif /* FLOAT128 */
24