From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Thu, 24 Sep 2015 18:49:11 +0000 (-0700)
Subject: Add another recoding test
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=695b86a6fcbe06ffbed8891af7e6fe7bf2062543;p=riscv-tests.git

Add another recoding test
---

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