1 files changed, 0 insertions, 5 deletions
diff --git a/riscv/insns/ave.h b/riscv/insns/ave.h
deleted file mode 100644
index 5997900..0000000
--- a/riscv/insns/ave.h
+++ /dev/null
@@ -1,5 +0,0 @@
-require_extension(EXT_ZPN);
-sreg_t rs1 = RS1;
-sreg_t rs2 = RS2;
-sreg_t carry = (rs1 & 1) | (rs2 & 1);
-WRITE_RD(sext_xlen((rs1 >> 1) + (rs2 >> 1) + carry));