diff options
| author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-01-26 18:05:11 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-01-26 18:05:11 -0800 |
| commit | dc1aa62411649b73f3e3fb2ee5ec425a2bfeb645 (patch) | |
| tree | 84838627c1a662395ee096ed75dac099de7f3461 /riscv/insns/divw.h | |
| parent | 76ee8711f8e04b9ada61e91e6ac6f1fd01a4ca1e (diff) | |
| download | spike-dc1aa62411649b73f3e3fb2ee5ec425a2bfeb645.zip spike-dc1aa62411649b73f3e3fb2ee5ec425a2bfeb645.tar.gz spike-dc1aa62411649b73f3e3fb2ee5ec425a2bfeb645.tar.bz2 | |
[sim] changed divide-by-0 semantics
now it always gives -1, no matter the signedness.
Diffstat (limited to 'riscv/insns/divw.h')
| -rw-r--r-- | riscv/insns/divw.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/riscv/insns/divw.h b/riscv/insns/divw.h index 9c732b5..ee940da 100644 --- a/riscv/insns/divw.h +++ b/riscv/insns/divw.h @@ -1,7 +1,9 @@ require_xpr64; +if(RS2 == 0) + RD = UINT64_MAX; // INT64_MIN/-1 corner case shouldn't occur in correct code, since // INT64_MIN is not a proper 32-bit signed value -if(RS2 == 0 || (sreg_t(RS1) == INT64_MIN && sreg_t(RS2) == -1)) - RD = sext32(sreg_t(RS1) < 0 ? INT32_MIN : INT32_MAX); +else if(sreg_t(RS1) == INT64_MIN && sreg_t(RS2) == -1) + RD = RS1; else RD = sext32(sreg_t(RS1) / sreg_t(RS2)); |