1 files changed, 0 insertions, 5 deletions
diff --git a/riscv/insns/msubr32.h b/riscv/insns/msubr32.h
deleted file mode 100644
index 2086bd1..0000000
--- a/riscv/insns/msubr32.h
+++ /dev/null
@@ -1,5 +0,0 @@
-require_extension(EXT_ZPN);
-reg_t mres = (reg_t)P_W(RS1, 0) * P_W(RS2, 0);
-reg_t rd = P_W(RD, 0);
-rd -= mres;
-WRITE_RD(sext_xlen((int32_t)rd));