diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-21 12:21:11 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-21 12:21:11 -0700 |
| commit | f7b53478d493910620153f959181a19defed352e (patch) | |
| tree | aa3a97bb4fba27a9742e4d323908178855b37460 | |
| parent | e136fc3ce9e87e686e87f34e7dcb202cc23a3406 (diff) | |
| download | riscv-tests-f7b53478d493910620153f959181a19defed352e.zip riscv-tests-f7b53478d493910620153f959181a19defed352e.tar.gz riscv-tests-f7b53478d493910620153f959181a19defed352e.tar.bz2 | |
Add another recoding test case
| -rw-r--r-- | isa/rv64uf/recoding.S | 8 |
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 |