/* * Implement fast Fletcher4 using superscalar pipelines. * * Use regular C code to compute * Fletcher4 in four incremental 64-bit parallel accumulator streams, * and then combine the streams to form the final four checksum words. * This implementation is a derivative of the AVX SIMD implementation by * James Guilford and Jinshan Xiong from Intel (see zfs_fletcher_intel.c). * * Copyright (C) 2016 Romain Dolbeau. * * Authors: * Romain Dolbeau * * This software is available to you under a choice of one of two * licenses. You may choose to be licensed under the terms of the GNU * General Public License (GPL) Version 2, available from the file * COPYING in the main directory of this source tree, or the * OpenIB.org BSD license below: * * Redistribution and use in source and binary forms, with or * without modification, are permitted provided that the following * conditions are met: * * - Redistributions of source code must retain the above * copyright notice, this list of conditions and the following * disclaimer. * * - Redistributions in binary form must reproduce the above * copyright notice, this list of conditions and the following * disclaimer in the documentation and/or other materials * provided with the distribution. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE * SOFTWARE. */ #include #include #include #include #include ZFS_NO_SANITIZE_UNDEFINED static void fletcher_4_superscalar4_init(fletcher_4_ctx_t *ctx) { bzero(ctx->superscalar, 4 * sizeof (zfs_fletcher_superscalar_t)); } ZFS_NO_SANITIZE_UNDEFINED static void fletcher_4_superscalar4_fini(fletcher_4_ctx_t *ctx, zio_cksum_t *zcp) { uint64_t A, B, C, D; A = ctx->superscalar[0].v[0] + ctx->superscalar[0].v[1] + ctx->superscalar[0].v[2] + ctx->superscalar[0].v[3]; B = 0 - ctx->superscalar[0].v[1] - 2 * ctx->superscalar[0].v[2] - 3 * ctx->superscalar[0].v[3] + 4 * ctx->superscalar[1].v[0] + 4 * ctx->superscalar[1].v[1] + 4 * ctx->superscalar[1].v[2] + 4 * ctx->superscalar[1].v[3]; C = ctx->superscalar[0].v[2] + 3 * ctx->superscalar[0].v[3] - 6 * ctx->superscalar[1].v[0] - 10 * ctx->superscalar[1].v[1] - 14 * ctx->superscalar[1].v[2] - 18 * ctx->superscalar[1].v[3] + 16 * ctx->superscalar[2].v[0] + 16 * ctx->superscalar[2].v[1] + 16 * ctx->superscalar[2].v[2] + 16 * ctx->superscalar[2].v[3]; D = 0 - ctx->superscalar[0].v[3] + 4 * ctx->superscalar[1].v[0] + 10 * ctx->superscalar[1].v[1] + 20 * ctx->superscalar[1].v[2] + 34 * ctx->superscalar[1].v[3] - 48 * ctx->superscalar[2].v[0] - 64 * ctx->superscalar[2].v[1] - 80 * ctx->superscalar[2].v[2] - 96 * ctx->superscalar[2].v[3] + 64 * ctx->superscalar[3].v[0] + 64 * ctx->superscalar[3].v[1] + 64 * ctx->superscalar[3].v[2] + 64 * ctx->superscalar[3].v[3]; ZIO_SET_CHECKSUM(zcp, A, B, C, D); } ZFS_NO_SANITIZE_UNDEFINED static void fletcher_4_superscalar4_native(fletcher_4_ctx_t *ctx, const void *buf, uint64_t size) { const uint32_t *ip = buf; const uint32_t *ipend = ip + (size / sizeof (uint32_t)); uint64_t a, b, c, d; uint64_t a2, b2, c2, d2; uint64_t a3, b3, c3, d3; uint64_t a4, b4, c4, d4; a = ctx->superscalar[0].v[0]; b = ctx->superscalar[1].v[0]; c = ctx->superscalar[2].v[0]; d = ctx->superscalar[3].v[0]; a2 = ctx->superscalar[0].v[1]; b2 = ctx->superscalar[1].v[1]; c2 = ctx->superscalar[2].v[1]; d2 = ctx->superscalar[3].v[1]; a3 = ctx->superscalar[0].v[2]; b3 = ctx->superscalar[1].v[2]; c3 = ctx->superscalar[2].v[2]; d3 = ctx->superscalar[3].v[2]; a4 = ctx->superscalar[0].v[3]; b4 = ctx->superscalar[1].v[3]; c4 = ctx->superscalar[2].v[3]; d4 = ctx->superscalar[3].v[3]; for (; ip < ipend; ip += 4) { a += ip[0]; a2 += ip[1]; a3 += ip[2]; a4 += ip[3]; b += a; b2 += a2; b3 += a3; b4 += a4; c += b; c2 += b2; c3 += b3; c4 += b4; d += c; d2 += c2; d3 += c3; d4 += c4; } ctx->superscalar[0].v[0] = a; ctx->superscalar[1].v[0] = b; ctx->superscalar[2].v[0] = c; ctx->superscalar[3].v[0] = d; ctx->superscalar[0].v[1] = a2; ctx->superscalar[1].v[1] = b2; ctx->superscalar[2].v[1] = c2; ctx->superscalar[3].v[1] = d2; ctx->superscalar[0].v[2] = a3; ctx->superscalar[1].v[2] = b3; ctx->superscalar[2].v[2] = c3; ctx->superscalar[3].v[2] = d3; ctx->superscalar[0].v[3] = a4; ctx->superscalar[1].v[3] = b4; ctx->superscalar[2].v[3] = c4; ctx->superscalar[3].v[3] = d4; } ZFS_NO_SANITIZE_UNDEFINED static void fletcher_4_superscalar4_byteswap(fletcher_4_ctx_t *ctx, const void *buf, uint64_t size) { const uint32_t *ip = buf; const uint32_t *ipend = ip + (size / sizeof (uint32_t)); uint64_t a, b, c, d; uint64_t a2, b2, c2, d2; uint64_t a3, b3, c3, d3; uint64_t a4, b4, c4, d4; a = ctx->superscalar[0].v[0]; b = ctx->superscalar[1].v[0]; c = ctx->superscalar[2].v[0]; d = ctx->superscalar[3].v[0]; a2 = ctx->superscalar[0].v[1]; b2 = ctx->superscalar[1].v[1]; c2 = ctx->superscalar[2].v[1]; d2 = ctx->superscalar[3].v[1]; a3 = ctx->superscalar[0].v[2]; b3 = ctx->superscalar[1].v[2]; c3 = ctx->superscalar[2].v[2]; d3 = ctx->superscalar[3].v[2]; a4 = ctx->superscalar[0].v[3]; b4 = ctx->superscalar[1].v[3]; c4 = ctx->superscalar[2].v[3]; d4 = ctx->superscalar[3].v[3]; for (; ip < ipend; ip += 4) { a += BSWAP_32(ip[0]); a2 += BSWAP_32(ip[1]); a3 += BSWAP_32(ip[2]); a4 += BSWAP_32(ip[3]); b += a; b2 += a2; b3 += a3; b4 += a4; c += b; c2 += b2; c3 += b3; c4 += b4; d += c; d2 += c2; d3 += c3; d4 += c4; } ctx->superscalar[0].v[0] = a; ctx->superscalar[1].v[0] = b; ctx->superscalar[2].v[0] = c; ctx->superscalar[3].v[0] = d; ctx->superscalar[0].v[1] = a2; ctx->superscalar[1].v[1] = b2; ctx->superscalar[2].v[1] = c2; ctx->superscalar[3].v[1] = d2; ctx->superscalar[0].v[2] = a3; ctx->superscalar[1].v[2] = b3; ctx->superscalar[2].v[2] = c3; ctx->superscalar[3].v[2] = d3; ctx->superscalar[0].v[3] = a4; ctx->superscalar[1].v[3] = b4; ctx->superscalar[2].v[3] = c4; ctx->superscalar[3].v[3] = d4; } static boolean_t fletcher_4_superscalar4_valid(void) { return (B_TRUE); } const fletcher_4_ops_t fletcher_4_superscalar4_ops = { .init_native = fletcher_4_superscalar4_init, .compute_native = fletcher_4_superscalar4_native, .fini_native = fletcher_4_superscalar4_fini, .init_byteswap = fletcher_4_superscalar4_init, .compute_byteswap = fletcher_4_superscalar4_byteswap, .fini_byteswap = fletcher_4_superscalar4_fini, .valid = fletcher_4_superscalar4_valid, .name = "superscalar4" };