xref: /aosp_15_r20/external/XNNPACK/src/qs8-dwconv/gen/up16x9-minmax-fp32-wasmsimd-mul16-add16.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_add16(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_add16(
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 
99       const v128_t vi1x01234567 = wasm_i16x8_load8x8(i1);
100       const v128_t vk1x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 16 * sizeof(int8_t)));
101       const v128_t vi1x89ABCDEF = wasm_i16x8_load8x8(i1 + 8);
102       const v128_t vk1x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 24 * sizeof(int8_t)));
103       i1 += 16;
104 
105       vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi1x01234567, vk1x01234567));
106       vprod89ABCDEF = wasm_i16x8_add(vprod89ABCDEF, wasm_i16x8_mul(vi1x89ABCDEF, vk1x89ABCDEF));
107 
108       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
109       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
110       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
111       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
112 
113       const v128_t vi2x01234567 = wasm_i16x8_load8x8(i2);
114       const v128_t vk2x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 32 * sizeof(int8_t)));
115       const v128_t vi2x89ABCDEF = wasm_i16x8_load8x8(i2 + 8);
116       const v128_t vk2x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 40 * sizeof(int8_t)));
117       i2 += 16;
118 
119       vprod01234567 = wasm_i16x8_mul(vi2x01234567, vk2x01234567);
120       vprod89ABCDEF = wasm_i16x8_mul(vi2x89ABCDEF, vk2x89ABCDEF);
121 
122 
123       const v128_t vi3x01234567 = wasm_i16x8_load8x8(i3);
124       const v128_t vk3x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 48 * sizeof(int8_t)));
125       const v128_t vi3x89ABCDEF = wasm_i16x8_load8x8(i3 + 8);
126       const v128_t vk3x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 56 * sizeof(int8_t)));
127       i3 += 16;
128 
129       vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi3x01234567, vk3x01234567));
130       vprod89ABCDEF = wasm_i16x8_add(vprod89ABCDEF, wasm_i16x8_mul(vi3x89ABCDEF, vk3x89ABCDEF));
131 
132       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
133       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
134       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
135       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
136 
137       const v128_t vi4x01234567 = wasm_i16x8_load8x8(i4);
138       const v128_t vk4x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 64 * sizeof(int8_t)));
139       const v128_t vi4x89ABCDEF = wasm_i16x8_load8x8(i4 + 8);
140       const v128_t vk4x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 72 * sizeof(int8_t)));
141       i4 += 16;
142 
143       vprod01234567 = wasm_i16x8_mul(vi4x01234567, vk4x01234567);
144       vprod89ABCDEF = wasm_i16x8_mul(vi4x89ABCDEF, vk4x89ABCDEF);
145 
146 
147       const v128_t vi5x01234567 = wasm_i16x8_load8x8(i5);
148       const v128_t vk5x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 80 * sizeof(int8_t)));
149       const v128_t vi5x89ABCDEF = wasm_i16x8_load8x8(i5 + 8);
150       const v128_t vk5x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 88 * sizeof(int8_t)));
151       i5 += 16;
152 
153       vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi5x01234567, vk5x01234567));
154       vprod89ABCDEF = wasm_i16x8_add(vprod89ABCDEF, wasm_i16x8_mul(vi5x89ABCDEF, vk5x89ABCDEF));
155 
156       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
157       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
158       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
159       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
160 
161       const v128_t vi6x01234567 = wasm_i16x8_load8x8(i6);
162       const v128_t vk6x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 96 * sizeof(int8_t)));
163       const v128_t vi6x89ABCDEF = wasm_i16x8_load8x8(i6 + 8);
164       const v128_t vk6x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 104 * sizeof(int8_t)));
165       i6 += 16;
166 
167       vprod01234567 = wasm_i16x8_mul(vi6x01234567, vk6x01234567);
168       vprod89ABCDEF = wasm_i16x8_mul(vi6x89ABCDEF, vk6x89ABCDEF);
169 
170 
171       const v128_t vi7x01234567 = wasm_i16x8_load8x8(i7);
172       const v128_t vk7x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 112 * sizeof(int8_t)));
173       const v128_t vi7x89ABCDEF = wasm_i16x8_load8x8(i7 + 8);
174       const v128_t vk7x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 120 * sizeof(int8_t)));
175       i7 += 16;
176 
177       vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi7x01234567, vk7x01234567));
178       vprod89ABCDEF = wasm_i16x8_add(vprod89ABCDEF, wasm_i16x8_mul(vi7x89ABCDEF, vk7x89ABCDEF));
179 
180       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
181       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
182       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
183       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
184 
185       const v128_t vi8x01234567 = wasm_i16x8_load8x8(i8);
186       const v128_t vk8x01234567 = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 128 * sizeof(int8_t)));
187       const v128_t vi8x89ABCDEF = wasm_i16x8_load8x8(i8 + 8);
188       const v128_t vk8x89ABCDEF = wasm_i16x8_load8x8((const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 136 * sizeof(int8_t)));
189       i8 += 16;
190 
191       vprod01234567 = wasm_i16x8_mul(vi8x01234567, vk8x01234567);
192       vprod89ABCDEF = wasm_i16x8_mul(vi8x89ABCDEF, vk8x89ABCDEF);
193 
194       vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
195       vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
196       vacc89AB = wasm_i32x4_add(vacc89AB, wasm_i32x4_extend_low_i16x8(vprod89ABCDEF));
197       vaccCDEF = wasm_i32x4_add(vaccCDEF, wasm_i32x4_extend_high_i16x8(vprod89ABCDEF));
198 
199 
200       w = (const void*) ((uintptr_t) w + 16 * sizeof(int32_t) + 144 * sizeof(int8_t));
201 
202       vacc0123 = wasm_f32x4_convert_i32x4(vacc0123);
203       vacc4567 = wasm_f32x4_convert_i32x4(vacc4567);
204       vacc89AB = wasm_f32x4_convert_i32x4(vacc89AB);
205       vaccCDEF = wasm_f32x4_convert_i32x4(vaccCDEF);
206 
207       const v128_t vscale = wasm_v128_load64_splat(params->fp32_wasmsimd.scale);
208       vacc0123 = wasm_f32x4_mul(vacc0123, vscale);
209       vacc4567 = wasm_f32x4_mul(vacc4567, vscale);
210       vacc89AB = wasm_f32x4_mul(vacc89AB, vscale);
211       vaccCDEF = wasm_f32x4_mul(vaccCDEF, vscale);
212 
213       const v128_t vmagic_bias = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias);
214       vacc0123 = wasm_f32x4_add(vacc0123, vmagic_bias);
215       vacc4567 = wasm_f32x4_add(vacc4567, vmagic_bias);
216       vacc89AB = wasm_f32x4_add(vacc89AB, vmagic_bias);
217       vaccCDEF = wasm_f32x4_add(vaccCDEF, vmagic_bias);
218 
219       const v128_t vmagic_min = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_min);
220       vacc0123 = wasm_i32x4_max(vacc0123, vmagic_min);
221       vacc4567 = wasm_i32x4_max(vacc4567, vmagic_min);
222       vacc89AB = wasm_i32x4_max(vacc89AB, vmagic_min);
223       vaccCDEF = wasm_i32x4_max(vaccCDEF, vmagic_min);
224 
225       const v128_t vmagic_bias_less_output_zero_point = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias_less_output_zero_point);
226       vacc0123 = wasm_i32x4_sub(vacc0123, vmagic_bias_less_output_zero_point);
227       vacc4567 = wasm_i32x4_sub(vacc4567, vmagic_bias_less_output_zero_point);
228       vacc89AB = wasm_i32x4_sub(vacc89AB, vmagic_bias_less_output_zero_point);
229       vaccCDEF = wasm_i32x4_sub(vaccCDEF, vmagic_bias_less_output_zero_point);
230 
231       v128_t vout01234567 = wasm_i16x8_narrow_i32x4(vacc0123, vacc4567);
232       v128_t vout89ABCDEF = wasm_i16x8_narrow_i32x4(vacc89AB, vaccCDEF);
233 
234       v128_t vout0123456789ABCDEF = wasm_i8x16_narrow_i16x8(vout01234567, vout89ABCDEF);
235 
236       const v128_t voutput_max = wasm_v128_load64_splat(params->fp32_wasmsimd.output_max);
237       vout0123456789ABCDEF = wasm_i8x16_min(vout0123456789ABCDEF, voutput_max);
238 
239       wasm_v128_store(output, vout0123456789ABCDEF);
240       output += 16;
241     }
242     if XNN_UNLIKELY(c != 0) {
243       const int8_t* k = (const int8_t*) ((uintptr_t) w + 16 * sizeof(int32_t));
244       do {
245         v128_t vacc0123 = wasm_v128_load(w);
246         v128_t vacc4567 = wasm_v128_load((const void*) ((uintptr_t) w + 4 * sizeof(int32_t)));
247 
248 
249         const v128_t vi0x01234567 = wasm_i16x8_load8x8(i0);
250         const v128_t vk0x01234567 = wasm_i16x8_load8x8(k);
251         i0 += 8;
252 
253         v128_t vprod01234567 = wasm_i16x8_mul(vi0x01234567, vk0x01234567);
254 
255 
256         const v128_t vi1x01234567 = wasm_i16x8_load8x8(i1);
257         const v128_t vk1x01234567 = wasm_i16x8_load8x8((const void*) (k + 16));
258         i1 += 8;
259 
260         vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi1x01234567, vk1x01234567));
261 
262         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
263         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
264 
265         const v128_t vi2x01234567 = wasm_i16x8_load8x8(i2);
266         const v128_t vk2x01234567 = wasm_i16x8_load8x8((const void*) (k + 32));
267         i2 += 8;
268 
269         vprod01234567 = wasm_i16x8_mul(vi2x01234567, vk2x01234567);
270 
271 
272         const v128_t vi3x01234567 = wasm_i16x8_load8x8(i3);
273         const v128_t vk3x01234567 = wasm_i16x8_load8x8((const void*) (k + 48));
274         i3 += 8;
275 
276         vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi3x01234567, vk3x01234567));
277 
278         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
279         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
280 
281         const v128_t vi4x01234567 = wasm_i16x8_load8x8(i4);
282         const v128_t vk4x01234567 = wasm_i16x8_load8x8((const void*) (k + 64));
283         i4 += 8;
284 
285         vprod01234567 = wasm_i16x8_mul(vi4x01234567, vk4x01234567);
286 
287 
288         const v128_t vi5x01234567 = wasm_i16x8_load8x8(i5);
289         const v128_t vk5x01234567 = wasm_i16x8_load8x8((const void*) (k + 80));
290         i5 += 8;
291 
292         vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi5x01234567, vk5x01234567));
293 
294         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
295         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
296 
297         const v128_t vi6x01234567 = wasm_i16x8_load8x8(i6);
298         const v128_t vk6x01234567 = wasm_i16x8_load8x8((const void*) (k + 96));
299         i6 += 8;
300 
301         vprod01234567 = wasm_i16x8_mul(vi6x01234567, vk6x01234567);
302 
303 
304         const v128_t vi7x01234567 = wasm_i16x8_load8x8(i7);
305         const v128_t vk7x01234567 = wasm_i16x8_load8x8((const void*) (k + 112));
306         i7 += 8;
307 
308         vprod01234567 = wasm_i16x8_add(vprod01234567, wasm_i16x8_mul(vi7x01234567, vk7x01234567));
309 
310         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
311         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
312 
313         const v128_t vi8x01234567 = wasm_i16x8_load8x8(i8);
314         const v128_t vk8x01234567 = wasm_i16x8_load8x8((const void*) (k + 128));
315         i8 += 8;
316 
317         vprod01234567 = wasm_i16x8_mul(vi8x01234567, vk8x01234567);
318 
319         vacc0123 = wasm_i32x4_add(vacc0123, wasm_i32x4_extend_low_i16x8(vprod01234567));
320         vacc4567 = wasm_i32x4_add(vacc4567, wasm_i32x4_extend_high_i16x8(vprod01234567));
321 
322         k += 8;
323 
324 
325       vacc0123 = wasm_f32x4_convert_i32x4(vacc0123);
326       vacc4567 = wasm_f32x4_convert_i32x4(vacc4567);
327 
328       const v128_t vscale = wasm_v128_load64_splat(params->fp32_wasmsimd.scale);
329       vacc0123 = wasm_f32x4_mul(vacc0123, vscale);
330       vacc4567 = wasm_f32x4_mul(vacc4567, vscale);
331 
332       const v128_t vmagic_bias = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias);
333       vacc0123 = wasm_f32x4_add(vacc0123, vmagic_bias);
334       vacc4567 = wasm_f32x4_add(vacc4567, vmagic_bias);
335 
336       const v128_t vmagic_min = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_min);
337       vacc0123 = wasm_i32x4_max(vacc0123, vmagic_min);
338       vacc4567 = wasm_i32x4_max(vacc4567, vmagic_min);
339 
340       const v128_t vmagic_bias_less_output_zero_point = wasm_v128_load64_splat(params->fp32_wasmsimd.magic_bias_less_output_zero_point);
341       vacc0123 = wasm_i32x4_sub(vacc0123, vmagic_bias_less_output_zero_point);
342       vacc4567 = wasm_i32x4_sub(vacc4567, vmagic_bias_less_output_zero_point);
343 
344       v128_t vout01234567 = wasm_i16x8_narrow_i32x4(vacc0123, vacc4567);
345       v128_t vout0123456701234567 = wasm_i8x16_narrow_i16x8(vout01234567, vout01234567);
346 
347       const v128_t voutput_max = wasm_v128_load64_splat(params->fp32_wasmsimd.output_max);
348       vout0123456701234567 = wasm_i8x16_min(vout0123456701234567, voutput_max);
349 
350       w = (const void*) ((uintptr_t) w + 8 * sizeof(int32_t));
351 
352       if XNN_LIKELY(c >= 8) {
353         *((double*) output) = wasm_f64x2_extract_lane(vout0123456701234567, 0);
354         output += 8;
355         c -= 8;
356       } else {
357         if (c & 4) {
358           *((float*) output) = wasm_f32x4_extract_lane(vout0123456701234567, 0);
359           vout0123456701234567 = wasm_u64x2_shr(vout0123456701234567, 32);
360           output += 4;
361         }
362         uint32_t vout0123 = wasm_i32x4_extract_lane(vout0123456701234567, 0);
363         if (c & 2) {
364           *((uint16_t*) output) = (uint16_t) vout0123;
365           vout0123 >>= 16;
366           output += 2;
367         }
368         if (c & 1) {
369           *output = (int8_t) vout0123;
370           output += 1;
371         }
372         c = 0;
373       }
374       } while (c != 0);
375     }
376 
377     output = (int8_t*) ((uintptr_t) output + output_increment);
378   } while (--output_width != 0);
379 }
380