What is the square root of 171?
authorPalmer Dabbelt <palmer.dabbelt@eecs.berkeley.edu>
Thu, 18 Feb 2016 08:29:02 +0000 (00:29 -0800)
committerPalmer Dabbelt <palmer.dabbelt@eecs.berkeley.edu>
Thu, 18 Feb 2016 09:20:55 +0000 (01:20 -0800)
I get differnt answers on Rocket and Spike.  The Spike answer matches my Intel
machine.  This fails when I compute both the single precision and double
precision answer.

isa/rv64uf/fdiv.S

index 4002e448e0cc62f385844e8c6422230c1d38acc8..ddc7290d7e3304afb2b1d1a333b004e7b9f50b02 100644 (file)
@@ -34,6 +34,10 @@ RVTEST_CODE_BEGIN
   TEST_FP_OP1_S_DWORD_RESULT(15,  fsqrt.s, 0x10,              0x7FC00000,      -1.0 );
   TEST_FP_OP1_D_DWORD_RESULT(16,  fsqrt.d, 0x10,      0x7FF8000000000000,      -1.0 );
 
+  TEST_FP_OP1_S(17,  fsqrt.s, 1, 13.076696, 171.0);
+//  TEST_FP_OP1_S(17,,  fsqrt.s, 1, 13.025515, 171.0);
+  TEST_FP_OP1_D(18,  fsqrt.d, 1, 13.076696830622021, 171.0);
+
   TEST_PASSFAIL
 
 RVTEST_CODE_END