blob: b609be0d1fc1cd4b0e112a77be5c13118accebc5 [file] [log] [blame]
Frank Barcharda48848f2020-09-24 00:59:24 -07001// Auto-generated file. Do not edit!
Marat Dukhan66ccf642020-09-28 16:23:42 -07002// Template: src/qs8-gemm/MRxNRc4-neondot.c.in
Frank Barcharda48848f2020-09-24 00:59:24 -07003// 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
Frank Barcharda48848f2020-09-24 00:59:24 -070010#include <assert.h>
11
12#include <arm_neon.h>
13
14#include <xnnpack/gemm.h>
Frank Barchard6d8ca7d2021-03-01 11:05:08 -080015#include <xnnpack/math.h>
Frank Barcharda48848f2020-09-24 00:59:24 -070016
17
Frank Barcharda48848f2020-09-24 00:59:24 -070018void xnn_qs8_gemm_minmax_ukernel_4x8c4__neondot(
19 size_t mr,
20 size_t nc,
21 size_t kc,
22 const int8_t* restrict a,
23 size_t a_stride,
24 const void* restrict w,
25 int8_t* restrict c,
26 size_t cm_stride,
27 size_t cn_stride,
Marat Dukhan4c6640c2021-04-15 14:21:32 -070028 const union xnn_qs8_gemm_params params[restrict XNN_MIN_ELEMENTS(1)]) XNN_DISABLE_TSAN XNN_DISABLE_MSAN
29{
Frank Barcharda48848f2020-09-24 00:59:24 -070030 assert(mr != 0);
31 assert(mr <= 4);
32 assert(nc != 0);
33 assert(kc != 0);
Frank Barchard6d8ca7d2021-03-01 11:05:08 -080034 assert(kc % sizeof(int8_t) == 0);
35 assert(a != NULL);
36 assert(w != NULL);
37 assert(c != NULL);
Frank Barcharda48848f2020-09-24 00:59:24 -070038
Frank Barchard6d8ca7d2021-03-01 11:05:08 -080039 kc = round_up_po2(kc, 4);
Frank Barcharda48848f2020-09-24 00:59:24 -070040 const int8_t* a0 = a;
41 int8_t* c0 = c;
42 const int8_t* a1 = (const int8_t*) ((uintptr_t) a0 + a_stride);
43 int8_t* c1 = (int8_t*) ((uintptr_t) c0 + cm_stride);
44 if XNN_UNPREDICTABLE(mr < 2) {
45 a1 = a0;
46 c1 = c0;
47 }
48 const int8_t* a2 = (const int8_t*) ((uintptr_t) a1 + a_stride);
49 int8_t* c2 = (int8_t*) ((uintptr_t) c1 + cm_stride);
50 if XNN_UNPREDICTABLE(mr <= 2) {
51 a2 = a1;
52 c2 = c1;
53 }
54 const int8_t* a3 = (const int8_t*) ((uintptr_t) a2 + a_stride);
55 int8_t* c3 = (int8_t*) ((uintptr_t) c2 + cm_stride);
56 if XNN_UNPREDICTABLE(mr != 4) {
57 a3 = a2;
58 c3 = c2;
59 }
60
61 // Loop over groups of 8 columns.
62 do {
63 // Initialize accumulators with bias. 8 bias values are loaded from the
64 // weight matrix, at the start of the group of 8 columns.
65 int32x4_t vacc0x0123 = vld1q_s32(w); w = (const void*) ((uintptr_t) w + 4 * sizeof(int32_t));
66 int32x4_t vacc0x4567 = vld1q_s32(w); w = (const void*) ((uintptr_t) w + 4 * sizeof(int32_t));
67 int32x4_t vacc1x0123 = vacc0x0123;
68 int32x4_t vacc1x4567 = vacc0x4567;
69 int32x4_t vacc2x0123 = vacc0x0123;
70 int32x4_t vacc2x4567 = vacc0x4567;
71 int32x4_t vacc3x0123 = vacc0x0123;
72 int32x4_t vacc3x4567 = vacc0x4567;
73
74 // Inner accumulation loop along the 8 columns.
75 size_t k = kc;
76 // 2x partial unrolled loop to load 8 bytes at a time.
77 while (k >= 8 * sizeof(int8_t)) {
78 // Load a 4x8 block of activations.
79 const int8x8_t va0x01234567 = vld1_s8(a0); a0 += 8;
80 const int8x8_t va1x01234567 = vld1_s8(a1); a1 += 8;
81 const int8x8_t va2x01234567 = vld1_s8(a2); a2 += 8;
82 const int8x8_t va3x01234567 = vld1_s8(a3); a3 += 8;
83
84 // Load a 8x8 block of weights.
Frank Barchardfe14b852021-02-13 10:14:10 -080085 const int8x16_t vb0123x0123 = vld1q_s8(w); w = (const void*) ((const int8_t*) w + 16);
86 const int8x16_t vb0123x4567 = vld1q_s8(w); w = (const void*) ((const int8_t*) w + 16);
87 const int8x16_t vb4567x0123 = vld1q_s8(w); w = (const void*) ((const int8_t*) w + 16);
88 const int8x16_t vb4567x4567 = vld1q_s8(w); w = (const void*) ((const int8_t*) w + 16);
Frank Barcharda48848f2020-09-24 00:59:24 -070089
90 // Multiply-accumulate: 4x8 * 8x8 --> 4x8.
91 vacc0x0123 = vdotq_lane_s32(vacc0x0123, vb0123x0123, va0x01234567, 0);
92 vacc0x4567 = vdotq_lane_s32(vacc0x4567, vb0123x4567, va0x01234567, 0);
93 vacc1x0123 = vdotq_lane_s32(vacc1x0123, vb0123x0123, va1x01234567, 0);
94 vacc1x4567 = vdotq_lane_s32(vacc1x4567, vb0123x4567, va1x01234567, 0);
95 vacc2x0123 = vdotq_lane_s32(vacc2x0123, vb0123x0123, va2x01234567, 0);
96 vacc2x4567 = vdotq_lane_s32(vacc2x4567, vb0123x4567, va2x01234567, 0);
97 vacc3x0123 = vdotq_lane_s32(vacc3x0123, vb0123x0123, va3x01234567, 0);
98 vacc3x4567 = vdotq_lane_s32(vacc3x4567, vb0123x4567, va3x01234567, 0);
99 vacc0x0123 = vdotq_lane_s32(vacc0x0123, vb4567x0123, va0x01234567, 1);
100 vacc0x4567 = vdotq_lane_s32(vacc0x4567, vb4567x4567, va0x01234567, 1);
101 vacc1x0123 = vdotq_lane_s32(vacc1x0123, vb4567x0123, va1x01234567, 1);
102 vacc1x4567 = vdotq_lane_s32(vacc1x4567, vb4567x4567, va1x01234567, 1);
103 vacc2x0123 = vdotq_lane_s32(vacc2x0123, vb4567x0123, va2x01234567, 1);
104 vacc2x4567 = vdotq_lane_s32(vacc2x4567, vb4567x4567, va2x01234567, 1);
105 vacc3x0123 = vdotq_lane_s32(vacc3x0123, vb4567x0123, va3x01234567, 1);
106 vacc3x4567 = vdotq_lane_s32(vacc3x4567, vb4567x4567, va3x01234567, 1);
107
108 k -= 8 * sizeof(int8_t);
109 }
Frank Barchard618d85d2021-03-02 12:59:46 -0800110 // Handle up to 4 final positions of `k`
Frank Barcharda48848f2020-09-24 00:59:24 -0700111 if XNN_UNLIKELY(k != 0) {
112 // Load a 4x4 block of activations.
Frank Barchard618d85d2021-03-02 12:59:46 -0800113 const int8x8_t va0x01234567 = vld1_s8(a0); a0 += 4;
114 const int8x8_t va1x01234567 = vld1_s8(a1); a1 += 4;
115 const int8x8_t va2x01234567 = vld1_s8(a2); a2 += 4;
116 const int8x8_t va3x01234567 = vld1_s8(a3); a3 += 4;
Frank Barcharda48848f2020-09-24 00:59:24 -0700117
118 // Load a 4x8 block of weights.
Frank Barchardfe14b852021-02-13 10:14:10 -0800119 const int8x16_t vb0123x0123 = vld1q_s8(w); w = (const void*) ((const int8_t*) w + 16);
120 const int8x16_t vb0123x4567 = vld1q_s8(w); w = (const void*) ((const int8_t*) w + 16);
Frank Barcharda48848f2020-09-24 00:59:24 -0700121
122 // Multiply-accumulate: 4x4 * 4x8 --> 4x8.
123 vacc0x0123 = vdotq_lane_s32(vacc0x0123, vb0123x0123, va0x01234567, 0);
124 vacc0x4567 = vdotq_lane_s32(vacc0x4567, vb0123x4567, va0x01234567, 0);
125 vacc1x0123 = vdotq_lane_s32(vacc1x0123, vb0123x0123, va1x01234567, 0);
126 vacc1x4567 = vdotq_lane_s32(vacc1x4567, vb0123x4567, va1x01234567, 0);
127 vacc2x0123 = vdotq_lane_s32(vacc2x0123, vb0123x0123, va2x01234567, 0);
128 vacc2x4567 = vdotq_lane_s32(vacc2x4567, vb0123x4567, va2x01234567, 0);
129 vacc3x0123 = vdotq_lane_s32(vacc3x0123, vb0123x0123, va3x01234567, 0);
130 vacc3x4567 = vdotq_lane_s32(vacc3x4567, vb0123x4567, va3x01234567, 0);
Frank Barcharda48848f2020-09-24 00:59:24 -0700131 }
Frank Barcharda48848f2020-09-24 00:59:24 -0700132
133 // Post-accumulation work
Frank Barcharda48848f2020-09-24 00:59:24 -0700134 const int32x4_t vright_shift = vld1q_dup_s32(&params->neon.right_shift);
135 const int32x4_t vzero_shift_mask = vreinterpretq_s32_u32(vceqq_s32(vright_shift, vmovq_n_s32(0)));
136
137 const int32x4_t vproduct0x0123 = vqrdmulhq_n_s32(vacc0x0123, params->neon.multiplier);
138 const int32x4_t vproduct0x4567 = vqrdmulhq_n_s32(vacc0x4567, params->neon.multiplier);
139 const int32x4_t vproduct1x0123 = vqrdmulhq_n_s32(vacc1x0123, params->neon.multiplier);
140 const int32x4_t vproduct1x4567 = vqrdmulhq_n_s32(vacc1x4567, params->neon.multiplier);
141 const int32x4_t vproduct2x0123 = vqrdmulhq_n_s32(vacc2x0123, params->neon.multiplier);
142 const int32x4_t vproduct2x4567 = vqrdmulhq_n_s32(vacc2x4567, params->neon.multiplier);
143 const int32x4_t vproduct3x0123 = vqrdmulhq_n_s32(vacc3x0123, params->neon.multiplier);
144 const int32x4_t vproduct3x4567 = vqrdmulhq_n_s32(vacc3x4567, params->neon.multiplier);
145
146 vacc0x0123 = vsraq_n_s32(vproduct0x0123, vbicq_s32(vacc0x0123, vzero_shift_mask), 31);
147 vacc0x4567 = vsraq_n_s32(vproduct0x4567, vbicq_s32(vacc0x4567, vzero_shift_mask), 31);
148 vacc1x0123 = vsraq_n_s32(vproduct1x0123, vbicq_s32(vacc1x0123, vzero_shift_mask), 31);
149 vacc1x4567 = vsraq_n_s32(vproduct1x4567, vbicq_s32(vacc1x4567, vzero_shift_mask), 31);
150 vacc2x0123 = vsraq_n_s32(vproduct2x0123, vbicq_s32(vacc2x0123, vzero_shift_mask), 31);
151 vacc2x4567 = vsraq_n_s32(vproduct2x4567, vbicq_s32(vacc2x4567, vzero_shift_mask), 31);
152 vacc3x0123 = vsraq_n_s32(vproduct3x0123, vbicq_s32(vacc3x0123, vzero_shift_mask), 31);
153 vacc3x4567 = vsraq_n_s32(vproduct3x4567, vbicq_s32(vacc3x4567, vzero_shift_mask), 31);
154
155 vacc0x0123 = vrshlq_s32(vacc0x0123, vright_shift);
156 vacc0x4567 = vrshlq_s32(vacc0x4567, vright_shift);
157 vacc1x0123 = vrshlq_s32(vacc1x0123, vright_shift);
158 vacc1x4567 = vrshlq_s32(vacc1x4567, vright_shift);
159 vacc2x0123 = vrshlq_s32(vacc2x0123, vright_shift);
160 vacc2x4567 = vrshlq_s32(vacc2x4567, vright_shift);
161 vacc3x0123 = vrshlq_s32(vacc3x0123, vright_shift);
162 vacc3x4567 = vrshlq_s32(vacc3x4567, vright_shift);
163
164 const int16x8_t voutput_zero_point = vld1q_dup_s16(&params->neon.output_zero_point);
165#if XNN_ARCH_ARM64
166 const int16x8_t vacc0x01234567 = vqaddq_s16(vqmovn_high_s32(vqmovn_s32(vacc0x0123), vacc0x4567), voutput_zero_point);
167 const int16x8_t vacc1x01234567 = vqaddq_s16(vqmovn_high_s32(vqmovn_s32(vacc1x0123), vacc1x4567), voutput_zero_point);
168 const int16x8_t vacc2x01234567 = vqaddq_s16(vqmovn_high_s32(vqmovn_s32(vacc2x0123), vacc2x4567), voutput_zero_point);
169 const int16x8_t vacc3x01234567 = vqaddq_s16(vqmovn_high_s32(vqmovn_s32(vacc3x0123), vacc3x4567), voutput_zero_point);
170
171 int8x16_t vout0x01234567_1x01234567 = vqmovn_high_s16(vqmovn_s16(vacc0x01234567), vacc1x01234567);
172 int8x16_t vout2x01234567_3x01234567 = vqmovn_high_s16(vqmovn_s16(vacc2x01234567), vacc3x01234567);
173#else
174 const int16x8_t vacc0x01234567 = vqaddq_s16(vcombine_s16(vqmovn_s32(vacc0x0123), vqmovn_s32(vacc0x4567)), voutput_zero_point);
175 const int16x8_t vacc1x01234567 = vqaddq_s16(vcombine_s16(vqmovn_s32(vacc1x0123), vqmovn_s32(vacc1x4567)), voutput_zero_point);
176 const int16x8_t vacc2x01234567 = vqaddq_s16(vcombine_s16(vqmovn_s32(vacc2x0123), vqmovn_s32(vacc2x4567)), voutput_zero_point);
177 const int16x8_t vacc3x01234567 = vqaddq_s16(vcombine_s16(vqmovn_s32(vacc3x0123), vqmovn_s32(vacc3x4567)), voutput_zero_point);
178
179 int8x16_t vout0x01234567_1x01234567 = vcombine_s8(vqmovn_s16(vacc0x01234567), vqmovn_s16(vacc1x01234567));
180 int8x16_t vout2x01234567_3x01234567 = vcombine_s8(vqmovn_s16(vacc2x01234567), vqmovn_s16(vacc3x01234567));
181#endif
182 const int8x16_t voutput_min = vld1q_dup_s8(&params->neon.output_min);
183 const int8x16_t voutput_max = vld1q_dup_s8(&params->neon.output_max);
184
185 vout0x01234567_1x01234567 = vmaxq_s8(vout0x01234567_1x01234567, voutput_min);
186 vout2x01234567_3x01234567 = vmaxq_s8(vout2x01234567_3x01234567, voutput_min);
187
188 vout0x01234567_1x01234567 = vminq_s8(vout0x01234567_1x01234567, voutput_max);
189 vout2x01234567_3x01234567 = vminq_s8(vout2x01234567_3x01234567, voutput_max);
190
191 if (nc >= 8) {
192 // Main case where there the 8 columns fit in the destination.
193 vst1_s8(c0 + 0, vget_low_s8(vout0x01234567_1x01234567));
194 vst1_s8(c1 + 0, vget_high_s8(vout0x01234567_1x01234567));
195 vst1_s8(c2 + 0, vget_low_s8(vout2x01234567_3x01234567));
196 vst1_s8(c3 + 0, vget_high_s8(vout2x01234567_3x01234567));
197
198 // Advance to the next 8 columns.
199 c0 = (int8_t*) ((uintptr_t) c0 + cn_stride);
200 c1 = (int8_t*) ((uintptr_t) c1 + cn_stride);
201 c2 = (int8_t*) ((uintptr_t) c2 + cn_stride);
202 c3 = (int8_t*) ((uintptr_t) c3 + cn_stride);
203
Frank Barchard6d8ca7d2021-03-01 11:05:08 -0800204 a0 = (const int8_t*) ((uintptr_t) a0 - kc);
205 a1 = (const int8_t*) ((uintptr_t) a1 - kc);
206 a2 = (const int8_t*) ((uintptr_t) a2 - kc);
207 a3 = (const int8_t*) ((uintptr_t) a3 - kc);
208
Frank Barcharda48848f2020-09-24 00:59:24 -0700209 nc -= 8;
210 } else {
211 // Final case where not all of the 8 columns fit in the destination.
212 if (nc & 4) {
213 vst1q_lane_u32(__builtin_assume_aligned(c0, 1), vreinterpretq_u32_s8(vout0x01234567_1x01234567), 0); c0 += 4;
214 vst1q_lane_u32(__builtin_assume_aligned(c1, 1), vreinterpretq_u32_s8(vout0x01234567_1x01234567), 2); c1 += 4;
215 vst1q_lane_u32(__builtin_assume_aligned(c2, 1), vreinterpretq_u32_s8(vout2x01234567_3x01234567), 0); c2 += 4;
216 vst1q_lane_u32(__builtin_assume_aligned(c3, 1), vreinterpretq_u32_s8(vout2x01234567_3x01234567), 2); c3 += 4;
217 vout0x01234567_1x01234567 = vextq_s8(vout0x01234567_1x01234567, vout0x01234567_1x01234567, 4);
218 vout2x01234567_3x01234567 = vextq_s8(vout2x01234567_3x01234567, vout2x01234567_3x01234567, 4);
219 }
220 if (nc & 2) {
221 vst1q_lane_u16(__builtin_assume_aligned(c0, 1), vreinterpretq_u16_s8(vout0x01234567_1x01234567), 0); c0 += 2;
222 vst1q_lane_u16(__builtin_assume_aligned(c1, 1), vreinterpretq_u16_s8(vout0x01234567_1x01234567), 4); c1 += 2;
223 vst1q_lane_u16(__builtin_assume_aligned(c2, 1), vreinterpretq_u16_s8(vout2x01234567_3x01234567), 0); c2 += 2;
224 vst1q_lane_u16(__builtin_assume_aligned(c3, 1), vreinterpretq_u16_s8(vout2x01234567_3x01234567), 4); c3 += 2;
225 vout0x01234567_1x01234567 = vextq_s8(vout0x01234567_1x01234567, vout0x01234567_1x01234567, 2);
226 vout2x01234567_3x01234567 = vextq_s8(vout2x01234567_3x01234567, vout2x01234567_3x01234567, 2);
227 }
228 if (nc & 1) {
229 vst1q_lane_s8(c0, vout0x01234567_1x01234567, 0);
230 vst1q_lane_s8(c1, vout0x01234567_1x01234567, 8);
231 vst1q_lane_s8(c2, vout2x01234567_3x01234567, 0);
232 vst1q_lane_s8(c3, vout2x01234567_3x01234567, 8);
233 }
234
235 nc = 0;
236 }
237 } while (nc != 0);
238}