Ssrdp should write sign-extension value as xlen is 32

2 years ago · 47cc7e844f
1 changed files with 1 additions and 1 deletions
--- a/riscv/insns/ssrdp.h
+++ b/riscv/insns/ssrdp.h
@ -1,7 +1,7 @@
 #include "zicfiss.h"

 if (xSSE()) {
-  WRITE_RD(STATE.ssp->read());
+  WRITE_RD(sext_xlen(STATE.ssp->read()));
 } else {
  #include "mop_r_N.h"
 }