Merge tag 'pull-request-2024-07-02' of https://gitlab.com/thuth/qemu into staging
[qemu/armbru.git] / target / ppc / insn32.decode
blobee331414762c0bd9bdf7a9dcfe3cf8a890688418
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
29 &A_tb           frt frb rc:bool
30 @A_tb           ...... frt:5 ..... frb:5 ..... ..... rc:1       &A_tb
32 &A_tab_bc       rt ra rb bc
33 @A_tab_bc       ...... rt:5 ra:5 rb:5 bc:5 ..... .              &A_tab_bc
35 &D              rt ra si:int64_t
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
49 %dq_rt_tsx      3:1 21:5
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
61 &DX_b           vrt b
62 %dx_b           6:10 16:5 0:1
63 @DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b
65 &DX             rt d
66 %dx_d           6:s10 16:5 0:1
67 @DX             ...... rt:5  ..... .......... ..... .           &DX d=%dx_d
69 &VA             vrt vra vrb rc
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
75 &VN             vrt vra vrb sh
76 @VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
78 &VX             vrt vra vrb
79 @VX             ...... vrt:5 vra:5 vrb:5 .......... .           &VX
81 &VX_bf          bf vra vrb
82 @VX_bf          ...... bf:3 .. vra:5 vrb:5 ...........          &VX_bf
84 &VX_mp          rt mp:bool vrb
85 @VX_mp          ...... rt:5 .... mp:1 vrb:5 ...........         &VX_mp
87 &VX_n           rt vrb n
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
93 &VX_uim4        vrt uim vrb
94 @VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........          &VX_uim4
96 &VX_tb          vrt vrb
97 @VX_tb          ...... vrt:5 ..... vrb:5 ...........            &VX_tb
99 &X              rt ra rb
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
105 &X_sa           rs ra
106 @X_sa           ...... rs:5 ra:5 ..... .......... .             &X_sa
108 &X_sa_rc        rs ra rc
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
118 &X_t            rt
119 @X_t            ...... rt:5 ..... ..... .......... .            &X_t
121 &X_tb           rt rb
122 @X_tb           ...... rt:5 ..... rb:5 .......... .             &X_tb
124 &X_t_rc         rt rc:bool
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
136 &X_bi           rt bi
137 @X_bi           ...... rt:5 bi:5 ..... .......... .             &X_bi
139 &X_bf           bf ra rb
140 @X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
142 &X_bf_b         bf rb
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
149 &X_bf_uim       bf uim rb
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
157 &X_imm2         rt imm
158 @X_imm2         ...... rt:5 ..... ... imm:2 .......... .        &X_imm2
160 &X_imm3         rt imm
161 @X_imm3         ...... rt:5 ..... .. imm:3 .......... .         &X_imm3
163 %x_xt           0:1 21:5
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
170 &X_ih           ih:uint8_t
171 @X_ih           ...... .. ih:3 ..... ..... .......... .         &X_ih
173 &X_rb           rb
174 @X_rb           ...... ..... ..... rb:5 .......... .            &X_rb
176 &X_rs_l         rs l:bool
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
192 %x_rt_tsx       0:1 21:5
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
199 &X_frtp_vrb     frtp vrb
200 @X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
202 &X_vrt_frbp     vrt frbp
203 @X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
205 &X_a            ra
206 @X_a            ...... ra:3 .. ..... ..... .......... .         &X_a
208 &X_tl           rt l
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
220 %xx_xt          0:1 21:5
221 %xx_xb          1:1 11:5
222 %xx_xa          2:1 16:5
223 %xx_xc          3:1 6:5
224 &XX2            xt xb
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
238 &XX2_bf_xb      bf xb
239 @XX2_bf_xb      ...... bf:3 .. ..... ..... ......... . .        &XX2_bf_xb xb=%xx_xb
241 &XX3            xt xa 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
246 %xx_at          23:3
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
251 &XX3_dm         xt xa xb dm
252 @XX3_dm         ...... ..... ..... ..... . dm:2 ..... ...       &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
254 &XX4            xt xa xb xc
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
473 ## BCD Assist
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
557   [
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
565   ]
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
1084 ### rfebb
1085 &XL_s           s:uint8_t
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
1189 &X_sync         l sc
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
1196 &XFX_bhrbe      rt bhrbe
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