+# Opcode Tables for PO=59/63 XO=1---011--
+
+Power ISA v3.1B opcodes extracted from:
+
+* Power ISA v3.1B Appendix D Table 23 sheet 2/3 of 4 page 1391/1392
+* Power ISA v3.1B Appendix D Table 25 sheet 2/3 of 4 page 1399/1400
+
+Parenthesized entries are not part of fptrans.
+
+* Entries whose mnemonic ends in `s` are only in PO=59.
+* Entries whose mnemonic does not end in `s` are only in PO=63.
+* Entries whose mnemonic ends in `(s)` are in both PO=59 and PO=63.
+
+| XO LSB half →<br> XO MSB half ↓ | 01100 | 01101 | 01110 | 01111 |
+|-----------------------------------------------|------------------------------------------------------|---------------------------------------------------|------------------------------------------------------|----------------------------------------------------|
+| 10000 | <small>`10000 01100`</small><br>fcbrt(s) (draft) | <small>`10000 01101`</small><br>fsinpi(s) (draft) | <small>`10000 01110`</small><br>fatan2pi(s) (draft) | <small>`10000 01111`</small><br>fasinpi(s) (draft) |
+| 10001 | <small>`10001 01100`</small><br>fcospi(s) (draft) | <small>`10001 01101`</small><br>ftanpi(s) (draft) | <small>`10001 01110`</small><br>facospi(s) (draft) | <small>`10001 01111`</small><br>fatanpi(s) (draft) |
+| 10010 | <small>`10010 01100`</small><br>frsqrt(s) (draft) | <small>`10010 01101`</small><br>fsin(s) (draft) | <small>`10010 01110`</small><br>fatan2(s) (draft) | <small>`10010 01111`</small><br>fasin(s) (draft) |
+| 10011 | <small>`10011 01100`</small><br>fcos(s) (draft) | <small>`10011 01101`</small><br>ftan(s) (draft) | <small>`10011 01110`</small><br>facos(s) (draft) | <small>`10011 01111`</small><br>fatan(s) (draft) |
+| 10100 | <small>`10100 01100`</small><br>frecip(s) (draft) | <small>`10100 01101`</small><br>fsinh(s) (draft) | <small>`10100 01110`</small><br>fhypot(s) (draft) | <small>`10100 01111`</small><br>fasinh(s) (draft) |
+| 10101 | <small>`10101 01100`</small><br>fcosh(s) (draft) | <small>`10101 01101`</small><br>ftanh(s) (draft) | <small>`10101 01110`</small><br>facosh(s) (draft) | <small>`10101 01111`</small><br>fatanh(s) (draft) |
+| 10110 | <small>`10110 01100`</small><br> | <small>`10110 01101`</small><br> | <small>`10110 01110`</small><br> | <small>`10110 01111`</small><br> |
+| 10111 | <small>`10111 01100`</small><br> | <small>`10111 01101`</small><br> | <small>`10111 01110`</small><br> | <small>`10111 01111`</small><br> |
+
+| XO LSB half →<br> XO MSB half ↓ | 01100 | 01101 | 01110 | 01111 |
+|-----------------------------------------------|----------------------------------------------------|----------------------------------------------------|---------------------------------------------------------|---------------------------------------------------------|
+| 11000 | <small>`11000 01100`</small><br>fexp2m1(s) (draft) | <small>`11000 01101`</small><br>flog2p1(s) (draft) | <small>`11000 01110`</small><br>(cffpro) (draft) | <small>`11000 01111`</small><br>(ctfpr(s)) (draft) |
+| 11001 | <small>`11001 01100`</small><br>fexpm1(s) (draft) | <small>`11001 01101`</small><br>flogp1(s) (draft) | <small>`11001 01110`</small><br>(fctid) | <small>`11001 01111`</small><br>(fctidz) |
+| 11010 | <small>`11010 01100`</small><br>fexp10m1(s) (draft)| <small>`11010 01101`</small><br>flog10p1(s) (draft)| <small>`11010 01110`</small><br>(fcfid(s)) | <small>`11010 01111`</small><br>fmod(s) (draft) |
+| 11011 | <small>`11011 01100`</small><br>fpown(s) (draft) | <small>`11011 01101`</small><br>frootn(s) (draft) | <small>`11011 01110`</small><br> | <small>`11011 01111`</small><br> |
+| 11100 | <small>`11100 01100`</small><br>fexp2(s) (draft) | <small>`11100 01101`</small><br>flog2(s) (draft) | <small>`11100 01110`</small><br>(mffpr(s)) (draft) | <small>`11100 01111`</small><br>(mtfpr(s)) (draft) |
+| 11101 | <small>`11101 01100`</small><br>fexp(s) (draft) | <small>`11101 01101`</small><br>flog(s) (draft) | <small>`11101 01110`</small><br>(fctidu) | <small>`11101 01111`</small><br>(fctiduz) |
+| 11110 | <small>`11110 01100`</small><br>fexp10(s) (draft) | <small>`11110 01101`</small><br>flog10(s) (draft) | <small>`11110 01110`</small><br>(fcfidu(s)) | <small>`11110 01111`</small><br>fremainder(s) (draft) |
+| 11111 | <small>`11111 01100`</small><br>fpowr(s) (draft) | <small>`11111 01101`</small><br>fpow(s) (draft) | <small>`11111 01110`</small><br> | <small>`11111 01111`</small><br> |
+
+| XO LSB half →<br> XO MSB half ↓ | 10000 | 10001 | 10010 | 10011 |
+|-----------------------------------------------|-------------------------------------------------|----------------------------------------|-------------------------------------------|----------------------------------------|
+| ////0 | <small>`....0 10000`</small><br>fminmax (draft) | <small>`////0 10001`</small><br> | <small>`////0 10010`</small><br>(fdiv(s)) | <small>`////0 10011`</small><br> |
+| ////1 | <small>`////1 10000`</small><br> | <small>`////1 10001`</small><br> | <small>`////1 10010`</small><br>(fdiv(s)) | <small>`////1 10011`</small><br> |
+