xref: /aosp_15_r20/external/XNNPACK/src/qs8-dwconv/gen/up16x9-minmax-fp32-wasmsimd-mul16.c (revision 4bdc94577ba0e567308109d787f7fec7b531ce36)
1 // Auto-generated file. Do not edit!
2 //   Template: src/qs8-dwconv/unipass-wasmsimd-mul16.c.in
3 //   Generator: tools/xngen
4 //
5 // Copyright 2020 Google LLC
6 //
7 // This source code is licensed under the BSD-style license found in the
8 // LICENSE file in the root directory of this source tree.
9 
10 #include <assert.h>
11 
12 #include <wasm_simd128.h>
13 
14 #include <xnnpack/dwconv.h>
15 
16 
xnn_qs8_dwconv_minmax_fp32_ukernel_up16x9__wasmsimd_mul16(size_t channels,size_t output_width,const int8_t ** input,const void * weights,int8_t * output,size_t input_stride,size_t output_increment,size_t input_offset,const int8_t * zero,const union xnn_qs8_conv_minmax_params params[restrict XNN_MIN_ELEMENTS (1)])17 void xnn_qs8_dwconv_minmax_fp32_ukernel_up16x9__wasmsimd_mul16(
18     size_t channels,
19     size_t output_width,
20     const int8_t** input,
21     const void* weights,
22     int8_t* output,
23     size_t input_stride,
24     size_t output_increment,
25     size_t input_offset,
26     const int8_t* zero,
27     const union xnn_qs8_conv_minmax_params params[restrict XNN_MIN_ELEMENTS(1)]) XNN_OOB_READS
28 {
29   assert(channels != 0);
30   assert(output_width != 0);
31 
32   do {
33     const int8_t* i0 = input[0];
34     assert(i0 != NULL);
35     if XNN_UNPREDICTABLE(i0 != zero) {
36       i0 = (const int8_t*) ((uintptr_t) i0 + input_offset);
37     }
38     const int8_t* i1 = input[1];
39     assert(i1 != NULL);
40     if XNN_UNPREDICTABLE(i1 != zero) {
41       i1 = (const int8_t*) ((uintptr_t) i1 + input_offset);
42     }
43     const int8_t* i2 = input[2];
44     assert(i2 != NULL);
45     if XNN_UNPREDICTABLE(i2 != zero) {
46       i2 = (const int8_t*) ((uintptr_t) i2 + input_offset);
47     }
48     const int8_t* i3 = input[3];
49     assert(i3 != NULL);
50     if XNN_UNPREDICTABLE(i3 != zero) {
51       i3 = (const int8_t*) ((uintptr_t) i3 + input_offset);
52     }
53     const int8_t* i4 = input[4];
54     assert(i4 != NULL);
55     if XNN_UNPREDICTABLE(i4 != zero) {
56       i4 = (const int8_t*) ((uintptr_t) i4 + input_offset);
57     }
58     const int8_t* i5 = input[5];
59     assert(i5 != NULL);
60     if XNN_UNPREDICTABLE(i5 != zero) {
61       i5 = (const int8_t*) ((uintptr_t) i5 + input_offset);
62     }
63     const int8_t* i6 = input[6];
64     assert(i6 != NULL);
65     if XNN_UNPREDICTABLE(i6 != zero) {
66       i6 = (const int8_t*) ((uintptr_t) i6 + input_offset);
67     }
68     const int8_t* i7 = input[7];
69     assert(i7 != NULL);
70     if XNN_UNPREDICTABLE(i7 != zero) {
71       i7 = (const int8_t*) ((uintptr_t) i7 + input_offset);
72     }
73     const int8_t* i8 = input[8];
74     assert(i8 != NULL);
75     if XNN_UNPREDICTABLE(i8 != zero) {
76       i8 = (const int8_t*) ((uintptr_t) i8 + input_offset);
77     }
78     input = (const int8_t**) ((uintptr_t) input + input_stride);
79 
80     size_t c = channels;
81     const void* w = weights;
82     for (; c >= 16; c -= 16) {
83       v128_t vacc0123 = wasm_v128_load(w);
84       v128_t vacc4567 = wasm_v128_load((const void*) ((uintptr_t) w + 4 * sizeof(int32_t)));
85       v128_t vacc89AB = wasm_v128_load((const void*) ((uintptr_t) w + 8 * sizeof(int32_t)));
86       v128_t vaccCDEF = wasm_v128_load((const void*) ((uintptr_t) w + 12 * sizeof(int32_t)));
87 
88 
89       const v128_t vi0x01234567 = wasm_i16x8_load8x8(i0);
90       const v128_t vk0x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 0 * sizeof(int8_t)));
91       const v128_t vi0x89ABCDEF = wasm_i16x8_load8x8(i0 + 8);
92       const v128_t vk0x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 8 * sizeof(int8_t)));
93       i0 += 16;
94 
95       v128_t vprod01234567 = wasm_i16x8_mul(vi0x01234567, vk0x01234567);
96       v128_t vprod89ABCDEF = wasm_i16x8_mul(vi0x89ABCDEF, vk0x89ABCDEF);
97 
98       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
99       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
100       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
101       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
102 
103       const v128_t vi1x01234567 = wasm_i16x8_load8x8(i1);
104       const v128_t vk1x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 16 * sizeof(int8_t)));
105       const v128_t vi1x89ABCDEF = wasm_i16x8_load8x8(i1 + 8);
106       const v128_t vk1x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 24 * sizeof(int8_t)));
107       i1 += 16;
108 
109       vprod01234567 = wasm_i16x8_mul(vi1x01234567, vk1x01234567);
110       vprod89ABCDEF = wasm_i16x8_mul(vi1x89ABCDEF, vk1x89ABCDEF);
111 
112       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
113       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
114       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
115       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
116 
117       const v128_t vi2x01234567 = wasm_i16x8_load8x8(i2);
118       const v128_t vk2x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 32 * sizeof(int8_t)));
119       const v128_t vi2x89ABCDEF = wasm_i16x8_load8x8(i2 + 8);
120       const v128_t vk2x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 40 * sizeof(int8_t)));
121       i2 += 16;
122 
123       vprod01234567 = wasm_i16x8_mul(vi2x01234567, vk2x01234567);
124       vprod89ABCDEF = wasm_i16x8_mul(vi2x89ABCDEF, vk2x89ABCDEF);
125 
126       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
127       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
128       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
129       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
130 
131       const v128_t vi3x01234567 = wasm_i16x8_load8x8(i3);
132       const v128_t vk3x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 48 * sizeof(int8_t)));
133       const v128_t vi3x89ABCDEF = wasm_i16x8_load8x8(i3 + 8);
134       const v128_t vk3x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 56 * sizeof(int8_t)));
135       i3 += 16;
136 
137       vprod01234567 = wasm_i16x8_mul(vi3x01234567, vk3x01234567);
138       vprod89ABCDEF = wasm_i16x8_mul(vi3x89ABCDEF, vk3x89ABCDEF);
139 
140       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
141       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
142       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
143       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
144 
145       const v128_t vi4x01234567 = wasm_i16x8_load8x8(i4);
146       const v128_t vk4x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 64 * sizeof(int8_t)));
147       const v128_t vi4x89ABCDEF = wasm_i16x8_load8x8(i4 + 8);
148       const v128_t vk4x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 72 * sizeof(int8_t)));
149       i4 += 16;
150 
151       vprod01234567 = wasm_i16x8_mul(vi4x01234567, vk4x01234567);
152       vprod89ABCDEF = wasm_i16x8_mul(vi4x89ABCDEF, vk4x89ABCDEF);
153 
154       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
155       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
156       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
157       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
158 
159       const v128_t vi5x01234567 = wasm_i16x8_load8x8(i5);
160       const v128_t vk5x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 80 * sizeof(int8_t)));
161       const v128_t vi5x89ABCDEF = wasm_i16x8_load8x8(i5 + 8);
162       const v128_t vk5x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 88 * sizeof(int8_t)));
163       i5 += 16;
164 
165       vprod01234567 = wasm_i16x8_mul(vi5x01234567, vk5x01234567);
166       vprod89ABCDEF = wasm_i16x8_mul(vi5x89ABCDEF, vk5x89ABCDEF);
167 
168       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
169       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
170       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
171       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
172 
173       const v128_t vi6x01234567 = wasm_i16x8_load8x8(i6);
174       const v128_t vk6x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 96 * sizeof(int8_t)));
175       const v128_t vi6x89ABCDEF = wasm_i16x8_load8x8(i6 + 8);
176       const v128_t vk6x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 104 * sizeof(int8_t)));
177       i6 += 16;
178 
179       vprod01234567 = wasm_i16x8_mul(vi6x01234567, vk6x01234567);
180       vprod89ABCDEF = wasm_i16x8_mul(vi6x89ABCDEF, vk6x89ABCDEF);
181 
182       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
183       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
184       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
185       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
186 
187       const v128_t vi7x01234567 = wasm_i16x8_load8x8(i7);
188       const v128_t vk7x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 112 * sizeof(int8_t)));
189       const v128_t vi7x89ABCDEF = wasm_i16x8_load8x8(i7 + 8);
190       const v128_t vk7x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 120 * sizeof(int8_t)));
191       i7 += 16;
192 
193       vprod01234567 = wasm_i16x8_mul(vi7x01234567, vk7x01234567);
194       vprod89ABCDEF = wasm_i16x8_mul(vi7x89ABCDEF, vk7x89ABCDEF);
195 
196       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
197       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
198       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
199       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
200 
201       const v128_t vi8x01234567 = wasm_i16x8_load8x8(i8);
202       const v128_t vk8x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 128 * sizeof(int8_t)));
203       const v128_t vi8x89ABCDEF = wasm_i16x8_load8x8(i8 + 8);
204       const v128_t vk8x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 136 * sizeof(int8_t)));
205       i8 += 16;
206 
207       vprod01234567 = wasm_i16x8_mul(vi8x01234567, vk8x01234567);
208       vprod89ABCDEF = wasm_i16x8_mul(vi8x89ABCDEF, vk8x89ABCDEF);
209 
210       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
211       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
212       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
213       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
214 
215 
216       w = (const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 144 * sizeof(int8_t));
217 
218       vacc0123 = wasm_f32x4_convert_i32x4(vacc0123);
219       vacc4567 = wasm_f32x4_convert_i32x4(vacc4567);
220       vacc89AB = wasm_f32x4_convert_i32x4(vacc89AB);
221       vaccCDEF = wasm_f32x4_convert_i32x4(vaccCDEF);
222 
223       const v128_t vscale = wasm_v128_load64_splat(params->fp32_wasmsimd.scale);
224       vacc0123 = wasm_f32x4_mul(vacc0123, vscale);
225       vacc4567 = wasm_f32x4_mul(vacc4567, vscale);
226       vacc89AB = wasm_f32x4_mul(vacc89AB, vscale);
227       vaccCDEF = wasm_f32x4_mul(vaccCDEF, vscale);
228 
229       const v128_t vmagic_bias = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias);
230       vacc0123 = wasm_f32x4_add(vacc0123, vmagic_bias);
231       vacc4567 = wasm_f32x4_add(vacc4567, vmagic_bias);
232       vacc89AB = wasm_f32x4_add(vacc89AB, vmagic_bias);
233       vaccCDEF = wasm_f32x4_add(vaccCDEF, vmagic_bias);
234 
235       const v128_t vmagic_min = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_min);
236       vacc0123 = wasm_i32x4_max(vacc0123, vmagic_min);
237       vacc4567 = wasm_i32x4_max(vacc4567, vmagic_min);
238       vacc89AB = wasm_i32x4_max(vacc89AB, vmagic_min);
239       vaccCDEF = wasm_i32x4_max(vaccCDEF, vmagic_min);
240 
241       const v128_t vmagic_bias_less_output_zero_point = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias_less_output_zero_point);
242       vacc0123 = wasm_i32x4_sub(vacc0123, vmagic_bias_less_output_zero_point);
243       vacc4567 = wasm_i32x4_sub(vacc4567, vmagic_bias_less_output_zero_point);
244       vacc89AB = wasm_i32x4_sub(vacc89AB, vmagic_bias_less_output_zero_point);
245       vaccCDEF = wasm_i32x4_sub(vaccCDEF, vmagic_bias_less_output_zero_point);
246 
247       v128_t vout01234567 = wasm_i16x8_narrow_i32x4(vacc0123, vacc4567);
248       v128_t vout89ABCDEF = wasm_i16x8_narrow_i32x4(vacc89AB, vaccCDEF);
249 
250       v128_t vout0123456789ABCDEF = wasm_i8x16_narrow_i16x8(vout01234567, vout89ABCDEF);
251 
252       const v128_t voutput_max = wasm_v128_load64_splat(params->fp32_wasmsimd.output_max);
253       vout0123456789ABCDEF = wasm_i8x16_min(vout0123456789ABCDEF, voutput_max);
254 
255       wasm_v128_store(output, vout0123456789ABCDEF);
256       output += 16;
257     }
258     if XNN_UNLIKELY(c != 0) {
259       const int8_t* k = (const int8_t*) ((uintptr_t) w + 16 * sizeof(int32_t));
260       do {
261         v128_t vacc0123 = wasm_v128_load(w);
262         v128_t vacc4567 = wasm_v128_load((const void*) ((uintptr_t) w + 4 * sizeof(int32_t)));
263 
264 
265         const v128_t vi0x01234567 = wasm_i16x8_load8x8(i0);
266         const v128_t vk0x01234567 = wasm_i16x8_load8x8(k);
267         i0 += 8;
268 
269         v128_t vprod01234567 = wasm_i16x8_mul(vi0x01234567, vk0x01234567);
270 
271         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
272         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
273 
274         const v128_t vi1x01234567 = wasm_i16x8_load8x8(i1);
275         const v128_t vk1x01234567 = wasm_i16x8_load8x8((const void*) (k + 16));
276         i1 += 8;
277 
278         vprod01234567 = wasm_i16x8_mul(vi1x01234567, vk1x01234567);
279 
280         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
281         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
282 
283         const v128_t vi2x01234567 = wasm_i16x8_load8x8(i2);
284         const v128_t vk2x01234567 = wasm_i16x8_load8x8((const void*) (k + 32));
285         i2 += 8;
286 
287         vprod01234567 = wasm_i16x8_mul(vi2x01234567, vk2x01234567);
288 
289         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
290         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
291 
292         const v128_t vi3x01234567 = wasm_i16x8_load8x8(i3);
293         const v128_t vk3x01234567 = wasm_i16x8_load8x8((const void*) (k + 48));
294         i3 += 8;
295 
296         vprod01234567 = wasm_i16x8_mul(vi3x01234567, vk3x01234567);
297 
298         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
299         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
300 
301         const v128_t vi4x01234567 = wasm_i16x8_load8x8(i4);
302         const v128_t vk4x01234567 = wasm_i16x8_load8x8((const void*) (k + 64));
303         i4 += 8;
304 
305         vprod01234567 = wasm_i16x8_mul(vi4x01234567, vk4x01234567);
306 
307         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
308         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
309 
310         const v128_t vi5x01234567 = wasm_i16x8_load8x8(i5);
311         const v128_t vk5x01234567 = wasm_i16x8_load8x8((const void*) (k + 80));
312         i5 += 8;
313 
314         vprod01234567 = wasm_i16x8_mul(vi5x01234567, vk5x01234567);
315 
316         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
317         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
318 
319         const v128_t vi6x01234567 = wasm_i16x8_load8x8(i6);
320         const v128_t vk6x01234567 = wasm_i16x8_load8x8((const void*) (k + 96));
321         i6 += 8;
322 
323         vprod01234567 = wasm_i16x8_mul(vi6x01234567, vk6x01234567);
324 
325         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
326         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
327 
328         const v128_t vi7x01234567 = wasm_i16x8_load8x8(i7);
329         const v128_t vk7x01234567 = wasm_i16x8_load8x8((const void*) (k + 112));
330         i7 += 8;
331 
332         vprod01234567 = wasm_i16x8_mul(vi7x01234567, vk7x01234567);
333 
334         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
335         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
336 
337         const v128_t vi8x01234567 = wasm_i16x8_load8x8(i8);
338         const v128_t vk8x01234567 = wasm_i16x8_load8x8((const void*) (k + 128));
339         i8 += 8;
340 
341         vprod01234567 = wasm_i16x8_mul(vi8x01234567, vk8x01234567);
342 
343         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
344         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
345 
346         k += 8;
347 
348 
349       vacc0123 = wasm_f32x4_convert_i32x4(vacc0123);
350       vacc4567 = wasm_f32x4_convert_i32x4(vacc4567);
351 
352       const v128_t vscale = wasm_v128_load64_splat(params->fp32_wasmsimd.scale);
353       vacc0123 = wasm_f32x4_mul(vacc0123, vscale);
354       vacc4567 = wasm_f32x4_mul(vacc4567, vscale);
355 
356       const v128_t vmagic_bias = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias);
357       vacc0123 = wasm_f32x4_add(vacc0123, vmagic_bias);
358       vacc4567 = wasm_f32x4_add(vacc4567, vmagic_bias);
359 
360       const v128_t vmagic_min = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_min);
361       vacc0123 = wasm_i32x4_max(vacc0123, vmagic_min);
362       vacc4567 = wasm_i32x4_max(vacc4567, vmagic_min);
363 
364       const v128_t vmagic_bias_less_output_zero_point = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias_less_output_zero_point);
365       vacc0123 = wasm_i32x4_sub(vacc0123, vmagic_bias_less_output_zero_point);
366       vacc4567 = wasm_i32x4_sub(vacc4567, vmagic_bias_less_output_zero_point);
367 
368       v128_t vout01234567 = wasm_i16x8_narrow_i32x4(vacc0123, vacc4567);
369       v128_t vout0123456701234567 = wasm_i8x16_narrow_i16x8(vout01234567, vout01234567);
370 
371       const v128_t voutput_max = wasm_v128_load64_splat(params->fp32_wasmsimd.output_max);
372       vout0123456701234567 = wasm_i8x16_min(vout0123456701234567, voutput_max);
373 
374       w = (const void*) ((uintptr_t) w + 8 * sizeof(int32_t));
375 
376       if XNN_LIKELY(c >= 8) {
377         *((double*) output) = wasm_f64x2_extract_lane(vout0123456701234567, 0);
378         output += 8;
379         c -= 8;
380       } else {
381         if (c & 4) {
382           *((float*) output) = wasm_f32x4_extract_lane(vout0123456701234567, 0);
383           vout0123456701234567 = wasm_u64x2_shr(vout0123456701234567, 32);
384           output += 4;
385         }
386         uint32_t vout0123 = wasm_i32x4_extract_lane(vout0123456701234567, 0);
387         if (c & 2) {
388           *((uint16_t*) output) = (uint16_t) vout0123;
389           vout0123 >>= 16;
390           output += 2;
391         }
392         if (c & 1) {
393           *output = (int8_t) vout0123;
394           output += 1;
395         }
396         c = 0;
397       }
398       } while (c != 0);
399     }
400 
401     output = (int8_t*) ((uintptr_t) output + output_increment);
402   } while (--output_width != 0);
403 }
404