xref: /openbmc/u-boot/lib/lzo/lzo1x_decompress.c (revision d753f942ec12e6b5b2db73698aa6c55588053d3a)
178acc472SPeter Tyser /*
278acc472SPeter Tyser  *  LZO1X Decompressor from MiniLZO
378acc472SPeter Tyser  *
478acc472SPeter Tyser  *  Copyright (C) 1996-2005 Markus F.X.J. Oberhumer <markus@oberhumer.com>
578acc472SPeter Tyser  *
678acc472SPeter Tyser  *  The full LZO package can be found at:
778acc472SPeter Tyser  *  http://www.oberhumer.com/opensource/lzo/
878acc472SPeter Tyser  *
978acc472SPeter Tyser  *  Changed for kernel use by:
1078acc472SPeter Tyser  *  Nitin Gupta <nitingupta910@gmail.com>
1178acc472SPeter Tyser  *  Richard Purdie <rpurdie@openedhand.com>
1278acc472SPeter Tyser  */
1378acc472SPeter Tyser 
1478acc472SPeter Tyser #include <common.h>
1578acc472SPeter Tyser #include <linux/lzo.h>
1678acc472SPeter Tyser #include <asm/byteorder.h>
1778acc472SPeter Tyser #include <asm/unaligned.h>
1878acc472SPeter Tyser #include "lzodefs.h"
1978acc472SPeter Tyser 
2078acc472SPeter Tyser #define HAVE_IP(x, ip_end, ip) ((size_t)(ip_end - ip) < (x))
2178acc472SPeter Tyser #define HAVE_OP(x, op_end, op) ((size_t)(op_end - op) < (x))
2278acc472SPeter Tyser #define HAVE_LB(m_pos, out, op) (m_pos < out || m_pos >= op)
2378acc472SPeter Tyser 
2478acc472SPeter Tyser #define COPY4(dst, src)	\
2578acc472SPeter Tyser 		put_unaligned(get_unaligned((const u32 *)(src)), (u32 *)(dst))
2678acc472SPeter Tyser 
2778acc472SPeter Tyser static const unsigned char lzop_magic[] = {
2878acc472SPeter Tyser 	0x89, 0x4c, 0x5a, 0x4f, 0x00, 0x0d, 0x0a, 0x1a, 0x0a
2978acc472SPeter Tyser };
3078acc472SPeter Tyser 
3178acc472SPeter Tyser #define HEADER_HAS_FILTER	0x00000800L
3278acc472SPeter Tyser 
33*d753f942SJean-Jacques Hiblot 
lzop_is_valid_header(const unsigned char * src)34*d753f942SJean-Jacques Hiblot bool lzop_is_valid_header(const unsigned char *src)
35*d753f942SJean-Jacques Hiblot {
36*d753f942SJean-Jacques Hiblot 	int i;
37*d753f942SJean-Jacques Hiblot 	/* read magic: 9 first bytes */
38*d753f942SJean-Jacques Hiblot 	for (i = 0; i < ARRAY_SIZE(lzop_magic); i++) {
39*d753f942SJean-Jacques Hiblot 		if (*src++ != lzop_magic[i])
40*d753f942SJean-Jacques Hiblot 			return false;
41*d753f942SJean-Jacques Hiblot 	}
42*d753f942SJean-Jacques Hiblot 	return true;
43*d753f942SJean-Jacques Hiblot }
44*d753f942SJean-Jacques Hiblot 
parse_header(const unsigned char * src)4578acc472SPeter Tyser static inline const unsigned char *parse_header(const unsigned char *src)
4678acc472SPeter Tyser {
4778acc472SPeter Tyser 	u16 version;
4878acc472SPeter Tyser 	int i;
4978acc472SPeter Tyser 
50*d753f942SJean-Jacques Hiblot 	if (!lzop_is_valid_header(src))
5178acc472SPeter Tyser 		return NULL;
52*d753f942SJean-Jacques Hiblot 
53*d753f942SJean-Jacques Hiblot 	/* skip header */
54*d753f942SJean-Jacques Hiblot 	src += 9;
55*d753f942SJean-Jacques Hiblot 
5678acc472SPeter Tyser 	/* get version (2bytes), skip library version (2),
5778acc472SPeter Tyser 	 * 'need to be extracted' version (2) and
5878acc472SPeter Tyser 	 * method (1) */
5978acc472SPeter Tyser 	version = get_unaligned_be16(src);
6078acc472SPeter Tyser 	src += 7;
6178acc472SPeter Tyser 	if (version >= 0x0940)
627b8ffea2SMarek Vasut 		src++;
6378acc472SPeter Tyser 	if (get_unaligned_be32(src) & HEADER_HAS_FILTER)
6478acc472SPeter Tyser 		src += 4; /* filter info */
6578acc472SPeter Tyser 
6678acc472SPeter Tyser 	/* skip flags, mode and mtime_low */
6778acc472SPeter Tyser 	src += 12;
6878acc472SPeter Tyser 	if (version >= 0x0940)
6978acc472SPeter Tyser 		src += 4;	/* skip mtime_high */
7078acc472SPeter Tyser 
7178acc472SPeter Tyser 	i = *src++;
7278acc472SPeter Tyser 	/* don't care about the file name, and skip checksum */
7378acc472SPeter Tyser 	src += i + 4;
7478acc472SPeter Tyser 
7578acc472SPeter Tyser 	return src;
7678acc472SPeter Tyser }
7778acc472SPeter Tyser 
lzop_decompress(const unsigned char * src,size_t src_len,unsigned char * dst,size_t * dst_len)7878acc472SPeter Tyser int lzop_decompress(const unsigned char *src, size_t src_len,
7978acc472SPeter Tyser 		    unsigned char *dst, size_t *dst_len)
8078acc472SPeter Tyser {
8178acc472SPeter Tyser 	unsigned char *start = dst;
8278acc472SPeter Tyser 	const unsigned char *send = src + src_len;
8378acc472SPeter Tyser 	u32 slen, dlen;
84ff9d2efdSKees Cook 	size_t tmp, remaining;
8578acc472SPeter Tyser 	int r;
8678acc472SPeter Tyser 
8778acc472SPeter Tyser 	src = parse_header(src);
8878acc472SPeter Tyser 	if (!src)
8978acc472SPeter Tyser 		return LZO_E_ERROR;
9078acc472SPeter Tyser 
91ff9d2efdSKees Cook 	remaining = *dst_len;
9278acc472SPeter Tyser 	while (src < send) {
9378acc472SPeter Tyser 		/* read uncompressed block size */
9478acc472SPeter Tyser 		dlen = get_unaligned_be32(src);
9578acc472SPeter Tyser 		src += 4;
9678acc472SPeter Tyser 
9778acc472SPeter Tyser 		/* exit if last block */
9878acc472SPeter Tyser 		if (dlen == 0) {
9978acc472SPeter Tyser 			*dst_len = dst - start;
10078acc472SPeter Tyser 			return LZO_E_OK;
10178acc472SPeter Tyser 		}
10278acc472SPeter Tyser 
10378acc472SPeter Tyser 		/* read compressed block size, and skip block checksum info */
10478acc472SPeter Tyser 		slen = get_unaligned_be32(src);
10578acc472SPeter Tyser 		src += 8;
10678acc472SPeter Tyser 
10778acc472SPeter Tyser 		if (slen <= 0 || slen > dlen)
10878acc472SPeter Tyser 			return LZO_E_ERROR;
10978acc472SPeter Tyser 
110ff9d2efdSKees Cook 		/* abort if buffer ran out of room */
111ff9d2efdSKees Cook 		if (dlen > remaining)
112ff9d2efdSKees Cook 			return LZO_E_OUTPUT_OVERRUN;
113ff9d2efdSKees Cook 
114a2cfc8d5SJoris Lijssens 		/* When the input data is not compressed at all,
115a2cfc8d5SJoris Lijssens 		 * lzo1x_decompress_safe will fail, so call memcpy()
116a2cfc8d5SJoris Lijssens 		 * instead */
117a2cfc8d5SJoris Lijssens 		if (dlen == slen) {
118a2cfc8d5SJoris Lijssens 			memcpy(dst, src, slen);
119a2cfc8d5SJoris Lijssens 		} else {
12078acc472SPeter Tyser 			/* decompress */
12178acc472SPeter Tyser 			tmp = dlen;
12278acc472SPeter Tyser 			r = lzo1x_decompress_safe((u8 *)src, slen, dst, &tmp);
12378acc472SPeter Tyser 
124670c0179SSimon Glass 			if (r != LZO_E_OK) {
125670c0179SSimon Glass 				*dst_len = dst - start;
12678acc472SPeter Tyser 				return r;
127670c0179SSimon Glass 			}
12878acc472SPeter Tyser 
12978acc472SPeter Tyser 			if (dlen != tmp)
13078acc472SPeter Tyser 				return LZO_E_ERROR;
131a2cfc8d5SJoris Lijssens 		}
13278acc472SPeter Tyser 
13378acc472SPeter Tyser 		src += slen;
13478acc472SPeter Tyser 		dst += dlen;
135ff9d2efdSKees Cook 		remaining -= dlen;
13678acc472SPeter Tyser 	}
13778acc472SPeter Tyser 
13878acc472SPeter Tyser 	return LZO_E_INPUT_OVERRUN;
13978acc472SPeter Tyser }
14078acc472SPeter Tyser 
lzo1x_decompress_safe(const unsigned char * in,size_t in_len,unsigned char * out,size_t * out_len)14178acc472SPeter Tyser int lzo1x_decompress_safe(const unsigned char *in, size_t in_len,
14278acc472SPeter Tyser 			unsigned char *out, size_t *out_len)
14378acc472SPeter Tyser {
14478acc472SPeter Tyser 	const unsigned char * const ip_end = in + in_len;
14578acc472SPeter Tyser 	unsigned char * const op_end = out + *out_len;
14678acc472SPeter Tyser 	const unsigned char *ip = in, *m_pos;
14778acc472SPeter Tyser 	unsigned char *op = out;
14878acc472SPeter Tyser 	size_t t;
14978acc472SPeter Tyser 
15078acc472SPeter Tyser 	*out_len = 0;
15178acc472SPeter Tyser 
15278acc472SPeter Tyser 	if (*ip > 17) {
15378acc472SPeter Tyser 		t = *ip++ - 17;
15478acc472SPeter Tyser 		if (t < 4)
15578acc472SPeter Tyser 			goto match_next;
15678acc472SPeter Tyser 		if (HAVE_OP(t, op_end, op))
15778acc472SPeter Tyser 			goto output_overrun;
15878acc472SPeter Tyser 		if (HAVE_IP(t + 1, ip_end, ip))
15978acc472SPeter Tyser 			goto input_overrun;
16078acc472SPeter Tyser 		do {
16178acc472SPeter Tyser 			*op++ = *ip++;
16278acc472SPeter Tyser 		} while (--t > 0);
16378acc472SPeter Tyser 		goto first_literal_run;
16478acc472SPeter Tyser 	}
16578acc472SPeter Tyser 
16678acc472SPeter Tyser 	while ((ip < ip_end)) {
16778acc472SPeter Tyser 		t = *ip++;
16878acc472SPeter Tyser 		if (t >= 16)
16978acc472SPeter Tyser 			goto match;
17078acc472SPeter Tyser 		if (t == 0) {
17178acc472SPeter Tyser 			if (HAVE_IP(1, ip_end, ip))
17278acc472SPeter Tyser 				goto input_overrun;
17378acc472SPeter Tyser 			while (*ip == 0) {
17478acc472SPeter Tyser 				t += 255;
17578acc472SPeter Tyser 				ip++;
17678acc472SPeter Tyser 				if (HAVE_IP(1, ip_end, ip))
17778acc472SPeter Tyser 					goto input_overrun;
17878acc472SPeter Tyser 			}
17978acc472SPeter Tyser 			t += 15 + *ip++;
18078acc472SPeter Tyser 		}
18178acc472SPeter Tyser 		if (HAVE_OP(t + 3, op_end, op))
18278acc472SPeter Tyser 			goto output_overrun;
18378acc472SPeter Tyser 		if (HAVE_IP(t + 4, ip_end, ip))
18478acc472SPeter Tyser 			goto input_overrun;
18578acc472SPeter Tyser 
18678acc472SPeter Tyser 		COPY4(op, ip);
18778acc472SPeter Tyser 		op += 4;
18878acc472SPeter Tyser 		ip += 4;
18978acc472SPeter Tyser 		if (--t > 0) {
19078acc472SPeter Tyser 			if (t >= 4) {
19178acc472SPeter Tyser 				do {
19278acc472SPeter Tyser 					COPY4(op, ip);
19378acc472SPeter Tyser 					op += 4;
19478acc472SPeter Tyser 					ip += 4;
19578acc472SPeter Tyser 					t -= 4;
19678acc472SPeter Tyser 				} while (t >= 4);
19778acc472SPeter Tyser 				if (t > 0) {
19878acc472SPeter Tyser 					do {
19978acc472SPeter Tyser 						*op++ = *ip++;
20078acc472SPeter Tyser 					} while (--t > 0);
20178acc472SPeter Tyser 				}
20278acc472SPeter Tyser 			} else {
20378acc472SPeter Tyser 				do {
20478acc472SPeter Tyser 					*op++ = *ip++;
20578acc472SPeter Tyser 				} while (--t > 0);
20678acc472SPeter Tyser 			}
20778acc472SPeter Tyser 		}
20878acc472SPeter Tyser 
20978acc472SPeter Tyser first_literal_run:
21078acc472SPeter Tyser 		t = *ip++;
21178acc472SPeter Tyser 		if (t >= 16)
21278acc472SPeter Tyser 			goto match;
21378acc472SPeter Tyser 		m_pos = op - (1 + M2_MAX_OFFSET);
21478acc472SPeter Tyser 		m_pos -= t >> 2;
21578acc472SPeter Tyser 		m_pos -= *ip++ << 2;
21678acc472SPeter Tyser 
21778acc472SPeter Tyser 		if (HAVE_LB(m_pos, out, op))
21878acc472SPeter Tyser 			goto lookbehind_overrun;
21978acc472SPeter Tyser 
22078acc472SPeter Tyser 		if (HAVE_OP(3, op_end, op))
22178acc472SPeter Tyser 			goto output_overrun;
22278acc472SPeter Tyser 		*op++ = *m_pos++;
22378acc472SPeter Tyser 		*op++ = *m_pos++;
22478acc472SPeter Tyser 		*op++ = *m_pos;
22578acc472SPeter Tyser 
22678acc472SPeter Tyser 		goto match_done;
22778acc472SPeter Tyser 
22878acc472SPeter Tyser 		do {
22978acc472SPeter Tyser match:
23078acc472SPeter Tyser 			if (t >= 64) {
23178acc472SPeter Tyser 				m_pos = op - 1;
23278acc472SPeter Tyser 				m_pos -= (t >> 2) & 7;
23378acc472SPeter Tyser 				m_pos -= *ip++ << 3;
23478acc472SPeter Tyser 				t = (t >> 5) - 1;
23578acc472SPeter Tyser 				if (HAVE_LB(m_pos, out, op))
23678acc472SPeter Tyser 					goto lookbehind_overrun;
23778acc472SPeter Tyser 				if (HAVE_OP(t + 3 - 1, op_end, op))
23878acc472SPeter Tyser 					goto output_overrun;
23978acc472SPeter Tyser 				goto copy_match;
24078acc472SPeter Tyser 			} else if (t >= 32) {
24178acc472SPeter Tyser 				t &= 31;
24278acc472SPeter Tyser 				if (t == 0) {
24378acc472SPeter Tyser 					if (HAVE_IP(1, ip_end, ip))
24478acc472SPeter Tyser 						goto input_overrun;
24578acc472SPeter Tyser 					while (*ip == 0) {
24678acc472SPeter Tyser 						t += 255;
24778acc472SPeter Tyser 						ip++;
24878acc472SPeter Tyser 						if (HAVE_IP(1, ip_end, ip))
24978acc472SPeter Tyser 							goto input_overrun;
25078acc472SPeter Tyser 					}
25178acc472SPeter Tyser 					t += 31 + *ip++;
25278acc472SPeter Tyser 				}
25378acc472SPeter Tyser 				m_pos = op - 1;
25478acc472SPeter Tyser 				m_pos -= get_unaligned_le16(ip) >> 2;
25578acc472SPeter Tyser 				ip += 2;
25678acc472SPeter Tyser 			} else if (t >= 16) {
25778acc472SPeter Tyser 				m_pos = op;
25878acc472SPeter Tyser 				m_pos -= (t & 8) << 11;
25978acc472SPeter Tyser 
26078acc472SPeter Tyser 				t &= 7;
26178acc472SPeter Tyser 				if (t == 0) {
26278acc472SPeter Tyser 					if (HAVE_IP(1, ip_end, ip))
26378acc472SPeter Tyser 						goto input_overrun;
26478acc472SPeter Tyser 					while (*ip == 0) {
26578acc472SPeter Tyser 						t += 255;
26678acc472SPeter Tyser 						ip++;
26778acc472SPeter Tyser 						if (HAVE_IP(1, ip_end, ip))
26878acc472SPeter Tyser 							goto input_overrun;
26978acc472SPeter Tyser 					}
27078acc472SPeter Tyser 					t += 7 + *ip++;
27178acc472SPeter Tyser 				}
27278acc472SPeter Tyser 				m_pos -= get_unaligned_le16(ip) >> 2;
27378acc472SPeter Tyser 				ip += 2;
27478acc472SPeter Tyser 				if (m_pos == op)
27578acc472SPeter Tyser 					goto eof_found;
27678acc472SPeter Tyser 				m_pos -= 0x4000;
27778acc472SPeter Tyser 			} else {
27878acc472SPeter Tyser 				m_pos = op - 1;
27978acc472SPeter Tyser 				m_pos -= t >> 2;
28078acc472SPeter Tyser 				m_pos -= *ip++ << 2;
28178acc472SPeter Tyser 
28278acc472SPeter Tyser 				if (HAVE_LB(m_pos, out, op))
28378acc472SPeter Tyser 					goto lookbehind_overrun;
28478acc472SPeter Tyser 				if (HAVE_OP(2, op_end, op))
28578acc472SPeter Tyser 					goto output_overrun;
28678acc472SPeter Tyser 
28778acc472SPeter Tyser 				*op++ = *m_pos++;
28878acc472SPeter Tyser 				*op++ = *m_pos;
28978acc472SPeter Tyser 				goto match_done;
29078acc472SPeter Tyser 			}
29178acc472SPeter Tyser 
29278acc472SPeter Tyser 			if (HAVE_LB(m_pos, out, op))
29378acc472SPeter Tyser 				goto lookbehind_overrun;
29478acc472SPeter Tyser 			if (HAVE_OP(t + 3 - 1, op_end, op))
29578acc472SPeter Tyser 				goto output_overrun;
29678acc472SPeter Tyser 
29778acc472SPeter Tyser 			if (t >= 2 * 4 - (3 - 1) && (op - m_pos) >= 4) {
29878acc472SPeter Tyser 				COPY4(op, m_pos);
29978acc472SPeter Tyser 				op += 4;
30078acc472SPeter Tyser 				m_pos += 4;
30178acc472SPeter Tyser 				t -= 4 - (3 - 1);
30278acc472SPeter Tyser 				do {
30378acc472SPeter Tyser 					COPY4(op, m_pos);
30478acc472SPeter Tyser 					op += 4;
30578acc472SPeter Tyser 					m_pos += 4;
30678acc472SPeter Tyser 					t -= 4;
30778acc472SPeter Tyser 				} while (t >= 4);
30878acc472SPeter Tyser 				if (t > 0)
30978acc472SPeter Tyser 					do {
31078acc472SPeter Tyser 						*op++ = *m_pos++;
31178acc472SPeter Tyser 					} while (--t > 0);
31278acc472SPeter Tyser 			} else {
31378acc472SPeter Tyser copy_match:
31478acc472SPeter Tyser 				*op++ = *m_pos++;
31578acc472SPeter Tyser 				*op++ = *m_pos++;
31678acc472SPeter Tyser 				do {
31778acc472SPeter Tyser 					*op++ = *m_pos++;
31878acc472SPeter Tyser 				} while (--t > 0);
31978acc472SPeter Tyser 			}
32078acc472SPeter Tyser match_done:
32178acc472SPeter Tyser 			t = ip[-2] & 3;
32278acc472SPeter Tyser 			if (t == 0)
32378acc472SPeter Tyser 				break;
32478acc472SPeter Tyser match_next:
32578acc472SPeter Tyser 			if (HAVE_OP(t, op_end, op))
32678acc472SPeter Tyser 				goto output_overrun;
32778acc472SPeter Tyser 			if (HAVE_IP(t + 1, ip_end, ip))
32878acc472SPeter Tyser 				goto input_overrun;
32978acc472SPeter Tyser 
33078acc472SPeter Tyser 			*op++ = *ip++;
33178acc472SPeter Tyser 			if (t > 1) {
33278acc472SPeter Tyser 				*op++ = *ip++;
33378acc472SPeter Tyser 				if (t > 2)
33478acc472SPeter Tyser 					*op++ = *ip++;
33578acc472SPeter Tyser 			}
33678acc472SPeter Tyser 
33778acc472SPeter Tyser 			t = *ip++;
33878acc472SPeter Tyser 		} while (ip < ip_end);
33978acc472SPeter Tyser 	}
34078acc472SPeter Tyser 
34178acc472SPeter Tyser 	*out_len = op - out;
34278acc472SPeter Tyser 	return LZO_E_EOF_NOT_FOUND;
34378acc472SPeter Tyser 
34478acc472SPeter Tyser eof_found:
34578acc472SPeter Tyser 	*out_len = op - out;
34678acc472SPeter Tyser 	return (ip == ip_end ? LZO_E_OK :
34778acc472SPeter Tyser 		(ip < ip_end ? LZO_E_INPUT_NOT_CONSUMED : LZO_E_INPUT_OVERRUN));
34878acc472SPeter Tyser input_overrun:
34978acc472SPeter Tyser 	*out_len = op - out;
35078acc472SPeter Tyser 	return LZO_E_INPUT_OVERRUN;
35178acc472SPeter Tyser 
35278acc472SPeter Tyser output_overrun:
35378acc472SPeter Tyser 	*out_len = op - out;
35478acc472SPeter Tyser 	return LZO_E_OUTPUT_OVERRUN;
35578acc472SPeter Tyser 
35678acc472SPeter Tyser lookbehind_overrun:
35778acc472SPeter Tyser 	*out_len = op - out;
35878acc472SPeter Tyser 	return LZO_E_LOOKBEHIND_OVERRUN;
35978acc472SPeter Tyser }
360