diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-24 11:49:11 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-24 11:49:11 -0700 |
| commit | 695b86a6fcbe06ffbed8891af7e6fe7bf2062543 (patch) | |
| tree | d3bb5df85b75d600fd890ddec0e7c1f4d36d1f65 /isa/rv64uf | |
| parent | f7b53478d493910620153f959181a19defed352e (diff) | |
| download | riscv-tests-695b86a6fcbe06ffbed8891af7e6fe7bf2062543.zip riscv-tests-695b86a6fcbe06ffbed8891af7e6fe7bf2062543.tar.gz riscv-tests-695b86a6fcbe06ffbed8891af7e6fe7bf2062543.tar.bz2 | |
Add another recoding test
Diffstat (limited to 'isa/rv64uf')
| -rw-r--r-- | isa/rv64uf/recoding.S | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/isa/rv64uf/recoding.S b/isa/rv64uf/recoding.S index a016225..2ab17e2 100644 --- a/isa/rv64uf/recoding.S +++ b/isa/rv64uf/recoding.S @@ -24,6 +24,15 @@ RVTEST_CODE_BEGIN TEST_CASE( 3, a0, 1, fle.s a0, f0, f1) TEST_CASE( 4, a0, 0, flt.s a0, f0, f1) + # Likewise, but for zeroes. + fcvt.d.w f0, x0 + li a0, 1 + fcvt.d.w f1, a0 + fmul.d f1, f1, f0 + TEST_CASE(5, a0, 1, feq.d a0, f0, f1) + TEST_CASE(6, a0, 1, fle.d a0, f0, f1) + TEST_CASE(7, a0, 0, flt.d a0, f0, f1) + # When converting small doubles to single-precision subnormals, # ensure that the extra precision is discarded. flw f0, big, a0 |