xref: /aosp_15_r20/external/XNNPACK/src/f32-gemm/wasmsimd-loadsplat.c.in (revision 4bdc94577ba0e567308109d787f7fec7b531ce36)
1// Copyright 2020 Google LLC
2//
3// This source code is licensed under the BSD-style license found in the
4// LICENSE file in the root directory of this source tree.
5
6$assert NR % 4 == 0
7$assert ACTIVATION != "MINMAX" or ARCH in ["ARM", "X86", "RELAXED"]
8$assert not FMA or ARCH == "RELAXED"
9$ABC = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ"
10#include <assert.h>
11
12#include <wasm_simd128.h>
13
14#include <xnnpack/gemm.h>
15
16
17$assert ACTIVATION in ["LINEAR", "RELU", "MINMAX"]
18$if ACTIVATION == "MINMAX":
19$  WASM_F32X4_MIN={"ARM": "wasm_f32x4_min", "X86": "wasm_f32x4_pmin", "RELAXED": "__builtin_wasm_relaxed_min_f32x4"}[ARCH]
20$  WASM_F32X4_MAX={"ARM": "wasm_f32x4_max", "X86": "wasm_f32x4_pmax", "RELAXED": "__builtin_wasm_relaxed_max_f32x4"}[ARCH]
21$ACTIVATION_SUFFIX = {"LINEAR": ""}.get(ACTIVATION, "_" + ACTIVATION.lower())
22$ISA = "wasmsimd" if not FMA and (ACTIVATION in ["LINEAR", "RELU"] or ARCH != "RELAXED") else "wasmrelaxedsimd"
23$ARCH_SUFFIX = "" if not FMA and (ACTIVATION in ["LINEAR", "RELU"] or ARCH == "RELAXED") else "_" + ("fma" if FMA else ARCH.lower())
24$PARAMS = {"LINEAR": "xnn_f32_default_params", "RELU": "xnn_f32_relu_params", "MINMAX": "xnn_f32_minmax_params"}[ACTIVATION]
25void xnn_f32_gemm${"inc" if INC else ""}${ACTIVATION_SUFFIX}_ukernel_${MR}x${NR}__${ISA}${ARCH_SUFFIX}_loadsplat(
26    size_t mr,
27    size_t nc,
28    size_t kc,
29    const float*restrict a,
30    size_t a_stride,
31    const float*restrict w,
32    float*restrict c,
33    size_t cm_stride,
34    size_t cn_stride,
35    $if INC:
36      const float*restrict acc,
37    const union ${PARAMS} params[restrict XNN_MIN_ELEMENTS(1)])
38{
39  assert(mr != 0);
40  assert(mr <= ${MR});
41  assert(nc != 0);
42  assert(kc != 0);
43  assert(kc % sizeof(float) == 0);
44  assert(a != NULL);
45  assert(w != NULL);
46  assert(c != NULL);
47  $if INC:
48    assert(acc != NULL);
49
50  const float* a0 = a;
51  float* c0 = c;
52  $for M in range(1, MR):
53    const float* a${M} = (const float*) ((uintptr_t) a${M-1} + a_stride);
54    float* c${M} = (float*) ((uintptr_t) c${M-1} + cm_stride);
55    $if M % 2 == 0:
56      if XNN_UNPREDICTABLE(mr <= ${M}) {
57        a${M} = a${M-1};
58        c${M} = c${M-1};
59      }
60    $elif M + 1 == MR:
61      if XNN_UNPREDICTABLE(mr != ${M+1}) {
62        a${M} = a${M-1};
63        c${M} = c${M-1};
64      }
65    $else:
66      if XNN_UNPREDICTABLE(mr < ${M+1}) {
67        a${M} = a${M-1};
68        c${M} = c${M-1};
69      }
70
71  $if ACTIVATION == "MINMAX":
72    const v128_t vmin = wasm_v128_load64_splat(params->wasmsimd.min);
73    const v128_t vmax = wasm_v128_load64_splat(params->wasmsimd.max);
74  do {
75    $if INC:
76      $for M in range(MR):
77        $for N in range(0, NR, 4):
78          v128_t vacc${M}x${ABC[N:N+4]} = wasm_v128_load(acc + ${M*NR+N});
79      acc += ${MR*NR};
80    $else:
81      $for N in range(0, NR, 4):
82        v128_t vacc0x${ABC[N:N+4]} = wasm_v128_load(w + ${N});
83      $for M in range(1, MR):
84        $for N in range(0, NR, 4):
85          v128_t vacc${M}x${ABC[N:N+4]} = vacc0x${ABC[N:N+4]};
86      w += ${NR};
87
88    size_t k = kc;
89    do {
90      $for M in range(MR):
91        const v128_t va${M} = wasm_v128_load32_splat(a${M});
92        a${M} += 1;
93
94      const v128_t vb${ABC[0:4]} = wasm_v128_load(w);
95      $for N in range(4, NR, 4):
96        const v128_t vb${ABC[N:N+4]} = wasm_v128_load(w + ${N});
97      w += ${NR};
98
99      $for N in range(0, NR, 4):
100        $for M in range(MR):
101          $if FMA:
102            vacc${M}x${ABC[N:N+4]} = __builtin_wasm_fma_f32x4(vacc${M}x${ABC[N:N+4]}, va${M}, vb${ABC[N:N+4]});
103          $else:
104            vacc${M}x${ABC[N:N+4]} = wasm_f32x4_add(vacc${M}x${ABC[N:N+4]}, wasm_f32x4_mul(va${M}, vb${ABC[N:N+4]}));
105
106      k -= sizeof(float);
107    } while (k != 0);
108
109    $if ACTIVATION == "MINMAX":
110      $for N in range(0, NR, 4):
111        $for M in range(MR):
112          vacc${M}x${ABC[N:N+4]} = ${WASM_F32X4_MAX}(vmin, vacc${M}x${ABC[N:N+4]});
113
114      $for N in range(0, NR, 4):
115        $for M in range(MR):
116          vacc${M}x${ABC[N:N+4]} = ${WASM_F32X4_MIN}(vmax, vacc${M}x${ABC[N:N+4]});
117    $elif ACTIVATION == "RELU":
118      const v128_t vzero = wasm_i32x4_const_splat(0);
119      $for N in range(0, NR, 4):
120        $for M in range(MR):
121          vacc${M}x${ABC[N:N+4]} = wasm_i32x4_max(vacc${M}x${ABC[N:N+4]}, vzero);
122
123    if XNN_LIKELY(nc >= ${NR}) {
124      $for M in reversed(range(MR)):
125        wasm_v128_store(c${M}, vacc${M}x${ABC[0:4]});
126        $for N in range(4, NR, 4):
127          wasm_v128_store(c${M} + ${N}, vacc${M}x${ABC[N:N+4]});
128        c${M} = (float*) ((uintptr_t) c${M} + cn_stride);
129
130      $for M in reversed(range(MR)):
131        a${M} = (const float*) ((uintptr_t) a${M} - kc);
132
133      nc -= ${NR};
134    } else {
135      $for LOG2N in reversed(range(NR.bit_length())):
136        $if NR != 1 << LOG2N:
137          if (nc & ${1 << LOG2N}) {
138            $if LOG2N >= 2:
139              $for M in reversed(range(MR)):
140                wasm_v128_store(c${M}, vacc${M}x${ABC[0:4]});
141                $for N in range(4, 1 << LOG2N, 4):
142                  wasm_v128_store(c${M} + ${N}, vacc${M}x${ABC[N:N+4]});
143
144              $for M in reversed(range(MR)):
145                $for N in range(0, 1 << (LOG2N - 1), 4):
146                  vacc${M}x${ABC[N:N+4]} = vacc${M}x${ABC[N + (1 << LOG2N):N + (1 << LOG2N)+4]};
147
148              $for M in reversed(range(MR)):
149                c${M} += ${1 << LOG2N};
150            $elif LOG2N == 1:
151              $for M in reversed(range(MR)):
152                *((double*) c${M}) = wasm_f64x2_extract_lane(vacc${M}x${ABC[0:4]}, 0);
153
154              $for M in reversed(range(MR)):
155                vacc${M}x${ABC[0:4]} = wasm_v32x4_shuffle(vacc${M}x${ABC[0:4]}, vacc${M}x${ABC[0:4]}, 2, 3, 2, 3);
156
157              $for M in reversed(range(MR)):
158                c${M} += 2;
159            $elif LOG2N == 0:
160              $for M in reversed(range(MR)):
161                *c${M} = wasm_f32x4_extract_lane(vacc${M}x${ABC[0:4]}, 0);
162          }
163
164      nc = 0;
165    }
166  } while (nc != 0);
167}
168