1 files changed, 15 insertions, 0 deletions
diff --git a/riscv/insns/psshar_ws.h b/riscv/insns/psshar_ws.h
new file mode 100644
index 00000000..d34dd16e
--- /dev/null
+++ b/riscv/insns/psshar_ws.h
@@ -0,0 +1,15 @@
+require_rv64;
+sreg_t sshamt = P_FIELD(RS2, 0, 8);
+P_RD_RS1_LOOP(32, 32, {
+  if (p_rs1 == 0)
+    p_rd = 0;
+  else if (sshamt >= 32) {
+    p_rd = (p_rs1 & 0x80000000) ? 0x80000000 : 0x7fffffff;
+    P.VU.vxsat->write(1);
+  }
+  else if (sshamt <= -32)
+    p_rd = 0;
+  else
+    p_rd = sshamt >= 0 ? P_SAT(32, sext32(p_rs1) << sshamt) : ((p_rs1 >> -sshamt) + ((p_rs1 >> (-sshamt - 1)) & 1));
+}
+)