xref: /openbmc/qemu/target/ppc/insn32.decode (revision c719573d)
1#
2# Power ISA decode for 32-bit insns (opcode space 0)
3#
4# Copyright (c) 2021 Instituto de Pesquisas Eldorado (eldorado.org.br)
5#
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.
10#
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.
15#
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/>.
18#
19
20&A              frt fra frb frc rc:bool
21@A              ...... frt:5 fra:5 frb:5 frc:5 ..... rc:1       &A
22
23&A_tab          frt fra frb rc:bool
24@A_tab          ...... frt:5 fra:5 frb:5 ..... ..... rc:1       &A_tab
25
26&A_tac          frt fra frc rc:bool
27@A_tac          ...... frt:5 fra:5 ..... frc:5 ..... rc:1       &A_tac
28
29&A_tb           frt frb rc:bool
30@A_tb           ...... frt:5 ..... frb:5 ..... ..... rc:1       &A_tb
31
32&A_tab_bc       rt ra rb bc
33@A_tab_bc       ...... rt:5 ra:5 rb:5 bc:5 ..... .              &A_tab_bc
34
35&D              rt ra si:int64_t
36@D              ...... rt:5 ra:5 si:s16                         &D
37
38&D_ui           rt ra ui:uint64_t
39@D_ui           ...... rt:5 ra:5 ui:16                         &D_ui
40
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
44
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
48
49%dq_rt_tsx      3:1 21:5
50@DQ_TSX         ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%dq_rt_tsx
51
52%rt_tsxp        21:1 22:4 !function=times_2
53@DQ_TSXP        ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%rt_tsxp
54
55%ds_si          2:s14  !function=times_4
56@DS             ...... rt:5 ra:5 .............. ..              &D si=%ds_si
57
58%ds_rtp         22:4   !function=times_2
59@DS_rtp         ...... ....0 ra:5 .............. ..             &D rt=%ds_rtp si=%ds_si
60
61&DX_b           vrt b
62%dx_b           6:10 16:5 0:1
63@DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b
64
65&DX             rt d
66%dx_d           6:s10 16:5 0:1
67@DX             ...... rt:5  ..... .......... ..... .           &DX d=%dx_d
68
69&VA             vrt vra vrb rc
70@VA             ...... vrt:5 vra:5 vrb:5 rc:5 ......            &VA
71
72&VC             vrt vra vrb rc:bool
73@VC             ...... vrt:5 vra:5 vrb:5 rc:1 ..........        &VC
74
75&VN             vrt vra vrb sh
76@VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
77
78&VX             vrt vra vrb
79@VX             ...... vrt:5 vra:5 vrb:5 .......... .           &VX
80
81&VX_bf          bf vra vrb
82@VX_bf          ...... bf:3 .. vra:5 vrb:5 ...........          &VX_bf
83
84&VX_mp          rt mp:bool vrb
85@VX_mp          ...... rt:5 .... mp:1 vrb:5 ...........         &VX_mp
86
87&VX_n           rt vrb n
88@VX_n           ...... rt:5 .. n:3 vrb:5 ...........            &VX_n
89
90&VX_tb_rc       vrt vrb rc:bool
91@VX_tb_rc       ...... vrt:5 ..... vrb:5 rc:1 ..........        &VX_tb_rc
92
93&VX_uim4        vrt uim vrb
94@VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........          &VX_uim4
95
96&VX_tb          vrt vrb
97@VX_tb          ...... vrt:5 ..... vrb:5 ...........            &VX_tb
98
99&X              rt ra rb
100@X              ...... rt:5 ra:5 rb:5 .......... .              &X
101
102&X_rc           rt ra rb rc:bool
103@X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc
104
105&X_sa           rs ra
106@X_sa           ...... rs:5 ra:5 ..... .......... .             &X_sa
107
108&X_sa_rc        rs ra rc
109@X_sa_rc        ...... rs:5 ra:5 ..... .......... rc:1          &X_sa_rc
110
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
115
116@X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp
117
118&X_t            rt
119@X_t            ...... rt:5 ..... ..... .......... .            &X_t
120
121&X_tb           rt rb
122@X_tb           ...... rt:5 ..... rb:5 .......... .             &X_tb
123
124&X_t_rc         rt rc:bool
125@X_t_rc         ...... rt:5 ..... ..... .......... rc:1         &X_t_rc
126
127&X_tb_rc        rt rb rc:bool
128@X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc
129
130@X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp
131
132@X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp
133
134@X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp
135
136&X_bi           rt bi
137@X_bi           ...... rt:5 bi:5 ..... .......... .             &X_bi
138
139&X_bf           bf ra rb
140@X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
141
142&X_bf_b         bf rb
143@X_bf_b         ...... bf:3 .. ..... rb:5 .......... .          &X_bf_b
144
145@X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp
146
147@X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp
148
149&X_bf_uim       bf uim rb
150@X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim
151
152@X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp
153
154&X_bfl          bf l:bool ra rb
155@X_bfl          ...... bf:3 . l:1 ra:5 rb:5 .......... .        &X_bfl
156
157&X_imm2         rt imm
158@X_imm2         ...... rt:5 ..... ... imm:2 .......... .        &X_imm2
159
160&X_imm3         rt imm
161@X_imm3         ...... rt:5 ..... .. imm:3 .......... .         &X_imm3
162
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
166
167&X_imm8         xt imm:uint8_t
168@X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt
169
170&X_ih           ih:uint8_t
171@X_ih           ...... .. ih:3 ..... ..... .......... .         &X_ih
172
173&X_rb           rb
174@X_rb           ...... ..... ..... rb:5 .......... .            &X_rb
175
176&X_rs_l         rs l:bool
177@X_rs_l         ...... rs:5 .... l:1 ..... .......... .         &X_rs_l
178
179&X_uim5         xt uim:uint8_t
180@X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt
181
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
184
185@X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
186
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
189
190@X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp
191
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
195
196%x_dw           0:1 21:5 !function=dw_compose_ea
197@X_DW           ...... ..... ra:5 rb:5 .......... .             &X rt=%x_dw
198
199&X_frtp_vrb     frtp vrb
200@X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
201
202&X_vrt_frbp     vrt frbp
203@X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
204
205&X_a            ra
206@X_a            ...... ra:3 .. ..... ..... .......... .         &X_a
207
208&X_tl           rt l
209@X_tl           ...... rt:5 ... l:2 ..... .......... .          &X_tl
210
211&XO             rt ra rb oe:bool rc:bool
212@XO             ...... rt:5 ra:5 rb:5 oe:1 ......... rc:1       &XO
213
214&XO_ta          rt ra oe:bool rc:bool
215@XO_ta          ...... rt:5 ra:5 ..... oe:1 ......... rc:1      &XO_ta
216
217&XO_tab_rc      rt ra rb rc:bool
218@XO_tab_rc      ...... rt:5 ra:5 rb:5 . ......... rc:1          &XO_tab_rc
219
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
226
227&XX2_uim        xt xb uim:uint8_t
228@XX2_uim2       ...... ..... ... uim:2 ..... ......... ..       &XX2_uim xt=%xx_xt xb=%xx_xb
229
230@XX2_uim4       ...... ..... . uim:4 ..... ......... ..         &XX2_uim xt=%xx_xt xb=%xx_xb
231
232%xx_uim7        6:1 2:1 16:5
233@XX2_uim7       ...... ..... ..... ..... .... . ... . ..        &XX2_uim xt=%xx_xt xb=%xx_xb uim=%xx_uim7
234
235&XX2_bf_uim     bf xb uim
236@XX2_bf_uim     ...... bf:3 uim:7 ..... ......... . .           &XX2_bf_uim
237
238&XX2_bf_xb      bf xb
239@XX2_bf_xb      ...... bf:3 .. ..... ..... ......... . .        &XX2_bf_xb xb=%xx_xb
240
241&XX3            xt xa xb
242@XX3            ...... ..... ..... ..... ........ ...           &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
243
244&XX3_rc         xt xa xb rc:bool
245@XX3_rc         ...... ..... ..... ..... rc:1 ....... ...       &XX3_rc xt=%xx_xt xa=%xx_xa xb=%xx_xb
246
247# 32 bit GER instructions have all mask bits considered 1
248&MMIRR_XX3      xa xb xt pmsk xmsk ymsk
249%xx_at          23:3
250%xx_xa_pair     2:1 17:4 !function=times_2
251@XX3_at         ...... ... .. ..... ..... ........ ...          &MMIRR_XX3 xt=%xx_at xb=%xx_xb \
252                                                                pmsk=255 xmsk=15 ymsk=15
253
254&XX3_dm         xt xa xb dm
255@XX3_dm         ...... ..... ..... ..... . dm:2 ..... ...       &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
256
257&XX4            xt xa xb xc
258@XX4            ...... ..... ..... ..... ..... .. ....          &XX4 xt=%xx_xt xa=%xx_xa xb=%xx_xb xc=%xx_xc
259
260&Z22_bf_fra     bf fra dm
261@Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra
262
263%z22_frap       17:4 !function=times_2
264@Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap
265
266&Z22_ta_sh_rc   rt ra sh rc:bool
267@Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc
268
269%z22_frtp       22:4 !function=times_2
270@Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
271
272&Z23_tab        frt fra frb rmc rc:bool
273@Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab
274
275%z23_frtp       22:4 !function=times_2
276%z23_frap       17:4 !function=times_2
277%z23_frbp       12:4 !function=times_2
278@Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
279
280@Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp
281
282&Z23_tb         frt frb r:bool rmc rc:bool
283@Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
284
285@Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
286
287&Z23_te_tb      te frt frb rmc rc:bool
288@Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb
289
290@Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
291
292### Fixed-Point Load Instructions
293
294LBZ             100010 ..... ..... ................     @D
295LBZU            100011 ..... ..... ................     @D
296LBZX            011111 ..... ..... ..... 0001010111 -   @X
297LBZUX           011111 ..... ..... ..... 0001110111 -   @X
298
299LHZ             101000 ..... ..... ................     @D
300LHZU            101001 ..... ..... ................     @D
301LHZX            011111 ..... ..... ..... 0100010111 -   @X
302LHZUX           011111 ..... ..... ..... 0100110111 -   @X
303
304LHA             101010 ..... ..... ................     @D
305LHAU            101011 ..... ..... ................     @D
306LHAX            011111 ..... ..... ..... 0101010111 -   @X
307LHAXU           011111 ..... ..... ..... 0101110111 -   @X
308
309LWZ             100000 ..... ..... ................     @D
310LWZU            100001 ..... ..... ................     @D
311LWZX            011111 ..... ..... ..... 0000010111 -   @X
312LWZUX           011111 ..... ..... ..... 0000110111 -   @X
313
314LWA             111010 ..... ..... ..............10     @DS
315LWAX            011111 ..... ..... ..... 0101010101 -   @X
316LWAUX           011111 ..... ..... ..... 0101110101 -   @X
317
318LD              111010 ..... ..... ..............00     @DS
319LDU             111010 ..... ..... ..............01     @DS
320LDX             011111 ..... ..... ..... 0000010101 -   @X
321LDUX            011111 ..... ..... ..... 0000110101 -   @X
322
323LQ              111000 ..... ..... ............ ----    @DQ_rtp
324
325### Fixed-Point Store Instructions
326
327STB             100110 ..... ..... ................     @D
328STBU            100111 ..... ..... ................     @D
329STBX            011111 ..... ..... ..... 0011010111 -   @X
330STBUX           011111 ..... ..... ..... 0011110111 -   @X
331
332STH             101100 ..... ..... ................     @D
333STHU            101101 ..... ..... ................     @D
334STHX            011111 ..... ..... ..... 0110010111 -   @X
335STHUX           011111 ..... ..... ..... 0110110111 -   @X
336
337STW             100100 ..... ..... ................     @D
338STWU            100101 ..... ..... ................     @D
339STWX            011111 ..... ..... ..... 0010010111 -   @X
340STWUX           011111 ..... ..... ..... 0010110111 -   @X
341
342STD             111110 ..... ..... ..............00     @DS
343STDU            111110 ..... ..... ..............01     @DS
344STDX            011111 ..... ..... ..... 0010010101 -   @X
345STDUX           011111 ..... ..... ..... 0010110101 -   @X
346
347STQ             111110 ..... ..... ..............10     @DS_rtp
348
349### Fixed-Point Compare Instructions
350
351CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
352CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
353CMPI            001011 ... - . ..... ................   @D_bfs
354CMPLI           001010 ... - . ..... ................   @D_bfu
355CMPRB           011111 ... - . ..... ..... 0011000000 - @X_bfl
356CMPEQB          011111 ... -- ..... ..... 0011100000 -  @X_bf
357
358### Fixed-Point Trap Instructions
359
360TW              011111 ..... ..... ..... 0000000100 -   @X
361TD              011111 ..... ..... ..... 0001000100 -   @X
362TWI             000011 ..... ..... ................     @D
363TDI             000010 ..... ..... ................     @D
364
365### Fixed-Point Select Instruction
366
367ISEL            011111 ..... ..... ..... ..... 01111 -  @A_tab_bc
368
369### Fixed-Point Arithmetic Instructions
370
371ADD             011111 ..... ..... ..... . 100001010 .  @XO
372ADDC            011111 ..... ..... ..... . 000001010 .  @XO
373ADDE            011111 ..... ..... ..... . 010001010 .  @XO
374
375# ADDEX is Z23-form, with CY=0; all other values for CY are reserved.
376# This works out the same as X-form.
377ADDEX           011111 ..... ..... ..... 00 10101010 -  @X
378
379ADDI            001110 ..... ..... ................     @D
380ADDIS           001111 ..... ..... ................     @D
381ADDIC           001100 ..... ..... ................     @D
382ADDIC_          001101 ..... ..... ................     @D
383
384ADDPCIS         010011 ..... ..... .......... 00010 .   @DX
385ADDME           011111 ..... ..... ----- . 011101010 .  @XO_ta
386ADDZE           011111 ..... ..... ----- . 011001010 .  @XO_ta
387
388SUBF            011111 ..... ..... ..... . 000101000 .  @XO
389SUBFIC          001000 ..... ..... ................     @D
390SUBFC           011111 ..... ..... ..... . 000001000 .  @XO
391SUBFE           011111 ..... ..... ..... . 010001000 .  @XO
392
393SUBFME          011111 ..... ..... ----- . 011101000 .  @XO_ta
394SUBFZE          011111 ..... ..... ----- . 011001000 .  @XO_ta
395
396MULLI           000111 ..... ..... ................     @D
397MULLW           011111 ..... ..... ..... 0 011101011 .  @XO_tab_rc
398MULLWO          011111 ..... ..... ..... 1 011101011 .  @XO_tab_rc
399MULHW           011111 ..... ..... ..... - 001001011 .  @XO_tab_rc
400MULHWU          011111 ..... ..... ..... - 000001011 .  @XO_tab_rc
401
402DIVW            011111 ..... ..... ..... . 111101011 .  @XO
403DIVWU           011111 ..... ..... ..... . 111001011 .  @XO
404DIVWE           011111 ..... ..... ..... . 110101011 .  @XO
405DIVWEU          011111 ..... ..... ..... . 110001011 .  @XO
406
407MODSW           011111 ..... ..... ..... 1100001011 -   @X
408MODUW           011111 ..... ..... ..... 0100001011 -   @X
409DARN            011111 ..... --- .. ----- 1011110011 -  @X_tl
410NEG             011111 ..... ..... ----- . 001101000 .  @XO_ta
411
412MULLD           011111 ..... ..... ..... 0 011101001 .  @XO_tab_rc
413MULLDO          011111 ..... ..... ..... 1 011101001 .  @XO_tab_rc
414MULHD           011111 ..... ..... ..... - 001001001 .  @XO_tab_rc
415MULHDU          011111 ..... ..... ..... - 000001001 .  @XO_tab_rc
416
417MADDLD          000100 ..... ..... ..... ..... 110011   @VA
418MADDHD          000100 ..... ..... ..... ..... 110000   @VA
419MADDHDU         000100 ..... ..... ..... ..... 110001   @VA
420
421DIVD            011111 ..... ..... ..... . 111101001 .  @XO
422DIVDU           011111 ..... ..... ..... . 111001001 .  @XO
423DIVDE           011111 ..... ..... ..... . 110101001 .  @XO
424DIVDEU          011111 ..... ..... ..... . 110001001 .  @XO
425
426MODSD           011111 ..... ..... ..... 1100001001 -   @X
427MODUD           011111 ..... ..... ..... 0100001001 -   @X
428
429## Fixed-Point Logical Instructions
430
431ANDI_           011100 ..... ..... ................     @D_ui
432ANDIS_          011101 ..... ..... ................     @D_ui
433ORI             011000 ..... ..... ................     @D_ui
434ORIS            011001 ..... ..... ................     @D_ui
435XORI            011010 ..... ..... ................     @D_ui
436XORIS           011011 ..... ..... ................     @D_ui
437
438AND             011111 ..... ..... ..... 0000011100 .   @X_rc
439ANDC            011111 ..... ..... ..... 0000111100 .   @X_rc
440NAND            011111 ..... ..... ..... 0111011100 .   @X_rc
441OR              011111 ..... ..... ..... 0110111100 .   @X_rc
442ORC             011111 ..... ..... ..... 0110011100 .   @X_rc
443NOR             011111 ..... ..... ..... 0001111100 .   @X_rc
444XOR             011111 ..... ..... ..... 0100111100 .   @X_rc
445EQV             011111 ..... ..... ..... 0100011100 .   @X_rc
446CMPB            011111 ..... ..... ..... 0111111100 .   @X_rc
447
448EXTSB           011111 ..... ..... ----- 1110111010 .   @X_sa_rc
449EXTSH           011111 ..... ..... ----- 1110011010 .   @X_sa_rc
450EXTSW           011111 ..... ..... ----- 1111011010 .   @X_sa_rc
451CNTLZW          011111 ..... ..... ----- 0000011010 .   @X_sa_rc
452CNTTZW          011111 ..... ..... ----- 1000011010 .   @X_sa_rc
453CNTLZD          011111 ..... ..... ----- 0000111010 .   @X_sa_rc
454CNTTZD          011111 ..... ..... ----- 1000111010 .   @X_sa_rc
455POPCNTB         011111 ..... ..... ----- 0001111010 .   @X_sa_rc
456
457POPCNTW         011111 ..... ..... ----- 0101111010 -   @X_sa
458POPCNTD         011111 ..... ..... ----- 0111111010 -   @X_sa
459PRTYW           011111 ..... ..... ----- 0010011010 -   @X_sa
460PRTYD           011111 ..... ..... ----- 0010111010 -   @X_sa
461
462BPERMD          011111 ..... ..... ..... 0011111100 -   @X
463CFUGED          011111 ..... ..... ..... 0011011100 -   @X
464CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
465CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
466PDEPD           011111 ..... ..... ..... 0010011100 -   @X
467PEXTD           011111 ..... ..... ..... 0010111100 -   @X
468
469# Fixed-Point Hash Instructions
470
471HASHST          011111 ..... ..... ..... 1011010010 .   @X_DW
472HASHCHK         011111 ..... ..... ..... 1011110010 .   @X_DW
473HASHSTP         011111 ..... ..... ..... 1010010010 .   @X_DW
474HASHCHKP        011111 ..... ..... ..... 1010110010 .   @X_DW
475
476## BCD Assist
477
478ADDG6S          011111 ..... ..... ..... - 001001010 -  @X
479CDTBCD          011111 ..... ..... ----- 0100011010 -   @X_sa
480CBCDTD          011111 ..... ..... ----- 0100111010 -   @X_sa
481
482### Float-Point Load Instructions
483
484LFS             110000 ..... ..... ................     @D
485LFSU            110001 ..... ..... ................     @D
486LFSX            011111 ..... ..... ..... 1000010111 -   @X
487LFSUX           011111 ..... ..... ..... 1000110111 -   @X
488
489LFD             110010 ..... ..... ................     @D
490LFDU            110011 ..... ..... ................     @D
491LFDX            011111 ..... ..... ..... 1001010111 -   @X
492LFDUX           011111 ..... ..... ..... 1001110111 -   @X
493
494### Float-Point Store Instructions
495
496STFS            110100 ..... ...... ...............     @D
497STFSU           110101 ..... ...... ...............     @D
498STFSX           011111 ..... ...... .... 1010010111 -   @X
499STFSUX          011111 ..... ...... .... 1010110111 -   @X
500
501STFD            110110 ..... ...... ...............     @D
502STFDU           110111 ..... ...... ...............     @D
503STFDX           011111 ..... ...... .... 1011010111 -   @X
504STFDUX          011111 ..... ...... .... 1011110111 -   @X
505
506### Floating-Point Arithmetic Instructions
507
508FADD            111111 ..... ..... ..... ----- 10101 .  @A_tab
509FADDS           111011 ..... ..... ..... ----- 10101 .  @A_tab
510
511FSUB            111111 ..... ..... ..... ----- 10100 .  @A_tab
512FSUBS           111011 ..... ..... ..... ----- 10100 .  @A_tab
513
514FMUL            111111 ..... ..... ----- ..... 11001 .  @A_tac
515FMULS           111011 ..... ..... ----- ..... 11001 .  @A_tac
516
517FDIV            111111 ..... ..... ..... ----- 10010 .  @A_tab
518FDIVS           111011 ..... ..... ..... ----- 10010 .  @A_tab
519
520FSQRT           111111 ..... ----- ..... ----- 10110 .  @A_tb
521FSQRTS          111011 ..... ----- ..... ----- 10110 .  @A_tb
522
523FRE             111111 ..... ----- ..... ----- 11000 .  @A_tb
524FRES            111011 ..... ----- ..... ----- 11000 .  @A_tb
525
526FRSQRTE         111111 ..... ----- ..... ----- 11010 .  @A_tb
527FRSQRTES        111011 ..... ----- ..... ----- 11010 .  @A_tb
528
529FTDIV           111111 ... -- ..... ..... 0010000000 -  @X_bf
530FTSQRT          111111 ... -- ----- ..... 0010100000 -  @X_bf_b
531
532FMADD           111111 ..... ..... ..... ..... 11101 .  @A
533FMADDS          111011 ..... ..... ..... ..... 11101 .  @A
534
535FMSUB           111111 ..... ..... ..... ..... 11100 .  @A
536FMSUBS          111011 ..... ..... ..... ..... 11100 .  @A
537
538FNMADD          111111 ..... ..... ..... ..... 11111 .  @A
539FNMADDS         111011 ..... ..... ..... ..... 11111 .  @A
540
541FNMSUB          111111 ..... ..... ..... ..... 11110 .  @A
542FNMSUBS         111011 ..... ..... ..... ..... 11110 .  @A
543
544### Floating-Point Select Instruction
545
546FSEL            111111 ..... ..... ..... ..... 10111 .  @A
547
548### Move To/From System Register Instructions
549
550SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
551SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
552SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
553SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi
554
555### Move To/From FPSCR
556
557{
558  # Before Power ISA v3.0, MFFS bits 11~15 were reserved and should be ignored
559  MFFS_ISA207     111111 ..... ----- ----- 1001000111 .   @X_t_rc
560  [
561    MFFS            111111 ..... 00000 ----- 1001000111 .   @X_t_rc
562    MFFSCE          111111 ..... 00001 ----- 1001000111 -   @X_t
563    MFFSCRN         111111 ..... 10110 ..... 1001000111 -   @X_tb
564    MFFSCDRN        111111 ..... 10100 ..... 1001000111 -   @X_tb
565    MFFSCRNI        111111 ..... 10111 ---.. 1001000111 -   @X_imm2
566    MFFSCDRNI       111111 ..... 10101 --... 1001000111 -   @X_imm3
567    MFFSL           111111 ..... 11000 ----- 1001000111 -   @X_t
568  ]
569}
570
571### Decimal Floating-Point Arithmetic Instructions
572
573DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
574DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc
575
576DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
577DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc
578
579DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
580DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc
581
582DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
583DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc
584
585### Decimal Floating-Point Compare Instructions
586
587DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
588DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp
589
590DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
591DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp
592
593### Decimal Floating-Point Test Instructions
594
595DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
596DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap
597
598DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
599DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap
600
601DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
602DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp
603
604DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
605DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp
606
607DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
608DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp
609
610### Decimal Floating-Point Quantum Adjustment Instructions
611
612DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
613DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp
614
615DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
616DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp
617
618DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
619DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp
620
621DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
622DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
623
624DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
625DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
626
627### Decimal Floating-Point Conversion Instructions
628
629DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
630DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc
631
632DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
633DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc
634
635DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
636DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
637DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb
638
639DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
640DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
641DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp
642
643### Decimal Floating-Point Format Instructions
644
645DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
646DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc
647
648DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
649DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc
650
651DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
652DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc
653
654DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
655DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc
656
657DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
658DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc
659
660DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
661DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc
662
663## Vector Exclusive-OR-based Instructions
664
665VPMSUMD         000100 ..... ..... ..... 10011001000    @VX
666
667## Vector Load/Store Instructions
668
669LVEBX           011111 ..... ..... ..... 0000000111 -   @X
670LVEHX           011111 ..... ..... ..... 0000100111 -   @X
671LVEWX           011111 ..... ..... ..... 0001000111 -   @X
672LVX             011111 ..... ..... ..... 0001100111 -   @X
673LVXL            011111 ..... ..... ..... 0101100111 -   @X
674
675STVEBX          011111 ..... ..... ..... 0010000111 -   @X
676STVEHX          011111 ..... ..... ..... 0010100111 -   @X
677STVEWX          011111 ..... ..... ..... 0011000111 -   @X
678STVX            011111 ..... ..... ..... 0011100111 -   @X
679STVXL           011111 ..... ..... ..... 0111100111 -   @X
680
681LVSL            011111 ..... ..... ..... 0000000110 -   @X
682LVSR            011111 ..... ..... ..... 0000100110 -   @X
683
684## Vector Integer Instructions
685
686VCMPEQUB        000100 ..... ..... ..... . 0000000110   @VC
687VCMPEQUH        000100 ..... ..... ..... . 0001000110   @VC
688VCMPEQUW        000100 ..... ..... ..... . 0010000110   @VC
689VCMPEQUD        000100 ..... ..... ..... . 0011000111   @VC
690VCMPEQUQ        000100 ..... ..... ..... . 0111000111   @VC
691
692VCMPGTSB        000100 ..... ..... ..... . 1100000110   @VC
693VCMPGTSH        000100 ..... ..... ..... . 1101000110   @VC
694VCMPGTSW        000100 ..... ..... ..... . 1110000110   @VC
695VCMPGTSD        000100 ..... ..... ..... . 1111000111   @VC
696VCMPGTSQ        000100 ..... ..... ..... . 1110000111   @VC
697
698VCMPGTUB        000100 ..... ..... ..... . 1000000110   @VC
699VCMPGTUH        000100 ..... ..... ..... . 1001000110   @VC
700VCMPGTUW        000100 ..... ..... ..... . 1010000110   @VC
701VCMPGTUD        000100 ..... ..... ..... . 1011000111   @VC
702VCMPGTUQ        000100 ..... ..... ..... . 1010000111   @VC
703
704VCMPNEB         000100 ..... ..... ..... . 0000000111   @VC
705VCMPNEH         000100 ..... ..... ..... . 0001000111   @VC
706VCMPNEW         000100 ..... ..... ..... . 0010000111   @VC
707
708VCMPNEZB        000100 ..... ..... ..... . 0100000111   @VC
709VCMPNEZH        000100 ..... ..... ..... . 0101000111   @VC
710VCMPNEZW        000100 ..... ..... ..... . 0110000111   @VC
711
712VCMPSQ          000100 ... -- ..... ..... 00101000001   @VX_bf
713VCMPUQ          000100 ... -- ..... ..... 00100000001   @VX_bf
714
715## Vector Integer Logical Instructions
716
717VAND            000100 ..... ..... ..... 10000000100    @VX
718VANDC           000100 ..... ..... ..... 10001000100    @VX
719VNAND           000100 ..... ..... ..... 10110000100    @VX
720VOR             000100 ..... ..... ..... 10010000100    @VX
721VORC            000100 ..... ..... ..... 10101000100    @VX
722VNOR            000100 ..... ..... ..... 10100000100    @VX
723VXOR            000100 ..... ..... ..... 10011000100    @VX
724VEQV            000100 ..... ..... ..... 11010000100    @VX
725
726## Vector Integer Average Instructions
727
728VAVGSB          000100 ..... ..... ..... 10100000010    @VX
729VAVGSH          000100 ..... ..... ..... 10101000010    @VX
730VAVGSW          000100 ..... ..... ..... 10110000010    @VX
731VAVGUB          000100 ..... ..... ..... 10000000010    @VX
732VAVGUH          000100 ..... ..... ..... 10001000010    @VX
733VAVGUW          000100 ..... ..... ..... 10010000010    @VX
734
735## Vector Integer Absolute Difference Instructions
736
737VABSDUB         000100 ..... ..... ..... 10000000011    @VX
738VABSDUH         000100 ..... ..... ..... 10001000011    @VX
739VABSDUW         000100 ..... ..... ..... 10010000011    @VX
740
741## Vector Bit Manipulation Instruction
742
743VGNB            000100 ..... -- ... ..... 10011001100   @VX_n
744
745VCFUGED         000100 ..... ..... ..... 10101001101    @VX
746VCLZDM          000100 ..... ..... ..... 11110000100    @VX
747VCTZDM          000100 ..... ..... ..... 11111000100    @VX
748VPDEPD          000100 ..... ..... ..... 10111001101    @VX
749VPEXTD          000100 ..... ..... ..... 10110001101    @VX
750
751VPRTYBD         000100 ..... 01001 ..... 11000000010    @VX_tb
752VPRTYBQ         000100 ..... 01010 ..... 11000000010    @VX_tb
753VPRTYBW         000100 ..... 01000 ..... 11000000010    @VX_tb
754
755## Vector Permute and Formatting Instruction
756
757VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
758VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
759VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
760VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
761VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
762VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
763VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
764VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA
765
766VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
767VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
768VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
769VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4
770
771VINSBLX         000100 ..... ..... ..... 01000001111    @VX
772VINSBRX         000100 ..... ..... ..... 01100001111    @VX
773VINSHLX         000100 ..... ..... ..... 01001001111    @VX
774VINSHRX         000100 ..... ..... ..... 01101001111    @VX
775VINSWLX         000100 ..... ..... ..... 01010001111    @VX
776VINSWRX         000100 ..... ..... ..... 01110001111    @VX
777VINSDLX         000100 ..... ..... ..... 01011001111    @VX
778VINSDRX         000100 ..... ..... ..... 01111001111    @VX
779
780VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
781VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4
782
783VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
784VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
785VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
786VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
787VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
788VINSWVRX        000100 ..... ..... ..... 00110001111    @VX
789
790VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
791VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN
792
793VPERM           000100 ..... ..... ..... ..... 101011   @VA
794VPERMR          000100 ..... ..... ..... ..... 111011   @VA
795
796VSEL            000100 ..... ..... ..... ..... 101010   @VA
797
798## Vector Integer Shift Instruction
799
800VSLB            000100 ..... ..... ..... 00100000100    @VX
801VSLH            000100 ..... ..... ..... 00101000100    @VX
802VSLW            000100 ..... ..... ..... 00110000100    @VX
803VSLD            000100 ..... ..... ..... 10111000100    @VX
804VSLQ            000100 ..... ..... ..... 00100000101    @VX
805
806VSRB            000100 ..... ..... ..... 01000000100    @VX
807VSRH            000100 ..... ..... ..... 01001000100    @VX
808VSRW            000100 ..... ..... ..... 01010000100    @VX
809VSRD            000100 ..... ..... ..... 11011000100    @VX
810VSRQ            000100 ..... ..... ..... 01000000101    @VX
811
812VSRAB           000100 ..... ..... ..... 01100000100    @VX
813VSRAH           000100 ..... ..... ..... 01101000100    @VX
814VSRAW           000100 ..... ..... ..... 01110000100    @VX
815VSRAD           000100 ..... ..... ..... 01111000100    @VX
816VSRAQ           000100 ..... ..... ..... 01100000101    @VX
817
818VRLB            000100 ..... ..... ..... 00000000100    @VX
819VRLH            000100 ..... ..... ..... 00001000100    @VX
820VRLW            000100 ..... ..... ..... 00010000100    @VX
821VRLD            000100 ..... ..... ..... 00011000100    @VX
822VRLQ            000100 ..... ..... ..... 00000000101    @VX
823
824VRLWMI          000100 ..... ..... ..... 00010000101    @VX
825VRLDMI          000100 ..... ..... ..... 00011000101    @VX
826VRLQMI          000100 ..... ..... ..... 00001000101    @VX
827
828VRLWNM          000100 ..... ..... ..... 00110000101    @VX
829VRLDNM          000100 ..... ..... ..... 00111000101    @VX
830VRLQNM          000100 ..... ..... ..... 00101000101    @VX
831
832## Vector Integer Arithmetic Instructions
833
834VADDCUW         000100 ..... ..... ..... 00110000000    @VX
835VADDCUQ         000100 ..... ..... ..... 00101000000    @VX
836VADDUQM         000100 ..... ..... ..... 00100000000    @VX
837
838VADDSBS         000100 ..... ..... ..... 01100000000    @VX
839VADDSHS         000100 ..... ..... ..... 01101000000    @VX
840VADDSWS         000100 ..... ..... ..... 01110000000    @VX
841
842VADDUBS         000100 ..... ..... ..... 01000000000    @VX
843VADDUHS         000100 ..... ..... ..... 01001000000    @VX
844VADDUWS         000100 ..... ..... ..... 01010000000    @VX
845
846VADDEUQM        000100 ..... ..... ..... ..... 111100   @VA
847VADDECUQ        000100 ..... ..... ..... ..... 111101   @VA
848
849VSUBCUW         000100 ..... ..... ..... 10110000000    @VX
850VSUBCUQ         000100 ..... ..... ..... 10101000000    @VX
851VSUBUQM         000100 ..... ..... ..... 10100000000    @VX
852
853VSUBSBS         000100 ..... ..... ..... 11100000000    @VX
854VSUBSHS         000100 ..... ..... ..... 11101000000    @VX
855VSUBSWS         000100 ..... ..... ..... 11110000000    @VX
856
857VSUBUBS         000100 ..... ..... ..... 11000000000    @VX
858VSUBUHS         000100 ..... ..... ..... 11001000000    @VX
859VSUBUWS         000100 ..... ..... ..... 11010000000    @VX
860
861VSUBECUQ        000100 ..... ..... ..... ..... 111111   @VA
862VSUBEUQM        000100 ..... ..... ..... ..... 111110   @VA
863
864VEXTSB2W        000100 ..... 10000 ..... 11000000010    @VX_tb
865VEXTSH2W        000100 ..... 10001 ..... 11000000010    @VX_tb
866VEXTSB2D        000100 ..... 11000 ..... 11000000010    @VX_tb
867VEXTSH2D        000100 ..... 11001 ..... 11000000010    @VX_tb
868VEXTSW2D        000100 ..... 11010 ..... 11000000010    @VX_tb
869VEXTSD2Q        000100 ..... 11011 ..... 11000000010    @VX_tb
870
871VNEGD           000100 ..... 00111 ..... 11000000010    @VX_tb
872VNEGW           000100 ..... 00110 ..... 11000000010    @VX_tb
873
874## Vector Integer Maximum/Minimum Instructions
875
876VMAXUB          000100 ..... ..... ..... 00000000010    @VX
877VMAXUH          000100 ..... ..... ..... 00001000010    @VX
878VMAXUW          000100 ..... ..... ..... 00010000010    @VX
879VMAXUD          000100 ..... ..... ..... 00011000010    @VX
880
881VMAXSB          000100 ..... ..... ..... 00100000010    @VX
882VMAXSH          000100 ..... ..... ..... 00101000010    @VX
883VMAXSW          000100 ..... ..... ..... 00110000010    @VX
884VMAXSD          000100 ..... ..... ..... 00111000010    @VX
885
886VMINUB          000100 ..... ..... ..... 01000000010    @VX
887VMINUH          000100 ..... ..... ..... 01001000010    @VX
888VMINUW          000100 ..... ..... ..... 01010000010    @VX
889VMINUD          000100 ..... ..... ..... 01011000010    @VX
890
891VMINSB          000100 ..... ..... ..... 01100000010    @VX
892VMINSH          000100 ..... ..... ..... 01101000010    @VX
893VMINSW          000100 ..... ..... ..... 01110000010    @VX
894VMINSD          000100 ..... ..... ..... 01111000010    @VX
895
896## Vector Mask Manipulation Instructions
897
898MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
899MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
900MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
901MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
902MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
903MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b
904
905VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
906VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
907VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
908VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
909VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb
910
911VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
912VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
913VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
914VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
915VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb
916
917VCNTMBB         000100 ..... 1100 . ..... 11001000010   @VX_mp
918VCNTMBH         000100 ..... 1101 . ..... 11001000010   @VX_mp
919VCNTMBW         000100 ..... 1110 . ..... 11001000010   @VX_mp
920VCNTMBD         000100 ..... 1111 . ..... 11001000010   @VX_mp
921
922## Vector Multiply Instruction
923
924VMULESB         000100 ..... ..... ..... 01100001000    @VX
925VMULOSB         000100 ..... ..... ..... 00100001000    @VX
926VMULEUB         000100 ..... ..... ..... 01000001000    @VX
927VMULOUB         000100 ..... ..... ..... 00000001000    @VX
928
929VMULESH         000100 ..... ..... ..... 01101001000    @VX
930VMULOSH         000100 ..... ..... ..... 00101001000    @VX
931VMULEUH         000100 ..... ..... ..... 01001001000    @VX
932VMULOUH         000100 ..... ..... ..... 00001001000    @VX
933
934VMULESW         000100 ..... ..... ..... 01110001000    @VX
935VMULOSW         000100 ..... ..... ..... 00110001000    @VX
936VMULEUW         000100 ..... ..... ..... 01010001000    @VX
937VMULOUW         000100 ..... ..... ..... 00010001000    @VX
938
939VMULESD         000100 ..... ..... ..... 01111001000    @VX
940VMULOSD         000100 ..... ..... ..... 00111001000    @VX
941VMULEUD         000100 ..... ..... ..... 01011001000    @VX
942VMULOUD         000100 ..... ..... ..... 00011001000    @VX
943
944VMULHSW         000100 ..... ..... ..... 01110001001    @VX
945VMULHUW         000100 ..... ..... ..... 01010001001    @VX
946VMULHSD         000100 ..... ..... ..... 01111001001    @VX
947VMULHUD         000100 ..... ..... ..... 01011001001    @VX
948VMULLD          000100 ..... ..... ..... 00111001001    @VX
949
950## Vector Multiply-Sum Instructions
951
952VMSUMUBM        000100 ..... ..... ..... ..... 100100   @VA
953VMSUMMBM        000100 ..... ..... ..... ..... 100101   @VA
954VMSUMSHM        000100 ..... ..... ..... ..... 101000   @VA
955VMSUMSHS        000100 ..... ..... ..... ..... 101001   @VA
956VMSUMUHM        000100 ..... ..... ..... ..... 100110   @VA
957VMSUMUHS        000100 ..... ..... ..... ..... 100111   @VA
958
959VMSUMCUD        000100 ..... ..... ..... ..... 010111   @VA
960VMSUMUDM        000100 ..... ..... ..... ..... 100011   @VA
961
962VMLADDUHM       000100 ..... ..... ..... ..... 100010   @VA
963VMHADDSHS       000100 ..... ..... ..... ..... 100000   @VA
964VMHRADDSHS      000100 ..... ..... ..... ..... 100001   @VA
965
966## Vector String Instructions
967
968VSTRIBL         000100 ..... 00000 ..... . 0000001101   @VX_tb_rc
969VSTRIBR         000100 ..... 00001 ..... . 0000001101   @VX_tb_rc
970VSTRIHL         000100 ..... 00010 ..... . 0000001101   @VX_tb_rc
971VSTRIHR         000100 ..... 00011 ..... . 0000001101   @VX_tb_rc
972
973VCLRLB          000100 ..... ..... ..... 00110001101    @VX
974VCLRRB          000100 ..... ..... ..... 00111001101    @VX
975
976# VSX Load/Store Instructions
977
978LXSD            111001 ..... ..... .............. 10    @DS
979STXSD           111101 ..... ..... .............. 10    @DS
980LXSSP           111001 ..... ..... .............. 11    @DS
981STXSSP          111101 ..... ..... .............. 11    @DS
982LXV             111101 ..... ..... ............ . 001   @DQ_TSX
983STXV            111101 ..... ..... ............ . 101   @DQ_TSX
984LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
985STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
986LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
987STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
988LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
989STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP
990LXVRBX          011111 ..... ..... ..... 0000001101 .   @X_TSX
991LXVRHX          011111 ..... ..... ..... 0000101101 .   @X_TSX
992LXVRWX          011111 ..... ..... ..... 0001001101 .   @X_TSX
993LXVRDX          011111 ..... ..... ..... 0001101101 .   @X_TSX
994STXVRBX         011111 ..... ..... ..... 0010001101 .   @X_TSX
995STXVRHX         011111 ..... ..... ..... 0010101101 .   @X_TSX
996STXVRWX         011111 ..... ..... ..... 0011001101 .   @X_TSX
997STXVRDX         011111 ..... ..... ..... 0011101101 .   @X_TSX
998
999LXSDX           011111 ..... ..... ..... 1001001100 .   @X_TSX
1000LXSIWAX         011111 ..... ..... ..... 0001001100 .   @X_TSX
1001LXSIBZX         011111 ..... ..... ..... 1100001101 .   @X_TSX
1002LXSIHZX         011111 ..... ..... ..... 1100101101 .   @X_TSX
1003LXSIWZX         011111 ..... ..... ..... 0000001100 .   @X_TSX
1004LXSSPX          011111 ..... ..... ..... 1000001100 .   @X_TSX
1005
1006STXSDX          011111 ..... ..... ..... 1011001100 .   @X_TSX
1007STXSIBX         011111 ..... ..... ..... 1110001101 .   @X_TSX
1008STXSIHX         011111 ..... ..... ..... 1110101101 .   @X_TSX
1009STXSIWX         011111 ..... ..... ..... 0010001100 .   @X_TSX
1010STXSSPX         011111 ..... ..... ..... 1010001100 .   @X_TSX
1011
1012LXVB16X         011111 ..... ..... ..... 1101101100 .   @X_TSX
1013LXVD2X          011111 ..... ..... ..... 1101001100 .   @X_TSX
1014LXVH8X          011111 ..... ..... ..... 1100101100 .   @X_TSX
1015LXVW4X          011111 ..... ..... ..... 1100001100 .   @X_TSX
1016LXVDSX          011111 ..... ..... ..... 0101001100 .   @X_TSX
1017LXVWSX          011111 ..... ..... ..... 0101101100 .   @X_TSX
1018LXVL            011111 ..... ..... ..... 0100001101 .   @X_TSX
1019LXVLL           011111 ..... ..... ..... 0100101101 .   @X_TSX
1020
1021STXVB16X        011111 ..... ..... ..... 1111101100 .   @X_TSX
1022STXVD2X         011111 ..... ..... ..... 1111001100 .   @X_TSX
1023STXVH8X         011111 ..... ..... ..... 1110101100 .   @X_TSX
1024STXVW4X         011111 ..... ..... ..... 1110001100 .   @X_TSX
1025STXVL           011111 ..... ..... ..... 0110001101 .   @X_TSX
1026STXVLL          011111 ..... ..... ..... 0110101101 .   @X_TSX
1027
1028## VSX Vector Binary Floating-Point Sign Manipulation Instructions
1029
1030XVABSDP         111100 ..... 00000 ..... 111011001 ..   @XX2
1031XVABSSP         111100 ..... 00000 ..... 110011001 ..   @XX2
1032XVNABSDP        111100 ..... 00000 ..... 111101001 ..   @XX2
1033XVNABSSP        111100 ..... 00000 ..... 110101001 ..   @XX2
1034XVNEGDP         111100 ..... 00000 ..... 111111001 ..   @XX2
1035XVNEGSP         111100 ..... 00000 ..... 110111001 ..   @XX2
1036XVCPSGNDP       111100 ..... ..... ..... 11110000 ...   @XX3
1037XVCPSGNSP       111100 ..... ..... ..... 11010000 ...   @XX3
1038
1039## VSX Binary Floating-Point Arithmetic Instructions
1040
1041XSADDSP         111100 ..... ..... ..... 00000000 ...   @XX3
1042XSSUBSP         111100 ..... ..... ..... 00001000 ...   @XX3
1043XSMULSP         111100 ..... ..... ..... 00010000 ...   @XX3
1044XSDIVSP         111100 ..... ..... ..... 00011000 ...   @XX3
1045
1046XSADDDP         111100 ..... ..... ..... 00100000 ...   @XX3
1047XSSUBDP         111100 ..... ..... ..... 00101000 ...   @XX3
1048XSMULDP         111100 ..... ..... ..... 00110000 ...   @XX3
1049XSDIVDP         111100 ..... ..... ..... 00111000 ...   @XX3
1050
1051XVADDSP         111100 ..... ..... ..... 01000000 ...   @XX3
1052XVSUBSP         111100 ..... ..... ..... 01001000 ...   @XX3
1053XVMULSP         111100 ..... ..... ..... 01010000 ...   @XX3
1054XVDIVSP         111100 ..... ..... ..... 01011000 ...   @XX3
1055
1056XVADDDP         111100 ..... ..... ..... 01100000 ...   @XX3
1057XVSUBDP         111100 ..... ..... ..... 01101000 ...   @XX3
1058XVMULDP         111100 ..... ..... ..... 01110000 ...   @XX3
1059XVDIVDP         111100 ..... ..... ..... 01111000 ...   @XX3
1060
1061## VSX Scalar Multiply-Add Instructions
1062
1063XSMADDADP       111100 ..... ..... ..... 00100001 . . . @XX3
1064XSMADDMDP       111100 ..... ..... ..... 00101001 . . . @XX3
1065XSMADDASP       111100 ..... ..... ..... 00000001 . . . @XX3
1066XSMADDMSP       111100 ..... ..... ..... 00001001 . . . @XX3
1067XSMADDQP        111111 ..... ..... ..... 0110000100 .   @X_rc
1068
1069XSMSUBADP       111100 ..... ..... ..... 00110001 . . . @XX3
1070XSMSUBMDP       111100 ..... ..... ..... 00111001 . . . @XX3
1071XSMSUBASP       111100 ..... ..... ..... 00010001 . . . @XX3
1072XSMSUBMSP       111100 ..... ..... ..... 00011001 . . . @XX3
1073XSMSUBQP        111111 ..... ..... ..... 0110100100 .   @X_rc
1074
1075XSNMADDASP      111100 ..... ..... ..... 10000001 . . . @XX3
1076XSNMADDMSP      111100 ..... ..... ..... 10001001 . . . @XX3
1077XSNMADDADP      111100 ..... ..... ..... 10100001 . . . @XX3
1078XSNMADDMDP      111100 ..... ..... ..... 10101001 . . . @XX3
1079XSNMADDQP       111111 ..... ..... ..... 0111000100 .   @X_rc
1080
1081XSNMSUBASP      111100 ..... ..... ..... 10010001 . . . @XX3
1082XSNMSUBMSP      111100 ..... ..... ..... 10011001 . . . @XX3
1083XSNMSUBADP      111100 ..... ..... ..... 10110001 . . . @XX3
1084XSNMSUBMDP      111100 ..... ..... ..... 10111001 . . . @XX3
1085XSNMSUBQP       111111 ..... ..... ..... 0111100100 .   @X_rc
1086
1087## VSX splat instruction
1088
1089XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
1090XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2_uim2
1091
1092## VSX Permute Instructions
1093
1094XXEXTRACTUW     111100 ..... - .... ..... 010100101 ..  @XX2_uim4
1095XXINSERTW       111100 ..... - .... ..... 010110101 ..  @XX2_uim4
1096
1097XXPERM          111100 ..... ..... ..... 00011010 ...   @XX3
1098XXPERMR         111100 ..... ..... ..... 00111010 ...   @XX3
1099XXPERMDI        111100 ..... ..... ..... 0 .. 01010 ... @XX3_dm
1100
1101XXSEL           111100 ..... ..... ..... ..... 11 ....  @XX4
1102
1103## VSX Vector Generate PCV
1104
1105XXGENPCVBM      111100 ..... ..... ..... 1110010100 .   @X_imm5
1106XXGENPCVHM      111100 ..... ..... ..... 1110010101 .   @X_imm5
1107XXGENPCVWM      111100 ..... ..... ..... 1110110100 .   @X_imm5
1108XXGENPCVDM      111100 ..... ..... ..... 1110110101 .   @X_imm5
1109
1110## VSX Vector Load Special Value Instruction
1111
1112LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
1113
1114## VSX Comparison Instructions
1115
1116XSMAXCDP        111100 ..... ..... ..... 10000000 ...   @XX3
1117XSMINCDP        111100 ..... ..... ..... 10001000 ...   @XX3
1118XSMAXJDP        111100 ..... ..... ..... 10010000 ...   @XX3
1119XSMINJDP        111100 ..... ..... ..... 10011000 ...   @XX3
1120XSMAXCQP        111111 ..... ..... ..... 1010100100 -   @X
1121XSMINCQP        111111 ..... ..... ..... 1011100100 -   @X
1122
1123XSCMPEQDP       111100 ..... ..... ..... 00000011 ...   @XX3
1124XSCMPGEDP       111100 ..... ..... ..... 00010011 ...   @XX3
1125XSCMPGTDP       111100 ..... ..... ..... 00001011 ...   @XX3
1126XSCMPEQQP       111111 ..... ..... ..... 0001000100 -   @X
1127XSCMPGEQP       111111 ..... ..... ..... 0011000100 -   @X
1128XSCMPGTQP       111111 ..... ..... ..... 0011100100 -   @X
1129
1130XVCMPEQSP       111100 ..... ..... ..... . 1000011 ...   @XX3_rc
1131XVCMPGTSP       111100 ..... ..... ..... . 1001011 ...   @XX3_rc
1132XVCMPGESP       111100 ..... ..... ..... . 1010011 ...   @XX3_rc
1133XVCMPNESP       111100 ..... ..... ..... . 1011011 ...   @XX3_rc
1134XVCMPEQDP       111100 ..... ..... ..... . 1100011 ...   @XX3_rc
1135XVCMPGTDP       111100 ..... ..... ..... . 1101011 ...   @XX3_rc
1136XVCMPGEDP       111100 ..... ..... ..... . 1110011 ...   @XX3_rc
1137XVCMPNEDP       111100 ..... ..... ..... . 1111011 ...   @XX3_rc
1138
1139XSMAXDP         111100 ..... ..... ..... 10100000 ...   @XX3
1140XSMINDP         111100 ..... ..... ..... 10101000 ...   @XX3
1141
1142XVMAXSP         111100 ..... ..... ..... 11000000 ...   @XX3
1143XVMINSP         111100 ..... ..... ..... 11001000 ...   @XX3
1144XVMAXDP         111100 ..... ..... ..... 11100000 ...   @XX3
1145XVMINDP         111100 ..... ..... ..... 11101000 ...   @XX3
1146
1147## VSX Binary Floating-Point Convert Instructions
1148
1149XSCVQPDP        111111 ..... 10100 ..... 1101000100 .   @X_tb_rc
1150XSCVQPUQZ       111111 ..... 00000 ..... 1101000100 -   @X_tb
1151XSCVQPSQZ       111111 ..... 01000 ..... 1101000100 -   @X_tb
1152XSCVUQQP        111111 ..... 00011 ..... 1101000100 -   @X_tb
1153XSCVSQQP        111111 ..... 01011 ..... 1101000100 -   @X_tb
1154XVCVBF16SPN     111100 ..... 10000 ..... 111011011 ..   @XX2
1155XVCVSPBF16      111100 ..... 10001 ..... 111011011 ..   @XX2
1156XSCVSPDPN       111100 ..... ----- ..... 101001011 ..   @XX2
1157
1158## VSX Binary Floating-Point Math Support Instructions
1159
1160XVXSIGSP        111100 ..... 01001 ..... 111011011 ..   @XX2
1161XVTSTDCDP       111100 ..... ..... ..... 1111 . 101 ... @XX2_uim7
1162XVTSTDCSP       111100 ..... ..... ..... 1101 . 101 ... @XX2_uim7
1163XSTSTDCSP       111100 ... ....... ..... 100101010 . -  @XX2_bf_uim xb=%xx_xb
1164XSTSTDCDP       111100 ... ....... ..... 101101010 . -  @XX2_bf_uim xb=%xx_xb
1165XSTSTDCQP       111111 ... ....... xb:5  1011000100 -   @XX2_bf_uim
1166
1167## VSX Vector Test Least-Significant Bit by Byte Instruction
1168
1169XVTLSBB         111100 ... -- 00010 ..... 111011011 . - @XX2_bf_xb
1170
1171### rfebb
1172&XL_s           s:uint8_t
1173@XL_s           ......-------------- s:1 .......... -   &XL_s
1174RFEBB           010011-------------- .   0010010010 -   @XL_s
1175
1176## Accumulator Instructions
1177
1178XXMFACC         011111 ... -- 00000 ----- 0010110001 -   @X_a
1179XXMTACC         011111 ... -- 00001 ----- 0010110001 -   @X_a
1180XXSETACCZ       011111 ... -- 00011 ----- 0010110001 -   @X_a
1181
1182## VSX Vector Logical instructions
1183
1184XXLAND          111100 ..... ..... ..... 10000010 ...   @XX3
1185XXLANDC         111100 ..... ..... ..... 10001010 ...   @XX3
1186XXLOR           111100 ..... ..... ..... 10010010 ...   @XX3
1187XXLXOR          111100 ..... ..... ..... 10011010 ...   @XX3
1188XXLNOR          111100 ..... ..... ..... 10100010 ...   @XX3
1189XXLEQV          111100 ..... ..... ..... 10111010 ...   @XX3
1190XXLNAND         111100 ..... ..... ..... 10110010 ...   @XX3
1191XXLORC          111100 ..... ..... ..... 10101010 ...   @XX3
1192
1193## VSX GER instruction
1194
1195XVI4GER8        111011 ... -- ..... ..... 00100011 ..-  @XX3_at xa=%xx_xa
1196XVI4GER8PP      111011 ... -- ..... ..... 00100010 ..-  @XX3_at xa=%xx_xa
1197XVI8GER4        111011 ... -- ..... ..... 00000011 ..-  @XX3_at xa=%xx_xa
1198XVI8GER4PP      111011 ... -- ..... ..... 00000010 ..-  @XX3_at xa=%xx_xa
1199XVI16GER2       111011 ... -- ..... ..... 01001011 ..-  @XX3_at xa=%xx_xa
1200XVI16GER2PP     111011 ... -- ..... ..... 01101011 ..-  @XX3_at xa=%xx_xa
1201XVI8GER4SPP     111011 ... -- ..... ..... 01100011 ..-  @XX3_at xa=%xx_xa
1202XVI16GER2S      111011 ... -- ..... ..... 00101011 ..-  @XX3_at xa=%xx_xa
1203XVI16GER2SPP    111011 ... -- ..... ..... 00101010 ..-  @XX3_at xa=%xx_xa
1204
1205XVBF16GER2      111011 ... -- ..... ..... 00110011 ..-  @XX3_at xa=%xx_xa
1206XVBF16GER2PP    111011 ... -- ..... ..... 00110010 ..-  @XX3_at xa=%xx_xa
1207XVBF16GER2PN    111011 ... -- ..... ..... 10110010 ..-  @XX3_at xa=%xx_xa
1208XVBF16GER2NP    111011 ... -- ..... ..... 01110010 ..-  @XX3_at xa=%xx_xa
1209XVBF16GER2NN    111011 ... -- ..... ..... 11110010 ..-  @XX3_at xa=%xx_xa
1210
1211XVF16GER2       111011 ... -- ..... ..... 00010011 ..-  @XX3_at xa=%xx_xa
1212XVF16GER2PP     111011 ... -- ..... ..... 00010010 ..-  @XX3_at xa=%xx_xa
1213XVF16GER2PN     111011 ... -- ..... ..... 10010010 ..-  @XX3_at xa=%xx_xa
1214XVF16GER2NP     111011 ... -- ..... ..... 01010010 ..-  @XX3_at xa=%xx_xa
1215XVF16GER2NN     111011 ... -- ..... ..... 11010010 ..-  @XX3_at xa=%xx_xa
1216
1217XVF32GER        111011 ... -- ..... ..... 00011011 ..-  @XX3_at xa=%xx_xa
1218XVF32GERPP      111011 ... -- ..... ..... 00011010 ..-  @XX3_at xa=%xx_xa
1219XVF32GERPN      111011 ... -- ..... ..... 10011010 ..-  @XX3_at xa=%xx_xa
1220XVF32GERNP      111011 ... -- ..... ..... 01011010 ..-  @XX3_at xa=%xx_xa
1221XVF32GERNN      111011 ... -- ..... ..... 11011010 ..-  @XX3_at xa=%xx_xa
1222
1223XVF64GER        111011 ... -- .... 0 ..... 00111011 ..-  @XX3_at xa=%xx_xa_pair
1224XVF64GERPP      111011 ... -- .... 0 ..... 00111010 ..-  @XX3_at xa=%xx_xa_pair
1225XVF64GERPN      111011 ... -- .... 0 ..... 10111010 ..-  @XX3_at xa=%xx_xa_pair
1226XVF64GERNP      111011 ... -- .... 0 ..... 01111010 ..-  @XX3_at xa=%xx_xa_pair
1227XVF64GERNN      111011 ... -- .... 0 ..... 11111010 ..-  @XX3_at xa=%xx_xa_pair
1228
1229## Vector Division Instructions
1230
1231VDIVSW          000100 ..... ..... ..... 00110001011    @VX
1232VDIVUW          000100 ..... ..... ..... 00010001011    @VX
1233VDIVSD          000100 ..... ..... ..... 00111001011    @VX
1234VDIVUD          000100 ..... ..... ..... 00011001011    @VX
1235VDIVSQ          000100 ..... ..... ..... 00100001011    @VX
1236VDIVUQ          000100 ..... ..... ..... 00000001011    @VX
1237
1238VDIVESW         000100 ..... ..... ..... 01110001011    @VX
1239VDIVEUW         000100 ..... ..... ..... 01010001011    @VX
1240VDIVESD         000100 ..... ..... ..... 01111001011    @VX
1241VDIVEUD         000100 ..... ..... ..... 01011001011    @VX
1242VDIVESQ         000100 ..... ..... ..... 01100001011    @VX
1243VDIVEUQ         000100 ..... ..... ..... 01000001011    @VX
1244
1245VMODSW          000100 ..... ..... ..... 11110001011    @VX
1246VMODUW          000100 ..... ..... ..... 11010001011    @VX
1247VMODSD          000100 ..... ..... ..... 11111001011    @VX
1248VMODUD          000100 ..... ..... ..... 11011001011    @VX
1249VMODSQ          000100 ..... ..... ..... 11100001011    @VX
1250VMODUQ          000100 ..... ..... ..... 11000001011    @VX
1251
1252## SLB Management Instructions
1253
1254SLBIE           011111 ----- ----- ..... 0110110010 -   @X_rb
1255SLBIEG          011111 ..... ----- ..... 0111010010 -   @X_tb
1256
1257SLBIA           011111 --... ----- ----- 0111110010 -   @X_ih
1258SLBIAG          011111 ..... ----. ----- 1101010010 -   @X_rs_l
1259
1260SLBMTE          011111 ..... ----- ..... 0110010010 -   @X_tb
1261
1262SLBMFEV         011111 ..... ----- ..... 1101010011 -   @X_tb
1263SLBMFEE         011111 ..... ----- ..... 1110010011 -   @X_tb
1264
1265SLBFEE          011111 ..... ----- ..... 1111010011 1   @X_tb
1266
1267SLBSYNC         011111 ----- ----- ----- 0101010010 -
1268
1269## TLB Management Instructions
1270
1271&X_tlbie        rb rs ric prs:bool r:bool
1272@X_tlbie        ...... rs:5 - ric:2 prs:1 r:1 rb:5 .......... -     &X_tlbie
1273
1274TLBIE           011111 ..... - .. . . ..... 0100110010 -            @X_tlbie
1275TLBIEL          011111 ..... - .. . . ..... 0100010010 -            @X_tlbie
1276
1277# Processor Control Instructions
1278
1279MSGCLR          011111 ----- ----- ..... 0011101110 -   @X_rb
1280MSGSND          011111 ----- ----- ..... 0011001110 -   @X_rb
1281MSGCLRP         011111 ----- ----- ..... 0010101110 -   @X_rb
1282MSGSNDP         011111 ----- ----- ..... 0010001110 -   @X_rb
1283MSGSYNC         011111 ----- ----- ----- 1101110110 -
1284
1285# Memory Barrier Instructions
1286
1287&X_sync         l sc
1288@X_sync         ...... .. l:3 ... sc:2 ..... .......... .           &X_sync
1289SYNC            011111 -- ... --- ..   ----- 1001010110 -           @X_sync
1290EIEIO           011111 ----- ----- ----- 1101010110 -
1291
1292# Branch History Rolling Buffer (BHRB) Instructions
1293
1294&XFX_bhrbe      rt bhrbe
1295@XFX_bhrbe      ...... rt:5 bhrbe:10 .......... -       &XFX_bhrbe
1296
1297MFBHRBE         011111 ..... ..... ..... 0100101110 -   @XFX_bhrbe
1298CLRBHRB         011111 ----- ----- ----- 0110101110 -
1299
1300## Misc POWER instructions
1301
1302ATTN            000000 00000 00000 00000 0100000000 0
1303