Make rv64uf-p-ldst test the sign bit, too
authorAndrew Waterman <aswaterman@gmail.com>
Mon, 16 Feb 2015 00:13:18 +0000 (16:13 -0800)
committerAndrew Waterman <aswaterman@gmail.com>
Mon, 16 Feb 2015 00:13:18 +0000 (16:13 -0800)
isa/rv64uf/ldst.S

index f2e37f799a871261b48c5613ba3b3fc705d60e41..63123f25d9c33627619886f6ad58166462390fa8 100644 (file)
 RVTEST_RV64UF
 RVTEST_CODE_BEGIN
 
-  TEST_CASE(2, a0, 0x4000000040400000, la a1, tdat; flw f1, 4(a1); fsw f1, 12(a1); ld a0, 8(a1))
-  TEST_CASE(3, a0, 0x400000003f800000, la a1, tdat; fld f2, 0(a1); fsd f2, 8(a1); ld a0, 8(a1))
+  TEST_CASE(2, a0, 0x40000000deadbeef, la a1, tdat; flw f1, 4(a1); fsw f1, 20(a1); ld a0, 16(a1))
+  TEST_CASE(3, a0, 0x1337d00dbf800000, la a1, tdat; flw f1, 0(a1); fsw f1, 24(a1); ld a0, 24(a1))
+  TEST_CASE(4, a0, 0x40000000bf800000, la a1, tdat; fld f2, 0(a1); fsd f2, 16(a1); ld a0, 16(a1))
+  TEST_CASE(5, a0, 0xc080000040400000, la a1, tdat; fld f2, 8(a1); fsd f2, 16(a1); ld a0, 16(a1))
 
   TEST_PASSFAIL
 
@@ -26,9 +28,13 @@ RVTEST_DATA_BEGIN
   TEST_DATA
 
 tdat:
-.word 0x3f800000
+.word 0xbf800000
 .word 0x40000000
 .word 0x40400000
-.word 0x40800000
+.word 0xc0800000
+.word 0xdeadbeef
+.word 0xcafebabe
+.word 0xabad1dea
+.word 0x1337d00d
 
 RVTEST_DATA_END