From: lkcl <lkcl@web>
Date: Sun, 19 Jun 2022 18:11:13 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=729d290da314a179a7b7e0c1a6c95e0251c85e60;p=libreriscv.git

---

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 214cc2998..c73deb71c 100644
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -296,6 +296,14 @@ this will only overwrite the dest where the src is greater (or less).
 
 signed/unsigned min/max gives more flexibility.
 
+X-Form
+
+* XO=0001001110, itype=0b00 min, unsigned
+* XO=0101001110, itype=0b01 min, signed
+* XO=0011001110, itype=0b10 max, unsigned
+* XO=0111001110, itype=0b11 max, signed
+
+
 ```
 uint_xlen_t mins(uint_xlen_t rs1, uint_xlen_t rs2)
 { return (int_xlen_t)rs1 < (int_xlen_t)rs2 ? rs1 : rs2;