Simplify GOOPS effective method cache format
[bpt/guile.git] / test-suite / standalone / test-num2integral.c
1 /* Copyright (C) 1999, 2000, 2001, 2003, 2004, 2006, 2008, 2010, 2011
2 * 2012, 2014 Free Software Foundation, Inc.
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public License
6 * as published by the Free Software Foundation; either version 3 of
7 * the License, or (at your option) any later version.
8 *
9 * This library is distributed in the hope that it will be useful, but
10 * WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
13 *
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
17 * 02110-1301 USA
18 */
19
20 #ifdef HAVE_CONFIG_H
21 # include <config.h>
22 #endif
23
24 #undef NDEBUG
25
26 #include <libguile.h>
27
28 #include <stdio.h>
29 #include <assert.h>
30 #include <limits.h>
31
32 SCM out_of_range_handler (void *data, SCM key, SCM args);
33 SCM call_num2long_long_body (void *data);
34 SCM call_num2ulong_long_body (void *data);
35
36 /* expect to catch an `out-of-range' exception */
37 SCM
38 out_of_range_handler (void *data, SCM key, SCM args)
39 {
40 assert (scm_is_eq (key, scm_from_locale_symbol ("out-of-range")));
41 return SCM_BOOL_T;
42 }
43
44 SCM
45 call_num2long_long_body (void *data)
46 {
47 scm_to_long_long (* (SCM *) data);
48 return SCM_BOOL_F;
49 }
50
51 SCM
52 call_num2ulong_long_body (void *data)
53 {
54 scm_to_ulong_long (* (SCM *) data);
55 return SCM_BOOL_F;
56 }
57
58 static void
59 test_long_long ()
60 {
61 {
62 SCM n = scm_from_long_long (LLONG_MIN);
63 long long result = scm_to_long_long(n);
64 assert (result == LLONG_MIN);
65 }
66
67 /* LLONG_MIN - 1 */
68 {
69 SCM n = scm_difference (scm_from_long_long (LLONG_MIN), scm_from_int (1));
70 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
71 out_of_range_handler, NULL);
72 assert (scm_is_true (caught));
73 }
74
75 /* SCM_I_LLONG_MIN + SCM_I_LLONG_MIN/2 */
76 {
77 SCM n = scm_sum (scm_from_long_long (LLONG_MIN),
78 scm_from_long_long (LLONG_MIN / 2));
79 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
80 out_of_range_handler, NULL);
81 assert (scm_is_true (caught));
82 }
83
84 /* SCM_I_LLONG_MAX + 1 */
85 {
86 SCM n = scm_sum (scm_from_long_long (LLONG_MAX), scm_from_int (1));
87 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
88 out_of_range_handler, NULL);
89 assert (scm_is_true (caught));
90 }
91
92 /* 2^1024 */
93 {
94 SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
95 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
96 out_of_range_handler, NULL);
97 assert (scm_is_true (caught));
98 }
99
100 /* -2^1024 */
101 {
102 SCM n = scm_difference (scm_from_int (0),
103 scm_ash (scm_from_int (1), scm_from_int (1024)));
104 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
105 out_of_range_handler, NULL);
106 assert (scm_is_true (caught));
107 }
108 }
109
110 static void
111 test_ulong_long ()
112 {
113 {
114 SCM n = scm_from_ulong_long (ULLONG_MAX);
115 unsigned long long result = scm_to_ulong_long(n);
116 assert (result == ULLONG_MAX);
117 }
118
119 /* -1 */
120 {
121 SCM n = scm_from_int (-1);
122 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
123 out_of_range_handler, NULL);
124 assert (scm_is_true (caught));
125 }
126
127 /* SCM_I_ULLONG_MAX + 1 */
128 {
129 SCM n = scm_sum (scm_from_ulong_long (ULLONG_MAX), scm_from_int (1));
130 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
131 out_of_range_handler, NULL);
132 assert (scm_is_true (caught));
133 }
134
135 /* 2^1024 */
136 {
137 SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
138 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
139 out_of_range_handler, NULL);
140 assert (scm_is_true (caught));
141 }
142 }
143
144 static void
145 tests (void *data, int argc, char **argv)
146 {
147 test_long_long ();
148 test_ulong_long ();
149 }
150
151 int
152 main (int argc, char *argv[])
153 {
154 scm_boot_guile (argc, argv, tests, NULL);
155 return 0;
156 }