Check NAN values in fdiv tests
authorPalmer Dabbelt <palmer.dabbelt@eecs.berkeley.edu>
Fri, 29 Jan 2016 19:33:40 +0000 (11:33 -0800)
committerPalmer Dabbelt <palmer.dabbelt@eecs.berkeley.edu>
Fri, 29 Jan 2016 19:33:40 +0000 (11:33 -0800)
commit210c0e6e363026e0de03e7f7bc61612b9cd44533
tree99d56564c284d95a3a096967a371f9149e98006a
parentfc000796c11f84a5e1997c67fcfac751aa64a916
Check NAN values in fdiv tests

The new RISC-V ISA spec mandates NAN bit patterns.  This test checks to make
sure that those bit patterns come out of fsqrt(-1).  These pass on both spike
and Rocket.

An additional _DWORD_RESULT version of the FP test macros is added to
facilitate floating-point tests that compare against particular bit patterns.
isa/macros/scalar/test_macros.h
isa/rv64uf/fdiv.S