view run/ieee_754_zerosdq_01.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_01;

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

union S{
	float f;
	uint[1] i;
}

int main(){
	S s;
	int top=0;


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

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

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

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

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

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

	return 0;
}