/* Copyright (C) 1999 DJ Delorie, see COPYING.DJ for details */
/* Copyright (C) 1998 DJ Delorie, see COPYING.DJ for details */
/*
 * isinff(x) returns 1 if x is infinity, else 0;
 * no branching!
 * Added by Cygnus Support.
 */

#include "fdlibm.h"

#ifdef __STDC__
	int (isinff)(float x)
#else
	int isinff(x)
	float x;
#endif
{
	__int32_t ix;
	GET_FLOAT_WORD(ix,x);
	ix &= 0x7fffffff;
	ix = 0x7f800000 - ix;
	return 1 - (int)((__uint32_t)(ix|(-ix))>>31);
}

#ifdef _DOUBLE_IS_32BITS

#ifdef __STDC__
	int isinf(double x)
#else
	int isinf(x)
	double x;
#endif
{
	return isinff((float) x);
}

#endif /* defined(_DOUBLE_IS_32BITS) */
