4 * Written by Ben Harris, 2000. This file is in the Public Domain.
7 #include "softfloat-for-gcc.h"
11 #include <sys/cdefs.h>
12 #if defined(LIBC_SCCS) && !defined(lint)
14 #endif /* LIBC_SCCS and not lint */
16 float64
__negdf2(float64
);
22 /* libgcc1.c says -a */
23 return a
^ FLOAT64_MANGLE(0x8000000000000000ULL
);