xref: /openbmc/qemu/target/arm/tcg/neon-dp.decode (revision 45cb69bb) 
1# AArch32 Neon data-processing instruction descriptions
2#
3#  Copyright (c) 2020 Linaro, Ltd
4#
5# This library is free software; you can redistribute it and/or
6# modify it under the terms of the GNU Lesser General Public
7# License as published by the Free Software Foundation; either
8# version 2.1 of the License, or (at your option) any later version.
9#
10# This library is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY; without even the implied warranty of
12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13# Lesser General Public License for more details.
14#
15# You should have received a copy of the GNU Lesser General Public
16# License along with this library; if not, see <http://www.gnu.org/licenses/>.
17
18#
19# This file is processed by scripts/decodetree.py
20#
21# VFP/Neon register fields; same as vfp.decode
22%vm_dp  5:1 0:4
23%vn_dp  7:1 16:4
24%vd_dp  22:1 12:4
25
26# Encodings for Neon data processing instructions where the T32 encoding
27# is a simple transformation of the A32 encoding.
28# More specifically, this file covers instructions where the A32 encoding is
29#   0b1111_001p_qqqq_qqqq_qqqq_qqqq_qqqq_qqqq
30# and the T32 encoding is
31#   0b111p_1111_qqqq_qqqq_qqqq_qqqq_qqqq_qqqq
32# This file works on the A32 encoding only; calling code for T32 has to
33# transform the insn into the A32 version first.
34
35######################################################################
36# 3-reg-same grouping:
37# 1111 001 U 0 D sz:2 Vn:4 Vd:4 opc:4 N Q M op Vm:4
38######################################################################
39
40&3same vm vn vd q size
41
42@3same           .... ... . . . size:2 .... .... .... . q:1 . . .... \
43                 &3same vm=%vm_dp vn=%vn_dp vd=%vd_dp
44
45@3same_q0        .... ... . . . size:2 .... .... .... . 0 . . .... \
46                 &3same vm=%vm_dp vn=%vn_dp vd=%vd_dp q=0
47
48# For FP insns the high bit of 'size' is used as part of opcode decode,
49# and the 'size' bit is 0 for 32-bit float and 1 for 16-bit float.
50# This converts this encoding to the same MO_8/16/32/64 values that the
51# integer neon insns use.
52%3same_fp_size   20:1 !function=neon_3same_fp_size
53
54@3same_fp        .... ... . . . . . .... .... .... . q:1 . . .... \
55                 &3same vm=%vm_dp vn=%vn_dp vd=%vd_dp size=%3same_fp_size
56@3same_fp_q0     .... ... . . . . . .... .... .... . 0 . . .... \
57                 &3same vm=%vm_dp vn=%vn_dp vd=%vd_dp q=0 size=%3same_fp_size
58
59VHADD_S_3s       1111 001 0 0 . .. .... .... 0000 . . . 0 .... @3same
60VHADD_U_3s       1111 001 1 0 . .. .... .... 0000 . . . 0 .... @3same
61VQADD_S_3s       1111 001 0 0 . .. .... .... 0000 . . . 1 .... @3same
62VQADD_U_3s       1111 001 1 0 . .. .... .... 0000 . . . 1 .... @3same
63
64VRHADD_S_3s      1111 001 0 0 . .. .... .... 0001 . . . 0 .... @3same
65VRHADD_U_3s      1111 001 1 0 . .. .... .... 0001 . . . 0 .... @3same
66
67@3same_logic     .... ... . . . .. .... .... .... . q:1 .. .... \
68                 &3same vm=%vm_dp vn=%vn_dp vd=%vd_dp size=0
69
70VAND_3s          1111 001 0 0 . 00 .... .... 0001 ... 1 .... @3same_logic
71VBIC_3s          1111 001 0 0 . 01 .... .... 0001 ... 1 .... @3same_logic
72VORR_3s          1111 001 0 0 . 10 .... .... 0001 ... 1 .... @3same_logic
73VORN_3s          1111 001 0 0 . 11 .... .... 0001 ... 1 .... @3same_logic
74VEOR_3s          1111 001 1 0 . 00 .... .... 0001 ... 1 .... @3same_logic
75VBSL_3s          1111 001 1 0 . 01 .... .... 0001 ... 1 .... @3same_logic
76VBIT_3s          1111 001 1 0 . 10 .... .... 0001 ... 1 .... @3same_logic
77VBIF_3s          1111 001 1 0 . 11 .... .... 0001 ... 1 .... @3same_logic
78
79VHSUB_S_3s       1111 001 0 0 . .. .... .... 0010 . . . 0 .... @3same
80VHSUB_U_3s       1111 001 1 0 . .. .... .... 0010 . . . 0 .... @3same
81
82VQSUB_S_3s       1111 001 0 0 . .. .... .... 0010 . . . 1 .... @3same
83VQSUB_U_3s       1111 001 1 0 . .. .... .... 0010 . . . 1 .... @3same
84
85VCGT_S_3s        1111 001 0 0 . .. .... .... 0011 . . . 0 .... @3same
86VCGT_U_3s        1111 001 1 0 . .. .... .... 0011 . . . 0 .... @3same
87VCGE_S_3s        1111 001 0 0 . .. .... .... 0011 . . . 1 .... @3same
88VCGE_U_3s        1111 001 1 0 . .. .... .... 0011 . . . 1 .... @3same
89
90# The _rev suffix indicates that Vn and Vm are reversed. This is
91# the case for shifts. In the Arm ARM these insns are documented
92# with the Vm and Vn fields in their usual places, but in the
93# assembly the operands are listed "backwards", ie in the order
94# Dd, Dm, Dn where other insns use Dd, Dn, Dm. For QEMU we choose
95# to consider Vm and Vn as being in different fields in the insn,
96# which allows us to avoid special-casing shifts in the trans_
97# function code. We would otherwise need to manually swap the operands
98# over to call Neon helper functions that are shared with AArch64,
99# which does not have this odd reversed-operand situation.
100@3same_rev       .... ... . . . size:2 .... .... .... . q:1 . . .... \
101                 &3same vn=%vm_dp vm=%vn_dp vd=%vd_dp
102
103VSHL_S_3s        1111 001 0 0 . .. .... .... 0100 . . . 0 .... @3same_rev
104VSHL_U_3s        1111 001 1 0 . .. .... .... 0100 . . . 0 .... @3same_rev
105
106# Insns operating on 64-bit elements (size!=0b11 handled elsewhere)
107# The _rev suffix indicates that Vn and Vm are reversed (as explained
108# by the comment for the @3same_rev format).
109@3same_64_rev    .... ... . . . 11 .... .... .... . q:1 . . .... \
110                 &3same vm=%vn_dp vn=%vm_dp vd=%vd_dp size=3
111
112{
113  VQSHL_S64_3s   1111 001 0 0 . .. .... .... 0100 . . . 1 .... @3same_64_rev
114  VQSHL_S_3s     1111 001 0 0 . .. .... .... 0100 . . . 1 .... @3same_rev
115}
116{
117  VQSHL_U64_3s   1111 001 1 0 . .. .... .... 0100 . . . 1 .... @3same_64_rev
118  VQSHL_U_3s     1111 001 1 0 . .. .... .... 0100 . . . 1 .... @3same_rev
119}
120{
121  VRSHL_S64_3s   1111 001 0 0 . .. .... .... 0101 . . . 0 .... @3same_64_rev
122  VRSHL_S_3s     1111 001 0 0 . .. .... .... 0101 . . . 0 .... @3same_rev
123}
124{
125  VRSHL_U64_3s   1111 001 1 0 . .. .... .... 0101 . . . 0 .... @3same_64_rev
126  VRSHL_U_3s     1111 001 1 0 . .. .... .... 0101 . . . 0 .... @3same_rev
127}
128{
129  VQRSHL_S64_3s  1111 001 0 0 . .. .... .... 0101 . . . 1 .... @3same_64_rev
130  VQRSHL_S_3s    1111 001 0 0 . .. .... .... 0101 . . . 1 .... @3same_rev
131}
132{
133  VQRSHL_U64_3s  1111 001 1 0 . .. .... .... 0101 . . . 1 .... @3same_64_rev
134  VQRSHL_U_3s    1111 001 1 0 . .. .... .... 0101 . . . 1 .... @3same_rev
135}
136
137VMAX_S_3s        1111 001 0 0 . .. .... .... 0110 . . . 0 .... @3same
138VMAX_U_3s        1111 001 1 0 . .. .... .... 0110 . . . 0 .... @3same
139VMIN_S_3s        1111 001 0 0 . .. .... .... 0110 . . . 1 .... @3same
140VMIN_U_3s        1111 001 1 0 . .. .... .... 0110 . . . 1 .... @3same
141
142VABD_S_3s        1111 001 0 0 . .. .... .... 0111 . . . 0 .... @3same
143VABD_U_3s        1111 001 1 0 . .. .... .... 0111 . . . 0 .... @3same
144
145VABA_S_3s        1111 001 0 0 . .. .... .... 0111 . . . 1 .... @3same
146VABA_U_3s        1111 001 1 0 . .. .... .... 0111 . . . 1 .... @3same
147
148VADD_3s          1111 001 0 0 . .. .... .... 1000 . . . 0 .... @3same
149VSUB_3s          1111 001 1 0 . .. .... .... 1000 . . . 0 .... @3same
150
151VTST_3s          1111 001 0 0 . .. .... .... 1000 . . . 1 .... @3same
152VCEQ_3s          1111 001 1 0 . .. .... .... 1000 . . . 1 .... @3same
153
154VMLA_3s          1111 001 0 0 . .. .... .... 1001 . . . 0 .... @3same
155VMLS_3s          1111 001 1 0 . .. .... .... 1001 . . . 0 .... @3same
156
157VMUL_3s          1111 001 0 0 . .. .... .... 1001 . . . 1 .... @3same
158VMUL_p_3s        1111 001 1 0 . .. .... .... 1001 . . . 1 .... @3same
159
160VPMAX_S_3s       1111 001 0 0 . .. .... .... 1010 . . . 0 .... @3same_q0
161VPMAX_U_3s       1111 001 1 0 . .. .... .... 1010 . . . 0 .... @3same_q0
162
163VPMIN_S_3s       1111 001 0 0 . .. .... .... 1010 . . . 1 .... @3same_q0
164VPMIN_U_3s       1111 001 1 0 . .. .... .... 1010 . . . 1 .... @3same_q0
165
166VQDMULH_3s       1111 001 0 0 . .. .... .... 1011 . . . 0 .... @3same
167VQRDMULH_3s      1111 001 1 0 . .. .... .... 1011 . . . 0 .... @3same
168
169VPADD_3s         1111 001 0 0 . .. .... .... 1011 . . . 1 .... @3same_q0
170
171VQRDMLAH_3s      1111 001 1 0 . .. .... .... 1011 ... 1 .... @3same
172
173@3same_crypto    .... .... .... .... .... .... .... .... \
174                 &3same vm=%vm_dp vn=%vn_dp vd=%vd_dp size=0 q=1
175
176SHA1C_3s         1111 001 0 0 . 00 .... .... 1100 . 1 . 0 .... @3same_crypto
177SHA1P_3s         1111 001 0 0 . 01 .... .... 1100 . 1 . 0 .... @3same_crypto
178SHA1M_3s         1111 001 0 0 . 10 .... .... 1100 . 1 . 0 .... @3same_crypto
179SHA1SU0_3s       1111 001 0 0 . 11 .... .... 1100 . 1 . 0 .... @3same_crypto
180SHA256H_3s       1111 001 1 0 . 00 .... .... 1100 . 1 . 0 .... @3same_crypto
181SHA256H2_3s      1111 001 1 0 . 01 .... .... 1100 . 1 . 0 .... @3same_crypto
182SHA256SU1_3s     1111 001 1 0 . 10 .... .... 1100 . 1 . 0 .... @3same_crypto
183
184VFMA_fp_3s       1111 001 0 0 . 0 . .... .... 1100 ... 1 .... @3same_fp
185VFMS_fp_3s       1111 001 0 0 . 1 . .... .... 1100 ... 1 .... @3same_fp
186
187VQRDMLSH_3s      1111 001 1 0 . .. .... .... 1100 ... 1 .... @3same
188
189VADD_fp_3s       1111 001 0 0 . 0 . .... .... 1101 ... 0 .... @3same_fp
190VSUB_fp_3s       1111 001 0 0 . 1 . .... .... 1101 ... 0 .... @3same_fp
191VPADD_fp_3s      1111 001 1 0 . 0 . .... .... 1101 ... 0 .... @3same_fp_q0
192VABD_fp_3s       1111 001 1 0 . 1 . .... .... 1101 ... 0 .... @3same_fp
193VMLA_fp_3s       1111 001 0 0 . 0 . .... .... 1101 ... 1 .... @3same_fp
194VMLS_fp_3s       1111 001 0 0 . 1 . .... .... 1101 ... 1 .... @3same_fp
195VMUL_fp_3s       1111 001 1 0 . 0 . .... .... 1101 ... 1 .... @3same_fp
196VCEQ_fp_3s       1111 001 0 0 . 0 . .... .... 1110 ... 0 .... @3same_fp
197VCGE_fp_3s       1111 001 1 0 . 0 . .... .... 1110 ... 0 .... @3same_fp
198VACGE_fp_3s      1111 001 1 0 . 0 . .... .... 1110 ... 1 .... @3same_fp
199VCGT_fp_3s       1111 001 1 0 . 1 . .... .... 1110 ... 0 .... @3same_fp
200VACGT_fp_3s      1111 001 1 0 . 1 . .... .... 1110 ... 1 .... @3same_fp
201VMAX_fp_3s       1111 001 0 0 . 0 . .... .... 1111 ... 0 .... @3same_fp
202VMIN_fp_3s       1111 001 0 0 . 1 . .... .... 1111 ... 0 .... @3same_fp
203VPMAX_fp_3s      1111 001 1 0 . 0 . .... .... 1111 ... 0 .... @3same_fp_q0
204VPMIN_fp_3s      1111 001 1 0 . 1 . .... .... 1111 ... 0 .... @3same_fp_q0
205VRECPS_fp_3s     1111 001 0 0 . 0 . .... .... 1111 ... 1 .... @3same_fp
206VRSQRTS_fp_3s    1111 001 0 0 . 1 . .... .... 1111 ... 1 .... @3same_fp
207VMAXNM_fp_3s     1111 001 1 0 . 0 . .... .... 1111 ... 1 .... @3same_fp
208VMINNM_fp_3s     1111 001 1 0 . 1 . .... .... 1111 ... 1 .... @3same_fp
209
210######################################################################
211# 2-reg-and-shift grouping:
212# 1111 001 U 1 D immH:3 immL:3 Vd:4 opc:4 L Q M 1 Vm:4
213######################################################################
214&2reg_shift vm vd q shift size
215
216# Right shifts are encoded as N - shift, where N is the element size in bits.
217%neon_rshift_i6  16:6 !function=rsub_64
218%neon_rshift_i5  16:5 !function=rsub_32
219%neon_rshift_i4  16:4 !function=rsub_16
220%neon_rshift_i3  16:3 !function=rsub_8
221
222@2reg_shr_d      .... ... . . . ......  .... .... 1 q:1 . . .... \
223                 &2reg_shift vm=%vm_dp vd=%vd_dp size=3 shift=%neon_rshift_i6
224@2reg_shr_s      .... ... . . . 1 ..... .... .... 0 q:1 . . .... \
225                 &2reg_shift vm=%vm_dp vd=%vd_dp size=2 shift=%neon_rshift_i5
226@2reg_shr_h      .... ... . . . 01 .... .... .... 0 q:1 . . .... \
227                 &2reg_shift vm=%vm_dp vd=%vd_dp size=1 shift=%neon_rshift_i4
228@2reg_shr_b      .... ... . . . 001 ... .... .... 0 q:1 . . .... \
229                 &2reg_shift vm=%vm_dp vd=%vd_dp size=0 shift=%neon_rshift_i3
230
231@2reg_shl_d      .... ... . . . shift:6      .... .... 1 q:1 . . .... \
232                 &2reg_shift vm=%vm_dp vd=%vd_dp size=3
233@2reg_shl_s      .... ... . . . 1 shift:5    .... .... 0 q:1 . . .... \
234                 &2reg_shift vm=%vm_dp vd=%vd_dp size=2
235@2reg_shl_h      .... ... . . . 01 shift:4   .... .... 0 q:1 . . .... \
236                 &2reg_shift vm=%vm_dp vd=%vd_dp size=1
237@2reg_shl_b      .... ... . . . 001 shift:3  .... .... 0 q:1 . . .... \
238                 &2reg_shift vm=%vm_dp vd=%vd_dp size=0
239
240# Narrowing right shifts: here the Q bit is part of the opcode decode
241@2reg_shrn_d     .... ... . . . 1 ..... .... .... 0 . . . .... \
242                 &2reg_shift vm=%vm_dp vd=%vd_dp size=3 q=0 \
243                 shift=%neon_rshift_i5
244@2reg_shrn_s     .... ... . . . 01 .... .... .... 0 . . . .... \
245                 &2reg_shift vm=%vm_dp vd=%vd_dp size=2 q=0 \
246                 shift=%neon_rshift_i4
247@2reg_shrn_h     .... ... . . . 001 ... .... .... 0 . . . .... \
248                 &2reg_shift vm=%vm_dp vd=%vd_dp size=1 q=0 \
249                 shift=%neon_rshift_i3
250
251# Long left shifts: again Q is part of opcode decode
252@2reg_shll_s     .... ... . . . 1 shift:5    .... .... 0 . . . .... \
253                 &2reg_shift vm=%vm_dp vd=%vd_dp size=2 q=0
254@2reg_shll_h     .... ... . . . 01 shift:4   .... .... 0 . . . .... \
255                 &2reg_shift vm=%vm_dp vd=%vd_dp size=1 q=0
256@2reg_shll_b     .... ... . . . 001 shift:3  .... .... 0 . . . .... \
257                 &2reg_shift vm=%vm_dp vd=%vd_dp size=0 q=0
258
259@2reg_vcvt       .... ... . . . 1 ..... .... .... . q:1 . . .... \
260                 &2reg_shift vm=%vm_dp vd=%vd_dp size=2 shift=%neon_rshift_i5
261@2reg_vcvt_f16   .... ... . . . 11 .... .... .... . q:1 . . .... \
262                 &2reg_shift vm=%vm_dp vd=%vd_dp size=1 shift=%neon_rshift_i4
263
264VSHR_S_2sh       1111 001 0 1 . ...... .... 0000 . . . 1 .... @2reg_shr_d
265VSHR_S_2sh       1111 001 0 1 . ...... .... 0000 . . . 1 .... @2reg_shr_s
266VSHR_S_2sh       1111 001 0 1 . ...... .... 0000 . . . 1 .... @2reg_shr_h
267VSHR_S_2sh       1111 001 0 1 . ...... .... 0000 . . . 1 .... @2reg_shr_b
268
269VSHR_U_2sh       1111 001 1 1 . ...... .... 0000 . . . 1 .... @2reg_shr_d
270VSHR_U_2sh       1111 001 1 1 . ...... .... 0000 . . . 1 .... @2reg_shr_s
271VSHR_U_2sh       1111 001 1 1 . ...... .... 0000 . . . 1 .... @2reg_shr_h
272VSHR_U_2sh       1111 001 1 1 . ...... .... 0000 . . . 1 .... @2reg_shr_b
273
274VSRA_S_2sh       1111 001 0 1 . ...... .... 0001 . . . 1 .... @2reg_shr_d
275VSRA_S_2sh       1111 001 0 1 . ...... .... 0001 . . . 1 .... @2reg_shr_s
276VSRA_S_2sh       1111 001 0 1 . ...... .... 0001 . . . 1 .... @2reg_shr_h
277VSRA_S_2sh       1111 001 0 1 . ...... .... 0001 . . . 1 .... @2reg_shr_b
278
279VSRA_U_2sh       1111 001 1 1 . ...... .... 0001 . . . 1 .... @2reg_shr_d
280VSRA_U_2sh       1111 001 1 1 . ...... .... 0001 . . . 1 .... @2reg_shr_s
281VSRA_U_2sh       1111 001 1 1 . ...... .... 0001 . . . 1 .... @2reg_shr_h
282VSRA_U_2sh       1111 001 1 1 . ...... .... 0001 . . . 1 .... @2reg_shr_b
283
284VRSHR_S_2sh      1111 001 0 1 . ...... .... 0010 . . . 1 .... @2reg_shr_d
285VRSHR_S_2sh      1111 001 0 1 . ...... .... 0010 . . . 1 .... @2reg_shr_s
286VRSHR_S_2sh      1111 001 0 1 . ...... .... 0010 . . . 1 .... @2reg_shr_h
287VRSHR_S_2sh      1111 001 0 1 . ...... .... 0010 . . . 1 .... @2reg_shr_b
288
289VRSHR_U_2sh      1111 001 1 1 . ...... .... 0010 . . . 1 .... @2reg_shr_d
290VRSHR_U_2sh      1111 001 1 1 . ...... .... 0010 . . . 1 .... @2reg_shr_s
291VRSHR_U_2sh      1111 001 1 1 . ...... .... 0010 . . . 1 .... @2reg_shr_h
292VRSHR_U_2sh      1111 001 1 1 . ...... .... 0010 . . . 1 .... @2reg_shr_b
293
294VRSRA_S_2sh      1111 001 0 1 . ...... .... 0011 . . . 1 .... @2reg_shr_d
295VRSRA_S_2sh      1111 001 0 1 . ...... .... 0011 . . . 1 .... @2reg_shr_s
296VRSRA_S_2sh      1111 001 0 1 . ...... .... 0011 . . . 1 .... @2reg_shr_h
297VRSRA_S_2sh      1111 001 0 1 . ...... .... 0011 . . . 1 .... @2reg_shr_b
298
299VRSRA_U_2sh      1111 001 1 1 . ...... .... 0011 . . . 1 .... @2reg_shr_d
300VRSRA_U_2sh      1111 001 1 1 . ...... .... 0011 . . . 1 .... @2reg_shr_s
301VRSRA_U_2sh      1111 001 1 1 . ...... .... 0011 . . . 1 .... @2reg_shr_h
302VRSRA_U_2sh      1111 001 1 1 . ...... .... 0011 . . . 1 .... @2reg_shr_b
303
304VSRI_2sh         1111 001 1 1 . ...... .... 0100 . . . 1 .... @2reg_shr_d
305VSRI_2sh         1111 001 1 1 . ...... .... 0100 . . . 1 .... @2reg_shr_s
306VSRI_2sh         1111 001 1 1 . ...... .... 0100 . . . 1 .... @2reg_shr_h
307VSRI_2sh         1111 001 1 1 . ...... .... 0100 . . . 1 .... @2reg_shr_b
308
309VSHL_2sh         1111 001 0 1 . ...... .... 0101 . . . 1 .... @2reg_shl_d
310VSHL_2sh         1111 001 0 1 . ...... .... 0101 . . . 1 .... @2reg_shl_s
311VSHL_2sh         1111 001 0 1 . ...... .... 0101 . . . 1 .... @2reg_shl_h
312VSHL_2sh         1111 001 0 1 . ...... .... 0101 . . . 1 .... @2reg_shl_b
313
314VSLI_2sh         1111 001 1 1 . ...... .... 0101 . . . 1 .... @2reg_shl_d
315VSLI_2sh         1111 001 1 1 . ...... .... 0101 . . . 1 .... @2reg_shl_s
316VSLI_2sh         1111 001 1 1 . ...... .... 0101 . . . 1 .... @2reg_shl_h
317VSLI_2sh         1111 001 1 1 . ...... .... 0101 . . . 1 .... @2reg_shl_b
318
319VQSHLU_64_2sh    1111 001 1 1 . ...... .... 0110 . . . 1 .... @2reg_shl_d
320VQSHLU_2sh       1111 001 1 1 . ...... .... 0110 . . . 1 .... @2reg_shl_s
321VQSHLU_2sh       1111 001 1 1 . ...... .... 0110 . . . 1 .... @2reg_shl_h
322VQSHLU_2sh       1111 001 1 1 . ...... .... 0110 . . . 1 .... @2reg_shl_b
323
324VQSHL_S_64_2sh   1111 001 0 1 . ...... .... 0111 . . . 1 .... @2reg_shl_d
325VQSHL_S_2sh      1111 001 0 1 . ...... .... 0111 . . . 1 .... @2reg_shl_s
326VQSHL_S_2sh      1111 001 0 1 . ...... .... 0111 . . . 1 .... @2reg_shl_h
327VQSHL_S_2sh      1111 001 0 1 . ...... .... 0111 . . . 1 .... @2reg_shl_b
328
329VQSHL_U_64_2sh   1111 001 1 1 . ...... .... 0111 . . . 1 .... @2reg_shl_d
330VQSHL_U_2sh      1111 001 1 1 . ...... .... 0111 . . . 1 .... @2reg_shl_s
331VQSHL_U_2sh      1111 001 1 1 . ...... .... 0111 . . . 1 .... @2reg_shl_h
332VQSHL_U_2sh      1111 001 1 1 . ...... .... 0111 . . . 1 .... @2reg_shl_b
333
334VSHRN_64_2sh     1111 001 0 1 . ...... .... 1000 . 0 . 1 .... @2reg_shrn_d
335VSHRN_32_2sh     1111 001 0 1 . ...... .... 1000 . 0 . 1 .... @2reg_shrn_s
336VSHRN_16_2sh     1111 001 0 1 . ...... .... 1000 . 0 . 1 .... @2reg_shrn_h
337
338VRSHRN_64_2sh    1111 001 0 1 . ...... .... 1000 . 1 . 1 .... @2reg_shrn_d
339VRSHRN_32_2sh    1111 001 0 1 . ...... .... 1000 . 1 . 1 .... @2reg_shrn_s
340VRSHRN_16_2sh    1111 001 0 1 . ...... .... 1000 . 1 . 1 .... @2reg_shrn_h
341
342VQSHRUN_64_2sh   1111 001 1 1 . ...... .... 1000 . 0 . 1 .... @2reg_shrn_d
343VQSHRUN_32_2sh   1111 001 1 1 . ...... .... 1000 . 0 . 1 .... @2reg_shrn_s
344VQSHRUN_16_2sh   1111 001 1 1 . ...... .... 1000 . 0 . 1 .... @2reg_shrn_h
345
346VQRSHRUN_64_2sh  1111 001 1 1 . ...... .... 1000 . 1 . 1 .... @2reg_shrn_d
347VQRSHRUN_32_2sh  1111 001 1 1 . ...... .... 1000 . 1 . 1 .... @2reg_shrn_s
348VQRSHRUN_16_2sh  1111 001 1 1 . ...... .... 1000 . 1 . 1 .... @2reg_shrn_h
349
350# VQSHRN with signed input
351VQSHRN_S64_2sh   1111 001 0 1 . ...... .... 1001 . 0 . 1 .... @2reg_shrn_d
352VQSHRN_S32_2sh   1111 001 0 1 . ...... .... 1001 . 0 . 1 .... @2reg_shrn_s
353VQSHRN_S16_2sh   1111 001 0 1 . ...... .... 1001 . 0 . 1 .... @2reg_shrn_h
354
355# VQRSHRN with signed input
356VQRSHRN_S64_2sh  1111 001 0 1 . ...... .... 1001 . 1 . 1 .... @2reg_shrn_d
357VQRSHRN_S32_2sh  1111 001 0 1 . ...... .... 1001 . 1 . 1 .... @2reg_shrn_s
358VQRSHRN_S16_2sh  1111 001 0 1 . ...... .... 1001 . 1 . 1 .... @2reg_shrn_h
359
360# VQSHRN with unsigned input
361VQSHRN_U64_2sh   1111 001 1 1 . ...... .... 1001 . 0 . 1 .... @2reg_shrn_d
362VQSHRN_U32_2sh   1111 001 1 1 . ...... .... 1001 . 0 . 1 .... @2reg_shrn_s
363VQSHRN_U16_2sh   1111 001 1 1 . ...... .... 1001 . 0 . 1 .... @2reg_shrn_h
364
365# VQRSHRN with unsigned input
366VQRSHRN_U64_2sh  1111 001 1 1 . ...... .... 1001 . 1 . 1 .... @2reg_shrn_d
367VQRSHRN_U32_2sh  1111 001 1 1 . ...... .... 1001 . 1 . 1 .... @2reg_shrn_s
368VQRSHRN_U16_2sh  1111 001 1 1 . ...... .... 1001 . 1 . 1 .... @2reg_shrn_h
369
370VSHLL_S_2sh      1111 001 0 1 . ...... .... 1010 . 0 . 1 .... @2reg_shll_s
371VSHLL_S_2sh      1111 001 0 1 . ...... .... 1010 . 0 . 1 .... @2reg_shll_h
372VSHLL_S_2sh      1111 001 0 1 . ...... .... 1010 . 0 . 1 .... @2reg_shll_b
373
374VSHLL_U_2sh      1111 001 1 1 . ...... .... 1010 . 0 . 1 .... @2reg_shll_s
375VSHLL_U_2sh      1111 001 1 1 . ...... .... 1010 . 0 . 1 .... @2reg_shll_h
376VSHLL_U_2sh      1111 001 1 1 . ...... .... 1010 . 0 . 1 .... @2reg_shll_b
377
378# VCVT fixed<->float conversions
379VCVT_SH_2sh      1111 001 0 1 . ...... .... 1100 0 . . 1 .... @2reg_vcvt_f16
380VCVT_UH_2sh      1111 001 1 1 . ...... .... 1100 0 . . 1 .... @2reg_vcvt_f16
381VCVT_HS_2sh      1111 001 0 1 . ...... .... 1101 0 . . 1 .... @2reg_vcvt_f16
382VCVT_HU_2sh      1111 001 1 1 . ...... .... 1101 0 . . 1 .... @2reg_vcvt_f16
383
384VCVT_SF_2sh      1111 001 0 1 . ...... .... 1110 0 . . 1 .... @2reg_vcvt
385VCVT_UF_2sh      1111 001 1 1 . ...... .... 1110 0 . . 1 .... @2reg_vcvt
386VCVT_FS_2sh      1111 001 0 1 . ...... .... 1111 0 . . 1 .... @2reg_vcvt
387VCVT_FU_2sh      1111 001 1 1 . ...... .... 1111 0 . . 1 .... @2reg_vcvt
388
389######################################################################
390# 1-reg-and-modified-immediate grouping:
391# 1111 001 i 1 D 000 imm:3 Vd:4 cmode:4 0 Q op 1 Vm:4
392######################################################################
393
394&1reg_imm        vd q imm cmode op
395
396%asimd_imm_value 24:1 16:3 0:4
397
398@1reg_imm        .... ... . . . ... ... .... .... . q:1 . . .... \
399                 &1reg_imm imm=%asimd_imm_value vd=%vd_dp
400
401# The cmode/op bits here decode VORR/VBIC/VMOV/VMNV, but
402# not in a way we can conveniently represent in decodetree without
403# a lot of repetition:
404# VORR: op=0, (cmode & 1) && cmode < 12
405# VBIC: op=1, (cmode & 1) && cmode < 12
406# VMOV: everything else
407# So we have a single decode line and check the cmode/op in the
408# trans function.
409Vimm_1r          1111 001 . 1 . 000 ... .... cmode:4 0 . op:1 1 .... @1reg_imm
410
411######################################################################
412# Within the "two registers, or three registers of different lengths"
413# grouping ([23,4]=0b10), bits [21:20] are either part of the opcode
414# decode: 0b11 for VEXT, two-reg-misc, VTBL, and duplicate-scalar;
415# or they are a size field for the three-reg-different-lengths and
416# two-reg-and-scalar insn groups (where size cannot be 0b11). This
417# is slightly awkward for decodetree: we handle it with this
418# non-exclusive group which contains within it two exclusive groups:
419# one for the size=0b11 patterns, and one for the size-not-0b11
420# patterns. This allows us to check that none of the insns within
421# each subgroup accidentally overlap each other. Note that all the
422# trans functions for the size-not-0b11 patterns must check and
423# return false for size==3.
424######################################################################
425{
426  [
427    ##################################################################
428    # Miscellaneous size=0b11 insns
429    ##################################################################
430    VEXT         1111 001 0 1 . 11 .... .... imm:4 . q:1 . 0 .... \
431                 vm=%vm_dp vn=%vn_dp vd=%vd_dp
432
433    VTBL         1111 001 1 1 . 11 .... .... 10 len:2 . op:1 . 0 .... \
434                 vm=%vm_dp vn=%vn_dp vd=%vd_dp
435
436    VDUP_scalar  1111 001 1 1 . 11 index:3 1 .... 11 000 q:1 . 0 .... \
437                 vm=%vm_dp vd=%vd_dp size=0
438    VDUP_scalar  1111 001 1 1 . 11 index:2 10 .... 11 000 q:1 . 0 .... \
439                 vm=%vm_dp vd=%vd_dp size=1
440    VDUP_scalar  1111 001 1 1 . 11 index:1 100 .... 11 000 q:1 . 0 .... \
441                 vm=%vm_dp vd=%vd_dp size=2
442
443    ##################################################################
444    # 2-reg-misc grouping:
445    # 1111 001 11 D 11 size:2 opc1:2 Vd:4 0 opc2:4 q:1 M 0 Vm:4
446    ##################################################################
447
448    &2misc vd vm q size
449
450    @2misc       .... ... .. . .. size:2 .. .... . .... q:1 . . .... \
451                 &2misc vm=%vm_dp vd=%vd_dp
452    @2misc_q0    .... ... .. . .. size:2 .. .... . .... . . . .... \
453                 &2misc vm=%vm_dp vd=%vd_dp q=0
454    @2misc_q1    .... ... .. . .. size:2 .. .... . .... . . . .... \
455                 &2misc vm=%vm_dp vd=%vd_dp q=1
456
457    VREV64       1111 001 11 . 11 .. 00 .... 0 0000 . . 0 .... @2misc
458    VREV32       1111 001 11 . 11 .. 00 .... 0 0001 . . 0 .... @2misc
459    VREV16       1111 001 11 . 11 .. 00 .... 0 0010 . . 0 .... @2misc
460
461    VPADDL_S     1111 001 11 . 11 .. 00 .... 0 0100 . . 0 .... @2misc
462    VPADDL_U     1111 001 11 . 11 .. 00 .... 0 0101 . . 0 .... @2misc
463
464    AESE         1111 001 11 . 11 .. 00 .... 0 0110 0 . 0 .... @2misc_q1
465    AESD         1111 001 11 . 11 .. 00 .... 0 0110 1 . 0 .... @2misc_q1
466    AESMC        1111 001 11 . 11 .. 00 .... 0 0111 0 . 0 .... @2misc_q1
467    AESIMC       1111 001 11 . 11 .. 00 .... 0 0111 1 . 0 .... @2misc_q1
468
469    VCLS         1111 001 11 . 11 .. 00 .... 0 1000 . . 0 .... @2misc
470    VCLZ         1111 001 11 . 11 .. 00 .... 0 1001 . . 0 .... @2misc
471    VCNT         1111 001 11 . 11 .. 00 .... 0 1010 . . 0 .... @2misc
472
473    VMVN         1111 001 11 . 11 .. 00 .... 0 1011 . . 0 .... @2misc
474
475    VPADAL_S     1111 001 11 . 11 .. 00 .... 0 1100 . . 0 .... @2misc
476    VPADAL_U     1111 001 11 . 11 .. 00 .... 0 1101 . . 0 .... @2misc
477
478    VQABS        1111 001 11 . 11 .. 00 .... 0 1110 . . 0 .... @2misc
479    VQNEG        1111 001 11 . 11 .. 00 .... 0 1111 . . 0 .... @2misc
480
481    VCGT0        1111 001 11 . 11 .. 01 .... 0 0000 . . 0 .... @2misc
482    VCGE0        1111 001 11 . 11 .. 01 .... 0 0001 . . 0 .... @2misc
483    VCEQ0        1111 001 11 . 11 .. 01 .... 0 0010 . . 0 .... @2misc
484    VCLE0        1111 001 11 . 11 .. 01 .... 0 0011 . . 0 .... @2misc
485    VCLT0        1111 001 11 . 11 .. 01 .... 0 0100 . . 0 .... @2misc
486
487    SHA1H        1111 001 11 . 11 .. 01 .... 0 0101 1 . 0 .... @2misc_q1
488
489    VABS         1111 001 11 . 11 .. 01 .... 0 0110 . . 0 .... @2misc
490    VNEG         1111 001 11 . 11 .. 01 .... 0 0111 . . 0 .... @2misc
491
492    VCGT0_F      1111 001 11 . 11 .. 01 .... 0 1000 . . 0 .... @2misc
493    VCGE0_F      1111 001 11 . 11 .. 01 .... 0 1001 . . 0 .... @2misc
494    VCEQ0_F      1111 001 11 . 11 .. 01 .... 0 1010 . . 0 .... @2misc
495    VCLE0_F      1111 001 11 . 11 .. 01 .... 0 1011 . . 0 .... @2misc
496    VCLT0_F      1111 001 11 . 11 .. 01 .... 0 1100 . . 0 .... @2misc
497
498    VABS_F       1111 001 11 . 11 .. 01 .... 0 1110 . . 0 .... @2misc
499    VNEG_F       1111 001 11 . 11 .. 01 .... 0 1111 . . 0 .... @2misc
500
501    VSWP         1111 001 11 . 11 .. 10 .... 0 0000 . . 0 .... @2misc
502    VTRN         1111 001 11 . 11 .. 10 .... 0 0001 . . 0 .... @2misc
503    VUZP         1111 001 11 . 11 .. 10 .... 0 0010 . . 0 .... @2misc
504    VZIP         1111 001 11 . 11 .. 10 .... 0 0011 . . 0 .... @2misc
505
506    VMOVN        1111 001 11 . 11 .. 10 .... 0 0100 0 . 0 .... @2misc_q0
507    # VQMOVUN: unsigned result (source is always signed)
508    VQMOVUN      1111 001 11 . 11 .. 10 .... 0 0100 1 . 0 .... @2misc_q0
509    # VQMOVN: signed result, source may be signed (_S) or unsigned (_U)
510    VQMOVN_S     1111 001 11 . 11 .. 10 .... 0 0101 0 . 0 .... @2misc_q0
511    VQMOVN_U     1111 001 11 . 11 .. 10 .... 0 0101 1 . 0 .... @2misc_q0
512
513    VSHLL        1111 001 11 . 11 .. 10 .... 0 0110 0 . 0 .... @2misc_q0
514
515    SHA1SU1      1111 001 11 . 11 .. 10 .... 0 0111 0 . 0 .... @2misc_q1
516    SHA256SU0    1111 001 11 . 11 .. 10 .... 0 0111 1 . 0 .... @2misc_q1
517
518    VRINTN       1111 001 11 . 11 .. 10 .... 0 1000 . . 0 .... @2misc
519    VRINTX       1111 001 11 . 11 .. 10 .... 0 1001 . . 0 .... @2misc
520    VRINTA       1111 001 11 . 11 .. 10 .... 0 1010 . . 0 .... @2misc
521    VRINTZ       1111 001 11 . 11 .. 10 .... 0 1011 . . 0 .... @2misc
522
523    VCVT_F16_F32 1111 001 11 . 11 .. 10 .... 0 1100 0 . 0 .... @2misc_q0
524    VCVT_B16_F32 1111 001 11 . 11 .. 10 .... 0 1100 1 . 0 .... @2misc_q0
525
526    VRINTM       1111 001 11 . 11 .. 10 .... 0 1101 . . 0 .... @2misc
527
528    VCVT_F32_F16 1111 001 11 . 11 .. 10 .... 0 1110 0 . 0 .... @2misc_q0
529
530    VRINTP       1111 001 11 . 11 .. 10 .... 0 1111 . . 0 .... @2misc
531
532    VCVTAS       1111 001 11 . 11 .. 11 .... 0 0000 . . 0 .... @2misc
533    VCVTAU       1111 001 11 . 11 .. 11 .... 0 0001 . . 0 .... @2misc
534    VCVTNS       1111 001 11 . 11 .. 11 .... 0 0010 . . 0 .... @2misc
535    VCVTNU       1111 001 11 . 11 .. 11 .... 0 0011 . . 0 .... @2misc
536    VCVTPS       1111 001 11 . 11 .. 11 .... 0 0100 . . 0 .... @2misc
537    VCVTPU       1111 001 11 . 11 .. 11 .... 0 0101 . . 0 .... @2misc
538    VCVTMS       1111 001 11 . 11 .. 11 .... 0 0110 . . 0 .... @2misc
539    VCVTMU       1111 001 11 . 11 .. 11 .... 0 0111 . . 0 .... @2misc
540
541    VRECPE       1111 001 11 . 11 .. 11 .... 0 1000 . . 0 .... @2misc
542    VRSQRTE      1111 001 11 . 11 .. 11 .... 0 1001 . . 0 .... @2misc
543    VRECPE_F     1111 001 11 . 11 .. 11 .... 0 1010 . . 0 .... @2misc
544    VRSQRTE_F    1111 001 11 . 11 .. 11 .... 0 1011 . . 0 .... @2misc
545    VCVT_FS      1111 001 11 . 11 .. 11 .... 0 1100 . . 0 .... @2misc
546    VCVT_FU      1111 001 11 . 11 .. 11 .... 0 1101 . . 0 .... @2misc
547    VCVT_SF      1111 001 11 . 11 .. 11 .... 0 1110 . . 0 .... @2misc
548    VCVT_UF      1111 001 11 . 11 .. 11 .... 0 1111 . . 0 .... @2misc
549  ]
550
551  # Subgroup for size != 0b11
552  [
553    ##################################################################
554    # 3-reg-different-length grouping:
555    # 1111 001 U 1 D sz!=11 Vn:4 Vd:4 opc:4 N 0 M 0 Vm:4
556    ##################################################################
557
558    &3diff vm vn vd size
559
560    @3diff       .... ... . . . size:2 .... .... .... . . . . .... \
561                 &3diff vm=%vm_dp vn=%vn_dp vd=%vd_dp
562
563    VADDL_S_3d   1111 001 0 1 . .. .... .... 0000 . 0 . 0 .... @3diff
564    VADDL_U_3d   1111 001 1 1 . .. .... .... 0000 . 0 . 0 .... @3diff
565
566    VADDW_S_3d   1111 001 0 1 . .. .... .... 0001 . 0 . 0 .... @3diff
567    VADDW_U_3d   1111 001 1 1 . .. .... .... 0001 . 0 . 0 .... @3diff
568
569    VSUBL_S_3d   1111 001 0 1 . .. .... .... 0010 . 0 . 0 .... @3diff
570    VSUBL_U_3d   1111 001 1 1 . .. .... .... 0010 . 0 . 0 .... @3diff
571
572    VSUBW_S_3d   1111 001 0 1 . .. .... .... 0011 . 0 . 0 .... @3diff
573    VSUBW_U_3d   1111 001 1 1 . .. .... .... 0011 . 0 . 0 .... @3diff
574
575    VADDHN_3d    1111 001 0 1 . .. .... .... 0100 . 0 . 0 .... @3diff
576    VRADDHN_3d   1111 001 1 1 . .. .... .... 0100 . 0 . 0 .... @3diff
577
578    VABAL_S_3d   1111 001 0 1 . .. .... .... 0101 . 0 . 0 .... @3diff
579    VABAL_U_3d   1111 001 1 1 . .. .... .... 0101 . 0 . 0 .... @3diff
580
581    VSUBHN_3d    1111 001 0 1 . .. .... .... 0110 . 0 . 0 .... @3diff
582    VRSUBHN_3d   1111 001 1 1 . .. .... .... 0110 . 0 . 0 .... @3diff
583
584    VABDL_S_3d   1111 001 0 1 . .. .... .... 0111 . 0 . 0 .... @3diff
585    VABDL_U_3d   1111 001 1 1 . .. .... .... 0111 . 0 . 0 .... @3diff
586
587    VMLAL_S_3d   1111 001 0 1 . .. .... .... 1000 . 0 . 0 .... @3diff
588    VMLAL_U_3d   1111 001 1 1 . .. .... .... 1000 . 0 . 0 .... @3diff
589
590    VQDMLAL_3d   1111 001 0 1 . .. .... .... 1001 . 0 . 0 .... @3diff
591
592    VMLSL_S_3d   1111 001 0 1 . .. .... .... 1010 . 0 . 0 .... @3diff
593    VMLSL_U_3d   1111 001 1 1 . .. .... .... 1010 . 0 . 0 .... @3diff
594
595    VQDMLSL_3d   1111 001 0 1 . .. .... .... 1011 . 0 . 0 .... @3diff
596
597    VMULL_S_3d   1111 001 0 1 . .. .... .... 1100 . 0 . 0 .... @3diff
598    VMULL_U_3d   1111 001 1 1 . .. .... .... 1100 . 0 . 0 .... @3diff
599
600    VQDMULL_3d   1111 001 0 1 . .. .... .... 1101 . 0 . 0 .... @3diff
601
602    VMULL_P_3d   1111 001 0 1 . .. .... .... 1110 . 0 . 0 .... @3diff
603
604    ##################################################################
605    # 2-regs-plus-scalar grouping:
606    # 1111 001 Q 1 D sz!=11 Vn:4 Vd:4 opc:4 N 1 M 0 Vm:4
607    ##################################################################
608    &2scalar vm vn vd size q
609
610    @2scalar     .... ... q:1 . . size:2 .... .... .... . . . . .... \
611                 &2scalar vm=%vm_dp vn=%vn_dp vd=%vd_dp
612    # For the 'long' ops the Q bit is part of insn decode
613    @2scalar_q0  .... ... . . . size:2 .... .... .... . . . . .... \
614                 &2scalar vm=%vm_dp vn=%vn_dp vd=%vd_dp q=0
615
616    VMLA_2sc     1111 001 . 1 . .. .... .... 0000 . 1 . 0 .... @2scalar
617    VMLA_F_2sc   1111 001 . 1 . .. .... .... 0001 . 1 . 0 .... @2scalar
618
619    VMLAL_S_2sc  1111 001 0 1 . .. .... .... 0010 . 1 . 0 .... @2scalar_q0
620    VMLAL_U_2sc  1111 001 1 1 . .. .... .... 0010 . 1 . 0 .... @2scalar_q0
621
622    VQDMLAL_2sc  1111 001 0 1 . .. .... .... 0011 . 1 . 0 .... @2scalar_q0
623
624    VMLS_2sc     1111 001 . 1 . .. .... .... 0100 . 1 . 0 .... @2scalar
625    VMLS_F_2sc   1111 001 . 1 . .. .... .... 0101 . 1 . 0 .... @2scalar
626
627    VMLSL_S_2sc  1111 001 0 1 . .. .... .... 0110 . 1 . 0 .... @2scalar_q0
628    VMLSL_U_2sc  1111 001 1 1 . .. .... .... 0110 . 1 . 0 .... @2scalar_q0
629
630    VQDMLSL_2sc  1111 001 0 1 . .. .... .... 0111 . 1 . 0 .... @2scalar_q0
631
632    VMUL_2sc     1111 001 . 1 . .. .... .... 1000 . 1 . 0 .... @2scalar
633    VMUL_F_2sc   1111 001 . 1 . .. .... .... 1001 . 1 . 0 .... @2scalar
634
635    VMULL_S_2sc  1111 001 0 1 . .. .... .... 1010 . 1 . 0 .... @2scalar_q0
636    VMULL_U_2sc  1111 001 1 1 . .. .... .... 1010 . 1 . 0 .... @2scalar_q0
637
638    VQDMULL_2sc  1111 001 0 1 . .. .... .... 1011 . 1 . 0 .... @2scalar_q0
639
640    VQDMULH_2sc  1111 001 . 1 . .. .... .... 1100 . 1 . 0 .... @2scalar
641    VQRDMULH_2sc 1111 001 . 1 . .. .... .... 1101 . 1 . 0 .... @2scalar
642
643    VQRDMLAH_2sc 1111 001 . 1 . .. .... .... 1110 . 1 . 0 .... @2scalar
644    VQRDMLSH_2sc 1111 001 . 1 . .. .... .... 1111 . 1 . 0 .... @2scalar
645  ]
646}
647