// Copyright (c) 1995-2009 Nokia Corporation and/or its subsidiary(-ies).
// All rights reserved.
// This component and the accompanying materials are made available
// under the terms of the License "Eclipse Public License v1.0"
// which accompanies this distribution, and is available
// at the URL "http://www.eclipse.org/legal/epl-v10.html".
//
// Initial Contributors:
// Nokia Corporation - initial contribution.
//
// Contributors:
//
// Description:
// e32test\math\t_i64_2.cpp
// Overview:
// Test 64-bit integer functionality.
// API Information:
// TInt64, TUInt64.
// Details:
// - Construct TInt64 and TUInt64 and verify the results.
// - Test the unary and shift operators and check results are as expected.
// - Test the  + - * / and % operators, verify results are as expected.
// - Test the  + - * / and % operators with random numbers, verify results 
// are as expected.
// - Test the conversion of TInt64 to/from TReal. Verify that the results
// are as expected.
// - Test the conversion of TInt64 to/from text. Verify that the results
// are as expected.
// Platforms/Drives/Compatibility:
// All.
// Assumptions/Requirement/Pre-requisites:
// Failures and causes:
// Base Port information:
// 
//

#include <e32test.h>
#include <e32math.h>
#include "largeint.h"
#include "../misc/prbs.h"

typedef TLargeInt<2> I64;
typedef TLargeInt<4> I128;

RTest test(_L("T_I64_2"));
TUint Seed[2];

TUint64 Random64()
	{
	TUint h = Random(Seed);
	TUint l = Random(Seed);
	return MAKE_TUINT64(h,l);
	}

#define BOOL(x)	((x)?1:0)

#define FOREACH(p, table, esize)	\
	for(p=table; p<(const TUint32*)((const TUint8*)table+sizeof(table)); p+=esize/sizeof(TUint32))

const TUint32 Table1[] =
	{
	0x00000000, 0x00000000,
	0x00000001, 0x00000000,
	0x0000cc01, 0x00000000,
	0x00db2701, 0x00000000,
	0xcc9ffcd1, 0x00000000,
	0x00000000, 0xffffffff,
	0xeeeeeeee, 0xffffffff,
	0x04030201, 0x00000055,
	0x04030201, 0x00006655,
	0x04030201, 0x00776655,
	0x04030201, 0x33776655,
	0xf9de6484, 0xb504f333
	};

void Test1()
	{
	test.Next(_L("Unary operators and shifts"));

	const TUint32* p;
	FOREACH(p,Table1,8)
		{
		I64 a(p);
		TInt64 b = MAKE_TINT64(p[1], p[0]);
		I64 c(b);
		test(a==c);
		TUint64 d = MAKE_TUINT64(p[1], p[0]);
		I64 e(d);
		test(a==e);
		I64 c2(~b);
		I64 c3(-b);
		a.Not();
		test(c2==a);
		a.Not();
		test(c==a);
		a.Neg();
		test(c3==a);
		a.Neg();
		test(c==a);
		}
	FOREACH(p,Table1,8)
		{
		I64 a(p);
		TInt64 s = MAKE_TINT64(p[1], p[0]);
		TUint64 u = MAKE_TUINT64(p[1], p[0]);
		TInt n;
		for (n=0; n<64; ++n)
			{
			I64 b(a), c(a), d(a);
			b.Lsl(n), c.Lsr(n), d.Asr(n);
			TInt64 s2 = s<<n;
			TInt64 s3 = s>>n;
			TUint64 u2 = u<<n;
			TUint64 u3 = u>>n;
//			test.Printf(_L("s2=%lx\ns3=%lx\n,u2=%lx\n,u3=%lx\n"),s2,s3,u2,u3);
			test(b == I64(s2));
			test(b == I64(u2));
			test(c == I64(u3));
			test(d == I64(s3));
			}
		}
	}

const TUint32 Table2[] =
	{
	0x00000000, 0x00000000, 0x00000000, 0x00000000,
	0x00000001, 0x00000000, 0x00000000, 0x00000000,
	0x05f5e100, 0x00000000, 0x000000cb, 0x00000000,
	0xffffff9c, 0xffffffff, 0x00129cbb, 0x00000000,
	0xffffcd03, 0xffffffff, 0xffff9123, 0xffffffff,
	0xf9de6484, 0xb504f333, 0xf9de6484, 0xb504f333,
	0xf9de6484, 0xb504f333, 0x2168c235, 0xc90fdaa2,
	0xf9de6484, 0xb504f333, 0x000000cb, 0x00000000,
	0xf9de6484, 0xb504f333, 0x800000cb, 0x00000000,
	0xf9de6484, 0xb504f333, 0x000000cb, 0x00000001,
	0xf9de6484, 0xb504f333, 0xfffffed9, 0xffffffff,
	0xf9de6484, 0xb504f333, 0x197383db, 0xffffffff,
	0xf9de6484, 0xb504f333, 0x197383db, 0xffffffec,
	0x38aa3b29, 0x5c17f0bc, 0x000019c7, 0x00000000,
	0x38aa3b29, 0x5c17f0bc, 0x800019c7, 0x00000000,
	0x38aa3b29, 0x5c17f0bc, 0x000019c7, 0x00000003,
	0x38aa3b29, 0x5c17f0bc, 0x197383db, 0xffffffff,
	0x38aa3b29, 0x5c17f0bc, 0x197383db, 0xffffffec,
	0x00123456, 0x00000000, 0x8cb9fc1b, 0x00000000,
	0x00000123, 0x00000000, 0x8cb9fc1b, 0x0000cc9f,
	0xfffffe33, 0xffffffff, 0x8cb9fc1b, 0x0000cc9f
	};

void Test2(const TUint32* p)
	{
	I64 a(p), b(p+2);
	TInt64 x = MAKE_TINT64(p[1], p[0]);
	TInt64 y = MAKE_TINT64(p[3], p[2]);
	TUint64 u = MAKE_TUINT64(p[1], p[0]);
	TUint64 v = MAKE_TUINT64(p[3], p[2]);
	{
	I64 c(a); c.Add(b); test(c==I64(x+y)); test(c==I64(u+v));
	test(c==I64(y+x)); test(c==I64(v+u));
	}
	{
	I64 c(a); c.Sub(b); test(c==I64(x-y)); test(c==I64(u-v));
	I64 d(b); d.Sub(a); test(d==I64(y-x)); test(d==I64(v-u));
	}
	{
	I64 c(a); c.Mul(b); test(c==I64(x*y)); test(c==I64(u*v));
	test(c==I64(y*x)); test(c==I64(v*u));
	}
	{
	I128 c = a.LongMultS(b);
	TUint32 t[4];
	Math::Mul64(x, y, *(TInt64*)(t+2), *(TUint64*)t);
	test(c==I128(t));
	Math::Mul64(y, x, *(TInt64*)(t+2), *(TUint64*)t);
	test(c==I128(t));
	}
	{
	I128 c = a.LongMultU(b);
	TUint32 t[4];
	Math::UMul64(u, v, *(TUint64*)(t+2), *(TUint64*)t);
	test(c==I128(t));
	Math::UMul64(v, u, *(TUint64*)(t+2), *(TUint64*)t);
	test(c==I128(t));
	}
	if (y!=0)
		{
		I64 r; I64 q(a); q.DivS(b,r);
		test(q==I64(x/y));
		test(r==I64(x%y));
		TInt64 r2;
		TInt64 q2 = Math::DivMod64(x, y, r2);
		test(q==I64(q2));
		test(r==I64(r2));
		}
	if (x!=0)
		{
		I64 r; I64 q(b); q.DivS(a,r);
		test(q==I64(y/x));
		test(r==I64(y%x));
		TInt64 r2;
		TInt64 q2 = Math::DivMod64(y, x, r2);
		test(q==I64(q2));
		test(r==I64(r2));
		}
	if (v!=0)
		{
		I64 r; I64 q(a); q.DivU(b,r);
		test(q==I64(u/v));
		test(r==I64(u%v));
		TUint64 r2;
		TUint64 q2 = Math::UDivMod64(u, v, r2);
		test(q==I64(q2));
		test(r==I64(r2));
		}
	if (u!=0)
		{
		I64 r; I64 q(b); q.DivU(a,r);
		test(q==I64(v/u));
		test(r==I64(v%u));
		TUint64 r2;
		TUint64 q2 = Math::UDivMod64(v, u, r2);
		test(q==I64(q2));
		test(r==I64(r2));
		}
	{
	TInt cmpu = a.CompareU(b);
	TInt cmps = a.CompareS(b);
	TInt equ = BOOL(u==v);
	TInt neu = BOOL(u!=v);
	TInt hi = BOOL(u>v);
	TInt hs = BOOL(u>=v);
	TInt lo = BOOL(u<v);
	TInt ls = BOOL(u<=v);

	TInt eqs = BOOL(x==y);
	TInt nes = BOOL(x!=y);
	TInt gt = BOOL(x>y);
	TInt ge = BOOL(x>=y);
	TInt lt = BOOL(x<y);
	TInt le = BOOL(x<=y);

	test(equ==eqs);
	test(neu==nes);
	test(equ!=neu);
	if (cmpu>0)
		test(!equ && hi && hs && !lo && !ls);
	else if (cmpu<0)
		test(!equ && !hi && !hs && lo && ls);
	else
		test(equ && !hi && hs && !lo && ls);
	if (cmps>0)
		test(!eqs && gt && ge && !lt && !le);
	else if (cmps<0)
		test(!eqs && !gt && !ge && lt && le);
	else
		test(eqs && !gt && ge && !lt && le);
	}
	}

void Test2()
	{
	test.Next(_L("Test + - * / % (1)"));
	const TUint32* p;
	FOREACH(p,Table2,16)
		{
		Test2(p);
		}
	}

void Test3()
	{
	test.Next(_L("Test + - * / % (2)"));
	TInt i;
	for (i=0; i<100; ++i)
		{
		TUint32 p[4];
		p[0] = Random(Seed);
		p[1] = Random(Seed);
		p[2] = Random(Seed);
		p[3] = Random(Seed);
		Test2(p);
		}
	}

void Test4()
	{
	test.Next(_L("Test conversion to/from TReal"));
	TReal x;
	TReal limit=1048576.0*1048576.0*8192.0;
	TInt64 t22 = (TInt64)limit;
	test(t22 == TInt64(1)<<53);
	TInt64 t23 = (TInt64)(limit-1.0);
	test(t23 == (TInt64(1)<<53)-1);


	TInt i;
	TInt64 l;
	for (i=-99; i<100; i++)
		{
		x=1;
		l=1;
		TReal a(i);
		TInt64 b(i);
		while (Abs(x)<limit)
			{
			TInt64 ll = (TInt64)x;
//			test.Printf(_L("r64 %g -> i64 %lx (%lx)\n"), x, ll, l);
			test(ll==l);
			ll=0;
			ll = (TInt64)x;
			test(ll==l);
			x*=a;
			l*=b;
			if (i==1 || i==0 || (i==-1 && l==TInt64(1)))
				break;
			}
		}

	TReal i64limit = 1024.0*limit;
	l=MAKE_TINT64(0x7fffffff,0xfffffc00);
	x=(TReal)l;
	test(x==i64limit-1024.0);
	l=MAKE_TINT64(0x80000000,0x00000000);
	x=(TReal)l;
	test(x==-i64limit);
	l=MAKE_TINT64(0x80000000,0x00000400);
	x=(TReal)l;
	test(x==1024.0-i64limit);
	l=MAKE_TINT64(0x00000001,0x00000000);
	x=(TReal)l;
	test(x==65536.0*65536.0);
	l=MAKE_TINT64(0xffffffff,0x00000000);
	x=(TReal)l;
	test(x==-65536.0*65536.0);

	for (i=-99; i<100; i++)
		{
		x=1;
		l=1;
		TReal a(i);
		TInt64 b(i);
		while (Abs(x)<limit)
			{
			TReal y = (TReal)l;
			test(y==x);
			x*=a;
			l*=b;
			if (i==1 || i==0 || (i==-1 && l==TInt64(1)))
				break;
			}
		}
 
	}

_LIT8(KTestHex8,"0 1 8 a 1b 2c7 10000000 100000000 1901cbfdc b504f333f9de6484 ffffffffffffffff");
_LIT16(KTestHex16,"0 1 8 a 1b 2c7 10000000 100000000 1901cbfdc b504f333f9de6484 ffffffffffffffff");

const TUint32 TestHexTable[] =
	{
	0x00000000, 0x00000000,
	0x00000001, 0x00000000,
	0x00000008, 0x00000000,
	0x0000000a, 0x00000000,
	0x0000001b, 0x00000000,
	0x000002c7, 0x00000000,
	0x10000000, 0x00000000,
	0x00000000, 0x00000001,
	0x901cbfdc, 0x00000001,
	0xf9de6484, 0xb504f333,
	0xffffffff, 0xffffffff
	};

_LIT8(KTestDec8,"0 1 8 100 6561 536870912 2147483648 4294967295 4294967296 549755813888 1000000000000000 9223372036854775807	\
					-9223372036854775808 -9223372036854775807 -9000000000000000000 -1099511627776 -4294967296 -1000 -1");
_LIT16(KTestDec16,"0 1 8 100 6561 536870912 2147483648 4294967295 4294967296 549755813888 1000000000000000 9223372036854775807	\
					-9223372036854775808 -9223372036854775807 -9000000000000000000 -1099511627776 -4294967296 -1000 -1");

const TUint32 TestDecTable[] =
	{
	0x00000000, 0x00000000,
	0x00000001, 0x00000000,
	0x00000008, 0x00000000,
	0x00000064, 0x00000000,
	0x000019a1, 0x00000000,
	0x20000000, 0x00000000,
	0x80000000, 0x00000000,
	0xffffffff, 0x00000000,
	0x00000000, 0x00000001,
	0x00000000, 0x00000080,
	0xa4c68000, 0x00038d7e,
	0xffffffff, 0x7fffffff,
	0x00000000, 0x80000000,
	0x00000001, 0x80000000,
	0x1d7c0000, 0x831993af,
	0x00000000, 0xffffff00,
	0x00000000, 0xffffffff,
	0xfffffc18, 0xffffffff,
	0xffffffff, 0xffffffff
	};

void Test5()
	{
	test.Next(_L("Test conversion to/from text"));
	TLex8 lex8;
	lex8.Assign(KTestHex8());
	TInt64 u;
	const TUint32* p = TestHexTable;
	for (; !lex8.Eos(); lex8.SkipSpace(), p+=2)
		{
		lex8.Mark();
		test(lex8.Val(u,EHex)==KErrNone);
		test(u == MAKE_TINT64(p[1], p[0]));
		TPtrC8 text = lex8.MarkedToken();
		TBuf8<64> b;
		b.Num(u,EHex);
		test(b==text);
		b.NumUC(u,EHex);
		TBuf8<64> uc = text;
		uc.UpperCase();
		test(b==uc);
		}
	lex8.Assign(KTestDec8());
	TInt64 s;
	p = TestDecTable;
	for (; !lex8.Eos(); lex8.SkipSpace(), p+=2)
		{
		lex8.Mark();
		test(lex8.Val(s)==KErrNone);
		test(s == MAKE_TINT64(p[1], p[0]));
		TPtrC8 text = lex8.MarkedToken();
		TBuf8<64> b;
		b.Num(s);
		test(b==text);
		}

	TLex16 lex16;
	lex16.Assign(KTestHex16());
	p = TestHexTable;
	for (; !lex16.Eos(); lex16.SkipSpace(), p+=2)
		{
		lex16.Mark();
		test(lex16.Val(u,EHex)==KErrNone);
		test(u == MAKE_TINT64(p[1], p[0]));
		TPtrC16 text = lex16.MarkedToken();
		TBuf16<64> b;
		b.Num(u,EHex);
		test(b==text);
		b.NumUC(u,EHex);
		TBuf16<64> uc = text;
		uc.UpperCase();
		test(b==uc);
		}
	lex16.Assign(KTestDec16());
	p = TestDecTable;
	for (; !lex16.Eos(); lex16.SkipSpace(), p+=2)
		{
		lex16.Mark();
		test(lex16.Val(s)==KErrNone);
		test(s == MAKE_TINT64(p[1], p[0]));
		TPtrC16 text = lex16.MarkedToken();
		TBuf16<64> b;
		b.Num(s);
		test(b==text);
		}
	}

GLDEF_C TInt E32Main()
    {

	Seed[0] = 0xb8aa3b29;
	Seed[1] = 0;

	test.Title();
	test.Start(_L("Testing 64 bit integers"));

	Test1();
	Test2();
	Test3();
	Test4();
	Test5();

	test.End();
	return(KErrNone);
    }