1 files changed, 0 insertions, 13 deletions
diff --git a/riscv/insns/khmtt.h b/riscv/insns/khmtt.h
deleted file mode 100644
index dcd4503..0000000
--- a/riscv/insns/khmtt.h
+++ /dev/null
@@ -1,13 +0,0 @@
-require_vector_vs;
-require_extension(EXT_ZPN);
-sreg_t res;
-sreg_t aop = P_SH(RS1, 1);
-sreg_t bop = P_SH(RS2, 1);
-if ((INT16_MIN != aop) | (INT16_MIN != bop)) {
-  res = aop * bop;
-  res >>= 15;
-} else {
-  res = INT16_MAX;
-  P_SET_OV(1);
-}
-WRITE_RD(sext_xlen((int16_t)res));