(no commit message)

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index cb0ac3f1fe7f446a7e62fa2e93e2d5d55751b573..40e99c96796d3bd482be4e1eb8175365d009cc04 100644 (file)
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -95,15 +95,15 @@ TODO: convert all instructions to use RT and not RS
 | 0.5|6.10|11.15|16.20 |21..25   | 26....30  |31| name     | Form    |
 | -- | -- | --- | ---  | -----   | --------  |--| ------   | -------- |
 | NN | RT | RA  |itype/| im0-4   | im5-7  00 |0 | xpermi  | TLI-Form  |
-| NN | RT | RA  | RB   | RC      | nh 00  00 |1 | binlut |           |
-| NN | RT | RA  | RB   | BFC//   | 0  01  00 |1 | bincrflut    |           |
+| NN | RT | RA  | RB   | RC      | nh 00  00 |1 | binlut |  VA-Form      |
+| NN | RT | RA  | RB   | BFC//   | 0  01  00 |1 | bincrflut  | VA-Form     |
 | NN |    |     |      |         | 1  01  00 |1 | rsvd    |           |
 | NN |    |     |      |         | -  10  00 |1 | rsvd    |           |
 | NN |    |     |      |         | 0  11  00 |1 | svshape    |           |
 | NN |    |     |      |         | 1  11  00 |1 | svstep   |           |
 | NN | RT | RA  | RB   | im0-4   | im5-7  01 |0 | grevlog |  TLI-Form    |
 | NN | RT | RA  | RB   | im0-4   | im5-7  01 |1 | grevlogw |   TLI-Form  |
-| NN | RT | RA  | RB   | RC      | mode  010 |Rc| bitmask\* |           |
+| NN | RT | RA  | RB   | RC      | mode  010 |Rc| bitmask\* |  VA-Form    |
 | NN |    |     |      |         | 0-    011 |  | rsvd    |           |
 | NN |    |     |      |         | 10    011 |Rc| svstep |           |
 | NN |    |     |      |         | 11    011 |Rc| setvl |           |