Test SLLV, SRLV and SRAV.
Signed-off-by: Philippe Mathieu-Daudé <[email protected]>
---
tests/tcg/mipsel/test_mips32r6_shift.c | 74 ++++++++++++++++++++++++++
tests/tcg/mipsel/meson.build | 1 +
2 files changed, 75 insertions(+)
create mode 100644 tests/tcg/mipsel/test_mips32r6_shift.c
diff --git a/tests/tcg/mipsel/test_mips32r6_shift.c
b/tests/tcg/mipsel/test_mips32r6_shift.c
new file mode 100644
index 000000000000..c4389b5d232a
--- /dev/null
+++ b/tests/tcg/mipsel/test_mips32r6_shift.c
@@ -0,0 +1,74 @@
+/*
+ * MIPS32R6 tests: shift instructions
+ *
+ * SPDX-License-Identifier: GPL-2.0-or-later
+ */
+
+#include <stdio.h>
+#include <stdint.h>
+
+#include "../mips/include/wrappers_mips32r6.h"
+#include "../mips/include/test_inputs_32.h"
+
+typedef void (*binary_op_32)(const uint32_t *, const uint32_t *, uint32_t *);
+typedef uint32_t (*ref_op_32)(uint32_t, uint32_t);
+
+/* Only the low 5 bits of the shift amount (rs) are used. */
+static uint32_t ref_sllv(uint32_t a, uint32_t b) { return a << (b & 31); }
+static uint32_t ref_srlv(uint32_t a, uint32_t b) { return a >> (b & 31); }
+static uint32_t ref_srav(uint32_t a, uint32_t b)
+{
+ return (uint32_t)((int32_t)a >> (b & 31));
+}
+
+static int check_one(const char *name, binary_op_32 op, ref_op_32 ref,
+ uint32_t a, uint32_t b)
+{
+ uint32_t res = 0;
+
+ op(&a, &b, &res);
+ if (res != ref(a, b)) {
+ printf("# %s: %08x, %08x: got %08x expected %08x\n",
+ name, a, b, res, ref(a, b));
+ return 1;
+ }
+ return 0;
+}
+
+static int run(const char *name, binary_op_32 op, ref_op_32 ref)
+{
+ static int count;
+ int ret = 0;
+
+ /* Value/amount pairs from the input tables. */
+ for (size_t i = 0; i < PATTERN_INPUTS_32_SHORT_COUNT; i++) {
+ for (size_t j = 0; j < PATTERN_INPUTS_32_SHORT_COUNT; j++) {
+ ret |= check_one(name, op, ref, b32_pattern[i], b32_pattern[j]);
+ }
+ }
+ for (size_t i = 0; i < RANDOM_INPUTS_32_SHORT_COUNT; i++) {
+ for (size_t j = 0; j < RANDOM_INPUTS_32_SHORT_COUNT; j++) {
+ ret |= check_one(name, op, ref, b32_random[i], b32_random[j]);
+ }
+ }
+ /* Every shift amount (including ones with ignored high bits). */
+ for (size_t i = 0; i < PATTERN_INPUTS_32_SHORT_COUNT; i++) {
+ for (uint32_t sa = 0; sa < 64; sa++) {
+ ret |= check_one(name, op, ref, b32_pattern[i], sa);
+ }
+ }
+ printf("%s %d - MIPS32R6 shift %s\n", ret ? "not ok" : "ok", ++count,
name);
+ return ret;
+}
+
+int main(void)
+{
+ int ret = 0;
+
+ printf("TAP version 14\n1..3\n");
+ ret |= run("SLLV", do_mips32r6_SLLV, ref_sllv);
+ ret |= run("SRLV", do_mips32r6_SRLV, ref_srlv);
+ ret |= run("SRAV", do_mips32r6_SRAV, ref_srav);
+
+ return ret ? 1 : 0;
+}
diff --git a/tests/tcg/mipsel/meson.build b/tests/tcg/mipsel/meson.build
index 5553ae33aec0..7a6dff32cbf4 100644
--- a/tests/tcg/mipsel/meson.build
+++ b/tests/tcg/mipsel/meson.build
@@ -89,6 +89,7 @@ tests = []
tests_mips32r6 = [
'test_mips32r6_logic.c',
+ 'test_mips32r6_shift.c',
]
foreach src: tests_mips32r6
--
2.55.0
