diff options
| author | Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU> | 2011-04-16 19:44:52 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU> | 2011-04-16 19:44:52 -0700 |
| commit | 95d58037b2fece5db3ca45a2eb8a1b22967f81f9 (patch) | |
| tree | afd7e1fc46506005e3863b47be145a298fb42fdf /riscv/insns/remuw.h | |
| parent | 6e2844c1b5d1b2c8bbc6b36a29726c19fd0c0593 (diff) | |
| download | spike-95d58037b2fece5db3ca45a2eb8a1b22967f81f9.zip spike-95d58037b2fece5db3ca45a2eb8a1b22967f81f9.tar.gz spike-95d58037b2fece5db3ca45a2eb8a1b22967f81f9.tar.bz2 | |
[sim] removed undefined behavior for non-canonical inputs
Diffstat (limited to 'riscv/insns/remuw.h')
| -rw-r--r-- | riscv/insns/remuw.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/remuw.h b/riscv/insns/remuw.h index ae28fa5..8234af3 100644 --- a/riscv/insns/remuw.h +++ b/riscv/insns/remuw.h @@ -2,4 +2,4 @@ require_xpr64; if(RS2 == 0) RD = RS1; else - RD = sext32(RS1 % RS2); + RD = sext32(zext_xprlen(RS1) % zext_xprlen(RS2)); |