math/gfreduce.[ch]: Fix out-of-bounds memory access.
[u/mdw/catacomb] / math / mpint.c
1 /* -*-c-*-
2 *
3 * Conversion between MPs and standard C integers
4 *
5 * (c) 1999 Straylight/Edgeware
6 */
7
8 /*----- Licensing notice --------------------------------------------------*
9 *
10 * This file is part of Catacomb.
11 *
12 * Catacomb is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU Library General Public License as
14 * published by the Free Software Foundation; either version 2 of the
15 * License, or (at your option) any later version.
16 *
17 * Catacomb is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 * GNU Library General Public License for more details.
21 *
22 * You should have received a copy of the GNU Library General Public
23 * License along with Catacomb; if not, write to the Free
24 * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
25 * MA 02111-1307, USA.
26 */
27
28 /*----- Header files ------------------------------------------------------*/
29
30 #include "mpint.h"
31
32 /*----- Main code ---------------------------------------------------------*/
33
34 /* --- Conversion from C integers --- */
35
36 #define FROM(name, type) \
37 mp *mp_from##name(mp *d, type i) { \
38 MP_FROMINT(d, type, i); \
39 return (d); \
40 }
41
42 FROM(short, short)
43 FROM(ushort, unsigned short)
44 FROM(int, int)
45 FROM(uint, unsigned)
46 FROM(uint32, uint32)
47 FROM(long, long)
48 FROM(ulong, unsigned long)
49
50 #undef FROM
51
52 /* --- Conversion to C integers --- */
53
54 #define TO(name, type, max) \
55 type mp_to##name(const mp *m) \
56 { \
57 type i; \
58 MP_TOINT(m, type, max, i); \
59 return (i); \
60 }
61
62 TO(short, short, SHRT_MAX)
63 TO(ushort, unsigned short, USHRT_MAX)
64 TO(int, int, INT_MAX)
65 TO(uint, unsigned, UINT_MAX)
66 TO(uint32, uint32, 0xffffffff)
67 TO(long, long, LONG_MAX)
68 TO(ulong, unsigned long, ULONG_MAX)
69
70 #undef TO
71
72 /*----- Test rig ----------------------------------------------------------*/
73
74 #ifdef TEST_RIG
75
76 #include <mLib/testrig.h>
77
78 static int fromuint(dstr *v)
79 {
80 unsigned long i = *(unsigned long *)v[0].buf;
81 mp *m = *(mp **)v[1].buf;
82 mp *d = mp_fromuint(MP_NEW, i);
83 int ok = 1;
84
85 if (!MP_EQ(d, m)) {
86 fputs("\n*** fromint failed.\n", stderr);
87 fprintf(stderr, "i = %lu", i);
88 fputs("\nexpect = ", stderr); mp_writefile(m, stderr, 10);
89 fputs("\nresult = ", stderr); mp_writefile(d, stderr, 10);
90 fputc('\n', stderr);
91 ok = 0;
92 }
93
94 mp_drop(m);
95 mp_drop(d);
96 assert(mparena_count(MPARENA_GLOBAL) == 0);
97 return (ok);
98 }
99
100 static int fromint(dstr *v)
101 {
102 long i = *(long *)v[0].buf;
103 mp *m = *(mp **)v[1].buf;
104 mp *d = mp_fromint(MP_NEW, i);
105 int ok = 1;
106
107 if (!MP_EQ(d, m)) {
108 fputs("\n*** fromint failed.\n", stderr);
109 fprintf(stderr, "i = %li", i);
110 fputs("\nexpect = ", stderr); mp_writefile(m, stderr, 10);
111 fputs("\nresult = ", stderr); mp_writefile(d, stderr, 10);
112 fputc('\n', stderr);
113 ok = 0;
114 }
115
116 mp_drop(m);
117 mp_drop(d);
118 assert(mparena_count(MPARENA_GLOBAL) == 0);
119 return (ok);
120 }
121
122 static int touint(dstr *v)
123 {
124 mp *m = *(mp **)v[0].buf;
125 unsigned long i = *(unsigned long *)v[1].buf;
126 unsigned j = mp_touint(m);
127 int ok = 1;
128
129 if ((unsigned)i != j) {
130 fputs("\n*** touint failed.\n", stderr);
131 fputs("m = ", stderr); mp_writefile(m, stderr, 10);
132 fprintf(stderr, "\nexpect = %lu; result = %u\n", i, j);
133 ok = 0;
134 }
135
136 mp_drop(m);
137 assert(mparena_count(MPARENA_GLOBAL) == 0);
138 return (ok);
139 }
140
141 static int toint(dstr *v)
142 {
143 mp *m = *(mp **)v[0].buf;
144 long i = *(long *)v[1].buf;
145 int j = mp_toint(m);
146 int ok = 1;
147
148 if (i != j) {
149 fputs("\n*** toint failed.\n", stderr);
150 fputs("m = ", stderr); mp_writefile(m, stderr, 10);
151 fprintf(stderr, "\nexpect = %li; result = %i\n", i, j);
152 ok = 0;
153 }
154
155 mp_drop(m);
156 assert(mparena_count(MPARENA_GLOBAL) == 0);
157 return (ok);
158 }
159
160 static test_chunk tests[] = {
161 { "fromuint", fromuint, { &type_ulong, &type_mp, 0 } },
162 { "fromint", fromint, { &type_long, &type_mp, 0 } },
163 { "touint", touint, { &type_mp, &type_ulong, 0 } },
164 { "toint", toint, { &type_mp, &type_long, 0 } },
165 { 0, 0, { 0 } }
166 };
167
168 int main(int argc, char *argv[])
169 {
170 sub_init();
171 test_run(argc, argv, tests, SRCDIR "/t/mpint");
172 return (0);
173 }
174
175 #endif
176
177 /*----- That's all, folks -------------------------------------------------*/