| NN | RT | RA | RB | RC |nh 00001| VA-Form |
| NN | RT | RA | RB | /BFA/ |0 01001| VA-Form |
-For binlut:
+For binlut, the 4-bit LUT may be selected from either the high nibble
+or the low nibble of the first byte of RC:
lut2(imm, a, b):
idx = b << 1 | a
*Programmer's note: a dynamic ternary lookup may be synthesised from
a pair of `binlut` instructions followed by a `ternlogi` to select which
to merge. Use `nh` to select which nibble to use as the lookup table
-from the RC source register (`nh=1` nibble high)*
+from the RC source register (`nh=1` nibble high), i.e. keeping
+an 8-bit LUT3 in RC, the first `binlut` instruction may set nh=0 and
+the second nh=1.*
## crternlogi