[mirror_qemu.git] / target / ppc / insn32.decode

#
# Power ISA decode for 32-bit insns (opcode space 0)
#
# Copyright (c) 2021 Instituto de Pesquisas Eldorado (eldorado.org.br)
#
# This library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Lesser General Public
# License as published by the Free Software Foundation; either
# version 2.1 of the License, or (at your option) any later version.
#
# This library is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with this library; if not, see <http://www.gnu.org/licenses/>.
#

&D              rt ra si:int64_t
@D              ...... rt:5 ra:5 si:s16                 &D

&D_bf           bf l:bool ra imm
@D_bfs          ...... bf:3 - l:1 ra:5 imm:s16          &D_bf
@D_bfu          ...... bf:3 - l:1 ra:5 imm:16           &D_bf

%dq_si          4:s12  !function=times_16
%dq_rtp         22:4   !function=times_2
@DQ_rtp         ...... ....0 ra:5 ............ ....             &D rt=%dq_rtp si=%dq_si

%dq_rt_tsx      3:1 21:5
@DQ_TSX         ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%dq_rt_tsx

%rt_tsxp        21:1 22:4 !function=times_2
@DQ_TSXP        ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%rt_tsxp

%ds_si          2:s14  !function=times_4
@DS             ...... rt:5 ra:5 .............. ..      &D si=%ds_si

%ds_rtp         22:4   !function=times_2
@DS_rtp         ...... ....0 ra:5 .............. ..             &D rt=%ds_rtp si=%ds_si

&DX_b           vrt b
%dx_b           6:10 16:5 0:1
@DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b

&DX             rt d
%dx_d           6:s10 16:5 0:1
@DX             ...... rt:5  ..... .......... ..... .   &DX d=%dx_d

&VA             vrt vra vrb rc
@VA             ...... vrt:5 vra:5 vrb:5 rc:5 ......    &VA

&VN             vrt vra vrb sh
@VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN

&VX             vrt vra vrb
@VX             ...... vrt:5 vra:5 vrb:5 .......... .   &VX

&VX_uim4        vrt uim vrb
@VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........  &VX_uim4

&VX_tb          vrt vrb
@VX_tb          ...... vrt:5 ..... vrb:5 ...........    &VX_tb

&X              rt ra rb
@X              ...... rt:5 ra:5 rb:5 .......... .      &X

&X_rc           rt ra rb rc:bool
@X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc

%x_frtp         22:4 !function=times_2
%x_frap         17:4 !function=times_2
%x_frbp         12:4 !function=times_2
@X_tp_ap_bp_rc  ...... ....0 ....0 ....0 .......... rc:1        &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp

@X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp

&X_tb_rc        rt rb rc:bool
@X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc

@X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp

@X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp

@X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp

&X_bi           rt bi
@X_bi           ...... rt:5 bi:5 ----- .......... -     &X_bi

&X_bf           bf ra rb
@X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf

@X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp

@X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp

&X_bf_uim       bf uim rb
@X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim

@X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp

&X_bfl          bf l:bool ra rb
@X_bfl          ...... bf:3 - l:1 ra:5 rb:5 ..........- &X_bfl

%x_xt           0:1 21:5
&X_imm8         xt imm:uint8_t
@X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt

&X_uim5         xt uim:uint8_t
@X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt

&X_tb_sp_rc     rt rb sp rc:bool
@X_tb_sp_rc     ...... rt:5 sp:2 ... rb:5 .......... rc:1       &X_tb_sp_rc

@X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp

&X_tb_s_rc      rt rb s:bool rc:bool
@X_tb_s_rc      ...... rt:5 s:1 .... rb:5 .......... rc:1       &X_tb_s_rc

@X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp

%x_rt_tsx       0:1 21:5
@X_TSX          ...... ..... ra:5 rb:5 .......... .             &X rt=%x_rt_tsx
@X_TSXP         ...... ..... ra:5 rb:5 .......... .             &X rt=%rt_tsxp

&X_frtp_vrb     frtp vrb
@X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp

&X_vrt_frbp     vrt frbp
@X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp

&XX2            xt xb uim:uint8_t
%xx2_xt         0:1 21:5
%xx2_xb         1:1 11:5
@XX2            ...... ..... ... uim:2 ..... ......... ..       &XX2 xt=%xx2_xt xb=%xx2_xb

&Z22_bf_fra     bf fra dm
@Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra

%z22_frap       17:4 !function=times_2
@Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap

&Z22_ta_sh_rc   rt ra sh rc:bool
@Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc

%z22_frtp       22:4 !function=times_2
@Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap

&Z23_tab        frt fra frb rmc rc:bool
@Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab

%z23_frtp       22:4 !function=times_2
%z23_frap       17:4 !function=times_2
%z23_frbp       12:4 !function=times_2
@Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp

@Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp

&Z23_tb         frt frb r:bool rmc rc:bool
@Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb

@Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp

&Z23_te_tb      te frt frb rmc rc:bool
@Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb

@Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp

### Fixed-Point Load Instructions

LBZ             100010 ..... ..... ................     @D
LBZU            100011 ..... ..... ................     @D
LBZX            011111 ..... ..... ..... 0001010111 -   @X
LBZUX           011111 ..... ..... ..... 0001110111 -   @X

LHZ             101000 ..... ..... ................     @D
LHZU            101001 ..... ..... ................     @D
LHZX            011111 ..... ..... ..... 0100010111 -   @X
LHZUX           011111 ..... ..... ..... 0100110111 -   @X

LHA             101010 ..... ..... ................     @D
LHAU            101011 ..... ..... ................     @D
LHAX            011111 ..... ..... ..... 0101010111 -   @X
LHAXU           011111 ..... ..... ..... 0101110111 -   @X

LWZ             100000 ..... ..... ................     @D
LWZU            100001 ..... ..... ................     @D
LWZX            011111 ..... ..... ..... 0000010111 -   @X
LWZUX           011111 ..... ..... ..... 0000110111 -   @X

LWA             111010 ..... ..... ..............10     @DS
LWAX            011111 ..... ..... ..... 0101010101 -   @X
LWAUX           011111 ..... ..... ..... 0101110101 -   @X

LD              111010 ..... ..... ..............00     @DS
LDU             111010 ..... ..... ..............01     @DS
LDX             011111 ..... ..... ..... 0000010101 -   @X
LDUX            011111 ..... ..... ..... 0000110101 -   @X

LQ              111000 ..... ..... ............ ----    @DQ_rtp

### Fixed-Point Store Instructions

STB             100110 ..... ..... ................     @D
STBU            100111 ..... ..... ................     @D
STBX            011111 ..... ..... ..... 0011010111 -   @X
STBUX           011111 ..... ..... ..... 0011110111 -   @X

STH             101100 ..... ..... ................     @D
STHU            101101 ..... ..... ................     @D
STHX            011111 ..... ..... ..... 0110010111 -   @X
STHUX           011111 ..... ..... ..... 0110110111 -   @X

STW             100100 ..... ..... ................     @D
STWU            100101 ..... ..... ................     @D
STWX            011111 ..... ..... ..... 0010010111 -   @X
STWUX           011111 ..... ..... ..... 0010110111 -   @X

STD             111110 ..... ..... ..............00     @DS
STDU            111110 ..... ..... ..............01     @DS
STDX            011111 ..... ..... ..... 0010010101 -   @X
STDUX           011111 ..... ..... ..... 0010110101 -   @X

STQ             111110 ..... ..... ..............10     @DS_rtp

### Fixed-Point Compare Instructions

CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
CMPI            001011 ... - . ..... ................   @D_bfs
CMPLI           001010 ... - . ..... ................   @D_bfu

### Fixed-Point Arithmetic Instructions

ADDI            001110 ..... ..... ................     @D
ADDIS           001111 ..... ..... ................     @D

ADDPCIS         010011 ..... ..... .......... 00010 .   @DX

## Fixed-Point Logical Instructions

CFUGED          011111 ..... ..... ..... 0011011100 -   @X
CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
PDEPD           011111 ..... ..... ..... 0010011100 -   @X
PEXTD           011111 ..... ..... ..... 0010111100 -   @X

### Float-Point Load Instructions

LFS             110000 ..... ..... ................     @D
LFSU            110001 ..... ..... ................     @D
LFSX            011111 ..... ..... ..... 1000010111 -   @X
LFSUX           011111 ..... ..... ..... 1000110111 -   @X

LFD             110010 ..... ..... ................     @D
LFDU            110011 ..... ..... ................     @D
LFDX            011111 ..... ..... ..... 1001010111 -   @X
LFDUX           011111 ..... ..... ..... 1001110111 -   @X

### Float-Point Store Instructions

STFS            110100 ..... ...... ...............     @D
STFSU           110101 ..... ...... ...............     @D
STFSX           011111 ..... ...... .... 1010010111 -   @X
STFSUX          011111 ..... ...... .... 1010110111 -   @X

STFD            110110 ..... ...... ...............     @D
STFDU           110111 ..... ...... ...............     @D
STFDX           011111 ..... ...... .... 1011010111 -   @X
STFDUX          011111 ..... ...... .... 1011110111 -   @X

### Move To/From System Register Instructions

SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi

### Decimal Floating-Point Arithmetic Instructions

DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc

DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc

DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc

DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc

### Decimal Floating-Point Compare Instructions

DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp

DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp

### Decimal Floating-Point Test Instructions

DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap

DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap

DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp

DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp

DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp

### Decimal Floating-Point Quantum Adjustment Instructions

DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp

DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp

DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp

DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp

DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp

### Decimal Floating-Point Conversion Instructions

DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc

DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc

DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb

DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp

### Decimal Floating-Point Format Instructions

DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc

DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc

DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc

DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc

DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc

DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc

## Vector Bit Manipulation Instruction

VCFUGED         000100 ..... ..... ..... 10101001101    @VX
VCLZDM          000100 ..... ..... ..... 11110000100    @VX
VCTZDM          000100 ..... ..... ..... 11111000100    @VX
VPDEPD          000100 ..... ..... ..... 10111001101    @VX
VPEXTD          000100 ..... ..... ..... 10110001101    @VX

## Vector Permute and Formatting Instruction

VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA

VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4

VINSBLX         000100 ..... ..... ..... 01000001111    @VX
VINSBRX         000100 ..... ..... ..... 01100001111    @VX
VINSHLX         000100 ..... ..... ..... 01001001111    @VX
VINSHRX         000100 ..... ..... ..... 01101001111    @VX
VINSWLX         000100 ..... ..... ..... 01010001111    @VX
VINSWRX         000100 ..... ..... ..... 01110001111    @VX
VINSDLX         000100 ..... ..... ..... 01011001111    @VX
VINSDRX         000100 ..... ..... ..... 01111001111    @VX

VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4

VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
VINSWVRX        000100 ..... ..... ..... 00110001111    @VX

VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN

## Vector Mask Manipulation Instructions

MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b

VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb

VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb

# VSX Load/Store Instructions

LXV             111101 ..... ..... ............ . 001   @DQ_TSX
STXV            111101 ..... ..... ............ . 101   @DQ_TSX
LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP

## VSX splat instruction

XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2

## VSX Vector Load Special Value Instruction

LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
Commit	Line	Data
99082815 RH	1	#
	2	# Power ISA decode for 32-bit insns (opcode space 0)
	3	#
	4	# Copyright (c) 2021 Instituto de Pesquisas Eldorado (eldorado.org.br)
	5	#
	6	# This library is free software; you can redistribute it and/or
	7	# modify it under the terms of the GNU Lesser General Public
	8	# License as published by the Free Software Foundation; either
	9	# version 2.1 of the License, or (at your option) any later version.
	10	#
	11	# This library is distributed in the hope that it will be useful,
	12	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	13	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	14	# Lesser General Public License for more details.
	15	#
	16	# You should have received a copy of the GNU Lesser General Public
	17	# License along with this library; if not, see <http://www.gnu.org/licenses/>.
	18	#
5e560864 RH	19
	20	&D rt ra si:int64_t
	21	@D ...... rt:5 ra:5 si:s16 &D
	22
8f0a4b6a MF	23	&D_bf bf l:bool ra imm
	24	@D_bfs ...... bf:3 - l:1 ra:5 imm:s16 &D_bf
	25	@D_bfu ...... bf:3 - l:1 ra:5 imm:16 &D_bf
	26
e10271e1 MF	27	%dq_si 4:s12 !function=times_16
	28	%dq_rtp 22:4 !function=times_2
	29	@DQ_rtp ...... ....0 ra:5 ............ .... &D rt=%dq_rtp si=%dq_si
	30
72b70d5c LMC	31	%dq_rt_tsx 3:1 21:5
	32	@DQ_TSX ...... ..... ra:5 ............ .... &D si=%dq_si rt=%dq_rt_tsx
	33
96fa2632 LMC	34	%rt_tsxp 21:1 22:4 !function=times_2
	35	@DQ_TSXP ...... ..... ra:5 ............ .... &D si=%dq_si rt=%rt_tsxp
	36
f2aabda8 RH	37	%ds_si 2:s14 !function=times_4
	38	@DS ...... rt:5 ra:5 .............. .. &D si=%ds_si
	39
e10271e1 MF	40	%ds_rtp 22:4 !function=times_2
	41	@DS_rtp ...... ....0 ra:5 .............. .. &D rt=%ds_rtp si=%ds_si
	42
9193eaa9 MF	43	&DX_b vrt b
	44	%dx_b 6:10 16:5 0:1
	45	@DX_b ...... vrt:5 ..... .......... ..... . &DX_b b=%dx_b
	46
e7a5d578 MF	47	&DX rt d
	48	%dx_d 6:s10 16:5 0:1
	49	@DX ...... rt:5 ..... .......... ..... . &DX d=%dx_d
	50
28110b72 MF	51	&VA vrt vra vrb rc
	52	@VA ...... vrt:5 vra:5 vrb:5 rc:5 ...... &VA
	53
2c716b4d MF	54	&VN vrt vra vrb sh
	55	@VN ...... vrt:5 vra:5 vrb:5 .. sh:3 ...... &VN
	56
a5f56954 MF	57	&VX vrt vra vrb
	58	@VX ...... vrt:5 vra:5 vrb:5 .......... . &VX
	59
23832ae6 MF	60	&VX_uim4 vrt uim vrb
	61	@VX_uim4 ...... vrt:5 . uim:4 vrb:5 ........... &VX_uim4
	62
5f1470b0 MF	63	&VX_tb vrt vrb
	64	@VX_tb ...... vrt:5 ..... vrb:5 ........... &VX_tb
	65
f2aabda8 RH	66	&X rt ra rb
	67	@X ...... rt:5 ra:5 rb:5 .......... . &X
	68
afdc9310 LP	69	&X_rc rt ra rb rc:bool
	70	@X_rc ...... rt:5 ra:5 rb:5 .......... rc:1 &X_rc
	71
	72	%x_frtp 22:4 !function=times_2
	73	%x_frap 17:4 !function=times_2
	74	%x_frbp 12:4 !function=times_2
	75	@X_tp_ap_bp_rc ...... ....0 ....0 ....0 .......... rc:1 &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
	76
	77	@X_tp_a_bp_rc ...... ....0 ra:5 ....0 .......... rc:1 &X_rc rt=%x_frtp rb=%x_frbp
	78
c8ef4d1e LP	79	&X_tb_rc rt rb rc:bool
	80	@X_tb_rc ...... rt:5 ..... rb:5 .......... rc:1 &X_tb_rc
	81
	82	@X_tbp_rc ...... ....0 ..... ....0 .......... rc:1 &X_tb_rc rt=%x_frtp rb=%x_frbp
	83
	84	@X_tp_b_rc ...... ....0 ..... rb:5 .......... rc:1 &X_tb_rc rt=%x_frtp
	85
	86	@X_t_bp_rc ...... rt:5 ..... ....0 .......... rc:1 &X_tb_rc rb=%x_frbp
	87
9a14365e MF	88	&X_bi rt bi
	89	@X_bi ...... rt:5 bi:5 ----- .......... - &X_bi
	90
85c38a46 LP	91	&X_bf bf ra rb
	92	@X_bf ...... bf:3 .. ra:5 rb:5 .......... . &X_bf
	93
	94	@X_bf_ap_bp ...... bf:3 .. ....0 ....0 .......... . &X_bf ra=%x_frap rb=%x_frbp
	95
	96	@X_bf_a_bp ...... bf:3 .. ra:5 ....0 .......... . &X_bf rb=%x_frbp
	97
	98	&X_bf_uim bf uim rb
	99	@X_bf_uim ...... bf:3 . uim:6 rb:5 .......... . &X_bf_uim
	100
	101	@X_bf_uim_bp ...... bf:3 . uim:6 ....0 .......... . &X_bf_uim rb=%x_frbp
	102
8f0a4b6a MF	103	&X_bfl bf l:bool ra rb
	104	@X_bfl ...... bf:3 - l:1 ra:5 rb:5 ..........- &X_bfl
	105
6166fced BL	106	%x_xt 0:1 21:5
	107	&X_imm8 xt imm:uint8_t
	108	@X_imm8 ...... ..... .. imm:8 .......... . &X_imm8 xt=%x_xt
	109
6e26b85d MF	110	&X_uim5 xt uim:uint8_t
	111	@X_uim5 ...... ..... ..... uim:5 .......... . &X_uim5 xt=%x_xt
	112
a2329747 LP	113	&X_tb_sp_rc rt rb sp rc:bool
	114	@X_tb_sp_rc ...... rt:5 sp:2 ... rb:5 .......... rc:1 &X_tb_sp_rc
	115
	116	@X_tbp_sp_rc ...... ....0 sp:2 ... ....0 .......... rc:1 &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
	117
	118	&X_tb_s_rc rt rb s:bool rc:bool
	119	@X_tb_s_rc ...... rt:5 s:1 .... rb:5 .......... rc:1 &X_tb_s_rc
	120
	121	@X_tbp_s_rc ...... ....0 s:1 .... ....0 .......... rc:1 &X_tb_s_rc rt=%x_frtp rb=%x_frbp
	122
70426b5b LMC	123	%x_rt_tsx 0:1 21:5
70426b5b LMC	124	@X_TSX ...... ..... ra:5 rb:5 .......... . &X rt=%x_rt_tsx
226ce506	125	@X_TSXP ...... ..... ra:5 rb:5 .......... . &X rt=%rt_tsxp
70426b5b	126
d39b2cc7	127	&X_frtp_vrb frtp vrb
d39b2cc7 LP	128	@X_frtp_vrb ...... ....0 ..... vrb:5 .......... . &X_frtp_vrb frtp=%x_frtp
d39b2cc7 LP	129
328747f3	130	&X_vrt_frbp vrt frbp
328747f3 LP	131	@X_vrt_frbp ...... vrt:5 ..... ....0 .......... . &X_vrt_frbp frbp=%x_frbp
328747f3 LP	132
30dfca8d BL	133	&XX2 xt xb uim:uint8_t
	134	%xx2_xt 0:1 21:5
	135	%xx2_xb 1:1 11:5
	136	@XX2 ...... ..... ... uim:2 ..... ......... .. &XX2 xt=%xx2_xt xb=%xx2_xb
	137
87bc8e52 LP	138	&Z22_bf_fra bf fra dm
	139	@Z22_bf_fra ...... bf:3 .. fra:5 dm:6 ......... . &Z22_bf_fra
	140
	141	%z22_frap 17:4 !function=times_2
	142	@Z22_bf_frap ...... bf:3 .. ....0 dm:6 ......... . &Z22_bf_fra fra=%z22_frap
	143
a2329747 LP	144	&Z22_ta_sh_rc rt ra sh rc:bool
	145	@Z22_ta_sh_rc ...... rt:5 ra:5 sh:6 ......... rc:1 &Z22_ta_sh_rc
	146
	147	%z22_frtp 22:4 !function=times_2
	148	@Z22_tap_sh_rc ...... ....0 ....0 sh:6 ......... rc:1 &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
	149
a8f4bce6 LP	150	&Z23_tab frt fra frb rmc rc:bool
a8f4bce6 LP	151	@Z23_tab ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1 &Z23_tab
78464edb LP	152
78464edb LP	153	%z23_frtp 22:4 !function=times_2
a8f4bce6	154	%z23_frap 17:4 !function=times_2
78464edb	155	%z23_frbp 12:4 !function=times_2
a8f4bce6 LP	156	@Z23_tabp ...... ....0 ....0 ....0 rmc:2 ........ rc:1 &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
	157
	158	@Z23_tp_a_bp ...... ....0 fra:5 ....0 rmc:2 ........ rc:1 &Z23_tab frt=%z23_frtp frb=%z23_frbp
	159
	160	&Z23_tb frt frb r:bool rmc rc:bool
	161	@Z23_tb ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
	162
78464edb LP	163	@Z23_tbp ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
	164
	165	&Z23_te_tb te frt frb rmc rc:bool
	166	@Z23_te_tb ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1 &Z23_te_tb
	167
	168	@Z23_te_tbp ...... ....0 te:5 ....0 rmc:2 ........ rc:1 &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
	169
f2aabda8 RH	170	### Fixed-Point Load Instructions
	171
	172	LBZ 100010 ..... ..... ................ @D
	173	LBZU 100011 ..... ..... ................ @D
	174	LBZX 011111 ..... ..... ..... 0001010111 - @X
	175	LBZUX 011111 ..... ..... ..... 0001110111 - @X
	176
	177	LHZ 101000 ..... ..... ................ @D
	178	LHZU 101001 ..... ..... ................ @D
	179	LHZX 011111 ..... ..... ..... 0100010111 - @X
	180	LHZUX 011111 ..... ..... ..... 0100110111 - @X
	181
	182	LHA 101010 ..... ..... ................ @D
	183	LHAU 101011 ..... ..... ................ @D
	184	LHAX 011111 ..... ..... ..... 0101010111 - @X
	185	LHAXU 011111 ..... ..... ..... 0101110111 - @X
	186
	187	LWZ 100000 ..... ..... ................ @D
	188	LWZU 100001 ..... ..... ................ @D
	189	LWZX 011111 ..... ..... ..... 0000010111 - @X
	190	LWZUX 011111 ..... ..... ..... 0000110111 - @X
	191
	192	LWA 111010 ..... ..... ..............10 @DS
	193	LWAX 011111 ..... ..... ..... 0101010101 - @X
	194	LWAUX 011111 ..... ..... ..... 0101110101 - @X
	195
	196	LD 111010 ..... ..... ..............00 @DS
	197	LDU 111010 ..... ..... ..............01 @DS
	198	LDX 011111 ..... ..... ..... 0000010101 - @X
	199	LDUX 011111 ..... ..... ..... 0000110101 - @X
	200
e10271e1 MF	201	LQ 111000 ..... ..... ............ ---- @DQ_rtp
e10271e1 MF	202
e8f4c8d6 RH	203	### Fixed-Point Store Instructions
	204
	205	STB 100110 ..... ..... ................ @D
	206	STBU 100111 ..... ..... ................ @D
	207	STBX 011111 ..... ..... ..... 0011010111 - @X
	208	STBUX 011111 ..... ..... ..... 0011110111 - @X
	209
	210	STH 101100 ..... ..... ................ @D
	211	STHU 101101 ..... ..... ................ @D
	212	STHX 011111 ..... ..... ..... 0110010111 - @X
	213	STHUX 011111 ..... ..... ..... 0110110111 - @X
	214
	215	STW 100100 ..... ..... ................ @D
	216	STWU 100101 ..... ..... ................ @D
	217	STWX 011111 ..... ..... ..... 0010010111 - @X
	218	STWUX 011111 ..... ..... ..... 0010110111 - @X
	219
	220	STD 111110 ..... ..... ..............00 @DS
	221	STDU 111110 ..... ..... ..............01 @DS
	222	STDX 011111 ..... ..... ..... 0010010101 - @X
	223	STDUX 011111 ..... ..... ..... 0010110101 - @X
	224
e10271e1 MF	225	STQ 111110 ..... ..... ..............10 @DS_rtp
e10271e1 MF	226
8f0a4b6a MF	227	### Fixed-Point Compare Instructions
	228
	229	CMP 011111 ... - . ..... ..... 0000000000 - @X_bfl
	230	CMPL 011111 ... - . ..... ..... 0000100000 - @X_bfl
	231	CMPI 001011 ... - . ..... ................ @D_bfs
	232	CMPLI 001010 ... - . ..... ................ @D_bfu
	233
5e560864 RH	234	### Fixed-Point Arithmetic Instructions
	235
	236	ADDI 001110 ..... ..... ................ @D
	237	ADDIS 001111 ..... ..... ................ @D
9a14365e	238
e7a5d578 MF	239	ADDPCIS 010011 ..... ..... .......... 00010 . @DX
e7a5d578 MF	240
89ccd7dc MF	241	## Fixed-Point Logical Instructions
	242
	243	CFUGED 011111 ..... ..... ..... 0011011100 - @X
82be6e02	244	CNTLZDM 011111 ..... ..... ..... 0000111011 - @X
f356b3ba	245	CNTTZDM 011111 ..... ..... ..... 1000111011 - @X
21ba6e58	246	PDEPD 011111 ..... ..... ..... 0010011100 - @X
8bdb7606	247	PEXTD 011111 ..... ..... ..... 0010111100 - @X
89ccd7dc	248
fbd2e60e FEV	249	### Float-Point Load Instructions
	250
	251	LFS 110000 ..... ..... ................ @D
	252	LFSU 110001 ..... ..... ................ @D
	253	LFSX 011111 ..... ..... ..... 1000010111 - @X
	254	LFSUX 011111 ..... ..... ..... 1000110111 - @X
	255
	256	LFD 110010 ..... ..... ................ @D
	257	LFDU 110011 ..... ..... ................ @D
	258	LFDX 011111 ..... ..... ..... 1001010111 - @X
	259	LFDUX 011111 ..... ..... ..... 1001110111 - @X
	260
	261	### Float-Point Store Instructions
	262
	263	STFS 110100 ..... ...... ............... @D
	264	STFSU 110101 ..... ...... ............... @D
	265	STFSX 011111 ..... ...... .... 1010010111 - @X
	266	STFSUX 011111 ..... ...... .... 1010110111 - @X
	267
	268	STFD 110110 ..... ...... ............... @D
	269	STFDU 110111 ..... ...... ............... @D
	270	STFDX 011111 ..... ...... .... 1011010111 - @X
	271	STFDUX 011111 ..... ...... .... 1011110111 - @X
	272
9a14365e MF	273	### Move To/From System Register Instructions
	274
	275	SETBC 011111 ..... ..... ----- 0110000000 - @X_bi
	276	SETBCR 011111 ..... ..... ----- 0110100000 - @X_bi
	277	SETNBC 011111 ..... ..... ----- 0111000000 - @X_bi
	278	SETNBCR 011111 ..... ..... ----- 0111100000 - @X_bi
a5f56954	279
afdc9310 LP	280	### Decimal Floating-Point Arithmetic Instructions
	281
	282	DADD 111011 ..... ..... ..... 0000000010 . @X_rc
	283	DADDQ 111111 ..... ..... ..... 0000000010 . @X_tp_ap_bp_rc
	284
	285	DSUB 111011 ..... ..... ..... 1000000010 . @X_rc
	286	DSUBQ 111111 ..... ..... ..... 1000000010 . @X_tp_ap_bp_rc
	287
	288	DMUL 111011 ..... ..... ..... 0000100010 . @X_rc
	289	DMULQ 111111 ..... ..... ..... 0000100010 . @X_tp_ap_bp_rc
	290
	291	DDIV 111011 ..... ..... ..... 1000100010 . @X_rc
	292	DDIVQ 111111 ..... ..... ..... 1000100010 . @X_tp_ap_bp_rc
	293
85c38a46 LP	294	### Decimal Floating-Point Compare Instructions
	295
	296	DCMPU 111011 ... -- ..... ..... 1010000010 - @X_bf
	297	DCMPUQ 111111 ... -- ..... ..... 1010000010 - @X_bf_ap_bp
	298
	299	DCMPO 111011 ... -- ..... ..... 0010000010 - @X_bf
	300	DCMPOQ 111111 ... -- ..... ..... 0010000010 - @X_bf_ap_bp
	301
87bc8e52 LP	302	### Decimal Floating-Point Test Instructions
	303
	304	DTSTDC 111011 ... -- ..... ...... 011000010 - @Z22_bf_fra
	305	DTSTDCQ 111111 ... -- ..... ...... 011000010 - @Z22_bf_frap
	306
	307	DTSTDG 111011 ... -- ..... ...... 011100010 - @Z22_bf_fra
	308	DTSTDGQ 111111 ... -- ..... ...... 011100010 - @Z22_bf_frap
	309
85c38a46 LP	310	DTSTEX 111011 ... -- ..... ..... 0010100010 - @X_bf
	311	DTSTEXQ 111111 ... -- ..... ..... 0010100010 - @X_bf_ap_bp
	312
	313	DTSTSF 111011 ... -- ..... ..... 1010100010 - @X_bf
	314	DTSTSFQ 111111 ... -- ..... ..... 1010100010 - @X_bf_a_bp
	315
	316	DTSTSFI 111011 ... - ...... ..... 1010100011 - @X_bf_uim
	317	DTSTSFIQ 111111 ... - ...... ..... 1010100011 - @X_bf_uim_bp
	318
78464edb LP	319	### Decimal Floating-Point Quantum Adjustment Instructions
	320
	321	DQUAI 111011 ..... ..... ..... .. 01000011 . @Z23_te_tb
	322	DQUAIQ 111111 ..... ..... ..... .. 01000011 . @Z23_te_tbp
	323
a8f4bce6 LP	324	DQUA 111011 ..... ..... ..... .. 00000011 . @Z23_tab
	325	DQUAQ 111111 ..... ..... ..... .. 00000011 . @Z23_tabp
	326
	327	DRRND 111011 ..... ..... ..... .. 00100011 . @Z23_tab
	328	DRRNDQ 111111 ..... ..... ..... .. 00100011 . @Z23_tp_a_bp
	329
78464edb LP	330	DRINTX 111011 ..... ---- . ..... .. 01100011 . @Z23_tb
	331	DRINTXQ 111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
	332
	333	DRINTN 111011 ..... ---- . ..... .. 11100011 . @Z23_tb
	334	DRINTNQ 111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
	335
d39b2cc7 LP	336	### Decimal Floating-Point Conversion Instructions
d39b2cc7 LP	337
c8ef4d1e LP	338	DCTDP 111011 ..... ----- ..... 0100000010 . @X_tb_rc
	339	DCTQPQ 111111 ..... ----- ..... 0100000010 . @X_tp_b_rc
	340
	341	DRSP 111011 ..... ----- ..... 1100000010 . @X_tb_rc
	342	DRDPQ 111111 ..... ----- ..... 1100000010 . @X_tbp_rc
	343
	344	DCFFIX 111011 ..... ----- ..... 1100100010 . @X_tb_rc
	345	DCFFIXQ 111111 ..... ----- ..... 1100100010 . @X_tp_b_rc
d39b2cc7	346	DCFFIXQQ 111111 ..... 00000 ..... 1111100010 - @X_frtp_vrb
c8ef4d1e LP	347
	348	DCTFIX 111011 ..... ----- ..... 0100100010 . @X_tb_rc
	349	DCTFIXQ 111111 ..... ----- ..... 0100100010 . @X_t_bp_rc
328747f3	350	DCTFIXQQ 111111 ..... 00001 ..... 1111100010 - @X_vrt_frbp
d39b2cc7	351
afdc9310 LP	352	### Decimal Floating-Point Format Instructions
afdc9310 LP	353
a2329747 LP	354	DDEDPD 111011 ..... .. --- ..... 0101000010 . @X_tb_sp_rc
	355	DDEDPDQ 111111 ..... .. --- ..... 0101000010 . @X_tbp_sp_rc
	356
	357	DENBCD 111011 ..... . ---- ..... 1101000010 . @X_tb_s_rc
	358	DENBCDQ 111111 ..... . ---- ..... 1101000010 . @X_tbp_s_rc
	359
c8ef4d1e LP	360	DXEX 111011 ..... ----- ..... 0101100010 . @X_tb_rc
	361	DXEXQ 111111 ..... ----- ..... 0101100010 . @X_t_bp_rc
	362
afdc9310 LP	363	DIEX 111011 ..... ..... ..... 1101100010 . @X_rc
	364	DIEXQ 111111 ..... ..... ..... 1101100010 . @X_tp_a_bp_rc
	365
a2329747 LP	366	DSCLI 111011 ..... ..... ...... 001000010 . @Z22_ta_sh_rc
	367	DSCLIQ 111111 ..... ..... ...... 001000010 . @Z22_tap_sh_rc
	368
	369	DSCRI 111011 ..... ..... ...... 001100010 . @Z22_ta_sh_rc
	370	DSCRIQ 111111 ..... ..... ...... 001100010 . @Z22_tap_sh_rc
	371
a5f56954 MF	372	## Vector Bit Manipulation Instruction
	373
	374	VCFUGED 000100 ..... ..... ..... 10101001101 @VX
a2c975e1 MF	375	VCLZDM 000100 ..... ..... ..... 11110000100 @VX
a2c975e1 MF	376	VCTZDM 000100 ..... ..... ..... 11111000100 @VX
00a16569 MF	377	VPDEPD 000100 ..... ..... ..... 10111001101 @VX
00a16569 MF	378	VPEXTD 000100 ..... ..... ..... 10110001101 @VX
2c716b4d MF	379
	380	## Vector Permute and Formatting Instruction
	381
28110b72 MF	382	VEXTDUBVLX 000100 ..... ..... ..... ..... 011000 @VA
	383	VEXTDUBVRX 000100 ..... ..... ..... ..... 011001 @VA
	384	VEXTDUHVLX 000100 ..... ..... ..... ..... 011010 @VA
	385	VEXTDUHVRX 000100 ..... ..... ..... ..... 011011 @VA
	386	VEXTDUWVLX 000100 ..... ..... ..... ..... 011100 @VA
	387	VEXTDUWVRX 000100 ..... ..... ..... ..... 011101 @VA
	388	VEXTDDVLX 000100 ..... ..... ..... ..... 011110 @VA
	389	VEXTDDVRX 000100 ..... ..... ..... ..... 011111 @VA
	390
b422c2cb MF	391	VINSERTB 000100 ..... - .... ..... 01100001101 @VX_uim4
	392	VINSERTH 000100 ..... - .... ..... 01101001101 @VX_uim4
	393	VINSERTW 000100 ..... - .... ..... 01110001101 @VX_uim4
	394	VINSERTD 000100 ..... - .... ..... 01111001101 @VX_uim4
	395
2cc12af3 MF	396	VINSBLX 000100 ..... ..... ..... 01000001111 @VX
	397	VINSBRX 000100 ..... ..... ..... 01100001111 @VX
	398	VINSHLX 000100 ..... ..... ..... 01001001111 @VX
	399	VINSHRX 000100 ..... ..... ..... 01101001111 @VX
	400	VINSWLX 000100 ..... ..... ..... 01010001111 @VX
	401	VINSWRX 000100 ..... ..... ..... 01110001111 @VX
	402	VINSDLX 000100 ..... ..... ..... 01011001111 @VX
	403	VINSDRX 000100 ..... ..... ..... 01111001111 @VX
	404
23832ae6 MF	405	VINSW 000100 ..... - .... ..... 00011001111 @VX_uim4
	406	VINSD 000100 ..... - .... ..... 00111001111 @VX_uim4
	407
2c9f7958 MF	408	VINSBVLX 000100 ..... ..... ..... 00000001111 @VX
	409	VINSBVRX 000100 ..... ..... ..... 00100001111 @VX
	410	VINSHVLX 000100 ..... ..... ..... 00001001111 @VX
	411	VINSHVRX 000100 ..... ..... ..... 00101001111 @VX
	412	VINSWVLX 000100 ..... ..... ..... 00010001111 @VX
	413	VINSWVRX 000100 ..... ..... ..... 00110001111 @VX
	414
2c716b4d MF	415	VSLDBI 000100 ..... ..... ..... 00 ... 010110 @VN
2c716b4d MF	416	VSRDBI 000100 ..... ..... ..... 01 ... 010110 @VN
72b70d5c	417
5f1470b0 MF	418	## Vector Mask Manipulation Instructions
5f1470b0 MF	419
9193eaa9 MF	420	MTVSRBM 000100 ..... 10000 ..... 11001000010 @VX_tb
	421	MTVSRHM 000100 ..... 10001 ..... 11001000010 @VX_tb
	422	MTVSRWM 000100 ..... 10010 ..... 11001000010 @VX_tb
	423	MTVSRDM 000100 ..... 10011 ..... 11001000010 @VX_tb
	424	MTVSRQM 000100 ..... 10100 ..... 11001000010 @VX_tb
	425	MTVSRBMI 000100 ..... ..... .......... 01010 . @DX_b
	426
5f1470b0 MF	427	VEXPANDBM 000100 ..... 00000 ..... 11001000010 @VX_tb
	428	VEXPANDHM 000100 ..... 00001 ..... 11001000010 @VX_tb
	429	VEXPANDWM 000100 ..... 00010 ..... 11001000010 @VX_tb
	430	VEXPANDDM 000100 ..... 00011 ..... 11001000010 @VX_tb
	431	VEXPANDQM 000100 ..... 00100 ..... 11001000010 @VX_tb
	432
17868d81 MF	433	VEXTRACTBM 000100 ..... 01000 ..... 11001000010 @VX_tb
	434	VEXTRACTHM 000100 ..... 01001 ..... 11001000010 @VX_tb
	435	VEXTRACTWM 000100 ..... 01010 ..... 11001000010 @VX_tb
	436	VEXTRACTDM 000100 ..... 01011 ..... 11001000010 @VX_tb
	437	VEXTRACTQM 000100 ..... 01100 ..... 11001000010 @VX_tb
	438
72b70d5c LMC	439	# VSX Load/Store Instructions
	440
	441	LXV 111101 ..... ..... ............ . 001 @DQ_TSX
	442	STXV 111101 ..... ..... ............ . 101 @DQ_TSX
96fa2632 LMC	443	LXVP 000110 ..... ..... ............ 0000 @DQ_TSXP
96fa2632 LMC	444	STXVP 000110 ..... ..... ............ 0001 @DQ_TSXP
70426b5b LMC	445	LXVX 011111 ..... ..... ..... 0100 - 01100 . @X_TSX
70426b5b LMC	446	STXVX 011111 ..... ..... ..... 0110001100 . @X_TSX
226ce506 LMC	447	LXVPX 011111 ..... ..... ..... 0101001101 - @X_TSXP
226ce506 LMC	448	STXVPX 011111 ..... ..... ..... 0111001101 - @X_TSXP
30dfca8d BL	449
	450	## VSX splat instruction
	451
6166fced	452	XXSPLTIB 111100 ..... 00 ........ 0101101000 . @X_imm8
30dfca8d	453	XXSPLTW 111100 ..... ---.. ..... 010100100 . . @XX2
6e26b85d MF	454
	455	## VSX Vector Load Special Value Instruction
	456
	457	LXVKQ 111100 ..... 11111 ..... 0101101000 . @X_uim5