Remove vestigial j instruction test; improve jal test

[riscv-tests.git] / isa / rv64uf / recoding.S

diff --git a/isa/rv64uf/recoding.S b/isa/rv64uf/recoding.S
index a016225fba62b91de3122641879558f30afbb51c..802be66278a9f733d8516d84edfff18ef273b106 100644 (file)
--- a/isa/rv64uf/recoding.S
+++ b/isa/rv64uf/recoding.S
@@ -24,23 +24,14 @@ RVTEST_CODE_BEGIN
   TEST_CASE( 3, a0, 1, fle.s a0, f0, f1)
   TEST_CASE( 4, a0, 0, flt.s a0, f0, f1)
 
-  # When converting small doubles to single-precision subnormals,
-  # ensure that the extra precision is discarded.
-  flw f0, big, a0
-  fld f1, tiny, a0
-  fcvt.s.d f1, f1
-  fmul.s f0, f0, f1
-  fmv.x.s a0, f0
-  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)
+  # Likewise, but for zeroes.
+  fcvt.s.w f0, x0
+  li a0, 1
+  fcvt.s.w f1, a0
+  fmul.s f1, f1, f0
+  TEST_CASE(5, a0, 1, feq.s a0, f0, f1)
+  TEST_CASE(6, a0, 1, fle.s a0, f0, f1)
+  TEST_CASE(7, a0, 0, flt.s a0, f0, f1)
 
   TEST_PASSFAIL
 
@@ -51,8 +42,5 @@ RVTEST_DATA_BEGIN
 
 minf: .float -Inf
 three: .float 3.0
-big: .float 1221
-small: .float 2.9133121e-37
-tiny: .double 2.3860049081905093e-40
 
 RVTEST_DATA_END