(no commit message)

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index fb16d2984a0c12664f2e692a248ec8609ed2a7d2..cba9e7acf9181f964b671d90c473dcde5668dc97 100644 (file)
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -96,7 +96,7 @@ TODO: convert all instructions to use RT and not RS
 | -- | -- | --- | ---  | -----   | --------  |--| ------   | -------- |
 | NN | RT | RA  |itype/| im0-4   | im5-7  00 |0 | xpermi  | TLI-Form  |
 | NN | RT | RA  | RB   | RC      | nh 00  00 |1 | binlut |  VA-Form      |
-| NN | RT | RA  | RB   | BFA//   | 0  01  00 |1 | bincrflut  | VA-Form     |
+| NN | RT | RA  | RB   | /BFA/   | 0  01  00 |1 | bincrflut  | VA-Form     |
 | NN |    |     |      |         | 1  01  00 |1 | rsvd    |           |
 | NN |    |     |      |         | -  10  00 |1 | rsvd    |           |
 | NN |    |     |      |         | 0  11  00 |1 | svshape    |           |
@@ -185,10 +185,10 @@ Binary lookup is a dynamic LUT2 version of ternlogi. Firstly, the
 lookup table is 4 bits wide not 8 bits, and secondly the lookup
 table comes from a register not an immediate.
 
-| 0.5|6.10|11.15|16.20| 21..25|26..30 |31|
-| -- | -- | --- | --- | ----- |------ |--|
-| NN | RT | RA  | RB  | RC    |nh 0000|1 |
-| NN | RT | RA  | RB  | BFA// |0  0100|1 |
+| 0.5|6.10|11.15|16.20| 21..25|26..30 |31| Form    |
+| -- | -- | --- | --- | ----- |------ |--|---------|
+| NN | RT | RA  | RB  | RC    |nh 0000|1 | VA-Form |
+| NN | RT | RA  | RB  | /BFA/ |0  0100|1 | VA-Form |
 
 For binlut: