From 695b86a6fcbe06ffbed8891af7e6fe7bf2062543 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Thu, 24 Sep 2015 11:49:11 -0700
Subject: [PATCH] Add another recoding test

---
 isa/rv64uf/recoding.S | 9 +++++++++
 1 file changed, 9 insertions(+)

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
-- 
2.30.2