# Opcode Tables

## PO=59 XO=10--011--

Power ISA v3.1B opcodes extracted from Power ISA v3.1B Appendix D Table 23 sheet 2 of 4 page 1391

Parenthesized entries are not part of fptrans.

<!-- <template> is used to make html ignore what's inside it,
needed since pandoc conversion to latex ignores <br> tags-->

| XO LSB half &#x2192;<br> XO MSB half &#x2193; | 01100                                                               | 01101                                                              | 01110                                                                | 01111                                                               |
|-----------------------------------------------|---------------------------------------------------------------------|--------------------------------------------------------------------|----------------------------------------------------------------------|---------------------------------------------------------------------|
| 10000                                         | `10000 01100`<template>\linebreak[4]</template><br>(ffadds) (draft) | `10000 01101`<template>\linebreak[4]</template><br>fsinpis (draft) | `10000 01110`<template>\linebreak[4]</template><br>fatan2pis (draft) | `10000 01111`<template>\linebreak[4]</template><br>fasinpis (draft) |
| 10001                                         | `10001 01100`<template>\linebreak[4]</template><br>fcospis (draft)  | `10001 01101`<template>\linebreak[4]</template><br>ftanpis (draft) | `10001 01110`<template>\linebreak[4]</template><br>facospis (draft)  | `10001 01111`<template>\linebreak[4]</template><br>fatanpis (draft) |
| 10010                                         | `10010 01100`<template>\linebreak[4]</template><br>**TBD** (draft)  | `10010 01101`<template>\linebreak[4]</template><br>fsins (draft)   | `10010 01110`<template>\linebreak[4]</template><br>fatan2s (draft)   | `10010 01111`<template>\linebreak[4]</template><br>fasins (draft)   |
| 10011                                         | `10011 01100`<template>\linebreak[4]</template><br>fcoss (draft)    | `10011 01101`<template>\linebreak[4]</template><br>ftans (draft)   | `10011 01110`<template>\linebreak[4]</template><br>facoss (draft)    | `10011 01111`<template>\linebreak[4]</template><br>fatans (draft)   |
| 10100                                         | `10100 01100`<template>\linebreak[4]</template><br>**TBD** (draft)  | `10100 01101`<template>\linebreak[4]</template><br>fsinhs (draft)  | `10100 01110`<template>\linebreak[4]</template><br>fhypots (draft)   | `10100 01111`<template>\linebreak[4]</template><br>fasinhs (draft)  |
| 10101                                         | `10101 01100`<template>\linebreak[4]</template><br>fcoshs (draft)   | `10101 01101`<template>\linebreak[4]</template><br>ftanhs (draft)  | `10101 01110`<template>\linebreak[4]</template><br>facoshs (draft)   | `10101 01111`<template>\linebreak[4]</template><br>fatanhs (draft)  |
| 10110                                         | `10110 01100`<template>\linebreak[4]</template><br>**TBD** (draft)  | `10110 01101`<template>\linebreak[4]</template><br>**TBD** (draft) | `10110 01110`<template>\linebreak[4]</template><br>**TBD** (draft)   | `10110 01111`<template>\linebreak[4]</template><br>**TBD** (draft)  |
| 10111                                         | `10111 01100`<template>\linebreak[4]</template><br>**TBD** (draft)  | `10111 01101`<template>\linebreak[4]</template><br>**TBD** (draft) | `10111 01110`<template>\linebreak[4]</template><br>**TBD** (draft)   | `10111 01111`<template>\linebreak[4]</template><br>**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 &#x2192; <br/> XO MSB half &#x2193; | 01100 | 01101 | 01110 | 01111 |
|-------------------------------------------------|-------|-------|-------|-------|
| 10000 |       |       |       |       |
| 10001 |       |       |       |       |
| 10010 |       |       |       |       |
| 10011 |       |       |       |       |
| 10100 |       |       |       |       |
| 10101 |       |       |       |       |
| 10110 |       |       |       |       |
| 10111 |       |       |       |       |

# DRAFT List of 2-arg opcodes

FIXME(programmerjake): reallocate and convert to X-FORM

These are X-Form, recommended Major Opcode 63 for full-width
and 59 for half-width (ending in s).

| 0.5|6.10|11.15|16.20| 21..30      |31| name           |  Form   |
| -- | -- | --- | --- | ----------  |--| ----           | ------- |
| NN |FRT | FRA | FRB | 10xxx011xx  |Rc| transcendental | X-Form  |

As shown in Power ISA 3.1 Book III Appendix D Table 28 p1190
and Table 23 p1368,
Major Opcode 63 has room
for 9 A-Form 5-bit XO instructions,
Major Opcode 59 has 11 5-bit XO instructions,
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 / &pi;                | 10000 01110     |
| fpow(s)    | x<sup>y</sup>                           |      |
| fpown(s)   | x<sup>n</sup> (n &in; &#x2124;)         |      |
| fpowr(s)   | x<sup>y</sup> (x >= 0)                  |      |
| frootn(s)  | <sup>n</sup>&#x221A;x (n &in; &#x2124;) |      |
| fhypot(s)  | &#x221A;(x<sup>2</sup> + y<sup>2</sup>) | 10100 01110     |

# DRAFT List of 1-arg transcendental opcodes

FIXME(programmerjake): reallocate

These are X-Form, and are identical in Special Registers Altered to `fsqrt`.
Recommended Major Opcode 63 for full-width and 59 for half-width (ending in s).

Special Registers Altered:

    FPRF FR FI FX OX UX XX
    VXSNAN VXIMZ VXZDZ
    CR1                    (if Rc=1)

| 0.5|6.10|11.15|16.20| 21..30      |31| name      |  Form   |
| -- | -- | --- | --- | ----------  |--| ----      | ------- |
| NN |FRT | /// | FRB  | 10xxx011xx |Rc| transcendental | X-Form  |

Recommended 10-bit XO with the low 5 LSBs 01100:

| opcode     | Description              | Major 59 and 63 |
|------------|--------------------------|-----------------|
| frsqrt(s)  | 1 / &#x221A;x            |      |
| fcbrt(s)   | &#x221B;x                |      |
| frecip(s)  | 1 / x                    |      |
| fexp2m1(s) | 2<sup>x</sup> - 1        |      |
| flog2p1(s) | log<sub>2</sub> (x + 1)  |      |
| fexp2(s)   | 2<sup>x</sup>            |      |
| flog2(s)   | log<sub>2</sub> x        |      |
| fexpm1(s)  | e<sup>x</sup> - 1        |      |
| flogp1(s)  | log<sub>e</sub> (x + 1)  |      |
| fexp(s)    | e<sup>x</sup>            |      |
| flog(s)    | log<sub>e</sub> x        |      |
| fexp10m1(s)| 10<sup>x</sup> - 1       |      |
| flog10p1(s)| log<sub>10</sub> (x + 1) |      |
| fexp10(s)  | 10<sup>x</sup>           |      |
| flog10(s)  | log<sub>10</sub> x       |      |

# DRAFT List of 1-arg trigonometric opcodes

FIXME(programmerjake): reallocate

These are X-Form, and are identical in Special Registers Altered to `fsqrt`.
Recommended Major Opcode 63 for full-width and 59 for half-width (ending in s)

Special Registers Altered:

    FPRF FR FI FX OX UX XX
    VXSNAN VXIMZ VXZDZ
    CR1                    (if Rc=1)

| 0.5|6.10|11.15|16.20| 21..30      |31| name      |  Form   |
| -- | -- | --- | --- | ----------  |--| ----      | ------- |
| NN |FRT | /// | FRB  | 10xxx011xx |Rc| trigonometric | X-Form  |

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      |
| fasin(s)    | arcsin (radians)         | 10010 01111      |
| facos(s)    | arccos (radians)         | 10011 01110      |
| fatan(s)    | arctan (radians)         | 10011 01111      |
| fsinpi(s)   | sin(&pi; * x)            | 10000 01101      |
| fcospi(s)   | cos(&pi; * x)            | 10001 01100      |
| ftanpi(s)   | tan(&pi; * x)            | 10001 01101      |
| fasinpi(s)  | arcsin(x) / &pi;         | 10000 01111      |
| facospi(s)  | arccos(x) / &pi;         | 10001 01110      |
| fatanpi(s)  | arctan(x) / &pi;         | 10001 01111      |
| fsinh(s)    | hyperbolic sin           | 10100 01101      |
| fcosh(s)    | hyperbolic cos           | 10101 01100      |
| ftanh(s)    | hyperbolic tan           | 10101 01101      |
| fasinh(s)   | inverse hyperbolic sin   | 10100 01111      |
| facosh(s)   | inverse hyperbolic cos   | 10101 01110      |
| fatanh(s)   | inverse hyperbolic tan   | 10101 01111      |