view run/ieee_754_zerosdq_02.d @ 1623:04022926a4d5

Fix dstress.run.b.bug_cod1_2528_C as reported by Don Clugston Quoting Don's words from Ticket #8: Fails because it returns 3 instead of 0. The DStress test case is incorrect. The arrray literal is an int, so it's 4 bytes. Casting it to void[] should give a length of 4 -- and that's exactly what it does. Should be "return x.length - 4;".
author Leandro Lucarella <llucax@gmail.com>
date Fri, 05 Nov 2010 10:10:51 -0300
parents e720ce827c1c
children
line wrap: on
line source

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

module dstress.run.ieee_754_zerosdq_02;

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

union S{
	double f;
	uint[2] i;
}

int main(){
	S s;
	s.f=1.0;
	int top = (s.i[0]==0) ? 1 : 0;


	s.f = 0.0;
	assert(s.i[top]==0x00000000);

	s.f = -0.0;
	assert(s.i[top]==0x80000000);

	s.f = 0.0 - 0.0;
	assert(s.i[top]==0x00000000);

	s.f = (-0.0) - 0.0;
	assert(s.i[top]==0x80000000);

	s.f = 0.0;
	s.f *= 1.0;
	assert(s.i[top]==0x00000000);

	s.f = 0.0;
	s.f *= -1.0;
	assert(s.i[top]==0x80000000);

	return 0;
}