1 // Auto-generated file. Do not edit!
2 // Template: src/f32-gemm/wasmsimd-s4.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/gemm.h>
15
16
xnn_f32_gemm_minmax_ukernel_4x8s4__wasmrelaxedsimd_fma(size_t mr,size_t nc,size_t kc,const float * restrict a,size_t a_stride,const float * restrict w,float * restrict c,size_t cm_stride,size_t cn_stride,const union xnn_f32_minmax_params params[restrict XNN_MIN_ELEMENTS (1)])17 void xnn_f32_gemm_minmax_ukernel_4x8s4__wasmrelaxedsimd_fma(
18 size_t mr,
19 size_t nc,
20 size_t kc,
21 const float*restrict a,
22 size_t a_stride,
23 const float*restrict w,
24 float*restrict c,
25 size_t cm_stride,
26 size_t cn_stride,
27 const union xnn_f32_minmax_params params[restrict XNN_MIN_ELEMENTS(1)])
28 {
29 assert(mr != 0);
30 assert(mr <= 4);
31 assert(nc != 0);
32 assert(kc != 0);
33 assert(kc % sizeof(float) == 0);
34 assert(a != NULL);
35 assert(w != NULL);
36 assert(c != NULL);
37
38 const float* a0 = a;
39 float* c0 = c;
40 const float* a1 = (const float*) ((uintptr_t) a0 + a_stride);
41 float* c1 = (float*) ((uintptr_t) c0 + cm_stride);
42 if XNN_UNPREDICTABLE(mr < 2) {
43 a1 = a0;
44 c1 = c0;
45 }
46 const float* a2 = (const float*) ((uintptr_t) a1 + a_stride);
47 float* c2 = (float*) ((uintptr_t) c1 + cm_stride);
48 if XNN_UNPREDICTABLE(mr <= 2) {
49 a2 = a1;
50 c2 = c1;
51 }
52 const float* a3 = (const float*) ((uintptr_t) a2 + a_stride);
53 float* c3 = (float*) ((uintptr_t) c2 + cm_stride);
54 if XNN_UNPREDICTABLE(mr != 4) {
55 a3 = a2;
56 c3 = c2;
57 }
58
59 const v128_t vmin = wasm_v128_load64_splat(params->wasmsimd.min);
60 const v128_t vmax = wasm_v128_load64_splat(params->wasmsimd.max);
61 do {
62 v128_t vacc0x0123 = wasm_v128_load(w + 0);
63 v128_t vacc0x4567 = wasm_v128_load(w + 4);
64 v128_t vacc1x0123 = vacc0x0123;
65 v128_t vacc1x4567 = vacc0x4567;
66 v128_t vacc2x0123 = vacc0x0123;
67 v128_t vacc2x4567 = vacc0x4567;
68 v128_t vacc3x0123 = vacc0x0123;
69 v128_t vacc3x4567 = vacc0x4567;
70 w += 8;
71
72 size_t k = kc;
73 while (k >= 4 * sizeof(float)) {
74 v128_t va0 = wasm_v128_load(a0);
75 a0 += 4;
76 v128_t va1 = wasm_v128_load(a1);
77 a1 += 4;
78 v128_t va2 = wasm_v128_load(a2);
79 a2 += 4;
80 v128_t va3 = wasm_v128_load(a3);
81 a3 += 4;
82
83
84 const v128_t vb0123c0 = wasm_v128_load(w + 0);
85 const v128_t vb4567c0 = wasm_v128_load(w + 4);
86
87 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, va0, vb0123c0);
88 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, va1, vb0123c0);
89 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, va2, vb0123c0);
90 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, va3, vb0123c0);
91 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, va0, vb4567c0);
92 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, va1, vb4567c0);
93 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, va2, vb4567c0);
94 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, va3, vb4567c0);
95
96 va0 = wasm_v32x4_shuffle(va0, va0, 1, 2, 3, 0);
97 va1 = wasm_v32x4_shuffle(va1, va1, 1, 2, 3, 0);
98 va2 = wasm_v32x4_shuffle(va2, va2, 1, 2, 3, 0);
99 va3 = wasm_v32x4_shuffle(va3, va3, 1, 2, 3, 0);
100
101 const v128_t vb0123c1 = wasm_v128_load(w + 8);
102 const v128_t vb4567c1 = wasm_v128_load(w + 12);
103
104 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, va0, vb0123c1);
105 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, va1, vb0123c1);
106 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, va2, vb0123c1);
107 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, va3, vb0123c1);
108 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, va0, vb4567c1);
109 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, va1, vb4567c1);
110 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, va2, vb4567c1);
111 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, va3, vb4567c1);
112
113 va0 = wasm_v32x4_shuffle(va0, va0, 1, 2, 3, 0);
114 va1 = wasm_v32x4_shuffle(va1, va1, 1, 2, 3, 0);
115 va2 = wasm_v32x4_shuffle(va2, va2, 1, 2, 3, 0);
116 va3 = wasm_v32x4_shuffle(va3, va3, 1, 2, 3, 0);
117
118 const v128_t vb0123c2 = wasm_v128_load(w + 16);
119 const v128_t vb4567c2 = wasm_v128_load(w + 20);
120
121 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, va0, vb0123c2);
122 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, va1, vb0123c2);
123 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, va2, vb0123c2);
124 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, va3, vb0123c2);
125 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, va0, vb4567c2);
126 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, va1, vb4567c2);
127 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, va2, vb4567c2);
128 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, va3, vb4567c2);
129
130 va0 = wasm_v32x4_shuffle(va0, va0, 1, 2, 3, 0);
131 va1 = wasm_v32x4_shuffle(va1, va1, 1, 2, 3, 0);
132 va2 = wasm_v32x4_shuffle(va2, va2, 1, 2, 3, 0);
133 va3 = wasm_v32x4_shuffle(va3, va3, 1, 2, 3, 0);
134
135 const v128_t vb0123c3 = wasm_v128_load(w + 24);
136 const v128_t vb4567c3 = wasm_v128_load(w + 28);
137
138 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, va0, vb0123c3);
139 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, va1, vb0123c3);
140 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, va2, vb0123c3);
141 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, va3, vb0123c3);
142 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, va0, vb4567c3);
143 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, va1, vb4567c3);
144 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, va2, vb4567c3);
145 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, va3, vb4567c3);
146
147
148 w += 32;
149 k -= 4 * sizeof(float);
150 }
151 if XNN_UNLIKELY(k != 0) {
152 v128_t va0 = wasm_v128_load(a0);
153 a0 = (const float*) ((uintptr_t) a0 + k);
154 v128_t va1 = wasm_v128_load(a1);
155 a1 = (const float*) ((uintptr_t) a1 + k);
156 v128_t va2 = wasm_v128_load(a2);
157 a2 = (const float*) ((uintptr_t) a2 + k);
158 v128_t va3 = wasm_v128_load(a3);
159 a3 = (const float*) ((uintptr_t) a3 + k);
160
161 const v128_t vzero = wasm_f32x4_const_splat(0.0f);
162
163 const v128_t vb0123c0 = wasm_v128_load(w + 0);
164 const v128_t vb4567c0 = wasm_v128_load(w + 4);
165
166 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, wasm_v128_andnot(va0, wasm_f32x4_eq(vb0123c0, vzero)), vb0123c0);
167 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, wasm_v128_andnot(va1, wasm_f32x4_eq(vb0123c0, vzero)), vb0123c0);
168 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, wasm_v128_andnot(va2, wasm_f32x4_eq(vb0123c0, vzero)), vb0123c0);
169 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, wasm_v128_andnot(va3, wasm_f32x4_eq(vb0123c0, vzero)), vb0123c0);
170 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, wasm_v128_andnot(va0, wasm_f32x4_eq(vb4567c0, vzero)), vb4567c0);
171 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, wasm_v128_andnot(va1, wasm_f32x4_eq(vb4567c0, vzero)), vb4567c0);
172 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, wasm_v128_andnot(va2, wasm_f32x4_eq(vb4567c0, vzero)), vb4567c0);
173 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, wasm_v128_andnot(va3, wasm_f32x4_eq(vb4567c0, vzero)), vb4567c0);
174
175 va0 = wasm_v32x4_shuffle(va0, va0, 1, 2, 3, 0);
176 va1 = wasm_v32x4_shuffle(va1, va1, 1, 2, 3, 0);
177 va2 = wasm_v32x4_shuffle(va2, va2, 1, 2, 3, 0);
178 va3 = wasm_v32x4_shuffle(va3, va3, 1, 2, 3, 0);
179
180 const v128_t vb0123c1 = wasm_v128_load(w + 8);
181 const v128_t vb4567c1 = wasm_v128_load(w + 12);
182
183 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, wasm_v128_andnot(va0, wasm_f32x4_eq(vb0123c1, vzero)), vb0123c1);
184 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, wasm_v128_andnot(va1, wasm_f32x4_eq(vb0123c1, vzero)), vb0123c1);
185 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, wasm_v128_andnot(va2, wasm_f32x4_eq(vb0123c1, vzero)), vb0123c1);
186 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, wasm_v128_andnot(va3, wasm_f32x4_eq(vb0123c1, vzero)), vb0123c1);
187 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, wasm_v128_andnot(va0, wasm_f32x4_eq(vb4567c1, vzero)), vb4567c1);
188 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, wasm_v128_andnot(va1, wasm_f32x4_eq(vb4567c1, vzero)), vb4567c1);
189 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, wasm_v128_andnot(va2, wasm_f32x4_eq(vb4567c1, vzero)), vb4567c1);
190 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, wasm_v128_andnot(va3, wasm_f32x4_eq(vb4567c1, vzero)), vb4567c1);
191
192 va0 = wasm_v32x4_shuffle(va0, va0, 1, 2, 3, 0);
193 va1 = wasm_v32x4_shuffle(va1, va1, 1, 2, 3, 0);
194 va2 = wasm_v32x4_shuffle(va2, va2, 1, 2, 3, 0);
195 va3 = wasm_v32x4_shuffle(va3, va3, 1, 2, 3, 0);
196
197 const v128_t vb0123c2 = wasm_v128_load(w + 16);
198 const v128_t vb4567c2 = wasm_v128_load(w + 20);
199
200 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, wasm_v128_andnot(va0, wasm_f32x4_eq(vb0123c2, vzero)), vb0123c2);
201 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, wasm_v128_andnot(va1, wasm_f32x4_eq(vb0123c2, vzero)), vb0123c2);
202 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, wasm_v128_andnot(va2, wasm_f32x4_eq(vb0123c2, vzero)), vb0123c2);
203 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, wasm_v128_andnot(va3, wasm_f32x4_eq(vb0123c2, vzero)), vb0123c2);
204 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, wasm_v128_andnot(va0, wasm_f32x4_eq(vb4567c2, vzero)), vb4567c2);
205 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, wasm_v128_andnot(va1, wasm_f32x4_eq(vb4567c2, vzero)), vb4567c2);
206 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, wasm_v128_andnot(va2, wasm_f32x4_eq(vb4567c2, vzero)), vb4567c2);
207 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, wasm_v128_andnot(va3, wasm_f32x4_eq(vb4567c2, vzero)), vb4567c2);
208
209 va0 = wasm_v32x4_shuffle(va0, va0, 1, 2, 3, 0);
210 va1 = wasm_v32x4_shuffle(va1, va1, 1, 2, 3, 0);
211 va2 = wasm_v32x4_shuffle(va2, va2, 1, 2, 3, 0);
212 va3 = wasm_v32x4_shuffle(va3, va3, 1, 2, 3, 0);
213
214 const v128_t vb0123c3 = wasm_v128_load(w + 24);
215 const v128_t vb4567c3 = wasm_v128_load(w + 28);
216
217 vacc0x0123 = __builtin_wasm_fma_f32x4(vacc0x0123, wasm_v128_andnot(va0, wasm_f32x4_eq(vb0123c3, vzero)), vb0123c3);
218 vacc1x0123 = __builtin_wasm_fma_f32x4(vacc1x0123, wasm_v128_andnot(va1, wasm_f32x4_eq(vb0123c3, vzero)), vb0123c3);
219 vacc2x0123 = __builtin_wasm_fma_f32x4(vacc2x0123, wasm_v128_andnot(va2, wasm_f32x4_eq(vb0123c3, vzero)), vb0123c3);
220 vacc3x0123 = __builtin_wasm_fma_f32x4(vacc3x0123, wasm_v128_andnot(va3, wasm_f32x4_eq(vb0123c3, vzero)), vb0123c3);
221 vacc0x4567 = __builtin_wasm_fma_f32x4(vacc0x4567, wasm_v128_andnot(va0, wasm_f32x4_eq(vb4567c3, vzero)), vb4567c3);
222 vacc1x4567 = __builtin_wasm_fma_f32x4(vacc1x4567, wasm_v128_andnot(va1, wasm_f32x4_eq(vb4567c3, vzero)), vb4567c3);
223 vacc2x4567 = __builtin_wasm_fma_f32x4(vacc2x4567, wasm_v128_andnot(va2, wasm_f32x4_eq(vb4567c3, vzero)), vb4567c3);
224 vacc3x4567 = __builtin_wasm_fma_f32x4(vacc3x4567, wasm_v128_andnot(va3, wasm_f32x4_eq(vb4567c3, vzero)), vb4567c3);
225
226
227 w += 32;
228 }
229
230 vacc0x0123 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc0x0123);
231 vacc1x0123 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc1x0123);
232 vacc2x0123 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc2x0123);
233 vacc3x0123 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc3x0123);
234 vacc0x4567 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc0x4567);
235 vacc1x4567 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc1x4567);
236 vacc2x4567 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc2x4567);
237 vacc3x4567 = __builtin_wasm_relaxed_max_f32x4(vmin, vacc3x4567);
238
239 vacc0x0123 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc0x0123);
240 vacc1x0123 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc1x0123);
241 vacc2x0123 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc2x0123);
242 vacc3x0123 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc3x0123);
243 vacc0x4567 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc0x4567);
244 vacc1x4567 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc1x4567);
245 vacc2x4567 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc2x4567);
246 vacc3x4567 = __builtin_wasm_relaxed_min_f32x4(vmax, vacc3x4567);
247
248 if XNN_LIKELY(nc >= 8) {
249 wasm_v128_store(c3, vacc3x0123);
250 wasm_v128_store(c3 + 4, vacc3x4567);
251 c3 = (float*) ((uintptr_t) c3 + cn_stride);
252 wasm_v128_store(c2, vacc2x0123);
253 wasm_v128_store(c2 + 4, vacc2x4567);
254 c2 = (float*) ((uintptr_t) c2 + cn_stride);
255 wasm_v128_store(c1, vacc1x0123);
256 wasm_v128_store(c1 + 4, vacc1x4567);
257 c1 = (float*) ((uintptr_t) c1 + cn_stride);
258 wasm_v128_store(c0, vacc0x0123);
259 wasm_v128_store(c0 + 4, vacc0x4567);
260 c0 = (float*) ((uintptr_t) c0 + cn_stride);
261
262 a3 = (const float*) ((uintptr_t) a3 - kc);
263 a2 = (const float*) ((uintptr_t) a2 - kc);
264 a1 = (const float*) ((uintptr_t) a1 - kc);
265 a0 = (const float*) ((uintptr_t) a0 - kc);
266
267 nc -= 8;
268 } else {
269 if (nc & 4) {
270 wasm_v128_store(c3, vacc3x0123);
271 wasm_v128_store(c2, vacc2x0123);
272 wasm_v128_store(c1, vacc1x0123);
273 wasm_v128_store(c0, vacc0x0123);
274
275 vacc3x0123 = vacc3x4567;
276 vacc2x0123 = vacc2x4567;
277 vacc1x0123 = vacc1x4567;
278 vacc0x0123 = vacc0x4567;
279
280 c3 += 4;
281 c2 += 4;
282 c1 += 4;
283 c0 += 4;
284 }
285 if (nc & 2) {
286 *((double*) c3) = wasm_f64x2_extract_lane(vacc3x0123, 0);
287 *((double*) c2) = wasm_f64x2_extract_lane(vacc2x0123, 0);
288 *((double*) c1) = wasm_f64x2_extract_lane(vacc1x0123, 0);
289 *((double*) c0) = wasm_f64x2_extract_lane(vacc0x0123, 0);
290
291 vacc3x0123 = wasm_v32x4_shuffle(vacc3x0123, vacc3x0123, 2, 3, 2, 3);
292 vacc2x0123 = wasm_v32x4_shuffle(vacc2x0123, vacc2x0123, 2, 3, 2, 3);
293 vacc1x0123 = wasm_v32x4_shuffle(vacc1x0123, vacc1x0123, 2, 3, 2, 3);
294 vacc0x0123 = wasm_v32x4_shuffle(vacc0x0123, vacc0x0123, 2, 3, 2, 3);
295
296 c3 += 2;
297 c2 += 2;
298 c1 += 2;
299 c0 += 2;
300 }
301 if (nc & 1) {
302 *c3 = wasm_f32x4_extract_lane(vacc3x0123, 0);
303 *c2 = wasm_f32x4_extract_lane(vacc2x0123, 0);
304 *c1 = wasm_f32x4_extract_lane(vacc1x0123, 0);
305 *c0 = wasm_f32x4_extract_lane(vacc0x0123, 0);
306 }
307
308 nc = 0;
309 }
310 } while (nc != 0);
311 }
312