Skip to content

C
ccan
Commit 556b131c authored by Rusty Russell's avatar Rusty Russell
Browse files
Options

Fix warnings for isaac w/ gcc4.1. 

Given the types used (uint32_t and uint64_t) many of the masks are unnecessary.
But mainly moving the bit extraction into separate inline functions means the
code is a bit clearer, and we only need to bracket one place.
But because these helpers shared the same names, I split the 32 and 
64-bit tests.
parent 2037a903
Hide whitespace changes
Inline Side-by-side
Showing with 379 additions and 354 deletions
ccan/isaac/isaac.c
View file @ 556b131c
......@@ -5,17 +5,21 @@
#include <string.h>
#include <ccan/ilog/ilog.h>
#include "isaac.h"
#if defined(__GNUC_PREREQ)
# if __GNUC_PREREQ(4,2)
# pragma GCC diagnostic ignored "-Wparentheses"
# endif
#endif
#define ISAAC_MASK (0xFFFFFFFFU)
/* Extract ISAAC_SZ_LOG bits (starting at bit 2). */
static inline uint32_t lower_bits(uint32_t x)
{
return (x & ((ISAAC_SZ-1) << 2)) >> 2;
}
/* Extract next ISAAC_SZ_LOG bits (starting at bit ISAAC_SZ_LOG+2). */
static inline uint32_t upper_bits(uint32_t y)
{
return (y >> (ISAAC_SZ_LOG+2)) & (ISAAC_SZ-1);
}
static void isaac_update(isaac_ctx *_ctx){
uint32_t *m;
......@@ -28,42 +32,42 @@ static void isaac_update(isaac_ctx *_ctx){
m=_ctx->m;
r=_ctx->r;
a=_ctx->a;
b=_ctx->b+(++_ctx->c)&ISAAC_MASK;
b=_ctx->b+(++_ctx->c);
for(i=0;i<ISAAC_SZ/2;i++){
x=m[i];
a=(a^a<<13)+m[i+ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a<<13)+m[i+ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>6)+m[i+ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a>>6)+m[i+ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a<<2)+m[i+ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a<<2)+m[i+ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>16)+m[i+ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a>>16)+m[i+ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
}
for(i=ISAAC_SZ/2;i<ISAAC_SZ;i++){
x=m[i];
a=(a^a<<13)+m[i-ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a<<13)+m[i-ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>6)+m[i-ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a>>6)+m[i-ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a<<2)+m[i-ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a<<2)+m[i-ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>16)+m[i-ISAAC_SZ/2]&ISAAC_MASK;
m[i]=y=m[(x&ISAAC_SZ-1<<2)>>2]+a+b&ISAAC_MASK;
r[i]=b=m[y>>ISAAC_SZ_LOG+2&ISAAC_SZ-1]+x&ISAAC_MASK;
a=(a^a>>16)+m[i-ISAAC_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
}
_ctx->b=b;
_ctx->a=a;
......@@ -74,13 +78,13 @@ static void isaac_mix(uint32_t _x[8]){
static const unsigned char SHIFT[8]={11,2,8,16,10,4,8,9};
int i;
for(i=0;i<8;i++){
_x[i]^=_x[i+1&7]<<SHIFT[i];
_x[i+3&7]+=_x[i];
_x[i+1&7]+=_x[i+2&7];
_x[i]^=_x[(i+1)&7]<<SHIFT[i];
_x[(i+3)&7]+=_x[i];
_x[(i+1)&7]+=_x[(i+2)&7];
i++;
_x[i]^=_x[i+1&7]>>SHIFT[i];
_x[i+3&7]+=_x[i];
_x[i+1&7]+=_x[i+2&7];
_x[i]^=_x[(i+1)&7]>>SHIFT[i];
_x[(i+3)&7]+=_x[i];
_x[(i+1)&7]+=_x[(i+2)&7];
}
}
......@@ -140,7 +144,7 @@ uint32_t isaac_next_uint(isaac_ctx *_ctx,uint32_t _n){
v=r%_n;
d=r-v;
}
while((d+_n-1&ISAAC_MASK)<d);
while(((d+_n-1)&ISAAC_MASK)<d);
return v;
}
......@@ -182,7 +186,7 @@ static float isaac_float_bits(isaac_ctx *_ctx,uint32_t _bits,int _base){
ret+=ldexpf((float)_bits,_base-nbits_needed);
#else
if(nbits_needed>0){
_bits=_bits<<nbits_needed|isaac_next_uint32(_ctx)>>32-nbits_needed;
_bits=_bits<<nbits_needed|isaac_next_uint32(_ctx)>>(32-nbits_needed);
}
# if FLT_MANT_DIG<32
else _bits>>=-nbits_needed;
......@@ -229,7 +233,7 @@ static double isaac_double_bits(isaac_ctx *_ctx,uint32_t _bits,int _base){
nbits_needed-=32;
ret+=ldexp((double)isaac_next_uint32(_ctx),_base);
}
_bits=isaac_next_uint32(_ctx)>>32-nbits_needed;
_bits=isaac_next_uint32(_ctx)>>(32-nbits_needed);
ret+=ldexp((double)_bits,_base-nbits_needed);
#else
if(nbits_needed>0){
......
ccan/isaac/isaac64.c
View file @ 556b131c
......@@ -5,17 +5,21 @@
#include <string.h>
#include <ccan/ilog/ilog.h>
#include "isaac64.h"
#if defined(__GNUC_PREREQ)
# if __GNUC_PREREQ(4,2)
# pragma GCC diagnostic ignored "-Wparentheses"
# endif
#endif
#define ISAAC64_MASK ((uint64_t)0xFFFFFFFFFFFFFFFFULL)
/* Extract ISAAC64_SZ_LOG bits (starting at bit 3). */
static inline uint32_t lower_bits(uint64_t x)
{
return (x & ((ISAAC64_SZ-1) << 3)) >>3;
}
/* Extract next ISAAC64_SZ_LOG bits (starting at bit ISAAC64_SZ_LOG+2). */
static inline uint32_t upper_bits(uint32_t y)
{
return (y >> (ISAAC64_SZ_LOG+3)) & (ISAAC64_SZ-1);
}
static void isaac64_update(isaac64_ctx *_ctx){
uint64_t *m;
......@@ -28,42 +32,42 @@ static void isaac64_update(isaac64_ctx *_ctx){
m=_ctx->m;
r=_ctx->r;
a=_ctx->a;
b=_ctx->b+(++_ctx->c)&ISAAC64_MASK;
b=_ctx->b+(++_ctx->c);
for(i=0;i<ISAAC64_SZ/2;i++){
x=m[i];
a=~(a^a<<21)+m[i+ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=~(a^a<<21)+m[i+ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>5)+m[i+ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=(a^a>>5)+m[i+ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a<<12)+m[i+ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=(a^a<<12)+m[i+ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>33)+m[i+ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=(a^a>>33)+m[i+ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
}
for(i=ISAAC64_SZ/2;i<ISAAC64_SZ;i++){
x=m[i];
a=~(a^a<<21)+m[i-ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=~(a^a<<21)+m[i-ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>5)+m[i-ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=(a^a>>5)+m[i-ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a<<12)+m[i-ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=(a^a<<12)+m[i-ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
x=m[++i];
a=(a^a>>33)+m[i-ISAAC64_SZ/2]&ISAAC64_MASK;
m[i]=y=m[(x&ISAAC64_SZ-1<<3)>>3]+a+b&ISAAC64_MASK;
r[i]=b=m[y>>ISAAC64_SZ_LOG+3&ISAAC64_SZ-1]+x&ISAAC64_MASK;
a=(a^a>>33)+m[i-ISAAC64_SZ/2];
m[i]=y=m[lower_bits(x)]+a+b;
r[i]=b=m[upper_bits(y)]+x;
}
_ctx->b=b;
_ctx->a=a;
......@@ -74,13 +78,13 @@ static void isaac64_mix(uint64_t _x[8]){
static const unsigned char SHIFT[8]={9,9,23,15,14,20,17,14};
int i;
for(i=0;i<8;i++){
_x[i]-=_x[i+4&7];
_x[i+5&7]^=_x[i+7&7]>>SHIFT[i];
_x[i+7&7]+=_x[i];
_x[i]-=_x[(i+4)&7];
_x[(i+5)&7]^=_x[(i+7)&7]>>SHIFT[i];
_x[(i+7)&7]+=_x[i];
i++;
_x[i]-=_x[i+4&7];
_x[i+5&7]^=_x[i+7&7]<<SHIFT[i];
_x[i+7&7]+=_x[i];
_x[i]-=_x[(i+4)&7];
_x[(i+5)&7]^=_x[(i+7)&7]<<SHIFT[i];
_x[(i+7)&7]+=_x[i];
}
}
......@@ -142,7 +146,7 @@ uint64_t isaac64_next_uint(isaac64_ctx *_ctx,uint64_t _n){
v=r%_n;
d=r-v;
}
while((d+_n-1&ISAAC64_MASK)<d);
while(((d+_n-1)&ISAAC64_MASK)<d);
return v;
}
......@@ -174,11 +178,11 @@ static float isaac64_float_bits(isaac64_ctx *_ctx,uint64_t _bits,int _base){
nbits_needed-=64;
ret+=ldexpf((float)isaac64_next_uint64(_ctx),_base);
}
_bits=isaac64_next_uint64(_ctx)>>64-nbits_needed;
_bits=isaac64_next_uint64(_ctx)>>(64-nbits_needed);
ret+=ldexpf((float)_bits,_base-nbits_needed);
#else
if(nbits_needed>0){
_bits=_bits<<nbits_needed|isaac64_next_uint64(_ctx)>>64-nbits_needed;
_bits=_bits<<nbits_needed|isaac64_next_uint64(_ctx)>>(64-nbits_needed);
}
# if FLT_MANT_DIG<64
else _bits>>=-nbits_needed;
......@@ -225,11 +229,11 @@ static double isaac64_double_bits(isaac64_ctx *_ctx,uint64_t _bits,int _base){
nbits_needed-=64;
ret+=ldexp((double)isaac64_next_uint64(_ctx),_base);
}
_bits=isaac64_next_uint64(_ctx)>>64-nbits_needed;
_bits=isaac64_next_uint64(_ctx)>>(64-nbits_needed);
ret+=ldexp((double)_bits,_base-nbits_needed);
#else
if(nbits_needed>0){
_bits=_bits<<nbits_needed|isaac64_next_uint64(_ctx)>>64-nbits_needed;
_bits=_bits<<nbits_needed|isaac64_next_uint64(_ctx)>>(64-nbits_needed);
}
# if DBL_MANT_DIG<64
else _bits>>=-nbits_needed;
......
ccan/isaac/test/run.c
View file @ 556b131c
#include "isaac/isaac.h"
#include "isaac/isaac64.h"
#include "isaac/isaac.c"
#include "tap/tap.h"
#include <stddef.h>
......@@ -134,272 +134,12 @@ static const uint32_t STATEVEC[ISAAC_SZ<<1]={
0x46D95CA5, 0xC54CD95B, 0x9D855E89, 0x4BB5AF29
};
static const uint64_t STATEVEC64[ISAAC64_SZ<<1]={
0x12A8F216AF9418C2ULL, 0xD4490AD526F14431ULL,
0xB49C3B3995091A36ULL, 0x5B45E522E4B1B4EFULL,
0xA1E9300CD8520548ULL, 0x49787FEF17AF9924ULL,
0x03219A39EE587A30ULL, 0xEBE9EA2ADF4321C7ULL,
0x804456AF10F5FB53ULL, 0xD74BBE77E6116AC7ULL,
0x7C0828DD624EC390ULL, 0x14A195640116F336ULL,
0x2EAB8CA63CE802D7ULL, 0xC6E57A78FBD986E0ULL,
0x58EFC10B06A2068DULL, 0xABEEDDB2DDE06FF1ULL,
0x0B090A7560A968E3ULL, 0x2CF9C8CA052F6E9FULL,
0x116D0016CB948F09ULL, 0xA59E0BD101731A28ULL,
0x63767572AE3D6174ULL, 0xAB4F6451CC1D45ECULL,
0xC2A1E7B5B459AEB5ULL, 0x2472F6207C2D0484ULL,
0xE699ED85B0DFB40DULL, 0xD4347F66EC8941C3ULL,
0xF4D14597E660F855ULL, 0x8B889D624D44885DULL,
0x258E5A80C7204C4BULL, 0xAF0C317D32ADAA8AULL,
0x9C4CD6257C5A3603ULL, 0xEB3593803173E0CEULL,
0x36F60E2BA4FA6800ULL, 0x38B6525C21A42B0EULL,
0xF4F5D05C10CAB243ULL, 0xCF3F4688801EB9AAULL,
0x1DDC0325259B27DEULL, 0xB9571FA04DC089C8ULL,
0xD7504DFA8816EDBBULL, 0x1FE2CCA76517DB90ULL,
0x261E4E4C0A333A9DULL, 0x219B97E26FFC81BDULL,
0x66B4835D9EAFEA22ULL, 0x4CC317FB9CDDD023ULL,
0x50B704CAB602C329ULL, 0xEDB454E7BADC0805ULL,
0x9E17E49642A3E4C1ULL, 0x66C1A2A1A60CD889ULL,
0x7983EED3740847D5ULL, 0x298AF231C85BAFABULL,
0x2680B122BAA28D97ULL, 0x734DE8181F6EC39AULL,
0x53898E4C3910DA55ULL, 0x1761F93A44D5AEFEULL,
0xE4DBF0634473F5D2ULL, 0x4ED0FE7E9DC91335ULL,
0xD18D8549D140CAEAULL, 0x1CFC8BED0D681639ULL,
0xCA1E3785A9E724E5ULL, 0xB67C1FA481680AF8ULL,
0xDFEA21EA9E7557E3ULL, 0xD6B6D0ECC617C699ULL,
0xFA7E393983325753ULL, 0xA09E8C8C35AB96DEULL,
0x8FE88B57305E2AB6ULL, 0x89039D79D6FC5C5CULL,
0x9BFB227EBDF4C5CEULL, 0x7F7CC39420A3A545ULL,
0x3F6C6AF859D80055ULL, 0xC8763C5B08D1908CULL,
0x469356C504EC9F9DULL, 0x26E6DB8FFDF5ADFEULL,
0x3A938FEE32D29981ULL, 0x2C5E9DEB57EF4743ULL,
0x1E99B96E70A9BE8BULL, 0x764DBEAE7FA4F3A6ULL,
0xAAC40A2703D9BEA0ULL, 0x1A8C1E992B941148ULL,
0x73AA8A564FB7AC9EULL, 0x604D51B25FBF70E2ULL,
0xDD69A0D8AB3B546DULL, 0x65CA5B96B7552210ULL,
0x2FD7E4B9E72CD38CULL, 0x51D2B1AB2DDFB636ULL,
0x9D1D84FCCE371425ULL, 0xA44CFE79AE538BBEULL,
0xDE68A2355B93CAE6ULL, 0x9FC10D0F989993E0ULL,
0x94EBC8ABCFB56DAEULL, 0xD7A023A73260B45CULL,
0x72C8834A5957B511ULL, 0x8F8419A348F296BFULL,
0x1E152328F3318DEAULL, 0x4838D65F6EF6748FULL,
0xD6BF7BAEE43CAC40ULL, 0x13328503DF48229FULL,
0x7440FB816508C4FEULL, 0x9D266D6A1CC0542CULL,
0x4DDA48153C94938AULL, 0x74C04BF1790C0EFEULL,
0xE1925C71285279F5ULL, 0x8A8E849EB32781A5ULL,
0x073973751F12DD5EULL, 0xA319CE15B0B4DB31ULL,
0x6DD856D94D259236ULL, 0x67378D8ECCEF96CBULL,
0x9FC477DE4ED681DAULL, 0xF3B8B6675A6507FFULL,
0xC3A9DC228CAAC9E9ULL, 0xC37B45B3F8D6F2BAULL,
0xB559EB1D04E5E932ULL, 0x1B0CAB936E65C744ULL,
0xAF08DA9177DDA93DULL, 0xAC12FB171817EEE7ULL,
0x1FFF7AC80904BF45ULL, 0xA9119B60369FFEBDULL,
0xBFCED1B0048EAC50ULL, 0xB67B7896167B4C84ULL,
0x9B3CDB65F82CA382ULL, 0xDBC27AB5447822BFULL,
0x10DCD78E3851A492ULL, 0xB438C2B67F98E5E9ULL,
0x43954B3252DC25E5ULL, 0xAB9090168DD05F34ULL,
0xCE68341F79893389ULL, 0x36833336D068F707ULL,
0xDCDD7D20903D0C25ULL, 0xDA3A361B1C5157B1ULL,
0x7F9D1A2E1EBE1327ULL, 0x5D0A12F27AD310D1ULL,
0x3BC36E078F7515D7ULL, 0x4DA8979A0041E8A9ULL,
0x950113646D1D6E03ULL, 0x7B4A38E32537DF62ULL,
0x8A1B083821F40CB4ULL, 0x3D5774A11D31AB39ULL,
0x7A76956C3EAFB413ULL, 0x7F5126DBBA5E0CA7ULL,
0x12153635B2C0CF57ULL, 0x7B3F0195FC6F290FULL,
0x5544F7D774B14AEFULL, 0x56C074A581EA17FEULL,
0xE7F28ECD2D49EECDULL, 0xE479EE5B9930578CULL,
0x9FF38FED72E9052FULL, 0x9F65789A6509A440ULL,
0x0981DCD296A8736DULL, 0x5873888850659AE7ULL,
0xC678B6D860284A1CULL, 0x63E22C147B9C3403ULL,
0x92FAE24291F2B3F1ULL, 0x829626E3892D95D7ULL,
0xCFFE1939438E9B24ULL, 0x79999CDFF70902CBULL,
0x8547EDDFB81CCB94ULL, 0x7B77497B32503B12ULL,
0x97FCAACBF030BC24ULL, 0x6CED1983376FA72BULL,
0x7E75D99D94A70F4DULL, 0xD2733C4335C6A72FULL,
0xDBC0D2B6AB90A559ULL, 0x94628D38D0C20584ULL,
0x64972D68DEE33360ULL, 0xB9C11D5B1E43A07EULL,
0x2DE0966DAF2F8B1CULL, 0x2E18BC1AD9704A68ULL,
0xD4DBA84729AF48ADULL, 0xB7A0B174CFF6F36EULL,
0xE94C39A54A98307FULL, 0xAA70B5B4F89695A2ULL,
0x3BDBB92C43B17F26ULL, 0xCCCB7005C6B9C28DULL,
0x18A6A990C8B35EBDULL, 0xFC7C95D827357AFAULL,
0x1FCA8A92FD719F85ULL, 0x1DD01AAFCD53486AULL,
0x49353FEA39BA63B1ULL, 0xF85B2B4FBCDE44B7ULL,
0xBE7444E39328A0ACULL, 0x3E2B8BCBF016D66DULL,
0x964E915CD5E2B207ULL, 0x1725CABFCB045B00ULL,
0x7FBF21EC8A1F45ECULL, 0x11317BA87905E790ULL,
0x2FE4B17170E59750ULL, 0xE8D9ECBE2CF3D73FULL,
0xB57D2E985E1419C7ULL, 0x0572B974F03CE0BBULL,
0xA8D7E4DAB780A08DULL, 0x4715ED43E8A45C0AULL,
0xC330DE426430F69DULL, 0x23B70EDB1955C4BFULL,
0x098954D51FFF6580ULL, 0x8107FCCF064FCF56ULL,
0x852F54934DA55CC9ULL, 0x09C7E552BC76492FULL,
0xE9F6760E32CD8021ULL, 0xA3BC941D0A5061CBULL,
0xBA89142E007503B8ULL, 0xDC842B7E2819E230ULL,
0xBBE83F4ECC2BDECBULL, 0xCD454F8F19C5126AULL,
0xC62C58F97DD949BFULL, 0x693501D628297551ULL,
0xB9AB4CE57F2D34F3ULL, 0x9255ABB50D532280ULL,
0xEBFAFA33D7254B59ULL, 0xE9F6082B05542E4EULL,
0x35DD37D5871448AFULL, 0xB03031A8B4516E84ULL,
0xB3F256D8ACA0B0B9ULL, 0x0FD22063EDC29FCAULL,
0xD9A11FBB3D9808E4ULL, 0x3A9BF55BA91F81CAULL,
0xC8C93882F9475F5FULL, 0x947AE053EE56E63CULL,
0xC7D9F16864A76E94ULL, 0x7BD94E1D8E17DEBCULL,
0xD873DB391292ED4FULL, 0x30F5611484119414ULL,
0x565C31F7DE89EA27ULL, 0xD0E4366228B03343ULL,
0x325928EE6E6F8794ULL, 0x6F423357E7C6A9F9ULL,
0x99170A5DC3115544ULL, 0x59B97885E2F2EA28ULL,
0xBC4097B116C524D2ULL, 0x7A13F18BBEDC4FF5ULL,
0x071582401C38434DULL, 0xB422061193D6F6A7ULL,
0xB4B81B3FA97511E2ULL, 0x65D34954DAF3CEBDULL,
0xB344C470397BBA52ULL, 0xBAC7A9A18531294BULL,
0xECB53939887E8175ULL, 0x565601C0364E3228ULL,
0xEF1955914B609F93ULL, 0x16F50EDF91E513AFULL,
0x56963B0DCA418FC0ULL, 0xD60F6DCEDC314222ULL,
0x364F6FFA464EE52EULL, 0x6C3B8E3E336139D3ULL,
0xF943AEE7FEBF21B8ULL, 0x088E049589C432E0ULL,
0xD49503536ABCA345ULL, 0x3A6C27934E31188AULL,
0x957BAF61700CFF4EULL, 0x37624AE5A48FA6E9ULL,
0x501F65EDB3034D07ULL, 0x907F30421D78C5DEULL,
0x1A804AADB9CFA741ULL, 0x0CE2A38C344A6EEDULL,
0xD363EFF5F0977996ULL, 0x2CD16E2ABD791E33ULL,
0x58627E1A149BBA21ULL, 0x7F9B6AF1EBF78BAFULL,
0xD20D8C88C8FFE65FULL, 0x917F1DD5F8886C61ULL,
0x56986E2EF3ED091BULL, 0x5FA7867CAF35E149ULL,
0x81A1549FD6573DA5ULL, 0x96FBF83A12884624ULL,
0xE728E8C83C334074ULL, 0xF1BCC3D275AFE51AULL,
0x71F1CE2490D20B07ULL, 0xE6C42178C4BBB92EULL,
0x0A9C32D5EAE45305ULL, 0x0C335248857FA9E7ULL,
0x142DE49FFF7A7C3DULL, 0x64A53DC924FE7AC9ULL,
0x9F6A419D382595F4ULL, 0x150F361DAB9DEC26ULL,
0xC61BB3A141E50E8CULL, 0x2785338347F2BA08ULL,
0x7CA9723FBB2E8988ULL, 0xCE2F8642CA0712DCULL,
0x59300222B4561E00ULL, 0xC2B5A03F71471A6FULL,
0xD5F9E858292504D5ULL, 0x65FA4F227A2B6D79ULL,
0x93CBE0B699C2585DULL, 0x1D95B0A5FCF90BC6ULL,
0x17EFEE45B0DEE640ULL, 0x9E4C1269BAA4BF37ULL,
0xD79476A84EE20D06ULL, 0x0A56A5F0BFE39272ULL,
0x7EBA726D8C94094BULL, 0x5E5637885F29BC2BULL,
0xD586BD01C5C217F6ULL, 0x233003B5A6CFE6ADULL,
0x24C0E332B70019B0ULL, 0x9DA058C67844F20CULL,
0xE4D9429322CD065AULL, 0x1FAB64EA29A2DDF7ULL,
0x8AF38731C02BA980ULL, 0x7DC7785B8EFDFC80ULL,
0x486289DDCC3D6780ULL, 0x222BBFAE61725606ULL,
0x2BC60A63A6F3B3F2ULL, 0x177E00F9FC32F791ULL,
0x522E23F3925E319EULL, 0x9C2ED44081CE5FBDULL,
0x964781CE734B3C84ULL, 0xF05D129681949A4CULL,
0x046E3ECAAF453CE9ULL, 0x962ACEEFA82E1C84ULL,
0xF5B4B0B0D2DEEEB4ULL, 0x1AF3DBE25D8F45DAULL,
0xF9F4892ED96BD438ULL, 0xC4C118BFE78FEAAEULL,
0x07A69AFDCC42261AULL, 0xF8549E1A3AA5E00DULL,
0x2102AE466EBB1148ULL, 0xE87FBB46217A360EULL,
0x310CB380DB6F7503ULL, 0xB5FDFC5D3132C498ULL,
0xDAF8E9829FE96B5FULL, 0xCAC09AFBDDD2CDB4ULL,
0xB862225B055B6960ULL, 0x55B6344CF97AAFAEULL,
0xFF577222C14F0A3AULL, 0x4E4B705B92903BA4ULL,
0x730499AF921549FFULL, 0x13AE978D09FE5557ULL,
0xD9E92AA246BF719EULL, 0x7A4C10EC2158C4A6ULL,
0x49CAD48CEBF4A71EULL, 0xCF05DAF5AC8D77B0ULL,
0xABBDCDD7ED5C0860ULL, 0x9853EAB63B5E0B35ULL,
0x352787BAA0D7C22FULL, 0xC7F6AA2DE59AEA61ULL,
0x03727073C2E134B1ULL, 0x5A0F544DD2B1FB18ULL,
0x74F85198B05A2E7DULL, 0x963EF2C96B33BE31ULL,
0x4659D2B743848A2CULL, 0x19EBB029435DCB0FULL,
0x4E9D2827355FC492ULL, 0xCCEC0A73B49C9921ULL,
0x46C9FEB55D120902ULL, 0x8D2636B81555A786ULL,
0x30C05B1BA332F41CULL, 0xF6F7FD1431714200ULL,
0x1A4FF12616EEFC89ULL, 0x990A98FD5071D263ULL,
0x84547DDC3E203C94ULL, 0x07A3AEC79624C7DAULL,
0x8A328A1CEDFE552CULL, 0xD1E649DE1E7F268BULL,
0x2D8D5432157064C8ULL, 0x4AE7D6A36EB5DBCBULL,
0x57E3306D881EDB4FULL, 0x0A804D18B7097475ULL,
0xE74733427B72F0C1ULL, 0x24B33C9D7ED25117ULL,
0xE805A1E290CF2456ULL, 0x3B544EBE544C19F9ULL,
0x3E666E6F69AE2C15ULL, 0xFB152FE3FF26DA89ULL,
0xB49B52E587A1EE60ULL, 0xAC042E70F8B383F2ULL,
0x89C350C893AE7DC1ULL, 0xB592BF39B0364963ULL,
0x190E714FADA5156EULL, 0xEC8177F83F900978ULL,
0x91B534F885818A06ULL, 0x81536D601170FC20ULL,
0xD4C718BC4AE8AE5FULL, 0x9EEDECA8E272B933ULL,
0x10E8B35AF3EEAB37ULL, 0x0E09B88E1914F7AFULL,
0x3FA9DDFB67E2F199ULL, 0xB10BB459132D0A26ULL,
0x2C046F22062DC67DULL, 0x5E90277E7CB39E2DULL,
0xD6B04D3B7651DD7EULL, 0xE34A1D250E7A8D6BULL,
0x53C065C6C8E63528ULL, 0x1BDEA12E35F6A8C9ULL,
0x21874B8B4D2DBC4FULL, 0x3A88A0FBBCB05C63ULL,
0x43ED7F5A0FAE657DULL, 0x230E343DFBA08D33ULL,
0xB5B4071DBFC73A66ULL, 0x8F9887E6078735A1ULL,
0x08DE8A1C7797DA9BULL, 0xFCB6BE43A9F2FE9BULL,
0x049A7F41061A9E60ULL, 0x9F91508BFFCFC14AULL,
0xE3273522064480CAULL, 0xCD04F3FF001A4778ULL,
0x6BFA9AAE5EC05779ULL, 0x371F77E76BB8417EULL,
0x3550C2321FD6109CULL, 0xFB4A3D794A9A80D2ULL,
0xF43C732873F24C13ULL, 0xAA9119FF184CCCF4ULL,
0xB69E38A8965C6B65ULL, 0x1F2B1D1F15F6DC9CULL,
0x67FEF95D92607890ULL, 0x31865CED6120F37DULL,
0x3A6853C7E70757A7ULL, 0x32AB0EDB696703D3ULL,
0xEE97F453F06791EDULL, 0x6DC93D9526A50E68ULL,
0x78EDEFD694AF1EEDULL, 0x9C1169FA2777B874ULL,
0x50065E535A213CF6ULL, 0xDE0C89A556B9AE70ULL,
0xD1E0CCD25BB9C169ULL, 0x6B17B224BAD6BF27ULL,
0x6B02E63195AD0CF8ULL, 0x455A4B4CFE30E3F5ULL,
0x9338E69C052B8E7BULL, 0x5092EF950A16DA0BULL,
0x7C45D833AFF07862ULL, 0xA5B1CFDBA0AB4067ULL,
0x6AD047C430A12104ULL, 0x6C47BEC883A7DE39ULL,
0x944F6DE09134DFB6ULL, 0x9AEBA33AC6ECC6B0ULL,
0x52E762596BF68235ULL, 0x22AF003AB672E811ULL,
0xB5635C95FF7296E2ULL, 0xED2DF21216235097ULL,
0x4A29C6465A314CD1ULL, 0xD83CC2687A19255FULL,
0x506C11B9D90E8B1DULL, 0x57277707199B8175ULL,
0xCAF21ECD4377B28CULL, 0xC0C0F5A60EF4CDCFULL,
0x93B633ABFA3469F8ULL, 0xE846963877671A17ULL,
0x59AC2C7873F910A3ULL, 0x660D3257380841EEULL,
0xD813F2FAB7F5C5CAULL, 0x4112CF68649A260EULL,
0x443F64EC5A371195ULL, 0xB0774D261CC609DBULL,
0x720BF5F26F4D2EAAULL, 0x1C2559E30F0946BEULL,
0xE328E230E3E2B3FBULL, 0x087E79E5A57D1D13ULL,
0x08DD9BDFD96B9F63ULL, 0x64D0E29EEA8838B3ULL,
0xDDF957BC36D8B9CAULL, 0x6FFE73E81B637FB3ULL,
0x1A4E4822EB4D7A59ULL, 0x5D94337FBFAF7F5BULL,
0xD30C088BA61EA5EFULL, 0x9D765E419FB69F6DULL,
0x9E21F4F903B33FD9ULL, 0xB4D8F77BC3E56167ULL,
0x733EA705FAE4FA77ULL, 0xA4EC0132764CA04BULL,
0x7976033A39F7D952ULL, 0x106F72FE81E2C590ULL,
0x8C90FD9B083F4558ULL, 0xFD080D236DA814BAULL,
0x7B64978555326F9FULL, 0x60E8ED72C0DFF5D1ULL,
0xB063E962E045F54DULL, 0x959F587D507A8359ULL,
0x758F450C88572E0BULL, 0x1B6BACA2AE4E125BULL,
0x61CF4F94C97DF93DULL, 0x2738259634305C14ULL,
0xD39BB9C3A48DB6CFULL, 0x8215E577001332C8ULL,
0xA1082C0466DF6C0AULL, 0xEF02CDD06FFDB432ULL,
0xFC87614BAF287E07ULL, 0x240AB57A8B888B20ULL,
0xBF8D5108E27E0D48ULL, 0x61BDD1307C66E300ULL,
0xB925A6CD0421AFF3ULL, 0x3E003E616A6591E9ULL,
0x94C3251F06F90CF3ULL, 0xBF84470805E69B5FULL,
0x98F076A4F7A2322EULL, 0x70CB6AF7C2D5BCF0ULL,
0xB64BE8D8B25396C1ULL, 0xA9AA4D20DB084E9BULL,
0x2E6D02C36017F67FULL, 0xEFED53D75FD64E6BULL,
0xD9F1F30CCD97FB09ULL, 0xA2EBEE47E2FBFCE1ULL,
0xB8D91274B9E9D4FBULL, 0x1DB956E450275779ULL,
0x4FC8E9560F91B123ULL, 0x63573FF03E224774ULL,
0x0647DFEDCD894A29ULL, 0x7884D9BC6CB569D8ULL,
0x7FBA195410E5CA30ULL, 0x106C09B972D2E822ULL,
0x241260ED4AD1E87DULL, 0x64C8E531BFF53B55ULL,
0xCA672B91E9E4FA16ULL, 0x3871700761B3F743ULL,
0xF95CFFA23AF5F6F4ULL, 0x8D14DEDB30BE846EULL,
0x3B097ADAF088F94EULL, 0x21E0BD5026C619BFULL,
0x1BDA0492E7E4586EULL, 0xD23C8E176D113600ULL,
0x252F59CF0D9F04BBULL, 0xB3598080CE64A656ULL,
0x993E1DE72D36D310ULL, 0xA2853B80F17F58EEULL,
0x1877B51E57A764D5ULL, 0x001F837CC7350524ULL
};
int main(int _argc,const char *_argv[]){
isaac_ctx isaac;
isaac64_ctx isaac64;
int i;
int j;
/*This is how many tests you plan to run.*/
plan_tests(4);
plan_tests(2);
isaac_init(&isaac,NULL,0);
for(j=0;j<ISAAC_SZ;j++)isaac_next_uint32(&isaac);
for(i=0;i<2;i++){
......@@ -410,16 +150,6 @@ int main(int _argc,const char *_argv[]){
}
ok1(nmatches==ISAAC_SZ);
}
isaac64_init(&isaac64,NULL,0);
for(j=0;j<ISAAC64_SZ;j++)isaac64_next_uint64(&isaac64);
for(i=0;i<2;i++){
int nmatches;
nmatches=0;
for(j=0;j<ISAAC64_SZ;j++){
nmatches+=isaac64_next_uint64(&isaac64)==STATEVEC64[(i+1)*ISAAC64_SZ-j-1];
}
ok1(nmatches==ISAAC64_SZ);
}
/*TODO: We should test the random float/double routines, but they are not
guaranteed to return the same values on all platforms, because the number
of bits in the mantissa may be different.
......
ccan/isaac/test/run64.c 0 → 100644
View file @ 556b131c
#include "isaac/isaac64.h"
#include "isaac/isaac64.c"
#include "tap/tap.h"
#include <stddef.h>
static const uint64_t STATEVEC64[ISAAC64_SZ<<1]={
0x12A8F216AF9418C2ULL, 0xD4490AD526F14431ULL,
0xB49C3B3995091A36ULL, 0x5B45E522E4B1B4EFULL,
0xA1E9300CD8520548ULL, 0x49787FEF17AF9924ULL,
0x03219A39EE587A30ULL, 0xEBE9EA2ADF4321C7ULL,
0x804456AF10F5FB53ULL, 0xD74BBE77E6116AC7ULL,
0x7C0828DD624EC390ULL, 0x14A195640116F336ULL,
0x2EAB8CA63CE802D7ULL, 0xC6E57A78FBD986E0ULL,
0x58EFC10B06A2068DULL, 0xABEEDDB2DDE06FF1ULL,
0x0B090A7560A968E3ULL, 0x2CF9C8CA052F6E9FULL,
0x116D0016CB948F09ULL, 0xA59E0BD101731A28ULL,
0x63767572AE3D6174ULL, 0xAB4F6451CC1D45ECULL,
0xC2A1E7B5B459AEB5ULL, 0x2472F6207C2D0484ULL,
0xE699ED85B0DFB40DULL, 0xD4347F66EC8941C3ULL,
0xF4D14597E660F855ULL, 0x8B889D624D44885DULL,
0x258E5A80C7204C4BULL, 0xAF0C317D32ADAA8AULL,
0x9C4CD6257C5A3603ULL, 0xEB3593803173E0CEULL,
0x36F60E2BA4FA6800ULL, 0x38B6525C21A42B0EULL,
0xF4F5D05C10CAB243ULL, 0xCF3F4688801EB9AAULL,
0x1DDC0325259B27DEULL, 0xB9571FA04DC089C8ULL,
0xD7504DFA8816EDBBULL, 0x1FE2CCA76517DB90ULL,
0x261E4E4C0A333A9DULL, 0x219B97E26FFC81BDULL,
0x66B4835D9EAFEA22ULL, 0x4CC317FB9CDDD023ULL,
0x50B704CAB602C329ULL, 0xEDB454E7BADC0805ULL,
0x9E17E49642A3E4C1ULL, 0x66C1A2A1A60CD889ULL,
0x7983EED3740847D5ULL, 0x298AF231C85BAFABULL,
0x2680B122BAA28D97ULL, 0x734DE8181F6EC39AULL,
0x53898E4C3910DA55ULL, 0x1761F93A44D5AEFEULL,
0xE4DBF0634473F5D2ULL, 0x4ED0FE7E9DC91335ULL,
0xD18D8549D140CAEAULL, 0x1CFC8BED0D681639ULL,
0xCA1E3785A9E724E5ULL, 0xB67C1FA481680AF8ULL,
0xDFEA21EA9E7557E3ULL, 0xD6B6D0ECC617C699ULL,
0xFA7E393983325753ULL, 0xA09E8C8C35AB96DEULL,
0x8FE88B57305E2AB6ULL, 0x89039D79D6FC5C5CULL,
0x9BFB227EBDF4C5CEULL, 0x7F7CC39420A3A545ULL,
0x3F6C6AF859D80055ULL, 0xC8763C5B08D1908CULL,
0x469356C504EC9F9DULL, 0x26E6DB8FFDF5ADFEULL,
0x3A938FEE32D29981ULL, 0x2C5E9DEB57EF4743ULL,
0x1E99B96E70A9BE8BULL, 0x764DBEAE7FA4F3A6ULL,
0xAAC40A2703D9BEA0ULL, 0x1A8C1E992B941148ULL,
0x73AA8A564FB7AC9EULL, 0x604D51B25FBF70E2ULL,
0xDD69A0D8AB3B546DULL, 0x65CA5B96B7552210ULL,
0x2FD7E4B9E72CD38CULL, 0x51D2B1AB2DDFB636ULL,
0x9D1D84FCCE371425ULL, 0xA44CFE79AE538BBEULL,
0xDE68A2355B93CAE6ULL, 0x9FC10D0F989993E0ULL,
0x94EBC8ABCFB56DAEULL, 0xD7A023A73260B45CULL,
0x72C8834A5957B511ULL, 0x8F8419A348F296BFULL,
0x1E152328F3318DEAULL, 0x4838D65F6EF6748FULL,
0xD6BF7BAEE43CAC40ULL, 0x13328503DF48229FULL,
0x7440FB816508C4FEULL, 0x9D266D6A1CC0542CULL,
0x4DDA48153C94938AULL, 0x74C04BF1790C0EFEULL,
0xE1925C71285279F5ULL, 0x8A8E849EB32781A5ULL,
0x073973751F12DD5EULL, 0xA319CE15B0B4DB31ULL,
0x6DD856D94D259236ULL, 0x67378D8ECCEF96CBULL,
0x9FC477DE4ED681DAULL, 0xF3B8B6675A6507FFULL,
0xC3A9DC228CAAC9E9ULL, 0xC37B45B3F8D6F2BAULL,
0xB559EB1D04E5E932ULL, 0x1B0CAB936E65C744ULL,
0xAF08DA9177DDA93DULL, 0xAC12FB171817EEE7ULL,
0x1FFF7AC80904BF45ULL, 0xA9119B60369FFEBDULL,
0xBFCED1B0048EAC50ULL, 0xB67B7896167B4C84ULL,
0x9B3CDB65F82CA382ULL, 0xDBC27AB5447822BFULL,
0x10DCD78E3851A492ULL, 0xB438C2B67F98E5E9ULL,
0x43954B3252DC25E5ULL, 0xAB9090168DD05F34ULL,
0xCE68341F79893389ULL, 0x36833336D068F707ULL,
0xDCDD7D20903D0C25ULL, 0xDA3A361B1C5157B1ULL,
0x7F9D1A2E1EBE1327ULL, 0x5D0A12F27AD310D1ULL,
0x3BC36E078F7515D7ULL, 0x4DA8979A0041E8A9ULL,
0x950113646D1D6E03ULL, 0x7B4A38E32537DF62ULL,
0x8A1B083821F40CB4ULL, 0x3D5774A11D31AB39ULL,
0x7A76956C3EAFB413ULL, 0x7F5126DBBA5E0CA7ULL,
0x12153635B2C0CF57ULL, 0x7B3F0195FC6F290FULL,
0x5544F7D774B14AEFULL, 0x56C074A581EA17FEULL,
0xE7F28ECD2D49EECDULL, 0xE479EE5B9930578CULL,
0x9FF38FED72E9052FULL, 0x9F65789A6509A440ULL,
0x0981DCD296A8736DULL, 0x5873888850659AE7ULL,
0xC678B6D860284A1CULL, 0x63E22C147B9C3403ULL,
0x92FAE24291F2B3F1ULL, 0x829626E3892D95D7ULL,
0xCFFE1939438E9B24ULL, 0x79999CDFF70902CBULL,
0x8547EDDFB81CCB94ULL, 0x7B77497B32503B12ULL,
0x97FCAACBF030BC24ULL, 0x6CED1983376FA72BULL,
0x7E75D99D94A70F4DULL, 0xD2733C4335C6A72FULL,
0xDBC0D2B6AB90A559ULL, 0x94628D38D0C20584ULL,
0x64972D68DEE33360ULL, 0xB9C11D5B1E43A07EULL,
0x2DE0966DAF2F8B1CULL, 0x2E18BC1AD9704A68ULL,
0xD4DBA84729AF48ADULL, 0xB7A0B174CFF6F36EULL,
0xE94C39A54A98307FULL, 0xAA70B5B4F89695A2ULL,
0x3BDBB92C43B17F26ULL, 0xCCCB7005C6B9C28DULL,
0x18A6A990C8B35EBDULL, 0xFC7C95D827357AFAULL,
0x1FCA8A92FD719F85ULL, 0x1DD01AAFCD53486AULL,
0x49353FEA39BA63B1ULL, 0xF85B2B4FBCDE44B7ULL,
0xBE7444E39328A0ACULL, 0x3E2B8BCBF016D66DULL,
0x964E915CD5E2B207ULL, 0x1725CABFCB045B00ULL,
0x7FBF21EC8A1F45ECULL, 0x11317BA87905E790ULL,
0x2FE4B17170E59750ULL, 0xE8D9ECBE2CF3D73FULL,
0xB57D2E985E1419C7ULL, 0x0572B974F03CE0BBULL,
0xA8D7E4DAB780A08DULL, 0x4715ED43E8A45C0AULL,
0xC330DE426430F69DULL, 0x23B70EDB1955C4BFULL,
0x098954D51FFF6580ULL, 0x8107FCCF064FCF56ULL,
0x852F54934DA55CC9ULL, 0x09C7E552BC76492FULL,
0xE9F6760E32CD8021ULL, 0xA3BC941D0A5061CBULL,
0xBA89142E007503B8ULL, 0xDC842B7E2819E230ULL,
0xBBE83F4ECC2BDECBULL, 0xCD454F8F19C5126AULL,
0xC62C58F97DD949BFULL, 0x693501D628297551ULL,
0xB9AB4CE57F2D34F3ULL, 0x9255ABB50D532280ULL,
0xEBFAFA33D7254B59ULL, 0xE9F6082B05542E4EULL,
0x35DD37D5871448AFULL, 0xB03031A8B4516E84ULL,
0xB3F256D8ACA0B0B9ULL, 0x0FD22063EDC29FCAULL,
0xD9A11FBB3D9808E4ULL, 0x3A9BF55BA91F81CAULL,
0xC8C93882F9475F5FULL, 0x947AE053EE56E63CULL,
0xC7D9F16864A76E94ULL, 0x7BD94E1D8E17DEBCULL,
0xD873DB391292ED4FULL, 0x30F5611484119414ULL,
0x565C31F7DE89EA27ULL, 0xD0E4366228B03343ULL,
0x325928EE6E6F8794ULL, 0x6F423357E7C6A9F9ULL,
0x99170A5DC3115544ULL, 0x59B97885E2F2EA28ULL,
0xBC4097B116C524D2ULL, 0x7A13F18BBEDC4FF5ULL,
0x071582401C38434DULL, 0xB422061193D6F6A7ULL,
0xB4B81B3FA97511E2ULL, 0x65D34954DAF3CEBDULL,
0xB344C470397BBA52ULL, 0xBAC7A9A18531294BULL,
0xECB53939887E8175ULL, 0x565601C0364E3228ULL,
0xEF1955914B609F93ULL, 0x16F50EDF91E513AFULL,
0x56963B0DCA418FC0ULL, 0xD60F6DCEDC314222ULL,
0x364F6FFA464EE52EULL, 0x6C3B8E3E336139D3ULL,
0xF943AEE7FEBF21B8ULL, 0x088E049589C432E0ULL,
0xD49503536ABCA345ULL, 0x3A6C27934E31188AULL,
0x957BAF61700CFF4EULL, 0x37624AE5A48FA6E9ULL,
0x501F65EDB3034D07ULL, 0x907F30421D78C5DEULL,
0x1A804AADB9CFA741ULL, 0x0CE2A38C344A6EEDULL,
0xD363EFF5F0977996ULL, 0x2CD16E2ABD791E33ULL,
0x58627E1A149BBA21ULL, 0x7F9B6AF1EBF78BAFULL,
0xD20D8C88C8FFE65FULL, 0x917F1DD5F8886C61ULL,
0x56986E2EF3ED091BULL, 0x5FA7867CAF35E149ULL,
0x81A1549FD6573DA5ULL, 0x96FBF83A12884624ULL,
0xE728E8C83C334074ULL, 0xF1BCC3D275AFE51AULL,
0x71F1CE2490D20B07ULL, 0xE6C42178C4BBB92EULL,
0x0A9C32D5EAE45305ULL, 0x0C335248857FA9E7ULL,
0x142DE49FFF7A7C3DULL, 0x64A53DC924FE7AC9ULL,
0x9F6A419D382595F4ULL, 0x150F361DAB9DEC26ULL,
0xC61BB3A141E50E8CULL, 0x2785338347F2BA08ULL,
0x7CA9723FBB2E8988ULL, 0xCE2F8642CA0712DCULL,
0x59300222B4561E00ULL, 0xC2B5A03F71471A6FULL,
0xD5F9E858292504D5ULL, 0x65FA4F227A2B6D79ULL,
0x93CBE0B699C2585DULL, 0x1D95B0A5FCF90BC6ULL,
0x17EFEE45B0DEE640ULL, 0x9E4C1269BAA4BF37ULL,
0xD79476A84EE20D06ULL, 0x0A56A5F0BFE39272ULL,
0x7EBA726D8C94094BULL, 0x5E5637885F29BC2BULL,
0xD586BD01C5C217F6ULL, 0x233003B5A6CFE6ADULL,
0x24C0E332B70019B0ULL, 0x9DA058C67844F20CULL,
0xE4D9429322CD065AULL, 0x1FAB64EA29A2DDF7ULL,
0x8AF38731C02BA980ULL, 0x7DC7785B8EFDFC80ULL,
0x486289DDCC3D6780ULL, 0x222BBFAE61725606ULL,
0x2BC60A63A6F3B3F2ULL, 0x177E00F9FC32F791ULL,
0x522E23F3925E319EULL, 0x9C2ED44081CE5FBDULL,
0x964781CE734B3C84ULL, 0xF05D129681949A4CULL,
0x046E3ECAAF453CE9ULL, 0x962ACEEFA82E1C84ULL,
0xF5B4B0B0D2DEEEB4ULL, 0x1AF3DBE25D8F45DAULL,
0xF9F4892ED96BD438ULL, 0xC4C118BFE78FEAAEULL,
0x07A69AFDCC42261AULL, 0xF8549E1A3AA5E00DULL,
0x2102AE466EBB1148ULL, 0xE87FBB46217A360EULL,
0x310CB380DB6F7503ULL, 0xB5FDFC5D3132C498ULL,
0xDAF8E9829FE96B5FULL, 0xCAC09AFBDDD2CDB4ULL,
0xB862225B055B6960ULL, 0x55B6344CF97AAFAEULL,
0xFF577222C14F0A3AULL, 0x4E4B705B92903BA4ULL,
0x730499AF921549FFULL, 0x13AE978D09FE5557ULL,
0xD9E92AA246BF719EULL, 0x7A4C10EC2158C4A6ULL,
0x49CAD48CEBF4A71EULL, 0xCF05DAF5AC8D77B0ULL,
0xABBDCDD7ED5C0860ULL, 0x9853EAB63B5E0B35ULL,
0x352787BAA0D7C22FULL, 0xC7F6AA2DE59AEA61ULL,
0x03727073C2E134B1ULL, 0x5A0F544DD2B1FB18ULL,
0x74F85198B05A2E7DULL, 0x963EF2C96B33BE31ULL,
0x4659D2B743848A2CULL, 0x19EBB029435DCB0FULL,
0x4E9D2827355FC492ULL, 0xCCEC0A73B49C9921ULL,
0x46C9FEB55D120902ULL, 0x8D2636B81555A786ULL,
0x30C05B1BA332F41CULL, 0xF6F7FD1431714200ULL,
0x1A4FF12616EEFC89ULL, 0x990A98FD5071D263ULL,
0x84547DDC3E203C94ULL, 0x07A3AEC79624C7DAULL,
0x8A328A1CEDFE552CULL, 0xD1E649DE1E7F268BULL,
0x2D8D5432157064C8ULL, 0x4AE7D6A36EB5DBCBULL,
0x57E3306D881EDB4FULL, 0x0A804D18B7097475ULL,
0xE74733427B72F0C1ULL, 0x24B33C9D7ED25117ULL,
0xE805A1E290CF2456ULL, 0x3B544EBE544C19F9ULL,
0x3E666E6F69AE2C15ULL, 0xFB152FE3FF26DA89ULL,
0xB49B52E587A1EE60ULL, 0xAC042E70F8B383F2ULL,
0x89C350C893AE7DC1ULL, 0xB592BF39B0364963ULL,
0x190E714FADA5156EULL, 0xEC8177F83F900978ULL,
0x91B534F885818A06ULL, 0x81536D601170FC20ULL,
0xD4C718BC4AE8AE5FULL, 0x9EEDECA8E272B933ULL,
0x10E8B35AF3EEAB37ULL, 0x0E09B88E1914F7AFULL,
0x3FA9DDFB67E2F199ULL, 0xB10BB459132D0A26ULL,
0x2C046F22062DC67DULL, 0x5E90277E7CB39E2DULL,
0xD6B04D3B7651DD7EULL, 0xE34A1D250E7A8D6BULL,
0x53C065C6C8E63528ULL, 0x1BDEA12E35F6A8C9ULL,
0x21874B8B4D2DBC4FULL, 0x3A88A0FBBCB05C63ULL,
0x43ED7F5A0FAE657DULL, 0x230E343DFBA08D33ULL,
0xB5B4071DBFC73A66ULL, 0x8F9887E6078735A1ULL,
0x08DE8A1C7797DA9BULL, 0xFCB6BE43A9F2FE9BULL,
0x049A7F41061A9E60ULL, 0x9F91508BFFCFC14AULL,
0xE3273522064480CAULL, 0xCD04F3FF001A4778ULL,
0x6BFA9AAE5EC05779ULL, 0x371F77E76BB8417EULL,
0x3550C2321FD6109CULL, 0xFB4A3D794A9A80D2ULL,
0xF43C732873F24C13ULL, 0xAA9119FF184CCCF4ULL,
0xB69E38A8965C6B65ULL, 0x1F2B1D1F15F6DC9CULL,
0x67FEF95D92607890ULL, 0x31865CED6120F37DULL,
0x3A6853C7E70757A7ULL, 0x32AB0EDB696703D3ULL,
0xEE97F453F06791EDULL, 0x6DC93D9526A50E68ULL,
0x78EDEFD694AF1EEDULL, 0x9C1169FA2777B874ULL,
0x50065E535A213CF6ULL, 0xDE0C89A556B9AE70ULL,
0xD1E0CCD25BB9C169ULL, 0x6B17B224BAD6BF27ULL,
0x6B02E63195AD0CF8ULL, 0x455A4B4CFE30E3F5ULL,
0x9338E69C052B8E7BULL, 0x5092EF950A16DA0BULL,
0x7C45D833AFF07862ULL, 0xA5B1CFDBA0AB4067ULL,
0x6AD047C430A12104ULL, 0x6C47BEC883A7DE39ULL,
0x944F6DE09134DFB6ULL, 0x9AEBA33AC6ECC6B0ULL,
0x52E762596BF68235ULL, 0x22AF003AB672E811ULL,
0xB5635C95FF7296E2ULL, 0xED2DF21216235097ULL,
0x4A29C6465A314CD1ULL, 0xD83CC2687A19255FULL,
0x506C11B9D90E8B1DULL, 0x57277707199B8175ULL,
0xCAF21ECD4377B28CULL, 0xC0C0F5A60EF4CDCFULL,
0x93B633ABFA3469F8ULL, 0xE846963877671A17ULL,
0x59AC2C7873F910A3ULL, 0x660D3257380841EEULL,
0xD813F2FAB7F5C5CAULL, 0x4112CF68649A260EULL,
0x443F64EC5A371195ULL, 0xB0774D261CC609DBULL,
0x720BF5F26F4D2EAAULL, 0x1C2559E30F0946BEULL,
0xE328E230E3E2B3FBULL, 0x087E79E5A57D1D13ULL,
0x08DD9BDFD96B9F63ULL, 0x64D0E29EEA8838B3ULL,
0xDDF957BC36D8B9CAULL, 0x6FFE73E81B637FB3ULL,
0x1A4E4822EB4D7A59ULL, 0x5D94337FBFAF7F5BULL,
0xD30C088BA61EA5EFULL, 0x9D765E419FB69F6DULL,
0x9E21F4F903B33FD9ULL, 0xB4D8F77BC3E56167ULL,
0x733EA705FAE4FA77ULL, 0xA4EC0132764CA04BULL,
0x7976033A39F7D952ULL, 0x106F72FE81E2C590ULL,
0x8C90FD9B083F4558ULL, 0xFD080D236DA814BAULL,
0x7B64978555326F9FULL, 0x60E8ED72C0DFF5D1ULL,
0xB063E962E045F54DULL, 0x959F587D507A8359ULL,
0x758F450C88572E0BULL, 0x1B6BACA2AE4E125BULL,
0x61CF4F94C97DF93DULL, 0x2738259634305C14ULL,
0xD39BB9C3A48DB6CFULL, 0x8215E577001332C8ULL,
0xA1082C0466DF6C0AULL, 0xEF02CDD06FFDB432ULL,
0xFC87614BAF287E07ULL, 0x240AB57A8B888B20ULL,
0xBF8D5108E27E0D48ULL, 0x61BDD1307C66E300ULL,
0xB925A6CD0421AFF3ULL, 0x3E003E616A6591E9ULL,
0x94C3251F06F90CF3ULL, 0xBF84470805E69B5FULL,
0x98F076A4F7A2322EULL, 0x70CB6AF7C2D5BCF0ULL,
0xB64BE8D8B25396C1ULL, 0xA9AA4D20DB084E9BULL,
0x2E6D02C36017F67FULL, 0xEFED53D75FD64E6BULL,
0xD9F1F30CCD97FB09ULL, 0xA2EBEE47E2FBFCE1ULL,
0xB8D91274B9E9D4FBULL, 0x1DB956E450275779ULL,
0x4FC8E9560F91B123ULL, 0x63573FF03E224774ULL,
0x0647DFEDCD894A29ULL, 0x7884D9BC6CB569D8ULL,
0x7FBA195410E5CA30ULL, 0x106C09B972D2E822ULL,
0x241260ED4AD1E87DULL, 0x64C8E531BFF53B55ULL,
0xCA672B91E9E4FA16ULL, 0x3871700761B3F743ULL,
0xF95CFFA23AF5F6F4ULL, 0x8D14DEDB30BE846EULL,
0x3B097ADAF088F94EULL, 0x21E0BD5026C619BFULL,
0x1BDA0492E7E4586EULL, 0xD23C8E176D113600ULL,
0x252F59CF0D9F04BBULL, 0xB3598080CE64A656ULL,
0x993E1DE72D36D310ULL, 0xA2853B80F17F58EEULL,
0x1877B51E57A764D5ULL, 0x001F837CC7350524ULL
};
int main(int _argc,const char *_argv[]){
isaac64_ctx isaac64;
int i;
int j;
/*This is how many tests you plan to run.*/
plan_tests(2);
isaac64_init(&isaac64,NULL,0);
for(j=0;j<ISAAC64_SZ;j++)isaac64_next_uint64(&isaac64);
for(i=0;i<2;i++){
int nmatches;
nmatches=0;
for(j=0;j<ISAAC64_SZ;j++){
nmatches+=isaac64_next_uint64(&isaac64)==STATEVEC64[(i+1)*ISAAC64_SZ-j-1];
}
ok1(nmatches==ISAAC64_SZ);
}
/*TODO: We should test the random float/double routines, but they are not
guaranteed to return the same values on all platforms, because the number
of bits in the mantissa may be different.
Perhaps some simple statistical tests would suffice.*/
return exit_status();
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment
GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7