Compare commits
56 Commits
Author | SHA1 | Date | |
---|---|---|---|
125c051ea1 | |||
de150d00ec | |||
2d821bbad9 | |||
e083c5f889 | |||
11b9f389b9 | |||
bac79e0bfa | |||
0d1a57bdb4 | |||
4b4b30392a | |||
4f1763d773 | |||
cccf82797f | |||
e73ce2f8bc | |||
2feabc64e2 | |||
413c83de45 | |||
bf520689fb | |||
af4fbf3098 | |||
462ff7cc65 | |||
02da809583 | |||
32ebbbfd9e | |||
e765fba8a1 | |||
a8eb29e57d | |||
31b8c242bd | |||
4c0d8c26ff | |||
01a86e40d9 | |||
f19078f9f1 | |||
adc5015ad9 | |||
da730d1c70 | |||
9ccacd8817 | |||
b3d27979d0 | |||
e13e5eb329 | |||
74b31b1f54 | |||
28964d30f7 | |||
0d71b0cec2 | |||
3544a1df3c | |||
00519ff26d | |||
799e2c32a7 | |||
53547cfab5 | |||
d3a64b79ca | |||
c70a947c07 | |||
8972fdfdb3 | |||
019a902fed | |||
74553109a5 | |||
9e42a5a9fd | |||
1b6858616d | |||
d789ac5396 | |||
bb2583649e | |||
5e5a106605 | |||
eaa19dd46a | |||
939d0f7519 | |||
05b67e7103 | |||
3231780a85 | |||
1bae0d6cb8 | |||
277dd72fb6 | |||
a7a7eb7808 | |||
e665f91682 | |||
85945b2bb0 | |||
1efe39686b |
209
CHANGELOG
209
CHANGELOG
@@ -1,3 +1,212 @@
|
|||||||
|
Version 0.9.0 (2009.11.25):
|
||||||
|
* added: support for wide characters (wchar_t, std::wstring)
|
||||||
|
* added: Big::IsInteger()
|
||||||
|
returns true if the value is integer (without fraction)
|
||||||
|
(NaN flag is not checked)
|
||||||
|
* added: global Gamma() function
|
||||||
|
* added: gamma() function to the parser
|
||||||
|
* added: CGamma<ValueType> class
|
||||||
|
is used with Gamma() and Factorial() in multithreaded environment
|
||||||
|
* added: multithread support for Big<> class
|
||||||
|
you should compile with TTMATH_MULTITHREADS
|
||||||
|
and use TTMATH_MULTITHREADS_HELPER macro somewhere in your *.cpp file
|
||||||
|
* added: x86_64 asm code for Microsoft Visual compiler
|
||||||
|
file: ttmathuint_x86_64_msvc.asm
|
||||||
|
(this file should be compiled first because MS VC doesn't support inline assembler in x86_64 mode)
|
||||||
|
* added: flag TTMATH_BIG_ZERO to Big<> class
|
||||||
|
if this flag is set then there is a value zero
|
||||||
|
Big::IsZero() is faster now
|
||||||
|
* added: Big::ClearInfoBit(unsigned char)
|
||||||
|
Big::SetInfoBit(unsigned char)
|
||||||
|
Big::IsInfoBit(unsigned char)
|
||||||
|
some methods for manipulating the info flags
|
||||||
|
* added: macro: TTMATH_BITS(min_bits)
|
||||||
|
which returns the number of machine words
|
||||||
|
capable to hold min_bits bits
|
||||||
|
* added: bool Parser::Calculated()
|
||||||
|
this method returns true is something was calculated
|
||||||
|
(at least one mathematical operator was used or a function or variable)
|
||||||
|
* added: to the parser: operator percentage
|
||||||
|
e.g. 1000-50%=1000-(1000*0,5)=500
|
||||||
|
* added: struct: Conv
|
||||||
|
consists of some parameters used
|
||||||
|
in ToString() and FromString()
|
||||||
|
* added: Big::ToString() can group digits
|
||||||
|
e.g. 1234567 -> 1`234`567
|
||||||
|
* added: Parser::SetGroup(int g)
|
||||||
|
Parser::SetComma(int c, int c2 = 0)
|
||||||
|
Parser::SetParamSep(int s)
|
||||||
|
* added: std::string UInt::ToString(uint b = 10)
|
||||||
|
std::wstring UInt::ToWString(uint b = 10)
|
||||||
|
std::string Int::ToString(uint b = 10)
|
||||||
|
std::wstring Int::ToWString(uint b = 10)
|
||||||
|
uint Big::ToString(std::string & result, const Conv & conv)
|
||||||
|
uint Big::ToString(std::wstring & result, const Conv & conv)
|
||||||
|
std::string Big::ToString(const Conv & conv)
|
||||||
|
std::string Big::ToString()
|
||||||
|
std::wstring Big::ToWString(const Conv & conv)
|
||||||
|
std::wstring Big::ToWString()
|
||||||
|
* added: uint FromString(const char * source, const Conv & conv, const char **, bool *)
|
||||||
|
uint FromString(const wchar_t * source, const Conv & conv, const wchar_t **, bool *)
|
||||||
|
uint FromString(const std::string & string, const Conv & conv, const wchar_t **, bool *)
|
||||||
|
uint FromString(const std::wstring & string, const Conv & conv, const wchar_t **, bool *)
|
||||||
|
* added: UInt::Sqrt() - a new algorithm for calculating the square root
|
||||||
|
* added: to the parser: function frac() - returns a value without the integer part
|
||||||
|
(only fraction remains)
|
||||||
|
* added: Int::DivInt(sint divisor, sint * remainder)
|
||||||
|
* added: const char * UInt::LibTypeStr()
|
||||||
|
const char * Big::LibTypeStr()
|
||||||
|
LibTypeCode UInt::LibType()
|
||||||
|
LibTypeCode Big::LibType()
|
||||||
|
returning a string/enum represents the currect type of the library
|
||||||
|
we have following types:
|
||||||
|
asm_vc_32 - with asm code designed for Microsoft Visual C++ (32 bits)
|
||||||
|
asm_gcc_32 - with asm code designed for GCC (32 bits)
|
||||||
|
asm_vc_64 - with asm for VC (64 bit)
|
||||||
|
asm_gcc_64 - with asm for GCC (64 bit)
|
||||||
|
no_asm_32 - pure C++ version (32 bit) - without any asm code
|
||||||
|
no_asm_64 - pure C++ version (64 bit) - without any asm code
|
||||||
|
* added: UInt::operator>>(int)
|
||||||
|
UInt::operator>>=(int)
|
||||||
|
UInt::operator<<(int)
|
||||||
|
UInt::operator<<=(int)
|
||||||
|
* changed: Factorial() is using the Gamma() function now
|
||||||
|
* changed: Big::Div(ss2)
|
||||||
|
Big::Mod(ss2)
|
||||||
|
they return 2 when ss2 is zero
|
||||||
|
previously returned 1
|
||||||
|
* changed: algorithms in Big::Sqrt() and ttmath::Root(x ; n)
|
||||||
|
they were not too much accurate for some integers
|
||||||
|
e.g. Root(16;4) returned a value very closed to 2 (not exactly 2)
|
||||||
|
* changed: added specializations to Big::ToString() when the base is equal 4, 8 or 16
|
||||||
|
the previous version was not accurate on some last digits (after the comma operator)
|
||||||
|
consider this binary value (32 bit mantissa):
|
||||||
|
base 2: 1.1111 1111 1111 1111 1111 1111 1110 101
|
||||||
|
previous ToString() gave:
|
||||||
|
base 4: 1.33333333333332
|
||||||
|
base 8: 1.777777777
|
||||||
|
base 16: 1.FFFFFF
|
||||||
|
now we have:
|
||||||
|
base 4: 1.3333333333333222
|
||||||
|
base 8: 1.77777777724
|
||||||
|
base 16: 1.FFFFFFEA
|
||||||
|
* changed: in Big::ToString() some additional rounding (base_round) is now made only
|
||||||
|
when the value is not an integer
|
||||||
|
* changed: another compilers than MS VC or GCC by default use no asm version (TTMATH_NOASM)
|
||||||
|
* removed: Parser<>::SetFactorialMax() method
|
||||||
|
the factorial() is such a fast now that we don't need the method longer
|
||||||
|
* removed: ErrorCode::err_too_big_factorial
|
||||||
|
* removed: macros: TTMATH_COMMA_CHARACTER_1 and TTMATH_COMMA_CHARACTER_2
|
||||||
|
the comma characters we have in Conv struct now
|
||||||
|
|
||||||
|
|
||||||
|
Version 0.8.6 (2009.10.25):
|
||||||
|
* fixed: UInt::SetBitInWord(uint & value, uint bit) set 1 if the bit was
|
||||||
|
equal 1 (should be set 2)
|
||||||
|
this affected only no-asm parts - when macro TTMATH_NOASM was defined
|
||||||
|
* fixed: UInt<value_size>::MulInt(uint ss2)
|
||||||
|
there was a buffer overflow when value_size was equal 1
|
||||||
|
* fixed: UInt::AddVector() and UInt::SubVector() didn't want to compile
|
||||||
|
when macro TTMATH_NOASM was defined
|
||||||
|
* fixed: Big::operator>> didn't correctly recognize values in scientific mode (with 'e' character)
|
||||||
|
* fixed: Int::FromString(const tt_string & s, uint b = 10)
|
||||||
|
didn't use 'b' (always was '10')
|
||||||
|
* fixed: buffer overflow in Big::ToInt(Int<int_size> & result)
|
||||||
|
* fixed: powering algorithm in:
|
||||||
|
UInt::Pow(UInt<value_size> pow)
|
||||||
|
Big::Pow(UInt<pow_size> pow)
|
||||||
|
Big::PowUInt(Big<exp, man> pow)
|
||||||
|
when 'pow' was sufficient large the algorithm returned carry
|
||||||
|
but the result could have been calculated correctly
|
||||||
|
|
||||||
|
|
||||||
|
Version 0.8.5 (2009.06.16):
|
||||||
|
* fixed: Big::Mod(x) didn't correctly return a carry
|
||||||
|
and the result was sometimes very big (even greater than x)
|
||||||
|
* fixed: global function Mod(x) didn't set an ErrorCode object
|
||||||
|
* fixed: global function Round() didn't test a carry
|
||||||
|
now it sets ErrorCode object
|
||||||
|
* changed: function Sin(x) to Sin(x, ErrorCode * err=0)
|
||||||
|
when x was very big the function returns zero
|
||||||
|
now it sets ErrorCode object to err_overflow
|
||||||
|
and the result has a NaN flag set
|
||||||
|
the same is to Cos() function
|
||||||
|
* changed: PrepareSin(x) is using Big::Mod() now when reducing 2PI period
|
||||||
|
should be a little accurate especially on a very big 'x'
|
||||||
|
* changed: uint Mul(const UInt<value_size> & ss2, uint algorithm = 100)
|
||||||
|
void MulBig(const UInt<value_size> & ss2, UInt<value_size*2> & result, uint algorithm = 100)
|
||||||
|
those methods by default use MulFastest() and MulFastestBig()
|
||||||
|
* changed: changed a little Mul2Big() to cooperate with Mul3Big()
|
||||||
|
* added: uint UInt::Mul3(const UInt<value_size> & ss2)
|
||||||
|
void UInt::Mul3Big(const UInt<value_size> & ss2, UInt<value_size*2> & result)
|
||||||
|
a new multiplication algorithm: Karatsuba multiplication,
|
||||||
|
on a vector UInt<100> with all items different from zero this algorithm is faster
|
||||||
|
about 3 times than Mul2Big(), and on a vector UInt<1000> with all items different from
|
||||||
|
zero this algorithm is faster more than 5 times than Mul2Big()
|
||||||
|
(measured on 32bit platform with GCC 4.3.3 with -O3 and -DTTMATH_RELEASE)
|
||||||
|
* added: uint MulFastest(const UInt<value_size> & ss2)
|
||||||
|
void MulFastestBig(const UInt<value_size> & ss2, UInt<value_size*2> & result)
|
||||||
|
those methods are trying to select the fastest multiplication algorithm
|
||||||
|
* added: uint AddVector(const uint * ss1, const uint * ss2, uint ss1_size, uint ss2_size, uint * result)
|
||||||
|
uint SubVector(const uint * ss1, const uint * ss2, uint ss1_size, uint ss2_size, uint * result)
|
||||||
|
three forms: asm x86, asm x86_64, no-asm
|
||||||
|
those methods are used by the Karatsuba multiplication algorithm
|
||||||
|
* added: to Big<> class: support for NaN flag (Not a Number)
|
||||||
|
bool Big::IsNan() - returns true if the NaN flag is set
|
||||||
|
void Big::SetNan() - sets the NaN flag
|
||||||
|
The NaN flag is set by default after creating an object:
|
||||||
|
Big<1, 2> a; // NaN is set (it means the object has not a valid number)
|
||||||
|
std::cout << a; // cout gives "NaN"
|
||||||
|
a = 123; // now NaN is not set
|
||||||
|
std::cout << a; // cout gives "123"
|
||||||
|
The NaN is set if there was a carry during calculations
|
||||||
|
a.Mul(very_big_value); // a will have a NaN set
|
||||||
|
The NaN is set if an argument is NaN too
|
||||||
|
b.SetNan();
|
||||||
|
a.Add(b); // a will have NaN because b has NaN too
|
||||||
|
If you try to do something on a NaN object, the result is a NaN too
|
||||||
|
a.SetNan();
|
||||||
|
a.Add(2); // a is still a NaN
|
||||||
|
The NaN is set if you use incorrect arguments
|
||||||
|
a.Ln(-10); // a will have the NaN flag
|
||||||
|
The only way to clear the NaN flag is to assign a correct value or other correct object,
|
||||||
|
supposing 'a' has NaN flag, to remove the flag you can either:
|
||||||
|
a = 10;
|
||||||
|
a.FromInt(30);
|
||||||
|
a.SetOne();
|
||||||
|
a.FromBig(other_object_without_nan);
|
||||||
|
etc.
|
||||||
|
|
||||||
|
|
||||||
|
Version 0.8.4 (2009.05.08):
|
||||||
|
* fixed: UInt::DivInt() didn't check whether the divisor is zero
|
||||||
|
there was a hardware interruption when the divisor was zero
|
||||||
|
(now the method returns one)
|
||||||
|
* fixed: the problem with GCC optimization on x86_64
|
||||||
|
sometimes when using -O2 or -O3 GCC doesn't set correctly
|
||||||
|
the stack pointer (actually the stack is used for other things)
|
||||||
|
and you can't use instructions like push/pop in assembler code.
|
||||||
|
All the asm code in x86_64 have been rewritten, now instructions
|
||||||
|
push/pop are not used, other thing which have access to stack
|
||||||
|
(like "m" (mask) constraints in Rcl2 and Rcr2) have also gone away,
|
||||||
|
now the library works well with -O2 and -O3 and the asm code
|
||||||
|
is a little faster
|
||||||
|
* added: UInt::PrintLog(const char * msg, std::ostream & output)
|
||||||
|
used (for debugging purposes) by macro TTMATH_LOG(msg)
|
||||||
|
(it is used in nearly all methods in UInt class)
|
||||||
|
* added: macro TTMATH_DEBUG_LOG: when defined then TTMATH_LOG()
|
||||||
|
put some debug information (to std::cout)
|
||||||
|
* added: ttmathuint_x86.h, ttmathuint_x86_64.h, ttmathuint_noasm.h,
|
||||||
|
all the methods which are using assembler code have been
|
||||||
|
rewritten to no-asm forms, now we have:
|
||||||
|
1. asm for x86 file: ttmathuint_x86.h
|
||||||
|
2. asm for x86_64 file: ttmathuint_x86_64.h
|
||||||
|
3. no asm file: ttmathuint_noasm.h
|
||||||
|
(it's used when macro TTMATH_NOASM is defined)
|
||||||
|
The third form can be used on x86 and x86_64 as well and
|
||||||
|
on other platforms with a little effort.
|
||||||
|
|
||||||
|
|
||||||
Version 0.8.3 (2009.04.06):
|
Version 0.8.3 (2009.04.06):
|
||||||
* fixed: RclMoveAllWords() and RcrMoveAllWords() sometimes didn't return
|
* fixed: RclMoveAllWords() and RcrMoveAllWords() sometimes didn't return
|
||||||
the proper carry, (when 'bits' was greater than or equal to 'value_size')
|
the proper carry, (when 'bits' was greater than or equal to 'value_size')
|
||||||
|
37
README
37
README
@@ -1,26 +1,23 @@
|
|||||||
TTMath - a bignum library for C++
|
A bignum library for C++
|
||||||
|
|
||||||
TTMath is a small library which allows one to perform arithmetic operations
|
TTMath is a small library which allows one to perform arithmetic operations
|
||||||
with big unsigned integer, big signed integer and big floating point
|
with big unsigned integer, big signed integer and big floating point numbers.
|
||||||
numbers. It provides standard mathematical operations like adding,
|
It provides standard mathematical operations like adding, subtracting,
|
||||||
subtracting, multiplying, dividing etc. With the library also goes
|
multiplying, dividing. With the library also goes a mathematical parser to
|
||||||
a mathematical parser which helps you solving input formulas read directly
|
help you solving mathematical expressions.
|
||||||
from a user.
|
|
||||||
|
|
||||||
TTMath is developed under the BSD licence which means that it is free
|
TTMath is developed under the BSD licence which means that it is free for
|
||||||
for both personal and commercial use.
|
both personal and commercial use.
|
||||||
|
|
||||||
The library has some technical limitations:
|
|
||||||
* there are only two platforms that are supported: x86 and x86_64,
|
|
||||||
* you can use this library only with the C++ programming language.
|
|
||||||
|
|
||||||
The main goal of the library is to allow one to use big values in the same
|
The main goal of the library is to allow one to use big values in the same
|
||||||
way as the standard types like int, float, etc. It does not need to be
|
way as the standard types like int or float. It does not need to be compiled
|
||||||
compiled first because the whole library is written as the C++ templates.
|
first because the whole library is written as the C++ templates. This means
|
||||||
This means only C++ developers can use this library and one thing they have
|
only C++ developers can use this library and one thing they have to do is
|
||||||
to do is to use 'include' directive of the preprocessor. How big the
|
to use 'include' directive of the preprocessor. How big the values can be
|
||||||
values can be is set directly in the source code by the programmer.
|
is set at compile time.
|
||||||
|
|
||||||
Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
Project pages: http://ttmath.slimaczek.pl
|
WWW: http://www.ttmath.org
|
||||||
http://sourceforge.net/projects/ttmath
|
|
||||||
|
Contributors:
|
||||||
|
Christian Kaiser <chk@online.de>
|
||||||
|
@@ -1,6 +1,6 @@
|
|||||||
o = main.o
|
o = main.o
|
||||||
CC = g++
|
CC = g++
|
||||||
CFLAGS = -s -O2 -DCONSTANTSGENERATOR
|
CFLAGS = -s -O2 -DTTMATH_CONSTANTSGENERATOR
|
||||||
name = gen
|
name = gen
|
||||||
|
|
||||||
|
|
||||||
|
@@ -91,7 +91,7 @@ void CalcE()
|
|||||||
ttmath::Big<1,400> e;
|
ttmath::Big<1,400> e;
|
||||||
ttmath::uint steps;
|
ttmath::uint steps;
|
||||||
|
|
||||||
// macro CONSTANTSGENERATOR has to be defined
|
// macro TTMATH_CONSTANTSGENERATOR has to be defined
|
||||||
e.ExpSurrounding0(1, &steps);
|
e.ExpSurrounding0(1, &steps);
|
||||||
std::cout << "---------------- e ----------------" << std::endl;
|
std::cout << "---------------- e ----------------" << std::endl;
|
||||||
e.mantissa.PrintTable(std::cout);
|
e.mantissa.PrintTable(std::cout);
|
||||||
@@ -105,7 +105,7 @@ void CalcLn(int x)
|
|||||||
ttmath::Big<1,400> ln;
|
ttmath::Big<1,400> ln;
|
||||||
ttmath::uint steps;
|
ttmath::uint steps;
|
||||||
|
|
||||||
// macro CONSTANTSGENERATOR has to be defined
|
// macro TTMATH_CONSTANTSGENERATOR has to be defined
|
||||||
ln.LnSurrounding1(x, &steps);
|
ln.LnSurrounding1(x, &steps);
|
||||||
std::cout << "---------------- ln(" << x << ") ----------------" << std::endl;
|
std::cout << "---------------- ln(" << x << ") ----------------" << std::endl;
|
||||||
ln.mantissa.PrintTable(std::cout);
|
ln.mantissa.PrintTable(std::cout);
|
||||||
|
1252
ttmath/ttmath.h
1252
ttmath/ttmath.h
File diff suppressed because it is too large
Load Diff
1735
ttmath/ttmathbig.h
1735
ttmath/ttmathbig.h
File diff suppressed because it is too large
Load Diff
@@ -1,7 +1,7 @@
|
|||||||
/*
|
/*
|
||||||
* This file is a part of TTMath Bignum Library
|
* This file is a part of TTMath Bignum Library
|
||||||
* and is distributed under the (new) BSD licence.
|
* and is distributed under the (new) BSD licence.
|
||||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
* Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
*/
|
*/
|
||||||
|
|
||||||
/*
|
/*
|
||||||
@@ -468,6 +468,64 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
division this = this / ss2 (ss2 is int)
|
||||||
|
returned values:
|
||||||
|
0 - ok
|
||||||
|
1 - division by zero
|
||||||
|
|
||||||
|
for example: (result means 'this')
|
||||||
|
20 / 3 --> result: 6 remainder: 2
|
||||||
|
-20 / 3 --> result: -6 remainder: -2
|
||||||
|
20 / -3 --> result: -6 remainder: 2
|
||||||
|
-20 / -3 --> result: 6 remainder: -2
|
||||||
|
|
||||||
|
in other words: this(old) = ss2 * this(new)(result) + remainder
|
||||||
|
*/
|
||||||
|
uint DivInt(sint ss2, sint * remainder = 0)
|
||||||
|
{
|
||||||
|
bool ss1_is_sign, ss2_is_sign;
|
||||||
|
|
||||||
|
ss1_is_sign = IsSign();
|
||||||
|
|
||||||
|
/*
|
||||||
|
we don't have to test the carry from Abs as well as in Mul
|
||||||
|
*/
|
||||||
|
Abs();
|
||||||
|
|
||||||
|
if( ss2 < 0 )
|
||||||
|
{
|
||||||
|
ss2 = -ss2;
|
||||||
|
ss2_is_sign = true;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
ss2_is_sign = false;
|
||||||
|
}
|
||||||
|
|
||||||
|
uint rem;
|
||||||
|
uint c = UInt<value_size>::DivInt((uint)ss2, &rem);
|
||||||
|
|
||||||
|
if( ss1_is_sign != ss2_is_sign )
|
||||||
|
SetSign();
|
||||||
|
|
||||||
|
if( remainder )
|
||||||
|
{
|
||||||
|
if( ss1_is_sign )
|
||||||
|
*remainder = -sint(rem);
|
||||||
|
else
|
||||||
|
*remainder = sint(rem);
|
||||||
|
}
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
uint DivInt(sint ss2, sint & remainder)
|
||||||
|
{
|
||||||
|
return DivInt(ss2, &remainder);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
private:
|
private:
|
||||||
|
|
||||||
@@ -514,7 +572,7 @@ public:
|
|||||||
return Pow2(pow);
|
return Pow2(pow);
|
||||||
|
|
||||||
if( UInt<value_size>::IsZero() )
|
if( UInt<value_size>::IsZero() )
|
||||||
// if 'p' is negative then
|
// if 'pow' is negative then
|
||||||
// 'this' must be different from zero
|
// 'this' must be different from zero
|
||||||
return 2;
|
return 2;
|
||||||
|
|
||||||
@@ -534,6 +592,7 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
*
|
*
|
||||||
* convertion methods
|
* convertion methods
|
||||||
@@ -647,7 +706,7 @@ public:
|
|||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
// converting from Int
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
the default assignment operator
|
the default assignment operator
|
||||||
@@ -714,7 +773,6 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
// converting from UInt
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this operator converts an UInt<another_size> type to this class
|
this operator converts an UInt<another_size> type to this class
|
||||||
@@ -760,7 +818,7 @@ public:
|
|||||||
FromUInt(u);
|
FromUInt(u);
|
||||||
}
|
}
|
||||||
|
|
||||||
//
|
|
||||||
|
|
||||||
|
|
||||||
#ifdef TTMATH_PLATFORM64
|
#ifdef TTMATH_PLATFORM64
|
||||||
@@ -828,6 +886,15 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
a constructor for converting string to this class (with the base=10)
|
||||||
|
*/
|
||||||
|
Int(const wchar_t * s)
|
||||||
|
{
|
||||||
|
FromString(s);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
a constructor for converting a string to this class (with the base=10)
|
a constructor for converting a string to this class (with the base=10)
|
||||||
*/
|
*/
|
||||||
@@ -837,6 +904,15 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
a constructor for converting a string to this class (with the base=10)
|
||||||
|
*/
|
||||||
|
Int(const std::wstring & s)
|
||||||
|
{
|
||||||
|
FromString( s.c_str() );
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
a default constructor
|
a default constructor
|
||||||
|
|
||||||
@@ -867,10 +943,13 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
private:
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method converts the value to a string with a base equal 'b'
|
an auxiliary method for converting to a string
|
||||||
*/
|
*/
|
||||||
void ToString(std::string & result, uint b = 10) const
|
template<class string_type>
|
||||||
|
void ToStringBase(string_type & result, uint b = 10) const
|
||||||
{
|
{
|
||||||
if( IsSign() )
|
if( IsSign() )
|
||||||
{
|
{
|
||||||
@@ -886,40 +965,71 @@ public:
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public:
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method converts the value to a string with a base equal 'b'
|
||||||
|
*/
|
||||||
|
void ToString(std::string & result, uint b = 10) const
|
||||||
|
{
|
||||||
|
return ToStringBase(result, b);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method converts a string into its value
|
this method converts the value to a string with a base equal 'b'
|
||||||
it returns carry=1 if the value will be too big or an incorrect base 'b' is given
|
|
||||||
|
|
||||||
string is ended with a non-digit value, for example:
|
|
||||||
"-12" will be translated to -12
|
|
||||||
as well as:
|
|
||||||
"- 12foo" will be translated to 12 too
|
|
||||||
|
|
||||||
existing first white characters will be ommited
|
|
||||||
(between '-' and a first digit can be white characters too)
|
|
||||||
|
|
||||||
after_source (if exists) is pointing at the end of the parsed string
|
|
||||||
|
|
||||||
value_read (if exists) tells whether something has actually been read (at least one digit)
|
|
||||||
*/
|
*/
|
||||||
uint FromString(const char * s, uint b = 10, const char ** after_source = 0, bool * value_read = 0)
|
void ToString(std::wstring & result, uint b = 10) const
|
||||||
|
{
|
||||||
|
return ToStringBase(result, b);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method converts the value to a string with a base equal 'b'
|
||||||
|
*/
|
||||||
|
std::string ToString(uint b = 10) const
|
||||||
|
{
|
||||||
|
std::string result;
|
||||||
|
ToStringBase(result, b);
|
||||||
|
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method converts the value to a string with a base equal 'b'
|
||||||
|
*/
|
||||||
|
std::wstring ToWString(uint b = 10) const
|
||||||
|
{
|
||||||
|
std::wstring result;
|
||||||
|
ToStringBase(result, b);
|
||||||
|
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
private:
|
||||||
|
|
||||||
|
/*!
|
||||||
|
an auxiliary method for converting from a string
|
||||||
|
*/
|
||||||
|
template<class char_type>
|
||||||
|
uint FromStringBase(const char_type * s, uint b = 10, const char_type ** after_source = 0, bool * value_read = 0)
|
||||||
{
|
{
|
||||||
bool is_sign = false;
|
bool is_sign = false;
|
||||||
|
|
||||||
UInt<value_size>::SkipWhiteCharacters(s);
|
Misc::SkipWhiteCharacters(s);
|
||||||
|
|
||||||
if( *s == '-' )
|
if( *s == '-' )
|
||||||
{
|
{
|
||||||
is_sign = true;
|
is_sign = true;
|
||||||
UInt<value_size>::SkipWhiteCharacters(++s);
|
Misc::SkipWhiteCharacters(++s);
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
if( *s == '+' )
|
if( *s == '+' )
|
||||||
{
|
{
|
||||||
UInt<value_size>::SkipWhiteCharacters(++s);
|
Misc::SkipWhiteCharacters(++s);
|
||||||
}
|
}
|
||||||
|
|
||||||
if( UInt<value_size>::FromString(s,b,after_source,value_read) )
|
if( UInt<value_size>::FromString(s,b,after_source,value_read) )
|
||||||
@@ -958,13 +1068,56 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
public:
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method converts a string into its value
|
||||||
|
it returns carry=1 if the value will be too big or an incorrect base 'b' is given
|
||||||
|
|
||||||
|
string is ended with a non-digit value, for example:
|
||||||
|
"-12" will be translated to -12
|
||||||
|
as well as:
|
||||||
|
"- 12foo" will be translated to -12 too
|
||||||
|
|
||||||
|
existing first white characters will be ommited
|
||||||
|
(between '-' and a first digit can be white characters too)
|
||||||
|
|
||||||
|
after_source (if exists) is pointing at the end of the parsed string
|
||||||
|
|
||||||
|
value_read (if exists) tells whether something has actually been read (at least one digit)
|
||||||
|
*/
|
||||||
|
uint FromString(const char * s, uint b = 10, const char ** after_source = 0, bool * value_read = 0)
|
||||||
|
{
|
||||||
|
return FromStringBase(s, b, after_source, value_read);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method converts a string into its value
|
||||||
|
*/
|
||||||
|
uint FromString(const wchar_t * s, uint b = 10, const wchar_t ** after_source = 0, bool * value_read = 0)
|
||||||
|
{
|
||||||
|
return FromStringBase(s, b, after_source, value_read);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method converts a string into its value
|
this method converts a string into its value
|
||||||
it returns carry=1 if the value will be too big or an incorrect base 'b' is given
|
it returns carry=1 if the value will be too big or an incorrect base 'b' is given
|
||||||
*/
|
*/
|
||||||
uint FromString(const std::string & s, uint b = 10)
|
uint FromString(const std::string & s, uint b = 10)
|
||||||
{
|
{
|
||||||
return FromString( s.c_str() );
|
return FromString( s.c_str(), b );
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method converts a string into its value
|
||||||
|
it returns carry=1 if the value will be too big or an incorrect base 'b' is given
|
||||||
|
*/
|
||||||
|
uint FromString(const std::wstring & s, uint b = 10)
|
||||||
|
{
|
||||||
|
return FromString( s.c_str(), b );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -979,6 +1132,17 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this operator converts a string into its value (with base = 10)
|
||||||
|
*/
|
||||||
|
Int<value_size> & operator=(const wchar_t * s)
|
||||||
|
{
|
||||||
|
FromString(s);
|
||||||
|
|
||||||
|
return *this;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this operator converts a string into its value (with base = 10)
|
this operator converts a string into its value (with base = 10)
|
||||||
*/
|
*/
|
||||||
@@ -990,6 +1154,15 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this operator converts a string into its value (with base = 10)
|
||||||
|
*/
|
||||||
|
Int<value_size> & operator=(const std::wstring & s)
|
||||||
|
{
|
||||||
|
FromString( s.c_str() );
|
||||||
|
|
||||||
|
return *this;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
@@ -1269,9 +1442,15 @@ public:
|
|||||||
*
|
*
|
||||||
*/
|
*/
|
||||||
|
|
||||||
friend std::ostream & operator<<(std::ostream & s, const Int<value_size> & l)
|
private:
|
||||||
|
|
||||||
|
/*!
|
||||||
|
an auxiliary method for outputing to standard streams
|
||||||
|
*/
|
||||||
|
template<class ostream_type, class string_type>
|
||||||
|
static ostream_type & OutputToStream(ostream_type & s, const Int<value_size> & l)
|
||||||
{
|
{
|
||||||
std::string ss;
|
string_type ss;
|
||||||
|
|
||||||
l.ToString(ss);
|
l.ToString(ss);
|
||||||
s << ss;
|
s << ss;
|
||||||
@@ -1281,12 +1460,40 @@ public:
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
friend std::istream & operator>>(std::istream & s, Int<value_size> & l)
|
public:
|
||||||
{
|
|
||||||
std::string ss;
|
|
||||||
|
|
||||||
// char for operator>>
|
|
||||||
unsigned char z;
|
/*!
|
||||||
|
output to standard streams
|
||||||
|
*/
|
||||||
|
friend std::ostream & operator<<(std::ostream & s, const Int<value_size> & l)
|
||||||
|
{
|
||||||
|
return OutputToStream<std::ostream, std::string>(s, l);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
output to standard streams
|
||||||
|
*/
|
||||||
|
friend std::wostream & operator<<(std::wostream & s, const Int<value_size> & l)
|
||||||
|
{
|
||||||
|
return OutputToStream<std::wostream, std::wstring>(s, l);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
private:
|
||||||
|
|
||||||
|
/*!
|
||||||
|
an auxiliary method for converting from a string
|
||||||
|
*/
|
||||||
|
template<class istream_type, class string_type, class char_type>
|
||||||
|
static istream_type & InputFromStream(istream_type & s, Int<value_size> & l)
|
||||||
|
{
|
||||||
|
string_type ss;
|
||||||
|
|
||||||
|
// char or wchar_t for operator>>
|
||||||
|
char_type z;
|
||||||
|
|
||||||
// operator>> omits white characters if they're set for ommiting
|
// operator>> omits white characters if they're set for ommiting
|
||||||
s >> z;
|
s >> z;
|
||||||
@@ -1298,10 +1505,10 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
// we're reading only digits (base=10)
|
// we're reading only digits (base=10)
|
||||||
while( s.good() && UInt<value_size>::CharToDigit(z, 10)>=0 )
|
while( s.good() && Misc::CharToDigit(z, 10)>=0 )
|
||||||
{
|
{
|
||||||
ss += z;
|
ss += z;
|
||||||
z = s.get();
|
z = static_cast<char_type>(s.get());
|
||||||
}
|
}
|
||||||
|
|
||||||
// we're leaving the last readed character
|
// we're leaving the last readed character
|
||||||
@@ -1313,9 +1520,28 @@ public:
|
|||||||
return s;
|
return s;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
public:
|
||||||
|
|
||||||
|
/*!
|
||||||
|
input from standard streams
|
||||||
|
*/
|
||||||
|
friend std::istream & operator>>(std::istream & s, Int<value_size> & l)
|
||||||
|
{
|
||||||
|
return InputFromStream<std::istream, std::string, char>(s, l);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
input from standard streams
|
||||||
|
*/
|
||||||
|
friend std::wistream & operator>>(std::wistream & s, Int<value_size> & l)
|
||||||
|
{
|
||||||
|
return InputFromStream<std::wistream, std::wstring, wchar_t>(s, l);
|
||||||
|
}
|
||||||
|
|
||||||
};
|
};
|
||||||
|
|
||||||
} // namespace
|
} // namespace
|
||||||
|
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
|
243
ttmath/ttmathmisc.h
Normal file
243
ttmath/ttmathmisc.h
Normal file
@@ -0,0 +1,243 @@
|
|||||||
|
/*
|
||||||
|
* This file is a part of TTMath Bignum Library
|
||||||
|
* and is distributed under the (new) BSD licence.
|
||||||
|
* Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
|
*/
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||||
|
* All rights reserved.
|
||||||
|
*
|
||||||
|
* Redistribution and use in source and binary forms, with or without
|
||||||
|
* modification, are permitted provided that the following conditions are met:
|
||||||
|
*
|
||||||
|
* * Redistributions of source code must retain the above copyright notice,
|
||||||
|
* this list of conditions and the following disclaimer.
|
||||||
|
*
|
||||||
|
* * Redistributions in binary form must reproduce the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer in the
|
||||||
|
* documentation and/or other materials provided with the distribution.
|
||||||
|
*
|
||||||
|
* * Neither the name Tomasz Sowa nor the names of contributors to this
|
||||||
|
* project may be used to endorse or promote products derived
|
||||||
|
* from this software without specific prior written permission.
|
||||||
|
*
|
||||||
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
||||||
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||||||
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||||||
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
|
||||||
|
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
||||||
|
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
||||||
|
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
||||||
|
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
||||||
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||||||
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
|
||||||
|
* THE POSSIBILITY OF SUCH DAMAGE.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#ifndef headerfilettmathmisc
|
||||||
|
#define headerfilettmathmisc
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
\file ttmathmisc.h
|
||||||
|
\brief some helpful functions
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
#include <string>
|
||||||
|
|
||||||
|
|
||||||
|
namespace ttmath
|
||||||
|
{
|
||||||
|
|
||||||
|
/*!
|
||||||
|
some helpful functions
|
||||||
|
*/
|
||||||
|
class Misc
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
|
||||||
|
|
||||||
|
/*
|
||||||
|
*
|
||||||
|
* AssignString(result, str)
|
||||||
|
* result = str
|
||||||
|
*
|
||||||
|
*/
|
||||||
|
|
||||||
|
/*!
|
||||||
|
result = str
|
||||||
|
*/
|
||||||
|
static void AssignString(std::string & result, const char * str)
|
||||||
|
{
|
||||||
|
result = str;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
result = str
|
||||||
|
*/
|
||||||
|
static void AssignString(std::wstring & result, const char * str)
|
||||||
|
{
|
||||||
|
result.clear();
|
||||||
|
|
||||||
|
for( ; *str ; ++str )
|
||||||
|
result += *str;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
result = str
|
||||||
|
*/
|
||||||
|
static void AssignString(std::wstring & result, const std::string & str)
|
||||||
|
{
|
||||||
|
return AssignString(result, str.c_str());
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
result = str
|
||||||
|
*/
|
||||||
|
static void AssignString(std::string & result, const wchar_t * str)
|
||||||
|
{
|
||||||
|
result.clear();
|
||||||
|
|
||||||
|
for( ; *str ; ++str )
|
||||||
|
result += static_cast<char>(*str);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
result = str
|
||||||
|
*/
|
||||||
|
static void AssignString(std::string & result, const std::wstring & str)
|
||||||
|
{
|
||||||
|
return AssignString(result, str.c_str());
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*
|
||||||
|
*
|
||||||
|
* AddString(result, str)
|
||||||
|
* result += str
|
||||||
|
*
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
result += str
|
||||||
|
*/
|
||||||
|
static void AddString(std::string & result, const char * str)
|
||||||
|
{
|
||||||
|
result += str;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
result += str
|
||||||
|
*/
|
||||||
|
static void AddString(std::wstring & result, const char * str)
|
||||||
|
{
|
||||||
|
for( ; *str ; ++str )
|
||||||
|
result += *str;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*
|
||||||
|
this method omits any white characters from the string
|
||||||
|
char_type is char or wchar_t
|
||||||
|
*/
|
||||||
|
template<class char_type>
|
||||||
|
static void SkipWhiteCharacters(const char_type * & c)
|
||||||
|
{
|
||||||
|
// 13 is at the end in a DOS text file (\r\n)
|
||||||
|
while( (*c==' ' ) || (*c=='\t') || (*c==13 ) || (*c=='\n') )
|
||||||
|
++c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this static method converts one character into its value
|
||||||
|
|
||||||
|
for example:
|
||||||
|
1 -> 1
|
||||||
|
8 -> 8
|
||||||
|
A -> 10
|
||||||
|
f -> 15
|
||||||
|
|
||||||
|
this method don't check whether c is correct or not
|
||||||
|
*/
|
||||||
|
static uint CharToDigit(uint c)
|
||||||
|
{
|
||||||
|
if(c>='0' && c<='9')
|
||||||
|
return c-'0';
|
||||||
|
|
||||||
|
if(c>='a' && c<='z')
|
||||||
|
return c-'a'+10;
|
||||||
|
|
||||||
|
return c-'A'+10;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method changes a character 'c' into its value
|
||||||
|
(if there can't be a correct value it returns -1)
|
||||||
|
|
||||||
|
for example:
|
||||||
|
c=2, base=10 -> function returns 2
|
||||||
|
c=A, base=10 -> function returns -1
|
||||||
|
c=A, base=16 -> function returns 10
|
||||||
|
*/
|
||||||
|
static sint CharToDigit(uint c, uint base)
|
||||||
|
{
|
||||||
|
if( c>='0' && c<='9' )
|
||||||
|
c=c-'0';
|
||||||
|
else
|
||||||
|
if( c>='a' && c<='z' )
|
||||||
|
c=c-'a'+10;
|
||||||
|
else
|
||||||
|
if( c>='A' && c<='Z' )
|
||||||
|
c=c-'A'+10;
|
||||||
|
else
|
||||||
|
return -1;
|
||||||
|
|
||||||
|
|
||||||
|
if( c >= base )
|
||||||
|
return -1;
|
||||||
|
|
||||||
|
|
||||||
|
return sint(c);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method converts a digit into a char
|
||||||
|
digit should be from <0,F>
|
||||||
|
(we don't have to get a base)
|
||||||
|
|
||||||
|
for example:
|
||||||
|
1 -> 1
|
||||||
|
8 -> 8
|
||||||
|
10 -> A
|
||||||
|
15 -> F
|
||||||
|
*/
|
||||||
|
static uint DigitToChar(uint digit)
|
||||||
|
{
|
||||||
|
if( digit < 10 )
|
||||||
|
return digit + '0';
|
||||||
|
|
||||||
|
return digit - 10 + 'A';
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
}; // struct Misc
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
#endif
|
@@ -1,7 +1,7 @@
|
|||||||
/*
|
/*
|
||||||
* This file is a part of TTMath Mathematical Library
|
* This file is a part of TTMath Mathematical Library
|
||||||
* and is distributed under the (new) BSD licence.
|
* and is distributed under the (new) BSD licence.
|
||||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
* Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
*/
|
*/
|
||||||
|
|
||||||
/*
|
/*
|
||||||
@@ -44,12 +44,13 @@
|
|||||||
\brief Mathematic functions.
|
\brief Mathematic functions.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#include "ttmathtypes.h"
|
|
||||||
|
|
||||||
#include <string>
|
#include <string>
|
||||||
|
#include <vector>
|
||||||
#include <list>
|
#include <list>
|
||||||
#include <map>
|
#include <map>
|
||||||
|
|
||||||
|
#include "ttmathtypes.h"
|
||||||
|
#include "ttmathmisc.h"
|
||||||
|
|
||||||
|
|
||||||
namespace ttmath
|
namespace ttmath
|
||||||
@@ -73,6 +74,7 @@ public:
|
|||||||
struct Item
|
struct Item
|
||||||
{
|
{
|
||||||
// name of a variable of a function
|
// name of a variable of a function
|
||||||
|
// internally we store variables and funcions as std::string (not std::wstring even when wide characters are used)
|
||||||
std::string value;
|
std::string value;
|
||||||
|
|
||||||
// number of parameters required by the function
|
// number of parameters required by the function
|
||||||
@@ -97,7 +99,7 @@ public:
|
|||||||
if 'can_be_digit' is true that means when the 'c' is a digit this
|
if 'can_be_digit' is true that means when the 'c' is a digit this
|
||||||
method returns true otherwise it returns false
|
method returns true otherwise it returns false
|
||||||
*/
|
*/
|
||||||
static bool CorrectCharacter(int c, bool can_be_digit)
|
static bool CorrectCharacter(wchar_t c, bool can_be_digit)
|
||||||
{
|
{
|
||||||
if( (c>='a' && c<='z') || (c>='A' && c<='Z') )
|
if( (c>='a' && c<='z') || (c>='A' && c<='Z') )
|
||||||
return true;
|
return true;
|
||||||
@@ -112,7 +114,8 @@ public:
|
|||||||
/*!
|
/*!
|
||||||
this method returns true if the name can be as a name of an object
|
this method returns true if the name can be as a name of an object
|
||||||
*/
|
*/
|
||||||
static bool IsNameCorrect(const std::string & name)
|
template<class string_type>
|
||||||
|
static bool IsNameCorrect(const string_type & name)
|
||||||
{
|
{
|
||||||
if( name.empty() )
|
if( name.empty() )
|
||||||
return false;
|
return false;
|
||||||
@@ -120,7 +123,7 @@ public:
|
|||||||
if( !CorrectCharacter(name[0], false) )
|
if( !CorrectCharacter(name[0], false) )
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
std::string::const_iterator i=name.begin();
|
typename string_type::const_iterator i = name.begin();
|
||||||
|
|
||||||
for(++i ; i!=name.end() ; ++i)
|
for(++i ; i!=name.end() ; ++i)
|
||||||
if( !CorrectCharacter(*i, true) )
|
if( !CorrectCharacter(*i, true) )
|
||||||
@@ -145,6 +148,22 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method returns true if such an object is defined (name exists)
|
||||||
|
*/
|
||||||
|
bool IsDefined(const std::wstring & name)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return false;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
|
||||||
|
return IsDefined(str_tmp1);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method adds one object (variable of function) into the table
|
this method adds one object (variable of function) into the table
|
||||||
*/
|
*/
|
||||||
@@ -165,6 +184,23 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method adds one object (variable of function) into the table
|
||||||
|
*/
|
||||||
|
ErrorCode Add(const std::wstring & name, const std::wstring & value, int param = 0)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
Misc::AssignString(str_tmp2, value);
|
||||||
|
|
||||||
|
return Add(str_tmp1, str_tmp2, param);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method returns 'true' if the table is empty
|
this method returns 'true' if the table is empty
|
||||||
*/
|
*/
|
||||||
@@ -222,6 +258,23 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method changes the value and the number of parameters for a specific object
|
||||||
|
*/
|
||||||
|
ErrorCode EditValue(const std::wstring & name, const std::wstring & value, int param = 0)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
Misc::AssignString(str_tmp2, value);
|
||||||
|
|
||||||
|
return EditValue(str_tmp1, str_tmp2, param);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method changes the name of a specific object
|
this method changes the name of a specific object
|
||||||
*/
|
*/
|
||||||
@@ -253,6 +306,23 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method changes the name of a specific object
|
||||||
|
*/
|
||||||
|
ErrorCode EditName(const std::wstring & old_name, const std::wstring & new_name)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(old_name) || !IsNameCorrect(new_name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, old_name);
|
||||||
|
Misc::AssignString(str_tmp2, new_name);
|
||||||
|
|
||||||
|
return EditName(str_tmp1, str_tmp2);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method deletes an object
|
this method deletes an object
|
||||||
*/
|
*/
|
||||||
@@ -272,6 +342,22 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method deletes an object
|
||||||
|
*/
|
||||||
|
ErrorCode Delete(const std::wstring & name)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
|
||||||
|
return Delete(str_tmp1);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method gets the value of a specific object
|
this method gets the value of a specific object
|
||||||
*/
|
*/
|
||||||
@@ -294,6 +380,24 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method gets the value of a specific object
|
||||||
|
*/
|
||||||
|
ErrorCode GetValue(const std::wstring & name, std::wstring & value)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
ErrorCode err = GetValue(str_tmp1, str_tmp2);
|
||||||
|
Misc::AssignString(value, str_tmp2);
|
||||||
|
|
||||||
|
return err;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method gets the value of a specific object
|
this method gets the value of a specific object
|
||||||
(this version is used for not copying the whole string)
|
(this version is used for not copying the whole string)
|
||||||
@@ -317,6 +421,23 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method gets the value of a specific object
|
||||||
|
(this version is used for not copying the whole string)
|
||||||
|
*/
|
||||||
|
ErrorCode GetValue(const std::wstring & name, const char ** value)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
|
||||||
|
return GetValue(str_tmp1, value);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method gets the value and the number of parameters
|
this method gets the value and the number of parameters
|
||||||
of a specific object
|
of a specific object
|
||||||
@@ -342,6 +463,25 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method gets the value and the number of parameters
|
||||||
|
of a specific object
|
||||||
|
*/
|
||||||
|
ErrorCode GetValueAndParam(const std::wstring & name, std::wstring & value, int * param)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
ErrorCode err = GetValueAndParam(str_tmp1, str_tmp2, param);
|
||||||
|
Misc::AssignString(value, str_tmp2);
|
||||||
|
|
||||||
|
return err;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method sets the value and the number of parameters
|
this method sets the value and the number of parameters
|
||||||
of a specific object
|
of a specific object
|
||||||
@@ -368,6 +508,25 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method sets the value and the number of parameters
|
||||||
|
of a specific object
|
||||||
|
(this version is used for not copying the whole string
|
||||||
|
but in fact we make one copying during AssignString())
|
||||||
|
*/
|
||||||
|
ErrorCode GetValueAndParam(const std::wstring & name, const char ** value, int * param)
|
||||||
|
{
|
||||||
|
// we should check whether the name (in wide characters) are correct
|
||||||
|
// before calling AssignString() function
|
||||||
|
if( !IsNameCorrect(name) )
|
||||||
|
return err_incorrect_name;
|
||||||
|
|
||||||
|
Misc::AssignString(str_tmp1, name);
|
||||||
|
|
||||||
|
return GetValueAndParam(str_tmp1, value, param);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method returns a pointer into the table
|
this method returns a pointer into the table
|
||||||
*/
|
*/
|
||||||
@@ -380,6 +539,7 @@ public:
|
|||||||
private:
|
private:
|
||||||
|
|
||||||
Table table;
|
Table table;
|
||||||
|
std::string str_tmp1, str_tmp2;
|
||||||
|
|
||||||
}; // end of class Objects
|
}; // end of class Objects
|
||||||
|
|
||||||
@@ -426,11 +586,11 @@ public:
|
|||||||
|
|
||||||
/*!
|
/*!
|
||||||
default constructor
|
default constructor
|
||||||
default max size of the History's container is 10 items
|
default max size of the History's container is 15 items
|
||||||
*/
|
*/
|
||||||
History()
|
History()
|
||||||
{
|
{
|
||||||
buffer_max_size = 10;
|
buffer_max_size = 15;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -487,10 +647,118 @@ public:
|
|||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this methods deletes an item
|
||||||
|
|
||||||
|
we assume that there is only one item with the 'key'
|
||||||
|
(this methods removes the first one)
|
||||||
|
*/
|
||||||
|
bool Remove(const ValueType & key)
|
||||||
|
{
|
||||||
|
typename buffer_type::iterator i = buffer.begin();
|
||||||
|
|
||||||
|
for( ; i != buffer.end() ; ++i )
|
||||||
|
{
|
||||||
|
if( i->key == key )
|
||||||
|
{
|
||||||
|
buffer.erase(i);
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
}; // end of class History
|
}; // end of class History
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this is an auxiliary class used when calculating Gamma() or Factorial()
|
||||||
|
|
||||||
|
in multithreaded environment you can provide an object of this class to
|
||||||
|
the Gamma() or Factorial() function, e.g;
|
||||||
|
typedef Big<1, 3> MyBig;
|
||||||
|
MyBig x = 123456;
|
||||||
|
CGamma<MyBig> cgamma;
|
||||||
|
std::cout << Gamma(x, cgamma);
|
||||||
|
each thread should have its own CGamma<> object
|
||||||
|
|
||||||
|
in a single-thread environment a CGamma<> object is a static variable
|
||||||
|
in a second version of Gamma() and you don't have to explicitly use it, e.g.
|
||||||
|
typedef Big<1, 3> MyBig;
|
||||||
|
MyBig x = 123456;
|
||||||
|
std::cout << Gamma(x);
|
||||||
|
*/
|
||||||
|
template<class ValueType>
|
||||||
|
struct CGamma
|
||||||
|
{
|
||||||
|
/*!
|
||||||
|
this table holds factorials
|
||||||
|
1
|
||||||
|
1
|
||||||
|
2
|
||||||
|
6
|
||||||
|
24
|
||||||
|
120
|
||||||
|
720
|
||||||
|
.......
|
||||||
|
*/
|
||||||
|
std::vector<ValueType> fact;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this table holds Bernoulli numbers
|
||||||
|
1
|
||||||
|
-0.5
|
||||||
|
0.166666666666666666666666667
|
||||||
|
0
|
||||||
|
-0.0333333333333333333333333333
|
||||||
|
0
|
||||||
|
0.0238095238095238095238095238
|
||||||
|
0
|
||||||
|
-0.0333333333333333333333333333
|
||||||
|
0
|
||||||
|
0.075757575757575757575757576
|
||||||
|
.....
|
||||||
|
*/
|
||||||
|
std::vector<ValueType> bern;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
here we store some calculated values
|
||||||
|
(this is for speeding up, if the next argument of Gamma() or Factorial()
|
||||||
|
is in the 'history' then the result we are not calculating but simply
|
||||||
|
return from the 'history' object)
|
||||||
|
*/
|
||||||
|
History<ValueType> history;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method prepares some coefficients: factorials and Bernoulli numbers
|
||||||
|
stored in 'fact' and 'bern' objects
|
||||||
|
|
||||||
|
how many values should be depends on the size of the mantissa - if
|
||||||
|
the mantissa is larger then we must calculate more values
|
||||||
|
for a mantissa which consists of 256 bits (8 words on a 32bit platform)
|
||||||
|
we have to calculate about 30 values (the size of fact and bern will be 30),
|
||||||
|
and for a 2048 bits mantissa we have to calculate 306 coefficients
|
||||||
|
|
||||||
|
you don't have to call this method, these coefficients will be automatically calculated
|
||||||
|
when they are needed
|
||||||
|
|
||||||
|
you must note that calculating these coefficients is a little time-consuming operation,
|
||||||
|
(especially when the mantissa is large) and first call to Gamma() or Factorial()
|
||||||
|
can take more time than next calls, and in the end this is the point when InitAll()
|
||||||
|
comes in handy: you can call this method somewhere at the beginning of your program
|
||||||
|
*/
|
||||||
|
void InitAll();
|
||||||
|
// definition is in ttmath.h
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
} // namespace
|
} // namespace
|
||||||
|
@@ -1,7 +1,7 @@
|
|||||||
/*
|
/*
|
||||||
* This file is a part of TTMath Mathematical Library
|
* This file is a part of TTMath Bignum Library
|
||||||
* and is distributed under the (new) BSD licence.
|
* and is distributed under the (new) BSD licence.
|
||||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
* Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
*/
|
*/
|
||||||
|
|
||||||
/*
|
/*
|
||||||
@@ -45,13 +45,14 @@
|
|||||||
\brief A mathematical parser
|
\brief A mathematical parser
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#include <fstream>
|
#include <cstdio>
|
||||||
#include <vector>
|
#include <vector>
|
||||||
#include <map>
|
#include <map>
|
||||||
#include <set>
|
#include <set>
|
||||||
|
|
||||||
#include "ttmath.h"
|
#include "ttmath.h"
|
||||||
#include "ttmathobjects.h"
|
#include "ttmathobjects.h"
|
||||||
|
#include "ttmathmisc.h"
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
@@ -109,8 +110,7 @@ namespace ttmath
|
|||||||
for example a correct input string can be:
|
for example a correct input string can be:
|
||||||
"1"
|
"1"
|
||||||
"2.1234"
|
"2.1234"
|
||||||
"2,1234" (they are the same, we can either use a comma or a dot in values)
|
"2,1234" (they are the same, by default we can either use a comma or a dot)
|
||||||
(look at the macro TTMATH_COMMA_CHARACTER_2)
|
|
||||||
"1 + 2"
|
"1 + 2"
|
||||||
"(1 + 2) * 3"
|
"(1 + 2) * 3"
|
||||||
"pi"
|
"pi"
|
||||||
@@ -137,7 +137,6 @@ namespace ttmath
|
|||||||
template<class ValueType>
|
template<class ValueType>
|
||||||
class Parser
|
class Parser
|
||||||
{
|
{
|
||||||
|
|
||||||
private:
|
private:
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
@@ -311,6 +310,7 @@ ErrorCode error;
|
|||||||
|
|
||||||
/*!
|
/*!
|
||||||
pointer to the currently reading char
|
pointer to the currently reading char
|
||||||
|
it's either char* or wchar_t*
|
||||||
|
|
||||||
when an error has occured it may be used to count the index of the wrong character
|
when an error has occured it may be used to count the index of the wrong character
|
||||||
*/
|
*/
|
||||||
@@ -426,12 +426,44 @@ VariablesTable variables_table;
|
|||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
you can't calculate the factorial if the argument is greater than 'factorial_max'
|
some coefficients used when calculating the gamma (or factorial) function
|
||||||
default value is zero which means there are not any limitations
|
|
||||||
*/
|
*/
|
||||||
ValueType factorial_max;
|
CGamma<ValueType> cgamma;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
temporary object for a whole string when Parse(std::wstring) is used
|
||||||
|
*/
|
||||||
|
std::string wide_to_ansi;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
group character (used when parsing)
|
||||||
|
default zero (not used)
|
||||||
|
*/
|
||||||
|
int group;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
characters used as a comma
|
||||||
|
default: '.' and ','
|
||||||
|
comma2 can be zero (it means it is not used)
|
||||||
|
*/
|
||||||
|
int comma, comma2;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
an additional character used as a separator between function parameters
|
||||||
|
(semicolon is used always)
|
||||||
|
*/
|
||||||
|
int param_sep;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
true if something was calculated (at least one mathematical operator was used or a function or a variable)
|
||||||
|
*/
|
||||||
|
bool calculated;
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
we're using this method for reporting an error
|
we're using this method for reporting an error
|
||||||
*/
|
*/
|
||||||
@@ -505,7 +537,8 @@ void RecurrenceParsingVariablesOrFunction_DeleteName(bool variable, const std::s
|
|||||||
(there can be a recurrence here therefore we're using 'visited_variables'
|
(there can be a recurrence here therefore we're using 'visited_variables'
|
||||||
and 'visited_functions' sets to make a stop condition)
|
and 'visited_functions' sets to make a stop condition)
|
||||||
*/
|
*/
|
||||||
ValueType RecurrenceParsingVariablesOrFunction(bool variable, const std::string & name, const char * new_string, FunctionLocalVariables * local_variables = 0)
|
ValueType RecurrenceParsingVariablesOrFunction(bool variable, const std::string & name, const char * new_string,
|
||||||
|
FunctionLocalVariables * local_variables = 0)
|
||||||
{
|
{
|
||||||
RecurrenceParsingVariablesOrFunction_CheckStopCondition(variable, name);
|
RecurrenceParsingVariablesOrFunction_CheckStopCondition(variable, name);
|
||||||
RecurrenceParsingVariablesOrFunction_AddName(variable, name);
|
RecurrenceParsingVariablesOrFunction_AddName(variable, name);
|
||||||
@@ -559,6 +592,7 @@ bool GetValueOfUserDefinedVariable(const std::string & variable_name,ValueType &
|
|||||||
return false;
|
return false;
|
||||||
|
|
||||||
result = RecurrenceParsingVariablesOrFunction(true, variable_name, string_value);
|
result = RecurrenceParsingVariablesOrFunction(true, variable_name, string_value);
|
||||||
|
calculated = true;
|
||||||
|
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
@@ -607,6 +641,7 @@ ValueType result;
|
|||||||
Error( err_unknown_variable );
|
Error( err_unknown_variable );
|
||||||
|
|
||||||
(result.*(i->second))();
|
(result.*(i->second))();
|
||||||
|
calculated = true;
|
||||||
|
|
||||||
return result;
|
return result;
|
||||||
}
|
}
|
||||||
@@ -674,6 +709,20 @@ return result;
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
void Gamma(int sindex, int amount_of_args, ValueType & result)
|
||||||
|
{
|
||||||
|
if( amount_of_args != 1 )
|
||||||
|
Error( err_improper_amount_of_arguments );
|
||||||
|
|
||||||
|
ErrorCode err;
|
||||||
|
|
||||||
|
result = ttmath::Gamma(stack[sindex].value, cgamma, &err, pstop_calculating);
|
||||||
|
|
||||||
|
if(err != err_ok)
|
||||||
|
Error( err );
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
factorial
|
factorial
|
||||||
result = 1 * 2 * 3 * 4 * .... * x
|
result = 1 * 2 * 3 * 4 * .... * x
|
||||||
@@ -685,10 +734,7 @@ void Factorial(int sindex, int amount_of_args, ValueType & result)
|
|||||||
|
|
||||||
ErrorCode err;
|
ErrorCode err;
|
||||||
|
|
||||||
if( !factorial_max.IsZero() && stack[sindex].value > factorial_max )
|
result = ttmath::Factorial(stack[sindex].value, cgamma, &err, pstop_calculating);
|
||||||
Error( err_too_big_factorial );
|
|
||||||
|
|
||||||
result = ttmath::Factorial(stack[sindex].value, &err, pstop_calculating);
|
|
||||||
|
|
||||||
if(err != err_ok)
|
if(err != err_ok)
|
||||||
Error( err );
|
Error( err );
|
||||||
@@ -708,7 +754,11 @@ void Sin(int sindex, int amount_of_args, ValueType & result)
|
|||||||
if( amount_of_args != 1 )
|
if( amount_of_args != 1 )
|
||||||
Error( err_improper_amount_of_arguments );
|
Error( err_improper_amount_of_arguments );
|
||||||
|
|
||||||
result = ttmath::Sin( ConvertAngleToRad(stack[sindex].value) );
|
ErrorCode err;
|
||||||
|
result = ttmath::Sin( ConvertAngleToRad(stack[sindex].value), &err );
|
||||||
|
|
||||||
|
if(err != err_ok)
|
||||||
|
Error( err );
|
||||||
}
|
}
|
||||||
|
|
||||||
void Cos(int sindex, int amount_of_args, ValueType & result)
|
void Cos(int sindex, int amount_of_args, ValueType & result)
|
||||||
@@ -716,7 +766,11 @@ void Cos(int sindex, int amount_of_args, ValueType & result)
|
|||||||
if( amount_of_args != 1 )
|
if( amount_of_args != 1 )
|
||||||
Error( err_improper_amount_of_arguments );
|
Error( err_improper_amount_of_arguments );
|
||||||
|
|
||||||
result = ttmath::Cos( ConvertAngleToRad(stack[sindex].value) );
|
ErrorCode err;
|
||||||
|
result = ttmath::Cos( ConvertAngleToRad(stack[sindex].value), &err );
|
||||||
|
|
||||||
|
if(err != err_ok)
|
||||||
|
Error( err );
|
||||||
}
|
}
|
||||||
|
|
||||||
void Tan(int sindex, int amount_of_args, ValueType & result)
|
void Tan(int sindex, int amount_of_args, ValueType & result)
|
||||||
@@ -757,7 +811,10 @@ void Round(int sindex, int amount_of_args, ValueType & result)
|
|||||||
if( amount_of_args != 1 )
|
if( amount_of_args != 1 )
|
||||||
Error( err_improper_amount_of_arguments );
|
Error( err_improper_amount_of_arguments );
|
||||||
|
|
||||||
result = ttmath::Round(stack[sindex].value);
|
result = stack[sindex].value;
|
||||||
|
|
||||||
|
if( result.Round() )
|
||||||
|
Error( err_overflow );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -973,7 +1030,7 @@ void Not(int sindex, int amount_of_args, ValueType & result)
|
|||||||
|
|
||||||
void DegToRad(int sindex, int amount_of_args, ValueType & result)
|
void DegToRad(int sindex, int amount_of_args, ValueType & result)
|
||||||
{
|
{
|
||||||
ErrorCode err;
|
ErrorCode err = err_ok;
|
||||||
|
|
||||||
if( amount_of_args == 1 )
|
if( amount_of_args == 1 )
|
||||||
{
|
{
|
||||||
@@ -1052,7 +1109,7 @@ void RadToGrad(int sindex, int amount_of_args, ValueType & result)
|
|||||||
|
|
||||||
void DegToGrad(int sindex, int amount_of_args, ValueType & result)
|
void DegToGrad(int sindex, int amount_of_args, ValueType & result)
|
||||||
{
|
{
|
||||||
ErrorCode err;
|
ErrorCode err = err_ok;
|
||||||
|
|
||||||
if( amount_of_args == 1 )
|
if( amount_of_args == 1 )
|
||||||
{
|
{
|
||||||
@@ -1333,6 +1390,45 @@ void Avg(int sindex, int amount_of_args, ValueType & result)
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
void Frac(int sindex, int amount_of_args, ValueType & result)
|
||||||
|
{
|
||||||
|
if( amount_of_args != 1 )
|
||||||
|
Error( err_improper_amount_of_arguments );
|
||||||
|
|
||||||
|
result = stack[sindex].value;
|
||||||
|
result.RemainFraction();
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
we use such a method because 'wvsprintf' is not everywhere defined
|
||||||
|
*/
|
||||||
|
void Sprintf(char * buffer, int par)
|
||||||
|
{
|
||||||
|
char buf[30]; // char, not wchar_t etc.
|
||||||
|
int i;
|
||||||
|
|
||||||
|
#ifdef _MSC_VER
|
||||||
|
#pragma warning( disable: 4996 )
|
||||||
|
//warning C4996: 'sprintf': This function or variable may be unsafe.
|
||||||
|
#endif
|
||||||
|
|
||||||
|
sprintf(buf, "%d", par);
|
||||||
|
for(i=0 ; buf[i] != 0 ; ++i)
|
||||||
|
buffer[i] = buf[i];
|
||||||
|
|
||||||
|
buffer[i] = 0;
|
||||||
|
|
||||||
|
#ifdef _MSC_VER
|
||||||
|
#pragma warning( default: 4996 )
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method returns the value from a user-defined function
|
this method returns the value from a user-defined function
|
||||||
|
|
||||||
@@ -1357,20 +1453,23 @@ bool GetValueOfUserDefinedFunction(const std::string & function_name, int amount
|
|||||||
|
|
||||||
if( amount_of_args > 0 )
|
if( amount_of_args > 0 )
|
||||||
{
|
{
|
||||||
char buffer[20];
|
char buffer[30];
|
||||||
|
|
||||||
// x = x1
|
// x = x1
|
||||||
sprintf(buffer,"x");
|
buffer[0] = 'x';
|
||||||
|
buffer[1] = 0;
|
||||||
local_variables.insert( std::make_pair(buffer, stack[sindex].value) );
|
local_variables.insert( std::make_pair(buffer, stack[sindex].value) );
|
||||||
|
|
||||||
for(int i=0 ; i<amount_of_args ; ++i)
|
for(int i=0 ; i<amount_of_args ; ++i)
|
||||||
{
|
{
|
||||||
sprintf(buffer,"x%d",i+1);
|
buffer[0] = 'x';
|
||||||
|
Sprintf(buffer+1, i+1);
|
||||||
local_variables.insert( std::make_pair(buffer, stack[sindex + i*2].value) );
|
local_variables.insert( std::make_pair(buffer, stack[sindex + i*2].value) );
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
stack[sindex-1].value = RecurrenceParsingVariablesOrFunction(false, function_name, string_value, &local_variables);
|
stack[sindex-1].value = RecurrenceParsingVariablesOrFunction(false, function_name, string_value, &local_variables);
|
||||||
|
calculated = true;
|
||||||
|
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
@@ -1403,6 +1502,7 @@ void CallFunction(const std::string & function_name, int amount_of_args, int sin
|
|||||||
calling the specify function
|
calling the specify function
|
||||||
*/
|
*/
|
||||||
(this->*(i->second))(sindex, amount_of_args, stack[sindex-1].value);
|
(this->*(i->second))(sindex, amount_of_args, stack[sindex-1].value);
|
||||||
|
calculated = true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -1417,10 +1517,14 @@ void CallFunction(const std::string & function_name, int amount_of_args, int sin
|
|||||||
*/
|
*/
|
||||||
void InsertFunctionToTable(const char * function_name, pfunction pf)
|
void InsertFunctionToTable(const char * function_name, pfunction pf)
|
||||||
{
|
{
|
||||||
functions_table.insert( std::make_pair(std::string(function_name), pf));
|
std::string str;
|
||||||
|
Misc::AssignString(str, function_name);
|
||||||
|
|
||||||
|
functions_table.insert( std::make_pair(str, pf) );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
inserting a function to the variables' table
|
inserting a function to the variables' table
|
||||||
(this function returns value of variable)
|
(this function returns value of variable)
|
||||||
@@ -1430,7 +1534,10 @@ void InsertFunctionToTable(const char * function_name, pfunction pf)
|
|||||||
*/
|
*/
|
||||||
void InsertVariableToTable(const char * variable_name, pfunction_var pf)
|
void InsertVariableToTable(const char * variable_name, pfunction_var pf)
|
||||||
{
|
{
|
||||||
variables_table.insert( std::make_pair(std::string(variable_name), pf));
|
std::string str;
|
||||||
|
Misc::AssignString(str, variable_name);
|
||||||
|
|
||||||
|
variables_table.insert( std::make_pair(str, pf) );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -1439,9 +1546,7 @@ void InsertVariableToTable(const char * variable_name, pfunction_var pf)
|
|||||||
*/
|
*/
|
||||||
void CreateFunctionsTable()
|
void CreateFunctionsTable()
|
||||||
{
|
{
|
||||||
/*
|
InsertFunctionToTable("gamma", &Parser<ValueType>::Gamma);
|
||||||
names of functions should consist of small letters
|
|
||||||
*/
|
|
||||||
InsertFunctionToTable("factorial", &Parser<ValueType>::Factorial);
|
InsertFunctionToTable("factorial", &Parser<ValueType>::Factorial);
|
||||||
InsertFunctionToTable("abs", &Parser<ValueType>::Abs);
|
InsertFunctionToTable("abs", &Parser<ValueType>::Abs);
|
||||||
InsertFunctionToTable("sin", &Parser<ValueType>::Sin);
|
InsertFunctionToTable("sin", &Parser<ValueType>::Sin);
|
||||||
@@ -1500,6 +1605,7 @@ void CreateFunctionsTable()
|
|||||||
InsertFunctionToTable("bxor", &Parser<ValueType>::BitXor);
|
InsertFunctionToTable("bxor", &Parser<ValueType>::BitXor);
|
||||||
InsertFunctionToTable("sum", &Parser<ValueType>::Sum);
|
InsertFunctionToTable("sum", &Parser<ValueType>::Sum);
|
||||||
InsertFunctionToTable("avg", &Parser<ValueType>::Avg);
|
InsertFunctionToTable("avg", &Parser<ValueType>::Avg);
|
||||||
|
InsertFunctionToTable("frac", &Parser<ValueType>::Frac);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -1508,9 +1614,6 @@ void CreateFunctionsTable()
|
|||||||
*/
|
*/
|
||||||
void CreateVariablesTable()
|
void CreateVariablesTable()
|
||||||
{
|
{
|
||||||
/*
|
|
||||||
names of variables should consist of small letters
|
|
||||||
*/
|
|
||||||
InsertVariableToTable("pi", &ValueType::SetPi);
|
InsertVariableToTable("pi", &ValueType::SetPi);
|
||||||
InsertVariableToTable("e", &ValueType::SetE);
|
InsertVariableToTable("e", &ValueType::SetE);
|
||||||
}
|
}
|
||||||
@@ -1555,7 +1658,7 @@ int character;
|
|||||||
|
|
||||||
do
|
do
|
||||||
{
|
{
|
||||||
result += character;
|
result += static_cast<char>( character );
|
||||||
character = * ++pstring;
|
character = * ++pstring;
|
||||||
}
|
}
|
||||||
while( (character>='a' && character<='z') ||
|
while( (character>='a' && character<='z') ||
|
||||||
@@ -1641,8 +1744,14 @@ void ReadValue(Item & result, int reading_base)
|
|||||||
{
|
{
|
||||||
const char * new_stack_pointer;
|
const char * new_stack_pointer;
|
||||||
bool value_read;
|
bool value_read;
|
||||||
|
Conv conv;
|
||||||
|
|
||||||
int carry = result.value.FromString(pstring, reading_base, &new_stack_pointer, &value_read);
|
conv.base = base;
|
||||||
|
conv.comma = comma;
|
||||||
|
conv.comma2 = comma2;
|
||||||
|
conv.group = group;
|
||||||
|
|
||||||
|
uint carry = result.value.FromString(pstring, conv, &new_stack_pointer, &value_read);
|
||||||
pstring = new_stack_pointer;
|
pstring = new_stack_pointer;
|
||||||
|
|
||||||
if( carry )
|
if( carry )
|
||||||
@@ -1653,43 +1762,18 @@ bool value_read;
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
|
||||||
this method converts the character ascii c into the value in range <0;base-1>
|
|
||||||
|
|
||||||
if the character is incorrect for this base the funcion will return -1
|
|
||||||
*/
|
|
||||||
int CharToDigit(int c, int base)
|
|
||||||
{
|
|
||||||
if( c>='0' && c<='9' )
|
|
||||||
c=c-'0';
|
|
||||||
else
|
|
||||||
if( c>='a' && c<='z' )
|
|
||||||
c=c-'a'+10;
|
|
||||||
else
|
|
||||||
if( c>='A' && c<='Z' )
|
|
||||||
c=c-'A'+10;
|
|
||||||
else
|
|
||||||
return -1;
|
|
||||||
|
|
||||||
if( c >= base )
|
|
||||||
return -1;
|
|
||||||
|
|
||||||
return c;
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method returns true if 'character' is a proper first digit for the value (or a comma -- can be first too)
|
this method returns true if 'character' is a proper first digit for the value (or a comma -- can be first too)
|
||||||
*/
|
*/
|
||||||
bool ValueStarts(int character, int base)
|
bool ValueStarts(int character, int base)
|
||||||
{
|
{
|
||||||
if( character == TTMATH_COMMA_CHARACTER_1 )
|
if( character == comma )
|
||||||
return true;
|
return true;
|
||||||
|
|
||||||
if( TTMATH_COMMA_CHARACTER_2 != 0 && character == TTMATH_COMMA_CHARACTER_2 )
|
if( comma2!=0 && character==comma2 )
|
||||||
return true;
|
return true;
|
||||||
|
|
||||||
if( CharToDigit(character, base) != -1 )
|
if( Misc::CharToDigit(character, base) != -1 )
|
||||||
return true;
|
return true;
|
||||||
|
|
||||||
return false;
|
return false;
|
||||||
@@ -1812,9 +1896,9 @@ return 0;
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
void InsertOperatorToTable(const std::string & name, typename MatOperator::Type type)
|
void InsertOperatorToTable(const char * name, typename MatOperator::Type type)
|
||||||
{
|
{
|
||||||
operators_table.insert( std::make_pair(name, type) );
|
operators_table.insert( std::make_pair(std::string(name), type) );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -1823,19 +1907,19 @@ void InsertOperatorToTable(const std::string & name, typename MatOperator::Type
|
|||||||
*/
|
*/
|
||||||
void CreateMathematicalOperatorsTable()
|
void CreateMathematicalOperatorsTable()
|
||||||
{
|
{
|
||||||
InsertOperatorToTable(std::string("||"), MatOperator::lor);
|
InsertOperatorToTable("||", MatOperator::lor);
|
||||||
InsertOperatorToTable(std::string("&&"), MatOperator::land);
|
InsertOperatorToTable("&&", MatOperator::land);
|
||||||
InsertOperatorToTable(std::string("!="), MatOperator::neq);
|
InsertOperatorToTable("!=", MatOperator::neq);
|
||||||
InsertOperatorToTable(std::string("=="), MatOperator::eq);
|
InsertOperatorToTable("==", MatOperator::eq);
|
||||||
InsertOperatorToTable(std::string(">="), MatOperator::get);
|
InsertOperatorToTable(">=", MatOperator::get);
|
||||||
InsertOperatorToTable(std::string("<="), MatOperator::let);
|
InsertOperatorToTable("<=", MatOperator::let);
|
||||||
InsertOperatorToTable(std::string(">"), MatOperator::gt);
|
InsertOperatorToTable(">", MatOperator::gt);
|
||||||
InsertOperatorToTable(std::string("<"), MatOperator::lt);
|
InsertOperatorToTable("<", MatOperator::lt);
|
||||||
InsertOperatorToTable(std::string("-"), MatOperator::sub);
|
InsertOperatorToTable("-", MatOperator::sub);
|
||||||
InsertOperatorToTable(std::string("+"), MatOperator::add);
|
InsertOperatorToTable("+", MatOperator::add);
|
||||||
InsertOperatorToTable(std::string("/"), MatOperator::div);
|
InsertOperatorToTable("/", MatOperator::div);
|
||||||
InsertOperatorToTable(std::string("*"), MatOperator::mul);
|
InsertOperatorToTable("*", MatOperator::mul);
|
||||||
InsertOperatorToTable(std::string("^"), MatOperator::pow);
|
InsertOperatorToTable("^", MatOperator::pow);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -1850,7 +1934,7 @@ bool IsSubstring(const std::string & str1, const std::string & str2)
|
|||||||
if( str2.length() > str1.length() )
|
if( str2.length() > str1.length() )
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
for(std::string::size_type i=0 ; i<str2.length() ; ++i)
|
for(typename std::string::size_type i=0 ; i<str2.length() ; ++i)
|
||||||
if( str1[i] != str2[i] )
|
if( str1[i] != str2[i] )
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
@@ -1892,6 +1976,31 @@ typename OperatorsTable::iterator iter_old, iter_new;
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method makes a calculation for the percentage operator
|
||||||
|
e.g.
|
||||||
|
1000-50% = 1000-(1000*0,5) = 500
|
||||||
|
*/
|
||||||
|
void OperatorPercentage()
|
||||||
|
{
|
||||||
|
if( stack_index < 3 ||
|
||||||
|
stack[stack_index-1].type != Item::numerical_value ||
|
||||||
|
stack[stack_index-2].type != Item::mat_operator ||
|
||||||
|
stack[stack_index-3].type != Item::numerical_value )
|
||||||
|
Error(err_percent_from);
|
||||||
|
|
||||||
|
++pstring;
|
||||||
|
SkipWhiteCharacters();
|
||||||
|
|
||||||
|
uint c = 0;
|
||||||
|
c += stack[stack_index-1].value.Div(100);
|
||||||
|
c += stack[stack_index-1].value.Mul(stack[stack_index-3].value);
|
||||||
|
|
||||||
|
if( c )
|
||||||
|
Error(err_overflow);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this method reads a mathematic operators
|
this method reads a mathematic operators
|
||||||
or the final bracket or the semicolon operator
|
or the final bracket or the semicolon operator
|
||||||
@@ -1904,6 +2013,10 @@ int ReadOperator(Item & result)
|
|||||||
{
|
{
|
||||||
SkipWhiteCharacters();
|
SkipWhiteCharacters();
|
||||||
|
|
||||||
|
if( *pstring == '%' )
|
||||||
|
OperatorPercentage();
|
||||||
|
|
||||||
|
|
||||||
if( *pstring == 0 )
|
if( *pstring == 0 )
|
||||||
return 1;
|
return 1;
|
||||||
else
|
else
|
||||||
@@ -1913,7 +2026,7 @@ int ReadOperator(Item & result)
|
|||||||
++pstring;
|
++pstring;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
if( *pstring == ';' )
|
if( *pstring == ';' || (param_sep!=0 && *pstring==param_sep) )
|
||||||
{
|
{
|
||||||
result.type = Item::semicolon;
|
result.type = Item::semicolon;
|
||||||
++pstring;
|
++pstring;
|
||||||
@@ -1943,7 +2056,9 @@ return 0;
|
|||||||
void MakeStandardMathematicOperation(ValueType & value1, typename MatOperator::Type mat_operator,
|
void MakeStandardMathematicOperation(ValueType & value1, typename MatOperator::Type mat_operator,
|
||||||
const ValueType & value2)
|
const ValueType & value2)
|
||||||
{
|
{
|
||||||
int res;
|
uint res;
|
||||||
|
|
||||||
|
calculated = true;
|
||||||
|
|
||||||
switch( mat_operator )
|
switch( mat_operator )
|
||||||
{
|
{
|
||||||
@@ -2006,7 +2121,6 @@ int res;
|
|||||||
|
|
||||||
break;
|
break;
|
||||||
|
|
||||||
|
|
||||||
default:
|
default:
|
||||||
/*
|
/*
|
||||||
on the stack left an unknown operator but we had to recognize its before
|
on the stack left an unknown operator but we had to recognize its before
|
||||||
@@ -2393,7 +2507,10 @@ Parser(): default_stack_size(100)
|
|||||||
base = 10;
|
base = 10;
|
||||||
deg_rad_grad = 1;
|
deg_rad_grad = 1;
|
||||||
error = err_ok;
|
error = err_ok;
|
||||||
factorial_max.SetZero();
|
group = 0;
|
||||||
|
comma = '.';
|
||||||
|
comma2 = ',';
|
||||||
|
param_sep = 0;
|
||||||
|
|
||||||
CreateFunctionsTable();
|
CreateFunctionsTable();
|
||||||
CreateVariablesTable();
|
CreateVariablesTable();
|
||||||
@@ -2412,8 +2529,11 @@ Parser<ValueType> & operator=(const Parser<ValueType> & p)
|
|||||||
pfunction_local_variables = 0;
|
pfunction_local_variables = 0;
|
||||||
base = p.base;
|
base = p.base;
|
||||||
deg_rad_grad = p.deg_rad_grad;
|
deg_rad_grad = p.deg_rad_grad;
|
||||||
error = err_ok;
|
error = p.error;
|
||||||
factorial_max = p.factorial_max;
|
group = p.group;
|
||||||
|
comma = p.comma;
|
||||||
|
comma2 = p.comma2;
|
||||||
|
param_sep = p.param_sep;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
we don't have to call 'CreateFunctionsTable()' etc.
|
we don't have to call 'CreateFunctionsTable()' etc.
|
||||||
@@ -2441,6 +2561,7 @@ Parser(const Parser<ValueType> & p): default_stack_size(p.default_stack_size)
|
|||||||
|
|
||||||
/*!
|
/*!
|
||||||
the new base of mathematic system
|
the new base of mathematic system
|
||||||
|
default is 10
|
||||||
*/
|
*/
|
||||||
void SetBase(int b)
|
void SetBase(int b)
|
||||||
{
|
{
|
||||||
@@ -2496,14 +2617,36 @@ void SetFunctions(const Objects * pf)
|
|||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
you will not be allowed to calculate the factorial
|
setting the group character
|
||||||
if its argument is greater than 'm'
|
default zero (not used)
|
||||||
there'll be: ErrorCode::err_too_big_factorial
|
|
||||||
default 'factorial_max' is zero which means you can calculate what you want to
|
|
||||||
*/
|
*/
|
||||||
void SetFactorialMax(const ValueType & m)
|
void SetGroup(int g)
|
||||||
{
|
{
|
||||||
factorial_max = m;
|
group = g;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
setting the main comma operator and the additional comma operator
|
||||||
|
the additional operator can be zero (which means it is not used)
|
||||||
|
default are: '.' and ','
|
||||||
|
*/
|
||||||
|
void SetComma(int c, int c2 = 0)
|
||||||
|
{
|
||||||
|
comma = c;
|
||||||
|
comma2 = c2;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
setting an additional character which is used as a parameters separator
|
||||||
|
the main parameters separator is a semicolon (is used always)
|
||||||
|
|
||||||
|
this character is used also as a global separator
|
||||||
|
*/
|
||||||
|
void SetParamSep(int s)
|
||||||
|
{
|
||||||
|
param_sep = s;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@@ -2515,6 +2658,7 @@ ErrorCode Parse(const char * str)
|
|||||||
stack_index = 0;
|
stack_index = 0;
|
||||||
pstring = str;
|
pstring = str;
|
||||||
error = err_ok;
|
error = err_ok;
|
||||||
|
calculated = false;
|
||||||
|
|
||||||
stack.resize( default_stack_size );
|
stack.resize( default_stack_size );
|
||||||
|
|
||||||
@@ -2525,6 +2669,7 @@ ErrorCode Parse(const char * str)
|
|||||||
catch(ErrorCode c)
|
catch(ErrorCode c)
|
||||||
{
|
{
|
||||||
error = c;
|
error = c;
|
||||||
|
calculated = false;
|
||||||
}
|
}
|
||||||
|
|
||||||
NormalizeStack();
|
NormalizeStack();
|
||||||
@@ -2533,11 +2678,54 @@ return error;
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
the main method using for parsing string
|
||||||
|
*/
|
||||||
|
ErrorCode Parse(const std::string & str)
|
||||||
|
{
|
||||||
|
return Parse(str.c_str());
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
the main method using for parsing string
|
||||||
|
*/
|
||||||
|
ErrorCode Parse(const wchar_t * str)
|
||||||
|
{
|
||||||
|
Misc::AssignString(wide_to_ansi, str);
|
||||||
|
|
||||||
|
return Parse(wide_to_ansi.c_str());
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
the main method using for parsing string
|
||||||
|
*/
|
||||||
|
ErrorCode Parse(const std::wstring & str)
|
||||||
|
{
|
||||||
|
return Parse(str.c_str());
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method returns true is something was calculated
|
||||||
|
(at least one mathematical operator was used or a function or variable)
|
||||||
|
e.g. the string to Parse() looked like this:
|
||||||
|
"1+1"
|
||||||
|
"2*3"
|
||||||
|
"sin(5)"
|
||||||
|
|
||||||
|
if the string was e.g. "678" the result is false
|
||||||
|
*/
|
||||||
|
bool Calculated()
|
||||||
|
{
|
||||||
|
return calculated;
|
||||||
|
}
|
||||||
|
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
} // namespace
|
} // namespace
|
||||||
|
|
||||||
|
|
||||||
|
250
ttmath/ttmaththreads.h
Normal file
250
ttmath/ttmaththreads.h
Normal file
@@ -0,0 +1,250 @@
|
|||||||
|
/*
|
||||||
|
* This file is a part of TTMath Bignum Library
|
||||||
|
* and is distributed under the (new) BSD licence.
|
||||||
|
* Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
|
*/
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||||
|
* All rights reserved.
|
||||||
|
*
|
||||||
|
* Redistribution and use in source and binary forms, with or without
|
||||||
|
* modification, are permitted provided that the following conditions are met:
|
||||||
|
*
|
||||||
|
* * Redistributions of source code must retain the above copyright notice,
|
||||||
|
* this list of conditions and the following disclaimer.
|
||||||
|
*
|
||||||
|
* * Redistributions in binary form must reproduce the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer in the
|
||||||
|
* documentation and/or other materials provided with the distribution.
|
||||||
|
*
|
||||||
|
* * Neither the name Tomasz Sowa nor the names of contributors to this
|
||||||
|
* project may be used to endorse or promote products derived
|
||||||
|
* from this software without specific prior written permission.
|
||||||
|
*
|
||||||
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
||||||
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||||||
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||||||
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
|
||||||
|
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
||||||
|
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
||||||
|
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
||||||
|
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
||||||
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||||||
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
|
||||||
|
* THE POSSIBILITY OF SUCH DAMAGE.
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
#ifndef headerfilettmaththreads
|
||||||
|
#define headerfilettmaththreads
|
||||||
|
|
||||||
|
#include "ttmathtypes.h"
|
||||||
|
|
||||||
|
#ifdef TTMATH_WIN32_THREADS
|
||||||
|
#include <windows.h>
|
||||||
|
#include <cstdio>
|
||||||
|
#endif
|
||||||
|
|
||||||
|
#ifdef TTMATH_POSIX_THREADS
|
||||||
|
#include <pthread.h>
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
\file ttmaththreads.h
|
||||||
|
\brief Some objects used in multithreads environment
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
/*
|
||||||
|
this is a simple skeleton of a program in multithreads environment:
|
||||||
|
|
||||||
|
#define TTMATH_MULTITHREADS
|
||||||
|
#include<ttmath/ttmath.h>
|
||||||
|
|
||||||
|
TTMATH_MULTITHREADS_HELPER
|
||||||
|
|
||||||
|
int main()
|
||||||
|
{
|
||||||
|
[...]
|
||||||
|
}
|
||||||
|
|
||||||
|
make sure that macro TTMATH_MULTITHREADS is defined and (somewhere in *.cpp file)
|
||||||
|
use TTMATH_MULTITHREADS_HELPER macro (outside of any classes/functions/namespaces scope)
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
namespace ttmath
|
||||||
|
{
|
||||||
|
|
||||||
|
|
||||||
|
#ifdef TTMATH_WIN32_THREADS
|
||||||
|
|
||||||
|
/*
|
||||||
|
we use win32 threads
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
in multithreads environment you should use TTMATH_MULTITHREADS_HELPER macro
|
||||||
|
somewhere in *.cpp file
|
||||||
|
|
||||||
|
(at the moment in win32 this macro does nothing)
|
||||||
|
*/
|
||||||
|
#define TTMATH_MULTITHREADS_HELPER
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
objects of this class are used to synchronize
|
||||||
|
*/
|
||||||
|
class ThreadLock
|
||||||
|
{
|
||||||
|
HANDLE mutex_handle;
|
||||||
|
|
||||||
|
|
||||||
|
void CreateName(char * buffer) const
|
||||||
|
{
|
||||||
|
#ifdef _MSC_VER
|
||||||
|
#pragma warning (disable : 4996)
|
||||||
|
// warning C4996: 'sprintf': This function or variable may be unsafe. Consider using sprintf_s instead.
|
||||||
|
#endif
|
||||||
|
|
||||||
|
sprintf(buffer, "TTMATH_LOCK_%ul", (unsigned long)GetCurrentProcessId());
|
||||||
|
|
||||||
|
#ifdef _MSC_VER
|
||||||
|
#pragma warning (default : 4996)
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
public:
|
||||||
|
|
||||||
|
bool Lock()
|
||||||
|
{
|
||||||
|
char buffer[50];
|
||||||
|
|
||||||
|
CreateName(buffer);
|
||||||
|
mutex_handle = CreateMutexA(0, false, buffer);
|
||||||
|
|
||||||
|
if( mutex_handle == 0 )
|
||||||
|
return false;
|
||||||
|
|
||||||
|
WaitForSingleObject(mutex_handle, INFINITE);
|
||||||
|
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
ThreadLock()
|
||||||
|
{
|
||||||
|
mutex_handle = 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
~ThreadLock()
|
||||||
|
{
|
||||||
|
if( mutex_handle != 0 )
|
||||||
|
{
|
||||||
|
ReleaseMutex(mutex_handle);
|
||||||
|
CloseHandle(mutex_handle);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
#endif // #ifdef TTMATH_WIN32_THREADS
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
#ifdef TTMATH_POSIX_THREADS
|
||||||
|
|
||||||
|
/*
|
||||||
|
we use posix threads
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
in multithreads environment you should use TTMATH_MULTITHREADS_HELPER macro
|
||||||
|
somewhere in *.cpp file
|
||||||
|
(this macro defines a pthread_mutex_t object used by TTMath library)
|
||||||
|
*/
|
||||||
|
#define TTMATH_MULTITHREADS_HELPER \
|
||||||
|
namespace ttmath \
|
||||||
|
{ \
|
||||||
|
pthread_mutex_t ttmath_mutex = PTHREAD_MUTEX_INITIALIZER; \
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
ttmath_mutex will be defined by TTMATH_MULTITHREADS_HELPER macro
|
||||||
|
*/
|
||||||
|
extern pthread_mutex_t ttmath_mutex;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
objects of this class are used to synchronize
|
||||||
|
*/
|
||||||
|
class ThreadLock
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
|
||||||
|
bool Lock()
|
||||||
|
{
|
||||||
|
if( pthread_mutex_lock(&ttmath_mutex) != 0 )
|
||||||
|
return false;
|
||||||
|
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
~ThreadLock()
|
||||||
|
{
|
||||||
|
pthread_mutex_unlock(&ttmath_mutex);
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
#endif // #ifdef TTMATH_POSIX_THREADS
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
#if !defined(TTMATH_POSIX_THREADS) && !defined(TTMATH_WIN32_THREADS)
|
||||||
|
|
||||||
|
/*!
|
||||||
|
we don't use win32 and pthreads
|
||||||
|
*/
|
||||||
|
|
||||||
|
/*!
|
||||||
|
*/
|
||||||
|
#define TTMATH_MULTITHREADS_HELPER
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
objects of this class are used to synchronize
|
||||||
|
actually we don't synchronize, the method Lock() returns always 'false'
|
||||||
|
*/
|
||||||
|
class ThreadLock
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
|
||||||
|
bool Lock()
|
||||||
|
{
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
#endif // #if !defined(TTMATH_POSIX_THREADS) && !defined(TTMATH_WIN32_THREADS)
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
} // namespace
|
||||||
|
|
||||||
|
#endif
|
||||||
|
|
@@ -1,7 +1,7 @@
|
|||||||
/*
|
/*
|
||||||
* This file is a part of TTMath Bignum Library
|
* This file is a part of TTMath Bignum Library
|
||||||
* and is distributed under the (new) BSD licence.
|
* and is distributed under the (new) BSD licence.
|
||||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
* Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
*/
|
*/
|
||||||
|
|
||||||
/*
|
/*
|
||||||
@@ -54,7 +54,7 @@
|
|||||||
|
|
||||||
#include <stdexcept>
|
#include <stdexcept>
|
||||||
#include <sstream>
|
#include <sstream>
|
||||||
|
#include <vector>
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
the version of the library
|
the version of the library
|
||||||
@@ -63,8 +63,8 @@
|
|||||||
if zero that means this is the release version of the library
|
if zero that means this is the release version of the library
|
||||||
*/
|
*/
|
||||||
#define TTMATH_MAJOR_VER 0
|
#define TTMATH_MAJOR_VER 0
|
||||||
#define TTMATH_MINOR_VER 8
|
#define TTMATH_MINOR_VER 9
|
||||||
#define TTMATH_REVISION_VER 3
|
#define TTMATH_REVISION_VER 0
|
||||||
#define TTMATH_PRERELEASE_VER 0
|
#define TTMATH_PRERELEASE_VER 0
|
||||||
|
|
||||||
|
|
||||||
@@ -83,7 +83,7 @@
|
|||||||
gcc -DTTMATH_RELEASE -o myprogram myprogram.cpp
|
gcc -DTTMATH_RELEASE -o myprogram myprogram.cpp
|
||||||
or by defining this macro in your code before using any header files of this library
|
or by defining this macro in your code before using any header files of this library
|
||||||
|
|
||||||
if TTMATH_RELEASE is not set then TTMATH_DEBUG is set
|
if TTMATH_RELEASE is not set then TTMATH_DEBUG is set automatically
|
||||||
*/
|
*/
|
||||||
#ifndef TTMATH_RELEASE
|
#ifndef TTMATH_RELEASE
|
||||||
#define TTMATH_DEBUG
|
#define TTMATH_DEBUG
|
||||||
@@ -112,6 +112,15 @@ namespace ttmath
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
another compilers than MS VC or GCC by default use no asm version (TTMATH_NOASM)
|
||||||
|
*/
|
||||||
|
#if !defined _MSC_VER && !defined __GNUC__
|
||||||
|
#define TTMATH_NOASM
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
#ifdef TTMATH_PLATFORM32
|
#ifdef TTMATH_PLATFORM32
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
@@ -120,6 +129,20 @@ namespace ttmath
|
|||||||
typedef unsigned int uint;
|
typedef unsigned int uint;
|
||||||
typedef signed int sint;
|
typedef signed int sint;
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this type is twice bigger than uint
|
||||||
|
(64bit on a 32bit platforms)
|
||||||
|
|
||||||
|
although C++ Standard - ANSI ISO IEC 14882:2003 doesn't define such a type (long long)
|
||||||
|
but it is defined in C99 and in upcoming C++0x /3.9.1 (2)/ and many compilers support it
|
||||||
|
|
||||||
|
this type is used in UInt::MulTwoWords and UInt::DivTwoWords when macro TTMATH_NOASM is defined
|
||||||
|
but only on a 32bit platform
|
||||||
|
*/
|
||||||
|
#ifdef TTMATH_NOASM
|
||||||
|
typedef unsigned long long int ulint;
|
||||||
|
#endif
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
how many bits there are in the uint type
|
how many bits there are in the uint type
|
||||||
*/
|
*/
|
||||||
@@ -143,13 +166,35 @@ namespace ttmath
|
|||||||
*/
|
*/
|
||||||
#define TTMATH_BUILTIN_VARIABLES_SIZE 256u
|
#define TTMATH_BUILTIN_VARIABLES_SIZE 256u
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this macro returns the number of machine words
|
||||||
|
capable to hold min_bits bits
|
||||||
|
e.g. TTMATH_BITS(128) returns 4
|
||||||
|
*/
|
||||||
|
#define TTMATH_BITS(min_bits) ((min_bits-1)/32 + 1)
|
||||||
|
|
||||||
#else
|
#else
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
on 64bit platforms one word (uint, sint) will be equal 64bits
|
on 64bit platforms one word (uint, sint) will be equal 64bits
|
||||||
*/
|
*/
|
||||||
|
#ifdef _MSC_VER
|
||||||
|
/* in VC 'long' type has 32 bits, __int64 is VC extension */
|
||||||
|
typedef unsigned __int64 uint;
|
||||||
|
typedef signed __int64 sint;
|
||||||
|
#else
|
||||||
typedef unsigned long uint;
|
typedef unsigned long uint;
|
||||||
typedef signed long sint;
|
typedef signed long sint;
|
||||||
|
#endif
|
||||||
|
|
||||||
|
/*!
|
||||||
|
on 64bit platform we do not define ulint
|
||||||
|
sizeof(long long) is 8 (64bit) but we need 128bit
|
||||||
|
|
||||||
|
on 64 bit platform (when there is defined TTMATH_NOASM macro)
|
||||||
|
methods UInt::MulTwoWords and UInt::DivTwoWords are using other algorithms than those on 32 bit
|
||||||
|
*/
|
||||||
|
//typedef unsigned long long int ulint;
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
how many bits there are in the uint type
|
how many bits there are in the uint type
|
||||||
@@ -174,27 +219,28 @@ namespace ttmath
|
|||||||
*/
|
*/
|
||||||
#define TTMATH_BUILTIN_VARIABLES_SIZE 128ul
|
#define TTMATH_BUILTIN_VARIABLES_SIZE 128ul
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this macro returns the number of machine words
|
||||||
|
capable to hold min_bits bits
|
||||||
|
e.g. TTMATH_BITS(128) returns 2
|
||||||
|
*/
|
||||||
|
#define TTMATH_BITS(min_bits) ((min_bits-1)/64 + 1)
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
#if defined(TTMATH_MULTITHREADS) && !defined(TTMATH_MULTITHREADS_NOSYNC)
|
||||||
|
#if !defined(TTMATH_POSIX_THREADS) && !defined(TTMATH_WIN32_THREADS)
|
||||||
|
|
||||||
/*!
|
#if defined(_WIN32)
|
||||||
characters which represent the comma operator
|
#define TTMATH_WIN32_THREADS
|
||||||
|
#elif defined(unix) || defined(__unix__) || defined(__unix)
|
||||||
|
#define TTMATH_POSIX_THREADS
|
||||||
|
#endif
|
||||||
|
|
||||||
TTMATH_COMMA_CHARACTER_1 is used in reading (parsing) and in writing (default, can be overwritten in ToString() function)
|
#endif
|
||||||
TTMATH_COMMA_CHARACTER_2 can be used in reading as an auxiliary comma character
|
#endif
|
||||||
that means you can input values for example 1.2345 and 1,2345 as well
|
|
||||||
|
|
||||||
if you don't want it just put 0 there e.g.
|
|
||||||
#define TTMATH_COMMA_CHARACTER_2 0
|
|
||||||
then only TTMATH_COMMA_CHARACTER_1 will be used
|
|
||||||
|
|
||||||
don't put there any special character which is used by the parser
|
|
||||||
(for example a semicolon ';' shouldn't be there)
|
|
||||||
*/
|
|
||||||
#define TTMATH_COMMA_CHARACTER_1 '.'
|
|
||||||
#define TTMATH_COMMA_CHARACTER_2 ','
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
@@ -214,10 +260,59 @@ namespace ttmath
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this is a limit when calculating Karatsuba multiplication
|
||||||
|
if the size of a vector is smaller than TTMATH_USE_KARATSUBA_MULTIPLICATION_FROM_SIZE
|
||||||
|
the Karatsuba algorithm will use standard schoolbook multiplication
|
||||||
|
*/
|
||||||
|
#ifdef TTMATH_DEBUG_LOG
|
||||||
|
// if TTMATH_DEBUG_LOG is defined then we should use the same size regardless of the compiler
|
||||||
|
#define TTMATH_USE_KARATSUBA_MULTIPLICATION_FROM_SIZE 3
|
||||||
|
#else
|
||||||
|
#ifdef __GNUC__
|
||||||
|
#define TTMATH_USE_KARATSUBA_MULTIPLICATION_FROM_SIZE 3
|
||||||
|
#else
|
||||||
|
#define TTMATH_USE_KARATSUBA_MULTIPLICATION_FROM_SIZE 5
|
||||||
|
#endif
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this is a special value used when calculating the Gamma(x) function
|
||||||
|
if x is greater than this value then the Gamma(x) will be calculated using
|
||||||
|
some kind of series
|
||||||
|
|
||||||
|
don't use smaller values than about 100
|
||||||
|
*/
|
||||||
|
#define TTMATH_GAMMA_BOUNDARY 2000
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
namespace ttmath
|
namespace ttmath
|
||||||
{
|
{
|
||||||
|
|
||||||
|
/*!
|
||||||
|
lib type codes:
|
||||||
|
asm_vc_32 - with asm code designed for Microsoft Visual C++ (32 bits)
|
||||||
|
asm_gcc_32 - with asm code designed for GCC (32 bits)
|
||||||
|
asm_vc_64 - with asm for VC (64 bit)
|
||||||
|
asm_gcc_64 - with asm for GCC (64 bit)
|
||||||
|
no_asm_32 - pure C++ version (32 bit) - without any asm code
|
||||||
|
no_asm_64 - pure C++ version (64 bit) - without any asm code
|
||||||
|
*/
|
||||||
|
enum LibTypeCode
|
||||||
|
{
|
||||||
|
asm_vc_32 = 0,
|
||||||
|
asm_gcc_32,
|
||||||
|
asm_vc_64,
|
||||||
|
asm_gcc_64,
|
||||||
|
no_asm_32,
|
||||||
|
no_asm_64
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
error codes
|
error codes
|
||||||
*/
|
*/
|
||||||
@@ -248,11 +343,132 @@ namespace ttmath
|
|||||||
err_object_exists,
|
err_object_exists,
|
||||||
err_unknown_object,
|
err_unknown_object,
|
||||||
err_still_calculating,
|
err_still_calculating,
|
||||||
err_too_big_factorial,
|
err_in_short_form_used_function,
|
||||||
err_in_short_form_used_function
|
err_percent_from
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this struct is used when converting to/from a string
|
||||||
|
/temporarily only in Big::ToString() and Big::FromString()/
|
||||||
|
*/
|
||||||
|
struct Conv
|
||||||
|
{
|
||||||
|
/*!
|
||||||
|
base (radix) on which the value will be shown (or read)
|
||||||
|
default: 10
|
||||||
|
*/
|
||||||
|
uint base;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
used only in Big::ToString()
|
||||||
|
if true the value will be always shown in the scientific mode, e.g: 123e+30
|
||||||
|
default: false
|
||||||
|
*/
|
||||||
|
bool scient;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
used only in Big::ToString()
|
||||||
|
if scient is false then the value will be print in the scientific mode
|
||||||
|
only if the exponent is greater than scien_from
|
||||||
|
default: 15
|
||||||
|
*/
|
||||||
|
sint scient_from;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
if 'base_round' is true and 'base' is different from 2, 4, 8, or 16
|
||||||
|
and the result value is not an integer then we make an additional rounding
|
||||||
|
(after converting the last digit from the result is skipped)
|
||||||
|
default: true
|
||||||
|
|
||||||
|
e.g.
|
||||||
|
Conv c;
|
||||||
|
c.base_round = false;
|
||||||
|
Big<1, 1> a = "0.1"; // decimal input
|
||||||
|
std::cout << a.ToString(c) << std::endl; // the result is: 0.099999999
|
||||||
|
*/
|
||||||
|
bool base_round;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
used only in Big::ToString()
|
||||||
|
tells how many digits after comma are possible
|
||||||
|
default: -1 which means all digits are printed
|
||||||
|
|
||||||
|
set it to zero if you want integer value only
|
||||||
|
|
||||||
|
for example when the value is:
|
||||||
|
12.345678 and 'round' is 4
|
||||||
|
then the result will be
|
||||||
|
12.3457 (the last digit was rounded)
|
||||||
|
*/
|
||||||
|
sint round;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
if true that not mattered digits in the mantissa will be cut off
|
||||||
|
(zero characters at the end -- after the comma operator)
|
||||||
|
e.g. 1234,78000 will be: 1234,78
|
||||||
|
default: true
|
||||||
|
*/
|
||||||
|
bool trim_zeroes;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
the main comma operator (used when reading and writing)
|
||||||
|
default is a dot '.'
|
||||||
|
*/
|
||||||
|
uint comma;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
additional comma operator (used only when reading)
|
||||||
|
if you don't want it just set it to zero
|
||||||
|
default is a comma ','
|
||||||
|
|
||||||
|
this allowes you to convert from a value:
|
||||||
|
123.45 as well as from 123,45
|
||||||
|
*/
|
||||||
|
uint comma2;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
it sets the character which is used for grouping
|
||||||
|
if group=' ' then: 1234,56789 will be printed as: 1 234,567 89
|
||||||
|
|
||||||
|
if you don't want grouping just set it to zero (which is default)
|
||||||
|
*/
|
||||||
|
uint group;
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
*/
|
||||||
|
uint group_exp; // not implemented yet
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
Conv()
|
||||||
|
{
|
||||||
|
// default values
|
||||||
|
base = 10;
|
||||||
|
scient = false;
|
||||||
|
scient_from = 15;
|
||||||
|
base_round = true;
|
||||||
|
round = -1;
|
||||||
|
trim_zeroes = true;
|
||||||
|
comma = '.';
|
||||||
|
comma2 = ',';
|
||||||
|
group = 0;
|
||||||
|
group_exp = 0;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
this simple class can be used in multithreading model
|
this simple class can be used in multithreading model
|
||||||
(you can write your own class derived from this one)
|
(you can write your own class derived from this one)
|
||||||
@@ -306,7 +522,7 @@ namespace ttmath
|
|||||||
can throw an exception of this type
|
can throw an exception of this type
|
||||||
|
|
||||||
If you compile with gcc you can get a small benefit
|
If you compile with gcc you can get a small benefit
|
||||||
from using method Where() (it returns std::string with
|
from using method Where() (it returns std::string) with
|
||||||
the name and the line of a file where the macro TTMATH_REFERENCE_ASSERT
|
the name and the line of a file where the macro TTMATH_REFERENCE_ASSERT
|
||||||
was used)
|
was used)
|
||||||
|
|
||||||
@@ -326,16 +542,16 @@ namespace ttmath
|
|||||||
foo.Add(foo);
|
foo.Add(foo);
|
||||||
but there are only few methods which can do that
|
but there are only few methods which can do that
|
||||||
*/
|
*/
|
||||||
class ReferenceError : public std::logic_error, ExceptionInfo
|
class ReferenceError : public std::logic_error, public ExceptionInfo
|
||||||
{
|
{
|
||||||
public:
|
public:
|
||||||
|
|
||||||
ReferenceError() : std::logic_error ("reference error")
|
ReferenceError() : std::logic_error("reference error")
|
||||||
{
|
{
|
||||||
}
|
}
|
||||||
|
|
||||||
ReferenceError(const char * f, int l) :
|
ReferenceError(const char * f, int l) :
|
||||||
std::logic_error ("reference error"), ExceptionInfo(f,l)
|
std::logic_error("reference error"), ExceptionInfo(f,l)
|
||||||
{
|
{
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -354,20 +570,20 @@ namespace ttmath
|
|||||||
of this type
|
of this type
|
||||||
|
|
||||||
if you compile with gcc you can get a small benefit
|
if you compile with gcc you can get a small benefit
|
||||||
from using method Where() (it returns std::string with
|
from using method Where() (it returns std::string) with
|
||||||
the name and the line of a file where the macro TTMATH_ASSERT
|
the name and the line of a file where the macro TTMATH_ASSERT
|
||||||
was used)
|
was used)
|
||||||
*/
|
*/
|
||||||
class RuntimeError : public std::runtime_error, ExceptionInfo
|
class RuntimeError : public std::runtime_error, public ExceptionInfo
|
||||||
{
|
{
|
||||||
public:
|
public:
|
||||||
|
|
||||||
RuntimeError() : std::runtime_error ("internal error")
|
RuntimeError() : std::runtime_error("internal error")
|
||||||
{
|
{
|
||||||
}
|
}
|
||||||
|
|
||||||
RuntimeError(const char * f, int l) :
|
RuntimeError(const char * f, int l) :
|
||||||
std::runtime_error ("internal error"), ExceptionInfo(f,l)
|
std::runtime_error("internal error"), ExceptionInfo(f,l)
|
||||||
{
|
{
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -407,7 +623,24 @@ namespace ttmath
|
|||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
#ifdef TTMATH_DEBUG_LOG
|
||||||
|
#define TTMATH_LOG(msg) PrintLog(msg, std::cout);
|
||||||
|
#define TTMATH_LOGC(msg, carry) PrintLog(msg, carry, std::cout);
|
||||||
|
#define TTMATH_VECTOR_LOG(msg, vector, len) PrintVectorLog(msg, std::cout, vector, len);
|
||||||
|
#define TTMATH_VECTOR_LOGC(msg, carry, vector, len) PrintVectorLog(msg, carry, std::cout, vector, len);
|
||||||
|
#else
|
||||||
|
#define TTMATH_LOG(msg)
|
||||||
|
#define TTMATH_LOGC(msg, carry)
|
||||||
|
#define TTMATH_VECTOR_LOG(msg, vector, len)
|
||||||
|
#define TTMATH_VECTOR_LOGC(msg, carry, vector, len)
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
} // namespace
|
} // namespace
|
||||||
|
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
2564
ttmath/ttmathuint.h
2564
ttmath/ttmathuint.h
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
992
ttmath/ttmathuint_noasm.h
Normal file
992
ttmath/ttmathuint_noasm.h
Normal file
@@ -0,0 +1,992 @@
|
|||||||
|
/*
|
||||||
|
* This file is a part of TTMath Bignum Library
|
||||||
|
* and is distributed under the (new) BSD licence.
|
||||||
|
* Author: Tomasz Sowa <t.sowa@ttmath.org>
|
||||||
|
*/
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||||
|
* All rights reserved.
|
||||||
|
*
|
||||||
|
* Redistribution and use in source and binary forms, with or without
|
||||||
|
* modification, are permitted provided that the following conditions are met:
|
||||||
|
*
|
||||||
|
* * Redistributions of source code must retain the above copyright notice,
|
||||||
|
* this list of conditions and the following disclaimer.
|
||||||
|
*
|
||||||
|
* * Redistributions in binary form must reproduce the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer in the
|
||||||
|
* documentation and/or other materials provided with the distribution.
|
||||||
|
*
|
||||||
|
* * Neither the name Tomasz Sowa nor the names of contributors to this
|
||||||
|
* project may be used to endorse or promote products derived
|
||||||
|
* from this software without specific prior written permission.
|
||||||
|
*
|
||||||
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
||||||
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||||||
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||||||
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
|
||||||
|
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
||||||
|
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
||||||
|
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
||||||
|
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
||||||
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||||||
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
|
||||||
|
* THE POSSIBILITY OF SUCH DAMAGE.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#ifndef headerfilettmathuint_noasm
|
||||||
|
#define headerfilettmathuint_noasm
|
||||||
|
|
||||||
|
|
||||||
|
#ifdef TTMATH_NOASM
|
||||||
|
|
||||||
|
/*!
|
||||||
|
\file ttmathuint_noasm.h
|
||||||
|
\brief template class UInt<uint> with methods without any assembler code
|
||||||
|
|
||||||
|
this file is included at the end of ttmathuint.h
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
namespace ttmath
|
||||||
|
{
|
||||||
|
|
||||||
|
/*!
|
||||||
|
returning the string represents the currect type of the library
|
||||||
|
we have following types:
|
||||||
|
asm_vc_32 - with asm code designed for Microsoft Visual C++ (32 bits)
|
||||||
|
asm_gcc_32 - with asm code designed for GCC (32 bits)
|
||||||
|
asm_vc_64 - with asm for VC (64 bit)
|
||||||
|
asm_gcc_64 - with asm for GCC (64 bit)
|
||||||
|
no_asm_32 - pure C++ version (32 bit) - without any asm code
|
||||||
|
no_asm_64 - pure C++ version (64 bit) - without any asm code
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
const char * UInt<value_size>::LibTypeStr()
|
||||||
|
{
|
||||||
|
#ifdef TTMATH_PLATFORM32
|
||||||
|
static const char info[] = "no_asm_32";
|
||||||
|
#endif
|
||||||
|
|
||||||
|
#ifdef TTMATH_PLATFORM64
|
||||||
|
static const char info[] = "no_asm_64";
|
||||||
|
#endif
|
||||||
|
|
||||||
|
return info;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
returning the currect type of the library
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
LibTypeCode UInt<value_size>::LibType()
|
||||||
|
{
|
||||||
|
#ifdef TTMATH_PLATFORM32
|
||||||
|
LibTypeCode info = no_asm_32;
|
||||||
|
#endif
|
||||||
|
|
||||||
|
#ifdef TTMATH_PLATFORM64
|
||||||
|
LibTypeCode info = no_asm_64;
|
||||||
|
#endif
|
||||||
|
|
||||||
|
return info;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method adds two words together
|
||||||
|
returns carry
|
||||||
|
|
||||||
|
this method is created only when TTMATH_NOASM macro is defined
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::AddTwoWords(uint a, uint b, uint carry, uint * result)
|
||||||
|
{
|
||||||
|
uint temp;
|
||||||
|
|
||||||
|
if( carry == 0 )
|
||||||
|
{
|
||||||
|
temp = a + b;
|
||||||
|
|
||||||
|
if( temp < a )
|
||||||
|
carry = 1;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
carry = 1;
|
||||||
|
temp = a + b + carry;
|
||||||
|
|
||||||
|
if( temp > a ) // !(temp<=a)
|
||||||
|
carry = 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
*result = temp;
|
||||||
|
|
||||||
|
return carry;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method adding ss2 to the this and adding carry if it's defined
|
||||||
|
(this = this + ss2 + c)
|
||||||
|
|
||||||
|
c must be zero or one (might be a bigger value than 1)
|
||||||
|
function returns carry (1) (if it was)
|
||||||
|
*/
|
||||||
|
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::Add(const UInt<value_size> & ss2, uint c)
|
||||||
|
{
|
||||||
|
uint i;
|
||||||
|
|
||||||
|
for(i=0 ; i<value_size ; ++i)
|
||||||
|
c = AddTwoWords(table[i], ss2.table[i], c, &table[i]);
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::Add", c)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method adds one word (at a specific position)
|
||||||
|
and returns a carry (if it was)
|
||||||
|
|
||||||
|
if we've got (value_size=3):
|
||||||
|
table[0] = 10;
|
||||||
|
table[1] = 30;
|
||||||
|
table[2] = 5;
|
||||||
|
and we call:
|
||||||
|
AddInt(2,1)
|
||||||
|
then it'll be:
|
||||||
|
table[0] = 10;
|
||||||
|
table[1] = 30 + 2;
|
||||||
|
table[2] = 5;
|
||||||
|
|
||||||
|
of course if there was a carry from table[2] it would be returned
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::AddInt(uint value, uint index)
|
||||||
|
{
|
||||||
|
uint i, c;
|
||||||
|
|
||||||
|
TTMATH_ASSERT( index < value_size )
|
||||||
|
|
||||||
|
|
||||||
|
c = AddTwoWords(table[index], value, 0, &table[index]);
|
||||||
|
|
||||||
|
for(i=index+1 ; i<value_size && c ; ++i)
|
||||||
|
c = AddTwoWords(table[i], 0, c, &table[i]);
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::AddInt", c)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method adds only two unsigned words to the existing value
|
||||||
|
and these words begin on the 'index' position
|
||||||
|
(it's used in the multiplication algorithm 2)
|
||||||
|
|
||||||
|
index should be equal or smaller than value_size-2 (index <= value_size-2)
|
||||||
|
x1 - lower word, x2 - higher word
|
||||||
|
|
||||||
|
for example if we've got value_size equal 4 and:
|
||||||
|
table[0] = 3
|
||||||
|
table[1] = 4
|
||||||
|
table[2] = 5
|
||||||
|
table[3] = 6
|
||||||
|
then let
|
||||||
|
x1 = 10
|
||||||
|
x2 = 20
|
||||||
|
and
|
||||||
|
index = 1
|
||||||
|
|
||||||
|
the result of this method will be:
|
||||||
|
table[0] = 3
|
||||||
|
table[1] = 4 + x1 = 14
|
||||||
|
table[2] = 5 + x2 = 25
|
||||||
|
table[3] = 6
|
||||||
|
|
||||||
|
and no carry at the end of table[3]
|
||||||
|
|
||||||
|
(of course if there was a carry in table[2](5+20) then
|
||||||
|
this carry would be passed to the table[3] etc.)
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::AddTwoInts(uint x2, uint x1, uint index)
|
||||||
|
{
|
||||||
|
uint i, c;
|
||||||
|
|
||||||
|
TTMATH_ASSERT( index < value_size - 1 )
|
||||||
|
|
||||||
|
|
||||||
|
c = AddTwoWords(table[index], x1, 0, &table[index]);
|
||||||
|
c = AddTwoWords(table[index+1], x2, c, &table[index+1]);
|
||||||
|
|
||||||
|
for(i=index+2 ; i<value_size && c ; ++i)
|
||||||
|
c = AddTwoWords(table[i], 0, c, &table[i]);
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::AddTwoInts", c)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this static method addes one vector to the other
|
||||||
|
'ss1' is larger in size or equal to 'ss2'
|
||||||
|
|
||||||
|
ss1 points to the first (larger) vector
|
||||||
|
ss2 points to the second vector
|
||||||
|
ss1_size - size of the ss1 (and size of the result too)
|
||||||
|
ss2_size - size of the ss2
|
||||||
|
result - is the result vector (which has size the same as ss1: ss1_size)
|
||||||
|
|
||||||
|
Example: ss1_size is 5, ss2_size is 3
|
||||||
|
ss1: ss2: result (output):
|
||||||
|
5 1 5+1
|
||||||
|
4 3 4+3
|
||||||
|
2 7 2+7
|
||||||
|
6 6
|
||||||
|
9 9
|
||||||
|
of course the carry is propagated and will be returned from the last item
|
||||||
|
(this method is used by the Karatsuba multiplication algorithm)
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::AddVector(const uint * ss1, const uint * ss2, uint ss1_size, uint ss2_size, uint * result)
|
||||||
|
{
|
||||||
|
uint i, c = 0;
|
||||||
|
|
||||||
|
TTMATH_ASSERT( ss1_size >= ss2_size )
|
||||||
|
|
||||||
|
for(i=0 ; i<ss2_size ; ++i)
|
||||||
|
c = AddTwoWords(ss1[i], ss2[i], c, &result[i]);
|
||||||
|
|
||||||
|
for( ; i<ss1_size ; ++i)
|
||||||
|
c = AddTwoWords(ss1[i], 0, c, &result[i]);
|
||||||
|
|
||||||
|
TTMATH_VECTOR_LOGC("UInt::AddVector", c, result, ss1_size)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method subtractes one word from the other
|
||||||
|
returns carry
|
||||||
|
|
||||||
|
this method is created only when TTMATH_NOASM macro is defined
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::SubTwoWords(uint a, uint b, uint carry, uint * result)
|
||||||
|
{
|
||||||
|
if( carry == 0 )
|
||||||
|
{
|
||||||
|
*result = a - b;
|
||||||
|
|
||||||
|
if( a < b )
|
||||||
|
carry = 1;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
carry = 1;
|
||||||
|
*result = a - b - carry;
|
||||||
|
|
||||||
|
if( a > b ) // !(a <= b )
|
||||||
|
carry = 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
return carry;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method's subtracting ss2 from the 'this' and subtracting
|
||||||
|
carry if it has been defined
|
||||||
|
(this = this - ss2 - c)
|
||||||
|
|
||||||
|
c must be zero or one (might be a bigger value than 1)
|
||||||
|
function returns carry (1) (if it was)
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::Sub(const UInt<value_size> & ss2, uint c)
|
||||||
|
{
|
||||||
|
uint i;
|
||||||
|
|
||||||
|
for(i=0 ; i<value_size ; ++i)
|
||||||
|
c = SubTwoWords(table[i], ss2.table[i], c, &table[i]);
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::Sub", c)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method subtracts one word (at a specific position)
|
||||||
|
and returns a carry (if it was)
|
||||||
|
|
||||||
|
if we've got (value_size=3):
|
||||||
|
table[0] = 10;
|
||||||
|
table[1] = 30;
|
||||||
|
table[2] = 5;
|
||||||
|
and we call:
|
||||||
|
SubInt(2,1)
|
||||||
|
then it'll be:
|
||||||
|
table[0] = 10;
|
||||||
|
table[1] = 30 - 2;
|
||||||
|
table[2] = 5;
|
||||||
|
|
||||||
|
of course if there was a carry from table[2] it would be returned
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::SubInt(uint value, uint index)
|
||||||
|
{
|
||||||
|
uint i, c;
|
||||||
|
|
||||||
|
TTMATH_ASSERT( index < value_size )
|
||||||
|
|
||||||
|
|
||||||
|
c = SubTwoWords(table[index], value, 0, &table[index]);
|
||||||
|
|
||||||
|
for(i=index+1 ; i<value_size && c ; ++i)
|
||||||
|
c = SubTwoWords(table[i], 0, c, &table[i]);
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::SubInt", c)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this static method subtractes one vector from the other
|
||||||
|
'ss1' is larger in size or equal to 'ss2'
|
||||||
|
|
||||||
|
ss1 points to the first (larger) vector
|
||||||
|
ss2 points to the second vector
|
||||||
|
ss1_size - size of the ss1 (and size of the result too)
|
||||||
|
ss2_size - size of the ss2
|
||||||
|
result - is the result vector (which has size the same as ss1: ss1_size)
|
||||||
|
|
||||||
|
Example: ss1_size is 5, ss2_size is 3
|
||||||
|
ss1: ss2: result (output):
|
||||||
|
5 1 5-1
|
||||||
|
4 3 4-3
|
||||||
|
2 7 2-7
|
||||||
|
6 6-1 (the borrow from previous item)
|
||||||
|
9 9
|
||||||
|
return (carry): 0
|
||||||
|
of course the carry (borrow) is propagated and will be returned from the last item
|
||||||
|
(this method is used by the Karatsuba multiplication algorithm)
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::SubVector(const uint * ss1, const uint * ss2, uint ss1_size, uint ss2_size, uint * result)
|
||||||
|
{
|
||||||
|
uint i, c = 0;
|
||||||
|
|
||||||
|
TTMATH_ASSERT( ss1_size >= ss2_size )
|
||||||
|
|
||||||
|
for(i=0 ; i<ss2_size ; ++i)
|
||||||
|
c = SubTwoWords(ss1[i], ss2[i], c, &result[i]);
|
||||||
|
|
||||||
|
for( ; i<ss1_size ; ++i)
|
||||||
|
c = SubTwoWords(ss1[i], 0, c, &result[i]);
|
||||||
|
|
||||||
|
TTMATH_VECTOR_LOGC("UInt::SubVector", c, result, ss1_size)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method moves all bits into the left hand side
|
||||||
|
return value <- this <- c
|
||||||
|
|
||||||
|
the lowest *bit* will be held the 'c' and
|
||||||
|
the state of one additional bit (on the left hand side)
|
||||||
|
will be returned
|
||||||
|
|
||||||
|
for example:
|
||||||
|
let this is 001010000
|
||||||
|
after Rcl2_one(1) there'll be 010100001 and Rcl2_one returns 0
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::Rcl2_one(uint c)
|
||||||
|
{
|
||||||
|
uint i, new_c;
|
||||||
|
|
||||||
|
if( c != 0 )
|
||||||
|
c = 1;
|
||||||
|
|
||||||
|
for(i=0 ; i<value_size ; ++i)
|
||||||
|
{
|
||||||
|
new_c = (table[i] & TTMATH_UINT_HIGHEST_BIT) ? 1 : 0;
|
||||||
|
table[i] = (table[i] << 1) | c;
|
||||||
|
c = new_c;
|
||||||
|
}
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::Rcl2_one", c)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method moves all bits into the right hand side
|
||||||
|
c -> this -> return value
|
||||||
|
|
||||||
|
the highest *bit* will be held the 'c' and
|
||||||
|
the state of one additional bit (on the right hand side)
|
||||||
|
will be returned
|
||||||
|
|
||||||
|
for example:
|
||||||
|
let this is 000000010
|
||||||
|
after Rcr2_one(1) there'll be 100000001 and Rcr2_one returns 0
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::Rcr2_one(uint c)
|
||||||
|
{
|
||||||
|
sint i; // signed i
|
||||||
|
uint new_c;
|
||||||
|
|
||||||
|
if( c != 0 )
|
||||||
|
c = TTMATH_UINT_HIGHEST_BIT;
|
||||||
|
|
||||||
|
for(i=sint(value_size)-1 ; i>=0 ; --i)
|
||||||
|
{
|
||||||
|
new_c = (table[i] & 1) ? TTMATH_UINT_HIGHEST_BIT : 0;
|
||||||
|
table[i] = (table[i] >> 1) | c;
|
||||||
|
c = new_c;
|
||||||
|
}
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::Rcr2_one", c)
|
||||||
|
|
||||||
|
return c;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method moves all bits into the left hand side
|
||||||
|
return value <- this <- c
|
||||||
|
|
||||||
|
the lowest *bits* will be held the 'c' and
|
||||||
|
the state of one additional bit (on the left hand side)
|
||||||
|
will be returned
|
||||||
|
|
||||||
|
for example:
|
||||||
|
let this is 001010000
|
||||||
|
after Rcl2(3, 1) there'll be 010000111 and Rcl2 returns 1
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::Rcl2(uint bits, uint c)
|
||||||
|
{
|
||||||
|
TTMATH_ASSERT( bits>0 && bits<TTMATH_BITS_PER_UINT )
|
||||||
|
|
||||||
|
uint move = TTMATH_BITS_PER_UINT - bits;
|
||||||
|
uint i, new_c;
|
||||||
|
|
||||||
|
if( c != 0 )
|
||||||
|
c = TTMATH_UINT_MAX_VALUE >> move;
|
||||||
|
|
||||||
|
for(i=0 ; i<value_size ; ++i)
|
||||||
|
{
|
||||||
|
new_c = table[i] >> move;
|
||||||
|
table[i] = (table[i] << bits) | c;
|
||||||
|
c = new_c;
|
||||||
|
}
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::Rcl2", c)
|
||||||
|
|
||||||
|
return (c & 1);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method moves all bits into the right hand side
|
||||||
|
C -> this -> return value
|
||||||
|
|
||||||
|
the highest *bits* will be held the 'c' and
|
||||||
|
the state of one additional bit (on the right hand side)
|
||||||
|
will be returned
|
||||||
|
|
||||||
|
for example:
|
||||||
|
let this is 000000010
|
||||||
|
after Rcr2(2, 1) there'll be 110000000 and Rcr2 returns 1
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::Rcr2(uint bits, uint c)
|
||||||
|
{
|
||||||
|
TTMATH_ASSERT( bits>0 && bits<TTMATH_BITS_PER_UINT )
|
||||||
|
|
||||||
|
uint move = TTMATH_BITS_PER_UINT - bits;
|
||||||
|
sint i; // signed
|
||||||
|
uint new_c;
|
||||||
|
|
||||||
|
if( c != 0 )
|
||||||
|
c = TTMATH_UINT_MAX_VALUE << move;
|
||||||
|
|
||||||
|
for(i=value_size-1 ; i>=0 ; --i)
|
||||||
|
{
|
||||||
|
new_c = table[i] << move;
|
||||||
|
table[i] = (table[i] >> bits) | c;
|
||||||
|
c = new_c;
|
||||||
|
}
|
||||||
|
|
||||||
|
TTMATH_LOGC("UInt::Rcr2", c)
|
||||||
|
|
||||||
|
return (c & TTMATH_UINT_HIGHEST_BIT) ? 1 : 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method returns the number of the highest set bit in x
|
||||||
|
if the 'x' is zero this method returns '-1'
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
sint UInt<value_size>::FindLeadingBitInWord(uint x)
|
||||||
|
{
|
||||||
|
if( x == 0 )
|
||||||
|
return -1;
|
||||||
|
|
||||||
|
uint bit = TTMATH_BITS_PER_UINT - 1;
|
||||||
|
|
||||||
|
while( (x & TTMATH_UINT_HIGHEST_BIT) == 0 )
|
||||||
|
{
|
||||||
|
x = x << 1;
|
||||||
|
--bit;
|
||||||
|
}
|
||||||
|
|
||||||
|
return bit;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method sets a special bit in the 'value'
|
||||||
|
and returns the last state of the bit (zero or one)
|
||||||
|
|
||||||
|
bit is from <0,TTMATH_BITS_PER_UINT-1>
|
||||||
|
|
||||||
|
e.g.
|
||||||
|
uint x = 100;
|
||||||
|
uint bit = SetBitInWord(x, 3);
|
||||||
|
now: x = 108 and bit = 0
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::SetBitInWord(uint & value, uint bit)
|
||||||
|
{
|
||||||
|
TTMATH_ASSERT( bit < TTMATH_BITS_PER_UINT )
|
||||||
|
|
||||||
|
uint mask = 1;
|
||||||
|
|
||||||
|
if( bit > 0 )
|
||||||
|
mask = mask << bit;
|
||||||
|
|
||||||
|
uint last = value & mask;
|
||||||
|
value = value | mask;
|
||||||
|
|
||||||
|
return (last != 0) ? 1 : 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
*
|
||||||
|
* Multiplication
|
||||||
|
*
|
||||||
|
*
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
multiplication: result_high:result_low = a * b
|
||||||
|
result_high - higher word of the result
|
||||||
|
result_low - lower word of the result
|
||||||
|
|
||||||
|
this methos never returns a carry
|
||||||
|
this method is used in the second version of the multiplication algorithms
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
void UInt<value_size>::MulTwoWords(uint a, uint b, uint * result_high, uint * result_low)
|
||||||
|
{
|
||||||
|
#ifdef TTMATH_PLATFORM32
|
||||||
|
|
||||||
|
/*
|
||||||
|
on 32bit platforms we have defined 'unsigned long long int' type known as 'ulint' in ttmath namespace
|
||||||
|
this type has 64 bits, then we're using only one multiplication: 32bit * 32bit = 64bit
|
||||||
|
*/
|
||||||
|
|
||||||
|
union uint_
|
||||||
|
{
|
||||||
|
struct
|
||||||
|
{
|
||||||
|
uint low; // 32 bits
|
||||||
|
uint high; // 32 bits
|
||||||
|
} u_;
|
||||||
|
|
||||||
|
ulint u; // 64 bits
|
||||||
|
} res;
|
||||||
|
|
||||||
|
res.u = ulint(a) * ulint(b); // multiply two 32bit words, the result has 64 bits
|
||||||
|
|
||||||
|
*result_high = res.u_.high;
|
||||||
|
*result_low = res.u_.low;
|
||||||
|
|
||||||
|
#else
|
||||||
|
|
||||||
|
/*
|
||||||
|
64 bits platforms
|
||||||
|
|
||||||
|
we don't have a native type which has 128 bits
|
||||||
|
then we're splitting 'a' and 'b' to 4 parts (high and low halves)
|
||||||
|
and using 4 multiplications (with additions and carry correctness)
|
||||||
|
*/
|
||||||
|
|
||||||
|
uint_ a_;
|
||||||
|
uint_ b_;
|
||||||
|
uint_ res_high1, res_high2;
|
||||||
|
uint_ res_low1, res_low2;
|
||||||
|
|
||||||
|
a_.u = a;
|
||||||
|
b_.u = b;
|
||||||
|
|
||||||
|
/*
|
||||||
|
the multiplication is as follows (schoolbook algorithm with O(n^2) ):
|
||||||
|
|
||||||
|
32 bits 32 bits
|
||||||
|
|
||||||
|
+--------------------------------+
|
||||||
|
| a_.u_.high | a_.u_.low |
|
||||||
|
+--------------------------------+
|
||||||
|
| b_.u_.high | b_.u_.low |
|
||||||
|
+--------------------------------+--------------------------------+
|
||||||
|
| res_high1.u | res_low1.u |
|
||||||
|
+--------------------------------+--------------------------------+
|
||||||
|
| res_high2.u | res_low2.u |
|
||||||
|
+--------------------------------+--------------------------------+
|
||||||
|
|
||||||
|
64 bits 64 bits
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
uint_ temp;
|
||||||
|
|
||||||
|
res_low1.u = uint(b_.u_.low) * uint(a_.u_.low);
|
||||||
|
|
||||||
|
temp.u = uint(res_low1.u_.high) + uint(b_.u_.low) * uint(a_.u_.high);
|
||||||
|
res_low1.u_.high = temp.u_.low;
|
||||||
|
res_high1.u_.low = temp.u_.high;
|
||||||
|
res_high1.u_.high = 0;
|
||||||
|
|
||||||
|
res_low2.u_.low = 0;
|
||||||
|
temp.u = uint(b_.u_.high) * uint(a_.u_.low);
|
||||||
|
res_low2.u_.high = temp.u_.low;
|
||||||
|
|
||||||
|
res_high2.u = uint(b_.u_.high) * uint(a_.u_.high) + uint(temp.u_.high);
|
||||||
|
|
||||||
|
uint c = AddTwoWords(res_low1.u, res_low2.u, 0, &res_low2.u);
|
||||||
|
AddTwoWords(res_high1.u, res_high2.u, c, &res_high2.u); // there is no carry from here
|
||||||
|
|
||||||
|
*result_high = res_high2.u;
|
||||||
|
*result_low = res_low2.u;
|
||||||
|
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
*
|
||||||
|
* Division
|
||||||
|
*
|
||||||
|
*
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method calculates 64bits word a:b / 32bits c (a higher, b lower word)
|
||||||
|
r = a:b / c and rest - remainder
|
||||||
|
|
||||||
|
*
|
||||||
|
* WARNING:
|
||||||
|
* the c has to be suitably large for the result being keeped in one word,
|
||||||
|
* if c is equal zero there'll be a hardware interruption (0)
|
||||||
|
* and probably the end of your program
|
||||||
|
*
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
void UInt<value_size>::DivTwoWords(uint a, uint b, uint c, uint * r, uint * rest)
|
||||||
|
{
|
||||||
|
// (a < c ) for the result to be one word
|
||||||
|
TTMATH_ASSERT( c != 0 && a < c )
|
||||||
|
|
||||||
|
#ifdef TTMATH_PLATFORM32
|
||||||
|
|
||||||
|
union
|
||||||
|
{
|
||||||
|
struct
|
||||||
|
{
|
||||||
|
uint low; // 32 bits
|
||||||
|
uint high; // 32 bits
|
||||||
|
} u_;
|
||||||
|
|
||||||
|
ulint u; // 64 bits
|
||||||
|
} ab;
|
||||||
|
|
||||||
|
ab.u_.high = a;
|
||||||
|
ab.u_.low = b;
|
||||||
|
|
||||||
|
*r = uint(ab.u / c);
|
||||||
|
*rest = uint(ab.u % c);
|
||||||
|
|
||||||
|
#else
|
||||||
|
|
||||||
|
uint_ c_;
|
||||||
|
c_.u = c;
|
||||||
|
|
||||||
|
|
||||||
|
if( a == 0 )
|
||||||
|
{
|
||||||
|
*r = b / c;
|
||||||
|
*rest = b % c;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
if( c_.u_.high == 0 )
|
||||||
|
{
|
||||||
|
// higher half of 'c' is zero
|
||||||
|
// then higher half of 'a' is zero too (look at the asserts at the beginning - 'a' is smaller than 'c')
|
||||||
|
uint_ a_, b_, res_, temp1, temp2;
|
||||||
|
|
||||||
|
a_.u = a;
|
||||||
|
b_.u = b;
|
||||||
|
|
||||||
|
temp1.u_.high = a_.u_.low;
|
||||||
|
temp1.u_.low = b_.u_.high;
|
||||||
|
|
||||||
|
res_.u_.high = (unsigned int)(temp1.u / c);
|
||||||
|
temp2.u_.high = (unsigned int)(temp1.u % c);
|
||||||
|
temp2.u_.low = b_.u_.low;
|
||||||
|
|
||||||
|
res_.u_.low = (unsigned int)(temp2.u / c);
|
||||||
|
*rest = temp2.u % c;
|
||||||
|
|
||||||
|
*r = res_.u;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
return DivTwoWords2(a, b, c, r, rest);
|
||||||
|
}
|
||||||
|
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
#ifdef TTMATH_PLATFORM64
|
||||||
|
|
||||||
|
|
||||||
|
/*!
|
||||||
|
this method is available only on 64bit platforms
|
||||||
|
|
||||||
|
the same algorithm like the third division algorithm in ttmathuint.h
|
||||||
|
but now with the radix=2^32
|
||||||
|
*/
|
||||||
|
template<uint value_size>
|
||||||
|
void UInt<value_size>::DivTwoWords2(uint a, uint b, uint c, uint * r, uint * rest)
|
||||||
|
{
|
||||||
|
// a is not zero
|
||||||
|
// c_.u_.high is not zero
|
||||||
|
|
||||||
|
uint_ a_, b_, c_, u_, q_;
|
||||||
|
unsigned int u3; // 32 bit
|
||||||
|
|
||||||
|
a_.u = a;
|
||||||
|
b_.u = b;
|
||||||
|
c_.u = c;
|
||||||
|
|
||||||
|
// normalizing
|
||||||
|
uint d = DivTwoWordsNormalize(a_, b_, c_);
|
||||||
|
|
||||||
|
// loop from j=1 to j=0
|
||||||
|
// the first step (for j=2) is skipped because our result is only in one word,
|
||||||
|
// (first 'q' were 0 and nothing would be changed)
|
||||||
|
u_.u_.high = a_.u_.high;
|
||||||
|
u_.u_.low = a_.u_.low;
|
||||||
|
u3 = b_.u_.high;
|
||||||
|
q_.u_.high = DivTwoWordsCalculate(u_, u3, c_);
|
||||||
|
MultiplySubtract(u_, u3, q_.u_.high, c_);
|
||||||
|
|
||||||
|
u_.u_.high = u_.u_.low;
|
||||||
|
u_.u_.low = u3;
|
||||||
|
u3 = b_.u_.low;
|
||||||
|
q_.u_.low = DivTwoWordsCalculate(u_, u3, c_);
|
||||||
|
MultiplySubtract(u_, u3, q_.u_.low, c_);
|
||||||
|
|
||||||
|
*r = q_.u;
|
||||||
|
|
||||||
|
// unnormalizing for the remainder
|
||||||
|
u_.u_.high = u_.u_.low;
|
||||||
|
u_.u_.low = u3;
|
||||||
|
*rest = DivTwoWordsUnnormalize(u_.u, d);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::DivTwoWordsNormalize(uint_ & a_, uint_ & b_, uint_ & c_)
|
||||||
|
{
|
||||||
|
uint d = 0;
|
||||||
|
|
||||||
|
for( ; (c_.u & TTMATH_UINT_HIGHEST_BIT) == 0 ; ++d )
|
||||||
|
{
|
||||||
|
c_.u = c_.u << 1;
|
||||||
|
|
||||||
|
uint bc = b_.u & TTMATH_UINT_HIGHEST_BIT; // carry from 'b'
|
||||||
|
|
||||||
|
b_.u = b_.u << 1;
|
||||||
|
a_.u = a_.u << 1; // carry bits from 'a' are simply skipped
|
||||||
|
|
||||||
|
if( bc )
|
||||||
|
a_.u = a_.u | 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
return d;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
template<uint value_size>
|
||||||
|
uint UInt<value_size>::DivTwoWordsUnnormalize(uint u, uint d)
|
||||||
|
{
|
||||||
|
if( d == 0 )
|
||||||
|
return u;
|
||||||
|
|
||||||
|
u = u >> d;
|
||||||
|
|
||||||
|
return u;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
template<uint value_size>
|
||||||
|
unsigned int UInt<value_size>::DivTwoWordsCalculate(uint_ u_, unsigned int u3, uint_ v_)
|
||||||
|
{
|
||||||
|
bool next_test;
|
||||||
|
uint_ qp_, rp_, temp_;
|
||||||
|
|
||||||
|
qp_.u = u_.u / uint(v_.u_.high);
|
||||||
|
rp_.u = u_.u % uint(v_.u_.high);
|
||||||
|
|
||||||
|
TTMATH_ASSERT( qp_.u_.high==0 || qp_.u_.high==1 )
|
||||||
|
|
||||||
|
do
|
||||||
|
{
|
||||||
|
bool decrease = false;
|
||||||
|
|
||||||
|
if( qp_.u_.high == 1 )
|
||||||
|
decrease = true;
|
||||||
|
else
|
||||||
|
{
|
||||||
|
temp_.u_.high = rp_.u_.low;
|
||||||
|
temp_.u_.low = u3;
|
||||||
|
|
||||||
|
if( qp_.u * uint(v_.u_.low) > temp_.u )
|
||||||
|
decrease = true;
|
||||||
|
}
|
||||||
|
|
||||||
|
next_test = false;
|
||||||
|
|
||||||
|
if( decrease )
|
||||||
|
{
|
||||||
|
--qp_.u;
|
||||||
|
rp_.u += v_.u_.high;
|
||||||
|
|
||||||
|
if( rp_.u_.high == 0 )
|
||||||
|
next_test = true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
while( next_test );
|
||||||
|
|
||||||
|
return qp_.u_.low;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
template<uint value_size>
|
||||||
|
void UInt<value_size>::MultiplySubtract(uint_ & u_, unsigned int & u3, unsigned int & q, uint_ v_)
|
||||||
|
{
|
||||||
|
uint_ temp_;
|
||||||
|
|
||||||
|
uint res_high;
|
||||||
|
uint res_low;
|
||||||
|
|
||||||
|
MulTwoWords(v_.u, q, &res_high, &res_low);
|
||||||
|
|
||||||
|
uint_ sub_res_high_;
|
||||||
|
uint_ sub_res_low_;
|
||||||
|
|
||||||
|
temp_.u_.high = u_.u_.low;
|
||||||
|
temp_.u_.low = u3;
|
||||||
|
|
||||||
|
uint c = SubTwoWords(temp_.u, res_low, 0, &sub_res_low_.u);
|
||||||
|
|
||||||
|
temp_.u_.high = 0;
|
||||||
|
temp_.u_.low = u_.u_.high;
|
||||||
|
c = SubTwoWords(temp_.u, res_high, c, &sub_res_high_.u);
|
||||||
|
|
||||||
|
if( c )
|
||||||
|
{
|
||||||
|
--q;
|
||||||
|
|
||||||
|
c = AddTwoWords(sub_res_low_.u, v_.u, 0, &sub_res_low_.u);
|
||||||
|
AddTwoWords(sub_res_high_.u, 0, c, &sub_res_high_.u);
|
||||||
|
}
|
||||||
|
|
||||||
|
u_.u_.high = sub_res_high_.u_.low;
|
||||||
|
u_.u_.low = sub_res_low_.u_.high;
|
||||||
|
u3 = sub_res_low_.u_.low;
|
||||||
|
}
|
||||||
|
|
||||||
|
#endif // #ifdef TTMATH_PLATFORM64
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
} //namespace
|
||||||
|
|
||||||
|
|
||||||
|
#endif //ifdef TTMATH_NOASM
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
1558
ttmath/ttmathuint_x86.h
Normal file
1558
ttmath/ttmathuint_x86.h
Normal file
File diff suppressed because it is too large
Load Diff
1173
ttmath/ttmathuint_x86_64.h
Normal file
1173
ttmath/ttmathuint_x86_64.h
Normal file
File diff suppressed because it is too large
Load Diff
548
ttmath/ttmathuint_x86_64_msvc.asm
Normal file
548
ttmath/ttmathuint_x86_64_msvc.asm
Normal file
@@ -0,0 +1,548 @@
|
|||||||
|
;
|
||||||
|
; This file is a part of TTMath Bignum Library
|
||||||
|
; and is distributed under the (new) BSD licence.
|
||||||
|
; Author: Christian Kaiser <chk@online.de>
|
||||||
|
;
|
||||||
|
|
||||||
|
;
|
||||||
|
; Copyright (c) 2009, Christian Kaiser
|
||||||
|
; All rights reserved.
|
||||||
|
;
|
||||||
|
; Redistribution and use in source and binary forms, with or without
|
||||||
|
; modification, are permitted provided that the following conditions are met:
|
||||||
|
;
|
||||||
|
; * Redistributions of source code must retain the above copyright notice,
|
||||||
|
; this list of conditions and the following disclaimer.
|
||||||
|
;
|
||||||
|
; * Redistributions in binary form must reproduce the above copyright
|
||||||
|
; notice, this list of conditions and the following disclaimer in the
|
||||||
|
; documentation and/or other materials provided with the distribution.
|
||||||
|
;
|
||||||
|
; * Neither the name Christian Kaiser nor the names of contributors to this
|
||||||
|
; project may be used to endorse or promote products derived
|
||||||
|
; from this software without specific prior written permission.
|
||||||
|
;
|
||||||
|
; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
||||||
|
; AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||||||
|
; IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||||||
|
; ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
|
||||||
|
; LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
||||||
|
; CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
||||||
|
; SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
||||||
|
; INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
||||||
|
; CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||||||
|
; ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
|
||||||
|
; THE POSSIBILITY OF SUCH DAMAGE.
|
||||||
|
;
|
||||||
|
|
||||||
|
;
|
||||||
|
; compile with debug info: ml64.exe /Zd /Zi ttmathuint_x86_64_msvc.asm
|
||||||
|
; compile without debug info: ml64.exe ttmathuint_x86_64_msvc.asm
|
||||||
|
; this create ttmathuint_x86_64_msvc.obj file which can be linked with your program
|
||||||
|
;
|
||||||
|
|
||||||
|
PUBLIC ttmath_adc_x64
|
||||||
|
PUBLIC ttmath_addindexed_x64
|
||||||
|
PUBLIC ttmath_addindexed2_x64
|
||||||
|
PUBLIC ttmath_addvector_x64
|
||||||
|
|
||||||
|
PUBLIC ttmath_sbb_x64
|
||||||
|
PUBLIC ttmath_subindexed_x64
|
||||||
|
PUBLIC ttmath_subvector_x64
|
||||||
|
|
||||||
|
PUBLIC ttmath_rcl_x64
|
||||||
|
PUBLIC ttmath_rcr_x64
|
||||||
|
|
||||||
|
PUBLIC ttmath_rcl2_x64
|
||||||
|
PUBLIC ttmath_rcr2_x64
|
||||||
|
|
||||||
|
PUBLIC ttmath_div_x64
|
||||||
|
|
||||||
|
;
|
||||||
|
; Microsoft x86_64 convention: http://msdn.microsoft.com/en-us/library/9b372w95.aspx
|
||||||
|
;
|
||||||
|
; "rax, rcx, rdx, r8-r11 are volatile."
|
||||||
|
; "rbx, rbp, rdi, rsi, r12-r15 are nonvolatile."
|
||||||
|
;
|
||||||
|
|
||||||
|
|
||||||
|
.CODE
|
||||||
|
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_adc_x64 PROC
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = p2
|
||||||
|
; r8 = nSize
|
||||||
|
; r9 = nCarry
|
||||||
|
|
||||||
|
xor rax, rax
|
||||||
|
xor r11, r11
|
||||||
|
sub rax, r9 ; sets CARRY if r9 != 0
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
mov rax,qword ptr [rdx + r11 * 8]
|
||||||
|
adc qword ptr [rcx + r11 * 8], rax
|
||||||
|
lea r11, [r11+1]
|
||||||
|
dec r8
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
setc al
|
||||||
|
movzx rax, al
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_adc_x64 ENDP
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_addindexed_x64 PROC
|
||||||
|
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = nSize
|
||||||
|
; r8 = nPos
|
||||||
|
; r9 = nValue
|
||||||
|
|
||||||
|
xor rax, rax ; rax = result
|
||||||
|
sub rdx, r8 ; rdx = remaining count of uints
|
||||||
|
|
||||||
|
add qword ptr [rcx + r8 * 8], r9
|
||||||
|
jc next1
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
next1:
|
||||||
|
mov r9, 1
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
dec rdx
|
||||||
|
jz done_with_cy
|
||||||
|
lea r8, [r8+1]
|
||||||
|
add qword ptr [rcx + r8 * 8], r9
|
||||||
|
jc loop1
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
done_with_cy:
|
||||||
|
lea rax, [rax+1] ; rax = 1
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_addindexed_x64 ENDP
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_addindexed2_x64 PROC
|
||||||
|
|
||||||
|
; rcx = p1 (pointer)
|
||||||
|
; rdx = b (value size)
|
||||||
|
; r8 = nPos
|
||||||
|
; r9 = nValue1
|
||||||
|
; [esp+0x28] = nValue2
|
||||||
|
|
||||||
|
xor rax, rax ; return value
|
||||||
|
mov r11, rcx ; table
|
||||||
|
sub rdx, r8 ; rdx = remaining count of uints
|
||||||
|
mov r10, [esp+028h] ; r10 = nValue2
|
||||||
|
|
||||||
|
add qword ptr [r11 + r8 * 8], r9
|
||||||
|
lea r8, [r8+1]
|
||||||
|
lea rdx, [rdx-1]
|
||||||
|
adc qword ptr [r11 + r8 * 8], r10
|
||||||
|
jc next
|
||||||
|
ret
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
lea r8, [r8+1]
|
||||||
|
add qword ptr [r11 + r8 * 8], 1
|
||||||
|
jc next
|
||||||
|
ret
|
||||||
|
|
||||||
|
next:
|
||||||
|
dec rdx ; does not modify CY too...
|
||||||
|
jnz loop1
|
||||||
|
lea rax, [rax+1]
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_addindexed2_x64 ENDP
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
|
||||||
|
ttmath_addvector_x64 PROC
|
||||||
|
; rcx = ss1
|
||||||
|
; rdx = ss2
|
||||||
|
; r8 = ss1_size
|
||||||
|
; r9 = ss2_size
|
||||||
|
; [esp+0x28] = result
|
||||||
|
|
||||||
|
mov r10, [esp+028h]
|
||||||
|
sub r8, r9
|
||||||
|
xor r11, r11 ; r11=0, cf=0
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
mov rax, qword ptr [rcx + r11 * 8]
|
||||||
|
adc rax, qword ptr [rdx + r11 * 8]
|
||||||
|
mov qword ptr [r10 + r11 * 8], rax
|
||||||
|
inc r11
|
||||||
|
dec r9
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
adc r9, r9 ; r9 has the cf state
|
||||||
|
|
||||||
|
or r8, r8
|
||||||
|
jz done
|
||||||
|
|
||||||
|
neg r9 ; setting cf from r9
|
||||||
|
mov r9, 0 ; don't use xor here (cf is used)
|
||||||
|
loop2:
|
||||||
|
mov rax, qword ptr [rcx + r11 * 8]
|
||||||
|
adc rax, r9
|
||||||
|
mov qword ptr [r10 + r11 * 8], rax
|
||||||
|
inc r11
|
||||||
|
dec r8
|
||||||
|
jnz loop2
|
||||||
|
|
||||||
|
adc r8, r8
|
||||||
|
mov rax, r8
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
done:
|
||||||
|
mov rax, r9
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_addvector_x64 ENDP
|
||||||
|
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_sbb_x64 PROC
|
||||||
|
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = p2
|
||||||
|
; r8 = nCount
|
||||||
|
; r9 = nCarry
|
||||||
|
|
||||||
|
xor rax, rax
|
||||||
|
xor r11, r11
|
||||||
|
sub rax, r9 ; sets CARRY if r9 != 0
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
mov rax,qword ptr [rdx + r11 * 8]
|
||||||
|
sbb qword ptr [rcx + r11 * 8], rax
|
||||||
|
lea r11, [r11+1]
|
||||||
|
dec r8
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
setc al
|
||||||
|
movzx rax, al
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_sbb_x64 ENDP
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_subindexed_x64 PROC
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = nSize
|
||||||
|
; r8 = nPos
|
||||||
|
; r9 = nValue
|
||||||
|
|
||||||
|
sub rdx, r8 ; rdx = remaining count of uints
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
sub qword ptr [rcx + r8 * 8], r9
|
||||||
|
jnc done
|
||||||
|
|
||||||
|
lea r8, [r8+1]
|
||||||
|
mov r9, 1
|
||||||
|
dec rdx
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
mov rax, 1
|
||||||
|
ret
|
||||||
|
|
||||||
|
done:
|
||||||
|
xor rax, rax
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_subindexed_x64 ENDP
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
; the same asm code as in addvector_x64 only two instructions 'adc' changed to 'sbb'
|
||||||
|
|
||||||
|
ttmath_subvector_x64 PROC
|
||||||
|
; rcx = ss1
|
||||||
|
; rdx = ss2
|
||||||
|
; r8 = ss1_size
|
||||||
|
; r9 = ss2_size
|
||||||
|
; [esp+0x28] = result
|
||||||
|
|
||||||
|
mov r10, [esp+028h]
|
||||||
|
sub r8, r9
|
||||||
|
xor r11, r11 ; r11=0, cf=0
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
mov rax, qword ptr [rcx + r11 * 8]
|
||||||
|
sbb rax, qword ptr [rdx + r11 * 8]
|
||||||
|
mov qword ptr [r10 + r11 * 8], rax
|
||||||
|
inc r11
|
||||||
|
dec r9
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
adc r9, r9 ; r9 has the cf state
|
||||||
|
|
||||||
|
or r8, r8
|
||||||
|
jz done
|
||||||
|
|
||||||
|
neg r9 ; setting cf from r9
|
||||||
|
mov r9, 0 ; don't use xor here (cf is used)
|
||||||
|
loop2:
|
||||||
|
mov rax, qword ptr [rcx + r11 * 8]
|
||||||
|
sbb rax, r9
|
||||||
|
mov qword ptr [r10 + r11 * 8], rax
|
||||||
|
inc r11
|
||||||
|
dec r8
|
||||||
|
jnz loop2
|
||||||
|
|
||||||
|
adc r8, r8
|
||||||
|
mov rax, r8
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
done:
|
||||||
|
mov rax, r9
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_subvector_x64 ENDP
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_rcl_x64 PROC
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = b
|
||||||
|
; r8 = nLowestBit
|
||||||
|
|
||||||
|
mov r11, rcx ; table
|
||||||
|
xor r10, r10
|
||||||
|
neg r8 ; CY set if r8 <> 0
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
rcl qword ptr [r11 + r10 * 8], 1
|
||||||
|
lea r10, [r10+1]
|
||||||
|
dec rdx
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
setc al
|
||||||
|
movzx rax, al
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_rcl_x64 ENDP
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_rcr_x64 PROC
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = nSize
|
||||||
|
; r8 = nLowestBit
|
||||||
|
|
||||||
|
xor r10, r10
|
||||||
|
neg r8 ; CY set if r8 <> 0
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
rcr qword ptr -8[rcx + rdx * 8], 1
|
||||||
|
dec rdx
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
setc al
|
||||||
|
movzx rax, al
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_rcr_x64 ENDP
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_div_x64 PROC
|
||||||
|
|
||||||
|
; rcx = &Hi
|
||||||
|
; rdx = &Lo
|
||||||
|
; r8 = nDiv
|
||||||
|
|
||||||
|
mov r11, rcx
|
||||||
|
mov r10, rdx
|
||||||
|
|
||||||
|
mov rdx, qword ptr [r11]
|
||||||
|
mov rax, qword ptr [r10]
|
||||||
|
div r8
|
||||||
|
mov qword ptr [r10], rdx ; remainder
|
||||||
|
mov qword ptr [r11], rax ; value
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_div_x64 ENDP
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_rcl2_x64 PROC
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = nSize
|
||||||
|
; r8 = bits
|
||||||
|
; r9 = c
|
||||||
|
|
||||||
|
push rbx
|
||||||
|
|
||||||
|
mov r10, rcx ; r10 = p1
|
||||||
|
xor rax, rax
|
||||||
|
|
||||||
|
mov rcx, 64
|
||||||
|
sub rcx, r8
|
||||||
|
|
||||||
|
mov r11, -1
|
||||||
|
shr r11, cl ; r11 = mask
|
||||||
|
|
||||||
|
mov rcx, r8 ; rcx = count of bits
|
||||||
|
|
||||||
|
mov rbx, rax ; rbx = old value = 0
|
||||||
|
or r9, r9
|
||||||
|
cmovnz rbx, r11 ; if (c) then old value = mask
|
||||||
|
|
||||||
|
mov r9, rax ; r9 = index (0..nSize-1)
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
rol qword ptr [r10+r9*8], cl
|
||||||
|
mov rax, qword ptr [r10+r9*8]
|
||||||
|
and rax, r11
|
||||||
|
xor qword ptr [r10+r9*8], rax
|
||||||
|
or qword ptr [r10+r9*8], rbx
|
||||||
|
mov rbx, rax
|
||||||
|
|
||||||
|
lea r9, [r9+1]
|
||||||
|
dec rdx
|
||||||
|
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
and rax, 1
|
||||||
|
pop rbx
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_rcl2_x64 ENDP
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ALIGN 8
|
||||||
|
|
||||||
|
;----------------------------------------
|
||||||
|
|
||||||
|
ttmath_rcr2_x64 PROC
|
||||||
|
; rcx = p1
|
||||||
|
; rdx = nSize
|
||||||
|
; r8 = bits
|
||||||
|
; r9 = c
|
||||||
|
|
||||||
|
push rbx
|
||||||
|
mov r10, rcx ; r10 = p1
|
||||||
|
xor rax, rax
|
||||||
|
|
||||||
|
mov rcx, 64
|
||||||
|
sub rcx, r8
|
||||||
|
|
||||||
|
mov r11, -1
|
||||||
|
shl r11, cl ; r11 = mask
|
||||||
|
|
||||||
|
mov rcx, r8 ; rcx = count of bits
|
||||||
|
|
||||||
|
mov rbx, rax ; rbx = old value = 0
|
||||||
|
or r9, r9
|
||||||
|
cmovnz rbx, r11 ; if (c) then old value = mask
|
||||||
|
|
||||||
|
mov r9, rdx ; r9 = index (0..nSize-1)
|
||||||
|
lea r9, [r9-1]
|
||||||
|
|
||||||
|
ALIGN 16
|
||||||
|
loop1:
|
||||||
|
ror qword ptr [r10+r9*8], cl
|
||||||
|
mov rax, qword ptr [r10+r9*8]
|
||||||
|
and rax, r11
|
||||||
|
xor qword ptr [r10+r9*8], rax
|
||||||
|
or qword ptr [r10+r9*8], rbx
|
||||||
|
mov rbx, rax
|
||||||
|
|
||||||
|
lea r9, [r9-1]
|
||||||
|
dec rdx
|
||||||
|
|
||||||
|
jnz loop1
|
||||||
|
|
||||||
|
rol rax, 1
|
||||||
|
and rax, 1
|
||||||
|
pop rbx
|
||||||
|
|
||||||
|
ret
|
||||||
|
|
||||||
|
ttmath_rcr2_x64 ENDP
|
||||||
|
|
||||||
|
END
|
Reference in New Issue
Block a user