-rw-r--r-- 2243 libntruprime-20240825/crypto_encode/1013x2393/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[507];
  long i;
  uint16 r0,r1;
  uint32 r2;
  
  for (i = 0;i < 506;++i) {
    r0 = (((R0[2*i]+3588)&16383)*10923)>>15;
    r1 = (((R0[2*i+1]+3588)&16383)*10923)>>15;
    r2 = r0+r1*(uint32)2393;
    *out++ = r2; r2 >>= 8;
    *out++ = r2; r2 >>= 8;
    R[i] = r2;
  }
  R[506] = (((R0[1012]+3588)&16383)*10923)>>15;
  
  for (i = 0;i < 253;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)88;
    R[i] = r2;
  }
  R[253] = R[506];
  
  for (i = 0;i < 127;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)7744;
    *out++ = r2; r2 >>= 8;
    *out++ = r2; r2 >>= 8;
    R[i] = r2;
  }
  
  for (i = 0;i < 63;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)916;
    *out++ = r2; r2 >>= 8;
    R[i] = r2;
  }
  R[63] = R[126];
  
  for (i = 0;i < 31;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)3278;
    *out++ = r2; r2 >>= 8;
    *out++ = r2; r2 >>= 8;
    R[i] = r2;
  }
  r0 = R[62];
  r1 = R[63];
  r2 = r0+r1*(uint32)3278;
  *out++ = r2; r2 >>= 8;
  R[31] = r2;
  
  for (i = 0;i < 16;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)164;
    *out++ = r2; r2 >>= 8;
    R[i] = r2;
  }
  
  for (i = 0;i < 7;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)106;
    R[i] = r2;
  }
  r0 = R[14];
  r1 = R[15];
  r2 = r0+r1*(uint32)106;
  *out++ = r2; r2 >>= 8;
  R[7] = r2;
  
  for (i = 0;i < 4;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)11236;
    *out++ = r2; r2 >>= 8;
    *out++ = r2; r2 >>= 8;
    R[i] = r2;
  }
  
  for (i = 0;i < 2;++i) {
    r0 = R[2*i];
    r1 = R[2*i+1];
    r2 = r0+r1*(uint32)1927;
    *out++ = r2; r2 >>= 8;
    R[i] = r2;
  }
  
  r0 = R[0];
  r1 = R[1];
  r2 = r0+r1*(uint32)14506;
  *out++ = r2; r2 >>= 8;
  *out++ = r2; r2 >>= 8;
  R[0] = r2;
  
  r0 = R[0];
  *out++ = r0; r0 >>= 8;
  *out++ = r0; r0 >>= 8;
}