1 files changed, 0 insertions, 26 deletions
diff --git a/riscv/insns/kmsr64.h b/riscv/insns/kmsr64.h
deleted file mode 100644
index bfef503..0000000
--- a/riscv/insns/kmsr64.h
+++ /dev/null
@@ -1,26 +0,0 @@
-require_vector_vs;
-P_64_PROFILE_BASE()
-P_64_PROFILE_PARAM(true, false)
-
-bool sat = false;
-sreg_t mres0 = -(sreg_t)P_SW(rs1, 0) * P_SW(rs2, 0);
-sreg_t mres1 = -(sreg_t)P_SW(rs1, 1) * P_SW(rs2, 1);
-sreg_t res;
-
-if (xlen == 32) {
-  rd = (sat_add<int64_t, uint64_t>(rd, mres0, sat));
-} else {
-  if ((rd ^ mres0) < 0) {
-    res = rd + mres0;
-    rd = (sat_add<int64_t, uint64_t>(res, mres1, sat));
-  } else if ((rd ^ mres1) < 0) {
-    res = rd + mres1;
-    rd = (sat_add<int64_t, uint64_t>(res, mres0, sat));
-  } else {
-    rd = (sat_add<int64_t, uint64_t>(rd, mres0, sat));
-    P_SET_OV(sat);
-    rd = (sat_add<int64_t, uint64_t>(rd, mres1, sat));
-  }
-}
-P_SET_OV(sat);
-P_64_PROFILE_END()