1 /*
2 * ARM AdvSIMD / SVE Vector Operations
3 *
4 * Copyright (c) 2018 Linaro
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18 */
19
20 #include "qemu/osdep.h"
21 #include "cpu.h"
22 #include "exec/helper-proto.h"
23 #include "tcg/tcg-gvec-desc.h"
24 #include "fpu/softfloat.h"
25 #include "qemu/int128.h"
26 #include "crypto/clmul.h"
27 #include "vec_internal.h"
28
29 /*
30 * Data for expanding active predicate bits to bytes, for byte elements.
31 *
32 * for (i = 0; i < 256; ++i) {
33 * unsigned long m = 0;
34 * for (j = 0; j < 8; j++) {
35 * if ((i >> j) & 1) {
36 * m |= 0xfful << (j << 3);
37 * }
38 * }
39 * printf("0x%016lx,\n", m);
40 * }
41 */
42 const uint64_t expand_pred_b_data[256] = {
43 0x0000000000000000, 0x00000000000000ff, 0x000000000000ff00,
44 0x000000000000ffff, 0x0000000000ff0000, 0x0000000000ff00ff,
45 0x0000000000ffff00, 0x0000000000ffffff, 0x00000000ff000000,
46 0x00000000ff0000ff, 0x00000000ff00ff00, 0x00000000ff00ffff,
47 0x00000000ffff0000, 0x00000000ffff00ff, 0x00000000ffffff00,
48 0x00000000ffffffff, 0x000000ff00000000, 0x000000ff000000ff,
49 0x000000ff0000ff00, 0x000000ff0000ffff, 0x000000ff00ff0000,
50 0x000000ff00ff00ff, 0x000000ff00ffff00, 0x000000ff00ffffff,
51 0x000000ffff000000, 0x000000ffff0000ff, 0x000000ffff00ff00,
52 0x000000ffff00ffff, 0x000000ffffff0000, 0x000000ffffff00ff,
53 0x000000ffffffff00, 0x000000ffffffffff, 0x0000ff0000000000,
54 0x0000ff00000000ff, 0x0000ff000000ff00, 0x0000ff000000ffff,
55 0x0000ff0000ff0000, 0x0000ff0000ff00ff, 0x0000ff0000ffff00,
56 0x0000ff0000ffffff, 0x0000ff00ff000000, 0x0000ff00ff0000ff,
57 0x0000ff00ff00ff00, 0x0000ff00ff00ffff, 0x0000ff00ffff0000,
58 0x0000ff00ffff00ff, 0x0000ff00ffffff00, 0x0000ff00ffffffff,
59 0x0000ffff00000000, 0x0000ffff000000ff, 0x0000ffff0000ff00,
60 0x0000ffff0000ffff, 0x0000ffff00ff0000, 0x0000ffff00ff00ff,
61 0x0000ffff00ffff00, 0x0000ffff00ffffff, 0x0000ffffff000000,
62 0x0000ffffff0000ff, 0x0000ffffff00ff00, 0x0000ffffff00ffff,
63 0x0000ffffffff0000, 0x0000ffffffff00ff, 0x0000ffffffffff00,
64 0x0000ffffffffffff, 0x00ff000000000000, 0x00ff0000000000ff,
65 0x00ff00000000ff00, 0x00ff00000000ffff, 0x00ff000000ff0000,
66 0x00ff000000ff00ff, 0x00ff000000ffff00, 0x00ff000000ffffff,
67 0x00ff0000ff000000, 0x00ff0000ff0000ff, 0x00ff0000ff00ff00,
68 0x00ff0000ff00ffff, 0x00ff0000ffff0000, 0x00ff0000ffff00ff,
69 0x00ff0000ffffff00, 0x00ff0000ffffffff, 0x00ff00ff00000000,
70 0x00ff00ff000000ff, 0x00ff00ff0000ff00, 0x00ff00ff0000ffff,
71 0x00ff00ff00ff0000, 0x00ff00ff00ff00ff, 0x00ff00ff00ffff00,
72 0x00ff00ff00ffffff, 0x00ff00ffff000000, 0x00ff00ffff0000ff,
73 0x00ff00ffff00ff00, 0x00ff00ffff00ffff, 0x00ff00ffffff0000,
74 0x00ff00ffffff00ff, 0x00ff00ffffffff00, 0x00ff00ffffffffff,
75 0x00ffff0000000000, 0x00ffff00000000ff, 0x00ffff000000ff00,
76 0x00ffff000000ffff, 0x00ffff0000ff0000, 0x00ffff0000ff00ff,
77 0x00ffff0000ffff00, 0x00ffff0000ffffff, 0x00ffff00ff000000,
78 0x00ffff00ff0000ff, 0x00ffff00ff00ff00, 0x00ffff00ff00ffff,
79 0x00ffff00ffff0000, 0x00ffff00ffff00ff, 0x00ffff00ffffff00,
80 0x00ffff00ffffffff, 0x00ffffff00000000, 0x00ffffff000000ff,
81 0x00ffffff0000ff00, 0x00ffffff0000ffff, 0x00ffffff00ff0000,
82 0x00ffffff00ff00ff, 0x00ffffff00ffff00, 0x00ffffff00ffffff,
83 0x00ffffffff000000, 0x00ffffffff0000ff, 0x00ffffffff00ff00,
84 0x00ffffffff00ffff, 0x00ffffffffff0000, 0x00ffffffffff00ff,
85 0x00ffffffffffff00, 0x00ffffffffffffff, 0xff00000000000000,
86 0xff000000000000ff, 0xff0000000000ff00, 0xff0000000000ffff,
87 0xff00000000ff0000, 0xff00000000ff00ff, 0xff00000000ffff00,
88 0xff00000000ffffff, 0xff000000ff000000, 0xff000000ff0000ff,
89 0xff000000ff00ff00, 0xff000000ff00ffff, 0xff000000ffff0000,
90 0xff000000ffff00ff, 0xff000000ffffff00, 0xff000000ffffffff,
91 0xff0000ff00000000, 0xff0000ff000000ff, 0xff0000ff0000ff00,
92 0xff0000ff0000ffff, 0xff0000ff00ff0000, 0xff0000ff00ff00ff,
93 0xff0000ff00ffff00, 0xff0000ff00ffffff, 0xff0000ffff000000,
94 0xff0000ffff0000ff, 0xff0000ffff00ff00, 0xff0000ffff00ffff,
95 0xff0000ffffff0000, 0xff0000ffffff00ff, 0xff0000ffffffff00,
96 0xff0000ffffffffff, 0xff00ff0000000000, 0xff00ff00000000ff,
97 0xff00ff000000ff00, 0xff00ff000000ffff, 0xff00ff0000ff0000,
98 0xff00ff0000ff00ff, 0xff00ff0000ffff00, 0xff00ff0000ffffff,
99 0xff00ff00ff000000, 0xff00ff00ff0000ff, 0xff00ff00ff00ff00,
100 0xff00ff00ff00ffff, 0xff00ff00ffff0000, 0xff00ff00ffff00ff,
101 0xff00ff00ffffff00, 0xff00ff00ffffffff, 0xff00ffff00000000,
102 0xff00ffff000000ff, 0xff00ffff0000ff00, 0xff00ffff0000ffff,
103 0xff00ffff00ff0000, 0xff00ffff00ff00ff, 0xff00ffff00ffff00,
104 0xff00ffff00ffffff, 0xff00ffffff000000, 0xff00ffffff0000ff,
105 0xff00ffffff00ff00, 0xff00ffffff00ffff, 0xff00ffffffff0000,
106 0xff00ffffffff00ff, 0xff00ffffffffff00, 0xff00ffffffffffff,
107 0xffff000000000000, 0xffff0000000000ff, 0xffff00000000ff00,
108 0xffff00000000ffff, 0xffff000000ff0000, 0xffff000000ff00ff,
109 0xffff000000ffff00, 0xffff000000ffffff, 0xffff0000ff000000,
110 0xffff0000ff0000ff, 0xffff0000ff00ff00, 0xffff0000ff00ffff,
111 0xffff0000ffff0000, 0xffff0000ffff00ff, 0xffff0000ffffff00,
112 0xffff0000ffffffff, 0xffff00ff00000000, 0xffff00ff000000ff,
113 0xffff00ff0000ff00, 0xffff00ff0000ffff, 0xffff00ff00ff0000,
114 0xffff00ff00ff00ff, 0xffff00ff00ffff00, 0xffff00ff00ffffff,
115 0xffff00ffff000000, 0xffff00ffff0000ff, 0xffff00ffff00ff00,
116 0xffff00ffff00ffff, 0xffff00ffffff0000, 0xffff00ffffff00ff,
117 0xffff00ffffffff00, 0xffff00ffffffffff, 0xffffff0000000000,
118 0xffffff00000000ff, 0xffffff000000ff00, 0xffffff000000ffff,
119 0xffffff0000ff0000, 0xffffff0000ff00ff, 0xffffff0000ffff00,
120 0xffffff0000ffffff, 0xffffff00ff000000, 0xffffff00ff0000ff,
121 0xffffff00ff00ff00, 0xffffff00ff00ffff, 0xffffff00ffff0000,
122 0xffffff00ffff00ff, 0xffffff00ffffff00, 0xffffff00ffffffff,
123 0xffffffff00000000, 0xffffffff000000ff, 0xffffffff0000ff00,
124 0xffffffff0000ffff, 0xffffffff00ff0000, 0xffffffff00ff00ff,
125 0xffffffff00ffff00, 0xffffffff00ffffff, 0xffffffffff000000,
126 0xffffffffff0000ff, 0xffffffffff00ff00, 0xffffffffff00ffff,
127 0xffffffffffff0000, 0xffffffffffff00ff, 0xffffffffffffff00,
128 0xffffffffffffffff,
129 };
130
131 /*
132 * Similarly for half-word elements.
133 * for (i = 0; i < 256; ++i) {
134 * unsigned long m = 0;
135 * if (i & 0xaa) {
136 * continue;
137 * }
138 * for (j = 0; j < 8; j += 2) {
139 * if ((i >> j) & 1) {
140 * m |= 0xfffful << (j << 3);
141 * }
142 * }
143 * printf("[0x%x] = 0x%016lx,\n", i, m);
144 * }
145 */
146 const uint64_t expand_pred_h_data[0x55 + 1] = {
147 [0x01] = 0x000000000000ffff, [0x04] = 0x00000000ffff0000,
148 [0x05] = 0x00000000ffffffff, [0x10] = 0x0000ffff00000000,
149 [0x11] = 0x0000ffff0000ffff, [0x14] = 0x0000ffffffff0000,
150 [0x15] = 0x0000ffffffffffff, [0x40] = 0xffff000000000000,
151 [0x41] = 0xffff00000000ffff, [0x44] = 0xffff0000ffff0000,
152 [0x45] = 0xffff0000ffffffff, [0x50] = 0xffffffff00000000,
153 [0x51] = 0xffffffff0000ffff, [0x54] = 0xffffffffffff0000,
154 [0x55] = 0xffffffffffffffff,
155 };
156
157 /* Signed saturating rounding doubling multiply-accumulate high half, 8-bit */
do_sqrdmlah_b(int8_t src1,int8_t src2,int8_t src3,bool neg,bool round)158 int8_t do_sqrdmlah_b(int8_t src1, int8_t src2, int8_t src3,
159 bool neg, bool round)
160 {
161 /*
162 * Simplify:
163 * = ((a3 << 8) + ((e1 * e2) << 1) + (round << 7)) >> 8
164 * = ((a3 << 7) + (e1 * e2) + (round << 6)) >> 7
165 */
166 int32_t ret = (int32_t)src1 * src2;
167 if (neg) {
168 ret = -ret;
169 }
170 ret += ((int32_t)src3 << 7) + (round << 6);
171 ret >>= 7;
172
173 if (ret != (int8_t)ret) {
174 ret = (ret < 0 ? INT8_MIN : INT8_MAX);
175 }
176 return ret;
177 }
178
HELPER(sve2_sqrdmlah_b)179 void HELPER(sve2_sqrdmlah_b)(void *vd, void *vn, void *vm,
180 void *va, uint32_t desc)
181 {
182 intptr_t i, opr_sz = simd_oprsz(desc);
183 int8_t *d = vd, *n = vn, *m = vm, *a = va;
184
185 for (i = 0; i < opr_sz; ++i) {
186 d[i] = do_sqrdmlah_b(n[i], m[i], a[i], false, true);
187 }
188 }
189
HELPER(sve2_sqrdmlsh_b)190 void HELPER(sve2_sqrdmlsh_b)(void *vd, void *vn, void *vm,
191 void *va, uint32_t desc)
192 {
193 intptr_t i, opr_sz = simd_oprsz(desc);
194 int8_t *d = vd, *n = vn, *m = vm, *a = va;
195
196 for (i = 0; i < opr_sz; ++i) {
197 d[i] = do_sqrdmlah_b(n[i], m[i], a[i], true, true);
198 }
199 }
200
HELPER(sve2_sqdmulh_b)201 void HELPER(sve2_sqdmulh_b)(void *vd, void *vn, void *vm, uint32_t desc)
202 {
203 intptr_t i, opr_sz = simd_oprsz(desc);
204 int8_t *d = vd, *n = vn, *m = vm;
205
206 for (i = 0; i < opr_sz; ++i) {
207 d[i] = do_sqrdmlah_b(n[i], m[i], 0, false, false);
208 }
209 }
210
HELPER(sve2_sqrdmulh_b)211 void HELPER(sve2_sqrdmulh_b)(void *vd, void *vn, void *vm, uint32_t desc)
212 {
213 intptr_t i, opr_sz = simd_oprsz(desc);
214 int8_t *d = vd, *n = vn, *m = vm;
215
216 for (i = 0; i < opr_sz; ++i) {
217 d[i] = do_sqrdmlah_b(n[i], m[i], 0, false, true);
218 }
219 }
220
221 /* Signed saturating rounding doubling multiply-accumulate high half, 16-bit */
do_sqrdmlah_h(int16_t src1,int16_t src2,int16_t src3,bool neg,bool round,uint32_t * sat)222 int16_t do_sqrdmlah_h(int16_t src1, int16_t src2, int16_t src3,
223 bool neg, bool round, uint32_t *sat)
224 {
225 /* Simplify similarly to do_sqrdmlah_b above. */
226 int32_t ret = (int32_t)src1 * src2;
227 if (neg) {
228 ret = -ret;
229 }
230 ret += ((int32_t)src3 << 15) + (round << 14);
231 ret >>= 15;
232
233 if (ret != (int16_t)ret) {
234 *sat = 1;
235 ret = (ret < 0 ? INT16_MIN : INT16_MAX);
236 }
237 return ret;
238 }
239
HELPER(neon_qrdmlah_s16)240 uint32_t HELPER(neon_qrdmlah_s16)(CPUARMState *env, uint32_t src1,
241 uint32_t src2, uint32_t src3)
242 {
243 uint32_t *sat = &env->vfp.qc[0];
244 uint16_t e1 = do_sqrdmlah_h(src1, src2, src3, false, true, sat);
245 uint16_t e2 = do_sqrdmlah_h(src1 >> 16, src2 >> 16, src3 >> 16,
246 false, true, sat);
247 return deposit32(e1, 16, 16, e2);
248 }
249
HELPER(gvec_qrdmlah_s16)250 void HELPER(gvec_qrdmlah_s16)(void *vd, void *vn, void *vm,
251 void *vq, uint32_t desc)
252 {
253 uintptr_t opr_sz = simd_oprsz(desc);
254 int16_t *d = vd;
255 int16_t *n = vn;
256 int16_t *m = vm;
257 uintptr_t i;
258
259 for (i = 0; i < opr_sz / 2; ++i) {
260 d[i] = do_sqrdmlah_h(n[i], m[i], d[i], false, true, vq);
261 }
262 clear_tail(d, opr_sz, simd_maxsz(desc));
263 }
264
HELPER(neon_qrdmlsh_s16)265 uint32_t HELPER(neon_qrdmlsh_s16)(CPUARMState *env, uint32_t src1,
266 uint32_t src2, uint32_t src3)
267 {
268 uint32_t *sat = &env->vfp.qc[0];
269 uint16_t e1 = do_sqrdmlah_h(src1, src2, src3, true, true, sat);
270 uint16_t e2 = do_sqrdmlah_h(src1 >> 16, src2 >> 16, src3 >> 16,
271 true, true, sat);
272 return deposit32(e1, 16, 16, e2);
273 }
274
HELPER(gvec_qrdmlsh_s16)275 void HELPER(gvec_qrdmlsh_s16)(void *vd, void *vn, void *vm,
276 void *vq, uint32_t desc)
277 {
278 uintptr_t opr_sz = simd_oprsz(desc);
279 int16_t *d = vd;
280 int16_t *n = vn;
281 int16_t *m = vm;
282 uintptr_t i;
283
284 for (i = 0; i < opr_sz / 2; ++i) {
285 d[i] = do_sqrdmlah_h(n[i], m[i], d[i], true, true, vq);
286 }
287 clear_tail(d, opr_sz, simd_maxsz(desc));
288 }
289
HELPER(neon_sqdmulh_h)290 void HELPER(neon_sqdmulh_h)(void *vd, void *vn, void *vm,
291 void *vq, uint32_t desc)
292 {
293 intptr_t i, opr_sz = simd_oprsz(desc);
294 int16_t *d = vd, *n = vn, *m = vm;
295
296 for (i = 0; i < opr_sz / 2; ++i) {
297 d[i] = do_sqrdmlah_h(n[i], m[i], 0, false, false, vq);
298 }
299 clear_tail(d, opr_sz, simd_maxsz(desc));
300 }
301
HELPER(neon_sqrdmulh_h)302 void HELPER(neon_sqrdmulh_h)(void *vd, void *vn, void *vm,
303 void *vq, uint32_t desc)
304 {
305 intptr_t i, opr_sz = simd_oprsz(desc);
306 int16_t *d = vd, *n = vn, *m = vm;
307
308 for (i = 0; i < opr_sz / 2; ++i) {
309 d[i] = do_sqrdmlah_h(n[i], m[i], 0, false, true, vq);
310 }
311 clear_tail(d, opr_sz, simd_maxsz(desc));
312 }
313
HELPER(sve2_sqrdmlah_h)314 void HELPER(sve2_sqrdmlah_h)(void *vd, void *vn, void *vm,
315 void *va, uint32_t desc)
316 {
317 intptr_t i, opr_sz = simd_oprsz(desc);
318 int16_t *d = vd, *n = vn, *m = vm, *a = va;
319 uint32_t discard;
320
321 for (i = 0; i < opr_sz / 2; ++i) {
322 d[i] = do_sqrdmlah_h(n[i], m[i], a[i], false, true, &discard);
323 }
324 }
325
HELPER(sve2_sqrdmlsh_h)326 void HELPER(sve2_sqrdmlsh_h)(void *vd, void *vn, void *vm,
327 void *va, uint32_t desc)
328 {
329 intptr_t i, opr_sz = simd_oprsz(desc);
330 int16_t *d = vd, *n = vn, *m = vm, *a = va;
331 uint32_t discard;
332
333 for (i = 0; i < opr_sz / 2; ++i) {
334 d[i] = do_sqrdmlah_h(n[i], m[i], a[i], true, true, &discard);
335 }
336 }
337
HELPER(sve2_sqdmulh_h)338 void HELPER(sve2_sqdmulh_h)(void *vd, void *vn, void *vm, uint32_t desc)
339 {
340 intptr_t i, opr_sz = simd_oprsz(desc);
341 int16_t *d = vd, *n = vn, *m = vm;
342 uint32_t discard;
343
344 for (i = 0; i < opr_sz / 2; ++i) {
345 d[i] = do_sqrdmlah_h(n[i], m[i], 0, false, false, &discard);
346 }
347 }
348
HELPER(sve2_sqrdmulh_h)349 void HELPER(sve2_sqrdmulh_h)(void *vd, void *vn, void *vm, uint32_t desc)
350 {
351 intptr_t i, opr_sz = simd_oprsz(desc);
352 int16_t *d = vd, *n = vn, *m = vm;
353 uint32_t discard;
354
355 for (i = 0; i < opr_sz / 2; ++i) {
356 d[i] = do_sqrdmlah_h(n[i], m[i], 0, false, true, &discard);
357 }
358 }
359
HELPER(sve2_sqdmulh_idx_h)360 void HELPER(sve2_sqdmulh_idx_h)(void *vd, void *vn, void *vm, uint32_t desc)
361 {
362 intptr_t i, j, opr_sz = simd_oprsz(desc);
363 int idx = simd_data(desc);
364 int16_t *d = vd, *n = vn, *m = (int16_t *)vm + H2(idx);
365 uint32_t discard;
366
367 for (i = 0; i < opr_sz / 2; i += 16 / 2) {
368 int16_t mm = m[i];
369 for (j = 0; j < 16 / 2; ++j) {
370 d[i + j] = do_sqrdmlah_h(n[i + j], mm, 0, false, false, &discard);
371 }
372 }
373 }
374
HELPER(sve2_sqrdmulh_idx_h)375 void HELPER(sve2_sqrdmulh_idx_h)(void *vd, void *vn, void *vm, uint32_t desc)
376 {
377 intptr_t i, j, opr_sz = simd_oprsz(desc);
378 int idx = simd_data(desc);
379 int16_t *d = vd, *n = vn, *m = (int16_t *)vm + H2(idx);
380 uint32_t discard;
381
382 for (i = 0; i < opr_sz / 2; i += 16 / 2) {
383 int16_t mm = m[i];
384 for (j = 0; j < 16 / 2; ++j) {
385 d[i + j] = do_sqrdmlah_h(n[i + j], mm, 0, false, true, &discard);
386 }
387 }
388 }
389
390 /* Signed saturating rounding doubling multiply-accumulate high half, 32-bit */
do_sqrdmlah_s(int32_t src1,int32_t src2,int32_t src3,bool neg,bool round,uint32_t * sat)391 int32_t do_sqrdmlah_s(int32_t src1, int32_t src2, int32_t src3,
392 bool neg, bool round, uint32_t *sat)
393 {
394 /* Simplify similarly to do_sqrdmlah_b above. */
395 int64_t ret = (int64_t)src1 * src2;
396 if (neg) {
397 ret = -ret;
398 }
399 ret += ((int64_t)src3 << 31) + (round << 30);
400 ret >>= 31;
401
402 if (ret != (int32_t)ret) {
403 *sat = 1;
404 ret = (ret < 0 ? INT32_MIN : INT32_MAX);
405 }
406 return ret;
407 }
408
HELPER(neon_qrdmlah_s32)409 uint32_t HELPER(neon_qrdmlah_s32)(CPUARMState *env, int32_t src1,
410 int32_t src2, int32_t src3)
411 {
412 uint32_t *sat = &env->vfp.qc[0];
413 return do_sqrdmlah_s(src1, src2, src3, false, true, sat);
414 }
415
HELPER(gvec_qrdmlah_s32)416 void HELPER(gvec_qrdmlah_s32)(void *vd, void *vn, void *vm,
417 void *vq, uint32_t desc)
418 {
419 uintptr_t opr_sz = simd_oprsz(desc);
420 int32_t *d = vd;
421 int32_t *n = vn;
422 int32_t *m = vm;
423 uintptr_t i;
424
425 for (i = 0; i < opr_sz / 4; ++i) {
426 d[i] = do_sqrdmlah_s(n[i], m[i], d[i], false, true, vq);
427 }
428 clear_tail(d, opr_sz, simd_maxsz(desc));
429 }
430
HELPER(neon_qrdmlsh_s32)431 uint32_t HELPER(neon_qrdmlsh_s32)(CPUARMState *env, int32_t src1,
432 int32_t src2, int32_t src3)
433 {
434 uint32_t *sat = &env->vfp.qc[0];
435 return do_sqrdmlah_s(src1, src2, src3, true, true, sat);
436 }
437
HELPER(gvec_qrdmlsh_s32)438 void HELPER(gvec_qrdmlsh_s32)(void *vd, void *vn, void *vm,
439 void *vq, uint32_t desc)
440 {
441 uintptr_t opr_sz = simd_oprsz(desc);
442 int32_t *d = vd;
443 int32_t *n = vn;
444 int32_t *m = vm;
445 uintptr_t i;
446
447 for (i = 0; i < opr_sz / 4; ++i) {
448 d[i] = do_sqrdmlah_s(n[i], m[i], d[i], true, true, vq);
449 }
450 clear_tail(d, opr_sz, simd_maxsz(desc));
451 }
452
HELPER(neon_sqdmulh_s)453 void HELPER(neon_sqdmulh_s)(void *vd, void *vn, void *vm,
454 void *vq, uint32_t desc)
455 {
456 intptr_t i, opr_sz = simd_oprsz(desc);
457 int32_t *d = vd, *n = vn, *m = vm;
458
459 for (i = 0; i < opr_sz / 4; ++i) {
460 d[i] = do_sqrdmlah_s(n[i], m[i], 0, false, false, vq);
461 }
462 clear_tail(d, opr_sz, simd_maxsz(desc));
463 }
464
HELPER(neon_sqrdmulh_s)465 void HELPER(neon_sqrdmulh_s)(void *vd, void *vn, void *vm,
466 void *vq, uint32_t desc)
467 {
468 intptr_t i, opr_sz = simd_oprsz(desc);
469 int32_t *d = vd, *n = vn, *m = vm;
470
471 for (i = 0; i < opr_sz / 4; ++i) {
472 d[i] = do_sqrdmlah_s(n[i], m[i], 0, false, true, vq);
473 }
474 clear_tail(d, opr_sz, simd_maxsz(desc));
475 }
476
HELPER(sve2_sqrdmlah_s)477 void HELPER(sve2_sqrdmlah_s)(void *vd, void *vn, void *vm,
478 void *va, uint32_t desc)
479 {
480 intptr_t i, opr_sz = simd_oprsz(desc);
481 int32_t *d = vd, *n = vn, *m = vm, *a = va;
482 uint32_t discard;
483
484 for (i = 0; i < opr_sz / 4; ++i) {
485 d[i] = do_sqrdmlah_s(n[i], m[i], a[i], false, true, &discard);
486 }
487 }
488
HELPER(sve2_sqrdmlsh_s)489 void HELPER(sve2_sqrdmlsh_s)(void *vd, void *vn, void *vm,
490 void *va, uint32_t desc)
491 {
492 intptr_t i, opr_sz = simd_oprsz(desc);
493 int32_t *d = vd, *n = vn, *m = vm, *a = va;
494 uint32_t discard;
495
496 for (i = 0; i < opr_sz / 4; ++i) {
497 d[i] = do_sqrdmlah_s(n[i], m[i], a[i], true, true, &discard);
498 }
499 }
500
HELPER(sve2_sqdmulh_s)501 void HELPER(sve2_sqdmulh_s)(void *vd, void *vn, void *vm, uint32_t desc)
502 {
503 intptr_t i, opr_sz = simd_oprsz(desc);
504 int32_t *d = vd, *n = vn, *m = vm;
505 uint32_t discard;
506
507 for (i = 0; i < opr_sz / 4; ++i) {
508 d[i] = do_sqrdmlah_s(n[i], m[i], 0, false, false, &discard);
509 }
510 }
511
HELPER(sve2_sqrdmulh_s)512 void HELPER(sve2_sqrdmulh_s)(void *vd, void *vn, void *vm, uint32_t desc)
513 {
514 intptr_t i, opr_sz = simd_oprsz(desc);
515 int32_t *d = vd, *n = vn, *m = vm;
516 uint32_t discard;
517
518 for (i = 0; i < opr_sz / 4; ++i) {
519 d[i] = do_sqrdmlah_s(n[i], m[i], 0, false, true, &discard);
520 }
521 }
522
HELPER(sve2_sqdmulh_idx_s)523 void HELPER(sve2_sqdmulh_idx_s)(void *vd, void *vn, void *vm, uint32_t desc)
524 {
525 intptr_t i, j, opr_sz = simd_oprsz(desc);
526 int idx = simd_data(desc);
527 int32_t *d = vd, *n = vn, *m = (int32_t *)vm + H4(idx);
528 uint32_t discard;
529
530 for (i = 0; i < opr_sz / 4; i += 16 / 4) {
531 int32_t mm = m[i];
532 for (j = 0; j < 16 / 4; ++j) {
533 d[i + j] = do_sqrdmlah_s(n[i + j], mm, 0, false, false, &discard);
534 }
535 }
536 }
537
HELPER(sve2_sqrdmulh_idx_s)538 void HELPER(sve2_sqrdmulh_idx_s)(void *vd, void *vn, void *vm, uint32_t desc)
539 {
540 intptr_t i, j, opr_sz = simd_oprsz(desc);
541 int idx = simd_data(desc);
542 int32_t *d = vd, *n = vn, *m = (int32_t *)vm + H4(idx);
543 uint32_t discard;
544
545 for (i = 0; i < opr_sz / 4; i += 16 / 4) {
546 int32_t mm = m[i];
547 for (j = 0; j < 16 / 4; ++j) {
548 d[i + j] = do_sqrdmlah_s(n[i + j], mm, 0, false, true, &discard);
549 }
550 }
551 }
552
553 /* Signed saturating rounding doubling multiply-accumulate high half, 64-bit */
do_sat128_d(Int128 r)554 static int64_t do_sat128_d(Int128 r)
555 {
556 int64_t ls = int128_getlo(r);
557 int64_t hs = int128_gethi(r);
558
559 if (unlikely(hs != (ls >> 63))) {
560 return hs < 0 ? INT64_MIN : INT64_MAX;
561 }
562 return ls;
563 }
564
do_sqrdmlah_d(int64_t n,int64_t m,int64_t a,bool neg,bool round)565 int64_t do_sqrdmlah_d(int64_t n, int64_t m, int64_t a, bool neg, bool round)
566 {
567 uint64_t l, h;
568 Int128 r, t;
569
570 /* As in do_sqrdmlah_b, but with 128-bit arithmetic. */
571 muls64(&l, &h, m, n);
572 r = int128_make128(l, h);
573 if (neg) {
574 r = int128_neg(r);
575 }
576 if (a) {
577 t = int128_exts64(a);
578 t = int128_lshift(t, 63);
579 r = int128_add(r, t);
580 }
581 if (round) {
582 t = int128_exts64(1ll << 62);
583 r = int128_add(r, t);
584 }
585 r = int128_rshift(r, 63);
586
587 return do_sat128_d(r);
588 }
589
HELPER(sve2_sqrdmlah_d)590 void HELPER(sve2_sqrdmlah_d)(void *vd, void *vn, void *vm,
591 void *va, uint32_t desc)
592 {
593 intptr_t i, opr_sz = simd_oprsz(desc);
594 int64_t *d = vd, *n = vn, *m = vm, *a = va;
595
596 for (i = 0; i < opr_sz / 8; ++i) {
597 d[i] = do_sqrdmlah_d(n[i], m[i], a[i], false, true);
598 }
599 }
600
HELPER(sve2_sqrdmlsh_d)601 void HELPER(sve2_sqrdmlsh_d)(void *vd, void *vn, void *vm,
602 void *va, uint32_t desc)
603 {
604 intptr_t i, opr_sz = simd_oprsz(desc);
605 int64_t *d = vd, *n = vn, *m = vm, *a = va;
606
607 for (i = 0; i < opr_sz / 8; ++i) {
608 d[i] = do_sqrdmlah_d(n[i], m[i], a[i], true, true);
609 }
610 }
611
HELPER(sve2_sqdmulh_d)612 void HELPER(sve2_sqdmulh_d)(void *vd, void *vn, void *vm, uint32_t desc)
613 {
614 intptr_t i, opr_sz = simd_oprsz(desc);
615 int64_t *d = vd, *n = vn, *m = vm;
616
617 for (i = 0; i < opr_sz / 8; ++i) {
618 d[i] = do_sqrdmlah_d(n[i], m[i], 0, false, false);
619 }
620 }
621
HELPER(sve2_sqrdmulh_d)622 void HELPER(sve2_sqrdmulh_d)(void *vd, void *vn, void *vm, uint32_t desc)
623 {
624 intptr_t i, opr_sz = simd_oprsz(desc);
625 int64_t *d = vd, *n = vn, *m = vm;
626
627 for (i = 0; i < opr_sz / 8; ++i) {
628 d[i] = do_sqrdmlah_d(n[i], m[i], 0, false, true);
629 }
630 }
631
HELPER(sve2_sqdmulh_idx_d)632 void HELPER(sve2_sqdmulh_idx_d)(void *vd, void *vn, void *vm, uint32_t desc)
633 {
634 intptr_t i, j, opr_sz = simd_oprsz(desc);
635 int idx = simd_data(desc);
636 int64_t *d = vd, *n = vn, *m = (int64_t *)vm + idx;
637
638 for (i = 0; i < opr_sz / 8; i += 16 / 8) {
639 int64_t mm = m[i];
640 for (j = 0; j < 16 / 8; ++j) {
641 d[i + j] = do_sqrdmlah_d(n[i + j], mm, 0, false, false);
642 }
643 }
644 }
645
HELPER(sve2_sqrdmulh_idx_d)646 void HELPER(sve2_sqrdmulh_idx_d)(void *vd, void *vn, void *vm, uint32_t desc)
647 {
648 intptr_t i, j, opr_sz = simd_oprsz(desc);
649 int idx = simd_data(desc);
650 int64_t *d = vd, *n = vn, *m = (int64_t *)vm + idx;
651
652 for (i = 0; i < opr_sz / 8; i += 16 / 8) {
653 int64_t mm = m[i];
654 for (j = 0; j < 16 / 8; ++j) {
655 d[i + j] = do_sqrdmlah_d(n[i + j], mm, 0, false, true);
656 }
657 }
658 }
659
660 /* Integer 8 and 16-bit dot-product.
661 *
662 * Note that for the loops herein, host endianness does not matter
663 * with respect to the ordering of data within the quad-width lanes.
664 * All elements are treated equally, no matter where they are.
665 */
666
667 #define DO_DOT(NAME, TYPED, TYPEN, TYPEM) \
668 void HELPER(NAME)(void *vd, void *vn, void *vm, void *va, uint32_t desc) \
669 { \
670 intptr_t i, opr_sz = simd_oprsz(desc); \
671 TYPED *d = vd, *a = va; \
672 TYPEN *n = vn; \
673 TYPEM *m = vm; \
674 for (i = 0; i < opr_sz / sizeof(TYPED); ++i) { \
675 d[i] = (a[i] + \
676 (TYPED)n[i * 4 + 0] * m[i * 4 + 0] + \
677 (TYPED)n[i * 4 + 1] * m[i * 4 + 1] + \
678 (TYPED)n[i * 4 + 2] * m[i * 4 + 2] + \
679 (TYPED)n[i * 4 + 3] * m[i * 4 + 3]); \
680 } \
681 clear_tail(d, opr_sz, simd_maxsz(desc)); \
682 }
683
DO_DOT(gvec_sdot_b,int32_t,int8_t,int8_t)684 DO_DOT(gvec_sdot_b, int32_t, int8_t, int8_t)
685 DO_DOT(gvec_udot_b, uint32_t, uint8_t, uint8_t)
686 DO_DOT(gvec_usdot_b, uint32_t, uint8_t, int8_t)
687 DO_DOT(gvec_sdot_h, int64_t, int16_t, int16_t)
688 DO_DOT(gvec_udot_h, uint64_t, uint16_t, uint16_t)
689
690 #define DO_DOT_IDX(NAME, TYPED, TYPEN, TYPEM, HD) \
691 void HELPER(NAME)(void *vd, void *vn, void *vm, void *va, uint32_t desc) \
692 { \
693 intptr_t i = 0, opr_sz = simd_oprsz(desc); \
694 intptr_t opr_sz_n = opr_sz / sizeof(TYPED); \
695 intptr_t segend = MIN(16 / sizeof(TYPED), opr_sz_n); \
696 intptr_t index = simd_data(desc); \
697 TYPED *d = vd, *a = va; \
698 TYPEN *n = vn; \
699 TYPEM *m_indexed = (TYPEM *)vm + HD(index) * 4; \
700 do { \
701 TYPED m0 = m_indexed[i * 4 + 0]; \
702 TYPED m1 = m_indexed[i * 4 + 1]; \
703 TYPED m2 = m_indexed[i * 4 + 2]; \
704 TYPED m3 = m_indexed[i * 4 + 3]; \
705 do { \
706 d[i] = (a[i] + \
707 n[i * 4 + 0] * m0 + \
708 n[i * 4 + 1] * m1 + \
709 n[i * 4 + 2] * m2 + \
710 n[i * 4 + 3] * m3); \
711 } while (++i < segend); \
712 segend = i + 4; \
713 } while (i < opr_sz_n); \
714 clear_tail(d, opr_sz, simd_maxsz(desc)); \
715 }
716
717 DO_DOT_IDX(gvec_sdot_idx_b, int32_t, int8_t, int8_t, H4)
718 DO_DOT_IDX(gvec_udot_idx_b, uint32_t, uint8_t, uint8_t, H4)
719 DO_DOT_IDX(gvec_sudot_idx_b, int32_t, int8_t, uint8_t, H4)
720 DO_DOT_IDX(gvec_usdot_idx_b, int32_t, uint8_t, int8_t, H4)
721 DO_DOT_IDX(gvec_sdot_idx_h, int64_t, int16_t, int16_t, H8)
722 DO_DOT_IDX(gvec_udot_idx_h, uint64_t, uint16_t, uint16_t, H8)
723
724 void HELPER(gvec_fcaddh)(void *vd, void *vn, void *vm,
725 void *vfpst, uint32_t desc)
726 {
727 uintptr_t opr_sz = simd_oprsz(desc);
728 float16 *d = vd;
729 float16 *n = vn;
730 float16 *m = vm;
731 float_status *fpst = vfpst;
732 uint32_t neg_real = extract32(desc, SIMD_DATA_SHIFT, 1);
733 uint32_t neg_imag = neg_real ^ 1;
734 uintptr_t i;
735
736 /* Shift boolean to the sign bit so we can xor to negate. */
737 neg_real <<= 15;
738 neg_imag <<= 15;
739
740 for (i = 0; i < opr_sz / 2; i += 2) {
741 float16 e0 = n[H2(i)];
742 float16 e1 = m[H2(i + 1)] ^ neg_imag;
743 float16 e2 = n[H2(i + 1)];
744 float16 e3 = m[H2(i)] ^ neg_real;
745
746 d[H2(i)] = float16_add(e0, e1, fpst);
747 d[H2(i + 1)] = float16_add(e2, e3, fpst);
748 }
749 clear_tail(d, opr_sz, simd_maxsz(desc));
750 }
751
HELPER(gvec_fcadds)752 void HELPER(gvec_fcadds)(void *vd, void *vn, void *vm,
753 void *vfpst, uint32_t desc)
754 {
755 uintptr_t opr_sz = simd_oprsz(desc);
756 float32 *d = vd;
757 float32 *n = vn;
758 float32 *m = vm;
759 float_status *fpst = vfpst;
760 uint32_t neg_real = extract32(desc, SIMD_DATA_SHIFT, 1);
761 uint32_t neg_imag = neg_real ^ 1;
762 uintptr_t i;
763
764 /* Shift boolean to the sign bit so we can xor to negate. */
765 neg_real <<= 31;
766 neg_imag <<= 31;
767
768 for (i = 0; i < opr_sz / 4; i += 2) {
769 float32 e0 = n[H4(i)];
770 float32 e1 = m[H4(i + 1)] ^ neg_imag;
771 float32 e2 = n[H4(i + 1)];
772 float32 e3 = m[H4(i)] ^ neg_real;
773
774 d[H4(i)] = float32_add(e0, e1, fpst);
775 d[H4(i + 1)] = float32_add(e2, e3, fpst);
776 }
777 clear_tail(d, opr_sz, simd_maxsz(desc));
778 }
779
HELPER(gvec_fcaddd)780 void HELPER(gvec_fcaddd)(void *vd, void *vn, void *vm,
781 void *vfpst, uint32_t desc)
782 {
783 uintptr_t opr_sz = simd_oprsz(desc);
784 float64 *d = vd;
785 float64 *n = vn;
786 float64 *m = vm;
787 float_status *fpst = vfpst;
788 uint64_t neg_real = extract64(desc, SIMD_DATA_SHIFT, 1);
789 uint64_t neg_imag = neg_real ^ 1;
790 uintptr_t i;
791
792 /* Shift boolean to the sign bit so we can xor to negate. */
793 neg_real <<= 63;
794 neg_imag <<= 63;
795
796 for (i = 0; i < opr_sz / 8; i += 2) {
797 float64 e0 = n[i];
798 float64 e1 = m[i + 1] ^ neg_imag;
799 float64 e2 = n[i + 1];
800 float64 e3 = m[i] ^ neg_real;
801
802 d[i] = float64_add(e0, e1, fpst);
803 d[i + 1] = float64_add(e2, e3, fpst);
804 }
805 clear_tail(d, opr_sz, simd_maxsz(desc));
806 }
807
HELPER(gvec_fcmlah)808 void HELPER(gvec_fcmlah)(void *vd, void *vn, void *vm, void *va,
809 void *vfpst, uint32_t desc)
810 {
811 uintptr_t opr_sz = simd_oprsz(desc);
812 float16 *d = vd, *n = vn, *m = vm, *a = va;
813 float_status *fpst = vfpst;
814 intptr_t flip = extract32(desc, SIMD_DATA_SHIFT, 1);
815 uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
816 uint32_t neg_real = flip ^ neg_imag;
817 uintptr_t i;
818
819 /* Shift boolean to the sign bit so we can xor to negate. */
820 neg_real <<= 15;
821 neg_imag <<= 15;
822
823 for (i = 0; i < opr_sz / 2; i += 2) {
824 float16 e2 = n[H2(i + flip)];
825 float16 e1 = m[H2(i + flip)] ^ neg_real;
826 float16 e4 = e2;
827 float16 e3 = m[H2(i + 1 - flip)] ^ neg_imag;
828
829 d[H2(i)] = float16_muladd(e2, e1, a[H2(i)], 0, fpst);
830 d[H2(i + 1)] = float16_muladd(e4, e3, a[H2(i + 1)], 0, fpst);
831 }
832 clear_tail(d, opr_sz, simd_maxsz(desc));
833 }
834
HELPER(gvec_fcmlah_idx)835 void HELPER(gvec_fcmlah_idx)(void *vd, void *vn, void *vm, void *va,
836 void *vfpst, uint32_t desc)
837 {
838 uintptr_t opr_sz = simd_oprsz(desc);
839 float16 *d = vd, *n = vn, *m = vm, *a = va;
840 float_status *fpst = vfpst;
841 intptr_t flip = extract32(desc, SIMD_DATA_SHIFT, 1);
842 uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
843 intptr_t index = extract32(desc, SIMD_DATA_SHIFT + 2, 2);
844 uint32_t neg_real = flip ^ neg_imag;
845 intptr_t elements = opr_sz / sizeof(float16);
846 intptr_t eltspersegment = 16 / sizeof(float16);
847 intptr_t i, j;
848
849 /* Shift boolean to the sign bit so we can xor to negate. */
850 neg_real <<= 15;
851 neg_imag <<= 15;
852
853 for (i = 0; i < elements; i += eltspersegment) {
854 float16 mr = m[H2(i + 2 * index + 0)];
855 float16 mi = m[H2(i + 2 * index + 1)];
856 float16 e1 = neg_real ^ (flip ? mi : mr);
857 float16 e3 = neg_imag ^ (flip ? mr : mi);
858
859 for (j = i; j < i + eltspersegment; j += 2) {
860 float16 e2 = n[H2(j + flip)];
861 float16 e4 = e2;
862
863 d[H2(j)] = float16_muladd(e2, e1, a[H2(j)], 0, fpst);
864 d[H2(j + 1)] = float16_muladd(e4, e3, a[H2(j + 1)], 0, fpst);
865 }
866 }
867 clear_tail(d, opr_sz, simd_maxsz(desc));
868 }
869
HELPER(gvec_fcmlas)870 void HELPER(gvec_fcmlas)(void *vd, void *vn, void *vm, void *va,
871 void *vfpst, uint32_t desc)
872 {
873 uintptr_t opr_sz = simd_oprsz(desc);
874 float32 *d = vd, *n = vn, *m = vm, *a = va;
875 float_status *fpst = vfpst;
876 intptr_t flip = extract32(desc, SIMD_DATA_SHIFT, 1);
877 uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
878 uint32_t neg_real = flip ^ neg_imag;
879 uintptr_t i;
880
881 /* Shift boolean to the sign bit so we can xor to negate. */
882 neg_real <<= 31;
883 neg_imag <<= 31;
884
885 for (i = 0; i < opr_sz / 4; i += 2) {
886 float32 e2 = n[H4(i + flip)];
887 float32 e1 = m[H4(i + flip)] ^ neg_real;
888 float32 e4 = e2;
889 float32 e3 = m[H4(i + 1 - flip)] ^ neg_imag;
890
891 d[H4(i)] = float32_muladd(e2, e1, a[H4(i)], 0, fpst);
892 d[H4(i + 1)] = float32_muladd(e4, e3, a[H4(i + 1)], 0, fpst);
893 }
894 clear_tail(d, opr_sz, simd_maxsz(desc));
895 }
896
HELPER(gvec_fcmlas_idx)897 void HELPER(gvec_fcmlas_idx)(void *vd, void *vn, void *vm, void *va,
898 void *vfpst, uint32_t desc)
899 {
900 uintptr_t opr_sz = simd_oprsz(desc);
901 float32 *d = vd, *n = vn, *m = vm, *a = va;
902 float_status *fpst = vfpst;
903 intptr_t flip = extract32(desc, SIMD_DATA_SHIFT, 1);
904 uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
905 intptr_t index = extract32(desc, SIMD_DATA_SHIFT + 2, 2);
906 uint32_t neg_real = flip ^ neg_imag;
907 intptr_t elements = opr_sz / sizeof(float32);
908 intptr_t eltspersegment = 16 / sizeof(float32);
909 intptr_t i, j;
910
911 /* Shift boolean to the sign bit so we can xor to negate. */
912 neg_real <<= 31;
913 neg_imag <<= 31;
914
915 for (i = 0; i < elements; i += eltspersegment) {
916 float32 mr = m[H4(i + 2 * index + 0)];
917 float32 mi = m[H4(i + 2 * index + 1)];
918 float32 e1 = neg_real ^ (flip ? mi : mr);
919 float32 e3 = neg_imag ^ (flip ? mr : mi);
920
921 for (j = i; j < i + eltspersegment; j += 2) {
922 float32 e2 = n[H4(j + flip)];
923 float32 e4 = e2;
924
925 d[H4(j)] = float32_muladd(e2, e1, a[H4(j)], 0, fpst);
926 d[H4(j + 1)] = float32_muladd(e4, e3, a[H4(j + 1)], 0, fpst);
927 }
928 }
929 clear_tail(d, opr_sz, simd_maxsz(desc));
930 }
931
HELPER(gvec_fcmlad)932 void HELPER(gvec_fcmlad)(void *vd, void *vn, void *vm, void *va,
933 void *vfpst, uint32_t desc)
934 {
935 uintptr_t opr_sz = simd_oprsz(desc);
936 float64 *d = vd, *n = vn, *m = vm, *a = va;
937 float_status *fpst = vfpst;
938 intptr_t flip = extract32(desc, SIMD_DATA_SHIFT, 1);
939 uint64_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
940 uint64_t neg_real = flip ^ neg_imag;
941 uintptr_t i;
942
943 /* Shift boolean to the sign bit so we can xor to negate. */
944 neg_real <<= 63;
945 neg_imag <<= 63;
946
947 for (i = 0; i < opr_sz / 8; i += 2) {
948 float64 e2 = n[i + flip];
949 float64 e1 = m[i + flip] ^ neg_real;
950 float64 e4 = e2;
951 float64 e3 = m[i + 1 - flip] ^ neg_imag;
952
953 d[i] = float64_muladd(e2, e1, a[i], 0, fpst);
954 d[i + 1] = float64_muladd(e4, e3, a[i + 1], 0, fpst);
955 }
956 clear_tail(d, opr_sz, simd_maxsz(desc));
957 }
958
959 /*
960 * Floating point comparisons producing an integer result (all 1s or all 0s).
961 * Note that EQ doesn't signal InvalidOp for QNaNs but GE and GT do.
962 * Softfloat routines return 0/1, which we convert to the 0/-1 Neon requires.
963 */
float16_ceq(float16 op1,float16 op2,float_status * stat)964 static uint16_t float16_ceq(float16 op1, float16 op2, float_status *stat)
965 {
966 return -float16_eq_quiet(op1, op2, stat);
967 }
968
float32_ceq(float32 op1,float32 op2,float_status * stat)969 static uint32_t float32_ceq(float32 op1, float32 op2, float_status *stat)
970 {
971 return -float32_eq_quiet(op1, op2, stat);
972 }
973
float16_cge(float16 op1,float16 op2,float_status * stat)974 static uint16_t float16_cge(float16 op1, float16 op2, float_status *stat)
975 {
976 return -float16_le(op2, op1, stat);
977 }
978
float32_cge(float32 op1,float32 op2,float_status * stat)979 static uint32_t float32_cge(float32 op1, float32 op2, float_status *stat)
980 {
981 return -float32_le(op2, op1, stat);
982 }
983
float16_cgt(float16 op1,float16 op2,float_status * stat)984 static uint16_t float16_cgt(float16 op1, float16 op2, float_status *stat)
985 {
986 return -float16_lt(op2, op1, stat);
987 }
988
float32_cgt(float32 op1,float32 op2,float_status * stat)989 static uint32_t float32_cgt(float32 op1, float32 op2, float_status *stat)
990 {
991 return -float32_lt(op2, op1, stat);
992 }
993
float16_acge(float16 op1,float16 op2,float_status * stat)994 static uint16_t float16_acge(float16 op1, float16 op2, float_status *stat)
995 {
996 return -float16_le(float16_abs(op2), float16_abs(op1), stat);
997 }
998
float32_acge(float32 op1,float32 op2,float_status * stat)999 static uint32_t float32_acge(float32 op1, float32 op2, float_status *stat)
1000 {
1001 return -float32_le(float32_abs(op2), float32_abs(op1), stat);
1002 }
1003
float16_acgt(float16 op1,float16 op2,float_status * stat)1004 static uint16_t float16_acgt(float16 op1, float16 op2, float_status *stat)
1005 {
1006 return -float16_lt(float16_abs(op2), float16_abs(op1), stat);
1007 }
1008
float32_acgt(float32 op1,float32 op2,float_status * stat)1009 static uint32_t float32_acgt(float32 op1, float32 op2, float_status *stat)
1010 {
1011 return -float32_lt(float32_abs(op2), float32_abs(op1), stat);
1012 }
1013
vfp_tosszh(float16 x,void * fpstp)1014 static int16_t vfp_tosszh(float16 x, void *fpstp)
1015 {
1016 float_status *fpst = fpstp;
1017 if (float16_is_any_nan(x)) {
1018 float_raise(float_flag_invalid, fpst);
1019 return 0;
1020 }
1021 return float16_to_int16_round_to_zero(x, fpst);
1022 }
1023
vfp_touszh(float16 x,void * fpstp)1024 static uint16_t vfp_touszh(float16 x, void *fpstp)
1025 {
1026 float_status *fpst = fpstp;
1027 if (float16_is_any_nan(x)) {
1028 float_raise(float_flag_invalid, fpst);
1029 return 0;
1030 }
1031 return float16_to_uint16_round_to_zero(x, fpst);
1032 }
1033
1034 #define DO_2OP(NAME, FUNC, TYPE) \
1035 void HELPER(NAME)(void *vd, void *vn, void *stat, uint32_t desc) \
1036 { \
1037 intptr_t i, oprsz = simd_oprsz(desc); \
1038 TYPE *d = vd, *n = vn; \
1039 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1040 d[i] = FUNC(n[i], stat); \
1041 } \
1042 clear_tail(d, oprsz, simd_maxsz(desc)); \
1043 }
1044
DO_2OP(gvec_frecpe_h,helper_recpe_f16,float16)1045 DO_2OP(gvec_frecpe_h, helper_recpe_f16, float16)
1046 DO_2OP(gvec_frecpe_s, helper_recpe_f32, float32)
1047 DO_2OP(gvec_frecpe_d, helper_recpe_f64, float64)
1048
1049 DO_2OP(gvec_frsqrte_h, helper_rsqrte_f16, float16)
1050 DO_2OP(gvec_frsqrte_s, helper_rsqrte_f32, float32)
1051 DO_2OP(gvec_frsqrte_d, helper_rsqrte_f64, float64)
1052
1053 DO_2OP(gvec_vrintx_h, float16_round_to_int, float16)
1054 DO_2OP(gvec_vrintx_s, float32_round_to_int, float32)
1055
1056 DO_2OP(gvec_sitos, helper_vfp_sitos, int32_t)
1057 DO_2OP(gvec_uitos, helper_vfp_uitos, uint32_t)
1058 DO_2OP(gvec_tosizs, helper_vfp_tosizs, float32)
1059 DO_2OP(gvec_touizs, helper_vfp_touizs, float32)
1060 DO_2OP(gvec_sstoh, int16_to_float16, int16_t)
1061 DO_2OP(gvec_ustoh, uint16_to_float16, uint16_t)
1062 DO_2OP(gvec_tosszh, vfp_tosszh, float16)
1063 DO_2OP(gvec_touszh, vfp_touszh, float16)
1064
1065 #define WRAP_CMP0_FWD(FN, CMPOP, TYPE) \
1066 static TYPE TYPE##_##FN##0(TYPE op, float_status *stat) \
1067 { \
1068 return TYPE##_##CMPOP(op, TYPE##_zero, stat); \
1069 }
1070
1071 #define WRAP_CMP0_REV(FN, CMPOP, TYPE) \
1072 static TYPE TYPE##_##FN##0(TYPE op, float_status *stat) \
1073 { \
1074 return TYPE##_##CMPOP(TYPE##_zero, op, stat); \
1075 }
1076
1077 #define DO_2OP_CMP0(FN, CMPOP, DIRN) \
1078 WRAP_CMP0_##DIRN(FN, CMPOP, float16) \
1079 WRAP_CMP0_##DIRN(FN, CMPOP, float32) \
1080 DO_2OP(gvec_f##FN##0_h, float16_##FN##0, float16) \
1081 DO_2OP(gvec_f##FN##0_s, float32_##FN##0, float32)
1082
1083 DO_2OP_CMP0(cgt, cgt, FWD)
1084 DO_2OP_CMP0(cge, cge, FWD)
1085 DO_2OP_CMP0(ceq, ceq, FWD)
1086 DO_2OP_CMP0(clt, cgt, REV)
1087 DO_2OP_CMP0(cle, cge, REV)
1088
1089 #undef DO_2OP
1090 #undef DO_2OP_CMP0
1091
1092 /* Floating-point trigonometric starting value.
1093 * See the ARM ARM pseudocode function FPTrigSMul.
1094 */
1095 static float16 float16_ftsmul(float16 op1, uint16_t op2, float_status *stat)
1096 {
1097 float16 result = float16_mul(op1, op1, stat);
1098 if (!float16_is_any_nan(result)) {
1099 result = float16_set_sign(result, op2 & 1);
1100 }
1101 return result;
1102 }
1103
float32_ftsmul(float32 op1,uint32_t op2,float_status * stat)1104 static float32 float32_ftsmul(float32 op1, uint32_t op2, float_status *stat)
1105 {
1106 float32 result = float32_mul(op1, op1, stat);
1107 if (!float32_is_any_nan(result)) {
1108 result = float32_set_sign(result, op2 & 1);
1109 }
1110 return result;
1111 }
1112
float64_ftsmul(float64 op1,uint64_t op2,float_status * stat)1113 static float64 float64_ftsmul(float64 op1, uint64_t op2, float_status *stat)
1114 {
1115 float64 result = float64_mul(op1, op1, stat);
1116 if (!float64_is_any_nan(result)) {
1117 result = float64_set_sign(result, op2 & 1);
1118 }
1119 return result;
1120 }
1121
float16_abd(float16 op1,float16 op2,float_status * stat)1122 static float16 float16_abd(float16 op1, float16 op2, float_status *stat)
1123 {
1124 return float16_abs(float16_sub(op1, op2, stat));
1125 }
1126
float32_abd(float32 op1,float32 op2,float_status * stat)1127 static float32 float32_abd(float32 op1, float32 op2, float_status *stat)
1128 {
1129 return float32_abs(float32_sub(op1, op2, stat));
1130 }
1131
1132 /*
1133 * Reciprocal step. These are the AArch32 version which uses a
1134 * non-fused multiply-and-subtract.
1135 */
float16_recps_nf(float16 op1,float16 op2,float_status * stat)1136 static float16 float16_recps_nf(float16 op1, float16 op2, float_status *stat)
1137 {
1138 op1 = float16_squash_input_denormal(op1, stat);
1139 op2 = float16_squash_input_denormal(op2, stat);
1140
1141 if ((float16_is_infinity(op1) && float16_is_zero(op2)) ||
1142 (float16_is_infinity(op2) && float16_is_zero(op1))) {
1143 return float16_two;
1144 }
1145 return float16_sub(float16_two, float16_mul(op1, op2, stat), stat);
1146 }
1147
float32_recps_nf(float32 op1,float32 op2,float_status * stat)1148 static float32 float32_recps_nf(float32 op1, float32 op2, float_status *stat)
1149 {
1150 op1 = float32_squash_input_denormal(op1, stat);
1151 op2 = float32_squash_input_denormal(op2, stat);
1152
1153 if ((float32_is_infinity(op1) && float32_is_zero(op2)) ||
1154 (float32_is_infinity(op2) && float32_is_zero(op1))) {
1155 return float32_two;
1156 }
1157 return float32_sub(float32_two, float32_mul(op1, op2, stat), stat);
1158 }
1159
1160 /* Reciprocal square-root step. AArch32 non-fused semantics. */
float16_rsqrts_nf(float16 op1,float16 op2,float_status * stat)1161 static float16 float16_rsqrts_nf(float16 op1, float16 op2, float_status *stat)
1162 {
1163 op1 = float16_squash_input_denormal(op1, stat);
1164 op2 = float16_squash_input_denormal(op2, stat);
1165
1166 if ((float16_is_infinity(op1) && float16_is_zero(op2)) ||
1167 (float16_is_infinity(op2) && float16_is_zero(op1))) {
1168 return float16_one_point_five;
1169 }
1170 op1 = float16_sub(float16_three, float16_mul(op1, op2, stat), stat);
1171 return float16_div(op1, float16_two, stat);
1172 }
1173
float32_rsqrts_nf(float32 op1,float32 op2,float_status * stat)1174 static float32 float32_rsqrts_nf(float32 op1, float32 op2, float_status *stat)
1175 {
1176 op1 = float32_squash_input_denormal(op1, stat);
1177 op2 = float32_squash_input_denormal(op2, stat);
1178
1179 if ((float32_is_infinity(op1) && float32_is_zero(op2)) ||
1180 (float32_is_infinity(op2) && float32_is_zero(op1))) {
1181 return float32_one_point_five;
1182 }
1183 op1 = float32_sub(float32_three, float32_mul(op1, op2, stat), stat);
1184 return float32_div(op1, float32_two, stat);
1185 }
1186
1187 #define DO_3OP(NAME, FUNC, TYPE) \
1188 void HELPER(NAME)(void *vd, void *vn, void *vm, void *stat, uint32_t desc) \
1189 { \
1190 intptr_t i, oprsz = simd_oprsz(desc); \
1191 TYPE *d = vd, *n = vn, *m = vm; \
1192 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1193 d[i] = FUNC(n[i], m[i], stat); \
1194 } \
1195 clear_tail(d, oprsz, simd_maxsz(desc)); \
1196 }
1197
DO_3OP(gvec_fadd_h,float16_add,float16)1198 DO_3OP(gvec_fadd_h, float16_add, float16)
1199 DO_3OP(gvec_fadd_s, float32_add, float32)
1200 DO_3OP(gvec_fadd_d, float64_add, float64)
1201
1202 DO_3OP(gvec_fsub_h, float16_sub, float16)
1203 DO_3OP(gvec_fsub_s, float32_sub, float32)
1204 DO_3OP(gvec_fsub_d, float64_sub, float64)
1205
1206 DO_3OP(gvec_fmul_h, float16_mul, float16)
1207 DO_3OP(gvec_fmul_s, float32_mul, float32)
1208 DO_3OP(gvec_fmul_d, float64_mul, float64)
1209
1210 DO_3OP(gvec_ftsmul_h, float16_ftsmul, float16)
1211 DO_3OP(gvec_ftsmul_s, float32_ftsmul, float32)
1212 DO_3OP(gvec_ftsmul_d, float64_ftsmul, float64)
1213
1214 DO_3OP(gvec_fabd_h, float16_abd, float16)
1215 DO_3OP(gvec_fabd_s, float32_abd, float32)
1216
1217 DO_3OP(gvec_fceq_h, float16_ceq, float16)
1218 DO_3OP(gvec_fceq_s, float32_ceq, float32)
1219
1220 DO_3OP(gvec_fcge_h, float16_cge, float16)
1221 DO_3OP(gvec_fcge_s, float32_cge, float32)
1222
1223 DO_3OP(gvec_fcgt_h, float16_cgt, float16)
1224 DO_3OP(gvec_fcgt_s, float32_cgt, float32)
1225
1226 DO_3OP(gvec_facge_h, float16_acge, float16)
1227 DO_3OP(gvec_facge_s, float32_acge, float32)
1228
1229 DO_3OP(gvec_facgt_h, float16_acgt, float16)
1230 DO_3OP(gvec_facgt_s, float32_acgt, float32)
1231
1232 DO_3OP(gvec_fmax_h, float16_max, float16)
1233 DO_3OP(gvec_fmax_s, float32_max, float32)
1234
1235 DO_3OP(gvec_fmin_h, float16_min, float16)
1236 DO_3OP(gvec_fmin_s, float32_min, float32)
1237
1238 DO_3OP(gvec_fmaxnum_h, float16_maxnum, float16)
1239 DO_3OP(gvec_fmaxnum_s, float32_maxnum, float32)
1240
1241 DO_3OP(gvec_fminnum_h, float16_minnum, float16)
1242 DO_3OP(gvec_fminnum_s, float32_minnum, float32)
1243
1244 DO_3OP(gvec_recps_nf_h, float16_recps_nf, float16)
1245 DO_3OP(gvec_recps_nf_s, float32_recps_nf, float32)
1246
1247 DO_3OP(gvec_rsqrts_nf_h, float16_rsqrts_nf, float16)
1248 DO_3OP(gvec_rsqrts_nf_s, float32_rsqrts_nf, float32)
1249
1250 #ifdef TARGET_AARCH64
1251
1252 DO_3OP(gvec_recps_h, helper_recpsf_f16, float16)
1253 DO_3OP(gvec_recps_s, helper_recpsf_f32, float32)
1254 DO_3OP(gvec_recps_d, helper_recpsf_f64, float64)
1255
1256 DO_3OP(gvec_rsqrts_h, helper_rsqrtsf_f16, float16)
1257 DO_3OP(gvec_rsqrts_s, helper_rsqrtsf_f32, float32)
1258 DO_3OP(gvec_rsqrts_d, helper_rsqrtsf_f64, float64)
1259
1260 #endif
1261 #undef DO_3OP
1262
1263 /* Non-fused multiply-add (unlike float16_muladd etc, which are fused) */
1264 static float16 float16_muladd_nf(float16 dest, float16 op1, float16 op2,
1265 float_status *stat)
1266 {
1267 return float16_add(dest, float16_mul(op1, op2, stat), stat);
1268 }
1269
float32_muladd_nf(float32 dest,float32 op1,float32 op2,float_status * stat)1270 static float32 float32_muladd_nf(float32 dest, float32 op1, float32 op2,
1271 float_status *stat)
1272 {
1273 return float32_add(dest, float32_mul(op1, op2, stat), stat);
1274 }
1275
float16_mulsub_nf(float16 dest,float16 op1,float16 op2,float_status * stat)1276 static float16 float16_mulsub_nf(float16 dest, float16 op1, float16 op2,
1277 float_status *stat)
1278 {
1279 return float16_sub(dest, float16_mul(op1, op2, stat), stat);
1280 }
1281
float32_mulsub_nf(float32 dest,float32 op1,float32 op2,float_status * stat)1282 static float32 float32_mulsub_nf(float32 dest, float32 op1, float32 op2,
1283 float_status *stat)
1284 {
1285 return float32_sub(dest, float32_mul(op1, op2, stat), stat);
1286 }
1287
1288 /* Fused versions; these have the semantics Neon VFMA/VFMS want */
float16_muladd_f(float16 dest,float16 op1,float16 op2,float_status * stat)1289 static float16 float16_muladd_f(float16 dest, float16 op1, float16 op2,
1290 float_status *stat)
1291 {
1292 return float16_muladd(op1, op2, dest, 0, stat);
1293 }
1294
float32_muladd_f(float32 dest,float32 op1,float32 op2,float_status * stat)1295 static float32 float32_muladd_f(float32 dest, float32 op1, float32 op2,
1296 float_status *stat)
1297 {
1298 return float32_muladd(op1, op2, dest, 0, stat);
1299 }
1300
float16_mulsub_f(float16 dest,float16 op1,float16 op2,float_status * stat)1301 static float16 float16_mulsub_f(float16 dest, float16 op1, float16 op2,
1302 float_status *stat)
1303 {
1304 return float16_muladd(float16_chs(op1), op2, dest, 0, stat);
1305 }
1306
float32_mulsub_f(float32 dest,float32 op1,float32 op2,float_status * stat)1307 static float32 float32_mulsub_f(float32 dest, float32 op1, float32 op2,
1308 float_status *stat)
1309 {
1310 return float32_muladd(float32_chs(op1), op2, dest, 0, stat);
1311 }
1312
1313 #define DO_MULADD(NAME, FUNC, TYPE) \
1314 void HELPER(NAME)(void *vd, void *vn, void *vm, void *stat, uint32_t desc) \
1315 { \
1316 intptr_t i, oprsz = simd_oprsz(desc); \
1317 TYPE *d = vd, *n = vn, *m = vm; \
1318 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1319 d[i] = FUNC(d[i], n[i], m[i], stat); \
1320 } \
1321 clear_tail(d, oprsz, simd_maxsz(desc)); \
1322 }
1323
DO_MULADD(gvec_fmla_h,float16_muladd_nf,float16)1324 DO_MULADD(gvec_fmla_h, float16_muladd_nf, float16)
1325 DO_MULADD(gvec_fmla_s, float32_muladd_nf, float32)
1326
1327 DO_MULADD(gvec_fmls_h, float16_mulsub_nf, float16)
1328 DO_MULADD(gvec_fmls_s, float32_mulsub_nf, float32)
1329
1330 DO_MULADD(gvec_vfma_h, float16_muladd_f, float16)
1331 DO_MULADD(gvec_vfma_s, float32_muladd_f, float32)
1332
1333 DO_MULADD(gvec_vfms_h, float16_mulsub_f, float16)
1334 DO_MULADD(gvec_vfms_s, float32_mulsub_f, float32)
1335
1336 /* For the indexed ops, SVE applies the index per 128-bit vector segment.
1337 * For AdvSIMD, there is of course only one such vector segment.
1338 */
1339
1340 #define DO_MUL_IDX(NAME, TYPE, H) \
1341 void HELPER(NAME)(void *vd, void *vn, void *vm, uint32_t desc) \
1342 { \
1343 intptr_t i, j, oprsz = simd_oprsz(desc); \
1344 intptr_t segment = MIN(16, oprsz) / sizeof(TYPE); \
1345 intptr_t idx = simd_data(desc); \
1346 TYPE *d = vd, *n = vn, *m = vm; \
1347 for (i = 0; i < oprsz / sizeof(TYPE); i += segment) { \
1348 TYPE mm = m[H(i + idx)]; \
1349 for (j = 0; j < segment; j++) { \
1350 d[i + j] = n[i + j] * mm; \
1351 } \
1352 } \
1353 clear_tail(d, oprsz, simd_maxsz(desc)); \
1354 }
1355
1356 DO_MUL_IDX(gvec_mul_idx_h, uint16_t, H2)
1357 DO_MUL_IDX(gvec_mul_idx_s, uint32_t, H4)
1358 DO_MUL_IDX(gvec_mul_idx_d, uint64_t, H8)
1359
1360 #undef DO_MUL_IDX
1361
1362 #define DO_MLA_IDX(NAME, TYPE, OP, H) \
1363 void HELPER(NAME)(void *vd, void *vn, void *vm, void *va, uint32_t desc) \
1364 { \
1365 intptr_t i, j, oprsz = simd_oprsz(desc); \
1366 intptr_t segment = MIN(16, oprsz) / sizeof(TYPE); \
1367 intptr_t idx = simd_data(desc); \
1368 TYPE *d = vd, *n = vn, *m = vm, *a = va; \
1369 for (i = 0; i < oprsz / sizeof(TYPE); i += segment) { \
1370 TYPE mm = m[H(i + idx)]; \
1371 for (j = 0; j < segment; j++) { \
1372 d[i + j] = a[i + j] OP n[i + j] * mm; \
1373 } \
1374 } \
1375 clear_tail(d, oprsz, simd_maxsz(desc)); \
1376 }
1377
1378 DO_MLA_IDX(gvec_mla_idx_h, uint16_t, +, H2)
1379 DO_MLA_IDX(gvec_mla_idx_s, uint32_t, +, H4)
1380 DO_MLA_IDX(gvec_mla_idx_d, uint64_t, +, H8)
1381
1382 DO_MLA_IDX(gvec_mls_idx_h, uint16_t, -, H2)
1383 DO_MLA_IDX(gvec_mls_idx_s, uint32_t, -, H4)
1384 DO_MLA_IDX(gvec_mls_idx_d, uint64_t, -, H8)
1385
1386 #undef DO_MLA_IDX
1387
1388 #define DO_FMUL_IDX(NAME, ADD, TYPE, H) \
1389 void HELPER(NAME)(void *vd, void *vn, void *vm, void *stat, uint32_t desc) \
1390 { \
1391 intptr_t i, j, oprsz = simd_oprsz(desc); \
1392 intptr_t segment = MIN(16, oprsz) / sizeof(TYPE); \
1393 intptr_t idx = simd_data(desc); \
1394 TYPE *d = vd, *n = vn, *m = vm; \
1395 for (i = 0; i < oprsz / sizeof(TYPE); i += segment) { \
1396 TYPE mm = m[H(i + idx)]; \
1397 for (j = 0; j < segment; j++) { \
1398 d[i + j] = TYPE##_##ADD(d[i + j], \
1399 TYPE##_mul(n[i + j], mm, stat), stat); \
1400 } \
1401 } \
1402 clear_tail(d, oprsz, simd_maxsz(desc)); \
1403 }
1404
1405 #define float16_nop(N, M, S) (M)
1406 #define float32_nop(N, M, S) (M)
1407 #define float64_nop(N, M, S) (M)
1408
1409 DO_FMUL_IDX(gvec_fmul_idx_h, nop, float16, H2)
1410 DO_FMUL_IDX(gvec_fmul_idx_s, nop, float32, H4)
1411 DO_FMUL_IDX(gvec_fmul_idx_d, nop, float64, H8)
1412
1413 /*
1414 * Non-fused multiply-accumulate operations, for Neon. NB that unlike
1415 * the fused ops below they assume accumulate both from and into Vd.
1416 */
1417 DO_FMUL_IDX(gvec_fmla_nf_idx_h, add, float16, H2)
1418 DO_FMUL_IDX(gvec_fmla_nf_idx_s, add, float32, H4)
1419 DO_FMUL_IDX(gvec_fmls_nf_idx_h, sub, float16, H2)
1420 DO_FMUL_IDX(gvec_fmls_nf_idx_s, sub, float32, H4)
1421
1422 #undef float16_nop
1423 #undef float32_nop
1424 #undef float64_nop
1425 #undef DO_FMUL_IDX
1426
1427 #define DO_FMLA_IDX(NAME, TYPE, H) \
1428 void HELPER(NAME)(void *vd, void *vn, void *vm, void *va, \
1429 void *stat, uint32_t desc) \
1430 { \
1431 intptr_t i, j, oprsz = simd_oprsz(desc); \
1432 intptr_t segment = MIN(16, oprsz) / sizeof(TYPE); \
1433 TYPE op1_neg = extract32(desc, SIMD_DATA_SHIFT, 1); \
1434 intptr_t idx = desc >> (SIMD_DATA_SHIFT + 1); \
1435 TYPE *d = vd, *n = vn, *m = vm, *a = va; \
1436 op1_neg <<= (8 * sizeof(TYPE) - 1); \
1437 for (i = 0; i < oprsz / sizeof(TYPE); i += segment) { \
1438 TYPE mm = m[H(i + idx)]; \
1439 for (j = 0; j < segment; j++) { \
1440 d[i + j] = TYPE##_muladd(n[i + j] ^ op1_neg, \
1441 mm, a[i + j], 0, stat); \
1442 } \
1443 } \
1444 clear_tail(d, oprsz, simd_maxsz(desc)); \
1445 }
1446
1447 DO_FMLA_IDX(gvec_fmla_idx_h, float16, H2)
1448 DO_FMLA_IDX(gvec_fmla_idx_s, float32, H4)
1449 DO_FMLA_IDX(gvec_fmla_idx_d, float64, H8)
1450
1451 #undef DO_FMLA_IDX
1452
1453 #define DO_SAT(NAME, WTYPE, TYPEN, TYPEM, OP, MIN, MAX) \
1454 void HELPER(NAME)(void *vd, void *vq, void *vn, void *vm, uint32_t desc) \
1455 { \
1456 intptr_t i, oprsz = simd_oprsz(desc); \
1457 TYPEN *d = vd, *n = vn; TYPEM *m = vm; \
1458 bool q = false; \
1459 for (i = 0; i < oprsz / sizeof(TYPEN); i++) { \
1460 WTYPE dd = (WTYPE)n[i] OP m[i]; \
1461 if (dd < MIN) { \
1462 dd = MIN; \
1463 q = true; \
1464 } else if (dd > MAX) { \
1465 dd = MAX; \
1466 q = true; \
1467 } \
1468 d[i] = dd; \
1469 } \
1470 if (q) { \
1471 uint32_t *qc = vq; \
1472 qc[0] = 1; \
1473 } \
1474 clear_tail(d, oprsz, simd_maxsz(desc)); \
1475 }
1476
1477 DO_SAT(gvec_uqadd_b, int, uint8_t, uint8_t, +, 0, UINT8_MAX)
1478 DO_SAT(gvec_uqadd_h, int, uint16_t, uint16_t, +, 0, UINT16_MAX)
1479 DO_SAT(gvec_uqadd_s, int64_t, uint32_t, uint32_t, +, 0, UINT32_MAX)
1480
1481 DO_SAT(gvec_sqadd_b, int, int8_t, int8_t, +, INT8_MIN, INT8_MAX)
1482 DO_SAT(gvec_sqadd_h, int, int16_t, int16_t, +, INT16_MIN, INT16_MAX)
1483 DO_SAT(gvec_sqadd_s, int64_t, int32_t, int32_t, +, INT32_MIN, INT32_MAX)
1484
1485 DO_SAT(gvec_uqsub_b, int, uint8_t, uint8_t, -, 0, UINT8_MAX)
1486 DO_SAT(gvec_uqsub_h, int, uint16_t, uint16_t, -, 0, UINT16_MAX)
1487 DO_SAT(gvec_uqsub_s, int64_t, uint32_t, uint32_t, -, 0, UINT32_MAX)
1488
1489 DO_SAT(gvec_sqsub_b, int, int8_t, int8_t, -, INT8_MIN, INT8_MAX)
1490 DO_SAT(gvec_sqsub_h, int, int16_t, int16_t, -, INT16_MIN, INT16_MAX)
1491 DO_SAT(gvec_sqsub_s, int64_t, int32_t, int32_t, -, INT32_MIN, INT32_MAX)
1492
1493 #undef DO_SAT
1494
1495 void HELPER(gvec_uqadd_d)(void *vd, void *vq, void *vn,
1496 void *vm, uint32_t desc)
1497 {
1498 intptr_t i, oprsz = simd_oprsz(desc);
1499 uint64_t *d = vd, *n = vn, *m = vm;
1500 bool q = false;
1501
1502 for (i = 0; i < oprsz / 8; i++) {
1503 uint64_t nn = n[i], mm = m[i], dd = nn + mm;
1504 if (dd < nn) {
1505 dd = UINT64_MAX;
1506 q = true;
1507 }
1508 d[i] = dd;
1509 }
1510 if (q) {
1511 uint32_t *qc = vq;
1512 qc[0] = 1;
1513 }
1514 clear_tail(d, oprsz, simd_maxsz(desc));
1515 }
1516
HELPER(gvec_uqsub_d)1517 void HELPER(gvec_uqsub_d)(void *vd, void *vq, void *vn,
1518 void *vm, uint32_t desc)
1519 {
1520 intptr_t i, oprsz = simd_oprsz(desc);
1521 uint64_t *d = vd, *n = vn, *m = vm;
1522 bool q = false;
1523
1524 for (i = 0; i < oprsz / 8; i++) {
1525 uint64_t nn = n[i], mm = m[i], dd = nn - mm;
1526 if (nn < mm) {
1527 dd = 0;
1528 q = true;
1529 }
1530 d[i] = dd;
1531 }
1532 if (q) {
1533 uint32_t *qc = vq;
1534 qc[0] = 1;
1535 }
1536 clear_tail(d, oprsz, simd_maxsz(desc));
1537 }
1538
HELPER(gvec_sqadd_d)1539 void HELPER(gvec_sqadd_d)(void *vd, void *vq, void *vn,
1540 void *vm, uint32_t desc)
1541 {
1542 intptr_t i, oprsz = simd_oprsz(desc);
1543 int64_t *d = vd, *n = vn, *m = vm;
1544 bool q = false;
1545
1546 for (i = 0; i < oprsz / 8; i++) {
1547 int64_t nn = n[i], mm = m[i], dd = nn + mm;
1548 if (((dd ^ nn) & ~(nn ^ mm)) & INT64_MIN) {
1549 dd = (nn >> 63) ^ ~INT64_MIN;
1550 q = true;
1551 }
1552 d[i] = dd;
1553 }
1554 if (q) {
1555 uint32_t *qc = vq;
1556 qc[0] = 1;
1557 }
1558 clear_tail(d, oprsz, simd_maxsz(desc));
1559 }
1560
HELPER(gvec_sqsub_d)1561 void HELPER(gvec_sqsub_d)(void *vd, void *vq, void *vn,
1562 void *vm, uint32_t desc)
1563 {
1564 intptr_t i, oprsz = simd_oprsz(desc);
1565 int64_t *d = vd, *n = vn, *m = vm;
1566 bool q = false;
1567
1568 for (i = 0; i < oprsz / 8; i++) {
1569 int64_t nn = n[i], mm = m[i], dd = nn - mm;
1570 if (((dd ^ nn) & (nn ^ mm)) & INT64_MIN) {
1571 dd = (nn >> 63) ^ ~INT64_MIN;
1572 q = true;
1573 }
1574 d[i] = dd;
1575 }
1576 if (q) {
1577 uint32_t *qc = vq;
1578 qc[0] = 1;
1579 }
1580 clear_tail(d, oprsz, simd_maxsz(desc));
1581 }
1582
1583
1584 #define DO_SRA(NAME, TYPE) \
1585 void HELPER(NAME)(void *vd, void *vn, uint32_t desc) \
1586 { \
1587 intptr_t i, oprsz = simd_oprsz(desc); \
1588 int shift = simd_data(desc); \
1589 TYPE *d = vd, *n = vn; \
1590 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1591 d[i] += n[i] >> shift; \
1592 } \
1593 clear_tail(d, oprsz, simd_maxsz(desc)); \
1594 }
1595
DO_SRA(gvec_ssra_b,int8_t)1596 DO_SRA(gvec_ssra_b, int8_t)
1597 DO_SRA(gvec_ssra_h, int16_t)
1598 DO_SRA(gvec_ssra_s, int32_t)
1599 DO_SRA(gvec_ssra_d, int64_t)
1600
1601 DO_SRA(gvec_usra_b, uint8_t)
1602 DO_SRA(gvec_usra_h, uint16_t)
1603 DO_SRA(gvec_usra_s, uint32_t)
1604 DO_SRA(gvec_usra_d, uint64_t)
1605
1606 #undef DO_SRA
1607
1608 #define DO_RSHR(NAME, TYPE) \
1609 void HELPER(NAME)(void *vd, void *vn, uint32_t desc) \
1610 { \
1611 intptr_t i, oprsz = simd_oprsz(desc); \
1612 int shift = simd_data(desc); \
1613 TYPE *d = vd, *n = vn; \
1614 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1615 TYPE tmp = n[i] >> (shift - 1); \
1616 d[i] = (tmp >> 1) + (tmp & 1); \
1617 } \
1618 clear_tail(d, oprsz, simd_maxsz(desc)); \
1619 }
1620
1621 DO_RSHR(gvec_srshr_b, int8_t)
1622 DO_RSHR(gvec_srshr_h, int16_t)
1623 DO_RSHR(gvec_srshr_s, int32_t)
1624 DO_RSHR(gvec_srshr_d, int64_t)
1625
1626 DO_RSHR(gvec_urshr_b, uint8_t)
1627 DO_RSHR(gvec_urshr_h, uint16_t)
1628 DO_RSHR(gvec_urshr_s, uint32_t)
1629 DO_RSHR(gvec_urshr_d, uint64_t)
1630
1631 #undef DO_RSHR
1632
1633 #define DO_RSRA(NAME, TYPE) \
1634 void HELPER(NAME)(void *vd, void *vn, uint32_t desc) \
1635 { \
1636 intptr_t i, oprsz = simd_oprsz(desc); \
1637 int shift = simd_data(desc); \
1638 TYPE *d = vd, *n = vn; \
1639 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1640 TYPE tmp = n[i] >> (shift - 1); \
1641 d[i] += (tmp >> 1) + (tmp & 1); \
1642 } \
1643 clear_tail(d, oprsz, simd_maxsz(desc)); \
1644 }
1645
1646 DO_RSRA(gvec_srsra_b, int8_t)
1647 DO_RSRA(gvec_srsra_h, int16_t)
1648 DO_RSRA(gvec_srsra_s, int32_t)
1649 DO_RSRA(gvec_srsra_d, int64_t)
1650
1651 DO_RSRA(gvec_ursra_b, uint8_t)
1652 DO_RSRA(gvec_ursra_h, uint16_t)
1653 DO_RSRA(gvec_ursra_s, uint32_t)
1654 DO_RSRA(gvec_ursra_d, uint64_t)
1655
1656 #undef DO_RSRA
1657
1658 #define DO_SRI(NAME, TYPE) \
1659 void HELPER(NAME)(void *vd, void *vn, uint32_t desc) \
1660 { \
1661 intptr_t i, oprsz = simd_oprsz(desc); \
1662 int shift = simd_data(desc); \
1663 TYPE *d = vd, *n = vn; \
1664 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1665 d[i] = deposit64(d[i], 0, sizeof(TYPE) * 8 - shift, n[i] >> shift); \
1666 } \
1667 clear_tail(d, oprsz, simd_maxsz(desc)); \
1668 }
1669
1670 DO_SRI(gvec_sri_b, uint8_t)
1671 DO_SRI(gvec_sri_h, uint16_t)
1672 DO_SRI(gvec_sri_s, uint32_t)
1673 DO_SRI(gvec_sri_d, uint64_t)
1674
1675 #undef DO_SRI
1676
1677 #define DO_SLI(NAME, TYPE) \
1678 void HELPER(NAME)(void *vd, void *vn, uint32_t desc) \
1679 { \
1680 intptr_t i, oprsz = simd_oprsz(desc); \
1681 int shift = simd_data(desc); \
1682 TYPE *d = vd, *n = vn; \
1683 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
1684 d[i] = deposit64(d[i], shift, sizeof(TYPE) * 8 - shift, n[i]); \
1685 } \
1686 clear_tail(d, oprsz, simd_maxsz(desc)); \
1687 }
1688
1689 DO_SLI(gvec_sli_b, uint8_t)
1690 DO_SLI(gvec_sli_h, uint16_t)
1691 DO_SLI(gvec_sli_s, uint32_t)
1692 DO_SLI(gvec_sli_d, uint64_t)
1693
1694 #undef DO_SLI
1695
1696 /*
1697 * Convert float16 to float32, raising no exceptions and
1698 * preserving exceptional values, including SNaN.
1699 * This is effectively an unpack+repack operation.
1700 */
1701 static float32 float16_to_float32_by_bits(uint32_t f16, bool fz16)
1702 {
1703 const int f16_bias = 15;
1704 const int f32_bias = 127;
1705 uint32_t sign = extract32(f16, 15, 1);
1706 uint32_t exp = extract32(f16, 10, 5);
1707 uint32_t frac = extract32(f16, 0, 10);
1708
1709 if (exp == 0x1f) {
1710 /* Inf or NaN */
1711 exp = 0xff;
1712 } else if (exp == 0) {
1713 /* Zero or denormal. */
1714 if (frac != 0) {
1715 if (fz16) {
1716 frac = 0;
1717 } else {
1718 /*
1719 * Denormal; these are all normal float32.
1720 * Shift the fraction so that the msb is at bit 11,
1721 * then remove bit 11 as the implicit bit of the
1722 * normalized float32. Note that we still go through
1723 * the shift for normal numbers below, to put the
1724 * float32 fraction at the right place.
1725 */
1726 int shift = clz32(frac) - 21;
1727 frac = (frac << shift) & 0x3ff;
1728 exp = f32_bias - f16_bias - shift + 1;
1729 }
1730 }
1731 } else {
1732 /* Normal number; adjust the bias. */
1733 exp += f32_bias - f16_bias;
1734 }
1735 sign <<= 31;
1736 exp <<= 23;
1737 frac <<= 23 - 10;
1738
1739 return sign | exp | frac;
1740 }
1741
load4_f16(uint64_t * ptr,int is_q,int is_2)1742 static uint64_t load4_f16(uint64_t *ptr, int is_q, int is_2)
1743 {
1744 /*
1745 * Branchless load of u32[0], u64[0], u32[1], or u64[1].
1746 * Load the 2nd qword iff is_q & is_2.
1747 * Shift to the 2nd dword iff !is_q & is_2.
1748 * For !is_q & !is_2, the upper bits of the result are garbage.
1749 */
1750 return ptr[is_q & is_2] >> ((is_2 & ~is_q) << 5);
1751 }
1752
1753 /*
1754 * Note that FMLAL requires oprsz == 8 or oprsz == 16,
1755 * as there is not yet SVE versions that might use blocking.
1756 */
1757
do_fmlal(float32 * d,void * vn,void * vm,float_status * fpst,uint32_t desc,bool fz16)1758 static void do_fmlal(float32 *d, void *vn, void *vm, float_status *fpst,
1759 uint32_t desc, bool fz16)
1760 {
1761 intptr_t i, oprsz = simd_oprsz(desc);
1762 int is_s = extract32(desc, SIMD_DATA_SHIFT, 1);
1763 int is_2 = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
1764 int is_q = oprsz == 16;
1765 uint64_t n_4, m_4;
1766
1767 /* Pre-load all of the f16 data, avoiding overlap issues. */
1768 n_4 = load4_f16(vn, is_q, is_2);
1769 m_4 = load4_f16(vm, is_q, is_2);
1770
1771 /* Negate all inputs for FMLSL at once. */
1772 if (is_s) {
1773 n_4 ^= 0x8000800080008000ull;
1774 }
1775
1776 for (i = 0; i < oprsz / 4; i++) {
1777 float32 n_1 = float16_to_float32_by_bits(n_4 >> (i * 16), fz16);
1778 float32 m_1 = float16_to_float32_by_bits(m_4 >> (i * 16), fz16);
1779 d[H4(i)] = float32_muladd(n_1, m_1, d[H4(i)], 0, fpst);
1780 }
1781 clear_tail(d, oprsz, simd_maxsz(desc));
1782 }
1783
HELPER(gvec_fmlal_a32)1784 void HELPER(gvec_fmlal_a32)(void *vd, void *vn, void *vm,
1785 void *venv, uint32_t desc)
1786 {
1787 CPUARMState *env = venv;
1788 do_fmlal(vd, vn, vm, &env->vfp.standard_fp_status, desc,
1789 get_flush_inputs_to_zero(&env->vfp.fp_status_f16));
1790 }
1791
HELPER(gvec_fmlal_a64)1792 void HELPER(gvec_fmlal_a64)(void *vd, void *vn, void *vm,
1793 void *venv, uint32_t desc)
1794 {
1795 CPUARMState *env = venv;
1796 do_fmlal(vd, vn, vm, &env->vfp.fp_status, desc,
1797 get_flush_inputs_to_zero(&env->vfp.fp_status_f16));
1798 }
1799
HELPER(sve2_fmlal_zzzw_s)1800 void HELPER(sve2_fmlal_zzzw_s)(void *vd, void *vn, void *vm, void *va,
1801 void *venv, uint32_t desc)
1802 {
1803 intptr_t i, oprsz = simd_oprsz(desc);
1804 uint16_t negn = extract32(desc, SIMD_DATA_SHIFT, 1) << 15;
1805 intptr_t sel = extract32(desc, SIMD_DATA_SHIFT + 1, 1) * sizeof(float16);
1806 CPUARMState *env = venv;
1807 float_status *status = &env->vfp.fp_status;
1808 bool fz16 = get_flush_inputs_to_zero(&env->vfp.fp_status_f16);
1809
1810 for (i = 0; i < oprsz; i += sizeof(float32)) {
1811 float16 nn_16 = *(float16 *)(vn + H1_2(i + sel)) ^ negn;
1812 float16 mm_16 = *(float16 *)(vm + H1_2(i + sel));
1813 float32 nn = float16_to_float32_by_bits(nn_16, fz16);
1814 float32 mm = float16_to_float32_by_bits(mm_16, fz16);
1815 float32 aa = *(float32 *)(va + H1_4(i));
1816
1817 *(float32 *)(vd + H1_4(i)) = float32_muladd(nn, mm, aa, 0, status);
1818 }
1819 }
1820
do_fmlal_idx(float32 * d,void * vn,void * vm,float_status * fpst,uint32_t desc,bool fz16)1821 static void do_fmlal_idx(float32 *d, void *vn, void *vm, float_status *fpst,
1822 uint32_t desc, bool fz16)
1823 {
1824 intptr_t i, oprsz = simd_oprsz(desc);
1825 int is_s = extract32(desc, SIMD_DATA_SHIFT, 1);
1826 int is_2 = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
1827 int index = extract32(desc, SIMD_DATA_SHIFT + 2, 3);
1828 int is_q = oprsz == 16;
1829 uint64_t n_4;
1830 float32 m_1;
1831
1832 /* Pre-load all of the f16 data, avoiding overlap issues. */
1833 n_4 = load4_f16(vn, is_q, is_2);
1834
1835 /* Negate all inputs for FMLSL at once. */
1836 if (is_s) {
1837 n_4 ^= 0x8000800080008000ull;
1838 }
1839
1840 m_1 = float16_to_float32_by_bits(((float16 *)vm)[H2(index)], fz16);
1841
1842 for (i = 0; i < oprsz / 4; i++) {
1843 float32 n_1 = float16_to_float32_by_bits(n_4 >> (i * 16), fz16);
1844 d[H4(i)] = float32_muladd(n_1, m_1, d[H4(i)], 0, fpst);
1845 }
1846 clear_tail(d, oprsz, simd_maxsz(desc));
1847 }
1848
HELPER(gvec_fmlal_idx_a32)1849 void HELPER(gvec_fmlal_idx_a32)(void *vd, void *vn, void *vm,
1850 void *venv, uint32_t desc)
1851 {
1852 CPUARMState *env = venv;
1853 do_fmlal_idx(vd, vn, vm, &env->vfp.standard_fp_status, desc,
1854 get_flush_inputs_to_zero(&env->vfp.fp_status_f16));
1855 }
1856
HELPER(gvec_fmlal_idx_a64)1857 void HELPER(gvec_fmlal_idx_a64)(void *vd, void *vn, void *vm,
1858 void *venv, uint32_t desc)
1859 {
1860 CPUARMState *env = venv;
1861 do_fmlal_idx(vd, vn, vm, &env->vfp.fp_status, desc,
1862 get_flush_inputs_to_zero(&env->vfp.fp_status_f16));
1863 }
1864
HELPER(sve2_fmlal_zzxw_s)1865 void HELPER(sve2_fmlal_zzxw_s)(void *vd, void *vn, void *vm, void *va,
1866 void *venv, uint32_t desc)
1867 {
1868 intptr_t i, j, oprsz = simd_oprsz(desc);
1869 uint16_t negn = extract32(desc, SIMD_DATA_SHIFT, 1) << 15;
1870 intptr_t sel = extract32(desc, SIMD_DATA_SHIFT + 1, 1) * sizeof(float16);
1871 intptr_t idx = extract32(desc, SIMD_DATA_SHIFT + 2, 3) * sizeof(float16);
1872 CPUARMState *env = venv;
1873 float_status *status = &env->vfp.fp_status;
1874 bool fz16 = get_flush_inputs_to_zero(&env->vfp.fp_status_f16);
1875
1876 for (i = 0; i < oprsz; i += 16) {
1877 float16 mm_16 = *(float16 *)(vm + i + idx);
1878 float32 mm = float16_to_float32_by_bits(mm_16, fz16);
1879
1880 for (j = 0; j < 16; j += sizeof(float32)) {
1881 float16 nn_16 = *(float16 *)(vn + H1_2(i + j + sel)) ^ negn;
1882 float32 nn = float16_to_float32_by_bits(nn_16, fz16);
1883 float32 aa = *(float32 *)(va + H1_4(i + j));
1884
1885 *(float32 *)(vd + H1_4(i + j)) =
1886 float32_muladd(nn, mm, aa, 0, status);
1887 }
1888 }
1889 }
1890
HELPER(gvec_sshl_b)1891 void HELPER(gvec_sshl_b)(void *vd, void *vn, void *vm, uint32_t desc)
1892 {
1893 intptr_t i, opr_sz = simd_oprsz(desc);
1894 int8_t *d = vd, *n = vn, *m = vm;
1895
1896 for (i = 0; i < opr_sz; ++i) {
1897 int8_t mm = m[i];
1898 int8_t nn = n[i];
1899 int8_t res = 0;
1900 if (mm >= 0) {
1901 if (mm < 8) {
1902 res = nn << mm;
1903 }
1904 } else {
1905 res = nn >> (mm > -8 ? -mm : 7);
1906 }
1907 d[i] = res;
1908 }
1909 clear_tail(d, opr_sz, simd_maxsz(desc));
1910 }
1911
HELPER(gvec_sshl_h)1912 void HELPER(gvec_sshl_h)(void *vd, void *vn, void *vm, uint32_t desc)
1913 {
1914 intptr_t i, opr_sz = simd_oprsz(desc);
1915 int16_t *d = vd, *n = vn, *m = vm;
1916
1917 for (i = 0; i < opr_sz / 2; ++i) {
1918 int8_t mm = m[i]; /* only 8 bits of shift are significant */
1919 int16_t nn = n[i];
1920 int16_t res = 0;
1921 if (mm >= 0) {
1922 if (mm < 16) {
1923 res = nn << mm;
1924 }
1925 } else {
1926 res = nn >> (mm > -16 ? -mm : 15);
1927 }
1928 d[i] = res;
1929 }
1930 clear_tail(d, opr_sz, simd_maxsz(desc));
1931 }
1932
HELPER(gvec_ushl_b)1933 void HELPER(gvec_ushl_b)(void *vd, void *vn, void *vm, uint32_t desc)
1934 {
1935 intptr_t i, opr_sz = simd_oprsz(desc);
1936 uint8_t *d = vd, *n = vn, *m = vm;
1937
1938 for (i = 0; i < opr_sz; ++i) {
1939 int8_t mm = m[i];
1940 uint8_t nn = n[i];
1941 uint8_t res = 0;
1942 if (mm >= 0) {
1943 if (mm < 8) {
1944 res = nn << mm;
1945 }
1946 } else {
1947 if (mm > -8) {
1948 res = nn >> -mm;
1949 }
1950 }
1951 d[i] = res;
1952 }
1953 clear_tail(d, opr_sz, simd_maxsz(desc));
1954 }
1955
HELPER(gvec_ushl_h)1956 void HELPER(gvec_ushl_h)(void *vd, void *vn, void *vm, uint32_t desc)
1957 {
1958 intptr_t i, opr_sz = simd_oprsz(desc);
1959 uint16_t *d = vd, *n = vn, *m = vm;
1960
1961 for (i = 0; i < opr_sz / 2; ++i) {
1962 int8_t mm = m[i]; /* only 8 bits of shift are significant */
1963 uint16_t nn = n[i];
1964 uint16_t res = 0;
1965 if (mm >= 0) {
1966 if (mm < 16) {
1967 res = nn << mm;
1968 }
1969 } else {
1970 if (mm > -16) {
1971 res = nn >> -mm;
1972 }
1973 }
1974 d[i] = res;
1975 }
1976 clear_tail(d, opr_sz, simd_maxsz(desc));
1977 }
1978
1979 /*
1980 * 8x8->8 polynomial multiply.
1981 *
1982 * Polynomial multiplication is like integer multiplication except the
1983 * partial products are XORed, not added.
1984 *
1985 * TODO: expose this as a generic vector operation, as it is a common
1986 * crypto building block.
1987 */
HELPER(gvec_pmul_b)1988 void HELPER(gvec_pmul_b)(void *vd, void *vn, void *vm, uint32_t desc)
1989 {
1990 intptr_t i, opr_sz = simd_oprsz(desc);
1991 uint64_t *d = vd, *n = vn, *m = vm;
1992
1993 for (i = 0; i < opr_sz / 8; ++i) {
1994 d[i] = clmul_8x8_low(n[i], m[i]);
1995 }
1996 clear_tail(d, opr_sz, simd_maxsz(desc));
1997 }
1998
1999 /*
2000 * 64x64->128 polynomial multiply.
2001 * Because of the lanes are not accessed in strict columns,
2002 * this probably cannot be turned into a generic helper.
2003 */
HELPER(gvec_pmull_q)2004 void HELPER(gvec_pmull_q)(void *vd, void *vn, void *vm, uint32_t desc)
2005 {
2006 intptr_t i, opr_sz = simd_oprsz(desc);
2007 intptr_t hi = simd_data(desc);
2008 uint64_t *d = vd, *n = vn, *m = vm;
2009
2010 for (i = 0; i < opr_sz / 8; i += 2) {
2011 Int128 r = clmul_64(n[i + hi], m[i + hi]);
2012 d[i] = int128_getlo(r);
2013 d[i + 1] = int128_gethi(r);
2014 }
2015 clear_tail(d, opr_sz, simd_maxsz(desc));
2016 }
2017
HELPER(neon_pmull_h)2018 void HELPER(neon_pmull_h)(void *vd, void *vn, void *vm, uint32_t desc)
2019 {
2020 int hi = simd_data(desc);
2021 uint64_t *d = vd, *n = vn, *m = vm;
2022 uint64_t nn = n[hi], mm = m[hi];
2023
2024 d[0] = clmul_8x4_packed(nn, mm);
2025 nn >>= 32;
2026 mm >>= 32;
2027 d[1] = clmul_8x4_packed(nn, mm);
2028
2029 clear_tail(d, 16, simd_maxsz(desc));
2030 }
2031
2032 #ifdef TARGET_AARCH64
HELPER(sve2_pmull_h)2033 void HELPER(sve2_pmull_h)(void *vd, void *vn, void *vm, uint32_t desc)
2034 {
2035 int shift = simd_data(desc) * 8;
2036 intptr_t i, opr_sz = simd_oprsz(desc);
2037 uint64_t *d = vd, *n = vn, *m = vm;
2038
2039 for (i = 0; i < opr_sz / 8; ++i) {
2040 d[i] = clmul_8x4_even(n[i] >> shift, m[i] >> shift);
2041 }
2042 }
2043
HELPER(sve2_pmull_d)2044 void HELPER(sve2_pmull_d)(void *vd, void *vn, void *vm, uint32_t desc)
2045 {
2046 intptr_t sel = H4(simd_data(desc));
2047 intptr_t i, opr_sz = simd_oprsz(desc);
2048 uint32_t *n = vn, *m = vm;
2049 uint64_t *d = vd;
2050
2051 for (i = 0; i < opr_sz / 8; ++i) {
2052 d[i] = clmul_32(n[2 * i + sel], m[2 * i + sel]);
2053 }
2054 }
2055 #endif
2056
2057 #define DO_CMP0(NAME, TYPE, OP) \
2058 void HELPER(NAME)(void *vd, void *vn, uint32_t desc) \
2059 { \
2060 intptr_t i, opr_sz = simd_oprsz(desc); \
2061 for (i = 0; i < opr_sz; i += sizeof(TYPE)) { \
2062 TYPE nn = *(TYPE *)(vn + i); \
2063 *(TYPE *)(vd + i) = -(nn OP 0); \
2064 } \
2065 clear_tail(vd, opr_sz, simd_maxsz(desc)); \
2066 }
2067
2068 DO_CMP0(gvec_ceq0_b, int8_t, ==)
2069 DO_CMP0(gvec_clt0_b, int8_t, <)
2070 DO_CMP0(gvec_cle0_b, int8_t, <=)
2071 DO_CMP0(gvec_cgt0_b, int8_t, >)
2072 DO_CMP0(gvec_cge0_b, int8_t, >=)
2073
2074 DO_CMP0(gvec_ceq0_h, int16_t, ==)
2075 DO_CMP0(gvec_clt0_h, int16_t, <)
2076 DO_CMP0(gvec_cle0_h, int16_t, <=)
2077 DO_CMP0(gvec_cgt0_h, int16_t, >)
2078 DO_CMP0(gvec_cge0_h, int16_t, >=)
2079
2080 #undef DO_CMP0
2081
2082 #define DO_ABD(NAME, TYPE) \
2083 void HELPER(NAME)(void *vd, void *vn, void *vm, uint32_t desc) \
2084 { \
2085 intptr_t i, opr_sz = simd_oprsz(desc); \
2086 TYPE *d = vd, *n = vn, *m = vm; \
2087 \
2088 for (i = 0; i < opr_sz / sizeof(TYPE); ++i) { \
2089 d[i] = n[i] < m[i] ? m[i] - n[i] : n[i] - m[i]; \
2090 } \
2091 clear_tail(d, opr_sz, simd_maxsz(desc)); \
2092 }
2093
DO_ABD(gvec_sabd_b,int8_t)2094 DO_ABD(gvec_sabd_b, int8_t)
2095 DO_ABD(gvec_sabd_h, int16_t)
2096 DO_ABD(gvec_sabd_s, int32_t)
2097 DO_ABD(gvec_sabd_d, int64_t)
2098
2099 DO_ABD(gvec_uabd_b, uint8_t)
2100 DO_ABD(gvec_uabd_h, uint16_t)
2101 DO_ABD(gvec_uabd_s, uint32_t)
2102 DO_ABD(gvec_uabd_d, uint64_t)
2103
2104 #undef DO_ABD
2105
2106 #define DO_ABA(NAME, TYPE) \
2107 void HELPER(NAME)(void *vd, void *vn, void *vm, uint32_t desc) \
2108 { \
2109 intptr_t i, opr_sz = simd_oprsz(desc); \
2110 TYPE *d = vd, *n = vn, *m = vm; \
2111 \
2112 for (i = 0; i < opr_sz / sizeof(TYPE); ++i) { \
2113 d[i] += n[i] < m[i] ? m[i] - n[i] : n[i] - m[i]; \
2114 } \
2115 clear_tail(d, opr_sz, simd_maxsz(desc)); \
2116 }
2117
2118 DO_ABA(gvec_saba_b, int8_t)
2119 DO_ABA(gvec_saba_h, int16_t)
2120 DO_ABA(gvec_saba_s, int32_t)
2121 DO_ABA(gvec_saba_d, int64_t)
2122
2123 DO_ABA(gvec_uaba_b, uint8_t)
2124 DO_ABA(gvec_uaba_h, uint16_t)
2125 DO_ABA(gvec_uaba_s, uint32_t)
2126 DO_ABA(gvec_uaba_d, uint64_t)
2127
2128 #undef DO_ABA
2129
2130 #define DO_NEON_PAIRWISE(NAME, OP) \
2131 void HELPER(NAME##s)(void *vd, void *vn, void *vm, \
2132 void *stat, uint32_t oprsz) \
2133 { \
2134 float_status *fpst = stat; \
2135 float32 *d = vd; \
2136 float32 *n = vn; \
2137 float32 *m = vm; \
2138 float32 r0, r1; \
2139 \
2140 /* Read all inputs before writing outputs in case vm == vd */ \
2141 r0 = float32_##OP(n[H4(0)], n[H4(1)], fpst); \
2142 r1 = float32_##OP(m[H4(0)], m[H4(1)], fpst); \
2143 \
2144 d[H4(0)] = r0; \
2145 d[H4(1)] = r1; \
2146 } \
2147 \
2148 void HELPER(NAME##h)(void *vd, void *vn, void *vm, \
2149 void *stat, uint32_t oprsz) \
2150 { \
2151 float_status *fpst = stat; \
2152 float16 *d = vd; \
2153 float16 *n = vn; \
2154 float16 *m = vm; \
2155 float16 r0, r1, r2, r3; \
2156 \
2157 /* Read all inputs before writing outputs in case vm == vd */ \
2158 r0 = float16_##OP(n[H2(0)], n[H2(1)], fpst); \
2159 r1 = float16_##OP(n[H2(2)], n[H2(3)], fpst); \
2160 r2 = float16_##OP(m[H2(0)], m[H2(1)], fpst); \
2161 r3 = float16_##OP(m[H2(2)], m[H2(3)], fpst); \
2162 \
2163 d[H2(0)] = r0; \
2164 d[H2(1)] = r1; \
2165 d[H2(2)] = r2; \
2166 d[H2(3)] = r3; \
2167 }
2168
2169 DO_NEON_PAIRWISE(neon_padd, add)
2170 DO_NEON_PAIRWISE(neon_pmax, max)
2171 DO_NEON_PAIRWISE(neon_pmin, min)
2172
2173 #undef DO_NEON_PAIRWISE
2174
2175 #define DO_VCVT_FIXED(NAME, FUNC, TYPE) \
2176 void HELPER(NAME)(void *vd, void *vn, void *stat, uint32_t desc) \
2177 { \
2178 intptr_t i, oprsz = simd_oprsz(desc); \
2179 int shift = simd_data(desc); \
2180 TYPE *d = vd, *n = vn; \
2181 float_status *fpst = stat; \
2182 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
2183 d[i] = FUNC(n[i], shift, fpst); \
2184 } \
2185 clear_tail(d, oprsz, simd_maxsz(desc)); \
2186 }
2187
2188 DO_VCVT_FIXED(gvec_vcvt_sf, helper_vfp_sltos, uint32_t)
2189 DO_VCVT_FIXED(gvec_vcvt_uf, helper_vfp_ultos, uint32_t)
2190 DO_VCVT_FIXED(gvec_vcvt_fs, helper_vfp_tosls_round_to_zero, uint32_t)
2191 DO_VCVT_FIXED(gvec_vcvt_fu, helper_vfp_touls_round_to_zero, uint32_t)
2192 DO_VCVT_FIXED(gvec_vcvt_sh, helper_vfp_shtoh, uint16_t)
2193 DO_VCVT_FIXED(gvec_vcvt_uh, helper_vfp_uhtoh, uint16_t)
2194 DO_VCVT_FIXED(gvec_vcvt_hs, helper_vfp_toshh_round_to_zero, uint16_t)
2195 DO_VCVT_FIXED(gvec_vcvt_hu, helper_vfp_touhh_round_to_zero, uint16_t)
2196
2197 #undef DO_VCVT_FIXED
2198
2199 #define DO_VCVT_RMODE(NAME, FUNC, TYPE) \
2200 void HELPER(NAME)(void *vd, void *vn, void *stat, uint32_t desc) \
2201 { \
2202 float_status *fpst = stat; \
2203 intptr_t i, oprsz = simd_oprsz(desc); \
2204 uint32_t rmode = simd_data(desc); \
2205 uint32_t prev_rmode = get_float_rounding_mode(fpst); \
2206 TYPE *d = vd, *n = vn; \
2207 set_float_rounding_mode(rmode, fpst); \
2208 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
2209 d[i] = FUNC(n[i], 0, fpst); \
2210 } \
2211 set_float_rounding_mode(prev_rmode, fpst); \
2212 clear_tail(d, oprsz, simd_maxsz(desc)); \
2213 }
2214
2215 DO_VCVT_RMODE(gvec_vcvt_rm_ss, helper_vfp_tosls, uint32_t)
2216 DO_VCVT_RMODE(gvec_vcvt_rm_us, helper_vfp_touls, uint32_t)
2217 DO_VCVT_RMODE(gvec_vcvt_rm_sh, helper_vfp_toshh, uint16_t)
2218 DO_VCVT_RMODE(gvec_vcvt_rm_uh, helper_vfp_touhh, uint16_t)
2219
2220 #undef DO_VCVT_RMODE
2221
2222 #define DO_VRINT_RMODE(NAME, FUNC, TYPE) \
2223 void HELPER(NAME)(void *vd, void *vn, void *stat, uint32_t desc) \
2224 { \
2225 float_status *fpst = stat; \
2226 intptr_t i, oprsz = simd_oprsz(desc); \
2227 uint32_t rmode = simd_data(desc); \
2228 uint32_t prev_rmode = get_float_rounding_mode(fpst); \
2229 TYPE *d = vd, *n = vn; \
2230 set_float_rounding_mode(rmode, fpst); \
2231 for (i = 0; i < oprsz / sizeof(TYPE); i++) { \
2232 d[i] = FUNC(n[i], fpst); \
2233 } \
2234 set_float_rounding_mode(prev_rmode, fpst); \
2235 clear_tail(d, oprsz, simd_maxsz(desc)); \
2236 }
2237
2238 DO_VRINT_RMODE(gvec_vrint_rm_h, helper_rinth, uint16_t)
2239 DO_VRINT_RMODE(gvec_vrint_rm_s, helper_rints, uint32_t)
2240
2241 #undef DO_VRINT_RMODE
2242
2243 #ifdef TARGET_AARCH64
2244 void HELPER(simd_tblx)(void *vd, void *vm, void *venv, uint32_t desc)
2245 {
2246 const uint8_t *indices = vm;
2247 CPUARMState *env = venv;
2248 size_t oprsz = simd_oprsz(desc);
2249 uint32_t rn = extract32(desc, SIMD_DATA_SHIFT, 5);
2250 bool is_tbx = extract32(desc, SIMD_DATA_SHIFT + 5, 1);
2251 uint32_t table_len = desc >> (SIMD_DATA_SHIFT + 6);
2252 union {
2253 uint8_t b[16];
2254 uint64_t d[2];
2255 } result;
2256
2257 /*
2258 * We must construct the final result in a temp, lest the output
2259 * overlaps the input table. For TBL, begin with zero; for TBX,
2260 * begin with the original register contents. Note that we always
2261 * copy 16 bytes here to avoid an extra branch; clearing the high
2262 * bits of the register for oprsz == 8 is handled below.
2263 */
2264 if (is_tbx) {
2265 memcpy(&result, vd, 16);
2266 } else {
2267 memset(&result, 0, 16);
2268 }
2269
2270 for (size_t i = 0; i < oprsz; ++i) {
2271 uint32_t index = indices[H1(i)];
2272
2273 if (index < table_len) {
2274 /*
2275 * Convert index (a byte offset into the virtual table
2276 * which is a series of 128-bit vectors concatenated)
2277 * into the correct register element, bearing in mind
2278 * that the table can wrap around from V31 to V0.
2279 */
2280 const uint8_t *table = (const uint8_t *)
2281 aa64_vfp_qreg(env, (rn + (index >> 4)) % 32);
2282 result.b[H1(i)] = table[H1(index % 16)];
2283 }
2284 }
2285
2286 memcpy(vd, &result, 16);
2287 clear_tail(vd, oprsz, simd_maxsz(desc));
2288 }
2289 #endif
2290
2291 /*
2292 * NxN -> N highpart multiply
2293 *
2294 * TODO: expose this as a generic vector operation.
2295 */
2296
HELPER(gvec_smulh_b)2297 void HELPER(gvec_smulh_b)(void *vd, void *vn, void *vm, uint32_t desc)
2298 {
2299 intptr_t i, opr_sz = simd_oprsz(desc);
2300 int8_t *d = vd, *n = vn, *m = vm;
2301
2302 for (i = 0; i < opr_sz; ++i) {
2303 d[i] = ((int32_t)n[i] * m[i]) >> 8;
2304 }
2305 clear_tail(d, opr_sz, simd_maxsz(desc));
2306 }
2307
HELPER(gvec_smulh_h)2308 void HELPER(gvec_smulh_h)(void *vd, void *vn, void *vm, uint32_t desc)
2309 {
2310 intptr_t i, opr_sz = simd_oprsz(desc);
2311 int16_t *d = vd, *n = vn, *m = vm;
2312
2313 for (i = 0; i < opr_sz / 2; ++i) {
2314 d[i] = ((int32_t)n[i] * m[i]) >> 16;
2315 }
2316 clear_tail(d, opr_sz, simd_maxsz(desc));
2317 }
2318
HELPER(gvec_smulh_s)2319 void HELPER(gvec_smulh_s)(void *vd, void *vn, void *vm, uint32_t desc)
2320 {
2321 intptr_t i, opr_sz = simd_oprsz(desc);
2322 int32_t *d = vd, *n = vn, *m = vm;
2323
2324 for (i = 0; i < opr_sz / 4; ++i) {
2325 d[i] = ((int64_t)n[i] * m[i]) >> 32;
2326 }
2327 clear_tail(d, opr_sz, simd_maxsz(desc));
2328 }
2329
HELPER(gvec_smulh_d)2330 void HELPER(gvec_smulh_d)(void *vd, void *vn, void *vm, uint32_t desc)
2331 {
2332 intptr_t i, opr_sz = simd_oprsz(desc);
2333 uint64_t *d = vd, *n = vn, *m = vm;
2334 uint64_t discard;
2335
2336 for (i = 0; i < opr_sz / 8; ++i) {
2337 muls64(&discard, &d[i], n[i], m[i]);
2338 }
2339 clear_tail(d, opr_sz, simd_maxsz(desc));
2340 }
2341
HELPER(gvec_umulh_b)2342 void HELPER(gvec_umulh_b)(void *vd, void *vn, void *vm, uint32_t desc)
2343 {
2344 intptr_t i, opr_sz = simd_oprsz(desc);
2345 uint8_t *d = vd, *n = vn, *m = vm;
2346
2347 for (i = 0; i < opr_sz; ++i) {
2348 d[i] = ((uint32_t)n[i] * m[i]) >> 8;
2349 }
2350 clear_tail(d, opr_sz, simd_maxsz(desc));
2351 }
2352
HELPER(gvec_umulh_h)2353 void HELPER(gvec_umulh_h)(void *vd, void *vn, void *vm, uint32_t desc)
2354 {
2355 intptr_t i, opr_sz = simd_oprsz(desc);
2356 uint16_t *d = vd, *n = vn, *m = vm;
2357
2358 for (i = 0; i < opr_sz / 2; ++i) {
2359 d[i] = ((uint32_t)n[i] * m[i]) >> 16;
2360 }
2361 clear_tail(d, opr_sz, simd_maxsz(desc));
2362 }
2363
HELPER(gvec_umulh_s)2364 void HELPER(gvec_umulh_s)(void *vd, void *vn, void *vm, uint32_t desc)
2365 {
2366 intptr_t i, opr_sz = simd_oprsz(desc);
2367 uint32_t *d = vd, *n = vn, *m = vm;
2368
2369 for (i = 0; i < opr_sz / 4; ++i) {
2370 d[i] = ((uint64_t)n[i] * m[i]) >> 32;
2371 }
2372 clear_tail(d, opr_sz, simd_maxsz(desc));
2373 }
2374
HELPER(gvec_umulh_d)2375 void HELPER(gvec_umulh_d)(void *vd, void *vn, void *vm, uint32_t desc)
2376 {
2377 intptr_t i, opr_sz = simd_oprsz(desc);
2378 uint64_t *d = vd, *n = vn, *m = vm;
2379 uint64_t discard;
2380
2381 for (i = 0; i < opr_sz / 8; ++i) {
2382 mulu64(&discard, &d[i], n[i], m[i]);
2383 }
2384 clear_tail(d, opr_sz, simd_maxsz(desc));
2385 }
2386
HELPER(gvec_xar_d)2387 void HELPER(gvec_xar_d)(void *vd, void *vn, void *vm, uint32_t desc)
2388 {
2389 intptr_t i, opr_sz = simd_oprsz(desc) / 8;
2390 int shr = simd_data(desc);
2391 uint64_t *d = vd, *n = vn, *m = vm;
2392
2393 for (i = 0; i < opr_sz; ++i) {
2394 d[i] = ror64(n[i] ^ m[i], shr);
2395 }
2396 clear_tail(d, opr_sz * 8, simd_maxsz(desc));
2397 }
2398
2399 /*
2400 * Integer matrix-multiply accumulate
2401 */
2402
do_smmla_b(uint32_t sum,void * vn,void * vm)2403 static uint32_t do_smmla_b(uint32_t sum, void *vn, void *vm)
2404 {
2405 int8_t *n = vn, *m = vm;
2406
2407 for (intptr_t k = 0; k < 8; ++k) {
2408 sum += n[H1(k)] * m[H1(k)];
2409 }
2410 return sum;
2411 }
2412
do_ummla_b(uint32_t sum,void * vn,void * vm)2413 static uint32_t do_ummla_b(uint32_t sum, void *vn, void *vm)
2414 {
2415 uint8_t *n = vn, *m = vm;
2416
2417 for (intptr_t k = 0; k < 8; ++k) {
2418 sum += n[H1(k)] * m[H1(k)];
2419 }
2420 return sum;
2421 }
2422
do_usmmla_b(uint32_t sum,void * vn,void * vm)2423 static uint32_t do_usmmla_b(uint32_t sum, void *vn, void *vm)
2424 {
2425 uint8_t *n = vn;
2426 int8_t *m = vm;
2427
2428 for (intptr_t k = 0; k < 8; ++k) {
2429 sum += n[H1(k)] * m[H1(k)];
2430 }
2431 return sum;
2432 }
2433
do_mmla_b(void * vd,void * vn,void * vm,void * va,uint32_t desc,uint32_t (* inner_loop)(uint32_t,void *,void *))2434 static void do_mmla_b(void *vd, void *vn, void *vm, void *va, uint32_t desc,
2435 uint32_t (*inner_loop)(uint32_t, void *, void *))
2436 {
2437 intptr_t seg, opr_sz = simd_oprsz(desc);
2438
2439 for (seg = 0; seg < opr_sz; seg += 16) {
2440 uint32_t *d = vd + seg;
2441 uint32_t *a = va + seg;
2442 uint32_t sum0, sum1, sum2, sum3;
2443
2444 /*
2445 * Process the entire segment at once, writing back the
2446 * results only after we've consumed all of the inputs.
2447 *
2448 * Key to indices by column:
2449 * i j i j
2450 */
2451 sum0 = a[H4(0 + 0)];
2452 sum0 = inner_loop(sum0, vn + seg + 0, vm + seg + 0);
2453 sum1 = a[H4(0 + 1)];
2454 sum1 = inner_loop(sum1, vn + seg + 0, vm + seg + 8);
2455 sum2 = a[H4(2 + 0)];
2456 sum2 = inner_loop(sum2, vn + seg + 8, vm + seg + 0);
2457 sum3 = a[H4(2 + 1)];
2458 sum3 = inner_loop(sum3, vn + seg + 8, vm + seg + 8);
2459
2460 d[H4(0)] = sum0;
2461 d[H4(1)] = sum1;
2462 d[H4(2)] = sum2;
2463 d[H4(3)] = sum3;
2464 }
2465 clear_tail(vd, opr_sz, simd_maxsz(desc));
2466 }
2467
2468 #define DO_MMLA_B(NAME, INNER) \
2469 void HELPER(NAME)(void *vd, void *vn, void *vm, void *va, uint32_t desc) \
2470 { do_mmla_b(vd, vn, vm, va, desc, INNER); }
2471
DO_MMLA_B(gvec_smmla_b,do_smmla_b)2472 DO_MMLA_B(gvec_smmla_b, do_smmla_b)
2473 DO_MMLA_B(gvec_ummla_b, do_ummla_b)
2474 DO_MMLA_B(gvec_usmmla_b, do_usmmla_b)
2475
2476 /*
2477 * BFloat16 Dot Product
2478 */
2479
2480 float32 bfdotadd(float32 sum, uint32_t e1, uint32_t e2)
2481 {
2482 /* FPCR is ignored for BFDOT and BFMMLA. */
2483 float_status bf_status = {
2484 .tininess_before_rounding = float_tininess_before_rounding,
2485 .float_rounding_mode = float_round_to_odd_inf,
2486 .flush_to_zero = true,
2487 .flush_inputs_to_zero = true,
2488 .default_nan_mode = true,
2489 };
2490 float32 t1, t2;
2491
2492 /*
2493 * Extract each BFloat16 from the element pair, and shift
2494 * them such that they become float32.
2495 */
2496 t1 = float32_mul(e1 << 16, e2 << 16, &bf_status);
2497 t2 = float32_mul(e1 & 0xffff0000u, e2 & 0xffff0000u, &bf_status);
2498 t1 = float32_add(t1, t2, &bf_status);
2499 t1 = float32_add(sum, t1, &bf_status);
2500
2501 return t1;
2502 }
2503
HELPER(gvec_bfdot)2504 void HELPER(gvec_bfdot)(void *vd, void *vn, void *vm, void *va, uint32_t desc)
2505 {
2506 intptr_t i, opr_sz = simd_oprsz(desc);
2507 float32 *d = vd, *a = va;
2508 uint32_t *n = vn, *m = vm;
2509
2510 for (i = 0; i < opr_sz / 4; ++i) {
2511 d[i] = bfdotadd(a[i], n[i], m[i]);
2512 }
2513 clear_tail(d, opr_sz, simd_maxsz(desc));
2514 }
2515
HELPER(gvec_bfdot_idx)2516 void HELPER(gvec_bfdot_idx)(void *vd, void *vn, void *vm,
2517 void *va, uint32_t desc)
2518 {
2519 intptr_t i, j, opr_sz = simd_oprsz(desc);
2520 intptr_t index = simd_data(desc);
2521 intptr_t elements = opr_sz / 4;
2522 intptr_t eltspersegment = MIN(16 / 4, elements);
2523 float32 *d = vd, *a = va;
2524 uint32_t *n = vn, *m = vm;
2525
2526 for (i = 0; i < elements; i += eltspersegment) {
2527 uint32_t m_idx = m[i + H4(index)];
2528
2529 for (j = i; j < i + eltspersegment; j++) {
2530 d[j] = bfdotadd(a[j], n[j], m_idx);
2531 }
2532 }
2533 clear_tail(d, opr_sz, simd_maxsz(desc));
2534 }
2535
HELPER(gvec_bfmmla)2536 void HELPER(gvec_bfmmla)(void *vd, void *vn, void *vm, void *va, uint32_t desc)
2537 {
2538 intptr_t s, opr_sz = simd_oprsz(desc);
2539 float32 *d = vd, *a = va;
2540 uint32_t *n = vn, *m = vm;
2541
2542 for (s = 0; s < opr_sz / 4; s += 4) {
2543 float32 sum00, sum01, sum10, sum11;
2544
2545 /*
2546 * Process the entire segment at once, writing back the
2547 * results only after we've consumed all of the inputs.
2548 *
2549 * Key to indices by column:
2550 * i j i k j k
2551 */
2552 sum00 = a[s + H4(0 + 0)];
2553 sum00 = bfdotadd(sum00, n[s + H4(0 + 0)], m[s + H4(0 + 0)]);
2554 sum00 = bfdotadd(sum00, n[s + H4(0 + 1)], m[s + H4(0 + 1)]);
2555
2556 sum01 = a[s + H4(0 + 1)];
2557 sum01 = bfdotadd(sum01, n[s + H4(0 + 0)], m[s + H4(2 + 0)]);
2558 sum01 = bfdotadd(sum01, n[s + H4(0 + 1)], m[s + H4(2 + 1)]);
2559
2560 sum10 = a[s + H4(2 + 0)];
2561 sum10 = bfdotadd(sum10, n[s + H4(2 + 0)], m[s + H4(0 + 0)]);
2562 sum10 = bfdotadd(sum10, n[s + H4(2 + 1)], m[s + H4(0 + 1)]);
2563
2564 sum11 = a[s + H4(2 + 1)];
2565 sum11 = bfdotadd(sum11, n[s + H4(2 + 0)], m[s + H4(2 + 0)]);
2566 sum11 = bfdotadd(sum11, n[s + H4(2 + 1)], m[s + H4(2 + 1)]);
2567
2568 d[s + H4(0 + 0)] = sum00;
2569 d[s + H4(0 + 1)] = sum01;
2570 d[s + H4(2 + 0)] = sum10;
2571 d[s + H4(2 + 1)] = sum11;
2572 }
2573 clear_tail(d, opr_sz, simd_maxsz(desc));
2574 }
2575
HELPER(gvec_bfmlal)2576 void HELPER(gvec_bfmlal)(void *vd, void *vn, void *vm, void *va,
2577 void *stat, uint32_t desc)
2578 {
2579 intptr_t i, opr_sz = simd_oprsz(desc);
2580 intptr_t sel = simd_data(desc);
2581 float32 *d = vd, *a = va;
2582 bfloat16 *n = vn, *m = vm;
2583
2584 for (i = 0; i < opr_sz / 4; ++i) {
2585 float32 nn = n[H2(i * 2 + sel)] << 16;
2586 float32 mm = m[H2(i * 2 + sel)] << 16;
2587 d[H4(i)] = float32_muladd(nn, mm, a[H4(i)], 0, stat);
2588 }
2589 clear_tail(d, opr_sz, simd_maxsz(desc));
2590 }
2591
HELPER(gvec_bfmlal_idx)2592 void HELPER(gvec_bfmlal_idx)(void *vd, void *vn, void *vm,
2593 void *va, void *stat, uint32_t desc)
2594 {
2595 intptr_t i, j, opr_sz = simd_oprsz(desc);
2596 intptr_t sel = extract32(desc, SIMD_DATA_SHIFT, 1);
2597 intptr_t index = extract32(desc, SIMD_DATA_SHIFT + 1, 3);
2598 intptr_t elements = opr_sz / 4;
2599 intptr_t eltspersegment = MIN(16 / 4, elements);
2600 float32 *d = vd, *a = va;
2601 bfloat16 *n = vn, *m = vm;
2602
2603 for (i = 0; i < elements; i += eltspersegment) {
2604 float32 m_idx = m[H2(2 * i + index)] << 16;
2605
2606 for (j = i; j < i + eltspersegment; j++) {
2607 float32 n_j = n[H2(2 * j + sel)] << 16;
2608 d[H4(j)] = float32_muladd(n_j, m_idx, a[H4(j)], 0, stat);
2609 }
2610 }
2611 clear_tail(d, opr_sz, simd_maxsz(desc));
2612 }
2613
2614 #define DO_CLAMP(NAME, TYPE) \
2615 void HELPER(NAME)(void *d, void *n, void *m, void *a, uint32_t desc) \
2616 { \
2617 intptr_t i, opr_sz = simd_oprsz(desc); \
2618 for (i = 0; i < opr_sz; i += sizeof(TYPE)) { \
2619 TYPE aa = *(TYPE *)(a + i); \
2620 TYPE nn = *(TYPE *)(n + i); \
2621 TYPE mm = *(TYPE *)(m + i); \
2622 TYPE dd = MIN(MAX(aa, nn), mm); \
2623 *(TYPE *)(d + i) = dd; \
2624 } \
2625 clear_tail(d, opr_sz, simd_maxsz(desc)); \
2626 }
2627
2628 DO_CLAMP(gvec_sclamp_b, int8_t)
2629 DO_CLAMP(gvec_sclamp_h, int16_t)
2630 DO_CLAMP(gvec_sclamp_s, int32_t)
2631 DO_CLAMP(gvec_sclamp_d, int64_t)
2632
2633 DO_CLAMP(gvec_uclamp_b, uint8_t)
2634 DO_CLAMP(gvec_uclamp_h, uint16_t)
2635 DO_CLAMP(gvec_uclamp_s, uint32_t)
2636 DO_CLAMP(gvec_uclamp_d, uint64_t)
2637