1 /* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
2
3 #include "test_sve_acle.h"
4
5 /*
6 ** subr_u32_m_tied1:
7 ** subr z0\.s, p0/m, z0\.s, z1\.s
8 ** ret
9 */
10 TEST_UNIFORM_Z (subr_u32_m_tied1, svuint32_t,
11 z0 = svsubr_u32_m (p0, z0, z1),
12 z0 = svsubr_m (p0, z0, z1))
13
14 /*
15 ** subr_u32_m_tied2:
16 ** mov (z[0-9]+)\.d, z0\.d
17 ** movprfx z0, z1
18 ** subr z0\.s, p0/m, z0\.s, \1\.s
19 ** ret
20 */
21 TEST_UNIFORM_Z (subr_u32_m_tied2, svuint32_t,
22 z0 = svsubr_u32_m (p0, z1, z0),
23 z0 = svsubr_m (p0, z1, z0))
24
25 /*
26 ** subr_u32_m_untied:
27 ** movprfx z0, z1
28 ** subr z0\.s, p0/m, z0\.s, z2\.s
29 ** ret
30 */
31 TEST_UNIFORM_Z (subr_u32_m_untied, svuint32_t,
32 z0 = svsubr_u32_m (p0, z1, z2),
33 z0 = svsubr_m (p0, z1, z2))
34
35 /*
36 ** subr_w0_u32_m_tied1:
37 ** mov (z[0-9]+\.s), w0
38 ** subr z0\.s, p0/m, z0\.s, \1
39 ** ret
40 */
41 TEST_UNIFORM_ZX (subr_w0_u32_m_tied1, svuint32_t, uint32_t,
42 z0 = svsubr_n_u32_m (p0, z0, x0),
43 z0 = svsubr_m (p0, z0, x0))
44
45 /*
46 ** subr_w0_u32_m_untied:
47 ** mov (z[0-9]+\.s), w0
48 ** movprfx z0, z1
49 ** subr z0\.s, p0/m, z0\.s, \1
50 ** ret
51 */
52 TEST_UNIFORM_ZX (subr_w0_u32_m_untied, svuint32_t, uint32_t,
53 z0 = svsubr_n_u32_m (p0, z1, x0),
54 z0 = svsubr_m (p0, z1, x0))
55
56 /*
57 ** subr_1_u32_m_tied1:
58 ** mov (z[0-9]+\.s), #1
59 ** subr z0\.s, p0/m, z0\.s, \1
60 ** ret
61 */
62 TEST_UNIFORM_Z (subr_1_u32_m_tied1, svuint32_t,
63 z0 = svsubr_n_u32_m (p0, z0, 1),
64 z0 = svsubr_m (p0, z0, 1))
65
66 /*
67 ** subr_1_u32_m_untied: { xfail *-*-* }
68 ** mov (z[0-9]+\.s), #1
69 ** movprfx z0, z1
70 ** subr z0\.s, p0/m, z0\.s, \1
71 ** ret
72 */
73 TEST_UNIFORM_Z (subr_1_u32_m_untied, svuint32_t,
74 z0 = svsubr_n_u32_m (p0, z1, 1),
75 z0 = svsubr_m (p0, z1, 1))
76
77 /*
78 ** subr_m2_u32_m:
79 ** mov (z[0-9]+\.s), #-2
80 ** subr z0\.s, p0/m, z0\.s, \1
81 ** ret
82 */
83 TEST_UNIFORM_Z (subr_m2_u32_m, svuint32_t,
84 z0 = svsubr_n_u32_m (p0, z0, -2),
85 z0 = svsubr_m (p0, z0, -2))
86
87 /*
88 ** subr_u32_z_tied1:
89 ** movprfx z0\.s, p0/z, z0\.s
90 ** subr z0\.s, p0/m, z0\.s, z1\.s
91 ** ret
92 */
93 TEST_UNIFORM_Z (subr_u32_z_tied1, svuint32_t,
94 z0 = svsubr_u32_z (p0, z0, z1),
95 z0 = svsubr_z (p0, z0, z1))
96
97 /*
98 ** subr_u32_z_tied2:
99 ** movprfx z0\.s, p0/z, z0\.s
100 ** sub z0\.s, p0/m, z0\.s, z1\.s
101 ** ret
102 */
103 TEST_UNIFORM_Z (subr_u32_z_tied2, svuint32_t,
104 z0 = svsubr_u32_z (p0, z1, z0),
105 z0 = svsubr_z (p0, z1, z0))
106
107 /*
108 ** subr_u32_z_untied:
109 ** (
110 ** movprfx z0\.s, p0/z, z1\.s
111 ** subr z0\.s, p0/m, z0\.s, z2\.s
112 ** |
113 ** movprfx z0\.s, p0/z, z2\.s
114 ** sub z0\.s, p0/m, z0\.s, z1\.s
115 ** )
116 ** ret
117 */
118 TEST_UNIFORM_Z (subr_u32_z_untied, svuint32_t,
119 z0 = svsubr_u32_z (p0, z1, z2),
120 z0 = svsubr_z (p0, z1, z2))
121
122 /*
123 ** subr_w0_u32_z_tied1:
124 ** mov (z[0-9]+\.s), w0
125 ** movprfx z0\.s, p0/z, z0\.s
126 ** subr z0\.s, p0/m, z0\.s, \1
127 ** ret
128 */
129 TEST_UNIFORM_ZX (subr_w0_u32_z_tied1, svuint32_t, uint32_t,
130 z0 = svsubr_n_u32_z (p0, z0, x0),
131 z0 = svsubr_z (p0, z0, x0))
132
133 /*
134 ** subr_w0_u32_z_untied:
135 ** mov (z[0-9]+\.s), w0
136 ** (
137 ** movprfx z0\.s, p0/z, z1\.s
138 ** subr z0\.s, p0/m, z0\.s, \1
139 ** |
140 ** movprfx z0\.s, p0/z, \1
141 ** sub z0\.s, p0/m, z0\.s, z1\.s
142 ** )
143 ** ret
144 */
145 TEST_UNIFORM_ZX (subr_w0_u32_z_untied, svuint32_t, uint32_t,
146 z0 = svsubr_n_u32_z (p0, z1, x0),
147 z0 = svsubr_z (p0, z1, x0))
148
149 /*
150 ** subr_1_u32_z_tied1:
151 ** mov (z[0-9]+\.s), #1
152 ** movprfx z0\.s, p0/z, z0\.s
153 ** subr z0\.s, p0/m, z0\.s, \1
154 ** ret
155 */
156 TEST_UNIFORM_Z (subr_1_u32_z_tied1, svuint32_t,
157 z0 = svsubr_n_u32_z (p0, z0, 1),
158 z0 = svsubr_z (p0, z0, 1))
159
160 /*
161 ** subr_1_u32_z_untied:
162 ** mov (z[0-9]+\.s), #1
163 ** (
164 ** movprfx z0\.s, p0/z, z1\.s
165 ** subr z0\.s, p0/m, z0\.s, \1
166 ** |
167 ** movprfx z0\.s, p0/z, \1
168 ** sub z0\.s, p0/m, z0\.s, z1\.s
169 ** )
170 ** ret
171 */
172 TEST_UNIFORM_Z (subr_1_u32_z_untied, svuint32_t,
173 z0 = svsubr_n_u32_z (p0, z1, 1),
174 z0 = svsubr_z (p0, z1, 1))
175
176 /*
177 ** subr_u32_x_tied1:
178 ** sub z0\.s, z1\.s, z0\.s
179 ** ret
180 */
181 TEST_UNIFORM_Z (subr_u32_x_tied1, svuint32_t,
182 z0 = svsubr_u32_x (p0, z0, z1),
183 z0 = svsubr_x (p0, z0, z1))
184
185 /*
186 ** subr_u32_x_tied2:
187 ** sub z0\.s, z0\.s, z1\.s
188 ** ret
189 */
190 TEST_UNIFORM_Z (subr_u32_x_tied2, svuint32_t,
191 z0 = svsubr_u32_x (p0, z1, z0),
192 z0 = svsubr_x (p0, z1, z0))
193
194 /*
195 ** subr_u32_x_untied:
196 ** sub z0\.s, z2\.s, z1\.s
197 ** ret
198 */
199 TEST_UNIFORM_Z (subr_u32_x_untied, svuint32_t,
200 z0 = svsubr_u32_x (p0, z1, z2),
201 z0 = svsubr_x (p0, z1, z2))
202
203 /*
204 ** subr_w0_u32_x_tied1:
205 ** mov (z[0-9]+\.s), w0
206 ** sub z0\.s, \1, z0\.s
207 ** ret
208 */
209 TEST_UNIFORM_ZX (subr_w0_u32_x_tied1, svuint32_t, uint32_t,
210 z0 = svsubr_n_u32_x (p0, z0, x0),
211 z0 = svsubr_x (p0, z0, x0))
212
213 /*
214 ** subr_w0_u32_x_untied:
215 ** mov (z[0-9]+\.s), w0
216 ** sub z0\.s, \1, z1\.s
217 ** ret
218 */
219 TEST_UNIFORM_ZX (subr_w0_u32_x_untied, svuint32_t, uint32_t,
220 z0 = svsubr_n_u32_x (p0, z1, x0),
221 z0 = svsubr_x (p0, z1, x0))
222
223 /*
224 ** subr_1_u32_x_tied1:
225 ** subr z0\.s, z0\.s, #1
226 ** ret
227 */
228 TEST_UNIFORM_Z (subr_1_u32_x_tied1, svuint32_t,
229 z0 = svsubr_n_u32_x (p0, z0, 1),
230 z0 = svsubr_x (p0, z0, 1))
231
232 /*
233 ** subr_1_u32_x_untied:
234 ** movprfx z0, z1
235 ** subr z0\.s, z0\.s, #1
236 ** ret
237 */
238 TEST_UNIFORM_Z (subr_1_u32_x_untied, svuint32_t,
239 z0 = svsubr_n_u32_x (p0, z1, 1),
240 z0 = svsubr_x (p0, z1, 1))
241
242 /*
243 ** subr_127_u32_x:
244 ** subr z0\.s, z0\.s, #127
245 ** ret
246 */
247 TEST_UNIFORM_Z (subr_127_u32_x, svuint32_t,
248 z0 = svsubr_n_u32_x (p0, z0, 127),
249 z0 = svsubr_x (p0, z0, 127))
250
251 /*
252 ** subr_128_u32_x:
253 ** subr z0\.s, z0\.s, #128
254 ** ret
255 */
256 TEST_UNIFORM_Z (subr_128_u32_x, svuint32_t,
257 z0 = svsubr_n_u32_x (p0, z0, 128),
258 z0 = svsubr_x (p0, z0, 128))
259
260 /*
261 ** subr_255_u32_x:
262 ** subr z0\.s, z0\.s, #255
263 ** ret
264 */
265 TEST_UNIFORM_Z (subr_255_u32_x, svuint32_t,
266 z0 = svsubr_n_u32_x (p0, z0, 255),
267 z0 = svsubr_x (p0, z0, 255))
268
269 /*
270 ** subr_256_u32_x:
271 ** subr z0\.s, z0\.s, #256
272 ** ret
273 */
274 TEST_UNIFORM_Z (subr_256_u32_x, svuint32_t,
275 z0 = svsubr_n_u32_x (p0, z0, 256),
276 z0 = svsubr_x (p0, z0, 256))
277
278 /*
279 ** subr_511_u32_x:
280 ** mov (z[0-9]+\.s), #511
281 ** sub z0\.s, \1, z0\.s
282 ** ret
283 */
284 TEST_UNIFORM_Z (subr_511_u32_x, svuint32_t,
285 z0 = svsubr_n_u32_x (p0, z0, 511),
286 z0 = svsubr_x (p0, z0, 511))
287
288 /*
289 ** subr_512_u32_x:
290 ** subr z0\.s, z0\.s, #512
291 ** ret
292 */
293 TEST_UNIFORM_Z (subr_512_u32_x, svuint32_t,
294 z0 = svsubr_n_u32_x (p0, z0, 512),
295 z0 = svsubr_x (p0, z0, 512))
296
297 /*
298 ** subr_65280_u32_x:
299 ** subr z0\.s, z0\.s, #65280
300 ** ret
301 */
302 TEST_UNIFORM_Z (subr_65280_u32_x, svuint32_t,
303 z0 = svsubr_n_u32_x (p0, z0, 0xff00),
304 z0 = svsubr_x (p0, z0, 0xff00))
305
306 /*
307 ** subr_65535_u32_x:
308 ** mov (z[0-9]+\.s), #65535
309 ** sub z0\.s, \1, z0\.s
310 ** ret
311 */
312 TEST_UNIFORM_Z (subr_65535_u32_x, svuint32_t,
313 z0 = svsubr_n_u32_x (p0, z0, 65535),
314 z0 = svsubr_x (p0, z0, 65535))
315
316 /*
317 ** subr_65536_u32_x:
318 ** mov (z[0-9]+\.s), #65536
319 ** sub z0\.s, \1, z0\.s
320 ** ret
321 */
322 TEST_UNIFORM_Z (subr_65536_u32_x, svuint32_t,
323 z0 = svsubr_n_u32_x (p0, z0, 65536),
324 z0 = svsubr_x (p0, z0, 65536))
325
326 /*
327 ** subr_m1_u32_x_tied1:
328 ** mov (z[0-9]+)\.b, #-1
329 ** sub z0\.s, \1\.s, z0\.s
330 ** ret
331 */
332 TEST_UNIFORM_Z (subr_m1_u32_x_tied1, svuint32_t,
333 z0 = svsubr_n_u32_x (p0, z0, -1),
334 z0 = svsubr_x (p0, z0, -1))
335
336 /*
337 ** subr_m1_u32_x_untied:
338 ** mov (z[0-9]+)\.b, #-1
339 ** sub z0\.s, \1\.s, z1\.s
340 ** ret
341 */
342 TEST_UNIFORM_Z (subr_m1_u32_x_untied, svuint32_t,
343 z0 = svsubr_n_u32_x (p0, z1, -1),
344 z0 = svsubr_x (p0, z1, -1))