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