xref: /minix3/external/public-domain/xz/dist/src/liblzma/simple/simple_coder.c (revision 0a6a1f1d05b60e214de2f05a7310ddd1f0e590e7)
15a645f22SBen Gras ///////////////////////////////////////////////////////////////////////////////
25a645f22SBen Gras //
35a645f22SBen Gras /// \file       simple_coder.c
45a645f22SBen Gras /// \brief      Wrapper for simple filters
55a645f22SBen Gras ///
65a645f22SBen Gras /// Simple filters don't change the size of the data i.e. number of bytes
75a645f22SBen Gras /// in equals the number of bytes out.
85a645f22SBen Gras //
95a645f22SBen Gras //  Author:     Lasse Collin
105a645f22SBen Gras //
115a645f22SBen Gras //  This file has been put into the public domain.
125a645f22SBen Gras //  You can do whatever you want with this file.
135a645f22SBen Gras //
145a645f22SBen Gras ///////////////////////////////////////////////////////////////////////////////
155a645f22SBen Gras 
165a645f22SBen Gras #include "simple_private.h"
175a645f22SBen Gras 
185a645f22SBen Gras 
195a645f22SBen Gras /// Copied or encodes/decodes more data to out[].
205a645f22SBen Gras static lzma_ret
copy_or_code(lzma_coder * coder,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)21*0a6a1f1dSLionel Sambuc copy_or_code(lzma_coder *coder, const lzma_allocator *allocator,
225a645f22SBen Gras 		const uint8_t *restrict in, size_t *restrict in_pos,
235a645f22SBen Gras 		size_t in_size, uint8_t *restrict out,
245a645f22SBen Gras 		size_t *restrict out_pos, size_t out_size, lzma_action action)
255a645f22SBen Gras {
265a645f22SBen Gras 	assert(!coder->end_was_reached);
275a645f22SBen Gras 
285a645f22SBen Gras 	if (coder->next.code == NULL) {
295a645f22SBen Gras 		lzma_bufcpy(in, in_pos, in_size, out, out_pos, out_size);
305a645f22SBen Gras 
315a645f22SBen Gras 		// Check if end of stream was reached.
325a645f22SBen Gras 		if (coder->is_encoder && action == LZMA_FINISH
335a645f22SBen Gras 				&& *in_pos == in_size)
345a645f22SBen Gras 			coder->end_was_reached = true;
355a645f22SBen Gras 
365a645f22SBen Gras 	} else {
375a645f22SBen Gras 		// Call the next coder in the chain to provide us some data.
385a645f22SBen Gras 		const lzma_ret ret = coder->next.code(
395a645f22SBen Gras 				coder->next.coder, allocator,
405a645f22SBen Gras 				in, in_pos, in_size,
415a645f22SBen Gras 				out, out_pos, out_size, action);
425a645f22SBen Gras 
435a645f22SBen Gras 		if (ret == LZMA_STREAM_END) {
445a645f22SBen Gras 			assert(!coder->is_encoder
455a645f22SBen Gras 					|| action == LZMA_FINISH);
465a645f22SBen Gras 			coder->end_was_reached = true;
475a645f22SBen Gras 
485a645f22SBen Gras 		} else if (ret != LZMA_OK) {
495a645f22SBen Gras 			return ret;
505a645f22SBen Gras 		}
515a645f22SBen Gras 	}
525a645f22SBen Gras 
535a645f22SBen Gras 	return LZMA_OK;
545a645f22SBen Gras }
555a645f22SBen Gras 
565a645f22SBen Gras 
575a645f22SBen Gras static size_t
call_filter(lzma_coder * coder,uint8_t * buffer,size_t size)585a645f22SBen Gras call_filter(lzma_coder *coder, uint8_t *buffer, size_t size)
595a645f22SBen Gras {
605a645f22SBen Gras 	const size_t filtered = coder->filter(coder->simple,
615a645f22SBen Gras 			coder->now_pos, coder->is_encoder,
625a645f22SBen Gras 			buffer, size);
635a645f22SBen Gras 	coder->now_pos += filtered;
645a645f22SBen Gras 	return filtered;
655a645f22SBen Gras }
665a645f22SBen Gras 
675a645f22SBen Gras 
685a645f22SBen Gras static lzma_ret
simple_code(lzma_coder * coder,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)69*0a6a1f1dSLionel Sambuc simple_code(lzma_coder *coder, const lzma_allocator *allocator,
705a645f22SBen Gras 		const uint8_t *restrict in, size_t *restrict in_pos,
715a645f22SBen Gras 		size_t in_size, uint8_t *restrict out,
725a645f22SBen Gras 		size_t *restrict out_pos, size_t out_size, lzma_action action)
735a645f22SBen Gras {
745a645f22SBen Gras 	// TODO: Add partial support for LZMA_SYNC_FLUSH. We can support it
755a645f22SBen Gras 	// in cases when the filter is able to filter everything. With most
765a645f22SBen Gras 	// simple filters it can be done at offset that is a multiple of 2,
775a645f22SBen Gras 	// 4, or 16. With x86 filter, it needs good luck, and thus cannot
785a645f22SBen Gras 	// be made to work predictably.
795a645f22SBen Gras 	if (action == LZMA_SYNC_FLUSH)
805a645f22SBen Gras 		return LZMA_OPTIONS_ERROR;
815a645f22SBen Gras 
825a645f22SBen Gras 	// Flush already filtered data from coder->buffer[] to out[].
835a645f22SBen Gras 	if (coder->pos < coder->filtered) {
845a645f22SBen Gras 		lzma_bufcpy(coder->buffer, &coder->pos, coder->filtered,
855a645f22SBen Gras 				out, out_pos, out_size);
865a645f22SBen Gras 
875a645f22SBen Gras 		// If we couldn't flush all the filtered data, return to
885a645f22SBen Gras 		// application immediately.
895a645f22SBen Gras 		if (coder->pos < coder->filtered)
905a645f22SBen Gras 			return LZMA_OK;
915a645f22SBen Gras 
925a645f22SBen Gras 		if (coder->end_was_reached) {
935a645f22SBen Gras 			assert(coder->filtered == coder->size);
945a645f22SBen Gras 			return LZMA_STREAM_END;
955a645f22SBen Gras 		}
965a645f22SBen Gras 	}
975a645f22SBen Gras 
985a645f22SBen Gras 	// If we get here, there is no filtered data left in the buffer.
995a645f22SBen Gras 	coder->filtered = 0;
1005a645f22SBen Gras 
1015a645f22SBen Gras 	assert(!coder->end_was_reached);
1025a645f22SBen Gras 
1035a645f22SBen Gras 	// If there is more output space left than there is unfiltered data
1045a645f22SBen Gras 	// in coder->buffer[], flush coder->buffer[] to out[], and copy/code
1055a645f22SBen Gras 	// more data to out[] hopefully filling it completely. Then filter
1065a645f22SBen Gras 	// the data in out[]. This step is where most of the data gets
1075a645f22SBen Gras 	// filtered if the buffer sizes used by the application are reasonable.
1085a645f22SBen Gras 	const size_t out_avail = out_size - *out_pos;
1095a645f22SBen Gras 	const size_t buf_avail = coder->size - coder->pos;
110*0a6a1f1dSLionel Sambuc 	if (out_avail > buf_avail || buf_avail == 0) {
1115a645f22SBen Gras 		// Store the old position so that we know from which byte
1125a645f22SBen Gras 		// to start filtering.
1135a645f22SBen Gras 		const size_t out_start = *out_pos;
1145a645f22SBen Gras 
1155a645f22SBen Gras 		// Flush data from coder->buffer[] to out[], but don't reset
1165a645f22SBen Gras 		// coder->pos and coder->size yet. This way the coder can be
1175a645f22SBen Gras 		// restarted if the next filter in the chain returns e.g.
1185a645f22SBen Gras 		// LZMA_MEM_ERROR.
1195a645f22SBen Gras 		memcpy(out + *out_pos, coder->buffer + coder->pos, buf_avail);
1205a645f22SBen Gras 		*out_pos += buf_avail;
1215a645f22SBen Gras 
1225a645f22SBen Gras 		// Copy/Encode/Decode more data to out[].
1235a645f22SBen Gras 		{
1245a645f22SBen Gras 			const lzma_ret ret = copy_or_code(coder, allocator,
1255a645f22SBen Gras 					in, in_pos, in_size,
1265a645f22SBen Gras 					out, out_pos, out_size, action);
1275a645f22SBen Gras 			assert(ret != LZMA_STREAM_END);
1285a645f22SBen Gras 			if (ret != LZMA_OK)
1295a645f22SBen Gras 				return ret;
1305a645f22SBen Gras 		}
1315a645f22SBen Gras 
1325a645f22SBen Gras 		// Filter out[].
1335a645f22SBen Gras 		const size_t size = *out_pos - out_start;
1345a645f22SBen Gras 		const size_t filtered = call_filter(
1355a645f22SBen Gras 				coder, out + out_start, size);
1365a645f22SBen Gras 
1375a645f22SBen Gras 		const size_t unfiltered = size - filtered;
1385a645f22SBen Gras 		assert(unfiltered <= coder->allocated / 2);
1395a645f22SBen Gras 
1405a645f22SBen Gras 		// Now we can update coder->pos and coder->size, because
1415a645f22SBen Gras 		// the next coder in the chain (if any) was successful.
1425a645f22SBen Gras 		coder->pos = 0;
1435a645f22SBen Gras 		coder->size = unfiltered;
1445a645f22SBen Gras 
1455a645f22SBen Gras 		if (coder->end_was_reached) {
1465a645f22SBen Gras 			// The last byte has been copied to out[] already.
1475a645f22SBen Gras 			// They are left as is.
1485a645f22SBen Gras 			coder->size = 0;
1495a645f22SBen Gras 
1505a645f22SBen Gras 		} else if (unfiltered > 0) {
1515a645f22SBen Gras 			// There is unfiltered data left in out[]. Copy it to
1525a645f22SBen Gras 			// coder->buffer[] and rewind *out_pos appropriately.
1535a645f22SBen Gras 			*out_pos -= unfiltered;
1545a645f22SBen Gras 			memcpy(coder->buffer, out + *out_pos, unfiltered);
1555a645f22SBen Gras 		}
1565a645f22SBen Gras 	} else if (coder->pos > 0) {
1575a645f22SBen Gras 		memmove(coder->buffer, coder->buffer + coder->pos, buf_avail);
1585a645f22SBen Gras 		coder->size -= coder->pos;
1595a645f22SBen Gras 		coder->pos = 0;
1605a645f22SBen Gras 	}
1615a645f22SBen Gras 
1625a645f22SBen Gras 	assert(coder->pos == 0);
1635a645f22SBen Gras 
1645a645f22SBen Gras 	// If coder->buffer[] isn't empty, try to fill it by copying/decoding
1655a645f22SBen Gras 	// more data. Then filter coder->buffer[] and copy the successfully
1665a645f22SBen Gras 	// filtered data to out[]. It is probable, that some filtered and
1675a645f22SBen Gras 	// unfiltered data will be left to coder->buffer[].
1685a645f22SBen Gras 	if (coder->size > 0) {
1695a645f22SBen Gras 		{
1705a645f22SBen Gras 			const lzma_ret ret = copy_or_code(coder, allocator,
1715a645f22SBen Gras 					in, in_pos, in_size,
1725a645f22SBen Gras 					coder->buffer, &coder->size,
1735a645f22SBen Gras 					coder->allocated, action);
1745a645f22SBen Gras 			assert(ret != LZMA_STREAM_END);
1755a645f22SBen Gras 			if (ret != LZMA_OK)
1765a645f22SBen Gras 				return ret;
1775a645f22SBen Gras 		}
1785a645f22SBen Gras 
1795a645f22SBen Gras 		coder->filtered = call_filter(
1805a645f22SBen Gras 				coder, coder->buffer, coder->size);
1815a645f22SBen Gras 
1825a645f22SBen Gras 		// Everything is considered to be filtered if coder->buffer[]
1835a645f22SBen Gras 		// contains the last bytes of the data.
1845a645f22SBen Gras 		if (coder->end_was_reached)
1855a645f22SBen Gras 			coder->filtered = coder->size;
1865a645f22SBen Gras 
1875a645f22SBen Gras 		// Flush as much as possible.
1885a645f22SBen Gras 		lzma_bufcpy(coder->buffer, &coder->pos, coder->filtered,
1895a645f22SBen Gras 				out, out_pos, out_size);
1905a645f22SBen Gras 	}
1915a645f22SBen Gras 
1925a645f22SBen Gras 	// Check if we got everything done.
1935a645f22SBen Gras 	if (coder->end_was_reached && coder->pos == coder->size)
1945a645f22SBen Gras 		return LZMA_STREAM_END;
1955a645f22SBen Gras 
1965a645f22SBen Gras 	return LZMA_OK;
1975a645f22SBen Gras }
1985a645f22SBen Gras 
1995a645f22SBen Gras 
2005a645f22SBen Gras static void
simple_coder_end(lzma_coder * coder,const lzma_allocator * allocator)201*0a6a1f1dSLionel Sambuc simple_coder_end(lzma_coder *coder, const lzma_allocator *allocator)
2025a645f22SBen Gras {
2035a645f22SBen Gras 	lzma_next_end(&coder->next, allocator);
2045a645f22SBen Gras 	lzma_free(coder->simple, allocator);
2055a645f22SBen Gras 	lzma_free(coder, allocator);
2065a645f22SBen Gras 	return;
2075a645f22SBen Gras }
2085a645f22SBen Gras 
2095a645f22SBen Gras 
2105a645f22SBen Gras static lzma_ret
simple_coder_update(lzma_coder * coder,const lzma_allocator * allocator,const lzma_filter * filters_null lzma_attribute ((__unused__)),const lzma_filter * reversed_filters)211*0a6a1f1dSLionel Sambuc simple_coder_update(lzma_coder *coder, const lzma_allocator *allocator,
21211be35a1SLionel Sambuc 		const lzma_filter *filters_null lzma_attribute((__unused__)),
2135a645f22SBen Gras 		const lzma_filter *reversed_filters)
2145a645f22SBen Gras {
2155a645f22SBen Gras 	// No update support, just call the next filter in the chain.
2165a645f22SBen Gras 	return lzma_next_filter_update(
2175a645f22SBen Gras 			&coder->next, allocator, reversed_filters + 1);
2185a645f22SBen Gras }
2195a645f22SBen Gras 
2205a645f22SBen Gras 
2215a645f22SBen Gras extern lzma_ret
lzma_simple_coder_init(lzma_next_coder * next,const lzma_allocator * allocator,const lzma_filter_info * filters,size_t (* filter)(lzma_simple * simple,uint32_t now_pos,bool is_encoder,uint8_t * buffer,size_t size),size_t simple_size,size_t unfiltered_max,uint32_t alignment,bool is_encoder)222*0a6a1f1dSLionel Sambuc lzma_simple_coder_init(lzma_next_coder *next, const lzma_allocator *allocator,
2235a645f22SBen Gras 		const lzma_filter_info *filters,
2245a645f22SBen Gras 		size_t (*filter)(lzma_simple *simple, uint32_t now_pos,
2255a645f22SBen Gras 			bool is_encoder, uint8_t *buffer, size_t size),
2265a645f22SBen Gras 		size_t simple_size, size_t unfiltered_max,
2275a645f22SBen Gras 		uint32_t alignment, bool is_encoder)
2285a645f22SBen Gras {
2295a645f22SBen Gras 	// Allocate memory for the lzma_coder structure if needed.
2305a645f22SBen Gras 	if (next->coder == NULL) {
2315a645f22SBen Gras 		// Here we allocate space also for the temporary buffer. We
2325a645f22SBen Gras 		// need twice the size of unfiltered_max, because then it
2335a645f22SBen Gras 		// is always possible to filter at least unfiltered_max bytes
2345a645f22SBen Gras 		// more data in coder->buffer[] if it can be filled completely.
2355a645f22SBen Gras 		next->coder = lzma_alloc(sizeof(lzma_coder)
2365a645f22SBen Gras 				+ 2 * unfiltered_max, allocator);
2375a645f22SBen Gras 		if (next->coder == NULL)
2385a645f22SBen Gras 			return LZMA_MEM_ERROR;
2395a645f22SBen Gras 
2405a645f22SBen Gras 		next->code = &simple_code;
2415a645f22SBen Gras 		next->end = &simple_coder_end;
2425a645f22SBen Gras 		next->update = &simple_coder_update;
2435a645f22SBen Gras 
2445a645f22SBen Gras 		next->coder->next = LZMA_NEXT_CODER_INIT;
2455a645f22SBen Gras 		next->coder->filter = filter;
2465a645f22SBen Gras 		next->coder->allocated = 2 * unfiltered_max;
2475a645f22SBen Gras 
2485a645f22SBen Gras 		// Allocate memory for filter-specific data structure.
2495a645f22SBen Gras 		if (simple_size > 0) {
2505a645f22SBen Gras 			next->coder->simple = lzma_alloc(
2515a645f22SBen Gras 					simple_size, allocator);
2525a645f22SBen Gras 			if (next->coder->simple == NULL)
2535a645f22SBen Gras 				return LZMA_MEM_ERROR;
2545a645f22SBen Gras 		} else {
2555a645f22SBen Gras 			next->coder->simple = NULL;
2565a645f22SBen Gras 		}
2575a645f22SBen Gras 	}
2585a645f22SBen Gras 
2595a645f22SBen Gras 	if (filters[0].options != NULL) {
2605a645f22SBen Gras 		const lzma_options_bcj *simple = filters[0].options;
2615a645f22SBen Gras 		next->coder->now_pos = simple->start_offset;
2625a645f22SBen Gras 		if (next->coder->now_pos & (alignment - 1))
2635a645f22SBen Gras 			return LZMA_OPTIONS_ERROR;
2645a645f22SBen Gras 	} else {
2655a645f22SBen Gras 		next->coder->now_pos = 0;
2665a645f22SBen Gras 	}
2675a645f22SBen Gras 
2685a645f22SBen Gras 	// Reset variables.
2695a645f22SBen Gras 	next->coder->is_encoder = is_encoder;
2705a645f22SBen Gras 	next->coder->end_was_reached = false;
2715a645f22SBen Gras 	next->coder->pos = 0;
2725a645f22SBen Gras 	next->coder->filtered = 0;
2735a645f22SBen Gras 	next->coder->size = 0;
2745a645f22SBen Gras 
2755a645f22SBen Gras 	return lzma_next_filter_init(
2765a645f22SBen Gras 			&next->coder->next, allocator, filters + 1);
2775a645f22SBen Gras }
278