Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 1 | // Auto-generated file. Do not edit! |
| 2 | // Template: src/qs8-gemm/c8-neon-mull-padal.c.in |
| 3 | // Generator: tools/xngen |
| 4 | // |
| 5 | // Copyright 2021 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 <arm_neon.h> |
| 13 | |
| 14 | #include <xnnpack/common.h> |
| 15 | #include <xnnpack/gemm.h> |
| 16 | |
| 17 | |
| 18 | void xnn_qs8_gemm_minmax_ukernel_1x8c8__neon_mull_padal( |
| 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, |
| 28 | const union xnn_qs8_gemm_params params[restrict XNN_MIN_ELEMENTS(1)]) XNN_DISABLE_TSAN |
| 29 | { |
| 30 | assert(mr != 0); |
| 31 | assert(mr <= 1); |
| 32 | assert(nc != 0); |
| 33 | assert(kc != 0); |
| 34 | assert(kc % sizeof(int8_t) == 0); |
| 35 | assert(a != NULL); |
| 36 | assert(w != NULL); |
| 37 | assert(c != NULL); |
| 38 | |
| 39 | const int8_t* a0 = a; |
| 40 | int8_t* c0 = c; |
| 41 | |
| 42 | do { |
| 43 | int32x4_t vacc0x0 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 44 | int32x4_t vacc0x1 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 45 | int32x4_t vacc0x2 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 46 | int32x4_t vacc0x3 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 47 | int32x4_t vacc0x4 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 48 | int32x4_t vacc0x5 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 49 | int32x4_t vacc0x6 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 50 | int32x4_t vacc0x7 = vld1q_lane_s32(w, vmovq_n_s32(0), 0); w = (const void*) ((uintptr_t) w + sizeof(int32_t)); |
| 51 | |
| 52 | size_t k = kc; |
Frank Barchard | c8532ae | 2021-02-10 20:01:39 -0800 | [diff] [blame^] | 53 | while (k >= 16 * sizeof(int8_t)) { |
| 54 | const int8x8_t va0x0 = vld1_s8(a0); a0 += 8; |
| 55 | const int8x8_t va0x1 = vld1_s8(a0); a0 += 8; |
| 56 | |
| 57 | const int8x8_t vb0x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 58 | const int8x8_t vb1x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 59 | const int8x8_t vb2x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 60 | const int8x8_t vb3x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 61 | const int8x8_t vb4x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 62 | const int8x8_t vb5x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 63 | const int8x8_t vb6x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 64 | const int8x8_t vb7x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 65 | |
| 66 | const int8x8_t vb0x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 67 | int16x8_t vprod0x0 = vmull_s8(vb0x0, va0x0); |
| 68 | vprod0x0 = vmlal_s8(vprod0x0, vb0x1, va0x1); |
| 69 | vacc0x0 = vpadalq_s16(vacc0x0, vprod0x0); |
| 70 | const int8x8_t vb1x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 71 | int16x8_t vprod0x1 = vmull_s8(vb1x0, va0x0); |
| 72 | vprod0x1 = vmlal_s8(vprod0x1, vb1x1, va0x1); |
| 73 | vacc0x1 = vpadalq_s16(vacc0x1, vprod0x1); |
| 74 | const int8x8_t vb2x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 75 | int16x8_t vprod0x2 = vmull_s8(vb2x0, va0x0); |
| 76 | vprod0x2 = vmlal_s8(vprod0x2, vb2x1, va0x1); |
| 77 | vacc0x2 = vpadalq_s16(vacc0x2, vprod0x2); |
| 78 | const int8x8_t vb3x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 79 | int16x8_t vprod0x3 = vmull_s8(vb3x0, va0x0); |
| 80 | vprod0x3 = vmlal_s8(vprod0x3, vb3x1, va0x1); |
| 81 | vacc0x3 = vpadalq_s16(vacc0x3, vprod0x3); |
| 82 | const int8x8_t vb4x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 83 | int16x8_t vprod0x4 = vmull_s8(vb4x0, va0x0); |
| 84 | vprod0x4 = vmlal_s8(vprod0x4, vb4x1, va0x1); |
| 85 | vacc0x4 = vpadalq_s16(vacc0x4, vprod0x4); |
| 86 | const int8x8_t vb5x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 87 | int16x8_t vprod0x5 = vmull_s8(vb5x0, va0x0); |
| 88 | vprod0x5 = vmlal_s8(vprod0x5, vb5x1, va0x1); |
| 89 | vacc0x5 = vpadalq_s16(vacc0x5, vprod0x5); |
| 90 | const int8x8_t vb6x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 91 | int16x8_t vprod0x6 = vmull_s8(vb6x0, va0x0); |
| 92 | vprod0x6 = vmlal_s8(vprod0x6, vb6x1, va0x1); |
| 93 | vacc0x6 = vpadalq_s16(vacc0x6, vprod0x6); |
| 94 | const int8x8_t vb7x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 95 | int16x8_t vprod0x7 = vmull_s8(vb7x0, va0x0); |
| 96 | vprod0x7 = vmlal_s8(vprod0x7, vb7x1, va0x1); |
| 97 | vacc0x7 = vpadalq_s16(vacc0x7, vprod0x7); |
| 98 | |
| 99 | k -= 16 * sizeof(int8_t); |
| 100 | } |
| 101 | if (k >= 8 * sizeof(int8_t)) { |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 102 | const int8x8_t va0 = vld1_s8(a0); a0 += 8; |
| 103 | |
| 104 | const int8x8_t vb0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 105 | const int16x8_t vprod0x0 = vmull_s8(vb0, va0); |
| 106 | vacc0x0 = vpadalq_s16(vacc0x0, vprod0x0); |
| 107 | const int8x8_t vb1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 108 | const int16x8_t vprod0x1 = vmull_s8(vb1, va0); |
| 109 | vacc0x1 = vpadalq_s16(vacc0x1, vprod0x1); |
| 110 | const int8x8_t vb2 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 111 | const int16x8_t vprod0x2 = vmull_s8(vb2, va0); |
| 112 | vacc0x2 = vpadalq_s16(vacc0x2, vprod0x2); |
| 113 | const int8x8_t vb3 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 114 | const int16x8_t vprod0x3 = vmull_s8(vb3, va0); |
| 115 | vacc0x3 = vpadalq_s16(vacc0x3, vprod0x3); |
| 116 | const int8x8_t vb4 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 117 | const int16x8_t vprod0x4 = vmull_s8(vb4, va0); |
| 118 | vacc0x4 = vpadalq_s16(vacc0x4, vprod0x4); |
| 119 | const int8x8_t vb5 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 120 | const int16x8_t vprod0x5 = vmull_s8(vb5, va0); |
| 121 | vacc0x5 = vpadalq_s16(vacc0x5, vprod0x5); |
| 122 | const int8x8_t vb6 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 123 | const int16x8_t vprod0x6 = vmull_s8(vb6, va0); |
| 124 | vacc0x6 = vpadalq_s16(vacc0x6, vprod0x6); |
| 125 | const int8x8_t vb7 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 126 | const int16x8_t vprod0x7 = vmull_s8(vb7, va0); |
| 127 | vacc0x7 = vpadalq_s16(vacc0x7, vprod0x7); |
| 128 | |
| 129 | k -= 8 * sizeof(int8_t); |
| 130 | } |
| 131 | if XNN_UNLIKELY(k != 0) { |
| 132 | const int8x8_t va0 = vld1_s8(a0); a0 += k; |
| 133 | |
| 134 | const int8x8_t vb0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 135 | const int16x8_t vprod0x0 = vmull_s8(vb0, va0); |
| 136 | vacc0x0 = vpadalq_s16(vacc0x0, vprod0x0); |
| 137 | const int8x8_t vb1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 138 | const int16x8_t vprod0x1 = vmull_s8(vb1, va0); |
| 139 | vacc0x1 = vpadalq_s16(vacc0x1, vprod0x1); |
| 140 | const int8x8_t vb2 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 141 | const int16x8_t vprod0x2 = vmull_s8(vb2, va0); |
| 142 | vacc0x2 = vpadalq_s16(vacc0x2, vprod0x2); |
| 143 | const int8x8_t vb3 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 144 | const int16x8_t vprod0x3 = vmull_s8(vb3, va0); |
| 145 | vacc0x3 = vpadalq_s16(vacc0x3, vprod0x3); |
| 146 | const int8x8_t vb4 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 147 | const int16x8_t vprod0x4 = vmull_s8(vb4, va0); |
| 148 | vacc0x4 = vpadalq_s16(vacc0x4, vprod0x4); |
| 149 | const int8x8_t vb5 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 150 | const int16x8_t vprod0x5 = vmull_s8(vb5, va0); |
| 151 | vacc0x5 = vpadalq_s16(vacc0x5, vprod0x5); |
| 152 | const int8x8_t vb6 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 153 | const int16x8_t vprod0x6 = vmull_s8(vb6, va0); |
| 154 | vacc0x6 = vpadalq_s16(vacc0x6, vprod0x6); |
| 155 | const int8x8_t vb7 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
Frank Barchard | 5899012 | 2021-01-29 16:09:56 -0800 | [diff] [blame] | 156 | const int16x8_t vprod0x7 = vmull_s8(vb7, va0); |
| 157 | vacc0x7 = vpadalq_s16(vacc0x7, vprod0x7); |
| 158 | } |
| 159 | |
| 160 | #if XNN_ARCH_ARM64 |
| 161 | const int32x4_t vsum0x01 = vpaddq_s32(vacc0x0, vacc0x1); |
| 162 | const int32x4_t vsum0x23 = vpaddq_s32(vacc0x2, vacc0x3); |
| 163 | const int32x4_t vsum0x45 = vpaddq_s32(vacc0x4, vacc0x5); |
| 164 | const int32x4_t vsum0x67 = vpaddq_s32(vacc0x6, vacc0x7); |
| 165 | int32x4_t vacc0x0123 = vpaddq_s32(vsum0x01, vsum0x23); |
| 166 | int32x4_t vacc0x4567 = vpaddq_s32(vsum0x45, vsum0x67); |
| 167 | #else |
| 168 | const int32x2_t vpsum0x0 = vadd_s32(vget_low_s32(vacc0x0), vget_high_s32(vacc0x0)); |
| 169 | const int32x2_t vpsum0x1 = vadd_s32(vget_low_s32(vacc0x1), vget_high_s32(vacc0x1)); |
| 170 | const int32x2_t vpsum0x2 = vadd_s32(vget_low_s32(vacc0x2), vget_high_s32(vacc0x2)); |
| 171 | const int32x2_t vpsum0x3 = vadd_s32(vget_low_s32(vacc0x3), vget_high_s32(vacc0x3)); |
| 172 | const int32x2_t vsum0x01 = vpadd_s32(vpsum0x0, vpsum0x1); |
| 173 | const int32x2_t vsum0x23 = vpadd_s32(vpsum0x2, vpsum0x3); |
| 174 | int32x4_t vacc0x0123 = vcombine_s32(vsum0x01, vsum0x23 ); |
| 175 | const int32x2_t vpsum0x4 = vadd_s32(vget_low_s32(vacc0x4), vget_high_s32(vacc0x4)); |
| 176 | const int32x2_t vpsum0x5 = vadd_s32(vget_low_s32(vacc0x5), vget_high_s32(vacc0x5)); |
| 177 | const int32x2_t vpsum0x6 = vadd_s32(vget_low_s32(vacc0x6), vget_high_s32(vacc0x6)); |
| 178 | const int32x2_t vpsum0x7 = vadd_s32(vget_low_s32(vacc0x7), vget_high_s32(vacc0x7)); |
| 179 | const int32x2_t vsum0x45 = vpadd_s32(vpsum0x4, vpsum0x5); |
| 180 | const int32x2_t vsum0x67 = vpadd_s32(vpsum0x6, vpsum0x7); |
| 181 | int32x4_t vacc0x4567 = vcombine_s32(vsum0x45, vsum0x67 ); |
| 182 | #endif |
| 183 | |
| 184 | const int32x4_t vmultiplier = vld1q_dup_s32(¶ms->neon.multiplier); |
| 185 | vacc0x0123 = vqrdmulhq_s32(vacc0x0123, vmultiplier); |
| 186 | vacc0x4567 = vqrdmulhq_s32(vacc0x4567, vmultiplier); |
| 187 | |
| 188 | const int32x4_t vright_shift = vld1q_dup_s32(¶ms->neon.right_shift); |
| 189 | const int32x4_t vzero_shift_mask = vreinterpretq_s32_u32(vceqq_s32(vright_shift, vmovq_n_s32(0))); |
| 190 | vacc0x0123 = vsraq_n_s32(vacc0x0123, vbicq_s32(vacc0x0123, vzero_shift_mask), 31); |
| 191 | vacc0x4567 = vsraq_n_s32(vacc0x4567, vbicq_s32(vacc0x4567, vzero_shift_mask), 31); |
| 192 | |
| 193 | vacc0x0123 = vrshlq_s32(vacc0x0123, vright_shift); |
| 194 | vacc0x4567 = vrshlq_s32(vacc0x4567, vright_shift); |
| 195 | |
| 196 | const int16x8_t voutput_zero_point = vld1q_dup_s16(¶ms->neon.output_zero_point); |
| 197 | #if XNN_ARCH_ARM64 |
| 198 | const int16x8_t vacc0x01234567 = vqaddq_s16(vqmovn_high_s32(vqmovn_s32(vacc0x0123), vacc0x4567), voutput_zero_point); |
| 199 | int8x8_t vout0x01234567 = vqmovn_s16(vacc0x01234567); |
| 200 | #else |
| 201 | const int16x8_t vacc0x01234567 = vqaddq_s16(vcombine_s16(vqmovn_s32(vacc0x0123), vqmovn_s32(vacc0x4567)), voutput_zero_point); |
| 202 | |
| 203 | int8x8_t vout0x01234567 = vqmovn_s16(vacc0x01234567); |
| 204 | #endif |
| 205 | const int8x8_t voutput_min = vld1_dup_s8(¶ms->neon.output_min); |
| 206 | const int8x8_t voutput_max = vld1_dup_s8(¶ms->neon.output_max); |
| 207 | |
| 208 | vout0x01234567 = vmax_s8(vout0x01234567, voutput_min); |
| 209 | |
| 210 | vout0x01234567 = vmin_s8(vout0x01234567, voutput_max); |
| 211 | |
| 212 | if (nc >= 8) { |
| 213 | vst1_s8(c0 + 0, vout0x01234567); |
| 214 | |
| 215 | c0 = (int8_t*) ((uintptr_t) c0 + cn_stride); |
| 216 | |
| 217 | a0 = (const int8_t*) ((uintptr_t) a0 - kc); |
| 218 | |
| 219 | nc -= 8; |
| 220 | } else { |
| 221 | if (nc & 4) { |
| 222 | vst1_lane_u32(__builtin_assume_aligned(c0, 1), vreinterpret_u32_s8(vout0x01234567), 0); c0 += 4; |
| 223 | vout0x01234567 = vext_s8(vout0x01234567, vout0x01234567, 4); |
| 224 | } |
| 225 | if (nc & 2) { |
| 226 | vst1_lane_u16(__builtin_assume_aligned(c0, 1), vreinterpret_u16_s8(vout0x01234567), 0); c0 += 2; |
| 227 | vout0x01234567 = vext_s8(vout0x01234567, vout0x01234567, 2); |
| 228 | } |
| 229 | if (nc & 1) { |
| 230 | vst1_lane_s8(c0, vout0x01234567, 0); |
| 231 | } |
| 232 | |
| 233 | nc = 0; |
| 234 | } |
| 235 | } while (nc != 0); |
| 236 | } |