HCoop / bpt / guile.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Assorted `syntax-check' fixes.
[bpt/guile.git] / test-suite / standalone / test-conversion.c
CommitLineData
4ca48269 1/* Copyright (C) 1999,2000,2001,2003,2004, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
170bb182
MV		 2 *
3 * This library is free software; you can redistribute it and/or
53befeb7
NJ		 4 * modify it under the terms of the GNU Lesser General Public License
5 * as published by the Free Software Foundation; either version 3 of
6 * the License, or (at your option) any later version.
170bb182 7 *
53befeb7
NJ		 8 * This library is distributed in the hope that it will be useful, but
9 * WITHOUT ANY WARRANTY; without even the implied warranty of
170bb182
MV		 10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 * Lesser General Public License for more details.
12 *
13 * You should have received a copy of the GNU Lesser General Public
14 * License along with this library; if not, write to the Free Software
53befeb7
NJ		 15 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
16 * 02110-1301 USA
170bb182
MV		 17 */
18
5995c6d8
LC		 19#if HAVE_CONFIG_H
20# include <config.h>
21#endif
22
23#include <libguile.h>
170bb182 24
93003b16 25#include <stdlib.h>
170bb182 26#include <stdio.h>
9bd10f46 27#include <string.h>
170bb182 28
c8bb98a9
LC		 29#ifdef HAVE_INTTYPES_H
30# include <inttypes.h>
fcbc0868
LC		 31#endif
32
33#ifndef PRIiMAX
c8bb98a9
LC		 34# if (defined SIZEOF_LONG_LONG) && (SIZEOF_LONG_LONG >= 8)
35# define PRIiMAX "lli"
36# define PRIuMAX "llu"
37# else
38# define PRIiMAX "li"
39# define PRIuMAX "lu"
40# endif
41#endif
42
43
170bb182
MV		 44static void
45test_1 (const char *str, scm_t_intmax min, scm_t_intmax max,
46 int result)
47{
48 int r = scm_is_signed_integer (scm_c_eval_string (str), min, max);
49 if (r != result)
50 {
c8bb98a9
LC		 51 fprintf (stderr, "fail: scm_is_signed_integer (%s, "
52 "%" PRIiMAX ", %" PRIiMAX ") == %d\n",
170bb182 53 str, min, max, result);
93003b16 54 exit (EXIT_FAILURE);
170bb182
MV		 55 }
56}
57
58static void
59test_is_signed_integer ()
60{
61 test_1 ("'foo",
62 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
63 0);
64 test_1 ("3.0",
abe1308c
MV		 65 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
66 0);
67 test_1 ("(inexact->exact 3.0)",
170bb182
MV		 68 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
69 1);
70 test_1 ("3.5",
71 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
72 0);
73 test_1 ("most-positive-fixnum",
74 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
75 1);
76 test_1 ("(+ most-positive-fixnum 1)",
77 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
78 1);
79 test_1 ("most-negative-fixnum",
80 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
81 1);
82 test_1 ("(- most-negative-fixnum 1)",
83 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
84 1);
85 if (sizeof (scm_t_intmax) == 8)
86 {
87 test_1 ("(- (expt 2 63) 1)",
88 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
89 1);
90 test_1 ("(expt 2 63)",
91 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
92 0);
93 test_1 ("(- (expt 2 63))",
94 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
95 1);
96 test_1 ("(- (- (expt 2 63)) 1)",
97 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
98 0);
99 }
100 else if (sizeof (scm_t_intmax) == 4)
101 {
102 test_1 ("(- (expt 2 31) 1)",
103 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
104 1);
105 test_1 ("(expt 2 31)",
106 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
107 0);
108 test_1 ("(- (expt 2 31))",
109 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
110 1);
111 test_1 ("(- (- (expt 2 31)) 1)",
112 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
113 0);
114 }
115 else
116 fprintf (stderr, "NOTE: skipped some tests.\n");
117
118 /* bignum with range that fits into fixnum. */
119 test_1 ("(+ most-positive-fixnum 1)",
120 -32768, 32767,
121 0);
122
123 /* bignum with range that doesn't fit into fixnum, but probably
124 fits into long. */
125 test_1 ("(+ most-positive-fixnum 1)",
126 SCM_MOST_NEGATIVE_FIXNUM-1, SCM_MOST_POSITIVE_FIXNUM+1,
127 1);
128}
129
130static void
131test_2 (const char *str, scm_t_uintmax min, scm_t_uintmax max,
132 int result)
133{
134 int r = scm_is_unsigned_integer (scm_c_eval_string (str), min, max);
135 if (r != result)
136 {
c8bb98a9
LC		 137 fprintf (stderr, "fail: scm_is_unsigned_integer (%s, "
138 "%" PRIuMAX ", %" PRIuMAX ") == %d\n",
170bb182 139 str, min, max, result);
93003b16 140 exit (EXIT_FAILURE);
170bb182
MV		 141 }
142}
143
144static void
145test_is_unsigned_integer ()
146{
147 test_2 ("'foo",
afdb04ef 148 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 149 0);
150 test_2 ("3.0",
abe1308c
MV		 151 0, SCM_T_UINTMAX_MAX,
152 0);
153 test_2 ("(inexact->exact 3.0)",
afdb04ef 154 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 155 1);
156 test_2 ("3.5",
afdb04ef 157 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 158 0);
159 test_2 ("most-positive-fixnum",
afdb04ef 160 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 161 1);
162 test_2 ("(+ most-positive-fixnum 1)",
afdb04ef 163 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 164 1);
165 test_2 ("most-negative-fixnum",
afdb04ef 166 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 167 0);
168 test_2 ("(- most-negative-fixnum 1)",
afdb04ef 169 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 170 0);
171 if (sizeof (scm_t_intmax) == 8)
172 {
173 test_2 ("(- (expt 2 64) 1)",
afdb04ef 174 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 175 1);
176 test_2 ("(expt 2 64)",
afdb04ef 177 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 178 0);
179 }
180 else if (sizeof (scm_t_intmax) == 4)
181 {
182 test_2 ("(- (expt 2 32) 1)",
afdb04ef 183 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 184 1);
185 test_2 ("(expt 2 32)",
afdb04ef 186 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 187 0);
188 }
189 else
190 fprintf (stderr, "NOTE: skipped some tests.\n");
191
192 /* bignum with range that fits into fixnum. */
193 test_2 ("(+ most-positive-fixnum 1)",
194 0, 32767,
195 0);
196
197 /* bignum with range that doesn't fit into fixnum, but probably
198 fits into long. */
199 test_2 ("(+ most-positive-fixnum 1)",
200 0, SCM_MOST_POSITIVE_FIXNUM+1,
201 1);
202}
203
204typedef struct {
205 SCM val;
206 scm_t_intmax min, max;
207 scm_t_intmax result;
208} to_signed_data;
209
210static SCM
211out_of_range_handler (void *data, SCM key, SCM args)
212{
ad6dec05 213 return scm_equal_p (key, scm_from_locale_symbol ("out-of-range"));
170bb182
MV		 214}
215
216static SCM
217wrong_type_handler (void *data, SCM key, SCM args)
218{
ad6dec05 219 return scm_equal_p (key, scm_from_locale_symbol ("wrong-type-arg"));
170bb182
MV		 220}
221
9bd10f46
MV		 222static SCM
223misc_error_handler (void *data, SCM key, SCM args)
224{
ad6dec05 225 return scm_equal_p (key, scm_from_locale_symbol ("misc-error"));
9bd10f46
MV		 226}
227
170bb182
MV		 228static SCM
229any_handler (void *data, SCM key, SCM args)
230{
231 return SCM_BOOL_T;
232}
233
234static SCM
235to_signed_integer_body (void *data)
236{
237 to_signed_data *d = (to_signed_data *)data;
238 d->result = scm_to_signed_integer (d->val, d->min, d->max);
239 return SCM_BOOL_F;
240}
241
242static void
243test_3 (const char *str, scm_t_intmax min, scm_t_intmax max,
244 scm_t_intmax result, int range_error, int type_error)
245{
246 to_signed_data data;
247 data.val = scm_c_eval_string (str);
248 data.min = min;
249 data.max = max;
250
251 if (range_error)
252 {
253 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
254 to_signed_integer_body, &data,
255 out_of_range_handler, NULL)))
256 {
257 fprintf (stderr,
c8bb98a9
LC		 258 "fail: scm_to_signed_int (%s, "
259 "%" PRIiMAX ", %" PRIiMAX ") -> out of range\n",
170bb182 260 str, min, max);
93003b16 261 exit (EXIT_FAILURE);
170bb182
MV		 262 }
263 }
264 else if (type_error)
265 {
266 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
267 to_signed_integer_body, &data,
268 wrong_type_handler, NULL)))
269 {
270 fprintf (stderr,
c8bb98a9
LC		 271 "fail: scm_to_signed_int (%s, "
272 "%" PRIiMAX", %" PRIiMAX ") -> wrong type\n",
170bb182 273 str, min, max);
93003b16 274 exit (EXIT_FAILURE);
170bb182
MV		 275 }
276 }
277 else
278 {
279 if (scm_is_true (scm_internal_catch (SCM_BOOL_T,
280 to_signed_integer_body, &data,
281 any_handler, NULL))
282 || data.result != result)
283 {
284 fprintf (stderr,
c8bb98a9
LC		 285 "fail: scm_to_signed_int (%s, "
286 "%" PRIiMAX ", %" PRIiMAX ") = %" PRIiMAX "\n",
170bb182 287 str, min, max, result);
93003b16 288 exit (EXIT_FAILURE);
170bb182
MV		 289 }
290 }
291}
292
293static void
294test_to_signed_integer ()
295{
296 test_3 ("'foo",
297 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
298 0, 0, 1);
299 test_3 ("3.5",
300 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
301 0, 0, 1);
302 test_3 ("12",
303 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
304 12, 0, 0);
305 test_3 ("1000",
306 -999, 999,
307 0, 1, 0);
308 test_3 ("-1000",
309 -999, 999,
310 0, 1, 0);
311 test_3 ("most-positive-fixnum",
312 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
313 SCM_MOST_POSITIVE_FIXNUM, 0, 0);
314 test_3 ("most-negative-fixnum",
315 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
316 SCM_MOST_NEGATIVE_FIXNUM, 0, 0);
317 test_3 ("(+ most-positive-fixnum 1)",
318 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
319 SCM_MOST_POSITIVE_FIXNUM+1, 0, 0);
320 test_3 ("(- most-negative-fixnum 1)",
321 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
322 SCM_MOST_NEGATIVE_FIXNUM-1, 0, 0);
323 if (sizeof (scm_t_intmax) == 8)
324 {
325 test_3 ("(- (expt 2 63) 1)",
326 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
327 SCM_T_INTMAX_MAX, 0, 0);
328 test_3 ("(+ (- (expt 2 63)) 1)",
329 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
330 SCM_T_INTMAX_MIN+1, 0, 0);
331 test_3 ("(- (expt 2 63))",
332 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
333 SCM_T_INTMAX_MIN, 0, 0);
334 test_3 ("(expt 2 63)",
335 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
336 0, 1, 0);
337 test_3 ("(- (- (expt 2 63)) 1)",
338 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
339 0, 1, 0);
340 }
341 else if (sizeof (scm_t_intmax) == 4)
342 {
343 test_3 ("(- (expt 2 31) 1)",
344 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
345 SCM_T_INTMAX_MAX, 0, 0);
346 test_3 ("(+ (- (expt 2 31)) 1)",
347 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
348 SCM_T_INTMAX_MIN+1, 0, 0);
349 test_3 ("(- (expt 2 31))",
350 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
351 SCM_T_INTMAX_MIN, 0, 0);
352 test_3 ("(expt 2 31)",
353 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
354 0, 1, 0);
355 test_3 ("(- (- (expt 2 31)) 1)",
356 SCM_T_INTMAX_MIN, SCM_T_INTMAX_MAX,
357 0, 1, 0);
358 }
359 else
360 fprintf (stderr, "NOTE: skipped some tests.\n");
361}
362
363typedef struct {
364 SCM val;
365 scm_t_uintmax min, max;
366 scm_t_uintmax result;
367} to_unsigned_data;
368
369static SCM
370to_unsigned_integer_body (void *data)
371{
372 to_unsigned_data *d = (to_unsigned_data *)data;
373 d->result = scm_to_unsigned_integer (d->val, d->min, d->max);
374 return SCM_BOOL_F;
375}
376
377static void
378test_4 (const char *str, scm_t_uintmax min, scm_t_uintmax max,
379 scm_t_uintmax result, int range_error, int type_error)
380{
381 to_unsigned_data data;
382 data.val = scm_c_eval_string (str);
383 data.min = min;
384 data.max = max;
385
386 if (range_error)
387 {
388 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
389 to_unsigned_integer_body, &data,
390 out_of_range_handler, NULL)))
391 {
392 fprintf (stderr,
c8bb98a9
LC		 393 "fail: scm_to_unsigned_int (%s, "
394 "%" PRIuMAX ", %" PRIuMAX ") -> out of range\n",
170bb182 395 str, min, max);
93003b16 396 exit (EXIT_FAILURE);
170bb182
MV		 397 }
398 }
399 else if (type_error)
400 {
401 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
402 to_unsigned_integer_body, &data,
403 wrong_type_handler, NULL)))
404 {
405 fprintf (stderr,
c8bb98a9
LC		 406 "fail: scm_to_unsigned_int (%s, "
407 "%" PRIuMAX ", %" PRIuMAX ") -> wrong type\n",
170bb182 408 str, min, max);
93003b16 409 exit (EXIT_FAILURE);
170bb182
MV		 410 }
411 }
412 else
413 {
414 if (scm_is_true (scm_internal_catch (SCM_BOOL_T,
415 to_unsigned_integer_body, &data,
416 any_handler, NULL))
417 || data.result != result)
418 {
419 fprintf (stderr,
c8bb98a9
LC		 420 "fail: scm_to_unsigned_int (%s, "
421 "%" PRIuMAX ", %" PRIuMAX ") == %" PRIuMAX "\n",
170bb182 422 str, min, max, result);
93003b16 423 exit (EXIT_FAILURE);
170bb182
MV		 424 }
425 }
426}
427
428static void
429test_to_unsigned_integer ()
430{
431 test_4 ("'foo",
afdb04ef 432 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 433 0, 0, 1);
434 test_4 ("3.5",
afdb04ef 435 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 436 0, 0, 1);
437 test_4 ("12",
afdb04ef 438 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 439 12, 0, 0);
440 test_4 ("1000",
441 0, 999,
442 0, 1, 0);
443 test_4 ("most-positive-fixnum",
afdb04ef 444 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 445 SCM_MOST_POSITIVE_FIXNUM, 0, 0);
446 test_4 ("(+ most-positive-fixnum 1)",
afdb04ef 447 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 448 SCM_MOST_POSITIVE_FIXNUM+1, 0, 0);
449 if (sizeof (scm_t_intmax) == 8)
450 {
451 test_4 ("(- (expt 2 64) 1)",
afdb04ef 452 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 453 SCM_T_UINTMAX_MAX, 0, 0);
454 test_4 ("(expt 2 64)",
afdb04ef 455 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 456 0, 1, 0);
457 }
458 else if (sizeof (scm_t_intmax) == 4)
459 {
460 test_4 ("(- (expt 2 32) 1)",
afdb04ef 461 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 462 SCM_T_UINTMAX_MAX, 0, 0);
463 test_4 ("(expt 2 32)",
afdb04ef 464 0, SCM_T_UINTMAX_MAX,
170bb182
MV		 465 0, 1, 0);
466 }
467 else
468 fprintf (stderr, "NOTE: skipped some tests.\n");
469}
470
471static void
472test_5 (scm_t_intmax val, const char *result)
473{
474 SCM res = scm_c_eval_string (result);
475 if (scm_is_false (scm_equal_p (scm_from_signed_integer (val), res)))
476 {
c8bb98a9 477 fprintf (stderr, "fail: scm_from_signed_integer (%" PRIiMAX ") == %s\n",
170bb182 478 val, result);
93003b16 479 exit (EXIT_FAILURE);
170bb182
MV		 480 }
481}
482
483static void
484test_from_signed_integer ()
485{
486 test_5 (12, "12");
487 if (sizeof (scm_t_intmax) == 8)
488 {
489 test_5 (SCM_T_INTMAX_MAX, "(- (expt 2 63) 1)");
490 test_5 (SCM_T_INTMAX_MIN, "(- (expt 2 63))");
491 }
492 else if (sizeof (scm_t_intmax) == 4)
493 {
494 test_5 (SCM_T_INTMAX_MAX, "(- (expt 2 31) 1)");
495 test_5 (SCM_T_INTMAX_MIN, "(- (expt 2 31))");
496 }
497 test_5 (SCM_MOST_POSITIVE_FIXNUM, "most-positive-fixnum");
498 test_5 (SCM_MOST_NEGATIVE_FIXNUM, "most-negative-fixnum");
499 test_5 (SCM_MOST_POSITIVE_FIXNUM+1, "(+ most-positive-fixnum 1)");
500 test_5 (SCM_MOST_NEGATIVE_FIXNUM-1, "(- most-negative-fixnum 1)");
501}
502
503static void
504test_6 (scm_t_uintmax val, const char *result)
505{
506 SCM res = scm_c_eval_string (result);
507 if (scm_is_false (scm_equal_p (scm_from_unsigned_integer (val), res)))
508 {
c8bb98a9
LC		 509 fprintf (stderr, "fail: scm_from_unsigned_integer (%"
510 PRIuMAX ") == %s\n",
170bb182 511 val, result);
93003b16 512 exit (EXIT_FAILURE);
170bb182
MV		 513 }
514}
515
516static void
517test_from_unsigned_integer ()
518{
519 test_6 (12, "12");
520 if (sizeof (scm_t_intmax) == 8)
521 {
522 test_6 (SCM_T_UINTMAX_MAX, "(- (expt 2 64) 1)");
523 }
524 else if (sizeof (scm_t_intmax) == 4)
525 {
526 test_6 (SCM_T_UINTMAX_MAX, "(- (expt 2 32) 1)");
527 }
528 test_6 (SCM_MOST_POSITIVE_FIXNUM, "most-positive-fixnum");
529 test_6 (SCM_MOST_POSITIVE_FIXNUM+1, "(+ most-positive-fixnum 1)");
530}
531
3838c384
MV		 532static void
533test_7s (SCM n, scm_t_intmax c_n, const char *result, const char *func)
534{
535 SCM r = scm_c_eval_string (result);
536
537 if (scm_is_false (scm_equal_p (n, r)))
538 {
c8bb98a9 539 fprintf (stderr, "fail: %s (%" PRIiMAX ") == %s\n", func, c_n, result);
93003b16 540 exit (EXIT_FAILURE);
3838c384
MV		 541 }
542}
543
544#define TEST_7S(func,arg,res) test_7s (func(arg), arg, res, #func)
545
546static void
547test_7u (SCM n, scm_t_uintmax c_n, const char *result, const char *func)
548{
549 SCM r = scm_c_eval_string (result);
550
551 if (scm_is_false (scm_equal_p (n, r)))
552 {
c8bb98a9 553 fprintf (stderr, "fail: %s (%" PRIuMAX ") == %s\n", func, c_n, result);
93003b16 554 exit (EXIT_FAILURE);
3838c384
MV		 555 }
556}
557
558#define TEST_7U(func,arg,res) test_7u (func(arg), arg, res, #func)
559
560typedef struct {
561 SCM val;
562 scm_t_intmax (*func) (SCM);
563 scm_t_intmax result;
564} to_signed_func_data;
565
566static SCM
567to_signed_func_body (void *data)
568{
569 to_signed_func_data *d = (to_signed_func_data *)data;
570 d->result = d->func (d->val);
571 return SCM_BOOL_F;
572}
573
574static void
575test_8s (const char *str, scm_t_intmax (*func) (SCM), const char *func_name,
576 scm_t_intmax result, int range_error, int type_error)
577{
578 to_signed_func_data data;
579 data.val = scm_c_eval_string (str);
580 data.func = func;
581
582 if (range_error)
583 {
584 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
585 to_signed_func_body, &data,
586 out_of_range_handler, NULL)))
587 {
588 fprintf (stderr,
589 "fail: %s (%s) -> out of range\n", func_name, str);
93003b16 590 exit (EXIT_FAILURE);
3838c384
MV		 591 }
592 }
593 else if (type_error)
594 {
595 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
596 to_signed_func_body, &data,
597 wrong_type_handler, NULL)))
598 {
599 fprintf (stderr,
600 "fail: %s (%s) -> wrong type\n", func_name, str);
93003b16 601 exit (EXIT_FAILURE);
3838c384
MV		 602 }
603 }
604 else
605 {
606 if (scm_is_true (scm_internal_catch (SCM_BOOL_T,
607 to_signed_func_body, &data,
608 any_handler, NULL))
609 || data.result != result)
610 {
611 fprintf (stderr,
c8bb98a9 612 "fail: %s (%s) = %" PRIiMAX "\n", func_name, str, result);
93003b16 613 exit (EXIT_FAILURE);
3838c384
MV		 614 }
615 }
616}
617
618typedef struct {
619 SCM val;
620 scm_t_uintmax (*func) (SCM);
621 scm_t_uintmax result;
622} to_unsigned_func_data;
623
624static SCM
625to_unsigned_func_body (void *data)
626{
627 to_unsigned_func_data *d = (to_unsigned_func_data *)data;
628 d->result = d->func (d->val);
629 return SCM_BOOL_F;
630}
631
632static void
633test_8u (const char *str, scm_t_uintmax (*func) (SCM), const char *func_name,
634 scm_t_uintmax result, int range_error, int type_error)
635{
636 to_unsigned_func_data data;
637 data.val = scm_c_eval_string (str);
638 data.func = func;
639
640 if (range_error)
641 {
642 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
643 to_unsigned_func_body, &data,
644 out_of_range_handler, NULL)))
645 {
646 fprintf (stderr,
647 "fail: %s (%s) -> out of range\n", func_name, str);
93003b16 648 exit (EXIT_FAILURE);
3838c384
MV		 649 }
650 }
651 else if (type_error)
652 {
653 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
654 to_unsigned_func_body, &data,
655 wrong_type_handler, NULL)))
656 {
657 fprintf (stderr,
658 "fail: %s (%s) -> wrong type\n", func_name, str);
93003b16 659 exit (EXIT_FAILURE);
3838c384
MV		 660 }
661 }
662 else
663 {
664 if (scm_is_true (scm_internal_catch (SCM_BOOL_T,
665 to_unsigned_func_body, &data,
666 any_handler, NULL))
667 || data.result != result)
668 {
669 fprintf (stderr,
c8bb98a9 670 "fail: %s (%s) = %" PRIiMAX "\n", func_name, str, result);
93003b16 671 exit (EXIT_FAILURE);
3838c384
MV		 672 }
673 }
674}
675
676/* We can't rely on the scm_to functions being proper functions but we
677 want to pass them to test_8s and test_8u, so we wrap'em. Also, we
678 need to give them a common return type.
679*/
680
681#define DEFSTST(f) static scm_t_intmax tst_##f (SCM x) { return f(x); }
682#define DEFUTST(f) static scm_t_uintmax tst_##f (SCM x) { return f(x); }
683
d0f452d1
LC		 684DEFSTST (scm_to_schar)
685DEFUTST (scm_to_uchar)
686DEFSTST (scm_to_char)
687DEFSTST (scm_to_short)
688DEFUTST (scm_to_ushort)
689DEFSTST (scm_to_int)
690DEFUTST (scm_to_uint)
691DEFSTST (scm_to_long)
692DEFUTST (scm_to_ulong)
3838c384 693#if SCM_SIZEOF_LONG_LONG != 0
d0f452d1
LC		 694DEFSTST (scm_to_long_long)
695DEFUTST (scm_to_ulong_long)
3838c384 696#endif
d0f452d1
LC		 697DEFSTST (scm_to_ssize_t)
698DEFUTST (scm_to_size_t)
699
700DEFSTST (scm_to_int8)
701DEFUTST (scm_to_uint8)
702DEFSTST (scm_to_int16)
703DEFUTST (scm_to_uint16)
704DEFSTST (scm_to_int32)
705DEFUTST (scm_to_uint32)
d0f452d1
LC		 706DEFSTST (scm_to_int64)
707DEFUTST (scm_to_uint64)
3838c384
MV		 708
709#define TEST_8S(v,f,r,re,te) test_8s (v, tst_##f, #f, r, re, te)
710#define TEST_8U(v,f,r,re,te) test_8u (v, tst_##f, #f, r, re, te)
711
712
afdb04ef
MV		 713static void
714test_int_sizes ()
715{
3838c384
MV		 716 TEST_7U (scm_from_uchar, 91, "91");
717 TEST_7S (scm_from_schar, 91, "91");
718 TEST_7S (scm_from_char, 91, "91");
719 TEST_7S (scm_from_short, -911, "-911");
720 TEST_7U (scm_from_ushort, 911, "911");
721 TEST_7S (scm_from_int, 911, "911");
722 TEST_7U (scm_from_uint, 911, "911");
723 TEST_7S (scm_from_long, 911, "911");
724 TEST_7U (scm_from_ulong, 911, "911");
afdb04ef 725#if SCM_SIZEOF_LONG_LONG != 0
3838c384
MV		 726 TEST_7S (scm_from_long_long, 911, "911");
727 TEST_7U (scm_from_ulong_long, 911, "911");
afdb04ef 728#endif
3838c384
MV		 729 TEST_7U (scm_from_size_t, 911, "911");
730 TEST_7S (scm_from_ssize_t, 911, "911");
731
732 TEST_7S (scm_from_int8, -128, "-128");
733 TEST_7S (scm_from_int8, 127, "127");
734 TEST_7S (scm_from_int8, 128, "-128");
735 TEST_7U (scm_from_uint8, 255, "255");
736
737 TEST_7S (scm_from_int16, -32768, "-32768");
738 TEST_7S (scm_from_int16, 32767, "32767");
739 TEST_7S (scm_from_int16, 32768, "-32768");
740 TEST_7U (scm_from_uint16, 65535, "65535");
741
742 TEST_7S (scm_from_int32, SCM_T_INT32_MIN, "-2147483648");
743 TEST_7S (scm_from_int32, SCM_T_INT32_MAX, "2147483647");
744 TEST_7S (scm_from_int32, SCM_T_INT32_MAX+1LL, "-2147483648");
745 TEST_7U (scm_from_uint32, SCM_T_UINT32_MAX, "4294967295");
746
3838c384
MV		 747 TEST_7S (scm_from_int64, SCM_T_INT64_MIN, "-9223372036854775808");
748 TEST_7S (scm_from_int64, SCM_T_INT64_MAX, "9223372036854775807");
749 TEST_7U (scm_from_uint64, SCM_T_UINT64_MAX, "18446744073709551615");
afdb04ef 750
3838c384
MV		 751 TEST_8S ("91", scm_to_schar, 91, 0, 0);
752 TEST_8U ("91", scm_to_uchar, 91, 0, 0);
753 TEST_8S ("91", scm_to_char, 91, 0, 0);
754 TEST_8S ("-911", scm_to_short, -911, 0, 0);
755 TEST_8U ("911", scm_to_ushort, 911, 0, 0);
756 TEST_8S ("-911", scm_to_int, -911, 0, 0);
757 TEST_8U ("911", scm_to_uint, 911, 0, 0);
758 TEST_8S ("-911", scm_to_long, -911, 0, 0);
759 TEST_8U ("911", scm_to_ulong, 911, 0, 0);
afdb04ef 760#if SCM_SIZEOF_LONG_LONG != 0
3838c384
MV		 761 TEST_8S ("-911", scm_to_long_long, -911, 0, 0);
762 TEST_8U ("911", scm_to_ulong_long, 911, 0, 0);
afdb04ef 763#endif
3838c384
MV		 764 TEST_8U ("911", scm_to_size_t, 911, 0, 0);
765 TEST_8S ("911", scm_to_ssize_t, 911, 0, 0);
766
767 TEST_8S ("-128", scm_to_int8, SCM_T_INT8_MIN, 0, 0);
768 TEST_8S ("127", scm_to_int8, SCM_T_INT8_MAX, 0, 0);
769 TEST_8S ("128", scm_to_int8, 0, 1, 0);
770 TEST_8S ("#f", scm_to_int8, 0, 0, 1);
771 TEST_8U ("255", scm_to_uint8, SCM_T_UINT8_MAX, 0, 0);
772 TEST_8U ("256", scm_to_uint8, 0, 1, 0);
773 TEST_8U ("-1", scm_to_uint8, 0, 1, 0);
774 TEST_8U ("#f", scm_to_uint8, 0, 0, 1);
775
776 TEST_8S ("-32768", scm_to_int16, SCM_T_INT16_MIN, 0, 0);
777 TEST_8S ("32767", scm_to_int16, SCM_T_INT16_MAX, 0, 0);
778 TEST_8S ("32768", scm_to_int16, 0, 1, 0);
779 TEST_8S ("#f", scm_to_int16, 0, 0, 1);
780 TEST_8U ("65535", scm_to_uint16, SCM_T_UINT16_MAX, 0, 0);
781 TEST_8U ("65536", scm_to_uint16, 0, 1, 0);
782 TEST_8U ("-1", scm_to_uint16, 0, 1, 0);
783 TEST_8U ("#f", scm_to_uint16, 0, 0, 1);
784
785 TEST_8S ("-2147483648", scm_to_int32, SCM_T_INT32_MIN, 0, 0);
786 TEST_8S ("2147483647", scm_to_int32, SCM_T_INT32_MAX, 0, 0);
787 TEST_8S ("2147483648", scm_to_int32, 0, 1, 0);
788 TEST_8S ("#f", scm_to_int32, 0, 0, 1);
789 TEST_8U ("4294967295", scm_to_uint32, SCM_T_UINT32_MAX, 0, 0);
790 TEST_8U ("4294967296", scm_to_uint32, 0, 1, 0);
791 TEST_8U ("-1", scm_to_uint32, 0, 1, 0);
792 TEST_8U ("#f", scm_to_uint32, 0, 0, 1);
793
3838c384
MV		 794 TEST_8S ("-9223372036854775808", scm_to_int64, SCM_T_INT64_MIN, 0, 0);
795 TEST_8S ("9223372036854775807", scm_to_int64, SCM_T_INT64_MAX, 0, 0);
796 TEST_8S ("9223372036854775808", scm_to_int64, 0, 1, 0);
797 TEST_8S ("#f", scm_to_int64, 0, 0, 1);
798 TEST_8U ("18446744073709551615", scm_to_uint64, SCM_T_UINT64_MAX, 0, 0);
799 TEST_8U ("18446744073709551616", scm_to_uint64, 0, 1, 0);
800 TEST_8U ("-1", scm_to_uint64, 0, 1, 0);
801 TEST_8U ("#f", scm_to_uint64, 0, 0, 1);
afdb04ef
MV		 802
803}
804
eae5018e
MV		 805static void
806test_9 (double val, const char *result)
807{
808 SCM res = scm_c_eval_string (result);
809 if (scm_is_false (scm_eqv_p (res, scm_from_double (val))))
810 {
811 fprintf (stderr, "fail: scm_from_double (%g) == %s\n", val, result);
93003b16 812 exit (EXIT_FAILURE);
eae5018e
MV		 813 }
814}
815
e2e85d14
LC		 816/* The `infinity' and `not-a-number' values. */
817static double guile_Inf, guile_NaN;
818
819/* Initialize GUILE_INF and GUILE_NAN. Taken from `guile_ieee_init ()' in
820 `libguile/numbers.c'. */
821static void
822ieee_init (void)
823{
824#ifdef INFINITY
825 /* C99 INFINITY, when available.
826 FIXME: The standard allows for INFINITY to be something that overflows
827 at compile time. We ought to have a configure test to check for that
828 before trying to use it. (But in practice we believe this is not a
829 problem on any system guile is likely to target.) */
830 guile_Inf = INFINITY;
56a3dcd4 831#elif defined HAVE_DINFINITY
e2e85d14
LC		 832 /* OSF */
833 extern unsigned int DINFINITY[2];
834 guile_Inf = (*((double *) (DINFINITY)));
835#else
836 double tmp = 1e+10;
837 guile_Inf = tmp;
838 for (;;)
839 {
840 guile_Inf *= 1e+10;
841 if (guile_Inf == tmp)
842 break;
843 tmp = guile_Inf;
844 }
845#endif
846
847#ifdef NAN
848 /* C99 NAN, when available */
849 guile_NaN = NAN;
56a3dcd4 850#elif defined HAVE_DQNAN
e2e85d14
LC		 851 {
852 /* OSF */
853 extern unsigned int DQNAN[2];
854 guile_NaN = (*((double *)(DQNAN)));
855 }
856#else
857 guile_NaN = guile_Inf / guile_Inf;
858#endif
859}
860
eae5018e
MV		 861static void
862test_from_double ()
863{
864 test_9 (12, "12.0");
865 test_9 (0.25, "0.25");
866 test_9 (0.1, "0.1");
e2e85d14
LC		 867 test_9 (guile_Inf, "+inf.0");
868 test_9 (-guile_Inf, "-inf.0");
869 test_9 (guile_NaN, "+nan.0");
eae5018e
MV		 870}
871
872typedef struct {
873 SCM val;
874 double result;
875} to_double_data;
876
877static SCM
878to_double_body (void *data)
879{
880 to_double_data *d = (to_double_data *)data;
881 d->result = scm_to_double (d->val);
882 return SCM_BOOL_F;
883}
884
885static void
886test_10 (const char *val, double result, int type_error)
887{
888 to_double_data data;
889 data.val = scm_c_eval_string (val);
890
891 if (type_error)
892 {
893 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
894 to_double_body, &data,
895 wrong_type_handler, NULL)))
896 {
897 fprintf (stderr,
898 "fail: scm_double (%s) -> wrong type\n", val);
93003b16 899 exit (EXIT_FAILURE);
eae5018e
MV		 900 }
901 }
902 else
903 {
904 if (scm_is_true (scm_internal_catch (SCM_BOOL_T,
905 to_double_body, &data,
906 any_handler, NULL))
907 || data.result != result)
908 {
909 fprintf (stderr,
910 "fail: scm_to_double (%s) = %g\n", val, result);
93003b16 911 exit (EXIT_FAILURE);
eae5018e
MV		 912 }
913 }
914}
915
916static void
917test_to_double ()
918{
919 test_10 ("#f", 0.0, 1);
920 test_10 ("12", 12.0, 0);
921 test_10 ("0.25", 0.25, 0);
922 test_10 ("1/4", 0.25, 0);
e2e85d14
LC		 923 test_10 ("+inf.0", guile_Inf, 0);
924 test_10 ("-inf.0",-guile_Inf, 0);
eae5018e
MV		 925 test_10 ("+1i", 0.0, 1);
926}
927
9bd10f46
MV		 928typedef struct {
929 SCM val;
930 char *result;
931} to_locale_string_data;
932
933static SCM
934to_locale_string_body (void *data)
935{
936 to_locale_string_data *d = (to_locale_string_data *)data;
937 d->result = scm_to_locale_string (d->val);
938 return SCM_BOOL_F;
939}
940
941static void
942test_11 (const char *str, const char *result, int misc_error, int type_error)
943{
944 to_locale_string_data data;
945 data.val = scm_c_eval_string (str);
946 data.result = NULL;
947
948 if (misc_error)
949 {
950 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
951 to_locale_string_body, &data,
952 misc_error_handler, NULL)))
953 {
954 fprintf (stderr,
955 "fail: scm_to_locale_string (%s) -> misc error\n", str);
93003b16 956 exit (EXIT_FAILURE);
9bd10f46
MV		 957 }
958 }
959 else if (type_error)
960 {
961 if (scm_is_false (scm_internal_catch (SCM_BOOL_T,
962 to_locale_string_body, &data,
963 wrong_type_handler, NULL)))
964 {
965 fprintf (stderr,
966 "fail: scm_to_locale_string (%s) -> wrong type\n", str);
93003b16 967 exit (EXIT_FAILURE);
9bd10f46
MV		 968 }
969 }
970 else
971 {
972 if (scm_is_true (scm_internal_catch (SCM_BOOL_T,
973 to_locale_string_body, &data,
974 any_handler, NULL))
975 || data.result == NULL || strcmp (data.result, result))
976 {
977 fprintf (stderr,
978 "fail: scm_to_locale_string (%s) = %s\n", str, result);
93003b16 979 exit (EXIT_FAILURE);
9bd10f46
MV		 980 }
981 }
982
983 free (data.result);
984}
985
986static void
987test_locale_strings ()
988{
989 const char *lstr = "This is not a string.";
990 char *lstr2;
991 SCM str, str2;
992 char buf[20];
993 size_t len;
994
995 if (!scm_is_string (scm_c_eval_string ("\"foo\"")))
996 {
997 fprintf (stderr, "fail: scm_is_string (\"foo\") = true\n");
93003b16 998 exit (EXIT_FAILURE);
9bd10f46
MV		 999 }
1000
1001 str = scm_from_locale_string (lstr);
1002
1003 if (!scm_is_string (str))
1004 {
1005 fprintf (stderr, "fail: scm_is_string (str) = true\n");
93003b16 1006 exit (EXIT_FAILURE);
9bd10f46
MV		 1007 }
1008
1009 lstr2 = scm_to_locale_string (str);
1010 if (strcmp (lstr, lstr2))
1011 {
1012 fprintf (stderr, "fail: lstr = lstr2\n");
93003b16 1013 exit (EXIT_FAILURE);
9bd10f46
MV		 1014 }
1015 free (lstr2);
1016
1017 buf[15] = 'x';
1018 len = scm_to_locale_stringbuf (str, buf, 15);
1019 if (len != strlen (lstr))
1020 {
1021 fprintf (stderr, "fail: scm_to_locale_stringbuf (...) = strlen(lstr)\n");
93003b16 1022 exit (EXIT_FAILURE);
9bd10f46
MV		 1023 }
1024 if (buf[15] != 'x')
1025 {
1026 fprintf (stderr, "fail: scm_to_locale_stringbuf (...) no overrun\n");
93003b16 1027 exit (EXIT_FAILURE);
9bd10f46
MV		 1028 }
1029 if (strncmp (lstr, buf, 15))
1030 {
1031 fprintf (stderr, "fail: scm_to_locale_stringbuf (...) = lstr\n");
93003b16 1032 exit (EXIT_FAILURE);
9bd10f46
MV		 1033 }
1034
1035 str2 = scm_from_locale_stringn (lstr, 10);
1036
1037 if (!scm_is_string (str2))
1038 {
1039 fprintf (stderr, "fail: scm_is_string (str2) = true\n");
93003b16 1040 exit (EXIT_FAILURE);
9bd10f46
MV		 1041 }
1042
1043 lstr2 = scm_to_locale_string (str2);
1044 if (strncmp (lstr, lstr2, 10))
1045 {
1046 fprintf (stderr, "fail: lstr = lstr2\n");
93003b16 1047 exit (EXIT_FAILURE);
9bd10f46
MV		 1048 }
1049 free (lstr2);
1050
1051 buf[10] = 'x';
1052 len = scm_to_locale_stringbuf (str2, buf, 20);
1053 if (len != 10)
1054 {
1055 fprintf (stderr, "fail: scm_to_locale_stringbuf (...) = 10\n");
93003b16 1056 exit (EXIT_FAILURE);
9bd10f46
MV		 1057 }
1058 if (buf[10] != 'x')
1059 {
1060 fprintf (stderr, "fail: scm_to_locale_stringbuf (...) no overrun\n");
93003b16 1061 exit (EXIT_FAILURE);
9bd10f46
MV		 1062 }
1063 if (strncmp (lstr, buf, 10))
1064 {
1065 fprintf (stderr, "fail: scm_to_locale_stringbuf (...) = lstr\n");
93003b16 1066 exit (EXIT_FAILURE);
9bd10f46
MV		 1067 }
1068
1069 lstr2 = scm_to_locale_stringn (str2, &len);
1070 if (len != 10)
1071 {
1072 fprintf (stderr, "fail: scm_to_locale_stringn, len = 10\n");
93003b16 1073 exit (EXIT_FAILURE);
9bd10f46
MV		 1074 }
1075
1076 test_11 ("#f", NULL, 0, 1);
1077 test_11 ("\"foo\"", "foo", 0, 0);
1078 test_11 ("(string #\\f #\\nul)", NULL, 1, 0);
1079}
1080
8ab3d8a0
KR		 1081static void
1082tests (void *data, int argc, char **argv)
170bb182 1083{
170bb182
MV		 1084 test_is_signed_integer ();
1085 test_is_unsigned_integer ();
1086 test_to_signed_integer ();
1087 test_to_unsigned_integer ();
1088 test_from_signed_integer ();
1089 test_from_unsigned_integer ();
afdb04ef 1090 test_int_sizes ();
eae5018e
MV		 1091 test_from_double ();
1092 test_to_double ();
9bd10f46 1093 test_locale_strings ();
8ab3d8a0
KR		 1094}
1095
1096int
1097main (int argc, char *argv[])
1098{
e2e85d14 1099 ieee_init ();
8ab3d8a0 1100 scm_boot_guile (argc, argv, tests, NULL);
170bb182
MV		 1101 return 0;
1102}
Unnamed repository; edit this file 'description' to name the repository.