Commit f4c0f986 authored by Richard Henderson's avatar Richard Henderson Committed by Blue Swirl
Browse files

tests: Add unit tests for mulu64 and muls64

parent ff7a1eb0
Loading
Loading
Loading
Loading
+5 −1
Original line number Diff line number Diff line
@@ -54,6 +54,8 @@ check-unit-y += tests/test-xbzrle$(EXESUF)
gcov-files-test-xbzrle-y = xbzrle.c
check-unit-y += tests/test-cutils$(EXESUF)
gcov-files-test-cutils-y += util/cutils.c
check-unit-y += tests/test-mul64$(EXESUF)
gcov-files-test-mul64-y = util/host-utils.c

check-block-$(CONFIG_POSIX) += tests/qemu-iotests-quick.sh

@@ -82,7 +84,7 @@ test-obj-y = tests/check-qint.o tests/check-qstring.o tests/check-qdict.o \
	tests/test-string-input-visitor.o tests/test-qmp-output-visitor.o \
	tests/test-qmp-input-visitor.o tests/test-qmp-input-strict.o \
	tests/test-qmp-commands.o tests/test-visitor-serialization.o \
	tests/test-x86-cpuid.o
	tests/test-x86-cpuid.o tests/test-mul64.o

test-qapi-obj-y = tests/test-qapi-visit.o tests/test-qapi-types.o

@@ -124,6 +126,8 @@ tests/test-qmp-input-strict$(EXESUF): tests/test-qmp-input-strict.o $(test-qapi-
tests/test-qmp-commands$(EXESUF): tests/test-qmp-commands.o tests/test-qmp-marshal.o $(test-qapi-obj-y) qapi-types.o qapi-visit.o libqemuutil.a libqemustub.a
tests/test-visitor-serialization$(EXESUF): tests/test-visitor-serialization.o $(test-qapi-obj-y) libqemuutil.a libqemustub.a

tests/test-mul64$(EXESUF): tests/test-mul64.o libqemuutil.a

tests/rtc-test$(EXESUF): tests/rtc-test.o
tests/m48t59-test$(EXESUF): tests/m48t59-test.o
tests/fdc-test$(EXESUF): tests/fdc-test.o

tests/test-mul64.c

0 → 100644
+70 −0
Original line number Diff line number Diff line
/*
 * Test 64x64 -> 128 multiply subroutines
 *
 * This work is licensed under the terms of the GNU LGPL, version 2 or later.
 * See the COPYING.LIB file in the top-level directory.
 *
 */

#include <glib.h>
#include <stdint.h>
#include "qemu/host-utils.h"
#include "qemu/osdep.h"


typedef struct {
    uint64_t a, b;
    uint64_t rh, rl;
} Test;

static const Test test_u_data[] = {
    { 1, 1, 0, 1 },
    { 10000, 10000, 0, 100000000 },
    { 0xffffffffffffffffULL, 2, 1, 0xfffffffffffffffeULL },
    { 0xffffffffffffffffULL, 0xffffffffffffffffULL,
      0xfffffffffffffffeULL, 0x0000000000000001ULL },
    { 0x1122334455667788ull, 0x8877665544332211ull,
      0x092228fb777ae38full, 0x0a3e963337c60008ull },
};

static const Test test_s_data[] = {
    { 1, 1, 0, 1 },
    { 1, -1, -1, -1 },
    { -10, -10, 0, 100 },
    { 10000, 10000, 0, 100000000 },
    { -1, 2, -1, -2 },
    { 0x1122334455667788ULL, 0x1122334455667788ULL,
      0x01258f60bbc2975cULL, 0x1eace4a3c82fb840ULL },
};

static void test_u(void)
{
    int i;

    for (i = 0; i < ARRAY_SIZE(test_u_data); ++i) {
        uint64_t rl, rh;
        mulu64(&rl, &rh, test_u_data[i].a, test_u_data[i].b);
        g_assert_cmpuint(rl, ==, test_u_data[i].rl);
        g_assert_cmpuint(rh, ==, test_u_data[i].rh);
    }
}

static void test_s(void)
{
    int i;

    for (i = 0; i < ARRAY_SIZE(test_s_data); ++i) {
        uint64_t rl, rh;
        muls64(&rl, &rh, test_s_data[i].a, test_s_data[i].b);
        g_assert_cmpuint(rl, ==, test_s_data[i].rl);
        g_assert_cmpint(rh, ==, test_s_data[i].rh);
    }
}

int main(int argc, char **argv)
{
    g_test_init(&argc, &argv, NULL);
    g_test_add_func("/host-utils/mulu64", test_u);
    g_test_add_func("/host-utils/muls64", test_s);
    return g_test_run();
}