xref: /illumos-gate/usr/src/lib/libc/sparc/fp/_Q_fcc.c (revision 7c478bd95313f5f23a4c958a745db2134aa03244)

/*
 * CDDL HEADER START
 *
 * The contents of this file are subject to the terms of the
 * Common Development and Distribution License, Version 1.0 only
 * (the "License").  You may not use this file except in compliance
 * with the License.
 *
 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
 * or http://www.opensolaris.org/os/licensing.
 * See the License for the specific language governing permissions
 * and limitations under the License.
 *
 * When distributing Covered Code, include this CDDL HEADER in each
 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
 * If applicable, add the following below this CDDL HEADER, with the
 * fields enclosed by brackets "[]" replaced with your own identifying
 * information: Portions Copyright [yyyy] [name of copyright owner]
 *
 * CDDL HEADER END
 */
/*
 * Copyright (c) 1994-1997, by Sun Microsystems, Inc.
 * All rights reserved.
 */

#pragma ident	"%Z%%M%	%I%	%E% SMI"

#include "quad.h"

#ifdef __sparcv9
#define	_Q_feq	_Qp_feq
#define	_Q_fne	_Qp_fne
#define	_Q_flt	_Qp_flt
#define	_Q_fle	_Qp_fle
#define	_Q_fgt	_Qp_fgt
#define	_Q_fge	_Qp_fge
#endif

/*
 * _Q_feq(x, y) returns nonzero if *x == *y and zero otherwise.
 * If either *x or *y is a signaling NaN, the invalid operation
 * exception is raised.
 */
int
_Q_feq(const union longdouble *x, const union longdouble *y)
{
	unsigned int	fsr;

	if (QUAD_ISNAN(*x) || QUAD_ISNAN(*y)) {
		if ((QUAD_ISNAN(*x) && !(x->l.msw & 0x8000)) ||
		    (QUAD_ISNAN(*y) && !(y->l.msw & 0x8000))) {
			/* snan, signal invalid */
			__quad_getfsrp(&fsr);
			if (fsr & FSR_NVM) {
				__quad_fcmpq(x, y, &fsr);
				return (((fsr >> 10) & 3) == fcc_equal);
			} else {
				fsr = (fsr & ~FSR_CEXC) | FSR_NVA | FSR_NVC;
				__quad_setfsrp(&fsr);
			}
		}
		return (0);
	}
	if (QUAD_ISZERO(*x) && QUAD_ISZERO(*y))
		return (1);
	return ((x->l.msw ^ y->l.msw | x->l.frac2 ^ y->l.frac2 |
	    x->l.frac3 ^ y->l.frac3 | x->l.frac4 ^ y->l.frac4) == 0);
}

/*
 * _Q_fne(x, y) returns nonzero if *x != *y and zero otherwise.
 * If either *x or *y is a signaling NaN, the invalid operation
 * exception is raised.
 */
int
_Q_fne(const union longdouble *x, const union longdouble *y)
{
	unsigned int	fsr;

	if (QUAD_ISNAN(*x) || QUAD_ISNAN(*y)) {
		if ((QUAD_ISNAN(*x) && !(x->l.msw & 0x8000)) ||
		    (QUAD_ISNAN(*y) && !(y->l.msw & 0x8000))) {
			/* snan, signal invalid */
			__quad_getfsrp(&fsr);
			if (fsr & FSR_NVM) {
				__quad_fcmpq(x, y, &fsr);
				return (((fsr >> 10) & 3) != fcc_equal);
			} else {
				fsr = (fsr & ~FSR_CEXC) | FSR_NVA | FSR_NVC;
				__quad_setfsrp(&fsr);
			}
		}
		return (1); /* x != y is TRUE if x or y is NaN */
	}
	if (QUAD_ISZERO(*x) && QUAD_ISZERO(*y))
		return (0);
	return ((x->l.msw ^ y->l.msw | x->l.frac2 ^ y->l.frac2 |
		x->l.frac3 ^ y->l.frac3 | x->l.frac4 ^ y->l.frac4) != 0);
}

/*
 * _Q_flt(x, y) returns nonzero if *x < *y and zero otherwise.  If
 * either *x or *y is NaN, the invalid operation exception is raised.
 */
int
_Q_flt(const union longdouble *x, const union longdouble *y)
{
	unsigned int	xm, ym, fsr;

	if (QUAD_ISNAN(*x) || QUAD_ISNAN(*y)) {
		/* nan, signal invalid */
		__quad_getfsrp(&fsr);
		if (fsr & FSR_NVM) {
			__quad_fcmpeq(x, y, &fsr);
			return (((fsr >> 10) & 3) == fcc_less);
		} else {
			fsr = (fsr & ~FSR_CEXC) | FSR_NVA | FSR_NVC;
			__quad_setfsrp(&fsr);
		}
		return (0);
	}

	/* ignore sign of zero */
	xm = x->l.msw;
	if (QUAD_ISZERO(*x))
		xm &= 0x7fffffff;
	ym = y->l.msw;
	if (QUAD_ISZERO(*y))
		ym &= 0x7fffffff;

	if ((xm ^ ym) & 0x80000000)	/* x and y have opposite signs */
		return ((ym & 0x80000000) == 0);

	if (xm & 0x80000000) {
		return (xm > ym || xm == ym && (x->l.frac2 > y->l.frac2 ||
		    x->l.frac2 == y->l.frac2 && (x->l.frac3 > y->l.frac3 ||
		    x->l.frac3 == y->l.frac3 && x->l.frac4 > y->l.frac4)));
	}
	return (xm < ym || xm == ym && (x->l.frac2 < y->l.frac2 ||
	    x->l.frac2 == y->l.frac2 && (x->l.frac3 < y->l.frac3 ||
	    x->l.frac3 == y->l.frac3 && x->l.frac4 < y->l.frac4)));
}

/*
 * _Q_fle(x, y) returns nonzero if *x <= *y and zero otherwise.  If
 * either *x or *y is NaN, the invalid operation exception is raised.
 */
int
_Q_fle(const union longdouble *x, const union longdouble *y)
{
	unsigned int	xm, ym, fsr;

	if (QUAD_ISNAN(*x) || QUAD_ISNAN(*y)) {
		/* nan, signal invalid */
		__quad_getfsrp(&fsr);
		if (fsr & FSR_NVM) {
			__quad_fcmpeq(x, y, &fsr);
			fsr = (fsr >> 10) & 3;
			return (fsr == fcc_less || fsr == fcc_equal);
		} else {
			fsr = (fsr & ~FSR_CEXC) | FSR_NVA | FSR_NVC;
			__quad_setfsrp(&fsr);
		}
		return (0);
	}

	/* ignore sign of zero */
	xm = x->l.msw;
	if (QUAD_ISZERO(*x))
		xm &= 0x7fffffff;
	ym = y->l.msw;
	if (QUAD_ISZERO(*y))
		ym &= 0x7fffffff;

	if ((xm ^ ym) & 0x80000000)	/* x and y have opposite signs */
		return ((ym & 0x80000000) == 0);

	if (xm & 0x80000000) {
		return (xm > ym || xm == ym && (x->l.frac2 > y->l.frac2 ||
		    x->l.frac2 == y->l.frac2 && (x->l.frac3 > y->l.frac3 ||
		    x->l.frac3 == y->l.frac3 && x->l.frac4 >= y->l.frac4)));
	}
	return (xm < ym || xm == ym && (x->l.frac2 < y->l.frac2 ||
	    x->l.frac2 == y->l.frac2 && (x->l.frac3 < y->l.frac3 ||
	    x->l.frac3 == y->l.frac3 && x->l.frac4 <= y->l.frac4)));
}

/*
 * _Q_fgt(x, y) returns nonzero if *x > *y and zero otherwise.  If
 * either *x or *y is NaN, the invalid operation exception is raised.
 */
int
_Q_fgt(const union longdouble *x, const union longdouble *y)
{
	unsigned int	xm, ym, fsr;

	if (QUAD_ISNAN(*x) || QUAD_ISNAN(*y)) {
		/* nan, signal invalid */
		__quad_getfsrp(&fsr);
		if (fsr & FSR_NVM) {
			__quad_fcmpeq(x, y, &fsr);
			return (((fsr >> 10) & 3) == fcc_greater);
		} else {
			fsr = (fsr & ~FSR_CEXC) | FSR_NVA | FSR_NVC;
			__quad_setfsrp(&fsr);
		}
		return (0);
	}

	/* ignore sign of zero */
	xm = x->l.msw;
	if (QUAD_ISZERO(*x))
		xm &= 0x7fffffff;
	ym = y->l.msw;
	if (QUAD_ISZERO(*y))
		ym &= 0x7fffffff;

	if ((xm ^ ym) & 0x80000000)	/* x and y have opposite signs */
		return ((ym & 0x80000000) != 0);

	if (xm & 0x80000000) {
		return (xm < ym || xm == ym && (x->l.frac2 < y->l.frac2 ||
		    x->l.frac2 == y->l.frac2 && (x->l.frac3 < y->l.frac3 ||
		    x->l.frac3 == y->l.frac3 && x->l.frac4 < y->l.frac4)));
	}
	return (xm > ym || xm == ym && (x->l.frac2 > y->l.frac2 ||
	    x->l.frac2 == y->l.frac2 && (x->l.frac3 > y->l.frac3 ||
	    x->l.frac3 == y->l.frac3 && x->l.frac4 > y->l.frac4)));
}

/*
 * _Q_fge(x, y) returns nonzero if *x >= *y and zero otherwise.  If
 * either *x or *y is NaN, the invalid operation exception is raised.
 */
int
_Q_fge(const union longdouble *x, const union longdouble *y)
{
	unsigned int	xm, ym, fsr;

	if (QUAD_ISNAN(*x) || QUAD_ISNAN(*y)) {
		/* nan, signal invalid */
		__quad_getfsrp(&fsr);
		if (fsr & FSR_NVM) {
			__quad_fcmpeq(x, y, &fsr);
			fsr = (fsr >> 10) & 3;
			return (fsr == fcc_greater || fsr == fcc_equal);
		} else {
			fsr = (fsr & ~FSR_CEXC) | FSR_NVA | FSR_NVC;
			__quad_setfsrp(&fsr);
		}
		return (0);
	}

	/* ignore sign of zero */
	xm = x->l.msw;
	if (QUAD_ISZERO(*x))
		xm &= 0x7fffffff;
	ym = y->l.msw;
	if (QUAD_ISZERO(*y))
		ym &= 0x7fffffff;

	if ((xm ^ ym) & 0x80000000)	/* x and y have opposite signs */
		return ((ym & 0x80000000) != 0);

	if (xm & 0x80000000) {
		return (xm < ym || xm == ym && (x->l.frac2 < y->l.frac2 ||
		    x->l.frac2 == y->l.frac2 && (x->l.frac3 < y->l.frac3 ||
		    x->l.frac3 == y->l.frac3 && x->l.frac4 <= y->l.frac4)));
	}
	return (xm > ym || xm == ym && (x->l.frac2 > y->l.frac2 ||
	    x->l.frac2 == y->l.frac2 && (x->l.frac3 > y->l.frac3 ||
	    x->l.frac3 == y->l.frac3 && x->l.frac4 >= y->l.frac4)));
}