Add another recoding test case

diff --git a/isa/rv64uf/recoding.S b/isa/rv64uf/recoding.S
index 6397143feff169c605102cc16cec4f29e38f935f..a016225fba62b91de3122641879558f30afbb51c 100644 (file)
--- a/isa/rv64uf/recoding.S
+++ b/isa/rv64uf/recoding.S
@@ -34,6 +34,14 @@ RVTEST_CODE_BEGIN
   lw a1, small
   TEST_CASE(10, a0, 0, sub a0, a0, a1)
 
+  # Make sure FSD+FLD correctly saves and restores a single-precision value.
+  flw f0, three, a0
+  fadd.s f1, f0, f0
+  fadd.s f0, f0, f0
+  fsd f0, tiny, a0
+  fld f0, tiny, a0
+  TEST_CASE(20, a0, 1, feq.s a0, f0, f1)
+
   TEST_PASSFAIL
 
 RVTEST_CODE_END