1 /* $NetBSD: negtf2.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 16 float128 __negtf2(float128); 17 18 float128 19 __negtf2(float128 a) 20 { 21 22 /* libgcc1.c says -a */ 23 a.high ^= FLOAT64_MANGLE(0x8000000000000000ULL); 24 return a; 25 } 26 27 #endif /* FLOAT128 */ 28