X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=isa%2Frv64uf%2Frecoding.S;fp=isa%2Frv64uf%2Frecoding.S;h=2ab17e268dcab48f26cea29f60abb13cf4bd024d;hb=695b86a6fcbe06ffbed8891af7e6fe7bf2062543;hp=a016225fba62b91de3122641879558f30afbb51c;hpb=f7b53478d493910620153f959181a19defed352e;p=riscv-tests.git

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