File size: 7,937 Bytes
8b7c501 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 |
// Copyright 2023 Google LLC
//
// This source code is licensed under the BSD-style license found in the
// LICENSE file in the root directory of this source tree.
$assert DATATYPE in ["F32", "QC8", "QC4"]
#include <xnnpack/assembly.h>
$DATATYPE_SPEC = {"F32": "f32", "QC8": "f32_qc8w", "QC4": "f32_qc4w"}[DATATYPE]
# void xnn_${DATATYPE_SPEC}_gemm${"inc" if INC else ""}_minmax_ukernel_4x1__asm_aarch64_neonfma_ld128(
# size_t mr, x0
# size_t nc, x1
# size_t kc, x2 / x0
# const float* a, x3
# size_t a_stride, x4
# const float* w, x5
# float* c, x6
# size_t cm_stride, x7
# size_t cn_stride, [sp] -> x14
$if INC:
# const float* acc, [sp + 8] -> x15
# const xnn_f32_minmax_params* params) [sp + 16] -> (x8)
$elif DATATYPE == "QC4":
# const xnn_f32_qc4w_minmax_params* params) [sp + 8] -> (x8)
$else:
# const xnn_f32_minmax_params* params) [sp + 8] -> (x8)
# d8-d15, x19-x30 need to be preserved if used. x18 is reserved by the OS.
# Register usage
# A0 x3 v0
# A1 x11 v1
# A2 x12 v2
# A3 x4 v3
# B x5 v20
# C0 x6 v24
# C1 x9 v26
# C2 x10 v28
# C3 x7 v30
# Clamp v4 v5
$if DATATYPE == "QC4":
# zerop/mask v6 v7
BEGIN_FUNCTION xnn_${DATATYPE_SPEC}_gemm${"inc" if INC else ""}_minmax_ukernel_4x1__asm_aarch64_neonfma_ld128
$if INC:
# Load cn_stride, acc
LDP x14, x15, [sp]
# Load params pointer
LDR x8, [sp, 16]
$else:
# Load cn_stride, params pointer
LDP x14, x8, [sp]
# Clamp A and C pointers
CMP x0, 2 // if mr < 2
ADD x11, x3, x4 // a1 = a0 + a_stride
ADD x9, x6, x7 // c1 = c0 + cm_stride
CSEL x11, x3, x11, LO // a1 = a0
CSEL x9, x6, x9, LO // c1 = c0
$if DATATYPE == "QC4":
# Load min/max/zerop values
LD3R {v4.2s, v5.2s, v6.2s}, [x8]
MOVI v7.8b, 15
$else:
# Load min/max values
LD2R {v4.2s, v5.2s}, [x8]
ADD x12, x11, x4 // a2 = a1 + a_stride
ADD x10, x9, x7 // c2 = c1 + cm_stride
// if mr <= 2
CSEL x12, x11, x12, LS // a2 = a1
CSEL x10, x9, x10, LS // c2 = c1
CMP x0, 4 // if mr < 4
ADD x4, x12, x4 // a3 = a2 + a_stride
ADD x7, x10, x7 // c3 = c2 + cm_stride
CSEL x4, x12, x4, LO // a3 = a2
CSEL x7, x10, x7, LO // c3 = c2
0:
$if INC:
MOVI v24.2s, 0
MOVI v26.2s, 0
MOVI v28.2s, 0
MOVI v30.2s, 0
# Load initial accumulators
LDR s24, [x15], 4
LDR s26, [x15], 4
LDR s28, [x15], 4
LDR s30, [x15], 4
$else:
# Load initial bias from w into accumulators
MOVI v24.4s, 0
LDR s24, [x5], 4
MOV v26.16b, v24.16b
MOV v28.16b, v24.16b
MOV v30.16b, v24.16b
# Is there at least 4 floats (16 bytes)?
SUBS x0, x2, 16 // k = kc - 16
B.LO 3f
# Main loop - 4 floats of A (16 bytes)
1:
$if DATATYPE == "F32":
LDR q0, [x3], 16
LDR q20, [x5], 16 // 4 F32 weights
LDR q1, [x11], 16
LDR q2, [x12], 16
LDR q3, [x4], 16
$elif DATATYPE == "QC4":
LDR h21, [x5], 2 // 4 QC4 weights
LDR q0, [x3], 16
AND v20.8b, v21.8b, v7.8b // first 2 weights
USHR v21.8b, v21.8b, 4 // next 2 weights
INS v20.h[1], v21.h[0] // insert 2 weights
SADDW v20.8h, v6.8h, v20.8b
LDR q1, [x11], 16
SXTL v20.4s, v20.4h
LDR q2, [x12], 16
SCVTF v20.2s, v20.2s
LDR q3, [x4], 16
$else:
LDR s20, [x5], 4 // 4 QC8 weights
LDR q0, [x3], 16
SXTL v20.8h, v20.8b
LDR q1, [x11], 16
SXTL v20.4s, v20.4h
LDR q2, [x12], 16
SCVTF v20.4s, v20.4s
LDR q3, [x4], 16
SUBS x0, x0, 16
FMLA v24.4s, v20.4s, v0.4s
FMLA v26.4s, v20.4s, v1.4s
FMLA v28.4s, v20.4s, v2.4s
FMLA v30.4s, v20.4s, v3.4s
B.HS 1b
FADDP v24.4s, v24.4s, v24.4s
FADDP v26.4s, v26.4s, v26.4s
FADDP v28.4s, v28.4s, v28.4s
FADDP v30.4s, v30.4s, v30.4s
# Is there a remainder?- 1 halffloat of A (2 bytes)
ANDS x0, x0, 15
FADDP s24, v24.2s
FADDP s26, v26.2s
FADDP s28, v28.2s
FADDP s30, v30.2s
B.NE 3f
2:
$if DATATYPE in ["QC8", "QC4"]:
# Scale
LDR s20, [x5], 4
FMUL s24, s24, v20.s[0]
FMUL s26, s26, v20.s[0]
FMUL s28, s28, v20.s[0]
FMUL s30, s30, v20.s[0]
# Clamp
FMAX s24, s24, s4
SUBS x1, x1, 1
FMAX s26, s26, s4
FMAX s28, s28, s4
FMAX s30, s30, s4
FMIN s24, s24, s5
FMIN s26, s26, s5
FMIN s28, s28, s5
FMIN s30, s30, s5
$if INC:
ST1 {v30.s}[0], [x7], x14
SUB x3, x3, x2 // a0 -= kc
ST1 {v28.s}[0], [x10], x14
SUB x11, x11, x2 // a1 -= kc
ST1 {v26.s}[0], [x9], x14
SUB x12, x12, x2 // a2 -= kc
ST1 {v24.s}[0], [x6], x14
SUB x4, x4, x2 // a3 -= kc
$else:
ST1 {v24.s}[0], [x6], x14
SUB x3, x3, x2 // a0 -= kc
ST1 {v26.s}[0], [x9], x14
SUB x11, x11, x2 // a1 -= kc
ST1 {v28.s}[0], [x10], x14
SUB x12, x12, x2 // a2 -= kc
ST1 {v30.s}[0], [x7], x14
SUB x4, x4, x2 // a3 -= kc
B.HI 0b
RET
3:
AND x0, x0, 15
# Remainder- 1 float of A (4 bytes)
4:
LDR s0, [x3], 4
$if DATATYPE == "F32":
LDR s20, [x5], 4
$elif DATATYPE == "QC4":
// TODO: This supports remainder of 1 or 2 but not 3.
LDR b20, [x5], 1
SADDW v20.8h, v6.8h, v20.8b
SXTL v20.4s, v20.4h
SCVTF v20.2s, v20.2s
$else:
LDR b20, [x5], 1
SXTL v20.8h, v20.8b
SXTL v20.4s, v20.4h
SCVTF v20.4s, v20.4s
LDR s1, [x11], 4
LDR s2, [x12], 4
LDR s3, [x4], 4
SUBS x0, x0, 4
FMLA s24, s20, v0.s[0]
FMLA s26, s20, v1.s[0]
FMLA s28, s20, v2.s[0]
FMLA s30, s20, v3.s[0]
B.NE 4b
B 2b
END_FUNCTION xnn_${DATATYPE_SPEC}_gemm${"inc" if INC else ""}_minmax_ukernel_4x1__asm_aarch64_neonfma_ld128
#ifdef __ELF__
.section ".note.GNU-stack","",%progbits
#endif
|