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