Case of most negative number divided by -1 for RV32

riscv-software-src / riscv-ctg

BSD 3-Clause "New" or "Revised" License

40 stars 51 forks source link

Case of most negative number divided by -1 for RV32 #87

Closed alitariq4589 closed 7 months ago

alitariq4589 commented 10 months ago

This PR is the continuation of the PR#65 of riscv-ctg. Previously I had added the same case for RV64 instructions (remw and divw) for solving the issue#300 of riscv-arch-test. But the same case is also needed for RV32 instructions (div and rem). So I have added an additional condition for Division of most negative number divided by -1 for RV32 in dataset.cgf

neelgala commented 7 months ago

this has been addressed on the latest dev. hence closing it. Please reopen if otherwise.