diff options
Diffstat (limited to 'vendor/gmp-6.3.0/tests/cxx/t-unary.cc')
-rw-r--r-- | vendor/gmp-6.3.0/tests/cxx/t-unary.cc | 132 |
1 files changed, 132 insertions, 0 deletions
diff --git a/vendor/gmp-6.3.0/tests/cxx/t-unary.cc b/vendor/gmp-6.3.0/tests/cxx/t-unary.cc new file mode 100644 index 0000000..c7d8bf6 --- /dev/null +++ b/vendor/gmp-6.3.0/tests/cxx/t-unary.cc @@ -0,0 +1,132 @@ +/* Test mp*_class unary expressions. + +Copyright 2001-2003 Free Software Foundation, Inc. + +This file is part of the GNU MP Library test suite. + +The GNU MP Library test suite is free software; you can redistribute it +and/or modify it under the terms of the GNU General Public License as +published by the Free Software Foundation; either version 3 of the License, +or (at your option) any later version. + +The GNU MP Library test suite is distributed in the hope that it will be +useful, but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +Public License for more details. + +You should have received a copy of the GNU General Public License along with +the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */ + +#include "config.h" + +#include <iostream> + +#include "gmpxx.h" +#include "gmp-impl.h" +#include "tests.h" + +using namespace std; + + +void +check_mpz (void) +{ + // template <class T, class Op> + // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, T>, Op> > + { + mpz_class a(1); + mpz_class b(+a); ASSERT_ALWAYS(b == 1); + } + { + mpz_class a(2); + mpz_class b; + b = -a; ASSERT_ALWAYS(b == -2); + } + { + mpz_class a(3); + mpz_class b; + b = ~a; ASSERT_ALWAYS(b == -4); + } + + // template <class T, class U, class Op> + // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, U>, Op> > + { + mpz_class a(1); + mpz_class b(-(-a)); ASSERT_ALWAYS(b == 1); + } + { + mpz_class a(2); + mpz_class b; + b = -(-(-a)); ASSERT_ALWAYS(b == -2); + } +} + +void +check_mpq (void) +{ + // template <class T, class Op> + // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, T>, Op> > + { + mpq_class a(1); + mpq_class b(+a); ASSERT_ALWAYS(b == 1); + } + { + mpq_class a(2); + mpq_class b; + b = -a; ASSERT_ALWAYS(b == -2); + } + + // template <class T, class U, class Op> + // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, U>, Op> > + { + mpq_class a(1); + mpq_class b(-(-a)); ASSERT_ALWAYS(b == 1); + } + { + mpq_class a(2); + mpq_class b; + b = -(-(-a)); ASSERT_ALWAYS(b == -2); + } +} + +void +check_mpf (void) +{ + // template <class T, class Op> + // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, T>, Op> > + { + mpf_class a(1); + mpf_class b(+a); ASSERT_ALWAYS(b == 1); + } + { + mpf_class a(2); + mpf_class b; + b = -a; ASSERT_ALWAYS(b == -2); + } + + // template <class T, class U, class Op> + // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, U>, Op> > + { + mpf_class a(1); + mpf_class b(-(-a)); ASSERT_ALWAYS(b == 1); + } + { + mpf_class a(2); + mpf_class b; + b = -(-(-a)); ASSERT_ALWAYS(b == -2); + } +} + + +int +main (void) +{ + tests_start(); + + check_mpz(); + check_mpq(); + check_mpf(); + + tests_end(); + return 0; +} |