From 402d71e5f481857f2411d5c55d86fee1a4074dd1 Mon Sep 17 00:00:00 2001 From: Rose Thompson Date: Thu, 7 Mar 2024 15:19:53 -0600 Subject: [PATCH] Added basic Quad testing. --- sim/regression-wally | 2 +- .../riscv-test-suite/rv64i_m/Q/src/WALLY-q-01.S | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/sim/regression-wally b/sim/regression-wally index ea855b358..26543d067 100755 --- a/sim/regression-wally +++ b/sim/regression-wally @@ -278,7 +278,7 @@ if (nightly): ["fh_rv64gc", ["arch64f", "arch64f_divsqrt", "arch64f_fma", "arch64zfh", "arch64zfh_divsqrt"]], # hanging 1/31/24 dh; try again when lint is fixed ["fdh_rv64gc", ["arch64f", "arch64f_divsqrt", "arch64f_fma", "arch64d", "arch64d_divsqrt", "arch64d_fma", "arch64zfh", "arch64zfh_divsqrt"]], ["fdq_rv64gc", ["arch64f", "arch64f_divsqrt", "arch64f_fma", "arch64d", "arch64d_divsqrt", "arch64d_fma"]], - ["fdqh_rv64gc", ["arch64f", "arch64f_divsqrt", "arch64f_fma", "arch64d", "arch64d_divsqrt", "arch64d_fma", "arch64zfh", "arch64zfh_divsqrt"]], + ["fdqh_rv64gc", ["arch64f", "arch64f_divsqrt", "arch64f_fma", "arch64d", "arch64d_divsqrt", "arch64d_fma", "arch64zfh", "arch64zfh_divsqrt", "wally64q"]], ] diff --git a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/Q/src/WALLY-q-01.S b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/Q/src/WALLY-q-01.S index 791d41a8a..ea8bd15d5 100644 --- a/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/Q/src/WALLY-q-01.S +++ b/tests/wally-riscv-arch-test/riscv-test-suite/rv64i_m/Q/src/WALLY-q-01.S @@ -79,8 +79,8 @@ fsq f11, 80(x1) fdiv.q f12, f11, f2 # C000 0000000000000000000000000000 fsq f12, 96(x1) -# sign injection -4 = 4 -fsgnj.q f13, f12, f4 # 4001 0000000000000000000000000000 +# sign injection (-4, 1) = 4 +fsgnj.q f13, f11, f4 # 4001 0000000000000000000000000000 fsq f13, 112(x1) # sqrt(4) = 2