liblzf/lzf_c.c

/*
 * Copyright (c) 2000-2003 Marc Alexander Lehmann <pcg@goof.com>
 * 
 * Redistribution and use in source and binary forms, with or without modifica-
 * tion, are permitted provided that the following conditions are met:
 * 
 *   1.  Redistributions of source code must retain the above copyright notice,
 *       this list of conditions and the following disclaimer.
 * 
 *   2.  Redistributions in binary form must reproduce the above copyright
 *       notice, this list of conditions and the following disclaimer in the
 *       documentation and/or other materials provided with the distribution.
 * 
 *   3.  The name of the author may not be used to endorse or promote products
 *       derived from this software without specific prior written permission.
 * 
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MER-
 * CHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO
 * EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPE-
 * CIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTH-
 * ERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#include "lzfP.h"

#define HSIZE (1 << (HLOG))

/*
 * don't play with this unless you benchmark!
 * decompression is not dependent on the hash function
 * the hashing function might seem strange, just believe me
 * it works ;)
 */
#define FRST(p) (((p[0]) << 8) + p[1])
#define NEXT(v,p) (((v) << 8) + p[2])
#define IDX(h) ((((h ^ (h << 5)) >> (3*8 - HLOG)) + h*3) & (HSIZE - 1))
/*
 * IDX works because it is very similar to a multiplicative hash, e.g.
 * (h * 57321 >> (3*8 - HLOG))
 * the next one is also quite good, albeit slow ;)
 * (int)(cos(h & 0xffffff) * 1e6)
 */

#if 0
/* original lzv-like hash function */
# define FRST(p) (p[0] << 5) ^ p[1]
# define NEXT(v,p) ((v) << 5) ^ p[2]
# define IDX(h) ((h) & (HSIZE - 1))
#endif

#define        MAX_LIT        (1 <<  5)
#define        MAX_OFF        (1 << 13)
#define        MAX_REF        ((1 <<  8) + (1 << 3))

/*
 * compressed format
 *
 * 000LLLLL <L+1>    ; literal
 * LLLOOOOO oooooooo ; backref L
 * 111OOOOO LLLLLLLL oooooooo ; backref L+7
 *
 */

unsigned int
lzf_compress (const void *const in_data, unsigned int in_len,
              void *out_data, unsigned int out_len
#if LZF_STATE_ARG
              , LZF_STATE *htab
#endif
              )
{
#if !LZF_STATE_ARG
  LZF_STATE htab;
#endif
  const u8 **hslot;
  const u8 *ip = (const u8 *)in_data;
        u8 *op = (u8 *)out_data;
  const u8 *in_end  = ip + in_len;
        u8 *out_end = op + out_len;
  const u8 *ref;

  unsigned int hval = FRST (ip);
  unsigned long off;
           int lit = 0;

#if INIT_HTAB
# if USE_MEMCPY
    memset (htab, 0, sizeof (htab));
# else
    for (hslot = htab; hslot < htab + HSIZE; hslot++)
      *hslot++ = ip;
# endif
#endif

  for (;;)
    {
      if (ip < in_end - 2)
        {
          hval = NEXT (hval, ip);
          hslot = htab + IDX (hval);
          ref = *hslot; *hslot = ip;

          if (1
#if INIT_HTAB && !USE_MEMCPY
              && ref < ip /* the next test will actually take care of this, but this is faster */
#endif
              && (off = ip - ref - 1) < MAX_OFF
              && ip + 4 < in_end
              && ref > (u8 *)in_data
#if STRICT_ALIGN
              && ref[0] == ip[0]
              && ref[1] == ip[1]
              && ref[2] == ip[2]
#else
              && *(u16 *)ref == *(u16 *)ip
              && ref[2] == ip[2]
#endif
            )
            {
              /* match found at *ref++ */
              unsigned int len = 2;
              unsigned int maxlen = in_end - ip - len;
              maxlen = maxlen > MAX_REF ? MAX_REF : maxlen;

              do
                len++;
              while (len < maxlen && ref[len] == ip[len]);

              if (op + lit + 1 + 3 >= out_end)
                return 0;

              if (lit)
                {
                  *op++ = lit - 1;
                  lit = -lit;
                  do
                    *op++ = ip[lit];
                  while (++lit);
                }

              len -= 2;
              ip++;

              if (len < 7)
                {
                  *op++ = (off >> 8) + (len << 5);
                }
              else
                {
                  *op++ = (off >> 8) + (  7 << 5);
                  *op++ = len - 7;
                }

              *op++ = off;

#if ULTRA_FAST
              ip += len;
              hval = FRST (ip);
              hval = NEXT (hval, ip);
              htab[IDX (hval)] = ip;
              ip++;
#else
              do
                {
                  hval = NEXT (hval, ip);
                  htab[IDX (hval)] = ip;
                  ip++;
                }
              while (len--);
#endif
              continue;
            }
        }
      else if (ip == in_end)
        break;

      /* one more literal byte we must copy */
      lit++;
      ip++;

      if (lit == MAX_LIT)
        {
          if (op + 1 + MAX_LIT >= out_end)
            return 0;

          *op++ = MAX_LIT - 1;
#if USE_MEMCPY
          memcpy (op, ip - MAX_LIT, MAX_LIT);
          op += MAX_LIT;
          lit = 0;
#else
          lit = -lit;
          do
            *op++ = ip[lit];
          while (++lit);
#endif
        }
    }

  if (lit)
    {
      if (op + lit + 1 >= out_end)
        return 0;

      *op++ = lit - 1;
      lit = -lit;
      do
        *op++ = ip[lit];
      while (++lit);
    }

  return op - (u8 *) out_data;
}
Revision:	1.5
Committed:	Mon Dec 29 12:48:16 2003 UTC (20 years, 4 months ago) by pcg
Content type:	text/plain
Branch:	MAIN
Changes since 1.4:	+90 -87 lines
Log Message:	* empty log message *
#	User	Rev	Content
1	root	1.1	/*
2	pcg	1.4	* Copyright (c) 2000-2003 Marc Alexander Lehmann <pcg@goof.com>
3	root	1.1	*
4			* Redistribution and use in source and binary forms, with or without modifica-
5			* tion, are permitted provided that the following conditions are met:
6			*
7			* 1. Redistributions of source code must retain the above copyright notice,
8			* this list of conditions and the following disclaimer.
9			*
10			* 2. Redistributions in binary form must reproduce the above copyright
11			* notice, this list of conditions and the following disclaimer in the
12			* documentation and/or other materials provided with the distribution.
13			*
14			* 3. The name of the author may not be used to endorse or promote products
15			* derived from this software without specific prior written permission.
16			*
17			* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
18			* WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MER-
19			* CHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
20			* EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPE-
21			* CIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
22			* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
23			* OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
24			* WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTH-
25			* ERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
26			* OF THE POSSIBILITY OF SUCH DAMAGE.
27			*/
28
29			#include "lzfP.h"
30
31			#define HSIZE (1 << (HLOG))
32
33			/*
34			* don't play with this unless you benchmark!
35			* decompression is not dependent on the hash function
36			* the hashing function might seem strange, just believe me
37			* it works ;)
38			*/
39			#define FRST(p) (((p[0]) << 8) + p[1])
40			#define NEXT(v,p) (((v) << 8) + p[2])
41	root	1.2	#define IDX(h) ((((h ^ (h << 5)) >> (38 - HLOG)) + h3) & (HSIZE - 1))
42	root	1.1	/*
43			* IDX works because it is very similar to a multiplicative hash, e.g.
44			* (h * 57321 >> (3*8 - HLOG))
45			* the next one is also quite good, albeit slow ;)
46			* (int)(cos(h & 0xffffff) * 1e6)
47			*/
48
49			#if 0
50			/* original lzv-like hash function */
51			# define FRST(p) (p[0] << 5) ^ p[1]
52	root	1.2	# define NEXT(v,p) ((v) << 5) ^ p[2]
53			# define IDX(h) ((h) & (HSIZE - 1))
54	root	1.1	#endif
55
56			#define MAX_LIT (1 << 5)
57			#define MAX_OFF (1 << 13)
58			#define MAX_REF ((1 << 8) + (1 << 3))
59
60			/*
61			* compressed format
62			*
63			* 000LLLLL <L+1> ; literal
64			* LLLOOOOO oooooooo ; backref L
65			* 111OOOOO LLLLLLLL oooooooo ; backref L+7
66			*
67			*/
68
69			unsigned int
70			lzf_compress (const void *const in_data, unsigned int in_len,
71	pcg	1.4	void *out_data, unsigned int out_len
72	pcg	1.5	#if LZF_STATE_ARG
73	pcg	1.4	, LZF_STATE *htab
74			#endif
75			)
76	root	1.1	{
77	pcg	1.5	#if !LZF_STATE_ARG
78	pcg	1.4	LZF_STATE htab;
79			#endif
80	root	1.1	const u8 **hslot;
81	pcg	1.4	const u8 ip = (const u8 )in_data;
82			u8 op = (u8 )out_data;
83	root	1.1	const u8 *in_end = ip + in_len;
84			u8 *out_end = op + out_len;
85			const u8 *ref;
86
87			unsigned int hval = FRST (ip);
88			unsigned long off;
89			int lit = 0;
90
91			#if INIT_HTAB
92			# if USE_MEMCPY
93			memset (htab, 0, sizeof (htab));
94			# else
95			for (hslot = htab; hslot < htab + HSIZE; hslot++)
96			*hslot++ = ip;
97			# endif
98			#endif
99
100	pcg	1.5	for (;;)
101	root	1.1	{
102	pcg	1.5	if (ip < in_end - 2)
103			{
104			hval = NEXT (hval, ip);
105			hslot = htab + IDX (hval);
106			ref = hslot; hslot = ip;
107	root	1.1
108	pcg	1.5	if (1
109	root	1.1	#if INIT_HTAB && !USE_MEMCPY
110	pcg	1.5	&& ref < ip /* the next test will actually take care of this, but this is faster */
111	root	1.1	#endif
112	pcg	1.5	&& (off = ip - ref - 1) < MAX_OFF
113			&& ip + 4 < in_end
114			&& ref > (u8 *)in_data
115	root	1.1	#if STRICT_ALIGN
116	pcg	1.5	&& ref[0] == ip[0]
117			&& ref[1] == ip[1]
118			&& ref[2] == ip[2]
119	root	1.1	#else
120	pcg	1.5	&& (u16 )ref == (u16 )ip
121			&& ref[2] == ip[2]
122	root	1.1	#endif
123	pcg	1.5	)
124			{
125			/* match found at ref++ /
126			unsigned int len = 2;
127			unsigned int maxlen = in_end - ip - len;
128			maxlen = maxlen > MAX_REF ? MAX_REF : maxlen;
129
130			do
131			len++;
132			while (len < maxlen && ref[len] == ip[len]);
133
134			if (op + lit + 1 + 3 >= out_end)
135			return 0;
136
137			if (lit)
138			{
139			*op++ = lit - 1;
140			lit = -lit;
141			do
142			*op++ = ip[lit];
143			while (++lit);
144			}
145
146			len -= 2;
147			ip++;
148
149			if (len < 7)
150			{
151			*op++ = (off >> 8) + (len << 5);
152			}
153			else
154			{
155			*op++ = (off >> 8) + ( 7 << 5);
156			*op++ = len - 7;
157			}
158	root	1.1
159	pcg	1.5	*op++ = off;
160	root	1.1
161			#if ULTRA_FAST
162	pcg	1.5	ip += len;
163			hval = FRST (ip);
164			hval = NEXT (hval, ip);
165			htab[IDX (hval)] = ip;
166			ip++;
167	root	1.1	#else
168	pcg	1.5	do
169			{
170			hval = NEXT (hval, ip);
171			htab[IDX (hval)] = ip;
172			ip++;
173			}
174			while (len--);
175			#endif
176			continue;
177			}
178			}
179			else if (ip == in_end)
180			break;
181
182			/* one more literal byte we must copy */
183			lit++;
184			ip++;
185
186			if (lit == MAX_LIT)
187			{
188			if (op + 1 + MAX_LIT >= out_end)
189			return 0;
190	root	1.1
191	pcg	1.5	*op++ = MAX_LIT - 1;
192	root	1.1	#if USE_MEMCPY
193	pcg	1.5	memcpy (op, ip - MAX_LIT, MAX_LIT);
194			op += MAX_LIT;
195			lit = 0;
196	root	1.1	#else
197	pcg	1.5	lit = -lit;
198			do
199			*op++ = ip[lit];
200			while (++lit);
201	root	1.1	#endif
202	pcg	1.5	}
203	root	1.1	}
204
205			if (lit)
206			{
207			if (op + lit + 1 >= out_end)
208			return 0;
209
210			*op++ = lit - 1;
211			lit = -lit;
212			do
213			*op++ = ip[lit];
214			while (++lit);
215			}
216
217			return op - (u8 *) out_data;
218			}