target/ppc: Move slbieg to decodetree
[qemu/kevin.git] / target / ppc / insn32.decode
blob9df73ce30f49da410ca5aff1d75b1c868e5bba54
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 &A              frt fra frb frc rc:bool
21 @A              ...... frt:5 fra:5 frb:5 frc:5 ..... rc:1       &A
23 &D              rt ra si:int64_t
24 @D              ...... rt:5 ra:5 si:s16                         &D
26 &D_bf           bf l:bool ra imm
27 @D_bfs          ...... bf:3 . l:1 ra:5 imm:s16                  &D_bf
28 @D_bfu          ...... bf:3 . l:1 ra:5 imm:16                   &D_bf
30 %dq_si          4:s12  !function=times_16
31 %dq_rtp         22:4   !function=times_2
32 @DQ_rtp         ...... ....0 ra:5 ............ ....             &D rt=%dq_rtp si=%dq_si
34 %dq_rt_tsx      3:1 21:5
35 @DQ_TSX         ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%dq_rt_tsx
37 %rt_tsxp        21:1 22:4 !function=times_2
38 @DQ_TSXP        ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%rt_tsxp
40 %ds_si          2:s14  !function=times_4
41 @DS             ...... rt:5 ra:5 .............. ..              &D si=%ds_si
43 %ds_rtp         22:4   !function=times_2
44 @DS_rtp         ...... ....0 ra:5 .............. ..             &D rt=%ds_rtp si=%ds_si
46 &DX_b           vrt b
47 %dx_b           6:10 16:5 0:1
48 @DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b
50 &DX             rt d
51 %dx_d           6:s10 16:5 0:1
52 @DX             ...... rt:5  ..... .......... ..... .           &DX d=%dx_d
54 &VA             vrt vra vrb rc
55 @VA             ...... vrt:5 vra:5 vrb:5 rc:5 ......            &VA
57 &VC             vrt vra vrb rc:bool
58 @VC             ...... vrt:5 vra:5 vrb:5 rc:1 ..........        &VC
60 &VN             vrt vra vrb sh
61 @VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
63 &VX             vrt vra vrb
64 @VX             ...... vrt:5 vra:5 vrb:5 .......... .           &VX
66 &VX_bf          bf vra vrb
67 @VX_bf          ...... bf:3 .. vra:5 vrb:5 ...........          &VX_bf
69 &VX_mp          rt mp:bool vrb
70 @VX_mp          ...... rt:5 .... mp:1 vrb:5 ...........         &VX_mp
72 &VX_n           rt vrb n
73 @VX_n           ...... rt:5 .. n:3 vrb:5 ...........            &VX_n
75 &VX_tb_rc       vrt vrb rc:bool
76 @VX_tb_rc       ...... vrt:5 ..... vrb:5 rc:1 ..........        &VX_tb_rc
78 &VX_uim4        vrt uim vrb
79 @VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........          &VX_uim4
81 &VX_tb          vrt vrb
82 @VX_tb          ...... vrt:5 ..... vrb:5 ...........            &VX_tb
84 &X              rt ra rb
85 @X              ...... rt:5 ra:5 rb:5 .......... .              &X
87 &X_rc           rt ra rb rc:bool
88 @X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc
90 &X_sa           rs ra
91 @X_sa           ...... rs:5 ra:5 ..... .......... .             &X_sa
93 %x_frtp         22:4 !function=times_2
94 %x_frap         17:4 !function=times_2
95 %x_frbp         12:4 !function=times_2
96 @X_tp_ap_bp_rc  ...... ....0 ....0 ....0 .......... rc:1        &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
98 @X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp
100 &X_t            rt
101 @X_t            ...... rt:5 ..... ..... .......... .            &X_t
103 &X_tb           rt rb
104 @X_tb           ...... rt:5 ..... rb:5 .......... .             &X_tb
106 &X_t_rc         rt rc:bool
107 @X_t_rc         ...... rt:5 ..... ..... .......... rc:1         &X_t_rc
109 &X_tb_rc        rt rb rc:bool
110 @X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc
112 @X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp
114 @X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp
116 @X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp
118 &X_bi           rt bi
119 @X_bi           ...... rt:5 bi:5 ..... .......... .             &X_bi
121 &X_bf           bf ra rb
122 @X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
124 @X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp
126 @X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp
128 &X_bf_uim       bf uim rb
129 @X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim
131 @X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp
133 &X_bfl          bf l:bool ra rb
134 @X_bfl          ...... bf:3 . l:1 ra:5 rb:5 .......... .        &X_bfl
136 &X_imm2         rt imm
137 @X_imm2         ...... rt:5 ..... ... imm:2 .......... .        &X_imm2
139 &X_imm3         rt imm
140 @X_imm3         ...... rt:5 ..... .. imm:3 .......... .         &X_imm3
142 %x_xt           0:1 21:5
143 &X_imm5         xt imm:uint8_t vrb
144 @X_imm5         ...... ..... imm:5 vrb:5 .......... .           &X_imm5 xt=%x_xt
146 &X_imm8         xt imm:uint8_t
147 @X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt
149 &X_rb           rb
150 @X_rb           ...... ..... ..... rb:5 .......... .            &X_rb
152 &X_uim5         xt uim:uint8_t
153 @X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt
155 &X_tb_sp_rc     rt rb sp rc:bool
156 @X_tb_sp_rc     ...... rt:5 sp:2 ... rb:5 .......... rc:1       &X_tb_sp_rc
158 @X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
160 &X_tb_s_rc      rt rb s:bool rc:bool
161 @X_tb_s_rc      ...... rt:5 s:1 .... rb:5 .......... rc:1       &X_tb_s_rc
163 @X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp
165 %x_rt_tsx       0:1 21:5
166 @X_TSX          ...... ..... ra:5 rb:5 .......... .             &X rt=%x_rt_tsx
167 @X_TSXP         ...... ..... ra:5 rb:5 .......... .             &X rt=%rt_tsxp
169 &X_frtp_vrb     frtp vrb
170 @X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
172 &X_vrt_frbp     vrt frbp
173 @X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
175 &X_a            ra
176 @X_a            ...... ra:3 .. ..... ..... .......... .         &X_a
178 %xx_xt          0:1 21:5
179 %xx_xb          1:1 11:5
180 %xx_xa          2:1 16:5
181 %xx_xc          3:1 6:5
182 &XX2            xt xb
183 @XX2            ...... ..... ..... ..... ......... ..           &XX2 xt=%xx_xt xb=%xx_xb
185 &XX2_uim        xt xb uim:uint8_t
186 @XX2_uim2       ...... ..... ... uim:2 ..... ......... ..       &XX2_uim xt=%xx_xt xb=%xx_xb
188 @XX2_uim4       ...... ..... . uim:4 ..... ......... ..         &XX2_uim xt=%xx_xt xb=%xx_xb
190 &XX2_bf_xb      bf xb
191 @XX2_bf_xb      ...... bf:3 .. ..... ..... ......... . .        &XX2_bf_xb xb=%xx_xb
193 &XX3            xt xa xb
194 @XX3            ...... ..... ..... ..... ........ ...           &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
196 # 32 bit GER instructions have all mask bits considered 1
197 &MMIRR_XX3      xa xb xt pmsk xmsk ymsk
198 %xx_at          23:3
199 %xx_xa_pair     2:1 17:4 !function=times_2
200 @XX3_at         ...... ... .. ..... ..... ........ ...          &MMIRR_XX3 xt=%xx_at xb=%xx_xb \
201                                                                 pmsk=255 xmsk=15 ymsk=15
203 &XX3_dm         xt xa xb dm
204 @XX3_dm         ...... ..... ..... ..... . dm:2 ..... ...       &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
206 &XX4            xt xa xb xc
207 @XX4            ...... ..... ..... ..... ..... .. ....          &XX4 xt=%xx_xt xa=%xx_xa xb=%xx_xb xc=%xx_xc
209 &Z22_bf_fra     bf fra dm
210 @Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra
212 %z22_frap       17:4 !function=times_2
213 @Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap
215 &Z22_ta_sh_rc   rt ra sh rc:bool
216 @Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc
218 %z22_frtp       22:4 !function=times_2
219 @Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
221 &Z23_tab        frt fra frb rmc rc:bool
222 @Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab
224 %z23_frtp       22:4 !function=times_2
225 %z23_frap       17:4 !function=times_2
226 %z23_frbp       12:4 !function=times_2
227 @Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
229 @Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp
231 &Z23_tb         frt frb r:bool rmc rc:bool
232 @Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
234 @Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
236 &Z23_te_tb      te frt frb rmc rc:bool
237 @Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb
239 @Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
241 ### Fixed-Point Load Instructions
243 LBZ             100010 ..... ..... ................     @D
244 LBZU            100011 ..... ..... ................     @D
245 LBZX            011111 ..... ..... ..... 0001010111 -   @X
246 LBZUX           011111 ..... ..... ..... 0001110111 -   @X
248 LHZ             101000 ..... ..... ................     @D
249 LHZU            101001 ..... ..... ................     @D
250 LHZX            011111 ..... ..... ..... 0100010111 -   @X
251 LHZUX           011111 ..... ..... ..... 0100110111 -   @X
253 LHA             101010 ..... ..... ................     @D
254 LHAU            101011 ..... ..... ................     @D
255 LHAX            011111 ..... ..... ..... 0101010111 -   @X
256 LHAXU           011111 ..... ..... ..... 0101110111 -   @X
258 LWZ             100000 ..... ..... ................     @D
259 LWZU            100001 ..... ..... ................     @D
260 LWZX            011111 ..... ..... ..... 0000010111 -   @X
261 LWZUX           011111 ..... ..... ..... 0000110111 -   @X
263 LWA             111010 ..... ..... ..............10     @DS
264 LWAX            011111 ..... ..... ..... 0101010101 -   @X
265 LWAUX           011111 ..... ..... ..... 0101110101 -   @X
267 LD              111010 ..... ..... ..............00     @DS
268 LDU             111010 ..... ..... ..............01     @DS
269 LDX             011111 ..... ..... ..... 0000010101 -   @X
270 LDUX            011111 ..... ..... ..... 0000110101 -   @X
272 LQ              111000 ..... ..... ............ ----    @DQ_rtp
274 ### Fixed-Point Store Instructions
276 STB             100110 ..... ..... ................     @D
277 STBU            100111 ..... ..... ................     @D
278 STBX            011111 ..... ..... ..... 0011010111 -   @X
279 STBUX           011111 ..... ..... ..... 0011110111 -   @X
281 STH             101100 ..... ..... ................     @D
282 STHU            101101 ..... ..... ................     @D
283 STHX            011111 ..... ..... ..... 0110010111 -   @X
284 STHUX           011111 ..... ..... ..... 0110110111 -   @X
286 STW             100100 ..... ..... ................     @D
287 STWU            100101 ..... ..... ................     @D
288 STWX            011111 ..... ..... ..... 0010010111 -   @X
289 STWUX           011111 ..... ..... ..... 0010110111 -   @X
291 STD             111110 ..... ..... ..............00     @DS
292 STDU            111110 ..... ..... ..............01     @DS
293 STDX            011111 ..... ..... ..... 0010010101 -   @X
294 STDUX           011111 ..... ..... ..... 0010110101 -   @X
296 STQ             111110 ..... ..... ..............10     @DS_rtp
298 ### Fixed-Point Compare Instructions
300 CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
301 CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
302 CMPI            001011 ... - . ..... ................   @D_bfs
303 CMPLI           001010 ... - . ..... ................   @D_bfu
305 ### Fixed-Point Arithmetic Instructions
307 ADDI            001110 ..... ..... ................     @D
308 ADDIS           001111 ..... ..... ................     @D
310 ADDPCIS         010011 ..... ..... .......... 00010 .   @DX
312 ## Fixed-Point Logical Instructions
314 CFUGED          011111 ..... ..... ..... 0011011100 -   @X
315 CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
316 CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
317 PDEPD           011111 ..... ..... ..... 0010011100 -   @X
318 PEXTD           011111 ..... ..... ..... 0010111100 -   @X
320 ## BCD Assist
322 ADDG6S          011111 ..... ..... ..... - 001001010 -  @X
323 CDTBCD          011111 ..... ..... ----- 0100011010 -   @X_sa
324 CBCDTD          011111 ..... ..... ----- 0100111010 -   @X_sa
326 ### Float-Point Load Instructions
328 LFS             110000 ..... ..... ................     @D
329 LFSU            110001 ..... ..... ................     @D
330 LFSX            011111 ..... ..... ..... 1000010111 -   @X
331 LFSUX           011111 ..... ..... ..... 1000110111 -   @X
333 LFD             110010 ..... ..... ................     @D
334 LFDU            110011 ..... ..... ................     @D
335 LFDX            011111 ..... ..... ..... 1001010111 -   @X
336 LFDUX           011111 ..... ..... ..... 1001110111 -   @X
338 ### Float-Point Store Instructions
340 STFS            110100 ..... ...... ...............     @D
341 STFSU           110101 ..... ...... ...............     @D
342 STFSX           011111 ..... ...... .... 1010010111 -   @X
343 STFSUX          011111 ..... ...... .... 1010110111 -   @X
345 STFD            110110 ..... ...... ...............     @D
346 STFDU           110111 ..... ...... ...............     @D
347 STFDX           011111 ..... ...... .... 1011010111 -   @X
348 STFDUX          011111 ..... ...... .... 1011110111 -   @X
350 ### Floating-Point Select Instruction
352 FSEL            111111 ..... ..... ..... ..... 10111 .  @A
354 ### Move To/From System Register Instructions
356 SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
357 SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
358 SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
359 SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi
361 ### Move To/From FPSCR
363 MFFS            111111 ..... 00000 ----- 1001000111 .   @X_t_rc
364 MFFSCE          111111 ..... 00001 ----- 1001000111 -   @X_t
365 MFFSCRN         111111 ..... 10110 ..... 1001000111 -   @X_tb
366 MFFSCDRN        111111 ..... 10100 ..... 1001000111 -   @X_tb
367 MFFSCRNI        111111 ..... 10111 ---.. 1001000111 -   @X_imm2
368 MFFSCDRNI       111111 ..... 10101 --... 1001000111 -   @X_imm3
369 MFFSL           111111 ..... 11000 ----- 1001000111 -   @X_t
371 ### Decimal Floating-Point Arithmetic Instructions
373 DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
374 DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc
376 DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
377 DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc
379 DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
380 DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc
382 DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
383 DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc
385 ### Decimal Floating-Point Compare Instructions
387 DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
388 DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp
390 DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
391 DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp
393 ### Decimal Floating-Point Test Instructions
395 DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
396 DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap
398 DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
399 DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap
401 DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
402 DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp
404 DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
405 DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp
407 DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
408 DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp
410 ### Decimal Floating-Point Quantum Adjustment Instructions
412 DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
413 DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp
415 DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
416 DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp
418 DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
419 DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp
421 DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
422 DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
424 DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
425 DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
427 ### Decimal Floating-Point Conversion Instructions
429 DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
430 DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc
432 DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
433 DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc
435 DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
436 DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
437 DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb
439 DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
440 DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
441 DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp
443 ### Decimal Floating-Point Format Instructions
445 DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
446 DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc
448 DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
449 DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc
451 DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
452 DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc
454 DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
455 DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc
457 DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
458 DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc
460 DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
461 DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc
463 ## Vector Exclusive-OR-based Instructions
465 VPMSUMD         000100 ..... ..... ..... 10011001000    @VX
467 ## Vector Integer Instructions
469 VCMPEQUB        000100 ..... ..... ..... . 0000000110   @VC
470 VCMPEQUH        000100 ..... ..... ..... . 0001000110   @VC
471 VCMPEQUW        000100 ..... ..... ..... . 0010000110   @VC
472 VCMPEQUD        000100 ..... ..... ..... . 0011000111   @VC
473 VCMPEQUQ        000100 ..... ..... ..... . 0111000111   @VC
475 VCMPGTSB        000100 ..... ..... ..... . 1100000110   @VC
476 VCMPGTSH        000100 ..... ..... ..... . 1101000110   @VC
477 VCMPGTSW        000100 ..... ..... ..... . 1110000110   @VC
478 VCMPGTSD        000100 ..... ..... ..... . 1111000111   @VC
479 VCMPGTSQ        000100 ..... ..... ..... . 1110000111   @VC
481 VCMPGTUB        000100 ..... ..... ..... . 1000000110   @VC
482 VCMPGTUH        000100 ..... ..... ..... . 1001000110   @VC
483 VCMPGTUW        000100 ..... ..... ..... . 1010000110   @VC
484 VCMPGTUD        000100 ..... ..... ..... . 1011000111   @VC
485 VCMPGTUQ        000100 ..... ..... ..... . 1010000111   @VC
487 VCMPNEB         000100 ..... ..... ..... . 0000000111   @VC
488 VCMPNEH         000100 ..... ..... ..... . 0001000111   @VC
489 VCMPNEW         000100 ..... ..... ..... . 0010000111   @VC
491 VCMPNEZB        000100 ..... ..... ..... . 0100000111   @VC
492 VCMPNEZH        000100 ..... ..... ..... . 0101000111   @VC
493 VCMPNEZW        000100 ..... ..... ..... . 0110000111   @VC
495 VCMPSQ          000100 ... -- ..... ..... 00101000001   @VX_bf
496 VCMPUQ          000100 ... -- ..... ..... 00100000001   @VX_bf
498 ## Vector Bit Manipulation Instruction
500 VGNB            000100 ..... -- ... ..... 10011001100   @VX_n
502 VCFUGED         000100 ..... ..... ..... 10101001101    @VX
503 VCLZDM          000100 ..... ..... ..... 11110000100    @VX
504 VCTZDM          000100 ..... ..... ..... 11111000100    @VX
505 VPDEPD          000100 ..... ..... ..... 10111001101    @VX
506 VPEXTD          000100 ..... ..... ..... 10110001101    @VX
508 ## Vector Permute and Formatting Instruction
510 VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
511 VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
512 VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
513 VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
514 VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
515 VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
516 VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
517 VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA
519 VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
520 VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
521 VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
522 VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4
524 VINSBLX         000100 ..... ..... ..... 01000001111    @VX
525 VINSBRX         000100 ..... ..... ..... 01100001111    @VX
526 VINSHLX         000100 ..... ..... ..... 01001001111    @VX
527 VINSHRX         000100 ..... ..... ..... 01101001111    @VX
528 VINSWLX         000100 ..... ..... ..... 01010001111    @VX
529 VINSWRX         000100 ..... ..... ..... 01110001111    @VX
530 VINSDLX         000100 ..... ..... ..... 01011001111    @VX
531 VINSDRX         000100 ..... ..... ..... 01111001111    @VX
533 VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
534 VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4
536 VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
537 VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
538 VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
539 VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
540 VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
541 VINSWVRX        000100 ..... ..... ..... 00110001111    @VX
543 VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
544 VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN
546 VPERM           000100 ..... ..... ..... ..... 101011   @VA
547 VPERMR          000100 ..... ..... ..... ..... 111011   @VA
549 VSEL            000100 ..... ..... ..... ..... 101010   @VA
551 ## Vector Integer Shift Instruction
553 VSLB            000100 ..... ..... ..... 00100000100    @VX
554 VSLH            000100 ..... ..... ..... 00101000100    @VX
555 VSLW            000100 ..... ..... ..... 00110000100    @VX
556 VSLD            000100 ..... ..... ..... 10111000100    @VX
557 VSLQ            000100 ..... ..... ..... 00100000101    @VX
559 VSRB            000100 ..... ..... ..... 01000000100    @VX
560 VSRH            000100 ..... ..... ..... 01001000100    @VX
561 VSRW            000100 ..... ..... ..... 01010000100    @VX
562 VSRD            000100 ..... ..... ..... 11011000100    @VX
563 VSRQ            000100 ..... ..... ..... 01000000101    @VX
565 VSRAB           000100 ..... ..... ..... 01100000100    @VX
566 VSRAH           000100 ..... ..... ..... 01101000100    @VX
567 VSRAW           000100 ..... ..... ..... 01110000100    @VX
568 VSRAD           000100 ..... ..... ..... 01111000100    @VX
569 VSRAQ           000100 ..... ..... ..... 01100000101    @VX
571 VRLB            000100 ..... ..... ..... 00000000100    @VX
572 VRLH            000100 ..... ..... ..... 00001000100    @VX
573 VRLW            000100 ..... ..... ..... 00010000100    @VX
574 VRLD            000100 ..... ..... ..... 00011000100    @VX
575 VRLQ            000100 ..... ..... ..... 00000000101    @VX
577 VRLWMI          000100 ..... ..... ..... 00010000101    @VX
578 VRLDMI          000100 ..... ..... ..... 00011000101    @VX
579 VRLQMI          000100 ..... ..... ..... 00001000101    @VX
581 VRLWNM          000100 ..... ..... ..... 00110000101    @VX
582 VRLDNM          000100 ..... ..... ..... 00111000101    @VX
583 VRLQNM          000100 ..... ..... ..... 00101000101    @VX
585 ## Vector Integer Arithmetic Instructions
587 VADDCUQ         000100 ..... ..... ..... 00101000000    @VX
588 VADDUQM         000100 ..... ..... ..... 00100000000    @VX
590 VADDEUQM        000100 ..... ..... ..... ..... 111100   @VA
591 VADDECUQ        000100 ..... ..... ..... ..... 111101   @VA
593 VSUBCUQ         000100 ..... ..... ..... 10101000000    @VX
594 VSUBUQM         000100 ..... ..... ..... 10100000000    @VX
596 VSUBECUQ        000100 ..... ..... ..... ..... 111111   @VA
597 VSUBEUQM        000100 ..... ..... ..... ..... 111110   @VA
599 VEXTSB2W        000100 ..... 10000 ..... 11000000010    @VX_tb
600 VEXTSH2W        000100 ..... 10001 ..... 11000000010    @VX_tb
601 VEXTSB2D        000100 ..... 11000 ..... 11000000010    @VX_tb
602 VEXTSH2D        000100 ..... 11001 ..... 11000000010    @VX_tb
603 VEXTSW2D        000100 ..... 11010 ..... 11000000010    @VX_tb
604 VEXTSD2Q        000100 ..... 11011 ..... 11000000010    @VX_tb
606 ## Vector Mask Manipulation Instructions
608 MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
609 MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
610 MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
611 MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
612 MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
613 MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b
615 VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
616 VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
617 VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
618 VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
619 VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb
621 VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
622 VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
623 VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
624 VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
625 VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb
627 VCNTMBB         000100 ..... 1100 . ..... 11001000010   @VX_mp
628 VCNTMBH         000100 ..... 1101 . ..... 11001000010   @VX_mp
629 VCNTMBW         000100 ..... 1110 . ..... 11001000010   @VX_mp
630 VCNTMBD         000100 ..... 1111 . ..... 11001000010   @VX_mp
632 ## Vector Multiply Instruction
634 VMULESB         000100 ..... ..... ..... 01100001000    @VX
635 VMULOSB         000100 ..... ..... ..... 00100001000    @VX
636 VMULEUB         000100 ..... ..... ..... 01000001000    @VX
637 VMULOUB         000100 ..... ..... ..... 00000001000    @VX
639 VMULESH         000100 ..... ..... ..... 01101001000    @VX
640 VMULOSH         000100 ..... ..... ..... 00101001000    @VX
641 VMULEUH         000100 ..... ..... ..... 01001001000    @VX
642 VMULOUH         000100 ..... ..... ..... 00001001000    @VX
644 VMULESW         000100 ..... ..... ..... 01110001000    @VX
645 VMULOSW         000100 ..... ..... ..... 00110001000    @VX
646 VMULEUW         000100 ..... ..... ..... 01010001000    @VX
647 VMULOUW         000100 ..... ..... ..... 00010001000    @VX
649 VMULESD         000100 ..... ..... ..... 01111001000    @VX
650 VMULOSD         000100 ..... ..... ..... 00111001000    @VX
651 VMULEUD         000100 ..... ..... ..... 01011001000    @VX
652 VMULOUD         000100 ..... ..... ..... 00011001000    @VX
654 VMULHSW         000100 ..... ..... ..... 01110001001    @VX
655 VMULHUW         000100 ..... ..... ..... 01010001001    @VX
656 VMULHSD         000100 ..... ..... ..... 01111001001    @VX
657 VMULHUD         000100 ..... ..... ..... 01011001001    @VX
658 VMULLD          000100 ..... ..... ..... 00111001001    @VX
660 ## Vector Multiply-Sum Instructions
662 VMSUMUBM        000100 ..... ..... ..... ..... 100100   @VA
663 VMSUMMBM        000100 ..... ..... ..... ..... 100101   @VA
664 VMSUMSHM        000100 ..... ..... ..... ..... 101000   @VA
665 VMSUMSHS        000100 ..... ..... ..... ..... 101001   @VA
666 VMSUMUHM        000100 ..... ..... ..... ..... 100110   @VA
667 VMSUMUHS        000100 ..... ..... ..... ..... 100111   @VA
669 VMSUMCUD        000100 ..... ..... ..... ..... 010111   @VA
670 VMSUMUDM        000100 ..... ..... ..... ..... 100011   @VA
672 ## Vector String Instructions
674 VSTRIBL         000100 ..... 00000 ..... . 0000001101   @VX_tb_rc
675 VSTRIBR         000100 ..... 00001 ..... . 0000001101   @VX_tb_rc
676 VSTRIHL         000100 ..... 00010 ..... . 0000001101   @VX_tb_rc
677 VSTRIHR         000100 ..... 00011 ..... . 0000001101   @VX_tb_rc
679 VCLRLB          000100 ..... ..... ..... 00110001101    @VX
680 VCLRRB          000100 ..... ..... ..... 00111001101    @VX
682 # VSX Load/Store Instructions
684 LXSD            111001 ..... ..... .............. 10    @DS
685 STXSD           111101 ..... ..... .............. 10    @DS
686 LXSSP           111001 ..... ..... .............. 11    @DS
687 STXSSP          111101 ..... ..... .............. 11    @DS
688 LXV             111101 ..... ..... ............ . 001   @DQ_TSX
689 STXV            111101 ..... ..... ............ . 101   @DQ_TSX
690 LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
691 STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
692 LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
693 STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
694 LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
695 STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP
696 LXVRBX          011111 ..... ..... ..... 0000001101 .   @X_TSX
697 LXVRHX          011111 ..... ..... ..... 0000101101 .   @X_TSX
698 LXVRWX          011111 ..... ..... ..... 0001001101 .   @X_TSX
699 LXVRDX          011111 ..... ..... ..... 0001101101 .   @X_TSX
700 STXVRBX         011111 ..... ..... ..... 0010001101 .   @X_TSX
701 STXVRHX         011111 ..... ..... ..... 0010101101 .   @X_TSX
702 STXVRWX         011111 ..... ..... ..... 0011001101 .   @X_TSX
703 STXVRDX         011111 ..... ..... ..... 0011101101 .   @X_TSX
705 ## VSX Scalar Multiply-Add Instructions
707 XSMADDADP       111100 ..... ..... ..... 00100001 . . . @XX3
708 XSMADDMDP       111100 ..... ..... ..... 00101001 . . . @XX3
709 XSMADDASP       111100 ..... ..... ..... 00000001 . . . @XX3
710 XSMADDMSP       111100 ..... ..... ..... 00001001 . . . @XX3
711 XSMADDQP        111111 ..... ..... ..... 0110000100 .   @X_rc
713 XSMSUBADP       111100 ..... ..... ..... 00110001 . . . @XX3
714 XSMSUBMDP       111100 ..... ..... ..... 00111001 . . . @XX3
715 XSMSUBASP       111100 ..... ..... ..... 00010001 . . . @XX3
716 XSMSUBMSP       111100 ..... ..... ..... 00011001 . . . @XX3
717 XSMSUBQP        111111 ..... ..... ..... 0110100100 .   @X_rc
719 XSNMADDASP      111100 ..... ..... ..... 10000001 . . . @XX3
720 XSNMADDMSP      111100 ..... ..... ..... 10001001 . . . @XX3
721 XSNMADDADP      111100 ..... ..... ..... 10100001 . . . @XX3
722 XSNMADDMDP      111100 ..... ..... ..... 10101001 . . . @XX3
723 XSNMADDQP       111111 ..... ..... ..... 0111000100 .   @X_rc
725 XSNMSUBASP      111100 ..... ..... ..... 10010001 . . . @XX3
726 XSNMSUBMSP      111100 ..... ..... ..... 10011001 . . . @XX3
727 XSNMSUBADP      111100 ..... ..... ..... 10110001 . . . @XX3
728 XSNMSUBMDP      111100 ..... ..... ..... 10111001 . . . @XX3
729 XSNMSUBQP       111111 ..... ..... ..... 0111100100 .   @X_rc
731 ## VSX splat instruction
733 XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
734 XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2_uim2
736 ## VSX Permute Instructions
738 XXEXTRACTUW     111100 ..... - .... ..... 010100101 ..  @XX2_uim4
739 XXINSERTW       111100 ..... - .... ..... 010110101 ..  @XX2_uim4
741 XXPERM          111100 ..... ..... ..... 00011010 ...   @XX3
742 XXPERMR         111100 ..... ..... ..... 00111010 ...   @XX3
743 XXPERMDI        111100 ..... ..... ..... 0 .. 01010 ... @XX3_dm
745 XXSEL           111100 ..... ..... ..... ..... 11 ....  @XX4
747 ## VSX Vector Generate PCV
749 XXGENPCVBM      111100 ..... ..... ..... 1110010100 .   @X_imm5
750 XXGENPCVHM      111100 ..... ..... ..... 1110010101 .   @X_imm5
751 XXGENPCVWM      111100 ..... ..... ..... 1110110100 .   @X_imm5
752 XXGENPCVDM      111100 ..... ..... ..... 1110110101 .   @X_imm5
754 ## VSX Vector Load Special Value Instruction
756 LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
758 ## VSX Comparison Instructions
760 XSMAXCDP        111100 ..... ..... ..... 10000000 ...   @XX3
761 XSMINCDP        111100 ..... ..... ..... 10001000 ...   @XX3
762 XSMAXJDP        111100 ..... ..... ..... 10010000 ...   @XX3
763 XSMINJDP        111100 ..... ..... ..... 10011000 ...   @XX3
764 XSMAXCQP        111111 ..... ..... ..... 1010100100 -   @X
765 XSMINCQP        111111 ..... ..... ..... 1011100100 -   @X
767 XSCMPEQDP       111100 ..... ..... ..... 00000011 ...   @XX3
768 XSCMPGEDP       111100 ..... ..... ..... 00010011 ...   @XX3
769 XSCMPGTDP       111100 ..... ..... ..... 00001011 ...   @XX3
770 XSCMPEQQP       111111 ..... ..... ..... 0001000100 -   @X
771 XSCMPGEQP       111111 ..... ..... ..... 0011000100 -   @X
772 XSCMPGTQP       111111 ..... ..... ..... 0011100100 -   @X
774 ## VSX Binary Floating-Point Convert Instructions
776 XSCVQPDP        111111 ..... 10100 ..... 1101000100 .   @X_tb_rc
777 XSCVQPUQZ       111111 ..... 00000 ..... 1101000100 -   @X_tb
778 XSCVQPSQZ       111111 ..... 01000 ..... 1101000100 -   @X_tb
779 XSCVUQQP        111111 ..... 00011 ..... 1101000100 -   @X_tb
780 XSCVSQQP        111111 ..... 01011 ..... 1101000100 -   @X_tb
781 XVCVBF16SPN     111100 ..... 10000 ..... 111011011 ..   @XX2
782 XVCVSPBF16      111100 ..... 10001 ..... 111011011 ..   @XX2
783 XSCVSPDPN       111100 ..... ----- ..... 101001011 ..   @XX2
785 ## VSX Binary Floating-Point Math Support Instructions
787 XVXSIGSP        111100 ..... 01001 ..... 111011011 ..   @XX2
789 ## VSX Vector Test Least-Significant Bit by Byte Instruction
791 XVTLSBB         111100 ... -- 00010 ..... 111011011 . - @XX2_bf_xb
793 ### rfebb
794 &XL_s           s:uint8_t
795 @XL_s           ......-------------- s:1 .......... -   &XL_s
796 RFEBB           010011-------------- .   0010010010 -   @XL_s
798 ## Accumulator Instructions
800 XXMFACC         011111 ... -- 00000 ----- 0010110001 -   @X_a
801 XXMTACC         011111 ... -- 00001 ----- 0010110001 -   @X_a
802 XXSETACCZ       011111 ... -- 00011 ----- 0010110001 -   @X_a
804 ## VSX GER instruction
806 XVI4GER8        111011 ... -- ..... ..... 00100011 ..-  @XX3_at xa=%xx_xa
807 XVI4GER8PP      111011 ... -- ..... ..... 00100010 ..-  @XX3_at xa=%xx_xa
808 XVI8GER4        111011 ... -- ..... ..... 00000011 ..-  @XX3_at xa=%xx_xa
809 XVI8GER4PP      111011 ... -- ..... ..... 00000010 ..-  @XX3_at xa=%xx_xa
810 XVI16GER2       111011 ... -- ..... ..... 01001011 ..-  @XX3_at xa=%xx_xa
811 XVI16GER2PP     111011 ... -- ..... ..... 01101011 ..-  @XX3_at xa=%xx_xa
812 XVI8GER4SPP     111011 ... -- ..... ..... 01100011 ..-  @XX3_at xa=%xx_xa
813 XVI16GER2S      111011 ... -- ..... ..... 00101011 ..-  @XX3_at xa=%xx_xa
814 XVI16GER2SPP    111011 ... -- ..... ..... 00101010 ..-  @XX3_at xa=%xx_xa
816 XVBF16GER2      111011 ... -- ..... ..... 00110011 ..-  @XX3_at xa=%xx_xa
817 XVBF16GER2PP    111011 ... -- ..... ..... 00110010 ..-  @XX3_at xa=%xx_xa
818 XVBF16GER2PN    111011 ... -- ..... ..... 10110010 ..-  @XX3_at xa=%xx_xa
819 XVBF16GER2NP    111011 ... -- ..... ..... 01110010 ..-  @XX3_at xa=%xx_xa
820 XVBF16GER2NN    111011 ... -- ..... ..... 11110010 ..-  @XX3_at xa=%xx_xa
822 XVF16GER2       111011 ... -- ..... ..... 00010011 ..-  @XX3_at xa=%xx_xa
823 XVF16GER2PP     111011 ... -- ..... ..... 00010010 ..-  @XX3_at xa=%xx_xa
824 XVF16GER2PN     111011 ... -- ..... ..... 10010010 ..-  @XX3_at xa=%xx_xa
825 XVF16GER2NP     111011 ... -- ..... ..... 01010010 ..-  @XX3_at xa=%xx_xa
826 XVF16GER2NN     111011 ... -- ..... ..... 11010010 ..-  @XX3_at xa=%xx_xa
828 XVF32GER        111011 ... -- ..... ..... 00011011 ..-  @XX3_at xa=%xx_xa
829 XVF32GERPP      111011 ... -- ..... ..... 00011010 ..-  @XX3_at xa=%xx_xa
830 XVF32GERPN      111011 ... -- ..... ..... 10011010 ..-  @XX3_at xa=%xx_xa
831 XVF32GERNP      111011 ... -- ..... ..... 01011010 ..-  @XX3_at xa=%xx_xa
832 XVF32GERNN      111011 ... -- ..... ..... 11011010 ..-  @XX3_at xa=%xx_xa
834 XVF64GER        111011 ... -- .... 0 ..... 00111011 ..-  @XX3_at xa=%xx_xa_pair
835 XVF64GERPP      111011 ... -- .... 0 ..... 00111010 ..-  @XX3_at xa=%xx_xa_pair
836 XVF64GERPN      111011 ... -- .... 0 ..... 10111010 ..-  @XX3_at xa=%xx_xa_pair
837 XVF64GERNP      111011 ... -- .... 0 ..... 01111010 ..-  @XX3_at xa=%xx_xa_pair
838 XVF64GERNN      111011 ... -- .... 0 ..... 11111010 ..-  @XX3_at xa=%xx_xa_pair
840 ## Vector Division Instructions
842 VDIVSW          000100 ..... ..... ..... 00110001011    @VX
843 VDIVUW          000100 ..... ..... ..... 00010001011    @VX
844 VDIVSD          000100 ..... ..... ..... 00111001011    @VX
845 VDIVUD          000100 ..... ..... ..... 00011001011    @VX
846 VDIVSQ          000100 ..... ..... ..... 00100001011    @VX
847 VDIVUQ          000100 ..... ..... ..... 00000001011    @VX
849 VDIVESW         000100 ..... ..... ..... 01110001011    @VX
850 VDIVEUW         000100 ..... ..... ..... 01010001011    @VX
851 VDIVESD         000100 ..... ..... ..... 01111001011    @VX
852 VDIVEUD         000100 ..... ..... ..... 01011001011    @VX
853 VDIVESQ         000100 ..... ..... ..... 01100001011    @VX
854 VDIVEUQ         000100 ..... ..... ..... 01000001011    @VX
856 VMODSW          000100 ..... ..... ..... 11110001011    @VX
857 VMODUW          000100 ..... ..... ..... 11010001011    @VX
858 VMODSD          000100 ..... ..... ..... 11111001011    @VX
859 VMODUD          000100 ..... ..... ..... 11011001011    @VX
860 VMODSQ          000100 ..... ..... ..... 11100001011    @VX
861 VMODUQ          000100 ..... ..... ..... 11000001011    @VX
863 ## SLB Management Instructions
865 SLBIE           011111 ----- ----- ..... 0110110010 -   @X_rb
866 SLBIEG          011111 ..... ----- ..... 0111010010 -   @X_tb
868 ## TLB Management Instructions
870 &X_tlbie        rb rs ric prs:bool r:bool
871 @X_tlbie        ...... rs:5 - ric:2 prs:1 r:1 rb:5 .......... -     &X_tlbie
873 TLBIE           011111 ..... - .. . . ..... 0100110010 -            @X_tlbie
874 TLBIEL          011111 ..... - .. . . ..... 0100010010 -            @X_tlbie