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