1/* $NetBSD: negdf2.c,v 1.1 2000/06/06 08:15:07 bjh21 Exp $ */
2
3/*
4 * Written by Ben Harris, 2000.  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
14float64 __negdf2(float64);
15
16float64
17__negdf2(float64 a)
18{
19
20	/* libgcc1.c says -a */
21	return a ^ FLOAT64_MANGLE(0x8000000000000000ULL);
22}
23