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
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
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
48 @DX_b ...... vrt:5 ..... .......... ..... . &DX_b b=%dx_b
52 @DX ...... rt:5 ..... .......... ..... . &DX d=%dx_d
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
61 @VN ...... vrt:5 vra:5 vrb:5 .. sh:3 ...... &VN
64 @VX ...... vrt:5 vra:5 vrb:5 .......... . &VX
67 @VX_bf ...... bf:3 .. vra:5 vrb:5 ........... &VX_bf
70 @VX_mp ...... rt:5 .... mp:1 vrb:5 ........... &VX_mp
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
79 @VX_uim4 ...... vrt:5 . uim:4 vrb:5 ........... &VX_uim4
82 @VX_tb ...... vrt:5 ..... vrb:5 ........... &VX_tb
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
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
101 @X_t ...... rt:5 ..... ..... .......... . &X_t
104 @X_tb ...... rt:5 ..... rb:5 .......... . &X_tb
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
119 @X_bi ...... rt:5 bi:5 ..... .......... . &X_bi
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
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
137 @X_imm2 ...... rt:5 ..... ... imm:2 .......... . &X_imm2
140 @X_imm3 ...... rt:5 ..... .. imm:3 .......... . &X_imm3
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
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
166 @X_TSX ...... ..... ra:5 rb:5 .......... . &X rt=%x_rt_tsx
167 @X_TSXP ...... ..... ra:5 rb:5 .......... . &X rt=%rt_tsxp
170 @X_frtp_vrb ...... ....0 ..... vrb:5 .......... . &X_frtp_vrb frtp=%x_frtp
173 @X_vrt_frbp ...... vrt:5 ..... ....0 .......... . &X_vrt_frbp frbp=%x_frbp
176 @X_a ...... ra:3 .. ..... ..... .......... . &X_a
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
191 @XX2_bf_xb ...... bf:3 .. ..... ..... ......... . . &XX2_bf_xb xb=%xx_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
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
204 @XX3_dm ...... ..... ..... ..... . dm:2 ..... ... &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
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
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
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