Add another recoding test

diff --git a/isa/rv64uf/recoding.S b/isa/rv64uf/recoding.S
index a016225fba62b91de3122641879558f30afbb51c..2ab17e268dcab48f26cea29f60abb13cf4bd024d 100644 (file)
--- 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