/* $NetBSD: negtf2.c,v 1.1 2011/01/17 10:08:35 matt Exp $ */

/*
 * Written by Matt Thomas, 2011.  This file is in the Public Domain.
 */

#include "softfloat-for-gcc.h"
#include "milieu.h"
#include "softfloat.h"

#ifdef FLOAT128

float128 __negtf2(float128);

float128
__negtf2(float128 a)
{

        /* libgcc1.c says -a */
        a.high ^= FLOAT64_MANGLE(0x8000000000000000ULL);
        return a;
}

#endif /* FLOAT128 */