2002-07-20 Han-Wen <hanwen@cs.uu.nl>
[bpt/guile.git] / libguile / hash.c
index d81ebcf..b894150 100644 (file)
@@ -1,4 +1,4 @@
-/*     Copyright (C) 1995,1996,1997, 2000 Free Software Foundation, Inc.
+/*     Copyright (C) 1995,1996,1997, 2000, 2001 Free Software Foundation, Inc.
  * 
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
  * whether to permit this exception to apply to your modifications.
  * If you do not wish that, delete this exception notice.  */
 
-/* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
-   gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
 
 \f
 
-#include <stdio.h>
 #include "libguile/_scm.h"
 #include "libguile/chars.h"
 #include "libguile/ports.h"
@@ -61,12 +58,34 @@ extern double floor();
 #endif
 
 
+unsigned long 
+scm_string_hash (const unsigned char *str, size_t len)
+{
+  if (len > 5)
+    {
+      size_t i = 5;
+      unsigned long h = 264;
+      while (i--)
+       h = (h << 8) + (unsigned) str[h % len];
+      return h;
+    }
+  else
+    {
+      size_t i = len;
+      unsigned long h = 0;
+      while (i)
+       h = (h << 8) + (unsigned) str[--i];
+      return h;
+    }
+}
+
+
 /* Dirk:FIXME:: why downcase for characters? (2x: scm_hasher, scm_ihashv) */
 /* Dirk:FIXME:: scm_hasher could be made static. */
 
 
 unsigned long
-scm_hasher(SCM obj, unsigned long n, scm_sizet d)
+scm_hasher(SCM obj, unsigned long n, size_t d)
 {
   switch (SCM_ITAG3 (obj)) {
   case scm_tc3_int_1: 
@@ -77,17 +96,17 @@ scm_hasher(SCM obj, unsigned long n, scm_sizet d)
       return (unsigned)(scm_downcase(SCM_CHAR(obj))) % n;
     switch (SCM_UNPACK (obj)) {
 #ifndef SICP
-    case SCM_EOL: 
+    case SCM_UNPACK(SCM_EOL):
       d = 256; 
       break;
 #endif
-    case SCM_BOOL_T: 
+    case SCM_UNPACK(SCM_BOOL_T):
       d = 257; 
       break;
-    case SCM_BOOL_F: 
+    case SCM_UNPACK(SCM_BOOL_F):
       d = 258; 
       break;
-    case SCM_EOF_VAL: 
+    case SCM_UNPACK(SCM_EOF_VAL):
       d = 259; 
       break;
     default: 
@@ -101,57 +120,55 @@ scm_hasher(SCM obj, unsigned long n, scm_sizet d)
     default: 
       return 263 % n;
     case scm_tc7_smob:
-      switch SCM_TYP16(obj) {
+      switch SCM_TYP16 (obj) {
       case scm_tc16_big:
-        return SCM_INUM(scm_modulo(obj, SCM_MAKINUM(n)));
+        return SCM_INUM (scm_modulo (obj, SCM_MAKINUM (n)));
       default: 
        return 263 % n;
       case scm_tc16_real:
        {
-         double r = SCM_REAL_VALUE(obj);
-         if (floor(r)==r) {
+         double r = SCM_REAL_VALUE (obj);
+         if (floor (r) == r) {
            obj = scm_inexact_to_exact (obj);
-           if SCM_IMP(obj) return SCM_INUM(obj) % n;
-           return SCM_INUM(scm_modulo(obj, SCM_MAKINUM(n)));
+           if SCM_IMP (obj) return SCM_INUM (obj) % n;
+           return SCM_INUM (scm_modulo (obj, SCM_MAKINUM (n)));
          }
        }
       case scm_tc16_complex:
-       obj = scm_number_to_string(obj, SCM_MAKINUM(10));
+       obj = scm_number_to_string (obj, SCM_MAKINUM (10));
       }
     case scm_tc7_string:
-      return scm_string_hash (SCM_STRING_UCHARS (obj), SCM_LENGTH (obj)) % n;
-    case scm_tc7_substring:
-      return scm_string_hash (SCM_ROUCHARS (obj), SCM_ROLENGTH (obj)) % n;
+      return scm_string_hash (SCM_STRING_UCHARS (obj), SCM_STRING_LENGTH (obj)) % n;
     case scm_tc7_symbol:
       return SCM_SYMBOL_HASH (obj) % n;
     case scm_tc7_wvect:
     case scm_tc7_vector:
       {
-       scm_sizet len = SCM_LENGTH(obj);
-       SCM *data = SCM_VELTS(obj);
-       if (len>5)
+       size_t len = SCM_VECTOR_LENGTH(obj);
+       SCM const *data = SCM_VELTS(obj);
+       if (len > 5)
          {
-           scm_sizet i = d/2;
+           size_t i = d/2;
            unsigned long h = 1;
-           while (i--) h = ((h<<8) + (scm_hasher(data[h % len], n, 2))) % n;
+           while (i--) h = ((h << 8) + (scm_hasher (data[h % len], n, 2))) % n;
            return h;
          }
        else
          {
-           scm_sizet i = len;
+           size_t i = len;
            unsigned long h = (n)-1;
-           while (i--) h = ((h<<8) + (scm_hasher(data[i], n, d/len))) % n;
+           while (i--) h = ((h << 8) + (scm_hasher (data[i], n, d/len))) % n;
            return h;
          }
       }
     case scm_tcs_cons_imcar: 
     case scm_tcs_cons_nimcar:
-      if (d) return (scm_hasher(SCM_CAR(obj), n, d/2)+scm_hasher(SCM_CDR(obj), n, d/2)) % n;
+      if (d) return (scm_hasher (SCM_CAR (obj), n, d/2)
+                     + scm_hasher (SCM_CDR (obj), n, d/2)) % n;
       else return 1;
     case scm_tc7_port:
       return ((SCM_RDNG & SCM_CELL_WORD_0 (obj)) ? 260 : 261) % n;
     case scm_tcs_closures: 
-    case scm_tc7_contin: 
     case scm_tcs_subrs:
       return 262 % n;
     }
@@ -162,8 +179,8 @@ scm_hasher(SCM obj, unsigned long n, scm_sizet d)
 \f
 
 
-unsigned int
-scm_ihashq (SCM obj, unsigned int n)
+unsigned long
+scm_ihashq (SCM obj, unsigned long n)
 {
   return (SCM_UNPACK (obj) >> 1) % n;
 }
@@ -171,15 +188,16 @@ scm_ihashq (SCM obj, unsigned int n)
 
 SCM_DEFINE (scm_hashq, "hashq", 2, 0, 0,
            (SCM key, SCM size),
-           "Determine a hash value for KEY that is suitable for lookups in\n"
-           "a hashtable of size SIZE, where eq? is used as the equality\n"
-           "predicate.  The function returns an integer in the range 0 to\n"
-           "SIZE - 1.  NOTE that `hashq' may use internal addresses.\n"
-           "Thus two calls to hashq where the keys are eq? are not\n"
-           "guaranteed to deliver the same value if the key object gets\n"
-           "garbage collected in between.  This can happen, for example\n"
-           "with symbols:  (hashq 'foo n) (gc) (hashq 'foo n) may produce two\n" 
-           "different values, since 'foo will be garbage collected.")
+           "Determine a hash value for @var{key} that is suitable for\n"
+           "lookups in a hashtable of size @var{size}, where @code{eq?} is\n"
+           "used as the equality predicate.  The function returns an\n"
+           "integer in the range 0 to @var{size} - 1.  Note that\n"
+           "@code{hashq} may use internal addresses.  Thus two calls to\n"
+           "hashq where the keys are @code{eq?} are not guaranteed to\n"
+           "deliver the same value if the key object gets garbage collected\n"
+           "in between.  This can happen, for example with symbols:\n"
+           "@code{(hashq 'foo n) (gc) (hashq 'foo n)} may produce two\n"
+           "different values, since @code{foo} will be garbage collected.")
 #define FUNC_NAME s_scm_hashq
 {
   SCM_VALIDATE_INUM_MIN (2, size, 0);
@@ -191,14 +209,14 @@ SCM_DEFINE (scm_hashq, "hashq", 2, 0, 0,
 \f
 
 
-unsigned int
-scm_ihashv (SCM obj, unsigned int n)
+unsigned long
+scm_ihashv (SCM obj, unsigned long n)
 {
   if (SCM_CHARP(obj))
-    return ((unsigned int)(scm_downcase(SCM_CHAR(obj)))) % n; /* downcase!?!! */
+    return ((unsigned long) (scm_downcase (SCM_CHAR (obj)))) % n; /* downcase!?!! */
 
   if (SCM_NUMP(obj))
-    return (unsigned int) scm_hasher(obj, n, 10);
+    return (unsigned long) scm_hasher(obj, n, 10);
   else
     return SCM_UNPACK (obj) % n;
 }
@@ -206,15 +224,16 @@ scm_ihashv (SCM obj, unsigned int n)
 
 SCM_DEFINE (scm_hashv, "hashv", 2, 0, 0,
            (SCM key, SCM size),
-           "Determine a hash value for KEY that is suitable for lookups in\n"
-           "a hashtable of size SIZE, where eqv? is used as the equality\n"
-           "predicate.  The function returns an integer in the range 0 to\n"
-           "SIZE - 1.  NOTE that (hashv key) may use internal addresses.\n"
-           "Thus two calls to hashv where the keys are eqv? are not\n"
-           "guaranteed to deliver the same value if the key object gets\n"
-           "garbage collected in between.  This can happen, for example\n"
-           "with symbols:  (hashv 'foo n) (gc) (hashv 'foo n) may produce two\n" 
-           "different values, since 'foo will be garbage collected.")
+           "Determine a hash value for @var{key} that is suitable for\n"
+           "lookups in a hashtable of size @var{size}, where @code{eqv?} is\n"
+           "used as the equality predicate.  The function returns an\n"
+           "integer in the range 0 to @var{size} - 1.  Note that\n"
+           "@code{(hashv key)} may use internal addresses.  Thus two calls\n"
+           "to hashv where the keys are @code{eqv?} are not guaranteed to\n"
+           "deliver the same value if the key object gets garbage collected\n"
+           "in between.  This can happen, for example with symbols:\n"
+           "@code{(hashv 'foo n) (gc) (hashv 'foo n)} may produce two\n"
+           "different values, since @code{foo} will be garbage collected.")
 #define FUNC_NAME s_scm_hashv
 {
   SCM_VALIDATE_INUM_MIN (2, size, 0);
@@ -226,18 +245,18 @@ SCM_DEFINE (scm_hashv, "hashv", 2, 0, 0,
 \f
 
 
-unsigned int
-scm_ihash (SCM obj, unsigned int n)
+unsigned long
+scm_ihash (SCM obj, unsigned long n)
 {
-  return (unsigned int)scm_hasher (obj, n, 10);
+  return (unsigned long) scm_hasher (obj, n, 10);
 }
 
 SCM_DEFINE (scm_hash, "hash", 2, 0, 0,
            (SCM key, SCM size),
-           "Determine a hash value for KEY that is suitable for lookups in\n"
-           "a hashtable of size SIZE, where equal? is used as the equality\n"
-           "predicate.  The function returns an integer in the range 0 to\n"
-           "SIZE - 1.")
+           "Determine a hash value for @var{key} that is suitable for\n"
+           "lookups in a hashtable of size @var{size}, where @code{equal?}\n"
+           "is used as the equality predicate.  The function returns an\n"
+           "integer in the range 0 to @var{size} - 1.")
 #define FUNC_NAME s_scm_hash
 {
   SCM_VALIDATE_INUM_MIN (2, size, 0);