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
+* PO=19, XO=----000011 `minmax RT, RA, RB, MMM`
+* PO=19, XO=----000011 `minmax. RT, RA, RB, MMM`
+see [[openpower/sv/rfc/ls013]] for `MMM` definition and pseudo-code.
+implements all of (and more):
```
uint_xlen_t mins(uint_xlen_t rs1, uint_xlen_t rs2)
{ return (int_xlen_t)rs1 < (int_xlen_t)rs2 ? rs1 : rs2;
| 110 |Rc| 1/2-op |
| 111 | | bmrevi |
+`minmax` is allocated to PO 19 XO `000011`
1-op and variants
| RT | RA | RB | shuf | shuffle |
| RT | RA | RB | unshuf| shuffle |
| RT | RA | RB | width | xperm |
-| RT | RA | RB | type | av minmax |
+| RT | RA | RB | MMM | `minmax` |
| RT | RA | RB | | av abs avgadd |
| RT | RA | RB | type | vmask ops |
| RT | RA | RB | type | abs accumulate (overwrite) |
| NN | | | | | 00 | 0101 110 |1 | rsvd | |
| NN | | | | | 10 | 0101 110 |Rc| rsvd | |
| NN | RT | RA | RB | sm0| sm1 1 | 0101 110 |Rc| shaddw | X-Form |
-| NN | RT | RA | RB | 0 | itype | 1001 110 |Rc| av minmax | X-Form |
+| NN | | | | 0 | | 1001 110 |Rc| rsvd | |
| NN | RT | RA | RB | 1 | 00 | 1001 110 |Rc| av abss | X-Form |
| NN | RT | RA | RB | 1 | 01 | 1001 110 |Rc| av absu | X-Form |
| NN | RT | RA | RB | 1 | 10 | 1001 110 |Rc| av avgadd | X-Form |