From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Wed, 13 Jan 2016 00:16:49 +0000 (-0800)
Subject: Use new canonical NaN
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0c58c7f906ddedf91a5f204df77321ebde0b9837;p=riscv-tests.git

Use new canonical NaN
---

diff --git a/isa/rv64uf/fadd.S b/isa/rv64uf/fadd.S
index 8107cfa..a5f3e42 100644
--- a/isa/rv64uf/fadd.S
+++ b/isa/rv64uf/fadd.S
@@ -41,6 +41,10 @@ RVTEST_CODE_BEGIN
   TEST_FP_OP2_D(26,  fmul.d, 1,            1358.61,    -1235.1,       -1.1 );
   TEST_FP_OP2_D(27,  fmul.d, 1,      3.14159265e-8, 3.14159265, 0.00000001 );
 
+  # Is the canonical NaN generated for Inf - Inf?
+  TEST_FP_OP2_S(28,  fsub.s, 0x10,         0f:7fc00000, Inf, Inf);
+  TEST_FP_OP2_D(29,  fsub.d, 0x10, 0d:7ff8000000000000, Inf, Inf);
+
   TEST_PASSFAIL
 
 RVTEST_CODE_END