From: Luke Kenneth Casson Leighton Date: Sun, 4 Sep 2022 14:42:40 +0000 (+0100) Subject: attempting to sort out squashed layout of power_op_tables X-Git-Tag: opf_rfc_ls005_v1~702 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f5a08700a44fbff52c7d213064fd07dd6680f4f8;p=libreriscv.git attempting to sort out squashed layout of power_op_tables adding unicode char mappings as well --- diff --git a/openpower/power_trans_ops.mdwn b/openpower/power_trans_ops.mdwn index 0d06b0b7e..434206d2a 100644 --- a/openpower/power_trans_ops.mdwn +++ b/openpower/power_trans_ops.mdwn @@ -6,23 +6,23 @@ Power ISA v3.1B opcodes extracted from Power ISA v3.1B Appendix D Table 23 sheet Parenthesized entries are not part of fptrans. -| XO LSB half →
XO MSB half ↓ | 01100 | 01101 | 01110 | 01111 | -| ----- | ----- | ----- | ----- | ----- | -| 10000 | `10000 01100`
(ffadds) (draft) | `10000 01101`
fsinpis (draft) | `10000 01110`
fatan2pis (draft) | `10000 01111`
fasinpis (draft) | -| 10001 | `10001 01100`
fcospis (draft) | `10001 01101`
ftanpis (draft) | `10001 01110`
facospis (draft) | `10001 01111`
fatanpis (draft) | -| 10010 | `10010 01100`
**TBD** (draft) | `10010 01101`
fsins (draft) | `10010 01110`
fatan2s (draft) | `10010 01111`
fasins (draft) | -| 10011 | `10011 01100`
fcoss (draft) | `10011 01101`
ftans (draft) | `10011 01110`
facoss (draft) | `10011 01111`
fatans (draft) | -| 10100 | `10100 01100`
**TBD** (draft) | `10100 01101`
fsinhs (draft) | `10100 01110`
fhypots (draft) | `10100 01111`
fasinhs (draft) | -| 10101 | `10101 01100`
fcoshs (draft) | `10101 01101`
ftanhs (draft) | `10101 01110`
facoshs (draft) | `10101 01111`
fatanhs (draft) | -| 10110 | `10110 01100`
**TBD** (draft) | `10110 01101`
**TBD** (draft) | `10110 01110`
**TBD** (draft) | `10110 01111`
**TBD** (draft) | -| 10111 | `10111 01100`
**TBD** (draft) | `10111 01101`
**TBD** (draft) | `10111 01110`
**TBD** (draft) | `10111 01111`
**TBD** (draft) | +| XO LSB half →
XO MSB half ↓ | 01100 | 01101 | 01110 | 01111 | +|-----------------------------------------------|-------|-------|-------|-------| +| 10000 | `10000 01100`
(ffadds) (draft) | `10000 01101`
fsinpis (draft) | `10000 01110`
fatan2pis (draft) | `10000 01111`
fasinpis (draft) | +| 10001 | `10001 01100`
fcospis (draft) | `10001 01101`
ftanpis (draft) | `10001 01110`
facospis (draft) | `10001 01111`
fatanpis (draft) | +| 10010 | `10010 01100`
**TBD** (draft) | `10010 01101`
fsins (draft) | `10010 01110`
fatan2s (draft) | `10010 01111`
fasins (draft) | +| 10011 | `10011 01100`
fcoss (draft) | `10011 01101`
ftans (draft) | `10011 01110`
facoss (draft) | `10011 01111`
fatans (draft) | +| 10100 | `10100 01100`
**TBD** (draft) | `10100 01101`
fsinhs (draft) | `10100 01110`
fhypots (draft) | `10100 01111`
fasinhs (draft) | +| 10101 | `10101 01100`
fcoshs (draft) | `10101 01101`
ftanhs (draft) | `10101 01110`
facoshs (draft) | `10101 01111`
fatanhs (draft) | +| 10110 | `10110 01100`
**TBD** (draft) | `10110 01101`
**TBD** (draft) | `10110 01110`
**TBD** (draft) | `10110 01111`
**TBD** (draft) | +| 10111 | `10111 01100`
**TBD** (draft) | `10111 01101`
**TBD** (draft) | `10111 01110`
**TBD** (draft) | `10111 01111`
**TBD** (draft) | ## PO=63 XO=10--011-- Power ISA v3.1B opcodes extracted from Power ISA v3.1B Appendix D Table 25 sheet 2 of 4 page 1399 | XO LSB half →
XO MSB half ↓ | 01100 | 01101 | 01110 | 01111 | -| ----- | ----- | ----- | ----- | ----- | +|-------------------------------------------------|-------|-------|-------|-------| | 10000 | | | | | | 10001 | | | | | | 10010 | | | | | @@ -52,7 +52,7 @@ with some overlap leading to a partially orthogonal set across full and half width. | opcode | Description | Major 59 and 63 | -| ------ | ---------------- | --------------- | +|------------|-----------------------------------------|-----------------| | fatan2(s) | atan2 arc tangent | 10010 01110 | | fatan2pi(s)| atan2 arc tangent / π | 10000 01110 | | fpow(s) | xy | | @@ -81,7 +81,7 @@ Special Registers Altered: Recommended 10-bit XO with the low 5 LSBs 01100: | opcode | Description | Major 59 and 63 | -| ------ | ---------------- | --------------- | +|------------|--------------------------|-----------------| | frsqrt(s) | 1 / √x | | | fcbrt(s) | ∛x | | | frecip(s) | 1 / x | | @@ -118,7 +118,7 @@ Special Registers Altered: Recommended 10-bit XO with the low 5 LSBs 01101 to 01111: | opcode | Description | Major 59 and 63 | -| ------ | ---------------- | ---------------- | +|-------------|--------------------------|------------------| | fsin(s) | sin (radians) | 10010 01101 | | fcos(s) | cos (radians) | 10011 01100 | | ftan(s) | tan (radians) | 10011 01101 | diff --git a/openpower/simple_v_spec.tex b/openpower/simple_v_spec.tex index 098ce45a2..b8b802f77 100644 --- a/openpower/simple_v_spec.tex +++ b/openpower/simple_v_spec.tex @@ -78,6 +78,18 @@ \newcommand{\ErrorTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}} \newcommand{\NormalTok}[1]{#1} +% these come from: +% https://gist.github.com/bgeron/72ebbacf5930537022079d9953f15713 +\usepackage{newunicodechar} +\newcommand\DeclareUnicodeInv[2]{\DeclareUnicodeCharacter{#2}{#1}} + +\DeclareUnicodeCharacter{03A0}{\ensuremath{\Pi}} +\DeclareUnicodeCharacter{2208}{\ensuremath{\in}} +\DeclareUnicodeCharacter{03C0}{\ensuremath{\pi}} +\DeclareUnicodeCharacter{221A}{$\sqrt{}$} +\DeclareUnicodeCharacter{221B}{$\sqrt[3]{}$} +\DeclareUnicodeInv{\ensuremath{\mathbb{Z}}}{2124} + % indent all verbatim \catcode`\@=11 \let \saveverbatime \@xverbatim