Gitiles
Code Review Sign In
realtimeroboticsgroup.org / RealtimeRoboticsGroup / test / d19c8de87e3f54d40f1706677d67c8f804d1c5ac / . / third_party / gmp / tests / cxx / t-ops2z.cc
blob: 6d0e4ad0fd477886e5355d2efb3f4335a18d893f [file] [log] [blame]
Austin Schuhbb1338c2024-06-15 19:31:16 -0700[diff] [blame]1/* Test mp*_class operators and functions.
2
3Copyright 2011, 2012 Free Software Foundation, Inc.
4
5This file is part of the GNU MP Library test suite.
6
7The GNU MP Library test suite is free software; you can redistribute it
8and/or modify it under the terms of the GNU General Public License as
9published by the Free Software Foundation; either version 3 of the License,
10or (at your option) any later version.
11
12The GNU MP Library test suite is distributed in the hope that it will be
13useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
15Public License for more details.
16
17You should have received a copy of the GNU General Public License along with
18the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */
19
20#include "t-ops2.h"
21
22void 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
119int
120main (void)
121{
122 tests_start();
123 checkz();
124 tests_end();
125 return 0;
126}