Merge pull request #970 from pascalgouedo/dev_dd_pgo_doc

Correction for issue #967 and …

Author: davideschiavone

docs/source/instruction_set_extensions.rst

@@ -783,21 +783,21 @@ General ALU operations
   |                                           |                                                                        |
   |                                           | Note: If Is2 is equal to 0, (2^(Is2-1)-1) is equivalent to 0.          |
   +-------------------------------------------+------------------------------------------------------------------------+
-  | **cv.clipr rD, rs1, rs2**                 | if rs1 <= -(rs2+1), rD = -(rs2+1),                                     |
+  | **cv.clipr rD, rs1, rs2**                 | rs2' = rs2 & 0x7FFFFFFF                                                |
   |                                           |                                                                        |
-  |                                           | else if rs1 >=rs2, rD = rs2,                                           |
+  |                                           | if rs1 <= -(rs2'+1), rD = -(rs2'+1),                                   |
   |                                           |                                                                        |
-  |                                           | else rD = rs1                                                          |
+  |                                           | else if rs1 >=rs2', rD = rs2',                                         |
   |                                           |                                                                        |
-  |                                           | Note: rs2 is unsigned and must be in the range (0x0-0x7FFFFFFF).       |
+  |                                           | else rD = rs1                                                          |
   +-------------------------------------------+------------------------------------------------------------------------+
-  | **cv.clipur rD, rs1, rs2**                | if rs1 <= 0, rD = 0,                                                   |
+  | **cv.clipur rD, rs1, rs2**                | rs2' = rs2 & 0x7FFFFFFF                                                |
   |                                           |                                                                        |
-  |                                           | else if rs1 >= rs2, rD = rs2,                                          |
+  |                                           | if rs1 <= 0, rD = 0,                                                   |
   |                                           |                                                                        |
-  |                                           | else rD = rs1                                                          |
+  |                                           | else if rs1 >= rs2', rD = rs2',                                        |
   |                                           |                                                                        |
-  |                                           | Note: rs2 is unsigned and must be in the range (0x0-0x7FFFFFFF).       |
+  |                                           | else rD = rs1                                                          |
   +-------------------------------------------+------------------------------------------------------------------------+
   | **cv.addN rD, rs1, rs2, Is3**             | rD = (rs1 + rs2) >>> Is3                                               |
   |                                           |                                                                        |