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