+## 1W-CRi (RM-2P-1S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0000010011 | mfcr/mfocrf | XFX-Form |
+minor_31.csv | 0b0010000000 | setb | VX-Form |
+"""]]
+
+## 1R (non-SV)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0010010010 | mtmsr | X-Form |
+minor_31.csv | 0b0010110010 | mtmsrd | X-Form |
+minor_31.csv | 0b0100010010 | tlbiel | X-Form |
+minor_31.csv | 0b0100110010 | tlbie | X-Form |
+"""]]
+
+## 1R-imm (non-SV)
+
+[[!table data="""
+CSV | opcode | asm | form |
+major.csv | 2 | tdi | D-Form |
+major.csv | 3 | twi | D-Form |
+"""]]
+
+## 1R-CRo (RM-2P-1S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_63l.csv | 0b000000101 | 5/0=ftsqrt | -Form |
+minor_63l.csv | 0b011110110 | 22/7=mtfsf | -Form |
+"""]]
+
+## 1R-CRo (RM-2P-1S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+major.csv | 10 | cmpli | D-Form |
+major.csv | 11 | cmpi | D-Form |
+"""]]
+
+## 1R-CRio (RM-2P-2S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0010010000 | mtcrf/mtocrf | XFX-Form |
+"""]]
+
+## 1R-1W (RM-2P-1S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0001101000 | neg | XO-Form |
+minor_31.csv | 0b0001111010 | popcntb | X-Form |
+minor_31.csv | 0b0010011010 | prtyw | X-Form |
+minor_31.csv | 0b0010111010 | prtyd | X-Form |
+minor_31.csv | 0b0101010011 | mfspr | XFX-Form |
+minor_31.csv | 0b0101111010 | popcntw | X-Form |
+minor_31.csv | 0b0111010011 | mtspr | XFX-Form |
+minor_31.csv | 0b0111111010 | popcntd | X-Form |
+minor_31.csv | 0b1001101000 | nego | XO-Form |
+"""]]
+
+## 1R-1W-imm (RM-2P-1S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+major.csv | 12 | addic | D-Form |
+major.csv | 14 | addi | D-Form |
+major.csv | 15 | addis | D-Form |
+major.csv | 24 | ori | D-Form |
+major.csv | 25 | oris | D-Form |
+major.csv | 26 | xori | D-Form |
+major.csv | 27 | xoris | D-Form |
+major.csv | 8 | subfic | D-Form |
+"""]]
+
+## 1R-1W-CRo (RM-2P-1S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0000011010 | cntlzw | X-Form |
+minor_31.csv | 0b0000111010 | cntlzd | X-Form |
+minor_31.csv | 0b0011001000 | subfze | XO-Form |
+minor_31.csv | 0b0011001010 | addze | XO-Form |
+minor_31.csv | 0b1000011010 | cnttzw | X-Form |
+minor_31.csv | 0b1000111010 | cnttzd | X-Form |
+minor_31.csv | 0b1011001000 | subfzeo | XO-Form |
+minor_31.csv | 0b1011001010 | addzeo | XO-Form |
+minor_31.csv | 0b1110011010 | extsh | X-Form |
+minor_31.csv | 0b1110111010 | extsb | X-Form |
+minor_31.csv | 0b1111011010 | extsw | X-Form |
+minor_59.csv | 0b01110 | fcfid[u]s | -Form |
+minor_59.csv | 0b10110 | fsqrts | -Form |
+minor_59.csv | 0b11000 | fres | -Form |
+minor_59.csv | 0b11010 | frsqrtes | -Form |
+minor_63h.csv | 0b0110 | fsqrt | -Form |
+minor_63h.csv | 0b1000 | fre | -Form |
+minor_63h.csv | 0b1010 | frsqrte | -Form |
+minor_63l.csv | 0b011110010 | 18/7=mffsfamily | -Form |
+minor_63l.csv | 0b100000001 | 1/8=fneg | -Form |
+minor_63l.csv | 0b100000010 | 2/8=fmr | -Form |
+minor_63l.csv | 0b100000100 | 4/8=fnabs | -Form |
+minor_63l.csv | 0b100001000 | 8/8=fabs | -Form |
+minor_63l.csv | 0b100001100 | 12/8=frin | -Form |
+minor_63l.csv | 0b100001101 | 13/8=friz | -Form |
+minor_63l.csv | 0b100001110 | 14/8=frip | -Form |
+minor_63l.csv | 0b100001111 | 15/8=frim | -Form |
+minor_63l.csv | 0b110000000 | 0/12=frsp | -Form |
+minor_63l.csv | 0b111000000 | 0/14=fctiw | -Form |
+minor_63l.csv | 0b111000100 | 4/14=fctiwu | -Form |
+minor_63l.csv | 0b111011001 | 25/14=fctid | -Form |
+minor_63l.csv | 0b111011010 | 26/14=fcfid | -Form |
+minor_63l.csv | 0b111011101 | 29/14=fctidu | -Form |
+minor_63l.csv | 0b111011110 | 30/14=fcfidu | -Form |
+minor_63l.csv | 0b111100000 | 0/15=fctiwz | -Form |
+minor_63l.csv | 0b111100100 | 4/15=fctiwuz | -Form |
+minor_63l.csv | 0b111111001 | 25/15=fctidz | -Form |
+minor_63l.csv | 0b111111101 | 29/15=fctiduz | -Form |
+"""]]
+
+## 1R-1W-CRo (RM-2P-1S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+major.csv | 13 | addic. | D-Form |
+major.csv | 21 | rlwinm | M-Form |
+major.csv | 28 | andi. | B-Form |
+major.csv | 29 | andis. | B-Form |
+major.csv | 7 | mulli | D-Form |
+minor_30.csv | 0b0000 | rldicl | MDS-Form |
+minor_30.csv | 0b0001 | rldicl | MDS-Form |
+minor_30.csv | 0b0010 | rldicr | MD-Form |
+minor_30.csv | 0b0011 | rldicr | MD-Form |
+minor_30.csv | 0b0100 | rldic | MD-Form |
+minor_30.csv | 0b0101 | rldic | MD-Form |
+minor_31.csv | 0b0011101000 | subfme | XO-Form |
+minor_31.csv | 0b0011101010 | addme | XO-Form |
+minor_31.csv | 0b1011101000 | subfmeo | XO-Form |
+minor_31.csv | 0b1011101010 | addmeo | XO-Form |
+minor_31.csv | 0b1100111000 | srawi | X-Form |
+minor_31.csv | 0b1100111010 | sradi | XS-Form |
+minor_31.csv | 0b1100111011 | sradi | XS-Form |
+minor_31.csv | 0b1101111010 | extswsli | XS-Form |
+minor_31.csv | 0b1101111011 | extswsli | XS-Form |
+"""]]
+
+## 2R (non-SV)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0000000100 | tw | X-Form |
+minor_31.csv | 0b0001000100 | td | X-Form |
+minor_31.csv | 0b1111110110 | dcbz | X-Form |
+"""]]
+
+## 2R-CRo (RM-1P-2S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0000000000 | cmp | X-Form |
+minor_31.csv | 0b0000100000 | cmpl | X-Form |
+minor_31.csv | 0b0011000000 | cmprb | X-Form |
+minor_31.csv | 0b0011100000 | cmpeqb | X-Form |
+minor_63l.csv | 0b000000000 | 0/0=fcmpu | -Form |
+minor_63l.csv | 0b000000001 | 1/0=fcmpo | -Form |
+minor_63l.csv | 0b000000100 | 4/0=ftdiv | -Form |
+"""]]
+
+## 2R-1W (RM-1P-2S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0011111100 | bpermd | X-Form |
+minor_31.csv | 0b0100001001 | modud | X-Form |
+minor_31.csv | 0b0100001011 | moduw | X-Form |
+minor_31.csv | 0b0111111100 | cmpb | X-Form |
+minor_31.csv | 0b1100001001 | modsd | X-Form |
+minor_31.csv | 0b1100001011 | modsw | X-Form |
+minor_63l.csv | 0b011011010 | 26/6=fmrgow | -Form |
+minor_63l.csv | 0b011011110 | 30/6=fmrgew | -Form |
+"""]]
+
+## 2R-1W-CRo (RM-1P-2S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+major.csv | 23 | rlwnm | M-Form |
+minor_30.csv | 0b1000 | rldcl | MD-Form |
+minor_30.csv | 0b1001 | rldcr | MD-Form |
+minor_31.csv | 0b0000001000 | subfc | XO-Form |
+minor_31.csv | 0b0000001001 | mulhdu | XO-Form |
+minor_31.csv | 0b0000001010 | addc | XO-Form |
+minor_31.csv | 0b0000001011 | mulhwu | XO-Form |
+minor_31.csv | 0b0000011000 | slw | X-Form |
+minor_31.csv | 0b0000011011 | sld | X-Form |
+minor_31.csv | 0b0000011100 | and | X-Form |
+minor_31.csv | 0b0000101000 | subf | XO-Form |
+minor_31.csv | 0b0000111100 | andc | X-Form |
+minor_31.csv | 0b0001001001 | mulhd | XO-Form |
+minor_31.csv | 0b0001001011 | mulhw | XO-Form |
+minor_31.csv | 0b0001111100 | nor | X-Form |
+minor_31.csv | 0b0010001000 | subfe | XO-Form |
+minor_31.csv | 0b0010001010 | adde | XO-Form |
+minor_31.csv | 0b0011101001 | mulld | XO-Form |
+minor_31.csv | 0b0011101011 | mullw | XO-Form |
+minor_31.csv | 0b0100001010 | add | XO-Form |
+minor_31.csv | 0b0100011100 | eqv | X-Form |
+minor_31.csv | 0b0100111100 | xor | X-Form |
+minor_31.csv | 0b0110001001 | divdeu | XO-Form |
+minor_31.csv | 0b0110001011 | divweu | XO-Form |
+minor_31.csv | 0b0110011100 | orc | X-Form |
+minor_31.csv | 0b0110101001 | divde | XO-Form |
+minor_31.csv | 0b0110101011 | divwe | XO-Form |
+minor_31.csv | 0b0110111100 | or | X-Form |
+minor_31.csv | 0b0111001001 | divdu | XO-Form |
+minor_31.csv | 0b0111001011 | divwu | XO-Form |
+minor_31.csv | 0b0111011100 | nand | X-Form |
+minor_31.csv | 0b0111101001 | divd | XO-Form |
+minor_31.csv | 0b0111101011 | divw | XO-Form |
+minor_31.csv | 0b1000001000 | subfco | XO-Form |
+minor_31.csv | 0b1000001001 | mulhdu | XO-Form |
+minor_31.csv | 0b1000001010 | addco | XO-Form |
+minor_31.csv | 0b1000001011 | mulhwu | XO-Form |
+minor_31.csv | 0b1000011000 | srw | X-Form |
+minor_31.csv | 0b1000011011 | srd | X-Form |
+minor_31.csv | 0b1000101000 | subfo | XO-Form |
+minor_31.csv | 0b1001001001 | mulhd | XO-Form |
+minor_31.csv | 0b1001001011 | mulhw | XO-Form |
+minor_31.csv | 0b1010001000 | subfeo | XO-Form |
+minor_31.csv | 0b1010001010 | addeo | XO-Form |
+minor_31.csv | 0b1011101001 | mulldo | XO-Form |
+minor_31.csv | 0b1011101011 | mullwo | XO-Form |
+minor_31.csv | 0b1100001010 | addo | XO-Form |
+minor_31.csv | 0b1100011000 | sraw | X-Form |
+minor_31.csv | 0b1100011010 | srad | X-Form |
+minor_31.csv | 0b1110001001 | divdeuo | XO-Form |
+minor_31.csv | 0b1110001011 | divweuo | XO-Form |
+minor_31.csv | 0b1110101001 | divdeo | XO-Form |
+minor_31.csv | 0b1110101011 | divweo | XO-Form |
+minor_31.csv | 0b1111001001 | divduo | XO-Form |
+minor_31.csv | 0b1111001011 | divwuo | XO-Form |
+minor_31.csv | 0b1111101001 | divdo | XO-Form |
+minor_31.csv | 0b1111101011 | divwo | XO-Form |
+minor_59.csv | 0b10010 | fdivs | -Form |
+minor_59.csv | 0b10100 | fsubs | -Form |
+minor_59.csv | 0b10101 | fadds | -Form |
+minor_59.csv | 0b11001 | fmuls | -Form |
+minor_63h.csv | 0b0010 | fdiv | -Form |
+minor_63h.csv | 0b0100 | fsub | -Form |
+minor_63h.csv | 0b0101 | fadd | -Form |
+minor_63h.csv | 0b1001 | fmul | -Form |
+minor_63l.csv | 0b100000000 | 0/8=fcpsgn | -Form |
+"""]]
+
+## 2R-1W-CRo (RM-1P-2S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+major.csv | 20 | rlwimi | M-Form |
+minor_30.csv | 0b0110 | rldimi | MD-Form |
+minor_30.csv | 0b0111 | rldimi | MD-Form |
+"""]]
+
+## 2R-1W-CRi (RM-1P-3S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_31.csv | 0b0000001111 | isel | A-Form |
+minor_31.csv | 0b0000101111 | isel | A-Form |
+minor_31.csv | 0b0001001111 | isel | A-Form |
+minor_31.csv | 0b0001101111 | isel | A-Form |
+minor_31.csv | 0b0010001111 | isel | A-Form |
+minor_31.csv | 0b0010101111 | isel | A-Form |
+minor_31.csv | 0b0011001111 | isel | A-Form |
+minor_31.csv | 0b0011101111 | isel | A-Form |
+minor_31.csv | 0b0100001111 | isel | A-Form |
+minor_31.csv | 0b0100101111 | isel | A-Form |
+minor_31.csv | 0b0101001111 | isel | A-Form |
+minor_31.csv | 0b0101101111 | isel | A-Form |
+minor_31.csv | 0b0110001111 | isel | A-Form |
+minor_31.csv | 0b0110101111 | isel | A-Form |
+minor_31.csv | 0b0111001111 | isel | A-Form |
+minor_31.csv | 0b0111101111 | isel | A-Form |
+minor_31.csv | 0b1000001111 | isel | A-Form |
+minor_31.csv | 0b1000101111 | isel | A-Form |
+minor_31.csv | 0b1001001111 | isel | A-Form |
+minor_31.csv | 0b1001101111 | isel | A-Form |
+minor_31.csv | 0b1010001111 | isel | A-Form |
+minor_31.csv | 0b1010101111 | isel | A-Form |
+minor_31.csv | 0b1011001111 | isel | A-Form |
+minor_31.csv | 0b1011101111 | isel | A-Form |
+minor_31.csv | 0b1100001111 | isel | A-Form |
+minor_31.csv | 0b1100101111 | isel | A-Form |
+minor_31.csv | 0b1101001111 | isel | A-Form |
+minor_31.csv | 0b1101101111 | isel | A-Form |
+minor_31.csv | 0b1110001111 | isel | A-Form |
+minor_31.csv | 0b1110101111 | isel | A-Form |
+minor_31.csv | 0b1111001111 | isel | A-Form |
+minor_31.csv | 0b1111101111 | isel | A-Form |
+"""]]
+
+## 3R-1W-CRo (-)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_63h.csv | 0b0111 | fsel | -Form |
+minor_63h.csv | 0b1100 | fmsub | -Form |
+minor_63h.csv | 0b1101 | fmadd | -Form |
+minor_63h.csv | 0b1110 | fnmsub | -Form |
+minor_63h.csv | 0b1111 | fnmadd | -Form |
+"""]]
+
+## 3R-1W-CRio (RM-1P-3S1D)
+
+[[!table data="""
+CSV | opcode | asm | form |
+minor_59.csv | 0b11100 | fmsubs | -Form |
+minor_59.csv | 0b11101 | fmadds | -Form |
+minor_59.csv | 0b11110 | fnmsubs | -Form |
+minor_59.csv | 0b11111 | fnmadds | -Form |
+"""]]
+
+# svp64 remaps
+* **LDST-1R-1W-imm**: LDSTRM-2P-1S1D
+* **LDST-1R-2W-imm**: LDSTRM-2P-1S2D
+* **LDST-2R-imm**: LDSTRM-2P-2S
+* **LDST-2R-1W**: LDSTRM-2P-2S1D
+* **LDST-2R-1W-imm**: LDSTRM-2P-2S1D
+* **LDST-2R-2W**: LDSTRM-2P-2S1D
+* **LDST-3R**: LDSTRM-2P-3S
+* **LDST-3R-CRo**: LDSTRM-2P-3S
+* **LDST-3R-1W**: LDSTRM-2P-2S1D
+* **CRo**: -
+* **CRio**: RM-2P-1S1D
+* **CR=2R1W**: RM-1P-2S1D
+* **1W-CRi**: RM-2P-1S1D
+* **1R-CRo**: RM-2P-1S1D
+* **1R-CRo**: RM-2P-1S1D
+* **1R-CRio**: RM-2P-2S1D
+* **1R-1W**: RM-2P-1S1D
+* **1R-1W-imm**: RM-2P-1S1D
+* **1R-1W-CRo**: RM-2P-1S1D
+* **1R-1W-CRo**: RM-2P-1S1D
+* **2R-CRo**: RM-1P-2S1D
+* **2R-1W**: RM-1P-2S1D
+* **2R-1W-CRo**: RM-1P-2S1D
+* **2R-1W-CRo**: RM-1P-2S1D
+* **2R-1W-CRi**: RM-1P-3S1D
+* **3R-1W-CRo**: -
+* **3R-1W-CRio**: RM-1P-3S1D
+
+## LDSTRM-2P-1S1D
+
+[[!table format=csv file="openpower/isatables/LDSTRM-2P-1S1D.csv"]]
+
+## LDSTRM-2P-1S2D
+
+[[!table format=csv file="openpower/isatables/LDSTRM-2P-1S2D.csv"]]
+
+## LDSTRM-2P-2S
+
+[[!table format=csv file="openpower/isatables/LDSTRM-2P-2S.csv"]]
+
+## LDSTRM-2P-2S1D
+
+[[!table format=csv file="openpower/isatables/LDSTRM-2P-2S1D.csv"]]
+
+## LDSTRM-2P-3S
+
+[[!table format=csv file="openpower/isatables/LDSTRM-2P-3S.csv"]]
+
+## -
+
+[[!table format=csv file="openpower/isatables/-.csv"]]
+
+## RM-2P-1S1D
+
+[[!table format=csv file="openpower/isatables/RM-2P-1S1D.csv"]]
+
+## RM-1P-2S1D
+
+[[!table format=csv file="openpower/isatables/RM-1P-2S1D.csv"]]
+
+## RM-2P-2S1D
+
+[[!table format=csv file="openpower/isatables/RM-2P-2S1D.csv"]]
+
+## RM-1P-3S1D
+
+[[!table format=csv file="openpower/isatables/RM-1P-3S1D.csv"]]
+