xref: /freebsd/contrib/xz/src/liblzma/simple/simple_coder.c (revision 1456f0f9681bbd7fdae7b683553f6c7491508c4e)
181ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
281ad8388SMartin Matuska //
381ad8388SMartin Matuska /// \file       simple_coder.c
481ad8388SMartin Matuska /// \brief      Wrapper for simple filters
581ad8388SMartin Matuska ///
681ad8388SMartin Matuska /// Simple filters don't change the size of the data i.e. number of bytes
781ad8388SMartin Matuska /// in equals the number of bytes out.
881ad8388SMartin Matuska //
981ad8388SMartin Matuska //  Author:     Lasse Collin
1081ad8388SMartin Matuska //
1181ad8388SMartin Matuska //  This file has been put into the public domain.
1281ad8388SMartin Matuska //  You can do whatever you want with this file.
1381ad8388SMartin Matuska //
1481ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
1581ad8388SMartin Matuska 
1681ad8388SMartin Matuska #include "simple_private.h"
1781ad8388SMartin Matuska 
1881ad8388SMartin Matuska 
1981ad8388SMartin Matuska /// Copied or encodes/decodes more data to out[].
2081ad8388SMartin Matuska static lzma_ret
21*1456f0f9SXin LI copy_or_code(lzma_simple_coder *coder, const lzma_allocator *allocator,
2281ad8388SMartin Matuska 		const uint8_t *restrict in, size_t *restrict in_pos,
2381ad8388SMartin Matuska 		size_t in_size, uint8_t *restrict out,
2481ad8388SMartin Matuska 		size_t *restrict out_pos, size_t out_size, lzma_action action)
2581ad8388SMartin Matuska {
2681ad8388SMartin Matuska 	assert(!coder->end_was_reached);
2781ad8388SMartin Matuska 
2881ad8388SMartin Matuska 	if (coder->next.code == NULL) {
2981ad8388SMartin Matuska 		lzma_bufcpy(in, in_pos, in_size, out, out_pos, out_size);
3081ad8388SMartin Matuska 
3181ad8388SMartin Matuska 		// Check if end of stream was reached.
3281ad8388SMartin Matuska 		if (coder->is_encoder && action == LZMA_FINISH
3381ad8388SMartin Matuska 				&& *in_pos == in_size)
3481ad8388SMartin Matuska 			coder->end_was_reached = true;
3581ad8388SMartin Matuska 
3681ad8388SMartin Matuska 	} else {
3781ad8388SMartin Matuska 		// Call the next coder in the chain to provide us some data.
3881ad8388SMartin Matuska 		const lzma_ret ret = coder->next.code(
3981ad8388SMartin Matuska 				coder->next.coder, allocator,
4081ad8388SMartin Matuska 				in, in_pos, in_size,
4181ad8388SMartin Matuska 				out, out_pos, out_size, action);
4281ad8388SMartin Matuska 
4381ad8388SMartin Matuska 		if (ret == LZMA_STREAM_END) {
4481ad8388SMartin Matuska 			assert(!coder->is_encoder
4581ad8388SMartin Matuska 					|| action == LZMA_FINISH);
4681ad8388SMartin Matuska 			coder->end_was_reached = true;
4781ad8388SMartin Matuska 
4881ad8388SMartin Matuska 		} else if (ret != LZMA_OK) {
4981ad8388SMartin Matuska 			return ret;
5081ad8388SMartin Matuska 		}
5181ad8388SMartin Matuska 	}
5281ad8388SMartin Matuska 
5381ad8388SMartin Matuska 	return LZMA_OK;
5481ad8388SMartin Matuska }
5581ad8388SMartin Matuska 
5681ad8388SMartin Matuska 
5781ad8388SMartin Matuska static size_t
58*1456f0f9SXin LI call_filter(lzma_simple_coder *coder, uint8_t *buffer, size_t size)
5981ad8388SMartin Matuska {
6081ad8388SMartin Matuska 	const size_t filtered = coder->filter(coder->simple,
6181ad8388SMartin Matuska 			coder->now_pos, coder->is_encoder,
6281ad8388SMartin Matuska 			buffer, size);
6381ad8388SMartin Matuska 	coder->now_pos += filtered;
6481ad8388SMartin Matuska 	return filtered;
6581ad8388SMartin Matuska }
6681ad8388SMartin Matuska 
6781ad8388SMartin Matuska 
6881ad8388SMartin Matuska static lzma_ret
69*1456f0f9SXin LI simple_code(void *coder_ptr, const lzma_allocator *allocator,
7081ad8388SMartin Matuska 		const uint8_t *restrict in, size_t *restrict in_pos,
7181ad8388SMartin Matuska 		size_t in_size, uint8_t *restrict out,
7281ad8388SMartin Matuska 		size_t *restrict out_pos, size_t out_size, lzma_action action)
7381ad8388SMartin Matuska {
74*1456f0f9SXin LI 	lzma_simple_coder *coder = coder_ptr;
75*1456f0f9SXin LI 
7681ad8388SMartin Matuska 	// TODO: Add partial support for LZMA_SYNC_FLUSH. We can support it
7781ad8388SMartin Matuska 	// in cases when the filter is able to filter everything. With most
7881ad8388SMartin Matuska 	// simple filters it can be done at offset that is a multiple of 2,
7981ad8388SMartin Matuska 	// 4, or 16. With x86 filter, it needs good luck, and thus cannot
8081ad8388SMartin Matuska 	// be made to work predictably.
8181ad8388SMartin Matuska 	if (action == LZMA_SYNC_FLUSH)
8281ad8388SMartin Matuska 		return LZMA_OPTIONS_ERROR;
8381ad8388SMartin Matuska 
8481ad8388SMartin Matuska 	// Flush already filtered data from coder->buffer[] to out[].
8581ad8388SMartin Matuska 	if (coder->pos < coder->filtered) {
8681ad8388SMartin Matuska 		lzma_bufcpy(coder->buffer, &coder->pos, coder->filtered,
8781ad8388SMartin Matuska 				out, out_pos, out_size);
8881ad8388SMartin Matuska 
8981ad8388SMartin Matuska 		// If we couldn't flush all the filtered data, return to
9081ad8388SMartin Matuska 		// application immediately.
9181ad8388SMartin Matuska 		if (coder->pos < coder->filtered)
9281ad8388SMartin Matuska 			return LZMA_OK;
9381ad8388SMartin Matuska 
9481ad8388SMartin Matuska 		if (coder->end_was_reached) {
9581ad8388SMartin Matuska 			assert(coder->filtered == coder->size);
9681ad8388SMartin Matuska 			return LZMA_STREAM_END;
9781ad8388SMartin Matuska 		}
9881ad8388SMartin Matuska 	}
9981ad8388SMartin Matuska 
10081ad8388SMartin Matuska 	// If we get here, there is no filtered data left in the buffer.
10181ad8388SMartin Matuska 	coder->filtered = 0;
10281ad8388SMartin Matuska 
10381ad8388SMartin Matuska 	assert(!coder->end_was_reached);
10481ad8388SMartin Matuska 
10581ad8388SMartin Matuska 	// If there is more output space left than there is unfiltered data
10681ad8388SMartin Matuska 	// in coder->buffer[], flush coder->buffer[] to out[], and copy/code
10781ad8388SMartin Matuska 	// more data to out[] hopefully filling it completely. Then filter
10881ad8388SMartin Matuska 	// the data in out[]. This step is where most of the data gets
10981ad8388SMartin Matuska 	// filtered if the buffer sizes used by the application are reasonable.
11081ad8388SMartin Matuska 	const size_t out_avail = out_size - *out_pos;
11181ad8388SMartin Matuska 	const size_t buf_avail = coder->size - coder->pos;
1123632bc4cSMartin Matuska 	if (out_avail > buf_avail || buf_avail == 0) {
11381ad8388SMartin Matuska 		// Store the old position so that we know from which byte
11481ad8388SMartin Matuska 		// to start filtering.
11581ad8388SMartin Matuska 		const size_t out_start = *out_pos;
11681ad8388SMartin Matuska 
11781ad8388SMartin Matuska 		// Flush data from coder->buffer[] to out[], but don't reset
11881ad8388SMartin Matuska 		// coder->pos and coder->size yet. This way the coder can be
11981ad8388SMartin Matuska 		// restarted if the next filter in the chain returns e.g.
12081ad8388SMartin Matuska 		// LZMA_MEM_ERROR.
12181ad8388SMartin Matuska 		memcpy(out + *out_pos, coder->buffer + coder->pos, buf_avail);
12281ad8388SMartin Matuska 		*out_pos += buf_avail;
12381ad8388SMartin Matuska 
12481ad8388SMartin Matuska 		// Copy/Encode/Decode more data to out[].
12581ad8388SMartin Matuska 		{
12681ad8388SMartin Matuska 			const lzma_ret ret = copy_or_code(coder, allocator,
12781ad8388SMartin Matuska 					in, in_pos, in_size,
12881ad8388SMartin Matuska 					out, out_pos, out_size, action);
12981ad8388SMartin Matuska 			assert(ret != LZMA_STREAM_END);
13081ad8388SMartin Matuska 			if (ret != LZMA_OK)
13181ad8388SMartin Matuska 				return ret;
13281ad8388SMartin Matuska 		}
13381ad8388SMartin Matuska 
13481ad8388SMartin Matuska 		// Filter out[].
13581ad8388SMartin Matuska 		const size_t size = *out_pos - out_start;
13681ad8388SMartin Matuska 		const size_t filtered = call_filter(
13781ad8388SMartin Matuska 				coder, out + out_start, size);
13881ad8388SMartin Matuska 
13981ad8388SMartin Matuska 		const size_t unfiltered = size - filtered;
14081ad8388SMartin Matuska 		assert(unfiltered <= coder->allocated / 2);
14181ad8388SMartin Matuska 
14281ad8388SMartin Matuska 		// Now we can update coder->pos and coder->size, because
14381ad8388SMartin Matuska 		// the next coder in the chain (if any) was successful.
14481ad8388SMartin Matuska 		coder->pos = 0;
14581ad8388SMartin Matuska 		coder->size = unfiltered;
14681ad8388SMartin Matuska 
14781ad8388SMartin Matuska 		if (coder->end_was_reached) {
14881ad8388SMartin Matuska 			// The last byte has been copied to out[] already.
14981ad8388SMartin Matuska 			// They are left as is.
15081ad8388SMartin Matuska 			coder->size = 0;
15181ad8388SMartin Matuska 
15281ad8388SMartin Matuska 		} else if (unfiltered > 0) {
15381ad8388SMartin Matuska 			// There is unfiltered data left in out[]. Copy it to
15481ad8388SMartin Matuska 			// coder->buffer[] and rewind *out_pos appropriately.
15581ad8388SMartin Matuska 			*out_pos -= unfiltered;
15681ad8388SMartin Matuska 			memcpy(coder->buffer, out + *out_pos, unfiltered);
15781ad8388SMartin Matuska 		}
15881ad8388SMartin Matuska 	} else if (coder->pos > 0) {
15981ad8388SMartin Matuska 		memmove(coder->buffer, coder->buffer + coder->pos, buf_avail);
16081ad8388SMartin Matuska 		coder->size -= coder->pos;
16181ad8388SMartin Matuska 		coder->pos = 0;
16281ad8388SMartin Matuska 	}
16381ad8388SMartin Matuska 
16481ad8388SMartin Matuska 	assert(coder->pos == 0);
16581ad8388SMartin Matuska 
16681ad8388SMartin Matuska 	// If coder->buffer[] isn't empty, try to fill it by copying/decoding
16781ad8388SMartin Matuska 	// more data. Then filter coder->buffer[] and copy the successfully
16881ad8388SMartin Matuska 	// filtered data to out[]. It is probable, that some filtered and
16981ad8388SMartin Matuska 	// unfiltered data will be left to coder->buffer[].
17081ad8388SMartin Matuska 	if (coder->size > 0) {
17181ad8388SMartin Matuska 		{
17281ad8388SMartin Matuska 			const lzma_ret ret = copy_or_code(coder, allocator,
17381ad8388SMartin Matuska 					in, in_pos, in_size,
17481ad8388SMartin Matuska 					coder->buffer, &coder->size,
17581ad8388SMartin Matuska 					coder->allocated, action);
17681ad8388SMartin Matuska 			assert(ret != LZMA_STREAM_END);
17781ad8388SMartin Matuska 			if (ret != LZMA_OK)
17881ad8388SMartin Matuska 				return ret;
17981ad8388SMartin Matuska 		}
18081ad8388SMartin Matuska 
18181ad8388SMartin Matuska 		coder->filtered = call_filter(
18281ad8388SMartin Matuska 				coder, coder->buffer, coder->size);
18381ad8388SMartin Matuska 
18481ad8388SMartin Matuska 		// Everything is considered to be filtered if coder->buffer[]
18581ad8388SMartin Matuska 		// contains the last bytes of the data.
18681ad8388SMartin Matuska 		if (coder->end_was_reached)
18781ad8388SMartin Matuska 			coder->filtered = coder->size;
18881ad8388SMartin Matuska 
18981ad8388SMartin Matuska 		// Flush as much as possible.
19081ad8388SMartin Matuska 		lzma_bufcpy(coder->buffer, &coder->pos, coder->filtered,
19181ad8388SMartin Matuska 				out, out_pos, out_size);
19281ad8388SMartin Matuska 	}
19381ad8388SMartin Matuska 
19481ad8388SMartin Matuska 	// Check if we got everything done.
19581ad8388SMartin Matuska 	if (coder->end_was_reached && coder->pos == coder->size)
19681ad8388SMartin Matuska 		return LZMA_STREAM_END;
19781ad8388SMartin Matuska 
19881ad8388SMartin Matuska 	return LZMA_OK;
19981ad8388SMartin Matuska }
20081ad8388SMartin Matuska 
20181ad8388SMartin Matuska 
20281ad8388SMartin Matuska static void
203*1456f0f9SXin LI simple_coder_end(void *coder_ptr, const lzma_allocator *allocator)
20481ad8388SMartin Matuska {
205*1456f0f9SXin LI 	lzma_simple_coder *coder = coder_ptr;
20681ad8388SMartin Matuska 	lzma_next_end(&coder->next, allocator);
20781ad8388SMartin Matuska 	lzma_free(coder->simple, allocator);
20881ad8388SMartin Matuska 	lzma_free(coder, allocator);
20981ad8388SMartin Matuska 	return;
21081ad8388SMartin Matuska }
21181ad8388SMartin Matuska 
21281ad8388SMartin Matuska 
21381ad8388SMartin Matuska static lzma_ret
214*1456f0f9SXin LI simple_coder_update(void *coder_ptr, const lzma_allocator *allocator,
215e24134bcSMartin Matuska 		const lzma_filter *filters_null lzma_attribute((__unused__)),
21681ad8388SMartin Matuska 		const lzma_filter *reversed_filters)
21781ad8388SMartin Matuska {
218*1456f0f9SXin LI 	lzma_simple_coder *coder = coder_ptr;
219*1456f0f9SXin LI 
22081ad8388SMartin Matuska 	// No update support, just call the next filter in the chain.
22181ad8388SMartin Matuska 	return lzma_next_filter_update(
22281ad8388SMartin Matuska 			&coder->next, allocator, reversed_filters + 1);
22381ad8388SMartin Matuska }
22481ad8388SMartin Matuska 
22581ad8388SMartin Matuska 
22681ad8388SMartin Matuska extern lzma_ret
22753200025SRui Paulo lzma_simple_coder_init(lzma_next_coder *next, const lzma_allocator *allocator,
22881ad8388SMartin Matuska 		const lzma_filter_info *filters,
229*1456f0f9SXin LI 		size_t (*filter)(void *simple, uint32_t now_pos,
23081ad8388SMartin Matuska 			bool is_encoder, uint8_t *buffer, size_t size),
23181ad8388SMartin Matuska 		size_t simple_size, size_t unfiltered_max,
23281ad8388SMartin Matuska 		uint32_t alignment, bool is_encoder)
23381ad8388SMartin Matuska {
234*1456f0f9SXin LI 	// Allocate memory for the lzma_simple_coder structure if needed.
235*1456f0f9SXin LI 	lzma_simple_coder *coder = next->coder;
236*1456f0f9SXin LI 	if (coder == NULL) {
23781ad8388SMartin Matuska 		// Here we allocate space also for the temporary buffer. We
23881ad8388SMartin Matuska 		// need twice the size of unfiltered_max, because then it
23981ad8388SMartin Matuska 		// is always possible to filter at least unfiltered_max bytes
24081ad8388SMartin Matuska 		// more data in coder->buffer[] if it can be filled completely.
241*1456f0f9SXin LI 		coder = lzma_alloc(sizeof(lzma_simple_coder)
24281ad8388SMartin Matuska 				+ 2 * unfiltered_max, allocator);
243*1456f0f9SXin LI 		if (coder == NULL)
24481ad8388SMartin Matuska 			return LZMA_MEM_ERROR;
24581ad8388SMartin Matuska 
246*1456f0f9SXin LI 		next->coder = coder;
24781ad8388SMartin Matuska 		next->code = &simple_code;
24881ad8388SMartin Matuska 		next->end = &simple_coder_end;
24981ad8388SMartin Matuska 		next->update = &simple_coder_update;
25081ad8388SMartin Matuska 
251*1456f0f9SXin LI 		coder->next = LZMA_NEXT_CODER_INIT;
252*1456f0f9SXin LI 		coder->filter = filter;
253*1456f0f9SXin LI 		coder->allocated = 2 * unfiltered_max;
25481ad8388SMartin Matuska 
25581ad8388SMartin Matuska 		// Allocate memory for filter-specific data structure.
25681ad8388SMartin Matuska 		if (simple_size > 0) {
257*1456f0f9SXin LI 			coder->simple = lzma_alloc(simple_size, allocator);
258*1456f0f9SXin LI 			if (coder->simple == NULL)
25981ad8388SMartin Matuska 				return LZMA_MEM_ERROR;
26081ad8388SMartin Matuska 		} else {
261*1456f0f9SXin LI 			coder->simple = NULL;
26281ad8388SMartin Matuska 		}
26381ad8388SMartin Matuska 	}
26481ad8388SMartin Matuska 
26581ad8388SMartin Matuska 	if (filters[0].options != NULL) {
26681ad8388SMartin Matuska 		const lzma_options_bcj *simple = filters[0].options;
267*1456f0f9SXin LI 		coder->now_pos = simple->start_offset;
268*1456f0f9SXin LI 		if (coder->now_pos & (alignment - 1))
26981ad8388SMartin Matuska 			return LZMA_OPTIONS_ERROR;
27081ad8388SMartin Matuska 	} else {
271*1456f0f9SXin LI 		coder->now_pos = 0;
27281ad8388SMartin Matuska 	}
27381ad8388SMartin Matuska 
27481ad8388SMartin Matuska 	// Reset variables.
275*1456f0f9SXin LI 	coder->is_encoder = is_encoder;
276*1456f0f9SXin LI 	coder->end_was_reached = false;
277*1456f0f9SXin LI 	coder->pos = 0;
278*1456f0f9SXin LI 	coder->filtered = 0;
279*1456f0f9SXin LI 	coder->size = 0;
28081ad8388SMartin Matuska 
281*1456f0f9SXin LI 	return lzma_next_filter_init(&coder->next, allocator, filters + 1);
28281ad8388SMartin Matuska }
283