xref: /openbmc/qemu/target/ppc/insn32.decode (revision d2dfe0b5)
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_tb           frt frb rc:bool
24@A_tb           ...... frt:5 ..... frb:5 ..... ..... rc:1       &A_tb
25
26&D              rt ra si:int64_t
27@D              ...... rt:5 ra:5 si:s16                         &D
28
29&D_bf           bf l:bool ra imm
30@D_bfs          ...... bf:3 . l:1 ra:5 imm:s16                  &D_bf
31@D_bfu          ...... bf:3 . l:1 ra:5 imm:16                   &D_bf
32
33%dq_si          4:s12  !function=times_16
34%dq_rtp         22:4   !function=times_2
35@DQ_rtp         ...... ....0 ra:5 ............ ....             &D rt=%dq_rtp si=%dq_si
36
37%dq_rt_tsx      3:1 21:5
38@DQ_TSX         ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%dq_rt_tsx
39
40%rt_tsxp        21:1 22:4 !function=times_2
41@DQ_TSXP        ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%rt_tsxp
42
43%ds_si          2:s14  !function=times_4
44@DS             ...... rt:5 ra:5 .............. ..              &D si=%ds_si
45
46%ds_rtp         22:4   !function=times_2
47@DS_rtp         ...... ....0 ra:5 .............. ..             &D rt=%ds_rtp si=%ds_si
48
49&DX_b           vrt b
50%dx_b           6:10 16:5 0:1
51@DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b
52
53&DX             rt d
54%dx_d           6:s10 16:5 0:1
55@DX             ...... rt:5  ..... .......... ..... .           &DX d=%dx_d
56
57&VA             vrt vra vrb rc
58@VA             ...... vrt:5 vra:5 vrb:5 rc:5 ......            &VA
59
60&VC             vrt vra vrb rc:bool
61@VC             ...... vrt:5 vra:5 vrb:5 rc:1 ..........        &VC
62
63&VN             vrt vra vrb sh
64@VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
65
66&VX             vrt vra vrb
67@VX             ...... vrt:5 vra:5 vrb:5 .......... .           &VX
68
69&VX_bf          bf vra vrb
70@VX_bf          ...... bf:3 .. vra:5 vrb:5 ...........          &VX_bf
71
72&VX_mp          rt mp:bool vrb
73@VX_mp          ...... rt:5 .... mp:1 vrb:5 ...........         &VX_mp
74
75&VX_n           rt vrb n
76@VX_n           ...... rt:5 .. n:3 vrb:5 ...........            &VX_n
77
78&VX_tb_rc       vrt vrb rc:bool
79@VX_tb_rc       ...... vrt:5 ..... vrb:5 rc:1 ..........        &VX_tb_rc
80
81&VX_uim4        vrt uim vrb
82@VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........          &VX_uim4
83
84&VX_tb          vrt vrb
85@VX_tb          ...... vrt:5 ..... vrb:5 ...........            &VX_tb
86
87&X              rt ra rb
88@X              ...... rt:5 ra:5 rb:5 .......... .              &X
89
90&X_rc           rt ra rb rc:bool
91@X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc
92
93&X_sa           rs ra
94@X_sa           ...... rs:5 ra:5 ..... .......... .             &X_sa
95
96%x_frtp         22:4 !function=times_2
97%x_frap         17:4 !function=times_2
98%x_frbp         12:4 !function=times_2
99@X_tp_ap_bp_rc  ...... ....0 ....0 ....0 .......... rc:1        &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
100
101@X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp
102
103&X_t            rt
104@X_t            ...... rt:5 ..... ..... .......... .            &X_t
105
106&X_tb           rt rb
107@X_tb           ...... rt:5 ..... rb:5 .......... .             &X_tb
108
109&X_t_rc         rt rc:bool
110@X_t_rc         ...... rt:5 ..... ..... .......... rc:1         &X_t_rc
111
112&X_tb_rc        rt rb rc:bool
113@X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc
114
115@X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp
116
117@X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp
118
119@X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp
120
121&X_bi           rt bi
122@X_bi           ...... rt:5 bi:5 ..... .......... .             &X_bi
123
124&X_bf           bf ra rb
125@X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
126
127@X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp
128
129@X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp
130
131&X_bf_uim       bf uim rb
132@X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim
133
134@X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp
135
136&X_bfl          bf l:bool ra rb
137@X_bfl          ...... bf:3 . l:1 ra:5 rb:5 .......... .        &X_bfl
138
139&X_imm2         rt imm
140@X_imm2         ...... rt:5 ..... ... imm:2 .......... .        &X_imm2
141
142&X_imm3         rt imm
143@X_imm3         ...... rt:5 ..... .. imm:3 .......... .         &X_imm3
144
145%x_xt           0:1 21:5
146&X_imm5         xt imm:uint8_t vrb
147@X_imm5         ...... ..... imm:5 vrb:5 .......... .           &X_imm5 xt=%x_xt
148
149&X_imm8         xt imm:uint8_t
150@X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt
151
152&X_ih           ih:uint8_t
153@X_ih           ...... .. ih:3 ..... ..... .......... .         &X_ih
154
155&X_rb           rb
156@X_rb           ...... ..... ..... rb:5 .......... .            &X_rb
157
158&X_rs_l         rs l:bool
159@X_rs_l         ...... rs:5 .... l:1 ..... .......... .         &X_rs_l
160
161&X_uim5         xt uim:uint8_t
162@X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt
163
164&X_tb_sp_rc     rt rb sp rc:bool
165@X_tb_sp_rc     ...... rt:5 sp:2 ... rb:5 .......... rc:1       &X_tb_sp_rc
166
167@X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
168
169&X_tb_s_rc      rt rb s:bool rc:bool
170@X_tb_s_rc      ...... rt:5 s:1 .... rb:5 .......... rc:1       &X_tb_s_rc
171
172@X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp
173
174%x_rt_tsx       0:1 21:5
175@X_TSX          ...... ..... ra:5 rb:5 .......... .             &X rt=%x_rt_tsx
176@X_TSXP         ...... ..... ra:5 rb:5 .......... .             &X rt=%rt_tsxp
177
178%x_dw           0:1 21:5 !function=dw_compose_ea
179@X_DW           ...... ..... ra:5 rb:5 .......... .             &X rt=%x_dw
180
181&X_frtp_vrb     frtp vrb
182@X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
183
184&X_vrt_frbp     vrt frbp
185@X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
186
187&X_a            ra
188@X_a            ...... ra:3 .. ..... ..... .......... .         &X_a
189
190%xx_xt          0:1 21:5
191%xx_xb          1:1 11:5
192%xx_xa          2:1 16:5
193%xx_xc          3:1 6:5
194&XX2            xt xb
195@XX2            ...... ..... ..... ..... ......... ..           &XX2 xt=%xx_xt xb=%xx_xb
196
197&XX2_uim        xt xb uim:uint8_t
198@XX2_uim2       ...... ..... ... uim:2 ..... ......... ..       &XX2_uim xt=%xx_xt xb=%xx_xb
199
200@XX2_uim4       ...... ..... . uim:4 ..... ......... ..         &XX2_uim xt=%xx_xt xb=%xx_xb
201
202%xx_uim7        6:1 2:1 16:5
203@XX2_uim7       ...... ..... ..... ..... .... . ... . ..        &XX2_uim xt=%xx_xt xb=%xx_xb uim=%xx_uim7
204
205&XX2_bf_uim     bf xb uim
206@XX2_bf_uim     ...... bf:3 uim:7 ..... ......... . .           &XX2_bf_uim
207
208&XX2_bf_xb      bf xb
209@XX2_bf_xb      ...... bf:3 .. ..... ..... ......... . .        &XX2_bf_xb xb=%xx_xb
210
211&XX3            xt xa xb
212@XX3            ...... ..... ..... ..... ........ ...           &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
213
214# 32 bit GER instructions have all mask bits considered 1
215&MMIRR_XX3      xa xb xt pmsk xmsk ymsk
216%xx_at          23:3
217%xx_xa_pair     2:1 17:4 !function=times_2
218@XX3_at         ...... ... .. ..... ..... ........ ...          &MMIRR_XX3 xt=%xx_at xb=%xx_xb \
219                                                                pmsk=255 xmsk=15 ymsk=15
220
221&XX3_dm         xt xa xb dm
222@XX3_dm         ...... ..... ..... ..... . dm:2 ..... ...       &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
223
224&XX4            xt xa xb xc
225@XX4            ...... ..... ..... ..... ..... .. ....          &XX4 xt=%xx_xt xa=%xx_xa xb=%xx_xb xc=%xx_xc
226
227&Z22_bf_fra     bf fra dm
228@Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra
229
230%z22_frap       17:4 !function=times_2
231@Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap
232
233&Z22_ta_sh_rc   rt ra sh rc:bool
234@Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc
235
236%z22_frtp       22:4 !function=times_2
237@Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
238
239&Z23_tab        frt fra frb rmc rc:bool
240@Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab
241
242%z23_frtp       22:4 !function=times_2
243%z23_frap       17:4 !function=times_2
244%z23_frbp       12:4 !function=times_2
245@Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
246
247@Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp
248
249&Z23_tb         frt frb r:bool rmc rc:bool
250@Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
251
252@Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
253
254&Z23_te_tb      te frt frb rmc rc:bool
255@Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb
256
257@Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
258
259### Fixed-Point Load Instructions
260
261LBZ             100010 ..... ..... ................     @D
262LBZU            100011 ..... ..... ................     @D
263LBZX            011111 ..... ..... ..... 0001010111 -   @X
264LBZUX           011111 ..... ..... ..... 0001110111 -   @X
265
266LHZ             101000 ..... ..... ................     @D
267LHZU            101001 ..... ..... ................     @D
268LHZX            011111 ..... ..... ..... 0100010111 -   @X
269LHZUX           011111 ..... ..... ..... 0100110111 -   @X
270
271LHA             101010 ..... ..... ................     @D
272LHAU            101011 ..... ..... ................     @D
273LHAX            011111 ..... ..... ..... 0101010111 -   @X
274LHAXU           011111 ..... ..... ..... 0101110111 -   @X
275
276LWZ             100000 ..... ..... ................     @D
277LWZU            100001 ..... ..... ................     @D
278LWZX            011111 ..... ..... ..... 0000010111 -   @X
279LWZUX           011111 ..... ..... ..... 0000110111 -   @X
280
281LWA             111010 ..... ..... ..............10     @DS
282LWAX            011111 ..... ..... ..... 0101010101 -   @X
283LWAUX           011111 ..... ..... ..... 0101110101 -   @X
284
285LD              111010 ..... ..... ..............00     @DS
286LDU             111010 ..... ..... ..............01     @DS
287LDX             011111 ..... ..... ..... 0000010101 -   @X
288LDUX            011111 ..... ..... ..... 0000110101 -   @X
289
290LQ              111000 ..... ..... ............ ----    @DQ_rtp
291
292### Fixed-Point Store Instructions
293
294STB             100110 ..... ..... ................     @D
295STBU            100111 ..... ..... ................     @D
296STBX            011111 ..... ..... ..... 0011010111 -   @X
297STBUX           011111 ..... ..... ..... 0011110111 -   @X
298
299STH             101100 ..... ..... ................     @D
300STHU            101101 ..... ..... ................     @D
301STHX            011111 ..... ..... ..... 0110010111 -   @X
302STHUX           011111 ..... ..... ..... 0110110111 -   @X
303
304STW             100100 ..... ..... ................     @D
305STWU            100101 ..... ..... ................     @D
306STWX            011111 ..... ..... ..... 0010010111 -   @X
307STWUX           011111 ..... ..... ..... 0010110111 -   @X
308
309STD             111110 ..... ..... ..............00     @DS
310STDU            111110 ..... ..... ..............01     @DS
311STDX            011111 ..... ..... ..... 0010010101 -   @X
312STDUX           011111 ..... ..... ..... 0010110101 -   @X
313
314STQ             111110 ..... ..... ..............10     @DS_rtp
315
316### Fixed-Point Compare Instructions
317
318CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
319CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
320CMPI            001011 ... - . ..... ................   @D_bfs
321CMPLI           001010 ... - . ..... ................   @D_bfu
322
323### Fixed-Point Arithmetic Instructions
324
325ADDI            001110 ..... ..... ................     @D
326ADDIS           001111 ..... ..... ................     @D
327
328ADDPCIS         010011 ..... ..... .......... 00010 .   @DX
329
330## Fixed-Point Logical Instructions
331
332CFUGED          011111 ..... ..... ..... 0011011100 -   @X
333CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
334CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
335PDEPD           011111 ..... ..... ..... 0010011100 -   @X
336PEXTD           011111 ..... ..... ..... 0010111100 -   @X
337
338# Fixed-Point Hash Instructions
339
340HASHST          011111 ..... ..... ..... 1011010010 .   @X_DW
341HASHCHK         011111 ..... ..... ..... 1011110010 .   @X_DW
342HASHSTP         011111 ..... ..... ..... 1010010010 .   @X_DW
343HASHCHKP        011111 ..... ..... ..... 1010110010 .   @X_DW
344
345## BCD Assist
346
347ADDG6S          011111 ..... ..... ..... - 001001010 -  @X
348CDTBCD          011111 ..... ..... ----- 0100011010 -   @X_sa
349CBCDTD          011111 ..... ..... ----- 0100111010 -   @X_sa
350
351### Float-Point Load Instructions
352
353LFS             110000 ..... ..... ................     @D
354LFSU            110001 ..... ..... ................     @D
355LFSX            011111 ..... ..... ..... 1000010111 -   @X
356LFSUX           011111 ..... ..... ..... 1000110111 -   @X
357
358LFD             110010 ..... ..... ................     @D
359LFDU            110011 ..... ..... ................     @D
360LFDX            011111 ..... ..... ..... 1001010111 -   @X
361LFDUX           011111 ..... ..... ..... 1001110111 -   @X
362
363### Float-Point Store Instructions
364
365STFS            110100 ..... ...... ...............     @D
366STFSU           110101 ..... ...... ...............     @D
367STFSX           011111 ..... ...... .... 1010010111 -   @X
368STFSUX          011111 ..... ...... .... 1010110111 -   @X
369
370STFD            110110 ..... ...... ...............     @D
371STFDU           110111 ..... ...... ...............     @D
372STFDX           011111 ..... ...... .... 1011010111 -   @X
373STFDUX          011111 ..... ...... .... 1011110111 -   @X
374
375### Floating-Point Arithmetic Instructions
376
377FSQRT           111111 ..... ----- ..... ----- 10110 .  @A_tb
378FSQRTS          111011 ..... ----- ..... ----- 10110 .  @A_tb
379
380### Floating-Point Select Instruction
381
382FSEL            111111 ..... ..... ..... ..... 10111 .  @A
383
384### Move To/From System Register Instructions
385
386SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
387SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
388SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
389SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi
390
391### Move To/From FPSCR
392
393{
394  # Before Power ISA v3.0, MFFS bits 11~15 were reserved and should be ignored
395  MFFS_ISA207     111111 ..... ----- ----- 1001000111 .   @X_t_rc
396  [
397    MFFS            111111 ..... 00000 ----- 1001000111 .   @X_t_rc
398    MFFSCE          111111 ..... 00001 ----- 1001000111 -   @X_t
399    MFFSCRN         111111 ..... 10110 ..... 1001000111 -   @X_tb
400    MFFSCDRN        111111 ..... 10100 ..... 1001000111 -   @X_tb
401    MFFSCRNI        111111 ..... 10111 ---.. 1001000111 -   @X_imm2
402    MFFSCDRNI       111111 ..... 10101 --... 1001000111 -   @X_imm3
403    MFFSL           111111 ..... 11000 ----- 1001000111 -   @X_t
404  ]
405}
406
407### Decimal Floating-Point Arithmetic Instructions
408
409DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
410DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc
411
412DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
413DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc
414
415DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
416DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc
417
418DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
419DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc
420
421### Decimal Floating-Point Compare Instructions
422
423DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
424DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp
425
426DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
427DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp
428
429### Decimal Floating-Point Test Instructions
430
431DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
432DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap
433
434DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
435DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap
436
437DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
438DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp
439
440DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
441DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp
442
443DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
444DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp
445
446### Decimal Floating-Point Quantum Adjustment Instructions
447
448DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
449DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp
450
451DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
452DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp
453
454DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
455DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp
456
457DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
458DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
459
460DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
461DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
462
463### Decimal Floating-Point Conversion Instructions
464
465DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
466DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc
467
468DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
469DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc
470
471DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
472DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
473DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb
474
475DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
476DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
477DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp
478
479### Decimal Floating-Point Format Instructions
480
481DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
482DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc
483
484DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
485DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc
486
487DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
488DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc
489
490DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
491DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc
492
493DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
494DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc
495
496DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
497DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc
498
499## Vector Exclusive-OR-based Instructions
500
501VPMSUMD         000100 ..... ..... ..... 10011001000    @VX
502
503## Vector Integer Instructions
504
505VCMPEQUB        000100 ..... ..... ..... . 0000000110   @VC
506VCMPEQUH        000100 ..... ..... ..... . 0001000110   @VC
507VCMPEQUW        000100 ..... ..... ..... . 0010000110   @VC
508VCMPEQUD        000100 ..... ..... ..... . 0011000111   @VC
509VCMPEQUQ        000100 ..... ..... ..... . 0111000111   @VC
510
511VCMPGTSB        000100 ..... ..... ..... . 1100000110   @VC
512VCMPGTSH        000100 ..... ..... ..... . 1101000110   @VC
513VCMPGTSW        000100 ..... ..... ..... . 1110000110   @VC
514VCMPGTSD        000100 ..... ..... ..... . 1111000111   @VC
515VCMPGTSQ        000100 ..... ..... ..... . 1110000111   @VC
516
517VCMPGTUB        000100 ..... ..... ..... . 1000000110   @VC
518VCMPGTUH        000100 ..... ..... ..... . 1001000110   @VC
519VCMPGTUW        000100 ..... ..... ..... . 1010000110   @VC
520VCMPGTUD        000100 ..... ..... ..... . 1011000111   @VC
521VCMPGTUQ        000100 ..... ..... ..... . 1010000111   @VC
522
523VCMPNEB         000100 ..... ..... ..... . 0000000111   @VC
524VCMPNEH         000100 ..... ..... ..... . 0001000111   @VC
525VCMPNEW         000100 ..... ..... ..... . 0010000111   @VC
526
527VCMPNEZB        000100 ..... ..... ..... . 0100000111   @VC
528VCMPNEZH        000100 ..... ..... ..... . 0101000111   @VC
529VCMPNEZW        000100 ..... ..... ..... . 0110000111   @VC
530
531VCMPSQ          000100 ... -- ..... ..... 00101000001   @VX_bf
532VCMPUQ          000100 ... -- ..... ..... 00100000001   @VX_bf
533
534## Vector Integer Average Instructions
535
536VAVGSB          000100 ..... ..... ..... 10100000010    @VX
537VAVGSH          000100 ..... ..... ..... 10101000010    @VX
538VAVGSW          000100 ..... ..... ..... 10110000010    @VX
539VAVGUB          000100 ..... ..... ..... 10000000010    @VX
540VAVGUH          000100 ..... ..... ..... 10001000010    @VX
541VAVGUW          000100 ..... ..... ..... 10010000010    @VX
542
543## Vector Integer Absolute Difference Instructions
544
545VABSDUB         000100 ..... ..... ..... 10000000011    @VX
546VABSDUH         000100 ..... ..... ..... 10001000011    @VX
547VABSDUW         000100 ..... ..... ..... 10010000011    @VX
548
549## Vector Bit Manipulation Instruction
550
551VGNB            000100 ..... -- ... ..... 10011001100   @VX_n
552
553VCFUGED         000100 ..... ..... ..... 10101001101    @VX
554VCLZDM          000100 ..... ..... ..... 11110000100    @VX
555VCTZDM          000100 ..... ..... ..... 11111000100    @VX
556VPDEPD          000100 ..... ..... ..... 10111001101    @VX
557VPEXTD          000100 ..... ..... ..... 10110001101    @VX
558
559VPRTYBD         000100 ..... 01001 ..... 11000000010    @VX_tb
560VPRTYBQ         000100 ..... 01010 ..... 11000000010    @VX_tb
561VPRTYBW         000100 ..... 01000 ..... 11000000010    @VX_tb
562
563## Vector Permute and Formatting Instruction
564
565VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
566VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
567VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
568VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
569VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
570VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
571VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
572VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA
573
574VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
575VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
576VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
577VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4
578
579VINSBLX         000100 ..... ..... ..... 01000001111    @VX
580VINSBRX         000100 ..... ..... ..... 01100001111    @VX
581VINSHLX         000100 ..... ..... ..... 01001001111    @VX
582VINSHRX         000100 ..... ..... ..... 01101001111    @VX
583VINSWLX         000100 ..... ..... ..... 01010001111    @VX
584VINSWRX         000100 ..... ..... ..... 01110001111    @VX
585VINSDLX         000100 ..... ..... ..... 01011001111    @VX
586VINSDRX         000100 ..... ..... ..... 01111001111    @VX
587
588VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
589VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4
590
591VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
592VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
593VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
594VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
595VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
596VINSWVRX        000100 ..... ..... ..... 00110001111    @VX
597
598VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
599VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN
600
601VPERM           000100 ..... ..... ..... ..... 101011   @VA
602VPERMR          000100 ..... ..... ..... ..... 111011   @VA
603
604VSEL            000100 ..... ..... ..... ..... 101010   @VA
605
606## Vector Integer Shift Instruction
607
608VSLB            000100 ..... ..... ..... 00100000100    @VX
609VSLH            000100 ..... ..... ..... 00101000100    @VX
610VSLW            000100 ..... ..... ..... 00110000100    @VX
611VSLD            000100 ..... ..... ..... 10111000100    @VX
612VSLQ            000100 ..... ..... ..... 00100000101    @VX
613
614VSRB            000100 ..... ..... ..... 01000000100    @VX
615VSRH            000100 ..... ..... ..... 01001000100    @VX
616VSRW            000100 ..... ..... ..... 01010000100    @VX
617VSRD            000100 ..... ..... ..... 11011000100    @VX
618VSRQ            000100 ..... ..... ..... 01000000101    @VX
619
620VSRAB           000100 ..... ..... ..... 01100000100    @VX
621VSRAH           000100 ..... ..... ..... 01101000100    @VX
622VSRAW           000100 ..... ..... ..... 01110000100    @VX
623VSRAD           000100 ..... ..... ..... 01111000100    @VX
624VSRAQ           000100 ..... ..... ..... 01100000101    @VX
625
626VRLB            000100 ..... ..... ..... 00000000100    @VX
627VRLH            000100 ..... ..... ..... 00001000100    @VX
628VRLW            000100 ..... ..... ..... 00010000100    @VX
629VRLD            000100 ..... ..... ..... 00011000100    @VX
630VRLQ            000100 ..... ..... ..... 00000000101    @VX
631
632VRLWMI          000100 ..... ..... ..... 00010000101    @VX
633VRLDMI          000100 ..... ..... ..... 00011000101    @VX
634VRLQMI          000100 ..... ..... ..... 00001000101    @VX
635
636VRLWNM          000100 ..... ..... ..... 00110000101    @VX
637VRLDNM          000100 ..... ..... ..... 00111000101    @VX
638VRLQNM          000100 ..... ..... ..... 00101000101    @VX
639
640## Vector Integer Arithmetic Instructions
641
642VADDCUW         000100 ..... ..... ..... 00110000000    @VX
643VADDCUQ         000100 ..... ..... ..... 00101000000    @VX
644VADDUQM         000100 ..... ..... ..... 00100000000    @VX
645
646VADDEUQM        000100 ..... ..... ..... ..... 111100   @VA
647VADDECUQ        000100 ..... ..... ..... ..... 111101   @VA
648
649VSUBCUW         000100 ..... ..... ..... 10110000000    @VX
650VSUBCUQ         000100 ..... ..... ..... 10101000000    @VX
651VSUBUQM         000100 ..... ..... ..... 10100000000    @VX
652
653VSUBECUQ        000100 ..... ..... ..... ..... 111111   @VA
654VSUBEUQM        000100 ..... ..... ..... ..... 111110   @VA
655
656VEXTSB2W        000100 ..... 10000 ..... 11000000010    @VX_tb
657VEXTSH2W        000100 ..... 10001 ..... 11000000010    @VX_tb
658VEXTSB2D        000100 ..... 11000 ..... 11000000010    @VX_tb
659VEXTSH2D        000100 ..... 11001 ..... 11000000010    @VX_tb
660VEXTSW2D        000100 ..... 11010 ..... 11000000010    @VX_tb
661VEXTSD2Q        000100 ..... 11011 ..... 11000000010    @VX_tb
662
663VNEGD           000100 ..... 00111 ..... 11000000010    @VX_tb
664VNEGW           000100 ..... 00110 ..... 11000000010    @VX_tb
665
666## Vector Mask Manipulation Instructions
667
668MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
669MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
670MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
671MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
672MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
673MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b
674
675VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
676VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
677VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
678VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
679VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb
680
681VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
682VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
683VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
684VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
685VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb
686
687VCNTMBB         000100 ..... 1100 . ..... 11001000010   @VX_mp
688VCNTMBH         000100 ..... 1101 . ..... 11001000010   @VX_mp
689VCNTMBW         000100 ..... 1110 . ..... 11001000010   @VX_mp
690VCNTMBD         000100 ..... 1111 . ..... 11001000010   @VX_mp
691
692## Vector Multiply Instruction
693
694VMULESB         000100 ..... ..... ..... 01100001000    @VX
695VMULOSB         000100 ..... ..... ..... 00100001000    @VX
696VMULEUB         000100 ..... ..... ..... 01000001000    @VX
697VMULOUB         000100 ..... ..... ..... 00000001000    @VX
698
699VMULESH         000100 ..... ..... ..... 01101001000    @VX
700VMULOSH         000100 ..... ..... ..... 00101001000    @VX
701VMULEUH         000100 ..... ..... ..... 01001001000    @VX
702VMULOUH         000100 ..... ..... ..... 00001001000    @VX
703
704VMULESW         000100 ..... ..... ..... 01110001000    @VX
705VMULOSW         000100 ..... ..... ..... 00110001000    @VX
706VMULEUW         000100 ..... ..... ..... 01010001000    @VX
707VMULOUW         000100 ..... ..... ..... 00010001000    @VX
708
709VMULESD         000100 ..... ..... ..... 01111001000    @VX
710VMULOSD         000100 ..... ..... ..... 00111001000    @VX
711VMULEUD         000100 ..... ..... ..... 01011001000    @VX
712VMULOUD         000100 ..... ..... ..... 00011001000    @VX
713
714VMULHSW         000100 ..... ..... ..... 01110001001    @VX
715VMULHUW         000100 ..... ..... ..... 01010001001    @VX
716VMULHSD         000100 ..... ..... ..... 01111001001    @VX
717VMULHUD         000100 ..... ..... ..... 01011001001    @VX
718VMULLD          000100 ..... ..... ..... 00111001001    @VX
719
720## Vector Multiply-Sum Instructions
721
722VMSUMUBM        000100 ..... ..... ..... ..... 100100   @VA
723VMSUMMBM        000100 ..... ..... ..... ..... 100101   @VA
724VMSUMSHM        000100 ..... ..... ..... ..... 101000   @VA
725VMSUMSHS        000100 ..... ..... ..... ..... 101001   @VA
726VMSUMUHM        000100 ..... ..... ..... ..... 100110   @VA
727VMSUMUHS        000100 ..... ..... ..... ..... 100111   @VA
728
729VMSUMCUD        000100 ..... ..... ..... ..... 010111   @VA
730VMSUMUDM        000100 ..... ..... ..... ..... 100011   @VA
731
732VMLADDUHM       000100 ..... ..... ..... ..... 100010   @VA
733VMHADDSHS       000100 ..... ..... ..... ..... 100000   @VA
734VMHRADDSHS      000100 ..... ..... ..... ..... 100001   @VA
735
736## Vector String Instructions
737
738VSTRIBL         000100 ..... 00000 ..... . 0000001101   @VX_tb_rc
739VSTRIBR         000100 ..... 00001 ..... . 0000001101   @VX_tb_rc
740VSTRIHL         000100 ..... 00010 ..... . 0000001101   @VX_tb_rc
741VSTRIHR         000100 ..... 00011 ..... . 0000001101   @VX_tb_rc
742
743VCLRLB          000100 ..... ..... ..... 00110001101    @VX
744VCLRRB          000100 ..... ..... ..... 00111001101    @VX
745
746# VSX Load/Store Instructions
747
748LXSD            111001 ..... ..... .............. 10    @DS
749STXSD           111101 ..... ..... .............. 10    @DS
750LXSSP           111001 ..... ..... .............. 11    @DS
751STXSSP          111101 ..... ..... .............. 11    @DS
752LXV             111101 ..... ..... ............ . 001   @DQ_TSX
753STXV            111101 ..... ..... ............ . 101   @DQ_TSX
754LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
755STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
756LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
757STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
758LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
759STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP
760LXVRBX          011111 ..... ..... ..... 0000001101 .   @X_TSX
761LXVRHX          011111 ..... ..... ..... 0000101101 .   @X_TSX
762LXVRWX          011111 ..... ..... ..... 0001001101 .   @X_TSX
763LXVRDX          011111 ..... ..... ..... 0001101101 .   @X_TSX
764STXVRBX         011111 ..... ..... ..... 0010001101 .   @X_TSX
765STXVRHX         011111 ..... ..... ..... 0010101101 .   @X_TSX
766STXVRWX         011111 ..... ..... ..... 0011001101 .   @X_TSX
767STXVRDX         011111 ..... ..... ..... 0011101101 .   @X_TSX
768
769## VSX Vector Binary Floating-Point Sign Manipulation Instructions
770
771XVABSDP         111100 ..... 00000 ..... 111011001 ..   @XX2
772XVABSSP         111100 ..... 00000 ..... 110011001 ..   @XX2
773XVNABSDP        111100 ..... 00000 ..... 111101001 ..   @XX2
774XVNABSSP        111100 ..... 00000 ..... 110101001 ..   @XX2
775XVNEGDP         111100 ..... 00000 ..... 111111001 ..   @XX2
776XVNEGSP         111100 ..... 00000 ..... 110111001 ..   @XX2
777XVCPSGNDP       111100 ..... ..... ..... 11110000 ...   @XX3
778XVCPSGNSP       111100 ..... ..... ..... 11010000 ...   @XX3
779
780## VSX Scalar Multiply-Add Instructions
781
782XSMADDADP       111100 ..... ..... ..... 00100001 . . . @XX3
783XSMADDMDP       111100 ..... ..... ..... 00101001 . . . @XX3
784XSMADDASP       111100 ..... ..... ..... 00000001 . . . @XX3
785XSMADDMSP       111100 ..... ..... ..... 00001001 . . . @XX3
786XSMADDQP        111111 ..... ..... ..... 0110000100 .   @X_rc
787
788XSMSUBADP       111100 ..... ..... ..... 00110001 . . . @XX3
789XSMSUBMDP       111100 ..... ..... ..... 00111001 . . . @XX3
790XSMSUBASP       111100 ..... ..... ..... 00010001 . . . @XX3
791XSMSUBMSP       111100 ..... ..... ..... 00011001 . . . @XX3
792XSMSUBQP        111111 ..... ..... ..... 0110100100 .   @X_rc
793
794XSNMADDASP      111100 ..... ..... ..... 10000001 . . . @XX3
795XSNMADDMSP      111100 ..... ..... ..... 10001001 . . . @XX3
796XSNMADDADP      111100 ..... ..... ..... 10100001 . . . @XX3
797XSNMADDMDP      111100 ..... ..... ..... 10101001 . . . @XX3
798XSNMADDQP       111111 ..... ..... ..... 0111000100 .   @X_rc
799
800XSNMSUBASP      111100 ..... ..... ..... 10010001 . . . @XX3
801XSNMSUBMSP      111100 ..... ..... ..... 10011001 . . . @XX3
802XSNMSUBADP      111100 ..... ..... ..... 10110001 . . . @XX3
803XSNMSUBMDP      111100 ..... ..... ..... 10111001 . . . @XX3
804XSNMSUBQP       111111 ..... ..... ..... 0111100100 .   @X_rc
805
806## VSX splat instruction
807
808XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
809XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2_uim2
810
811## VSX Permute Instructions
812
813XXEXTRACTUW     111100 ..... - .... ..... 010100101 ..  @XX2_uim4
814XXINSERTW       111100 ..... - .... ..... 010110101 ..  @XX2_uim4
815
816XXPERM          111100 ..... ..... ..... 00011010 ...   @XX3
817XXPERMR         111100 ..... ..... ..... 00111010 ...   @XX3
818XXPERMDI        111100 ..... ..... ..... 0 .. 01010 ... @XX3_dm
819
820XXSEL           111100 ..... ..... ..... ..... 11 ....  @XX4
821
822## VSX Vector Generate PCV
823
824XXGENPCVBM      111100 ..... ..... ..... 1110010100 .   @X_imm5
825XXGENPCVHM      111100 ..... ..... ..... 1110010101 .   @X_imm5
826XXGENPCVWM      111100 ..... ..... ..... 1110110100 .   @X_imm5
827XXGENPCVDM      111100 ..... ..... ..... 1110110101 .   @X_imm5
828
829## VSX Vector Load Special Value Instruction
830
831LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
832
833## VSX Comparison Instructions
834
835XSMAXCDP        111100 ..... ..... ..... 10000000 ...   @XX3
836XSMINCDP        111100 ..... ..... ..... 10001000 ...   @XX3
837XSMAXJDP        111100 ..... ..... ..... 10010000 ...   @XX3
838XSMINJDP        111100 ..... ..... ..... 10011000 ...   @XX3
839XSMAXCQP        111111 ..... ..... ..... 1010100100 -   @X
840XSMINCQP        111111 ..... ..... ..... 1011100100 -   @X
841
842XSCMPEQDP       111100 ..... ..... ..... 00000011 ...   @XX3
843XSCMPGEDP       111100 ..... ..... ..... 00010011 ...   @XX3
844XSCMPGTDP       111100 ..... ..... ..... 00001011 ...   @XX3
845XSCMPEQQP       111111 ..... ..... ..... 0001000100 -   @X
846XSCMPGEQP       111111 ..... ..... ..... 0011000100 -   @X
847XSCMPGTQP       111111 ..... ..... ..... 0011100100 -   @X
848
849## VSX Binary Floating-Point Convert Instructions
850
851XSCVQPDP        111111 ..... 10100 ..... 1101000100 .   @X_tb_rc
852XSCVQPUQZ       111111 ..... 00000 ..... 1101000100 -   @X_tb
853XSCVQPSQZ       111111 ..... 01000 ..... 1101000100 -   @X_tb
854XSCVUQQP        111111 ..... 00011 ..... 1101000100 -   @X_tb
855XSCVSQQP        111111 ..... 01011 ..... 1101000100 -   @X_tb
856XVCVBF16SPN     111100 ..... 10000 ..... 111011011 ..   @XX2
857XVCVSPBF16      111100 ..... 10001 ..... 111011011 ..   @XX2
858XSCVSPDPN       111100 ..... ----- ..... 101001011 ..   @XX2
859
860## VSX Binary Floating-Point Math Support Instructions
861
862XVXSIGSP        111100 ..... 01001 ..... 111011011 ..   @XX2
863XVTSTDCDP       111100 ..... ..... ..... 1111 . 101 ... @XX2_uim7
864XVTSTDCSP       111100 ..... ..... ..... 1101 . 101 ... @XX2_uim7
865XSTSTDCSP       111100 ... ....... ..... 100101010 . -  @XX2_bf_uim xb=%xx_xb
866XSTSTDCDP       111100 ... ....... ..... 101101010 . -  @XX2_bf_uim xb=%xx_xb
867XSTSTDCQP       111111 ... ....... xb:5  1011000100 -   @XX2_bf_uim
868
869## VSX Vector Test Least-Significant Bit by Byte Instruction
870
871XVTLSBB         111100 ... -- 00010 ..... 111011011 . - @XX2_bf_xb
872
873### rfebb
874&XL_s           s:uint8_t
875@XL_s           ......-------------- s:1 .......... -   &XL_s
876RFEBB           010011-------------- .   0010010010 -   @XL_s
877
878## Accumulator Instructions
879
880XXMFACC         011111 ... -- 00000 ----- 0010110001 -   @X_a
881XXMTACC         011111 ... -- 00001 ----- 0010110001 -   @X_a
882XXSETACCZ       011111 ... -- 00011 ----- 0010110001 -   @X_a
883
884## VSX GER instruction
885
886XVI4GER8        111011 ... -- ..... ..... 00100011 ..-  @XX3_at xa=%xx_xa
887XVI4GER8PP      111011 ... -- ..... ..... 00100010 ..-  @XX3_at xa=%xx_xa
888XVI8GER4        111011 ... -- ..... ..... 00000011 ..-  @XX3_at xa=%xx_xa
889XVI8GER4PP      111011 ... -- ..... ..... 00000010 ..-  @XX3_at xa=%xx_xa
890XVI16GER2       111011 ... -- ..... ..... 01001011 ..-  @XX3_at xa=%xx_xa
891XVI16GER2PP     111011 ... -- ..... ..... 01101011 ..-  @XX3_at xa=%xx_xa
892XVI8GER4SPP     111011 ... -- ..... ..... 01100011 ..-  @XX3_at xa=%xx_xa
893XVI16GER2S      111011 ... -- ..... ..... 00101011 ..-  @XX3_at xa=%xx_xa
894XVI16GER2SPP    111011 ... -- ..... ..... 00101010 ..-  @XX3_at xa=%xx_xa
895
896XVBF16GER2      111011 ... -- ..... ..... 00110011 ..-  @XX3_at xa=%xx_xa
897XVBF16GER2PP    111011 ... -- ..... ..... 00110010 ..-  @XX3_at xa=%xx_xa
898XVBF16GER2PN    111011 ... -- ..... ..... 10110010 ..-  @XX3_at xa=%xx_xa
899XVBF16GER2NP    111011 ... -- ..... ..... 01110010 ..-  @XX3_at xa=%xx_xa
900XVBF16GER2NN    111011 ... -- ..... ..... 11110010 ..-  @XX3_at xa=%xx_xa
901
902XVF16GER2       111011 ... -- ..... ..... 00010011 ..-  @XX3_at xa=%xx_xa
903XVF16GER2PP     111011 ... -- ..... ..... 00010010 ..-  @XX3_at xa=%xx_xa
904XVF16GER2PN     111011 ... -- ..... ..... 10010010 ..-  @XX3_at xa=%xx_xa
905XVF16GER2NP     111011 ... -- ..... ..... 01010010 ..-  @XX3_at xa=%xx_xa
906XVF16GER2NN     111011 ... -- ..... ..... 11010010 ..-  @XX3_at xa=%xx_xa
907
908XVF32GER        111011 ... -- ..... ..... 00011011 ..-  @XX3_at xa=%xx_xa
909XVF32GERPP      111011 ... -- ..... ..... 00011010 ..-  @XX3_at xa=%xx_xa
910XVF32GERPN      111011 ... -- ..... ..... 10011010 ..-  @XX3_at xa=%xx_xa
911XVF32GERNP      111011 ... -- ..... ..... 01011010 ..-  @XX3_at xa=%xx_xa
912XVF32GERNN      111011 ... -- ..... ..... 11011010 ..-  @XX3_at xa=%xx_xa
913
914XVF64GER        111011 ... -- .... 0 ..... 00111011 ..-  @XX3_at xa=%xx_xa_pair
915XVF64GERPP      111011 ... -- .... 0 ..... 00111010 ..-  @XX3_at xa=%xx_xa_pair
916XVF64GERPN      111011 ... -- .... 0 ..... 10111010 ..-  @XX3_at xa=%xx_xa_pair
917XVF64GERNP      111011 ... -- .... 0 ..... 01111010 ..-  @XX3_at xa=%xx_xa_pair
918XVF64GERNN      111011 ... -- .... 0 ..... 11111010 ..-  @XX3_at xa=%xx_xa_pair
919
920## Vector Division Instructions
921
922VDIVSW          000100 ..... ..... ..... 00110001011    @VX
923VDIVUW          000100 ..... ..... ..... 00010001011    @VX
924VDIVSD          000100 ..... ..... ..... 00111001011    @VX
925VDIVUD          000100 ..... ..... ..... 00011001011    @VX
926VDIVSQ          000100 ..... ..... ..... 00100001011    @VX
927VDIVUQ          000100 ..... ..... ..... 00000001011    @VX
928
929VDIVESW         000100 ..... ..... ..... 01110001011    @VX
930VDIVEUW         000100 ..... ..... ..... 01010001011    @VX
931VDIVESD         000100 ..... ..... ..... 01111001011    @VX
932VDIVEUD         000100 ..... ..... ..... 01011001011    @VX
933VDIVESQ         000100 ..... ..... ..... 01100001011    @VX
934VDIVEUQ         000100 ..... ..... ..... 01000001011    @VX
935
936VMODSW          000100 ..... ..... ..... 11110001011    @VX
937VMODUW          000100 ..... ..... ..... 11010001011    @VX
938VMODSD          000100 ..... ..... ..... 11111001011    @VX
939VMODUD          000100 ..... ..... ..... 11011001011    @VX
940VMODSQ          000100 ..... ..... ..... 11100001011    @VX
941VMODUQ          000100 ..... ..... ..... 11000001011    @VX
942
943## SLB Management Instructions
944
945SLBIE           011111 ----- ----- ..... 0110110010 -   @X_rb
946SLBIEG          011111 ..... ----- ..... 0111010010 -   @X_tb
947
948SLBIA           011111 --... ----- ----- 0111110010 -   @X_ih
949SLBIAG          011111 ..... ----. ----- 1101010010 -   @X_rs_l
950
951SLBMTE          011111 ..... ----- ..... 0110010010 -   @X_tb
952
953SLBMFEV         011111 ..... ----- ..... 1101010011 -   @X_tb
954SLBMFEE         011111 ..... ----- ..... 1110010011 -   @X_tb
955
956SLBFEE          011111 ..... ----- ..... 1111010011 1   @X_tb
957
958SLBSYNC         011111 ----- ----- ----- 0101010010 -
959
960## TLB Management Instructions
961
962&X_tlbie        rb rs ric prs:bool r:bool
963@X_tlbie        ...... rs:5 - ric:2 prs:1 r:1 rb:5 .......... -     &X_tlbie
964
965TLBIE           011111 ..... - .. . . ..... 0100110010 -            @X_tlbie
966TLBIEL          011111 ..... - .. . . ..... 0100010010 -            @X_tlbie
967
968# Processor Control Instructions
969
970MSGCLR          011111 ----- ----- ..... 0011101110 -   @X_rb
971MSGSND          011111 ----- ----- ..... 0011001110 -   @X_rb
972MSGCLRP         011111 ----- ----- ..... 0010101110 -   @X_rb
973MSGSNDP         011111 ----- ----- ..... 0010001110 -   @X_rb
974MSGSYNC         011111 ----- ----- ----- 1101110110 -
975