1 files changed, 0 insertions, 10 deletions
diff --git a/riscv/insns/kabsw.h b/riscv/insns/kabsw.h
deleted file mode 100644
index 5e83b75..0000000
--- a/riscv/insns/kabsw.h
+++ /dev/null
@@ -1,10 +0,0 @@
-require_vector_vs;
-require_extension(EXT_ZPN);
-int32_t rs1 = P_W(RS1, 0);
-
-if (rs1 == INT32_MIN) {
-  rs1 = INT32_MAX;
-  P_SET_OV(1);
-}
-
-WRITE_RD(sext_xlen(rs1 >= 0 ? rs1 : -rs1));