1 files changed, 0 insertions, 8 deletions
diff --git a/riscv/insns/ksllw.h b/riscv/insns/ksllw.h
deleted file mode 100644
index 7e8452f..0000000
--- a/riscv/insns/ksllw.h
+++ /dev/null
@@ -1,8 +0,0 @@
-require_vector_vs;
-require_extension(EXT_ZPN);
-sreg_t rs1 = sext32(RS1);
-sreg_t sa = get_field(RS2, make_mask64(0, 5));
-sreg_t res = rs1 << sa;
-
-P_SAT(res, 32);
-WRITE_RD(sext32(res));