aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/kmxda32.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/kmxda32.h')
-rw-r--r--riscv/insns/kmxda32.h10
1 files changed, 0 insertions, 10 deletions
diff --git a/riscv/insns/kmxda32.h b/riscv/insns/kmxda32.h
deleted file mode 100644
index 99a8204..0000000
--- a/riscv/insns/kmxda32.h
+++ /dev/null
@@ -1,10 +0,0 @@
-require_vector_vs;
-require_rv64;
-require_extension(EXT_ZPN);
-
-bool sat;
-sreg_t mres0 = (sreg_t)P_SW(RS1, 0) * P_SW(RS2, 1);
-sreg_t mres1 = (sreg_t)P_SW(RS1, 1) * P_SW(RS2, 0);
-
-WRITE_RD((sat_add<sreg_t, reg_t>(mres0, mres1, sat)));
-P_SET_OV(sat);