(no commit message)

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 214cc299801ceff53f759cd6ff9c89ca1db43d20..c73deb71cfdba2953e7b23c631d8ff9a8abda779 100644 (file)
--- 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;