]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/config/aarch64/iterators.md
Fix return type of heterogeneous find for sets
[thirdparty/gcc.git] / gcc / config / aarch64 / iterators.md
CommitLineData
43e9d192 1;; Machine description for AArch64 architecture.
5624e564 2;; Copyright (C) 2009-2015 Free Software Foundation, Inc.
43e9d192
IB
3;; Contributed by ARM Ltd.
4;;
5;; This file is part of GCC.
6;;
7;; GCC is free software; you can redistribute it and/or modify it
8;; under the terms of the GNU General Public License as published by
9;; the Free Software Foundation; either version 3, or (at your option)
10;; any later version.
11;;
12;; GCC is distributed in the hope that it will be useful, but
13;; WITHOUT ANY WARRANTY; without even the implied warranty of
14;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15;; General Public License for more details.
16;;
17;; You should have received a copy of the GNU General Public License
18;; along with GCC; see the file COPYING3. If not see
19;; <http://www.gnu.org/licenses/>.
20
21;; -------------------------------------------------------------------
22;; Mode Iterators
23;; -------------------------------------------------------------------
24
25
26;; Iterator for General Purpose Integer registers (32- and 64-bit modes)
27(define_mode_iterator GPI [SI DI])
28
29;; Iterator for QI and HI modes
30(define_mode_iterator SHORT [QI HI])
31
32;; Iterator for all integer modes (up to 64-bit)
33(define_mode_iterator ALLI [QI HI SI DI])
34
43e9d192
IB
35;; Iterator for all integer modes that can be extended (up to 64-bit)
36(define_mode_iterator ALLX [QI HI SI])
37
38;; Iterator for General Purpose Floating-point registers (32- and 64-bit modes)
39(define_mode_iterator GPF [SF DF])
40
09fcd8e1
RR
41;; Iterator for all scalar floating point modes (HF, SF, DF and TF)
42(define_mode_iterator GPF_TF_F16 [HF SF DF TF])
c2ec330c 43
922f9c25
AL
44;; Double vector modes.
45(define_mode_iterator VDF [V2SF V4HF])
46
b4f50fd4
RR
47;; Iterator for all scalar floating point modes (SF, DF and TF)
48(define_mode_iterator GPF_TF [SF DF TF])
49
43e9d192
IB
50;; Integer vector modes.
51(define_mode_iterator VDQ_I [V8QI V16QI V4HI V8HI V2SI V4SI V2DI])
52
53;; vector and scalar, 64 & 128-bit container, all integer modes
54(define_mode_iterator VSDQ_I [V8QI V16QI V4HI V8HI V2SI V4SI V2DI QI HI SI DI])
55
56;; vector and scalar, 64 & 128-bit container: all vector integer modes;
57;; 64-bit scalar integer mode
58(define_mode_iterator VSDQ_I_DI [V8QI V16QI V4HI V8HI V2SI V4SI V2DI DI])
59
60;; Double vector modes.
71a11456 61(define_mode_iterator VD [V8QI V4HI V4HF V2SI V2SF])
43e9d192
IB
62
63;; vector, 64-bit container, all integer modes
64(define_mode_iterator VD_BHSI [V8QI V4HI V2SI])
65
66;; 128 and 64-bit container; 8, 16, 32-bit vector integer modes
67(define_mode_iterator VDQ_BHSI [V8QI V16QI V4HI V8HI V2SI V4SI])
68
69;; Quad vector modes.
71a11456 70(define_mode_iterator VQ [V16QI V8HI V4SI V2DI V8HF V4SF V2DF])
43e9d192 71
51437269 72;; VQ without 2 element modes.
71a11456 73(define_mode_iterator VQ_NO2E [V16QI V8HI V4SI V8HF V4SF])
51437269
GW
74
75;; Quad vector with only 2 element modes.
76(define_mode_iterator VQ_2E [V2DI V2DF])
77
28514dda
YZ
78;; This mode iterator allows :P to be used for patterns that operate on
79;; addresses in different modes. In LP64, only DI will match, while in
80;; ILP32, either can match.
81(define_mode_iterator P [(SI "ptr_mode == SImode || Pmode == SImode")
82 (DI "ptr_mode == DImode || Pmode == DImode")])
83
43e9d192
IB
84;; This mode iterator allows :PTR to be used for patterns that operate on
85;; pointer-sized quantities. Exactly one of the two alternatives will match.
28514dda 86(define_mode_iterator PTR [(SI "ptr_mode == SImode") (DI "ptr_mode == DImode")])
43e9d192 87
862abc04
AL
88;; Vector Float modes suitable for moving, loading and storing.
89(define_mode_iterator VDQF_F16 [V4HF V8HF V2SF V4SF V2DF])
90
91;; Vector Float modes, barring HF modes.
43e9d192
IB
92(define_mode_iterator VDQF [V2SF V4SF V2DF])
93
f421c516
JG
94;; Vector Float modes, and DF.
95(define_mode_iterator VDQF_DF [V2SF V4SF V2DF DF])
96
828e70c1
JG
97;; Vector single Float modes.
98(define_mode_iterator VDQSF [V2SF V4SF])
99
03873eb9
AL
100;; Quad vector Float modes with half/single elements.
101(define_mode_iterator VQ_HSF [V8HF V4SF])
102
fc21784d
JG
103;; Modes suitable to use as the return type of a vcond expression.
104(define_mode_iterator VDQF_COND [V2SF V2SI V4SF V4SI V2DF V2DI])
105
889b9412
JG
106;; All Float modes.
107(define_mode_iterator VALLF [V2SF V4SF V2DF SF DF])
108
43e9d192
IB
109;; Vector Float modes with 2 elements.
110(define_mode_iterator V2F [V2SF V2DF])
111
71a11456 112;; All vector modes on which we support any arithmetic operations.
43e9d192
IB
113(define_mode_iterator VALL [V8QI V16QI V4HI V8HI V2SI V4SI V2DI V2SF V4SF V2DF])
114
71a11456
AL
115;; All vector modes suitable for moving, loading, and storing.
116(define_mode_iterator VALL_F16 [V8QI V16QI V4HI V8HI V2SI V4SI V2DI
117 V4HF V8HF V2SF V4SF V2DF])
118
119;; All vector modes barring HF modes, plus DI.
a50344cb
TB
120(define_mode_iterator VALLDI [V8QI V16QI V4HI V8HI V2SI V4SI V2DI V2SF V4SF V2DF DI])
121
71a11456
AL
122;; All vector modes and DI.
123(define_mode_iterator VALLDI_F16 [V8QI V16QI V4HI V8HI V2SI V4SI V2DI
124 V4HF V8HF V2SF V4SF V2DF DI])
125
7c369485 126;; All vector modes, plus DI and DF.
46e778c4 127(define_mode_iterator VALLDIF [V8QI V16QI V4HI V8HI V2SI V4SI
7c369485 128 V2DI V4HF V8HF V2SF V4SF V2DF DI DF])
46e778c4 129
43e9d192 130;; Vector modes for Integer reduction across lanes.
92835317
TB
131(define_mode_iterator VDQV [V8QI V16QI V4HI V8HI V4SI V2DI])
132
133;; Vector modes(except V2DI) for Integer reduction across lanes.
134(define_mode_iterator VDQV_S [V8QI V16QI V4HI V8HI V4SI])
43e9d192
IB
135
136;; All double integer narrow-able modes.
137(define_mode_iterator VDN [V4HI V2SI DI])
138
139;; All quad integer narrow-able modes.
140(define_mode_iterator VQN [V8HI V4SI V2DI])
141
43e9d192
IB
142;; Vector and scalar 128-bit container: narrowable 16, 32, 64-bit integer modes
143(define_mode_iterator VSQN_HSDI [V8HI V4SI V2DI HI SI DI])
144
145;; All quad integer widen-able modes.
146(define_mode_iterator VQW [V16QI V8HI V4SI])
147
148;; Double vector modes for combines.
7c369485 149(define_mode_iterator VDC [V8QI V4HI V4HF V2SI V2SF DI DF])
43e9d192 150
43e9d192
IB
151;; Vector modes except double int.
152(define_mode_iterator VDQIF [V8QI V16QI V4HI V8HI V2SI V4SI V2SF V4SF V2DF])
153
58a3bd25
FY
154;; Vector modes for S type.
155(define_mode_iterator VDQ_SI [V2SI V4SI])
156
66adb8eb
JG
157;; Vector modes for Q and H types.
158(define_mode_iterator VDQQH [V8QI V16QI V4HI V8HI])
159
43e9d192
IB
160;; Vector modes for H and S types.
161(define_mode_iterator VDQHS [V4HI V8HI V2SI V4SI])
162
c7f28cd5
KT
163;; Vector modes for H, S and D types.
164(define_mode_iterator VDQHSD [V4HI V8HI V2SI V4SI V2DI])
165
43e9d192
IB
166;; Vector and scalar integer modes for H and S
167(define_mode_iterator VSDQ_HSI [V4HI V8HI V2SI V4SI HI SI])
168
169;; Vector and scalar 64-bit container: 16, 32-bit integer modes
170(define_mode_iterator VSD_HSI [V4HI V2SI HI SI])
171
172;; Vector 64-bit container: 16, 32-bit integer modes
173(define_mode_iterator VD_HSI [V4HI V2SI])
174
175;; Scalar 64-bit container: 16, 32-bit integer modes
176(define_mode_iterator SD_HSI [HI SI])
177
178;; Vector 64-bit container: 16, 32-bit integer modes
179(define_mode_iterator VQ_HSI [V8HI V4SI])
180
181;; All byte modes.
182(define_mode_iterator VB [V8QI V16QI])
183
5e32e83b
JW
184;; 2 and 4 lane SI modes.
185(define_mode_iterator VS [V2SI V4SI])
186
43e9d192
IB
187(define_mode_iterator TX [TI TF])
188
189;; Opaque structure modes.
190(define_mode_iterator VSTRUCT [OI CI XI])
191
192;; Double scalar modes
193(define_mode_iterator DX [DI DF])
194
779aea46
JG
195;; Modes available for <f>mul lane operations.
196(define_mode_iterator VMUL [V4HI V8HI V2SI V4SI V2SF V4SF V2DF])
197
198;; Modes available for <f>mul lane operations changing lane count.
199(define_mode_iterator VMUL_CHANGE_NLANES [V4HI V8HI V2SI V4SI V2SF V4SF])
200
43e9d192
IB
201;; ------------------------------------------------------------------
202;; Unspec enumerations for Advance SIMD. These could well go into
203;; aarch64.md but for their use in int_iterators here.
204;; ------------------------------------------------------------------
205
206(define_c_enum "unspec"
207 [
208 UNSPEC_ASHIFT_SIGNED ; Used in aarch-simd.md.
209 UNSPEC_ASHIFT_UNSIGNED ; Used in aarch64-simd.md.
285398d2 210 UNSPEC_ABS ; Used in aarch64-simd.md.
998eaf97
JG
211 UNSPEC_FMAX ; Used in aarch64-simd.md.
212 UNSPEC_FMAXNMV ; Used in aarch64-simd.md.
43e9d192 213 UNSPEC_FMAXV ; Used in aarch64-simd.md.
998eaf97
JG
214 UNSPEC_FMIN ; Used in aarch64-simd.md.
215 UNSPEC_FMINNMV ; Used in aarch64-simd.md.
43e9d192
IB
216 UNSPEC_FMINV ; Used in aarch64-simd.md.
217 UNSPEC_FADDV ; Used in aarch64-simd.md.
f5156c3e 218 UNSPEC_ADDV ; Used in aarch64-simd.md.
43e9d192
IB
219 UNSPEC_SMAXV ; Used in aarch64-simd.md.
220 UNSPEC_SMINV ; Used in aarch64-simd.md.
221 UNSPEC_UMAXV ; Used in aarch64-simd.md.
222 UNSPEC_UMINV ; Used in aarch64-simd.md.
223 UNSPEC_SHADD ; Used in aarch64-simd.md.
224 UNSPEC_UHADD ; Used in aarch64-simd.md.
225 UNSPEC_SRHADD ; Used in aarch64-simd.md.
226 UNSPEC_URHADD ; Used in aarch64-simd.md.
227 UNSPEC_SHSUB ; Used in aarch64-simd.md.
228 UNSPEC_UHSUB ; Used in aarch64-simd.md.
229 UNSPEC_SRHSUB ; Used in aarch64-simd.md.
230 UNSPEC_URHSUB ; Used in aarch64-simd.md.
231 UNSPEC_ADDHN ; Used in aarch64-simd.md.
232 UNSPEC_RADDHN ; Used in aarch64-simd.md.
233 UNSPEC_SUBHN ; Used in aarch64-simd.md.
234 UNSPEC_RSUBHN ; Used in aarch64-simd.md.
235 UNSPEC_ADDHN2 ; Used in aarch64-simd.md.
236 UNSPEC_RADDHN2 ; Used in aarch64-simd.md.
237 UNSPEC_SUBHN2 ; Used in aarch64-simd.md.
238 UNSPEC_RSUBHN2 ; Used in aarch64-simd.md.
239 UNSPEC_SQDMULH ; Used in aarch64-simd.md.
240 UNSPEC_SQRDMULH ; Used in aarch64-simd.md.
241 UNSPEC_PMUL ; Used in aarch64-simd.md.
496ea87d 242 UNSPEC_FMULX ; Used in aarch64-simd.md.
43e9d192
IB
243 UNSPEC_USQADD ; Used in aarch64-simd.md.
244 UNSPEC_SUQADD ; Used in aarch64-simd.md.
245 UNSPEC_SQXTUN ; Used in aarch64-simd.md.
246 UNSPEC_SQXTN ; Used in aarch64-simd.md.
247 UNSPEC_UQXTN ; Used in aarch64-simd.md.
248 UNSPEC_SSRA ; Used in aarch64-simd.md.
249 UNSPEC_USRA ; Used in aarch64-simd.md.
250 UNSPEC_SRSRA ; Used in aarch64-simd.md.
251 UNSPEC_URSRA ; Used in aarch64-simd.md.
252 UNSPEC_SRSHR ; Used in aarch64-simd.md.
253 UNSPEC_URSHR ; Used in aarch64-simd.md.
254 UNSPEC_SQSHLU ; Used in aarch64-simd.md.
255 UNSPEC_SQSHL ; Used in aarch64-simd.md.
256 UNSPEC_UQSHL ; Used in aarch64-simd.md.
257 UNSPEC_SQSHRUN ; Used in aarch64-simd.md.
258 UNSPEC_SQRSHRUN ; Used in aarch64-simd.md.
259 UNSPEC_SQSHRN ; Used in aarch64-simd.md.
260 UNSPEC_UQSHRN ; Used in aarch64-simd.md.
261 UNSPEC_SQRSHRN ; Used in aarch64-simd.md.
262 UNSPEC_UQRSHRN ; Used in aarch64-simd.md.
263 UNSPEC_SSHL ; Used in aarch64-simd.md.
264 UNSPEC_USHL ; Used in aarch64-simd.md.
265 UNSPEC_SRSHL ; Used in aarch64-simd.md.
266 UNSPEC_URSHL ; Used in aarch64-simd.md.
267 UNSPEC_SQRSHL ; Used in aarch64-simd.md.
268 UNSPEC_UQRSHL ; Used in aarch64-simd.md.
43e9d192
IB
269 UNSPEC_SSLI ; Used in aarch64-simd.md.
270 UNSPEC_USLI ; Used in aarch64-simd.md.
271 UNSPEC_SSRI ; Used in aarch64-simd.md.
272 UNSPEC_USRI ; Used in aarch64-simd.md.
273 UNSPEC_SSHLL ; Used in aarch64-simd.md.
274 UNSPEC_USHLL ; Used in aarch64-simd.md.
275 UNSPEC_ADDP ; Used in aarch64-simd.md.
88b08073 276 UNSPEC_TBL ; Used in vector permute patterns.
9371aecc 277 UNSPEC_TBX ; Used in vector permute patterns.
88b08073 278 UNSPEC_CONCAT ; Used in vector permute patterns.
cc4d934f
JG
279 UNSPEC_ZIP1 ; Used in vector permute patterns.
280 UNSPEC_ZIP2 ; Used in vector permute patterns.
281 UNSPEC_UZP1 ; Used in vector permute patterns.
282 UNSPEC_UZP2 ; Used in vector permute patterns.
283 UNSPEC_TRN1 ; Used in vector permute patterns.
284 UNSPEC_TRN2 ; Used in vector permute patterns.
ae0533da 285 UNSPEC_EXT ; Used in aarch64-simd.md.
923fcec3
AL
286 UNSPEC_REV64 ; Used in vector reverse patterns (permute).
287 UNSPEC_REV32 ; Used in vector reverse patterns (permute).
288 UNSPEC_REV16 ; Used in vector reverse patterns (permute).
5a7a4e80
TB
289 UNSPEC_AESE ; Used in aarch64-simd.md.
290 UNSPEC_AESD ; Used in aarch64-simd.md.
291 UNSPEC_AESMC ; Used in aarch64-simd.md.
292 UNSPEC_AESIMC ; Used in aarch64-simd.md.
30442682
TB
293 UNSPEC_SHA1C ; Used in aarch64-simd.md.
294 UNSPEC_SHA1M ; Used in aarch64-simd.md.
295 UNSPEC_SHA1P ; Used in aarch64-simd.md.
296 UNSPEC_SHA1H ; Used in aarch64-simd.md.
297 UNSPEC_SHA1SU0 ; Used in aarch64-simd.md.
298 UNSPEC_SHA1SU1 ; Used in aarch64-simd.md.
b9cb0a44
TB
299 UNSPEC_SHA256H ; Used in aarch64-simd.md.
300 UNSPEC_SHA256H2 ; Used in aarch64-simd.md.
301 UNSPEC_SHA256SU0 ; Used in aarch64-simd.md.
302 UNSPEC_SHA256SU1 ; Used in aarch64-simd.md.
7baa225d
TB
303 UNSPEC_PMULL ; Used in aarch64-simd.md.
304 UNSPEC_PMULL2 ; Used in aarch64-simd.md.
668046d1 305 UNSPEC_REV_REGLIST ; Used in aarch64-simd.md.
9c004c58 306 UNSPEC_VEC_SHR ; Used in aarch64-simd.md.
43e9d192
IB
307])
308
309;; -------------------------------------------------------------------
310;; Mode attributes
311;; -------------------------------------------------------------------
312
313;; In GPI templates, a string like "%<w>0" will expand to "%w0" in the
314;; 32-bit version and "%x0" in the 64-bit version.
315(define_mode_attr w [(QI "w") (HI "w") (SI "w") (DI "x") (SF "s") (DF "d")])
316
0d35c5c2
VP
317;; For inequal width int to float conversion
318(define_mode_attr w1 [(SF "w") (DF "x")])
319(define_mode_attr w2 [(SF "x") (DF "w")])
320
051d0e2f
SN
321;; For constraints used in scalar immediate vector moves
322(define_mode_attr hq [(HI "h") (QI "q")])
323
43e9d192
IB
324;; For scalar usage of vector/FP registers
325(define_mode_attr v [(QI "b") (HI "h") (SI "s") (DI "d")
889b9412 326 (SF "s") (DF "d")
43e9d192
IB
327 (V8QI "") (V16QI "")
328 (V4HI "") (V8HI "")
329 (V2SI "") (V4SI "")
330 (V2DI "") (V2SF "")
331 (V4SF "") (V2DF "")])
332
333;; For scalar usage of vector/FP registers, narrowing
334(define_mode_attr vn2 [(QI "") (HI "b") (SI "h") (DI "s")
335 (V8QI "") (V16QI "")
336 (V4HI "") (V8HI "")
337 (V2SI "") (V4SI "")
338 (V2DI "") (V2SF "")
339 (V4SF "") (V2DF "")])
340
341;; For scalar usage of vector/FP registers, widening
342(define_mode_attr vw2 [(DI "") (QI "h") (HI "s") (SI "d")
343 (V8QI "") (V16QI "")
344 (V4HI "") (V8HI "")
345 (V2SI "") (V4SI "")
346 (V2DI "") (V2SF "")
347 (V4SF "") (V2DF "")])
348
89fdc743
IB
349;; Register Type Name and Vector Arrangement Specifier for when
350;; we are doing scalar for DI and SIMD for SI (ignoring all but
351;; lane 0).
352(define_mode_attr rtn [(DI "d") (SI "")])
353(define_mode_attr vas [(DI "") (SI ".2s")])
354
43e9d192
IB
355;; Map a floating point mode to the appropriate register name prefix
356(define_mode_attr s [(SF "s") (DF "d")])
357
358;; Give the length suffix letter for a sign- or zero-extension.
359(define_mode_attr size [(QI "b") (HI "h") (SI "w")])
360
361;; Give the number of bits in the mode
362(define_mode_attr sizen [(QI "8") (HI "16") (SI "32") (DI "64")])
363
364;; Give the ordinal of the MSB in the mode
365(define_mode_attr sizem1 [(QI "#7") (HI "#15") (SI "#31") (DI "#63")])
366
367;; Attribute to describe constants acceptable in logical operations
368(define_mode_attr lconst [(SI "K") (DI "L")])
369
370;; Map a mode to a specific constraint character.
371(define_mode_attr cmode [(QI "q") (HI "h") (SI "s") (DI "d")])
372
373(define_mode_attr Vtype [(V8QI "8b") (V16QI "16b")
374 (V4HI "4h") (V8HI "8h")
375 (V2SI "2s") (V4SI "4s")
376 (DI "1d") (DF "1d")
377 (V2DI "2d") (V2SF "2s")
7c369485
AL
378 (V4SF "4s") (V2DF "2d")
379 (V4HF "4h") (V8HF "8h")])
43e9d192 380
c7f28cd5
KT
381(define_mode_attr Vrevsuff [(V4HI "16") (V8HI "16") (V2SI "32")
382 (V4SI "32") (V2DI "64")])
383
43e9d192
IB
384(define_mode_attr Vmtype [(V8QI ".8b") (V16QI ".16b")
385 (V4HI ".4h") (V8HI ".8h")
386 (V2SI ".2s") (V4SI ".4s")
71a11456
AL
387 (V2DI ".2d") (V4HF ".4h")
388 (V8HF ".8h") (V2SF ".2s")
43e9d192
IB
389 (V4SF ".4s") (V2DF ".2d")
390 (DI "") (SI "")
391 (HI "") (QI "")
889b9412
JG
392 (TI "") (SF "")
393 (DF "")])
43e9d192
IB
394
395;; Register suffix narrowed modes for VQN.
396(define_mode_attr Vmntype [(V8HI ".8b") (V4SI ".4h")
397 (V2DI ".2s")
398 (DI "") (SI "")
399 (HI "")])
400
401;; Mode-to-individual element type mapping.
402(define_mode_attr Vetype [(V8QI "b") (V16QI "b")
403 (V4HI "h") (V8HI "h")
404 (V2SI "s") (V4SI "s")
7c369485
AL
405 (V2DI "d") (V4HF "h")
406 (V8HF "h") (V2SF "s")
43e9d192 407 (V4SF "s") (V2DF "d")
0f686aa9 408 (SF "s") (DF "d")
43e9d192
IB
409 (QI "b") (HI "h")
410 (SI "s") (DI "d")])
411
412;; Mode-to-bitwise operation type mapping.
413(define_mode_attr Vbtype [(V8QI "8b") (V16QI "16b")
414 (V4HI "8b") (V8HI "16b")
415 (V2SI "8b") (V4SI "16b")
7c369485
AL
416 (V2DI "16b") (V4HF "8b")
417 (V8HF "16b") (V2SF "8b")
46e778c4 418 (V4SF "16b") (V2DF "16b")
fe82d1f2
AL
419 (DI "8b") (DF "8b")
420 (SI "8b")])
43e9d192
IB
421
422;; Define element mode for each vector mode.
423(define_mode_attr VEL [(V8QI "QI") (V16QI "QI")
424 (V4HI "HI") (V8HI "HI")
425 (V2SI "SI") (V4SI "SI")
426 (DI "DI") (V2DI "DI")
71a11456 427 (V4HF "HF") (V8HF "HF")
43e9d192 428 (V2SF "SF") (V4SF "SF")
779aea46 429 (V2DF "DF") (DF "DF")
43e9d192
IB
430 (SI "SI") (HI "HI")
431 (QI "QI")])
432
278821f2
KT
433;; 64-bit container modes the inner or scalar source mode.
434(define_mode_attr VCOND [(HI "V4HI") (SI "V2SI")
435 (V4HI "V4HI") (V8HI "V4HI")
b7d7d917
TB
436 (V2SI "V2SI") (V4SI "V2SI")
437 (DI "DI") (V2DI "DI")
438 (V2SF "V2SF") (V4SF "V2SF")
439 (V2DF "DF")])
440
278821f2 441;; 128-bit container modes the inner or scalar source mode.
b7d7d917
TB
442(define_mode_attr VCONQ [(V8QI "V16QI") (V16QI "V16QI")
443 (V4HI "V8HI") (V8HI "V8HI")
444 (V2SI "V4SI") (V4SI "V4SI")
445 (DI "V2DI") (V2DI "V2DI")
71a11456 446 (V4HF "V8HF") (V8HF "V8HF")
b7d7d917
TB
447 (V2SF "V2SF") (V4SF "V4SF")
448 (V2DF "V2DF") (SI "V4SI")
449 (HI "V8HI") (QI "V16QI")])
450
43e9d192
IB
451;; Half modes of all vector modes.
452(define_mode_attr VHALF [(V8QI "V4QI") (V16QI "V8QI")
453 (V4HI "V2HI") (V8HI "V4HI")
454 (V2SI "SI") (V4SI "V2SI")
455 (V2DI "DI") (V2SF "SF")
71a11456
AL
456 (V4SF "V2SF") (V4HF "V2HF")
457 (V8HF "V4HF") (V2DF "DF")])
43e9d192
IB
458
459;; Double modes of vector modes.
460(define_mode_attr VDBL [(V8QI "V16QI") (V4HI "V8HI")
71a11456 461 (V4HF "V8HF")
43e9d192
IB
462 (V2SI "V4SI") (V2SF "V4SF")
463 (SI "V2SI") (DI "V2DI")
464 (DF "V2DF")])
465
922f9c25
AL
466;; Register suffix for double-length mode.
467(define_mode_attr Vdtype [(V4HF "8h") (V2SF "4s")])
468
43e9d192
IB
469;; Double modes of vector modes (lower case).
470(define_mode_attr Vdbl [(V8QI "v16qi") (V4HI "v8hi")
7c369485 471 (V4HF "v8hf")
43e9d192 472 (V2SI "v4si") (V2SF "v4sf")
8b033a8a
SN
473 (SI "v2si") (DI "v2di")
474 (DF "v2df")])
43e9d192
IB
475
476;; Narrowed modes for VDN.
477(define_mode_attr VNARROWD [(V4HI "V8QI") (V2SI "V4HI")
478 (DI "V2SI")])
479
480;; Narrowed double-modes for VQN (Used for XTN).
481(define_mode_attr VNARROWQ [(V8HI "V8QI") (V4SI "V4HI")
482 (V2DI "V2SI")
483 (DI "SI") (SI "HI")
484 (HI "QI")])
485
486;; Narrowed quad-modes for VQN (Used for XTN2).
487(define_mode_attr VNARROWQ2 [(V8HI "V16QI") (V4SI "V8HI")
488 (V2DI "V4SI")])
489
490;; Register suffix narrowed modes for VQN.
491(define_mode_attr Vntype [(V8HI "8b") (V4SI "4h")
492 (V2DI "2s")])
493
494;; Register suffix narrowed modes for VQN.
495(define_mode_attr V2ntype [(V8HI "16b") (V4SI "8h")
496 (V2DI "4s")])
497
498;; Widened modes of vector modes.
499(define_mode_attr VWIDE [(V8QI "V8HI") (V4HI "V4SI")
500 (V2SI "V2DI") (V16QI "V8HI")
501 (V8HI "V4SI") (V4SI "V2DI")
922f9c25 502 (HI "SI") (SI "DI")
03873eb9 503 (V8HF "V4SF") (V4SF "V2DF")
922f9c25 504 (V4HF "V4SF") (V2SF "V2DF")]
43e9d192
IB
505)
506
03873eb9
AL
507;; Widened modes of vector modes, lowercase
508(define_mode_attr Vwide [(V2SF "v2df") (V4HF "v4sf")])
509
510;; Widened mode register suffixes for VD_BHSI/VQW/VQ_HSF.
43e9d192
IB
511(define_mode_attr Vwtype [(V8QI "8h") (V4HI "4s")
512 (V2SI "2d") (V16QI "8h")
03873eb9
AL
513 (V8HI "4s") (V4SI "2d")
514 (V8HF "4s") (V4SF "2d")])
43e9d192
IB
515
516;; Widened mode register suffixes for VDW/VQW.
517(define_mode_attr Vmwtype [(V8QI ".8h") (V4HI ".4s")
518 (V2SI ".2d") (V16QI ".8h")
519 (V8HI ".4s") (V4SI ".2d")
922f9c25 520 (V4HF ".4s") (V2SF ".2d")
43e9d192
IB
521 (SI "") (HI "")])
522
03873eb9 523;; Lower part register suffixes for VQW/VQ_HSF.
43e9d192 524(define_mode_attr Vhalftype [(V16QI "8b") (V8HI "4h")
03873eb9
AL
525 (V4SI "2s") (V8HF "4h")
526 (V4SF "2s")])
43e9d192
IB
527
528;; Define corresponding core/FP element mode for each vector mode.
529(define_mode_attr vw [(V8QI "w") (V16QI "w")
530 (V4HI "w") (V8HI "w")
531 (V2SI "w") (V4SI "w")
532 (DI "x") (V2DI "x")
533 (V2SF "s") (V4SF "s")
534 (V2DF "d")])
535
66adb8eb
JG
536;; Corresponding core element mode for each vector mode. This is a
537;; variation on <vw> mapping FP modes to GP regs.
538(define_mode_attr vwcore [(V8QI "w") (V16QI "w")
539 (V4HI "w") (V8HI "w")
540 (V2SI "w") (V4SI "w")
541 (DI "x") (V2DI "x")
64e9a944 542 (V4HF "w") (V8HF "w")
66adb8eb
JG
543 (V2SF "w") (V4SF "w")
544 (V2DF "x")])
545
43e9d192
IB
546;; Double vector types for ALLX.
547(define_mode_attr Vallxd [(QI "8b") (HI "4h") (SI "2s")])
548
549;; Mode of result of comparison operations.
550(define_mode_attr V_cmp_result [(V8QI "V8QI") (V16QI "V16QI")
551 (V4HI "V4HI") (V8HI "V8HI")
552 (V2SI "V2SI") (V4SI "V4SI")
88b08073 553 (DI "DI") (V2DI "V2DI")
7c369485 554 (V4HF "V4HI") (V8HF "V8HI")
43e9d192 555 (V2SF "V2SI") (V4SF "V4SI")
889b9412
JG
556 (V2DF "V2DI") (DF "DI")
557 (SF "SI")])
43e9d192 558
70c67693
JG
559;; Lower case mode of results of comparison operations.
560(define_mode_attr v_cmp_result [(V8QI "v8qi") (V16QI "v16qi")
561 (V4HI "v4hi") (V8HI "v8hi")
562 (V2SI "v2si") (V4SI "v4si")
563 (DI "di") (V2DI "v2di")
7c369485 564 (V4HF "v4hi") (V8HF "v8hi")
70c67693 565 (V2SF "v2si") (V4SF "v4si")
889b9412
JG
566 (V2DF "v2di") (DF "di")
567 (SF "si")])
70c67693 568
cb23a30c
JG
569;; Lower case element modes (as used in shift immediate patterns).
570(define_mode_attr ve_mode [(V8QI "qi") (V16QI "qi")
571 (V4HI "hi") (V8HI "hi")
572 (V2SI "si") (V4SI "si")
573 (DI "di") (V2DI "di")
574 (QI "qi") (HI "hi")
575 (SI "si")])
576
43e9d192
IB
577;; Vm for lane instructions is restricted to FP_LO_REGS.
578(define_mode_attr vwx [(V4HI "x") (V8HI "x") (HI "x")
579 (V2SI "w") (V4SI "w") (SI "w")])
580
581(define_mode_attr Vendreg [(OI "T") (CI "U") (XI "V")])
582
97755701
AL
583;; This is both the number of Q-Registers needed to hold the corresponding
584;; opaque large integer mode, and the number of elements touched by the
585;; ld..._lane and st..._lane operations.
43e9d192
IB
586(define_mode_attr nregs [(OI "2") (CI "3") (XI "4")])
587
588(define_mode_attr VRL2 [(V8QI "V32QI") (V4HI "V16HI")
71a11456 589 (V4HF "V16HF")
43e9d192 590 (V2SI "V8SI") (V2SF "V8SF")
110d61da 591 (DI "V4DI") (DF "V4DF")])
43e9d192
IB
592
593(define_mode_attr VRL3 [(V8QI "V48QI") (V4HI "V24HI")
71a11456 594 (V4HF "V24HF")
43e9d192 595 (V2SI "V12SI") (V2SF "V12SF")
110d61da 596 (DI "V6DI") (DF "V6DF")])
43e9d192
IB
597
598(define_mode_attr VRL4 [(V8QI "V64QI") (V4HI "V32HI")
71a11456 599 (V4HF "V32HF")
43e9d192 600 (V2SI "V16SI") (V2SF "V16SF")
110d61da 601 (DI "V8DI") (DF "V8DF")])
43e9d192 602
0462169c
SN
603;; Mode for atomic operation suffixes
604(define_mode_attr atomic_sfx
605 [(QI "b") (HI "h") (SI "") (DI "")])
606
0d35c5c2
VP
607(define_mode_attr fcvt_target [(V2DF "v2di") (V4SF "v4si") (V2SF "v2si") (SF "si") (DF "di")])
608(define_mode_attr FCVT_TARGET [(V2DF "V2DI") (V4SF "V4SI") (V2SF "V2SI") (SF "SI") (DF "DI")])
609
610;; for the inequal width integer to fp conversions
611(define_mode_attr fcvt_iesize [(SF "di") (DF "si")])
612(define_mode_attr FCVT_IESIZE [(SF "DI") (DF "SI")])
42fc9a7f 613
91bd4114
JG
614(define_mode_attr VSWAP_WIDTH [(V8QI "V16QI") (V16QI "V8QI")
615 (V4HI "V8HI") (V8HI "V4HI")
616 (V2SI "V4SI") (V4SI "V2SI")
617 (DI "V2DI") (V2DI "DI")
618 (V2SF "V4SF") (V4SF "V2SF")
862abc04 619 (V4HF "V8HF") (V8HF "V4HF")
91bd4114
JG
620 (DF "V2DF") (V2DF "DF")])
621
622(define_mode_attr vswap_width_name [(V8QI "to_128") (V16QI "to_64")
623 (V4HI "to_128") (V8HI "to_64")
624 (V2SI "to_128") (V4SI "to_64")
625 (DI "to_128") (V2DI "to_64")
862abc04 626 (V4HF "to_128") (V8HF "to_64")
91bd4114
JG
627 (V2SF "to_128") (V4SF "to_64")
628 (DF "to_128") (V2DF "to_64")])
629
779aea46
JG
630;; For certain vector-by-element multiplication instructions we must
631;; constrain the HI cases to use only V0-V15. This is covered by
632;; the 'x' constraint. All other modes may use the 'w' constraint.
633(define_mode_attr h_con [(V2SI "w") (V4SI "w")
634 (V4HI "x") (V8HI "x")
635 (V2SF "w") (V4SF "w")
636 (V2DF "w") (DF "w")])
637
638;; Defined to 'f' for types whose element type is a float type.
639(define_mode_attr f [(V8QI "") (V16QI "")
640 (V4HI "") (V8HI "")
641 (V2SI "") (V4SI "")
642 (DI "") (V2DI "")
643 (V2SF "f") (V4SF "f")
644 (V2DF "f") (DF "f")])
645
0f686aa9
JG
646;; Defined to '_fp' for types whose element type is a float type.
647(define_mode_attr fp [(V8QI "") (V16QI "")
648 (V4HI "") (V8HI "")
649 (V2SI "") (V4SI "")
650 (DI "") (V2DI "")
651 (V2SF "_fp") (V4SF "_fp")
652 (V2DF "_fp") (DF "_fp")
653 (SF "_fp")])
654
a9e66678
JG
655;; Defined to '_q' for 128-bit types.
656(define_mode_attr q [(V8QI "") (V16QI "_q")
0f686aa9
JG
657 (V4HI "") (V8HI "_q")
658 (V2SI "") (V4SI "_q")
659 (DI "") (V2DI "_q")
71a11456 660 (V4HF "") (V8HF "_q")
0f686aa9
JG
661 (V2SF "") (V4SF "_q")
662 (V2DF "_q")
663 (QI "") (HI "") (SI "") (DI "") (SF "") (DF "")])
a9e66678 664
92835317
TB
665(define_mode_attr vp [(V8QI "v") (V16QI "v")
666 (V4HI "v") (V8HI "v")
667 (V2SI "p") (V4SI "v")
668 (V2DI "p") (V2DF "p")
669 (V2SF "p") (V4SF "v")])
670
5e32e83b
JW
671(define_mode_attr vsi2qi [(V2SI "v8qi") (V4SI "v16qi")])
672(define_mode_attr VSI2QI [(V2SI "V8QI") (V4SI "V16QI")])
673
668046d1
DS
674(define_mode_attr insn_count [(OI "8") (CI "12") (XI "16")])
675
1b1e81f8
JW
676;; -fpic small model GOT reloc modifers: gotpage_lo15/lo14 for ILP64/32.
677;; No need of iterator for -fPIC as it use got_lo12 for both modes.
678(define_mode_attr got_modifier [(SI "gotpage_lo14") (DI "gotpage_lo15")])
679
43e9d192
IB
680;; -------------------------------------------------------------------
681;; Code Iterators
682;; -------------------------------------------------------------------
683
684;; This code iterator allows the various shifts supported on the core
685(define_code_iterator SHIFT [ashift ashiftrt lshiftrt rotatert])
686
687;; This code iterator allows the shifts supported in arithmetic instructions
688(define_code_iterator ASHIFT [ashift ashiftrt lshiftrt])
689
690;; Code iterator for logical operations
691(define_code_iterator LOGICAL [and ior xor])
692
84be6032
AL
693;; Code iterator for logical operations whose :nlogical works on SIMD registers.
694(define_code_iterator NLOGICAL [and ior])
695
3204ac98
KT
696;; Code iterator for unary negate and bitwise complement.
697(define_code_iterator NEG_NOT [neg not])
698
43e9d192
IB
699;; Code iterator for sign/zero extension
700(define_code_iterator ANY_EXTEND [sign_extend zero_extend])
701
702;; All division operations (signed/unsigned)
703(define_code_iterator ANY_DIV [div udiv])
704
705;; Code iterator for sign/zero extraction
706(define_code_iterator ANY_EXTRACT [sign_extract zero_extract])
707
708;; Code iterator for equality comparisons
709(define_code_iterator EQL [eq ne])
710
711;; Code iterator for less-than and greater/equal-to
712(define_code_iterator LTGE [lt ge])
713
714;; Iterator for __sync_<op> operations that where the operation can be
715;; represented directly RTL. This is all of the sync operations bar
716;; nand.
0462169c 717(define_code_iterator atomic_op [plus minus ior xor and])
43e9d192
IB
718
719;; Iterator for integer conversions
720(define_code_iterator FIXUORS [fix unsigned_fix])
721
1709ff9b
JG
722;; Iterator for float conversions
723(define_code_iterator FLOATUORS [float unsigned_float])
724
43e9d192
IB
725;; Code iterator for variants of vector max and min.
726(define_code_iterator MAXMIN [smax smin umax umin])
727
998eaf97
JG
728(define_code_iterator FMAXMIN [smax smin])
729
43e9d192
IB
730;; Code iterator for variants of vector max and min.
731(define_code_iterator ADDSUB [plus minus])
732
733;; Code iterator for variants of vector saturating binary ops.
734(define_code_iterator BINQOPS [ss_plus us_plus ss_minus us_minus])
735
736;; Code iterator for variants of vector saturating unary ops.
737(define_code_iterator UNQOPS [ss_neg ss_abs])
738
739;; Code iterator for signed variants of vector saturating binary ops.
740(define_code_iterator SBINQOPS [ss_plus ss_minus])
741
889b9412
JG
742;; Comparison operators for <F>CM.
743(define_code_iterator COMPARISONS [lt le eq ge gt])
744
745;; Unsigned comparison operators.
746(define_code_iterator UCOMPARISONS [ltu leu geu gtu])
747
75dd5ace
JG
748;; Unsigned comparison operators.
749(define_code_iterator FAC_COMPARISONS [lt le ge gt])
750
43e9d192
IB
751;; -------------------------------------------------------------------
752;; Code Attributes
753;; -------------------------------------------------------------------
754;; Map rtl objects to optab names
755(define_code_attr optab [(ashift "ashl")
756 (ashiftrt "ashr")
757 (lshiftrt "lshr")
758 (rotatert "rotr")
759 (sign_extend "extend")
760 (zero_extend "zero_extend")
761 (sign_extract "extv")
762 (zero_extract "extzv")
384be29f
JG
763 (fix "fix")
764 (unsigned_fix "fixuns")
1709ff9b
JG
765 (float "float")
766 (unsigned_float "floatuns")
43e9d192
IB
767 (and "and")
768 (ior "ior")
769 (xor "xor")
770 (not "one_cmpl")
771 (neg "neg")
772 (plus "add")
773 (minus "sub")
774 (ss_plus "qadd")
775 (us_plus "qadd")
776 (ss_minus "qsub")
777 (us_minus "qsub")
778 (ss_neg "qneg")
779 (ss_abs "qabs")
780 (eq "eq")
781 (ne "ne")
782 (lt "lt")
889b9412
JG
783 (ge "ge")
784 (le "le")
785 (gt "gt")
786 (ltu "ltu")
787 (leu "leu")
788 (geu "geu")
789 (gtu "gtu")])
790
791;; For comparison operators we use the FCM* and CM* instructions.
792;; As there are no CMLE or CMLT instructions which act on 3 vector
793;; operands, we must use CMGE or CMGT and swap the order of the
794;; source operands.
795
796(define_code_attr n_optab [(lt "gt") (le "ge") (eq "eq") (ge "ge") (gt "gt")
797 (ltu "hi") (leu "hs") (geu "hs") (gtu "hi")])
798(define_code_attr cmp_1 [(lt "2") (le "2") (eq "1") (ge "1") (gt "1")
799 (ltu "2") (leu "2") (geu "1") (gtu "1")])
800(define_code_attr cmp_2 [(lt "1") (le "1") (eq "2") (ge "2") (gt "2")
801 (ltu "1") (leu "1") (geu "2") (gtu "2")])
802
803(define_code_attr CMP [(lt "LT") (le "LE") (eq "EQ") (ge "GE") (gt "GT")
804 (ltu "LTU") (leu "LEU") (geu "GEU") (gtu "GTU")])
43e9d192 805
384be29f
JG
806(define_code_attr fix_trunc_optab [(fix "fix_trunc")
807 (unsigned_fix "fixuns_trunc")])
808
43e9d192
IB
809;; Optab prefix for sign/zero-extending operations
810(define_code_attr su_optab [(sign_extend "") (zero_extend "u")
811 (div "") (udiv "u")
812 (fix "") (unsigned_fix "u")
1709ff9b 813 (float "s") (unsigned_float "u")
43e9d192
IB
814 (ss_plus "s") (us_plus "u")
815 (ss_minus "s") (us_minus "u")])
816
817;; Similar for the instruction mnemonics
818(define_code_attr shift [(ashift "lsl") (ashiftrt "asr")
819 (lshiftrt "lsr") (rotatert "ror")])
820
821;; Map shift operators onto underlying bit-field instructions
822(define_code_attr bfshift [(ashift "ubfiz") (ashiftrt "sbfx")
823 (lshiftrt "ubfx") (rotatert "extr")])
824
825;; Logical operator instruction mnemonics
826(define_code_attr logical [(and "and") (ior "orr") (xor "eor")])
827
3204ac98
KT
828;; Operation names for negate and bitwise complement.
829(define_code_attr neg_not_op [(neg "neg") (not "not")])
830
43e9d192
IB
831;; Similar, but when not(op)
832(define_code_attr nlogical [(and "bic") (ior "orn") (xor "eon")])
833
834;; Sign- or zero-extending load
835(define_code_attr ldrxt [(sign_extend "ldrs") (zero_extend "ldr")])
836
837;; Sign- or zero-extending data-op
838(define_code_attr su [(sign_extend "s") (zero_extend "u")
839 (sign_extract "s") (zero_extract "u")
840 (fix "s") (unsigned_fix "u")
998eaf97
JG
841 (div "s") (udiv "u")
842 (smax "s") (umax "u")
843 (smin "s") (umin "u")])
43e9d192 844
096e8448
JW
845;; Emit conditional branch instructions.
846(define_code_attr bcond [(eq "beq") (ne "bne") (lt "bne") (ge "beq")])
847
43e9d192
IB
848;; Emit cbz/cbnz depending on comparison type.
849(define_code_attr cbz [(eq "cbz") (ne "cbnz") (lt "cbnz") (ge "cbz")])
850
973d2e01
TP
851;; Emit inverted cbz/cbnz depending on comparison type.
852(define_code_attr inv_cb [(eq "cbnz") (ne "cbz") (lt "cbz") (ge "cbnz")])
853
43e9d192
IB
854;; Emit tbz/tbnz depending on comparison type.
855(define_code_attr tbz [(eq "tbz") (ne "tbnz") (lt "tbnz") (ge "tbz")])
856
973d2e01
TP
857;; Emit inverted tbz/tbnz depending on comparison type.
858(define_code_attr inv_tb [(eq "tbnz") (ne "tbz") (lt "tbz") (ge "tbnz")])
859
43e9d192 860;; Max/min attributes.
998eaf97
JG
861(define_code_attr maxmin [(smax "max")
862 (smin "min")
863 (umax "max")
864 (umin "min")])
43e9d192
IB
865
866;; MLA/MLS attributes.
867(define_code_attr as [(ss_plus "a") (ss_minus "s")])
868
0462169c
SN
869;; Atomic operations
870(define_code_attr atomic_optab
871 [(ior "or") (xor "xor") (and "and") (plus "add") (minus "sub")])
872
873(define_code_attr atomic_op_operand
874 [(ior "aarch64_logical_operand")
875 (xor "aarch64_logical_operand")
876 (and "aarch64_logical_operand")
877 (plus "aarch64_plus_operand")
878 (minus "aarch64_plus_operand")])
43e9d192 879
356c32e2
MW
880;; Constants acceptable for atomic operations.
881;; This definition must appear in this file before the iterators it refers to.
882(define_code_attr const_atomic
883 [(plus "IJ") (minus "IJ")
884 (xor "<lconst_atomic>") (ior "<lconst_atomic>")
885 (and "<lconst_atomic>")])
886
887;; Attribute to describe constants acceptable in atomic logical operations
888(define_mode_attr lconst_atomic [(QI "K") (HI "K") (SI "K") (DI "L")])
889
43e9d192
IB
890;; -------------------------------------------------------------------
891;; Int Iterators.
892;; -------------------------------------------------------------------
893(define_int_iterator MAXMINV [UNSPEC_UMAXV UNSPEC_UMINV
894 UNSPEC_SMAXV UNSPEC_SMINV])
895
998eaf97
JG
896(define_int_iterator FMAXMINV [UNSPEC_FMAXV UNSPEC_FMINV
897 UNSPEC_FMAXNMV UNSPEC_FMINNMV])
43e9d192
IB
898
899(define_int_iterator HADDSUB [UNSPEC_SHADD UNSPEC_UHADD
900 UNSPEC_SRHADD UNSPEC_URHADD
901 UNSPEC_SHSUB UNSPEC_UHSUB
902 UNSPEC_SRHSUB UNSPEC_URHSUB])
903
904
905(define_int_iterator ADDSUBHN [UNSPEC_ADDHN UNSPEC_RADDHN
906 UNSPEC_SUBHN UNSPEC_RSUBHN])
907
908(define_int_iterator ADDSUBHN2 [UNSPEC_ADDHN2 UNSPEC_RADDHN2
909 UNSPEC_SUBHN2 UNSPEC_RSUBHN2])
910
998eaf97 911(define_int_iterator FMAXMIN_UNS [UNSPEC_FMAX UNSPEC_FMIN])
43e9d192
IB
912
913(define_int_iterator VQDMULH [UNSPEC_SQDMULH UNSPEC_SQRDMULH])
914
915(define_int_iterator USSUQADD [UNSPEC_SUQADD UNSPEC_USQADD])
916
917(define_int_iterator SUQMOVN [UNSPEC_SQXTN UNSPEC_UQXTN])
918
919(define_int_iterator VSHL [UNSPEC_SSHL UNSPEC_USHL
920 UNSPEC_SRSHL UNSPEC_URSHL])
921
922(define_int_iterator VSHLL [UNSPEC_SSHLL UNSPEC_USHLL])
923
924(define_int_iterator VQSHL [UNSPEC_SQSHL UNSPEC_UQSHL
925 UNSPEC_SQRSHL UNSPEC_UQRSHL])
926
927(define_int_iterator VSRA [UNSPEC_SSRA UNSPEC_USRA
928 UNSPEC_SRSRA UNSPEC_URSRA])
929
930(define_int_iterator VSLRI [UNSPEC_SSLI UNSPEC_USLI
931 UNSPEC_SSRI UNSPEC_USRI])
932
933
934(define_int_iterator VRSHR_N [UNSPEC_SRSHR UNSPEC_URSHR])
935
936(define_int_iterator VQSHL_N [UNSPEC_SQSHLU UNSPEC_SQSHL UNSPEC_UQSHL])
937
938(define_int_iterator VQSHRN_N [UNSPEC_SQSHRUN UNSPEC_SQRSHRUN
939 UNSPEC_SQSHRN UNSPEC_UQSHRN
940 UNSPEC_SQRSHRN UNSPEC_UQRSHRN])
941
cc4d934f
JG
942(define_int_iterator PERMUTE [UNSPEC_ZIP1 UNSPEC_ZIP2
943 UNSPEC_TRN1 UNSPEC_TRN2
944 UNSPEC_UZP1 UNSPEC_UZP2])
43e9d192 945
923fcec3
AL
946(define_int_iterator REVERSE [UNSPEC_REV64 UNSPEC_REV32 UNSPEC_REV16])
947
42fc9a7f 948(define_int_iterator FRINT [UNSPEC_FRINTZ UNSPEC_FRINTP UNSPEC_FRINTM
0659ce6f
JG
949 UNSPEC_FRINTN UNSPEC_FRINTI UNSPEC_FRINTX
950 UNSPEC_FRINTA])
42fc9a7f
JG
951
952(define_int_iterator FCVT [UNSPEC_FRINTZ UNSPEC_FRINTP UNSPEC_FRINTM
ce966824 953 UNSPEC_FRINTA UNSPEC_FRINTN])
42fc9a7f 954
0050faf8
JG
955(define_int_iterator FRECP [UNSPEC_FRECPE UNSPEC_FRECPX])
956
5d357f26
KT
957(define_int_iterator CRC [UNSPEC_CRC32B UNSPEC_CRC32H UNSPEC_CRC32W
958 UNSPEC_CRC32X UNSPEC_CRC32CB UNSPEC_CRC32CH
959 UNSPEC_CRC32CW UNSPEC_CRC32CX])
960
5a7a4e80
TB
961(define_int_iterator CRYPTO_AES [UNSPEC_AESE UNSPEC_AESD])
962(define_int_iterator CRYPTO_AESMC [UNSPEC_AESMC UNSPEC_AESIMC])
963
30442682
TB
964(define_int_iterator CRYPTO_SHA1 [UNSPEC_SHA1C UNSPEC_SHA1M UNSPEC_SHA1P])
965
b9cb0a44
TB
966(define_int_iterator CRYPTO_SHA256 [UNSPEC_SHA256H UNSPEC_SHA256H2])
967
43e9d192
IB
968;; -------------------------------------------------------------------
969;; Int Iterators Attributes.
970;; -------------------------------------------------------------------
998eaf97
JG
971(define_int_attr maxmin_uns [(UNSPEC_UMAXV "umax")
972 (UNSPEC_UMINV "umin")
973 (UNSPEC_SMAXV "smax")
974 (UNSPEC_SMINV "smin")
975 (UNSPEC_FMAX "smax_nan")
976 (UNSPEC_FMAXNMV "smax")
977 (UNSPEC_FMAXV "smax_nan")
978 (UNSPEC_FMIN "smin_nan")
979 (UNSPEC_FMINNMV "smin")
980 (UNSPEC_FMINV "smin_nan")])
981
982(define_int_attr maxmin_uns_op [(UNSPEC_UMAXV "umax")
983 (UNSPEC_UMINV "umin")
984 (UNSPEC_SMAXV "smax")
985 (UNSPEC_SMINV "smin")
986 (UNSPEC_FMAX "fmax")
987 (UNSPEC_FMAXNMV "fmaxnm")
988 (UNSPEC_FMAXV "fmax")
989 (UNSPEC_FMIN "fmin")
990 (UNSPEC_FMINNMV "fminnm")
991 (UNSPEC_FMINV "fmin")])
43e9d192
IB
992
993(define_int_attr sur [(UNSPEC_SHADD "s") (UNSPEC_UHADD "u")
994 (UNSPEC_SRHADD "sr") (UNSPEC_URHADD "ur")
995 (UNSPEC_SHSUB "s") (UNSPEC_UHSUB "u")
996 (UNSPEC_SRHSUB "sr") (UNSPEC_URHSUB "ur")
997 (UNSPEC_ADDHN "") (UNSPEC_RADDHN "r")
998 (UNSPEC_SUBHN "") (UNSPEC_RSUBHN "r")
999 (UNSPEC_ADDHN2 "") (UNSPEC_RADDHN2 "r")
1000 (UNSPEC_SUBHN2 "") (UNSPEC_RSUBHN2 "r")
1001 (UNSPEC_SQXTN "s") (UNSPEC_UQXTN "u")
1002 (UNSPEC_USQADD "us") (UNSPEC_SUQADD "su")
1003 (UNSPEC_SSLI "s") (UNSPEC_USLI "u")
1004 (UNSPEC_SSRI "s") (UNSPEC_USRI "u")
1005 (UNSPEC_USRA "u") (UNSPEC_SSRA "s")
1006 (UNSPEC_URSRA "ur") (UNSPEC_SRSRA "sr")
1007 (UNSPEC_URSHR "ur") (UNSPEC_SRSHR "sr")
1008 (UNSPEC_SQSHLU "s") (UNSPEC_SQSHL "s")
1009 (UNSPEC_UQSHL "u")
1010 (UNSPEC_SQSHRUN "s") (UNSPEC_SQRSHRUN "s")
1011 (UNSPEC_SQSHRN "s") (UNSPEC_UQSHRN "u")
1012 (UNSPEC_SQRSHRN "s") (UNSPEC_UQRSHRN "u")
1013 (UNSPEC_USHL "u") (UNSPEC_SSHL "s")
1014 (UNSPEC_USHLL "u") (UNSPEC_SSHLL "s")
1015 (UNSPEC_URSHL "ur") (UNSPEC_SRSHL "sr")
1016 (UNSPEC_UQRSHL "u") (UNSPEC_SQRSHL "s")
1017])
1018
1019(define_int_attr r [(UNSPEC_SQDMULH "") (UNSPEC_SQRDMULH "r")
1020 (UNSPEC_SQSHRUN "") (UNSPEC_SQRSHRUN "r")
1021 (UNSPEC_SQSHRN "") (UNSPEC_UQSHRN "")
1022 (UNSPEC_SQRSHRN "r") (UNSPEC_UQRSHRN "r")
1023 (UNSPEC_SQSHL "") (UNSPEC_UQSHL "")
1024 (UNSPEC_SQRSHL "r")(UNSPEC_UQRSHL "r")
1025])
1026
1027(define_int_attr lr [(UNSPEC_SSLI "l") (UNSPEC_USLI "l")
1028 (UNSPEC_SSRI "r") (UNSPEC_USRI "r")])
1029
1030(define_int_attr u [(UNSPEC_SQSHLU "u") (UNSPEC_SQSHL "") (UNSPEC_UQSHL "")
1031 (UNSPEC_SQSHRUN "u") (UNSPEC_SQRSHRUN "u")
1032 (UNSPEC_SQSHRN "") (UNSPEC_UQSHRN "")
1033 (UNSPEC_SQRSHRN "") (UNSPEC_UQRSHRN "")])
1034
1035(define_int_attr addsub [(UNSPEC_SHADD "add")
1036 (UNSPEC_UHADD "add")
1037 (UNSPEC_SRHADD "add")
1038 (UNSPEC_URHADD "add")
1039 (UNSPEC_SHSUB "sub")
1040 (UNSPEC_UHSUB "sub")
1041 (UNSPEC_SRHSUB "sub")
1042 (UNSPEC_URHSUB "sub")
1043 (UNSPEC_ADDHN "add")
1044 (UNSPEC_SUBHN "sub")
1045 (UNSPEC_RADDHN "add")
1046 (UNSPEC_RSUBHN "sub")
1047 (UNSPEC_ADDHN2 "add")
1048 (UNSPEC_SUBHN2 "sub")
1049 (UNSPEC_RADDHN2 "add")
1050 (UNSPEC_RSUBHN2 "sub")])
1051
cb23a30c
JG
1052(define_int_attr offsetlr [(UNSPEC_SSLI "") (UNSPEC_USLI "")
1053 (UNSPEC_SSRI "offset_")
1054 (UNSPEC_USRI "offset_")])
43e9d192 1055
42fc9a7f
JG
1056;; Standard pattern names for floating-point rounding instructions.
1057(define_int_attr frint_pattern [(UNSPEC_FRINTZ "btrunc")
1058 (UNSPEC_FRINTP "ceil")
1059 (UNSPEC_FRINTM "floor")
1060 (UNSPEC_FRINTI "nearbyint")
1061 (UNSPEC_FRINTX "rint")
0659ce6f
JG
1062 (UNSPEC_FRINTA "round")
1063 (UNSPEC_FRINTN "frintn")])
42fc9a7f
JG
1064
1065;; frint suffix for floating-point rounding instructions.
1066(define_int_attr frint_suffix [(UNSPEC_FRINTZ "z") (UNSPEC_FRINTP "p")
1067 (UNSPEC_FRINTM "m") (UNSPEC_FRINTI "i")
0659ce6f
JG
1068 (UNSPEC_FRINTX "x") (UNSPEC_FRINTA "a")
1069 (UNSPEC_FRINTN "n")])
42fc9a7f
JG
1070
1071(define_int_attr fcvt_pattern [(UNSPEC_FRINTZ "btrunc") (UNSPEC_FRINTA "round")
ce966824
JG
1072 (UNSPEC_FRINTP "ceil") (UNSPEC_FRINTM "floor")
1073 (UNSPEC_FRINTN "frintn")])
42fc9a7f 1074
cc4d934f
JG
1075(define_int_attr perm_insn [(UNSPEC_ZIP1 "zip") (UNSPEC_ZIP2 "zip")
1076 (UNSPEC_TRN1 "trn") (UNSPEC_TRN2 "trn")
1077 (UNSPEC_UZP1 "uzp") (UNSPEC_UZP2 "uzp")])
1078
923fcec3
AL
1079; op code for REV instructions (size within which elements are reversed).
1080(define_int_attr rev_op [(UNSPEC_REV64 "64") (UNSPEC_REV32 "32")
1081 (UNSPEC_REV16 "16")])
1082
cc4d934f
JG
1083(define_int_attr perm_hilo [(UNSPEC_ZIP1 "1") (UNSPEC_ZIP2 "2")
1084 (UNSPEC_TRN1 "1") (UNSPEC_TRN2 "2")
1085 (UNSPEC_UZP1 "1") (UNSPEC_UZP2 "2")])
0050faf8
JG
1086
1087(define_int_attr frecp_suffix [(UNSPEC_FRECPE "e") (UNSPEC_FRECPX "x")])
5a7a4e80 1088
5d357f26
KT
1089(define_int_attr crc_variant [(UNSPEC_CRC32B "crc32b") (UNSPEC_CRC32H "crc32h")
1090 (UNSPEC_CRC32W "crc32w") (UNSPEC_CRC32X "crc32x")
1091 (UNSPEC_CRC32CB "crc32cb") (UNSPEC_CRC32CH "crc32ch")
1092 (UNSPEC_CRC32CW "crc32cw") (UNSPEC_CRC32CX "crc32cx")])
1093
1094(define_int_attr crc_mode [(UNSPEC_CRC32B "QI") (UNSPEC_CRC32H "HI")
1095 (UNSPEC_CRC32W "SI") (UNSPEC_CRC32X "DI")
1096 (UNSPEC_CRC32CB "QI") (UNSPEC_CRC32CH "HI")
1097 (UNSPEC_CRC32CW "SI") (UNSPEC_CRC32CX "DI")])
1098
5a7a4e80
TB
1099(define_int_attr aes_op [(UNSPEC_AESE "e") (UNSPEC_AESD "d")])
1100(define_int_attr aesmc_op [(UNSPEC_AESMC "mc") (UNSPEC_AESIMC "imc")])
30442682
TB
1101
1102(define_int_attr sha1_op [(UNSPEC_SHA1C "c") (UNSPEC_SHA1P "p")
1103 (UNSPEC_SHA1M "m")])
b9cb0a44
TB
1104
1105(define_int_attr sha256_op [(UNSPEC_SHA256H "") (UNSPEC_SHA256H2 "2")])