| blob | 3de4a32e3866ccc1e70814bdc0254fa5afe42f4f |
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 #
20 &D rt ra si:int64_t
21 @D ...... rt:5 ra:5 si:s16 &D
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
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
31 %dq_rt_tsx 3:1 21:5
32 @DQ_TSX ...... ..... ra:5 ............ .... &D si=%dq_si rt=%dq_rt_tsx
34 %rt_tsxp 21:1 22:4 !function=times_2
35 @DQ_TSXP ...... ..... ra:5 ............ .... &D si=%dq_si rt=%rt_tsxp
37 %ds_si 2:s14 !function=times_4
38 @DS ...... rt:5 ra:5 .............. .. &D si=%ds_si
40 %ds_rtp 22:4 !function=times_2
41 @DS_rtp ...... ....0 ra:5 .............. .. &D rt=%ds_rtp si=%ds_si
43 &DX_b vrt b
44 %dx_b 6:10 16:5 0:1
45 @DX_b ...... vrt:5 ..... .......... ..... . &DX_b b=%dx_b
47 &DX rt d
48 %dx_d 6:s10 16:5 0:1
49 @DX ...... rt:5 ..... .......... ..... . &DX d=%dx_d
51 &VA vrt vra vrb rc
52 @VA ...... vrt:5 vra:5 vrb:5 rc:5 ...... &VA
54 &VC vrt vra vrb rc:bool
55 @VC ...... vrt:5 vra:5 vrb:5 rc:1 .......... &VC
57 &VN vrt vra vrb sh
58 @VN ...... vrt:5 vra:5 vrb:5 .. sh:3 ...... &VN
60 &VX vrt vra vrb
61 @VX ...... vrt:5 vra:5 vrb:5 .......... . &VX
63 &VX_bf bf vra vrb
64 @VX_bf ...... bf:3 .. vra:5 vrb:5 ........... &VX_bf
66 &VX_mp rt mp:bool vrb
67 @VX_mp ...... rt:5 .... mp:1 vrb:5 ........... &VX_mp
69 &VX_n rt vrb n
70 @VX_n ...... rt:5 .. n:3 vrb:5 ........... &VX_n
72 &VX_tb_rc vrt vrb rc:bool
73 @VX_tb_rc ...... vrt:5 ..... vrb:5 rc:1 .......... &VX_tb_rc
75 &VX_uim4 vrt uim vrb
76 @VX_uim4 ...... vrt:5 . uim:4 vrb:5 ........... &VX_uim4
78 &VX_tb vrt vrb
79 @VX_tb ...... vrt:5 ..... vrb:5 ........... &VX_tb
81 &X rt ra rb
82 @X ...... rt:5 ra:5 rb:5 .......... . &X
84 &X_rc rt ra rb rc:bool
85 @X_rc ...... rt:5 ra:5 rb:5 .......... rc:1 &X_rc
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
92 @X_tp_a_bp_rc ...... ....0 ra:5 ....0 .......... rc:1 &X_rc rt=%x_frtp rb=%x_frbp
94 &X_tb_rc rt rb rc:bool
95 @X_tb_rc ...... rt:5 ..... rb:5 .......... rc:1 &X_tb_rc
97 @X_tbp_rc ...... ....0 ..... ....0 .......... rc:1 &X_tb_rc rt=%x_frtp rb=%x_frbp
99 @X_tp_b_rc ...... ....0 ..... rb:5 .......... rc:1 &X_tb_rc rt=%x_frtp
101 @X_t_bp_rc ...... rt:5 ..... ....0 .......... rc:1 &X_tb_rc rb=%x_frbp
103 &X_bi rt bi
104 @X_bi ...... rt:5 bi:5 ----- .......... - &X_bi
106 &X_bf bf ra rb
107 @X_bf ...... bf:3 .. ra:5 rb:5 .......... . &X_bf
109 @X_bf_ap_bp ...... bf:3 .. ....0 ....0 .......... . &X_bf ra=%x_frap rb=%x_frbp
111 @X_bf_a_bp ...... bf:3 .. ra:5 ....0 .......... . &X_bf rb=%x_frbp
113 &X_bf_uim bf uim rb
114 @X_bf_uim ...... bf:3 . uim:6 rb:5 .......... . &X_bf_uim
116 @X_bf_uim_bp ...... bf:3 . uim:6 ....0 .......... . &X_bf_uim rb=%x_frbp
118 &X_bfl bf l:bool ra rb
119 @X_bfl ...... bf:3 - l:1 ra:5 rb:5 ..........- &X_bfl
121 %x_xt 0:1 21:5
122 &X_imm8 xt imm:uint8_t
123 @X_imm8 ...... ..... .. imm:8 .......... . &X_imm8 xt=%x_xt
125 &X_uim5 xt uim:uint8_t
126 @X_uim5 ...... ..... ..... uim:5 .......... . &X_uim5 xt=%x_xt
128 &X_tb_sp_rc rt rb sp rc:bool
129 @X_tb_sp_rc ...... rt:5 sp:2 ... rb:5 .......... rc:1 &X_tb_sp_rc
131 @X_tbp_sp_rc ...... ....0 sp:2 ... ....0 .......... rc:1 &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
133 &X_tb_s_rc rt rb s:bool rc:bool
134 @X_tb_s_rc ...... rt:5 s:1 .... rb:5 .......... rc:1 &X_tb_s_rc
136 @X_tbp_s_rc ...... ....0 s:1 .... ....0 .......... rc:1 &X_tb_s_rc rt=%x_frtp rb=%x_frbp
138 %x_rt_tsx 0:1 21:5
139 @X_TSX ...... ..... ra:5 rb:5 .......... . &X rt=%x_rt_tsx
140 @X_TSXP ...... ..... ra:5 rb:5 .......... . &X rt=%rt_tsxp
142 &X_frtp_vrb frtp vrb
143 @X_frtp_vrb ...... ....0 ..... vrb:5 .......... . &X_frtp_vrb frtp=%x_frtp
145 &X_vrt_frbp vrt frbp
146 @X_vrt_frbp ...... vrt:5 ..... ....0 .......... . &X_vrt_frbp frbp=%x_frbp
148 %xx_xt 0:1 21:5
149 %xx_xb 1:1 11:5
150 %xx_xa 2:1 16:5
151 %xx_xc 3:1 6:5
152 &XX2 xt xb uim:uint8_t
153 @XX2 ...... ..... ... uim:2 ..... ......... .. &XX2 xt=%xx_xt xb=%xx_xb
155 &XX3 xt xa xb
156 @XX3 ...... ..... ..... ..... ........ ... &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
158 &XX4 xt xa xb xc
159 @XX4 ...... ..... ..... ..... ..... .. .... &XX4 xt=%xx_xt xa=%xx_xa xb=%xx_xb xc=%xx_xc
161 &Z22_bf_fra bf fra dm
162 @Z22_bf_fra ...... bf:3 .. fra:5 dm:6 ......... . &Z22_bf_fra
164 %z22_frap 17:4 !function=times_2
165 @Z22_bf_frap ...... bf:3 .. ....0 dm:6 ......... . &Z22_bf_fra fra=%z22_frap
167 &Z22_ta_sh_rc rt ra sh rc:bool
168 @Z22_ta_sh_rc ...... rt:5 ra:5 sh:6 ......... rc:1 &Z22_ta_sh_rc
170 %z22_frtp 22:4 !function=times_2
171 @Z22_tap_sh_rc ...... ....0 ....0 sh:6 ......... rc:1 &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
173 &Z23_tab frt fra frb rmc rc:bool
174 @Z23_tab ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1 &Z23_tab
176 %z23_frtp 22:4 !function=times_2
177 %z23_frap 17:4 !function=times_2
178 %z23_frbp 12:4 !function=times_2
179 @Z23_tabp ...... ....0 ....0 ....0 rmc:2 ........ rc:1 &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
181 @Z23_tp_a_bp ...... ....0 fra:5 ....0 rmc:2 ........ rc:1 &Z23_tab frt=%z23_frtp frb=%z23_frbp
183 &Z23_tb frt frb r:bool rmc rc:bool
184 @Z23_tb ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
186 @Z23_tbp ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
188 &Z23_te_tb te frt frb rmc rc:bool
189 @Z23_te_tb ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1 &Z23_te_tb
191 @Z23_te_tbp ...... ....0 te:5 ....0 rmc:2 ........ rc:1 &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
193 ### Fixed-Point Load Instructions
195 LBZ 100010 ..... ..... ................ @D
196 LBZU 100011 ..... ..... ................ @D
197 LBZX 011111 ..... ..... ..... 0001010111 - @X
198 LBZUX 011111 ..... ..... ..... 0001110111 - @X
200 LHZ 101000 ..... ..... ................ @D
201 LHZU 101001 ..... ..... ................ @D
202 LHZX 011111 ..... ..... ..... 0100010111 - @X
203 LHZUX 011111 ..... ..... ..... 0100110111 - @X
205 LHA 101010 ..... ..... ................ @D
206 LHAU 101011 ..... ..... ................ @D
207 LHAX 011111 ..... ..... ..... 0101010111 - @X
208 LHAXU 011111 ..... ..... ..... 0101110111 - @X
210 LWZ 100000 ..... ..... ................ @D
211 LWZU 100001 ..... ..... ................ @D
212 LWZX 011111 ..... ..... ..... 0000010111 - @X
213 LWZUX 011111 ..... ..... ..... 0000110111 - @X
215 LWA 111010 ..... ..... ..............10 @DS
216 LWAX 011111 ..... ..... ..... 0101010101 - @X
217 LWAUX 011111 ..... ..... ..... 0101110101 - @X
219 LD 111010 ..... ..... ..............00 @DS
220 LDU 111010 ..... ..... ..............01 @DS
221 LDX 011111 ..... ..... ..... 0000010101 - @X
222 LDUX 011111 ..... ..... ..... 0000110101 - @X
224 LQ 111000 ..... ..... ............ ---- @DQ_rtp
226 ### Fixed-Point Store Instructions
228 STB 100110 ..... ..... ................ @D
229 STBU 100111 ..... ..... ................ @D
230 STBX 011111 ..... ..... ..... 0011010111 - @X
231 STBUX 011111 ..... ..... ..... 0011110111 - @X
233 STH 101100 ..... ..... ................ @D
234 STHU 101101 ..... ..... ................ @D
235 STHX 011111 ..... ..... ..... 0110010111 - @X
236 STHUX 011111 ..... ..... ..... 0110110111 - @X
238 STW 100100 ..... ..... ................ @D
239 STWU 100101 ..... ..... ................ @D
240 STWX 011111 ..... ..... ..... 0010010111 - @X
241 STWUX 011111 ..... ..... ..... 0010110111 - @X
243 STD 111110 ..... ..... ..............00 @DS
244 STDU 111110 ..... ..... ..............01 @DS
245 STDX 011111 ..... ..... ..... 0010010101 - @X
246 STDUX 011111 ..... ..... ..... 0010110101 - @X
248 STQ 111110 ..... ..... ..............10 @DS_rtp
250 ### Fixed-Point Compare Instructions
252 CMP 011111 ... - . ..... ..... 0000000000 - @X_bfl
253 CMPL 011111 ... - . ..... ..... 0000100000 - @X_bfl
254 CMPI 001011 ... - . ..... ................ @D_bfs
255 CMPLI 001010 ... - . ..... ................ @D_bfu
257 ### Fixed-Point Arithmetic Instructions
259 ADDI 001110 ..... ..... ................ @D
260 ADDIS 001111 ..... ..... ................ @D
262 ADDPCIS 010011 ..... ..... .......... 00010 . @DX
264 ## Fixed-Point Logical Instructions
266 CFUGED 011111 ..... ..... ..... 0011011100 - @X
267 CNTLZDM 011111 ..... ..... ..... 0000111011 - @X
268 CNTTZDM 011111 ..... ..... ..... 1000111011 - @X
269 PDEPD 011111 ..... ..... ..... 0010011100 - @X
270 PEXTD 011111 ..... ..... ..... 0010111100 - @X
272 ### Float-Point Load Instructions
274 LFS 110000 ..... ..... ................ @D
275 LFSU 110001 ..... ..... ................ @D
276 LFSX 011111 ..... ..... ..... 1000010111 - @X
277 LFSUX 011111 ..... ..... ..... 1000110111 - @X
279 LFD 110010 ..... ..... ................ @D
280 LFDU 110011 ..... ..... ................ @D
281 LFDX 011111 ..... ..... ..... 1001010111 - @X
282 LFDUX 011111 ..... ..... ..... 1001110111 - @X
284 ### Float-Point Store Instructions
286 STFS 110100 ..... ...... ............... @D
287 STFSU 110101 ..... ...... ............... @D
288 STFSX 011111 ..... ...... .... 1010010111 - @X
289 STFSUX 011111 ..... ...... .... 1010110111 - @X
291 STFD 110110 ..... ...... ............... @D
292 STFDU 110111 ..... ...... ............... @D
293 STFDX 011111 ..... ...... .... 1011010111 - @X
294 STFDUX 011111 ..... ...... .... 1011110111 - @X
296 ### Move To/From System Register Instructions
298 SETBC 011111 ..... ..... ----- 0110000000 - @X_bi
299 SETBCR 011111 ..... ..... ----- 0110100000 - @X_bi
300 SETNBC 011111 ..... ..... ----- 0111000000 - @X_bi
301 SETNBCR 011111 ..... ..... ----- 0111100000 - @X_bi
303 ### Decimal Floating-Point Arithmetic Instructions
305 DADD 111011 ..... ..... ..... 0000000010 . @X_rc
306 DADDQ 111111 ..... ..... ..... 0000000010 . @X_tp_ap_bp_rc
308 DSUB 111011 ..... ..... ..... 1000000010 . @X_rc
309 DSUBQ 111111 ..... ..... ..... 1000000010 . @X_tp_ap_bp_rc
311 DMUL 111011 ..... ..... ..... 0000100010 . @X_rc
312 DMULQ 111111 ..... ..... ..... 0000100010 . @X_tp_ap_bp_rc
314 DDIV 111011 ..... ..... ..... 1000100010 . @X_rc
315 DDIVQ 111111 ..... ..... ..... 1000100010 . @X_tp_ap_bp_rc
317 ### Decimal Floating-Point Compare Instructions
319 DCMPU 111011 ... -- ..... ..... 1010000010 - @X_bf
320 DCMPUQ 111111 ... -- ..... ..... 1010000010 - @X_bf_ap_bp
322 DCMPO 111011 ... -- ..... ..... 0010000010 - @X_bf
323 DCMPOQ 111111 ... -- ..... ..... 0010000010 - @X_bf_ap_bp
325 ### Decimal Floating-Point Test Instructions
327 DTSTDC 111011 ... -- ..... ...... 011000010 - @Z22_bf_fra
328 DTSTDCQ 111111 ... -- ..... ...... 011000010 - @Z22_bf_frap
330 DTSTDG 111011 ... -- ..... ...... 011100010 - @Z22_bf_fra
331 DTSTDGQ 111111 ... -- ..... ...... 011100010 - @Z22_bf_frap
333 DTSTEX 111011 ... -- ..... ..... 0010100010 - @X_bf
334 DTSTEXQ 111111 ... -- ..... ..... 0010100010 - @X_bf_ap_bp
336 DTSTSF 111011 ... -- ..... ..... 1010100010 - @X_bf
337 DTSTSFQ 111111 ... -- ..... ..... 1010100010 - @X_bf_a_bp
339 DTSTSFI 111011 ... - ...... ..... 1010100011 - @X_bf_uim
340 DTSTSFIQ 111111 ... - ...... ..... 1010100011 - @X_bf_uim_bp
342 ### Decimal Floating-Point Quantum Adjustment Instructions
344 DQUAI 111011 ..... ..... ..... .. 01000011 . @Z23_te_tb
345 DQUAIQ 111111 ..... ..... ..... .. 01000011 . @Z23_te_tbp
347 DQUA 111011 ..... ..... ..... .. 00000011 . @Z23_tab
348 DQUAQ 111111 ..... ..... ..... .. 00000011 . @Z23_tabp
350 DRRND 111011 ..... ..... ..... .. 00100011 . @Z23_tab
351 DRRNDQ 111111 ..... ..... ..... .. 00100011 . @Z23_tp_a_bp
353 DRINTX 111011 ..... ---- . ..... .. 01100011 . @Z23_tb
354 DRINTXQ 111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
356 DRINTN 111011 ..... ---- . ..... .. 11100011 . @Z23_tb
357 DRINTNQ 111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
359 ### Decimal Floating-Point Conversion Instructions
361 DCTDP 111011 ..... ----- ..... 0100000010 . @X_tb_rc
362 DCTQPQ 111111 ..... ----- ..... 0100000010 . @X_tp_b_rc
364 DRSP 111011 ..... ----- ..... 1100000010 . @X_tb_rc
365 DRDPQ 111111 ..... ----- ..... 1100000010 . @X_tbp_rc
367 DCFFIX 111011 ..... ----- ..... 1100100010 . @X_tb_rc
368 DCFFIXQ 111111 ..... ----- ..... 1100100010 . @X_tp_b_rc
369 DCFFIXQQ 111111 ..... 00000 ..... 1111100010 - @X_frtp_vrb
371 DCTFIX 111011 ..... ----- ..... 0100100010 . @X_tb_rc
372 DCTFIXQ 111111 ..... ----- ..... 0100100010 . @X_t_bp_rc
373 DCTFIXQQ 111111 ..... 00001 ..... 1111100010 - @X_vrt_frbp
375 ### Decimal Floating-Point Format Instructions
377 DDEDPD 111011 ..... .. --- ..... 0101000010 . @X_tb_sp_rc
378 DDEDPDQ 111111 ..... .. --- ..... 0101000010 . @X_tbp_sp_rc
380 DENBCD 111011 ..... . ---- ..... 1101000010 . @X_tb_s_rc
381 DENBCDQ 111111 ..... . ---- ..... 1101000010 . @X_tbp_s_rc
383 DXEX 111011 ..... ----- ..... 0101100010 . @X_tb_rc
384 DXEXQ 111111 ..... ----- ..... 0101100010 . @X_t_bp_rc
386 DIEX 111011 ..... ..... ..... 1101100010 . @X_rc
387 DIEXQ 111111 ..... ..... ..... 1101100010 . @X_tp_a_bp_rc
389 DSCLI 111011 ..... ..... ...... 001000010 . @Z22_ta_sh_rc
390 DSCLIQ 111111 ..... ..... ...... 001000010 . @Z22_tap_sh_rc
392 DSCRI 111011 ..... ..... ...... 001100010 . @Z22_ta_sh_rc
393 DSCRIQ 111111 ..... ..... ...... 001100010 . @Z22_tap_sh_rc
395 ## Vector Integer Instructions
397 VCMPEQUB 000100 ..... ..... ..... . 0000000110 @VC
398 VCMPEQUH 000100 ..... ..... ..... . 0001000110 @VC
399 VCMPEQUW 000100 ..... ..... ..... . 0010000110 @VC
400 VCMPEQUD 000100 ..... ..... ..... . 0011000111 @VC
401 VCMPEQUQ 000100 ..... ..... ..... . 0111000111 @VC
403 VCMPGTSB 000100 ..... ..... ..... . 1100000110 @VC
404 VCMPGTSH 000100 ..... ..... ..... . 1101000110 @VC
405 VCMPGTSW 000100 ..... ..... ..... . 1110000110 @VC
406 VCMPGTSD 000100 ..... ..... ..... . 1111000111 @VC
407 VCMPGTSQ 000100 ..... ..... ..... . 1110000111 @VC
409 VCMPGTUB 000100 ..... ..... ..... . 1000000110 @VC
410 VCMPGTUH 000100 ..... ..... ..... . 1001000110 @VC
411 VCMPGTUW 000100 ..... ..... ..... . 1010000110 @VC
412 VCMPGTUD 000100 ..... ..... ..... . 1011000111 @VC
413 VCMPGTUQ 000100 ..... ..... ..... . 1010000111 @VC
415 VCMPNEB 000100 ..... ..... ..... . 0000000111 @VC
416 VCMPNEH 000100 ..... ..... ..... . 0001000111 @VC
417 VCMPNEW 000100 ..... ..... ..... . 0010000111 @VC
419 VCMPNEZB 000100 ..... ..... ..... . 0100000111 @VC
420 VCMPNEZH 000100 ..... ..... ..... . 0101000111 @VC
421 VCMPNEZW 000100 ..... ..... ..... . 0110000111 @VC
423 VCMPSQ 000100 ... -- ..... ..... 00101000001 @VX_bf
424 VCMPUQ 000100 ... -- ..... ..... 00100000001 @VX_bf
426 ## Vector Bit Manipulation Instruction
428 VGNB 000100 ..... -- ... ..... 10011001100 @VX_n
430 VCFUGED 000100 ..... ..... ..... 10101001101 @VX
431 VCLZDM 000100 ..... ..... ..... 11110000100 @VX
432 VCTZDM 000100 ..... ..... ..... 11111000100 @VX
433 VPDEPD 000100 ..... ..... ..... 10111001101 @VX
434 VPEXTD 000100 ..... ..... ..... 10110001101 @VX
436 ## Vector Permute and Formatting Instruction
438 VEXTDUBVLX 000100 ..... ..... ..... ..... 011000 @VA
439 VEXTDUBVRX 000100 ..... ..... ..... ..... 011001 @VA
440 VEXTDUHVLX 000100 ..... ..... ..... ..... 011010 @VA
441 VEXTDUHVRX 000100 ..... ..... ..... ..... 011011 @VA
442 VEXTDUWVLX 000100 ..... ..... ..... ..... 011100 @VA
443 VEXTDUWVRX 000100 ..... ..... ..... ..... 011101 @VA
444 VEXTDDVLX 000100 ..... ..... ..... ..... 011110 @VA
445 VEXTDDVRX 000100 ..... ..... ..... ..... 011111 @VA
447 VINSERTB 000100 ..... - .... ..... 01100001101 @VX_uim4
448 VINSERTH 000100 ..... - .... ..... 01101001101 @VX_uim4
449 VINSERTW 000100 ..... - .... ..... 01110001101 @VX_uim4
450 VINSERTD 000100 ..... - .... ..... 01111001101 @VX_uim4
452 VINSBLX 000100 ..... ..... ..... 01000001111 @VX
453 VINSBRX 000100 ..... ..... ..... 01100001111 @VX
454 VINSHLX 000100 ..... ..... ..... 01001001111 @VX
455 VINSHRX 000100 ..... ..... ..... 01101001111 @VX
456 VINSWLX 000100 ..... ..... ..... 01010001111 @VX
457 VINSWRX 000100 ..... ..... ..... 01110001111 @VX
458 VINSDLX 000100 ..... ..... ..... 01011001111 @VX
459 VINSDRX 000100 ..... ..... ..... 01111001111 @VX
461 VINSW 000100 ..... - .... ..... 00011001111 @VX_uim4
462 VINSD 000100 ..... - .... ..... 00111001111 @VX_uim4
464 VINSBVLX 000100 ..... ..... ..... 00000001111 @VX
465 VINSBVRX 000100 ..... ..... ..... 00100001111 @VX
466 VINSHVLX 000100 ..... ..... ..... 00001001111 @VX
467 VINSHVRX 000100 ..... ..... ..... 00101001111 @VX
468 VINSWVLX 000100 ..... ..... ..... 00010001111 @VX
469 VINSWVRX 000100 ..... ..... ..... 00110001111 @VX
471 VSLDBI 000100 ..... ..... ..... 00 ... 010110 @VN
472 VSRDBI 000100 ..... ..... ..... 01 ... 010110 @VN
474 VPERM 000100 ..... ..... ..... ..... 101011 @VA
475 VPERMR 000100 ..... ..... ..... ..... 111011 @VA
477 VSEL 000100 ..... ..... ..... ..... 101010 @VA
479 ## Vector Integer Shift Instruction
481 VSLB 000100 ..... ..... ..... 00100000100 @VX
482 VSLH 000100 ..... ..... ..... 00101000100 @VX
483 VSLW 000100 ..... ..... ..... 00110000100 @VX
484 VSLD 000100 ..... ..... ..... 10111000100 @VX
485 VSLQ 000100 ..... ..... ..... 00100000101 @VX
487 VSRB 000100 ..... ..... ..... 01000000100 @VX
488 VSRH 000100 ..... ..... ..... 01001000100 @VX
489 VSRW 000100 ..... ..... ..... 01010000100 @VX
490 VSRD 000100 ..... ..... ..... 11011000100 @VX
491 VSRQ 000100 ..... ..... ..... 01000000101 @VX
493 VSRAB 000100 ..... ..... ..... 01100000100 @VX
494 VSRAH 000100 ..... ..... ..... 01101000100 @VX
495 VSRAW 000100 ..... ..... ..... 01110000100 @VX
496 VSRAD 000100 ..... ..... ..... 01111000100 @VX
497 VSRAQ 000100 ..... ..... ..... 01100000101 @VX
499 VRLB 000100 ..... ..... ..... 00000000100 @VX
500 VRLH 000100 ..... ..... ..... 00001000100 @VX
501 VRLW 000100 ..... ..... ..... 00010000100 @VX
502 VRLD 000100 ..... ..... ..... 00011000100 @VX
503 VRLQ 000100 ..... ..... ..... 00000000101 @VX
505 VRLWMI 000100 ..... ..... ..... 00010000101 @VX
506 VRLDMI 000100 ..... ..... ..... 00011000101 @VX
507 VRLQMI 000100 ..... ..... ..... 00001000101 @VX
509 VRLWNM 000100 ..... ..... ..... 00110000101 @VX
510 VRLDNM 000100 ..... ..... ..... 00111000101 @VX
511 VRLQNM 000100 ..... ..... ..... 00101000101 @VX
513 ## Vector Integer Arithmetic Instructions
515 VEXTSB2W 000100 ..... 10000 ..... 11000000010 @VX_tb
516 VEXTSH2W 000100 ..... 10001 ..... 11000000010 @VX_tb
517 VEXTSB2D 000100 ..... 11000 ..... 11000000010 @VX_tb
518 VEXTSH2D 000100 ..... 11001 ..... 11000000010 @VX_tb
519 VEXTSW2D 000100 ..... 11010 ..... 11000000010 @VX_tb
520 VEXTSD2Q 000100 ..... 11011 ..... 11000000010 @VX_tb
522 ## Vector Mask Manipulation Instructions
524 MTVSRBM 000100 ..... 10000 ..... 11001000010 @VX_tb
525 MTVSRHM 000100 ..... 10001 ..... 11001000010 @VX_tb
526 MTVSRWM 000100 ..... 10010 ..... 11001000010 @VX_tb
527 MTVSRDM 000100 ..... 10011 ..... 11001000010 @VX_tb
528 MTVSRQM 000100 ..... 10100 ..... 11001000010 @VX_tb
529 MTVSRBMI 000100 ..... ..... .......... 01010 . @DX_b
531 VEXPANDBM 000100 ..... 00000 ..... 11001000010 @VX_tb
532 VEXPANDHM 000100 ..... 00001 ..... 11001000010 @VX_tb
533 VEXPANDWM 000100 ..... 00010 ..... 11001000010 @VX_tb
534 VEXPANDDM 000100 ..... 00011 ..... 11001000010 @VX_tb
535 VEXPANDQM 000100 ..... 00100 ..... 11001000010 @VX_tb
537 VEXTRACTBM 000100 ..... 01000 ..... 11001000010 @VX_tb
538 VEXTRACTHM 000100 ..... 01001 ..... 11001000010 @VX_tb
539 VEXTRACTWM 000100 ..... 01010 ..... 11001000010 @VX_tb
540 VEXTRACTDM 000100 ..... 01011 ..... 11001000010 @VX_tb
541 VEXTRACTQM 000100 ..... 01100 ..... 11001000010 @VX_tb
543 VCNTMBB 000100 ..... 1100 . ..... 11001000010 @VX_mp
544 VCNTMBH 000100 ..... 1101 . ..... 11001000010 @VX_mp
545 VCNTMBW 000100 ..... 1110 . ..... 11001000010 @VX_mp
546 VCNTMBD 000100 ..... 1111 . ..... 11001000010 @VX_mp
548 ## Vector Multiply Instruction
550 VMULESB 000100 ..... ..... ..... 01100001000 @VX
551 VMULOSB 000100 ..... ..... ..... 00100001000 @VX
552 VMULEUB 000100 ..... ..... ..... 01000001000 @VX
553 VMULOUB 000100 ..... ..... ..... 00000001000 @VX
555 VMULESH 000100 ..... ..... ..... 01101001000 @VX
556 VMULOSH 000100 ..... ..... ..... 00101001000 @VX
557 VMULEUH 000100 ..... ..... ..... 01001001000 @VX
558 VMULOUH 000100 ..... ..... ..... 00001001000 @VX
560 VMULESW 000100 ..... ..... ..... 01110001000 @VX
561 VMULOSW 000100 ..... ..... ..... 00110001000 @VX
562 VMULEUW 000100 ..... ..... ..... 01010001000 @VX
563 VMULOUW 000100 ..... ..... ..... 00010001000 @VX
565 VMULESD 000100 ..... ..... ..... 01111001000 @VX
566 VMULOSD 000100 ..... ..... ..... 00111001000 @VX
567 VMULEUD 000100 ..... ..... ..... 01011001000 @VX
568 VMULOUD 000100 ..... ..... ..... 00011001000 @VX
570 VMULHSW 000100 ..... ..... ..... 01110001001 @VX
571 VMULHUW 000100 ..... ..... ..... 01010001001 @VX
572 VMULHSD 000100 ..... ..... ..... 01111001001 @VX
573 VMULHUD 000100 ..... ..... ..... 01011001001 @VX
574 VMULLD 000100 ..... ..... ..... 00111001001 @VX
576 ## Vector Multiply-Sum Instructions
578 VMSUMCUD 000100 ..... ..... ..... ..... 010111 @VA
579 VMSUMUDM 000100 ..... ..... ..... ..... 100011 @VA
581 ## Vector String Instructions
583 VSTRIBL 000100 ..... 00000 ..... . 0000001101 @VX_tb_rc
584 VSTRIBR 000100 ..... 00001 ..... . 0000001101 @VX_tb_rc
585 VSTRIHL 000100 ..... 00010 ..... . 0000001101 @VX_tb_rc
586 VSTRIHR 000100 ..... 00011 ..... . 0000001101 @VX_tb_rc
588 VCLRLB 000100 ..... ..... ..... 00110001101 @VX
589 VCLRRB 000100 ..... ..... ..... 00111001101 @VX
591 # VSX Load/Store Instructions
593 LXV 111101 ..... ..... ............ . 001 @DQ_TSX
594 STXV 111101 ..... ..... ............ . 101 @DQ_TSX
595 LXVP 000110 ..... ..... ............ 0000 @DQ_TSXP
596 STXVP 000110 ..... ..... ............ 0001 @DQ_TSXP
597 LXVX 011111 ..... ..... ..... 0100 - 01100 . @X_TSX
598 STXVX 011111 ..... ..... ..... 0110001100 . @X_TSX
599 LXVPX 011111 ..... ..... ..... 0101001101 - @X_TSXP
600 STXVPX 011111 ..... ..... ..... 0111001101 - @X_TSXP
602 ## VSX splat instruction
604 XXSPLTIB 111100 ..... 00 ........ 0101101000 . @X_imm8
605 XXSPLTW 111100 ..... ---.. ..... 010100100 . . @XX2
607 ## VSX Permute Instructions
609 XXPERM 111100 ..... ..... ..... 00011010 ... @XX3
610 XXPERMR 111100 ..... ..... ..... 00111010 ... @XX3
612 XXSEL 111100 ..... ..... ..... ..... 11 .... @XX4
614 ## VSX Vector Load Special Value Instruction
616 LXVKQ 111100 ..... 11111 ..... 0101101000 . @X_uim5
618 ## VSX Comparison Instructions
620 XSMAXCDP 111100 ..... ..... ..... 10000000 ... @XX3
621 XSMINCDP 111100 ..... ..... ..... 10001000 ... @XX3
622 XSMAXJDP 111100 ..... ..... ..... 10010000 ... @XX3
623 XSMINJDP 111100 ..... ..... ..... 10011000 ... @XX3
625 ## VSX Binary Floating-Point Convert Instructions
627 XSCVQPDP 111111 ..... 10100 ..... 1101000100 . @X_tb_rc
629 ### rfebb
630 &XL_s s:uint8_t
631 @XL_s ......-------------- s:1 .......... - &XL_s
632 RFEBB 010011-------------- . 0010010010 - @XL_s