test-shift128.c (5613B)
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 12typedef 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 21static 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 76static 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 107static 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 121static 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 133int 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}