xref: /qemu/tests/unit/test-mul64.c (revision da668aa15b99150a8595c491aee00d5d2426aaf9)
1f4c0f986SRichard Henderson /*
2f4c0f986SRichard Henderson  * Test 64x64 -> 128 multiply subroutines
3f4c0f986SRichard Henderson  *
4f4c0f986SRichard Henderson  * This work is licensed under the terms of the GNU LGPL, version 2 or later.
5f4c0f986SRichard Henderson  * See the COPYING.LIB file in the top-level directory.
6f4c0f986SRichard Henderson  *
7f4c0f986SRichard Henderson  */
8f4c0f986SRichard Henderson 
9f4c0f986SRichard Henderson #include "qemu/osdep.h"
10*681c28a3SPeter Maydell #include "qemu/host-utils.h"
11f4c0f986SRichard Henderson 
12f4c0f986SRichard Henderson 
13f4c0f986SRichard Henderson typedef struct {
14f4c0f986SRichard Henderson     uint64_t a, b;
15f4c0f986SRichard Henderson     uint64_t rh, rl;
16f4c0f986SRichard Henderson } Test;
17f4c0f986SRichard Henderson 
18f4c0f986SRichard Henderson static const Test test_u_data[] = {
19f4c0f986SRichard Henderson     { 1, 1, 0, 1 },
20f4c0f986SRichard Henderson     { 10000, 10000, 0, 100000000 },
21f4c0f986SRichard Henderson     { 0xffffffffffffffffULL, 2, 1, 0xfffffffffffffffeULL },
22f4c0f986SRichard Henderson     { 0xffffffffffffffffULL, 0xffffffffffffffffULL,
23f4c0f986SRichard Henderson       0xfffffffffffffffeULL, 0x0000000000000001ULL },
24f4c0f986SRichard Henderson     { 0x1122334455667788ull, 0x8877665544332211ull,
25f4c0f986SRichard Henderson       0x092228fb777ae38full, 0x0a3e963337c60008ull },
26f4c0f986SRichard Henderson };
27f4c0f986SRichard Henderson 
28f4c0f986SRichard Henderson static const Test test_s_data[] = {
29f4c0f986SRichard Henderson     { 1, 1, 0, 1 },
30f4c0f986SRichard Henderson     { 1, -1, -1, -1 },
31f4c0f986SRichard Henderson     { -10, -10, 0, 100 },
32f4c0f986SRichard Henderson     { 10000, 10000, 0, 100000000 },
33f4c0f986SRichard Henderson     { -1, 2, -1, -2 },
34f4c0f986SRichard Henderson     { 0x1122334455667788ULL, 0x1122334455667788ULL,
35f4c0f986SRichard Henderson       0x01258f60bbc2975cULL, 0x1eace4a3c82fb840ULL },
36f4c0f986SRichard Henderson };
37f4c0f986SRichard Henderson 
test_u(void)38f4c0f986SRichard Henderson static void test_u(void)
39f4c0f986SRichard Henderson {
40f4c0f986SRichard Henderson     int i;
41f4c0f986SRichard Henderson 
42f4c0f986SRichard Henderson     for (i = 0; i < ARRAY_SIZE(test_u_data); ++i) {
43f4c0f986SRichard Henderson         uint64_t rl, rh;
44f4c0f986SRichard Henderson         mulu64(&rl, &rh, test_u_data[i].a, test_u_data[i].b);
45f4c0f986SRichard Henderson         g_assert_cmpuint(rl, ==, test_u_data[i].rl);
46f4c0f986SRichard Henderson         g_assert_cmpuint(rh, ==, test_u_data[i].rh);
47f4c0f986SRichard Henderson     }
48f4c0f986SRichard Henderson }
49f4c0f986SRichard Henderson 
test_s(void)50f4c0f986SRichard Henderson static void test_s(void)
51f4c0f986SRichard Henderson {
52f4c0f986SRichard Henderson     int i;
53f4c0f986SRichard Henderson 
54f4c0f986SRichard Henderson     for (i = 0; i < ARRAY_SIZE(test_s_data); ++i) {
55f4c0f986SRichard Henderson         uint64_t rl, rh;
56f4c0f986SRichard Henderson         muls64(&rl, &rh, test_s_data[i].a, test_s_data[i].b);
57f4c0f986SRichard Henderson         g_assert_cmpuint(rl, ==, test_s_data[i].rl);
58f4c0f986SRichard Henderson         g_assert_cmpint(rh, ==, test_s_data[i].rh);
59f4c0f986SRichard Henderson     }
60f4c0f986SRichard Henderson }
61f4c0f986SRichard Henderson 
main(int argc,char ** argv)62f4c0f986SRichard Henderson int main(int argc, char **argv)
63f4c0f986SRichard Henderson {
64f4c0f986SRichard Henderson     g_test_init(&argc, &argv, NULL);
65f4c0f986SRichard Henderson     g_test_add_func("/host-utils/mulu64", test_u);
66f4c0f986SRichard Henderson     g_test_add_func("/host-utils/muls64", test_s);
67f4c0f986SRichard Henderson     return g_test_run();
68f4c0f986SRichard Henderson }
69