xref: /qemu/tests/unit/test-shift128.c (revision b355f08a)
1 /*
2  * Test unsigned left and right shift
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/host-utils.h"
11 
12 typedef struct {
13     uint64_t low;
14     uint64_t high;
15     uint64_t rlow;
16     uint64_t rhigh;
17     int32_t shift;
18     bool overflow;
19 } test_data;
20 
21 static const test_data test_ltable[] = {
22     { 0x4C7ULL, 0x0ULL, 0x00000000000004C7ULL,
23       0x0000000000000000ULL,   0, false },
24     { 0x001ULL, 0x0ULL, 0x0000000000000002ULL,
25       0x0000000000000000ULL,   1, false },
26     { 0x001ULL, 0x0ULL, 0x0000000000000004ULL,
27       0x0000000000000000ULL,   2, false },
28     { 0x001ULL, 0x0ULL, 0x0000000000000010ULL,
29       0x0000000000000000ULL,   4, false },
30     { 0x001ULL, 0x0ULL, 0x0000000000000100ULL,
31       0x0000000000000000ULL,   8, false },
32     { 0x001ULL, 0x0ULL, 0x0000000000010000ULL,
33       0x0000000000000000ULL,  16, false },
34     { 0x001ULL, 0x0ULL, 0x0000000080000000ULL,
35       0x0000000000000000ULL,  31, false },
36     { 0x001ULL, 0x0ULL, 0x0000200000000000ULL,
37       0x0000000000000000ULL,  45, false },
38     { 0x001ULL, 0x0ULL, 0x1000000000000000ULL,
39       0x0000000000000000ULL,  60, false },
40     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
41       0x0000000000000001ULL,  64, false },
42     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
43       0x0000000000010000ULL,  80, false },
44     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
45       0x8000000000000000ULL, 127, false },
46     { 0x000ULL, 0x1ULL, 0x0000000000000000ULL,
47       0x0000000000000000ULL,  64,  true },
48     { 0x008ULL, 0x0ULL, 0x0000000000000000ULL,
49       0x0000000000000008ULL,  64, false },
50     { 0x008ULL, 0x0ULL, 0x0000000000000000ULL,
51       0x8000000000000000ULL, 124, false },
52     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
53       0x4000000000000000ULL, 126, false },
54     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
55       0x8000000000000000ULL, 127, false },
56     { 0x001ULL, 0x0ULL, 0x0000000000000001ULL,
57       0x0000000000000000ULL, 128,  false },
58     { 0x000ULL, 0x0ULL, 0x0000000000000000ULL,
59       0x0000000000000000ULL, 200, false },
60     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
61       0x0000000000000100ULL, 200,  false },
62     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
63       0x8000000000000000ULL,  -1, false },
64     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
65       0x8000000000000000ULL, INT32_MAX, false },
66     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
67       0x4000000000000000ULL,  -2, false },
68     { 0x001ULL, 0x0ULL, 0x0000000000000000ULL,
69       0x4000000000000000ULL, INT32_MAX - 1, false },
70     { 0x8888888888888888ULL, 0x9999999999999999ULL,
71       0x8000000000000000ULL, 0x9888888888888888ULL, 60, true },
72     { 0x8888888888888888ULL, 0x9999999999999999ULL,
73       0x0000000000000000ULL, 0x8888888888888888ULL, 64, true },
74 };
75 
76 static const test_data test_rtable[] = {
77     { 0x00000000000004C7ULL, 0x0ULL, 0x00000000000004C7ULL, 0x0ULL,  0, false },
78     { 0x0800000000000000ULL, 0x0ULL, 0x0400000000000000ULL, 0x0ULL,  1, false },
79     { 0x0800000000000000ULL, 0x0ULL, 0x0200000000000000ULL, 0x0ULL,  2, false },
80     { 0x0800000000000000ULL, 0x0ULL, 0x0008000000000000ULL, 0x0ULL,  8, false },
81     { 0x0800000000000000ULL, 0x0ULL, 0x0000080000000000ULL, 0x0ULL, 16, false },
82     { 0x0800000000000000ULL, 0x0ULL, 0x0000000008000000ULL, 0x0ULL, 32, false },
83     { 0x8000000000000000ULL, 0x0ULL, 0x0000000000000001ULL, 0x0ULL, 63, false },
84     { 0x8000000000000000ULL, 0x0ULL, 0x0000000000000000ULL, 0x0ULL, 64, false },
85     { 0x0000000000000000ULL, 0x8000000000000000ULL,
86       0x0000000000000000ULL, 0x8000000000000000ULL, 128, false },
87     { 0x0000000000000000ULL, 0x8000000000000000ULL,
88       0x0080000000000000ULL, 0x0000000000000000ULL, 200, false },
89     { 0x0000000000000000ULL, 0x0000000000000000ULL,
90       0x0000000000000000ULL, 0x0000000000000000ULL, 200, false },
91     { 0x0000000000000000ULL, 0x8000000000000000ULL,
92       0x0000000000000000ULL, 0x0000000000000080ULL, -200, false },
93     { 0x8000000000000000ULL, 0x8000000000000000ULL,
94       0x0000000080000000ULL, 0x0000000080000000ULL, 32, false },
95     { 0x0800000000000000ULL, 0x0800000000000000ULL,
96       0x0800000000000000ULL, 0x0000000000000000ULL, 64, false },
97     { 0x0800000000000000ULL, 0x0800000000000000ULL,
98       0x0008000000000000ULL, 0x0000000000000000ULL, 72, false },
99     { 0x8000000000000000ULL, 0x8000000000000000ULL,
100       0x0000000000000001ULL, 0x0000000000000000ULL, 127, false },
101     { 0x0000000000000000ULL, 0x8000000000000000ULL,
102       0x0000000000000001ULL, 0x0000000000000000ULL, -1, false },
103     { 0x0000000000000000ULL, 0x8000000000000000ULL,
104       0x0000000000000002ULL, 0x0000000000000000ULL, -2, false },
105 };
106 
107 static void test_lshift(void)
108 {
109     int i;
110 
111     for (i = 0; i < ARRAY_SIZE(test_ltable); ++i) {
112         bool overflow = false;
113         test_data tmp = test_ltable[i];
114         ulshift(&tmp.low, &tmp.high, tmp.shift, &overflow);
115         g_assert_cmpuint(tmp.low, ==, tmp.rlow);
116         g_assert_cmpuint(tmp.high, ==, tmp.rhigh);
117         g_assert_cmpuint(tmp.overflow, ==, overflow);
118     }
119 }
120 
121 static void test_rshift(void)
122 {
123     int i;
124 
125     for (i = 0; i < ARRAY_SIZE(test_rtable); ++i) {
126         test_data tmp = test_rtable[i];
127         urshift(&tmp.low, &tmp.high, tmp.shift);
128         g_assert_cmpuint(tmp.low, ==, tmp.rlow);
129         g_assert_cmpuint(tmp.high, ==, tmp.rhigh);
130     }
131 }
132 
133 int main(int argc, char **argv)
134 {
135     g_test_init(&argc, &argv, NULL);
136     g_test_add_func("/host-utils/test_lshift", test_lshift);
137     g_test_add_func("/host-utils/test_rshift", test_rshift);
138     return g_test_run();
139 }
140