Line data Source code
1 : // Copyright (c) 2012-2020 The Bitcoin Core developers
2 : // Distributed under the MIT software license, see the accompanying
3 : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 :
5 : #include <script/script.h>
6 : #include <test/scriptnum10.h>
7 : #include <test/util/setup_common.h>
8 :
9 : #include <boost/test/unit_test.hpp>
10 : #include <stdint.h>
11 :
12 146 : BOOST_FIXTURE_TEST_SUITE(scriptnum_tests, BasicTestingSetup)
13 :
14 : /** A selection of numbers that do not trigger int64_t overflow
15 : * when added/subtracted. */
16 : static const int64_t values[] = { 0, 1, -2, 127, 128, -255, 256, (1LL << 15) - 1, -(1LL << 16), (1LL << 24) - 1, (1LL << 31), 1 - (1LL << 32), 1LL << 40 };
17 :
18 : static const int64_t offsets[] = { 1, 0x79, 0x80, 0x81, 0xFF, 0x7FFF, 0x8000, 0xFFFF, 0x10000};
19 :
20 13545 : static bool verify(const CScriptNum10& bignum, const CScriptNum& scriptnum)
21 : {
22 13545 : return bignum.getvch() == scriptnum.getvch() && bignum.getint() == scriptnum.getint();
23 0 : }
24 :
25 351 : static void CheckCreateVch(const int64_t& num)
26 : {
27 351 : CScriptNum10 bignum(num);
28 351 : CScriptNum scriptnum(num);
29 423 : BOOST_CHECK(verify(bignum, scriptnum));
30 :
31 351 : CScriptNum10 bignum2(bignum.getvch(), false);
32 279 : CScriptNum scriptnum2(scriptnum.getvch(), false);
33 279 : BOOST_CHECK(verify(bignum2, scriptnum2));
34 :
35 279 : CScriptNum10 bignum3(scriptnum2.getvch(), false);
36 279 : CScriptNum scriptnum3(bignum2.getvch(), false);
37 279 : BOOST_CHECK(verify(bignum3, scriptnum3));
38 351 : }
39 :
40 351 : static void CheckCreateInt(const int64_t& num)
41 : {
42 351 : CScriptNum10 bignum(num);
43 351 : CScriptNum scriptnum(num);
44 351 : BOOST_CHECK(verify(bignum, scriptnum));
45 351 : BOOST_CHECK(verify(CScriptNum10(bignum.getint()), CScriptNum(scriptnum.getint())));
46 351 : BOOST_CHECK(verify(CScriptNum10(scriptnum.getint()), CScriptNum(bignum.getint())));
47 351 : BOOST_CHECK(verify(CScriptNum10(CScriptNum10(scriptnum.getint()).getint()), CScriptNum(CScriptNum(bignum.getint()).getint())));
48 351 : }
49 :
50 :
51 1404 : static void CheckAdd(const int64_t& num1, const int64_t& num2)
52 : {
53 1404 : const CScriptNum10 bignum1(num1);
54 1404 : const CScriptNum10 bignum2(num2);
55 1404 : const CScriptNum scriptnum1(num1);
56 1404 : const CScriptNum scriptnum2(num2);
57 1404 : CScriptNum10 bignum3(num1);
58 1404 : CScriptNum10 bignum4(num1);
59 1404 : CScriptNum scriptnum3(num1);
60 1404 : CScriptNum scriptnum4(num1);
61 :
62 : // int64_t overflow is undefined.
63 2808 : bool invalid = (((num2 > 0) && (num1 > (std::numeric_limits<int64_t>::max() - num2))) ||
64 1404 : ((num2 < 0) && (num1 < (std::numeric_limits<int64_t>::min() - num2))));
65 1404 : if (!invalid)
66 : {
67 1404 : BOOST_CHECK(verify(bignum1 + bignum2, scriptnum1 + scriptnum2));
68 1404 : BOOST_CHECK(verify(bignum1 + bignum2, scriptnum1 + num2));
69 1404 : BOOST_CHECK(verify(bignum1 + bignum2, scriptnum2 + num1));
70 1404 : }
71 1404 : }
72 :
73 1404 : static void CheckNegate(const int64_t& num)
74 : {
75 1404 : const CScriptNum10 bignum(num);
76 1404 : const CScriptNum scriptnum(num);
77 :
78 : // -INT64_MIN is undefined
79 1404 : if (num != std::numeric_limits<int64_t>::min())
80 1404 : BOOST_CHECK(verify(-bignum, -scriptnum));
81 1404 : }
82 :
83 1404 : static void CheckSubtract(const int64_t& num1, const int64_t& num2)
84 : {
85 1404 : const CScriptNum10 bignum1(num1);
86 1404 : const CScriptNum10 bignum2(num2);
87 1404 : const CScriptNum scriptnum1(num1);
88 1404 : const CScriptNum scriptnum2(num2);
89 :
90 : // int64_t overflow is undefined.
91 2808 : bool invalid = ((num2 > 0 && num1 < std::numeric_limits<int64_t>::min() + num2) ||
92 1404 : (num2 < 0 && num1 > std::numeric_limits<int64_t>::max() + num2));
93 1404 : if (!invalid)
94 : {
95 1404 : BOOST_CHECK(verify(bignum1 - bignum2, scriptnum1 - scriptnum2));
96 1404 : BOOST_CHECK(verify(bignum1 - bignum2, scriptnum1 - num2));
97 1404 : }
98 :
99 2808 : invalid = ((num1 > 0 && num2 < std::numeric_limits<int64_t>::min() + num1) ||
100 1404 : (num1 < 0 && num2 > std::numeric_limits<int64_t>::max() + num1));
101 1404 : if (!invalid)
102 : {
103 1404 : BOOST_CHECK(verify(bignum2 - bignum1, scriptnum2 - scriptnum1));
104 1404 : BOOST_CHECK(verify(bignum2 - bignum1, scriptnum2 - num1));
105 1404 : }
106 1404 : }
107 :
108 1404 : static void CheckCompare(const int64_t& num1, const int64_t& num2)
109 : {
110 1404 : const CScriptNum10 bignum1(num1);
111 1404 : const CScriptNum10 bignum2(num2);
112 1404 : const CScriptNum scriptnum1(num1);
113 1404 : const CScriptNum scriptnum2(num2);
114 :
115 1404 : BOOST_CHECK((bignum1 == bignum1) == (scriptnum1 == scriptnum1));
116 1404 : BOOST_CHECK((bignum1 != bignum1) == (scriptnum1 != scriptnum1));
117 1404 : BOOST_CHECK((bignum1 < bignum1) == (scriptnum1 < scriptnum1));
118 1404 : BOOST_CHECK((bignum1 > bignum1) == (scriptnum1 > scriptnum1));
119 1404 : BOOST_CHECK((bignum1 >= bignum1) == (scriptnum1 >= scriptnum1));
120 1404 : BOOST_CHECK((bignum1 <= bignum1) == (scriptnum1 <= scriptnum1));
121 :
122 1404 : BOOST_CHECK((bignum1 == bignum1) == (scriptnum1 == num1));
123 1404 : BOOST_CHECK((bignum1 != bignum1) == (scriptnum1 != num1));
124 1404 : BOOST_CHECK((bignum1 < bignum1) == (scriptnum1 < num1));
125 1404 : BOOST_CHECK((bignum1 > bignum1) == (scriptnum1 > num1));
126 1404 : BOOST_CHECK((bignum1 >= bignum1) == (scriptnum1 >= num1));
127 1404 : BOOST_CHECK((bignum1 <= bignum1) == (scriptnum1 <= num1));
128 :
129 1404 : BOOST_CHECK((bignum1 == bignum2) == (scriptnum1 == scriptnum2));
130 1404 : BOOST_CHECK((bignum1 != bignum2) == (scriptnum1 != scriptnum2));
131 1404 : BOOST_CHECK((bignum1 < bignum2) == (scriptnum1 < scriptnum2));
132 1404 : BOOST_CHECK((bignum1 > bignum2) == (scriptnum1 > scriptnum2));
133 1404 : BOOST_CHECK((bignum1 >= bignum2) == (scriptnum1 >= scriptnum2));
134 1404 : BOOST_CHECK((bignum1 <= bignum2) == (scriptnum1 <= scriptnum2));
135 :
136 1404 : BOOST_CHECK((bignum1 == bignum2) == (scriptnum1 == num2));
137 1404 : BOOST_CHECK((bignum1 != bignum2) == (scriptnum1 != num2));
138 1404 : BOOST_CHECK((bignum1 < bignum2) == (scriptnum1 < num2));
139 1404 : BOOST_CHECK((bignum1 > bignum2) == (scriptnum1 > num2));
140 1404 : BOOST_CHECK((bignum1 >= bignum2) == (scriptnum1 >= num2));
141 1404 : BOOST_CHECK((bignum1 <= bignum2) == (scriptnum1 <= num2));
142 1404 : }
143 :
144 351 : static void RunCreate(const int64_t& num)
145 : {
146 351 : CheckCreateInt(num);
147 351 : CScriptNum scriptnum(num);
148 351 : if (scriptnum.getvch().size() <= CScriptNum::nDefaultMaxNumSize)
149 279 : CheckCreateVch(num);
150 : else
151 : {
152 144 : BOOST_CHECK_THROW (CheckCreateVch(num), scriptnum10_error);
153 : }
154 423 : }
155 :
156 1404 : static void RunOperators(const int64_t& num1, const int64_t& num2)
157 : {
158 1404 : CheckAdd(num1, num2);
159 1404 : CheckSubtract(num1, num2);
160 1404 : CheckNegate(num1);
161 1404 : CheckCompare(num1, num2);
162 1404 : }
163 :
164 149 : BOOST_AUTO_TEST_CASE(creation)
165 : {
166 14 : for(size_t i = 0; i < std::size(values); ++i)
167 : {
168 130 : for(size_t j = 0; j < std::size(offsets); ++j)
169 : {
170 117 : RunCreate(values[i]);
171 117 : RunCreate(values[i] + offsets[j]);
172 117 : RunCreate(values[i] - offsets[j]);
173 117 : }
174 13 : }
175 1 : }
176 :
177 149 : BOOST_AUTO_TEST_CASE(operators)
178 : {
179 14 : for(size_t i = 0; i < std::size(values); ++i)
180 : {
181 130 : for(size_t j = 0; j < std::size(offsets); ++j)
182 : {
183 117 : RunOperators(values[i], values[i]);
184 117 : RunOperators(values[i], -values[i]);
185 117 : RunOperators(values[i], values[j]);
186 117 : RunOperators(values[i], -values[j]);
187 117 : RunOperators(values[i] + values[j], values[j]);
188 117 : RunOperators(values[i] + values[j], -values[j]);
189 117 : RunOperators(values[i] - values[j], values[j]);
190 117 : RunOperators(values[i] - values[j], -values[j]);
191 117 : RunOperators(values[i] + values[j], values[i] + values[j]);
192 117 : RunOperators(values[i] + values[j], values[i] - values[j]);
193 117 : RunOperators(values[i] - values[j], values[i] + values[j]);
194 117 : RunOperators(values[i] - values[j], values[i] - values[j]);
195 117 : }
196 13 : }
197 1 : }
198 :
199 146 : BOOST_AUTO_TEST_SUITE_END()
|
