From f7b53478d493910620153f959181a19defed352e Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Mon, 21 Sep 2015 12:21:11 -0700
Subject: [PATCH] Add another recoding test case

---
 isa/rv64uf/recoding.S | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/isa/rv64uf/recoding.S b/isa/rv64uf/recoding.S
index 6397143..a016225 100644
--- 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
-- 
2.30.2