view run/ieee_754_zerosdq_03.d @ 1330:f3f715978184

Georg Wrede <georg@iki.fi> 2007-01-07 mail:45A120F5.1050108@iki.fi
author thomask
date Sat, 13 Jan 2007 10:33:49 +0000
parents 660f9196b52a
children
line wrap: on
line source

// $HeadURL$
// $Date$
// $Author$

module dstress.run.ieee_754_zerosdq_03;

// Check whether IEEE 754 signed zero is correctly supported.

union S{
	ifloat f;
	uint i;
}

int main(){
	S s;

	s.f = 0.0fi;
	if(s.i != 0x00000000){
		assert(0);
	}

	s.f = -0.0fi;
	if(s.i != 0x80000000){
		assert(0);
	}

	s.f = 0.0fi - 0.0fi;
	if(s.i != 0x00000000){
		assert(0);
	}

	s.f = (-0.0fi) - 0.0fi;
	if(s.i != 0x80000000){
		assert(0);
	}

	s.f = 0.0fi;
	s.f *= 1.0f;
	if(s.i != 0x00000000){
		assert(0);
	}

	s.f = 0.0fi;
	s.f *= -1.0f;
	if(s.i != 0x80000000){
		assert(0);
	}

	return 0;
}