-rw-r--r-- 14118 libntruprime-20241021/command/ntruprime-test_decode_653x3.c raw
/* ----- decode/653x3, derived from supercop/crypto_decode/try.c */
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdint.h>
#include <ntruprime.h>
#include "ntruprime_test.h"
#define fail ((ok = 0),printf)
static const char *decode_653x3_checksums[] = {
"b27ae3aea1c26f6a5fca8c98570889925a1fd8bf554105caf49b73b438463cd7",
"6bf0b30b8a6d4c2e788ae00f91d1ecc21ee766073911c6cf22c87d6be78065c0",
} ;
static void (*crypto_decode)(void *,const unsigned char *);
#define crypto_decode_STRBYTES ntruprime_decode_653x3_STRBYTES
#define crypto_decode_ITEMS ntruprime_decode_653x3_ITEMS
#define crypto_decode_ITEMBYTES ntruprime_decode_653x3_ITEMBYTES
static void *storage_decode_653x3_x;
static unsigned char *test_decode_653x3_x;
static void *storage_decode_653x3_s;
static unsigned char *test_decode_653x3_s;
static void *storage_decode_653x3_x2;
static unsigned char *test_decode_653x3_x2;
static void *storage_decode_653x3_s2;
static unsigned char *test_decode_653x3_s2;
#define precomputed_decode_653x3_NUM 4
static const unsigned char precomputed_decode_653x3_x[precomputed_decode_653x3_NUM][crypto_decode_ITEMS] = {
{0,-1,0,-1,-1,-1,-1,2,2,-1,1,1,1,0,1,1,-1,2,2,0,2,2,0,-1,-1,0,2,-1,0,-1,0,0,2,-1,-1,1,-1,1,1,2,-1,0,0,2,2,2,0,2,0,2,2,0,-1,0,0,0,1,1,0,0,0,1,0,2,-1,1,0,-1,-1,2,0,0,2,1,2,-1,1,2,0,-1,0,-1,-1,2,1,0,-1,2,-1,2,-1,-1,0,2,1,2,2,-1,0,2,2,-1,-1,-1,1,-1,1,2,-1,1,-1,-1,2,-1,2,1,1,-1,0,2,0,1,2,1,1,-1,1,2,1,0,-1,-1,2,1,1,2,-1,2,2,0,2,2,0,1,0,1,1,2,0,2,2,1,0,1,-1,1,2,1,1,2,1,2,1,2,-1,1,1,1,0,0,0,-1,0,0,2,0,0,1,1,0,2,2,-1,-1,2,1,-1,2,2,-1,0,1,-1,2,1,1,2,1,-1,-1,1,1,2,-1,-1,-1,1,1,0,2,-1,2,1,2,0,0,0,-1,2,1,2,-1,0,1,-1,-1,1,-1,1,0,0,0,1,2,2,1,1,2,2,-1,0,2,2,-1,-1,-1,0,0,1,1,1,0,2,0,-1,1,-1,0,0,-1,-1,1,0,1,1,-1,-1,0,2,-1,0,0,0,1,-1,2,1,-1,2,2,-1,-1,1,2,2,1,1,2,2,-1,-1,0,1,1,0,1,-1,-1,-1,-1,2,2,1,1,0,1,2,2,-1,2,1,-1,0,0,-1,2,-1,2,0,-1,1,2,2,0,2,-1,-1,1,1,2,2,2,1,0,2,1,0,1,-1,2,1,1,1,1,-1,2,-1,-1,1,2,0,1,1,1,1,2,2,-1,2,1,1,2,2,-1,2,0,2,0,2,1,-1,0,0,2,1,2,0,2,-1,-1,0,0,0,2,2,2,0,1,2,0,1,1,-1,1,2,2,2,2,0,2,-1,-1,0,0,1,2,1,0,-1,2,0,1,1,0,0,2,2,2,1,2,1,1,1,-1,0,0,2,2,0,1,-1,0,2,2,-1,2,-1,2,-1,-1,2,0,1,0,2,-1,0,2,1,2,2,0,2,0,1,0,2,2,0,0,0,2,-1,-1,-1,1,-1,2,-1,2,0,2,2,1,1,-1,1,2,-1,1,-1,-1,2,2,1,2,2,0,1,-1,-1,1,0,0,2,-1,1,-1,-1,0,1,1,-1,0,0,-1,-1,-1,2,2,-1,2,0,1,0,2,1,1,2,2,1,2,-1,2,-1,2,0,-1,1,2,0,0,2,0,0,1,-1,1,2,0,2,2,0,0,2,0,2,1,2,1,-1,0,0,0,2,1,2,0,0,0,1,0,0,1,-1,2,1,2,0,-1,0,2,-1,2,-1,2,0,-1,1,0,2,1,0,1,0,0,-1,1,-1,0,1,-1,1,-1,1,2,1,-1,0,2,-1,0,2,1,0,1,0,0,0,0,1,2,0,1,1,-1,2,2,2,0,-1,-1,2,1,2,-1,1,0,-1,0,-1,-1,1,1,0,-1,2,2,-1,0,1,1,0,-1,-1,1,-1,1,-1,0,2,0,-1},
{0,0,0,2,-1,0,0,0,0,0,-1,0,-1,2,1,1,0,-1,1,0,1,0,2,0,1,1,1,0,2,0,1,2,1,0,2,2,1,2,2,2,-1,0,2,0,0,2,-1,2,1,-1,1,-1,1,2,0,0,1,2,2,-1,2,0,0,0,0,1,0,2,1,1,0,2,1,1,-1,2,1,0,1,2,2,-1,0,2,2,0,2,0,-1,1,0,2,-1,2,2,0,0,-1,2,1,1,-1,2,2,1,2,1,1,-1,-1,2,1,-1,2,2,-1,0,1,2,-1,2,0,2,0,1,2,1,1,0,1,-1,0,2,0,-1,0,-1,-1,-1,1,2,-1,-1,-1,-1,0,2,1,2,2,0,1,2,0,-1,2,-1,-1,-1,2,2,1,0,2,-1,0,2,-1,2,1,-1,2,-1,2,1,-1,2,2,1,2,2,-1,-1,-1,-1,1,0,0,-1,2,-1,0,2,1,2,-1,2,-1,0,0,-1,-1,1,2,-1,2,1,-1,-1,-1,1,-1,2,2,0,1,-1,-1,1,2,1,1,-1,2,2,0,2,1,-1,1,-1,-1,2,-1,-1,-1,0,-1,0,0,-1,0,1,0,2,-1,1,2,0,2,1,1,2,1,1,-1,2,1,2,0,1,-1,1,0,2,0,-1,1,2,-1,1,1,0,-1,0,2,2,-1,-1,1,2,-1,2,2,2,0,-1,2,0,-1,1,0,0,-1,-1,1,1,0,0,1,-1,1,2,0,0,2,0,0,-1,2,-1,-1,-1,0,0,2,1,2,-1,0,2,-1,2,0,2,-1,1,1,-1,1,2,1,2,1,2,0,2,0,0,2,2,1,1,-1,1,0,1,1,2,-1,1,1,1,1,0,-1,1,-1,1,2,0,2,1,0,2,0,0,0,1,2,2,1,0,-1,-1,0,1,-1,2,1,1,-1,-1,0,2,0,2,-1,0,0,0,-1,0,-1,-1,0,2,0,2,2,2,1,2,-1,0,1,0,2,1,0,0,-1,0,1,2,-1,1,2,1,2,2,-1,2,2,1,1,2,1,0,0,0,2,2,1,1,1,-1,1,1,1,-1,-1,1,1,1,0,0,0,2,1,-1,2,2,0,0,-1,2,-1,2,0,1,1,1,0,-1,-1,1,2,0,2,2,0,-1,1,-1,0,2,0,2,0,0,0,-1,0,2,2,0,0,2,2,-1,-1,-1,2,1,1,1,1,-1,-1,-1,-1,2,-1,-1,0,-1,0,0,1,-1,1,2,-1,2,2,2,2,1,-1,1,1,2,0,0,2,-1,-1,1,1,1,1,0,1,0,0,2,-1,0,2,0,2,-1,-1,-1,-1,2,2,0,1,-1,2,2,0,-1,0,2,-1,2,-1,2,2,2,1,1,-1,2,2,1,0,-1,2,2,1,0,0,2,1,1,1,-1,2,2,0,1,2,0,1,0,1,-1,2,1,0,2,0,2,1,2,-1,0,2,2,2,2,-1,-1,0,0,1,-1,1,1,1,0,-1,0,-1,2,2,-1,0,1,2,2,1,0,0,2,0,2,0,-1,1,2,1,-1,1,-1,0,-1,2,-1,2,1,2,-1,1,2,0,1,2,1},
{0,0,2,0,1,0,0,2,-1,1,-1,2,0,1,-1,2,0,-1,-1,0,0,2,2,2,-1,-1,2,0,-1,2,1,0,1,-1,-1,-1,-1,0,0,-1,2,1,0,-1,-1,-1,0,0,2,-1,2,1,1,2,1,-1,-1,-1,1,0,0,1,1,-1,-1,0,-1,-1,1,-1,1,-1,0,-1,2,1,2,0,-1,1,1,-1,1,-1,0,1,-1,2,1,0,1,1,0,0,1,1,2,-1,2,1,1,2,2,1,0,0,2,0,-1,2,2,2,1,2,0,1,1,1,-1,1,2,0,1,0,-1,0,0,0,-1,1,2,0,0,-1,2,1,-1,1,0,0,1,1,2,2,2,2,2,1,2,-1,0,2,-1,1,1,0,0,2,0,-1,1,0,-1,1,0,0,0,2,-1,-1,0,-1,0,2,-1,-1,-1,-1,0,1,-1,0,0,1,0,0,1,-1,1,1,1,0,2,0,2,2,0,2,1,1,-1,-1,0,2,0,-1,0,2,1,-1,0,1,2,2,-1,1,-1,0,-1,2,-1,2,2,-1,0,1,2,1,-1,-1,1,1,2,1,1,-1,-1,0,1,1,1,1,0,1,0,0,0,2,2,2,0,2,2,1,1,-1,2,-1,1,2,1,1,0,1,0,1,1,0,0,1,2,-1,0,1,0,2,-1,0,0,2,2,1,2,0,0,-1,2,1,0,1,0,1,0,0,1,0,-1,0,-1,-1,0,2,-1,2,2,1,0,0,-1,0,-1,2,2,-1,1,2,-1,0,0,-1,-1,1,2,-1,0,-1,1,1,2,2,1,1,1,1,2,0,-1,-1,-1,1,-1,2,2,0,1,-1,2,-1,2,1,2,-1,-1,-1,2,1,0,1,2,-1,0,1,-1,1,-1,2,1,0,2,0,-1,0,0,-1,0,1,2,2,2,1,2,-1,2,1,0,0,1,1,2,-1,0,2,1,0,1,-1,0,2,2,-1,-1,2,0,1,1,-1,2,0,2,0,-1,2,0,1,1,1,-1,0,1,0,0,1,-1,2,0,-1,1,-1,-1,0,2,-1,2,0,-1,-1,1,1,-1,1,0,1,2,1,2,0,1,1,2,-1,1,1,0,2,-1,2,2,0,0,0,0,2,-1,2,2,2,1,-1,1,2,1,0,2,-1,0,1,-1,2,-1,1,2,2,-1,0,1,0,0,-1,2,2,1,2,0,1,0,1,1,-1,0,-1,-1,2,1,0,2,1,-1,1,2,2,1,2,0,-1,-1,1,1,-1,-1,2,1,1,0,2,2,-1,2,1,1,-1,0,1,0,2,-1,0,-1,-1,0,2,2,-1,0,2,0,1,2,1,2,0,2,1,0,0,0,0,1,-1,2,-1,-1,0,2,2,-1,2,0,2,2,1,1,0,-1,-1,1,1,2,1,-1,-1,-1,2,0,-1,1,-1,0,0,2,1,0,2,-1,-1,2,0,0,2,1,0,-1,2,2,1,0,1,0,0,1,0,2,-1,0,-1,2,-1,0,-1,1,0,2,-1,-1,2,-1,1,1,-1,0,0,-1,1,0,1,2,2,2,0,0,0,2,-1,-1,1,1,-1,1,0,2,-1,2,-1,2},
{1,-1,2,1,2,1,-1,0,-1,2,2,1,0,0,-1,0,1,2,0,-1,0,1,0,-1,2,1,1,1,0,1,0,0,0,0,1,-1,1,-1,-1,0,0,2,-1,2,1,-1,0,0,-1,0,0,2,2,2,-1,-1,0,-1,2,1,2,0,-1,0,1,1,-1,2,1,0,-1,0,-1,0,0,2,1,2,2,2,0,0,2,-1,-1,2,-1,-1,0,-1,-1,0,2,2,0,2,1,-1,-1,-1,2,1,2,0,0,1,1,2,1,0,0,1,-1,1,0,0,0,0,-1,-1,-1,-1,-1,0,-1,-1,-1,1,-1,1,0,0,2,0,-1,2,0,0,1,2,2,-1,1,-1,-1,1,-1,1,-1,2,0,-1,1,0,2,2,0,2,1,1,1,-1,1,1,-1,1,1,2,-1,2,2,1,1,0,2,2,2,0,0,1,0,-1,0,0,-1,0,1,2,-1,1,1,2,2,1,-1,1,0,2,2,2,1,2,2,2,0,2,0,2,-1,1,1,0,1,0,0,1,0,0,0,0,-1,0,2,2,-1,1,2,0,0,2,1,0,-1,2,0,0,0,-1,2,0,1,2,0,1,1,0,-1,0,2,1,0,0,0,2,0,0,-1,1,-1,2,0,2,2,-1,1,2,1,-1,0,2,-1,-1,-1,2,2,2,-1,2,1,1,0,-1,2,-1,1,-1,0,1,1,1,2,1,2,-1,-1,2,2,-1,-1,2,1,1,1,1,2,1,1,1,-1,0,2,0,-1,0,2,-1,2,0,2,0,2,-1,-1,2,2,2,2,2,1,1,0,1,-1,1,1,-1,-1,2,2,2,-1,2,1,1,1,1,-1,-1,1,-1,1,1,-1,1,1,2,-1,2,1,1,-1,2,0,-1,1,-1,2,2,-1,2,2,1,0,-1,-1,1,2,1,1,-1,0,0,-1,-1,-1,2,-1,-1,2,-1,-1,-1,0,0,1,1,2,1,1,1,0,-1,0,2,1,2,1,0,1,1,1,1,2,-1,2,-1,1,2,0,-1,1,1,0,0,1,1,0,0,0,-1,2,2,0,-1,2,0,0,1,2,-1,-1,2,1,0,2,1,-1,2,2,-1,2,0,1,-1,2,-1,1,0,2,1,1,-1,-1,-1,0,-1,0,2,1,-1,0,2,-1,-1,0,1,0,-1,2,-1,-1,-1,1,0,2,2,-1,2,1,1,-1,1,1,-1,2,2,-1,0,2,2,0,-1,0,2,0,0,-1,-1,2,1,-1,0,2,1,-1,-1,2,2,1,-1,-1,-1,1,-1,0,0,1,1,2,1,-1,1,0,1,1,-1,-1,0,0,-1,-1,2,2,2,0,1,2,1,1,2,1,1,0,2,1,2,1,1,1,0,0,-1,0,1,1,2,2,0,1,-1,-1,2,2,-1,2,0,2,-1,0,0,2,0,1,1,1,-1,0,1,1,0,2,0,-1,1,0,2,2,0,2,1,0,1,1,2,0,0,2,1,2,0,0,0,-1,-1,0,2,2,1,1,0,1,1,-1,1,-1,2,-1,0,-1,2,-1,0,-1,0,0,-1,2,2,0,0,-1,0,-1,1,-1,2,1,0,2,1,0,2,1},
} ;
static const unsigned char precomputed_decode_653x3_s[precomputed_decode_653x3_NUM][crypto_decode_STRBYTES] = {
{17,192,163,166,124,31,52,81,131,232,212,223,125,84,90,217,24,92,59,30,193,198,12,237,211,3,226,8,179,210,185,226,6,235,124,159,233,189,137,235,238,168,21,117,105,15,203,147,172,11,58,160,205,94,177,147,32,86,190,62,61,80,106,135,20,152,66,83,201,242,224,235,67,154,0,175,249,44,197,28,126,131,254,182,201,170,12,158,234,179,62,119,75,237,13,213,159,167,248,223,80,110,156,214,239,42,245,73,207,12,103,211,126,103,95,13,200,220,43,142,240,126,130,53,66,74,1,207,217,250,206,28,94,151,120,95,183,75,181,87,150,236,209,204,97,155,133,36,226,210,180,89,229,41,127,176,99,4,26,79,26,136,116,104},
{213,84,69,172,97,118,106,231,246,254,116,205,34,94,62,87,217,218,202,230,211,119,216,124,177,242,174,176,60,57,119,174,73,71,128,3,180,159,199,192,219,52,203,44,239,3,88,76,59,83,224,44,32,159,224,202,183,8,3,81,100,227,173,43,123,98,135,163,209,131,243,199,97,129,150,120,93,12,212,78,115,163,184,123,215,43,166,163,26,226,109,87,190,65,178,66,55,21,65,247,59,217,22,57,238,243,186,213,171,168,160,86,203,23,115,106,224,125,72,119,69,95,15,172,10,48,68,137,243,47,122,13,170,89,211,13,240,201,71,51,191,242,198,91,171,124,158,201,118,59,253,67,137,26,241,228,91,119,184,72,204,142,231,254},
{117,214,200,201,65,253,112,108,2,20,27,80,179,46,96,41,4,34,177,135,34,201,166,165,179,190,117,252,158,138,103,84,120,177,88,250,191,211,104,29,134,213,16,13,144,148,37,106,247,173,208,209,146,143,196,60,185,160,43,164,154,213,223,43,227,154,105,57,217,212,123,177,153,101,4,205,91,196,227,20,56,161,175,122,128,124,50,59,176,57,137,108,71,145,191,179,165,211,38,61,156,114,199,169,100,201,33,52,7,138,185,167,163,205,87,205,47,110,147,140,79,22,239,153,18,108,139,239,129,194,218,179,146,77,208,211,185,183,85,50,244,220,107,160,11,28,82,219,112,109,188,89,54,49,97,195,40,133,249,87,131,98,51,107},
{178,75,188,69,30,25,171,89,37,66,205,82,212,15,177,71,202,70,212,254,53,12,65,223,2,123,233,150,88,5,64,128,88,199,229,35,136,28,246,173,162,232,188,246,151,81,228,232,139,253,254,221,104,150,85,244,120,109,92,113,158,70,91,93,200,61,46,13,252,172,49,146,186,195,195,170,171,116,52,119,195,255,154,40,252,172,10,162,232,172,28,242,188,129,43,5,12,3,165,171,209,110,170,51,30,90,90,241,113,57,108,203,115,50,182,2,209,210,144,49,96,207,138,242,244,209,5,75,11,47,32,165,139,41,20,252,185,174,237,106,145,126,194,115,83,167,146,118,216,183,233,181,87,208,107,138,76,76,20,95,132,108,219,222},
} ;
static void test_decode_653x3_impl(long long impl)
{
unsigned char *x = test_decode_653x3_x;
unsigned char *s = test_decode_653x3_s;
unsigned char *x2 = test_decode_653x3_x2;
unsigned char *s2 = test_decode_653x3_s2;
long long xwords = crypto_decode_ITEMS;
long long xlen;
long long slen = crypto_decode_STRBYTES;
if (targeti && strcmp(targeti,".") && strcmp(targeti,ntruprime_dispatch_decode_653x3_implementation(impl))) return;
if (targetn && atol(targetn) != impl) return;
if (impl >= 0) {
crypto_decode = ntruprime_dispatch_decode_653x3(impl);
printf("decode_653x3 %lld implementation %s compiler %s\n",impl,ntruprime_dispatch_decode_653x3_implementation(impl),ntruprime_dispatch_decode_653x3_compiler(impl));
} else {
crypto_decode = ntruprime_decode_653x3;
printf("decode_653x3 selected implementation %s compiler %s\n",ntruprime_decode_653x3_implementation(),ntruprime_decode_653x3_compiler());
}
for (long long checksumbig = 0;checksumbig < 2;++checksumbig) {
long long loops = checksumbig ? 4096 : 1024;
checksum_clear();
for (long long loop = 0;loop < loops;++loop) {
xlen = xwords*crypto_decode_ITEMBYTES;
output_prepare(x2,x,xlen);
input_prepare(s2,s,slen);
secret(s,slen);
crypto_decode(x,s);
public(s,slen);
public(x,xlen);
endianness(x,xwords,crypto_decode_ITEMBYTES);
checksum(x,xlen);
output_compare(x2,x,xlen,"crypto_decode");
input_compare(s2,s,slen,"crypto_decode");
double_canary(x2,x,xlen);
double_canary(s2,s,slen);
secret(s2,slen);
crypto_decode(x2,s2);
public(s2,slen);
public(x2,xlen);
endianness(x2,xwords,crypto_decode_ITEMBYTES);
if (memcmp(x2,x,xlen) != 0) fail("failure: crypto_decode is nondeterministic\n");
}
checksum_expected(decode_653x3_checksums[checksumbig]);
}
for (long long precomp = 0;precomp < precomputed_decode_653x3_NUM;++precomp) {
output_prepare(x2,x,crypto_decode_ITEMS*crypto_decode_ITEMBYTES);
input_prepare(s2,s,crypto_decode_STRBYTES);
memcpy(s,precomputed_decode_653x3_s[precomp],crypto_decode_STRBYTES);
memcpy(s2,precomputed_decode_653x3_s[precomp],crypto_decode_STRBYTES);
crypto_decode(x,s);
if (memcmp(x,precomputed_decode_653x3_x[precomp],crypto_decode_ITEMS*crypto_decode_ITEMBYTES)) {
fail("failure: crypto_decode fails precomputed test vectors\n");
printf("expected x: ");
for (long long pos = 0;pos < crypto_decode_ITEMS*crypto_decode_ITEMBYTES;++pos) printf("%02x",((unsigned char *) precomputed_decode_653x3_x[precomp])[pos]);
printf("\n");
printf("received x: ");
for (long long pos = 0;pos < crypto_decode_ITEMS*crypto_decode_ITEMBYTES;++pos) printf("%02x",x[pos]);
printf("\n");
}
output_compare(x2,x,crypto_decode_ITEMS*crypto_decode_ITEMBYTES,"crypto_decode");
input_compare(s2,s,crypto_decode_STRBYTES,"crypto_decode");
}
}
void test_decode_653x3(void)
{
long long maxalloc = 0;
if (targeto && strcmp(targeto,"decode")) return;
if (targetp && strcmp(targetp,"653x3")) return;
storage_decode_653x3_x = callocplus(crypto_decode_ITEMS*crypto_decode_ITEMBYTES);
test_decode_653x3_x = aligned(storage_decode_653x3_x,crypto_decode_ITEMS*crypto_decode_ITEMBYTES);
if (crypto_decode_ITEMS*crypto_decode_ITEMBYTES > maxalloc) maxalloc = crypto_decode_ITEMS*crypto_decode_ITEMBYTES;
storage_decode_653x3_s = callocplus(crypto_decode_STRBYTES);
test_decode_653x3_s = aligned(storage_decode_653x3_s,crypto_decode_STRBYTES);
if (crypto_decode_STRBYTES > maxalloc) maxalloc = crypto_decode_STRBYTES;
storage_decode_653x3_x2 = callocplus(maxalloc);
test_decode_653x3_x2 = aligned(storage_decode_653x3_x2,crypto_decode_ITEMS*crypto_decode_ITEMBYTES);
storage_decode_653x3_s2 = callocplus(maxalloc);
test_decode_653x3_s2 = aligned(storage_decode_653x3_s2,crypto_decode_STRBYTES);
for (long long offset = 0;offset < 1;++offset) {
if (targetoffset && atol(targetoffset) != offset) continue;
if (offset && valgrind) break;
printf("decode_653x3 offset %lld\n",offset);
for (long long impl = -1;impl < ntruprime_numimpl_decode_653x3();++impl)
forked(test_decode_653x3_impl,impl);
++test_decode_653x3_x;
++test_decode_653x3_s;
++test_decode_653x3_x2;
++test_decode_653x3_s2;
}
free(storage_decode_653x3_s2);
free(storage_decode_653x3_x2);
free(storage_decode_653x3_s);
free(storage_decode_653x3_x);
}
#undef crypto_decode_STRBYTES
#undef crypto_decode_ITEMS
#undef crypto_decode_ITEMBYTES