diff --git a/riscv/insns/mhacc_h0.h b/riscv/insns/mhacc_h0.h
index 699e9165..bb254534 100644
--- a/riscv/insns/mhacc_h0.h
+++ b/riscv/insns/mhacc_h0.h
@@ -1,4 +1,4 @@
 require_extension('P');
 require_rv32;
 sreg_t mres = sext32(RS1) * sext32(P_FIELD(RS2, 0, 16));
-WRITE_RD(RD + (mres >> 32));
\ No newline at end of file
+WRITE_RD(RD + (mres >> 16));
\ No newline at end of file
diff --git a/riscv/insns/mhacc_h1.h b/riscv/insns/mhacc_h1.h
index ea228fe6..7565c358 100644
--- a/riscv/insns/mhacc_h1.h
+++ b/riscv/insns/mhacc_h1.h
@@ -1,4 +1,4 @@
 require_extension('P');
 require_rv32;
 sreg_t mres = sext32(RS1) * sext32(P_FIELD(RS2, 1, 16));
-WRITE_RD(RD + (mres >> 32));
\ No newline at end of file
+WRITE_RD(RD + (mres >> 16));
\ No newline at end of file
diff --git a/riscv/insns/mhaccsu_h0.h b/riscv/insns/mhaccsu_h0.h
index e89f309b..d455141d 100644
--- a/riscv/insns/mhaccsu_h0.h
+++ b/riscv/insns/mhaccsu_h0.h
@@ -1,4 +1,4 @@
 require_extension('P');
 require_rv32;
 sreg_t mres = sext32(RS1) * (uint32_t)P_FIELD(RS2, 0, 16);
-WRITE_RD(RD + (mres >> 32));
\ No newline at end of file
+WRITE_RD(RD + (mres >> 16));
\ No newline at end of file
diff --git a/riscv/insns/mhaccsu_h1.h b/riscv/insns/mhaccsu_h1.h
index e49a15f6..d990e49b 100644
--- a/riscv/insns/mhaccsu_h1.h
+++ b/riscv/insns/mhaccsu_h1.h
@@ -1,4 +1,4 @@
 require_extension('P');
 require_rv32;
 sreg_t mres = sext32(RS1) * (uint32_t)P_FIELD(RS2, 1, 16);
-WRITE_RD(RD + (mres >> 32));
\ No newline at end of file
+WRITE_RD(RD + (mres >> 16));
\ No newline at end of file