1bbbf1280Sopenharmony_ci/*
2bbbf1280Sopenharmony_ci * Armv7-A specific checksum implementation using NEON
3bbbf1280Sopenharmony_ci *
4bbbf1280Sopenharmony_ci * Copyright (c) 2020, Arm Limited.
5bbbf1280Sopenharmony_ci * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception
6bbbf1280Sopenharmony_ci */
7bbbf1280Sopenharmony_ci
8bbbf1280Sopenharmony_ci#include "networking.h"
9bbbf1280Sopenharmony_ci#include "../chksum_common.h"
10bbbf1280Sopenharmony_ci
11bbbf1280Sopenharmony_ci#ifndef __ARM_NEON
12bbbf1280Sopenharmony_ci#pragma GCC target("+simd")
13bbbf1280Sopenharmony_ci#endif
14bbbf1280Sopenharmony_ci
15bbbf1280Sopenharmony_ci#include <arm_neon.h>
16bbbf1280Sopenharmony_ci
17bbbf1280Sopenharmony_ciunsigned short
18bbbf1280Sopenharmony_ci__chksum_arm_simd(const void *ptr, unsigned int nbytes)
19bbbf1280Sopenharmony_ci{
20bbbf1280Sopenharmony_ci    bool swap = (uintptr_t) ptr & 1;
21bbbf1280Sopenharmony_ci    uint64x1_t vsum = { 0 };
22bbbf1280Sopenharmony_ci
23bbbf1280Sopenharmony_ci    if (unlikely(nbytes < 40))
24bbbf1280Sopenharmony_ci    {
25bbbf1280Sopenharmony_ci	uint64_t sum = slurp_small(ptr, nbytes);
26bbbf1280Sopenharmony_ci	return fold_and_swap(sum, false);
27bbbf1280Sopenharmony_ci    }
28bbbf1280Sopenharmony_ci
29bbbf1280Sopenharmony_ci    /* 8-byte align pointer */
30bbbf1280Sopenharmony_ci    /* Inline slurp_head-like code since we use NEON here */
31bbbf1280Sopenharmony_ci    Assert(nbytes >= 8);
32bbbf1280Sopenharmony_ci    uint32_t off = (uintptr_t) ptr & 7;
33bbbf1280Sopenharmony_ci    if (likely(off != 0))
34bbbf1280Sopenharmony_ci    {
35bbbf1280Sopenharmony_ci	const uint64_t *may_alias ptr64 = align_ptr(ptr, 8);
36bbbf1280Sopenharmony_ci	uint64x1_t vword64 = vld1_u64(ptr64);
37bbbf1280Sopenharmony_ci	/* Get rid of bytes 0..off-1 */
38bbbf1280Sopenharmony_ci	uint64x1_t vmask = vdup_n_u64(ALL_ONES);
39bbbf1280Sopenharmony_ci	int64x1_t vshiftl = vdup_n_s64(CHAR_BIT * off);
40bbbf1280Sopenharmony_ci	vmask = vshl_u64(vmask, vshiftl);
41bbbf1280Sopenharmony_ci	vword64 = vand_u64(vword64, vmask);
42bbbf1280Sopenharmony_ci	uint32x2_t vtmp = vreinterpret_u32_u64(vword64);
43bbbf1280Sopenharmony_ci	/* Set accumulator */
44bbbf1280Sopenharmony_ci	vsum = vpaddl_u32(vtmp);
45bbbf1280Sopenharmony_ci	/* Update pointer and remaining size */
46bbbf1280Sopenharmony_ci	ptr = (char *) ptr64 + 8;
47bbbf1280Sopenharmony_ci	nbytes -= 8 - off;
48bbbf1280Sopenharmony_ci    }
49bbbf1280Sopenharmony_ci    Assert(((uintptr_t) ptr & 7) == 0);
50bbbf1280Sopenharmony_ci
51bbbf1280Sopenharmony_ci    /* Sum groups of 64 bytes */
52bbbf1280Sopenharmony_ci    uint64x2_t vsum0 = { 0, 0 };
53bbbf1280Sopenharmony_ci    uint64x2_t vsum1 = { 0, 0 };
54bbbf1280Sopenharmony_ci    uint64x2_t vsum2 = { 0, 0 };
55bbbf1280Sopenharmony_ci    uint64x2_t vsum3 = { 0, 0 };
56bbbf1280Sopenharmony_ci    const uint32_t *may_alias ptr32 = ptr;
57bbbf1280Sopenharmony_ci    for (uint32_t i = 0; i < nbytes / 64; i++)
58bbbf1280Sopenharmony_ci    {
59bbbf1280Sopenharmony_ci	uint32x4_t vtmp0 = vld1q_u32(ptr32);
60bbbf1280Sopenharmony_ci	uint32x4_t vtmp1 = vld1q_u32(ptr32 + 4);
61bbbf1280Sopenharmony_ci	uint32x4_t vtmp2 = vld1q_u32(ptr32 + 8);
62bbbf1280Sopenharmony_ci	uint32x4_t vtmp3 = vld1q_u32(ptr32 + 12);
63bbbf1280Sopenharmony_ci	vsum0 = vpadalq_u32(vsum0, vtmp0);
64bbbf1280Sopenharmony_ci	vsum1 = vpadalq_u32(vsum1, vtmp1);
65bbbf1280Sopenharmony_ci	vsum2 = vpadalq_u32(vsum2, vtmp2);
66bbbf1280Sopenharmony_ci	vsum3 = vpadalq_u32(vsum3, vtmp3);
67bbbf1280Sopenharmony_ci	ptr32 += 16;
68bbbf1280Sopenharmony_ci    }
69bbbf1280Sopenharmony_ci    nbytes %= 64;
70bbbf1280Sopenharmony_ci
71bbbf1280Sopenharmony_ci    /* Fold vsum1/vsum2/vsum3 into vsum0 */
72bbbf1280Sopenharmony_ci    vsum0 = vpadalq_u32(vsum0, vreinterpretq_u32_u64(vsum2));
73bbbf1280Sopenharmony_ci    vsum1 = vpadalq_u32(vsum1, vreinterpretq_u32_u64(vsum3));
74bbbf1280Sopenharmony_ci    vsum0 = vpadalq_u32(vsum0, vreinterpretq_u32_u64(vsum1));
75bbbf1280Sopenharmony_ci
76bbbf1280Sopenharmony_ci    /* Add any trailing 16-byte groups */
77bbbf1280Sopenharmony_ci    while (likely(nbytes >= 16))
78bbbf1280Sopenharmony_ci    {
79bbbf1280Sopenharmony_ci	uint32x4_t vtmp0 = vld1q_u32(ptr32);
80bbbf1280Sopenharmony_ci	vsum0 = vpadalq_u32(vsum0, vtmp0);
81bbbf1280Sopenharmony_ci	ptr32 += 4;
82bbbf1280Sopenharmony_ci	nbytes -= 16;
83bbbf1280Sopenharmony_ci    }
84bbbf1280Sopenharmony_ci    Assert(nbytes < 16);
85bbbf1280Sopenharmony_ci
86bbbf1280Sopenharmony_ci    /* Fold vsum0 into vsum */
87bbbf1280Sopenharmony_ci    {
88bbbf1280Sopenharmony_ci	/* 4xu32 (4x32b) -> 2xu64 (2x33b) */
89bbbf1280Sopenharmony_ci	vsum0 = vpaddlq_u32(vreinterpretq_u32_u64(vsum0));
90bbbf1280Sopenharmony_ci	/* 4xu32 (2x(1b+32b)) -> 2xu64 (2x(0b+32b)) */
91bbbf1280Sopenharmony_ci	vsum0 = vpaddlq_u32(vreinterpretq_u32_u64(vsum0));
92bbbf1280Sopenharmony_ci	/* 4xu32 (4x32b) -> 2xu64 (2x33b) */
93bbbf1280Sopenharmony_ci	Assert((vgetq_lane_u64(vsum0, 0) >> 32) == 0);
94bbbf1280Sopenharmony_ci	Assert((vgetq_lane_u64(vsum0, 1) >> 32) == 0);
95bbbf1280Sopenharmony_ci	uint32x2_t vtmp = vmovn_u64(vsum0);
96bbbf1280Sopenharmony_ci	/* Add to accumulator */
97bbbf1280Sopenharmony_ci	vsum = vpadal_u32(vsum, vtmp);
98bbbf1280Sopenharmony_ci    }
99bbbf1280Sopenharmony_ci
100bbbf1280Sopenharmony_ci    /* Add any trailing group of 8 bytes */
101bbbf1280Sopenharmony_ci    if (nbytes & 8)
102bbbf1280Sopenharmony_ci    {
103bbbf1280Sopenharmony_ci	uint32x2_t vtmp = vld1_u32(ptr32);
104bbbf1280Sopenharmony_ci	/* Add to accumulator */
105bbbf1280Sopenharmony_ci	vsum = vpadal_u32(vsum, vtmp);
106bbbf1280Sopenharmony_ci	ptr32 += 2;
107bbbf1280Sopenharmony_ci	nbytes -= 8;
108bbbf1280Sopenharmony_ci    }
109bbbf1280Sopenharmony_ci    Assert(nbytes < 8);
110bbbf1280Sopenharmony_ci
111bbbf1280Sopenharmony_ci    /* Handle any trailing 1..7 bytes */
112bbbf1280Sopenharmony_ci    if (likely(nbytes != 0))
113bbbf1280Sopenharmony_ci    {
114bbbf1280Sopenharmony_ci	Assert(((uintptr_t) ptr32 & 7) == 0);
115bbbf1280Sopenharmony_ci	Assert(nbytes < 8);
116bbbf1280Sopenharmony_ci	uint64x1_t vword64 = vld1_u64((const uint64_t *) ptr32);
117bbbf1280Sopenharmony_ci	/* Get rid of bytes 7..nbytes */
118bbbf1280Sopenharmony_ci	uint64x1_t vmask = vdup_n_u64(ALL_ONES);
119bbbf1280Sopenharmony_ci	int64x1_t vshiftr = vdup_n_s64(-CHAR_BIT * (8 - nbytes));
120bbbf1280Sopenharmony_ci	vmask = vshl_u64(vmask, vshiftr);/* Shift right */
121bbbf1280Sopenharmony_ci	vword64 = vand_u64(vword64, vmask);
122bbbf1280Sopenharmony_ci	/* Fold 64-bit sum to 33 bits */
123bbbf1280Sopenharmony_ci	vword64 = vpaddl_u32(vreinterpret_u32_u64(vword64));
124bbbf1280Sopenharmony_ci	/* Add to accumulator */
125bbbf1280Sopenharmony_ci	vsum = vpadal_u32(vsum, vreinterpret_u32_u64(vword64));
126bbbf1280Sopenharmony_ci    }
127bbbf1280Sopenharmony_ci
128bbbf1280Sopenharmony_ci    /* Fold 64-bit vsum to 32 bits */
129bbbf1280Sopenharmony_ci    vsum = vpaddl_u32(vreinterpret_u32_u64(vsum));
130bbbf1280Sopenharmony_ci    vsum = vpaddl_u32(vreinterpret_u32_u64(vsum));
131bbbf1280Sopenharmony_ci    Assert(vget_lane_u32(vreinterpret_u32_u64(vsum), 1) == 0);
132bbbf1280Sopenharmony_ci
133bbbf1280Sopenharmony_ci    /* Fold 32-bit vsum to 16 bits */
134bbbf1280Sopenharmony_ci    uint32x2_t vsum32 = vreinterpret_u32_u64(vsum);
135bbbf1280Sopenharmony_ci    vsum32 = vpaddl_u16(vreinterpret_u16_u32(vsum32));
136bbbf1280Sopenharmony_ci    vsum32 = vpaddl_u16(vreinterpret_u16_u32(vsum32));
137bbbf1280Sopenharmony_ci    Assert(vget_lane_u16(vreinterpret_u16_u32(vsum32), 1) == 0);
138bbbf1280Sopenharmony_ci    Assert(vget_lane_u16(vreinterpret_u16_u32(vsum32), 2) == 0);
139bbbf1280Sopenharmony_ci    Assert(vget_lane_u16(vreinterpret_u16_u32(vsum32), 3) == 0);
140bbbf1280Sopenharmony_ci
141bbbf1280Sopenharmony_ci    /* Convert to 16-bit scalar */
142bbbf1280Sopenharmony_ci    uint16_t sum = vget_lane_u16(vreinterpret_u16_u32(vsum32), 0);
143bbbf1280Sopenharmony_ci
144bbbf1280Sopenharmony_ci    if (unlikely(swap))/* Odd base pointer is unexpected */
145bbbf1280Sopenharmony_ci    {
146bbbf1280Sopenharmony_ci	sum = bswap16(sum);
147bbbf1280Sopenharmony_ci    }
148bbbf1280Sopenharmony_ci    return sum;
149bbbf1280Sopenharmony_ci}
150