#include "crypto_encode_1013x7177.h" /* auto-generated; do not edit */ #define int16 int16_t #define uint16 uint16_t #define uint32 uint32_t void PQCLEAN_SNTRUP1013_CLEAN_crypto_encode_1013x7177(unsigned char *out, const void *v) { const int16 *R0 = v; /* XXX: caller could overlap R with input */ uint16 R[507]; long i; uint16 r0, r1; uint32 r2; for (i = 0; i < 506; ++i) { r0 = (uint16) ((R0[2 * i] + 3588) & 16383); r1 = (uint16) ((R0[2 * i + 1] + 3588) & 16383); r2 = r0 + r1 * (uint32)7177; *out++ = (unsigned char) r2; r2 >>= 8; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } R[506] = (uint16) ((R0[1012] + 3588) & 16383); for (i = 0; i < 253; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)786; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } R[253] = R[506]; for (i = 0; i < 127; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)2414; *out++ = (unsigned char) r2; r2 >>= 8; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } for (i = 0; i < 63; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)89; R[i] = (uint16) r2; } R[63] = R[126]; for (i = 0; i < 31; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)7921; *out++ = (unsigned char) r2; r2 >>= 8; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } r0 = R[62]; r1 = R[63]; r2 = r0 + r1 * (uint32)7921; *out++ = (unsigned char) r2; r2 >>= 8; R[31] = (uint16) r2; for (i = 0; i < 15; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)958; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } r0 = R[30]; r1 = R[31]; r2 = r0 + r1 * (uint32)958; *out++ = (unsigned char) r2; r2 >>= 8; *out++ = (unsigned char) r2; r2 >>= 8; R[15] = (uint16) r2; for (i = 0; i < 7; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)3586; *out++ = (unsigned char) r2; r2 >>= 8; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } r0 = R[14]; r1 = R[15]; r2 = r0 + r1 * (uint32)3586; *out++ = (unsigned char) r2; r2 >>= 8; R[7] = (uint16) r2; for (i = 0; i < 4; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)197; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } for (i = 0; i < 2; ++i) { r0 = R[2 * i]; r1 = R[2 * i + 1]; r2 = r0 + r1 * (uint32)152; *out++ = (unsigned char) r2; r2 >>= 8; R[i] = (uint16) r2; } r0 = R[0]; r1 = R[1]; r2 = r0 + r1 * (uint32)91; *out++ = (unsigned char) r2; r2 >>= 8; R[0] = (uint16) r2; r0 = R[0]; *out++ = (unsigned char) r0; r0 >>= 8; *out++ = (unsigned char) r0; }