xref: /dflybsd-src/contrib/gcc-8.0/gcc/inchash.h (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj /* An incremental hash abstract data type.
2*38fd1498Szrj    Copyright (C) 2014-2018 Free Software Foundation, Inc.
3*38fd1498Szrj 
4*38fd1498Szrj This file is part of GCC.
5*38fd1498Szrj 
6*38fd1498Szrj GCC is free software; you can redistribute it and/or modify it under
7*38fd1498Szrj the terms of the GNU General Public License as published by the Free
8*38fd1498Szrj Software Foundation; either version 3, or (at your option) any later
9*38fd1498Szrj version.
10*38fd1498Szrj 
11*38fd1498Szrj GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12*38fd1498Szrj WARRANTY; without even the implied warranty of MERCHANTABILITY or
13*38fd1498Szrj FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14*38fd1498Szrj for more details.
15*38fd1498Szrj 
16*38fd1498Szrj You should have received a copy of the GNU General Public License
17*38fd1498Szrj along with GCC; see the file COPYING3.  If not see
18*38fd1498Szrj <http://www.gnu.org/licenses/>.  */
19*38fd1498Szrj 
20*38fd1498Szrj #ifndef INCHASH_H
21*38fd1498Szrj #define INCHASH_H 1
22*38fd1498Szrj 
23*38fd1498Szrj 
24*38fd1498Szrj /* This file implements an incremential hash function ADT, to be used
25*38fd1498Szrj    by code that incrementially hashes a lot of unrelated data
26*38fd1498Szrj    (not in a single memory block) into a single value. The goal
27*38fd1498Szrj    is to make it easy to plug in efficient hash algorithms.
28*38fd1498Szrj    Currently it just implements the plain old jhash based
29*38fd1498Szrj    incremental hash from gcc's tree.c.  */
30*38fd1498Szrj 
31*38fd1498Szrj hashval_t iterative_hash_host_wide_int (HOST_WIDE_INT, hashval_t);
32*38fd1498Szrj hashval_t iterative_hash_hashval_t (hashval_t, hashval_t);
33*38fd1498Szrj 
34*38fd1498Szrj namespace inchash
35*38fd1498Szrj {
36*38fd1498Szrj 
37*38fd1498Szrj class hash
38*38fd1498Szrj {
39*38fd1498Szrj  public:
40*38fd1498Szrj 
41*38fd1498Szrj   /* Start incremential hashing, optionally with SEED.  */
42*38fd1498Szrj   hash (hashval_t seed = 0)
43*38fd1498Szrj   {
44*38fd1498Szrj     val = seed;
45*38fd1498Szrj     bits = 0;
46*38fd1498Szrj   }
47*38fd1498Szrj 
48*38fd1498Szrj   /* End incremential hashing and provide the final value.  */
end()49*38fd1498Szrj   hashval_t end ()
50*38fd1498Szrj   {
51*38fd1498Szrj     return val;
52*38fd1498Szrj   }
53*38fd1498Szrj 
54*38fd1498Szrj   /* Add unsigned value V.  */
add_int(unsigned v)55*38fd1498Szrj   void add_int (unsigned v)
56*38fd1498Szrj   {
57*38fd1498Szrj     val = iterative_hash_hashval_t (v, val);
58*38fd1498Szrj   }
59*38fd1498Szrj 
60*38fd1498Szrj   /* Add polynomial value V, treating each element as an unsigned int.  */
61*38fd1498Szrj   template<unsigned int N, typename T>
add_poly_int(const poly_int_pod<N,T> & v)62*38fd1498Szrj   void add_poly_int (const poly_int_pod<N, T> &v)
63*38fd1498Szrj   {
64*38fd1498Szrj     for (unsigned int i = 0; i < N; ++i)
65*38fd1498Szrj       add_int (v.coeffs[i]);
66*38fd1498Szrj   }
67*38fd1498Szrj 
68*38fd1498Szrj   /* Add HOST_WIDE_INT value V.  */
add_hwi(HOST_WIDE_INT v)69*38fd1498Szrj   void add_hwi (HOST_WIDE_INT v)
70*38fd1498Szrj   {
71*38fd1498Szrj     val = iterative_hash_host_wide_int (v, val);
72*38fd1498Szrj   }
73*38fd1498Szrj 
74*38fd1498Szrj   /* Add polynomial value V, treating each element as a HOST_WIDE_INT.  */
75*38fd1498Szrj   template<unsigned int N, typename T>
add_poly_hwi(const poly_int_pod<N,T> & v)76*38fd1498Szrj   void add_poly_hwi (const poly_int_pod<N, T> &v)
77*38fd1498Szrj   {
78*38fd1498Szrj     for (unsigned int i = 0; i < N; ++i)
79*38fd1498Szrj       add_hwi (v.coeffs[i]);
80*38fd1498Szrj   }
81*38fd1498Szrj 
82*38fd1498Szrj   /* Add wide_int-based value V.  */
83*38fd1498Szrj   template<typename T>
add_wide_int(const generic_wide_int<T> & x)84*38fd1498Szrj   void add_wide_int (const generic_wide_int<T> &x)
85*38fd1498Szrj   {
86*38fd1498Szrj     add_int (x.get_len ());
87*38fd1498Szrj     for (unsigned i = 0; i < x.get_len (); i++)
88*38fd1498Szrj       add_hwi (x.elt (i));
89*38fd1498Szrj   }
90*38fd1498Szrj 
91*38fd1498Szrj   /* Hash in pointer PTR.  */
add_ptr(const void * ptr)92*38fd1498Szrj   void add_ptr (const void *ptr)
93*38fd1498Szrj   {
94*38fd1498Szrj     add (&ptr, sizeof (ptr));
95*38fd1498Szrj   }
96*38fd1498Szrj 
97*38fd1498Szrj   /* Add a memory block DATA with size LEN.  */
add(const void * data,size_t len)98*38fd1498Szrj   void add (const void *data, size_t len)
99*38fd1498Szrj   {
100*38fd1498Szrj     val = iterative_hash (data, len, val);
101*38fd1498Szrj   }
102*38fd1498Szrj 
103*38fd1498Szrj   /* Merge hash value OTHER.  */
merge_hash(hashval_t other)104*38fd1498Szrj   void merge_hash (hashval_t other)
105*38fd1498Szrj   {
106*38fd1498Szrj     val = iterative_hash_hashval_t (other, val);
107*38fd1498Szrj   }
108*38fd1498Szrj 
109*38fd1498Szrj   /* Hash in state from other inchash OTHER.  */
merge(hash & other)110*38fd1498Szrj   void merge (hash &other)
111*38fd1498Szrj   {
112*38fd1498Szrj     merge_hash (other.val);
113*38fd1498Szrj   }
114*38fd1498Szrj 
add_object(T & obj)115*38fd1498Szrj   template<class T> void add_object(T &obj)
116*38fd1498Szrj   {
117*38fd1498Szrj     add (&obj, sizeof(T));
118*38fd1498Szrj   }
119*38fd1498Szrj 
120*38fd1498Szrj   /* Support for accumulating boolean flags */
121*38fd1498Szrj 
add_flag(bool flag)122*38fd1498Szrj   void add_flag (bool flag)
123*38fd1498Szrj   {
124*38fd1498Szrj     bits = (bits << 1) | flag;
125*38fd1498Szrj   }
126*38fd1498Szrj 
commit_flag()127*38fd1498Szrj   void commit_flag ()
128*38fd1498Szrj   {
129*38fd1498Szrj     add_int (bits);
130*38fd1498Szrj     bits = 0;
131*38fd1498Szrj   }
132*38fd1498Szrj 
133*38fd1498Szrj   /* Support for commutative hashing. Add A and B in a defined order
134*38fd1498Szrj      based on their value. This is useful for hashing commutative
135*38fd1498Szrj      expressions, so that A+B and B+A get the same hash.  */
136*38fd1498Szrj 
add_commutative(hash & a,hash & b)137*38fd1498Szrj   void add_commutative (hash &a, hash &b)
138*38fd1498Szrj   {
139*38fd1498Szrj     if (a.end() > b.end())
140*38fd1498Szrj       {
141*38fd1498Szrj 	merge (b);
142*38fd1498Szrj 	merge (a);
143*38fd1498Szrj       }
144*38fd1498Szrj     else
145*38fd1498Szrj       {
146*38fd1498Szrj 	merge (a);
147*38fd1498Szrj 	merge (b);
148*38fd1498Szrj       }
149*38fd1498Szrj   }
150*38fd1498Szrj 
151*38fd1498Szrj  private:
152*38fd1498Szrj   hashval_t val;
153*38fd1498Szrj   unsigned bits;
154*38fd1498Szrj };
155*38fd1498Szrj 
156*38fd1498Szrj }
157*38fd1498Szrj 
158*38fd1498Szrj /* Borrowed from hashtab.c iterative_hash implementation.  */
159*38fd1498Szrj #define mix(a,b,c) \
160*38fd1498Szrj { \
161*38fd1498Szrj   a -= b; a -= c; a ^= (c>>13); \
162*38fd1498Szrj   b -= c; b -= a; b ^= (a<< 8); \
163*38fd1498Szrj   c -= a; c -= b; c ^= ((b&0xffffffff)>>13); \
164*38fd1498Szrj   a -= b; a -= c; a ^= ((c&0xffffffff)>>12); \
165*38fd1498Szrj   b -= c; b -= a; b = (b ^ (a<<16)) & 0xffffffff; \
166*38fd1498Szrj   c -= a; c -= b; c = (c ^ (b>> 5)) & 0xffffffff; \
167*38fd1498Szrj   a -= b; a -= c; a = (a ^ (c>> 3)) & 0xffffffff; \
168*38fd1498Szrj   b -= c; b -= a; b = (b ^ (a<<10)) & 0xffffffff; \
169*38fd1498Szrj   c -= a; c -= b; c = (c ^ (b>>15)) & 0xffffffff; \
170*38fd1498Szrj }
171*38fd1498Szrj 
172*38fd1498Szrj 
173*38fd1498Szrj /* Produce good hash value combining VAL and VAL2.  */
174*38fd1498Szrj inline
175*38fd1498Szrj hashval_t
iterative_hash_hashval_t(hashval_t val,hashval_t val2)176*38fd1498Szrj iterative_hash_hashval_t (hashval_t val, hashval_t val2)
177*38fd1498Szrj {
178*38fd1498Szrj   /* the golden ratio; an arbitrary value.  */
179*38fd1498Szrj   hashval_t a = 0x9e3779b9;
180*38fd1498Szrj 
181*38fd1498Szrj   mix (a, val, val2);
182*38fd1498Szrj   return val2;
183*38fd1498Szrj }
184*38fd1498Szrj 
185*38fd1498Szrj /* Produce good hash value combining VAL and VAL2.  */
186*38fd1498Szrj 
187*38fd1498Szrj inline
188*38fd1498Szrj hashval_t
iterative_hash_host_wide_int(HOST_WIDE_INT val,hashval_t val2)189*38fd1498Szrj iterative_hash_host_wide_int (HOST_WIDE_INT val, hashval_t val2)
190*38fd1498Szrj {
191*38fd1498Szrj   if (sizeof (HOST_WIDE_INT) == sizeof (hashval_t))
192*38fd1498Szrj     return iterative_hash_hashval_t (val, val2);
193*38fd1498Szrj   else
194*38fd1498Szrj     {
195*38fd1498Szrj       hashval_t a = (hashval_t) val;
196*38fd1498Szrj       /* Avoid warnings about shifting of more than the width of the type on
197*38fd1498Szrj          hosts that won't execute this path.  */
198*38fd1498Szrj       int zero = 0;
199*38fd1498Szrj       hashval_t b = (hashval_t) (val >> (sizeof (hashval_t) * 8 + zero));
200*38fd1498Szrj       mix (a, b, val2);
201*38fd1498Szrj       if (sizeof (HOST_WIDE_INT) > 2 * sizeof (hashval_t))
202*38fd1498Szrj 	{
203*38fd1498Szrj 	  hashval_t a = (hashval_t) (val >> (sizeof (hashval_t) * 16 + zero));
204*38fd1498Szrj 	  hashval_t b = (hashval_t) (val >> (sizeof (hashval_t) * 24 + zero));
205*38fd1498Szrj 	  mix (a, b, val2);
206*38fd1498Szrj 	}
207*38fd1498Szrj       return val2;
208*38fd1498Szrj     }
209*38fd1498Szrj }
210*38fd1498Szrj 
211*38fd1498Szrj #endif
212