sl@0: // Copyright (c) 1995-2009 Nokia Corporation and/or its subsidiary(-ies).
sl@0: // All rights reserved.
sl@0: // This component and the accompanying materials are made available
sl@0: // under the terms of the License "Eclipse Public License v1.0"
sl@0: // which accompanies this distribution, and is available
sl@0: // at the URL "http://www.eclipse.org/legal/epl-v10.html".
sl@0: //
sl@0: // Initial Contributors:
sl@0: // Nokia Corporation - initial contribution.
sl@0: //
sl@0: // Contributors:
sl@0: //
sl@0: // Description:
sl@0: // e32test\math\t_r32.cpp
sl@0: // T_R32.CPP - Test routines for TReal32
sl@0: // Also note that these tests do not generally include testing of special values.  This is done
sl@0: // in T_R96 tests and conversions are tested thoroughly, so explicit tests are unnecessary here.
sl@0: // Overview:
sl@0: // Test functionality of operations on 32bit real numbers.
sl@0: // API Information:
sl@0: // TReal32. 
sl@0: // Details:
sl@0: // - Test the conversion from TReal to TReal32 is as expected.
sl@0: // - Check addition, subtraction and multiplication of 32-bit floating point
sl@0: // numbers are as expected.
sl@0: // - Check division of 32-bit floating-point numbers and verify that it is
sl@0: // panicked when divided by zero.
sl@0: // - Test arithmetic exceptions are raised for
sl@0: // - overflow error during addition, subtraction.
sl@0: // - overflow, underflow errors during multiplication.
sl@0: // - overflow, underflow, divided by zero errors during division.
sl@0: // - overflow, underflow, invalid operation errors during conversion
sl@0: // from double to float.
sl@0: // - Check unary operator, equalities and inequalities operators, pre/post 
sl@0: // increment, decrement operators with TReal32 are as expected.
sl@0: // Platforms/Drives/Compatibility:
sl@0: // All 
sl@0: // Assumptions/Requirement/Pre-requisites:
sl@0: // Failures and causes:
sl@0: // Base Port information:
sl@0: // 
sl@0: //
sl@0: 
sl@0: #include "t_math.h"
sl@0: #include "t_real32.h"
sl@0: 
sl@0: #if defined(__VC32__)
sl@0: // Some symbols generated by the VC++ compiler for floating point stuff.
sl@0: extern "C" {
sl@0: GLDEF_D TInt _adj_fdiv_m32;
sl@0: }
sl@0: #endif
sl@0: 
sl@0: // Data for tests from T_R32DTA.cpp 
sl@0: GLREF_D TReal32 addInput[];
sl@0: GLREF_D TReal32 subInput[];
sl@0: GLREF_D TReal32 multInput[];
sl@0: GLREF_D TReal32 divInput[];
sl@0: GLREF_D TReal32 unaryInput[];
sl@0: GLREF_D TReal32 incDecInput[];
sl@0: GLREF_D TInt sizeAdd;
sl@0: GLREF_D TInt sizeSub;
sl@0: GLREF_D TInt sizeMult;
sl@0: GLREF_D TInt sizeDiv;
sl@0: GLREF_D TInt sizeUnary;
sl@0: GLREF_D TInt sizeIncDec;
sl@0: 
sl@0: #if defined (__WINS__) || defined (__X86__)
sl@0: // Functions from EMGCC32.CPP
sl@0: GLREF_C TReal32 __addsf3(TReal32 a1,TReal32 a2);
sl@0: GLREF_C TReal32 __subsf3(TReal32 a1,TReal32 a2);
sl@0: GLREF_C TReal32 __mulsf3(TReal32 a1,TReal32 a2);
sl@0: GLREF_C TReal32 __divsf3(TReal32 a1,TReal32 a2);
sl@0: GLREF_C TReal32 __truncdfsf2(TReal64 a1);
sl@0: #endif
sl@0: 
sl@0: GLDEF_D TReal32 NaNTReal32;
sl@0: GLDEF_D TReal32 posInfTReal32;
sl@0: GLDEF_D TReal32 negInfTReal32;
sl@0: GLDEF_D const TReal32 minDenormalTReal32=1.4E-45f;
sl@0: GLDEF_D TReal NaNTReal;
sl@0: GLDEF_D TReal posInfTReal;
sl@0: GLDEF_D TReal negInfTReal;
sl@0: 
sl@0: enum TOrder
sl@0: 	{
sl@0: 	ELessThan,
sl@0: 	EEqual,
sl@0: 	EGreaterThan
sl@0: 	};
sl@0: 
sl@0: LOCAL_D RTest test(_L("T_R32"));
sl@0: 
sl@0: LOCAL_C void initSpecialValues()
sl@0: //
sl@0: // Initialise special values
sl@0: //
sl@0: 	{
sl@0: 
sl@0: 	SReal32 *p32=(SReal32*)&NaNTReal32;
sl@0: 	p32->sign=0;
sl@0: 	p32->exp=KTReal32SpecialExponent;
sl@0: 	p32->man=0x7fffff;
sl@0: 
sl@0: 	p32=(SReal32*)&posInfTReal32;
sl@0: 	p32->sign=0;
sl@0: 	p32->exp=KTReal32SpecialExponent;
sl@0: 	p32->man=0;
sl@0: 
sl@0: 	p32=(SReal32*)&negInfTReal32;
sl@0: 	p32->sign=1;
sl@0: 	p32->exp=KTReal32SpecialExponent;
sl@0: 	p32->man=0;
sl@0: 
sl@0: 	SReal64 *p64=(SReal64*)&NaNTReal;
sl@0: 	p64->sign=0;
sl@0: 	p64->exp=KTReal64SpecialExponent;
sl@0: 	p64->lsm=0xffffffffu;
sl@0: 	p64->msm=0xfffff;
sl@0: 
sl@0: 	p64=(SReal64*)&posInfTReal;
sl@0: 	p64->sign=0;
sl@0: 	p64->exp=KTReal64SpecialExponent;
sl@0: 	p64->lsm=0;
sl@0: 	p64->msm=0;
sl@0: 	
sl@0: 	p64=(SReal64*)&negInfTReal;
sl@0: 	p64->sign=1;
sl@0: 	p64->exp=KTReal64SpecialExponent;
sl@0: 	p64->lsm=0;
sl@0: 	p64->msm=0;
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void testConvert()
sl@0: //
sl@0: //	Conversion tests
sl@0: //
sl@0: 	{
sl@0: 
sl@0: 	TRealX f;
sl@0: 
sl@0: 	TReal input[]=
sl@0: 		{
sl@0: 		KMaxTReal32inTReal,KMinTReal32inTReal,-KMaxTReal32inTReal,-KMinTReal32inTReal,
sl@0: 		KMaxTReal32inTReal,KMinTReal32inTReal,-KMaxTReal32inTReal,-KMinTReal32inTReal,
sl@0: 		3.4027E+38,1.1755E-38,-3.4027E+38,-1.1755E-38,
sl@0: 		0.0,64.5,-64.5,1.54E+18,-1.54E+18,4.72E-22,-4.72E-22,
sl@0: 		posInfTReal,negInfTReal,KNegZeroTReal,
sl@0: 		1.4E-45,-1.4E-45,2E-41,-2E-41,1E-38,-1E-38		
sl@0: 		};
sl@0: 
sl@0: 	TReal32 expect[]=
sl@0: 		{
sl@0: 		KMaxTReal32,KMinTReal32,-KMaxTReal32,-KMinTReal32,
sl@0: 		KMaxTReal32,KMinTReal32,-KMaxTReal32,-KMinTReal32,
sl@0: 		3.4027E+38f,1.17550E-38f,-3.40270E+38f,-1.17550E-38f,
sl@0: 		0.0f,64.5f,-64.5f,1.54E+18f,-1.54E+18f,4.72E-22f,-4.72E-22f,
sl@0: 		posInfTReal32,negInfTReal32,KNegZeroTReal32,
sl@0: 		1.4E-45f,-1.4E-45f,2E-41f,-2E-41f,1E-38f,-1E-38f				
sl@0: 		};
sl@0: 
sl@0: 	TInt size=sizeof(input)/sizeof(TReal);
sl@0: 
sl@0: 	for (TInt ii=0; ii<size; ii++)
sl@0: 		{
sl@0: 		f=TRealX(expect[ii]);
sl@0: 		test(f==TRealX(TReal32(input[ii])));
sl@0: 		}
sl@0: 
sl@0: 	// NaN
sl@0: //	TReal a=NaNTReal;
sl@0: 	TReal32 b=NaNTReal32;
sl@0: 	f=TRealX(b);
sl@0: //	test(f!=TRealX(TReal32(a)));
sl@0: 	test(f.IsNaN());
sl@0: 		
sl@0: 	// See EON Software Defects Bug Report no. HA-287
sl@0: 	// There is a bug in MSDev compiler which means comparing TReal32's directly
sl@0: 	// does not always work, hence...
sl@0: 	/*
sl@0: 	test(BitTest(TReal32(3.40270E+38),3.40270E+38f));	// this works
sl@0: 	// (BitTest() checks for all 32 bits being identical
sl@0: 	
sl@0: 	TReal32 a=TReal32(3.40270E+38);
sl@0: 	TReal32 b=3.40270E+38f;
sl@0: 	TReal64 c=3.40270E+38;
sl@0: 	TReal32 d=TReal32(c);
sl@0: 
sl@0: 	test(a==b);									// this works
sl@0: 	test(d==b);									// this works
sl@0: 	test(TRealX(TReal32(c))==TRealX(b));		// this works
sl@0: 	test(TReal64(TReal32(c))==TReal64(b));		// this panics
sl@0: 	test(TReal32(c)==b);						// this panics					  
sl@0:  	test(TReal32(3.40270E+38)==3.40270E+38f);	// this panics
sl@0: 
sl@0: 	// As expected, all these work fine under ARM.
sl@0: 	*/
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void testAdd()
sl@0: //
sl@0: //	Addition tests
sl@0: //
sl@0: 	{
sl@0: 	TReal32 f,g,h;
sl@0: 	TRealX ff,gg,hh;
sl@0: 	
sl@0: 	for (TInt ii=0; ii<sizeAdd-1; ii++)
sl@0: 		{										  
sl@0: 		f=addInput[ii];
sl@0: 		g=addInput[ii+1];
sl@0: 		ff=TRealX(f);
sl@0: 		gg=TRealX(g);
sl@0: 		// Test commute
sl@0: 		test(f+g == g+f);
sl@0: 		// Test PC real addition using fp-hardware same as TRealX addition
sl@0: 		test(TRealX(f+g)==TRealX(TReal32(ff+gg)));
sl@0: 		test(TRealX(g+f)==TRealX(TReal32(ff+gg)));
sl@0: 		// Test hex-encoded constants for TReal32s generated on PC using fp-hardware same as 
sl@0: 		// TRealX addition
sl@0: 		test(TRealX(*(TReal32*)&addArray[ii])==TRealX(f+g));
sl@0: 		test(TRealX(*(TReal32*)&addArray[ii])==TRealX(g+f));
sl@0: 		// similarly to tests above ...
sl@0: 		h=g;
sl@0: 		hh=gg;
sl@0: 		hh+=ff;
sl@0: 		test(TRealX(h+=f)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(h)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(*(TReal32*)&addArray[ii])==TRealX(h));
sl@0: 		//
sl@0: 		h=f;
sl@0: 		hh=ff;
sl@0: 		hh+=gg;
sl@0: 		test(TRealX(h+=g)==TRealX(TReal32(hh)));
sl@0: 		test(h==TReal32(hh));
sl@0: 		test(TRealX(*(TReal32*)&addArray[ii])==TRealX(h));
sl@0: 		}
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void testSubt()
sl@0: //
sl@0: // Subtraction tests
sl@0: //
sl@0: 	{
sl@0: 	TReal32 f,g,h;
sl@0: 	TRealX ff,gg,hh;
sl@0: 
sl@0: 	for (TInt ii=0; ii<sizeSub-1; ii++)
sl@0: 		{
sl@0: 		f=subInput[ii];
sl@0: 		g=subInput[ii+1];
sl@0: 		ff=TRealX(f);
sl@0: 		gg=TRealX(g);
sl@0: 		//
sl@0: 
sl@0: // This test fails on GCC (with -O1 switch). The reason is that
sl@0: // comparing two intermediate floats is unpredictable.
sl@0: // See http://www.parashift.com/c++-faq-lite/newbie.html#faq-29.18
sl@0: #ifndef __GCC32__	
sl@0: 		test(f-g == -(g-f));
sl@0: #endif
sl@0: 		//
sl@0: 		test(TRealX(f-g)==TRealX(TReal32(ff-gg)));
sl@0: 		test(TRealX(g-f)==TRealX(TReal32(gg-ff)));
sl@0: 		test(TRealX(*(TReal32*)&subArray[ii])==TRealX(f-g));
sl@0: 		test(TRealX(*(TReal32*)&subArray[ii])==TRealX(-(g-f)));
sl@0: 		//
sl@0: 		h=g;
sl@0: 		hh=gg;
sl@0: 		hh-=ff;
sl@0: 		test(TRealX(h-=f)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(h)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(*(TReal32*)&subArray[ii])==TRealX(-h));
sl@0: 		//
sl@0: 		h=f;
sl@0: 		hh=ff;
sl@0: 		hh-=gg;
sl@0: 		test(TRealX(h-=g)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(h)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(*(TReal32*)&subArray[ii])==TRealX(h));
sl@0: 		}
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void testMult()
sl@0: //
sl@0: //	Multiplication test
sl@0: //
sl@0: 	{
sl@0: 	TReal32 f,g,h;
sl@0: 	TRealX ff,gg,hh;
sl@0: 	
sl@0: 	for (TInt ii=0; ii<sizeMult-1; ii++)
sl@0: 		{
sl@0: 		f=multInput[ii];
sl@0: 		g=multInput[ii+1];
sl@0: 		ff=TRealX(f);
sl@0: 		gg=TRealX(g);
sl@0: 		//
sl@0: 		test(f*g == g*f);
sl@0: 		//
sl@0: 		test(TRealX(f*g)==TRealX(TReal32(ff*gg)));
sl@0: 		test(TRealX(g*f)==TRealX(TReal32(gg*ff)));
sl@0: 		test(TRealX(*(TReal32*)&multArray[ii])==TRealX(f*g));
sl@0: 		test(TRealX(*(TReal32*)&multArray[ii])==TRealX(g*f));
sl@0: 		//
sl@0: 		h=f;		
sl@0: 		hh=ff;
sl@0: 		hh*=gg;
sl@0: 		test(TRealX(h*=g)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(h)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(*(TReal32*)&multArray[ii])==TRealX(h));
sl@0: 		//
sl@0: 		h=g;
sl@0: 		hh=gg;
sl@0: 		hh*=ff;
sl@0: 		test(TRealX(h*=f)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(h)==TRealX(TReal32(hh)));
sl@0: 		test(TRealX(*(TReal32*)&multArray[ii])==TRealX(h));
sl@0: 		}
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void testDiv()
sl@0: //
sl@0: //	Division test
sl@0: //
sl@0: 	{
sl@0: 	TReal32 f,g,h;
sl@0: 	TRealX ff,gg,hh;
sl@0: 	TInt count=0;
sl@0: 	
sl@0: 	// Panic: Divide by Zero
sl@0: 	// f=1.0;
sl@0: 	// g=0.0;
sl@0: 	// f/=g;
sl@0: 
sl@0: 	for (TInt ii=0; ii<sizeDiv-1; ii++)
sl@0: 		{
sl@0: 		f=divInput[ii];
sl@0: 		g=divInput[ii+1];
sl@0: 		ff=TRealX(f);
sl@0: 		gg=TRealX(g);
sl@0: 		if (g!=0.0)
sl@0: 			{
sl@0: 			test(TRealX(f/g)==TRealX(TReal32(ff/gg)));
sl@0: 			test(TRealX(*(TReal32*)&divArray[count])==TRealX(f/g));
sl@0: 			//
sl@0: 			h=f;
sl@0: 			hh=ff;
sl@0: 			hh/=gg;
sl@0: 			test(TRealX(h/=g)==TRealX(TReal32(hh)));
sl@0: 			test(TRealX(h)==TRealX(TReal32(hh)));
sl@0: 			test(TRealX(*(TReal32*)&divArray[count])==TRealX(h));
sl@0: 			++count;
sl@0: 			}
sl@0: 		if (f!=0.0)
sl@0: 			{
sl@0: 			test(TRealX(g/f)==TRealX(TReal32(gg/ff)));
sl@0: 			h=g;
sl@0: 			hh=gg;
sl@0: 			hh/=ff;
sl@0: 			test(TRealX(h/=f)==TRealX(TReal32(hh)));
sl@0: 			test(h==TReal32(hh));
sl@0: 			}
sl@0: 		};
sl@0: 
sl@0: 	//Additional test
sl@0: 	f=3.9999f;
sl@0: 	g=KMinTReal32;
sl@0: 	ff=TRealX(f);
sl@0: 	gg=TRealX(g);
sl@0: 	test(TRealX(f/g)==TRealX(TReal32(ff/gg)));
sl@0: 	h=f;
sl@0: 	hh=ff;
sl@0: 	hh/=gg;
sl@0: 	test(TRealX(h/=g)==TRealX(TReal32(hh)));
sl@0: 	test(TRealX(h)==TRealX(TReal32(hh)));
sl@0: 	}
sl@0: 
sl@0: #if defined (__WINS__) || defined (__X86__)
sl@0: 
sl@0: LOCAL_C	 void testArithmeticExceptionRaising()
sl@0: //
sl@0: // Test that UP_GCC.CPP raise exceptions correctly by calling functions from EMGCC32.CPP which
sl@0: // are copies of those in UP_GCC.CPP.  To be used in debugger only.
sl@0: // Added by AnnW, December 1996
sl@0: //
sl@0: 	{
sl@0: 	TReal32 f,g,h;
sl@0: 
sl@0: 	// Addition - possible errors are overflow, argument or none
sl@0: 	// NB no underflow
sl@0: 
sl@0: 	f=NaNTReal32;
sl@0: 	h=__addsf3(f,f);	// argument
sl@0: 
sl@0: 	f=KMaxTReal32;
sl@0: 	h=__addsf3(f,f);	// overflow
sl@0: 	
sl@0: 	f=1.0f;
sl@0: 	g=2.0f;
sl@0: 	h=__addsf3(f,g);	// none
sl@0: 	test(h==3.0f);
sl@0: 
sl@0: 	// Subtraction - possible errors are overflow, argument or none
sl@0: 	// NB no underflow
sl@0: 
sl@0: 	f=NaNTReal32;
sl@0: 	h=__subsf3(f,f);	// argument
sl@0: 
sl@0: 	f=KMaxTReal32;
sl@0: 	g=-KMaxTReal32;
sl@0: 	h=__subsf3(f,g);	// overflow
sl@0:   
sl@0: 	f=1.0f;
sl@0: 	g=2.0f;
sl@0: 	h=__subsf3(f,g);	// none
sl@0: 	test(h==-1.0f);
sl@0: 
sl@0: 	// Multiplication - possible errors are argument, overflow, underflow or none
sl@0: 
sl@0: 	f=NaNTReal32;
sl@0: 	h=__mulsf3(f,f);	// argument
sl@0: 
sl@0: 	f=KMaxTReal32;
sl@0: 	g=2.0f;
sl@0: 	h=__mulsf3(f,g);	// overflow
sl@0: 
sl@0: 	f=minDenormalTReal32;
sl@0: 	g=0.1f;
sl@0: 	h=__mulsf3(f,g);	// underflow
sl@0: 
sl@0: 	f=1.0f;
sl@0: 	g=2.0f;
sl@0: 	h=__mulsf3(f,g);	// none
sl@0: 	test(h==2.0f);
sl@0: 
sl@0: 	// Division - possible errors are overflow, underflow, divide by zero, argument or none
sl@0: 
sl@0: 	f=KMaxTReal32;
sl@0: 	g=0.5f;
sl@0: 	h=__divsf3(f,g);	// overflow
sl@0: 
sl@0: 	f=minDenormalTReal32;
sl@0: 	g=10.0f;
sl@0: 	h=__divsf3(f,g);	// underflow
sl@0: 	
sl@0: 	f=4.0f;
sl@0: 	g=0.0f;
sl@0: 	h=__divsf3(f,g);	// divide by zero
sl@0: 	
sl@0: 	f=0.0f;
sl@0: 	g=0.0f;
sl@0: 	h=__divsf3(f,g);	// argument
sl@0: 
sl@0: 	f=1.0f;
sl@0: 	g=2.0f;
sl@0: 	h=__divsf3(f,g);	// none
sl@0: 	test(h==0.5f);
sl@0: 
sl@0: 	// Converting double to float - possible errors are overflow, underflow, invalid operation or none
sl@0: 	TReal64 d;
sl@0: 
sl@0: 	d=1.0E+50;
sl@0: 	f=__truncdfsf2(d);	// overflow
sl@0: 
sl@0: 	d=1.0E-50;
sl@0: 	f=__truncdfsf2(d);	// underflow
sl@0: 
sl@0: 	d=KNaNTReal64;
sl@0: 	f=__truncdfsf2(d);	// invalid operation
sl@0: 
sl@0: 	d=4.0;	
sl@0: 	f=__truncdfsf2(d);	// none
sl@0: 	}
sl@0: 
sl@0: #endif
sl@0: 
sl@0: LOCAL_C void testUnary()
sl@0: //
sl@0: //	Unary operator tests
sl@0: //
sl@0: 	{
sl@0: 	TReal32 f;
sl@0: 	TRealX g;
sl@0: 	
sl@0: 	for (TInt ii=0; ii<sizeUnary-1; ii++)
sl@0: 		{
sl@0: 		f=unaryInput[ii];
sl@0: 		g=TRealX(f);
sl@0: 		test(TRealX(-f)==TRealX(TReal32(-g)));
sl@0: 		test(TRealX(-f)==TRealX(0.0f-f));
sl@0: 		test(TRealX(+f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(+f)==TRealX(0.0f+f));
sl@0: 		test(TRealX(*(TReal32*)&unaryArray[ii])==TRealX(-f));
sl@0: 		}
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void testEqualities(const TReal& aA, TOrder aOrder, const TReal& aB)
sl@0: //
sl@0: //	Test equality/inequality functions on aA and aB
sl@0: //	aOrder specifies the operand's relative sizes
sl@0: //
sl@0: 	{
sl@0: 
sl@0: 	//	Tautologies
sl@0: 	test((aA>aA) ==FALSE);
sl@0: 	test((aA<aA) ==FALSE);
sl@0: 	test((aA>=aA)==TRUE);
sl@0: 	test((aA<=aA)==TRUE);
sl@0: 	test((aA==aA)==TRUE);
sl@0: 	test((aA!=aA)==FALSE);
sl@0: 	if (aOrder!=EEqual)
sl@0: 		{
sl@0: 		test((aA==aB)==FALSE);
sl@0:   		test((aA!=aB)==TRUE);
sl@0: 		}
sl@0: 	if (aOrder==ELessThan)
sl@0: 		{
sl@0: 		test((aA<aB) ==TRUE);
sl@0: 		test((aA<=aB)==TRUE);
sl@0: 		test((aA>aB) ==FALSE);
sl@0: 		test((aA>=aB)==FALSE);
sl@0: 		}
sl@0: 	if (aOrder==EEqual)
sl@0: 		{
sl@0: 		test((aA==aB)==TRUE);
sl@0: 		test((aA!=aB)==FALSE);
sl@0: 		test((aA>=aB)==TRUE);
sl@0: 		test((aA<=aB)==TRUE);
sl@0: 		test((aA>aB)==FALSE);
sl@0: 		test((aA<aB)==FALSE);
sl@0: 		}
sl@0: 	if (aOrder==EGreaterThan)
sl@0: 		{
sl@0: 		test((aA>aB) ==TRUE);
sl@0: 		test((aA>=aB)==TRUE);
sl@0: 		test((aA<aB) ==FALSE);
sl@0: 		test((aA<=aB)==FALSE);
sl@0: 		}
sl@0: 	}
sl@0: 	 
sl@0: LOCAL_C void testEqualities()
sl@0: //
sl@0: //	Test >, <, >=, <=, ==, !=
sl@0: //
sl@0: 	{
sl@0: 	TInt i, size;
sl@0: 	TReal32 lessThanMax = KMaxTReal32-TReal32(1.0E+32);
sl@0: 	TReal32 greaterThanMin = 1.17550E-38f;
sl@0: 	TReal32 zero(0.0f);
sl@0: 	
sl@0: 	TReal32 positive[] =
sl@0: 	{KMinTReal32,5.3824705E-26f,1.0f,2387501.0f,5.3824705E+28f,KMaxTReal32};
sl@0: 
sl@0: 	TReal32 large[] =
sl@0: 	{2.0f,KMaxTReal32,-lessThanMax,greaterThanMin,-KMinTReal32,10.4058482f,-10.4058482f,
sl@0: 	1.2443345E+14f,1.2443345E+14f,-1.3420344E-16f,132435.97f,5.0E-6f,9.6f,-8.0f}; 
sl@0: 	
sl@0: 	TReal32 small[] =
sl@0: 	{1.0f,lessThanMax,-KMaxTReal32,KMinTReal32,-greaterThanMin,10.4058474f,-10.4058496f,
sl@0: 	5.0E-10f,1.2443345E+10f,-5.0382470E+25f,-132435.97f,-5.1E-6f,8.0f,-9.6f};
sl@0: 	
sl@0: 	TReal32 equal[] =							  // Same as large[]
sl@0: 	{2.0f,KMaxTReal32,-lessThanMax,greaterThanMin,-KMinTReal32,10.4058482f,-10.4058482f,
sl@0: 	1.2443345E+14f,1.2443345E+14f,-1.3420344E-16f,132435.97f,5.0E-6f,9.6f,-8.0f}; 
sl@0: 
sl@0: 
sl@0: 	// Tests with zero
sl@0: 
sl@0: 	size = sizeof(positive)/sizeof(TReal32);
sl@0: 	
sl@0: 	test.Start(_L("Zero"));
sl@0: 	testEqualities(zero, EEqual, zero);
sl@0: 	for (i=0; i<size; i++)
sl@0: 		{
sl@0: 		testEqualities(positive[i], EGreaterThan, zero);
sl@0: 		testEqualities(-positive[i], ELessThan, zero);
sl@0: 		testEqualities(zero, ELessThan, positive[i]);
sl@0: 		testEqualities(zero, EGreaterThan, -positive[i]);
sl@0: 		}
sl@0: 
sl@0: 	// Test boundary and other numbers
sl@0: 	
sl@0: 	size = sizeof(large)/sizeof(TReal32);
sl@0: 	
sl@0: 	test.Next(_L("Nonzero"));
sl@0: 	for (i=0; i<size; i++)
sl@0: 		{
sl@0: 		testEqualities(large[i], EGreaterThan, small[i]);
sl@0: 		testEqualities(small[i], ELessThan, large[i]);
sl@0: 		testEqualities(large[i], EEqual, equal[i]);
sl@0: 		}
sl@0: 
sl@0: 	test.End();
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void testIncDec()
sl@0: //
sl@0: //	Test Pre/Post - increment/decrement
sl@0: //
sl@0: 	{
sl@0: 
sl@0: 	TInt ii;
sl@0: 	TReal32 f;
sl@0: 	TRealX g;
sl@0: 	
sl@0: 	test.Start(_L("Pre-increment"));
sl@0: 	
sl@0: 	for (ii=0; ii<sizeIncDec; ii++)
sl@0: 		{
sl@0: 		f=incDecInput[ii];
sl@0: 		g=TRealX(f);
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(++f)==TRealX(TReal32(++g)));
sl@0: 		test(TRealX(*(TReal32*)&preIncArray1[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(++f)==TRealX(TReal32(++g)));
sl@0: 		test(TRealX(*(TReal32*)&preIncArray2[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		}
sl@0: 	
sl@0: 	test.Next(_L("Post-increment"));
sl@0: 
sl@0: 	for (ii=0; ii<sizeIncDec; ii++)
sl@0: 		{
sl@0: 		f=incDecInput[ii];
sl@0: 		g=TRealX(f);
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(f++)==TRealX(TReal32(g++)));
sl@0: 		test(TRealX(*(TReal32*)&postIncArray1[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(f++)==TRealX(TReal32(g++)));
sl@0: 		test(TRealX(*(TReal32*)&postIncArray2[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		}
sl@0: 	
sl@0: 	test.Next(_L("Pre-decrement"));
sl@0: 
sl@0: 	for (ii=0; ii<sizeIncDec; ii++)
sl@0: 		{
sl@0: 		f=incDecInput[ii];
sl@0: 		g=TRealX(f);
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(--f)==TRealX(TReal32(--g)));
sl@0: 		test(TRealX(*(TReal32*)&preDecArray1[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(--f)==TRealX(TReal32(--g)));
sl@0: 		test(TRealX(*(TReal32*)&preDecArray2[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		}
sl@0: 	
sl@0: 	test.Next(_L("Post-decrement"));
sl@0: 
sl@0: 	for	(ii=0; ii<sizeIncDec; ii++)
sl@0: 		{
sl@0: 		f=incDecInput[ii];
sl@0: 		g=TRealX(f);
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(f--)==TRealX(TReal32(g--)));
sl@0: 		test(TRealX(*(TReal32*)&postDecArray1[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		test(TRealX(f--)==TRealX(TReal32(g--)));
sl@0: 		test(TRealX(*(TReal32*)&postDecArray2[ii])==TRealX(f));
sl@0: 		test(TRealX(f)==TRealX(TReal32(g)));
sl@0: 		}
sl@0: 	test.End();
sl@0: 	}
sl@0: 
sl@0: LOCAL_C void _matherr(TExcType aType)
sl@0: 	{
sl@0: 	test.Printf(_L("_matherr: Exception type %u handled\n"),TUint(aType));
sl@0: 	}
sl@0: 
sl@0: GLDEF_C TInt E32Main()
sl@0: //
sl@0: //	Test TReal32
sl@0: //
sl@0:     {	  
sl@0: 	
sl@0: 	test.Title();
sl@0: 
sl@0: 	User::SetExceptionHandler(_matherr,KExceptionFpe);
sl@0: 
sl@0: 	initSpecialValues();
sl@0: 
sl@0: 	test.Start(_L("Conversion from TReal to TReal32"));
sl@0: 	testConvert();
sl@0: 	test.Next(_L("Addition"));
sl@0: 	testAdd();
sl@0: 	test.Next(_L("Subtraction"));	
sl@0: 	testSubt();
sl@0: 	test.Next(_L("Multiplication"));
sl@0: 	testMult();
sl@0: 	test.Next(_L("Division"));
sl@0: 	testDiv();
sl@0: #if defined (__WINS__) || defined (__X86__)
sl@0: 	test.Next(_L("Arithmetic which emulates UP_GCC and raises an exception"));
sl@0: 	testArithmeticExceptionRaising();
sl@0: #endif
sl@0: 	test.Next(_L("Unary Operators"));
sl@0: 	testUnary();
sl@0: 	test.Next(_L("Equalities and Inequalities"));
sl@0: 	testEqualities();
sl@0: 	test.Next(_L("Increment and Decrement"));
sl@0: 	testIncDec();
sl@0: 
sl@0: 	test.End();
sl@0: 	return(KErrNone);
sl@0:     }
sl@0: 
sl@0: