Skip to content

Commit 59554a6

Browse files
authored
Merge pull request #629 from aman4150/master
rv64um: Add a new division test for a potential false-positive signed overflow case
1 parent b5ba870 commit 59554a6

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

isa/rv64um/div.S

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,8 @@ RVTEST_CODE_BEGIN
2929
TEST_RR_OP( 9, div, -1, 1, 0 );
3030
TEST_RR_OP(10, div, -1, 0, 0 );
3131

32+
TEST_RR_OP(11, div, -1<<62, -1<<63, 2 );
33+
3234
TEST_PASSFAIL
3335

3436
RVTEST_CODE_END

isa/rv64um/divw.S

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,8 @@ RVTEST_CODE_BEGIN
2929
TEST_RR_OP( 9, divw, -1, 1, 0 );
3030
TEST_RR_OP(10, divw, -1, 0, 0 );
3131

32+
TEST_RR_OP(11, divw, -1<<30, -1<<31, 2 );
33+
3234
TEST_PASSFAIL
3335

3436
RVTEST_CODE_END

0 commit comments

Comments
 (0)