aboutsummaryrefslogtreecommitdiff
path: root/isa
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2015-09-21 12:21:11 -0700
committerAndrew Waterman <waterman@cs.berkeley.edu>2015-09-21 12:21:11 -0700
commitf7b53478d493910620153f959181a19defed352e (patch)
treeaa3a97bb4fba27a9742e4d323908178855b37460 /isa
parente136fc3ce9e87e686e87f34e7dcb202cc23a3406 (diff)
downloadriscv-tests-f7b53478d493910620153f959181a19defed352e.zip
riscv-tests-f7b53478d493910620153f959181a19defed352e.tar.gz
riscv-tests-f7b53478d493910620153f959181a19defed352e.tar.bz2
Add another recoding test case
Diffstat (limited to 'isa')
-rw-r--r--isa/rv64uf/recoding.S8
1 files changed, 8 insertions, 0 deletions
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