aboutsummaryrefslogtreecommitdiff
path: root/tests/test_bcj_exact_size.c
blob: cbd93405cd1f217c2ff3aad829150e4a58ef78c4 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
///////////////////////////////////////////////////////////////////////////////
//
/// \file       test_bcj_exact_size.c
/// \brief      Tests BCJ decoding when the output size is known
///
/// These tests fail with XZ Utils 5.0.3 and earlier.
//
//  Author:     Lasse Collin
//
//  This file has been put into the public domain.
//  You can do whatever you want with this file.
//
///////////////////////////////////////////////////////////////////////////////

#include "tests.h"


/// Something to be compressed
static const uint8_t in[16] = "0123456789ABCDEF";

/// in[] after compression
static uint8_t compressed[1024];
static size_t compressed_size = 0;

/// Output buffer for decompressing compressed[]
static uint8_t out[sizeof(in)];


static void
compress(void)
{
	// Compress with PowerPC BCJ and LZMA2. PowerPC BCJ is used because
	// it has fixed 4-byte alignment which makes triggering the potential
	// bug easy.
	lzma_options_lzma opt_lzma2;
	succeed(lzma_lzma_preset(&opt_lzma2, 0));

	lzma_filter filters[3] = {
		{ .id = LZMA_FILTER_POWERPC, .options = NULL },
		{ .id = LZMA_FILTER_LZMA2, .options = &opt_lzma2 },
		{ .id = LZMA_VLI_UNKNOWN, .options = NULL },
	};

	expect(lzma_stream_buffer_encode(filters, LZMA_CHECK_CRC32, NULL,
			in, sizeof(in),
			compressed, &compressed_size, sizeof(compressed))
			== LZMA_OK);
}


static void
decompress(void)
{
	lzma_stream strm = LZMA_STREAM_INIT;
	expect(lzma_stream_decoder(&strm, 10 << 20, 0) == LZMA_OK);

	strm.next_in = compressed;
	strm.next_out = out;

	while (true) {
		if (strm.total_in < compressed_size)
			strm.avail_in = 1;

		const lzma_ret ret = lzma_code(&strm, LZMA_RUN);
		if (ret == LZMA_STREAM_END) {
			expect(strm.total_in == compressed_size);
			expect(strm.total_out == sizeof(in));
			return;
		}

		expect(ret == LZMA_OK);

		if (strm.total_out < sizeof(in))
			strm.avail_out = 1;
	}
}


static void
decompress_empty(void)
{
	// An empty file with one Block using PowerPC BCJ and LZMA2.
	static const uint8_t empty_bcj_lzma2[] = {
		0xFD, 0x37, 0x7A, 0x58, 0x5A, 0x00, 0x00, 0x01,
		0x69, 0x22, 0xDE, 0x36, 0x02, 0x01, 0x05, 0x00,
		0x21, 0x01, 0x00, 0x00, 0x7F, 0xE0, 0xF1, 0xC8,
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
		0x00, 0x01, 0x11, 0x00, 0x3B, 0x96, 0x5F, 0x73,
		0x90, 0x42, 0x99, 0x0D, 0x01, 0x00, 0x00, 0x00,
		0x00, 0x01, 0x59, 0x5A
	};

	// Decompress without giving any output space.
	uint64_t memlimit = 1 << 20;
	size_t in_pos = 0;
	size_t out_pos = 0;
	expect(lzma_stream_buffer_decode(&memlimit, 0, NULL,
			empty_bcj_lzma2, &in_pos, sizeof(empty_bcj_lzma2),
			out, &out_pos, 0) == LZMA_OK);
	expect(in_pos == sizeof(empty_bcj_lzma2));
	expect(out_pos == 0);
}


extern int
main(void)
{
	compress();
	decompress();
	decompress_empty();
	return 0;
}