-rw-r--r-- 2435 libntruprime-20241008/crypto_encode/761x4591/portable/encode.c raw
/* auto-generated; do not edit */
#include "crypto_encode.h"
#include "crypto_int16.h"
#include "crypto_uint16.h"
#include "crypto_uint32.h"
#define int16 crypto_int16
#define uint16 crypto_uint16
#define uint32 crypto_uint32
void crypto_encode(unsigned char *out,const void *v)
{
const int16 *R0 = v;
/* XXX: caller could overlap R with input */
uint16 R[381];
long i;
uint16 r0,r1;
uint32 r2;
for (i = 0;i < 380;++i) {
r0 = (R0[2*i]+2295)&16383;
r1 = (R0[2*i+1]+2295)&16383;
r2 = r0+r1*(uint32)4591;
*out++ = r2; r2 >>= 8;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
R[380] = (R0[760]+2295)&16383;
for (i = 0;i < 190;++i) {
r0 = R[2*i];
r1 = R[2*i+1];
r2 = r0+r1*(uint32)322;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
R[190] = R[380];
for (i = 0;i < 95;++i) {
r0 = R[2*i];
r1 = R[2*i+1];
r2 = r0+r1*(uint32)406;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
R[95] = R[190];
for (i = 0;i < 48;++i) {
r0 = R[2*i];
r1 = R[2*i+1];
r2 = r0+r1*(uint32)644;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
for (i = 0;i < 23;++i) {
r0 = R[2*i];
r1 = R[2*i+1];
r2 = r0+r1*(uint32)1621;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
r0 = R[46];
r1 = R[47];
r2 = r0+r1*(uint32)1621;
*out++ = r2; r2 >>= 8;
*out++ = r2; r2 >>= 8;
R[23] = r2;
for (i = 0;i < 11;++i) {
r0 = R[2*i];
r1 = R[2*i+1];
r2 = r0+r1*(uint32)10265;
*out++ = r2; r2 >>= 8;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
r0 = R[22];
r1 = R[23];
r2 = r0+r1*(uint32)10265;
*out++ = r2; r2 >>= 8;
R[11] = r2;
for (i = 0;i < 5;++i) {
r0 = R[2*i];
r1 = R[2*i+1];
r2 = r0+r1*(uint32)1608;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
r0 = R[10];
r1 = R[11];
r2 = r0+r1*(uint32)1608;
*out++ = r2; r2 >>= 8;
*out++ = r2; r2 >>= 8;
R[5] = r2;
for (i = 0;i < 2;++i) {
r0 = R[2*i];
r1 = R[2*i+1];
r2 = r0+r1*(uint32)10101;
*out++ = r2; r2 >>= 8;
*out++ = r2; r2 >>= 8;
R[i] = r2;
}
r0 = R[4];
r1 = R[5];
r2 = r0+r1*(uint32)10101;
*out++ = r2; r2 >>= 8;
R[2] = r2;
r0 = R[0];
r1 = R[1];
r2 = r0+r1*(uint32)1557;
*out++ = r2; r2 >>= 8;
R[0] = r2;
R[1] = R[2];
r0 = R[0];
r1 = R[1];
r2 = r0+r1*(uint32)9470;
*out++ = r2; r2 >>= 8;
*out++ = r2; r2 >>= 8;
R[0] = r2;
r0 = R[0];
*out++ = r0; r0 >>= 8;
*out++ = r0; r0 >>= 8;
}