| From 7eab5c3bf8449673de7bf0d3446a669694f71f1a Mon Sep 17 00:00:00 2001 |
| From: Daniel Black <daniel@linux.ibm.com> |
| Date: Thu, 16 Apr 2020 12:23:02 +1000 |
| Subject: [PATCH] POWER7/8 compatiblity fix + CRC32 C implementation |
| |
| When running on a POWER7/8, the compiler will successfully |
| report being able to compile for POWER9 compatibility. It will |
| however fail to run due to POWER9+ only instructions being used. |
| |
| To preserve the goals of ensuring an optimization for the |
| local hardware, -mcpu=native is used, but only if we don't |
| already have C{,XX}_FLAGS with cpu/arch/tune set. PORTABLE |
| flag that was added for x86 is reused to ensure that the minimum |
| viable cpu is selected, POWER7 if compiling on big endian and |
| POWER8 if on little endian. |
| |
| This ensures that if a binary distributor compiles on a |
| POWER9, and aims to support POWER8 packages, then hopefully |
| they will have the correct C{,XX}_FLAGS, and as such, will |
| not result in a broken package on POWER8. |
| |
| Fixes: 8fc20ac468b266a53083175025375985ec04b796 |
| |
| We also replace POWER crc32c with C implementation. |
| The presence of clang compile failures on POWER due to |
| missing ppc-asm.h prompted the replacement of the ASM |
| CRC32 implementation with the C implementation. |
| |
| We include this when the compile flags enable it to be build. |
| For example on POWER7 the optimized crc32 will be built, |
| however it won't be used because of the runtime detection. |
| If the executable is moved to a POWER8 big endian it will |
| work correctly. |
| |
| https://github.com/antonblanchard/crc32-vpmsum/blob/master/vec_crc32.c |
| is used with only small include path change with the local copyright header |
| maintained. |
| |
| util/crc32c.cc removes arch_ppc_crc32 which was only ever |
| used in a local context. Also incorporated significant advice from |
| tchaikov in #2869. Replace all compile time checks with runtime checks. |
| |
| Corrects getauxval detection from 8bbd76edbf by including the header from the |
| right directory. |
| |
| [Retrieved (and slightly updated for 6.13.3) from: |
| https://github.com/facebook/rocksdb/pull/7079/commits/7eab5c3bf8449673de7bf0d3446a669694f71f1a] |
| Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com> |
| --- |
| CMakeLists.txt | 59 +- |
| Makefile | 35 +- |
| src.mk | 11 +- |
| util/crc32c.cc | 63 +- |
| util/crc32c_ppc.c | 94 -- |
| util/crc32c_ppc.cc | 662 +++++++++++++ |
| util/crc32c_ppc.h | 19 - |
| util/crc32c_ppc_asm.S | 752 -------------- |
| util/crc32c_ppc_clang_workaround.h | 85 ++ |
| util/crc32c_ppc_constants.h | 1457 +++++++++++++++++----------- |
| util/crc32c_test.cc | 3 + |
| 11 files changed, 1684 insertions(+), 1556 deletions(-) |
| delete mode 100644 util/crc32c_ppc.c |
| create mode 100644 util/crc32c_ppc.cc |
| delete mode 100644 util/crc32c_ppc.h |
| delete mode 100644 util/crc32c_ppc_asm.S |
| create mode 100644 util/crc32c_ppc_clang_workaround.h |
| |
| diff --git a/CMakeLists.txt b/CMakeLists.txt |
| index 91647d83bb..5adf0cf3a5 100644 |
| --- a/CMakeLists.txt |
| +++ b/CMakeLists.txt |
| @@ -39,7 +39,7 @@ include(ReadVersion) |
| get_rocksdb_version(rocksdb_VERSION) |
| project(rocksdb |
| VERSION ${rocksdb_VERSION} |
| - LANGUAGES CXX C ASM) |
| + LANGUAGES CXX C) |
| |
| if(POLICY CMP0042) |
| cmake_policy(SET CMP0042 NEW) |
| @@ -223,26 +223,6 @@ else() |
| endif() |
| |
| include(CheckCCompilerFlag) |
| -if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64") |
| - CHECK_C_COMPILER_FLAG("-mcpu=power9" HAS_POWER9) |
| - if(HAS_POWER9) |
| - set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -mcpu=power9 -mtune=power9") |
| - set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -mcpu=power9 -mtune=power9") |
| - else() |
| - CHECK_C_COMPILER_FLAG("-mcpu=power8" HAS_POWER8) |
| - if(HAS_POWER8) |
| - set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -mcpu=power8 -mtune=power8") |
| - set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -mcpu=power8 -mtune=power8") |
| - endif(HAS_POWER8) |
| - endif(HAS_POWER9) |
| - CHECK_C_COMPILER_FLAG("-maltivec" HAS_ALTIVEC) |
| - if(HAS_ALTIVEC) |
| - message(STATUS " HAS_ALTIVEC yes") |
| - set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -maltivec") |
| - set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -maltivec") |
| - endif(HAS_ALTIVEC) |
| -endif(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64") |
| - |
| if(CMAKE_SYSTEM_PROCESSOR MATCHES "aarch64|AARCH64") |
| CHECK_C_COMPILER_FLAG("-march=armv8-a+crc+crypto" HAS_ARMV8_CRC) |
| if(HAS_ARMV8_CRC) |
| @@ -260,21 +240,40 @@ if(PORTABLE) |
| if(FORCE_SSE42 AND NOT MSVC) |
| set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -msse4.2 -mpclmul") |
| endif() |
| + if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64") |
| + if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64le") |
| + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -mcpu=power8") |
| + else() |
| + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -mcpu=power7") |
| + endif() |
| + endif() |
| else() |
| if(MSVC) |
| set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} /arch:AVX2") |
| else() |
| - if(NOT CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64" AND NOT HAS_ARMV8_CRC) |
| - set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -march=native") |
| + if(NOT CMAKE_CXX_FLAGS MATCHES "m(cpu|tune|arch)") |
| + if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64") |
| + # Power doesn't have a march option - https://gcc.gnu.org/onlinedocs/gcc/RS_002f6000-and-PowerPC-Options.html |
| + # -mcpu activates all available options |
| + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -mcpu=native") |
| + else() |
| + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -march=native") |
| + endif() |
| endif() |
| endif() |
| endif() |
| |
| -include(CheckCXXSourceCompiles) |
| +if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64") |
| + include(CheckCXXCompilerFlag) |
| + SET(POWER_CRC32_FLAGS "-mcrypto -mpower8-vector -maltivec -mvsx") |
| + CHECK_CXX_COMPILER_FLAG("${POWER_CRC32_FLAGS}" HAS_POWER_CRC32_FLAGS) |
| +endif() |
| + |
| if(NOT MSVC) |
| set(CMAKE_REQUIRED_FLAGS "-msse4.2 -mpclmul") |
| endif() |
| |
| +include(CheckCXXSourceCompiles) |
| CHECK_CXX_SOURCE_COMPILES(" |
| #include <cstdint> |
| #include <nmmintrin.h> |
| @@ -525,7 +524,7 @@ if(HAVE_SCHED_GETCPU) |
| add_definitions(-DROCKSDB_SCHED_GETCPU_PRESENT) |
| endif() |
| |
| -check_cxx_symbol_exists(getauxval auvx.h HAVE_AUXV_GETAUXVAL) |
| +check_cxx_symbol_exists(getauxval sys/auxv.h HAVE_AUXV_GETAUXVAL) |
| if(HAVE_AUXV_GETAUXVAL) |
| add_definitions(-DROCKSDB_AUXV_GETAUXVAL_PRESENT) |
| endif() |
| @@ -796,11 +795,13 @@ if(HAVE_SSE42 AND NOT MSVC) |
| PROPERTIES COMPILE_FLAGS "-msse4.2 -mpclmul") |
| endif() |
| |
| -if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64") |
| +if(HAS_POWER_CRC32_FLAGS) |
| list(APPEND SOURCES |
| - util/crc32c_ppc.c |
| - util/crc32c_ppc_asm.S) |
| -endif(CMAKE_SYSTEM_PROCESSOR MATCHES "^(powerpc|ppc)64") |
| + util/crc32c_ppc.cc) |
| + set_source_files_properties( |
| + util/crc32c_ppc.cc |
| + PROPERTIES COMPILE_FLAGS "${POWER_CRC32_FLAGS}") |
| +endif() |
| |
| if(HAS_ARMV8_CRC) |
| list(APPEND SOURCES |
| diff --git a/Makefile b/Makefile |
| index a19d2ff964..7da8f71085 100644 |
| --- a/Makefile |
| +++ b/Makefile |
| @@ -144,16 +144,9 @@ OPT += -momit-leaf-frame-pointer |
| endif |
| endif |
| |
| -ifeq (,$(shell $(CXX) -fsyntax-only -maltivec -xc /dev/null 2>&1)) |
| -CXXFLAGS += -DHAS_ALTIVEC |
| -CFLAGS += -DHAS_ALTIVEC |
| -HAS_ALTIVEC=1 |
| -endif |
| - |
| -ifeq (,$(shell $(CXX) -fsyntax-only -mcpu=power8 -xc /dev/null 2>&1)) |
| -CXXFLAGS += -DHAVE_POWER8 |
| -CFLAGS += -DHAVE_POWER8 |
| -HAVE_POWER8=1 |
| +ifeq (,$(shell $(CXX) -fsyntax-only -mcrypto -mpower8-vector -maltivec -mvsx -xc /dev/null 2>&1)) |
| +POWER_CRC32_FLAGS=-mcrypto -mpower8-vector -maltivec -mvsx |
| +HAVE_POWER_CRC32_FLAGS=1 |
| endif |
| |
| ifeq (,$(shell $(CXX) -fsyntax-only -march=armv8-a+crc+crypto -xc /dev/null 2>&1)) |
| @@ -461,10 +454,6 @@ endif |
| |
| OBJ_DIR?=. |
| LIB_OBJECTS = $(patsubst %.cc, $(OBJ_DIR)/%.o, $(LIB_SOURCES)) |
| -ifeq ($(HAVE_POWER8),1) |
| -LIB_OBJECTS += $(patsubst %.c, $(OBJ_DIR)/%.o, $(LIB_SOURCES_C)) |
| -LIB_OBJECTS += $(patsubst %.S, $(OBJ_DIR)/%.o, $(LIB_SOURCES_ASM)) |
| -endif |
| |
| ifeq ($(USE_FOLLY_DISTRIBUTED_MUTEX),1) |
| LIB_OBJECTS += $(patsubst %.cpp, $(OBJ_DIR)/%.o, $(FOLLY_SOURCES)) |
| @@ -2254,13 +2242,12 @@ IOSVERSION=$(shell defaults read $(PLATFORMSROOT)/iPhoneOS.platform/version CFBu |
| lipo ios-x86/$@ ios-arm/$@ -create -output $@ |
| |
| else |
| -ifeq ($(HAVE_POWER8),1) |
| -$(OBJ_DIR)/util/crc32c_ppc.o: util/crc32c_ppc.c |
| - $(AM_V_CC)$(CC) $(CFLAGS) -c $< -o $@ |
| +ifeq ($(HAVE_POWER_CRC32_FLAGS),1) |
| +$(OBJ_DIR)/util/crc32c_ppc.o: util/crc32c_ppc.cc |
| + $(AM_V_CC)$(CC) $(CFLAGS) $(POWER_CRC32_FLAGS) -c $< -o $@ |
| |
| -$(OBJ_DIR)/util/crc32c_ppc_asm.o: util/crc32c_ppc_asm.S |
| - $(AM_V_CC)$(CC) $(CFLAGS) -c $< -o $@ |
| endif |
| + |
| $(OBJ_DIR)/%.o: %.cc |
| $(AM_V_CC)mkdir -p $(@D) && $(CXX) $(CXXFLAGS) -c $< -o $@ $(COVERAGEFLAGS) |
| |
| diff --git a/src.mk b/src.mk |
| index c4fec346e4..0f6a19a17c 100644 |
| --- a/src.mk |
| +++ b/src.mk |
| @@ -255,14 +255,9 @@ LIB_SOURCES +=\ |
| util/crc32c_arm64.cc |
| endif |
| |
| -ifeq (,$(shell $(CXX) -fsyntax-only -maltivec -xc /dev/null 2>&1)) |
| -LIB_SOURCES_ASM =\ |
| - util/crc32c_ppc_asm.S |
| -LIB_SOURCES_C = \ |
| - util/crc32c_ppc.c |
| -else |
| -LIB_SOURCES_ASM = |
| -LIB_SOURCES_C = |
| +ifeq ($(HAVE_POWER_CRC32_FLAGS),1) |
| +LIB_SOURCES += \ |
| + util/crc32c_ppc.cc |
| endif |
| |
| TOOL_LIB_SOURCES = \ |
| diff --git a/util/crc32c.cc b/util/crc32c.cc |
| index a709e9b1ce..b24a4f0e0f 100644 |
| --- a/util/crc32c.cc |
| +++ b/util/crc32c.cc |
| @@ -20,15 +20,13 @@ |
| |
| #include "util/crc32c_arm64.h" |
| |
| -#ifdef __powerpc64__ |
| -#include "util/crc32c_ppc.h" |
| -#include "util/crc32c_ppc_constants.h" |
| - |
| -#if __linux__ |
| #ifdef ROCKSDB_AUXV_GETAUXVAL_PRESENT |
| #include <sys/auxv.h> |
| #endif |
| |
| +#ifdef __powerpc64__ |
| +extern uint32_t crc32c_ppc(uint32_t crc, unsigned char const* buffer, |
| + unsigned long len); |
| #ifndef PPC_FEATURE2_VEC_CRYPTO |
| #define PPC_FEATURE2_VEC_CRYPTO 0x02000000 |
| #endif |
| @@ -37,19 +35,11 @@ |
| #define AT_HWCAP2 26 |
| #endif |
| |
| -#endif /* __linux__ */ |
| - |
| #endif |
| |
| namespace ROCKSDB_NAMESPACE { |
| namespace crc32c { |
| |
| -#if defined(HAVE_POWER8) && defined(HAS_ALTIVEC) |
| -#ifdef __powerpc64__ |
| -static int arch_ppc_crc32 = 0; |
| -#endif /* __powerpc64__ */ |
| -#endif |
| - |
| static const uint32_t table0_[256] = { |
| 0x00000000, 0xf26b8303, 0xe13b70f7, 0x1350f3f4, |
| 0xc79a971f, 0x35f1141c, 0x26a1e7e8, 0xd4ca64eb, |
| @@ -342,6 +332,7 @@ static inline void Slow_CRC32(uint64_t* l, uint8_t const **p) { |
| table0_[c >> 24]; |
| } |
| |
| +#if !defined(HAVE_ARM64_CRC) && !defined(__powerpc64__) |
| static inline void Fast_CRC32(uint64_t* l, uint8_t const **p) { |
| #ifndef HAVE_SSE42 |
| Slow_CRC32(l, p); |
| @@ -355,6 +346,7 @@ static inline void Fast_CRC32(uint64_t* l, uint8_t const **p) { |
| *p += 4; |
| #endif |
| } |
| +#endif |
| |
| template<void (*CRC32)(uint64_t*, uint8_t const**)> |
| uint32_t ExtendImpl(uint32_t crc, const char* buf, size_t size) { |
| @@ -400,10 +392,8 @@ uint32_t ExtendImpl(uint32_t crc, const char* buf, size_t size) { |
| return static_cast<uint32_t>(l ^ 0xffffffffu); |
| } |
| |
| -// Detect if ARM64 CRC or not. |
| -#ifndef HAVE_ARM64_CRC |
| +#if !defined(HAVE_ARM64_CRC) && !defined(__powerpc64__) |
| // Detect if SS42 or not. |
| -#ifndef HAVE_POWER8 |
| |
| static bool isSSE42() { |
| #ifndef HAVE_SSE42 |
| @@ -439,36 +429,22 @@ static bool isPCLMULQDQ() { |
| #endif |
| } |
| |
| -#endif // HAVE_POWER8 |
| -#endif // HAVE_ARM64_CRC |
| +#endif // !__power64__ && !HAVE_ARM64_CRC |
| |
| typedef uint32_t (*Function)(uint32_t, const char*, size_t); |
| |
| -#if defined(HAVE_POWER8) && defined(HAS_ALTIVEC) |
| +#if defined(__powerpc64__) |
| uint32_t ExtendPPCImpl(uint32_t crc, const char *buf, size_t size) { |
| return crc32c_ppc(crc, (const unsigned char *)buf, size); |
| } |
| |
| -#if __linux__ |
| -static int arch_ppc_probe(void) { |
| - arch_ppc_crc32 = 0; |
| - |
| -#if defined(__powerpc64__) && defined(ROCKSDB_AUXV_GETAUXVAL_PRESENT) |
| - if (getauxval(AT_HWCAP2) & PPC_FEATURE2_VEC_CRYPTO) arch_ppc_crc32 = 1; |
| -#endif /* __powerpc64__ */ |
| - |
| - return arch_ppc_crc32; |
| -} |
| -#endif // __linux__ |
| - |
| static bool isAltiVec() { |
| - if (arch_ppc_probe()) { |
| - return true; |
| - } else { |
| - return false; |
| - } |
| -} |
| +#if defined(__linux__) && defined(ROCKSDB_AUXV_GETAUXVAL_PRESENT) |
| + if (getauxval(AT_HWCAP2) & PPC_FEATURE2_VEC_CRYPTO) return true; |
| #endif |
| + return false; |
| +} |
| +#endif // __power64__: |
| |
| #if defined(__linux__) && defined(HAVE_ARM64_CRC) |
| uint32_t ExtendARMImpl(uint32_t crc, const char *buf, size_t size) { |
| @@ -480,16 +456,9 @@ std::string IsFastCrc32Supported() { |
| bool has_fast_crc = false; |
| std::string fast_zero_msg; |
| std::string arch; |
| -#ifdef HAVE_POWER8 |
| -#ifdef HAS_ALTIVEC |
| - if (arch_ppc_probe()) { |
| - has_fast_crc = true; |
| - arch = "PPC"; |
| - } |
| -#else |
| - has_fast_crc = false; |
| +#ifdef __powerpc64__ |
| + has_fast_crc = isAltiVec(); |
| arch = "PPC"; |
| -#endif |
| #elif defined(__linux__) && defined(HAVE_ARM64_CRC) |
| if (crc32c_runtime_check()) { |
| has_fast_crc = true; |
| @@ -1220,7 +1189,7 @@ uint32_t crc32c_3way(uint32_t crc, const char* buf, size_t len) { |
| #endif //HAVE_SSE42 && HAVE_PCLMUL |
| |
| static inline Function Choose_Extend() { |
| -#ifdef HAVE_POWER8 |
| +#ifdef __powerpc64__ |
| return isAltiVec() ? ExtendPPCImpl : ExtendImpl<Slow_CRC32>; |
| #elif defined(__linux__) && defined(HAVE_ARM64_CRC) |
| if(crc32c_runtime_check()) { |
| diff --git a/util/crc32c_ppc.c b/util/crc32c_ppc.c |
| deleted file mode 100644 |
| index 888a4943ea..0000000000 |
| --- a/util/crc32c_ppc.c |
| +++ /dev/null |
| @@ -1,94 +0,0 @@ |
| -// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. |
| -// Copyright (c) 2017 International Business Machines Corp. |
| -// All rights reserved. |
| -// This source code is licensed under both the GPLv2 (found in the |
| -// COPYING file in the root directory) and Apache 2.0 License |
| -// (found in the LICENSE.Apache file in the root directory). |
| - |
| -#define CRC_TABLE |
| -#include <stdint.h> |
| -#include <stdlib.h> |
| -#include <strings.h> |
| -#include "util/crc32c_ppc_constants.h" |
| - |
| -#define VMX_ALIGN 16 |
| -#define VMX_ALIGN_MASK (VMX_ALIGN - 1) |
| - |
| -#ifdef REFLECT |
| -static unsigned int crc32_align(unsigned int crc, unsigned char const *p, |
| - unsigned long len) { |
| - while (len--) crc = crc_table[(crc ^ *p++) & 0xff] ^ (crc >> 8); |
| - return crc; |
| -} |
| -#endif |
| - |
| -#ifdef HAVE_POWER8 |
| -unsigned int __crc32_vpmsum(unsigned int crc, unsigned char const *p, |
| - unsigned long len); |
| - |
| -static uint32_t crc32_vpmsum(uint32_t crc, unsigned char const *data, |
| - unsigned len) { |
| - unsigned int prealign; |
| - unsigned int tail; |
| - |
| -#ifdef CRC_XOR |
| - crc ^= 0xffffffff; |
| -#endif |
| - |
| - if (len < VMX_ALIGN + VMX_ALIGN_MASK) { |
| - crc = crc32_align(crc, data, (unsigned long)len); |
| - goto out; |
| - } |
| - |
| - if ((unsigned long)data & VMX_ALIGN_MASK) { |
| - prealign = VMX_ALIGN - ((unsigned long)data & VMX_ALIGN_MASK); |
| - crc = crc32_align(crc, data, prealign); |
| - len -= prealign; |
| - data += prealign; |
| - } |
| - |
| - crc = __crc32_vpmsum(crc, data, (unsigned long)len & ~VMX_ALIGN_MASK); |
| - |
| - tail = len & VMX_ALIGN_MASK; |
| - if (tail) { |
| - data += len & ~VMX_ALIGN_MASK; |
| - crc = crc32_align(crc, data, tail); |
| - } |
| - |
| -out: |
| -#ifdef CRC_XOR |
| - crc ^= 0xffffffff; |
| -#endif |
| - |
| - return crc; |
| -} |
| - |
| -/* This wrapper function works around the fact that crc32_vpmsum |
| - * does not gracefully handle the case where the data pointer is NULL. There |
| - * may be room for performance improvement here. |
| - */ |
| -uint32_t crc32c_ppc(uint32_t crc, unsigned char const *data, unsigned len) { |
| - unsigned char *buf2; |
| - |
| - if (!data) { |
| - buf2 = (unsigned char *)malloc(len); |
| - bzero(buf2, len); |
| - crc = crc32_vpmsum(crc, buf2, len); |
| - free(buf2); |
| - } else { |
| - crc = crc32_vpmsum(crc, data, (unsigned long)len); |
| - } |
| - return crc; |
| -} |
| - |
| -#else /* HAVE_POWER8 */ |
| - |
| -/* This symbol has to exist on non-ppc architectures (and on legacy |
| - * ppc systems using power7 or below) in order to compile properly |
| - * there, even though it won't be called. |
| - */ |
| -uint32_t crc32c_ppc(uint32_t crc, unsigned char const *data, unsigned len) { |
| - return 0; |
| -} |
| - |
| -#endif /* HAVE_POWER8 */ |
| diff --git a/util/crc32c_ppc.cc b/util/crc32c_ppc.cc |
| new file mode 100644 |
| index 0000000000..44487eb80b |
| --- /dev/null |
| +++ b/util/crc32c_ppc.cc |
| @@ -0,0 +1,662 @@ |
| +/* |
| + * Calculate the checksum of data that is 16 byte aligned and a multiple of |
| + * 16 bytes. |
| + * |
| + * The first step is to reduce it to 1024 bits. We do this in 8 parallel |
| + * chunks in order to mask the latency of the vpmsum instructions. If we |
| + * have more than 32 kB of data to checksum we repeat this step multiple |
| + * times, passing in the previous 1024 bits. |
| + * |
| + * The next step is to reduce the 1024 bits to 64 bits. This step adds |
| + * 32 bits of 0s to the end - this matches what a CRC does. We just |
| + * calculate constants that land the data in this 32 bits. |
| + * |
| + * We then use fixed point Barrett reduction to compute a mod n over GF(2) |
| + * for n = CRC using POWER8 instructions. We use x = 32. |
| + * |
| + * http://en.wikipedia.org/wiki/Barrett_reduction |
| + * |
| + * This code uses gcc vector builtins instead using assembly directly. |
| + * |
| + * Copyright (C) 2017 Rogerio Alves <rogealve@br.ibm.com>, IBM |
| + * |
| + * This program is free software; you can redistribute it and/or |
| + * modify it under the terms of either: |
| + * |
| + * a) the GNU General Public License as published by the Free Software |
| + * Foundation; either version 2 of the License, or (at your option) |
| + * any later version, or |
| + * b) the Apache License, Version 2.0 |
| + */ |
| + |
| +#include <altivec.h> |
| + |
| +#define POWER8_INTRINSICS |
| +#define CRC_TABLE |
| + |
| +#include "crc32c_ppc_constants.h" |
| + |
| +#define VMX_ALIGN 16 |
| +#define VMX_ALIGN_MASK (VMX_ALIGN - 1) |
| + |
| +#ifdef REFLECT |
| +static unsigned int crc32_align(unsigned int crc, const unsigned char *p, |
| + unsigned long len) { |
| + while (len--) crc = crc_table[(crc ^ *p++) & 0xff] ^ (crc >> 8); |
| + return crc; |
| +} |
| +#else |
| +static unsigned int crc32_align(unsigned int crc, const unsigned char *p, |
| + unsigned long len) { |
| + while (len--) crc = crc_table[((crc >> 24) ^ *p++) & 0xff] ^ (crc << 8); |
| + return crc; |
| +} |
| +#endif |
| + |
| +static unsigned int __attribute__((aligned(32))) |
| +__crc32_vpmsum(unsigned int crc, const void *p, unsigned long len); |
| + |
| +#ifndef CRC32_FUNCTION |
| +#define CRC32_FUNCTION crc32c_ppc |
| +#endif |
| + |
| +unsigned int CRC32_FUNCTION(unsigned int crc, const unsigned char *p, |
| + unsigned long len) { |
| + unsigned int prealign; |
| + unsigned int tail; |
| + |
| +#ifdef CRC_XOR |
| + crc ^= 0xffffffff; |
| +#endif |
| + |
| + if (len < VMX_ALIGN + VMX_ALIGN_MASK) { |
| + crc = crc32_align(crc, p, len); |
| + goto out; |
| + } |
| + |
| + if ((unsigned long)p & VMX_ALIGN_MASK) { |
| + prealign = VMX_ALIGN - ((unsigned long)p & VMX_ALIGN_MASK); |
| + crc = crc32_align(crc, p, prealign); |
| + len -= prealign; |
| + p += prealign; |
| + } |
| + |
| + crc = __crc32_vpmsum(crc, p, len & ~VMX_ALIGN_MASK); |
| + |
| + tail = len & VMX_ALIGN_MASK; |
| + if (tail) { |
| + p += len & ~VMX_ALIGN_MASK; |
| + crc = crc32_align(crc, p, tail); |
| + } |
| + |
| +out: |
| +#ifdef CRC_XOR |
| + crc ^= 0xffffffff; |
| +#endif |
| + |
| + return crc; |
| +} |
| + |
| +#if defined(__clang__) |
| +#include "crc32c_ppc_clang_workaround.h" |
| +#else |
| +#define __builtin_pack_vector(a, b) __builtin_pack_vector_int128((a), (b)) |
| +#define __builtin_unpack_vector_0(a) \ |
| + __builtin_unpack_vector_int128((vector __int128_t)(a), 0) |
| +#define __builtin_unpack_vector_1(a) \ |
| + __builtin_unpack_vector_int128((vector __int128_t)(a), 1) |
| +#endif |
| + |
| +/* When we have a load-store in a single-dispatch group and address overlap |
| + * such that foward is not allowed (load-hit-store) the group must be flushed. |
| + * A group ending NOP prevents the flush. |
| + */ |
| +#define GROUP_ENDING_NOP asm("ori 2,2,0" ::: "memory") |
| + |
| +#if defined(__BIG_ENDIAN__) && defined(REFLECT) |
| +#define BYTESWAP_DATA |
| +#elif defined(__LITTLE_ENDIAN__) && !defined(REFLECT) |
| +#define BYTESWAP_DATA |
| +#endif |
| + |
| +#ifdef BYTESWAP_DATA |
| +#define VEC_PERM(vr, va, vb, vc) \ |
| + vr = vec_perm(va, vb, (__vector unsigned char)vc) |
| +#if defined(__LITTLE_ENDIAN__) |
| +/* Byte reverse permute constant LE. */ |
| +static const __vector unsigned long long vperm_const |
| + __attribute__((aligned(16))) = {0x08090A0B0C0D0E0FUL, 0x0001020304050607UL}; |
| +#else |
| +static const __vector unsigned long long vperm_const |
| + __attribute__((aligned(16))) = {0x0F0E0D0C0B0A0908UL, 0X0706050403020100UL}; |
| +#endif |
| +#else |
| +#define VEC_PERM(vr, va, vb, vc) |
| +#endif |
| + |
| +static unsigned int __attribute__((aligned(32))) |
| +__crc32_vpmsum(unsigned int crc, const void *p, unsigned long len) { |
| + const __vector unsigned long long vzero = {0, 0}; |
| + const __vector unsigned long long vones = {0xffffffffffffffffUL, |
| + 0xffffffffffffffffUL}; |
| + |
| +#ifdef REFLECT |
| + const __vector unsigned long long vmask_32bit = |
| + (__vector unsigned long long)vec_sld((__vector unsigned char)vzero, |
| + (__vector unsigned char)vones, 4); |
| +#endif |
| + |
| + const __vector unsigned long long vmask_64bit = |
| + (__vector unsigned long long)vec_sld((__vector unsigned char)vzero, |
| + (__vector unsigned char)vones, 8); |
| + |
| + __vector unsigned long long vcrc; |
| + |
| + __vector unsigned long long vconst1, vconst2; |
| + |
| + /* vdata0-vdata7 will contain our data (p). */ |
| + __vector unsigned long long vdata0, vdata1, vdata2, vdata3, vdata4, vdata5, |
| + vdata6, vdata7; |
| + |
| + /* v0-v7 will contain our checksums */ |
| + __vector unsigned long long v0 = {0, 0}; |
| + __vector unsigned long long v1 = {0, 0}; |
| + __vector unsigned long long v2 = {0, 0}; |
| + __vector unsigned long long v3 = {0, 0}; |
| + __vector unsigned long long v4 = {0, 0}; |
| + __vector unsigned long long v5 = {0, 0}; |
| + __vector unsigned long long v6 = {0, 0}; |
| + __vector unsigned long long v7 = {0, 0}; |
| + |
| + /* Vector auxiliary variables. */ |
| + __vector unsigned long long va0, va1, va2, va3, va4, va5, va6, va7; |
| + |
| + unsigned int result = 0; |
| + unsigned int offset; /* Constant table offset. */ |
| + |
| + unsigned long i; /* Counter. */ |
| + unsigned long chunks; |
| + |
| + unsigned long block_size; |
| + int next_block = 0; |
| + |
| + /* Align by 128 bits. The last 128 bit block will be processed at end. */ |
| + unsigned long length = len & 0xFFFFFFFFFFFFFF80UL; |
| + |
| +#ifdef REFLECT |
| + vcrc = (__vector unsigned long long)__builtin_pack_vector(0UL, crc); |
| +#else |
| + vcrc = (__vector unsigned long long)__builtin_pack_vector(crc, 0UL); |
| + |
| + /* Shift into top 32 bits */ |
| + vcrc = (__vector unsigned long long)vec_sld((__vector unsigned char)vcrc, |
| + (__vector unsigned char)vzero, 4); |
| +#endif |
| + |
| + /* Short version. */ |
| + if (len < 256) { |
| + /* Calculate where in the constant table we need to start. */ |
| + offset = 256 - len; |
| + |
| + vconst1 = vec_ld(offset, vcrc_short_const); |
| + vdata0 = vec_ld(0, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata0, vdata0, vconst1, vperm_const); |
| + |
| + /* xor initial value*/ |
| + vdata0 = vec_xor(vdata0, vcrc); |
| + |
| + vdata0 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata0, (__vector unsigned int)vconst1); |
| + v0 = vec_xor(v0, vdata0); |
| + |
| + for (i = 16; i < len; i += 16) { |
| + vconst1 = vec_ld(offset + i, vcrc_short_const); |
| + vdata0 = vec_ld(i, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata0, vdata0, vconst1, vperm_const); |
| + vdata0 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata0, (__vector unsigned int)vconst1); |
| + v0 = vec_xor(v0, vdata0); |
| + } |
| + } else { |
| + /* Load initial values. */ |
| + vdata0 = vec_ld(0, (__vector unsigned long long *)p); |
| + vdata1 = vec_ld(16, (__vector unsigned long long *)p); |
| + |
| + VEC_PERM(vdata0, vdata0, vdata0, vperm_const); |
| + VEC_PERM(vdata1, vdata1, vdata1, vperm_const); |
| + |
| + vdata2 = vec_ld(32, (__vector unsigned long long *)p); |
| + vdata3 = vec_ld(48, (__vector unsigned long long *)p); |
| + |
| + VEC_PERM(vdata2, vdata2, vdata2, vperm_const); |
| + VEC_PERM(vdata3, vdata3, vdata3, vperm_const); |
| + |
| + vdata4 = vec_ld(64, (__vector unsigned long long *)p); |
| + vdata5 = vec_ld(80, (__vector unsigned long long *)p); |
| + |
| + VEC_PERM(vdata4, vdata4, vdata4, vperm_const); |
| + VEC_PERM(vdata5, vdata5, vdata5, vperm_const); |
| + |
| + vdata6 = vec_ld(96, (__vector unsigned long long *)p); |
| + vdata7 = vec_ld(112, (__vector unsigned long long *)p); |
| + |
| + VEC_PERM(vdata6, vdata6, vdata6, vperm_const); |
| + VEC_PERM(vdata7, vdata7, vdata7, vperm_const); |
| + |
| + /* xor in initial value */ |
| + vdata0 = vec_xor(vdata0, vcrc); |
| + |
| + p = (char *)p + 128; |
| + |
| + do { |
| + /* Checksum in blocks of MAX_SIZE. */ |
| + block_size = length; |
| + if (block_size > MAX_SIZE) { |
| + block_size = MAX_SIZE; |
| + } |
| + |
| + length = length - block_size; |
| + |
| + /* |
| + * Work out the offset into the constants table to start at. Each |
| + * constant is 16 bytes, and it is used against 128 bytes of input |
| + * data - 128 / 16 = 8 |
| + */ |
| + offset = (MAX_SIZE / 8) - (block_size / 8); |
| + /* We reduce our final 128 bytes in a separate step */ |
| + chunks = (block_size / 128) - 1; |
| + |
| + vconst1 = vec_ld(offset, vcrc_const); |
| + |
| + va0 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata0, |
| + (__vector unsigned long long)vconst1); |
| + va1 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata1, |
| + (__vector unsigned long long)vconst1); |
| + va2 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata2, |
| + (__vector unsigned long long)vconst1); |
| + va3 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata3, |
| + (__vector unsigned long long)vconst1); |
| + va4 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata4, |
| + (__vector unsigned long long)vconst1); |
| + va5 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata5, |
| + (__vector unsigned long long)vconst1); |
| + va6 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata6, |
| + (__vector unsigned long long)vconst1); |
| + va7 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata7, |
| + (__vector unsigned long long)vconst1); |
| + |
| + if (chunks > 1) { |
| + offset += 16; |
| + vconst2 = vec_ld(offset, vcrc_const); |
| + GROUP_ENDING_NOP; |
| + |
| + vdata0 = vec_ld(0, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata0, vdata0, vdata0, vperm_const); |
| + |
| + vdata1 = vec_ld(16, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata1, vdata1, vdata1, vperm_const); |
| + |
| + vdata2 = vec_ld(32, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata2, vdata2, vdata2, vperm_const); |
| + |
| + vdata3 = vec_ld(48, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata3, vdata3, vdata3, vperm_const); |
| + |
| + vdata4 = vec_ld(64, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata4, vdata4, vdata4, vperm_const); |
| + |
| + vdata5 = vec_ld(80, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata5, vdata5, vdata5, vperm_const); |
| + |
| + vdata6 = vec_ld(96, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata6, vdata6, vdata6, vperm_const); |
| + |
| + vdata7 = vec_ld(112, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata7, vdata7, vdata7, vperm_const); |
| + |
| + p = (char *)p + 128; |
| + |
| + /* |
| + * main loop. We modulo schedule it such that it takes three |
| + * iterations to complete - first iteration load, second |
| + * iteration vpmsum, third iteration xor. |
| + */ |
| + for (i = 0; i < chunks - 2; i++) { |
| + vconst1 = vec_ld(offset, vcrc_const); |
| + offset += 16; |
| + GROUP_ENDING_NOP; |
| + |
| + v0 = vec_xor(v0, va0); |
| + va0 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata0, |
| + (__vector unsigned long long)vconst2); |
| + vdata0 = vec_ld(0, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata0, vdata0, vdata0, vperm_const); |
| + GROUP_ENDING_NOP; |
| + |
| + v1 = vec_xor(v1, va1); |
| + va1 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata1, |
| + (__vector unsigned long long)vconst2); |
| + vdata1 = vec_ld(16, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata1, vdata1, vdata1, vperm_const); |
| + GROUP_ENDING_NOP; |
| + |
| + v2 = vec_xor(v2, va2); |
| + va2 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata2, |
| + (__vector unsigned long long)vconst2); |
| + vdata2 = vec_ld(32, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata2, vdata2, vdata2, vperm_const); |
| + GROUP_ENDING_NOP; |
| + |
| + v3 = vec_xor(v3, va3); |
| + va3 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata3, |
| + (__vector unsigned long long)vconst2); |
| + vdata3 = vec_ld(48, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata3, vdata3, vdata3, vperm_const); |
| + |
| + vconst2 = vec_ld(offset, vcrc_const); |
| + GROUP_ENDING_NOP; |
| + |
| + v4 = vec_xor(v4, va4); |
| + va4 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata4, |
| + (__vector unsigned long long)vconst1); |
| + vdata4 = vec_ld(64, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata4, vdata4, vdata4, vperm_const); |
| + GROUP_ENDING_NOP; |
| + |
| + v5 = vec_xor(v5, va5); |
| + va5 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata5, |
| + (__vector unsigned long long)vconst1); |
| + vdata5 = vec_ld(80, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata5, vdata5, vdata5, vperm_const); |
| + GROUP_ENDING_NOP; |
| + |
| + v6 = vec_xor(v6, va6); |
| + va6 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata6, |
| + (__vector unsigned long long)vconst1); |
| + vdata6 = vec_ld(96, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata6, vdata6, vdata6, vperm_const); |
| + GROUP_ENDING_NOP; |
| + |
| + v7 = vec_xor(v7, va7); |
| + va7 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata7, |
| + (__vector unsigned long long)vconst1); |
| + vdata7 = vec_ld(112, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata7, vdata7, vdata7, vperm_const); |
| + |
| + p = (char *)p + 128; |
| + } |
| + |
| + /* First cool down*/ |
| + vconst1 = vec_ld(offset, vcrc_const); |
| + offset += 16; |
| + |
| + v0 = vec_xor(v0, va0); |
| + va0 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata0, |
| + (__vector unsigned long long)vconst1); |
| + GROUP_ENDING_NOP; |
| + |
| + v1 = vec_xor(v1, va1); |
| + va1 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata1, |
| + (__vector unsigned long long)vconst1); |
| + GROUP_ENDING_NOP; |
| + |
| + v2 = vec_xor(v2, va2); |
| + va2 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata2, |
| + (__vector unsigned long long)vconst1); |
| + GROUP_ENDING_NOP; |
| + |
| + v3 = vec_xor(v3, va3); |
| + va3 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata3, |
| + (__vector unsigned long long)vconst1); |
| + GROUP_ENDING_NOP; |
| + |
| + v4 = vec_xor(v4, va4); |
| + va4 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata4, |
| + (__vector unsigned long long)vconst1); |
| + GROUP_ENDING_NOP; |
| + |
| + v5 = vec_xor(v5, va5); |
| + va5 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata5, |
| + (__vector unsigned long long)vconst1); |
| + GROUP_ENDING_NOP; |
| + |
| + v6 = vec_xor(v6, va6); |
| + va6 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata6, |
| + (__vector unsigned long long)vconst1); |
| + GROUP_ENDING_NOP; |
| + |
| + v7 = vec_xor(v7, va7); |
| + va7 = __builtin_crypto_vpmsumd((__vector unsigned long long)vdata7, |
| + (__vector unsigned long long)vconst1); |
| + } /* else */ |
| + |
| + /* Second cool down. */ |
| + v0 = vec_xor(v0, va0); |
| + v1 = vec_xor(v1, va1); |
| + v2 = vec_xor(v2, va2); |
| + v3 = vec_xor(v3, va3); |
| + v4 = vec_xor(v4, va4); |
| + v5 = vec_xor(v5, va5); |
| + v6 = vec_xor(v6, va6); |
| + v7 = vec_xor(v7, va7); |
| + |
| +#ifdef REFLECT |
| + /* |
| + * vpmsumd produces a 96 bit result in the least significant bits |
| + * of the register. Since we are bit reflected we have to shift it |
| + * left 32 bits so it occupies the least significant bits in the |
| + * bit reflected domain. |
| + */ |
| + v0 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v0, (__vector unsigned char)vzero, 4); |
| + v1 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v1, (__vector unsigned char)vzero, 4); |
| + v2 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v2, (__vector unsigned char)vzero, 4); |
| + v3 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v3, (__vector unsigned char)vzero, 4); |
| + v4 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v4, (__vector unsigned char)vzero, 4); |
| + v5 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v5, (__vector unsigned char)vzero, 4); |
| + v6 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v6, (__vector unsigned char)vzero, 4); |
| + v7 = (__vector unsigned long long)vec_sld( |
| + (__vector unsigned char)v7, (__vector unsigned char)vzero, 4); |
| +#endif |
| + |
| + /* xor with the last 1024 bits. */ |
| + va0 = vec_ld(0, (__vector unsigned long long *)p); |
| + VEC_PERM(va0, va0, va0, vperm_const); |
| + |
| + va1 = vec_ld(16, (__vector unsigned long long *)p); |
| + VEC_PERM(va1, va1, va1, vperm_const); |
| + |
| + va2 = vec_ld(32, (__vector unsigned long long *)p); |
| + VEC_PERM(va2, va2, va2, vperm_const); |
| + |
| + va3 = vec_ld(48, (__vector unsigned long long *)p); |
| + VEC_PERM(va3, va3, va3, vperm_const); |
| + |
| + va4 = vec_ld(64, (__vector unsigned long long *)p); |
| + VEC_PERM(va4, va4, va4, vperm_const); |
| + |
| + va5 = vec_ld(80, (__vector unsigned long long *)p); |
| + VEC_PERM(va5, va5, va5, vperm_const); |
| + |
| + va6 = vec_ld(96, (__vector unsigned long long *)p); |
| + VEC_PERM(va6, va6, va6, vperm_const); |
| + |
| + va7 = vec_ld(112, (__vector unsigned long long *)p); |
| + VEC_PERM(va7, va7, va7, vperm_const); |
| + |
| + p = (char *)p + 128; |
| + |
| + vdata0 = vec_xor(v0, va0); |
| + vdata1 = vec_xor(v1, va1); |
| + vdata2 = vec_xor(v2, va2); |
| + vdata3 = vec_xor(v3, va3); |
| + vdata4 = vec_xor(v4, va4); |
| + vdata5 = vec_xor(v5, va5); |
| + vdata6 = vec_xor(v6, va6); |
| + vdata7 = vec_xor(v7, va7); |
| + |
| + /* Check if we have more blocks to process */ |
| + next_block = 0; |
| + if (length != 0) { |
| + next_block = 1; |
| + |
| + /* zero v0-v7 */ |
| + v0 = vec_xor(v0, v0); |
| + v1 = vec_xor(v1, v1); |
| + v2 = vec_xor(v2, v2); |
| + v3 = vec_xor(v3, v3); |
| + v4 = vec_xor(v4, v4); |
| + v5 = vec_xor(v5, v5); |
| + v6 = vec_xor(v6, v6); |
| + v7 = vec_xor(v7, v7); |
| + } |
| + length = length + 128; |
| + |
| + } while (next_block); |
| + |
| + /* Calculate how many bytes we have left. */ |
| + length = (len & 127); |
| + |
| + /* Calculate where in (short) constant table we need to start. */ |
| + offset = 128 - length; |
| + |
| + v0 = vec_ld(offset, vcrc_short_const); |
| + v1 = vec_ld(offset + 16, vcrc_short_const); |
| + v2 = vec_ld(offset + 32, vcrc_short_const); |
| + v3 = vec_ld(offset + 48, vcrc_short_const); |
| + v4 = vec_ld(offset + 64, vcrc_short_const); |
| + v5 = vec_ld(offset + 80, vcrc_short_const); |
| + v6 = vec_ld(offset + 96, vcrc_short_const); |
| + v7 = vec_ld(offset + 112, vcrc_short_const); |
| + |
| + offset += 128; |
| + |
| + v0 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata0, (__vector unsigned int)v0); |
| + v1 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata1, (__vector unsigned int)v1); |
| + v2 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata2, (__vector unsigned int)v2); |
| + v3 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata3, (__vector unsigned int)v3); |
| + v4 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata4, (__vector unsigned int)v4); |
| + v5 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata5, (__vector unsigned int)v5); |
| + v6 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata6, (__vector unsigned int)v6); |
| + v7 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata7, (__vector unsigned int)v7); |
| + |
| + /* Now reduce the tail (0-112 bytes). */ |
| + for (i = 0; i < length; i += 16) { |
| + vdata0 = vec_ld(i, (__vector unsigned long long *)p); |
| + VEC_PERM(vdata0, vdata0, vdata0, vperm_const); |
| + va0 = vec_ld(offset + i, vcrc_short_const); |
| + va0 = (__vector unsigned long long)__builtin_crypto_vpmsumw( |
| + (__vector unsigned int)vdata0, (__vector unsigned int)va0); |
| + v0 = vec_xor(v0, va0); |
| + } |
| + |
| + /* xor all parallel chunks together. */ |
| + v0 = vec_xor(v0, v1); |
| + v2 = vec_xor(v2, v3); |
| + v4 = vec_xor(v4, v5); |
| + v6 = vec_xor(v6, v7); |
| + |
| + v0 = vec_xor(v0, v2); |
| + v4 = vec_xor(v4, v6); |
| + |
| + v0 = vec_xor(v0, v4); |
| + } |
| + |
| + /* Barrett Reduction */ |
| + vconst1 = vec_ld(0, v_Barrett_const); |
| + vconst2 = vec_ld(16, v_Barrett_const); |
| + |
| + v1 = (__vector unsigned long long)vec_sld((__vector unsigned char)v0, |
| + (__vector unsigned char)v0, 8); |
| + v0 = vec_xor(v1, v0); |
| + |
| +#ifdef REFLECT |
| + /* shift left one bit */ |
| + __vector unsigned char vsht_splat = vec_splat_u8(1); |
| + v0 = (__vector unsigned long long)vec_sll((__vector unsigned char)v0, |
| + vsht_splat); |
| +#endif |
| + |
| + v0 = vec_and(v0, vmask_64bit); |
| + |
| +#ifndef REFLECT |
| + |
| + /* |
| + * Now for the actual algorithm. The idea is to calculate q, |
| + * the multiple of our polynomial that we need to subtract. By |
| + * doing the computation 2x bits higher (ie 64 bits) and shifting the |
| + * result back down 2x bits, we round down to the nearest multiple. |
| + */ |
| + |
| + /* ma */ |
| + v1 = __builtin_crypto_vpmsumd((__vector unsigned long long)v0, |
| + (__vector unsigned long long)vconst1); |
| + /* q = floor(ma/(2^64)) */ |
| + v1 = (__vector unsigned long long)vec_sld((__vector unsigned char)vzero, |
| + (__vector unsigned char)v1, 8); |
| + /* qn */ |
| + v1 = __builtin_crypto_vpmsumd((__vector unsigned long long)v1, |
| + (__vector unsigned long long)vconst2); |
| + /* a - qn, subtraction is xor in GF(2) */ |
| + v0 = vec_xor(v0, v1); |
| + /* |
| + * Get the result into r3. We need to shift it left 8 bytes: |
| + * V0 [ 0 1 2 X ] |
| + * V0 [ 0 X 2 3 ] |
| + */ |
| + result = __builtin_unpack_vector_1(v0); |
| +#else |
| + |
| + /* |
| + * The reflected version of Barrett reduction. Instead of bit |
| + * reflecting our data (which is expensive to do), we bit reflect our |
| + * constants and our algorithm, which means the intermediate data in |
| + * our vector registers goes from 0-63 instead of 63-0. We can reflect |
| + * the algorithm because we don't carry in mod 2 arithmetic. |
| + */ |
| + |
| + /* bottom 32 bits of a */ |
| + v1 = vec_and(v0, vmask_32bit); |
| + |
| + /* ma */ |
| + v1 = __builtin_crypto_vpmsumd((__vector unsigned long long)v1, |
| + (__vector unsigned long long)vconst1); |
| + |
| + /* bottom 32bits of ma */ |
| + v1 = vec_and(v1, vmask_32bit); |
| + /* qn */ |
| + v1 = __builtin_crypto_vpmsumd((__vector unsigned long long)v1, |
| + (__vector unsigned long long)vconst2); |
| + /* a - qn, subtraction is xor in GF(2) */ |
| + v0 = vec_xor(v0, v1); |
| + |
| + /* |
| + * Since we are bit reflected, the result (ie the low 32 bits) is in |
| + * the high 32 bits. We just need to shift it left 4 bytes |
| + * V0 [ 0 1 X 3 ] |
| + * V0 [ 0 X 2 3 ] |
| + */ |
| + |
| + /* shift result into top 64 bits of */ |
| + v0 = (__vector unsigned long long)vec_sld((__vector unsigned char)v0, |
| + (__vector unsigned char)vzero, 4); |
| + |
| + result = __builtin_unpack_vector_0(v0); |
| +#endif |
| + |
| + return result; |
| +} |
| diff --git a/util/crc32c_ppc.h b/util/crc32c_ppc.h |
| deleted file mode 100644 |
| index c359061c61..0000000000 |
| --- a/util/crc32c_ppc.h |
| +++ /dev/null |
| @@ -1,19 +0,0 @@ |
| -// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. |
| -// Copyright (c) 2017 International Business Machines Corp. |
| -// All rights reserved. |
| -// This source code is licensed under both the GPLv2 (found in the |
| -// COPYING file in the root directory) and Apache 2.0 License |
| -// (found in the LICENSE.Apache file in the root directory). |
| - |
| -#pragma once |
| - |
| -#ifdef __cplusplus |
| -extern "C" { |
| -#endif |
| - |
| -extern uint32_t crc32c_ppc(uint32_t crc, unsigned char const *buffer, |
| - unsigned len); |
| - |
| -#ifdef __cplusplus |
| -} |
| -#endif |
| diff --git a/util/crc32c_ppc_asm.S b/util/crc32c_ppc_asm.S |
| deleted file mode 100644 |
| index a317bf96b8..0000000000 |
| --- a/util/crc32c_ppc_asm.S |
| +++ /dev/null |
| @@ -1,752 +0,0 @@ |
| -// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. |
| -// Copyright (c) 2015 Anton Blanchard <anton@au.ibm.com>, IBM |
| -// Copyright (c) 2017 International Business Machines Corp. |
| -// All rights reserved. |
| -// This source code is licensed under both the GPLv2 (found in the |
| -// COPYING file in the root directory) and Apache 2.0 License |
| -// (found in the LICENSE.Apache file in the root directory). |
| - |
| -#include <ppc-asm.h> |
| -#include "ppc-opcode.h" |
| - |
| -#undef toc |
| - |
| -#ifndef r1 |
| -#define r1 1 |
| -#endif |
| - |
| -#ifndef r2 |
| -#define r2 2 |
| -#endif |
| - |
| - .section .rodata |
| -.balign 16 |
| - |
| -.byteswap_constant: |
| - /* byte reverse permute constant */ |
| - .octa 0x0F0E0D0C0B0A09080706050403020100 |
| - |
| -#define __ASSEMBLY__ |
| -#include "crc32c_ppc_constants.h" |
| - |
| - .text |
| - |
| -#if defined(__BIG_ENDIAN__) && defined(REFLECT) |
| -#define BYTESWAP_DATA |
| -#elif defined(__LITTLE_ENDIAN__) && !defined(REFLECT) |
| -#define BYTESWAP_DATA |
| -#else |
| -#undef BYTESWAP_DATA |
| -#endif |
| - |
| -#define off16 r25 |
| -#define off32 r26 |
| -#define off48 r27 |
| -#define off64 r28 |
| -#define off80 r29 |
| -#define off96 r30 |
| -#define off112 r31 |
| - |
| -#define const1 v24 |
| -#define const2 v25 |
| - |
| -#define byteswap v26 |
| -#define mask_32bit v27 |
| -#define mask_64bit v28 |
| -#define zeroes v29 |
| - |
| -#ifdef BYTESWAP_DATA |
| -#define VPERM(A, B, C, D) vperm A, B, C, D |
| -#else |
| -#define VPERM(A, B, C, D) |
| -#endif |
| - |
| -/* unsigned int __crc32_vpmsum(unsigned int crc, void *p, unsigned long len) */ |
| -FUNC_START(__crc32_vpmsum) |
| - std r31,-8(r1) |
| - std r30,-16(r1) |
| - std r29,-24(r1) |
| - std r28,-32(r1) |
| - std r27,-40(r1) |
| - std r26,-48(r1) |
| - std r25,-56(r1) |
| - |
| - li off16,16 |
| - li off32,32 |
| - li off48,48 |
| - li off64,64 |
| - li off80,80 |
| - li off96,96 |
| - li off112,112 |
| - li r0,0 |
| - |
| - /* Enough room for saving 10 non volatile VMX registers */ |
| - subi r6,r1,56+10*16 |
| - subi r7,r1,56+2*16 |
| - |
| - stvx v20,0,r6 |
| - stvx v21,off16,r6 |
| - stvx v22,off32,r6 |
| - stvx v23,off48,r6 |
| - stvx v24,off64,r6 |
| - stvx v25,off80,r6 |
| - stvx v26,off96,r6 |
| - stvx v27,off112,r6 |
| - stvx v28,0,r7 |
| - stvx v29,off16,r7 |
| - |
| - mr r10,r3 |
| - |
| - vxor zeroes,zeroes,zeroes |
| - vspltisw v0,-1 |
| - |
| - vsldoi mask_32bit,zeroes,v0,4 |
| - vsldoi mask_64bit,zeroes,v0,8 |
| - |
| - /* Get the initial value into v8 */ |
| - vxor v8,v8,v8 |
| - MTVRD(v8, r3) |
| -#ifdef REFLECT |
| - vsldoi v8,zeroes,v8,8 /* shift into bottom 32 bits */ |
| -#else |
| - vsldoi v8,v8,zeroes,4 /* shift into top 32 bits */ |
| -#endif |
| - |
| -#ifdef BYTESWAP_DATA |
| - addis r3,r2,.byteswap_constant@toc@ha |
| - addi r3,r3,.byteswap_constant@toc@l |
| - |
| - lvx byteswap,0,r3 |
| - addi r3,r3,16 |
| -#endif |
| - |
| - cmpdi r5,256 |
| - blt .Lshort |
| - |
| - rldicr r6,r5,0,56 |
| - |
| - /* Checksum in blocks of MAX_SIZE */ |
| -1: lis r7,MAX_SIZE@h |
| - ori r7,r7,MAX_SIZE@l |
| - mr r9,r7 |
| - cmpd r6,r7 |
| - bgt 2f |
| - mr r7,r6 |
| -2: subf r6,r7,r6 |
| - |
| - /* our main loop does 128 bytes at a time */ |
| - srdi r7,r7,7 |
| - |
| - /* |
| - * Work out the offset into the constants table to start at. Each |
| - * constant is 16 bytes, and it is used against 128 bytes of input |
| - * data - 128 / 16 = 8 |
| - */ |
| - sldi r8,r7,4 |
| - srdi r9,r9,3 |
| - subf r8,r8,r9 |
| - |
| - /* We reduce our final 128 bytes in a separate step */ |
| - addi r7,r7,-1 |
| - mtctr r7 |
| - |
| - addis r3,r2,.constants@toc@ha |
| - addi r3,r3,.constants@toc@l |
| - |
| - /* Find the start of our constants */ |
| - add r3,r3,r8 |
| - |
| - /* zero v0-v7 which will contain our checksums */ |
| - vxor v0,v0,v0 |
| - vxor v1,v1,v1 |
| - vxor v2,v2,v2 |
| - vxor v3,v3,v3 |
| - vxor v4,v4,v4 |
| - vxor v5,v5,v5 |
| - vxor v6,v6,v6 |
| - vxor v7,v7,v7 |
| - |
| - lvx const1,0,r3 |
| - |
| - /* |
| - * If we are looping back to consume more data we use the values |
| - * already in v16-v23. |
| - */ |
| - cmpdi r0,1 |
| - beq 2f |
| - |
| - /* First warm up pass */ |
| - lvx v16,0,r4 |
| - lvx v17,off16,r4 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPERM(v17,v17,v17,byteswap) |
| - lvx v18,off32,r4 |
| - lvx v19,off48,r4 |
| - VPERM(v18,v18,v18,byteswap) |
| - VPERM(v19,v19,v19,byteswap) |
| - lvx v20,off64,r4 |
| - lvx v21,off80,r4 |
| - VPERM(v20,v20,v20,byteswap) |
| - VPERM(v21,v21,v21,byteswap) |
| - lvx v22,off96,r4 |
| - lvx v23,off112,r4 |
| - VPERM(v22,v22,v22,byteswap) |
| - VPERM(v23,v23,v23,byteswap) |
| - addi r4,r4,8*16 |
| - |
| - /* xor in initial value */ |
| - vxor v16,v16,v8 |
| - |
| -2: bdz .Lfirst_warm_up_done |
| - |
| - addi r3,r3,16 |
| - lvx const2,0,r3 |
| - |
| - /* Second warm up pass */ |
| - VPMSUMD(v8,v16,const1) |
| - lvx v16,0,r4 |
| - VPERM(v16,v16,v16,byteswap) |
| - ori r2,r2,0 |
| - |
| - VPMSUMD(v9,v17,const1) |
| - lvx v17,off16,r4 |
| - VPERM(v17,v17,v17,byteswap) |
| - ori r2,r2,0 |
| - |
| - VPMSUMD(v10,v18,const1) |
| - lvx v18,off32,r4 |
| - VPERM(v18,v18,v18,byteswap) |
| - ori r2,r2,0 |
| - |
| - VPMSUMD(v11,v19,const1) |
| - lvx v19,off48,r4 |
| - VPERM(v19,v19,v19,byteswap) |
| - ori r2,r2,0 |
| - |
| - VPMSUMD(v12,v20,const1) |
| - lvx v20,off64,r4 |
| - VPERM(v20,v20,v20,byteswap) |
| - ori r2,r2,0 |
| - |
| - VPMSUMD(v13,v21,const1) |
| - lvx v21,off80,r4 |
| - VPERM(v21,v21,v21,byteswap) |
| - ori r2,r2,0 |
| - |
| - VPMSUMD(v14,v22,const1) |
| - lvx v22,off96,r4 |
| - VPERM(v22,v22,v22,byteswap) |
| - ori r2,r2,0 |
| - |
| - VPMSUMD(v15,v23,const1) |
| - lvx v23,off112,r4 |
| - VPERM(v23,v23,v23,byteswap) |
| - |
| - addi r4,r4,8*16 |
| - |
| - bdz .Lfirst_cool_down |
| - |
| - /* |
| - * main loop. We modulo schedule it such that it takes three iterations |
| - * to complete - first iteration load, second iteration vpmsum, third |
| - * iteration xor. |
| - */ |
| - .balign 16 |
| -4: lvx const1,0,r3 |
| - addi r3,r3,16 |
| - ori r2,r2,0 |
| - |
| - vxor v0,v0,v8 |
| - VPMSUMD(v8,v16,const2) |
| - lvx v16,0,r4 |
| - VPERM(v16,v16,v16,byteswap) |
| - ori r2,r2,0 |
| - |
| - vxor v1,v1,v9 |
| - VPMSUMD(v9,v17,const2) |
| - lvx v17,off16,r4 |
| - VPERM(v17,v17,v17,byteswap) |
| - ori r2,r2,0 |
| - |
| - vxor v2,v2,v10 |
| - VPMSUMD(v10,v18,const2) |
| - lvx v18,off32,r4 |
| - VPERM(v18,v18,v18,byteswap) |
| - ori r2,r2,0 |
| - |
| - vxor v3,v3,v11 |
| - VPMSUMD(v11,v19,const2) |
| - lvx v19,off48,r4 |
| - VPERM(v19,v19,v19,byteswap) |
| - lvx const2,0,r3 |
| - ori r2,r2,0 |
| - |
| - vxor v4,v4,v12 |
| - VPMSUMD(v12,v20,const1) |
| - lvx v20,off64,r4 |
| - VPERM(v20,v20,v20,byteswap) |
| - ori r2,r2,0 |
| - |
| - vxor v5,v5,v13 |
| - VPMSUMD(v13,v21,const1) |
| - lvx v21,off80,r4 |
| - VPERM(v21,v21,v21,byteswap) |
| - ori r2,r2,0 |
| - |
| - vxor v6,v6,v14 |
| - VPMSUMD(v14,v22,const1) |
| - lvx v22,off96,r4 |
| - VPERM(v22,v22,v22,byteswap) |
| - ori r2,r2,0 |
| - |
| - vxor v7,v7,v15 |
| - VPMSUMD(v15,v23,const1) |
| - lvx v23,off112,r4 |
| - VPERM(v23,v23,v23,byteswap) |
| - |
| - addi r4,r4,8*16 |
| - |
| - bdnz 4b |
| - |
| -.Lfirst_cool_down: |
| - /* First cool down pass */ |
| - lvx const1,0,r3 |
| - addi r3,r3,16 |
| - |
| - vxor v0,v0,v8 |
| - VPMSUMD(v8,v16,const1) |
| - ori r2,r2,0 |
| - |
| - vxor v1,v1,v9 |
| - VPMSUMD(v9,v17,const1) |
| - ori r2,r2,0 |
| - |
| - vxor v2,v2,v10 |
| - VPMSUMD(v10,v18,const1) |
| - ori r2,r2,0 |
| - |
| - vxor v3,v3,v11 |
| - VPMSUMD(v11,v19,const1) |
| - ori r2,r2,0 |
| - |
| - vxor v4,v4,v12 |
| - VPMSUMD(v12,v20,const1) |
| - ori r2,r2,0 |
| - |
| - vxor v5,v5,v13 |
| - VPMSUMD(v13,v21,const1) |
| - ori r2,r2,0 |
| - |
| - vxor v6,v6,v14 |
| - VPMSUMD(v14,v22,const1) |
| - ori r2,r2,0 |
| - |
| - vxor v7,v7,v15 |
| - VPMSUMD(v15,v23,const1) |
| - ori r2,r2,0 |
| - |
| -.Lsecond_cool_down: |
| - /* Second cool down pass */ |
| - vxor v0,v0,v8 |
| - vxor v1,v1,v9 |
| - vxor v2,v2,v10 |
| - vxor v3,v3,v11 |
| - vxor v4,v4,v12 |
| - vxor v5,v5,v13 |
| - vxor v6,v6,v14 |
| - vxor v7,v7,v15 |
| - |
| -#ifdef REFLECT |
| - /* |
| - * vpmsumd produces a 96 bit result in the least significant bits |
| - * of the register. Since we are bit reflected we have to shift it |
| - * left 32 bits so it occupies the least significant bits in the |
| - * bit reflected domain. |
| - */ |
| - vsldoi v0,v0,zeroes,4 |
| - vsldoi v1,v1,zeroes,4 |
| - vsldoi v2,v2,zeroes,4 |
| - vsldoi v3,v3,zeroes,4 |
| - vsldoi v4,v4,zeroes,4 |
| - vsldoi v5,v5,zeroes,4 |
| - vsldoi v6,v6,zeroes,4 |
| - vsldoi v7,v7,zeroes,4 |
| -#endif |
| - |
| - /* xor with last 1024 bits */ |
| - lvx v8,0,r4 |
| - lvx v9,off16,r4 |
| - VPERM(v8,v8,v8,byteswap) |
| - VPERM(v9,v9,v9,byteswap) |
| - lvx v10,off32,r4 |
| - lvx v11,off48,r4 |
| - VPERM(v10,v10,v10,byteswap) |
| - VPERM(v11,v11,v11,byteswap) |
| - lvx v12,off64,r4 |
| - lvx v13,off80,r4 |
| - VPERM(v12,v12,v12,byteswap) |
| - VPERM(v13,v13,v13,byteswap) |
| - lvx v14,off96,r4 |
| - lvx v15,off112,r4 |
| - VPERM(v14,v14,v14,byteswap) |
| - VPERM(v15,v15,v15,byteswap) |
| - |
| - addi r4,r4,8*16 |
| - |
| - vxor v16,v0,v8 |
| - vxor v17,v1,v9 |
| - vxor v18,v2,v10 |
| - vxor v19,v3,v11 |
| - vxor v20,v4,v12 |
| - vxor v21,v5,v13 |
| - vxor v22,v6,v14 |
| - vxor v23,v7,v15 |
| - |
| - li r0,1 |
| - cmpdi r6,0 |
| - addi r6,r6,128 |
| - bne 1b |
| - |
| - /* Work out how many bytes we have left */ |
| - andi. r5,r5,127 |
| - |
| - /* Calculate where in the constant table we need to start */ |
| - subfic r6,r5,128 |
| - add r3,r3,r6 |
| - |
| - /* How many 16 byte chunks are in the tail */ |
| - srdi r7,r5,4 |
| - mtctr r7 |
| - |
| - /* |
| - * Reduce the previously calculated 1024 bits to 64 bits, shifting |
| - * 32 bits to include the trailing 32 bits of zeros |
| - */ |
| - lvx v0,0,r3 |
| - lvx v1,off16,r3 |
| - lvx v2,off32,r3 |
| - lvx v3,off48,r3 |
| - lvx v4,off64,r3 |
| - lvx v5,off80,r3 |
| - lvx v6,off96,r3 |
| - lvx v7,off112,r3 |
| - addi r3,r3,8*16 |
| - |
| - VPMSUMW(v0,v16,v0) |
| - VPMSUMW(v1,v17,v1) |
| - VPMSUMW(v2,v18,v2) |
| - VPMSUMW(v3,v19,v3) |
| - VPMSUMW(v4,v20,v4) |
| - VPMSUMW(v5,v21,v5) |
| - VPMSUMW(v6,v22,v6) |
| - VPMSUMW(v7,v23,v7) |
| - |
| - /* Now reduce the tail (0 - 112 bytes) */ |
| - cmpdi r7,0 |
| - beq 1f |
| - |
| - lvx v16,0,r4 |
| - lvx v17,0,r3 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPMSUMW(v16,v16,v17) |
| - vxor v0,v0,v16 |
| - bdz 1f |
| - |
| - lvx v16,off16,r4 |
| - lvx v17,off16,r3 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPMSUMW(v16,v16,v17) |
| - vxor v0,v0,v16 |
| - bdz 1f |
| - |
| - lvx v16,off32,r4 |
| - lvx v17,off32,r3 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPMSUMW(v16,v16,v17) |
| - vxor v0,v0,v16 |
| - bdz 1f |
| - |
| - lvx v16,off48,r4 |
| - lvx v17,off48,r3 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPMSUMW(v16,v16,v17) |
| - vxor v0,v0,v16 |
| - bdz 1f |
| - |
| - lvx v16,off64,r4 |
| - lvx v17,off64,r3 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPMSUMW(v16,v16,v17) |
| - vxor v0,v0,v16 |
| - bdz 1f |
| - |
| - lvx v16,off80,r4 |
| - lvx v17,off80,r3 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPMSUMW(v16,v16,v17) |
| - vxor v0,v0,v16 |
| - bdz 1f |
| - |
| - lvx v16,off96,r4 |
| - lvx v17,off96,r3 |
| - VPERM(v16,v16,v16,byteswap) |
| - VPMSUMW(v16,v16,v17) |
| - vxor v0,v0,v16 |
| - |
| - /* Now xor all the parallel chunks together */ |
| -1: vxor v0,v0,v1 |
| - vxor v2,v2,v3 |
| - vxor v4,v4,v5 |
| - vxor v6,v6,v7 |
| - |
| - vxor v0,v0,v2 |
| - vxor v4,v4,v6 |
| - |
| - vxor v0,v0,v4 |
| - |
| -.Lbarrett_reduction: |
| - /* Barrett constants */ |
| - addis r3,r2,.barrett_constants@toc@ha |
| - addi r3,r3,.barrett_constants@toc@l |
| - |
| - lvx const1,0,r3 |
| - lvx const2,off16,r3 |
| - |
| - vsldoi v1,v0,v0,8 |
| - vxor v0,v0,v1 /* xor two 64 bit results together */ |
| - |
| -#ifdef REFLECT |
| - /* shift left one bit */ |
| - vspltisb v1,1 |
| - vsl v0,v0,v1 |
| -#endif |
| - |
| - vand v0,v0,mask_64bit |
| - |
| -#ifndef REFLECT |
| - /* |
| - * Now for the Barrett reduction algorithm. The idea is to calculate q, |
| - * the multiple of our polynomial that we need to subtract. By |
| - * doing the computation 2x bits higher (ie 64 bits) and shifting the |
| - * result back down 2x bits, we round down to the nearest multiple. |
| - */ |
| - VPMSUMD(v1,v0,const1) /* ma */ |
| - vsldoi v1,zeroes,v1,8 /* q = floor(ma/(2^64)) */ |
| - VPMSUMD(v1,v1,const2) /* qn */ |
| - vxor v0,v0,v1 /* a - qn, subtraction is xor in GF(2) */ |
| - |
| - /* |
| - * Get the result into r3. We need to shift it left 8 bytes: |
| - * V0 [ 0 1 2 X ] |
| - * V0 [ 0 X 2 3 ] |
| - */ |
| - vsldoi v0,v0,zeroes,8 /* shift result into top 64 bits */ |
| -#else |
| - /* |
| - * The reflected version of Barrett reduction. Instead of bit |
| - * reflecting our data (which is expensive to do), we bit reflect our |
| - * constants and our algorithm, which means the intermediate data in |
| - * our vector registers goes from 0-63 instead of 63-0. We can reflect |
| - * the algorithm because we don't carry in mod 2 arithmetic. |
| - */ |
| - vand v1,v0,mask_32bit /* bottom 32 bits of a */ |
| - VPMSUMD(v1,v1,const1) /* ma */ |
| - vand v1,v1,mask_32bit /* bottom 32bits of ma */ |
| - VPMSUMD(v1,v1,const2) /* qn */ |
| - vxor v0,v0,v1 /* a - qn, subtraction is xor in GF(2) */ |
| - |
| - /* |
| - * Since we are bit reflected, the result (ie the low 32 bits) is in |
| - * the high 32 bits. We just need to shift it left 4 bytes |
| - * V0 [ 0 1 X 3 ] |
| - * V0 [ 0 X 2 3 ] |
| - */ |
| - vsldoi v0,v0,zeroes,4 /* shift result into top 64 bits of */ |
| -#endif |
| - |
| - /* Get it into r3 */ |
| - MFVRD(r3, v0) |
| - |
| -.Lout: |
| - subi r6,r1,56+10*16 |
| - subi r7,r1,56+2*16 |
| - |
| - lvx v20,0,r6 |
| - lvx v21,off16,r6 |
| - lvx v22,off32,r6 |
| - lvx v23,off48,r6 |
| - lvx v24,off64,r6 |
| - lvx v25,off80,r6 |
| - lvx v26,off96,r6 |
| - lvx v27,off112,r6 |
| - lvx v28,0,r7 |
| - lvx v29,off16,r7 |
| - |
| - ld r31,-8(r1) |
| - ld r30,-16(r1) |
| - ld r29,-24(r1) |
| - ld r28,-32(r1) |
| - ld r27,-40(r1) |
| - ld r26,-48(r1) |
| - ld r25,-56(r1) |
| - |
| - blr |
| - |
| -.Lfirst_warm_up_done: |
| - lvx const1,0,r3 |
| - addi r3,r3,16 |
| - |
| - VPMSUMD(v8,v16,const1) |
| - VPMSUMD(v9,v17,const1) |
| - VPMSUMD(v10,v18,const1) |
| - VPMSUMD(v11,v19,const1) |
| - VPMSUMD(v12,v20,const1) |
| - VPMSUMD(v13,v21,const1) |
| - VPMSUMD(v14,v22,const1) |
| - VPMSUMD(v15,v23,const1) |
| - |
| - b .Lsecond_cool_down |
| - |
| -.Lshort: |
| - cmpdi r5,0 |
| - beq .Lzero |
| - |
| - addis r3,r2,.short_constants@toc@ha |
| - addi r3,r3,.short_constants@toc@l |
| - |
| - /* Calculate where in the constant table we need to start */ |
| - subfic r6,r5,256 |
| - add r3,r3,r6 |
| - |
| - /* How many 16 byte chunks? */ |
| - srdi r7,r5,4 |
| - mtctr r7 |
| - |
| - vxor v19,v19,v19 |
| - vxor v20,v20,v20 |
| - |
| - lvx v0,0,r4 |
| - lvx v16,0,r3 |
| - VPERM(v0,v0,v16,byteswap) |
| - vxor v0,v0,v8 /* xor in initial value */ |
| - VPMSUMW(v0,v0,v16) |
| - bdz .Lv0 |
| - |
| - lvx v1,off16,r4 |
| - lvx v17,off16,r3 |
| - VPERM(v1,v1,v17,byteswap) |
| - VPMSUMW(v1,v1,v17) |
| - bdz .Lv1 |
| - |
| - lvx v2,off32,r4 |
| - lvx v16,off32,r3 |
| - VPERM(v2,v2,v16,byteswap) |
| - VPMSUMW(v2,v2,v16) |
| - bdz .Lv2 |
| - |
| - lvx v3,off48,r4 |
| - lvx v17,off48,r3 |
| - VPERM(v3,v3,v17,byteswap) |
| - VPMSUMW(v3,v3,v17) |
| - bdz .Lv3 |
| - |
| - lvx v4,off64,r4 |
| - lvx v16,off64,r3 |
| - VPERM(v4,v4,v16,byteswap) |
| - VPMSUMW(v4,v4,v16) |
| - bdz .Lv4 |
| - |
| - lvx v5,off80,r4 |
| - lvx v17,off80,r3 |
| - VPERM(v5,v5,v17,byteswap) |
| - VPMSUMW(v5,v5,v17) |
| - bdz .Lv5 |
| - |
| - lvx v6,off96,r4 |
| - lvx v16,off96,r3 |
| - VPERM(v6,v6,v16,byteswap) |
| - VPMSUMW(v6,v6,v16) |
| - bdz .Lv6 |
| - |
| - lvx v7,off112,r4 |
| - lvx v17,off112,r3 |
| - VPERM(v7,v7,v17,byteswap) |
| - VPMSUMW(v7,v7,v17) |
| - bdz .Lv7 |
| - |
| - addi r3,r3,128 |
| - addi r4,r4,128 |
| - |
| - lvx v8,0,r4 |
| - lvx v16,0,r3 |
| - VPERM(v8,v8,v16,byteswap) |
| - VPMSUMW(v8,v8,v16) |
| - bdz .Lv8 |
| - |
| - lvx v9,off16,r4 |
| - lvx v17,off16,r3 |
| - VPERM(v9,v9,v17,byteswap) |
| - VPMSUMW(v9,v9,v17) |
| - bdz .Lv9 |
| - |
| - lvx v10,off32,r4 |
| - lvx v16,off32,r3 |
| - VPERM(v10,v10,v16,byteswap) |
| - VPMSUMW(v10,v10,v16) |
| - bdz .Lv10 |
| - |
| - lvx v11,off48,r4 |
| - lvx v17,off48,r3 |
| - VPERM(v11,v11,v17,byteswap) |
| - VPMSUMW(v11,v11,v17) |
| - bdz .Lv11 |
| - |
| - lvx v12,off64,r4 |
| - lvx v16,off64,r3 |
| - VPERM(v12,v12,v16,byteswap) |
| - VPMSUMW(v12,v12,v16) |
| - bdz .Lv12 |
| - |
| - lvx v13,off80,r4 |
| - lvx v17,off80,r3 |
| - VPERM(v13,v13,v17,byteswap) |
| - VPMSUMW(v13,v13,v17) |
| - bdz .Lv13 |
| - |
| - lvx v14,off96,r4 |
| - lvx v16,off96,r3 |
| - VPERM(v14,v14,v16,byteswap) |
| - VPMSUMW(v14,v14,v16) |
| - bdz .Lv14 |
| - |
| - lvx v15,off112,r4 |
| - lvx v17,off112,r3 |
| - VPERM(v15,v15,v17,byteswap) |
| - VPMSUMW(v15,v15,v17) |
| - |
| -.Lv15: vxor v19,v19,v15 |
| -.Lv14: vxor v20,v20,v14 |
| -.Lv13: vxor v19,v19,v13 |
| -.Lv12: vxor v20,v20,v12 |
| -.Lv11: vxor v19,v19,v11 |
| -.Lv10: vxor v20,v20,v10 |
| -.Lv9: vxor v19,v19,v9 |
| -.Lv8: vxor v20,v20,v8 |
| -.Lv7: vxor v19,v19,v7 |
| -.Lv6: vxor v20,v20,v6 |
| -.Lv5: vxor v19,v19,v5 |
| -.Lv4: vxor v20,v20,v4 |
| -.Lv3: vxor v19,v19,v3 |
| -.Lv2: vxor v20,v20,v2 |
| -.Lv1: vxor v19,v19,v1 |
| -.Lv0: vxor v20,v20,v0 |
| - |
| - vxor v0,v19,v20 |
| - |
| - b .Lbarrett_reduction |
| - |
| -.Lzero: |
| - mr r3,r10 |
| - b .Lout |
| - |
| -FUNC_END(__crc32_vpmsum) |
| diff --git a/util/crc32c_ppc_clang_workaround.h b/util/crc32c_ppc_clang_workaround.h |
| new file mode 100644 |
| index 0000000000..110cb31782 |
| --- /dev/null |
| +++ b/util/crc32c_ppc_clang_workaround.h |
| @@ -0,0 +1,85 @@ |
| +// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. |
| +// Copyright (C) 2015, 2017 International Business Machines Corp. |
| +// All rights reserved. |
| +// This source code is licensed under both the GPLv2 (found in the |
| +// COPYING file in the root directory) and Apache 2.0 License |
| +// (found in the LICENSE.Apache file in the root directory). |
| +#ifndef CLANG_WORKAROUND_H |
| +#define CLANG_WORKAROUND_H |
| + |
| +/* |
| + * These stubs fix clang incompatibilities with GCC builtins. |
| + */ |
| + |
| +#ifndef __builtin_crypto_vpmsumw |
| +#define __builtin_crypto_vpmsumw __builtin_crypto_vpmsumb |
| +#endif |
| +#ifndef __builtin_crypto_vpmsumd |
| +#define __builtin_crypto_vpmsumd __builtin_crypto_vpmsumb |
| +#endif |
| + |
| +static inline __vector unsigned long long __attribute__((overloadable)) |
| +vec_ld(int __a, const __vector unsigned long long* __b) { |
| + return (__vector unsigned long long)__builtin_altivec_lvx(__a, __b); |
| +} |
| + |
| +/* |
| + * GCC __builtin_pack_vector_int128 returns a vector __int128_t but Clang |
| + * does not recognize this type. On GCC this builtin is translated to a |
| + * xxpermdi instruction that only moves the registers __a, __b instead generates |
| + * a load. |
| + * |
| + * Clang has vec_xxpermdi intrinsics. It was implemented in 4.0.0. |
| + */ |
| +static inline __vector unsigned long long __builtin_pack_vector( |
| + unsigned long __a, unsigned long __b) { |
| +#if defined(__BIG_ENDIAN__) |
| + __vector unsigned long long __v = {__a, __b}; |
| +#else |
| + __vector unsigned long long __v = {__b, __a}; |
| +#endif |
| + return __v; |
| +} |
| + |
| +/* |
| + * Clang 7 changed the behavior of vec_xxpermdi in order to provide the same |
| + * behavior of GCC. That means code adapted to Clang >= 7 does not work on |
| + * Clang <= 6. So, fallback to __builtin_unpack_vector() on Clang <= 6. |
| + */ |
| +#if !defined vec_xxpermdi || __clang_major__ <= 6 |
| + |
| +static inline unsigned long __builtin_unpack_vector( |
| + __vector unsigned long long __v, int __o) { |
| + return __v[__o]; |
| +} |
| + |
| +#if defined(__BIG_ENDIAN__) |
| +#define __builtin_unpack_vector_0(a) __builtin_unpack_vector((a), 0) |
| +#define __builtin_unpack_vector_1(a) __builtin_unpack_vector((a), 1) |
| +#else |
| +#define __builtin_unpack_vector_0(a) __builtin_unpack_vector((a), 1) |
| +#define __builtin_unpack_vector_1(a) __builtin_unpack_vector((a), 0) |
| +#endif |
| + |
| +#else |
| + |
| +static inline unsigned long __builtin_unpack_vector_0( |
| + __vector unsigned long long __v) { |
| +#if defined(__BIG_ENDIAN__) |
| + return vec_xxpermdi(__v, __v, 0x0)[0]; |
| +#else |
| + return vec_xxpermdi(__v, __v, 0x3)[0]; |
| +#endif |
| +} |
| + |
| +static inline unsigned long __builtin_unpack_vector_1( |
| + __vector unsigned long long __v) { |
| +#if defined(__BIG_ENDIAN__) |
| + return vec_xxpermdi(__v, __v, 0x3)[0]; |
| +#else |
| + return vec_xxpermdi(__v, __v, 0x0)[0]; |
| +#endif |
| +} |
| +#endif /* vec_xxpermdi */ |
| + |
| +#endif |
| diff --git a/util/crc32c_ppc_constants.h b/util/crc32c_ppc_constants.h |
| index f6494cd01c..14df7ccda5 100644 |
| --- a/util/crc32c_ppc_constants.h |
| +++ b/util/crc32c_ppc_constants.h |
| @@ -5,13 +5,21 @@ |
| // COPYING file in the root directory) and Apache 2.0 License |
| // (found in the LICENSE.Apache file in the root directory). |
| |
| -#pragma once |
| +/* |
| +* |
| +* THIS FILE IS GENERATED WITH |
| +./crc32_constants -r -x 0x1edc6f41 |
| + |
| +* This is from https://github.com/antonblanchard/crc32-vpmsum/ |
| +* DO NOT MODIFY IT MANUALLY! |
| +* |
| +*/ |
| |
| #define CRC 0x1edc6f41 |
| -#define REFLECT |
| #define CRC_XOR |
| +#define REFLECT |
| +#define MAX_SIZE 32768 |
| |
| -#ifndef __ASSEMBLY__ |
| #ifdef CRC_TABLE |
| static const unsigned int crc_table[] = { |
| 0x00000000, 0xf26b8303, 0xe13b70f7, 0x1350f3f4, 0xc79a971f, 0x35f1141c, |
| @@ -59,842 +67,1125 @@ static const unsigned int crc_table[] = { |
| 0xbe2da0a5, 0x4c4623a6, 0x5f16d052, 0xad7d5351, |
| }; |
| |
| -#endif |
| +#endif /* CRC_TABLE */ |
| +#ifdef POWER8_INTRINSICS |
| |
| -#else |
| -#define MAX_SIZE 32768 |
| -.constants : |
| +/* Constants */ |
| |
| - /* Reduce 262144 kbits to 1024 bits */ |
| +/* Reduce 262144 kbits to 1024 bits */ |
| +static const __vector unsigned long long vcrc_const[255] |
| + __attribute__((aligned(16))) = { |
| +#ifdef __LITTLE_ENDIAN__ |
| /* x^261120 mod p(x)` << 1, x^261184 mod p(x)` << 1 */ |
| - .octa 0x00000000b6ca9e20000000009c37c408 |
| - |
| + {0x000000009c37c408, 0x00000000b6ca9e20}, |
| /* x^260096 mod p(x)` << 1, x^260160 mod p(x)` << 1 */ |
| - .octa 0x00000000350249a800000001b51df26c |
| - |
| + {0x00000001b51df26c, 0x00000000350249a8}, |
| /* x^259072 mod p(x)` << 1, x^259136 mod p(x)` << 1 */ |
| - .octa 0x00000001862dac54000000000724b9d0 |
| - |
| + {0x000000000724b9d0, 0x00000001862dac54}, |
| /* x^258048 mod p(x)` << 1, x^258112 mod p(x)` << 1 */ |
| - .octa 0x00000001d87fb48c00000001c00532fe |
| - |
| + {0x00000001c00532fe, 0x00000001d87fb48c}, |
| /* x^257024 mod p(x)` << 1, x^257088 mod p(x)` << 1 */ |
| - .octa 0x00000001f39b699e00000000f05a9362 |
| - |
| + {0x00000000f05a9362, 0x00000001f39b699e}, |
| /* x^256000 mod p(x)` << 1, x^256064 mod p(x)` << 1 */ |
| - .octa 0x0000000101da11b400000001e1007970 |
| - |
| + {0x00000001e1007970, 0x0000000101da11b4}, |
| /* x^254976 mod p(x)` << 1, x^255040 mod p(x)` << 1 */ |
| - .octa 0x00000001cab571e000000000a57366ee |
| - |
| + {0x00000000a57366ee, 0x00000001cab571e0}, |
| /* x^253952 mod p(x)` << 1, x^254016 mod p(x)` << 1 */ |
| - .octa 0x00000000c7020cfe0000000192011284 |
| - |
| + {0x0000000192011284, 0x00000000c7020cfe}, |
| /* x^252928 mod p(x)` << 1, x^252992 mod p(x)` << 1 */ |
| - .octa 0x00000000cdaed1ae0000000162716d9a |
| - |
| + {0x0000000162716d9a, 0x00000000cdaed1ae}, |
| /* x^251904 mod p(x)` << 1, x^251968 mod p(x)` << 1 */ |
| - .octa 0x00000001e804effc00000000cd97ecde |
| - |
| + {0x00000000cd97ecde, 0x00000001e804effc}, |
| /* x^250880 mod p(x)` << 1, x^250944 mod p(x)` << 1 */ |
| - .octa 0x0000000077c3ea3a0000000058812bc0 |
| - |
| + {0x0000000058812bc0, 0x0000000077c3ea3a}, |
| /* x^249856 mod p(x)` << 1, x^249920 mod p(x)` << 1 */ |
| - .octa 0x0000000068df31b40000000088b8c12e |
| - |
| + {0x0000000088b8c12e, 0x0000000068df31b4}, |
| /* x^248832 mod p(x)` << 1, x^248896 mod p(x)` << 1 */ |
| - .octa 0x00000000b059b6c200000001230b234c |
| - |
| + {0x00000001230b234c, 0x00000000b059b6c2}, |
| /* x^247808 mod p(x)` << 1, x^247872 mod p(x)` << 1 */ |
| - .octa 0x0000000145fb8ed800000001120b416e |
| - |
| + {0x00000001120b416e, 0x0000000145fb8ed8}, |
| /* x^246784 mod p(x)` << 1, x^246848 mod p(x)` << 1 */ |
| - .octa 0x00000000cbc0916800000001974aecb0 |
| - |
| + {0x00000001974aecb0, 0x00000000cbc09168}, |
| /* x^245760 mod p(x)` << 1, x^245824 mod p(x)` << 1 */ |
| - .octa 0x000000005ceeedc2000000008ee3f226 |
| - |
| + {0x000000008ee3f226, 0x000000005ceeedc2}, |
| /* x^244736 mod p(x)` << 1, x^244800 mod p(x)` << 1 */ |
| - .octa 0x0000000047d74e8600000001089aba9a |
| - |
| + {0x00000001089aba9a, 0x0000000047d74e86}, |
| /* x^243712 mod p(x)` << 1, x^243776 mod p(x)` << 1 */ |
| - .octa 0x00000001407e9e220000000065113872 |
| - |
| + {0x0000000065113872, 0x00000001407e9e22}, |
| /* x^242688 mod p(x)` << 1, x^242752 mod p(x)` << 1 */ |
| - .octa 0x00000001da967bda000000005c07ec10 |
| - |
| + {0x000000005c07ec10, 0x00000001da967bda}, |
| /* x^241664 mod p(x)` << 1, x^241728 mod p(x)` << 1 */ |
| - .octa 0x000000006c8983680000000187590924 |
| - |
| + {0x0000000187590924, 0x000000006c898368}, |
| /* x^240640 mod p(x)` << 1, x^240704 mod p(x)` << 1 */ |
| - .octa 0x00000000f2d14c9800000000e35da7c6 |
| - |
| + {0x00000000e35da7c6, 0x00000000f2d14c98}, |
| /* x^239616 mod p(x)` << 1, x^239680 mod p(x)` << 1 */ |
| - .octa 0x00000001993c6ad4000000000415855a |
| - |
| + {0x000000000415855a, 0x00000001993c6ad4}, |
| /* x^238592 mod p(x)` << 1, x^238656 mod p(x)` << 1 */ |
| - .octa 0x000000014683d1ac0000000073617758 |
| - |
| + {0x0000000073617758, 0x000000014683d1ac}, |
| /* x^237568 mod p(x)` << 1, x^237632 mod p(x)` << 1 */ |
| - .octa 0x00000001a7c93e6c0000000176021d28 |
| - |
| + {0x0000000176021d28, 0x00000001a7c93e6c}, |
| /* x^236544 mod p(x)` << 1, x^236608 mod p(x)` << 1 */ |
| - .octa 0x000000010211e90a00000001c358fd0a |
| - |
| + {0x00000001c358fd0a, 0x000000010211e90a}, |
| /* x^235520 mod p(x)` << 1, x^235584 mod p(x)` << 1 */ |
| - .octa 0x000000001119403e00000001ff7a2c18 |
| - |
| + {0x00000001ff7a2c18, 0x000000001119403e}, |
| /* x^234496 mod p(x)` << 1, x^234560 mod p(x)` << 1 */ |
| - .octa 0x000000001c3261aa00000000f2d9f7e4 |
| - |
| + {0x00000000f2d9f7e4, 0x000000001c3261aa}, |
| /* x^233472 mod p(x)` << 1, x^233536 mod p(x)` << 1 */ |
| - .octa 0x000000014e37a634000000016cf1f9c8 |
| - |
| + {0x000000016cf1f9c8, 0x000000014e37a634}, |
| /* x^232448 mod p(x)` << 1, x^232512 mod p(x)` << 1 */ |
| - .octa 0x0000000073786c0c000000010af9279a |
| - |
| + {0x000000010af9279a, 0x0000000073786c0c}, |
| /* x^231424 mod p(x)` << 1, x^231488 mod p(x)` << 1 */ |
| - .octa 0x000000011dc037f80000000004f101e8 |
| - |
| + {0x0000000004f101e8, 0x000000011dc037f8}, |
| /* x^230400 mod p(x)` << 1, x^230464 mod p(x)` << 1 */ |
| - .octa 0x0000000031433dfc0000000070bcf184 |
| - |
| + {0x0000000070bcf184, 0x0000000031433dfc}, |
| /* x^229376 mod p(x)` << 1, x^229440 mod p(x)` << 1 */ |
| - .octa 0x000000009cde8348000000000a8de642 |
| - |
| + {0x000000000a8de642, 0x000000009cde8348}, |
| /* x^228352 mod p(x)` << 1, x^228416 mod p(x)` << 1 */ |
| - .octa 0x0000000038d3c2a60000000062ea130c |
| - |
| + {0x0000000062ea130c, 0x0000000038d3c2a6}, |
| /* x^227328 mod p(x)` << 1, x^227392 mod p(x)` << 1 */ |
| - .octa 0x000000011b25f26000000001eb31cbb2 |
| - |
| + {0x00000001eb31cbb2, 0x000000011b25f260}, |
| /* x^226304 mod p(x)` << 1, x^226368 mod p(x)` << 1 */ |
| - .octa 0x000000001629e6f00000000170783448 |
| - |
| + {0x0000000170783448, 0x000000001629e6f0}, |
| /* x^225280 mod p(x)` << 1, x^225344 mod p(x)` << 1 */ |
| - .octa 0x0000000160838b4c00000001a684b4c6 |
| - |
| + {0x00000001a684b4c6, 0x0000000160838b4c}, |
| /* x^224256 mod p(x)` << 1, x^224320 mod p(x)` << 1 */ |
| - .octa 0x000000007a44011c00000000253ca5b4 |
| - |
| + {0x00000000253ca5b4, 0x000000007a44011c}, |
| /* x^223232 mod p(x)` << 1, x^223296 mod p(x)` << 1 */ |
| - .octa 0x00000000226f417a0000000057b4b1e2 |
| - |
| + {0x0000000057b4b1e2, 0x00000000226f417a}, |
| /* x^222208 mod p(x)` << 1, x^222272 mod p(x)` << 1 */ |
| - .octa 0x0000000045eb2eb400000000b6bd084c |
| - |
| + {0x00000000b6bd084c, 0x0000000045eb2eb4}, |
| /* x^221184 mod p(x)` << 1, x^221248 mod p(x)` << 1 */ |
| - .octa 0x000000014459d70c0000000123c2d592 |
| - |
| + {0x0000000123c2d592, 0x000000014459d70c}, |
| /* x^220160 mod p(x)` << 1, x^220224 mod p(x)` << 1 */ |
| - .octa 0x00000001d406ed8200000000159dafce |
| - |
| + {0x00000000159dafce, 0x00000001d406ed82}, |
| /* x^219136 mod p(x)` << 1, x^219200 mod p(x)` << 1 */ |
| - .octa 0x0000000160c8e1a80000000127e1a64e |
| - |
| + {0x0000000127e1a64e, 0x0000000160c8e1a8}, |
| /* x^218112 mod p(x)` << 1, x^218176 mod p(x)` << 1 */ |
| - .octa 0x0000000027ba80980000000056860754 |
| - |
| + {0x0000000056860754, 0x0000000027ba8098}, |
| /* x^217088 mod p(x)` << 1, x^217152 mod p(x)` << 1 */ |
| - .octa 0x000000006d92d01800000001e661aae8 |
| - |
| + {0x00000001e661aae8, 0x000000006d92d018}, |
| /* x^216064 mod p(x)` << 1, x^216128 mod p(x)` << 1 */ |
| - .octa 0x000000012ed7e3f200000000f82c6166 |
| - |
| + {0x00000000f82c6166, 0x000000012ed7e3f2}, |
| /* x^215040 mod p(x)` << 1, x^215104 mod p(x)` << 1 */ |
| - .octa 0x000000002dc8778800000000c4f9c7ae |
| - |
| + {0x00000000c4f9c7ae, 0x000000002dc87788}, |
| /* x^214016 mod p(x)` << 1, x^214080 mod p(x)` << 1 */ |
| - .octa 0x0000000018240bb80000000074203d20 |
| - |
| + {0x0000000074203d20, 0x0000000018240bb8}, |
| /* x^212992 mod p(x)` << 1, x^213056 mod p(x)` << 1 */ |
| - .octa 0x000000001ad381580000000198173052 |
| - |
| + {0x0000000198173052, 0x000000001ad38158}, |
| /* x^211968 mod p(x)` << 1, x^212032 mod p(x)` << 1 */ |
| - .octa 0x00000001396b78f200000001ce8aba54 |
| - |
| + {0x00000001ce8aba54, 0x00000001396b78f2}, |
| /* x^210944 mod p(x)` << 1, x^211008 mod p(x)` << 1 */ |
| - .octa 0x000000011a68133400000001850d5d94 |
| - |
| + {0x00000001850d5d94, 0x000000011a681334}, |
| /* x^209920 mod p(x)` << 1, x^209984 mod p(x)` << 1 */ |
| - .octa 0x000000012104732e00000001d609239c |
| - |
| + {0x00000001d609239c, 0x000000012104732e}, |
| /* x^208896 mod p(x)` << 1, x^208960 mod p(x)` << 1 */ |
| - .octa 0x00000000a140d90c000000001595f048 |
| - |
| + {0x000000001595f048, 0x00000000a140d90c}, |
| /* x^207872 mod p(x)` << 1, x^207936 mod p(x)` << 1 */ |
| - .octa 0x00000001b7215eda0000000042ccee08 |
| - |
| + {0x0000000042ccee08, 0x00000001b7215eda}, |
| /* x^206848 mod p(x)` << 1, x^206912 mod p(x)` << 1 */ |
| - .octa 0x00000001aaf1df3c000000010a389d74 |
| - |
| + {0x000000010a389d74, 0x00000001aaf1df3c}, |
| /* x^205824 mod p(x)` << 1, x^205888 mod p(x)` << 1 */ |
| - .octa 0x0000000029d15b8a000000012a840da6 |
| - |
| + {0x000000012a840da6, 0x0000000029d15b8a}, |
| /* x^204800 mod p(x)` << 1, x^204864 mod p(x)` << 1 */ |
| - .octa 0x00000000f1a96922000000001d181c0c |
| - |
| + {0x000000001d181c0c, 0x00000000f1a96922}, |
| /* x^203776 mod p(x)` << 1, x^203840 mod p(x)` << 1 */ |
| - .octa 0x00000001ac80d03c0000000068b7d1f6 |
| - |
| + {0x0000000068b7d1f6, 0x00000001ac80d03c}, |
| /* x^202752 mod p(x)` << 1, x^202816 mod p(x)` << 1 */ |
| - .octa 0x000000000f11d56a000000005b0f14fc |
| - |
| + {0x000000005b0f14fc, 0x000000000f11d56a}, |
| /* x^201728 mod p(x)` << 1, x^201792 mod p(x)` << 1 */ |
| - .octa 0x00000001f1c022a20000000179e9e730 |
| - |
| + {0x0000000179e9e730, 0x00000001f1c022a2}, |
| /* x^200704 mod p(x)` << 1, x^200768 mod p(x)` << 1 */ |
| - .octa 0x0000000173d00ae200000001ce1368d6 |
| - |
| + {0x00000001ce1368d6, 0x0000000173d00ae2}, |
| /* x^199680 mod p(x)` << 1, x^199744 mod p(x)` << 1 */ |
| - .octa 0x00000001d4ffe4ac0000000112c3a84c |
| - |
| + {0x0000000112c3a84c, 0x00000001d4ffe4ac}, |
| /* x^198656 mod p(x)` << 1, x^198720 mod p(x)` << 1 */ |
| - .octa 0x000000016edc5ae400000000de940fee |
| - |
| + {0x00000000de940fee, 0x000000016edc5ae4}, |
| /* x^197632 mod p(x)` << 1, x^197696 mod p(x)` << 1 */ |
| - .octa 0x00000001f1a0214000000000fe896b7e |
| - |
| + {0x00000000fe896b7e, 0x00000001f1a02140}, |
| /* x^196608 mod p(x)` << 1, x^196672 mod p(x)` << 1 */ |
| - .octa 0x00000000ca0b28a000000001f797431c |
| - |
| + {0x00000001f797431c, 0x00000000ca0b28a0}, |
| /* x^195584 mod p(x)` << 1, x^195648 mod p(x)` << 1 */ |
| - .octa 0x00000001928e30a20000000053e989ba |
| - |
| + {0x0000000053e989ba, 0x00000001928e30a2}, |
| /* x^194560 mod p(x)` << 1, x^194624 mod p(x)` << 1 */ |
| - .octa 0x0000000097b1b002000000003920cd16 |
| - |
| + {0x000000003920cd16, 0x0000000097b1b002}, |
| /* x^193536 mod p(x)` << 1, x^193600 mod p(x)` << 1 */ |
| - .octa 0x00000000b15bf90600000001e6f579b8 |
| - |
| + {0x00000001e6f579b8, 0x00000000b15bf906}, |
| /* x^192512 mod p(x)` << 1, x^192576 mod p(x)` << 1 */ |
| - .octa 0x00000000411c5d52000000007493cb0a |
| - |
| + {0x000000007493cb0a, 0x00000000411c5d52}, |
| /* x^191488 mod p(x)` << 1, x^191552 mod p(x)` << 1 */ |
| - .octa 0x00000001c36f330000000001bdd376d8 |
| - |
| + {0x00000001bdd376d8, 0x00000001c36f3300}, |
| /* x^190464 mod p(x)` << 1, x^190528 mod p(x)` << 1 */ |
| - .octa 0x00000001119227e0000000016badfee6 |
| - |
| + {0x000000016badfee6, 0x00000001119227e0}, |
| /* x^189440 mod p(x)` << 1, x^189504 mod p(x)` << 1 */ |
| - .octa 0x00000000114d47020000000071de5c58 |
| - |
| + {0x0000000071de5c58, 0x00000000114d4702}, |
| /* x^188416 mod p(x)` << 1, x^188480 mod p(x)` << 1 */ |
| - .octa 0x00000000458b5b9800000000453f317c |
| - |
| + {0x00000000453f317c, 0x00000000458b5b98}, |
| /* x^187392 mod p(x)` << 1, x^187456 mod p(x)` << 1 */ |
| - .octa 0x000000012e31fb8e0000000121675cce |
| - |
| + {0x0000000121675cce, 0x000000012e31fb8e}, |
| /* x^186368 mod p(x)` << 1, x^186432 mod p(x)` << 1 */ |
| - .octa 0x000000005cf619d800000001f409ee92 |
| - |
| + {0x00000001f409ee92, 0x000000005cf619d8}, |
| /* x^185344 mod p(x)` << 1, x^185408 mod p(x)` << 1 */ |
| - .octa 0x0000000063f4d8b200000000f36b9c88 |
| - |
| + {0x00000000f36b9c88, 0x0000000063f4d8b2}, |
| /* x^184320 mod p(x)` << 1, x^184384 mod p(x)` << 1 */ |
| - .octa 0x000000004138dc8a0000000036b398f4 |
| - |
| + {0x0000000036b398f4, 0x000000004138dc8a}, |
| /* x^183296 mod p(x)` << 1, x^183360 mod p(x)` << 1 */ |
| - .octa 0x00000001d29ee8e000000001748f9adc |
| - |
| + {0x00000001748f9adc, 0x00000001d29ee8e0}, |
| /* x^182272 mod p(x)` << 1, x^182336 mod p(x)` << 1 */ |
| - .octa 0x000000006a08ace800000001be94ec00 |
| - |
| + {0x00000001be94ec00, 0x000000006a08ace8}, |
| /* x^181248 mod p(x)` << 1, x^181312 mod p(x)` << 1 */ |
| - .octa 0x0000000127d4201000000000b74370d6 |
| - |
| + {0x00000000b74370d6, 0x0000000127d42010}, |
| /* x^180224 mod p(x)` << 1, x^180288 mod p(x)` << 1 */ |
| - .octa 0x0000000019d76b6200000001174d0b98 |
| - |
| + {0x00000001174d0b98, 0x0000000019d76b62}, |
| /* x^179200 mod p(x)` << 1, x^179264 mod p(x)` << 1 */ |
| - .octa 0x00000001b1471f6e00000000befc06a4 |
| - |
| + {0x00000000befc06a4, 0x00000001b1471f6e}, |
| /* x^178176 mod p(x)` << 1, x^178240 mod p(x)` << 1 */ |
| - .octa 0x00000001f64c19cc00000001ae125288 |
| - |
| + {0x00000001ae125288, 0x00000001f64c19cc}, |
| /* x^177152 mod p(x)` << 1, x^177216 mod p(x)` << 1 */ |
| - .octa 0x00000000003c0ea00000000095c19b34 |
| - |
| + {0x0000000095c19b34, 0x00000000003c0ea0}, |
| /* x^176128 mod p(x)` << 1, x^176192 mod p(x)` << 1 */ |
| - .octa 0x000000014d73abf600000001a78496f2 |
| - |
| + {0x00000001a78496f2, 0x000000014d73abf6}, |
| /* x^175104 mod p(x)` << 1, x^175168 mod p(x)` << 1 */ |
| - .octa 0x00000001620eb84400000001ac5390a0 |
| - |
| + {0x00000001ac5390a0, 0x00000001620eb844}, |
| /* x^174080 mod p(x)` << 1, x^174144 mod p(x)` << 1 */ |
| - .octa 0x0000000147655048000000002a80ed6e |
| - |
| + {0x000000002a80ed6e, 0x0000000147655048}, |
| /* x^173056 mod p(x)` << 1, x^173120 mod p(x)` << 1 */ |
| - .octa 0x0000000067b5077e00000001fa9b0128 |
| - |
| + {0x00000001fa9b0128, 0x0000000067b5077e}, |
| /* x^172032 mod p(x)` << 1, x^172096 mod p(x)` << 1 */ |
| - .octa 0x0000000010ffe20600000001ea94929e |
| - |
| + {0x00000001ea94929e, 0x0000000010ffe206}, |
| /* x^171008 mod p(x)` << 1, x^171072 mod p(x)` << 1 */ |
| - .octa 0x000000000fee8f1e0000000125f4305c |
| - |
| + {0x0000000125f4305c, 0x000000000fee8f1e}, |
| /* x^169984 mod p(x)` << 1, x^170048 mod p(x)` << 1 */ |
| - .octa 0x00000001da26fbae00000001471e2002 |
| - |
| + {0x00000001471e2002, 0x00000001da26fbae}, |
| /* x^168960 mod p(x)` << 1, x^169024 mod p(x)` << 1 */ |
| - .octa 0x00000001b3a8bd880000000132d2253a |
| - |
| + {0x0000000132d2253a, 0x00000001b3a8bd88}, |
| /* x^167936 mod p(x)` << 1, x^168000 mod p(x)` << 1 */ |
| - .octa 0x00000000e8f3898e00000000f26b3592 |
| - |
| + {0x00000000f26b3592, 0x00000000e8f3898e}, |
| /* x^166912 mod p(x)` << 1, x^166976 mod p(x)` << 1 */ |
| - .octa 0x00000000b0d0d28c00000000bc8b67b0 |
| - |
| + {0x00000000bc8b67b0, 0x00000000b0d0d28c}, |
| /* x^165888 mod p(x)` << 1, x^165952 mod p(x)` << 1 */ |
| - .octa 0x0000000030f2a798000000013a826ef2 |
| - |
| + {0x000000013a826ef2, 0x0000000030f2a798}, |
| /* x^164864 mod p(x)` << 1, x^164928 mod p(x)` << 1 */ |
| - .octa 0x000000000fba10020000000081482c84 |
| - |
| + {0x0000000081482c84, 0x000000000fba1002}, |
| /* x^163840 mod p(x)` << 1, x^163904 mod p(x)` << 1 */ |
| - .octa 0x00000000bdb9bd7200000000e77307c2 |
| - |
| + {0x00000000e77307c2, 0x00000000bdb9bd72}, |
| /* x^162816 mod p(x)` << 1, x^162880 mod p(x)` << 1 */ |
| - .octa 0x0000000075d3bf5a00000000d4a07ec8 |
| - |
| + {0x00000000d4a07ec8, 0x0000000075d3bf5a}, |
| /* x^161792 mod p(x)` << 1, x^161856 mod p(x)` << 1 */ |
| - .octa 0x00000000ef1f98a00000000017102100 |
| - |
| + {0x0000000017102100, 0x00000000ef1f98a0}, |
| /* x^160768 mod p(x)` << 1, x^160832 mod p(x)` << 1 */ |
| - .octa 0x00000000689c760200000000db406486 |
| - |
| + {0x00000000db406486, 0x00000000689c7602}, |
| /* x^159744 mod p(x)` << 1, x^159808 mod p(x)` << 1 */ |
| - .octa 0x000000016d5fa5fe0000000192db7f88 |
| - |
| + {0x0000000192db7f88, 0x000000016d5fa5fe}, |
| /* x^158720 mod p(x)` << 1, x^158784 mod p(x)` << 1 */ |
| - .octa 0x00000001d0d2b9ca000000018bf67b1e |
| - |
| + {0x000000018bf67b1e, 0x00000001d0d2b9ca}, |
| /* x^157696 mod p(x)` << 1, x^157760 mod p(x)` << 1 */ |
| - .octa 0x0000000041e7b470000000007c09163e |
| - |
| + {0x000000007c09163e, 0x0000000041e7b470}, |
| /* x^156672 mod p(x)` << 1, x^156736 mod p(x)` << 1 */ |
| - .octa 0x00000001cbb6495e000000000adac060 |
| - |
| + {0x000000000adac060, 0x00000001cbb6495e}, |
| /* x^155648 mod p(x)` << 1, x^155712 mod p(x)` << 1 */ |
| - .octa 0x000000010052a0b000000000bd8316ae |
| - |
| + {0x00000000bd8316ae, 0x000000010052a0b0}, |
| /* x^154624 mod p(x)` << 1, x^154688 mod p(x)` << 1 */ |
| - .octa 0x00000001d8effb5c000000019f09ab54 |
| - |
| + {0x000000019f09ab54, 0x00000001d8effb5c}, |
| /* x^153600 mod p(x)` << 1, x^153664 mod p(x)` << 1 */ |
| - .octa 0x00000001d969853c0000000125155542 |
| - |
| + {0x0000000125155542, 0x00000001d969853c}, |
| /* x^152576 mod p(x)` << 1, x^152640 mod p(x)` << 1 */ |
| - .octa 0x00000000523ccce2000000018fdb5882 |
| - |
| + {0x000000018fdb5882, 0x00000000523ccce2}, |
| /* x^151552 mod p(x)` << 1, x^151616 mod p(x)` << 1 */ |
| - .octa 0x000000001e2436bc00000000e794b3f4 |
| - |
| + {0x00000000e794b3f4, 0x000000001e2436bc}, |
| /* x^150528 mod p(x)` << 1, x^150592 mod p(x)` << 1 */ |
| - .octa 0x00000000ddd1c3a2000000016f9bb022 |
| - |
| + {0x000000016f9bb022, 0x00000000ddd1c3a2}, |
| /* x^149504 mod p(x)` << 1, x^149568 mod p(x)` << 1 */ |
| - .octa 0x0000000019fcfe3800000000290c9978 |
| - |
| + {0x00000000290c9978, 0x0000000019fcfe38}, |
| /* x^148480 mod p(x)` << 1, x^148544 mod p(x)` << 1 */ |
| - .octa 0x00000001ce95db640000000083c0f350 |
| - |
| + {0x0000000083c0f350, 0x00000001ce95db64}, |
| /* x^147456 mod p(x)` << 1, x^147520 mod p(x)` << 1 */ |
| - .octa 0x00000000af5828060000000173ea6628 |
| - |
| + {0x0000000173ea6628, 0x00000000af582806}, |
| /* x^146432 mod p(x)` << 1, x^146496 mod p(x)` << 1 */ |
| - .octa 0x00000001006388f600000001c8b4e00a |
| - |
| + {0x00000001c8b4e00a, 0x00000001006388f6}, |
| /* x^145408 mod p(x)` << 1, x^145472 mod p(x)` << 1 */ |
| - .octa 0x0000000179eca00a00000000de95d6aa |
| - |
| + {0x00000000de95d6aa, 0x0000000179eca00a}, |
| /* x^144384 mod p(x)` << 1, x^144448 mod p(x)` << 1 */ |
| - .octa 0x0000000122410a6a000000010b7f7248 |
| - |
| + {0x000000010b7f7248, 0x0000000122410a6a}, |
| /* x^143360 mod p(x)` << 1, x^143424 mod p(x)` << 1 */ |
| - .octa 0x000000004288e87c00000001326e3a06 |
| - |
| + {0x00000001326e3a06, 0x000000004288e87c}, |
| /* x^142336 mod p(x)` << 1, x^142400 mod p(x)` << 1 */ |
| - .octa 0x000000016c5490da00000000bb62c2e6 |
| - |
| + {0x00000000bb62c2e6, 0x000000016c5490da}, |
| /* x^141312 mod p(x)` << 1, x^141376 mod p(x)` << 1 */ |
| - .octa 0x00000000d1c71f6e0000000156a4b2c2 |
| - |
| + {0x0000000156a4b2c2, 0x00000000d1c71f6e}, |
| /* x^140288 mod p(x)` << 1, x^140352 mod p(x)` << 1 */ |
| - .octa 0x00000001b4ce08a6000000011dfe763a |
| - |
| + {0x000000011dfe763a, 0x00000001b4ce08a6}, |
| /* x^139264 mod p(x)` << 1, x^139328 mod p(x)` << 1 */ |
| - .octa 0x00000001466ba60c000000007bcca8e2 |
| - |
| + {0x000000007bcca8e2, 0x00000001466ba60c}, |
| /* x^138240 mod p(x)` << 1, x^138304 mod p(x)` << 1 */ |
| - .octa 0x00000001f6c488a40000000186118faa |
| - |
| + {0x0000000186118faa, 0x00000001f6c488a4}, |
| /* x^137216 mod p(x)` << 1, x^137280 mod p(x)` << 1 */ |
| - .octa 0x000000013bfb06820000000111a65a88 |
| - |
| + {0x0000000111a65a88, 0x000000013bfb0682}, |
| /* x^136192 mod p(x)` << 1, x^136256 mod p(x)` << 1 */ |
| - .octa 0x00000000690e9e54000000003565e1c4 |
| - |
| + {0x000000003565e1c4, 0x00000000690e9e54}, |
| /* x^135168 mod p(x)` << 1, x^135232 mod p(x)` << 1 */ |
| - .octa 0x00000000281346b6000000012ed02a82 |
| - |
| + {0x000000012ed02a82, 0x00000000281346b6}, |
| /* x^134144 mod p(x)` << 1, x^134208 mod p(x)` << 1 */ |
| - .octa 0x000000015646402400000000c486ecfc |
| - |
| + {0x00000000c486ecfc, 0x0000000156464024}, |
| /* x^133120 mod p(x)` << 1, x^133184 mod p(x)` << 1 */ |
| - .octa 0x000000016063a8dc0000000001b951b2 |
| - |
| + {0x0000000001b951b2, 0x000000016063a8dc}, |
| /* x^132096 mod p(x)` << 1, x^132160 mod p(x)` << 1 */ |
| - .octa 0x0000000116a663620000000048143916 |
| - |
| + {0x0000000048143916, 0x0000000116a66362}, |
| /* x^131072 mod p(x)` << 1, x^131136 mod p(x)` << 1 */ |
| - .octa 0x000000017e8aa4d200000001dc2ae124 |
| - |
| + {0x00000001dc2ae124, 0x000000017e8aa4d2}, |
| /* x^130048 mod p(x)` << 1, x^130112 mod p(x)` << 1 */ |
| - .octa 0x00000001728eb10c00000001416c58d6 |
| - |
| + {0x00000001416c58d6, 0x00000001728eb10c}, |
| /* x^129024 mod p(x)` << 1, x^129088 mod p(x)` << 1 */ |
| - .octa 0x00000001b08fd7fa00000000a479744a |
| - |
| + {0x00000000a479744a, 0x00000001b08fd7fa}, |
| /* x^128000 mod p(x)` << 1, x^128064 mod p(x)` << 1 */ |
| - .octa 0x00000001092a16e80000000096ca3a26 |
| - |
| + {0x0000000096ca3a26, 0x00000001092a16e8}, |
| /* x^126976 mod p(x)` << 1, x^127040 mod p(x)` << 1 */ |
| - .octa 0x00000000a505637c00000000ff223d4e |
| - |
| + {0x00000000ff223d4e, 0x00000000a505637c}, |
| /* x^125952 mod p(x)` << 1, x^126016 mod p(x)` << 1 */ |
| - .octa 0x00000000d94869b2000000010e84da42 |
| - |
| + {0x000000010e84da42, 0x00000000d94869b2}, |
| /* x^124928 mod p(x)` << 1, x^124992 mod p(x)` << 1 */ |
| - .octa 0x00000001c8b203ae00000001b61ba3d0 |
| - |
| + {0x00000001b61ba3d0, 0x00000001c8b203ae}, |
| /* x^123904 mod p(x)` << 1, x^123968 mod p(x)` << 1 */ |
| - .octa 0x000000005704aea000000000680f2de8 |
| - |
| + {0x00000000680f2de8, 0x000000005704aea0}, |
| /* x^122880 mod p(x)` << 1, x^122944 mod p(x)` << 1 */ |
| - .octa 0x000000012e295fa2000000008772a9a8 |
| - |
| + {0x000000008772a9a8, 0x000000012e295fa2}, |
| /* x^121856 mod p(x)` << 1, x^121920 mod p(x)` << 1 */ |
| - .octa 0x000000011d0908bc0000000155f295bc |
| - |
| + {0x0000000155f295bc, 0x000000011d0908bc}, |
| /* x^120832 mod p(x)` << 1, x^120896 mod p(x)` << 1 */ |
| - .octa 0x0000000193ed97ea00000000595f9282 |
| - |
| + {0x00000000595f9282, 0x0000000193ed97ea}, |
| /* x^119808 mod p(x)` << 1, x^119872 mod p(x)` << 1 */ |
| - .octa 0x000000013a0f1c520000000164b1c25a |
| - |
| + {0x0000000164b1c25a, 0x000000013a0f1c52}, |
| /* x^118784 mod p(x)` << 1, x^118848 mod p(x)` << 1 */ |
| - .octa 0x000000010c2c40c000000000fbd67c50 |
| - |
| + {0x00000000fbd67c50, 0x000000010c2c40c0}, |
| /* x^117760 mod p(x)` << 1, x^117824 mod p(x)` << 1 */ |
| - .octa 0x00000000ff6fac3e0000000096076268 |
| - |
| + {0x0000000096076268, 0x00000000ff6fac3e}, |
| /* x^116736 mod p(x)` << 1, x^116800 mod p(x)` << 1 */ |
| - .octa 0x000000017b3609c000000001d288e4cc |
| - |
| + {0x00000001d288e4cc, 0x000000017b3609c0}, |
| /* x^115712 mod p(x)` << 1, x^115776 mod p(x)` << 1 */ |
| - .octa 0x0000000088c8c92200000001eaac1bdc |
| - |
| + {0x00000001eaac1bdc, 0x0000000088c8c922}, |
| /* x^114688 mod p(x)` << 1, x^114752 mod p(x)` << 1 */ |
| - .octa 0x00000001751baae600000001f1ea39e2 |
| - |
| + {0x00000001f1ea39e2, 0x00000001751baae6}, |
| /* x^113664 mod p(x)` << 1, x^113728 mod p(x)` << 1 */ |
| - .octa 0x000000010795297200000001eb6506fc |
| - |
| + {0x00000001eb6506fc, 0x0000000107952972}, |
| /* x^112640 mod p(x)` << 1, x^112704 mod p(x)` << 1 */ |
| - .octa 0x0000000162b00abe000000010f806ffe |
| - |
| + {0x000000010f806ffe, 0x0000000162b00abe}, |
| /* x^111616 mod p(x)` << 1, x^111680 mod p(x)` << 1 */ |
| - .octa 0x000000000d7b404c000000010408481e |
| - |
| + {0x000000010408481e, 0x000000000d7b404c}, |
| /* x^110592 mod p(x)` << 1, x^110656 mod p(x)` << 1 */ |
| - .octa 0x00000000763b13d40000000188260534 |
| - |
| + {0x0000000188260534, 0x00000000763b13d4}, |
| /* x^109568 mod p(x)` << 1, x^109632 mod p(x)` << 1 */ |
| - .octa 0x00000000f6dc22d80000000058fc73e0 |
| - |
| + {0x0000000058fc73e0, 0x00000000f6dc22d8}, |
| /* x^108544 mod p(x)` << 1, x^108608 mod p(x)` << 1 */ |
| - .octa 0x000000007daae06000000000391c59b8 |
| - |
| + {0x00000000391c59b8, 0x000000007daae060}, |
| /* x^107520 mod p(x)` << 1, x^107584 mod p(x)` << 1 */ |
| - .octa 0x000000013359ab7c000000018b638400 |
| - |
| + {0x000000018b638400, 0x000000013359ab7c}, |
| /* x^106496 mod p(x)` << 1, x^106560 mod p(x)` << 1 */ |
| - .octa 0x000000008add438a000000011738f5c4 |
| - |
| + {0x000000011738f5c4, 0x000000008add438a}, |
| /* x^105472 mod p(x)` << 1, x^105536 mod p(x)` << 1 */ |
| - .octa 0x00000001edbefdea000000008cf7c6da |
| - |
| + {0x000000008cf7c6da, 0x00000001edbefdea}, |
| /* x^104448 mod p(x)` << 1, x^104512 mod p(x)` << 1 */ |
| - .octa 0x000000004104e0f800000001ef97fb16 |
| - |
| + {0x00000001ef97fb16, 0x000000004104e0f8}, |
| /* x^103424 mod p(x)` << 1, x^103488 mod p(x)` << 1 */ |
| - .octa 0x00000000b48a82220000000102130e20 |
| - |
| + {0x0000000102130e20, 0x00000000b48a8222}, |
| /* x^102400 mod p(x)` << 1, x^102464 mod p(x)` << 1 */ |
| - .octa 0x00000001bcb4684400000000db968898 |
| - |
| + {0x00000000db968898, 0x00000001bcb46844}, |
| /* x^101376 mod p(x)` << 1, x^101440 mod p(x)` << 1 */ |
| - .octa 0x000000013293ce0a00000000b5047b5e |
| - |
| + {0x00000000b5047b5e, 0x000000013293ce0a}, |
| /* x^100352 mod p(x)` << 1, x^100416 mod p(x)` << 1 */ |
| - .octa 0x00000001710d0844000000010b90fdb2 |
| - |
| + {0x000000010b90fdb2, 0x00000001710d0844}, |
| /* x^99328 mod p(x)` << 1, x^99392 mod p(x)` << 1 */ |
| - .octa 0x0000000117907f6e000000004834a32e |
| - |
| + {0x000000004834a32e, 0x0000000117907f6e}, |
| /* x^98304 mod p(x)` << 1, x^98368 mod p(x)` << 1 */ |
| - .octa 0x0000000087ddf93e0000000059c8f2b0 |
| - |
| + {0x0000000059c8f2b0, 0x0000000087ddf93e}, |
| /* x^97280 mod p(x)` << 1, x^97344 mod p(x)` << 1 */ |
| - .octa 0x000000005970e9b00000000122cec508 |
| - |
| + {0x0000000122cec508, 0x000000005970e9b0}, |
| /* x^96256 mod p(x)` << 1, x^96320 mod p(x)` << 1 */ |
| - .octa 0x0000000185b2b7d0000000000a330cda |
| - |
| + {0x000000000a330cda, 0x0000000185b2b7d0}, |
| /* x^95232 mod p(x)` << 1, x^95296 mod p(x)` << 1 */ |
| - .octa 0x00000001dcee0efc000000014a47148c |
| - |
| + {0x000000014a47148c, 0x00000001dcee0efc}, |
| /* x^94208 mod p(x)` << 1, x^94272 mod p(x)` << 1 */ |
| - .octa 0x0000000030da27220000000042c61cb8 |
| - |
| + {0x0000000042c61cb8, 0x0000000030da2722}, |
| /* x^93184 mod p(x)` << 1, x^93248 mod p(x)` << 1 */ |
| - .octa 0x000000012f925a180000000012fe6960 |
| - |
| + {0x0000000012fe6960, 0x000000012f925a18}, |
| /* x^92160 mod p(x)` << 1, x^92224 mod p(x)` << 1 */ |
| - .octa 0x00000000dd2e357c00000000dbda2c20 |
| - |
| + {0x00000000dbda2c20, 0x00000000dd2e357c}, |
| /* x^91136 mod p(x)` << 1, x^91200 mod p(x)` << 1 */ |
| - .octa 0x00000000071c80de000000011122410c |
| - |
| + {0x000000011122410c, 0x00000000071c80de}, |
| /* x^90112 mod p(x)` << 1, x^90176 mod p(x)` << 1 */ |
| - .octa 0x000000011513140a00000000977b2070 |
| - |
| + {0x00000000977b2070, 0x000000011513140a}, |
| /* x^89088 mod p(x)` << 1, x^89152 mod p(x)` << 1 */ |
| - .octa 0x00000001df876e8e000000014050438e |
| - |
| + {0x000000014050438e, 0x00000001df876e8e}, |
| /* x^88064 mod p(x)` << 1, x^88128 mod p(x)` << 1 */ |
| - .octa 0x000000015f81d6ce0000000147c840e8 |
| - |
| + {0x0000000147c840e8, 0x000000015f81d6ce}, |
| /* x^87040 mod p(x)` << 1, x^87104 mod p(x)` << 1 */ |
| - .octa 0x000000019dd94dbe00000001cc7c88ce |
| - |
| + {0x00000001cc7c88ce, 0x000000019dd94dbe}, |
| /* x^86016 mod p(x)` << 1, x^86080 mod p(x)` << 1 */ |
| - .octa 0x00000001373d206e00000001476b35a4 |
| - |
| + {0x00000001476b35a4, 0x00000001373d206e}, |
| /* x^84992 mod p(x)` << 1, x^85056 mod p(x)` << 1 */ |
| - .octa 0x00000000668ccade000000013d52d508 |
| - |
| + {0x000000013d52d508, 0x00000000668ccade}, |
| /* x^83968 mod p(x)` << 1, x^84032 mod p(x)` << 1 */ |
| - .octa 0x00000001b192d268000000008e4be32e |
| - |
| + {0x000000008e4be32e, 0x00000001b192d268}, |
| /* x^82944 mod p(x)` << 1, x^83008 mod p(x)` << 1 */ |
| - .octa 0x00000000e30f3a7800000000024120fe |
| - |
| + {0x00000000024120fe, 0x00000000e30f3a78}, |
| /* x^81920 mod p(x)` << 1, x^81984 mod p(x)` << 1 */ |
| - .octa 0x000000010ef1f7bc00000000ddecddb4 |
| - |
| + {0x00000000ddecddb4, 0x000000010ef1f7bc}, |
| /* x^80896 mod p(x)` << 1, x^80960 mod p(x)` << 1 */ |
| - .octa 0x00000001f5ac738000000000d4d403bc |
| - |
| + {0x00000000d4d403bc, 0x00000001f5ac7380}, |
| /* x^79872 mod p(x)` << 1, x^79936 mod p(x)` << 1 */ |
| - .octa 0x000000011822ea7000000001734b89aa |
| - |
| + {0x00000001734b89aa, 0x000000011822ea70}, |
| /* x^78848 mod p(x)` << 1, x^78912 mod p(x)` << 1 */ |
| - .octa 0x00000000c3a33848000000010e7a58d6 |
| - |
| + {0x000000010e7a58d6, 0x00000000c3a33848}, |
| /* x^77824 mod p(x)` << 1, x^77888 mod p(x)` << 1 */ |
| - .octa 0x00000001bd151c2400000001f9f04e9c |
| - |
| + {0x00000001f9f04e9c, 0x00000001bd151c24}, |
| /* x^76800 mod p(x)` << 1, x^76864 mod p(x)` << 1 */ |
| - .octa 0x0000000056002d7600000000b692225e |
| - |
| + {0x00000000b692225e, 0x0000000056002d76}, |
| /* x^75776 mod p(x)` << 1, x^75840 mod p(x)` << 1 */ |
| - .octa 0x000000014657c4f4000000019b8d3f3e |
| - |
| + {0x000000019b8d3f3e, 0x000000014657c4f4}, |
| /* x^74752 mod p(x)` << 1, x^74816 mod p(x)` << 1 */ |
| - .octa 0x0000000113742d7c00000001a874f11e |
| - |
| + {0x00000001a874f11e, 0x0000000113742d7c}, |
| /* x^73728 mod p(x)` << 1, x^73792 mod p(x)` << 1 */ |
| - .octa 0x000000019c5920ba000000010d5a4254 |
| - |
| + {0x000000010d5a4254, 0x000000019c5920ba}, |
| /* x^72704 mod p(x)` << 1, x^72768 mod p(x)` << 1 */ |
| - .octa 0x000000005216d2d600000000bbb2f5d6 |
| - |
| + {0x00000000bbb2f5d6, 0x000000005216d2d6}, |
| /* x^71680 mod p(x)` << 1, x^71744 mod p(x)` << 1 */ |
| - .octa 0x0000000136f5ad8a0000000179cc0e36 |
| - |
| + {0x0000000179cc0e36, 0x0000000136f5ad8a}, |
| /* x^70656 mod p(x)` << 1, x^70720 mod p(x)` << 1 */ |
| - .octa 0x000000018b07beb600000001dca1da4a |
| - |
| + {0x00000001dca1da4a, 0x000000018b07beb6}, |
| /* x^69632 mod p(x)` << 1, x^69696 mod p(x)` << 1 */ |
| - .octa 0x00000000db1e93b000000000feb1a192 |
| - |
| + {0x00000000feb1a192, 0x00000000db1e93b0}, |
| /* x^68608 mod p(x)` << 1, x^68672 mod p(x)` << 1 */ |
| - .octa 0x000000000b96fa3a00000000d1eeedd6 |
| - |
| + {0x00000000d1eeedd6, 0x000000000b96fa3a}, |
| /* x^67584 mod p(x)` << 1, x^67648 mod p(x)` << 1 */ |
| - .octa 0x00000001d9968af0000000008fad9bb4 |
| - |
| + {0x000000008fad9bb4, 0x00000001d9968af0}, |
| /* x^66560 mod p(x)` << 1, x^66624 mod p(x)` << 1 */ |
| - .octa 0x000000000e4a77a200000001884938e4 |
| - |
| + {0x00000001884938e4, 0x000000000e4a77a2}, |
| /* x^65536 mod p(x)` << 1, x^65600 mod p(x)` << 1 */ |
| - .octa 0x00000000508c2ac800000001bc2e9bc0 |
| - |
| + {0x00000001bc2e9bc0, 0x00000000508c2ac8}, |
| /* x^64512 mod p(x)` << 1, x^64576 mod p(x)` << 1 */ |
| - .octa 0x0000000021572a8000000001f9658a68 |
| - |
| + {0x00000001f9658a68, 0x0000000021572a80}, |
| /* x^63488 mod p(x)` << 1, x^63552 mod p(x)` << 1 */ |
| - .octa 0x00000001b859daf2000000001b9224fc |
| - |
| + {0x000000001b9224fc, 0x00000001b859daf2}, |
| /* x^62464 mod p(x)` << 1, x^62528 mod p(x)` << 1 */ |
| - .octa 0x000000016f7884740000000055b2fb84 |
| - |
| + {0x0000000055b2fb84, 0x000000016f788474}, |
| /* x^61440 mod p(x)` << 1, x^61504 mod p(x)` << 1 */ |
| - .octa 0x00000001b438810e000000018b090348 |
| - |
| + {0x000000018b090348, 0x00000001b438810e}, |
| /* x^60416 mod p(x)` << 1, x^60480 mod p(x)` << 1 */ |
| - .octa 0x0000000095ddc6f2000000011ccbd5ea |
| - |
| + {0x000000011ccbd5ea, 0x0000000095ddc6f2}, |
| /* x^59392 mod p(x)` << 1, x^59456 mod p(x)` << 1 */ |
| - .octa 0x00000001d977c20c0000000007ae47f8 |
| - |
| + {0x0000000007ae47f8, 0x00000001d977c20c}, |
| /* x^58368 mod p(x)` << 1, x^58432 mod p(x)` << 1 */ |
| - .octa 0x00000000ebedb99a0000000172acbec0 |
| - |
| + {0x0000000172acbec0, 0x00000000ebedb99a}, |
| /* x^57344 mod p(x)` << 1, x^57408 mod p(x)` << 1 */ |
| - .octa 0x00000001df9e9e9200000001c6e3ff20 |
| - |
| + {0x00000001c6e3ff20, 0x00000001df9e9e92}, |
| /* x^56320 mod p(x)` << 1, x^56384 mod p(x)` << 1 */ |
| - .octa 0x00000001a4a3f95200000000e1b38744 |
| - |
| + {0x00000000e1b38744, 0x00000001a4a3f952}, |
| /* x^55296 mod p(x)` << 1, x^55360 mod p(x)` << 1 */ |
| - .octa 0x00000000e2f5122000000000791585b2 |
| - |
| + {0x00000000791585b2, 0x00000000e2f51220}, |
| /* x^54272 mod p(x)` << 1, x^54336 mod p(x)` << 1 */ |
| - .octa 0x000000004aa01f3e00000000ac53b894 |
| - |
| + {0x00000000ac53b894, 0x000000004aa01f3e}, |
| /* x^53248 mod p(x)` << 1, x^53312 mod p(x)` << 1 */ |
| - .octa 0x00000000b3e90a5800000001ed5f2cf4 |
| - |
| + {0x00000001ed5f2cf4, 0x00000000b3e90a58}, |
| /* x^52224 mod p(x)` << 1, x^52288 mod p(x)` << 1 */ |
| - .octa 0x000000000c9ca2aa00000001df48b2e0 |
| - |
| + {0x00000001df48b2e0, 0x000000000c9ca2aa}, |
| /* x^51200 mod p(x)` << 1, x^51264 mod p(x)` << 1 */ |
| - .octa 0x000000015168231600000000049c1c62 |
| - |
| + {0x00000000049c1c62, 0x0000000151682316}, |
| /* x^50176 mod p(x)` << 1, x^50240 mod p(x)` << 1 */ |
| - .octa 0x0000000036fce78c000000017c460c12 |
| - |
| + {0x000000017c460c12, 0x0000000036fce78c}, |
| /* x^49152 mod p(x)` << 1, x^49216 mod p(x)` << 1 */ |
| - .octa 0x000000009037dc10000000015be4da7e |
| - |
| + {0x000000015be4da7e, 0x000000009037dc10}, |
| /* x^48128 mod p(x)` << 1, x^48192 mod p(x)` << 1 */ |
| - .octa 0x00000000d3298582000000010f38f668 |
| - |
| + {0x000000010f38f668, 0x00000000d3298582}, |
| /* x^47104 mod p(x)` << 1, x^47168 mod p(x)` << 1 */ |
| - .octa 0x00000001b42e8ad60000000039f40a00 |
| - |
| + {0x0000000039f40a00, 0x00000001b42e8ad6}, |
| /* x^46080 mod p(x)` << 1, x^46144 mod p(x)` << 1 */ |
| - .octa 0x00000000142a983800000000bd4c10c4 |
| - |
| + {0x00000000bd4c10c4, 0x00000000142a9838}, |
| /* x^45056 mod p(x)` << 1, x^45120 mod p(x)` << 1 */ |
| - .octa 0x0000000109c7f1900000000042db1d98 |
| - |
| + {0x0000000042db1d98, 0x0000000109c7f190}, |
| /* x^44032 mod p(x)` << 1, x^44096 mod p(x)` << 1 */ |
| - .octa 0x0000000056ff931000000001c905bae6 |
| - |
| + {0x00000001c905bae6, 0x0000000056ff9310}, |
| /* x^43008 mod p(x)` << 1, x^43072 mod p(x)` << 1 */ |
| - .octa 0x00000001594513aa00000000069d40ea |
| - |
| + {0x00000000069d40ea, 0x00000001594513aa}, |
| /* x^41984 mod p(x)` << 1, x^42048 mod p(x)` << 1 */ |
| - .octa 0x00000001e3b5b1e8000000008e4fbad0 |
| - |
| + {0x000000008e4fbad0, 0x00000001e3b5b1e8}, |
| /* x^40960 mod p(x)` << 1, x^41024 mod p(x)` << 1 */ |
| - .octa 0x000000011dd5fc080000000047bedd46 |
| - |
| + {0x0000000047bedd46, 0x000000011dd5fc08}, |
| /* x^39936 mod p(x)` << 1, x^40000 mod p(x)` << 1 */ |
| - .octa 0x00000001675f0cc20000000026396bf8 |
| - |
| + {0x0000000026396bf8, 0x00000001675f0cc2}, |
| /* x^38912 mod p(x)` << 1, x^38976 mod p(x)` << 1 */ |
| - .octa 0x00000000d1c8dd4400000000379beb92 |
| - |
| + {0x00000000379beb92, 0x00000000d1c8dd44}, |
| /* x^37888 mod p(x)` << 1, x^37952 mod p(x)` << 1 */ |
| - .octa 0x0000000115ebd3d8000000000abae54a |
| - |
| + {0x000000000abae54a, 0x0000000115ebd3d8}, |
| /* x^36864 mod p(x)` << 1, x^36928 mod p(x)` << 1 */ |
| - .octa 0x00000001ecbd0dac0000000007e6a128 |
| - |
| + {0x0000000007e6a128, 0x00000001ecbd0dac}, |
| /* x^35840 mod p(x)` << 1, x^35904 mod p(x)` << 1 */ |
| - .octa 0x00000000cdf67af2000000000ade29d2 |
| - |
| + {0x000000000ade29d2, 0x00000000cdf67af2}, |
| /* x^34816 mod p(x)` << 1, x^34880 mod p(x)` << 1 */ |
| - .octa 0x000000004c01ff4c00000000f974c45c |
| - |
| + {0x00000000f974c45c, 0x000000004c01ff4c}, |
| /* x^33792 mod p(x)` << 1, x^33856 mod p(x)` << 1 */ |
| - .octa 0x00000000f2d8657e00000000e77ac60a |
| - |
| + {0x00000000e77ac60a, 0x00000000f2d8657e}, |
| /* x^32768 mod p(x)` << 1, x^32832 mod p(x)` << 1 */ |
| - .octa 0x000000006bae74c40000000145895816 |
| - |
| + {0x0000000145895816, 0x000000006bae74c4}, |
| /* x^31744 mod p(x)` << 1, x^31808 mod p(x)` << 1 */ |
| - .octa 0x0000000152af8aa00000000038e362be |
| - |
| + {0x0000000038e362be, 0x0000000152af8aa0}, |
| /* x^30720 mod p(x)` << 1, x^30784 mod p(x)` << 1 */ |
| - .octa 0x0000000004663802000000007f991a64 |
| - |
| + {0x000000007f991a64, 0x0000000004663802}, |
| /* x^29696 mod p(x)` << 1, x^29760 mod p(x)` << 1 */ |
| - .octa 0x00000001ab2f5afc00000000fa366d3a |
| - |
| + {0x00000000fa366d3a, 0x00000001ab2f5afc}, |
| /* x^28672 mod p(x)` << 1, x^28736 mod p(x)` << 1 */ |
| - .octa 0x0000000074a4ebd400000001a2bb34f0 |
| - |
| + {0x00000001a2bb34f0, 0x0000000074a4ebd4}, |
| /* x^27648 mod p(x)` << 1, x^27712 mod p(x)` << 1 */ |
| - .octa 0x00000001d7ab3a4c0000000028a9981e |
| - |
| + {0x0000000028a9981e, 0x00000001d7ab3a4c}, |
| /* x^26624 mod p(x)` << 1, x^26688 mod p(x)` << 1 */ |
| - .octa 0x00000001a8da60c600000001dbc672be |
| - |
| + {0x00000001dbc672be, 0x00000001a8da60c6}, |
| /* x^25600 mod p(x)` << 1, x^25664 mod p(x)` << 1 */ |
| - .octa 0x000000013cf6382000000000b04d77f6 |
| - |
| + {0x00000000b04d77f6, 0x000000013cf63820}, |
| /* x^24576 mod p(x)` << 1, x^24640 mod p(x)` << 1 */ |
| - .octa 0x00000000bec12e1e0000000124400d96 |
| - |
| + {0x0000000124400d96, 0x00000000bec12e1e}, |
| /* x^23552 mod p(x)` << 1, x^23616 mod p(x)` << 1 */ |
| - .octa 0x00000001c6368010000000014ca4b414 |
| - |
| + {0x000000014ca4b414, 0x00000001c6368010}, |
| /* x^22528 mod p(x)` << 1, x^22592 mod p(x)` << 1 */ |
| - .octa 0x00000001e6e78758000000012fe2c938 |
| - |
| + {0x000000012fe2c938, 0x00000001e6e78758}, |
| /* x^21504 mod p(x)` << 1, x^21568 mod p(x)` << 1 */ |
| - .octa 0x000000008d7f2b3c00000001faed01e6 |
| - |
| + {0x00000001faed01e6, 0x000000008d7f2b3c}, |
| /* x^20480 mod p(x)` << 1, x^20544 mod p(x)` << 1 */ |
| - .octa 0x000000016b4a156e000000007e80ecfe |
| - |
| + {0x000000007e80ecfe, 0x000000016b4a156e}, |
| /* x^19456 mod p(x)` << 1, x^19520 mod p(x)` << 1 */ |
| - .octa 0x00000001c63cfeb60000000098daee94 |
| - |
| + {0x0000000098daee94, 0x00000001c63cfeb6}, |
| /* x^18432 mod p(x)` << 1, x^18496 mod p(x)` << 1 */ |
| - .octa 0x000000015f902670000000010a04edea |
| - |
| + {0x000000010a04edea, 0x000000015f902670}, |
| /* x^17408 mod p(x)` << 1, x^17472 mod p(x)` << 1 */ |
| - .octa 0x00000001cd5de11e00000001c00b4524 |
| - |
| + {0x00000001c00b4524, 0x00000001cd5de11e}, |
| /* x^16384 mod p(x)` << 1, x^16448 mod p(x)` << 1 */ |
| - .octa 0x000000001acaec540000000170296550 |
| - |
| + {0x0000000170296550, 0x000000001acaec54}, |
| /* x^15360 mod p(x)` << 1, x^15424 mod p(x)` << 1 */ |
| - .octa 0x000000002bd0ca780000000181afaa48 |
| - |
| + {0x0000000181afaa48, 0x000000002bd0ca78}, |
| /* x^14336 mod p(x)` << 1, x^14400 mod p(x)` << 1 */ |
| - .octa 0x0000000032d63d5c0000000185a31ffa |
| - |
| + {0x0000000185a31ffa, 0x0000000032d63d5c}, |
| /* x^13312 mod p(x)` << 1, x^13376 mod p(x)` << 1 */ |
| - .octa 0x000000001c6d4e4c000000002469f608 |
| - |
| + {0x000000002469f608, 0x000000001c6d4e4c}, |
| /* x^12288 mod p(x)` << 1, x^12352 mod p(x)` << 1 */ |
| - .octa 0x0000000106a60b92000000006980102a |
| - |
| + {0x000000006980102a, 0x0000000106a60b92}, |
| /* x^11264 mod p(x)` << 1, x^11328 mod p(x)` << 1 */ |
| - .octa 0x00000000d3855e120000000111ea9ca8 |
| - |
| + {0x0000000111ea9ca8, 0x00000000d3855e12}, |
| /* x^10240 mod p(x)` << 1, x^10304 mod p(x)` << 1 */ |
| - .octa 0x00000000e312563600000001bd1d29ce |
| - |
| + {0x00000001bd1d29ce, 0x00000000e3125636}, |
| /* x^9216 mod p(x)` << 1, x^9280 mod p(x)` << 1 */ |
| - .octa 0x000000009e8f7ea400000001b34b9580 |
| - |
| + {0x00000001b34b9580, 0x000000009e8f7ea4}, |
| /* x^8192 mod p(x)` << 1, x^8256 mod p(x)` << 1 */ |
| - .octa 0x00000001c82e562c000000003076054e |
| - |
| + {0x000000003076054e, 0x00000001c82e562c}, |
| /* x^7168 mod p(x)` << 1, x^7232 mod p(x)` << 1 */ |
| - .octa 0x00000000ca9f09ce000000012a608ea4 |
| - |
| + {0x000000012a608ea4, 0x00000000ca9f09ce}, |
| /* x^6144 mod p(x)` << 1, x^6208 mod p(x)` << 1 */ |
| - .octa 0x00000000c63764e600000000784d05fe |
| - |
| + {0x00000000784d05fe, 0x00000000c63764e6}, |
| /* x^5120 mod p(x)` << 1, x^5184 mod p(x)` << 1 */ |
| - .octa 0x0000000168d2e49e000000016ef0d82a |
| - |
| + {0x000000016ef0d82a, 0x0000000168d2e49e}, |
| /* x^4096 mod p(x)` << 1, x^4160 mod p(x)` << 1 */ |
| - .octa 0x00000000e986c1480000000075bda454 |
| - |
| + {0x0000000075bda454, 0x00000000e986c148}, |
| /* x^3072 mod p(x)` << 1, x^3136 mod p(x)` << 1 */ |
| - .octa 0x00000000cfb65894000000003dc0a1c4 |
| - |
| + {0x000000003dc0a1c4, 0x00000000cfb65894}, |
| /* x^2048 mod p(x)` << 1, x^2112 mod p(x)` << 1 */ |
| - .octa 0x0000000111cadee400000000e9a5d8be |
| - |
| + {0x00000000e9a5d8be, 0x0000000111cadee4}, |
| /* x^1024 mod p(x)` << 1, x^1088 mod p(x)` << 1 */ |
| - .octa 0x0000000171fb63ce00000001609bc4b4 |
| - |
| - .short_constants : |
| - |
| - /* Reduce final 1024-2048 bits to 64 bits, shifting 32 bits to include |
| - the trailing 32 bits of zeros */ |
| - /* x^1952 mod p(x)`, x^1984 mod p(x)`, x^2016 mod p(x)`, x^2048 mod |
| - p(x)` */ |
| - .octa 0x7fec2963e5bf80485cf015c388e56f72 |
| - |
| - /* x^1824 mod p(x)`, x^1856 mod p(x)`, x^1888 mod p(x)`, x^1920 mod |
| - p(x)` */ |
| - .octa 0x38e888d4844752a9963a18920246e2e6 |
| - |
| - /* x^1696 mod p(x)`, x^1728 mod p(x)`, x^1760 mod p(x)`, x^1792 mod |
| - p(x)` */ |
| - .octa 0x42316c00730206ad419a441956993a31 |
| - |
| - /* x^1568 mod p(x)`, x^1600 mod p(x)`, x^1632 mod p(x)`, x^1664 mod |
| - p(x)` */ |
| - .octa 0x543d5c543e65ddf9924752ba2b830011 |
| - |
| - /* x^1440 mod p(x)`, x^1472 mod p(x)`, x^1504 mod p(x)`, x^1536 mod |
| - p(x)` */ |
| - .octa 0x78e87aaf56767c9255bd7f9518e4a304 |
| - |
| - /* x^1312 mod p(x)`, x^1344 mod p(x)`, x^1376 mod p(x)`, x^1408 mod |
| - p(x)` */ |
| - .octa 0x8f68fcec1903da7f6d76739fe0553f1e |
| - |
| - /* x^1184 mod p(x)`, x^1216 mod p(x)`, x^1248 mod p(x)`, x^1280 mod |
| - p(x)` */ |
| - .octa 0x3f4840246791d588c133722b1fe0b5c3 |
| - |
| - /* x^1056 mod p(x)`, x^1088 mod p(x)`, x^1120 mod p(x)`, x^1152 mod |
| - p(x)` */ |
| - .octa 0x34c96751b04de25a64b67ee0e55ef1f3 |
| - |
| - /* x^928 mod p(x)`, x^960 mod p(x)`, x^992 mod p(x)`, x^1024 mod p(x)` |
| - */ |
| - .octa 0x156c8e180b4a395b069db049b8fdb1e7 |
| - |
| - /* x^800 mod p(x)`, x^832 mod p(x)`, x^864 mod p(x)`, x^896 mod p(x)` */ |
| - .octa 0xe0b99ccbe661f7bea11bfaf3c9e90b9e |
| - |
| - /* x^672 mod p(x)`, x^704 mod p(x)`, x^736 mod p(x)`, x^768 mod p(x)` */ |
| - .octa 0x041d37768cd75659817cdc5119b29a35 |
| - |
| - /* x^544 mod p(x)`, x^576 mod p(x)`, x^608 mod p(x)`, x^640 mod p(x)` */ |
| - .octa 0x3a0777818cfaa9651ce9d94b36c41f1c |
| - |
| - /* x^416 mod p(x)`, x^448 mod p(x)`, x^480 mod p(x)`, x^512 mod p(x)` */ |
| - .octa 0x0e148e8252377a554f256efcb82be955 |
| - |
| - /* x^288 mod p(x)`, x^320 mod p(x)`, x^352 mod p(x)`, x^384 mod p(x)` */ |
| - .octa 0x9c25531d19e65ddeec1631edb2dea967 |
| - |
| - /* x^160 mod p(x)`, x^192 mod p(x)`, x^224 mod p(x)`, x^256 mod p(x)` */ |
| - .octa 0x790606ff9957c0a65d27e147510ac59a |
| + {0x00000001609bc4b4, 0x0000000171fb63ce} |
| +#else /* __LITTLE_ENDIAN__ */ |
| + /* x^261120 mod p(x)` << 1, x^261184 mod p(x)` << 1 */ |
| + {0x00000000b6ca9e20, 0x000000009c37c408}, |
| + /* x^260096 mod p(x)` << 1, x^260160 mod p(x)` << 1 */ |
| + {0x00000000350249a8, 0x00000001b51df26c}, |
| + /* x^259072 mod p(x)` << 1, x^259136 mod p(x)` << 1 */ |
| + {0x00000001862dac54, 0x000000000724b9d0}, |
| + /* x^258048 mod p(x)` << 1, x^258112 mod p(x)` << 1 */ |
| + {0x00000001d87fb48c, 0x00000001c00532fe}, |
| + /* x^257024 mod p(x)` << 1, x^257088 mod p(x)` << 1 */ |
| + {0x00000001f39b699e, 0x00000000f05a9362}, |
| + /* x^256000 mod p(x)` << 1, x^256064 mod p(x)` << 1 */ |
| + {0x0000000101da11b4, 0x00000001e1007970}, |
| + /* x^254976 mod p(x)` << 1, x^255040 mod p(x)` << 1 */ |
| + {0x00000001cab571e0, 0x00000000a57366ee}, |
| + /* x^253952 mod p(x)` << 1, x^254016 mod p(x)` << 1 */ |
| + {0x00000000c7020cfe, 0x0000000192011284}, |
| + /* x^252928 mod p(x)` << 1, x^252992 mod p(x)` << 1 */ |
| + {0x00000000cdaed1ae, 0x0000000162716d9a}, |
| + /* x^251904 mod p(x)` << 1, x^251968 mod p(x)` << 1 */ |
| + {0x00000001e804effc, 0x00000000cd97ecde}, |
| + /* x^250880 mod p(x)` << 1, x^250944 mod p(x)` << 1 */ |
| + {0x0000000077c3ea3a, 0x0000000058812bc0}, |
| + /* x^249856 mod p(x)` << 1, x^249920 mod p(x)` << 1 */ |
| + {0x0000000068df31b4, 0x0000000088b8c12e}, |
| + /* x^248832 mod p(x)` << 1, x^248896 mod p(x)` << 1 */ |
| + {0x00000000b059b6c2, 0x00000001230b234c}, |
| + /* x^247808 mod p(x)` << 1, x^247872 mod p(x)` << 1 */ |
| + {0x0000000145fb8ed8, 0x00000001120b416e}, |
| + /* x^246784 mod p(x)` << 1, x^246848 mod p(x)` << 1 */ |
| + {0x00000000cbc09168, 0x00000001974aecb0}, |
| + /* x^245760 mod p(x)` << 1, x^245824 mod p(x)` << 1 */ |
| + {0x000000005ceeedc2, 0x000000008ee3f226}, |
| + /* x^244736 mod p(x)` << 1, x^244800 mod p(x)` << 1 */ |
| + {0x0000000047d74e86, 0x00000001089aba9a}, |
| + /* x^243712 mod p(x)` << 1, x^243776 mod p(x)` << 1 */ |
| + {0x00000001407e9e22, 0x0000000065113872}, |
| + /* x^242688 mod p(x)` << 1, x^242752 mod p(x)` << 1 */ |
| + {0x00000001da967bda, 0x000000005c07ec10}, |
| + /* x^241664 mod p(x)` << 1, x^241728 mod p(x)` << 1 */ |
| + {0x000000006c898368, 0x0000000187590924}, |
| + /* x^240640 mod p(x)` << 1, x^240704 mod p(x)` << 1 */ |
| + {0x00000000f2d14c98, 0x00000000e35da7c6}, |
| + /* x^239616 mod p(x)` << 1, x^239680 mod p(x)` << 1 */ |
| + {0x00000001993c6ad4, 0x000000000415855a}, |
| + /* x^238592 mod p(x)` << 1, x^238656 mod p(x)` << 1 */ |
| + {0x000000014683d1ac, 0x0000000073617758}, |
| + /* x^237568 mod p(x)` << 1, x^237632 mod p(x)` << 1 */ |
| + {0x00000001a7c93e6c, 0x0000000176021d28}, |
| + /* x^236544 mod p(x)` << 1, x^236608 mod p(x)` << 1 */ |
| + {0x000000010211e90a, 0x00000001c358fd0a}, |
| + /* x^235520 mod p(x)` << 1, x^235584 mod p(x)` << 1 */ |
| + {0x000000001119403e, 0x00000001ff7a2c18}, |
| + /* x^234496 mod p(x)` << 1, x^234560 mod p(x)` << 1 */ |
| + {0x000000001c3261aa, 0x00000000f2d9f7e4}, |
| + /* x^233472 mod p(x)` << 1, x^233536 mod p(x)` << 1 */ |
| + {0x000000014e37a634, 0x000000016cf1f9c8}, |
| + /* x^232448 mod p(x)` << 1, x^232512 mod p(x)` << 1 */ |
| + {0x0000000073786c0c, 0x000000010af9279a}, |
| + /* x^231424 mod p(x)` << 1, x^231488 mod p(x)` << 1 */ |
| + {0x000000011dc037f8, 0x0000000004f101e8}, |
| + /* x^230400 mod p(x)` << 1, x^230464 mod p(x)` << 1 */ |
| + {0x0000000031433dfc, 0x0000000070bcf184}, |
| + /* x^229376 mod p(x)` << 1, x^229440 mod p(x)` << 1 */ |
| + {0x000000009cde8348, 0x000000000a8de642}, |
| + /* x^228352 mod p(x)` << 1, x^228416 mod p(x)` << 1 */ |
| + {0x0000000038d3c2a6, 0x0000000062ea130c}, |
| + /* x^227328 mod p(x)` << 1, x^227392 mod p(x)` << 1 */ |
| + {0x000000011b25f260, 0x00000001eb31cbb2}, |
| + /* x^226304 mod p(x)` << 1, x^226368 mod p(x)` << 1 */ |
| + {0x000000001629e6f0, 0x0000000170783448}, |
| + /* x^225280 mod p(x)` << 1, x^225344 mod p(x)` << 1 */ |
| + {0x0000000160838b4c, 0x00000001a684b4c6}, |
| + /* x^224256 mod p(x)` << 1, x^224320 mod p(x)` << 1 */ |
| + {0x000000007a44011c, 0x00000000253ca5b4}, |
| + /* x^223232 mod p(x)` << 1, x^223296 mod p(x)` << 1 */ |
| + {0x00000000226f417a, 0x0000000057b4b1e2}, |
| + /* x^222208 mod p(x)` << 1, x^222272 mod p(x)` << 1 */ |
| + {0x0000000045eb2eb4, 0x00000000b6bd084c}, |
| + /* x^221184 mod p(x)` << 1, x^221248 mod p(x)` << 1 */ |
| + {0x000000014459d70c, 0x0000000123c2d592}, |
| + /* x^220160 mod p(x)` << 1, x^220224 mod p(x)` << 1 */ |
| + {0x00000001d406ed82, 0x00000000159dafce}, |
| + /* x^219136 mod p(x)` << 1, x^219200 mod p(x)` << 1 */ |
| + {0x0000000160c8e1a8, 0x0000000127e1a64e}, |
| + /* x^218112 mod p(x)` << 1, x^218176 mod p(x)` << 1 */ |
| + {0x0000000027ba8098, 0x0000000056860754}, |
| + /* x^217088 mod p(x)` << 1, x^217152 mod p(x)` << 1 */ |
| + {0x000000006d92d018, 0x00000001e661aae8}, |
| + /* x^216064 mod p(x)` << 1, x^216128 mod p(x)` << 1 */ |
| + {0x000000012ed7e3f2, 0x00000000f82c6166}, |
| + /* x^215040 mod p(x)` << 1, x^215104 mod p(x)` << 1 */ |
| + {0x000000002dc87788, 0x00000000c4f9c7ae}, |
| + /* x^214016 mod p(x)` << 1, x^214080 mod p(x)` << 1 */ |
| + {0x0000000018240bb8, 0x0000000074203d20}, |
| + /* x^212992 mod p(x)` << 1, x^213056 mod p(x)` << 1 */ |
| + {0x000000001ad38158, 0x0000000198173052}, |
| + /* x^211968 mod p(x)` << 1, x^212032 mod p(x)` << 1 */ |
| + {0x00000001396b78f2, 0x00000001ce8aba54}, |
| + /* x^210944 mod p(x)` << 1, x^211008 mod p(x)` << 1 */ |
| + {0x000000011a681334, 0x00000001850d5d94}, |
| + /* x^209920 mod p(x)` << 1, x^209984 mod p(x)` << 1 */ |
| + {0x000000012104732e, 0x00000001d609239c}, |
| + /* x^208896 mod p(x)` << 1, x^208960 mod p(x)` << 1 */ |
| + {0x00000000a140d90c, 0x000000001595f048}, |
| + /* x^207872 mod p(x)` << 1, x^207936 mod p(x)` << 1 */ |
| + {0x00000001b7215eda, 0x0000000042ccee08}, |
| + /* x^206848 mod p(x)` << 1, x^206912 mod p(x)` << 1 */ |
| + {0x00000001aaf1df3c, 0x000000010a389d74}, |
| + /* x^205824 mod p(x)` << 1, x^205888 mod p(x)` << 1 */ |
| + {0x0000000029d15b8a, 0x000000012a840da6}, |
| + /* x^204800 mod p(x)` << 1, x^204864 mod p(x)` << 1 */ |
| + {0x00000000f1a96922, 0x000000001d181c0c}, |
| + /* x^203776 mod p(x)` << 1, x^203840 mod p(x)` << 1 */ |
| + {0x00000001ac80d03c, 0x0000000068b7d1f6}, |
| + /* x^202752 mod p(x)` << 1, x^202816 mod p(x)` << 1 */ |
| + {0x000000000f11d56a, 0x000000005b0f14fc}, |
| + /* x^201728 mod p(x)` << 1, x^201792 mod p(x)` << 1 */ |
| + {0x00000001f1c022a2, 0x0000000179e9e730}, |
| + /* x^200704 mod p(x)` << 1, x^200768 mod p(x)` << 1 */ |
| + {0x0000000173d00ae2, 0x00000001ce1368d6}, |
| + /* x^199680 mod p(x)` << 1, x^199744 mod p(x)` << 1 */ |
| + {0x00000001d4ffe4ac, 0x0000000112c3a84c}, |
| + /* x^198656 mod p(x)` << 1, x^198720 mod p(x)` << 1 */ |
| + {0x000000016edc5ae4, 0x00000000de940fee}, |
| + /* x^197632 mod p(x)` << 1, x^197696 mod p(x)` << 1 */ |
| + {0x00000001f1a02140, 0x00000000fe896b7e}, |
| + /* x^196608 mod p(x)` << 1, x^196672 mod p(x)` << 1 */ |
| + {0x00000000ca0b28a0, 0x00000001f797431c}, |
| + /* x^195584 mod p(x)` << 1, x^195648 mod p(x)` << 1 */ |
| + {0x00000001928e30a2, 0x0000000053e989ba}, |
| + /* x^194560 mod p(x)` << 1, x^194624 mod p(x)` << 1 */ |
| + {0x0000000097b1b002, 0x000000003920cd16}, |
| + /* x^193536 mod p(x)` << 1, x^193600 mod p(x)` << 1 */ |
| + {0x00000000b15bf906, 0x00000001e6f579b8}, |
| + /* x^192512 mod p(x)` << 1, x^192576 mod p(x)` << 1 */ |
| + {0x00000000411c5d52, 0x000000007493cb0a}, |
| + /* x^191488 mod p(x)` << 1, x^191552 mod p(x)` << 1 */ |
| + {0x00000001c36f3300, 0x00000001bdd376d8}, |
| + /* x^190464 mod p(x)` << 1, x^190528 mod p(x)` << 1 */ |
| + {0x00000001119227e0, 0x000000016badfee6}, |
| + /* x^189440 mod p(x)` << 1, x^189504 mod p(x)` << 1 */ |
| + {0x00000000114d4702, 0x0000000071de5c58}, |
| + /* x^188416 mod p(x)` << 1, x^188480 mod p(x)` << 1 */ |
| + {0x00000000458b5b98, 0x00000000453f317c}, |
| + /* x^187392 mod p(x)` << 1, x^187456 mod p(x)` << 1 */ |
| + {0x000000012e31fb8e, 0x0000000121675cce}, |
| + /* x^186368 mod p(x)` << 1, x^186432 mod p(x)` << 1 */ |
| + {0x000000005cf619d8, 0x00000001f409ee92}, |
| + /* x^185344 mod p(x)` << 1, x^185408 mod p(x)` << 1 */ |
| + {0x0000000063f4d8b2, 0x00000000f36b9c88}, |
| + /* x^184320 mod p(x)` << 1, x^184384 mod p(x)` << 1 */ |
| + {0x000000004138dc8a, 0x0000000036b398f4}, |
| + /* x^183296 mod p(x)` << 1, x^183360 mod p(x)` << 1 */ |
| + {0x00000001d29ee8e0, 0x00000001748f9adc}, |
| + /* x^182272 mod p(x)` << 1, x^182336 mod p(x)` << 1 */ |
| + {0x000000006a08ace8, 0x00000001be94ec00}, |
| + /* x^181248 mod p(x)` << 1, x^181312 mod p(x)` << 1 */ |
| + {0x0000000127d42010, 0x00000000b74370d6}, |
| + /* x^180224 mod p(x)` << 1, x^180288 mod p(x)` << 1 */ |
| + {0x0000000019d76b62, 0x00000001174d0b98}, |
| + /* x^179200 mod p(x)` << 1, x^179264 mod p(x)` << 1 */ |
| + {0x00000001b1471f6e, 0x00000000befc06a4}, |
| + /* x^178176 mod p(x)` << 1, x^178240 mod p(x)` << 1 */ |
| + {0x00000001f64c19cc, 0x00000001ae125288}, |
| + /* x^177152 mod p(x)` << 1, x^177216 mod p(x)` << 1 */ |
| + {0x00000000003c0ea0, 0x0000000095c19b34}, |
| + /* x^176128 mod p(x)` << 1, x^176192 mod p(x)` << 1 */ |
| + {0x000000014d73abf6, 0x00000001a78496f2}, |
| + /* x^175104 mod p(x)` << 1, x^175168 mod p(x)` << 1 */ |
| + {0x00000001620eb844, 0x00000001ac5390a0}, |
| + /* x^174080 mod p(x)` << 1, x^174144 mod p(x)` << 1 */ |
| + {0x0000000147655048, 0x000000002a80ed6e}, |
| + /* x^173056 mod p(x)` << 1, x^173120 mod p(x)` << 1 */ |
| + {0x0000000067b5077e, 0x00000001fa9b0128}, |
| + /* x^172032 mod p(x)` << 1, x^172096 mod p(x)` << 1 */ |
| + {0x0000000010ffe206, 0x00000001ea94929e}, |
| + /* x^171008 mod p(x)` << 1, x^171072 mod p(x)` << 1 */ |
| + {0x000000000fee8f1e, 0x0000000125f4305c}, |
| + /* x^169984 mod p(x)` << 1, x^170048 mod p(x)` << 1 */ |
| + {0x00000001da26fbae, 0x00000001471e2002}, |
| + /* x^168960 mod p(x)` << 1, x^169024 mod p(x)` << 1 */ |
| + {0x00000001b3a8bd88, 0x0000000132d2253a}, |
| + /* x^167936 mod p(x)` << 1, x^168000 mod p(x)` << 1 */ |
| + {0x00000000e8f3898e, 0x00000000f26b3592}, |
| + /* x^166912 mod p(x)` << 1, x^166976 mod p(x)` << 1 */ |
| + {0x00000000b0d0d28c, 0x00000000bc8b67b0}, |
| + /* x^165888 mod p(x)` << 1, x^165952 mod p(x)` << 1 */ |
| + {0x0000000030f2a798, 0x000000013a826ef2}, |
| + /* x^164864 mod p(x)` << 1, x^164928 mod p(x)` << 1 */ |
| + {0x000000000fba1002, 0x0000000081482c84}, |
| + /* x^163840 mod p(x)` << 1, x^163904 mod p(x)` << 1 */ |
| + {0x00000000bdb9bd72, 0x00000000e77307c2}, |
| + /* x^162816 mod p(x)` << 1, x^162880 mod p(x)` << 1 */ |
| + {0x0000000075d3bf5a, 0x00000000d4a07ec8}, |
| + /* x^161792 mod p(x)` << 1, x^161856 mod p(x)` << 1 */ |
| + {0x00000000ef1f98a0, 0x0000000017102100}, |
| + /* x^160768 mod p(x)` << 1, x^160832 mod p(x)` << 1 */ |
| + {0x00000000689c7602, 0x00000000db406486}, |
| + /* x^159744 mod p(x)` << 1, x^159808 mod p(x)` << 1 */ |
| + {0x000000016d5fa5fe, 0x0000000192db7f88}, |
| + /* x^158720 mod p(x)` << 1, x^158784 mod p(x)` << 1 */ |
| + {0x00000001d0d2b9ca, 0x000000018bf67b1e}, |
| + /* x^157696 mod p(x)` << 1, x^157760 mod p(x)` << 1 */ |
| + {0x0000000041e7b470, 0x000000007c09163e}, |
| + /* x^156672 mod p(x)` << 1, x^156736 mod p(x)` << 1 */ |
| + {0x00000001cbb6495e, 0x000000000adac060}, |
| + /* x^155648 mod p(x)` << 1, x^155712 mod p(x)` << 1 */ |
| + {0x000000010052a0b0, 0x00000000bd8316ae}, |
| + /* x^154624 mod p(x)` << 1, x^154688 mod p(x)` << 1 */ |
| + {0x00000001d8effb5c, 0x000000019f09ab54}, |
| + /* x^153600 mod p(x)` << 1, x^153664 mod p(x)` << 1 */ |
| + {0x00000001d969853c, 0x0000000125155542}, |
| + /* x^152576 mod p(x)` << 1, x^152640 mod p(x)` << 1 */ |
| + {0x00000000523ccce2, 0x000000018fdb5882}, |
| + /* x^151552 mod p(x)` << 1, x^151616 mod p(x)` << 1 */ |
| + {0x000000001e2436bc, 0x00000000e794b3f4}, |
| + /* x^150528 mod p(x)` << 1, x^150592 mod p(x)` << 1 */ |
| + {0x00000000ddd1c3a2, 0x000000016f9bb022}, |
| + /* x^149504 mod p(x)` << 1, x^149568 mod p(x)` << 1 */ |
| + {0x0000000019fcfe38, 0x00000000290c9978}, |
| + /* x^148480 mod p(x)` << 1, x^148544 mod p(x)` << 1 */ |
| + {0x00000001ce95db64, 0x0000000083c0f350}, |
| + /* x^147456 mod p(x)` << 1, x^147520 mod p(x)` << 1 */ |
| + {0x00000000af582806, 0x0000000173ea6628}, |
| + /* x^146432 mod p(x)` << 1, x^146496 mod p(x)` << 1 */ |
| + {0x00000001006388f6, 0x00000001c8b4e00a}, |
| + /* x^145408 mod p(x)` << 1, x^145472 mod p(x)` << 1 */ |
| + {0x0000000179eca00a, 0x00000000de95d6aa}, |
| + /* x^144384 mod p(x)` << 1, x^144448 mod p(x)` << 1 */ |
| + {0x0000000122410a6a, 0x000000010b7f7248}, |
| + /* x^143360 mod p(x)` << 1, x^143424 mod p(x)` << 1 */ |
| + {0x000000004288e87c, 0x00000001326e3a06}, |
| + /* x^142336 mod p(x)` << 1, x^142400 mod p(x)` << 1 */ |
| + {0x000000016c5490da, 0x00000000bb62c2e6}, |
| + /* x^141312 mod p(x)` << 1, x^141376 mod p(x)` << 1 */ |
| + {0x00000000d1c71f6e, 0x0000000156a4b2c2}, |
| + /* x^140288 mod p(x)` << 1, x^140352 mod p(x)` << 1 */ |
| + {0x00000001b4ce08a6, 0x000000011dfe763a}, |
| + /* x^139264 mod p(x)` << 1, x^139328 mod p(x)` << 1 */ |
| + {0x00000001466ba60c, 0x000000007bcca8e2}, |
| + /* x^138240 mod p(x)` << 1, x^138304 mod p(x)` << 1 */ |
| + {0x00000001f6c488a4, 0x0000000186118faa}, |
| + /* x^137216 mod p(x)` << 1, x^137280 mod p(x)` << 1 */ |
| + {0x000000013bfb0682, 0x0000000111a65a88}, |
| + /* x^136192 mod p(x)` << 1, x^136256 mod p(x)` << 1 */ |
| + {0x00000000690e9e54, 0x000000003565e1c4}, |
| + /* x^135168 mod p(x)` << 1, x^135232 mod p(x)` << 1 */ |
| + {0x00000000281346b6, 0x000000012ed02a82}, |
| + /* x^134144 mod p(x)` << 1, x^134208 mod p(x)` << 1 */ |
| + {0x0000000156464024, 0x00000000c486ecfc}, |
| + /* x^133120 mod p(x)` << 1, x^133184 mod p(x)` << 1 */ |
| + {0x000000016063a8dc, 0x0000000001b951b2}, |
| + /* x^132096 mod p(x)` << 1, x^132160 mod p(x)` << 1 */ |
| + {0x0000000116a66362, 0x0000000048143916}, |
| + /* x^131072 mod p(x)` << 1, x^131136 mod p(x)` << 1 */ |
| + {0x000000017e8aa4d2, 0x00000001dc2ae124}, |
| + /* x^130048 mod p(x)` << 1, x^130112 mod p(x)` << 1 */ |
| + {0x00000001728eb10c, 0x00000001416c58d6}, |
| + /* x^129024 mod p(x)` << 1, x^129088 mod p(x)` << 1 */ |
| + {0x00000001b08fd7fa, 0x00000000a479744a}, |
| + /* x^128000 mod p(x)` << 1, x^128064 mod p(x)` << 1 */ |
| + {0x00000001092a16e8, 0x0000000096ca3a26}, |
| + /* x^126976 mod p(x)` << 1, x^127040 mod p(x)` << 1 */ |
| + {0x00000000a505637c, 0x00000000ff223d4e}, |
| + /* x^125952 mod p(x)` << 1, x^126016 mod p(x)` << 1 */ |
| + {0x00000000d94869b2, 0x000000010e84da42}, |
| + /* x^124928 mod p(x)` << 1, x^124992 mod p(x)` << 1 */ |
| + {0x00000001c8b203ae, 0x00000001b61ba3d0}, |
| + /* x^123904 mod p(x)` << 1, x^123968 mod p(x)` << 1 */ |
| + {0x000000005704aea0, 0x00000000680f2de8}, |
| + /* x^122880 mod p(x)` << 1, x^122944 mod p(x)` << 1 */ |
| + {0x000000012e295fa2, 0x000000008772a9a8}, |
| + /* x^121856 mod p(x)` << 1, x^121920 mod p(x)` << 1 */ |
| + {0x000000011d0908bc, 0x0000000155f295bc}, |
| + /* x^120832 mod p(x)` << 1, x^120896 mod p(x)` << 1 */ |
| + {0x0000000193ed97ea, 0x00000000595f9282}, |
| + /* x^119808 mod p(x)` << 1, x^119872 mod p(x)` << 1 */ |
| + {0x000000013a0f1c52, 0x0000000164b1c25a}, |
| + /* x^118784 mod p(x)` << 1, x^118848 mod p(x)` << 1 */ |
| + {0x000000010c2c40c0, 0x00000000fbd67c50}, |
| + /* x^117760 mod p(x)` << 1, x^117824 mod p(x)` << 1 */ |
| + {0x00000000ff6fac3e, 0x0000000096076268}, |
| + /* x^116736 mod p(x)` << 1, x^116800 mod p(x)` << 1 */ |
| + {0x000000017b3609c0, 0x00000001d288e4cc}, |
| + /* x^115712 mod p(x)` << 1, x^115776 mod p(x)` << 1 */ |
| + {0x0000000088c8c922, 0x00000001eaac1bdc}, |
| + /* x^114688 mod p(x)` << 1, x^114752 mod p(x)` << 1 */ |
| + {0x00000001751baae6, 0x00000001f1ea39e2}, |
| + /* x^113664 mod p(x)` << 1, x^113728 mod p(x)` << 1 */ |
| + {0x0000000107952972, 0x00000001eb6506fc}, |
| + /* x^112640 mod p(x)` << 1, x^112704 mod p(x)` << 1 */ |
| + {0x0000000162b00abe, 0x000000010f806ffe}, |
| + /* x^111616 mod p(x)` << 1, x^111680 mod p(x)` << 1 */ |
| + {0x000000000d7b404c, 0x000000010408481e}, |
| + /* x^110592 mod p(x)` << 1, x^110656 mod p(x)` << 1 */ |
| + {0x00000000763b13d4, 0x0000000188260534}, |
| + /* x^109568 mod p(x)` << 1, x^109632 mod p(x)` << 1 */ |
| + {0x00000000f6dc22d8, 0x0000000058fc73e0}, |
| + /* x^108544 mod p(x)` << 1, x^108608 mod p(x)` << 1 */ |
| + {0x000000007daae060, 0x00000000391c59b8}, |
| + /* x^107520 mod p(x)` << 1, x^107584 mod p(x)` << 1 */ |
| + {0x000000013359ab7c, 0x000000018b638400}, |
| + /* x^106496 mod p(x)` << 1, x^106560 mod p(x)` << 1 */ |
| + {0x000000008add438a, 0x000000011738f5c4}, |
| + /* x^105472 mod p(x)` << 1, x^105536 mod p(x)` << 1 */ |
| + {0x00000001edbefdea, 0x000000008cf7c6da}, |
| + /* x^104448 mod p(x)` << 1, x^104512 mod p(x)` << 1 */ |
| + {0x000000004104e0f8, 0x00000001ef97fb16}, |
| + /* x^103424 mod p(x)` << 1, x^103488 mod p(x)` << 1 */ |
| + {0x00000000b48a8222, 0x0000000102130e20}, |
| + /* x^102400 mod p(x)` << 1, x^102464 mod p(x)` << 1 */ |
| + {0x00000001bcb46844, 0x00000000db968898}, |
| + /* x^101376 mod p(x)` << 1, x^101440 mod p(x)` << 1 */ |
| + {0x000000013293ce0a, 0x00000000b5047b5e}, |
| + /* x^100352 mod p(x)` << 1, x^100416 mod p(x)` << 1 */ |
| + {0x00000001710d0844, 0x000000010b90fdb2}, |
| + /* x^99328 mod p(x)` << 1, x^99392 mod p(x)` << 1 */ |
| + {0x0000000117907f6e, 0x000000004834a32e}, |
| + /* x^98304 mod p(x)` << 1, x^98368 mod p(x)` << 1 */ |
| + {0x0000000087ddf93e, 0x0000000059c8f2b0}, |
| + /* x^97280 mod p(x)` << 1, x^97344 mod p(x)` << 1 */ |
| + {0x000000005970e9b0, 0x0000000122cec508}, |
| + /* x^96256 mod p(x)` << 1, x^96320 mod p(x)` << 1 */ |
| + {0x0000000185b2b7d0, 0x000000000a330cda}, |
| + /* x^95232 mod p(x)` << 1, x^95296 mod p(x)` << 1 */ |
| + {0x00000001dcee0efc, 0x000000014a47148c}, |
| + /* x^94208 mod p(x)` << 1, x^94272 mod p(x)` << 1 */ |
| + {0x0000000030da2722, 0x0000000042c61cb8}, |
| + /* x^93184 mod p(x)` << 1, x^93248 mod p(x)` << 1 */ |
| + {0x000000012f925a18, 0x0000000012fe6960}, |
| + /* x^92160 mod p(x)` << 1, x^92224 mod p(x)` << 1 */ |
| + {0x00000000dd2e357c, 0x00000000dbda2c20}, |
| + /* x^91136 mod p(x)` << 1, x^91200 mod p(x)` << 1 */ |
| + {0x00000000071c80de, 0x000000011122410c}, |
| + /* x^90112 mod p(x)` << 1, x^90176 mod p(x)` << 1 */ |
| + {0x000000011513140a, 0x00000000977b2070}, |
| + /* x^89088 mod p(x)` << 1, x^89152 mod p(x)` << 1 */ |
| + {0x00000001df876e8e, 0x000000014050438e}, |
| + /* x^88064 mod p(x)` << 1, x^88128 mod p(x)` << 1 */ |
| + {0x000000015f81d6ce, 0x0000000147c840e8}, |
| + /* x^87040 mod p(x)` << 1, x^87104 mod p(x)` << 1 */ |
| + {0x000000019dd94dbe, 0x00000001cc7c88ce}, |
| + /* x^86016 mod p(x)` << 1, x^86080 mod p(x)` << 1 */ |
| + {0x00000001373d206e, 0x00000001476b35a4}, |
| + /* x^84992 mod p(x)` << 1, x^85056 mod p(x)` << 1 */ |
| + {0x00000000668ccade, 0x000000013d52d508}, |
| + /* x^83968 mod p(x)` << 1, x^84032 mod p(x)` << 1 */ |
| + {0x00000001b192d268, 0x000000008e4be32e}, |
| + /* x^82944 mod p(x)` << 1, x^83008 mod p(x)` << 1 */ |
| + {0x00000000e30f3a78, 0x00000000024120fe}, |
| + /* x^81920 mod p(x)` << 1, x^81984 mod p(x)` << 1 */ |
| + {0x000000010ef1f7bc, 0x00000000ddecddb4}, |
| + /* x^80896 mod p(x)` << 1, x^80960 mod p(x)` << 1 */ |
| + {0x00000001f5ac7380, 0x00000000d4d403bc}, |
| + /* x^79872 mod p(x)` << 1, x^79936 mod p(x)` << 1 */ |
| + {0x000000011822ea70, 0x00000001734b89aa}, |
| + /* x^78848 mod p(x)` << 1, x^78912 mod p(x)` << 1 */ |
| + {0x00000000c3a33848, 0x000000010e7a58d6}, |
| + /* x^77824 mod p(x)` << 1, x^77888 mod p(x)` << 1 */ |
| + {0x00000001bd151c24, 0x00000001f9f04e9c}, |
| + /* x^76800 mod p(x)` << 1, x^76864 mod p(x)` << 1 */ |
| + {0x0000000056002d76, 0x00000000b692225e}, |
| + /* x^75776 mod p(x)` << 1, x^75840 mod p(x)` << 1 */ |
| + {0x000000014657c4f4, 0x000000019b8d3f3e}, |
| + /* x^74752 mod p(x)` << 1, x^74816 mod p(x)` << 1 */ |
| + {0x0000000113742d7c, 0x00000001a874f11e}, |
| + /* x^73728 mod p(x)` << 1, x^73792 mod p(x)` << 1 */ |
| + {0x000000019c5920ba, 0x000000010d5a4254}, |
| + /* x^72704 mod p(x)` << 1, x^72768 mod p(x)` << 1 */ |
| + {0x000000005216d2d6, 0x00000000bbb2f5d6}, |
| + /* x^71680 mod p(x)` << 1, x^71744 mod p(x)` << 1 */ |
| + {0x0000000136f5ad8a, 0x0000000179cc0e36}, |
| + /* x^70656 mod p(x)` << 1, x^70720 mod p(x)` << 1 */ |
| + {0x000000018b07beb6, 0x00000001dca1da4a}, |
| + /* x^69632 mod p(x)` << 1, x^69696 mod p(x)` << 1 */ |
| + {0x00000000db1e93b0, 0x00000000feb1a192}, |
| + /* x^68608 mod p(x)` << 1, x^68672 mod p(x)` << 1 */ |
| + {0x000000000b96fa3a, 0x00000000d1eeedd6}, |
| + /* x^67584 mod p(x)` << 1, x^67648 mod p(x)` << 1 */ |
| + {0x00000001d9968af0, 0x000000008fad9bb4}, |
| + /* x^66560 mod p(x)` << 1, x^66624 mod p(x)` << 1 */ |
| + {0x000000000e4a77a2, 0x00000001884938e4}, |
| + /* x^65536 mod p(x)` << 1, x^65600 mod p(x)` << 1 */ |
| + {0x00000000508c2ac8, 0x00000001bc2e9bc0}, |
| + /* x^64512 mod p(x)` << 1, x^64576 mod p(x)` << 1 */ |
| + {0x0000000021572a80, 0x00000001f9658a68}, |
| + /* x^63488 mod p(x)` << 1, x^63552 mod p(x)` << 1 */ |
| + {0x00000001b859daf2, 0x000000001b9224fc}, |
| + /* x^62464 mod p(x)` << 1, x^62528 mod p(x)` << 1 */ |
| + {0x000000016f788474, 0x0000000055b2fb84}, |
| + /* x^61440 mod p(x)` << 1, x^61504 mod p(x)` << 1 */ |
| + {0x00000001b438810e, 0x000000018b090348}, |
| + /* x^60416 mod p(x)` << 1, x^60480 mod p(x)` << 1 */ |
| + {0x0000000095ddc6f2, 0x000000011ccbd5ea}, |
| + /* x^59392 mod p(x)` << 1, x^59456 mod p(x)` << 1 */ |
| + {0x00000001d977c20c, 0x0000000007ae47f8}, |
| + /* x^58368 mod p(x)` << 1, x^58432 mod p(x)` << 1 */ |
| + {0x00000000ebedb99a, 0x0000000172acbec0}, |
| + /* x^57344 mod p(x)` << 1, x^57408 mod p(x)` << 1 */ |
| + {0x00000001df9e9e92, 0x00000001c6e3ff20}, |
| + /* x^56320 mod p(x)` << 1, x^56384 mod p(x)` << 1 */ |
| + {0x00000001a4a3f952, 0x00000000e1b38744}, |
| + /* x^55296 mod p(x)` << 1, x^55360 mod p(x)` << 1 */ |
| + {0x00000000e2f51220, 0x00000000791585b2}, |
| + /* x^54272 mod p(x)` << 1, x^54336 mod p(x)` << 1 */ |
| + {0x000000004aa01f3e, 0x00000000ac53b894}, |
| + /* x^53248 mod p(x)` << 1, x^53312 mod p(x)` << 1 */ |
| + {0x00000000b3e90a58, 0x00000001ed5f2cf4}, |
| + /* x^52224 mod p(x)` << 1, x^52288 mod p(x)` << 1 */ |
| + {0x000000000c9ca2aa, 0x00000001df48b2e0}, |
| + /* x^51200 mod p(x)` << 1, x^51264 mod p(x)` << 1 */ |
| + {0x0000000151682316, 0x00000000049c1c62}, |
| + /* x^50176 mod p(x)` << 1, x^50240 mod p(x)` << 1 */ |
| + {0x0000000036fce78c, 0x000000017c460c12}, |
| + /* x^49152 mod p(x)` << 1, x^49216 mod p(x)` << 1 */ |
| + {0x000000009037dc10, 0x000000015be4da7e}, |
| + /* x^48128 mod p(x)` << 1, x^48192 mod p(x)` << 1 */ |
| + {0x00000000d3298582, 0x000000010f38f668}, |
| + /* x^47104 mod p(x)` << 1, x^47168 mod p(x)` << 1 */ |
| + {0x00000001b42e8ad6, 0x0000000039f40a00}, |
| + /* x^46080 mod p(x)` << 1, x^46144 mod p(x)` << 1 */ |
| + {0x00000000142a9838, 0x00000000bd4c10c4}, |
| + /* x^45056 mod p(x)` << 1, x^45120 mod p(x)` << 1 */ |
| + {0x0000000109c7f190, 0x0000000042db1d98}, |
| + /* x^44032 mod p(x)` << 1, x^44096 mod p(x)` << 1 */ |
| + {0x0000000056ff9310, 0x00000001c905bae6}, |
| + /* x^43008 mod p(x)` << 1, x^43072 mod p(x)` << 1 */ |
| + {0x00000001594513aa, 0x00000000069d40ea}, |
| + /* x^41984 mod p(x)` << 1, x^42048 mod p(x)` << 1 */ |
| + {0x00000001e3b5b1e8, 0x000000008e4fbad0}, |
| + /* x^40960 mod p(x)` << 1, x^41024 mod p(x)` << 1 */ |
| + {0x000000011dd5fc08, 0x0000000047bedd46}, |
| + /* x^39936 mod p(x)` << 1, x^40000 mod p(x)` << 1 */ |
| + {0x00000001675f0cc2, 0x0000000026396bf8}, |
| + /* x^38912 mod p(x)` << 1, x^38976 mod p(x)` << 1 */ |
| + {0x00000000d1c8dd44, 0x00000000379beb92}, |
| + /* x^37888 mod p(x)` << 1, x^37952 mod p(x)` << 1 */ |
| + {0x0000000115ebd3d8, 0x000000000abae54a}, |
| + /* x^36864 mod p(x)` << 1, x^36928 mod p(x)` << 1 */ |
| + {0x00000001ecbd0dac, 0x0000000007e6a128}, |
| + /* x^35840 mod p(x)` << 1, x^35904 mod p(x)` << 1 */ |
| + {0x00000000cdf67af2, 0x000000000ade29d2}, |
| + /* x^34816 mod p(x)` << 1, x^34880 mod p(x)` << 1 */ |
| + {0x000000004c01ff4c, 0x00000000f974c45c}, |
| + /* x^33792 mod p(x)` << 1, x^33856 mod p(x)` << 1 */ |
| + {0x00000000f2d8657e, 0x00000000e77ac60a}, |
| + /* x^32768 mod p(x)` << 1, x^32832 mod p(x)` << 1 */ |
| + {0x000000006bae74c4, 0x0000000145895816}, |
| + /* x^31744 mod p(x)` << 1, x^31808 mod p(x)` << 1 */ |
| + {0x0000000152af8aa0, 0x0000000038e362be}, |
| + /* x^30720 mod p(x)` << 1, x^30784 mod p(x)` << 1 */ |
| + {0x0000000004663802, 0x000000007f991a64}, |
| + /* x^29696 mod p(x)` << 1, x^29760 mod p(x)` << 1 */ |
| + {0x00000001ab2f5afc, 0x00000000fa366d3a}, |
| + /* x^28672 mod p(x)` << 1, x^28736 mod p(x)` << 1 */ |
| + {0x0000000074a4ebd4, 0x00000001a2bb34f0}, |
| + /* x^27648 mod p(x)` << 1, x^27712 mod p(x)` << 1 */ |
| + {0x00000001d7ab3a4c, 0x0000000028a9981e}, |
| + /* x^26624 mod p(x)` << 1, x^26688 mod p(x)` << 1 */ |
| + {0x00000001a8da60c6, 0x00000001dbc672be}, |
| + /* x^25600 mod p(x)` << 1, x^25664 mod p(x)` << 1 */ |
| + {0x000000013cf63820, 0x00000000b04d77f6}, |
| + /* x^24576 mod p(x)` << 1, x^24640 mod p(x)` << 1 */ |
| + {0x00000000bec12e1e, 0x0000000124400d96}, |
| + /* x^23552 mod p(x)` << 1, x^23616 mod p(x)` << 1 */ |
| + {0x00000001c6368010, 0x000000014ca4b414}, |
| + /* x^22528 mod p(x)` << 1, x^22592 mod p(x)` << 1 */ |
| + {0x00000001e6e78758, 0x000000012fe2c938}, |
| + /* x^21504 mod p(x)` << 1, x^21568 mod p(x)` << 1 */ |
| + {0x000000008d7f2b3c, 0x00000001faed01e6}, |
| + /* x^20480 mod p(x)` << 1, x^20544 mod p(x)` << 1 */ |
| + {0x000000016b4a156e, 0x000000007e80ecfe}, |
| + /* x^19456 mod p(x)` << 1, x^19520 mod p(x)` << 1 */ |
| + {0x00000001c63cfeb6, 0x0000000098daee94}, |
| + /* x^18432 mod p(x)` << 1, x^18496 mod p(x)` << 1 */ |
| + {0x000000015f902670, 0x000000010a04edea}, |
| + /* x^17408 mod p(x)` << 1, x^17472 mod p(x)` << 1 */ |
| + {0x00000001cd5de11e, 0x00000001c00b4524}, |
| + /* x^16384 mod p(x)` << 1, x^16448 mod p(x)` << 1 */ |
| + {0x000000001acaec54, 0x0000000170296550}, |
| + /* x^15360 mod p(x)` << 1, x^15424 mod p(x)` << 1 */ |
| + {0x000000002bd0ca78, 0x0000000181afaa48}, |
| + /* x^14336 mod p(x)` << 1, x^14400 mod p(x)` << 1 */ |
| + {0x0000000032d63d5c, 0x0000000185a31ffa}, |
| + /* x^13312 mod p(x)` << 1, x^13376 mod p(x)` << 1 */ |
| + {0x000000001c6d4e4c, 0x000000002469f608}, |
| + /* x^12288 mod p(x)` << 1, x^12352 mod p(x)` << 1 */ |
| + {0x0000000106a60b92, 0x000000006980102a}, |
| + /* x^11264 mod p(x)` << 1, x^11328 mod p(x)` << 1 */ |
| + {0x00000000d3855e12, 0x0000000111ea9ca8}, |
| + /* x^10240 mod p(x)` << 1, x^10304 mod p(x)` << 1 */ |
| + {0x00000000e3125636, 0x00000001bd1d29ce}, |
| + /* x^9216 mod p(x)` << 1, x^9280 mod p(x)` << 1 */ |
| + {0x000000009e8f7ea4, 0x00000001b34b9580}, |
| + /* x^8192 mod p(x)` << 1, x^8256 mod p(x)` << 1 */ |
| + {0x00000001c82e562c, 0x000000003076054e}, |
| + /* x^7168 mod p(x)` << 1, x^7232 mod p(x)` << 1 */ |
| + {0x00000000ca9f09ce, 0x000000012a608ea4}, |
| + /* x^6144 mod p(x)` << 1, x^6208 mod p(x)` << 1 */ |
| + {0x00000000c63764e6, 0x00000000784d05fe}, |
| + /* x^5120 mod p(x)` << 1, x^5184 mod p(x)` << 1 */ |
| + {0x0000000168d2e49e, 0x000000016ef0d82a}, |
| + /* x^4096 mod p(x)` << 1, x^4160 mod p(x)` << 1 */ |
| + {0x00000000e986c148, 0x0000000075bda454}, |
| + /* x^3072 mod p(x)` << 1, x^3136 mod p(x)` << 1 */ |
| + {0x00000000cfb65894, 0x000000003dc0a1c4}, |
| + /* x^2048 mod p(x)` << 1, x^2112 mod p(x)` << 1 */ |
| + {0x0000000111cadee4, 0x00000000e9a5d8be}, |
| + /* x^1024 mod p(x)` << 1, x^1088 mod p(x)` << 1 */ |
| + {0x0000000171fb63ce, 0x00000001609bc4b4} |
| +#endif /* __LITTLE_ENDIAN__ */ |
| +}; |
| |
| - /* x^32 mod p(x)`, x^64 mod p(x)`, x^96 mod p(x)`, x^128 mod p(x)` */ |
| - .octa 0x82f63b786ea2d55ca66805eb18b8ea18 |
| +/* Reduce final 1024-2048 bits to 64 bits, shifting 32 bits to include the |
| + * trailing 32 bits of zeros */ |
| + |
| +static const __vector unsigned long long vcrc_short_const[16] __attribute__(( |
| + aligned(16))) = { |
| +#ifdef __LITTLE_ENDIAN__ |
| + /* x^1952 mod p(x) , x^1984 mod p(x) , x^2016 mod p(x) , x^2048 mod p(x) */ |
| + {0x5cf015c388e56f72, 0x7fec2963e5bf8048}, |
| + /* x^1824 mod p(x) , x^1856 mod p(x) , x^1888 mod p(x) , x^1920 mod p(x) */ |
| + {0x963a18920246e2e6, 0x38e888d4844752a9}, |
| + /* x^1696 mod p(x) , x^1728 mod p(x) , x^1760 mod p(x) , x^1792 mod p(x) */ |
| + {0x419a441956993a31, 0x42316c00730206ad}, |
| + /* x^1568 mod p(x) , x^1600 mod p(x) , x^1632 mod p(x) , x^1664 mod p(x) */ |
| + {0x924752ba2b830011, 0x543d5c543e65ddf9}, |
| + /* x^1440 mod p(x) , x^1472 mod p(x) , x^1504 mod p(x) , x^1536 mod p(x) */ |
| + {0x55bd7f9518e4a304, 0x78e87aaf56767c92}, |
| + /* x^1312 mod p(x) , x^1344 mod p(x) , x^1376 mod p(x) , x^1408 mod p(x) */ |
| + {0x6d76739fe0553f1e, 0x8f68fcec1903da7f}, |
| + /* x^1184 mod p(x) , x^1216 mod p(x) , x^1248 mod p(x) , x^1280 mod p(x) */ |
| + {0xc133722b1fe0b5c3, 0x3f4840246791d588}, |
| + /* x^1056 mod p(x) , x^1088 mod p(x) , x^1120 mod p(x) , x^1152 mod p(x) */ |
| + {0x64b67ee0e55ef1f3, 0x34c96751b04de25a}, |
| + /* x^928 mod p(x) , x^960 mod p(x) , x^992 mod p(x) , x^1024 mod p(x) */ |
| + {0x069db049b8fdb1e7, 0x156c8e180b4a395b}, |
| + /* x^800 mod p(x) , x^832 mod p(x) , x^864 mod p(x) , x^896 mod p(x) */ |
| + {0xa11bfaf3c9e90b9e, 0xe0b99ccbe661f7be}, |
| + /* x^672 mod p(x) , x^704 mod p(x) , x^736 mod p(x) , x^768 mod p(x) */ |
| + {0x817cdc5119b29a35, 0x041d37768cd75659}, |
| + /* x^544 mod p(x) , x^576 mod p(x) , x^608 mod p(x) , x^640 mod p(x) */ |
| + {0x1ce9d94b36c41f1c, 0x3a0777818cfaa965}, |
| + /* x^416 mod p(x) , x^448 mod p(x) , x^480 mod p(x) , x^512 mod p(x) */ |
| + {0x4f256efcb82be955, 0x0e148e8252377a55}, |
| + /* x^288 mod p(x) , x^320 mod p(x) , x^352 mod p(x) , x^384 mod p(x) */ |
| + {0xec1631edb2dea967, 0x9c25531d19e65dde}, |
| + /* x^160 mod p(x) , x^192 mod p(x) , x^224 mod p(x) , x^256 mod p(x) */ |
| + {0x5d27e147510ac59a, 0x790606ff9957c0a6}, |
| + /* x^32 mod p(x) , x^64 mod p(x) , x^96 mod p(x) , x^128 mod p(x) */ |
| + {0xa66805eb18b8ea18, 0x82f63b786ea2d55c} |
| +#else /* __LITTLE_ENDIAN__ */ |
| + /* x^1952 mod p(x) , x^1984 mod p(x) , x^2016 mod p(x) , x^2048 mod p(x) */ |
| + {0x7fec2963e5bf8048, 0x5cf015c388e56f72}, |
| + /* x^1824 mod p(x) , x^1856 mod p(x) , x^1888 mod p(x) , x^1920 mod p(x) */ |
| + {0x38e888d4844752a9, 0x963a18920246e2e6}, |
| + /* x^1696 mod p(x) , x^1728 mod p(x) , x^1760 mod p(x) , x^1792 mod p(x) */ |
| + {0x42316c00730206ad, 0x419a441956993a31}, |
| + /* x^1568 mod p(x) , x^1600 mod p(x) , x^1632 mod p(x) , x^1664 mod p(x) */ |
| + {0x543d5c543e65ddf9, 0x924752ba2b830011}, |
| + /* x^1440 mod p(x) , x^1472 mod p(x) , x^1504 mod p(x) , x^1536 mod p(x) */ |
| + {0x78e87aaf56767c92, 0x55bd7f9518e4a304}, |
| + /* x^1312 mod p(x) , x^1344 mod p(x) , x^1376 mod p(x) , x^1408 mod p(x) */ |
| + {0x8f68fcec1903da7f, 0x6d76739fe0553f1e}, |
| + /* x^1184 mod p(x) , x^1216 mod p(x) , x^1248 mod p(x) , x^1280 mod p(x) */ |
| + {0x3f4840246791d588, 0xc133722b1fe0b5c3}, |
| + /* x^1056 mod p(x) , x^1088 mod p(x) , x^1120 mod p(x) , x^1152 mod p(x) */ |
| + {0x34c96751b04de25a, 0x64b67ee0e55ef1f3}, |
| + /* x^928 mod p(x) , x^960 mod p(x) , x^992 mod p(x) , x^1024 mod p(x) */ |
| + {0x156c8e180b4a395b, 0x069db049b8fdb1e7}, |
| + /* x^800 mod p(x) , x^832 mod p(x) , x^864 mod p(x) , x^896 mod p(x) */ |
| + {0xe0b99ccbe661f7be, 0xa11bfaf3c9e90b9e}, |
| + /* x^672 mod p(x) , x^704 mod p(x) , x^736 mod p(x) , x^768 mod p(x) */ |
| + {0x041d37768cd75659, 0x817cdc5119b29a35}, |
| + /* x^544 mod p(x) , x^576 mod p(x) , x^608 mod p(x) , x^640 mod p(x) */ |
| + {0x3a0777818cfaa965, 0x1ce9d94b36c41f1c}, |
| + /* x^416 mod p(x) , x^448 mod p(x) , x^480 mod p(x) , x^512 mod p(x) */ |
| + {0x0e148e8252377a55, 0x4f256efcb82be955}, |
| + /* x^288 mod p(x) , x^320 mod p(x) , x^352 mod p(x) , x^384 mod p(x) */ |
| + {0x9c25531d19e65dde, 0xec1631edb2dea967}, |
| + /* x^160 mod p(x) , x^192 mod p(x) , x^224 mod p(x) , x^256 mod p(x) */ |
| + {0x790606ff9957c0a6, 0x5d27e147510ac59a}, |
| + /* x^32 mod p(x) , x^64 mod p(x) , x^96 mod p(x) , x^128 mod p(x) */ |
| + {0x82f63b786ea2d55c, 0xa66805eb18b8ea18} |
| +#endif /* __LITTLE_ENDIAN__ */ |
| +}; |
| |
| - .barrett_constants : |
| - /* 33 bit reflected Barrett constant m - (4^32)/n */ |
| - .octa 0x000000000000000000000000dea713f1 /* x^64 div p(x)` */ |
| - /* 33 bit reflected Barrett constant n */ |
| - .octa 0x00000000000000000000000105ec76f1 |
| -#endif |
| +/* Barrett constants */ |
| +/* 33 bit reflected Barrett constant m - (4^32)/n */ |
| + |
| +static const __vector unsigned long long v_Barrett_const[2] |
| + __attribute__((aligned(16))) = { |
| +/* x^64 div p(x) */ |
| +#ifdef __LITTLE_ENDIAN__ |
| + {0x00000000dea713f1, 0x0000000000000000}, |
| + {0x0000000105ec76f1, 0x0000000000000000} |
| +#else /* __LITTLE_ENDIAN__ */ |
| + {0x0000000000000000, 0x00000000dea713f1}, |
| + {0x0000000000000000, 0x0000000105ec76f1} |
| +#endif /* __LITTLE_ENDIAN__ */ |
| +}; |
| +#endif /* POWER8_INTRINSICS */ |
| diff --git a/util/crc32c_test.cc b/util/crc32c_test.cc |
| index 3e4f7396e7..546c6a4401 100644 |
| --- a/util/crc32c_test.cc |
| +++ b/util/crc32c_test.cc |
| @@ -108,6 +108,9 @@ TEST(CRC, StandardResults) { |
| EXPECT_EQ(~expected.crc32c, result); |
| } |
| |
| + // NULL buffer |
| + EXPECT_EQ((uint32_t)0, Value(NULL, 0)); |
| + |
| // Test 2: stitching two computations |
| for (auto expected : expectedResults) { |
| size_t partialLength = expected.length / 2; |