From: lkcl <lkcl@web>
Date: Thu, 7 Jul 2022 17:33:45 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1283
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=458318be19054ae313ca56997889a9c79f3b1c4b;p=libreriscv.git

---

diff --git a/openpower/power_trans_ops.mdwn b/openpower/power_trans_ops.mdwn
index f035df85f..12a88c85b 100644
--- a/openpower/power_trans_ops.mdwn
+++ b/openpower/power_trans_ops.mdwn
@@ -39,27 +39,27 @@ Special Registers Altered:
 
 | 0.5|6.10|11.15|16.20| 21..30      |31| name      |  Form   |
 | -- | -- | --- | --- | ----------  |--| ----      | ------- |
-| NN |FRT | /// | FRB  | xxxxx0111x |Rc| transcendental | X-Form  |
+| NN |FRT | /// | FRB  | 1xxxx01100 |Rc| transcendental | X-Form  |
 
-Recommended 10-bit XO with the low 5 LSBs 01110 and 01111:
+Recommended 10-bit XO with the low 5 LSBs 01100:
 
 | opcode   | Description              | Major 59 and 63 |
 | ------    | ----------------       | ---------------- |
-| frsqrt(s)| Reciprocal Square-root   | 11110 01110     |
-| fcbrt(s) | Cube Root                | 11111 01110     |
-| frecip(s)| Reciprocal               | 11110 01111     |
-| fexp2m1(s)| power-2 minus 1      | 00101 01110     |
-| flog2p1(s)| log2 plus 1               | 00110 01110     |
-| fexp2(s) | power-of-2               | 00011 01110     |
-| flog2(s) | log2                     | 00011 01111     |
-| fexpm1(s)| exponential minus 1      | 00101 01110     |
-| flogp1(s)| log plus 1               | 00110 01110     |
-| fexp(s)  | exponential              | 00111 01110     |
-| flog(s)  | natural log (base e)     | 00111 01111     |
-| fexp10m1(s)| power-10 minus 1      | 00101 01110     |
-| flog10p1(s)| log10 plus 1               | 00110 01110     |
-| fexp10(s)| power-of-10              | 11011 01110     |
-| flog10(s)| log base 10              | 11011 01111     |
+| frsqrt(s)| Reciprocal Square-root   | 10000 01110     |
+| fcbrt(s) | Cube Root                | 10001 01110     |
+| frecip(s)| Reciprocal               | 10010 01111     |
+| fexp2m1(s)| power-2 minus 1      | 10100 01110     |
+| flog2p1(s)| log2 plus 1               | 10101 01110     |
+| fexp2(s) | power-of-2               | 10110 01110     |
+| flog2(s) | log2                     | 10111 01111     |
+| fexpm1(s)| exponential minus 1      | 11000 01110     |
+| flogp1(s)| log plus 1               | 11001 01110     |
+| fexp(s)  | exponential              | 11010 01110     |
+| flog(s)  | natural log (base e)     | 11011 01111     |
+| fexp10m1(s)| power-10 minus 1      | 11100 01110     |
+| flog10p1(s)| log10 plus 1               | 11101 01110     |
+| fexp10(s)| power-of-10              | 11110 01110     |
+| flog10(s)| log base 10              |11111 01111     |
 
 # DRAFT List of 1-arg trigonometric opcodes