xref: /openbmc/qemu/target/ppc/insn32.decode (revision b91a0fa7)
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&VN             vrt vra vrb sh
55@VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
56
57&VX             vrt vra vrb
58@VX             ...... vrt:5 vra:5 vrb:5 .......... .   &VX
59
60&VX_uim4        vrt uim vrb
61@VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........  &VX_uim4
62
63&VX_tb          vrt vrb
64@VX_tb          ...... vrt:5 ..... vrb:5 ...........    &VX_tb
65
66&X              rt ra rb
67@X              ...... rt:5 ra:5 rb:5 .......... .      &X
68
69&X_rc           rt ra rb rc:bool
70@X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc
71
72%x_frtp         22:4 !function=times_2
73%x_frap         17:4 !function=times_2
74%x_frbp         12:4 !function=times_2
75@X_tp_ap_bp_rc  ...... ....0 ....0 ....0 .......... rc:1        &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
76
77@X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp
78
79&X_tb_rc        rt rb rc:bool
80@X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc
81
82@X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp
83
84@X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp
85
86@X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp
87
88&X_bi           rt bi
89@X_bi           ...... rt:5 bi:5 ----- .......... -     &X_bi
90
91&X_bf           bf ra rb
92@X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
93
94@X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp
95
96@X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp
97
98&X_bf_uim       bf uim rb
99@X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim
100
101@X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp
102
103&X_bfl          bf l:bool ra rb
104@X_bfl          ...... bf:3 - l:1 ra:5 rb:5 ..........- &X_bfl
105
106%x_xt           0:1 21:5
107&X_imm8         xt imm:uint8_t
108@X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt
109
110&X_uim5         xt uim:uint8_t
111@X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt
112
113&X_tb_sp_rc     rt rb sp rc:bool
114@X_tb_sp_rc     ...... rt:5 sp:2 ... rb:5 .......... rc:1       &X_tb_sp_rc
115
116@X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
117
118&X_tb_s_rc      rt rb s:bool rc:bool
119@X_tb_s_rc      ...... rt:5 s:1 .... rb:5 .......... rc:1       &X_tb_s_rc
120
121@X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp
122
123%x_rt_tsx       0:1 21:5
124@X_TSX          ...... ..... ra:5 rb:5 .......... .             &X rt=%x_rt_tsx
125@X_TSXP         ...... ..... ra:5 rb:5 .......... .             &X rt=%rt_tsxp
126
127&X_frtp_vrb     frtp vrb
128@X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
129
130&X_vrt_frbp     vrt frbp
131@X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
132
133%xx_xt          0:1 21:5
134%xx_xb          1:1 11:5
135%xx_xa          2:1 16:5
136&XX2            xt xb uim:uint8_t
137@XX2            ...... ..... ... uim:2 ..... ......... ..       &XX2 xt=%xx_xt xb=%xx_xb
138
139&XX3            xt xa xb
140@XX3            ...... ..... ..... ..... ........ ...           &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
141
142&Z22_bf_fra     bf fra dm
143@Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra
144
145%z22_frap       17:4 !function=times_2
146@Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap
147
148&Z22_ta_sh_rc   rt ra sh rc:bool
149@Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc
150
151%z22_frtp       22:4 !function=times_2
152@Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
153
154&Z23_tab        frt fra frb rmc rc:bool
155@Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab
156
157%z23_frtp       22:4 !function=times_2
158%z23_frap       17:4 !function=times_2
159%z23_frbp       12:4 !function=times_2
160@Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
161
162@Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp
163
164&Z23_tb         frt frb r:bool rmc rc:bool
165@Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
166
167@Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
168
169&Z23_te_tb      te frt frb rmc rc:bool
170@Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb
171
172@Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
173
174### Fixed-Point Load Instructions
175
176LBZ             100010 ..... ..... ................     @D
177LBZU            100011 ..... ..... ................     @D
178LBZX            011111 ..... ..... ..... 0001010111 -   @X
179LBZUX           011111 ..... ..... ..... 0001110111 -   @X
180
181LHZ             101000 ..... ..... ................     @D
182LHZU            101001 ..... ..... ................     @D
183LHZX            011111 ..... ..... ..... 0100010111 -   @X
184LHZUX           011111 ..... ..... ..... 0100110111 -   @X
185
186LHA             101010 ..... ..... ................     @D
187LHAU            101011 ..... ..... ................     @D
188LHAX            011111 ..... ..... ..... 0101010111 -   @X
189LHAXU           011111 ..... ..... ..... 0101110111 -   @X
190
191LWZ             100000 ..... ..... ................     @D
192LWZU            100001 ..... ..... ................     @D
193LWZX            011111 ..... ..... ..... 0000010111 -   @X
194LWZUX           011111 ..... ..... ..... 0000110111 -   @X
195
196LWA             111010 ..... ..... ..............10     @DS
197LWAX            011111 ..... ..... ..... 0101010101 -   @X
198LWAUX           011111 ..... ..... ..... 0101110101 -   @X
199
200LD              111010 ..... ..... ..............00     @DS
201LDU             111010 ..... ..... ..............01     @DS
202LDX             011111 ..... ..... ..... 0000010101 -   @X
203LDUX            011111 ..... ..... ..... 0000110101 -   @X
204
205LQ              111000 ..... ..... ............ ----    @DQ_rtp
206
207### Fixed-Point Store Instructions
208
209STB             100110 ..... ..... ................     @D
210STBU            100111 ..... ..... ................     @D
211STBX            011111 ..... ..... ..... 0011010111 -   @X
212STBUX           011111 ..... ..... ..... 0011110111 -   @X
213
214STH             101100 ..... ..... ................     @D
215STHU            101101 ..... ..... ................     @D
216STHX            011111 ..... ..... ..... 0110010111 -   @X
217STHUX           011111 ..... ..... ..... 0110110111 -   @X
218
219STW             100100 ..... ..... ................     @D
220STWU            100101 ..... ..... ................     @D
221STWX            011111 ..... ..... ..... 0010010111 -   @X
222STWUX           011111 ..... ..... ..... 0010110111 -   @X
223
224STD             111110 ..... ..... ..............00     @DS
225STDU            111110 ..... ..... ..............01     @DS
226STDX            011111 ..... ..... ..... 0010010101 -   @X
227STDUX           011111 ..... ..... ..... 0010110101 -   @X
228
229STQ             111110 ..... ..... ..............10     @DS_rtp
230
231### Fixed-Point Compare Instructions
232
233CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
234CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
235CMPI            001011 ... - . ..... ................   @D_bfs
236CMPLI           001010 ... - . ..... ................   @D_bfu
237
238### Fixed-Point Arithmetic Instructions
239
240ADDI            001110 ..... ..... ................     @D
241ADDIS           001111 ..... ..... ................     @D
242
243ADDPCIS         010011 ..... ..... .......... 00010 .   @DX
244
245## Fixed-Point Logical Instructions
246
247CFUGED          011111 ..... ..... ..... 0011011100 -   @X
248CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
249CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
250PDEPD           011111 ..... ..... ..... 0010011100 -   @X
251PEXTD           011111 ..... ..... ..... 0010111100 -   @X
252
253### Float-Point Load Instructions
254
255LFS             110000 ..... ..... ................     @D
256LFSU            110001 ..... ..... ................     @D
257LFSX            011111 ..... ..... ..... 1000010111 -   @X
258LFSUX           011111 ..... ..... ..... 1000110111 -   @X
259
260LFD             110010 ..... ..... ................     @D
261LFDU            110011 ..... ..... ................     @D
262LFDX            011111 ..... ..... ..... 1001010111 -   @X
263LFDUX           011111 ..... ..... ..... 1001110111 -   @X
264
265### Float-Point Store Instructions
266
267STFS            110100 ..... ...... ...............     @D
268STFSU           110101 ..... ...... ...............     @D
269STFSX           011111 ..... ...... .... 1010010111 -   @X
270STFSUX          011111 ..... ...... .... 1010110111 -   @X
271
272STFD            110110 ..... ...... ...............     @D
273STFDU           110111 ..... ...... ...............     @D
274STFDX           011111 ..... ...... .... 1011010111 -   @X
275STFDUX          011111 ..... ...... .... 1011110111 -   @X
276
277### Move To/From System Register Instructions
278
279SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
280SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
281SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
282SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi
283
284### Decimal Floating-Point Arithmetic Instructions
285
286DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
287DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc
288
289DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
290DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc
291
292DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
293DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc
294
295DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
296DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc
297
298### Decimal Floating-Point Compare Instructions
299
300DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
301DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp
302
303DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
304DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp
305
306### Decimal Floating-Point Test Instructions
307
308DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
309DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap
310
311DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
312DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap
313
314DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
315DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp
316
317DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
318DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp
319
320DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
321DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp
322
323### Decimal Floating-Point Quantum Adjustment Instructions
324
325DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
326DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp
327
328DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
329DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp
330
331DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
332DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp
333
334DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
335DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
336
337DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
338DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
339
340### Decimal Floating-Point Conversion Instructions
341
342DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
343DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc
344
345DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
346DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc
347
348DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
349DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
350DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb
351
352DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
353DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
354DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp
355
356### Decimal Floating-Point Format Instructions
357
358DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
359DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc
360
361DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
362DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc
363
364DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
365DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc
366
367DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
368DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc
369
370DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
371DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc
372
373DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
374DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc
375
376## Vector Bit Manipulation Instruction
377
378VCFUGED         000100 ..... ..... ..... 10101001101    @VX
379VCLZDM          000100 ..... ..... ..... 11110000100    @VX
380VCTZDM          000100 ..... ..... ..... 11111000100    @VX
381VPDEPD          000100 ..... ..... ..... 10111001101    @VX
382VPEXTD          000100 ..... ..... ..... 10110001101    @VX
383
384## Vector Permute and Formatting Instruction
385
386VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
387VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
388VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
389VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
390VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
391VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
392VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
393VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA
394
395VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
396VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
397VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
398VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4
399
400VINSBLX         000100 ..... ..... ..... 01000001111    @VX
401VINSBRX         000100 ..... ..... ..... 01100001111    @VX
402VINSHLX         000100 ..... ..... ..... 01001001111    @VX
403VINSHRX         000100 ..... ..... ..... 01101001111    @VX
404VINSWLX         000100 ..... ..... ..... 01010001111    @VX
405VINSWRX         000100 ..... ..... ..... 01110001111    @VX
406VINSDLX         000100 ..... ..... ..... 01011001111    @VX
407VINSDRX         000100 ..... ..... ..... 01111001111    @VX
408
409VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
410VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4
411
412VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
413VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
414VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
415VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
416VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
417VINSWVRX        000100 ..... ..... ..... 00110001111    @VX
418
419VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
420VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN
421
422## Vector Mask Manipulation Instructions
423
424MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
425MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
426MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
427MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
428MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
429MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b
430
431VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
432VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
433VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
434VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
435VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb
436
437VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
438VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
439VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
440VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
441VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb
442
443# VSX Load/Store Instructions
444
445LXV             111101 ..... ..... ............ . 001   @DQ_TSX
446STXV            111101 ..... ..... ............ . 101   @DQ_TSX
447LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
448STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
449LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
450STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
451LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
452STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP
453
454## VSX splat instruction
455
456XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
457XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2
458
459## VSX Vector Load Special Value Instruction
460
461LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
462
463## VSX Comparison Instructions
464
465XSMAXCDP        111100 ..... ..... ..... 10000000 ...   @XX3
466XSMINCDP        111100 ..... ..... ..... 10001000 ...   @XX3
467XSMAXJDP        111100 ..... ..... ..... 10010000 ...   @XX3
468XSMINJDP        111100 ..... ..... ..... 10011000 ...   @XX3
469
470## VSX Binary Floating-Point Convert Instructions
471
472XSCVQPDP        111111 ..... 10100 ..... 1101000100 .   @X_tb_rc
473
474### rfebb
475&XL_s           s:uint8_t
476@XL_s           ......-------------- s:1 .......... -   &XL_s
477RFEBB           010011-------------- .   0010010010 -   @XL_s
478