7f48291c7705fd2a761e618b1f64bf601f8bdbc5
[mLib] / bits-testgen.c
1 /*
2 * Generate random test vectors for 64-bit operations.
3 *
4 * As an independent reference, we use the Catacomb multiprecision integer
5 * library.
6 */
7
8 #include <stdio.h>
9
10 #include <catacomb/mp.h>
11 #include <catacomb/mprand.h>
12 #include <catacomb/fibrand.h>
13
14 static mp *m64;
15 static grand *r;
16
17 #define NVEC 64
18
19 static mp *mp_rol(mp *d, mp *x, unsigned s)
20 {
21 mp *l = mp_lsl(MP_NEW, x, s);
22 mp *r = mp_lsr(MP_NEW, x, 64 - s);
23 d = mp_add(d, l, r);
24 mp_drop(l);
25 mp_drop(r);
26 return (d);
27 }
28
29 static mp *mp_ror(mp *d, mp *x, unsigned s)
30 {
31 mp *l = mp_lsl(MP_NEW, x, 64 - s);
32 mp *r = mp_lsr(MP_NEW, x, s);
33 d = mp_add(d, l, r);
34 mp_drop(l);
35 mp_drop(r);
36 return (d);
37 }
38
39 static void putmp(mp *x)
40 {
41 octet buf[8];
42 unsigned i;
43 fputc(' ', stdout);
44 mp_storeb(x, buf, sizeof(buf));
45 for (i = 0; i < sizeof(buf); i++)
46 printf("%02x", buf[i]);
47 }
48
49 #define GEN_SHIFT(op) \
50 \
51 static void gen_##op(void) \
52 { \
53 unsigned i; \
54 fputs("\n" #op "64 {\n", stdout); \
55 for (i = 0; i < NVEC; i++) { \
56 mp *x = mprand_range(MP_NEW, m64, r, 0); \
57 unsigned s = r->ops->range(r, 70), ss = s & 63; \
58 mp *y = mp_##op(MP_NEW, x, ss); \
59 mp_div(0, &y, y, m64); \
60 \
61 fputs(" ", stdout); \
62 putmp(x); printf(" %2u", s); putmp(y); \
63 fputs(";\n", stdout); \
64 mp_drop(x); mp_drop(y); \
65 } \
66 fputs("}\n", stdout); \
67 }
68
69 #define GEN_ARITH(op) \
70 \
71 static void gen_##op(void) \
72 { \
73 unsigned i; \
74 fputs("\n" #op "64 {\n", stdout); \
75 for (i = 0; i < NVEC; i++) { \
76 mp *x = mprand_range(MP_NEW, m64, r, 0); \
77 mp *y = mprand_range(MP_NEW, m64, r, 0); \
78 mp *z = mp_##op(MP_NEW, x, y); \
79 mp_div(0, &z, z, m64); \
80 \
81 fputs(" ", stdout); \
82 putmp(x); putmp(y); putmp(z); \
83 fputs(";\n", stdout); \
84 mp_drop(x); mp_drop(y); mp_drop(z); \
85 } \
86 fputs("}\n", stdout); \
87 }
88
89 GEN_SHIFT(lsl)
90 GEN_SHIFT(lsr)
91 GEN_SHIFT(rol)
92 GEN_SHIFT(ror)
93 GEN_ARITH(add)
94 GEN_ARITH(sub)
95
96 int main(void)
97 {
98 m64 = mp_lsl(MP_NEW, MP_ONE, 64);
99 r = fibrand_create(0);
100 fputs("# Test vectors for 64-bit operations [generated]\n", stdout);
101
102 gen_lsl();
103 gen_lsr();
104 gen_rol();
105 gen_ror();
106 gen_add();
107 gen_sub();
108 return (0);
109 }