1 files changed, 0 insertions, 11 deletions
diff --git a/riscv/insns/smal.h b/riscv/insns/smal.h
deleted file mode 100644
index 09b818d..0000000
--- a/riscv/insns/smal.h
+++ /dev/null
@@ -1,11 +0,0 @@
-require_extension(EXT_ZPSFOPERAND);
-sreg_t res = 0;
-if (xlen == 32) {
-  res = RS1_PAIR;
-  res += sext_xlen(P_SH(RS2, 0) * P_SH(RS2, 1));
-  WRITE_RD_PAIR(res);
-} else {
-  res = sext_xlen(P_SH(RS2, 0) * P_SH(RS2, 1)) +
-        sext_xlen(P_SH(RS2, 2) * P_SH(RS2, 3)) + RS1;
-  WRITE_RD(res);
-}