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 &A_tab frt fra frb rc:bool
24 @A_tab ...... frt:5 fra:5 frb:5 ..... ..... rc:1 &A_tab
26 &A_tac frt fra frc rc:bool
27 @A_tac ...... frt:5 fra:5 ..... frc:5 ..... rc:1 &A_tac
30 @A_tb ...... frt:5 ..... frb:5 ..... ..... rc:1 &A_tb
33 @A_tab_bc ...... rt:5 ra:5 rb:5 bc:5 ..... . &A_tab_bc
36 @D ...... rt:5 ra:5 si:s16 &D
38 &D_ui rt ra ui:uint64_t
39 @D_ui ...... rt:5 ra:5 ui:16 &D_ui
41 &D_bf bf l:bool ra imm
42 @D_bfs ...... bf:3 . l:1 ra:5 imm:s16 &D_bf
43 @D_bfu ...... bf:3 . l:1 ra:5 imm:16 &D_bf
45 %dq_si 4:s12 !function=times_16
46 %dq_rtp 22:4 !function=times_2
47 @DQ_rtp ...... ....0 ra:5 ............ .... &D rt=%dq_rtp si=%dq_si
50 @DQ_TSX ...... ..... ra:5 ............ .... &D si=%dq_si rt=%dq_rt_tsx
52 %rt_tsxp 21:1 22:4 !function=times_2
53 @DQ_TSXP ...... ..... ra:5 ............ .... &D si=%dq_si rt=%rt_tsxp
55 %ds_si 2:s14 !function=times_4
56 @DS ...... rt:5 ra:5 .............. .. &D si=%ds_si
58 %ds_rtp 22:4 !function=times_2
59 @DS_rtp ...... ....0 ra:5 .............. .. &D rt=%ds_rtp si=%ds_si
63 @DX_b ...... vrt:5 ..... .......... ..... . &DX_b b=%dx_b
67 @DX ...... rt:5 ..... .......... ..... . &DX d=%dx_d
70 @VA ...... vrt:5 vra:5 vrb:5 rc:5 ...... &VA
72 &VC vrt vra vrb rc:bool
73 @VC ...... vrt:5 vra:5 vrb:5 rc:1 .......... &VC
76 @VN ...... vrt:5 vra:5 vrb:5 .. sh:3 ...... &VN
79 @VX ...... vrt:5 vra:5 vrb:5 .......... . &VX
82 @VX_bf ...... bf:3 .. vra:5 vrb:5 ........... &VX_bf
85 @VX_mp ...... rt:5 .... mp:1 vrb:5 ........... &VX_mp
88 @VX_n ...... rt:5 .. n:3 vrb:5 ........... &VX_n
90 &VX_tb_rc vrt vrb rc:bool
91 @VX_tb_rc ...... vrt:5 ..... vrb:5 rc:1 .......... &VX_tb_rc
94 @VX_uim4 ...... vrt:5 . uim:4 vrb:5 ........... &VX_uim4
97 @VX_tb ...... vrt:5 ..... vrb:5 ........... &VX_tb
100 @X ...... rt:5 ra:5 rb:5 .......... . &X
102 &X_rc rt ra rb rc:bool
103 @X_rc ...... rt:5 ra:5 rb:5 .......... rc:1 &X_rc
106 @X_sa ...... rs:5 ra:5 ..... .......... . &X_sa
109 @X_sa_rc ...... rs:5 ra:5 ..... .......... rc:1 &X_sa_rc
111 %x_frtp 22:4 !function=times_2
112 %x_frap 17:4 !function=times_2
113 %x_frbp 12:4 !function=times_2
114 @X_tp_ap_bp_rc ...... ....0 ....0 ....0 .......... rc:1 &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
116 @X_tp_a_bp_rc ...... ....0 ra:5 ....0 .......... rc:1 &X_rc rt=%x_frtp rb=%x_frbp
119 @X_t ...... rt:5 ..... ..... .......... . &X_t
122 @X_tb ...... rt:5 ..... rb:5 .......... . &X_tb
125 @X_t_rc ...... rt:5 ..... ..... .......... rc:1 &X_t_rc
127 &X_tb_rc rt rb rc:bool
128 @X_tb_rc ...... rt:5 ..... rb:5 .......... rc:1 &X_tb_rc
130 @X_tbp_rc ...... ....0 ..... ....0 .......... rc:1 &X_tb_rc rt=%x_frtp rb=%x_frbp
132 @X_tp_b_rc ...... ....0 ..... rb:5 .......... rc:1 &X_tb_rc rt=%x_frtp
134 @X_t_bp_rc ...... rt:5 ..... ....0 .......... rc:1 &X_tb_rc rb=%x_frbp
137 @X_bi ...... rt:5 bi:5 ..... .......... . &X_bi
140 @X_bf ...... bf:3 .. ra:5 rb:5 .......... . &X_bf
143 @X_bf_b ...... bf:3 .. ..... rb:5 .......... . &X_bf_b
145 @X_bf_ap_bp ...... bf:3 .. ....0 ....0 .......... . &X_bf ra=%x_frap rb=%x_frbp
147 @X_bf_a_bp ...... bf:3 .. ra:5 ....0 .......... . &X_bf rb=%x_frbp
150 @X_bf_uim ...... bf:3 . uim:6 rb:5 .......... . &X_bf_uim
152 @X_bf_uim_bp ...... bf:3 . uim:6 ....0 .......... . &X_bf_uim rb=%x_frbp
154 &X_bfl bf l:bool ra rb
155 @X_bfl ...... bf:3 . l:1 ra:5 rb:5 .......... . &X_bfl
158 @X_imm2 ...... rt:5 ..... ... imm:2 .......... . &X_imm2
161 @X_imm3 ...... rt:5 ..... .. imm:3 .......... . &X_imm3
164 &X_imm5 xt imm:uint8_t vrb
165 @X_imm5 ...... ..... imm:5 vrb:5 .......... . &X_imm5 xt=%x_xt
167 &X_imm8 xt imm:uint8_t
168 @X_imm8 ...... ..... .. imm:8 .......... . &X_imm8 xt=%x_xt
171 @X_ih ...... .. ih:3 ..... ..... .......... . &X_ih
174 @X_rb ...... ..... ..... rb:5 .......... . &X_rb
177 @X_rs_l ...... rs:5 .... l:1 ..... .......... . &X_rs_l
179 &X_uim5 xt uim:uint8_t
180 @X_uim5 ...... ..... ..... uim:5 .......... . &X_uim5 xt=%x_xt
182 &X_tb_sp_rc rt rb sp rc:bool
183 @X_tb_sp_rc ...... rt:5 sp:2 ... rb:5 .......... rc:1 &X_tb_sp_rc
185 @X_tbp_sp_rc ...... ....0 sp:2 ... ....0 .......... rc:1 &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
187 &X_tb_s_rc rt rb s:bool rc:bool
188 @X_tb_s_rc ...... rt:5 s:1 .... rb:5 .......... rc:1 &X_tb_s_rc
190 @X_tbp_s_rc ...... ....0 s:1 .... ....0 .......... rc:1 &X_tb_s_rc rt=%x_frtp rb=%x_frbp
193 @X_TSX ...... ..... ra:5 rb:5 .......... . &X rt=%x_rt_tsx
194 @X_TSXP ...... ..... ra:5 rb:5 .......... . &X rt=%rt_tsxp
196 %x_dw 0:1 21:5 !function=dw_compose_ea
197 @X_DW ...... ..... ra:5 rb:5 .......... . &X rt=%x_dw
200 @X_frtp_vrb ...... ....0 ..... vrb:5 .......... . &X_frtp_vrb frtp=%x_frtp
203 @X_vrt_frbp ...... vrt:5 ..... ....0 .......... . &X_vrt_frbp frbp=%x_frbp
206 @X_a ...... ra:3 .. ..... ..... .......... . &X_a
209 @X_tl ...... rt:5 ... l:2 ..... .......... . &X_tl
211 &XO rt ra rb oe:bool rc:bool
212 @XO ...... rt:5 ra:5 rb:5 oe:1 ......... rc:1 &XO
214 &XO_ta rt ra oe:bool rc:bool
215 @XO_ta ...... rt:5 ra:5 ..... oe:1 ......... rc:1 &XO_ta
217 &XO_tab_rc rt ra rb rc:bool
218 @XO_tab_rc ...... rt:5 ra:5 rb:5 . ......... rc:1 &XO_tab_rc
225 @XX2 ...... ..... ..... ..... ......... .. &XX2 xt=%xx_xt xb=%xx_xb
227 &XX2_uim xt xb uim:uint8_t
228 @XX2_uim2 ...... ..... ... uim:2 ..... ......... .. &XX2_uim xt=%xx_xt xb=%xx_xb
230 @XX2_uim4 ...... ..... . uim:4 ..... ......... .. &XX2_uim xt=%xx_xt xb=%xx_xb
232 %xx_uim7 6:1 2:1 16:5
233 @XX2_uim7 ...... ..... ..... ..... .... . ... . .. &XX2_uim xt=%xx_xt xb=%xx_xb uim=%xx_uim7
235 &XX2_bf_uim bf xb uim
236 @XX2_bf_uim ...... bf:3 uim:7 ..... ......... . . &XX2_bf_uim
239 @XX2_bf_xb ...... bf:3 .. ..... ..... ......... . . &XX2_bf_xb xb=%xx_xb
242 @XX3 ...... ..... ..... ..... ........ ... &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
244 # 32 bit GER instructions have all mask bits considered 1
245 &MMIRR_XX3 xa xb xt pmsk xmsk ymsk
247 %xx_xa_pair 2:1 17:4 !function=times_2
248 @XX3_at ...... ... .. ..... ..... ........ ... &MMIRR_XX3 xt=%xx_at xb=%xx_xb \
249 pmsk=255 xmsk=15 ymsk=15
252 @XX3_dm ...... ..... ..... ..... . dm:2 ..... ... &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
255 @XX4 ...... ..... ..... ..... ..... .. .... &XX4 xt=%xx_xt xa=%xx_xa xb=%xx_xb xc=%xx_xc
257 &Z22_bf_fra bf fra dm
258 @Z22_bf_fra ...... bf:3 .. fra:5 dm:6 ......... . &Z22_bf_fra
260 %z22_frap 17:4 !function=times_2
261 @Z22_bf_frap ...... bf:3 .. ....0 dm:6 ......... . &Z22_bf_fra fra=%z22_frap
263 &Z22_ta_sh_rc rt ra sh rc:bool
264 @Z22_ta_sh_rc ...... rt:5 ra:5 sh:6 ......... rc:1 &Z22_ta_sh_rc
266 %z22_frtp 22:4 !function=times_2
267 @Z22_tap_sh_rc ...... ....0 ....0 sh:6 ......... rc:1 &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
269 &Z23_tab frt fra frb rmc rc:bool
270 @Z23_tab ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1 &Z23_tab
272 %z23_frtp 22:4 !function=times_2
273 %z23_frap 17:4 !function=times_2
274 %z23_frbp 12:4 !function=times_2
275 @Z23_tabp ...... ....0 ....0 ....0 rmc:2 ........ rc:1 &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
277 @Z23_tp_a_bp ...... ....0 fra:5 ....0 rmc:2 ........ rc:1 &Z23_tab frt=%z23_frtp frb=%z23_frbp
279 &Z23_tb frt frb r:bool rmc rc:bool
280 @Z23_tb ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
282 @Z23_tbp ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
284 &Z23_te_tb te frt frb rmc rc:bool
285 @Z23_te_tb ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1 &Z23_te_tb
287 @Z23_te_tbp ...... ....0 te:5 ....0 rmc:2 ........ rc:1 &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
289 ### Fixed-Point Load Instructions
291 LBZ 100010 ..... ..... ................ @D
292 LBZU 100011 ..... ..... ................ @D
293 LBZX 011111 ..... ..... ..... 0001010111 - @X
294 LBZUX 011111 ..... ..... ..... 0001110111 - @X
296 LHZ 101000 ..... ..... ................ @D
297 LHZU 101001 ..... ..... ................ @D
298 LHZX 011111 ..... ..... ..... 0100010111 - @X
299 LHZUX 011111 ..... ..... ..... 0100110111 - @X
301 LHA 101010 ..... ..... ................ @D
302 LHAU 101011 ..... ..... ................ @D
303 LHAX 011111 ..... ..... ..... 0101010111 - @X
304 LHAXU 011111 ..... ..... ..... 0101110111 - @X
306 LWZ 100000 ..... ..... ................ @D
307 LWZU 100001 ..... ..... ................ @D
308 LWZX 011111 ..... ..... ..... 0000010111 - @X
309 LWZUX 011111 ..... ..... ..... 0000110111 - @X
311 LWA 111010 ..... ..... ..............10 @DS
312 LWAX 011111 ..... ..... ..... 0101010101 - @X
313 LWAUX 011111 ..... ..... ..... 0101110101 - @X
315 LD 111010 ..... ..... ..............00 @DS
316 LDU 111010 ..... ..... ..............01 @DS
317 LDX 011111 ..... ..... ..... 0000010101 - @X
318 LDUX 011111 ..... ..... ..... 0000110101 - @X
320 LQ 111000 ..... ..... ............ ---- @DQ_rtp
322 ### Fixed-Point Store Instructions
324 STB 100110 ..... ..... ................ @D
325 STBU 100111 ..... ..... ................ @D
326 STBX 011111 ..... ..... ..... 0011010111 - @X
327 STBUX 011111 ..... ..... ..... 0011110111 - @X
329 STH 101100 ..... ..... ................ @D
330 STHU 101101 ..... ..... ................ @D
331 STHX 011111 ..... ..... ..... 0110010111 - @X
332 STHUX 011111 ..... ..... ..... 0110110111 - @X
334 STW 100100 ..... ..... ................ @D
335 STWU 100101 ..... ..... ................ @D
336 STWX 011111 ..... ..... ..... 0010010111 - @X
337 STWUX 011111 ..... ..... ..... 0010110111 - @X
339 STD 111110 ..... ..... ..............00 @DS
340 STDU 111110 ..... ..... ..............01 @DS
341 STDX 011111 ..... ..... ..... 0010010101 - @X
342 STDUX 011111 ..... ..... ..... 0010110101 - @X
344 STQ 111110 ..... ..... ..............10 @DS_rtp
346 ### Fixed-Point Compare Instructions
348 CMP 011111 ... - . ..... ..... 0000000000 - @X_bfl
349 CMPL 011111 ... - . ..... ..... 0000100000 - @X_bfl
350 CMPI 001011 ... - . ..... ................ @D_bfs
351 CMPLI 001010 ... - . ..... ................ @D_bfu
352 CMPRB 011111 ... - . ..... ..... 0011000000 - @X_bfl
353 CMPEQB 011111 ... -- ..... ..... 0011100000 - @X_bf
355 ### Fixed-Point Trap Instructions
357 TW 011111 ..... ..... ..... 0000000100 - @X
358 TD 011111 ..... ..... ..... 0001000100 - @X
359 TWI 000011 ..... ..... ................ @D
360 TDI 000010 ..... ..... ................ @D
362 ### Fixed-Point Select Instruction
364 ISEL 011111 ..... ..... ..... ..... 01111 - @A_tab_bc
366 ### Fixed-Point Arithmetic Instructions
368 ADD 011111 ..... ..... ..... . 100001010 . @XO
369 ADDC 011111 ..... ..... ..... . 000001010 . @XO
370 ADDE 011111 ..... ..... ..... . 010001010 . @XO
372 # ADDEX is Z23-form, with CY=0; all other values for CY are reserved.
373 # This works out the same as X-form.
374 ADDEX 011111 ..... ..... ..... 00 10101010 - @X
376 ADDI 001110 ..... ..... ................ @D
377 ADDIS 001111 ..... ..... ................ @D
378 ADDIC 001100 ..... ..... ................ @D
379 ADDIC_ 001101 ..... ..... ................ @D
381 ADDPCIS 010011 ..... ..... .......... 00010 . @DX
382 ADDME 011111 ..... ..... ----- . 011101010 . @XO_ta
383 ADDZE 011111 ..... ..... ----- . 011001010 . @XO_ta
385 SUBF 011111 ..... ..... ..... . 000101000 . @XO
386 SUBFIC 001000 ..... ..... ................ @D
387 SUBFC 011111 ..... ..... ..... . 000001000 . @XO
388 SUBFE 011111 ..... ..... ..... . 010001000 . @XO
390 SUBFME 011111 ..... ..... ----- . 011101000 . @XO_ta
391 SUBFZE 011111 ..... ..... ----- . 011001000 . @XO_ta
393 MULLI 000111 ..... ..... ................ @D
394 MULLW 011111 ..... ..... ..... 0 011101011 . @XO_tab_rc
395 MULLWO 011111 ..... ..... ..... 1 011101011 . @XO_tab_rc
396 MULHW 011111 ..... ..... ..... - 001001011 . @XO_tab_rc
397 MULHWU 011111 ..... ..... ..... - 000001011 . @XO_tab_rc
399 DIVW 011111 ..... ..... ..... . 111101011 . @XO
400 DIVWU 011111 ..... ..... ..... . 111001011 . @XO
401 DIVWE 011111 ..... ..... ..... . 110101011 . @XO
402 DIVWEU 011111 ..... ..... ..... . 110001011 . @XO
404 MODSW 011111 ..... ..... ..... 1100001011 - @X
405 MODUW 011111 ..... ..... ..... 0100001011 - @X
406 DARN 011111 ..... --- .. ----- 1011110011 - @X_tl
407 NEG 011111 ..... ..... ----- . 001101000 . @XO_ta
409 MULLD 011111 ..... ..... ..... 0 011101001 . @XO_tab_rc
410 MULLDO 011111 ..... ..... ..... 1 011101001 . @XO_tab_rc
411 MULHD 011111 ..... ..... ..... - 001001001 . @XO_tab_rc
412 MULHDU 011111 ..... ..... ..... - 000001001 . @XO_tab_rc
414 MADDLD 000100 ..... ..... ..... ..... 110011 @VA
415 MADDHD 000100 ..... ..... ..... ..... 110000 @VA
416 MADDHDU 000100 ..... ..... ..... ..... 110001 @VA
418 DIVD 011111 ..... ..... ..... . 111101001 . @XO
419 DIVDU 011111 ..... ..... ..... . 111001001 . @XO
420 DIVDE 011111 ..... ..... ..... . 110101001 . @XO
421 DIVDEU 011111 ..... ..... ..... . 110001001 . @XO
423 MODSD 011111 ..... ..... ..... 1100001001 - @X
424 MODUD 011111 ..... ..... ..... 0100001001 - @X
426 ## Fixed-Point Logical Instructions
428 ANDI_ 011100 ..... ..... ................ @D_ui
429 ANDIS_ 011101 ..... ..... ................ @D_ui
430 ORI 011000 ..... ..... ................ @D_ui
431 ORIS 011001 ..... ..... ................ @D_ui
432 XORI 011010 ..... ..... ................ @D_ui
433 XORIS 011011 ..... ..... ................ @D_ui
435 AND 011111 ..... ..... ..... 0000011100 . @X_rc
436 ANDC 011111 ..... ..... ..... 0000111100 . @X_rc
437 NAND 011111 ..... ..... ..... 0111011100 . @X_rc
438 OR 011111 ..... ..... ..... 0110111100 . @X_rc
439 ORC 011111 ..... ..... ..... 0110011100 . @X_rc
440 NOR 011111 ..... ..... ..... 0001111100 . @X_rc
441 XOR 011111 ..... ..... ..... 0100111100 . @X_rc
442 EQV 011111 ..... ..... ..... 0100011100 . @X_rc
443 CMPB 011111 ..... ..... ..... 0111111100 . @X_rc
445 EXTSB 011111 ..... ..... ----- 1110111010 . @X_sa_rc
446 EXTSH 011111 ..... ..... ----- 1110011010 . @X_sa_rc
447 EXTSW 011111 ..... ..... ----- 1111011010 . @X_sa_rc
448 CNTLZW 011111 ..... ..... ----- 0000011010 . @X_sa_rc
449 CNTTZW 011111 ..... ..... ----- 1000011010 . @X_sa_rc
450 CNTLZD 011111 ..... ..... ----- 0000111010 . @X_sa_rc
451 CNTTZD 011111 ..... ..... ----- 1000111010 . @X_sa_rc
452 POPCNTB 011111 ..... ..... ----- 0001111010 . @X_sa_rc
454 POPCNTW 011111 ..... ..... ----- 0101111010 - @X_sa
455 POPCNTD 011111 ..... ..... ----- 0111111010 - @X_sa
456 PRTYW 011111 ..... ..... ----- 0010011010 - @X_sa
457 PRTYD 011111 ..... ..... ----- 0010111010 - @X_sa
459 BPERMD 011111 ..... ..... ..... 0011111100 - @X
460 CFUGED 011111 ..... ..... ..... 0011011100 - @X
461 CNTLZDM 011111 ..... ..... ..... 0000111011 - @X
462 CNTTZDM 011111 ..... ..... ..... 1000111011 - @X
463 PDEPD 011111 ..... ..... ..... 0010011100 - @X
464 PEXTD 011111 ..... ..... ..... 0010111100 - @X
466 # Fixed-Point Hash Instructions
468 HASHST 011111 ..... ..... ..... 1011010010 . @X_DW
469 HASHCHK 011111 ..... ..... ..... 1011110010 . @X_DW
470 HASHSTP 011111 ..... ..... ..... 1010010010 . @X_DW
471 HASHCHKP 011111 ..... ..... ..... 1010110010 . @X_DW
475 ADDG6S 011111 ..... ..... ..... - 001001010 - @X
476 CDTBCD 011111 ..... ..... ----- 0100011010 - @X_sa
477 CBCDTD 011111 ..... ..... ----- 0100111010 - @X_sa
479 ### Float-Point Load Instructions
481 LFS 110000 ..... ..... ................ @D
482 LFSU 110001 ..... ..... ................ @D
483 LFSX 011111 ..... ..... ..... 1000010111 - @X
484 LFSUX 011111 ..... ..... ..... 1000110111 - @X
486 LFD 110010 ..... ..... ................ @D
487 LFDU 110011 ..... ..... ................ @D
488 LFDX 011111 ..... ..... ..... 1001010111 - @X
489 LFDUX 011111 ..... ..... ..... 1001110111 - @X
491 ### Float-Point Store Instructions
493 STFS 110100 ..... ...... ............... @D
494 STFSU 110101 ..... ...... ............... @D
495 STFSX 011111 ..... ...... .... 1010010111 - @X
496 STFSUX 011111 ..... ...... .... 1010110111 - @X
498 STFD 110110 ..... ...... ............... @D
499 STFDU 110111 ..... ...... ............... @D
500 STFDX 011111 ..... ...... .... 1011010111 - @X
501 STFDUX 011111 ..... ...... .... 1011110111 - @X
503 ### Floating-Point Arithmetic Instructions
505 FADD 111111 ..... ..... ..... ----- 10101 . @A_tab
506 FADDS 111011 ..... ..... ..... ----- 10101 . @A_tab
508 FSUB 111111 ..... ..... ..... ----- 10100 . @A_tab
509 FSUBS 111011 ..... ..... ..... ----- 10100 . @A_tab
511 FMUL 111111 ..... ..... ----- ..... 11001 . @A_tac
512 FMULS 111011 ..... ..... ----- ..... 11001 . @A_tac
514 FDIV 111111 ..... ..... ..... ----- 10010 . @A_tab
515 FDIVS 111011 ..... ..... ..... ----- 10010 . @A_tab
517 FSQRT 111111 ..... ----- ..... ----- 10110 . @A_tb
518 FSQRTS 111011 ..... ----- ..... ----- 10110 . @A_tb
520 FRE 111111 ..... ----- ..... ----- 11000 . @A_tb
521 FRES 111011 ..... ----- ..... ----- 11000 . @A_tb
523 FRSQRTE 111111 ..... ----- ..... ----- 11010 . @A_tb
524 FRSQRTES 111011 ..... ----- ..... ----- 11010 . @A_tb
526 FTDIV 111111 ... -- ..... ..... 0010000000 - @X_bf
527 FTSQRT 111111 ... -- ----- ..... 0010100000 - @X_bf_b
529 FMADD 111111 ..... ..... ..... ..... 11101 . @A
530 FMADDS 111011 ..... ..... ..... ..... 11101 . @A
532 FMSUB 111111 ..... ..... ..... ..... 11100 . @A
533 FMSUBS 111011 ..... ..... ..... ..... 11100 . @A
535 FNMADD 111111 ..... ..... ..... ..... 11111 . @A
536 FNMADDS 111011 ..... ..... ..... ..... 11111 . @A
538 FNMSUB 111111 ..... ..... ..... ..... 11110 . @A
539 FNMSUBS 111011 ..... ..... ..... ..... 11110 . @A
541 ### Floating-Point Select Instruction
543 FSEL 111111 ..... ..... ..... ..... 10111 . @A
545 ### Move To/From System Register Instructions
547 SETBC 011111 ..... ..... ----- 0110000000 - @X_bi
548 SETBCR 011111 ..... ..... ----- 0110100000 - @X_bi
549 SETNBC 011111 ..... ..... ----- 0111000000 - @X_bi
550 SETNBCR 011111 ..... ..... ----- 0111100000 - @X_bi
552 ### Move To/From FPSCR
555 # Before Power ISA v3.0, MFFS bits 11~15 were reserved and should be ignored
556 MFFS_ISA207 111111 ..... ----- ----- 1001000111 . @X_t_rc
558 MFFS 111111 ..... 00000 ----- 1001000111 . @X_t_rc
559 MFFSCE 111111 ..... 00001 ----- 1001000111 - @X_t
560 MFFSCRN 111111 ..... 10110 ..... 1001000111 - @X_tb
561 MFFSCDRN 111111 ..... 10100 ..... 1001000111 - @X_tb
562 MFFSCRNI 111111 ..... 10111 ---.. 1001000111 - @X_imm2
563 MFFSCDRNI 111111 ..... 10101 --... 1001000111 - @X_imm3
564 MFFSL 111111 ..... 11000 ----- 1001000111 - @X_t
568 ### Decimal Floating-Point Arithmetic Instructions
570 DADD 111011 ..... ..... ..... 0000000010 . @X_rc
571 DADDQ 111111 ..... ..... ..... 0000000010 . @X_tp_ap_bp_rc
573 DSUB 111011 ..... ..... ..... 1000000010 . @X_rc
574 DSUBQ 111111 ..... ..... ..... 1000000010 . @X_tp_ap_bp_rc
576 DMUL 111011 ..... ..... ..... 0000100010 . @X_rc
577 DMULQ 111111 ..... ..... ..... 0000100010 . @X_tp_ap_bp_rc
579 DDIV 111011 ..... ..... ..... 1000100010 . @X_rc
580 DDIVQ 111111 ..... ..... ..... 1000100010 . @X_tp_ap_bp_rc
582 ### Decimal Floating-Point Compare Instructions
584 DCMPU 111011 ... -- ..... ..... 1010000010 - @X_bf
585 DCMPUQ 111111 ... -- ..... ..... 1010000010 - @X_bf_ap_bp
587 DCMPO 111011 ... -- ..... ..... 0010000010 - @X_bf
588 DCMPOQ 111111 ... -- ..... ..... 0010000010 - @X_bf_ap_bp
590 ### Decimal Floating-Point Test Instructions
592 DTSTDC 111011 ... -- ..... ...... 011000010 - @Z22_bf_fra
593 DTSTDCQ 111111 ... -- ..... ...... 011000010 - @Z22_bf_frap
595 DTSTDG 111011 ... -- ..... ...... 011100010 - @Z22_bf_fra
596 DTSTDGQ 111111 ... -- ..... ...... 011100010 - @Z22_bf_frap
598 DTSTEX 111011 ... -- ..... ..... 0010100010 - @X_bf
599 DTSTEXQ 111111 ... -- ..... ..... 0010100010 - @X_bf_ap_bp
601 DTSTSF 111011 ... -- ..... ..... 1010100010 - @X_bf
602 DTSTSFQ 111111 ... -- ..... ..... 1010100010 - @X_bf_a_bp
604 DTSTSFI 111011 ... - ...... ..... 1010100011 - @X_bf_uim
605 DTSTSFIQ 111111 ... - ...... ..... 1010100011 - @X_bf_uim_bp
607 ### Decimal Floating-Point Quantum Adjustment Instructions
609 DQUAI 111011 ..... ..... ..... .. 01000011 . @Z23_te_tb
610 DQUAIQ 111111 ..... ..... ..... .. 01000011 . @Z23_te_tbp
612 DQUA 111011 ..... ..... ..... .. 00000011 . @Z23_tab
613 DQUAQ 111111 ..... ..... ..... .. 00000011 . @Z23_tabp
615 DRRND 111011 ..... ..... ..... .. 00100011 . @Z23_tab
616 DRRNDQ 111111 ..... ..... ..... .. 00100011 . @Z23_tp_a_bp
618 DRINTX 111011 ..... ---- . ..... .. 01100011 . @Z23_tb
619 DRINTXQ 111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
621 DRINTN 111011 ..... ---- . ..... .. 11100011 . @Z23_tb
622 DRINTNQ 111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
624 ### Decimal Floating-Point Conversion Instructions
626 DCTDP 111011 ..... ----- ..... 0100000010 . @X_tb_rc
627 DCTQPQ 111111 ..... ----- ..... 0100000010 . @X_tp_b_rc
629 DRSP 111011 ..... ----- ..... 1100000010 . @X_tb_rc
630 DRDPQ 111111 ..... ----- ..... 1100000010 . @X_tbp_rc
632 DCFFIX 111011 ..... ----- ..... 1100100010 . @X_tb_rc
633 DCFFIXQ 111111 ..... ----- ..... 1100100010 . @X_tp_b_rc
634 DCFFIXQQ 111111 ..... 00000 ..... 1111100010 - @X_frtp_vrb
636 DCTFIX 111011 ..... ----- ..... 0100100010 . @X_tb_rc
637 DCTFIXQ 111111 ..... ----- ..... 0100100010 . @X_t_bp_rc
638 DCTFIXQQ 111111 ..... 00001 ..... 1111100010 - @X_vrt_frbp
640 ### Decimal Floating-Point Format Instructions
642 DDEDPD 111011 ..... .. --- ..... 0101000010 . @X_tb_sp_rc
643 DDEDPDQ 111111 ..... .. --- ..... 0101000010 . @X_tbp_sp_rc
645 DENBCD 111011 ..... . ---- ..... 1101000010 . @X_tb_s_rc
646 DENBCDQ 111111 ..... . ---- ..... 1101000010 . @X_tbp_s_rc
648 DXEX 111011 ..... ----- ..... 0101100010 . @X_tb_rc
649 DXEXQ 111111 ..... ----- ..... 0101100010 . @X_t_bp_rc
651 DIEX 111011 ..... ..... ..... 1101100010 . @X_rc
652 DIEXQ 111111 ..... ..... ..... 1101100010 . @X_tp_a_bp_rc
654 DSCLI 111011 ..... ..... ...... 001000010 . @Z22_ta_sh_rc
655 DSCLIQ 111111 ..... ..... ...... 001000010 . @Z22_tap_sh_rc
657 DSCRI 111011 ..... ..... ...... 001100010 . @Z22_ta_sh_rc
658 DSCRIQ 111111 ..... ..... ...... 001100010 . @Z22_tap_sh_rc
660 ## Vector Exclusive-OR-based Instructions
662 VPMSUMD 000100 ..... ..... ..... 10011001000 @VX
664 ## Vector Load/Store Instructions
666 LVEBX 011111 ..... ..... ..... 0000000111 - @X
667 LVEHX 011111 ..... ..... ..... 0000100111 - @X
668 LVEWX 011111 ..... ..... ..... 0001000111 - @X
669 LVX 011111 ..... ..... ..... 0001100111 - @X
670 LVXL 011111 ..... ..... ..... 0101100111 - @X
672 STVEBX 011111 ..... ..... ..... 0010000111 - @X
673 STVEHX 011111 ..... ..... ..... 0010100111 - @X
674 STVEWX 011111 ..... ..... ..... 0011000111 - @X
675 STVX 011111 ..... ..... ..... 0011100111 - @X
676 STVXL 011111 ..... ..... ..... 0111100111 - @X
678 LVSL 011111 ..... ..... ..... 0000000110 - @X
679 LVSR 011111 ..... ..... ..... 0000100110 - @X
681 ## Vector Integer Instructions
683 VCMPEQUB 000100 ..... ..... ..... . 0000000110 @VC
684 VCMPEQUH 000100 ..... ..... ..... . 0001000110 @VC
685 VCMPEQUW 000100 ..... ..... ..... . 0010000110 @VC
686 VCMPEQUD 000100 ..... ..... ..... . 0011000111 @VC
687 VCMPEQUQ 000100 ..... ..... ..... . 0111000111 @VC
689 VCMPGTSB 000100 ..... ..... ..... . 1100000110 @VC
690 VCMPGTSH 000100 ..... ..... ..... . 1101000110 @VC
691 VCMPGTSW 000100 ..... ..... ..... . 1110000110 @VC
692 VCMPGTSD 000100 ..... ..... ..... . 1111000111 @VC
693 VCMPGTSQ 000100 ..... ..... ..... . 1110000111 @VC
695 VCMPGTUB 000100 ..... ..... ..... . 1000000110 @VC
696 VCMPGTUH 000100 ..... ..... ..... . 1001000110 @VC
697 VCMPGTUW 000100 ..... ..... ..... . 1010000110 @VC
698 VCMPGTUD 000100 ..... ..... ..... . 1011000111 @VC
699 VCMPGTUQ 000100 ..... ..... ..... . 1010000111 @VC
701 VCMPNEB 000100 ..... ..... ..... . 0000000111 @VC
702 VCMPNEH 000100 ..... ..... ..... . 0001000111 @VC
703 VCMPNEW 000100 ..... ..... ..... . 0010000111 @VC
705 VCMPNEZB 000100 ..... ..... ..... . 0100000111 @VC
706 VCMPNEZH 000100 ..... ..... ..... . 0101000111 @VC
707 VCMPNEZW 000100 ..... ..... ..... . 0110000111 @VC
709 VCMPSQ 000100 ... -- ..... ..... 00101000001 @VX_bf
710 VCMPUQ 000100 ... -- ..... ..... 00100000001 @VX_bf
712 ## Vector Integer Logical Instructions
714 VAND 000100 ..... ..... ..... 10000000100 @VX
715 VANDC 000100 ..... ..... ..... 10001000100 @VX
716 VNAND 000100 ..... ..... ..... 10110000100 @VX
717 VOR 000100 ..... ..... ..... 10010000100 @VX
718 VORC 000100 ..... ..... ..... 10101000100 @VX
719 VNOR 000100 ..... ..... ..... 10100000100 @VX
720 VXOR 000100 ..... ..... ..... 10011000100 @VX
721 VEQV 000100 ..... ..... ..... 11010000100 @VX
723 ## Vector Integer Average Instructions
725 VAVGSB 000100 ..... ..... ..... 10100000010 @VX
726 VAVGSH 000100 ..... ..... ..... 10101000010 @VX
727 VAVGSW 000100 ..... ..... ..... 10110000010 @VX
728 VAVGUB 000100 ..... ..... ..... 10000000010 @VX
729 VAVGUH 000100 ..... ..... ..... 10001000010 @VX
730 VAVGUW 000100 ..... ..... ..... 10010000010 @VX
732 ## Vector Integer Absolute Difference Instructions
734 VABSDUB 000100 ..... ..... ..... 10000000011 @VX
735 VABSDUH 000100 ..... ..... ..... 10001000011 @VX
736 VABSDUW 000100 ..... ..... ..... 10010000011 @VX
738 ## Vector Bit Manipulation Instruction
740 VGNB 000100 ..... -- ... ..... 10011001100 @VX_n
742 VCFUGED 000100 ..... ..... ..... 10101001101 @VX
743 VCLZDM 000100 ..... ..... ..... 11110000100 @VX
744 VCTZDM 000100 ..... ..... ..... 11111000100 @VX
745 VPDEPD 000100 ..... ..... ..... 10111001101 @VX
746 VPEXTD 000100 ..... ..... ..... 10110001101 @VX
748 VPRTYBD 000100 ..... 01001 ..... 11000000010 @VX_tb
749 VPRTYBQ 000100 ..... 01010 ..... 11000000010 @VX_tb
750 VPRTYBW 000100 ..... 01000 ..... 11000000010 @VX_tb
752 ## Vector Permute and Formatting Instruction
754 VEXTDUBVLX 000100 ..... ..... ..... ..... 011000 @VA
755 VEXTDUBVRX 000100 ..... ..... ..... ..... 011001 @VA
756 VEXTDUHVLX 000100 ..... ..... ..... ..... 011010 @VA
757 VEXTDUHVRX 000100 ..... ..... ..... ..... 011011 @VA
758 VEXTDUWVLX 000100 ..... ..... ..... ..... 011100 @VA
759 VEXTDUWVRX 000100 ..... ..... ..... ..... 011101 @VA
760 VEXTDDVLX 000100 ..... ..... ..... ..... 011110 @VA
761 VEXTDDVRX 000100 ..... ..... ..... ..... 011111 @VA
763 VINSERTB 000100 ..... - .... ..... 01100001101 @VX_uim4
764 VINSERTH 000100 ..... - .... ..... 01101001101 @VX_uim4
765 VINSERTW 000100 ..... - .... ..... 01110001101 @VX_uim4
766 VINSERTD 000100 ..... - .... ..... 01111001101 @VX_uim4
768 VINSBLX 000100 ..... ..... ..... 01000001111 @VX
769 VINSBRX 000100 ..... ..... ..... 01100001111 @VX
770 VINSHLX 000100 ..... ..... ..... 01001001111 @VX
771 VINSHRX 000100 ..... ..... ..... 01101001111 @VX
772 VINSWLX 000100 ..... ..... ..... 01010001111 @VX
773 VINSWRX 000100 ..... ..... ..... 01110001111 @VX
774 VINSDLX 000100 ..... ..... ..... 01011001111 @VX
775 VINSDRX 000100 ..... ..... ..... 01111001111 @VX
777 VINSW 000100 ..... - .... ..... 00011001111 @VX_uim4
778 VINSD 000100 ..... - .... ..... 00111001111 @VX_uim4
780 VINSBVLX 000100 ..... ..... ..... 00000001111 @VX
781 VINSBVRX 000100 ..... ..... ..... 00100001111 @VX
782 VINSHVLX 000100 ..... ..... ..... 00001001111 @VX
783 VINSHVRX 000100 ..... ..... ..... 00101001111 @VX
784 VINSWVLX 000100 ..... ..... ..... 00010001111 @VX
785 VINSWVRX 000100 ..... ..... ..... 00110001111 @VX
787 VSLDBI 000100 ..... ..... ..... 00 ... 010110 @VN
788 VSRDBI 000100 ..... ..... ..... 01 ... 010110 @VN
790 VPERM 000100 ..... ..... ..... ..... 101011 @VA
791 VPERMR 000100 ..... ..... ..... ..... 111011 @VA
793 VSEL 000100 ..... ..... ..... ..... 101010 @VA
795 ## Vector Integer Shift Instruction
797 VSLB 000100 ..... ..... ..... 00100000100 @VX
798 VSLH 000100 ..... ..... ..... 00101000100 @VX
799 VSLW 000100 ..... ..... ..... 00110000100 @VX
800 VSLD 000100 ..... ..... ..... 10111000100 @VX
801 VSLQ 000100 ..... ..... ..... 00100000101 @VX
803 VSRB 000100 ..... ..... ..... 01000000100 @VX
804 VSRH 000100 ..... ..... ..... 01001000100 @VX
805 VSRW 000100 ..... ..... ..... 01010000100 @VX
806 VSRD 000100 ..... ..... ..... 11011000100 @VX
807 VSRQ 000100 ..... ..... ..... 01000000101 @VX
809 VSRAB 000100 ..... ..... ..... 01100000100 @VX
810 VSRAH 000100 ..... ..... ..... 01101000100 @VX
811 VSRAW 000100 ..... ..... ..... 01110000100 @VX
812 VSRAD 000100 ..... ..... ..... 01111000100 @VX
813 VSRAQ 000100 ..... ..... ..... 01100000101 @VX
815 VRLB 000100 ..... ..... ..... 00000000100 @VX
816 VRLH 000100 ..... ..... ..... 00001000100 @VX
817 VRLW 000100 ..... ..... ..... 00010000100 @VX
818 VRLD 000100 ..... ..... ..... 00011000100 @VX
819 VRLQ 000100 ..... ..... ..... 00000000101 @VX
821 VRLWMI 000100 ..... ..... ..... 00010000101 @VX
822 VRLDMI 000100 ..... ..... ..... 00011000101 @VX
823 VRLQMI 000100 ..... ..... ..... 00001000101 @VX
825 VRLWNM 000100 ..... ..... ..... 00110000101 @VX
826 VRLDNM 000100 ..... ..... ..... 00111000101 @VX
827 VRLQNM 000100 ..... ..... ..... 00101000101 @VX
829 ## Vector Integer Arithmetic Instructions
831 VADDCUW 000100 ..... ..... ..... 00110000000 @VX
832 VADDCUQ 000100 ..... ..... ..... 00101000000 @VX
833 VADDUQM 000100 ..... ..... ..... 00100000000 @VX
835 VADDEUQM 000100 ..... ..... ..... ..... 111100 @VA
836 VADDECUQ 000100 ..... ..... ..... ..... 111101 @VA
838 VSUBCUW 000100 ..... ..... ..... 10110000000 @VX
839 VSUBCUQ 000100 ..... ..... ..... 10101000000 @VX
840 VSUBUQM 000100 ..... ..... ..... 10100000000 @VX
842 VSUBECUQ 000100 ..... ..... ..... ..... 111111 @VA
843 VSUBEUQM 000100 ..... ..... ..... ..... 111110 @VA
845 VEXTSB2W 000100 ..... 10000 ..... 11000000010 @VX_tb
846 VEXTSH2W 000100 ..... 10001 ..... 11000000010 @VX_tb
847 VEXTSB2D 000100 ..... 11000 ..... 11000000010 @VX_tb
848 VEXTSH2D 000100 ..... 11001 ..... 11000000010 @VX_tb
849 VEXTSW2D 000100 ..... 11010 ..... 11000000010 @VX_tb
850 VEXTSD2Q 000100 ..... 11011 ..... 11000000010 @VX_tb
852 VNEGD 000100 ..... 00111 ..... 11000000010 @VX_tb
853 VNEGW 000100 ..... 00110 ..... 11000000010 @VX_tb
855 ## Vector Integer Maximum/Minimum Instructions
857 VMAXUB 000100 ..... ..... ..... 00000000010 @VX
858 VMAXUH 000100 ..... ..... ..... 00001000010 @VX
859 VMAXUW 000100 ..... ..... ..... 00010000010 @VX
860 VMAXUD 000100 ..... ..... ..... 00011000010 @VX
862 VMAXSB 000100 ..... ..... ..... 00100000010 @VX
863 VMAXSH 000100 ..... ..... ..... 00101000010 @VX
864 VMAXSW 000100 ..... ..... ..... 00110000010 @VX
865 VMAXSD 000100 ..... ..... ..... 00111000010 @VX
867 VMINUB 000100 ..... ..... ..... 01000000010 @VX
868 VMINUH 000100 ..... ..... ..... 01001000010 @VX
869 VMINUW 000100 ..... ..... ..... 01010000010 @VX
870 VMINUD 000100 ..... ..... ..... 01011000010 @VX
872 VMINSB 000100 ..... ..... ..... 01100000010 @VX
873 VMINSH 000100 ..... ..... ..... 01101000010 @VX
874 VMINSW 000100 ..... ..... ..... 01110000010 @VX
875 VMINSD 000100 ..... ..... ..... 01111000010 @VX
877 ## Vector Mask Manipulation Instructions
879 MTVSRBM 000100 ..... 10000 ..... 11001000010 @VX_tb
880 MTVSRHM 000100 ..... 10001 ..... 11001000010 @VX_tb
881 MTVSRWM 000100 ..... 10010 ..... 11001000010 @VX_tb
882 MTVSRDM 000100 ..... 10011 ..... 11001000010 @VX_tb
883 MTVSRQM 000100 ..... 10100 ..... 11001000010 @VX_tb
884 MTVSRBMI 000100 ..... ..... .......... 01010 . @DX_b
886 VEXPANDBM 000100 ..... 00000 ..... 11001000010 @VX_tb
887 VEXPANDHM 000100 ..... 00001 ..... 11001000010 @VX_tb
888 VEXPANDWM 000100 ..... 00010 ..... 11001000010 @VX_tb
889 VEXPANDDM 000100 ..... 00011 ..... 11001000010 @VX_tb
890 VEXPANDQM 000100 ..... 00100 ..... 11001000010 @VX_tb
892 VEXTRACTBM 000100 ..... 01000 ..... 11001000010 @VX_tb
893 VEXTRACTHM 000100 ..... 01001 ..... 11001000010 @VX_tb
894 VEXTRACTWM 000100 ..... 01010 ..... 11001000010 @VX_tb
895 VEXTRACTDM 000100 ..... 01011 ..... 11001000010 @VX_tb
896 VEXTRACTQM 000100 ..... 01100 ..... 11001000010 @VX_tb
898 VCNTMBB 000100 ..... 1100 . ..... 11001000010 @VX_mp
899 VCNTMBH 000100 ..... 1101 . ..... 11001000010 @VX_mp
900 VCNTMBW 000100 ..... 1110 . ..... 11001000010 @VX_mp
901 VCNTMBD 000100 ..... 1111 . ..... 11001000010 @VX_mp
903 ## Vector Multiply Instruction
905 VMULESB 000100 ..... ..... ..... 01100001000 @VX
906 VMULOSB 000100 ..... ..... ..... 00100001000 @VX
907 VMULEUB 000100 ..... ..... ..... 01000001000 @VX
908 VMULOUB 000100 ..... ..... ..... 00000001000 @VX
910 VMULESH 000100 ..... ..... ..... 01101001000 @VX
911 VMULOSH 000100 ..... ..... ..... 00101001000 @VX
912 VMULEUH 000100 ..... ..... ..... 01001001000 @VX
913 VMULOUH 000100 ..... ..... ..... 00001001000 @VX
915 VMULESW 000100 ..... ..... ..... 01110001000 @VX
916 VMULOSW 000100 ..... ..... ..... 00110001000 @VX
917 VMULEUW 000100 ..... ..... ..... 01010001000 @VX
918 VMULOUW 000100 ..... ..... ..... 00010001000 @VX
920 VMULESD 000100 ..... ..... ..... 01111001000 @VX
921 VMULOSD 000100 ..... ..... ..... 00111001000 @VX
922 VMULEUD 000100 ..... ..... ..... 01011001000 @VX
923 VMULOUD 000100 ..... ..... ..... 00011001000 @VX
925 VMULHSW 000100 ..... ..... ..... 01110001001 @VX
926 VMULHUW 000100 ..... ..... ..... 01010001001 @VX
927 VMULHSD 000100 ..... ..... ..... 01111001001 @VX
928 VMULHUD 000100 ..... ..... ..... 01011001001 @VX
929 VMULLD 000100 ..... ..... ..... 00111001001 @VX
931 ## Vector Multiply-Sum Instructions
933 VMSUMUBM 000100 ..... ..... ..... ..... 100100 @VA
934 VMSUMMBM 000100 ..... ..... ..... ..... 100101 @VA
935 VMSUMSHM 000100 ..... ..... ..... ..... 101000 @VA
936 VMSUMSHS 000100 ..... ..... ..... ..... 101001 @VA
937 VMSUMUHM 000100 ..... ..... ..... ..... 100110 @VA
938 VMSUMUHS 000100 ..... ..... ..... ..... 100111 @VA
940 VMSUMCUD 000100 ..... ..... ..... ..... 010111 @VA
941 VMSUMUDM 000100 ..... ..... ..... ..... 100011 @VA
943 VMLADDUHM 000100 ..... ..... ..... ..... 100010 @VA
944 VMHADDSHS 000100 ..... ..... ..... ..... 100000 @VA
945 VMHRADDSHS 000100 ..... ..... ..... ..... 100001 @VA
947 ## Vector String Instructions
949 VSTRIBL 000100 ..... 00000 ..... . 0000001101 @VX_tb_rc
950 VSTRIBR 000100 ..... 00001 ..... . 0000001101 @VX_tb_rc
951 VSTRIHL 000100 ..... 00010 ..... . 0000001101 @VX_tb_rc
952 VSTRIHR 000100 ..... 00011 ..... . 0000001101 @VX_tb_rc
954 VCLRLB 000100 ..... ..... ..... 00110001101 @VX
955 VCLRRB 000100 ..... ..... ..... 00111001101 @VX
957 # VSX Load/Store Instructions
959 LXSD 111001 ..... ..... .............. 10 @DS
960 STXSD 111101 ..... ..... .............. 10 @DS
961 LXSSP 111001 ..... ..... .............. 11 @DS
962 STXSSP 111101 ..... ..... .............. 11 @DS
963 LXV 111101 ..... ..... ............ . 001 @DQ_TSX
964 STXV 111101 ..... ..... ............ . 101 @DQ_TSX
965 LXVP 000110 ..... ..... ............ 0000 @DQ_TSXP
966 STXVP 000110 ..... ..... ............ 0001 @DQ_TSXP
967 LXVX 011111 ..... ..... ..... 0100 - 01100 . @X_TSX
968 STXVX 011111 ..... ..... ..... 0110001100 . @X_TSX
969 LXVPX 011111 ..... ..... ..... 0101001101 - @X_TSXP
970 STXVPX 011111 ..... ..... ..... 0111001101 - @X_TSXP
971 LXVRBX 011111 ..... ..... ..... 0000001101 . @X_TSX
972 LXVRHX 011111 ..... ..... ..... 0000101101 . @X_TSX
973 LXVRWX 011111 ..... ..... ..... 0001001101 . @X_TSX
974 LXVRDX 011111 ..... ..... ..... 0001101101 . @X_TSX
975 STXVRBX 011111 ..... ..... ..... 0010001101 . @X_TSX
976 STXVRHX 011111 ..... ..... ..... 0010101101 . @X_TSX
977 STXVRWX 011111 ..... ..... ..... 0011001101 . @X_TSX
978 STXVRDX 011111 ..... ..... ..... 0011101101 . @X_TSX
980 ## VSX Vector Binary Floating-Point Sign Manipulation Instructions
982 XVABSDP 111100 ..... 00000 ..... 111011001 .. @XX2
983 XVABSSP 111100 ..... 00000 ..... 110011001 .. @XX2
984 XVNABSDP 111100 ..... 00000 ..... 111101001 .. @XX2
985 XVNABSSP 111100 ..... 00000 ..... 110101001 .. @XX2
986 XVNEGDP 111100 ..... 00000 ..... 111111001 .. @XX2
987 XVNEGSP 111100 ..... 00000 ..... 110111001 .. @XX2
988 XVCPSGNDP 111100 ..... ..... ..... 11110000 ... @XX3
989 XVCPSGNSP 111100 ..... ..... ..... 11010000 ... @XX3
991 ## VSX Scalar Multiply-Add Instructions
993 XSMADDADP 111100 ..... ..... ..... 00100001 . . . @XX3
994 XSMADDMDP 111100 ..... ..... ..... 00101001 . . . @XX3
995 XSMADDASP 111100 ..... ..... ..... 00000001 . . . @XX3
996 XSMADDMSP 111100 ..... ..... ..... 00001001 . . . @XX3
997 XSMADDQP 111111 ..... ..... ..... 0110000100 . @X_rc
999 XSMSUBADP 111100 ..... ..... ..... 00110001 . . . @XX3
1000 XSMSUBMDP 111100 ..... ..... ..... 00111001 . . . @XX3
1001 XSMSUBASP 111100 ..... ..... ..... 00010001 . . . @XX3
1002 XSMSUBMSP 111100 ..... ..... ..... 00011001 . . . @XX3
1003 XSMSUBQP 111111 ..... ..... ..... 0110100100 . @X_rc
1005 XSNMADDASP 111100 ..... ..... ..... 10000001 . . . @XX3
1006 XSNMADDMSP 111100 ..... ..... ..... 10001001 . . . @XX3
1007 XSNMADDADP 111100 ..... ..... ..... 10100001 . . . @XX3
1008 XSNMADDMDP 111100 ..... ..... ..... 10101001 . . . @XX3
1009 XSNMADDQP 111111 ..... ..... ..... 0111000100 . @X_rc
1011 XSNMSUBASP 111100 ..... ..... ..... 10010001 . . . @XX3
1012 XSNMSUBMSP 111100 ..... ..... ..... 10011001 . . . @XX3
1013 XSNMSUBADP 111100 ..... ..... ..... 10110001 . . . @XX3
1014 XSNMSUBMDP 111100 ..... ..... ..... 10111001 . . . @XX3
1015 XSNMSUBQP 111111 ..... ..... ..... 0111100100 . @X_rc
1017 ## VSX splat instruction
1019 XXSPLTIB 111100 ..... 00 ........ 0101101000 . @X_imm8
1020 XXSPLTW 111100 ..... ---.. ..... 010100100 . . @XX2_uim2
1022 ## VSX Permute Instructions
1024 XXEXTRACTUW 111100 ..... - .... ..... 010100101 .. @XX2_uim4
1025 XXINSERTW 111100 ..... - .... ..... 010110101 .. @XX2_uim4
1027 XXPERM 111100 ..... ..... ..... 00011010 ... @XX3
1028 XXPERMR 111100 ..... ..... ..... 00111010 ... @XX3
1029 XXPERMDI 111100 ..... ..... ..... 0 .. 01010 ... @XX3_dm
1031 XXSEL 111100 ..... ..... ..... ..... 11 .... @XX4
1033 ## VSX Vector Generate PCV
1035 XXGENPCVBM 111100 ..... ..... ..... 1110010100 . @X_imm5
1036 XXGENPCVHM 111100 ..... ..... ..... 1110010101 . @X_imm5
1037 XXGENPCVWM 111100 ..... ..... ..... 1110110100 . @X_imm5
1038 XXGENPCVDM 111100 ..... ..... ..... 1110110101 . @X_imm5
1040 ## VSX Vector Load Special Value Instruction
1042 LXVKQ 111100 ..... 11111 ..... 0101101000 . @X_uim5
1044 ## VSX Comparison Instructions
1046 XSMAXCDP 111100 ..... ..... ..... 10000000 ... @XX3
1047 XSMINCDP 111100 ..... ..... ..... 10001000 ... @XX3
1048 XSMAXJDP 111100 ..... ..... ..... 10010000 ... @XX3
1049 XSMINJDP 111100 ..... ..... ..... 10011000 ... @XX3
1050 XSMAXCQP 111111 ..... ..... ..... 1010100100 - @X
1051 XSMINCQP 111111 ..... ..... ..... 1011100100 - @X
1053 XSCMPEQDP 111100 ..... ..... ..... 00000011 ... @XX3
1054 XSCMPGEDP 111100 ..... ..... ..... 00010011 ... @XX3
1055 XSCMPGTDP 111100 ..... ..... ..... 00001011 ... @XX3
1056 XSCMPEQQP 111111 ..... ..... ..... 0001000100 - @X
1057 XSCMPGEQP 111111 ..... ..... ..... 0011000100 - @X
1058 XSCMPGTQP 111111 ..... ..... ..... 0011100100 - @X
1060 ## VSX Binary Floating-Point Convert Instructions
1062 XSCVQPDP 111111 ..... 10100 ..... 1101000100 . @X_tb_rc
1063 XSCVQPUQZ 111111 ..... 00000 ..... 1101000100 - @X_tb
1064 XSCVQPSQZ 111111 ..... 01000 ..... 1101000100 - @X_tb
1065 XSCVUQQP 111111 ..... 00011 ..... 1101000100 - @X_tb
1066 XSCVSQQP 111111 ..... 01011 ..... 1101000100 - @X_tb
1067 XVCVBF16SPN 111100 ..... 10000 ..... 111011011 .. @XX2
1068 XVCVSPBF16 111100 ..... 10001 ..... 111011011 .. @XX2
1069 XSCVSPDPN 111100 ..... ----- ..... 101001011 .. @XX2
1071 ## VSX Binary Floating-Point Math Support Instructions
1073 XVXSIGSP 111100 ..... 01001 ..... 111011011 .. @XX2
1074 XVTSTDCDP 111100 ..... ..... ..... 1111 . 101 ... @XX2_uim7
1075 XVTSTDCSP 111100 ..... ..... ..... 1101 . 101 ... @XX2_uim7
1076 XSTSTDCSP 111100 ... ....... ..... 100101010 . - @XX2_bf_uim xb=%xx_xb
1077 XSTSTDCDP 111100 ... ....... ..... 101101010 . - @XX2_bf_uim xb=%xx_xb
1078 XSTSTDCQP 111111 ... ....... xb:5 1011000100 - @XX2_bf_uim
1080 ## VSX Vector Test Least-Significant Bit by Byte Instruction
1082 XVTLSBB 111100 ... -- 00010 ..... 111011011 . - @XX2_bf_xb
1086 @XL_s ......-------------- s:1 .......... - &XL_s
1087 RFEBB 010011-------------- . 0010010010 - @XL_s
1089 ## Accumulator Instructions
1091 XXMFACC 011111 ... -- 00000 ----- 0010110001 - @X_a
1092 XXMTACC 011111 ... -- 00001 ----- 0010110001 - @X_a
1093 XXSETACCZ 011111 ... -- 00011 ----- 0010110001 - @X_a
1095 ## VSX GER instruction
1097 XVI4GER8 111011 ... -- ..... ..... 00100011 ..- @XX3_at xa=%xx_xa
1098 XVI4GER8PP 111011 ... -- ..... ..... 00100010 ..- @XX3_at xa=%xx_xa
1099 XVI8GER4 111011 ... -- ..... ..... 00000011 ..- @XX3_at xa=%xx_xa
1100 XVI8GER4PP 111011 ... -- ..... ..... 00000010 ..- @XX3_at xa=%xx_xa
1101 XVI16GER2 111011 ... -- ..... ..... 01001011 ..- @XX3_at xa=%xx_xa
1102 XVI16GER2PP 111011 ... -- ..... ..... 01101011 ..- @XX3_at xa=%xx_xa
1103 XVI8GER4SPP 111011 ... -- ..... ..... 01100011 ..- @XX3_at xa=%xx_xa
1104 XVI16GER2S 111011 ... -- ..... ..... 00101011 ..- @XX3_at xa=%xx_xa
1105 XVI16GER2SPP 111011 ... -- ..... ..... 00101010 ..- @XX3_at xa=%xx_xa
1107 XVBF16GER2 111011 ... -- ..... ..... 00110011 ..- @XX3_at xa=%xx_xa
1108 XVBF16GER2PP 111011 ... -- ..... ..... 00110010 ..- @XX3_at xa=%xx_xa
1109 XVBF16GER2PN 111011 ... -- ..... ..... 10110010 ..- @XX3_at xa=%xx_xa
1110 XVBF16GER2NP 111011 ... -- ..... ..... 01110010 ..- @XX3_at xa=%xx_xa
1111 XVBF16GER2NN 111011 ... -- ..... ..... 11110010 ..- @XX3_at xa=%xx_xa
1113 XVF16GER2 111011 ... -- ..... ..... 00010011 ..- @XX3_at xa=%xx_xa
1114 XVF16GER2PP 111011 ... -- ..... ..... 00010010 ..- @XX3_at xa=%xx_xa
1115 XVF16GER2PN 111011 ... -- ..... ..... 10010010 ..- @XX3_at xa=%xx_xa
1116 XVF16GER2NP 111011 ... -- ..... ..... 01010010 ..- @XX3_at xa=%xx_xa
1117 XVF16GER2NN 111011 ... -- ..... ..... 11010010 ..- @XX3_at xa=%xx_xa
1119 XVF32GER 111011 ... -- ..... ..... 00011011 ..- @XX3_at xa=%xx_xa
1120 XVF32GERPP 111011 ... -- ..... ..... 00011010 ..- @XX3_at xa=%xx_xa
1121 XVF32GERPN 111011 ... -- ..... ..... 10011010 ..- @XX3_at xa=%xx_xa
1122 XVF32GERNP 111011 ... -- ..... ..... 01011010 ..- @XX3_at xa=%xx_xa
1123 XVF32GERNN 111011 ... -- ..... ..... 11011010 ..- @XX3_at xa=%xx_xa
1125 XVF64GER 111011 ... -- .... 0 ..... 00111011 ..- @XX3_at xa=%xx_xa_pair
1126 XVF64GERPP 111011 ... -- .... 0 ..... 00111010 ..- @XX3_at xa=%xx_xa_pair
1127 XVF64GERPN 111011 ... -- .... 0 ..... 10111010 ..- @XX3_at xa=%xx_xa_pair
1128 XVF64GERNP 111011 ... -- .... 0 ..... 01111010 ..- @XX3_at xa=%xx_xa_pair
1129 XVF64GERNN 111011 ... -- .... 0 ..... 11111010 ..- @XX3_at xa=%xx_xa_pair
1131 ## Vector Division Instructions
1133 VDIVSW 000100 ..... ..... ..... 00110001011 @VX
1134 VDIVUW 000100 ..... ..... ..... 00010001011 @VX
1135 VDIVSD 000100 ..... ..... ..... 00111001011 @VX
1136 VDIVUD 000100 ..... ..... ..... 00011001011 @VX
1137 VDIVSQ 000100 ..... ..... ..... 00100001011 @VX
1138 VDIVUQ 000100 ..... ..... ..... 00000001011 @VX
1140 VDIVESW 000100 ..... ..... ..... 01110001011 @VX
1141 VDIVEUW 000100 ..... ..... ..... 01010001011 @VX
1142 VDIVESD 000100 ..... ..... ..... 01111001011 @VX
1143 VDIVEUD 000100 ..... ..... ..... 01011001011 @VX
1144 VDIVESQ 000100 ..... ..... ..... 01100001011 @VX
1145 VDIVEUQ 000100 ..... ..... ..... 01000001011 @VX
1147 VMODSW 000100 ..... ..... ..... 11110001011 @VX
1148 VMODUW 000100 ..... ..... ..... 11010001011 @VX
1149 VMODSD 000100 ..... ..... ..... 11111001011 @VX
1150 VMODUD 000100 ..... ..... ..... 11011001011 @VX
1151 VMODSQ 000100 ..... ..... ..... 11100001011 @VX
1152 VMODUQ 000100 ..... ..... ..... 11000001011 @VX
1154 ## SLB Management Instructions
1156 SLBIE 011111 ----- ----- ..... 0110110010 - @X_rb
1157 SLBIEG 011111 ..... ----- ..... 0111010010 - @X_tb
1159 SLBIA 011111 --... ----- ----- 0111110010 - @X_ih
1160 SLBIAG 011111 ..... ----. ----- 1101010010 - @X_rs_l
1162 SLBMTE 011111 ..... ----- ..... 0110010010 - @X_tb
1164 SLBMFEV 011111 ..... ----- ..... 1101010011 - @X_tb
1165 SLBMFEE 011111 ..... ----- ..... 1110010011 - @X_tb
1167 SLBFEE 011111 ..... ----- ..... 1111010011 1 @X_tb
1169 SLBSYNC 011111 ----- ----- ----- 0101010010 -
1171 ## TLB Management Instructions
1173 &X_tlbie rb rs ric prs:bool r:bool
1174 @X_tlbie ...... rs:5 - ric:2 prs:1 r:1 rb:5 .......... - &X_tlbie
1176 TLBIE 011111 ..... - .. . . ..... 0100110010 - @X_tlbie
1177 TLBIEL 011111 ..... - .. . . ..... 0100010010 - @X_tlbie
1179 # Processor Control Instructions
1181 MSGCLR 011111 ----- ----- ..... 0011101110 - @X_rb
1182 MSGSND 011111 ----- ----- ..... 0011001110 - @X_rb
1183 MSGCLRP 011111 ----- ----- ..... 0010101110 - @X_rb
1184 MSGSNDP 011111 ----- ----- ..... 0010001110 - @X_rb
1185 MSGSYNC 011111 ----- ----- ----- 1101110110 -
1187 # Memory Barrier Instructions
1190 @X_sync ...... .. l:3 ... sc:2 ..... .......... . &X_sync
1191 SYNC 011111 -- ... --- .. ----- 1001010110 - @X_sync
1192 EIEIO 011111 ----- ----- ----- 1101010110 -
1194 # Branch History Rolling Buffer (BHRB) Instructions
1197 @XFX_bhrbe ...... rt:5 bhrbe:10 .......... - &XFX_bhrbe
1199 MFBHRBE 011111 ..... ..... ..... 0100101110 - @XFX_bhrbe
1200 CLRBHRB 011111 ----- ----- ----- 0110101110 -
1202 ## Misc POWER instructions
1204 ATTN 000000 00000 00000 00000 0100000000 0