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/divu.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/divu.h')
| -rw-r--r-- | riscv/insns/divu.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/divu.h b/riscv/insns/divu.h index d4a4eca..681afd2 100644 --- a/riscv/insns/divu.h +++ b/riscv/insns/divu.h @@ -1,4 +1,4 @@ if(RS2 == 0) RD = UINT64_MAX; else - RD = sext_xprlen(RS1 / RS2); + RD = sext_xprlen(zext_xprlen(RS1) / zext_xprlen(RS2)); |