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#include <sys/cdefs.h> 12__FBSDID("$FreeBSD$"); 13 14#ifdef FLOAT128 15 16flag __netf2(float128, float128); 17 18flag 19__netf2(float128 a, float128 b) 20{ 21 22 /* libgcc1.c says a != b */ 23 return !float128_eq(a, b); 24} 25 26#endif /* FLOAT128 */ 27