#-----------------------------------------------------------------------------
#
# Test corner cases of John Hauser's microarchitectural recoding scheme.
+# There are twice as many recoded values as IEEE-754 values; some of these
+# extras are redundant (e.g. Inf) and others are illegal (subnormals with
+# too many bits set).
#
#include "riscv_test.h"
RVTEST_RV64UF
RVTEST_CODE_BEGIN
- # Infinity has a redundant internal form in Rocket.
- # Make sure two different internal infinities compare as equal.
- li TESTNUM, 8
+ # Make sure infinities with different mantissas compare as equal.
flw f0, minf, a0
flw f1, three, a0
fmul.s f1, f1, f0
- TEST_CASE( 8, a0, 1, feq.s a0, f0, f1)
- TEST_CASE( 9, a0, 1, fle.s a0, f0, f1)
- TEST_CASE(10, a0, 0, flt.s a0, f0, f1)
+ TEST_CASE( 2, a0, 1, feq.s a0, f0, f1)
+ 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.s.w f0, x0
+ li a0, 1
+ fcvt.s.w f1, a0
+ fmul.s f1, f1, f0
+ TEST_CASE(5, a0, 1, feq.s a0, f0, f1)
+ TEST_CASE(6, a0, 1, fle.s a0, f0, f1)
+ TEST_CASE(7, a0, 0, flt.s a0, f0, f1)
TEST_PASSFAIL