1 files changed, 6 insertions, 0 deletions
diff --git a/riscv/insns/psabs_db.h b/riscv/insns/psabs_db.h
new file mode 100644
index 00000000..5efe61d3
--- /dev/null
+++ b/riscv/insns/psabs_db.h
@@ -0,0 +1,6 @@
+require_rv32;
+P_RD_RS1_DW_LOOP(8, 8, {
+  sreg_t abs_val = p_rs1 > 0 ? p_rs1 : -sext32(p_rs1);
+  p_rd = P_SAT(8, abs_val);
+  if (p_rd != abs_val) P.VU.vxsat->write(1);
+})
+\ No newline at end of file