1 files changed, 0 insertions, 10 deletions
diff --git a/riscv/insns/kwmmul_u.h b/riscv/insns/kwmmul_u.h
deleted file mode 100644
index b435561..0000000
--- a/riscv/insns/kwmmul_u.h
+++ /dev/null
@@ -1,10 +0,0 @@
-require_vector_vs;
-P_LOOP(32, {
-  if ((INT32_MIN != ps1) | (INT32_MIN != ps2)) {
-    int64_t mres = ((int64_t) ps1 * (int64_t) ps2) << 1;
-    pd = ((mres >> 31) + 1) >> 1;
-  } else {
-    pd = INT32_MAX;
-    P_SET_OV(1);
-  }
-})