diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-02-08 00:13:48 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-02-08 00:13:48 -0800 |
commit | e671e751982cfa065bb6430a0b5b33cd5f9ddfec (patch) | |
tree | de3391e3c20d1c8d6d8bafd5f4b8fb01b3f7464f /riscv/insns/div.h | |
parent | d8022e9eda1d83211b42c523483f6d9f7da3cefa (diff) | |
download | spike-e671e751982cfa065bb6430a0b5b33cd5f9ddfec.zip spike-e671e751982cfa065bb6430a0b5b33cd5f9ddfec.tar.gz spike-e671e751982cfa065bb6430a0b5b33cd5f9ddfec.tar.bz2 |
Use xlen, not xprlen, to refer to x-register width
Diffstat (limited to 'riscv/insns/div.h')
-rw-r--r-- | riscv/insns/div.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/riscv/insns/div.h b/riscv/insns/div.h index 261880f..3ad613a 100644 --- a/riscv/insns/div.h +++ b/riscv/insns/div.h @@ -1,8 +1,8 @@ -sreg_t lhs = sext_xprlen(RS1); -sreg_t rhs = sext_xprlen(RS2); +sreg_t lhs = sext_xlen(RS1); +sreg_t rhs = sext_xlen(RS2); if(rhs == 0) WRITE_RD(UINT64_MAX); else if(lhs == INT64_MIN && rhs == -1) WRITE_RD(lhs); else - WRITE_RD(sext_xprlen(lhs / rhs)); + WRITE_RD(sext_xlen(lhs / rhs)); |