Print the faulty object upon invalid-keyword errors.
[bpt/guile.git] / libguile / hash.c
CommitLineData
8ac870de
LC
1/* Copyright (C) 1995, 1996, 1997, 2000, 2001, 2003, 2004, 2006, 2008,
2 * 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
3 *
73be1d9e 4 * This library is free software; you can redistribute it and/or
53befeb7
NJ
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.
0f2d19dd 8 *
53befeb7
NJ
9 * This library is distributed in the hope that it will be useful, but
10 * WITHOUT ANY WARRANTY; without even the implied warranty of
73be1d9e
MV
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
0f2d19dd 13 *
73be1d9e
MV
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
53befeb7
NJ
16 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
17 * 02110-1301 USA
73be1d9e 18 */
1bbd0b84 19
1bbd0b84 20
0f2d19dd 21\f
dbb605f5
LC
22#ifdef HAVE_CONFIG_H
23# include <config.h>
24#endif
0f2d19dd 25
62241538
AW
26#ifdef HAVE_WCHAR_H
27#include <wchar.h>
28#endif
29
10483f9e 30#include <math.h>
62241538
AW
31#include <unistr.h>
32
a0599745
MD
33#include "libguile/_scm.h"
34#include "libguile/chars.h"
35#include "libguile/ports.h"
a002f1a2
DH
36#include "libguile/strings.h"
37#include "libguile/symbols.h"
a0599745 38#include "libguile/vectors.h"
0f2d19dd 39
a0599745
MD
40#include "libguile/validate.h"
41#include "libguile/hash.h"
0f2d19dd
JB
42\f
43
44#ifndef floor
45extern double floor();
46#endif
47
1cc91f1b 48
c014a02e 49unsigned long
1be6b49c 50scm_string_hash (const unsigned char *str, size_t len)
ba393257 51{
b4d59261
MV
52 /* from suggestion at: */
53 /* http://srfi.schemers.org/srfi-13/mail-archive/msg00112.html */
54
55 unsigned long h = 0;
56 while (len-- > 0)
57 h = *str++ + h*37;
58 return h;
ba393257
DH
59}
60
e23106d5
MG
61unsigned long
62scm_i_string_hash (SCM str)
63{
64 size_t len = scm_i_string_length (str);
65 size_t i = 0;
66
67 unsigned long h = 0;
68 while (len-- > 0)
69 h = (unsigned long) scm_i_string_ref (str, i++) + h * 37;
70
71 scm_remember_upto_here_1 (str);
72 return h;
73}
74
62241538
AW
75unsigned long
76scm_i_locale_string_hash (const char *str, size_t len)
77{
78#ifdef HAVE_WCHAR_H
79 mbstate_t state;
80 wchar_t c;
81 size_t byte_idx = 0, nbytes;
82 unsigned long h = 0;
83
84 if (len == (size_t) -1)
85 len = strlen (str);
86
87 while ((nbytes = mbrtowc (&c, str + byte_idx, len - byte_idx, &state)) > 0)
88 {
89 if (nbytes >= (size_t) -2)
90 /* Invalid input string; punt. */
91 return scm_i_string_hash (scm_from_locale_stringn (str, len));
92
93 h = (unsigned long) c + h * 37;
94 byte_idx += nbytes;
95 }
96
97 return h;
98#else
99 return scm_i_string_hash (scm_from_locale_stringn (str, len));
100#endif
101}
102
103unsigned long
104scm_i_latin1_string_hash (const char *str, size_t len)
105{
106 const scm_t_uint8 *ustr = (const scm_t_uint8 *) str;
107 size_t i = 0;
108 unsigned long h = 0;
109
110 if (len == (size_t) -1)
111 len = strlen (str);
112
113 for (; i < len; i++)
114 h = (unsigned long) ustr[i] + h * 37;
115
116 return h;
117}
118
119unsigned long
120scm_i_utf8_string_hash (const char *str, size_t len)
121{
122 const scm_t_uint8 *ustr = (const scm_t_uint8 *) str;
123 size_t byte_idx = 0;
124 unsigned long h = 0;
125
126 if (len == (size_t) -1)
127 len = strlen (str);
128
129 while (byte_idx < len)
130 {
131 ucs4_t c;
132 int nbytes;
133
134 nbytes = u8_mbtouc (&c, ustr + byte_idx, len - byte_idx);
135 if (nbytes == 0)
136 break;
137 else if (nbytes < 0)
138 /* Bad UTF-8; punt. */
139 return scm_i_string_hash (scm_from_utf8_stringn (str, len));
140
141 h = (unsigned long) c + h * 37;
142 byte_idx += nbytes;
143 }
144
145 return h;
146}
147
ba393257 148
dba97178
DH
149/* Dirk:FIXME:: why downcase for characters? (2x: scm_hasher, scm_ihashv) */
150/* Dirk:FIXME:: scm_hasher could be made static. */
151
152
c014a02e
ML
153unsigned long
154scm_hasher(SCM obj, unsigned long n, size_t d)
0f2d19dd 155{
dba97178
DH
156 switch (SCM_ITAG3 (obj)) {
157 case scm_tc3_int_1:
158 case scm_tc3_int_2:
e11e83f3 159 return SCM_I_INUM(obj) % n; /* SCM_INUMP(obj) */
dba97178
DH
160 case scm_tc3_imm24:
161 if (SCM_CHARP(obj))
84fad130 162 return (unsigned)(scm_c_downcase(SCM_CHAR(obj))) % n;
dba97178 163 switch (SCM_UNPACK (obj)) {
210c0325 164 case SCM_EOL_BITS:
94a5efac
GB
165 d = 256;
166 break;
210c0325 167 case SCM_BOOL_T_BITS:
94a5efac
GB
168 d = 257;
169 break;
210c0325 170 case SCM_BOOL_F_BITS:
94a5efac
GB
171 d = 258;
172 break;
210c0325 173 case SCM_EOF_VAL_BITS:
94a5efac
GB
174 d = 259;
175 break;
176 default:
177 d = 263; /* perhaps should be error */
0f2d19dd
JB
178 }
179 return d % n;
94a5efac
GB
180 default:
181 return 263 % n; /* perhaps should be error */
dba97178 182 case scm_tc3_cons:
0f2d19dd 183 switch SCM_TYP7(obj) {
94a5efac
GB
184 default:
185 return 263 % n;
0f2d19dd 186 case scm_tc7_smob:
534c55a9
DH
187 return 263 % n;
188 case scm_tc7_number:
1be6b49c 189 switch SCM_TYP16 (obj) {
950cc72b 190 case scm_tc16_big:
e11e83f3 191 return scm_to_ulong (scm_modulo (obj, scm_from_ulong (n)));
950cc72b
MD
192 case scm_tc16_real:
193 {
1be6b49c 194 double r = SCM_REAL_VALUE (obj);
10483f9e 195 if (floor (r) == r && !isinf (r) && !isnan (r))
e11e83f3
MV
196 {
197 obj = scm_inexact_to_exact (obj);
198 return scm_to_ulong (scm_modulo (obj, scm_from_ulong (n)));
199 }
0f2d19dd 200 }
534c55a9 201 /* Fall through */
950cc72b 202 case scm_tc16_complex:
f92e85f7 203 case scm_tc16_fraction:
e11e83f3 204 obj = scm_number_to_string (obj, scm_from_int (10));
534c55a9 205 /* Fall through */
0f2d19dd 206 }
534c55a9 207 /* Fall through */
0f2d19dd 208 case scm_tc7_string:
8824ac88 209 {
5a6d139b 210 unsigned long hash =
e23106d5 211 scm_i_string_hash (obj) % n;
8824ac88
MV
212 return hash;
213 }
28b06554 214 case scm_tc7_symbol:
cc95e00a 215 return scm_i_symbol_hash (obj) % n;
3854d5fd
LC
216 case scm_tc7_pointer:
217 {
218 /* Pointer objects are typically used to store addresses of heap
219 objects. On most platforms, these are at least 3-byte
220 aligned (on x86_64-*-gnu, `malloc' returns 4-byte aligned
221 addresses), so get rid of the least significant bits. */
222 scm_t_uintptr significant_bits;
223
224 significant_bits = (scm_t_uintptr) SCM_POINTER_VALUE (obj) >> 4UL;
225 return (size_t) significant_bits % n;
226 }
8ac870de
LC
227 case scm_tcs_struct:
228 return scm_i_struct_hash (obj, n, d);
0f2d19dd
JB
229 case scm_tc7_wvect:
230 case scm_tc7_vector:
231 {
4057a3e0 232 size_t len = SCM_SIMPLE_VECTOR_LENGTH (obj);
1be6b49c 233 if (len > 5)
0f2d19dd 234 {
1be6b49c 235 size_t i = d/2;
c014a02e 236 unsigned long h = 1;
4057a3e0
MV
237 while (i--)
238 {
239 SCM elt = SCM_SIMPLE_VECTOR_REF (obj, h % len);
240 h = ((h << 8) + (scm_hasher (elt, n, 2))) % n;
241 }
0f2d19dd
JB
242 return h;
243 }
244 else
245 {
1be6b49c 246 size_t i = len;
c014a02e 247 unsigned long h = (n)-1;
4057a3e0
MV
248 while (i--)
249 {
250 SCM elt = SCM_SIMPLE_VECTOR_REF (obj, h % len);
251 h = ((h << 8) + (scm_hasher (elt, n, d/len))) % n;
252 }
0f2d19dd
JB
253 return h;
254 }
255 }
94a5efac
GB
256 case scm_tcs_cons_imcar:
257 case scm_tcs_cons_nimcar:
1be6b49c
ML
258 if (d) return (scm_hasher (SCM_CAR (obj), n, d/2)
259 + scm_hasher (SCM_CDR (obj), n, d/2)) % n;
0f2d19dd
JB
260 else return 1;
261 case scm_tc7_port:
206d3de3 262 return ((SCM_RDNG & SCM_CELL_WORD_0 (obj)) ? 260 : 261) % n;
cc7005bc 263 case scm_tc7_program:
0f2d19dd
JB
264 return 262 % n;
265 }
266 }
267}
268
269
270\f
271
1cc91f1b 272
c014a02e
ML
273unsigned long
274scm_ihashq (SCM obj, unsigned long n)
0f2d19dd 275{
54778cd3 276 return (SCM_UNPACK (obj) >> 1) % n;
0f2d19dd
JB
277}
278
279
3b3b36dd 280SCM_DEFINE (scm_hashq, "hashq", 2, 0, 0,
94a5efac 281 (SCM key, SCM size),
5352393c
MG
282 "Determine a hash value for @var{key} that is suitable for\n"
283 "lookups in a hashtable of size @var{size}, where @code{eq?} is\n"
284 "used as the equality predicate. The function returns an\n"
285 "integer in the range 0 to @var{size} - 1. Note that\n"
286 "@code{hashq} may use internal addresses. Thus two calls to\n"
287 "hashq where the keys are @code{eq?} are not guaranteed to\n"
288 "deliver the same value if the key object gets garbage collected\n"
289 "in between. This can happen, for example with symbols:\n"
290 "@code{(hashq 'foo n) (gc) (hashq 'foo n)} may produce two\n"
291 "different values, since @code{foo} will be garbage collected.")
1bbd0b84 292#define FUNC_NAME s_scm_hashq
0f2d19dd 293{
a55c2b68
MV
294 unsigned long sz = scm_to_unsigned_integer (size, 1, ULONG_MAX);
295 return scm_from_ulong (scm_ihashq (key, sz));
0f2d19dd 296}
1bbd0b84 297#undef FUNC_NAME
0f2d19dd
JB
298
299
300\f
301
1cc91f1b 302
c014a02e
ML
303unsigned long
304scm_ihashv (SCM obj, unsigned long n)
0f2d19dd 305{
7866a09b 306 if (SCM_CHARP(obj))
84fad130 307 return ((unsigned long) (scm_c_downcase (SCM_CHAR (obj)))) % n; /* downcase!?!! */
0f2d19dd 308
0c95b57d 309 if (SCM_NUMP(obj))
c014a02e 310 return (unsigned long) scm_hasher(obj, n, 10);
0f2d19dd 311 else
54778cd3 312 return SCM_UNPACK (obj) % n;
0f2d19dd
JB
313}
314
315
3b3b36dd 316SCM_DEFINE (scm_hashv, "hashv", 2, 0, 0,
94a5efac 317 (SCM key, SCM size),
5352393c
MG
318 "Determine a hash value for @var{key} that is suitable for\n"
319 "lookups in a hashtable of size @var{size}, where @code{eqv?} is\n"
320 "used as the equality predicate. The function returns an\n"
321 "integer in the range 0 to @var{size} - 1. Note that\n"
322 "@code{(hashv key)} may use internal addresses. Thus two calls\n"
323 "to hashv where the keys are @code{eqv?} are not guaranteed to\n"
324 "deliver the same value if the key object gets garbage collected\n"
325 "in between. This can happen, for example with symbols:\n"
326 "@code{(hashv 'foo n) (gc) (hashv 'foo n)} may produce two\n"
327 "different values, since @code{foo} will be garbage collected.")
1bbd0b84 328#define FUNC_NAME s_scm_hashv
0f2d19dd 329{
a55c2b68
MV
330 unsigned long sz = scm_to_unsigned_integer (size, 1, ULONG_MAX);
331 return scm_from_ulong (scm_ihashv (key, sz));
0f2d19dd 332}
1bbd0b84 333#undef FUNC_NAME
0f2d19dd
JB
334
335
336\f
337
1cc91f1b 338
c014a02e
ML
339unsigned long
340scm_ihash (SCM obj, unsigned long n)
0f2d19dd 341{
c014a02e 342 return (unsigned long) scm_hasher (obj, n, 10);
0f2d19dd
JB
343}
344
3b3b36dd 345SCM_DEFINE (scm_hash, "hash", 2, 0, 0,
94a5efac 346 (SCM key, SCM size),
5352393c
MG
347 "Determine a hash value for @var{key} that is suitable for\n"
348 "lookups in a hashtable of size @var{size}, where @code{equal?}\n"
349 "is used as the equality predicate. The function returns an\n"
350 "integer in the range 0 to @var{size} - 1.")
1bbd0b84 351#define FUNC_NAME s_scm_hash
0f2d19dd 352{
a55c2b68
MV
353 unsigned long sz = scm_to_unsigned_integer (size, 1, ULONG_MAX);
354 return scm_from_ulong (scm_ihash (key, sz));
0f2d19dd 355}
1bbd0b84 356#undef FUNC_NAME
0f2d19dd
JB
357
358
359\f
360
1cc91f1b 361
0f2d19dd
JB
362void
363scm_init_hash ()
0f2d19dd 364{
a0599745 365#include "libguile/hash.x"
0f2d19dd
JB
366}
367
89e00824
ML
368
369/*
370 Local Variables:
371 c-file-style: "gnu"
372 End:
373*/