diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-09-27 00:15:35 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-09-27 00:15:35 -0700 |
commit | c8a8c07ec296ce36dc04f2448faf48fe1c502a2d (patch) | |
tree | a497ddda532182cc10aa2f82a555e0d3ab4d220c /riscv/insns/divw.h | |
parent | 6554cdd3fb42bc3833a1888f87dfc67c9099500c (diff) | |
download | spike-c8a8c07ec296ce36dc04f2448faf48fe1c502a2d.zip spike-c8a8c07ec296ce36dc04f2448faf48fe1c502a2d.tar.gz spike-c8a8c07ec296ce36dc04f2448faf48fe1c502a2d.tar.bz2 |
Use WRITE_RD/WRITE_FRD macros to write registers
Diffstat (limited to 'riscv/insns/divw.h')
-rw-r--r-- | riscv/insns/divw.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/riscv/insns/divw.h b/riscv/insns/divw.h index b51d9b7..24f22fd 100644 --- a/riscv/insns/divw.h +++ b/riscv/insns/divw.h @@ -2,6 +2,6 @@ require_xpr64; sreg_t lhs = sext32(RS1); sreg_t rhs = sext32(RS2); if(rhs == 0) - RD = UINT64_MAX; + WRITE_RD(UINT64_MAX); else - RD = sext32(lhs / rhs); + WRITE_RD(sext32(lhs / rhs)); |