131914882SAlex Richardson /*
231914882SAlex Richardson * Armv7-A specific checksum implementation using NEON
331914882SAlex Richardson *
431914882SAlex Richardson * Copyright (c) 2020, Arm Limited.
5*072a4ba8SAndrew Turner * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception
631914882SAlex Richardson */
731914882SAlex Richardson
831914882SAlex Richardson #include "networking.h"
931914882SAlex Richardson #include "../chksum_common.h"
1031914882SAlex Richardson
1131914882SAlex Richardson #ifndef __ARM_NEON
1231914882SAlex Richardson #pragma GCC target("+simd")
1331914882SAlex Richardson #endif
1431914882SAlex Richardson
1531914882SAlex Richardson #include <arm_neon.h>
1631914882SAlex Richardson
1731914882SAlex Richardson unsigned short
__chksum_arm_simd(const void * ptr,unsigned int nbytes)1831914882SAlex Richardson __chksum_arm_simd(const void *ptr, unsigned int nbytes)
1931914882SAlex Richardson {
2031914882SAlex Richardson bool swap = (uintptr_t) ptr & 1;
2131914882SAlex Richardson uint64x1_t vsum = { 0 };
2231914882SAlex Richardson
2331914882SAlex Richardson if (unlikely(nbytes < 40))
2431914882SAlex Richardson {
2531914882SAlex Richardson uint64_t sum = slurp_small(ptr, nbytes);
2631914882SAlex Richardson return fold_and_swap(sum, false);
2731914882SAlex Richardson }
2831914882SAlex Richardson
2931914882SAlex Richardson /* 8-byte align pointer */
3031914882SAlex Richardson /* Inline slurp_head-like code since we use NEON here */
3131914882SAlex Richardson Assert(nbytes >= 8);
3231914882SAlex Richardson uint32_t off = (uintptr_t) ptr & 7;
3331914882SAlex Richardson if (likely(off != 0))
3431914882SAlex Richardson {
3531914882SAlex Richardson const uint64_t *may_alias ptr64 = align_ptr(ptr, 8);
3631914882SAlex Richardson uint64x1_t vword64 = vld1_u64(ptr64);
3731914882SAlex Richardson /* Get rid of bytes 0..off-1 */
3831914882SAlex Richardson uint64x1_t vmask = vdup_n_u64(ALL_ONES);
3931914882SAlex Richardson int64x1_t vshiftl = vdup_n_s64(CHAR_BIT * off);
4031914882SAlex Richardson vmask = vshl_u64(vmask, vshiftl);
4131914882SAlex Richardson vword64 = vand_u64(vword64, vmask);
4231914882SAlex Richardson uint32x2_t vtmp = vreinterpret_u32_u64(vword64);
4331914882SAlex Richardson /* Set accumulator */
4431914882SAlex Richardson vsum = vpaddl_u32(vtmp);
4531914882SAlex Richardson /* Update pointer and remaining size */
4631914882SAlex Richardson ptr = (char *) ptr64 + 8;
4731914882SAlex Richardson nbytes -= 8 - off;
4831914882SAlex Richardson }
4931914882SAlex Richardson Assert(((uintptr_t) ptr & 7) == 0);
5031914882SAlex Richardson
5131914882SAlex Richardson /* Sum groups of 64 bytes */
5231914882SAlex Richardson uint64x2_t vsum0 = { 0, 0 };
5331914882SAlex Richardson uint64x2_t vsum1 = { 0, 0 };
5431914882SAlex Richardson uint64x2_t vsum2 = { 0, 0 };
5531914882SAlex Richardson uint64x2_t vsum3 = { 0, 0 };
5631914882SAlex Richardson const uint32_t *may_alias ptr32 = ptr;
5731914882SAlex Richardson for (uint32_t i = 0; i < nbytes / 64; i++)
5831914882SAlex Richardson {
5931914882SAlex Richardson uint32x4_t vtmp0 = vld1q_u32(ptr32);
6031914882SAlex Richardson uint32x4_t vtmp1 = vld1q_u32(ptr32 + 4);
6131914882SAlex Richardson uint32x4_t vtmp2 = vld1q_u32(ptr32 + 8);
6231914882SAlex Richardson uint32x4_t vtmp3 = vld1q_u32(ptr32 + 12);
6331914882SAlex Richardson vsum0 = vpadalq_u32(vsum0, vtmp0);
6431914882SAlex Richardson vsum1 = vpadalq_u32(vsum1, vtmp1);
6531914882SAlex Richardson vsum2 = vpadalq_u32(vsum2, vtmp2);
6631914882SAlex Richardson vsum3 = vpadalq_u32(vsum3, vtmp3);
6731914882SAlex Richardson ptr32 += 16;
6831914882SAlex Richardson }
6931914882SAlex Richardson nbytes %= 64;
7031914882SAlex Richardson
7131914882SAlex Richardson /* Fold vsum1/vsum2/vsum3 into vsum0 */
7231914882SAlex Richardson vsum0 = vpadalq_u32(vsum0, vreinterpretq_u32_u64(vsum2));
7331914882SAlex Richardson vsum1 = vpadalq_u32(vsum1, vreinterpretq_u32_u64(vsum3));
7431914882SAlex Richardson vsum0 = vpadalq_u32(vsum0, vreinterpretq_u32_u64(vsum1));
7531914882SAlex Richardson
7631914882SAlex Richardson /* Add any trailing 16-byte groups */
7731914882SAlex Richardson while (likely(nbytes >= 16))
7831914882SAlex Richardson {
7931914882SAlex Richardson uint32x4_t vtmp0 = vld1q_u32(ptr32);
8031914882SAlex Richardson vsum0 = vpadalq_u32(vsum0, vtmp0);
8131914882SAlex Richardson ptr32 += 4;
8231914882SAlex Richardson nbytes -= 16;
8331914882SAlex Richardson }
8431914882SAlex Richardson Assert(nbytes < 16);
8531914882SAlex Richardson
8631914882SAlex Richardson /* Fold vsum0 into vsum */
8731914882SAlex Richardson {
8831914882SAlex Richardson /* 4xu32 (4x32b) -> 2xu64 (2x33b) */
8931914882SAlex Richardson vsum0 = vpaddlq_u32(vreinterpretq_u32_u64(vsum0));
9031914882SAlex Richardson /* 4xu32 (2x(1b+32b)) -> 2xu64 (2x(0b+32b)) */
9131914882SAlex Richardson vsum0 = vpaddlq_u32(vreinterpretq_u32_u64(vsum0));
9231914882SAlex Richardson /* 4xu32 (4x32b) -> 2xu64 (2x33b) */
9331914882SAlex Richardson Assert((vgetq_lane_u64(vsum0, 0) >> 32) == 0);
9431914882SAlex Richardson Assert((vgetq_lane_u64(vsum0, 1) >> 32) == 0);
9531914882SAlex Richardson uint32x2_t vtmp = vmovn_u64(vsum0);
9631914882SAlex Richardson /* Add to accumulator */
9731914882SAlex Richardson vsum = vpadal_u32(vsum, vtmp);
9831914882SAlex Richardson }
9931914882SAlex Richardson
10031914882SAlex Richardson /* Add any trailing group of 8 bytes */
10131914882SAlex Richardson if (nbytes & 8)
10231914882SAlex Richardson {
10331914882SAlex Richardson uint32x2_t vtmp = vld1_u32(ptr32);
10431914882SAlex Richardson /* Add to accumulator */
10531914882SAlex Richardson vsum = vpadal_u32(vsum, vtmp);
10631914882SAlex Richardson ptr32 += 2;
10731914882SAlex Richardson nbytes -= 8;
10831914882SAlex Richardson }
10931914882SAlex Richardson Assert(nbytes < 8);
11031914882SAlex Richardson
11131914882SAlex Richardson /* Handle any trailing 1..7 bytes */
11231914882SAlex Richardson if (likely(nbytes != 0))
11331914882SAlex Richardson {
11431914882SAlex Richardson Assert(((uintptr_t) ptr32 & 7) == 0);
11531914882SAlex Richardson Assert(nbytes < 8);
11631914882SAlex Richardson uint64x1_t vword64 = vld1_u64((const uint64_t *) ptr32);
11731914882SAlex Richardson /* Get rid of bytes 7..nbytes */
11831914882SAlex Richardson uint64x1_t vmask = vdup_n_u64(ALL_ONES);
11931914882SAlex Richardson int64x1_t vshiftr = vdup_n_s64(-CHAR_BIT * (8 - nbytes));
12031914882SAlex Richardson vmask = vshl_u64(vmask, vshiftr);/* Shift right */
12131914882SAlex Richardson vword64 = vand_u64(vword64, vmask);
12231914882SAlex Richardson /* Fold 64-bit sum to 33 bits */
12331914882SAlex Richardson vword64 = vpaddl_u32(vreinterpret_u32_u64(vword64));
12431914882SAlex Richardson /* Add to accumulator */
12531914882SAlex Richardson vsum = vpadal_u32(vsum, vreinterpret_u32_u64(vword64));
12631914882SAlex Richardson }
12731914882SAlex Richardson
12831914882SAlex Richardson /* Fold 64-bit vsum to 32 bits */
12931914882SAlex Richardson vsum = vpaddl_u32(vreinterpret_u32_u64(vsum));
13031914882SAlex Richardson vsum = vpaddl_u32(vreinterpret_u32_u64(vsum));
13131914882SAlex Richardson Assert(vget_lane_u32(vreinterpret_u32_u64(vsum), 1) == 0);
13231914882SAlex Richardson
13331914882SAlex Richardson /* Fold 32-bit vsum to 16 bits */
13431914882SAlex Richardson uint32x2_t vsum32 = vreinterpret_u32_u64(vsum);
13531914882SAlex Richardson vsum32 = vpaddl_u16(vreinterpret_u16_u32(vsum32));
13631914882SAlex Richardson vsum32 = vpaddl_u16(vreinterpret_u16_u32(vsum32));
13731914882SAlex Richardson Assert(vget_lane_u16(vreinterpret_u16_u32(vsum32), 1) == 0);
13831914882SAlex Richardson Assert(vget_lane_u16(vreinterpret_u16_u32(vsum32), 2) == 0);
13931914882SAlex Richardson Assert(vget_lane_u16(vreinterpret_u16_u32(vsum32), 3) == 0);
14031914882SAlex Richardson
14131914882SAlex Richardson /* Convert to 16-bit scalar */
14231914882SAlex Richardson uint16_t sum = vget_lane_u16(vreinterpret_u16_u32(vsum32), 0);
14331914882SAlex Richardson
14431914882SAlex Richardson if (unlikely(swap))/* Odd base pointer is unexpected */
14531914882SAlex Richardson {
14631914882SAlex Richardson sum = bswap16(sum);
14731914882SAlex Richardson }
14831914882SAlex Richardson return sum;
14931914882SAlex Richardson }
150