git.ozlabs.org Git - ccan/blob - ccan/hash/test/api-hash_stable.c

   1 #include <ccan/hash/hash.h>
   2 #include <ccan/tap/tap.h>
   3 #include <stdbool.h>
   4 #include <string.h>
   5
   6 #define ARRAY_WORDS 5
   7
   8 int main(int argc, char *argv[])
   9 {
  10         unsigned int i;
  11         uint8_t u8array[ARRAY_WORDS];
  12         uint16_t u16array[ARRAY_WORDS];
  13         uint32_t u32array[ARRAY_WORDS];
  14         uint64_t u64array[ARRAY_WORDS];
  15
  16         /* Initialize arrays. */
  17         for (i = 0; i < ARRAY_WORDS; i++) {
  18                 u8array[i] = i;
  19                 u16array[i] = i;
  20                 u32array[i] = i;
  21                 u64array[i] = i;
  22         }
  23
  24         plan_tests(264);
  25
  26         /* hash_stable is API-guaranteed. */
  27         ok1(hash_stable(u8array, ARRAY_WORDS, 0) == 0x1d4833cc);
  28         ok1(hash_stable(u8array, ARRAY_WORDS, 1) == 0x37125e2 );
  29         ok1(hash_stable(u8array, ARRAY_WORDS, 2) == 0x330a007a);
  30         ok1(hash_stable(u8array, ARRAY_WORDS, 4) == 0x7b0df29b);
  31         ok1(hash_stable(u8array, ARRAY_WORDS, 8) == 0xe7e5d741);
  32         ok1(hash_stable(u8array, ARRAY_WORDS, 16) == 0xaae57471);
  33         ok1(hash_stable(u8array, ARRAY_WORDS, 32) == 0xc55399e5);
  34         ok1(hash_stable(u8array, ARRAY_WORDS, 64) == 0x67f21f7 );
  35         ok1(hash_stable(u8array, ARRAY_WORDS, 128) == 0x1d795b71);
  36         ok1(hash_stable(u8array, ARRAY_WORDS, 256) == 0xeb961671);
  37         ok1(hash_stable(u8array, ARRAY_WORDS, 512) == 0xc2597247);
  38         ok1(hash_stable(u8array, ARRAY_WORDS, 1024) == 0x3f5c4d75);
  39         ok1(hash_stable(u8array, ARRAY_WORDS, 2048) == 0xe65cf4f9);
  40         ok1(hash_stable(u8array, ARRAY_WORDS, 4096) == 0xf2cd06cb);
  41         ok1(hash_stable(u8array, ARRAY_WORDS, 8192) == 0x443041e1);
  42         ok1(hash_stable(u8array, ARRAY_WORDS, 16384) == 0xdfc618f5);
  43         ok1(hash_stable(u8array, ARRAY_WORDS, 32768) == 0x5e3d5b97);
  44         ok1(hash_stable(u8array, ARRAY_WORDS, 65536) == 0xd5f64730);
  45         ok1(hash_stable(u8array, ARRAY_WORDS, 131072) == 0x372bbecc);
  46         ok1(hash_stable(u8array, ARRAY_WORDS, 262144) == 0x7c194c8d);
  47         ok1(hash_stable(u8array, ARRAY_WORDS, 524288) == 0x16cbb416);
  48         ok1(hash_stable(u8array, ARRAY_WORDS, 1048576) == 0x53e99222);
  49         ok1(hash_stable(u8array, ARRAY_WORDS, 2097152) == 0x6394554a);
  50         ok1(hash_stable(u8array, ARRAY_WORDS, 4194304) == 0xd83a506d);
  51         ok1(hash_stable(u8array, ARRAY_WORDS, 8388608) == 0x7619d9a4);
  52         ok1(hash_stable(u8array, ARRAY_WORDS, 16777216) == 0xfe98e5f6);
  53         ok1(hash_stable(u8array, ARRAY_WORDS, 33554432) == 0x6c262927);
  54         ok1(hash_stable(u8array, ARRAY_WORDS, 67108864) == 0x3f0106fd);
  55         ok1(hash_stable(u8array, ARRAY_WORDS, 134217728) == 0xc91e3a28);
  56         ok1(hash_stable(u8array, ARRAY_WORDS, 268435456) == 0x14229579);
  57         ok1(hash_stable(u8array, ARRAY_WORDS, 536870912) == 0x9dbefa76);
  58         ok1(hash_stable(u8array, ARRAY_WORDS, 1073741824) == 0xb05c0c78);
  59         ok1(hash_stable(u8array, ARRAY_WORDS, 2147483648U) == 0x88f24d81);
  60
  61         ok1(hash_stable(u16array, ARRAY_WORDS, 0) == 0xecb5f507);
  62         ok1(hash_stable(u16array, ARRAY_WORDS, 1) == 0xadd666e6);
  63         ok1(hash_stable(u16array, ARRAY_WORDS, 2) == 0xea0f214c);
  64         ok1(hash_stable(u16array, ARRAY_WORDS, 4) == 0xae4051ba);
  65         ok1(hash_stable(u16array, ARRAY_WORDS, 8) == 0x6ed28026);
  66         ok1(hash_stable(u16array, ARRAY_WORDS, 16) == 0xa3917a19);
  67         ok1(hash_stable(u16array, ARRAY_WORDS, 32) == 0xf370f32b);
  68         ok1(hash_stable(u16array, ARRAY_WORDS, 64) == 0x807af460);
  69         ok1(hash_stable(u16array, ARRAY_WORDS, 128) == 0xb4c8cd83);
  70         ok1(hash_stable(u16array, ARRAY_WORDS, 256) == 0xa10cb5b0);
  71         ok1(hash_stable(u16array, ARRAY_WORDS, 512) == 0x8b7d7387);
  72         ok1(hash_stable(u16array, ARRAY_WORDS, 1024) == 0x9e49d1c );
  73         ok1(hash_stable(u16array, ARRAY_WORDS, 2048) == 0x288830d1);
  74         ok1(hash_stable(u16array, ARRAY_WORDS, 4096) == 0xbe078a43);
  75         ok1(hash_stable(u16array, ARRAY_WORDS, 8192) == 0xa16d5d88);
  76         ok1(hash_stable(u16array, ARRAY_WORDS, 16384) == 0x46839fcd);
  77         ok1(hash_stable(u16array, ARRAY_WORDS, 32768) == 0x9db9bd4f);
  78         ok1(hash_stable(u16array, ARRAY_WORDS, 65536) == 0xedff58f8);
  79         ok1(hash_stable(u16array, ARRAY_WORDS, 131072) == 0x95ecef18);
  80         ok1(hash_stable(u16array, ARRAY_WORDS, 262144) == 0x23c31b7d);
  81         ok1(hash_stable(u16array, ARRAY_WORDS, 524288) == 0x1d85c7d0);
  82         ok1(hash_stable(u16array, ARRAY_WORDS, 1048576) == 0x25218842);
  83         ok1(hash_stable(u16array, ARRAY_WORDS, 2097152) == 0x711d985c);
  84         ok1(hash_stable(u16array, ARRAY_WORDS, 4194304) == 0x85470eca);
  85         ok1(hash_stable(u16array, ARRAY_WORDS, 8388608) == 0x99ed4ceb);
  86         ok1(hash_stable(u16array, ARRAY_WORDS, 16777216) == 0x67b3710c);
  87         ok1(hash_stable(u16array, ARRAY_WORDS, 33554432) == 0x77f1ab35);
  88         ok1(hash_stable(u16array, ARRAY_WORDS, 67108864) == 0x81f688aa);
  89         ok1(hash_stable(u16array, ARRAY_WORDS, 134217728) == 0x27b56ca5);
  90         ok1(hash_stable(u16array, ARRAY_WORDS, 268435456) == 0xf21ba203);
  91         ok1(hash_stable(u16array, ARRAY_WORDS, 536870912) == 0xd48d1d1 );
  92         ok1(hash_stable(u16array, ARRAY_WORDS, 1073741824) == 0xa542b62d);
  93         ok1(hash_stable(u16array, ARRAY_WORDS, 2147483648U) == 0xa04c7058);
  94
  95         ok1(hash_stable(u32array, ARRAY_WORDS, 0) == 0x13305f8c);
  96         ok1(hash_stable(u32array, ARRAY_WORDS, 1) == 0x171abf74);
  97         ok1(hash_stable(u32array, ARRAY_WORDS, 2) == 0x7646fcc7);
  98         ok1(hash_stable(u32array, ARRAY_WORDS, 4) == 0xa758ed5);
  99         ok1(hash_stable(u32array, ARRAY_WORDS, 8) == 0x2dedc2e4);
 100         ok1(hash_stable(u32array, ARRAY_WORDS, 16) == 0x28e2076b);
 101         ok1(hash_stable(u32array, ARRAY_WORDS, 32) == 0xb73091c5);
 102         ok1(hash_stable(u32array, ARRAY_WORDS, 64) == 0x87daf5db);
 103         ok1(hash_stable(u32array, ARRAY_WORDS, 128) == 0xa16dfe20);
 104         ok1(hash_stable(u32array, ARRAY_WORDS, 256) == 0x300c63c3);
 105         ok1(hash_stable(u32array, ARRAY_WORDS, 512) == 0x255c91fc);
 106         ok1(hash_stable(u32array, ARRAY_WORDS, 1024) == 0x6357b26);
 107         ok1(hash_stable(u32array, ARRAY_WORDS, 2048) == 0x4bc5f339);
 108         ok1(hash_stable(u32array, ARRAY_WORDS, 4096) == 0x1301617c);
 109         ok1(hash_stable(u32array, ARRAY_WORDS, 8192) == 0x506792c9);
 110         ok1(hash_stable(u32array, ARRAY_WORDS, 16384) == 0xcd596705);
 111         ok1(hash_stable(u32array, ARRAY_WORDS, 32768) == 0xa8713cac);
 112         ok1(hash_stable(u32array, ARRAY_WORDS, 65536) == 0x94d9794);
 113         ok1(hash_stable(u32array, ARRAY_WORDS, 131072) == 0xac753e8);
 114         ok1(hash_stable(u32array, ARRAY_WORDS, 262144) == 0xcd8bdd20);
 115         ok1(hash_stable(u32array, ARRAY_WORDS, 524288) == 0xd44faf80);
 116         ok1(hash_stable(u32array, ARRAY_WORDS, 1048576) == 0x2547ccbe);
 117         ok1(hash_stable(u32array, ARRAY_WORDS, 2097152) == 0xbab06dbc);
 118         ok1(hash_stable(u32array, ARRAY_WORDS, 4194304) == 0xaac0e882);
 119         ok1(hash_stable(u32array, ARRAY_WORDS, 8388608) == 0x443f48d0);
 120         ok1(hash_stable(u32array, ARRAY_WORDS, 16777216) == 0xdff49fcc);
 121         ok1(hash_stable(u32array, ARRAY_WORDS, 33554432) == 0x9ce0fd65);
 122         ok1(hash_stable(u32array, ARRAY_WORDS, 67108864) == 0x9ddb1def);
 123         ok1(hash_stable(u32array, ARRAY_WORDS, 134217728) == 0x86096f25);
 124         ok1(hash_stable(u32array, ARRAY_WORDS, 268435456) == 0xe713b7b5);
 125         ok1(hash_stable(u32array, ARRAY_WORDS, 536870912) == 0x5baeffc5);
 126         ok1(hash_stable(u32array, ARRAY_WORDS, 1073741824) == 0xde874f52);
 127         ok1(hash_stable(u32array, ARRAY_WORDS, 2147483648U) == 0xeca13b4e);
 128
 129         ok1(hash_stable(u64array, ARRAY_WORDS, 0) == 0x12ef6302);
 130         ok1(hash_stable(u64array, ARRAY_WORDS, 1) == 0xe9aeb406);
 131         ok1(hash_stable(u64array, ARRAY_WORDS, 2) == 0xc4218ceb);
 132         ok1(hash_stable(u64array, ARRAY_WORDS, 4) == 0xb3d11412);
 133         ok1(hash_stable(u64array, ARRAY_WORDS, 8) == 0xdafbd654);
 134         ok1(hash_stable(u64array, ARRAY_WORDS, 16) == 0x9c336cba);
 135         ok1(hash_stable(u64array, ARRAY_WORDS, 32) == 0x65059721);
 136         ok1(hash_stable(u64array, ARRAY_WORDS, 64) == 0x95b5bbe6);
 137         ok1(hash_stable(u64array, ARRAY_WORDS, 128) == 0xe7596b84);
 138         ok1(hash_stable(u64array, ARRAY_WORDS, 256) == 0x503622a2);
 139         ok1(hash_stable(u64array, ARRAY_WORDS, 512) == 0xecdcc5ca);
 140         ok1(hash_stable(u64array, ARRAY_WORDS, 1024) == 0xc40d0513);
 141         ok1(hash_stable(u64array, ARRAY_WORDS, 2048) == 0xaab25e4d);
 142         ok1(hash_stable(u64array, ARRAY_WORDS, 4096) == 0xcc353fb9);
 143         ok1(hash_stable(u64array, ARRAY_WORDS, 8192) == 0x18e2319f);
 144         ok1(hash_stable(u64array, ARRAY_WORDS, 16384) == 0xfddaae8d);
 145         ok1(hash_stable(u64array, ARRAY_WORDS, 32768) == 0xef7976f2);
 146         ok1(hash_stable(u64array, ARRAY_WORDS, 65536) == 0x86359fc9);
 147         ok1(hash_stable(u64array, ARRAY_WORDS, 131072) == 0x8b5af385);
 148         ok1(hash_stable(u64array, ARRAY_WORDS, 262144) == 0x80d4ee31);
 149         ok1(hash_stable(u64array, ARRAY_WORDS, 524288) == 0x42f5f85b);
 150         ok1(hash_stable(u64array, ARRAY_WORDS, 1048576) == 0x9a6920e1);
 151         ok1(hash_stable(u64array, ARRAY_WORDS, 2097152) == 0x7b7c9850);
 152         ok1(hash_stable(u64array, ARRAY_WORDS, 4194304) == 0x69573e09);
 153         ok1(hash_stable(u64array, ARRAY_WORDS, 8388608) == 0xc942bc0e);
 154         ok1(hash_stable(u64array, ARRAY_WORDS, 16777216) == 0x7a89f0f1);
 155         ok1(hash_stable(u64array, ARRAY_WORDS, 33554432) == 0x2dd641ca);
 156         ok1(hash_stable(u64array, ARRAY_WORDS, 67108864) == 0x89bbd391);
 157         ok1(hash_stable(u64array, ARRAY_WORDS, 134217728) == 0xbcf88e31);
 158         ok1(hash_stable(u64array, ARRAY_WORDS, 268435456) == 0xfa7a3460);
 159         ok1(hash_stable(u64array, ARRAY_WORDS, 536870912) == 0x49a37be0);
 160         ok1(hash_stable(u64array, ARRAY_WORDS, 1073741824) == 0x1b346394);
 161         ok1(hash_stable(u64array, ARRAY_WORDS, 2147483648U) == 0x6c3a1592);
 162
 163         ok1(hash64_stable(u8array, ARRAY_WORDS, 0) == 16887282882572727244ULL);
 164         ok1(hash64_stable(u8array, ARRAY_WORDS, 1) == 12032777473133454818ULL);
 165         ok1(hash64_stable(u8array, ARRAY_WORDS, 2) == 18183407363221487738ULL);
 166         ok1(hash64_stable(u8array, ARRAY_WORDS, 4) == 17860764172704150171ULL);
 167         ok1(hash64_stable(u8array, ARRAY_WORDS, 8) == 18076051600675559233ULL);
 168         ok1(hash64_stable(u8array, ARRAY_WORDS, 16) == 9909361918431556721ULL);
 169         ok1(hash64_stable(u8array, ARRAY_WORDS, 32) == 12937969888744675813ULL);
 170         ok1(hash64_stable(u8array, ARRAY_WORDS, 64) == 5245669057381736951ULL);
 171         ok1(hash64_stable(u8array, ARRAY_WORDS, 128) == 4376874646406519665ULL);
 172         ok1(hash64_stable(u8array, ARRAY_WORDS, 256) == 14219974419871569521ULL);
 173         ok1(hash64_stable(u8array, ARRAY_WORDS, 512) == 2263415354134458951ULL);
 174         ok1(hash64_stable(u8array, ARRAY_WORDS, 1024) == 4953859694526221685ULL);
 175         ok1(hash64_stable(u8array, ARRAY_WORDS, 2048) == 3432228642067641593ULL);
 176         ok1(hash64_stable(u8array, ARRAY_WORDS, 4096) == 1219647244417697483ULL);
 177         ok1(hash64_stable(u8array, ARRAY_WORDS, 8192) == 7629939424585859553ULL);
 178         ok1(hash64_stable(u8array, ARRAY_WORDS, 16384) == 10041660531376789749ULL);
 179         ok1(hash64_stable(u8array, ARRAY_WORDS, 32768) == 13859885793922603927ULL);
 180         ok1(hash64_stable(u8array, ARRAY_WORDS, 65536) == 15069060338344675120ULL);
 181         ok1(hash64_stable(u8array, ARRAY_WORDS, 131072) == 818163430835601100ULL);
 182         ok1(hash64_stable(u8array, ARRAY_WORDS, 262144) == 14914314323019517069ULL);
 183         ok1(hash64_stable(u8array, ARRAY_WORDS, 524288) == 17518437749769352214ULL);
 184         ok1(hash64_stable(u8array, ARRAY_WORDS, 1048576) == 14920048004901212706ULL);
 185         ok1(hash64_stable(u8array, ARRAY_WORDS, 2097152) == 8758567366332536138ULL);
 186         ok1(hash64_stable(u8array, ARRAY_WORDS, 4194304) == 6226655736088907885ULL);
 187         ok1(hash64_stable(u8array, ARRAY_WORDS, 8388608) == 13716650013685832100ULL);
 188         ok1(hash64_stable(u8array, ARRAY_WORDS, 16777216) == 305325651636315638ULL);
 189         ok1(hash64_stable(u8array, ARRAY_WORDS, 33554432) == 16784147606583781671ULL);
 190         ok1(hash64_stable(u8array, ARRAY_WORDS, 67108864) == 16509467555140798205ULL);
 191         ok1(hash64_stable(u8array, ARRAY_WORDS, 134217728) == 8717281234694060584ULL);
 192         ok1(hash64_stable(u8array, ARRAY_WORDS, 268435456) == 8098476701725660537ULL);
 193         ok1(hash64_stable(u8array, ARRAY_WORDS, 536870912) == 16345871539461094006ULL);
 194         ok1(hash64_stable(u8array, ARRAY_WORDS, 1073741824) == 3755557000429964408ULL);
 195         ok1(hash64_stable(u8array, ARRAY_WORDS, 2147483648U) == 15017348801959710081ULL);
 196
 197         ok1(hash64_stable(u16array, ARRAY_WORDS, 0) == 1038028831307724039ULL);
 198         ok1(hash64_stable(u16array, ARRAY_WORDS, 1) == 10155473272642627302ULL);
 199         ok1(hash64_stable(u16array, ARRAY_WORDS, 2) == 5714751190106841420ULL);
 200         ok1(hash64_stable(u16array, ARRAY_WORDS, 4) == 3923885607767527866ULL);
 201         ok1(hash64_stable(u16array, ARRAY_WORDS, 8) == 3931017318293995558ULL);
 202         ok1(hash64_stable(u16array, ARRAY_WORDS, 16) == 1469696588339313177ULL);
 203         ok1(hash64_stable(u16array, ARRAY_WORDS, 32) == 11522218526952715051ULL);
 204         ok1(hash64_stable(u16array, ARRAY_WORDS, 64) == 6953517591561958496ULL);
 205         ok1(hash64_stable(u16array, ARRAY_WORDS, 128) == 7406689491740052867ULL);
 206         ok1(hash64_stable(u16array, ARRAY_WORDS, 256) == 10101844489704093104ULL);
 207         ok1(hash64_stable(u16array, ARRAY_WORDS, 512) == 12511348870707245959ULL);
 208         ok1(hash64_stable(u16array, ARRAY_WORDS, 1024) == 1614019938016861468ULL);
 209         ok1(hash64_stable(u16array, ARRAY_WORDS, 2048) == 5294796182374592721ULL);
 210         ok1(hash64_stable(u16array, ARRAY_WORDS, 4096) == 16089570706643716675ULL);
 211         ok1(hash64_stable(u16array, ARRAY_WORDS, 8192) == 1689302638424579464ULL);
 212         ok1(hash64_stable(u16array, ARRAY_WORDS, 16384) == 1446340172370386893ULL);
 213         ok1(hash64_stable(u16array, ARRAY_WORDS, 32768) == 16535503506744393039ULL);
 214         ok1(hash64_stable(u16array, ARRAY_WORDS, 65536) == 3496794142527150328ULL);
 215         ok1(hash64_stable(u16array, ARRAY_WORDS, 131072) == 6568245367474548504ULL);
 216         ok1(hash64_stable(u16array, ARRAY_WORDS, 262144) == 9487676460765485949ULL);
 217         ok1(hash64_stable(u16array, ARRAY_WORDS, 524288) == 4519762130966530000ULL);
 218         ok1(hash64_stable(u16array, ARRAY_WORDS, 1048576) == 15623412069215340610ULL);
 219         ok1(hash64_stable(u16array, ARRAY_WORDS, 2097152) == 544013388676438108ULL);
 220         ok1(hash64_stable(u16array, ARRAY_WORDS, 4194304) == 5594904760290840266ULL);
 221         ok1(hash64_stable(u16array, ARRAY_WORDS, 8388608) == 18098755780041592043ULL);
 222         ok1(hash64_stable(u16array, ARRAY_WORDS, 16777216) == 6389168672387330316ULL);
 223         ok1(hash64_stable(u16array, ARRAY_WORDS, 33554432) == 896986127732419381ULL);
 224         ok1(hash64_stable(u16array, ARRAY_WORDS, 67108864) == 13232626471143901354ULL);
 225         ok1(hash64_stable(u16array, ARRAY_WORDS, 134217728) == 53378562890493093ULL);
 226         ok1(hash64_stable(u16array, ARRAY_WORDS, 268435456) == 10072361400297824771ULL);
 227         ok1(hash64_stable(u16array, ARRAY_WORDS, 536870912) == 14511948118285144529ULL);
 228         ok1(hash64_stable(u16array, ARRAY_WORDS, 1073741824) == 6981033484844447277ULL);
 229         ok1(hash64_stable(u16array, ARRAY_WORDS, 2147483648U) == 5619339091684126808ULL);
 230
 231         ok1(hash64_stable(u32array, ARRAY_WORDS, 0) == 3037571077312110476ULL);
 232         ok1(hash64_stable(u32array, ARRAY_WORDS, 1) == 14732398743825071988ULL);
 233         ok1(hash64_stable(u32array, ARRAY_WORDS, 2) == 14949132158206672071ULL);
 234         ok1(hash64_stable(u32array, ARRAY_WORDS, 4) == 1291370080511561429ULL);
 235         ok1(hash64_stable(u32array, ARRAY_WORDS, 8) == 10792665964172133092ULL);
 236         ok1(hash64_stable(u32array, ARRAY_WORDS, 16) == 14250138032054339435ULL);
 237         ok1(hash64_stable(u32array, ARRAY_WORDS, 32) == 17136741522078732741ULL);
 238         ok1(hash64_stable(u32array, ARRAY_WORDS, 64) == 3260193403318236635ULL);
 239         ok1(hash64_stable(u32array, ARRAY_WORDS, 128) == 10526616652205653536ULL);
 240         ok1(hash64_stable(u32array, ARRAY_WORDS, 256) == 9019690373358576579ULL);
 241         ok1(hash64_stable(u32array, ARRAY_WORDS, 512) == 6997491436599677436ULL);
 242         ok1(hash64_stable(u32array, ARRAY_WORDS, 1024) == 18302783371416533798ULL);
 243         ok1(hash64_stable(u32array, ARRAY_WORDS, 2048) == 10149320644446516025ULL);
 244         ok1(hash64_stable(u32array, ARRAY_WORDS, 4096) == 7073759949410623868ULL);
 245         ok1(hash64_stable(u32array, ARRAY_WORDS, 8192) == 17442399482223760073ULL);
 246         ok1(hash64_stable(u32array, ARRAY_WORDS, 16384) == 2983906194216281861ULL);
 247         ok1(hash64_stable(u32array, ARRAY_WORDS, 32768) == 4975845419129060524ULL);
 248         ok1(hash64_stable(u32array, ARRAY_WORDS, 65536) == 594019910205413268ULL);
 249         ok1(hash64_stable(u32array, ARRAY_WORDS, 131072) == 11903010186073691112ULL);
 250         ok1(hash64_stable(u32array, ARRAY_WORDS, 262144) == 7339636527154847008ULL);
 251         ok1(hash64_stable(u32array, ARRAY_WORDS, 524288) == 15243305400579108736ULL);
 252         ok1(hash64_stable(u32array, ARRAY_WORDS, 1048576) == 16737926245392043198ULL);
 253         ok1(hash64_stable(u32array, ARRAY_WORDS, 2097152) == 15725083267699862972ULL);
 254         ok1(hash64_stable(u32array, ARRAY_WORDS, 4194304) == 12527834265678833794ULL);
 255         ok1(hash64_stable(u32array, ARRAY_WORDS, 8388608) == 13908436455987824848ULL);
 256         ok1(hash64_stable(u32array, ARRAY_WORDS, 16777216) == 9672773345173872588ULL);
 257         ok1(hash64_stable(u32array, ARRAY_WORDS, 33554432) == 2305314279896710501ULL);
 258         ok1(hash64_stable(u32array, ARRAY_WORDS, 67108864) == 1866733780381408751ULL);
 259         ok1(hash64_stable(u32array, ARRAY_WORDS, 134217728) == 11906263969465724709ULL);
 260         ok1(hash64_stable(u32array, ARRAY_WORDS, 268435456) == 5501594918093830069ULL);
 261         ok1(hash64_stable(u32array, ARRAY_WORDS, 536870912) == 15823785789276225477ULL);
 262         ok1(hash64_stable(u32array, ARRAY_WORDS, 1073741824) == 17353000723889475410ULL);
 263         ok1(hash64_stable(u32array, ARRAY_WORDS, 2147483648U) == 7494736910655503182ULL);
 264
 265         ok1(hash64_stable(u64array, ARRAY_WORDS, 0) == 9765419389786481410ULL);
 266         ok1(hash64_stable(u64array, ARRAY_WORDS, 1) == 11182806172127114246ULL);
 267         ok1(hash64_stable(u64array, ARRAY_WORDS, 2) == 2559155171395472619ULL);
 268         ok1(hash64_stable(u64array, ARRAY_WORDS, 4) == 3311692033324815378ULL);
 269         ok1(hash64_stable(u64array, ARRAY_WORDS, 8) == 1297175419505333844ULL);
 270         ok1(hash64_stable(u64array, ARRAY_WORDS, 16) == 617896928653569210ULL);
 271         ok1(hash64_stable(u64array, ARRAY_WORDS, 32) == 1517398559958603553ULL);
 272         ok1(hash64_stable(u64array, ARRAY_WORDS, 64) == 4504821917445110758ULL);
 273         ok1(hash64_stable(u64array, ARRAY_WORDS, 128) == 1971743331114904452ULL);
 274         ok1(hash64_stable(u64array, ARRAY_WORDS, 256) == 6177667912354374306ULL);
 275         ok1(hash64_stable(u64array, ARRAY_WORDS, 512) == 15570521289777792458ULL);
 276         ok1(hash64_stable(u64array, ARRAY_WORDS, 1024) == 9204559632415917331ULL);
 277         ok1(hash64_stable(u64array, ARRAY_WORDS, 2048) == 9008982669760028237ULL);
 278         ok1(hash64_stable(u64array, ARRAY_WORDS, 4096) == 14803537660281700281ULL);
 279         ok1(hash64_stable(u64array, ARRAY_WORDS, 8192) == 2873966517448487327ULL);
 280         ok1(hash64_stable(u64array, ARRAY_WORDS, 16384) == 5859277625928363661ULL);
 281         ok1(hash64_stable(u64array, ARRAY_WORDS, 32768) == 15520461285618185970ULL);
 282         ok1(hash64_stable(u64array, ARRAY_WORDS, 65536) == 16746489793331175369ULL);
 283         ok1(hash64_stable(u64array, ARRAY_WORDS, 131072) == 514952025484227461ULL);
 284         ok1(hash64_stable(u64array, ARRAY_WORDS, 262144) == 10867212269810675249ULL);
 285         ok1(hash64_stable(u64array, ARRAY_WORDS, 524288) == 9822204377278314587ULL);
 286         ok1(hash64_stable(u64array, ARRAY_WORDS, 1048576) == 3295088921987850465ULL);
 287         ok1(hash64_stable(u64array, ARRAY_WORDS, 2097152) == 7559197431498053712ULL);
 288         ok1(hash64_stable(u64array, ARRAY_WORDS, 4194304) == 1667267269116771849ULL);
 289         ok1(hash64_stable(u64array, ARRAY_WORDS, 8388608) == 2916804068951374862ULL);
 290         ok1(hash64_stable(u64array, ARRAY_WORDS, 16777216) == 14422558383125688561ULL);
 291         ok1(hash64_stable(u64array, ARRAY_WORDS, 33554432) == 10083112683694342602ULL);
 292         ok1(hash64_stable(u64array, ARRAY_WORDS, 67108864) == 7222777647078298513ULL);
 293         ok1(hash64_stable(u64array, ARRAY_WORDS, 134217728) == 18424513674048212529ULL);
 294         ok1(hash64_stable(u64array, ARRAY_WORDS, 268435456) == 14913668581101810784ULL);
 295         ok1(hash64_stable(u64array, ARRAY_WORDS, 536870912) == 14377721174297902048ULL);
 296         ok1(hash64_stable(u64array, ARRAY_WORDS, 1073741824) == 6031715005667500948ULL);
 297         ok1(hash64_stable(u64array, ARRAY_WORDS, 2147483648U) == 4827100319722378642ULL);
 298
 299         return exit_status();
 300 }