isa/rv64uf/recoding.S

   1 # See LICENSE for license details.
   2
   3 #*****************************************************************************
   4 # recoding.S
   5 #-----------------------------------------------------------------------------
   6 #
   7 # Test corner cases of John Hauser's microarchitectural recoding scheme.
   8 #
   9
  10 #include "riscv_test.h"
  11 #include "test_macros.h"
  12
  13 RVTEST_RV64UF
  14 RVTEST_CODE_BEGIN
  15
  16   # Infinity has a redundant internal form in Rocket.
  17   # Make sure two different internal infinities compare as equal.
  18   li TESTNUM, 8
  19   flw f0, minf, a0
  20   flw f1, three, a0
  21   fmul.s f1, f1, f0
  22   TEST_CASE( 8, a0, 1, feq.s a0, f0, f1)
  23   TEST_CASE( 9, a0, 1, fle.s a0, f0, f1)
  24   TEST_CASE(10, a0, 0, flt.s a0, f0, f1)
  25
  26   TEST_PASSFAIL
  27
  28 RVTEST_CODE_END
  29
  30   .data
  31 RVTEST_DATA_BEGIN
  32
  33 minf: .float -Inf
  34 three: .float 3.0
  35
  36 RVTEST_DATA_END