target/ppc: Implement xxgenpcv[bhwd]m instruction
[qemu/armbru.git] / target / ppc / insn32.decode
blob22b245607b0ff21d2b42f9491091fc686f5c8193
2 # Power ISA decode for 32-bit insns (opcode space 0)
4 # Copyright (c) 2021 Instituto de Pesquisas Eldorado (eldorado.org.br)
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.
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.
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/>.
20 &D              rt ra si:int64_t
21 @D              ...... rt:5 ra:5 si:s16                 &D
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
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
31 %dq_rt_tsx      3:1 21:5
32 @DQ_TSX         ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%dq_rt_tsx
34 %rt_tsxp        21:1 22:4 !function=times_2
35 @DQ_TSXP        ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%rt_tsxp
37 %ds_si          2:s14  !function=times_4
38 @DS             ...... rt:5 ra:5 .............. ..      &D si=%ds_si
40 %ds_rtp         22:4   !function=times_2
41 @DS_rtp         ...... ....0 ra:5 .............. ..             &D rt=%ds_rtp si=%ds_si
43 &DX_b           vrt b
44 %dx_b           6:10 16:5 0:1
45 @DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b
47 &DX             rt d
48 %dx_d           6:s10 16:5 0:1
49 @DX             ...... rt:5  ..... .......... ..... .   &DX d=%dx_d
51 &VA             vrt vra vrb rc
52 @VA             ...... vrt:5 vra:5 vrb:5 rc:5 ......    &VA
54 &VC             vrt vra vrb rc:bool
55 @VC             ...... vrt:5 vra:5 vrb:5 rc:1 ..........        &VC
57 &VN             vrt vra vrb sh
58 @VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
60 &VX             vrt vra vrb
61 @VX             ...... vrt:5 vra:5 vrb:5 .......... .   &VX
63 &VX_bf          bf vra vrb
64 @VX_bf          ...... bf:3 .. vra:5 vrb:5 ...........          &VX_bf
66 &VX_mp          rt mp:bool vrb
67 @VX_mp          ...... rt:5 .... mp:1 vrb:5 ...........         &VX_mp
69 &VX_n           rt vrb n
70 @VX_n           ...... rt:5 .. n:3 vrb:5 ...........            &VX_n
72 &VX_tb_rc       vrt vrb rc:bool
73 @VX_tb_rc       ...... vrt:5 ..... vrb:5 rc:1 ..........        &VX_tb_rc
75 &VX_uim4        vrt uim vrb
76 @VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........  &VX_uim4
78 &VX_tb          vrt vrb
79 @VX_tb          ...... vrt:5 ..... vrb:5 ...........    &VX_tb
81 &X              rt ra rb
82 @X              ...... rt:5 ra:5 rb:5 .......... .      &X
84 &X_rc           rt ra rb rc:bool
85 @X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc
87 %x_frtp         22:4 !function=times_2
88 %x_frap         17:4 !function=times_2
89 %x_frbp         12:4 !function=times_2
90 @X_tp_ap_bp_rc  ...... ....0 ....0 ....0 .......... rc:1        &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
92 @X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp
94 &X_tb_rc        rt rb rc:bool
95 @X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc
97 @X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp
99 @X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp
101 @X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp
103 &X_bi           rt bi
104 @X_bi           ...... rt:5 bi:5 ----- .......... -     &X_bi
106 &X_bf           bf ra rb
107 @X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
109 @X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp
111 @X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp
113 &X_bf_uim       bf uim rb
114 @X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim
116 @X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp
118 &X_bfl          bf l:bool ra rb
119 @X_bfl          ...... bf:3 - l:1 ra:5 rb:5 ..........- &X_bfl
121 %x_xt           0:1 21:5
122 &X_imm5         xt imm:uint8_t vrb
123 @X_imm5         ...... ..... imm:5 vrb:5 .......... .           &X_imm5 xt=%x_xt
125 &X_imm8         xt imm:uint8_t
126 @X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt
128 &X_uim5         xt uim:uint8_t
129 @X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt
131 &X_tb_sp_rc     rt rb sp rc:bool
132 @X_tb_sp_rc     ...... rt:5 sp:2 ... rb:5 .......... rc:1       &X_tb_sp_rc
134 @X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
136 &X_tb_s_rc      rt rb s:bool rc:bool
137 @X_tb_s_rc      ...... rt:5 s:1 .... rb:5 .......... rc:1       &X_tb_s_rc
139 @X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp
141 %x_rt_tsx       0:1 21:5
142 @X_TSX          ...... ..... ra:5 rb:5 .......... .             &X rt=%x_rt_tsx
143 @X_TSXP         ...... ..... ra:5 rb:5 .......... .             &X rt=%rt_tsxp
145 &X_frtp_vrb     frtp vrb
146 @X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
148 &X_vrt_frbp     vrt frbp
149 @X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
151 %xx_xt          0:1 21:5
152 %xx_xb          1:1 11:5
153 %xx_xa          2:1 16:5
154 %xx_xc          3:1 6:5
155 &XX2            xt xb uim:uint8_t
156 @XX2            ...... ..... ... uim:2 ..... ......... ..       &XX2 xt=%xx_xt xb=%xx_xb
158 &XX3            xt xa xb
159 @XX3            ...... ..... ..... ..... ........ ...           &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
161 &XX3_dm         xt xa xb dm
162 @XX3_dm         ...... ..... ..... ..... . dm:2 ..... ...       &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
164 &XX4            xt xa xb xc
165 @XX4            ...... ..... ..... ..... ..... .. ....          &XX4 xt=%xx_xt xa=%xx_xa xb=%xx_xb xc=%xx_xc
167 &Z22_bf_fra     bf fra dm
168 @Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra
170 %z22_frap       17:4 !function=times_2
171 @Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap
173 &Z22_ta_sh_rc   rt ra sh rc:bool
174 @Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc
176 %z22_frtp       22:4 !function=times_2
177 @Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
179 &Z23_tab        frt fra frb rmc rc:bool
180 @Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab
182 %z23_frtp       22:4 !function=times_2
183 %z23_frap       17:4 !function=times_2
184 %z23_frbp       12:4 !function=times_2
185 @Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
187 @Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp
189 &Z23_tb         frt frb r:bool rmc rc:bool
190 @Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
192 @Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
194 &Z23_te_tb      te frt frb rmc rc:bool
195 @Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb
197 @Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
199 ### Fixed-Point Load Instructions
201 LBZ             100010 ..... ..... ................     @D
202 LBZU            100011 ..... ..... ................     @D
203 LBZX            011111 ..... ..... ..... 0001010111 -   @X
204 LBZUX           011111 ..... ..... ..... 0001110111 -   @X
206 LHZ             101000 ..... ..... ................     @D
207 LHZU            101001 ..... ..... ................     @D
208 LHZX            011111 ..... ..... ..... 0100010111 -   @X
209 LHZUX           011111 ..... ..... ..... 0100110111 -   @X
211 LHA             101010 ..... ..... ................     @D
212 LHAU            101011 ..... ..... ................     @D
213 LHAX            011111 ..... ..... ..... 0101010111 -   @X
214 LHAXU           011111 ..... ..... ..... 0101110111 -   @X
216 LWZ             100000 ..... ..... ................     @D
217 LWZU            100001 ..... ..... ................     @D
218 LWZX            011111 ..... ..... ..... 0000010111 -   @X
219 LWZUX           011111 ..... ..... ..... 0000110111 -   @X
221 LWA             111010 ..... ..... ..............10     @DS
222 LWAX            011111 ..... ..... ..... 0101010101 -   @X
223 LWAUX           011111 ..... ..... ..... 0101110101 -   @X
225 LD              111010 ..... ..... ..............00     @DS
226 LDU             111010 ..... ..... ..............01     @DS
227 LDX             011111 ..... ..... ..... 0000010101 -   @X
228 LDUX            011111 ..... ..... ..... 0000110101 -   @X
230 LQ              111000 ..... ..... ............ ----    @DQ_rtp
232 ### Fixed-Point Store Instructions
234 STB             100110 ..... ..... ................     @D
235 STBU            100111 ..... ..... ................     @D
236 STBX            011111 ..... ..... ..... 0011010111 -   @X
237 STBUX           011111 ..... ..... ..... 0011110111 -   @X
239 STH             101100 ..... ..... ................     @D
240 STHU            101101 ..... ..... ................     @D
241 STHX            011111 ..... ..... ..... 0110010111 -   @X
242 STHUX           011111 ..... ..... ..... 0110110111 -   @X
244 STW             100100 ..... ..... ................     @D
245 STWU            100101 ..... ..... ................     @D
246 STWX            011111 ..... ..... ..... 0010010111 -   @X
247 STWUX           011111 ..... ..... ..... 0010110111 -   @X
249 STD             111110 ..... ..... ..............00     @DS
250 STDU            111110 ..... ..... ..............01     @DS
251 STDX            011111 ..... ..... ..... 0010010101 -   @X
252 STDUX           011111 ..... ..... ..... 0010110101 -   @X
254 STQ             111110 ..... ..... ..............10     @DS_rtp
256 ### Fixed-Point Compare Instructions
258 CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
259 CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
260 CMPI            001011 ... - . ..... ................   @D_bfs
261 CMPLI           001010 ... - . ..... ................   @D_bfu
263 ### Fixed-Point Arithmetic Instructions
265 ADDI            001110 ..... ..... ................     @D
266 ADDIS           001111 ..... ..... ................     @D
268 ADDPCIS         010011 ..... ..... .......... 00010 .   @DX
270 ## Fixed-Point Logical Instructions
272 CFUGED          011111 ..... ..... ..... 0011011100 -   @X
273 CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
274 CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
275 PDEPD           011111 ..... ..... ..... 0010011100 -   @X
276 PEXTD           011111 ..... ..... ..... 0010111100 -   @X
278 ### Float-Point Load Instructions
280 LFS             110000 ..... ..... ................     @D
281 LFSU            110001 ..... ..... ................     @D
282 LFSX            011111 ..... ..... ..... 1000010111 -   @X
283 LFSUX           011111 ..... ..... ..... 1000110111 -   @X
285 LFD             110010 ..... ..... ................     @D
286 LFDU            110011 ..... ..... ................     @D
287 LFDX            011111 ..... ..... ..... 1001010111 -   @X
288 LFDUX           011111 ..... ..... ..... 1001110111 -   @X
290 ### Float-Point Store Instructions
292 STFS            110100 ..... ...... ...............     @D
293 STFSU           110101 ..... ...... ...............     @D
294 STFSX           011111 ..... ...... .... 1010010111 -   @X
295 STFSUX          011111 ..... ...... .... 1010110111 -   @X
297 STFD            110110 ..... ...... ...............     @D
298 STFDU           110111 ..... ...... ...............     @D
299 STFDX           011111 ..... ...... .... 1011010111 -   @X
300 STFDUX          011111 ..... ...... .... 1011110111 -   @X
302 ### Move To/From System Register Instructions
304 SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
305 SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
306 SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
307 SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi
309 ### Decimal Floating-Point Arithmetic Instructions
311 DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
312 DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc
314 DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
315 DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc
317 DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
318 DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc
320 DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
321 DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc
323 ### Decimal Floating-Point Compare Instructions
325 DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
326 DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp
328 DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
329 DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp
331 ### Decimal Floating-Point Test Instructions
333 DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
334 DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap
336 DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
337 DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap
339 DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
340 DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp
342 DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
343 DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp
345 DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
346 DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp
348 ### Decimal Floating-Point Quantum Adjustment Instructions
350 DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
351 DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp
353 DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
354 DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp
356 DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
357 DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp
359 DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
360 DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
362 DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
363 DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
365 ### Decimal Floating-Point Conversion Instructions
367 DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
368 DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc
370 DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
371 DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc
373 DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
374 DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
375 DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb
377 DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
378 DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
379 DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp
381 ### Decimal Floating-Point Format Instructions
383 DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
384 DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc
386 DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
387 DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc
389 DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
390 DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc
392 DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
393 DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc
395 DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
396 DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc
398 DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
399 DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc
401 ## Vector Integer Instructions
403 VCMPEQUB        000100 ..... ..... ..... . 0000000110   @VC
404 VCMPEQUH        000100 ..... ..... ..... . 0001000110   @VC
405 VCMPEQUW        000100 ..... ..... ..... . 0010000110   @VC
406 VCMPEQUD        000100 ..... ..... ..... . 0011000111   @VC
407 VCMPEQUQ        000100 ..... ..... ..... . 0111000111   @VC
409 VCMPGTSB        000100 ..... ..... ..... . 1100000110   @VC
410 VCMPGTSH        000100 ..... ..... ..... . 1101000110   @VC
411 VCMPGTSW        000100 ..... ..... ..... . 1110000110   @VC
412 VCMPGTSD        000100 ..... ..... ..... . 1111000111   @VC
413 VCMPGTSQ        000100 ..... ..... ..... . 1110000111   @VC
415 VCMPGTUB        000100 ..... ..... ..... . 1000000110   @VC
416 VCMPGTUH        000100 ..... ..... ..... . 1001000110   @VC
417 VCMPGTUW        000100 ..... ..... ..... . 1010000110   @VC
418 VCMPGTUD        000100 ..... ..... ..... . 1011000111   @VC
419 VCMPGTUQ        000100 ..... ..... ..... . 1010000111   @VC
421 VCMPNEB         000100 ..... ..... ..... . 0000000111   @VC
422 VCMPNEH         000100 ..... ..... ..... . 0001000111   @VC
423 VCMPNEW         000100 ..... ..... ..... . 0010000111   @VC
425 VCMPNEZB        000100 ..... ..... ..... . 0100000111   @VC
426 VCMPNEZH        000100 ..... ..... ..... . 0101000111   @VC
427 VCMPNEZW        000100 ..... ..... ..... . 0110000111   @VC
429 VCMPSQ          000100 ... -- ..... ..... 00101000001   @VX_bf
430 VCMPUQ          000100 ... -- ..... ..... 00100000001   @VX_bf
432 ## Vector Bit Manipulation Instruction
434 VGNB            000100 ..... -- ... ..... 10011001100   @VX_n
436 VCFUGED         000100 ..... ..... ..... 10101001101    @VX
437 VCLZDM          000100 ..... ..... ..... 11110000100    @VX
438 VCTZDM          000100 ..... ..... ..... 11111000100    @VX
439 VPDEPD          000100 ..... ..... ..... 10111001101    @VX
440 VPEXTD          000100 ..... ..... ..... 10110001101    @VX
442 ## Vector Permute and Formatting Instruction
444 VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
445 VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
446 VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
447 VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
448 VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
449 VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
450 VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
451 VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA
453 VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
454 VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
455 VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
456 VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4
458 VINSBLX         000100 ..... ..... ..... 01000001111    @VX
459 VINSBRX         000100 ..... ..... ..... 01100001111    @VX
460 VINSHLX         000100 ..... ..... ..... 01001001111    @VX
461 VINSHRX         000100 ..... ..... ..... 01101001111    @VX
462 VINSWLX         000100 ..... ..... ..... 01010001111    @VX
463 VINSWRX         000100 ..... ..... ..... 01110001111    @VX
464 VINSDLX         000100 ..... ..... ..... 01011001111    @VX
465 VINSDRX         000100 ..... ..... ..... 01111001111    @VX
467 VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
468 VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4
470 VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
471 VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
472 VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
473 VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
474 VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
475 VINSWVRX        000100 ..... ..... ..... 00110001111    @VX
477 VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
478 VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN
480 VPERM           000100 ..... ..... ..... ..... 101011   @VA
481 VPERMR          000100 ..... ..... ..... ..... 111011   @VA
483 VSEL            000100 ..... ..... ..... ..... 101010   @VA
485 ## Vector Integer Shift Instruction
487 VSLB            000100 ..... ..... ..... 00100000100    @VX
488 VSLH            000100 ..... ..... ..... 00101000100    @VX
489 VSLW            000100 ..... ..... ..... 00110000100    @VX
490 VSLD            000100 ..... ..... ..... 10111000100    @VX
491 VSLQ            000100 ..... ..... ..... 00100000101    @VX
493 VSRB            000100 ..... ..... ..... 01000000100    @VX
494 VSRH            000100 ..... ..... ..... 01001000100    @VX
495 VSRW            000100 ..... ..... ..... 01010000100    @VX
496 VSRD            000100 ..... ..... ..... 11011000100    @VX
497 VSRQ            000100 ..... ..... ..... 01000000101    @VX
499 VSRAB           000100 ..... ..... ..... 01100000100    @VX
500 VSRAH           000100 ..... ..... ..... 01101000100    @VX
501 VSRAW           000100 ..... ..... ..... 01110000100    @VX
502 VSRAD           000100 ..... ..... ..... 01111000100    @VX
503 VSRAQ           000100 ..... ..... ..... 01100000101    @VX
505 VRLB            000100 ..... ..... ..... 00000000100    @VX
506 VRLH            000100 ..... ..... ..... 00001000100    @VX
507 VRLW            000100 ..... ..... ..... 00010000100    @VX
508 VRLD            000100 ..... ..... ..... 00011000100    @VX
509 VRLQ            000100 ..... ..... ..... 00000000101    @VX
511 VRLWMI          000100 ..... ..... ..... 00010000101    @VX
512 VRLDMI          000100 ..... ..... ..... 00011000101    @VX
513 VRLQMI          000100 ..... ..... ..... 00001000101    @VX
515 VRLWNM          000100 ..... ..... ..... 00110000101    @VX
516 VRLDNM          000100 ..... ..... ..... 00111000101    @VX
517 VRLQNM          000100 ..... ..... ..... 00101000101    @VX
519 ## Vector Integer Arithmetic Instructions
521 VEXTSB2W        000100 ..... 10000 ..... 11000000010    @VX_tb
522 VEXTSH2W        000100 ..... 10001 ..... 11000000010    @VX_tb
523 VEXTSB2D        000100 ..... 11000 ..... 11000000010    @VX_tb
524 VEXTSH2D        000100 ..... 11001 ..... 11000000010    @VX_tb
525 VEXTSW2D        000100 ..... 11010 ..... 11000000010    @VX_tb
526 VEXTSD2Q        000100 ..... 11011 ..... 11000000010    @VX_tb
528 ## Vector Mask Manipulation Instructions
530 MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
531 MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
532 MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
533 MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
534 MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
535 MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b
537 VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
538 VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
539 VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
540 VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
541 VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb
543 VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
544 VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
545 VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
546 VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
547 VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb
549 VCNTMBB         000100 ..... 1100 . ..... 11001000010   @VX_mp
550 VCNTMBH         000100 ..... 1101 . ..... 11001000010   @VX_mp
551 VCNTMBW         000100 ..... 1110 . ..... 11001000010   @VX_mp
552 VCNTMBD         000100 ..... 1111 . ..... 11001000010   @VX_mp
554 ## Vector Multiply Instruction
556 VMULESB         000100 ..... ..... ..... 01100001000    @VX
557 VMULOSB         000100 ..... ..... ..... 00100001000    @VX
558 VMULEUB         000100 ..... ..... ..... 01000001000    @VX
559 VMULOUB         000100 ..... ..... ..... 00000001000    @VX
561 VMULESH         000100 ..... ..... ..... 01101001000    @VX
562 VMULOSH         000100 ..... ..... ..... 00101001000    @VX
563 VMULEUH         000100 ..... ..... ..... 01001001000    @VX
564 VMULOUH         000100 ..... ..... ..... 00001001000    @VX
566 VMULESW         000100 ..... ..... ..... 01110001000    @VX
567 VMULOSW         000100 ..... ..... ..... 00110001000    @VX
568 VMULEUW         000100 ..... ..... ..... 01010001000    @VX
569 VMULOUW         000100 ..... ..... ..... 00010001000    @VX
571 VMULESD         000100 ..... ..... ..... 01111001000    @VX
572 VMULOSD         000100 ..... ..... ..... 00111001000    @VX
573 VMULEUD         000100 ..... ..... ..... 01011001000    @VX
574 VMULOUD         000100 ..... ..... ..... 00011001000    @VX
576 VMULHSW         000100 ..... ..... ..... 01110001001    @VX
577 VMULHUW         000100 ..... ..... ..... 01010001001    @VX
578 VMULHSD         000100 ..... ..... ..... 01111001001    @VX
579 VMULHUD         000100 ..... ..... ..... 01011001001    @VX
580 VMULLD          000100 ..... ..... ..... 00111001001    @VX
582 ## Vector Multiply-Sum Instructions
584 VMSUMCUD        000100 ..... ..... ..... ..... 010111   @VA
585 VMSUMUDM        000100 ..... ..... ..... ..... 100011   @VA
587 ## Vector String Instructions
589 VSTRIBL         000100 ..... 00000 ..... . 0000001101   @VX_tb_rc
590 VSTRIBR         000100 ..... 00001 ..... . 0000001101   @VX_tb_rc
591 VSTRIHL         000100 ..... 00010 ..... . 0000001101   @VX_tb_rc
592 VSTRIHR         000100 ..... 00011 ..... . 0000001101   @VX_tb_rc
594 VCLRLB          000100 ..... ..... ..... 00110001101    @VX
595 VCLRRB          000100 ..... ..... ..... 00111001101    @VX
597 # VSX Load/Store Instructions
599 LXV             111101 ..... ..... ............ . 001   @DQ_TSX
600 STXV            111101 ..... ..... ............ . 101   @DQ_TSX
601 LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
602 STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
603 LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
604 STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
605 LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
606 STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP
608 ## VSX splat instruction
610 XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
611 XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2
613 ## VSX Permute Instructions
615 XXPERM          111100 ..... ..... ..... 00011010 ...   @XX3
616 XXPERMR         111100 ..... ..... ..... 00111010 ...   @XX3
617 XXPERMDI        111100 ..... ..... ..... 0 .. 01010 ... @XX3_dm
619 XXSEL           111100 ..... ..... ..... ..... 11 ....  @XX4
621 ## VSX Vector Generate PCV
623 XXGENPCVBM      111100 ..... ..... ..... 1110010100 .   @X_imm5
624 XXGENPCVHM      111100 ..... ..... ..... 1110010101 .   @X_imm5
625 XXGENPCVWM      111100 ..... ..... ..... 1110110100 .   @X_imm5
626 XXGENPCVDM      111100 ..... ..... ..... 1110110101 .   @X_imm5
628 ## VSX Vector Load Special Value Instruction
630 LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
632 ## VSX Comparison Instructions
634 XSMAXCDP        111100 ..... ..... ..... 10000000 ...   @XX3
635 XSMINCDP        111100 ..... ..... ..... 10001000 ...   @XX3
636 XSMAXJDP        111100 ..... ..... ..... 10010000 ...   @XX3
637 XSMINJDP        111100 ..... ..... ..... 10011000 ...   @XX3
639 ## VSX Binary Floating-Point Convert Instructions
641 XSCVQPDP        111111 ..... 10100 ..... 1101000100 .   @X_tb_rc
643 ### rfebb
644 &XL_s           s:uint8_t
645 @XL_s           ......-------------- s:1 .......... -   &XL_s
646 RFEBB           010011-------------- .   0010010010 -   @XL_s