1 /* Test mp*_class operators and functions.
2
3 Copyright 2011, 2012 Free Software Foundation, Inc.
4
5 This file is part of the GNU MP Library test suite.
6
7 The GNU MP Library test suite is free software; you can redistribute it
8 and/or modify it under the terms of the GNU General Public License as
9 published by the Free Software Foundation; either version 3 of the License,
10 or (at your option) any later version.
11
12 The GNU MP Library test suite is distributed in the hope that it will be
13 useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
15 Public License for more details.
16
17 You should have received a copy of the GNU General Public License along with
18 the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */
19
20 #include "t-ops2.h"
21
checkz()22 void checkz (){
23 CHECK_ALL(mpz_class,5,2,+);
24 CHECK_ALL(mpz_class,5,2,-);
25 CHECK_ALL(mpz_class,5,2,*);
26 CHECK_ALL(mpz_class,5,2,/);
27 CHECK_ALL(mpz_class,5,2,%);
28 CHECK_ALL_COMPARISONS(mpz_class,5,2);
29 CHECK_ALL_SIGNS(mpz_class,11,3,+);
30 CHECK_ALL_SIGNS(mpz_class,11,3,-);
31 CHECK_ALL_SIGNS(mpz_class,11,3,*);
32 CHECK_ALL_SIGNS(mpz_class,11,3,/);
33 CHECK_ALL_SIGNS(mpz_class,11,3,%);
34 CHECK_ALL_SIGNS(mpz_class,17,2,*);
35 CHECK_ALL_SIGNS(mpz_class,17,2,/);
36 CHECK_ALL_SIGNS(mpz_class,17,2,%);
37 CHECK(unsigned long,mpz_class,5,-2,/);
38 CHECK(unsigned long,mpz_class,5,-2,%);
39 ASSERT_ALWAYS(7ul/mpz_class(1e35)==0);
40 ASSERT_ALWAYS(7ul%mpz_class(1e35)==7);
41 ASSERT_ALWAYS(7ul/mpz_class(-1e35)==0);
42 ASSERT_ALWAYS(7ul%mpz_class(-1e35)==7);
43 CHECK_ALL_SIGNS_COMPARISONS(mpz_class,11,3);
44 CHECK_ALL(mpz_class,6,3,&);
45 CHECK_ALL(mpz_class,6,3,|);
46 CHECK_ALL(mpz_class,6,3,^);
47 CHECK(mpz_class,unsigned long,6,2,<<);
48 CHECK(mpz_class,unsigned long,6,2,>>);
49 ASSERT_ALWAYS((mpz_class(-13)<<(unsigned long)2) == (-13)*4);
50 CHECK(mpz_class,unsigned long,-13,2,>>);
51 ASSERT_ALWAYS(++mpz_class(7)==8);
52 ASSERT_ALWAYS(++mpz_class(-8)==-7);
53 ASSERT_ALWAYS(--mpz_class(8)==7);
54 ASSERT_ALWAYS(--mpz_class(-7)==-8);
55 ASSERT_ALWAYS(~mpz_class(7)==-8);
56 ASSERT_ALWAYS(~mpz_class(-8)==7);
57 ASSERT_ALWAYS(+mpz_class(7)==7);
58 ASSERT_ALWAYS(+mpz_class(-8)==-8);
59 ASSERT_ALWAYS(-mpz_class(7)==-7);
60 ASSERT_ALWAYS(-mpz_class(-8)==8);
61 ASSERT_ALWAYS(abs(mpz_class(7))==7);
62 ASSERT_ALWAYS(abs(mpz_class(-8))==8);
63 ASSERT_ALWAYS(sqrt(mpz_class(7))==2);
64 ASSERT_ALWAYS(sqrt(mpz_class(0))==0);
65 ASSERT_ALWAYS(sgn(mpz_class(0))==0);
66 ASSERT_ALWAYS(sgn(mpz_class(9))==1);
67 ASSERT_ALWAYS(sgn(mpz_class(-17))==-1);
68 ASSERT_ALWAYS(mpz_class(1)+DBL_MAX>2);
69 ASSERT_ALWAYS(mpz_class(1)+DBL_MIN<2);
70 ASSERT_ALWAYS(mpz_class(1)+std::numeric_limits<double>::denorm_min()<2);
71 ASSERT_ALWAYS(gcd(mpz_class(6),mpz_class(8))==2);
72 ASSERT_ALWAYS(gcd(-mpz_class(6),mpz_class(8))==2);
73 ASSERT_ALWAYS(gcd(-mpz_class(6),-mpz_class(8))==2);
74 ASSERT_ALWAYS(gcd(mpz_class(6),8.f)==2);
75 ASSERT_ALWAYS(gcd(-mpz_class(6),static_cast<unsigned char>(8))==2);
76 ASSERT_ALWAYS(gcd(static_cast<long>(-6),mpz_class(5)+3)==2);
77 ASSERT_ALWAYS(lcm(mpz_class(6),mpz_class(8))==24);
78 ASSERT_ALWAYS(lcm(-mpz_class(6),mpz_class(8))==24);
79 ASSERT_ALWAYS(lcm(-mpz_class(6),-mpz_class(8))==24);
80 ASSERT_ALWAYS(lcm(mpz_class(6),static_cast<short>(8))==24);
81 ASSERT_ALWAYS(lcm(-mpz_class(6),static_cast<unsigned char>(8))==24);
82 ASSERT_ALWAYS(lcm(-6.,mpz_class(5)+3)==24);
83 ASSERT_ALWAYS(factorial(mpz_class(3))==6);
84 ASSERT_ALWAYS(factorial(mpz_class(5)-1)==24);
85 ASSERT_ALWAYS(mpz_class::factorial(mpz_class(3))==6);
86 ASSERT_ALWAYS(mpz_class::factorial(mpz_class(2)*2)==24);
87 ASSERT_ALWAYS(mpz_class::factorial(3)==6);
88 ASSERT_ALWAYS(mpz_class::factorial(3ul)==6);
89 ASSERT_ALWAYS(mpz_class::factorial(3.f)==6);
90 mpz_class ret;
91 try { ret=factorial(-mpz_class(3)); ASSERT_ALWAYS(0); }
92 catch (std::domain_error&) {}
93 try { ret=mpz_class::factorial(-2); ASSERT_ALWAYS(0); }
94 catch (std::domain_error&) {}
95 try { ret=factorial(mpz_class(1)<<300); ASSERT_ALWAYS(0); }
96 catch (std::bad_alloc&) {}
97 ASSERT_ALWAYS(mpz_class::primorial(mpz_class(3))==6);
98 ASSERT_ALWAYS(mpz_class::primorial(mpz_class(2)*2)==6);
99 ASSERT_ALWAYS(mpz_class::primorial(3)==6);
100 ASSERT_ALWAYS(mpz_class::primorial(3ul)==6);
101 ASSERT_ALWAYS(mpz_class::primorial(3.f)==6);
102 try { ret=primorial(-mpz_class(3)); ASSERT_ALWAYS(0); }
103 catch (std::domain_error&) {}
104 try { ret=mpz_class::primorial(-5); ASSERT_ALWAYS(0); }
105 catch (std::domain_error&) {}
106 try { ret=primorial(mpz_class(1)<<300); ASSERT_ALWAYS(0); }
107 catch (std::bad_alloc&) {}
108 ASSERT_ALWAYS(mpz_class::fibonacci(mpz_class(6))==8);
109 ASSERT_ALWAYS(mpz_class::fibonacci(mpz_class(2)*2)==3);
110 ASSERT_ALWAYS(mpz_class::fibonacci(3)==2);
111 ASSERT_ALWAYS(mpz_class::fibonacci(3ul)==2);
112 ASSERT_ALWAYS(mpz_class::fibonacci(3.f)==2);
113 ASSERT_ALWAYS(fibonacci(-mpz_class(6))==-8);
114 ASSERT_ALWAYS(mpz_class::fibonacci(-3)==2);
115 try { ret=fibonacci(mpz_class(1)<<300); ASSERT_ALWAYS(0); }
116 catch (std::bad_alloc&) {}
117 }
118
119 int
main(void)120 main (void)
121 {
122 tests_start();
123 checkz();
124 tests_end();
125 return 0;
126 }
127