Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 1 | // Auto-generated file. Do not edit! |
| 2 | // Template: src/qs8-igemm/c4-neon-mull-dup.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/gemm.h> |
| 15 | #include <xnnpack/intrinsics-polyfill.h> |
| 16 | #include <xnnpack/math.h> |
| 17 | |
| 18 | |
| 19 | void xnn_qs8_igemm_minmax_fp32_ukernel_1x8c4__neonv8_mlal_ld2r( |
| 20 | size_t mr, |
| 21 | size_t nc, |
| 22 | size_t kc, |
| 23 | size_t ks, |
| 24 | const int8_t** restrict a, |
| 25 | const void* restrict w, |
| 26 | int8_t* restrict c, |
| 27 | size_t cm_stride, |
| 28 | size_t cn_stride, |
| 29 | size_t a_offset, |
| 30 | const int8_t* zero, |
Marat Dukhan | d541fc0 | 2021-12-14 00:14:27 -0800 | [diff] [blame] | 31 | const union xnn_qs8_conv_minmax_params params[restrict XNN_MIN_ELEMENTS(1)]) XNN_OOB_READS |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 32 | { |
| 33 | assert(mr != 0); |
| 34 | assert(mr <= 1); |
| 35 | assert(nc != 0); |
| 36 | assert(kc != 0); |
| 37 | assert(ks != 0); |
| 38 | assert(ks % (1 * sizeof(void*)) == 0); |
| 39 | assert(a_offset % sizeof(int8_t) == 0); |
| 40 | assert(a != NULL); |
| 41 | assert(w != NULL); |
| 42 | assert(c != NULL); |
| 43 | |
| 44 | kc = round_up_po2(kc, 4 * sizeof(int8_t)); |
| 45 | int8_t* c0 = c; |
| 46 | |
| 47 | do { |
Marat Dukhan | dc54e12 | 2021-12-29 12:56:08 -0800 | [diff] [blame^] | 48 | int32x4_t vacc0x01 = vreinterpretq_s32_u64(vmovl_u32(vld1_u32(w))); w = (const void*) ((uintptr_t) w + 2 * sizeof(int32_t)); |
| 49 | int32x4_t vacc0x23 = vreinterpretq_s32_u64(vmovl_u32(vld1_u32(w))); w = (const void*) ((uintptr_t) w + 2 * sizeof(int32_t)); |
| 50 | int32x4_t vacc0x45 = vreinterpretq_s32_u64(vmovl_u32(vld1_u32(w))); w = (const void*) ((uintptr_t) w + 2 * sizeof(int32_t)); |
| 51 | int32x4_t vacc0x67 = vreinterpretq_s32_u64(vmovl_u32(vld1_u32(w))); w = (const void*) ((uintptr_t) w + 2 * sizeof(int32_t)); |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 52 | |
| 53 | size_t p = ks; |
| 54 | do { |
| 55 | const int8_t* restrict a0 = a[0]; |
| 56 | if XNN_UNPREDICTABLE(a0 != zero) { |
| 57 | a0 = (const int8_t*) ((uintptr_t) a0 + a_offset); |
| 58 | } |
| 59 | a += 1; |
| 60 | |
| 61 | size_t k = kc; |
| 62 | |
| 63 | while (k >= 16 * sizeof(int8_t)) { |
| 64 | const int32x2x2_t va0x0 = vld2_dup_s32((const void*)a0); a0 += 8; |
| 65 | const int32x2x2_t va0x1 = vld2_dup_s32((const void*)a0); a0 += 8; |
| 66 | |
| 67 | const int8x8_t vb01c0x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 68 | const int8x8_t vb23c0x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 69 | const int8x8_t vb45c0x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 70 | const int8x8_t vb67c0x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 71 | const int8x8_t vb01c1x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 72 | const int8x8_t vb23c1x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 73 | const int8x8_t vb45c1x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 74 | const int8x8_t vb67c1x0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 75 | |
| 76 | const int8x8_t va0c0x0 = vreinterpret_s8_s32(va0x0.val[0]); |
| 77 | const int8x8_t va0c0x1 = vreinterpret_s8_s32(va0x1.val[0]); |
| 78 | |
| 79 | int16x8_t vprod0x01c0 = vmull_s8(vb01c0x0, va0c0x0); |
| 80 | const int8x8_t vb01c0x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 81 | vprod0x01c0 = vmlal_s8(vprod0x01c0, vb01c0x1, va0c0x1); |
| 82 | vacc0x01 = vpadalq_s16(vacc0x01, vprod0x01c0); |
| 83 | int16x8_t vprod0x23c0 = vmull_s8(vb23c0x0, va0c0x0); |
| 84 | const int8x8_t vb23c0x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 85 | vprod0x23c0 = vmlal_s8(vprod0x23c0, vb23c0x1, va0c0x1); |
| 86 | vacc0x23 = vpadalq_s16(vacc0x23, vprod0x23c0); |
| 87 | int16x8_t vprod0x45c0 = vmull_s8(vb45c0x0, va0c0x0); |
| 88 | const int8x8_t vb45c0x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 89 | vprod0x45c0 = vmlal_s8(vprod0x45c0, vb45c0x1, va0c0x1); |
| 90 | vacc0x45 = vpadalq_s16(vacc0x45, vprod0x45c0); |
| 91 | int16x8_t vprod0x67c0 = vmull_s8(vb67c0x0, va0c0x0); |
| 92 | const int8x8_t vb67c0x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 93 | vprod0x67c0 = vmlal_s8(vprod0x67c0, vb67c0x1, va0c0x1); |
| 94 | vacc0x67 = vpadalq_s16(vacc0x67, vprod0x67c0); |
| 95 | const int8x8_t va0c1x0 = vreinterpret_s8_s32(va0x0.val[1]); |
| 96 | const int8x8_t va0c1x1 = vreinterpret_s8_s32(va0x1.val[1]); |
| 97 | |
| 98 | int16x8_t vprod0x01c1 = vmull_s8(vb01c1x0, va0c1x0); |
| 99 | const int8x8_t vb01c1x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 100 | vprod0x01c1 = vmlal_s8(vprod0x01c1, vb01c1x1, va0c1x1); |
| 101 | vacc0x01 = vpadalq_s16(vacc0x01, vprod0x01c1); |
| 102 | int16x8_t vprod0x23c1 = vmull_s8(vb23c1x0, va0c1x0); |
| 103 | const int8x8_t vb23c1x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 104 | vprod0x23c1 = vmlal_s8(vprod0x23c1, vb23c1x1, va0c1x1); |
| 105 | vacc0x23 = vpadalq_s16(vacc0x23, vprod0x23c1); |
| 106 | int16x8_t vprod0x45c1 = vmull_s8(vb45c1x0, va0c1x0); |
| 107 | const int8x8_t vb45c1x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 108 | vprod0x45c1 = vmlal_s8(vprod0x45c1, vb45c1x1, va0c1x1); |
| 109 | vacc0x45 = vpadalq_s16(vacc0x45, vprod0x45c1); |
| 110 | int16x8_t vprod0x67c1 = vmull_s8(vb67c1x0, va0c1x0); |
| 111 | const int8x8_t vb67c1x1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 112 | vprod0x67c1 = vmlal_s8(vprod0x67c1, vb67c1x1, va0c1x1); |
| 113 | vacc0x67 = vpadalq_s16(vacc0x67, vprod0x67c1); |
| 114 | |
| 115 | k -= 16 * sizeof(int8_t); |
| 116 | } |
| 117 | |
| 118 | if (k >= 8 * sizeof(int8_t)) { |
| 119 | const int32x2x2_t va0 = vld2_dup_s32((const void*)a0); a0 += 8; |
| 120 | |
| 121 | const int8x8_t vb01c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 122 | const int8x8_t vb23c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 123 | const int8x8_t vb45c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 124 | const int8x8_t vb67c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 125 | const int8x8_t vb01c1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 126 | const int8x8_t vb23c1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 127 | const int8x8_t vb45c1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 128 | const int8x8_t vb67c1 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 129 | |
| 130 | const int8x8_t va0c0 = vreinterpret_s8_s32(va0.val[0]); |
| 131 | |
| 132 | const int16x8_t vprod0x01c0 = vmull_s8(vb01c0, va0c0); |
| 133 | vacc0x01 = vpadalq_s16(vacc0x01, vprod0x01c0); |
| 134 | const int16x8_t vprod0x23c0 = vmull_s8(vb23c0, va0c0); |
| 135 | vacc0x23 = vpadalq_s16(vacc0x23, vprod0x23c0); |
| 136 | const int16x8_t vprod0x45c0 = vmull_s8(vb45c0, va0c0); |
| 137 | vacc0x45 = vpadalq_s16(vacc0x45, vprod0x45c0); |
| 138 | const int16x8_t vprod0x67c0 = vmull_s8(vb67c0, va0c0); |
| 139 | vacc0x67 = vpadalq_s16(vacc0x67, vprod0x67c0); |
| 140 | const int8x8_t va0c1 = vreinterpret_s8_s32(va0.val[1]); |
| 141 | |
| 142 | const int16x8_t vprod0x01c1 = vmull_s8(vb01c1, va0c1); |
| 143 | vacc0x01 = vpadalq_s16(vacc0x01, vprod0x01c1); |
| 144 | const int16x8_t vprod0x23c1 = vmull_s8(vb23c1, va0c1); |
| 145 | vacc0x23 = vpadalq_s16(vacc0x23, vprod0x23c1); |
| 146 | const int16x8_t vprod0x45c1 = vmull_s8(vb45c1, va0c1); |
| 147 | vacc0x45 = vpadalq_s16(vacc0x45, vprod0x45c1); |
| 148 | const int16x8_t vprod0x67c1 = vmull_s8(vb67c1, va0c1); |
| 149 | vacc0x67 = vpadalq_s16(vacc0x67, vprod0x67c1); |
| 150 | |
| 151 | k -= 8 * sizeof(int8_t); |
| 152 | } |
| 153 | |
| 154 | if XNN_UNLIKELY(k != 0) { |
| 155 | const int8x8_t va0 = vld1_s8(a0); a0 = (const int8_t*) ((uintptr_t) a0 + k); |
| 156 | |
| 157 | const int8x8_t vb01c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 158 | const int8x8_t vb23c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 159 | const int8x8_t vb45c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 160 | const int8x8_t vb67c0 = vld1_s8(w); w = (const void*) ((uintptr_t) w + 8 * sizeof(int8_t)); |
| 161 | |
| 162 | const int8x8_t va0c0 = vreinterpret_s8_s32(vdup_lane_s32(vreinterpret_s32_s8(va0), 0)); |
| 163 | const int16x8_t vprod0x01c0 = vmull_s8(vb01c0, va0c0); |
| 164 | vacc0x01 = vpadalq_s16(vacc0x01, vprod0x01c0); |
| 165 | const int16x8_t vprod0x23c0 = vmull_s8(vb23c0, va0c0); |
| 166 | vacc0x23 = vpadalq_s16(vacc0x23, vprod0x23c0); |
| 167 | const int16x8_t vprod0x45c0 = vmull_s8(vb45c0, va0c0); |
| 168 | vacc0x45 = vpadalq_s16(vacc0x45, vprod0x45c0); |
| 169 | const int16x8_t vprod0x67c0 = vmull_s8(vb67c0, va0c0); |
| 170 | vacc0x67 = vpadalq_s16(vacc0x67, vprod0x67c0); |
| 171 | } |
| 172 | p -= 1 * sizeof(void*); |
| 173 | } while (p != 0); |
| 174 | |
| 175 | #if XNN_ARCH_ARM64 |
| 176 | int32x4_t vacc0x0123 = vpaddq_s32(vacc0x01, vacc0x23); |
| 177 | int32x4_t vacc0x4567 = vpaddq_s32(vacc0x45, vacc0x67); |
| 178 | #else |
| 179 | const int32x2_t vsum0x01 = vpadd_s32(vget_low_s32(vacc0x01), vget_high_s32(vacc0x01)); |
| 180 | const int32x2_t vsum0x23 = vpadd_s32(vget_low_s32(vacc0x23), vget_high_s32(vacc0x23)); |
| 181 | int32x4_t vacc0x0123 = vcombine_s32(vsum0x01, vsum0x23); |
| 182 | const int32x2_t vsum0x45 = vpadd_s32(vget_low_s32(vacc0x45), vget_high_s32(vacc0x45)); |
| 183 | const int32x2_t vsum0x67 = vpadd_s32(vget_low_s32(vacc0x67), vget_high_s32(vacc0x67)); |
| 184 | int32x4_t vacc0x4567 = vcombine_s32(vsum0x45, vsum0x67); |
| 185 | #endif |
| 186 | |
| 187 | float32x4_t vfpacc0x0123 = vcvtq_f32_s32(vacc0x0123); |
| 188 | float32x4_t vfpacc0x4567 = vcvtq_f32_s32(vacc0x4567); |
| 189 | |
| 190 | const float32x4_t vscale = vld1q_dup_f32(¶ms->fp32_neonv8.scale); |
| 191 | vfpacc0x0123 = vmulq_f32(vfpacc0x0123, vscale); |
| 192 | vfpacc0x4567 = vmulq_f32(vfpacc0x4567, vscale); |
| 193 | |
| 194 | vacc0x0123 = vcvtnq_s32_f32(vfpacc0x0123); |
| 195 | vacc0x4567 = vcvtnq_s32_f32(vfpacc0x4567); |
| 196 | |
| 197 | const int16x8_t voutput_zero_point = vld1q_dup_s16(¶ms->fp32_neonv8.output_zero_point); |
| 198 | #if XNN_ARCH_ARM64 |
Marat Dukhan | 5a31dc6 | 2021-12-07 00:54:02 -0800 | [diff] [blame] | 199 | int16x8_t vacc0x01234567 = vqmovn_high_s32(vqmovn_s32(vacc0x0123), vacc0x4567); |
| 200 | |
| 201 | vacc0x01234567 = vqaddq_s16(vacc0x01234567, voutput_zero_point); |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 202 | |
| 203 | int8x8_t vout0x01234567 = vqmovn_s16(vacc0x01234567); |
| 204 | #else |
Marat Dukhan | 5a31dc6 | 2021-12-07 00:54:02 -0800 | [diff] [blame] | 205 | int16x8_t vacc0x01234567 = vcombine_s16(vqmovn_s32(vacc0x0123), vqmovn_s32(vacc0x4567)); |
| 206 | |
| 207 | vacc0x01234567 = vqaddq_s16(vacc0x01234567, voutput_zero_point); |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 208 | |
| 209 | int8x8_t vout0x01234567 = vqmovn_s16(vacc0x01234567); |
| 210 | #endif |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 211 | |
Marat Dukhan | 03efa0f | 2021-12-07 10:53:39 -0800 | [diff] [blame] | 212 | const int8x8_t voutput_min = vld1_dup_s8(¶ms->fp32_neonv8.output_min); |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 213 | vout0x01234567 = vmax_s8(vout0x01234567, voutput_min); |
| 214 | |
Marat Dukhan | 5a31dc6 | 2021-12-07 00:54:02 -0800 | [diff] [blame] | 215 | const int8x8_t voutput_max = vld1_dup_s8(¶ms->fp32_neonv8.output_max); |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 216 | vout0x01234567 = vmin_s8(vout0x01234567, voutput_max); |
| 217 | |
| 218 | if (nc >= 8) { |
| 219 | vst1_s8(c0 + 0, vout0x01234567); |
| 220 | |
| 221 | c0 = (int8_t*) ((uintptr_t) c0 + cn_stride); |
| 222 | |
| 223 | a = (const int8_t**restrict) ((uintptr_t) a - ks); |
| 224 | |
| 225 | nc -= 8; |
| 226 | } else { |
| 227 | if (nc & 4) { |
Marat Dukhan | 5f7cf55 | 2021-11-25 17:37:03 -0800 | [diff] [blame] | 228 | vst1_lane_u32((void*) c0, vreinterpret_u32_s8(vout0x01234567), 0); c0 += 4; |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 229 | vout0x01234567 = vext_s8(vout0x01234567, vout0x01234567, 4); |
| 230 | } |
| 231 | if (nc & 2) { |
Marat Dukhan | 5f7cf55 | 2021-11-25 17:37:03 -0800 | [diff] [blame] | 232 | vst1_lane_u16((void*) c0, vreinterpret_u16_s8(vout0x01234567), 0); c0 += 2; |
Frank Barchard | 64ab1b7 | 2021-11-22 10:57:40 -0800 | [diff] [blame] | 233 | vout0x01234567 = vext_s8(vout0x01234567, vout0x01234567, 2); |
| 234 | } |
| 235 | if (nc & 1) { |
| 236 | vst1_lane_s8(c0, vout0x01234567, 0); |
| 237 | } |
| 238 | |
| 239 | nc = 0; |
| 240 | } |
| 241 | } while (nc != 0); |
| 242 | } |