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