1 /*
2 * Test Int128 arithmetic
3 *
4 * This work is licensed under the terms of the GNU LGPL, version 2 or later.
5 * See the COPYING.LIB file in the top-level directory.
6 *
7 */
8
9 #include "qemu/osdep.h"
10 #include "qemu/int128.h"
11
12 /* clang doesn't support __noclone__ but it does have a mechanism for
13 * telling us this. We assume that if we don't have __has_attribute()
14 * then this is GCC and that GCC always supports __noclone__.
15 */
16 #if defined(__has_attribute)
17 #if !__has_attribute(__noclone__)
18 #define ATTRIBUTE_NOCLONE
19 #endif
20 #endif
21 #ifndef ATTRIBUTE_NOCLONE
22 #define ATTRIBUTE_NOCLONE __attribute__((__noclone__))
23 #endif
24
25 static uint32_t tests[8] = {
26 0x00000000, 0x00000001, 0x7FFFFFFE, 0x7FFFFFFF,
27 0x80000000, 0x80000001, 0xFFFFFFFE, 0xFFFFFFFF,
28 };
29
30 #define LOW 3ULL
31 #define HIGH (1ULL << 63)
32 #define MIDDLE (-1ULL & ~LOW & ~HIGH)
33
expand16(unsigned x)34 static uint64_t expand16(unsigned x)
35 {
36 return (x & LOW) | ((x & 4) ? MIDDLE : 0) | (x & 0x8000 ? HIGH : 0);
37 }
38
expand(uint32_t x)39 static Int128 expand(uint32_t x)
40 {
41 uint64_t l, h;
42 l = expand16(x & 65535);
43 h = expand16(x >> 16);
44 return (Int128) int128_make128(l, h);
45 };
46
test_and(void)47 static void test_and(void)
48 {
49 int i, j;
50
51 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
52 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
53 Int128 a = expand(tests[i]);
54 Int128 b = expand(tests[j]);
55 Int128 r = expand(tests[i] & tests[j]);
56 Int128 s = int128_and(a, b);
57 g_assert_cmpuint(int128_getlo(r), ==, int128_getlo(s));
58 g_assert_cmpuint(int128_gethi(r), ==, int128_gethi(s));
59 }
60 }
61 }
62
test_add(void)63 static void test_add(void)
64 {
65 int i, j;
66
67 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
68 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
69 Int128 a = expand(tests[i]);
70 Int128 b = expand(tests[j]);
71 Int128 r = expand(tests[i] + tests[j]);
72 Int128 s = int128_add(a, b);
73 g_assert_cmpuint(int128_getlo(r), ==, int128_getlo(s));
74 g_assert_cmpuint(int128_gethi(r), ==, int128_gethi(s));
75 }
76 }
77 }
78
test_sub(void)79 static void test_sub(void)
80 {
81 int i, j;
82
83 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
84 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
85 Int128 a = expand(tests[i]);
86 Int128 b = expand(tests[j]);
87 Int128 r = expand(tests[i] - tests[j]);
88 Int128 s = int128_sub(a, b);
89 g_assert_cmpuint(int128_getlo(r), ==, int128_getlo(s));
90 g_assert_cmpuint(int128_gethi(r), ==, int128_gethi(s));
91 }
92 }
93 }
94
test_neg(void)95 static void test_neg(void)
96 {
97 int i;
98
99 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
100 Int128 a = expand(tests[i]);
101 Int128 r = expand(-tests[i]);
102 Int128 s = int128_neg(a);
103 g_assert_cmpuint(int128_getlo(r), ==, int128_getlo(s));
104 g_assert_cmpuint(int128_gethi(r), ==, int128_gethi(s));
105 }
106 }
107
test_nz(void)108 static void test_nz(void)
109 {
110 int i, j;
111
112 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
113 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
114 Int128 a = expand(tests[i]);
115 g_assert_cmpuint(int128_nz(a), ==, tests[i] != 0);
116 }
117 }
118 }
119
test_le(void)120 static void test_le(void)
121 {
122 int i, j;
123
124 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
125 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
126 /* Signed comparison */
127 int32_t a = (int32_t) tests[i];
128 int32_t b = (int32_t) tests[j];
129 g_assert_cmpuint(int128_le(expand(a), expand(b)), ==, a <= b);
130 }
131 }
132 }
133
test_lt(void)134 static void test_lt(void)
135 {
136 int i, j;
137
138 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
139 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
140 /* Signed comparison */
141 int32_t a = (int32_t) tests[i];
142 int32_t b = (int32_t) tests[j];
143 g_assert_cmpuint(int128_lt(expand(a), expand(b)), ==, a < b);
144 }
145 }
146 }
147
test_ge(void)148 static void test_ge(void)
149 {
150 int i, j;
151
152 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
153 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
154 /* Signed comparison */
155 int32_t a = (int32_t) tests[i];
156 int32_t b = (int32_t) tests[j];
157 g_assert_cmpuint(int128_ge(expand(a), expand(b)), ==, a >= b);
158 }
159 }
160 }
161
test_gt(void)162 static void test_gt(void)
163 {
164 int i, j;
165
166 for (i = 0; i < ARRAY_SIZE(tests); ++i) {
167 for (j = 0; j < ARRAY_SIZE(tests); ++j) {
168 /* Signed comparison */
169 int32_t a = (int32_t) tests[i];
170 int32_t b = (int32_t) tests[j];
171 g_assert_cmpuint(int128_gt(expand(a), expand(b)), ==, a > b);
172 }
173 }
174 }
175
176 /* Make sure to test undefined behavior at runtime! */
177
178 static void __attribute__((__noinline__)) ATTRIBUTE_NOCLONE
test_rshift_one(uint32_t x,int n,uint64_t h,uint64_t l)179 test_rshift_one(uint32_t x, int n, uint64_t h, uint64_t l)
180 {
181 Int128 a = expand(x);
182 Int128 r = int128_rshift(a, n);
183 g_assert_cmpuint(int128_getlo(r), ==, l);
184 g_assert_cmpuint(int128_gethi(r), ==, h);
185 }
186
test_rshift(void)187 static void test_rshift(void)
188 {
189 test_rshift_one(0x00010000U, 64, 0x0000000000000000ULL, 0x0000000000000001ULL);
190 test_rshift_one(0x80010000U, 64, 0xFFFFFFFFFFFFFFFFULL, 0x8000000000000001ULL);
191 test_rshift_one(0x7FFE0000U, 64, 0x0000000000000000ULL, 0x7FFFFFFFFFFFFFFEULL);
192 test_rshift_one(0xFFFE0000U, 64, 0xFFFFFFFFFFFFFFFFULL, 0xFFFFFFFFFFFFFFFEULL);
193 test_rshift_one(0x00010000U, 60, 0x0000000000000000ULL, 0x0000000000000010ULL);
194 test_rshift_one(0x80010000U, 60, 0xFFFFFFFFFFFFFFF8ULL, 0x0000000000000010ULL);
195 test_rshift_one(0x00018000U, 60, 0x0000000000000000ULL, 0x0000000000000018ULL);
196 test_rshift_one(0x80018000U, 60, 0xFFFFFFFFFFFFFFF8ULL, 0x0000000000000018ULL);
197 test_rshift_one(0x7FFE0000U, 60, 0x0000000000000007ULL, 0xFFFFFFFFFFFFFFE0ULL);
198 test_rshift_one(0xFFFE0000U, 60, 0xFFFFFFFFFFFFFFFFULL, 0xFFFFFFFFFFFFFFE0ULL);
199 test_rshift_one(0x7FFE8000U, 60, 0x0000000000000007ULL, 0xFFFFFFFFFFFFFFE8ULL);
200 test_rshift_one(0xFFFE8000U, 60, 0xFFFFFFFFFFFFFFFFULL, 0xFFFFFFFFFFFFFFE8ULL);
201 test_rshift_one(0x00018000U, 0, 0x0000000000000001ULL, 0x8000000000000000ULL);
202 test_rshift_one(0x80018000U, 0, 0x8000000000000001ULL, 0x8000000000000000ULL);
203 test_rshift_one(0x7FFE0000U, 0, 0x7FFFFFFFFFFFFFFEULL, 0x0000000000000000ULL);
204 test_rshift_one(0xFFFE0000U, 0, 0xFFFFFFFFFFFFFFFEULL, 0x0000000000000000ULL);
205 test_rshift_one(0x7FFE8000U, 0, 0x7FFFFFFFFFFFFFFEULL, 0x8000000000000000ULL);
206 test_rshift_one(0xFFFE8000U, 0, 0xFFFFFFFFFFFFFFFEULL, 0x8000000000000000ULL);
207 }
208
209 static void __attribute__((__noinline__)) ATTRIBUTE_NOCLONE
test_urshift_one(uint32_t x,int n,uint64_t h,uint64_t l)210 test_urshift_one(uint32_t x, int n, uint64_t h, uint64_t l)
211 {
212 Int128 a = expand(x);
213 Int128 r = int128_urshift(a, n);
214 g_assert_cmpuint(int128_getlo(r), ==, l);
215 g_assert_cmpuint(int128_gethi(r), ==, h);
216 }
217
test_urshift(void)218 static void test_urshift(void)
219 {
220 test_urshift_one(0x00010000U, 64, 0x0000000000000000ULL,
221 0x0000000000000001ULL);
222 test_urshift_one(0x80010000U, 64, 0x0000000000000000ULL,
223 0x8000000000000001ULL);
224 test_urshift_one(0x7FFE0000U, 64, 0x0000000000000000ULL,
225 0x7FFFFFFFFFFFFFFEULL);
226 test_urshift_one(0xFFFE0000U, 64, 0x0000000000000000ULL,
227 0xFFFFFFFFFFFFFFFEULL);
228 test_urshift_one(0x00010000U, 60, 0x0000000000000000ULL,
229 0x0000000000000010ULL);
230 test_urshift_one(0x80010000U, 60, 0x0000000000000008ULL,
231 0x0000000000000010ULL);
232 test_urshift_one(0x00018000U, 60, 0x0000000000000000ULL,
233 0x0000000000000018ULL);
234 test_urshift_one(0x80018000U, 60, 0x0000000000000008ULL,
235 0x0000000000000018ULL);
236 test_urshift_one(0x7FFE0000U, 60, 0x0000000000000007ULL,
237 0xFFFFFFFFFFFFFFE0ULL);
238 test_urshift_one(0xFFFE0000U, 60, 0x000000000000000FULL,
239 0xFFFFFFFFFFFFFFE0ULL);
240 test_urshift_one(0x7FFE8000U, 60, 0x0000000000000007ULL,
241 0xFFFFFFFFFFFFFFE8ULL);
242 test_urshift_one(0xFFFE8000U, 60, 0x000000000000000FULL,
243 0xFFFFFFFFFFFFFFE8ULL);
244 test_urshift_one(0x00018000U, 0, 0x0000000000000001ULL,
245 0x8000000000000000ULL);
246 test_urshift_one(0x80018000U, 0, 0x8000000000000001ULL,
247 0x8000000000000000ULL);
248 test_urshift_one(0x7FFE0000U, 0, 0x7FFFFFFFFFFFFFFEULL,
249 0x0000000000000000ULL);
250 test_urshift_one(0xFFFE0000U, 0, 0xFFFFFFFFFFFFFFFEULL,
251 0x0000000000000000ULL);
252 test_urshift_one(0x7FFE8000U, 0, 0x7FFFFFFFFFFFFFFEULL,
253 0x8000000000000000ULL);
254 test_urshift_one(0xFFFE8000U, 0, 0xFFFFFFFFFFFFFFFEULL,
255 0x8000000000000000ULL);
256 }
257
main(int argc,char ** argv)258 int main(int argc, char **argv)
259 {
260 g_test_init(&argc, &argv, NULL);
261 g_test_add_func("/int128/int128_and", test_and);
262 g_test_add_func("/int128/int128_add", test_add);
263 g_test_add_func("/int128/int128_sub", test_sub);
264 g_test_add_func("/int128/int128_neg", test_neg);
265 g_test_add_func("/int128/int128_nz", test_nz);
266 g_test_add_func("/int128/int128_le", test_le);
267 g_test_add_func("/int128/int128_lt", test_lt);
268 g_test_add_func("/int128/int128_ge", test_ge);
269 g_test_add_func("/int128/int128_gt", test_gt);
270 g_test_add_func("/int128/int128_rshift", test_rshift);
271 g_test_add_func("/int128/int128_urshift", test_urshift);
272 return g_test_run();
273 }
274