Compare commits
46 Commits
Author | SHA1 | Date | |
---|---|---|---|
d8b829f4c5 | |||
fca1bc1a33 | |||
c65857297b | |||
f530635262 | |||
9327b4ebd4 | |||
d695785cbb | |||
85d1b87ac0 | |||
bfdc6d3df3 | |||
5668fbecf5 | |||
3899b8631c | |||
460608859c | |||
978815f12d | |||
404727f3de | |||
4aebe9aa18 | |||
e18201ba35 | |||
5b24101a83 | |||
6da0386a2d | |||
c7c859fc76 | |||
1d81dc75ff | |||
712bfc9c3b | |||
91e7badb62 | |||
cfd719cca2 | |||
f1115a2ce9 | |||
ca51020fe6 | |||
f8f324f98f | |||
cdd95f602c | |||
98c2379182 | |||
2933213a02 | |||
4d0241c9c9 | |||
4f3f05fa9d | |||
f139e6457c | |||
29bb4fb3f7 | |||
5002f435ae | |||
61886fc829 | |||
25f876762a | |||
692ff5406e | |||
669698c6d7 | |||
93ba8ce17d | |||
d27cabec93 | |||
bc9d528a75 | |||
bb16c871c9 | |||
2116418f08 | |||
062881900a | |||
0170572f84 | |||
e40ed603c6 | |||
c97ebf282f |
234
CHANGELOG
234
CHANGELOG
@@ -1,11 +1,183 @@
|
||||
Version 0.8.3 (2009.04.06):
|
||||
* fixed: RclMoveAllWords() and RcrMoveAllWords() sometimes didn't return
|
||||
the proper carry, (when 'bits' was greater than or equal to 'value_size')
|
||||
this had impact on Rcl() and Rcr(), they also returned the wrong carry
|
||||
* fixed: UInt::Div() didn't return a correct result when the divisor was equal 1
|
||||
there was an error in UInt::DivInt() - when the divisor was 1 it returned
|
||||
zero and the carry was set
|
||||
* fixed: there was a TTMATH_REREFENCE_ASSERT error in Big::PowUInt() caused by: start.Mul(start)
|
||||
* fixed: Big::Add incorrectly rounded 'this' when both exponents were equal
|
||||
it caused that sometimes when adding a zero the result has changed
|
||||
this had impact among other things on FromString() method
|
||||
"0,8" had different binary representation from "0,80"
|
||||
* fixed: template Big::FromBig(const Big<another_exp, another_man> & another)
|
||||
didn't correctly set the exponent (when the mantisses had different size -
|
||||
when 'man' was different from 'another_man')
|
||||
this had impact on operator= too
|
||||
sample:
|
||||
Big<2,3> a = 100;
|
||||
Big<3,5> b;
|
||||
b = a; // b had a wrong value
|
||||
* fixed: Big::Pow(const Big<exp, man> & pow)
|
||||
it's using PowInt() only when pow.exponent is in range (-man*TTMATH_BITS_PER_UINT; 0]
|
||||
previously the powering 'hung' on an input like this: "(1+ 1e-10000) ^ 10e100000000"
|
||||
(there was 10e100000000 iterations in PowInt())
|
||||
* fixed: in function DegToRad(const ValueType & x, ErrorCode * err = 0) it is better
|
||||
to make division first and then mutliplication -- the result is more
|
||||
accurate especially when x is: 90,180,270 or 360
|
||||
* fixed: the parser didn't correctly treat operators for changing the base
|
||||
(radix) -- operators '#' and '&', e.g.:
|
||||
'#sin(1)' was equal '0' -- there was a zero from '#' and then
|
||||
it was multipied by 'sin(1)'
|
||||
the parser didn't check whether Big::FromString() has actually
|
||||
read a proper value -- the method Big::FromString() didn't have
|
||||
something to report such a situation
|
||||
* fixed: Big::FromString() when the base is 10, the method reads the scientific
|
||||
part only if such a part it correctly supplied, e.g:
|
||||
'1234e10', '1234e+10', '1234e-5'
|
||||
previous '1234e' was treated as: '1234e0' (now parsing stops on 'e' and
|
||||
the 'e' can be parsed by other parsers, e.g. the mathematical
|
||||
parser -- now in the parser would be: '1234e' = '1234 * e' = '3354,3597...' )
|
||||
* changed: renamed: Big::PowUInt(UInt<pow_size> pow) -> Big::Pow(UInt<pow_size> pow)
|
||||
it returns 2 when there is: 0^0
|
||||
* changed: renamed: Big::PowInt(Int<pow_size> pow) -> Big::Pow(Int<pow_size> pow)
|
||||
it returns 2 when there is: 0^0 or 0^(-something)
|
||||
* changed: renamed: Big::PowBUInt() -> PowUInt(), Big::PowBInt() -> Big::PowInt()
|
||||
they return 2 when the arguments are incorrect (like above)
|
||||
* changed: UInt::SetBitInWord(uint & value, uint bit) is taking the first argument by a reference now,
|
||||
the specific bit is set in the 'value' and the method returns the last state of the bit (zero or one)
|
||||
* changed: UInt::SetBit(uint bit_index) - it's using TTMATH_ASSERT now
|
||||
* changed: the size of built-in variables (constants) in ttmathbig.h
|
||||
now they consist of 256 32bit words
|
||||
macro TTMATH_BUILTIN_VARIABLES_SIZE is equal: 256u on a 32bit platform and 128ul on a 64bit platform
|
||||
* changed: the asm code in ttmathuint.h and ttmathuint64.h has been completely rewritten
|
||||
now UInt<> is faster about 15-30% than UInt<> from 0.8.2
|
||||
this has impact on Big<> too - it's faster about 10% now
|
||||
* changed: in the parser: the form with operators '#' and '&' is as follows:
|
||||
[-|+][#|&]numeric_value
|
||||
previous was: [-|+][#|&][-|+]numeric_value
|
||||
* changed: in the parser: the short form of multiplication has the same
|
||||
priority as the normal multiplication, e.g.:
|
||||
'2x^3' = 2 * (x^3)
|
||||
previous the priority was greater than powering priority
|
||||
previous: '2x^3' = (2*x) ^ 3
|
||||
* added: UInt::GetBit(uint bit_index) - returning the state of the specific bit
|
||||
* added: Big::operator=(double) and Big::Big(double)
|
||||
* added: UInt::Pow(UInt<value_size> pow) and Int::Pow(Int<value_size> pow)
|
||||
* added: global template functions in ttmath.h:
|
||||
ValueType GradToRad(const ValueType & x, ErrorCode * err = 0)
|
||||
ValueType RadToGrad(const ValueType & x, ErrorCode * err = 0)
|
||||
ValueType DegToGrad(const ValueType & x, ErrorCode * err = 0)
|
||||
ValueType DegToGrad(const ValueType & d, const ValueType & m,
|
||||
const ValueType & s, ErrorCode * err = 0)
|
||||
ValueType GradToDeg(const ValueType & x, ErrorCode * err = 0)
|
||||
* added: Parser::SetDegRadGrad(int angle) - 0 deg, 1 rad (default), 2 grad
|
||||
this affects following functions (in the parser only): sin, cos, tan, cot,
|
||||
asin, acos, atan, acot
|
||||
* added: functions to the parser: gradtorad(grad), radtograd(rad), degtograd(deg),
|
||||
degtograd(d,m,s), gradtodeg(grad)
|
||||
* added: UInt::FromString, added a parametr 'after_source'
|
||||
which is pointing at the end of the parsed string
|
||||
* added: Int::FromString(): parameter 'const char ** after_source = 0'
|
||||
if exists it's pointing at the end of the parsed string
|
||||
* added: to UInt::FromString(), Int::FromString(), Big::FromString():
|
||||
parameter 'bool * value_read = 0' - (if exists) tells
|
||||
whether something has actually been read (at least one digit)
|
||||
* added: Objects::IsDefined(const std::string & name)
|
||||
returning true if such an object is defined
|
||||
* removed: Big::FromString() this method doesn't longer recognize operators
|
||||
for changing the base ('#' and '&')
|
||||
|
||||
|
||||
Version 0.8.2 (2008.06.18):
|
||||
* added: UInt::BitNot2() this method has been proposed by
|
||||
Arek <kmicicc AnTispam users.sourceforge.net>
|
||||
* changed: Int::FromInt(const Int<argument_size> & p),
|
||||
Int::FromInt(sint value) (it returns zero now)
|
||||
Int::operator=(uint i)
|
||||
Int::Int(uint i)
|
||||
* added: Int::FromUInt(const UInt<argument_size> & p),
|
||||
Int::FromUInt(uint value)
|
||||
and appropriate constructors and assignment
|
||||
operators as well
|
||||
* changed: Big::FromInt(Int<int_size> value),
|
||||
* added: Big::FromUInt(UInt<int_size> value),
|
||||
Big::operator=(const UInt<int_size> & value)
|
||||
Big::Big(const UInt<int_size> & value)
|
||||
* changed: the parser is allowed to recognize values which
|
||||
begin with a dot, e.g '.5' is treated as '0.5'
|
||||
* added: a method Big::FromDouble(double) which converts from
|
||||
standard double into a Big
|
||||
* added: uint Big::ToDouble(double&) - converting into double
|
||||
* added: Big::FromBig() and an operator= and a contructor
|
||||
for converting from another kind of a Big class
|
||||
* added: to the parser: avg(), sum()
|
||||
* added: 'decimal_point' parameter into Big::ToString(...)
|
||||
* fixed: Big::operator>> didn't use TTMATH_COMMA_CHARACTER_2 macro
|
||||
* added: a short form of multiplication (without the '*' character)
|
||||
e.g. '5y', (it's used only if the second parameter
|
||||
is a variable or function)
|
||||
* changed: variables and functions are case-sensitive now
|
||||
* added: variables and functions can have underline characters
|
||||
in their names
|
||||
* changed: 'max_digit_after_comma' in Big::ToString()
|
||||
remove the -2 state
|
||||
* added: 'remove_trailing_zeroes' in Big::ToString()
|
||||
it's either true or false
|
||||
* fixed/changed: the way of using Big::SetSign()
|
||||
the method do not check whether there is a zero or not now
|
||||
(even if there's a zero the method can set a sign bit)
|
||||
I changed this due to some prior errors
|
||||
(errors corrected in revision 17, 49 and 58)
|
||||
|
||||
|
||||
Version 0.8.1 (2007.04.17):
|
||||
* fixed: Big::PowFrac(..) didn't return a correct error code
|
||||
(when 'this' was negative)
|
||||
* added: Root(x; index) (and to the parser as well)
|
||||
* added: macro: TTMATH_PRERELEASE_VER (can be either zero or one)
|
||||
* added: UInt::MulInt(int, UInt<int another_size>::&)
|
||||
* added: Big::MulUInt(uint)
|
||||
* changed: Big::MulInt(sint)
|
||||
* added: Big::ToUInt(uint &)
|
||||
* changed: Big::ToInt(sint&)
|
||||
* changed: Factorial() it uses Big::MulUInt() at the beginning
|
||||
(faster now especially more on a 32bit platform)
|
||||
* added: doxygen.cfg for generating a documentation from the doxygen
|
||||
* changed: UInt::Rcl(uint c=0) and UInt::Rcr(uint c=0) into
|
||||
UInt::Rcl2(uint bits, uint c) and UInt::Rcr2(uint bits, uint c)
|
||||
now they can move more than one bit and they are only private
|
||||
* fixed: UInt::Rcl(uint bits, uint c) and UInt::Rcr(uint bits, uint c)
|
||||
didn't correctly return a carry if the 'bits' were equal
|
||||
to 'value_size*TTMATH_BITS_PER_UINT'
|
||||
* changed: UInt::Rcl(uint bits, uint c) and UInt::Rcr(uint bits, uint c)
|
||||
into UInt::Rcl(uint bits, uint c=0) and
|
||||
UInt::Rcr(uint bits, uint c=0)
|
||||
they are faster now when the bits is greater than a half of
|
||||
the TTMATH_BITS_PER_UINT
|
||||
* changed: UInt::CompensationToLeft() it's faster now
|
||||
* changed: more small changes where there were UInt::Rcl(uint c=0) and
|
||||
UInt::Rcr(uint c=0) used
|
||||
* changed: as the Big type uses UInt::Rcl() and UInt::Rcr() a lot then
|
||||
it is much faster now (about 5-25%)
|
||||
* added: ASinh(), ACosh(), ATanh() /ATgh()/, ACoth() /ACtgh()/
|
||||
and to the parser as well
|
||||
* added: UInt::BitAnd(), UInt::BitOr(), UInt::BitXor(), UInt::BitNot(),
|
||||
Big::BitAnd(), Big::BitOr(), Big::BitXor()
|
||||
* added: to the parser: bitand(), bitor(), bitxor()
|
||||
/band(), bor(), bxor()/
|
||||
* changed: the way of parsing operators in the mathematical parser
|
||||
(the parser is not too much greedy now)
|
||||
|
||||
|
||||
Version 0.8.0 (2007.03.28):
|
||||
* added: into the parser: SetFactorialMax()
|
||||
* added: DegToDeg(deg, min, sec), DegToRad(deg), DegToRad(deg, min, sec),
|
||||
RadToDeg(rad), Ceil(x), Floor(x), Sqrt(x), Sinh(x), Cosh(x),
|
||||
Tanh(x) /Tgh(x)/, Coth(x) /Ctgh(x)/
|
||||
* changed: class Objects in ttmathobjects.h has been completely rewritten,
|
||||
we can change the names of user-defined variables or functions, and the
|
||||
names are case-sensitive now
|
||||
we can change the names of user-defined variables or functions,
|
||||
and the names are case-sensitive now
|
||||
* added: class History which is used in functions which take a lot of time
|
||||
during calculating e.g. Factorial(x)
|
||||
* added: Tg(x) a wrapper for Tan(x)
|
||||
@@ -16,14 +188,14 @@ Version 0.8.0 (2007.03.28):
|
||||
* added: ACtg(x) a wrapper for ACot(x)
|
||||
* added: UInt::PrintTable() (for debugging etc.)
|
||||
* changed: the methods Big::SetPi() Big::SetE() and Big::SetLn2() have
|
||||
been rewritten, now they have 128 32bit words (it's about 1232 valid
|
||||
decimal digits)
|
||||
been rewritten, now they have 128 32bit words (it's about
|
||||
1232 valid decimal digits)
|
||||
* fixed: previous values from Big::SetPi() Big::SetE() and
|
||||
Big::SetLn2() were not too much accurate (last 2-3 words were wrong)
|
||||
* added: Big::SetLn10() (128 32bit words as well)
|
||||
* added: macro: TTMATH_BUILTIN_VARIABLES_SIZE which is equal 128u on
|
||||
* added: macro TTMATH_BUILTIN_VARIABLES_SIZE which is equal 128u on
|
||||
32bit platforms and 64ul on 64bit platforms (128/2=64)
|
||||
* added: macros: TTMATH_PLATFORM32 and TTMATH_PLATFORM64
|
||||
* added: macros TTMATH_PLATFORM32 and TTMATH_PLATFORM64
|
||||
* changed: a small optimisation in UInt::Mul2Big()
|
||||
* added: at the end of ttmath.h: #include "ttmathparser.h"
|
||||
this is for convenience for a programmer, he can only use #include
|
||||
@@ -31,13 +203,14 @@ Version 0.8.0 (2007.03.28):
|
||||
* added: to samples: big.cpp, parser.cpp
|
||||
* added/changes/fixed: in copy-constructors and operators= in Int,
|
||||
Uint and Big (more info in the commit log)
|
||||
* renamed Big::SetDotOne() into Big::Set05()
|
||||
* renamed: Big::SetDotOne() into Big::Set05()
|
||||
* changes: a few small optimisations in Big
|
||||
* deleted: the word 'virtual' from destructors: UInt, Int, Big
|
||||
(types in this library are not projected to be base-classes for
|
||||
another ones derived from them)
|
||||
* and more small changes (look at the commit log)
|
||||
|
||||
|
||||
Version 0.7.2 (2007.03.09):
|
||||
* added: Big::Mod - the remainder from a division
|
||||
* added: Big::Sgn - the 'sign' from the value (-1,0,1)
|
||||
@@ -48,37 +221,42 @@ Version 0.7.2 (2007.03.09):
|
||||
* added: into the parser: logical functions: and() or() not() if()
|
||||
* added: ErrorCode::err_unknown_operator when the parser couldn't read an operator
|
||||
|
||||
|
||||
Version 0.7.1 (2007.02.27):
|
||||
* fixed the error 'overflow during printing' which was caused
|
||||
* fixed: the error 'overflow during printing' which was caused
|
||||
by Big::FromInt(Int<int_size> value) (the sign has to be set at the end)
|
||||
* fixed many small errors
|
||||
* added ATan (arctan), ACTan (arc ctan) functions
|
||||
* fixed: many small errors
|
||||
* added: ATan (arctan), ACTan (arc ctan) functions
|
||||
|
||||
|
||||
Version 0.7.0 (2007.02.24):
|
||||
* finished support for 64bit platforms
|
||||
* added ASin (arcsin), ACos (arccos) functions
|
||||
* finished: support for 64bit platforms
|
||||
* added: ASin (arcsin), ACos (arccos) functions
|
||||
|
||||
|
||||
Version 0.6.4 (2007.01.29):
|
||||
* fixed the problem with a sign in the mathematical parser /-(1) was 1/
|
||||
* added UInt::AddInt and UInt::SubInt
|
||||
* changed UInt::AddOne and UInt::SubOne (much faster now)
|
||||
* added UInt::SetBitInWord
|
||||
* changed UInt::SetBit (much faster now)
|
||||
* UInt::AddTwoUints renamed to UInt::AddTwoInts
|
||||
* UInt::FindLeadingBit32 renamed to UInt::FindLeadingBitInWord
|
||||
* added UInt::SetBitInWord
|
||||
* UInt::Mul64 renamed to UInt::MulTwoWords
|
||||
* UInt::Div64 renamed to UInt::DivTwoWords
|
||||
* fixed: the problem with a sign in the mathematical parser /-(1) was 1/
|
||||
* added: UInt::AddInt and UInt::SubInt
|
||||
* changed: UInt::AddOne and UInt::SubOne (much faster now)
|
||||
* added: UInt::SetBitInWord
|
||||
* changed: UInt::SetBit (much faster now)
|
||||
UInt::AddTwoUints renamed to UInt::AddTwoInts
|
||||
UInt::FindLeadingBit32 renamed to UInt::FindLeadingBitInWord
|
||||
UInt::Mul64 renamed to UInt::MulTwoWords
|
||||
UInt::Div64 renamed to UInt::DivTwoWords
|
||||
* added: UInt::SetBitInWord
|
||||
* and more small changes in UInt type
|
||||
* start adding support for Amd64 (not finished yet) (added ttmathuint64.h)
|
||||
|
||||
|
||||
Version 0.6.3 (2007.01.22):
|
||||
* position of arguments (x and base) in logarithm functions are swapped
|
||||
* it's possible to use any multiplication algorithms in the same time
|
||||
* changed: position of arguments (x and base) in logarithm functions are swapped
|
||||
* changed: it's possible to use any multiplication algorithms in the same time
|
||||
(macros UINT_MUL_VERSION_'X' have gone)
|
||||
* added ExceptionInfo, ReferenceError and RuntimeError classes
|
||||
* the mess in macros has been cleaned up
|
||||
* added TTMATH_RELEASE macro
|
||||
* added: ExceptionInfo, ReferenceError and RuntimeError classes
|
||||
* changed: the mess in macros has been cleaned up
|
||||
* added: TTMATH_RELEASE macro
|
||||
|
||||
|
||||
Version 0.6.2 (2007.01.10):
|
||||
* New division algorithm (radix b) where b is 2^32
|
||||
* added: New division algorithm (radix b) where b is 2^32
|
||||
|
@@ -1,4 +1,4 @@
|
||||
Copyright (c) 2006-2007, Tomasz Sowa
|
||||
Copyright (c) 2006-2009, Tomasz Sowa
|
||||
All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
|
16
README
16
README
@@ -7,11 +7,12 @@ subtracting, multiplying, dividing etc. With the library also goes
|
||||
a mathematical parser which helps you solving input formulas read directly
|
||||
from a user.
|
||||
|
||||
TTMath is developed under the (new) BSD licence which means that it is free
|
||||
for both personal and commercial use but the library has some technical
|
||||
limitations: you can use it only on i386 and Amd64, another platforms are
|
||||
not supported (Intel 64bit platforms were not tested but should work as
|
||||
well), and you can use this library only with the C++ programming language.
|
||||
TTMath is developed under the BSD licence which means that it is free
|
||||
for 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
|
||||
way as the standard types like int, float, etc. It does not need to be
|
||||
@@ -20,5 +21,6 @@ This means only C++ developers can use this library and one thing they have
|
||||
to do is to use 'include' directive of the preprocessor. How big the
|
||||
values can be is set directly in the source code by the programmer.
|
||||
|
||||
Author: Tomasz Sowa <t.sowa AnTispam slimaczek.pl>
|
||||
Home page: http://sourceforge.net/projects/ttmath
|
||||
Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
Project pages: http://ttmath.slimaczek.pl
|
||||
http://sourceforge.net/projects/ttmath
|
||||
|
7
TODO
7
TODO
@@ -1,7 +0,0 @@
|
||||
TODO TTMath Library
|
||||
===================
|
||||
|
||||
* Add bitwise operators (or functions) and, or, xor
|
||||
* Add functions for generating random values
|
||||
|
||||
|
27
constgen/Makefile
Normal file
27
constgen/Makefile
Normal file
@@ -0,0 +1,27 @@
|
||||
o = main.o
|
||||
CC = g++
|
||||
CFLAGS = -s -O2 -DCONSTANTSGENERATOR
|
||||
name = gen
|
||||
|
||||
|
||||
.SUFFIXES: .cpp .o
|
||||
|
||||
.cpp.o:
|
||||
$(CC) -c $(CFLAGS) $<
|
||||
|
||||
|
||||
all: $(name)
|
||||
|
||||
$(name): $(o)
|
||||
$(CC) -o $(name) $(CFLAGS) $(o)
|
||||
|
||||
|
||||
|
||||
main.o: main.cpp
|
||||
|
||||
|
||||
clean:
|
||||
rm -f *.o
|
||||
rm -f *.s
|
||||
rm -f $(name)
|
||||
rm -f $(name).exe
|
126
constgen/main.cpp
Normal file
126
constgen/main.cpp
Normal file
@@ -0,0 +1,126 @@
|
||||
/*
|
||||
* This file is a part of TTMath Bignum Library
|
||||
* and is distributed under the (new) BSD licence.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* 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.
|
||||
*/
|
||||
|
||||
/*
|
||||
this simple program is used to make constants which then are put into ttmathbig.h
|
||||
*/
|
||||
|
||||
|
||||
#include "../ttmath/ttmath.h"
|
||||
#include <iostream>
|
||||
|
||||
|
||||
void CalcPi()
|
||||
{
|
||||
ttmath::Big<1,400> pi;
|
||||
|
||||
// 3100 digits after commna, taken from: http://zenwerx.com/pi.php
|
||||
pi = "3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679"
|
||||
"8214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196"
|
||||
"4428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273"
|
||||
"7245870066063155881748815209209628292540917153643678925903600113305305488204665213841469519415116094"
|
||||
"3305727036575959195309218611738193261179310511854807446237996274956735188575272489122793818301194912"
|
||||
"9833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132"
|
||||
"0005681271452635608277857713427577896091736371787214684409012249534301465495853710507922796892589235"
|
||||
"4201995611212902196086403441815981362977477130996051870721134999999837297804995105973173281609631859"
|
||||
"5024459455346908302642522308253344685035261931188171010003137838752886587533208381420617177669147303"
|
||||
"5982534904287554687311595628638823537875937519577818577805321712268066130019278766111959092164201989"
|
||||
"3809525720106548586327886593615338182796823030195203530185296899577362259941389124972177528347913151"
|
||||
"5574857242454150695950829533116861727855889075098381754637464939319255060400927701671139009848824012"
|
||||
"8583616035637076601047101819429555961989467678374494482553797747268471040475346462080466842590694912"
|
||||
"9331367702898915210475216205696602405803815019351125338243003558764024749647326391419927260426992279"
|
||||
"6782354781636009341721641219924586315030286182974555706749838505494588586926995690927210797509302955"
|
||||
"3211653449872027559602364806654991198818347977535663698074265425278625518184175746728909777727938000"
|
||||
"8164706001614524919217321721477235014144197356854816136115735255213347574184946843852332390739414333"
|
||||
"4547762416862518983569485562099219222184272550254256887671790494601653466804988627232791786085784383"
|
||||
"8279679766814541009538837863609506800642251252051173929848960841284886269456042419652850222106611863"
|
||||
"0674427862203919494504712371378696095636437191728746776465757396241389086583264599581339047802759009"
|
||||
"9465764078951269468398352595709825822620522489407726719478268482601476990902640136394437455305068203"
|
||||
"4962524517493996514314298091906592509372216964615157098583874105978859597729754989301617539284681382"
|
||||
"6868386894277415599185592524595395943104997252468084598727364469584865383673622262609912460805124388"
|
||||
"4390451244136549762780797715691435997700129616089441694868555848406353422072225828488648158456028506"
|
||||
"0168427394522674676788952521385225499546667278239864565961163548862305774564980355936345681743241125"
|
||||
"1507606947945109659609402522887971089314566913686722874894056010150330861792868092087476091782493858"
|
||||
"9009714909675985261365549781893129784821682998948722658804857564014270477555132379641451523746234364"
|
||||
"5428584447952658678210511413547357395231134271661021359695362314429524849371871101457654035902799344"
|
||||
"0374200731057853906219838744780847848968332144571386875194350643021845319104848100537061468067491927"
|
||||
"8191197939952061419663428754440643745123718192179998391015919561814675142691239748940907186494231961"
|
||||
"5679452080951465502252316038819301420937621378559566389377870830390697920773467221825625996615014215";
|
||||
|
||||
std::cout << "---------------- PI ----------------" << std::endl;
|
||||
pi.mantissa.PrintTable(std::cout);
|
||||
}
|
||||
|
||||
|
||||
void CalcE()
|
||||
{
|
||||
ttmath::Big<1,400> e;
|
||||
ttmath::uint steps;
|
||||
|
||||
// macro CONSTANTSGENERATOR has to be defined
|
||||
e.ExpSurrounding0(1, &steps);
|
||||
std::cout << "---------------- e ----------------" << std::endl;
|
||||
e.mantissa.PrintTable(std::cout);
|
||||
|
||||
std::cout << "ExpSurrounding0(1): " << steps << " iterations" << std::endl;
|
||||
}
|
||||
|
||||
|
||||
void CalcLn(int x)
|
||||
{
|
||||
ttmath::Big<1,400> ln;
|
||||
ttmath::uint steps;
|
||||
|
||||
// macro CONSTANTSGENERATOR has to be defined
|
||||
ln.LnSurrounding1(x, &steps);
|
||||
std::cout << "---------------- ln(" << x << ") ----------------" << std::endl;
|
||||
ln.mantissa.PrintTable(std::cout);
|
||||
|
||||
std::cout << "LnSurrounding1(" << x << "): " << steps << " iterations" << std::endl;
|
||||
}
|
||||
|
||||
|
||||
|
||||
int main()
|
||||
{
|
||||
CalcPi();
|
||||
CalcE();
|
||||
CalcLn(2);
|
||||
CalcLn(10);
|
||||
|
||||
return 0;
|
||||
}
|
1257
doxygen.cfg
Normal file
1257
doxygen.cfg
Normal file
File diff suppressed because it is too large
Load Diff
@@ -32,20 +32,21 @@ MyBig atemp;
|
||||
if( !atemp.Add(b) )
|
||||
std::cout << "a + b = " << atemp << std::endl;
|
||||
else
|
||||
std::cout << "a + b = (carry) " << atemp << std::endl;
|
||||
std::cout << "a + b = (carry)" << std::endl;
|
||||
// it have no sense to print 'atemp' (it's undefined)
|
||||
|
||||
atemp = a;
|
||||
if( !atemp.Sub(b) )
|
||||
std::cout << "a - b = " << atemp << std::endl;
|
||||
else
|
||||
std::cout << "a - b = (carry) " << atemp << std::endl;
|
||||
std::cout << "a - b = (carry)" << std::endl;
|
||||
|
||||
atemp = a;
|
||||
if( !atemp.Mul(b) )
|
||||
std::cout << "a * b = " << atemp << std::endl;
|
||||
else
|
||||
std::cout << "a * b = (carry: the result is too big) " << std::endl;
|
||||
// it have no sense to print 'atemp' (it's undefined)
|
||||
std::cout << "a * b = (carry)" << std::endl;
|
||||
|
||||
|
||||
atemp = a;
|
||||
if( !atemp.Div(b) )
|
||||
@@ -68,9 +69,8 @@ MyBig a,b;
|
||||
// 'a' will have the max value which can be held in this type
|
||||
a.SetMax();
|
||||
|
||||
// at the moment conversions from double (or float etc.) are not supported
|
||||
// you cannot do that: b = 456.32f
|
||||
b = "456.32";
|
||||
// conversion from double
|
||||
b = 456.32;
|
||||
|
||||
// Look at the value 'a' and the product from a+b and a-b
|
||||
// Don't worry this is the nature of floating point numbers
|
||||
@@ -89,9 +89,9 @@ a * b = 12193540837712.2708
|
||||
a / b = 0.0012499665458095765
|
||||
Calculating with a carry
|
||||
a = 1.624801256070839555e+646457012
|
||||
b = 456.32
|
||||
b = 456.31999999999999
|
||||
a + b = 1.624801256070839555e+646457012
|
||||
a - b = 1.624801256070839555e+646457012
|
||||
a * b = (carry: the result is too big)
|
||||
a / b = 3.56066193914542329e+646457009
|
||||
a * b = (carry)
|
||||
a / b = 3.56066193914542334e+646457009
|
||||
*/
|
||||
|
31
tests/Makefile
Normal file
31
tests/Makefile
Normal file
@@ -0,0 +1,31 @@
|
||||
CC = g++
|
||||
o = main.o uinttest.o
|
||||
CFLAGS = -Wall -O2 -s
|
||||
ttmath = ..
|
||||
name = tests
|
||||
|
||||
|
||||
|
||||
.SUFFIXES: .cpp .o
|
||||
|
||||
.cpp.o:
|
||||
$(CC) -c $(CFLAGS) -I$(ttmath) $<
|
||||
|
||||
|
||||
all: $(name)
|
||||
|
||||
|
||||
$(name): $(o)
|
||||
$(CC) -o $(name) $(CFLAGS) -I$(ttmath) $(o)
|
||||
|
||||
|
||||
main.o: main.cpp uinttest.h
|
||||
uinttest.o: uinttest.cpp uinttest.h
|
||||
|
||||
|
||||
clean:
|
||||
rm -f *.o
|
||||
rm -f $(name)
|
||||
rm -f $(name).exe
|
||||
|
||||
|
68
tests/main.cpp
Normal file
68
tests/main.cpp
Normal file
@@ -0,0 +1,68 @@
|
||||
/*
|
||||
* This file is a part of TTMath Bignum Library
|
||||
* and is distributed under the (new) BSD licence.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* 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.
|
||||
*/
|
||||
|
||||
|
||||
#include <iostream>
|
||||
#include <ttmath/ttmath.h>
|
||||
#include "uinttest.h"
|
||||
|
||||
|
||||
|
||||
const char uint_tests_file[] = "tests.uint32";
|
||||
|
||||
|
||||
|
||||
void test_uint()
|
||||
{
|
||||
UIntTest test;
|
||||
|
||||
test.set_file_name(uint_tests_file);
|
||||
test.go();
|
||||
}
|
||||
|
||||
|
||||
|
||||
int main()
|
||||
{
|
||||
using namespace ttmath;
|
||||
|
||||
|
||||
test_uint();
|
||||
|
||||
|
||||
return 0;
|
||||
}
|
92
tests/tests.uint32
Normal file
92
tests/tests.uint32
Normal file
@@ -0,0 +1,92 @@
|
||||
# Add
|
||||
|
||||
# min_bits max_bits a b result carry
|
||||
add 32 0 0 0 0 0
|
||||
add 32 0 1 1 2 0
|
||||
add 32 0 2342234 3563456 5905690 0
|
||||
add 32 0 254455 3453435 3707890 0
|
||||
add 32 0 4294967295 0 4294967295 0
|
||||
add 32 32 4294967295 1 0 1
|
||||
add 32 32 4294967295 0 4294967295 0
|
||||
add 64 64 18446744073709551615 1 0 1
|
||||
add 64 64 18446744073709551615 0 18446744073709551615 0
|
||||
add 96 96 79228162514264337593543950335 1 0 1
|
||||
add 96 96 79228162514264337593543950335 0 79228162514264337593543950335 0
|
||||
add 128 128 340282366920938463463374607431768211455 1 0 1
|
||||
add 128 128 340282366920938463463374607431768211455 0 340282366920938463463374607431768211455 0
|
||||
add 160 160 1461501637330902918203684832716283019655932542975 1 0 1
|
||||
add 160 160 1461501637330902918203684832716283019655932542975 0 1461501637330902918203684832716283019655932542975 0
|
||||
add 192 192 6277101735386680763835789423207666416102355444464034512895 1 0 1
|
||||
add 192 192 6277101735386680763835789423207666416102355444464034512895 0 6277101735386680763835789423207666416102355444464034512895 0
|
||||
|
||||
|
||||
# AddInt
|
||||
|
||||
# min_bits max_bits bits_per_int a b(int) index result carry
|
||||
addint 32 0 32 0 0 0 0 0
|
||||
addint 32 0 32 1000 2000 0 3000 0
|
||||
addint 64 0 32 562342345 1423445 1 6113650284997065 0
|
||||
addint 64 0 32 5342342455 3423553423 0 8765895878 0
|
||||
addint 96 0 32 478895734 46756734 2 862509505820513898647477878 0
|
||||
addint 128 0 32 27370506140054471803784984408165997441 24543 3 27372450636847059393422542757339093889 0
|
||||
addint 128 128 32 340282366841711102552375003685868034945 2234543 3 177038656721750864719686733515479937 1
|
||||
addint 160 160 32 1461501637330902918124457471805283415910032366465 3 3 158457126631793409034731674497 1
|
||||
addint 192 0 32 6277101735386680763835789423128439055191355840718134336385 3354 1 6277101735386680763835789423128439055191355855123454647169 0
|
||||
addint 192 192 32 6277101735386680763835789423128439055191355840718134336385 3354 5 4901876491607848387655079701569502248322251848964993 1
|
||||
|
||||
addint 64 0 64 0 0 0 0 0
|
||||
addint 64 0 64 5342342 345534234 0 350876576 0
|
||||
addint 64 0 64 5342342455 34235534234 0 39577876689 0
|
||||
addint 64 64 64 18446744073709550615 2000 0 999 1
|
||||
addint 128 0 64 42895062544824211012058135 3453234 0 42895062544824211015511369 0
|
||||
addint 128 0 64 42895062544824211012058135 456234234 1 8458931214807741031021280279 0
|
||||
addint 128 128 64 340282366920938426569886460012664978455 45623 1 804702316727431770143767 1
|
||||
addint 192 192 64 6277101735386680763835789423207666379208867297044931279895 45623234 1 841563227924816702308613143 1
|
||||
addint 192 192 64 6277101735386679588840776445207152040176347835149297122327 45623234 2 15523607057094857017675614218510090830281178135 1
|
||||
addint 192 192 64 6277101735386680763835789423207666416102355444464034512895 1 0 0 1
|
||||
|
||||
|
||||
|
||||
# AddTwoInts
|
||||
# a the value
|
||||
# c lower word
|
||||
# b higher word
|
||||
# index - index of the lower (c) word
|
||||
# if there is a carry the result is skipped
|
||||
|
||||
# min_bits max_bits bits_per_int a b(int) c(int) index result carry
|
||||
addtwoints 64 0 32 0 0 0 0 0 0
|
||||
addtwoints 64 0 32 23542345 3453245 2356252356 0 14831576719870221 0
|
||||
addtwoints 64 64 32 4563456879824345332 3453245255 3673623543 0 0 1
|
||||
addtwoints 96 0 32 345345634564352344231 1231354534 345324551 1 22714482299528678798871855271 0
|
||||
addtwoints 96 96 32 33333336690445123453645645123 4241542514 145235414 1 0 1
|
||||
addtwoints 128 0 32 921345787234870984751756 2356245656 3423623455 2 186681013820253010515426931265335245452 0
|
||||
addtwoints 128 128 32 259817508127340892734075234234345345346 3452345324 452354345 2 0 1
|
||||
addtwoints 160 0 32 458674036702857083457018457034 435236456 1451234242 1 466702732224470435083940719562 0
|
||||
addtwoints 160 0 32 258672084570198475012875019876674534523452543562 935245345 736765636 3 576919584276960743542382023227664277469907669578 0
|
||||
addtwoints 192 0 32 2398670187501982374012837086745045 3253453245 234567536 4 4754927244626858434362642830810490464530603685767816794581 0
|
||||
addtwoints 192 192 32 1734564564356435667546738087098769876387468736123143453646 3456345245 3256347435 4 0 1
|
||||
|
||||
|
||||
addtwoints 128 0 64 0 0 0 0 0 0
|
||||
addtwoints 128 0 64 14513452345 234512412345 8473567534 0 4325990452636459442359440119399 0
|
||||
addtwoints 128 128 64 325434534534536347567567356714513452345 4324546234512412345 8473567534 0 0 1
|
||||
addtwoints 192 0 64 8786356223462562562561234 4356879827345 34745638455 1 1482569380039046311960318103044992688410168990618834 0
|
||||
addtwoints 192 0 64 875687458745872039847234234048572306857602 12341234356 3472568734534 1 4199505313073142510985676024483326499863441546882 0
|
||||
addtwoints 192 192 64 6234554767823878635622346242564564564564564564562562561234 457644356879827345 34844576655 1 0 1
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
424
tests/uinttest.cpp
Normal file
424
tests/uinttest.cpp
Normal file
@@ -0,0 +1,424 @@
|
||||
/*
|
||||
* This file is a part of TTMath Bignum Library
|
||||
* and is distributed under the (new) BSD licence.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* 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.
|
||||
*/
|
||||
|
||||
|
||||
#include "uinttest.h"
|
||||
|
||||
|
||||
|
||||
void UIntTest::set_file_name(const std::string & f)
|
||||
{
|
||||
file_name = f;
|
||||
}
|
||||
|
||||
|
||||
bool UIntTest::read_uint(uuint & result)
|
||||
{
|
||||
UInt<1> temp;
|
||||
|
||||
int c = temp.FromString(pline, 10, &pline);
|
||||
|
||||
result = temp.ToUInt();
|
||||
|
||||
if( c )
|
||||
{
|
||||
std::cerr << " carry from reading uint" << std::endl;
|
||||
return false;
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
|
||||
template<uuint type_size>
|
||||
bool UIntTest::read_uint(UInt<type_size> & result)
|
||||
{
|
||||
int c = result.FromString(pline, 10, &pline);
|
||||
|
||||
if( c )
|
||||
{
|
||||
std::cerr << " carry from UInt<>::FromString()" << std::endl;
|
||||
return false;
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
bool UIntTest::check_minmax_bits(int type_size)
|
||||
{
|
||||
uuint min_bits;
|
||||
uuint max_bits;
|
||||
|
||||
read_uint(min_bits);
|
||||
read_uint(max_bits);
|
||||
|
||||
if( min_bits != 0 && type_size * TTMATH_BITS_PER_UINT < (unsigned int)min_bits )
|
||||
return false;
|
||||
|
||||
if( max_bits != 0 && type_size * TTMATH_BITS_PER_UINT > (unsigned int)max_bits )
|
||||
return false;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
bool UIntTest::check_minmax_bits_bitperint(int type_size)
|
||||
{
|
||||
if( !check_minmax_bits(type_size) )
|
||||
return false;
|
||||
|
||||
uuint bits;
|
||||
|
||||
read_uint(bits);
|
||||
|
||||
if( TTMATH_BITS_PER_UINT != bits )
|
||||
return false;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
|
||||
bool UIntTest::check_end()
|
||||
{
|
||||
skip_white_characters();
|
||||
|
||||
if( *pline!='#' && *pline!= 0 )
|
||||
{
|
||||
std::cerr << "syntax error" << std::endl;
|
||||
return false;
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
template<uuint type_size>
|
||||
bool UIntTest::check_result_carry(const ttmath::UInt<type_size> & result, const ttmath::UInt<type_size> & new_result,
|
||||
int carry, int new_carry)
|
||||
{
|
||||
bool ok = true;
|
||||
|
||||
if( new_carry != carry )
|
||||
{
|
||||
std::cerr << "Incorrect carry: " << new_carry << " (expected: " << carry << ")" << std::endl;
|
||||
ok = false;
|
||||
}
|
||||
|
||||
if( new_result != result )
|
||||
{
|
||||
std::cerr << "Incorrect result: " << new_result << " (expected: " << result << ")" << std::endl;
|
||||
ok = false;
|
||||
}
|
||||
|
||||
return ok;
|
||||
}
|
||||
|
||||
|
||||
template<uuint type_size>
|
||||
bool UIntTest::check_result_or_carry(const ttmath::UInt<type_size> & result, const ttmath::UInt<type_size> & new_result,
|
||||
int carry, int new_carry)
|
||||
{
|
||||
if( new_carry != carry )
|
||||
{
|
||||
std::cerr << "Incorrect carry: " << new_carry << " (expected: " << carry << ")" << std::endl;
|
||||
return false;
|
||||
}
|
||||
|
||||
if( new_carry == 1 )
|
||||
return true;
|
||||
|
||||
if( new_result != result )
|
||||
{
|
||||
std::cerr << "Incorrect result: " << new_result << " (expected: " << result << ")" << std::endl;
|
||||
return false;
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
|
||||
template<uuint type_size>
|
||||
void UIntTest::test_add()
|
||||
{
|
||||
UInt<type_size> a,b,result, new_result;
|
||||
|
||||
if( !check_minmax_bits(type_size) )
|
||||
return;
|
||||
|
||||
read_uint(a);
|
||||
read_uint(b);
|
||||
read_uint(result);
|
||||
|
||||
uuint carry;
|
||||
read_uint(carry);
|
||||
|
||||
std::cerr << '[' << row << "] Add<" << type_size << ">: ";
|
||||
|
||||
if( !check_end() )
|
||||
return;
|
||||
|
||||
new_result = a;
|
||||
int new_carry = new_result.Add(b);
|
||||
|
||||
if( check_result_carry(result, new_result, carry, new_carry) )
|
||||
std::cerr << "ok" << std::endl;
|
||||
}
|
||||
|
||||
|
||||
template<uuint type_size>
|
||||
void UIntTest::test_addint()
|
||||
{
|
||||
UInt<type_size> a, result, new_result;
|
||||
|
||||
if( !check_minmax_bits_bitperint(type_size) )
|
||||
return;
|
||||
|
||||
uuint b, index, carry;
|
||||
|
||||
read_uint(a);
|
||||
read_uint(b);
|
||||
read_uint(index);
|
||||
read_uint(result);
|
||||
|
||||
read_uint(carry);
|
||||
|
||||
std::cerr << '[' << row << "] AddInt<" << type_size << ">: ";
|
||||
|
||||
if( !check_end() )
|
||||
return;
|
||||
|
||||
new_result = a;
|
||||
int new_carry = new_result.AddInt(b, index);
|
||||
|
||||
if( check_result_carry(result, new_result, carry, new_carry) )
|
||||
std::cerr << "ok" << std::endl;
|
||||
}
|
||||
|
||||
template<uuint type_size>
|
||||
void UIntTest::test_addtwoints()
|
||||
{
|
||||
UInt<type_size> a, result, new_result;
|
||||
|
||||
if( !check_minmax_bits_bitperint(type_size) )
|
||||
return;
|
||||
|
||||
std::cerr << '[' << row << "] AddTwoInts<" << type_size << ">: ";
|
||||
|
||||
uuint b, c, index, carry;
|
||||
|
||||
read_uint(a);
|
||||
read_uint(b);
|
||||
read_uint(c);
|
||||
read_uint(index);
|
||||
read_uint(result);
|
||||
|
||||
read_uint(carry);
|
||||
|
||||
|
||||
if( !check_end() )
|
||||
return;
|
||||
|
||||
if( index >= type_size - 1 )
|
||||
{
|
||||
std::cerr << "index too large" << std::endl;
|
||||
return;
|
||||
}
|
||||
|
||||
|
||||
new_result = a;
|
||||
int new_carry = new_result.AddTwoInts(b, c, index);
|
||||
|
||||
if( check_result_or_carry(result, new_result, carry, new_carry) )
|
||||
std::cerr << "ok" << std::endl;
|
||||
}
|
||||
|
||||
|
||||
int UIntTest::upper_char(int c)
|
||||
{
|
||||
if( c>='a' && c<='z' )
|
||||
return c - 'a' + 'A';
|
||||
|
||||
return c;
|
||||
}
|
||||
|
||||
|
||||
bool UIntTest::is_white(int c)
|
||||
{
|
||||
if( c==' ' || c=='\t' || c==13 )
|
||||
return true;
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
void UIntTest::skip_white_characters()
|
||||
{
|
||||
while( is_white(*pline) )
|
||||
++pline;
|
||||
}
|
||||
|
||||
|
||||
|
||||
bool UIntTest::read_method()
|
||||
{
|
||||
skip_white_characters();
|
||||
|
||||
if( *pline == '#' )
|
||||
return false;
|
||||
|
||||
method.clear();
|
||||
|
||||
for(int c = upper_char(*pline) ; c>='A'&& c<='Z' ; c = upper_char(*pline) )
|
||||
{
|
||||
method += c;
|
||||
++pline;
|
||||
}
|
||||
|
||||
if( method.empty() )
|
||||
{
|
||||
skip_white_characters();
|
||||
if( *pline == 0 )
|
||||
return false;
|
||||
else
|
||||
{
|
||||
std::cerr << '[' << row << "] ";
|
||||
std::cerr << "syntax error" << std::endl;
|
||||
return false;
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
|
||||
void UIntTest::test_method()
|
||||
{
|
||||
const char * p = pline;
|
||||
|
||||
if( method == "ADD" )
|
||||
{
|
||||
pline = p; test_add<1>();
|
||||
pline = p; test_add<2>();
|
||||
pline = p; test_add<3>();
|
||||
pline = p; test_add<4>();
|
||||
pline = p; test_add<5>();
|
||||
pline = p; test_add<6>();
|
||||
pline = p; test_add<7>();
|
||||
pline = p; test_add<8>();
|
||||
pline = p; test_add<9>();
|
||||
}
|
||||
else
|
||||
if( method == "ADDINT" )
|
||||
{
|
||||
pline = p; test_addint<1>();
|
||||
pline = p; test_addint<2>();
|
||||
pline = p; test_addint<3>();
|
||||
pline = p; test_addint<4>();
|
||||
pline = p; test_addint<5>();
|
||||
pline = p; test_addint<6>();
|
||||
pline = p; test_addint<7>();
|
||||
pline = p; test_addint<8>();
|
||||
pline = p; test_addint<9>();
|
||||
}
|
||||
else
|
||||
if( method == "ADDTWOINTS" )
|
||||
{
|
||||
pline = p; test_addtwoints<1>();
|
||||
pline = p; test_addtwoints<2>();
|
||||
pline = p; test_addtwoints<3>();
|
||||
pline = p; test_addtwoints<4>();
|
||||
pline = p; test_addtwoints<5>();
|
||||
pline = p; test_addtwoints<6>();
|
||||
pline = p; test_addtwoints<7>();
|
||||
pline = p; test_addtwoints<8>();
|
||||
pline = p; test_addtwoints<9>();
|
||||
}
|
||||
else
|
||||
{
|
||||
std::cerr << '[' << row << "] ";
|
||||
std::cerr << "method " << method << " is not supported" << std::endl;
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
bool UIntTest::check_line()
|
||||
{
|
||||
std::getline(file, line);
|
||||
|
||||
pline = line.c_str();
|
||||
|
||||
if( read_method() )
|
||||
test_method();
|
||||
|
||||
|
||||
if( file.eof() )
|
||||
return false;
|
||||
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
void UIntTest::go()
|
||||
{
|
||||
file.open(file_name.c_str());
|
||||
|
||||
|
||||
if( !file )
|
||||
{
|
||||
std::cerr << "I can't open the input file" << std::endl;
|
||||
return;
|
||||
}
|
||||
|
||||
row = 1;
|
||||
|
||||
while( check_line() )
|
||||
++row;
|
||||
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
105
tests/uinttest.h
Normal file
105
tests/uinttest.h
Normal file
@@ -0,0 +1,105 @@
|
||||
/*
|
||||
* This file is a part of TTMath Bignum Library
|
||||
* and is distributed under the (new) BSD licence.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* 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 headerfileuinttest
|
||||
#define headerfileuinttest
|
||||
|
||||
#include <string>
|
||||
#include <fstream>
|
||||
#include <iostream>
|
||||
|
||||
#include <ttmath/ttmath.h>
|
||||
|
||||
using namespace ttmath;
|
||||
typedef ttmath::uint uuint;
|
||||
|
||||
|
||||
class UIntTest
|
||||
{
|
||||
|
||||
std::string file_name;
|
||||
|
||||
// current line from the file
|
||||
std::string line;
|
||||
const char * pline;
|
||||
|
||||
std::ifstream file;
|
||||
|
||||
|
||||
std::string method;
|
||||
|
||||
int row;
|
||||
|
||||
public:
|
||||
|
||||
void set_file_name(const std::string & f);
|
||||
|
||||
void go();
|
||||
|
||||
bool read_uint(uuint & result);
|
||||
|
||||
template<uuint type_size>
|
||||
bool read_uint(UInt<type_size> & result);
|
||||
|
||||
|
||||
template<uuint type_size> void test_add();
|
||||
template<uuint type_size> void test_addint();
|
||||
template<uuint type_size> void test_addtwoints();
|
||||
|
||||
template<uuint type_size> bool check_result_carry(const ttmath::UInt<type_size> & result, const ttmath::UInt<type_size> & new_result,
|
||||
int carry, int new_carry);
|
||||
|
||||
template<uuint type_size> bool check_result_or_carry(const ttmath::UInt<type_size> & result, const ttmath::UInt<type_size> & new_result,
|
||||
int carry, int new_carry);
|
||||
|
||||
int upper_char(int c);
|
||||
bool is_white(int c);
|
||||
void skip_white_characters();
|
||||
bool read_method();
|
||||
void test_method();
|
||||
bool check_line();
|
||||
|
||||
bool check_minmax_bits(int type_size);
|
||||
bool check_minmax_bits_bitperint(int type_size);
|
||||
bool check_end();
|
||||
|
||||
|
||||
};
|
||||
|
||||
|
||||
#endif
|
613
ttmath/ttmath.h
613
ttmath/ttmath.h
@@ -1,11 +1,11 @@
|
||||
/*
|
||||
* 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.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* Copyright (c) 2006-2007, Tomasz Sowa
|
||||
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||
* All rights reserved.
|
||||
*
|
||||
* Redistribution and use in source and binary forms, with or without
|
||||
@@ -275,6 +275,11 @@ namespace ttmath
|
||||
*
|
||||
*/
|
||||
|
||||
|
||||
/*
|
||||
this namespace consists of auxiliary functions
|
||||
(something like 'private' in a class)
|
||||
*/
|
||||
namespace auxiliaryfunctions
|
||||
{
|
||||
|
||||
@@ -1171,11 +1176,178 @@ namespace ttmath
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
*
|
||||
* inverse hyperbolic functions
|
||||
*
|
||||
*
|
||||
*/
|
||||
|
||||
|
||||
/*!
|
||||
inverse hyperbolic sine
|
||||
|
||||
asinh(x) = ln( x + sqrt(x^2 + 1) )
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType ASinh(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType xx(x), one, result;
|
||||
uint c = 0;
|
||||
one.SetOne();
|
||||
|
||||
c += xx.Mul(x);
|
||||
c += xx.Add(one);
|
||||
one.exponent.SubOne(); // one=0.5
|
||||
// xx is >= 1
|
||||
c += xx.PowFrac(one); // xx=sqrt(xx)
|
||||
c += xx.Add(x);
|
||||
c += result.Ln(xx); // xx > 0
|
||||
|
||||
// here can only be a carry
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
inverse hyperbolic cosine
|
||||
|
||||
acosh(x) = ln( x + sqrt(x^2 - 1) ) x in <1, infinity)
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType ACosh(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType xx(x), one, result;
|
||||
uint c = 0;
|
||||
one.SetOne();
|
||||
|
||||
if( x < one )
|
||||
{
|
||||
if( err )
|
||||
*err = err_improper_argument;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
c += xx.Mul(x);
|
||||
c += xx.Sub(one);
|
||||
// xx is >= 0
|
||||
// we can't call a PowFrac when the 'x' is zero
|
||||
// if x is 0 the sqrt(0) is 0
|
||||
if( !xx.IsZero() )
|
||||
{
|
||||
one.exponent.SubOne(); // one=0.5
|
||||
c += xx.PowFrac(one); // xx=sqrt(xx)
|
||||
}
|
||||
c += xx.Add(x);
|
||||
c += result.Ln(xx); // xx >= 1
|
||||
|
||||
// here can only be a carry
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
inverse hyperbolic tangent
|
||||
|
||||
atanh(x) = 0.5 * ln( (1+x) / (1-x) ) x in (-1, 1)
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType ATanh(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType nominator(x), denominator, one, result;
|
||||
uint c = 0;
|
||||
one.SetOne();
|
||||
|
||||
if( !x.SmallerWithoutSignThan(one) )
|
||||
{
|
||||
if( err )
|
||||
*err = err_improper_argument;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
c += nominator.Add(one);
|
||||
denominator = one;
|
||||
c += denominator.Sub(x);
|
||||
c += nominator.Div(denominator);
|
||||
c += result.Ln(nominator);
|
||||
c += result.exponent.SubOne();
|
||||
|
||||
// here can only be a carry
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
inverse hyperbolic tantent
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType ATgh(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
return ATanh(x, err);
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
inverse hyperbolic cotangent
|
||||
|
||||
acoth(x) = 0.5 * ln( (x+1) / (x-1) ) x in (-infinity, -1) or (1, infinity)
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType ACoth(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType nominator(x), denominator(x), one, result;
|
||||
uint c = 0;
|
||||
one.SetOne();
|
||||
|
||||
if( !x.GreaterWithoutSignThan(one) )
|
||||
{
|
||||
if( err )
|
||||
*err = err_improper_argument;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
c += nominator.Add(one);
|
||||
c += denominator.Sub(one);
|
||||
c += nominator.Div(denominator);
|
||||
c += result.Ln(nominator);
|
||||
c += result.exponent.SubOne();
|
||||
|
||||
// here can only be a carry
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
inverse hyperbolic cotantent
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType ACtgh(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
return ACoth(x, err);
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
/*
|
||||
*
|
||||
* functions for converting between degrees and radians
|
||||
* functions for converting between degrees, radians and gradians
|
||||
*
|
||||
*
|
||||
*/
|
||||
@@ -1189,14 +1361,18 @@ namespace ttmath
|
||||
template<class ValueType>
|
||||
ValueType DegToRad(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType result, delimiter;
|
||||
ValueType result, temp;
|
||||
uint c = 0;
|
||||
|
||||
result.SetPi();
|
||||
c += result.Mul(x);
|
||||
result = x;
|
||||
|
||||
delimiter = 180;
|
||||
c += result.Div(delimiter);
|
||||
// it is better to make division first and then multiplication
|
||||
// the result is more accurate especially when x is: 90,180,270 or 360
|
||||
temp = 180;
|
||||
c += result.Div(temp);
|
||||
|
||||
temp.SetPi();
|
||||
c += result.Mul(temp);
|
||||
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
@@ -1296,6 +1472,128 @@ namespace ttmath
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this function converts gradians to radians
|
||||
|
||||
it returns: x * pi / 200
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType GradToRad(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType result, temp;
|
||||
uint c = 0;
|
||||
|
||||
result = x;
|
||||
|
||||
// it is better to make division first and then multiplication
|
||||
// the result is more accurate especially when x is: 100,200,300 or 400
|
||||
temp = 200;
|
||||
c += result.Div(temp);
|
||||
|
||||
temp.SetPi();
|
||||
c += result.Mul(temp);
|
||||
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this function converts radians to gradians
|
||||
|
||||
it returns: x * 200 / pi
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType RadToGrad(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType result, delimiter;
|
||||
uint c = 0;
|
||||
|
||||
result = 200;
|
||||
c += result.Mul(x);
|
||||
|
||||
delimiter.SetPi();
|
||||
c += result.Div(delimiter);
|
||||
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this function converts degrees to gradians
|
||||
|
||||
it returns: x * 200 / 180
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType DegToGrad(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType result, temp;
|
||||
uint c = 0;
|
||||
|
||||
result = x;
|
||||
|
||||
temp = 200;
|
||||
c += result.Mul(temp);
|
||||
|
||||
temp = 180;
|
||||
c += result.Div(temp);
|
||||
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this function converts degrees in the long format to gradians
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType DegToGrad( const ValueType & d, const ValueType & m, const ValueType & s,
|
||||
ErrorCode * err = 0)
|
||||
{
|
||||
ValueType temp_deg = DegToDeg(d,m,s,err);
|
||||
|
||||
if( err && *err!=err_ok )
|
||||
return temp_deg;
|
||||
|
||||
return DegToGrad(temp_deg, err);
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this function converts degrees to gradians
|
||||
|
||||
it returns: x * 180 / 200
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType GradToDeg(const ValueType & x, ErrorCode * err = 0)
|
||||
{
|
||||
ValueType result, temp;
|
||||
uint c = 0;
|
||||
|
||||
result = x;
|
||||
|
||||
temp = 180;
|
||||
c += result.Mul(temp);
|
||||
|
||||
temp = 200;
|
||||
c += result.Div(temp);
|
||||
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
/*
|
||||
*
|
||||
* another functions
|
||||
@@ -1342,6 +1640,273 @@ namespace ttmath
|
||||
}
|
||||
|
||||
|
||||
|
||||
namespace auxiliaryfunctions
|
||||
{
|
||||
|
||||
template<class ValueType>
|
||||
bool RootCheckIndexSign(ValueType & x, const ValueType & index, ErrorCode * err)
|
||||
{
|
||||
if( index.IsSign() )
|
||||
{
|
||||
// index cannot be negative
|
||||
if( err )
|
||||
*err = err_improper_argument;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
template<class ValueType>
|
||||
bool RootCheckIndexZero(ValueType & x, const ValueType & index, ErrorCode * err)
|
||||
{
|
||||
if( index.IsZero() )
|
||||
{
|
||||
if( x.IsZero() )
|
||||
{
|
||||
// there isn't root(0;0) - we assume it's not defined
|
||||
if( err )
|
||||
*err = err_improper_argument;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
// root(x;0) is 1 (if x!=0)
|
||||
x.SetOne();
|
||||
|
||||
if( err )
|
||||
*err = err_ok;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
template<class ValueType>
|
||||
bool RootCheckIndexOne(ValueType & x, const ValueType & index, ErrorCode * err)
|
||||
{
|
||||
ValueType one;
|
||||
one.SetOne();
|
||||
|
||||
if( index == one )
|
||||
{
|
||||
//root(x;1) is x
|
||||
// we do it because if we used the PowFrac function
|
||||
// we would lose the precision
|
||||
if( err )
|
||||
*err = err_ok;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
template<class ValueType>
|
||||
bool RootCheckIndexFrac(ValueType & x, const ValueType & index, ErrorCode * err)
|
||||
{
|
||||
ValueType indexfrac(index);
|
||||
indexfrac.RemainFraction();
|
||||
|
||||
if( !indexfrac.IsZero() )
|
||||
{
|
||||
// index must be integer
|
||||
if( err )
|
||||
*err = err_improper_argument;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
template<class ValueType>
|
||||
bool RootCheckXZero(ValueType & x, const ValueType & index, ErrorCode * err)
|
||||
{
|
||||
if( x.IsZero() )
|
||||
{
|
||||
// root(0;index) is zero (if index!=0)
|
||||
x.SetZero();
|
||||
|
||||
if( err )
|
||||
*err = err_ok;
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
template<class ValueType>
|
||||
bool RootCheckIndex(ValueType & x, const ValueType & index, ErrorCode * err, bool * change_sign)
|
||||
{
|
||||
*change_sign = false;
|
||||
|
||||
if( index.Mod2() )
|
||||
{
|
||||
// index is odd (1,3,5...)
|
||||
if( x.IsSign() )
|
||||
{
|
||||
*change_sign = true;
|
||||
x.Abs();
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
// index is even
|
||||
// x cannot be negative
|
||||
if( x.IsSign() )
|
||||
{
|
||||
if( err )
|
||||
*err = err_improper_argument;
|
||||
|
||||
return true;
|
||||
}
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
indexth Root of x
|
||||
index must be integer and not negative <0;1;2;3....)
|
||||
|
||||
if index==0 the result is one
|
||||
if x==0 the result is zero and we assume root(0;0) is not defined
|
||||
|
||||
if index is even (2;4;6...) the result is x^(1/index) and x>0
|
||||
if index is odd (1;2;3;...) the result is either
|
||||
-(abs(x)^(1/index)) if x<0 or
|
||||
x^(1/index)) if x>0
|
||||
|
||||
(for index==1 the result is equal x)
|
||||
*/
|
||||
template<class ValueType>
|
||||
ValueType Root(ValueType x, const ValueType & index, ErrorCode * err = 0)
|
||||
{
|
||||
using namespace auxiliaryfunctions;
|
||||
|
||||
if( RootCheckIndexSign(x, index, err) ) return x;
|
||||
if( RootCheckIndexZero(x, index, err) ) return x;
|
||||
if( RootCheckIndexOne (x, index, err) ) return x;
|
||||
if( RootCheckIndexFrac(x, index, err) ) return x;
|
||||
if( RootCheckXZero(x, index, err) ) return x;
|
||||
|
||||
// index integer and index!=0
|
||||
// x!=0
|
||||
|
||||
uint c = 0;
|
||||
bool change_sign;
|
||||
if( RootCheckIndex(x, index, err, &change_sign ) ) return x;
|
||||
|
||||
ValueType newindex;
|
||||
newindex.SetOne();
|
||||
c += newindex.Div(index);
|
||||
c += x.PowFrac(newindex); // here can only be a carry
|
||||
|
||||
if( change_sign )
|
||||
{
|
||||
// the value of x should be different from zero
|
||||
// (x is actually tested by RootCheckXZero)
|
||||
TTMATH_ASSERT( x.IsZero() == false )
|
||||
|
||||
x.SetSign();
|
||||
}
|
||||
|
||||
|
||||
if( err )
|
||||
*err = c ? err_overflow : err_ok;
|
||||
|
||||
return x;
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
namespace auxiliaryfunctions
|
||||
{
|
||||
|
||||
template<class ValueType>
|
||||
uint FactorialInt( const ValueType & x, ErrorCode * err,
|
||||
const volatile StopCalculating * stop,
|
||||
ValueType & result)
|
||||
{
|
||||
uint maxvalue = TTMATH_UINT_MAX_VALUE;
|
||||
|
||||
if( x < TTMATH_UINT_MAX_VALUE )
|
||||
x.ToUInt(maxvalue);
|
||||
|
||||
uint multipler = 1;
|
||||
uint carry = 0;
|
||||
|
||||
while( !carry && multipler<maxvalue )
|
||||
{
|
||||
if( stop && stop->WasStopSignal() )
|
||||
{
|
||||
if( err )
|
||||
*err = err_interrupt;
|
||||
|
||||
return 2;
|
||||
}
|
||||
|
||||
++multipler;
|
||||
carry += result.MulUInt(multipler);
|
||||
}
|
||||
|
||||
if( err )
|
||||
*err = carry ? err_overflow : err_ok;
|
||||
|
||||
return carry ? 1 : 0;
|
||||
}
|
||||
|
||||
|
||||
template<class ValueType>
|
||||
int FactorialMore( const ValueType & x, ErrorCode * err,
|
||||
const volatile StopCalculating * stop,
|
||||
ValueType & result)
|
||||
{
|
||||
ValueType multipler(TTMATH_UINT_MAX_VALUE);
|
||||
ValueType one;
|
||||
|
||||
one.SetOne();
|
||||
uint carry = 0;
|
||||
|
||||
while( !carry && multipler < x )
|
||||
{
|
||||
if( stop && stop->WasStopSignal() )
|
||||
{
|
||||
if( err )
|
||||
*err = err_interrupt;
|
||||
|
||||
return 2;
|
||||
}
|
||||
|
||||
carry += multipler.Add(one);
|
||||
carry += result.Mul(multipler);
|
||||
}
|
||||
|
||||
if( err )
|
||||
*err = carry ? err_overflow : err_ok;
|
||||
|
||||
return carry ? 1 : 0;
|
||||
}
|
||||
|
||||
|
||||
} // namespace
|
||||
|
||||
|
||||
|
||||
/*!
|
||||
the factorial from given 'x'
|
||||
e.g.
|
||||
@@ -1350,6 +1915,8 @@ namespace ttmath
|
||||
template<class ValueType>
|
||||
ValueType Factorial(const ValueType & x, ErrorCode * err = 0, const volatile StopCalculating * stop = 0)
|
||||
{
|
||||
using namespace auxiliaryfunctions;
|
||||
|
||||
static History<ValueType> history;
|
||||
ValueType result;
|
||||
|
||||
@@ -1384,33 +1951,17 @@ namespace ttmath
|
||||
return result;
|
||||
}
|
||||
|
||||
ValueType multipler;
|
||||
ValueType one;
|
||||
uint carry = 0;
|
||||
|
||||
one = result; // =1
|
||||
multipler = result; // =1
|
||||
|
||||
while( !carry && multipler < x )
|
||||
{
|
||||
if( stop && stop->WasStopSignal() )
|
||||
{
|
||||
if( err )
|
||||
*err = err_interrupt;
|
||||
uint status = FactorialInt(x, err, stop, result);
|
||||
if( status == 0 )
|
||||
status = FactorialMore(x, err, stop, result);
|
||||
|
||||
if( status == 2 )
|
||||
// the calculation has been interrupted
|
||||
return result;
|
||||
}
|
||||
|
||||
carry += multipler.Add(one);
|
||||
carry += result.Mul(multipler);
|
||||
}
|
||||
|
||||
err_tmp = carry ? err_overflow : err_ok;
|
||||
err_tmp = status==1 ? err_overflow : err_ok;
|
||||
history.Add(x, result, err_tmp);
|
||||
|
||||
if( err )
|
||||
*err = carry ? err_overflow : err_ok;
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
@@ -1432,7 +1983,7 @@ namespace ttmath
|
||||
|
||||
/*!
|
||||
it returns the sign of the value
|
||||
e.g. -2 = 1
|
||||
e.g. -2 = -1
|
||||
0 = 0
|
||||
10 = 1
|
||||
*/
|
||||
|
1517
ttmath/ttmathbig.h
1517
ttmath/ttmathbig.h
File diff suppressed because it is too large
Load Diff
@@ -1,11 +1,11 @@
|
||||
/*
|
||||
* 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.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* Copyright (c) 2006-2007, Tomasz Sowa
|
||||
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||
* All rights reserved.
|
||||
*
|
||||
* Redistribution and use in source and binary forms, with or without
|
||||
@@ -208,7 +208,7 @@ private:
|
||||
public:
|
||||
|
||||
/*!
|
||||
this method adds two value with a sign and returns carry
|
||||
this method adds two value with a sign and returns a carry
|
||||
|
||||
we're using methods from the base class because values are stored with U2
|
||||
we must only make the carry correction
|
||||
@@ -469,23 +469,84 @@ public:
|
||||
|
||||
|
||||
|
||||
private:
|
||||
|
||||
|
||||
/*!
|
||||
power this = this ^ pow
|
||||
this can be negative
|
||||
pow is >= 0
|
||||
*/
|
||||
uint Pow2(const Int<value_size> & pow)
|
||||
{
|
||||
bool was_sign = IsSign();
|
||||
uint c = 0;
|
||||
|
||||
if( was_sign )
|
||||
c += Abs();
|
||||
|
||||
uint c_temp = UInt<value_size>::Pow(pow);
|
||||
if( c_temp > 0 )
|
||||
return c_temp; // c_temp can be: 0, 1 or 2
|
||||
|
||||
if( was_sign && (pow.table[0] & 1) == 1 )
|
||||
// negative value to the power of odd number is negative
|
||||
c += ChangeSign();
|
||||
|
||||
return (c==0)? 0 : 1;
|
||||
}
|
||||
|
||||
|
||||
public:
|
||||
|
||||
|
||||
/*!
|
||||
power this = this ^ pow
|
||||
|
||||
return values:
|
||||
0 - ok
|
||||
1 - carry
|
||||
2 - incorrect arguments 0^0 or 0^(-something)
|
||||
*/
|
||||
uint Pow(Int<value_size> pow)
|
||||
{
|
||||
if( !pow.IsSign() )
|
||||
return Pow2(pow);
|
||||
|
||||
if( UInt<value_size>::IsZero() )
|
||||
// if 'p' is negative then
|
||||
// 'this' must be different from zero
|
||||
return 2;
|
||||
|
||||
if( pow.ChangeSign() )
|
||||
return 1;
|
||||
|
||||
Int<value_size> t(*this);
|
||||
uint c_temp = t.Pow2(pow);
|
||||
if( c_temp > 0 )
|
||||
return c_temp;
|
||||
|
||||
UInt<value_size>::SetOne();
|
||||
if( Div(t) )
|
||||
return 1;
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
*
|
||||
* convertion methods
|
||||
*
|
||||
*/
|
||||
private:
|
||||
|
||||
|
||||
/*!
|
||||
this method convert an UInt<another_size> type to this class
|
||||
|
||||
this operation has mainly sense if the value from p
|
||||
can be held in this type
|
||||
|
||||
it returns a carry if the value 'p' is too big
|
||||
an auxiliary method for converting both from UInt and Int
|
||||
*/
|
||||
template<uint argument_size>
|
||||
uint FromInt(const Int<argument_size> & p)
|
||||
uint FromUIntOrInt(const UInt<argument_size> & p, bool UInt_type)
|
||||
{
|
||||
uint min_size = (value_size < argument_size)? value_size : argument_size;
|
||||
uint i;
|
||||
@@ -496,15 +557,25 @@ public:
|
||||
|
||||
if( value_size > argument_size )
|
||||
{
|
||||
// 'this' is longer than 'p'
|
||||
uint fill = (p.table[argument_size-1] & TTMATH_UINT_HIGHEST_BIT)? TTMATH_UINT_MAX_VALUE : 0;
|
||||
uint fill;
|
||||
|
||||
if( UInt_type )
|
||||
fill = 0;
|
||||
else
|
||||
fill = (p.table[argument_size-1] & TTMATH_UINT_HIGHEST_BIT)?
|
||||
TTMATH_UINT_MAX_VALUE : 0;
|
||||
|
||||
// 'this' is longer than 'p'
|
||||
for( ; i<value_size ; ++i)
|
||||
UInt<value_size>::table[i] = fill;
|
||||
}
|
||||
else
|
||||
{
|
||||
uint test = (UInt<value_size>::table[value_size-1] & TTMATH_UINT_HIGHEST_BIT)? TTMATH_UINT_MAX_VALUE : 0;
|
||||
uint test = (UInt<value_size>::table[value_size-1] & TTMATH_UINT_HIGHEST_BIT)?
|
||||
TTMATH_UINT_MAX_VALUE : 0;
|
||||
|
||||
if( UInt_type && test!=0 )
|
||||
return 1;
|
||||
|
||||
for( ; i<argument_size ; ++i)
|
||||
if( p.table[i] != test )
|
||||
@@ -514,11 +585,27 @@ public:
|
||||
return 0;
|
||||
}
|
||||
|
||||
public:
|
||||
|
||||
/*!
|
||||
this method converts an Int<another_size> type into this class
|
||||
|
||||
this operation has mainly sense if the value from p
|
||||
can be held in this type
|
||||
|
||||
it returns a carry if the value 'p' is too big
|
||||
*/
|
||||
template<uint argument_size>
|
||||
uint FromInt(const Int<argument_size> & p)
|
||||
{
|
||||
return FromUIntOrInt(p, false);
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this method converts the sint type into this class
|
||||
*/
|
||||
void FromInt(sint value)
|
||||
uint FromInt(sint value)
|
||||
{
|
||||
uint fill = ( value<0 ) ? TTMATH_UINT_MAX_VALUE : 0;
|
||||
|
||||
@@ -526,16 +613,46 @@ public:
|
||||
UInt<value_size>::table[i] = fill;
|
||||
|
||||
UInt<value_size>::table[0] = uint(value);
|
||||
|
||||
// there'll never be a carry here
|
||||
return 0;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this operator converts an UInt<another_size> type to this class
|
||||
|
||||
it doesn't return a carry
|
||||
this method converts UInt<another_size> into this class
|
||||
*/
|
||||
template<uint argument_size>
|
||||
Int<value_size> & operator=(const Int<argument_size> & p)
|
||||
uint FromUInt(const UInt<argument_size> & p)
|
||||
{
|
||||
return FromUIntOrInt(p, true);
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this method converts the uint type into this class
|
||||
*/
|
||||
uint FromUInt(uint value)
|
||||
{
|
||||
for(uint i=1 ; i<value_size ; ++i)
|
||||
UInt<value_size>::table[i] = 0;
|
||||
|
||||
UInt<value_size>::table[0] = value;
|
||||
|
||||
// there can be a carry here when the size of this value is equal one word
|
||||
// and the 'value' has the highest bit set
|
||||
if( value_size==1 && (value & TTMATH_UINT_HIGHEST_BIT)!=0 )
|
||||
return 1;
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
// converting from Int
|
||||
|
||||
/*!
|
||||
the default assignment operator
|
||||
*/
|
||||
Int<value_size> & operator=(const Int<value_size> & p)
|
||||
{
|
||||
FromInt(p);
|
||||
|
||||
@@ -544,9 +661,12 @@ public:
|
||||
|
||||
|
||||
/*!
|
||||
the default assignment operator
|
||||
this operator converts an Int<another_size> type to this class
|
||||
|
||||
it doesn't return a carry
|
||||
*/
|
||||
Int<value_size> & operator=(const Int<value_size> & p)
|
||||
template<uint argument_size>
|
||||
Int<value_size> & operator=(const Int<argument_size> & p)
|
||||
{
|
||||
FromInt(p);
|
||||
|
||||
@@ -575,11 +695,47 @@ public:
|
||||
|
||||
|
||||
/*!
|
||||
this method converts the uint type to this class
|
||||
a copy constructor
|
||||
*/
|
||||
Int(const Int<value_size> & u)
|
||||
{
|
||||
FromInt(u);
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
a constructor for copying from another types
|
||||
*/
|
||||
template<uint argument_size>
|
||||
Int(const Int<argument_size> & u)
|
||||
{
|
||||
// look that 'size' we still set as 'value_size' and not as u.value_size
|
||||
FromInt(u);
|
||||
}
|
||||
|
||||
|
||||
// converting from UInt
|
||||
|
||||
/*!
|
||||
this operator converts an UInt<another_size> type to this class
|
||||
|
||||
it doesn't return a carry
|
||||
*/
|
||||
template<uint argument_size>
|
||||
Int<value_size> & operator=(const UInt<argument_size> & p)
|
||||
{
|
||||
FromUInt(p);
|
||||
|
||||
return *this;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this method converts the Uint type to this class
|
||||
*/
|
||||
Int<value_size> & operator=(uint i)
|
||||
{
|
||||
UInt<value_size>::FromUInt(i);
|
||||
FromUInt(i);
|
||||
|
||||
return *this;
|
||||
}
|
||||
@@ -590,10 +746,23 @@ public:
|
||||
*/
|
||||
Int(uint i)
|
||||
{
|
||||
UInt<value_size>::FromUInt(i);
|
||||
FromUInt(i);
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
a constructor for copying from another types
|
||||
*/
|
||||
template<uint argument_size>
|
||||
Int(const UInt<argument_size> & u)
|
||||
{
|
||||
// look that 'size' we still set as 'value_size' and not as u.value_size
|
||||
FromUInt(u);
|
||||
}
|
||||
|
||||
//
|
||||
|
||||
|
||||
#ifdef TTMATH_PLATFORM64
|
||||
|
||||
/*!
|
||||
@@ -630,7 +799,7 @@ public:
|
||||
*/
|
||||
Int<value_size> & operator=(unsigned int i)
|
||||
{
|
||||
UInt<value_size>::FromUInt(uint(i));
|
||||
FromUInt(uint(i));
|
||||
|
||||
return *this;
|
||||
}
|
||||
@@ -644,7 +813,7 @@ public:
|
||||
*/
|
||||
Int(unsigned int i)
|
||||
{
|
||||
UInt<value_size>::FromUInt(uint(i));
|
||||
FromUInt(uint(i));
|
||||
}
|
||||
|
||||
#endif
|
||||
@@ -678,18 +847,6 @@ public:
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
the copy constructor
|
||||
*/
|
||||
template<uint argument_size>
|
||||
Int(const Int<argument_size> & u) : UInt<value_size>::size(value_size)
|
||||
{
|
||||
// look that 'size' we still set as 'value_size' and not as u.value_size
|
||||
|
||||
operator=(u);
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
the destructor
|
||||
*/
|
||||
@@ -697,6 +854,7 @@ public:
|
||||
{
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this method returns the lowest value from table with a sign
|
||||
|
||||
@@ -742,8 +900,12 @@ public:
|
||||
|
||||
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)
|
||||
uint FromString(const char * s, uint b = 10, const char ** after_source = 0, bool * value_read = 0)
|
||||
{
|
||||
bool is_sign = false;
|
||||
|
||||
@@ -760,7 +922,7 @@ public:
|
||||
UInt<value_size>::SkipWhiteCharacters(++s);
|
||||
}
|
||||
|
||||
if( UInt<value_size>::FromString(s,b) )
|
||||
if( UInt<value_size>::FromString(s,b,after_source,value_read) )
|
||||
return 1;
|
||||
|
||||
if( is_sign )
|
||||
@@ -771,12 +933,15 @@ public:
|
||||
|
||||
/*
|
||||
the reference to mmin will be automatically converted to the reference
|
||||
to a UInt type
|
||||
to UInt type
|
||||
(this value can be equal mmin -- look at a description in ChangeSign())
|
||||
*/
|
||||
if( UInt<value_size>::operator>( mmin ) )
|
||||
return 1;
|
||||
|
||||
/*
|
||||
if the value is equal mmin the method ChangeSign() does nothing (only returns 1 but we ignore it)
|
||||
*/
|
||||
ChangeSign();
|
||||
}
|
||||
else
|
||||
|
@@ -5,7 +5,7 @@
|
||||
*/
|
||||
|
||||
/*
|
||||
* Copyright (c) 2006-2007, Tomasz Sowa
|
||||
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||
* All rights reserved.
|
||||
*
|
||||
* Redistribution and use in source and binary forms, with or without
|
||||
@@ -102,7 +102,7 @@ public:
|
||||
if( (c>='a' && c<='z') || (c>='A' && c<='Z') )
|
||||
return true;
|
||||
|
||||
if( can_be_digit && (c>='0' && c<='9') )
|
||||
if( can_be_digit && ((c>='0' && c<='9') || c=='_') )
|
||||
return true;
|
||||
|
||||
return false;
|
||||
@@ -130,6 +130,21 @@ public:
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this method returns true if such an object is defined (name exists)
|
||||
*/
|
||||
bool IsDefined(const std::string & name)
|
||||
{
|
||||
Iterator i = table.find(name);
|
||||
|
||||
if( i != table.end() )
|
||||
// we have this object in our table
|
||||
return true;
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
this method adds one object (variable of function) into the table
|
||||
*/
|
||||
@@ -258,7 +273,7 @@ public:
|
||||
|
||||
|
||||
/*!
|
||||
this method sets the value of a specific object
|
||||
this method gets the value of a specific object
|
||||
*/
|
||||
ErrorCode GetValue(const std::string & name, std::string & value) const
|
||||
{
|
||||
@@ -280,7 +295,7 @@ public:
|
||||
|
||||
|
||||
/*!
|
||||
this method sets 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)
|
||||
*/
|
||||
ErrorCode GetValue(const std::string & name, const char ** value) const
|
||||
@@ -303,7 +318,7 @@ public:
|
||||
|
||||
|
||||
/*!
|
||||
this method sets the value and the number of parameters
|
||||
this method gets the value and the number of parameters
|
||||
of a specific object
|
||||
*/
|
||||
ErrorCode GetValueAndParam(const std::string & name, std::string & value, int * param) const
|
||||
|
File diff suppressed because it is too large
Load Diff
@@ -1,11 +1,11 @@
|
||||
/*
|
||||
* 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.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* Copyright (c) 2006-2007, Tomasz Sowa
|
||||
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||
* All rights reserved.
|
||||
*
|
||||
* Redistribution and use in source and binary forms, with or without
|
||||
@@ -58,10 +58,14 @@
|
||||
|
||||
/*!
|
||||
the version of the library
|
||||
|
||||
TTMATH_PRERELEASE_VER is either zero or one
|
||||
if zero that means this is the release version of the library
|
||||
*/
|
||||
#define TTMATH_MAJOR_VER 0
|
||||
#define TTMATH_MINOR_VER 8
|
||||
#define TTMATH_REVISION_VER 0
|
||||
#define TTMATH_REVISION_VER 3
|
||||
#define TTMATH_PRERELEASE_VER 0
|
||||
|
||||
|
||||
/*!
|
||||
@@ -137,7 +141,7 @@ namespace ttmath
|
||||
which are kept in built-in variables for a Big<> type
|
||||
(these variables are defined in ttmathbig.h)
|
||||
*/
|
||||
#define TTMATH_BUILTIN_VARIABLES_SIZE 128u
|
||||
#define TTMATH_BUILTIN_VARIABLES_SIZE 256u
|
||||
|
||||
#else
|
||||
|
||||
@@ -168,7 +172,7 @@ namespace ttmath
|
||||
which are kept in built-in variables for a Big<> type
|
||||
(these variables are defined in ttmathbig.h)
|
||||
*/
|
||||
#define TTMATH_BUILTIN_VARIABLES_SIZE 64ul
|
||||
#define TTMATH_BUILTIN_VARIABLES_SIZE 128ul
|
||||
|
||||
#endif
|
||||
}
|
||||
@@ -178,7 +182,7 @@ namespace ttmath
|
||||
/*!
|
||||
characters which represent the comma operator
|
||||
|
||||
TTMATH_COMMA_CHARACTER_1 is used in reading (parsing) and in writing
|
||||
TTMATH_COMMA_CHARACTER_1 is used in reading (parsing) and in writing (default, can be overwritten in ToString() function)
|
||||
TTMATH_COMMA_CHARACTER_2 can be used in reading as an auxiliary comma character
|
||||
that means you can input values for example 1.2345 and 1,2345 as well
|
||||
|
||||
@@ -193,6 +197,7 @@ namespace ttmath
|
||||
#define TTMATH_COMMA_CHARACTER_2 ','
|
||||
|
||||
|
||||
|
||||
/*!
|
||||
this variable defines how many iterations are performed
|
||||
during some kind of calculating when we're making any long formulas
|
||||
@@ -243,7 +248,8 @@ namespace ttmath
|
||||
err_object_exists,
|
||||
err_unknown_object,
|
||||
err_still_calculating,
|
||||
err_too_big_factorial
|
||||
err_too_big_factorial,
|
||||
err_in_short_form_used_function
|
||||
};
|
||||
|
||||
|
||||
|
1400
ttmath/ttmathuint.h
1400
ttmath/ttmathuint.h
File diff suppressed because it is too large
Load Diff
@@ -1,11 +1,11 @@
|
||||
/*
|
||||
* 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.
|
||||
* Author: Tomasz Sowa <t.sowa@slimaczek.pl>
|
||||
*/
|
||||
|
||||
/*
|
||||
* Copyright (c) 2006-2007, Tomasz Sowa
|
||||
* Copyright (c) 2006-2009, Tomasz Sowa
|
||||
* All rights reserved.
|
||||
*
|
||||
* Redistribution and use in source and binary forms, with or without
|
||||
@@ -210,59 +210,41 @@ namespace ttmath
|
||||
register uint * p2 = const_cast<uint*>(ss2.table);
|
||||
|
||||
|
||||
// we don't have to use TTMATH_REFERENCE_ASSERT here
|
||||
// this algorithm doesn't require it
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
|
||||
|
||||
#ifdef __GNUC__
|
||||
/*
|
||||
this part should be compiled with gcc
|
||||
*/
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rbx \n"
|
||||
"push %%rcx \n"
|
||||
"push %%rdx \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"subq %%rsi, %%rax \n"
|
||||
"xorq %%rax, %%rax \n"
|
||||
"movq %%rax, %%rdx \n"
|
||||
"subq %%rdi, %%rax \n"
|
||||
|
||||
|
||||
"1: \n"
|
||||
"movq (%%rbx),%%rax \n"
|
||||
"adcq (%%rdx),%%rax \n"
|
||||
"movq %%rax,(%%rbx) \n"
|
||||
"movq (%%rsi,%%rdx,8),%%rax \n"
|
||||
"adcq %%rax, (%%rbx,%%rdx,8) \n"
|
||||
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rcx \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"setc %%al \n"
|
||||
"movzx %%al,%%rdx \n"
|
||||
|
||||
"loop 1b \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"adcq %%rax,%%rax \n"
|
||||
"movq %%rax, %%rsi \n"
|
||||
|
||||
"pop %%rdx \n"
|
||||
"pop %%rcx \n"
|
||||
"pop %%rbx \n"
|
||||
|
||||
: "=S" (c)
|
||||
: "0" (c), "c" (b), "b" (p1), "d" (p2)
|
||||
: "=d" (c)
|
||||
: "D" (c), "c" (b), "b" (p1), "S" (p2)
|
||||
: "%rax", "cc", "memory" );
|
||||
|
||||
#endif
|
||||
@@ -301,54 +283,39 @@ namespace ttmath
|
||||
register uint * p1 = table;
|
||||
register uint c;
|
||||
|
||||
TTMATH_ASSERT( index < value_size )
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
|
||||
#ifdef __GNUC__
|
||||
|
||||
__asm__ __volatile__(
|
||||
"push %%rbx \n"
|
||||
|
||||
"push %%rax \n"
|
||||
"push %%rcx \n"
|
||||
"push %%rdx \n"
|
||||
|
||||
"subq %%rdx, %%rcx \n"
|
||||
|
||||
"leaq (%%rbx,%%rdx,8), %%rbx \n"
|
||||
|
||||
"movq %%rsi, %%rdx \n"
|
||||
"clc \n"
|
||||
"1: \n"
|
||||
|
||||
"movq (%%rbx), %%rax \n"
|
||||
"adcq %%rdx, %%rax \n"
|
||||
"movq %%rax, (%%rbx) \n"
|
||||
|
||||
"addq %%rax, (%%rbx,%%rdx,8) \n"
|
||||
"jnc 2f \n"
|
||||
|
||||
"movq $0, %%rdx \n"
|
||||
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
|
||||
"loop 1b \n"
|
||||
"movq $1, %%rax \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rcx \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"2: \n"
|
||||
"setc %%al \n"
|
||||
"movzx %%al, %%rdx \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"adcq %%rax,%%rax \n"
|
||||
|
||||
"pop %%rdx \n"
|
||||
"pop %%rcx \n"
|
||||
"pop %%rbx \n"
|
||||
"pop %%rax \n"
|
||||
|
||||
: "=a" (c)
|
||||
: "c" (b), "d" (index), "b" (p1), "S" (value)
|
||||
: "=d" (c)
|
||||
: "a" (value), "c" (b), "0" (index), "b" (p1)
|
||||
: "cc", "memory" );
|
||||
|
||||
#endif
|
||||
@@ -398,6 +365,8 @@ namespace ttmath
|
||||
register uint * p1 = table;
|
||||
register uint c;
|
||||
|
||||
TTMATH_ASSERT( index < value_size - 1 )
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
@@ -405,67 +374,33 @@ namespace ttmath
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rbx \n"
|
||||
"push %%rcx \n"
|
||||
"push %%rdx \n"
|
||||
|
||||
"subq %%rdx, %%rcx \n"
|
||||
|
||||
"leaq (%%rbx,%%rdx,8), %%rbx \n"
|
||||
|
||||
"movq $0, %%rdx \n"
|
||||
|
||||
"movq (%%rbx), %%rax \n"
|
||||
"addq %%rsi, %%rax \n"
|
||||
"movq %%rax, (%%rbx) \n"
|
||||
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
|
||||
"movq (%%rbx), %%rax \n"
|
||||
"adcq %%rdi, %%rax \n"
|
||||
"movq %%rax, (%%rbx) \n"
|
||||
"jnc 2f \n"
|
||||
|
||||
"dec %%rcx \n"
|
||||
"dec %%rcx \n"
|
||||
"jz 2f \n"
|
||||
"addq %%rsi, (%%rbx,%%rdx,8) \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rcx \n"
|
||||
|
||||
"1: \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
|
||||
"movq (%%rbx), %%rax \n"
|
||||
"adcq %%rdx, %%rax \n"
|
||||
"movq %%rax, (%%rbx) \n"
|
||||
|
||||
"adcq %%rax, (%%rbx,%%rdx,8) \n"
|
||||
"jnc 2f \n"
|
||||
|
||||
"loop 1b \n"
|
||||
"mov $0, %%rax \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rcx \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"2: \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"adcq %%rax,%%rax \n"
|
||||
"setc %%al \n"
|
||||
"movzx %%al, %%rax \n"
|
||||
|
||||
"pop %%rdx \n"
|
||||
"pop %%rcx \n"
|
||||
"pop %%rbx \n"
|
||||
|
||||
: "=a" (c)
|
||||
: "c" (b), "d" (index), "b" (p1), "S" (x1), "D" (x2)
|
||||
: "c" (b), "d" (index), "b" (p1), "S" (x1), "0" (x2)
|
||||
: "cc", "memory" );
|
||||
|
||||
#endif
|
||||
@@ -495,6 +430,9 @@ namespace ttmath
|
||||
register uint * p1 = table;
|
||||
register uint * p2 = const_cast<uint*>(ss2.table);
|
||||
|
||||
// we don't have to use TTMATH_REFERENCE_ASSERT here
|
||||
// this algorithm doesn't require it
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
@@ -502,50 +440,31 @@ namespace ttmath
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rbx \n"
|
||||
"push %%rcx \n"
|
||||
"push %%rdx \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"subq %%rsi, %%rax \n"
|
||||
"xorq %%rax, %%rax \n"
|
||||
"movq %%rax, %%rdx \n"
|
||||
"subq %%rdi, %%rax \n"
|
||||
|
||||
|
||||
"1: \n"
|
||||
"movq (%%rbx),%%rax \n"
|
||||
"sbbq (%%rdx),%%rax \n"
|
||||
"movq %%rax,(%%rbx) \n"
|
||||
"movq (%%rsi,%%rdx,8),%%rax \n"
|
||||
"sbbq %%rax, (%%rbx,%%rdx,8) \n"
|
||||
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rcx \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"inc %%rdx \n"
|
||||
"setc %%al \n"
|
||||
"movzx %%al,%%rdx \n"
|
||||
|
||||
"loop 1b \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"adcq %%rax,%%rax \n"
|
||||
"movq %%rax, %%rsi \n"
|
||||
|
||||
"pop %%rdx \n"
|
||||
"pop %%rcx \n"
|
||||
"pop %%rbx \n"
|
||||
|
||||
: "=S" (c)
|
||||
: "0" (c), "c" (b), "b" (p1), "d" (p2)
|
||||
: "=d" (c)
|
||||
: "D" (c), "c" (b), "b" (p1), "S" (p2)
|
||||
: "%rax", "cc", "memory" );
|
||||
|
||||
|
||||
#endif
|
||||
|
||||
|
||||
@@ -579,6 +498,8 @@ namespace ttmath
|
||||
register uint * p1 = table;
|
||||
register uint c;
|
||||
|
||||
TTMATH_ASSERT( index < value_size )
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
@@ -586,48 +507,29 @@ namespace ttmath
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rbx \n"
|
||||
"push %%rax \n"
|
||||
"push %%rcx \n"
|
||||
"push %%rdx \n"
|
||||
|
||||
"subq %%rdx, %%rcx \n"
|
||||
|
||||
"leaq (%%rbx,%%rdx,8), %%rbx \n"
|
||||
|
||||
"movq %%rsi, %%rdx \n"
|
||||
"clc \n"
|
||||
"1: \n"
|
||||
|
||||
"movq (%%rbx), %%rax \n"
|
||||
"sbbq %%rdx, %%rax \n"
|
||||
"movq %%rax, (%%rbx) \n"
|
||||
|
||||
"subq %%rax, (%%rbx,%%rdx,8) \n"
|
||||
"jnc 2f \n"
|
||||
|
||||
"movq $0, %%rdx \n"
|
||||
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
|
||||
"loop 1b \n"
|
||||
"movq $1, %%rax \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rcx \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"2: \n"
|
||||
"setc %%al \n"
|
||||
"movzx %%al, %%rdx \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"adcq %%rax,%%rax \n"
|
||||
|
||||
"pop %%rdx \n"
|
||||
"pop %%rcx \n"
|
||||
"pop %%rbx \n"
|
||||
"pop %%rax \n"
|
||||
|
||||
: "=a" (c)
|
||||
: "c" (b), "d" (index), "b" (p1), "S" (value)
|
||||
: "=d" (c)
|
||||
: "a" (value), "c" (b), "0" (index), "b" (p1)
|
||||
: "cc", "memory" );
|
||||
|
||||
#endif
|
||||
@@ -638,20 +540,26 @@ namespace ttmath
|
||||
|
||||
|
||||
/*!
|
||||
this method moving once all bits into the left side
|
||||
return value <- this <- 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
|
||||
|
||||
***this method is created only on a 64bit platform***
|
||||
|
||||
the lowest bit will hold value of 'c' and
|
||||
function returns the highest bit
|
||||
*/
|
||||
template<uint value_size>
|
||||
uint UInt<value_size>::Rcl(uint c)
|
||||
uint UInt<value_size>::Rcl2_one(uint c)
|
||||
{
|
||||
register sint b = value_size;
|
||||
register uint * p1 = table;
|
||||
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
@@ -659,35 +567,28 @@ namespace ttmath
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rbx \n"
|
||||
"push %%rdx \n"
|
||||
"push %%rcx \n"
|
||||
|
||||
"movq $0,%%rax \n"
|
||||
"subq %%rdx,%%rax \n"
|
||||
"xorq %%rdx, %%rdx \n" // rdx=0
|
||||
"neg %%rax \n" // CF=1 if rax!=0 , CF=0 if rax==0
|
||||
|
||||
"1: \n"
|
||||
"rclq $1,(%%rbx) \n"
|
||||
"rclq $1, (%%rbx, %%rdx, 8) \n"
|
||||
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"inc %%rbx \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rcx \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"loop 1b \n"
|
||||
|
||||
"movq $0, %%rdx \n"
|
||||
"adcq %%rdx,%%rdx \n"
|
||||
"setc %%al \n"
|
||||
"movzx %%al, %%rax \n"
|
||||
|
||||
"pop %%rcx \n"
|
||||
"pop %%rbx \n"
|
||||
"pop %%rdx \n"
|
||||
|
||||
: "=d" (c)
|
||||
: "=a" (c)
|
||||
: "0" (c), "c" (b), "b" (p1)
|
||||
: "%rax", "cc", "memory" );
|
||||
: "cc", "memory" );
|
||||
|
||||
#endif
|
||||
|
||||
@@ -697,16 +598,21 @@ namespace ttmath
|
||||
|
||||
|
||||
/*!
|
||||
this method moving once all bits into the right side
|
||||
C -> *this -> return value
|
||||
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
|
||||
|
||||
***this method is created only on a 64bit platform***
|
||||
|
||||
the highest bit will be held value of 'c' and
|
||||
function returns the lowest bit
|
||||
*/
|
||||
template<uint value_size>
|
||||
uint UInt<value_size>::Rcr(uint c)
|
||||
uint UInt<value_size>::Rcr2_one(uint c)
|
||||
{
|
||||
register sint b = value_size;
|
||||
register uint * p1 = table;
|
||||
@@ -716,41 +622,188 @@ namespace ttmath
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rcx \n"
|
||||
|
||||
"neg %%rax \n" // CF=1 if rax!=0 , CF=0 if rax==0
|
||||
|
||||
"1: \n"
|
||||
"rcrq $1, -8(%%rbx, %%rcx, 8) \n"
|
||||
|
||||
"decq %%rcx \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"setc %%al \n"
|
||||
"movzx %%al, %%rax \n"
|
||||
|
||||
"pop %%rcx \n"
|
||||
|
||||
: "=a" (c)
|
||||
: "0" (c), "c" (b), "b" (p1)
|
||||
: "cc", "memory" );
|
||||
|
||||
#endif
|
||||
|
||||
|
||||
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
|
||||
|
||||
***this method is created only on a 64bit platform***
|
||||
*/
|
||||
template<uint value_size>
|
||||
uint UInt<value_size>::Rcl2(uint bits, uint c)
|
||||
{
|
||||
TTMATH_ASSERT( bits>0 && bits<TTMATH_BITS_PER_UINT )
|
||||
|
||||
register sint b = value_size;
|
||||
register uint * p1 = table;
|
||||
register uint mask;
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rbx \n"
|
||||
"push %%rcx \n"
|
||||
"push %%rdx \n"
|
||||
"push %%rsi \n"
|
||||
"push %%rdi \n"
|
||||
|
||||
"leaq (%%rbx,%%rcx,8),%%rbx \n"
|
||||
"movq %%rcx, %%rsi \n"
|
||||
"movq $64, %%rcx \n"
|
||||
"subq %%rsi, %%rcx \n"
|
||||
"movq $-1, %%rdx \n"
|
||||
"shrq %%cl, %%rdx \n"
|
||||
"movq %%rdx, %[amask] \n"
|
||||
"movq %%rsi, %%rcx \n"
|
||||
|
||||
"movq $0, %%rax \n"
|
||||
"subq %%rdx, %%rax \n"
|
||||
"xorq %%rdx, %%rdx \n"
|
||||
"movq %%rdx, %%rsi \n"
|
||||
|
||||
"orq %%rax, %%rax \n"
|
||||
"cmovnz %[amask], %%rsi \n"
|
||||
|
||||
"1: \n"
|
||||
"dec %%rbx \n"
|
||||
"dec %%rbx \n"
|
||||
"dec %%rbx \n"
|
||||
"dec %%rbx \n"
|
||||
"dec %%rbx \n"
|
||||
"dec %%rbx \n"
|
||||
"dec %%rbx \n"
|
||||
"dec %%rbx \n"
|
||||
"rolq %%cl, (%%rbx,%%rdx,8) \n"
|
||||
|
||||
"rcrq $1,(%%rbx) \n"
|
||||
"movq (%%rbx,%%rdx,8), %%rax \n"
|
||||
"andq %[amask], %%rax \n"
|
||||
"xorq %%rax, (%%rbx,%%rdx,8) \n"
|
||||
"orq %%rsi, (%%rbx,%%rdx,8) \n"
|
||||
"movq %%rax, %%rsi \n"
|
||||
|
||||
"loop 1b \n"
|
||||
"incq %%rdx \n"
|
||||
"decq %%rdi \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"movq $0, %%rdx \n"
|
||||
"adcq %%rdx,%%rdx \n"
|
||||
"and $1, %%rax \n"
|
||||
|
||||
"pop %%rcx \n"
|
||||
"pop %%rbx \n"
|
||||
"pop %%rdi \n"
|
||||
"pop %%rsi \n"
|
||||
"pop %%rdx \n"
|
||||
|
||||
: "=d" (c)
|
||||
: "0" (c), "c" (b), "b" (p1)
|
||||
: "%rax", "cc", "memory" );
|
||||
: "=a" (c)
|
||||
: "0" (c), "D" (b), "b" (p1), "c" (bits), [amask] "m" (mask)
|
||||
: "cc", "memory" );
|
||||
|
||||
#endif
|
||||
|
||||
|
||||
return c;
|
||||
}
|
||||
|
||||
|
||||
/*!
|
||||
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
|
||||
|
||||
***this method is created only on a 64bit platform***
|
||||
*/
|
||||
template<uint value_size>
|
||||
uint UInt<value_size>::Rcr2(uint bits, uint c)
|
||||
{
|
||||
TTMATH_ASSERT( bits>0 && bits<TTMATH_BITS_PER_UINT )
|
||||
|
||||
register sint b = value_size;
|
||||
register uint * p1 = table;
|
||||
register uint mask;
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
|
||||
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
"push %%rdx \n"
|
||||
"push %%rsi \n"
|
||||
"push %%rdi \n"
|
||||
|
||||
"movq %%rcx, %%rsi \n"
|
||||
"movq $64, %%rcx \n"
|
||||
"subq %%rsi, %%rcx \n"
|
||||
"movq $-1, %%rdx \n"
|
||||
"shlq %%cl, %%rdx \n"
|
||||
"movq %%rdx, %[amask] \n"
|
||||
"movq %%rsi, %%rcx \n"
|
||||
|
||||
"xorq %%rdx, %%rdx \n"
|
||||
"movq %%rdx, %%rsi \n"
|
||||
"addq %%rdi, %%rdx \n"
|
||||
"decq %%rdx \n"
|
||||
|
||||
"orq %%rax, %%rax \n"
|
||||
"cmovnz %[amask], %%rsi \n"
|
||||
|
||||
"1: \n"
|
||||
"rorq %%cl, (%%rbx,%%rdx,8) \n"
|
||||
|
||||
"movq (%%rbx,%%rdx,8), %%rax \n"
|
||||
"andq %[amask], %%rax \n"
|
||||
"xorq %%rax, (%%rbx,%%rdx,8) \n"
|
||||
"orq %%rsi, (%%rbx,%%rdx,8) \n"
|
||||
"movq %%rax, %%rsi \n"
|
||||
|
||||
"decq %%rdx \n"
|
||||
"decq %%rdi \n"
|
||||
"jnz 1b \n"
|
||||
|
||||
"rolq $1, %%rax \n"
|
||||
"andq $1, %%rax \n"
|
||||
|
||||
"pop %%rdi \n"
|
||||
"pop %%rsi \n"
|
||||
"pop %%rdx \n"
|
||||
|
||||
: "=a" (c)
|
||||
: "0" (c), "D" (b), "b" (p1), "c" (bits), [amask] "m" (mask)
|
||||
: "cc", "memory" );
|
||||
|
||||
#endif
|
||||
|
||||
@@ -777,14 +830,13 @@ namespace ttmath
|
||||
#ifdef __GNUC__
|
||||
__asm__ __volatile__(
|
||||
|
||||
|
||||
"bsrq %%rbx, %%rax \n"
|
||||
"bsrq %1, %0 \n"
|
||||
"jnz 1f \n"
|
||||
"movq $-1, %%rax \n"
|
||||
"movq $-1, %0 \n"
|
||||
"1: \n"
|
||||
|
||||
: "=a" (result)
|
||||
: "b" (x)
|
||||
: "=R" (result)
|
||||
: "R" (x)
|
||||
: "cc" );
|
||||
|
||||
#endif
|
||||
@@ -796,20 +848,26 @@ namespace ttmath
|
||||
|
||||
/*!
|
||||
this method sets a special bit in the 'value'
|
||||
and returns the result
|
||||
and returns the last state of the bit (zero or one)
|
||||
|
||||
***this method is created only on a 64bit platform***
|
||||
|
||||
bit is from <0,31>
|
||||
bit is from <0,63>
|
||||
|
||||
e.g.
|
||||
SetBitInWord(0,0) = 1
|
||||
SetBitInWord(0,2) = 4
|
||||
SetBitInWord(10, 8) = 266
|
||||
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)
|
||||
uint UInt<value_size>::SetBitInWord(uint & value, uint bit)
|
||||
{
|
||||
TTMATH_ASSERT( bit < TTMATH_BITS_PER_UINT )
|
||||
|
||||
uint old_bit;
|
||||
uint v = value;
|
||||
|
||||
|
||||
#ifndef __GNUC__
|
||||
#error "another compiler than GCC is currently not supported in 64bit mode"
|
||||
#endif
|
||||
@@ -819,13 +877,18 @@ namespace ttmath
|
||||
|
||||
"btsq %%rbx, %%rax \n"
|
||||
|
||||
: "=a" (value)
|
||||
: "0" (value), "b" (bit)
|
||||
"setc %%bl \n"
|
||||
"movzx %%bl, %%rbx \n"
|
||||
|
||||
: "=a" (v), "=b" (old_bit)
|
||||
: "0" (v), "1" (bit)
|
||||
: "cc" );
|
||||
|
||||
#endif
|
||||
|
||||
return value;
|
||||
value = v;
|
||||
|
||||
return old_bit;
|
||||
}
|
||||
|
||||
|
||||
@@ -940,4 +1003,3 @@ namespace ttmath
|
||||
#endif
|
||||
|
||||
} //namespace
|
||||
|
||||
|
Reference in New Issue
Block a user