Annotation of OpenXM_contrib/gmp/tests/mpq/t-md_2exp.c, Revision 1.1.1.1
1.1 ohara 1: /* Test mpq_mul_2exp and mpq_div_2exp.
2:
3: Copyright 2000, 2001 Free Software Foundation, Inc.
4:
5: This file is part of the GNU MP Library.
6:
7: The GNU MP Library is free software; you can redistribute it and/or modify
8: it under the terms of the GNU Lesser General Public License as published by
9: the Free Software Foundation; either version 2.1 of the License, or (at your
10: option) any later version.
11:
12: The GNU MP Library is distributed in the hope that it will be useful, but
13: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14: or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
15: License for more details.
16:
17: You should have received a copy of the GNU Lesser General Public License
18: along with the GNU MP Library; see the file COPYING.LIB. If not, write to
19: the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
20: MA 02111-1307, USA. */
21:
22: #include <stdio.h>
23: #include <stdlib.h>
24: #include "gmp.h"
25: #include "gmp-impl.h"
26: #include "tests.h"
27:
28:
29: struct pair_t {
30: const char *num;
31: const char *den;
32: };
33:
34: int
35: main (void)
36: {
37: static const struct {
38: struct pair_t left;
39: unsigned long n;
40: struct pair_t right;
41:
42: } data[] = {
43: { {"0","1"}, 0, {"0","1"} },
44: { {"0","1"}, 1, {"0","1"} },
45: { {"0","1"}, 2, {"0","1"} },
46:
47: { {"1","1"}, 0, {"1","1"} },
48: { {"1","1"}, 1, {"2","1"} },
49: { {"1","1"}, 2, {"4","1"} },
50: { {"1","1"}, 3, {"8","1"} },
51:
52: { {"1","1"}, 31, {"0x80000000","1"} },
53: { {"1","1"}, 32, {"0x100000000","1"} },
54: { {"1","1"}, 33, {"0x200000000","1"} },
55: { {"1","1"}, 63, {"0x8000000000000000","1"} },
56: { {"1","1"}, 64, {"0x10000000000000000","1"} },
57: { {"1","1"}, 65, {"0x20000000000000000","1"} },
58: { {"1","1"}, 95, {"0x800000000000000000000000","1"} },
59: { {"1","1"}, 96, {"0x1000000000000000000000000","1"} },
60: { {"1","1"}, 97, {"0x2000000000000000000000000","1"} },
61: { {"1","1"}, 127, {"0x80000000000000000000000000000000","1"} },
62: { {"1","1"}, 128, {"0x100000000000000000000000000000000","1"} },
63: { {"1","1"}, 129, {"0x200000000000000000000000000000000","1"} },
64:
65: { {"1","2"}, 31, {"0x40000000","1"} },
66: { {"1","2"}, 32, {"0x80000000","1"} },
67: { {"1","2"}, 33, {"0x100000000","1"} },
68: { {"1","2"}, 63, {"0x4000000000000000","1"} },
69: { {"1","2"}, 64, {"0x8000000000000000","1"} },
70: { {"1","2"}, 65, {"0x10000000000000000","1"} },
71: { {"1","2"}, 95, {"0x400000000000000000000000","1"} },
72: { {"1","2"}, 96, {"0x800000000000000000000000","1"} },
73: { {"1","2"}, 97, {"0x1000000000000000000000000","1"} },
74: { {"1","2"}, 127, {"0x40000000000000000000000000000000","1"} },
75: { {"1","2"}, 128, {"0x80000000000000000000000000000000","1"} },
76: { {"1","2"}, 129, {"0x100000000000000000000000000000000","1"} },
77:
78: { {"1","0x80000000"}, 30, {"1","2"} },
79: { {"1","0x80000000"}, 31, {"1","1"} },
80: { {"1","0x80000000"}, 32, {"2","1"} },
81: { {"1","0x80000000"}, 33, {"4","1"} },
82: { {"1","0x80000000"}, 62, {"0x80000000","1"} },
83: { {"1","0x80000000"}, 63, {"0x100000000","1"} },
84: { {"1","0x80000000"}, 64, {"0x200000000","1"} },
85: { {"1","0x80000000"}, 94, {"0x8000000000000000","1"} },
86: { {"1","0x80000000"}, 95, {"0x10000000000000000","1"} },
87: { {"1","0x80000000"}, 96, {"0x20000000000000000","1"} },
88: { {"1","0x80000000"}, 126, {"0x800000000000000000000000","1"} },
89: { {"1","0x80000000"}, 127, {"0x1000000000000000000000000","1"} },
90: { {"1","0x80000000"}, 128, {"0x2000000000000000000000000","1"} },
91:
92: { {"1","0x100000000"}, 1, {"1","0x80000000"} },
93: { {"1","0x100000000"}, 2, {"1","0x40000000"} },
94: { {"1","0x100000000"}, 3, {"1","0x20000000"} },
95:
96: { {"1","0x10000000000000000"}, 1, {"1","0x8000000000000000"} },
97: { {"1","0x10000000000000000"}, 2, {"1","0x4000000000000000"} },
98: { {"1","0x10000000000000000"}, 3, {"1","0x2000000000000000"} },
99: };
100:
101: void (*fun) _PROTO ((mpq_ptr, mpq_srcptr, unsigned long));
102: const struct pair_t *p_start, *p_want;
103: const char *name;
104: mpq_t sep, got, want;
105: mpq_ptr q;
106: int i, muldiv, sign, overlap;
107:
108: tests_start ();
109:
110: mpq_init (sep);
111: mpq_init (got);
112: mpq_init (want);
113:
114: for (i = 0; i < numberof (data); i++)
115: {
116: for (muldiv = 0; muldiv < 2; muldiv++)
117: {
118: if (muldiv == 0)
119: {
120: fun = mpq_mul_2exp;
121: name = "mpq_mul_2exp";
122: p_start = &data[i].left;
123: p_want = &data[i].right;
124: }
125: else
126: {
127: fun = mpq_div_2exp;
128: name = "mpq_div_2exp";
129: p_start = &data[i].right;
130: p_want = &data[i].left;
131: }
132:
133: for (sign = 0; sign <= 1; sign++)
134: {
135: mpz_set_str_or_abort (mpq_numref(want), p_want->num, 0);
136: mpz_set_str_or_abort (mpq_denref(want), p_want->den, 0);
137: if (sign)
138: mpq_neg (want, want);
139:
140: for (overlap = 0; overlap <= 1; overlap++)
141: {
142: q = overlap ? got : sep;
143:
144: /* initial garbage in "got" */
145: mpq_set_ui (got, 123L, 456L);
146:
147: mpz_set_str_or_abort (mpq_numref(q), p_start->num, 0);
148: mpz_set_str_or_abort (mpq_denref(q), p_start->den, 0);
149: if (sign)
150: mpq_neg (q, q);
151:
152: (*fun) (got, q, data[i].n);
153: MPQ_CHECK_FORMAT (got);
154:
155: if (! mpq_equal (got, want))
156: {
157: printf ("%s wrong at data[%d], sign %d, overlap %d\n",
158: name, i, sign, overlap);
159: printf (" num \"%s\"\n", p_start->num);
160: printf (" den \"%s\"\n", p_start->den);
161: printf (" n %lu\n", data[i].n);
162:
163: printf (" got ");
164: mpq_out_str (stdout, 16, got);
165: printf (" (hex)\n");
166:
167: printf (" want ");
168: mpq_out_str (stdout, 16, want);
169: printf (" (hex)\n");
170:
171: abort ();
172: }
173: }
174: }
175: }
176: }
177:
178: mpq_clear (sep);
179: mpq_clear (got);
180: mpq_clear (want);
181:
182: tests_end ();
183: exit (0);
184: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to t-md_2exp.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / gmp / tests / mpq