xref: /dflybsd-src/contrib/xz/src/liblzma/lz/lz_decoder.c (revision b5feb3da7c498482b19d14ac6f2b1901005f7d94)
12940b44dSPeter Avalos ///////////////////////////////////////////////////////////////////////////////
22940b44dSPeter Avalos //
32940b44dSPeter Avalos /// \file       lz_decoder.c
42940b44dSPeter Avalos /// \brief      LZ out window
52940b44dSPeter Avalos ///
62940b44dSPeter Avalos //  Authors:    Igor Pavlov
72940b44dSPeter Avalos //              Lasse Collin
82940b44dSPeter Avalos //
92940b44dSPeter Avalos //  This file has been put into the public domain.
102940b44dSPeter Avalos //  You can do whatever you want with this file.
112940b44dSPeter Avalos //
122940b44dSPeter Avalos ///////////////////////////////////////////////////////////////////////////////
132940b44dSPeter Avalos 
142940b44dSPeter Avalos // liblzma supports multiple LZ77-based filters. The LZ part is shared
152940b44dSPeter Avalos // between these filters. The LZ code takes care of dictionary handling
162940b44dSPeter Avalos // and passing the data between filters in the chain. The filter-specific
172940b44dSPeter Avalos // part decodes from the input buffer to the dictionary.
182940b44dSPeter Avalos 
192940b44dSPeter Avalos 
202940b44dSPeter Avalos #include "lz_decoder.h"
212940b44dSPeter Avalos 
222940b44dSPeter Avalos 
2346a2189dSzrj typedef struct {
242940b44dSPeter Avalos 	/// Dictionary (history buffer)
252940b44dSPeter Avalos 	lzma_dict dict;
262940b44dSPeter Avalos 
272940b44dSPeter Avalos 	/// The actual LZ-based decoder e.g. LZMA
282940b44dSPeter Avalos 	lzma_lz_decoder lz;
292940b44dSPeter Avalos 
302940b44dSPeter Avalos 	/// Next filter in the chain, if any. Note that LZMA and LZMA2 are
312940b44dSPeter Avalos 	/// only allowed as the last filter, but the long-range filter in
322940b44dSPeter Avalos 	/// future can be in the middle of the chain.
332940b44dSPeter Avalos 	lzma_next_coder next;
342940b44dSPeter Avalos 
352940b44dSPeter Avalos 	/// True if the next filter in the chain has returned LZMA_STREAM_END.
362940b44dSPeter Avalos 	bool next_finished;
372940b44dSPeter Avalos 
382940b44dSPeter Avalos 	/// True if the LZ decoder (e.g. LZMA) has detected end of payload
392940b44dSPeter Avalos 	/// marker. This may become true before next_finished becomes true.
402940b44dSPeter Avalos 	bool this_finished;
412940b44dSPeter Avalos 
422940b44dSPeter Avalos 	/// Temporary buffer needed when the LZ-based filter is not the last
432940b44dSPeter Avalos 	/// filter in the chain. The output of the next filter is first
442940b44dSPeter Avalos 	/// decoded into buffer[], which is then used as input for the actual
452940b44dSPeter Avalos 	/// LZ-based decoder.
462940b44dSPeter Avalos 	struct {
472940b44dSPeter Avalos 		size_t pos;
482940b44dSPeter Avalos 		size_t size;
492940b44dSPeter Avalos 		uint8_t buffer[LZMA_BUFFER_SIZE];
502940b44dSPeter Avalos 	} temp;
5146a2189dSzrj } lzma_coder;
522940b44dSPeter Avalos 
532940b44dSPeter Avalos 
542940b44dSPeter Avalos static void
lz_decoder_reset(lzma_coder * coder)552940b44dSPeter Avalos lz_decoder_reset(lzma_coder *coder)
562940b44dSPeter Avalos {
572940b44dSPeter Avalos 	coder->dict.pos = 0;
582940b44dSPeter Avalos 	coder->dict.full = 0;
592940b44dSPeter Avalos 	coder->dict.buf[coder->dict.size - 1] = '\0';
602940b44dSPeter Avalos 	coder->dict.need_reset = false;
612940b44dSPeter Avalos 	return;
622940b44dSPeter Avalos }
632940b44dSPeter Avalos 
642940b44dSPeter Avalos 
652940b44dSPeter Avalos static lzma_ret
decode_buffer(lzma_coder * coder,const uint8_t * restrict in,size_t * restrict in_pos,size_t in_size,uint8_t * restrict out,size_t * restrict out_pos,size_t out_size)662940b44dSPeter Avalos decode_buffer(lzma_coder *coder,
672940b44dSPeter Avalos 		const uint8_t *restrict in, size_t *restrict in_pos,
682940b44dSPeter Avalos 		size_t in_size, uint8_t *restrict out,
692940b44dSPeter Avalos 		size_t *restrict out_pos, size_t out_size)
702940b44dSPeter Avalos {
712940b44dSPeter Avalos 	while (true) {
722940b44dSPeter Avalos 		// Wrap the dictionary if needed.
732940b44dSPeter Avalos 		if (coder->dict.pos == coder->dict.size)
742940b44dSPeter Avalos 			coder->dict.pos = 0;
752940b44dSPeter Avalos 
762940b44dSPeter Avalos 		// Store the current dictionary position. It is needed to know
772940b44dSPeter Avalos 		// where to start copying to the out[] buffer.
782940b44dSPeter Avalos 		const size_t dict_start = coder->dict.pos;
792940b44dSPeter Avalos 
802940b44dSPeter Avalos 		// Calculate how much we allow coder->lz.code() to decode.
812940b44dSPeter Avalos 		// It must not decode past the end of the dictionary
822940b44dSPeter Avalos 		// buffer, and we don't want it to decode more than is
832940b44dSPeter Avalos 		// actually needed to fill the out[] buffer.
842940b44dSPeter Avalos 		coder->dict.limit = coder->dict.pos
852940b44dSPeter Avalos 				+ my_min(out_size - *out_pos,
862940b44dSPeter Avalos 					coder->dict.size - coder->dict.pos);
872940b44dSPeter Avalos 
882940b44dSPeter Avalos 		// Call the coder->lz.code() to do the actual decoding.
892940b44dSPeter Avalos 		const lzma_ret ret = coder->lz.code(
902940b44dSPeter Avalos 				coder->lz.coder, &coder->dict,
912940b44dSPeter Avalos 				in, in_pos, in_size);
922940b44dSPeter Avalos 
932940b44dSPeter Avalos 		// Copy the decoded data from the dictionary to the out[]
94*e151908bSDaniel Fojt 		// buffer. Do it conditionally because out can be NULL
95*e151908bSDaniel Fojt 		// (in which case copy_size is always 0). Calling memcpy()
96*e151908bSDaniel Fojt 		// with a null-pointer is undefined even if the third
97*e151908bSDaniel Fojt 		// argument is 0.
982940b44dSPeter Avalos 		const size_t copy_size = coder->dict.pos - dict_start;
992940b44dSPeter Avalos 		assert(copy_size <= out_size - *out_pos);
100*e151908bSDaniel Fojt 
101*e151908bSDaniel Fojt 		if (copy_size > 0)
1022940b44dSPeter Avalos 			memcpy(out + *out_pos, coder->dict.buf + dict_start,
1032940b44dSPeter Avalos 					copy_size);
104*e151908bSDaniel Fojt 
1052940b44dSPeter Avalos 		*out_pos += copy_size;
1062940b44dSPeter Avalos 
1072940b44dSPeter Avalos 		// Reset the dictionary if so requested by coder->lz.code().
1082940b44dSPeter Avalos 		if (coder->dict.need_reset) {
1092940b44dSPeter Avalos 			lz_decoder_reset(coder);
1102940b44dSPeter Avalos 
1112940b44dSPeter Avalos 			// Since we reset dictionary, we don't check if
1122940b44dSPeter Avalos 			// dictionary became full.
1132940b44dSPeter Avalos 			if (ret != LZMA_OK || *out_pos == out_size)
1142940b44dSPeter Avalos 				return ret;
1152940b44dSPeter Avalos 		} else {
1162940b44dSPeter Avalos 			// Return if everything got decoded or an error
1172940b44dSPeter Avalos 			// occurred, or if there's no more data to decode.
1182940b44dSPeter Avalos 			//
1192940b44dSPeter Avalos 			// Note that detecting if there's something to decode
1202940b44dSPeter Avalos 			// is done by looking if dictionary become full
1212940b44dSPeter Avalos 			// instead of looking if *in_pos == in_size. This
1222940b44dSPeter Avalos 			// is because it is possible that all the input was
1232940b44dSPeter Avalos 			// consumed already but some data is pending to be
1242940b44dSPeter Avalos 			// written to the dictionary.
1252940b44dSPeter Avalos 			if (ret != LZMA_OK || *out_pos == out_size
1262940b44dSPeter Avalos 					|| coder->dict.pos < coder->dict.size)
1272940b44dSPeter Avalos 				return ret;
1282940b44dSPeter Avalos 		}
1292940b44dSPeter Avalos 	}
1302940b44dSPeter Avalos }
1312940b44dSPeter Avalos 
1322940b44dSPeter Avalos 
1332940b44dSPeter Avalos static lzma_ret
lz_decode(void * coder_ptr,const lzma_allocator * allocator,const uint8_t * restrict in,size_t * restrict in_pos,size_t in_size,uint8_t * restrict out,size_t * restrict out_pos,size_t out_size,lzma_action action)134*e151908bSDaniel Fojt lz_decode(void *coder_ptr, const lzma_allocator *allocator,
1352940b44dSPeter Avalos 		const uint8_t *restrict in, size_t *restrict in_pos,
1362940b44dSPeter Avalos 		size_t in_size, uint8_t *restrict out,
1372940b44dSPeter Avalos 		size_t *restrict out_pos, size_t out_size,
1382940b44dSPeter Avalos 		lzma_action action)
1392940b44dSPeter Avalos {
14046a2189dSzrj 	lzma_coder *coder = coder_ptr;
14146a2189dSzrj 
1422940b44dSPeter Avalos 	if (coder->next.code == NULL)
1432940b44dSPeter Avalos 		return decode_buffer(coder, in, in_pos, in_size,
1442940b44dSPeter Avalos 				out, out_pos, out_size);
1452940b44dSPeter Avalos 
1462940b44dSPeter Avalos 	// We aren't the last coder in the chain, we need to decode
1472940b44dSPeter Avalos 	// our input to a temporary buffer.
1482940b44dSPeter Avalos 	while (*out_pos < out_size) {
1492940b44dSPeter Avalos 		// Fill the temporary buffer if it is empty.
1502940b44dSPeter Avalos 		if (!coder->next_finished
1512940b44dSPeter Avalos 				&& coder->temp.pos == coder->temp.size) {
1522940b44dSPeter Avalos 			coder->temp.pos = 0;
1532940b44dSPeter Avalos 			coder->temp.size = 0;
1542940b44dSPeter Avalos 
1552940b44dSPeter Avalos 			const lzma_ret ret = coder->next.code(
1562940b44dSPeter Avalos 					coder->next.coder,
1572940b44dSPeter Avalos 					allocator, in, in_pos, in_size,
1582940b44dSPeter Avalos 					coder->temp.buffer, &coder->temp.size,
1592940b44dSPeter Avalos 					LZMA_BUFFER_SIZE, action);
1602940b44dSPeter Avalos 
1612940b44dSPeter Avalos 			if (ret == LZMA_STREAM_END)
1622940b44dSPeter Avalos 				coder->next_finished = true;
1632940b44dSPeter Avalos 			else if (ret != LZMA_OK || coder->temp.size == 0)
1642940b44dSPeter Avalos 				return ret;
1652940b44dSPeter Avalos 		}
1662940b44dSPeter Avalos 
1672940b44dSPeter Avalos 		if (coder->this_finished) {
1682940b44dSPeter Avalos 			if (coder->temp.size != 0)
1692940b44dSPeter Avalos 				return LZMA_DATA_ERROR;
1702940b44dSPeter Avalos 
1712940b44dSPeter Avalos 			if (coder->next_finished)
1722940b44dSPeter Avalos 				return LZMA_STREAM_END;
1732940b44dSPeter Avalos 
1742940b44dSPeter Avalos 			return LZMA_OK;
1752940b44dSPeter Avalos 		}
1762940b44dSPeter Avalos 
1772940b44dSPeter Avalos 		const lzma_ret ret = decode_buffer(coder, coder->temp.buffer,
1782940b44dSPeter Avalos 				&coder->temp.pos, coder->temp.size,
1792940b44dSPeter Avalos 				out, out_pos, out_size);
1802940b44dSPeter Avalos 
1812940b44dSPeter Avalos 		if (ret == LZMA_STREAM_END)
1822940b44dSPeter Avalos 			coder->this_finished = true;
1832940b44dSPeter Avalos 		else if (ret != LZMA_OK)
1842940b44dSPeter Avalos 			return ret;
1852940b44dSPeter Avalos 		else if (coder->next_finished && *out_pos < out_size)
1862940b44dSPeter Avalos 			return LZMA_DATA_ERROR;
1872940b44dSPeter Avalos 	}
1882940b44dSPeter Avalos 
1892940b44dSPeter Avalos 	return LZMA_OK;
1902940b44dSPeter Avalos }
1912940b44dSPeter Avalos 
1922940b44dSPeter Avalos 
1932940b44dSPeter Avalos static void
lz_decoder_end(void * coder_ptr,const lzma_allocator * allocator)19446a2189dSzrj lz_decoder_end(void *coder_ptr, const lzma_allocator *allocator)
1952940b44dSPeter Avalos {
19646a2189dSzrj 	lzma_coder *coder = coder_ptr;
19746a2189dSzrj 
1982940b44dSPeter Avalos 	lzma_next_end(&coder->next, allocator);
1992940b44dSPeter Avalos 	lzma_free(coder->dict.buf, allocator);
2002940b44dSPeter Avalos 
2012940b44dSPeter Avalos 	if (coder->lz.end != NULL)
2022940b44dSPeter Avalos 		coder->lz.end(coder->lz.coder, allocator);
2032940b44dSPeter Avalos 	else
2042940b44dSPeter Avalos 		lzma_free(coder->lz.coder, allocator);
2052940b44dSPeter Avalos 
2062940b44dSPeter Avalos 	lzma_free(coder, allocator);
2072940b44dSPeter Avalos 	return;
2082940b44dSPeter Avalos }
2092940b44dSPeter Avalos 
2102940b44dSPeter Avalos 
2112940b44dSPeter Avalos extern lzma_ret
lzma_lz_decoder_init(lzma_next_coder * next,const lzma_allocator * allocator,const lzma_filter_info * filters,lzma_ret (* lz_init)(lzma_lz_decoder * lz,const lzma_allocator * allocator,const void * options,lzma_lz_options * lz_options))21215ab8c86SJohn Marino lzma_lz_decoder_init(lzma_next_coder *next, const lzma_allocator *allocator,
2132940b44dSPeter Avalos 		const lzma_filter_info *filters,
2142940b44dSPeter Avalos 		lzma_ret (*lz_init)(lzma_lz_decoder *lz,
21515ab8c86SJohn Marino 			const lzma_allocator *allocator, const void *options,
2162940b44dSPeter Avalos 			lzma_lz_options *lz_options))
2172940b44dSPeter Avalos {
2182940b44dSPeter Avalos 	// Allocate the base structure if it isn't already allocated.
21946a2189dSzrj 	lzma_coder *coder = next->coder;
22046a2189dSzrj 	if (coder == NULL) {
22146a2189dSzrj 		coder = lzma_alloc(sizeof(lzma_coder), allocator);
22246a2189dSzrj 		if (coder == NULL)
2232940b44dSPeter Avalos 			return LZMA_MEM_ERROR;
2242940b44dSPeter Avalos 
22546a2189dSzrj 		next->coder = coder;
2262940b44dSPeter Avalos 		next->code = &lz_decode;
2272940b44dSPeter Avalos 		next->end = &lz_decoder_end;
2282940b44dSPeter Avalos 
22946a2189dSzrj 		coder->dict.buf = NULL;
23046a2189dSzrj 		coder->dict.size = 0;
23146a2189dSzrj 		coder->lz = LZMA_LZ_DECODER_INIT;
23246a2189dSzrj 		coder->next = LZMA_NEXT_CODER_INIT;
2332940b44dSPeter Avalos 	}
2342940b44dSPeter Avalos 
2352940b44dSPeter Avalos 	// Allocate and initialize the LZ-based decoder. It will also give
2362940b44dSPeter Avalos 	// us the dictionary size.
2372940b44dSPeter Avalos 	lzma_lz_options lz_options;
23846a2189dSzrj 	return_if_error(lz_init(&coder->lz, allocator,
2392940b44dSPeter Avalos 			filters[0].options, &lz_options));
2402940b44dSPeter Avalos 
2412940b44dSPeter Avalos 	// If the dictionary size is very small, increase it to 4096 bytes.
2422940b44dSPeter Avalos 	// This is to prevent constant wrapping of the dictionary, which
2432940b44dSPeter Avalos 	// would slow things down. The downside is that since we don't check
2442940b44dSPeter Avalos 	// separately for the real dictionary size, we may happily accept
2452940b44dSPeter Avalos 	// corrupt files.
2462940b44dSPeter Avalos 	if (lz_options.dict_size < 4096)
2472940b44dSPeter Avalos 		lz_options.dict_size = 4096;
2482940b44dSPeter Avalos 
249*e151908bSDaniel Fojt 	// Make dictionary size a multiple of 16. Some LZ-based decoders like
2502940b44dSPeter Avalos 	// LZMA use the lowest bits lzma_dict.pos to know the alignment of the
2512940b44dSPeter Avalos 	// data. Aligned buffer is also good when memcpying from the
2522940b44dSPeter Avalos 	// dictionary to the output buffer, since applications are
2532940b44dSPeter Avalos 	// recommended to give aligned buffers to liblzma.
2542940b44dSPeter Avalos 	//
2552940b44dSPeter Avalos 	// Avoid integer overflow.
2562940b44dSPeter Avalos 	if (lz_options.dict_size > SIZE_MAX - 15)
2572940b44dSPeter Avalos 		return LZMA_MEM_ERROR;
2582940b44dSPeter Avalos 
2592940b44dSPeter Avalos 	lz_options.dict_size = (lz_options.dict_size + 15) & ~((size_t)(15));
2602940b44dSPeter Avalos 
2612940b44dSPeter Avalos 	// Allocate and initialize the dictionary.
26246a2189dSzrj 	if (coder->dict.size != lz_options.dict_size) {
26346a2189dSzrj 		lzma_free(coder->dict.buf, allocator);
26446a2189dSzrj 		coder->dict.buf
2652940b44dSPeter Avalos 				= lzma_alloc(lz_options.dict_size, allocator);
26646a2189dSzrj 		if (coder->dict.buf == NULL)
2672940b44dSPeter Avalos 			return LZMA_MEM_ERROR;
2682940b44dSPeter Avalos 
26946a2189dSzrj 		coder->dict.size = lz_options.dict_size;
2702940b44dSPeter Avalos 	}
2712940b44dSPeter Avalos 
2722940b44dSPeter Avalos 	lz_decoder_reset(next->coder);
2732940b44dSPeter Avalos 
2742940b44dSPeter Avalos 	// Use the preset dictionary if it was given to us.
2752940b44dSPeter Avalos 	if (lz_options.preset_dict != NULL
2762940b44dSPeter Avalos 			&& lz_options.preset_dict_size > 0) {
2772940b44dSPeter Avalos 		// If the preset dictionary is bigger than the actual
2782940b44dSPeter Avalos 		// dictionary, copy only the tail.
2792940b44dSPeter Avalos 		const size_t copy_size = my_min(lz_options.preset_dict_size,
2802940b44dSPeter Avalos 				lz_options.dict_size);
2812940b44dSPeter Avalos 		const size_t offset = lz_options.preset_dict_size - copy_size;
28246a2189dSzrj 		memcpy(coder->dict.buf, lz_options.preset_dict + offset,
2832940b44dSPeter Avalos 				copy_size);
28446a2189dSzrj 		coder->dict.pos = copy_size;
28546a2189dSzrj 		coder->dict.full = copy_size;
2862940b44dSPeter Avalos 	}
2872940b44dSPeter Avalos 
2882940b44dSPeter Avalos 	// Miscellaneous initializations
28946a2189dSzrj 	coder->next_finished = false;
29046a2189dSzrj 	coder->this_finished = false;
29146a2189dSzrj 	coder->temp.pos = 0;
29246a2189dSzrj 	coder->temp.size = 0;
2932940b44dSPeter Avalos 
2942940b44dSPeter Avalos 	// Initialize the next filter in the chain, if any.
29546a2189dSzrj 	return lzma_next_filter_init(&coder->next, allocator, filters + 1);
2962940b44dSPeter Avalos }
2972940b44dSPeter Avalos 
2982940b44dSPeter Avalos 
2992940b44dSPeter Avalos extern uint64_t
lzma_lz_decoder_memusage(size_t dictionary_size)3002940b44dSPeter Avalos lzma_lz_decoder_memusage(size_t dictionary_size)
3012940b44dSPeter Avalos {
3022940b44dSPeter Avalos 	return sizeof(lzma_coder) + (uint64_t)(dictionary_size);
3032940b44dSPeter Avalos }
3042940b44dSPeter Avalos 
3052940b44dSPeter Avalos 
3062940b44dSPeter Avalos extern void
lzma_lz_decoder_uncompressed(void * coder_ptr,lzma_vli uncompressed_size)30746a2189dSzrj lzma_lz_decoder_uncompressed(void *coder_ptr, lzma_vli uncompressed_size)
3082940b44dSPeter Avalos {
30946a2189dSzrj 	lzma_coder *coder = coder_ptr;
3102940b44dSPeter Avalos 	coder->lz.set_uncompressed(coder->lz.coder, uncompressed_size);
3112940b44dSPeter Avalos }
312