1 files changed, 0 insertions, 8 deletions
diff --git a/riscv/insns/mulh.h b/riscv/insns/mulh.h
deleted file mode 100644
index f771a62..0000000
--- a/riscv/insns/mulh.h
+++ /dev/null
@@ -1,8 +0,0 @@
-if(xpr64)
-{
-  int64_t a = RS1;
-  int64_t b = RS2;
-  RD = (int128_t(a) * int128_t(b)) >> 64;
-}
-else
-  RD = sext32((sext32(RS1) * sext32(RS2)) >> 32);