1 files changed, 18 insertions, 0 deletions
diff --git a/riscv/insns/sshl.h b/riscv/insns/sshl.h
new file mode 100644
index 00000000..d2ba309d
--- /dev/null
+++ b/riscv/insns/sshl.h
@@ -0,0 +1,18 @@
+require_extension('P');
+require_rv32;
+sreg_t sshamt = P_FIELD(RS2, 0, 8);
+if (sshamt < 0) {
+  if (sshamt <= -32)
+    WRITE_RD(0);
+  else
+    WRITE_RD(RS1 >> (-sshamt));
+} else {
+  uint64_t shx = (sshamt >= 32) ? ((uint64_t)RS1 << 32) : ((uint64_t)RS1 << sshamt);
+  if (shx > 0xFFFFFFFFULL) {
+    P.VU.vxsat->write(1);
+    WRITE_RD(0xFFFFFFFF);
+  } else {
+    WRITE_RD((uint32_t)shx);
+  }
+}
+