xref: /freebsd/contrib/xz/src/liblzma/common/index.c (revision 3b35e7ee8de9b0260149a2b77e87a2b9c7a36244)
1 *3b35e7eeSXin LI // SPDX-License-Identifier: 0BSD
2 *3b35e7eeSXin LI 
3 81ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
4 81ad8388SMartin Matuska //
5 81ad8388SMartin Matuska /// \file       index.c
6 81ad8388SMartin Matuska /// \brief      Handling of .xz Indexes and some other Stream information
7 81ad8388SMartin Matuska //
8 81ad8388SMartin Matuska //  Author:     Lasse Collin
9 81ad8388SMartin Matuska //
10 81ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
11 81ad8388SMartin Matuska 
12 047153b4SXin LI #include "common.h"
13 81ad8388SMartin Matuska #include "index.h"
14 81ad8388SMartin Matuska #include "stream_flags_common.h"
15 81ad8388SMartin Matuska 
16 81ad8388SMartin Matuska 
17 81ad8388SMartin Matuska /// \brief      How many Records to allocate at once
18 81ad8388SMartin Matuska ///
19 81ad8388SMartin Matuska /// This should be big enough to avoid making lots of tiny allocations
20 81ad8388SMartin Matuska /// but small enough to avoid too much unused memory at once.
21 542aef48SMartin Matuska #define INDEX_GROUP_SIZE 512
22 81ad8388SMartin Matuska 
23 81ad8388SMartin Matuska 
24 81ad8388SMartin Matuska /// \brief      How many Records can be allocated at once at maximum
25 81ad8388SMartin Matuska #define PREALLOC_MAX ((SIZE_MAX - sizeof(index_group)) / sizeof(index_record))
26 81ad8388SMartin Matuska 
27 81ad8388SMartin Matuska 
28 81ad8388SMartin Matuska /// \brief      Base structure for index_stream and index_group structures
29 81ad8388SMartin Matuska typedef struct index_tree_node_s index_tree_node;
30 81ad8388SMartin Matuska struct index_tree_node_s {
31 81ad8388SMartin Matuska 	/// Uncompressed start offset of this Stream (relative to the
32 81ad8388SMartin Matuska 	/// beginning of the file) or Block (relative to the beginning
33 81ad8388SMartin Matuska 	/// of the Stream)
34 81ad8388SMartin Matuska 	lzma_vli uncompressed_base;
35 81ad8388SMartin Matuska 
36 81ad8388SMartin Matuska 	/// Compressed start offset of this Stream or Block
37 81ad8388SMartin Matuska 	lzma_vli compressed_base;
38 81ad8388SMartin Matuska 
39 81ad8388SMartin Matuska 	index_tree_node *parent;
40 81ad8388SMartin Matuska 	index_tree_node *left;
41 81ad8388SMartin Matuska 	index_tree_node *right;
42 81ad8388SMartin Matuska };
43 81ad8388SMartin Matuska 
44 81ad8388SMartin Matuska 
45 81ad8388SMartin Matuska /// \brief      AVL tree to hold index_stream or index_group structures
46 81ad8388SMartin Matuska typedef struct {
47 81ad8388SMartin Matuska 	/// Root node
48 81ad8388SMartin Matuska 	index_tree_node *root;
49 81ad8388SMartin Matuska 
50 81ad8388SMartin Matuska 	/// Leftmost node. Since the tree will be filled sequentially,
51 81ad8388SMartin Matuska 	/// this won't change after the first node has been added to
52 81ad8388SMartin Matuska 	/// the tree.
53 81ad8388SMartin Matuska 	index_tree_node *leftmost;
54 81ad8388SMartin Matuska 
55 81ad8388SMartin Matuska 	/// The rightmost node in the tree. Since the tree is filled
56 81ad8388SMartin Matuska 	/// sequentially, this is always the node where to add the new data.
57 81ad8388SMartin Matuska 	index_tree_node *rightmost;
58 81ad8388SMartin Matuska 
59 81ad8388SMartin Matuska 	/// Number of nodes in the tree
60 81ad8388SMartin Matuska 	uint32_t count;
61 81ad8388SMartin Matuska 
62 81ad8388SMartin Matuska } index_tree;
63 81ad8388SMartin Matuska 
64 81ad8388SMartin Matuska 
65 81ad8388SMartin Matuska typedef struct {
66 81ad8388SMartin Matuska 	lzma_vli uncompressed_sum;
67 81ad8388SMartin Matuska 	lzma_vli unpadded_sum;
68 81ad8388SMartin Matuska } index_record;
69 81ad8388SMartin Matuska 
70 81ad8388SMartin Matuska 
71 81ad8388SMartin Matuska typedef struct {
72 81ad8388SMartin Matuska 	/// Every Record group is part of index_stream.groups tree.
73 81ad8388SMartin Matuska 	index_tree_node node;
74 81ad8388SMartin Matuska 
75 81ad8388SMartin Matuska 	/// Number of Blocks in this Stream before this group.
76 81ad8388SMartin Matuska 	lzma_vli number_base;
77 81ad8388SMartin Matuska 
78 81ad8388SMartin Matuska 	/// Number of Records that can be put in records[].
79 81ad8388SMartin Matuska 	size_t allocated;
80 81ad8388SMartin Matuska 
81 81ad8388SMartin Matuska 	/// Index of the last Record in use.
82 81ad8388SMartin Matuska 	size_t last;
83 81ad8388SMartin Matuska 
84 81ad8388SMartin Matuska 	/// The sizes in this array are stored as cumulative sums relative
85 81ad8388SMartin Matuska 	/// to the beginning of the Stream. This makes it possible to
86 81ad8388SMartin Matuska 	/// use binary search in lzma_index_locate().
87 81ad8388SMartin Matuska 	///
88 81ad8388SMartin Matuska 	/// Note that the cumulative summing is done specially for
89 81ad8388SMartin Matuska 	/// unpadded_sum: The previous value is rounded up to the next
90 81ad8388SMartin Matuska 	/// multiple of four before adding the Unpadded Size of the new
91 81ad8388SMartin Matuska 	/// Block. The total encoded size of the Blocks in the Stream
92 81ad8388SMartin Matuska 	/// is records[last].unpadded_sum in the last Record group of
93 81ad8388SMartin Matuska 	/// the Stream.
94 81ad8388SMartin Matuska 	///
95 81ad8388SMartin Matuska 	/// For example, if the Unpadded Sizes are 39, 57, and 81, the
96 81ad8388SMartin Matuska 	/// stored values are 39, 97 (40 + 57), and 181 (100 + 181).
97 81ad8388SMartin Matuska 	/// The total encoded size of these Blocks is 184.
98 81ad8388SMartin Matuska 	///
99 81ad8388SMartin Matuska 	/// This is a flexible array, because it makes easy to optimize
100 81ad8388SMartin Matuska 	/// memory usage in case someone concatenates many Streams that
101 81ad8388SMartin Matuska 	/// have only one or few Blocks.
102 81ad8388SMartin Matuska 	index_record records[];
103 81ad8388SMartin Matuska 
104 81ad8388SMartin Matuska } index_group;
105 81ad8388SMartin Matuska 
106 81ad8388SMartin Matuska 
107 81ad8388SMartin Matuska typedef struct {
108 a8675d92SXin LI 	/// Every index_stream is a node in the tree of Streams.
109 81ad8388SMartin Matuska 	index_tree_node node;
110 81ad8388SMartin Matuska 
111 81ad8388SMartin Matuska 	/// Number of this Stream (first one is 1)
112 81ad8388SMartin Matuska 	uint32_t number;
113 81ad8388SMartin Matuska 
114 81ad8388SMartin Matuska 	/// Total number of Blocks before this Stream
115 81ad8388SMartin Matuska 	lzma_vli block_number_base;
116 81ad8388SMartin Matuska 
117 81ad8388SMartin Matuska 	/// Record groups of this Stream are stored in a tree.
118 81ad8388SMartin Matuska 	/// It's a T-tree with AVL-tree balancing. There are
119 81ad8388SMartin Matuska 	/// INDEX_GROUP_SIZE Records per node by default.
120 81ad8388SMartin Matuska 	/// This keeps the number of memory allocations reasonable
121 81ad8388SMartin Matuska 	/// and finding a Record is fast.
122 81ad8388SMartin Matuska 	index_tree groups;
123 81ad8388SMartin Matuska 
124 81ad8388SMartin Matuska 	/// Number of Records in this Stream
125 81ad8388SMartin Matuska 	lzma_vli record_count;
126 81ad8388SMartin Matuska 
127 81ad8388SMartin Matuska 	/// Size of the List of Records field in this Stream. This is used
128 81ad8388SMartin Matuska 	/// together with record_count to calculate the size of the Index
129 81ad8388SMartin Matuska 	/// field and thus the total size of the Stream.
130 81ad8388SMartin Matuska 	lzma_vli index_list_size;
131 81ad8388SMartin Matuska 
132 81ad8388SMartin Matuska 	/// Stream Flags of this Stream. This is meaningful only if
133 81ad8388SMartin Matuska 	/// the Stream Flags have been told us with lzma_index_stream_flags().
134 81ad8388SMartin Matuska 	/// Initially stream_flags.version is set to UINT32_MAX to indicate
135 81ad8388SMartin Matuska 	/// that the Stream Flags are unknown.
136 81ad8388SMartin Matuska 	lzma_stream_flags stream_flags;
137 81ad8388SMartin Matuska 
138 81ad8388SMartin Matuska 	/// Amount of Stream Padding after this Stream. This defaults to
139 81ad8388SMartin Matuska 	/// zero and can be set with lzma_index_stream_padding().
140 81ad8388SMartin Matuska 	lzma_vli stream_padding;
141 81ad8388SMartin Matuska 
142 81ad8388SMartin Matuska } index_stream;
143 81ad8388SMartin Matuska 
144 81ad8388SMartin Matuska 
145 81ad8388SMartin Matuska struct lzma_index_s {
146 81ad8388SMartin Matuska 	/// AVL-tree containing the Stream(s). Often there is just one
147 81ad8388SMartin Matuska 	/// Stream, but using a tree keeps lookups fast even when there
148 81ad8388SMartin Matuska 	/// are many concatenated Streams.
149 81ad8388SMartin Matuska 	index_tree streams;
150 81ad8388SMartin Matuska 
151 81ad8388SMartin Matuska 	/// Uncompressed size of all the Blocks in the Stream(s)
152 81ad8388SMartin Matuska 	lzma_vli uncompressed_size;
153 81ad8388SMartin Matuska 
154 81ad8388SMartin Matuska 	/// Total size of all the Blocks in the Stream(s)
155 81ad8388SMartin Matuska 	lzma_vli total_size;
156 81ad8388SMartin Matuska 
157 81ad8388SMartin Matuska 	/// Total number of Records in all Streams in this lzma_index
158 81ad8388SMartin Matuska 	lzma_vli record_count;
159 81ad8388SMartin Matuska 
160 81ad8388SMartin Matuska 	/// Size of the List of Records field if all the Streams in this
161 81ad8388SMartin Matuska 	/// lzma_index were packed into a single Stream (makes it simpler to
162 81ad8388SMartin Matuska 	/// take many .xz files and combine them into a single Stream).
163 81ad8388SMartin Matuska 	///
164 81ad8388SMartin Matuska 	/// This value together with record_count is needed to calculate
165 81ad8388SMartin Matuska 	/// Backward Size that is stored into Stream Footer.
166 81ad8388SMartin Matuska 	lzma_vli index_list_size;
167 81ad8388SMartin Matuska 
168 81ad8388SMartin Matuska 	/// How many Records to allocate at once in lzma_index_append().
169 a8675d92SXin LI 	/// This defaults to INDEX_GROUP_SIZE but can be overridden with
170 81ad8388SMartin Matuska 	/// lzma_index_prealloc().
171 81ad8388SMartin Matuska 	size_t prealloc;
172 81ad8388SMartin Matuska 
173 81ad8388SMartin Matuska 	/// Bitmask indicating what integrity check types have been used
174 81ad8388SMartin Matuska 	/// as set by lzma_index_stream_flags(). The bit of the last Stream
175 81ad8388SMartin Matuska 	/// is not included here, since it is possible to change it by
176 81ad8388SMartin Matuska 	/// calling lzma_index_stream_flags() again.
177 81ad8388SMartin Matuska 	uint32_t checks;
178 81ad8388SMartin Matuska };
179 81ad8388SMartin Matuska 
180 81ad8388SMartin Matuska 
181 81ad8388SMartin Matuska static void
182 81ad8388SMartin Matuska index_tree_init(index_tree *tree)
183 81ad8388SMartin Matuska {
184 81ad8388SMartin Matuska 	tree->root = NULL;
185 81ad8388SMartin Matuska 	tree->leftmost = NULL;
186 81ad8388SMartin Matuska 	tree->rightmost = NULL;
187 81ad8388SMartin Matuska 	tree->count = 0;
188 81ad8388SMartin Matuska 	return;
189 81ad8388SMartin Matuska }
190 81ad8388SMartin Matuska 
191 81ad8388SMartin Matuska 
192 81ad8388SMartin Matuska /// Helper for index_tree_end()
193 81ad8388SMartin Matuska static void
194 53200025SRui Paulo index_tree_node_end(index_tree_node *node, const lzma_allocator *allocator,
195 53200025SRui Paulo 		void (*free_func)(void *node, const lzma_allocator *allocator))
196 81ad8388SMartin Matuska {
197 81ad8388SMartin Matuska 	// The tree won't ever be very huge, so recursion should be fine.
198 81ad8388SMartin Matuska 	// 20 levels in the tree is likely quite a lot already in practice.
199 81ad8388SMartin Matuska 	if (node->left != NULL)
200 81ad8388SMartin Matuska 		index_tree_node_end(node->left, allocator, free_func);
201 81ad8388SMartin Matuska 
202 81ad8388SMartin Matuska 	if (node->right != NULL)
203 81ad8388SMartin Matuska 		index_tree_node_end(node->right, allocator, free_func);
204 81ad8388SMartin Matuska 
205 81ad8388SMartin Matuska 	free_func(node, allocator);
206 81ad8388SMartin Matuska 	return;
207 81ad8388SMartin Matuska }
208 81ad8388SMartin Matuska 
209 81ad8388SMartin Matuska 
210 1456f0f9SXin LI /// Free the memory allocated for a tree. Each node is freed using the
211 1456f0f9SXin LI /// given free_func which is either &lzma_free or &index_stream_end.
212 1456f0f9SXin LI /// The latter is used to free the Record groups from each index_stream
213 1456f0f9SXin LI /// before freeing the index_stream itself.
214 81ad8388SMartin Matuska static void
215 53200025SRui Paulo index_tree_end(index_tree *tree, const lzma_allocator *allocator,
216 53200025SRui Paulo 		void (*free_func)(void *node, const lzma_allocator *allocator))
217 81ad8388SMartin Matuska {
218 1456f0f9SXin LI 	assert(free_func != NULL);
219 1456f0f9SXin LI 
220 81ad8388SMartin Matuska 	if (tree->root != NULL)
221 81ad8388SMartin Matuska 		index_tree_node_end(tree->root, allocator, free_func);
222 81ad8388SMartin Matuska 
223 81ad8388SMartin Matuska 	return;
224 81ad8388SMartin Matuska }
225 81ad8388SMartin Matuska 
226 81ad8388SMartin Matuska 
227 81ad8388SMartin Matuska /// Add a new node to the tree. node->uncompressed_base and
228 81ad8388SMartin Matuska /// node->compressed_base must have been set by the caller already.
229 81ad8388SMartin Matuska static void
230 81ad8388SMartin Matuska index_tree_append(index_tree *tree, index_tree_node *node)
231 81ad8388SMartin Matuska {
232 81ad8388SMartin Matuska 	node->parent = tree->rightmost;
233 81ad8388SMartin Matuska 	node->left = NULL;
234 81ad8388SMartin Matuska 	node->right = NULL;
235 81ad8388SMartin Matuska 
236 81ad8388SMartin Matuska 	++tree->count;
237 81ad8388SMartin Matuska 
238 81ad8388SMartin Matuska 	// Handle the special case of adding the first node.
239 81ad8388SMartin Matuska 	if (tree->root == NULL) {
240 81ad8388SMartin Matuska 		tree->root = node;
241 81ad8388SMartin Matuska 		tree->leftmost = node;
242 81ad8388SMartin Matuska 		tree->rightmost = node;
243 81ad8388SMartin Matuska 		return;
244 81ad8388SMartin Matuska 	}
245 81ad8388SMartin Matuska 
246 81ad8388SMartin Matuska 	// The tree is always filled sequentially.
247 81ad8388SMartin Matuska 	assert(tree->rightmost->uncompressed_base <= node->uncompressed_base);
248 81ad8388SMartin Matuska 	assert(tree->rightmost->compressed_base < node->compressed_base);
249 81ad8388SMartin Matuska 
250 81ad8388SMartin Matuska 	// Add the new node after the rightmost node. It's the correct
251 81ad8388SMartin Matuska 	// place due to the reason above.
252 81ad8388SMartin Matuska 	tree->rightmost->right = node;
253 81ad8388SMartin Matuska 	tree->rightmost = node;
254 81ad8388SMartin Matuska 
255 81ad8388SMartin Matuska 	// Balance the AVL-tree if needed. We don't need to keep the balance
256 81ad8388SMartin Matuska 	// factors in nodes, because we always fill the tree sequentially,
257 81ad8388SMartin Matuska 	// and thus know the state of the tree just by looking at the node
258 81ad8388SMartin Matuska 	// count. From the node count we can calculate how many steps to go
259 81ad8388SMartin Matuska 	// up in the tree to find the rotation root.
260 81ad8388SMartin Matuska 	uint32_t up = tree->count ^ (UINT32_C(1) << bsr32(tree->count));
261 81ad8388SMartin Matuska 	if (up != 0) {
262 81ad8388SMartin Matuska 		// Locate the root node for the rotation.
263 81ad8388SMartin Matuska 		up = ctz32(tree->count) + 2;
264 81ad8388SMartin Matuska 		do {
265 81ad8388SMartin Matuska 			node = node->parent;
266 81ad8388SMartin Matuska 		} while (--up > 0);
267 81ad8388SMartin Matuska 
268 81ad8388SMartin Matuska 		// Rotate left using node as the rotation root.
269 81ad8388SMartin Matuska 		index_tree_node *pivot = node->right;
270 81ad8388SMartin Matuska 
271 81ad8388SMartin Matuska 		if (node->parent == NULL) {
272 81ad8388SMartin Matuska 			tree->root = pivot;
273 81ad8388SMartin Matuska 		} else {
274 81ad8388SMartin Matuska 			assert(node->parent->right == node);
275 81ad8388SMartin Matuska 			node->parent->right = pivot;
276 81ad8388SMartin Matuska 		}
277 81ad8388SMartin Matuska 
278 81ad8388SMartin Matuska 		pivot->parent = node->parent;
279 81ad8388SMartin Matuska 
280 81ad8388SMartin Matuska 		node->right = pivot->left;
281 81ad8388SMartin Matuska 		if (node->right != NULL)
282 81ad8388SMartin Matuska 			node->right->parent = node;
283 81ad8388SMartin Matuska 
284 81ad8388SMartin Matuska 		pivot->left = node;
285 81ad8388SMartin Matuska 		node->parent = pivot;
286 81ad8388SMartin Matuska 	}
287 81ad8388SMartin Matuska 
288 81ad8388SMartin Matuska 	return;
289 81ad8388SMartin Matuska }
290 81ad8388SMartin Matuska 
291 81ad8388SMartin Matuska 
292 81ad8388SMartin Matuska /// Get the next node in the tree. Return NULL if there are no more nodes.
293 81ad8388SMartin Matuska static void *
294 81ad8388SMartin Matuska index_tree_next(const index_tree_node *node)
295 81ad8388SMartin Matuska {
296 81ad8388SMartin Matuska 	if (node->right != NULL) {
297 81ad8388SMartin Matuska 		node = node->right;
298 81ad8388SMartin Matuska 		while (node->left != NULL)
299 81ad8388SMartin Matuska 			node = node->left;
300 81ad8388SMartin Matuska 
301 81ad8388SMartin Matuska 		return (void *)(node);
302 81ad8388SMartin Matuska 	}
303 81ad8388SMartin Matuska 
304 81ad8388SMartin Matuska 	while (node->parent != NULL && node->parent->right == node)
305 81ad8388SMartin Matuska 		node = node->parent;
306 81ad8388SMartin Matuska 
307 81ad8388SMartin Matuska 	return (void *)(node->parent);
308 81ad8388SMartin Matuska }
309 81ad8388SMartin Matuska 
310 81ad8388SMartin Matuska 
311 81ad8388SMartin Matuska /// Locate a node that contains the given uncompressed offset. It is
312 81ad8388SMartin Matuska /// caller's job to check that target is not bigger than the uncompressed
313 81ad8388SMartin Matuska /// size of the tree (the last node would be returned in that case still).
314 81ad8388SMartin Matuska static void *
315 81ad8388SMartin Matuska index_tree_locate(const index_tree *tree, lzma_vli target)
316 81ad8388SMartin Matuska {
317 81ad8388SMartin Matuska 	const index_tree_node *result = NULL;
318 81ad8388SMartin Matuska 	const index_tree_node *node = tree->root;
319 81ad8388SMartin Matuska 
320 81ad8388SMartin Matuska 	assert(tree->leftmost == NULL
321 81ad8388SMartin Matuska 			|| tree->leftmost->uncompressed_base == 0);
322 81ad8388SMartin Matuska 
323 81ad8388SMartin Matuska 	// Consecutive nodes may have the same uncompressed_base.
324 81ad8388SMartin Matuska 	// We must pick the rightmost one.
325 81ad8388SMartin Matuska 	while (node != NULL) {
326 81ad8388SMartin Matuska 		if (node->uncompressed_base > target) {
327 81ad8388SMartin Matuska 			node = node->left;
328 81ad8388SMartin Matuska 		} else {
329 81ad8388SMartin Matuska 			result = node;
330 81ad8388SMartin Matuska 			node = node->right;
331 81ad8388SMartin Matuska 		}
332 81ad8388SMartin Matuska 	}
333 81ad8388SMartin Matuska 
334 81ad8388SMartin Matuska 	return (void *)(result);
335 81ad8388SMartin Matuska }
336 81ad8388SMartin Matuska 
337 81ad8388SMartin Matuska 
338 81ad8388SMartin Matuska /// Allocate and initialize a new Stream using the given base offsets.
339 81ad8388SMartin Matuska static index_stream *
340 81ad8388SMartin Matuska index_stream_init(lzma_vli compressed_base, lzma_vli uncompressed_base,
341 fe50a38eSXin LI 		uint32_t stream_number, lzma_vli block_number_base,
342 53200025SRui Paulo 		const lzma_allocator *allocator)
343 81ad8388SMartin Matuska {
344 81ad8388SMartin Matuska 	index_stream *s = lzma_alloc(sizeof(index_stream), allocator);
345 81ad8388SMartin Matuska 	if (s == NULL)
346 81ad8388SMartin Matuska 		return NULL;
347 81ad8388SMartin Matuska 
348 81ad8388SMartin Matuska 	s->node.uncompressed_base = uncompressed_base;
349 81ad8388SMartin Matuska 	s->node.compressed_base = compressed_base;
350 81ad8388SMartin Matuska 	s->node.parent = NULL;
351 81ad8388SMartin Matuska 	s->node.left = NULL;
352 81ad8388SMartin Matuska 	s->node.right = NULL;
353 81ad8388SMartin Matuska 
354 81ad8388SMartin Matuska 	s->number = stream_number;
355 81ad8388SMartin Matuska 	s->block_number_base = block_number_base;
356 81ad8388SMartin Matuska 
357 81ad8388SMartin Matuska 	index_tree_init(&s->groups);
358 81ad8388SMartin Matuska 
359 81ad8388SMartin Matuska 	s->record_count = 0;
360 81ad8388SMartin Matuska 	s->index_list_size = 0;
361 81ad8388SMartin Matuska 	s->stream_flags.version = UINT32_MAX;
362 81ad8388SMartin Matuska 	s->stream_padding = 0;
363 81ad8388SMartin Matuska 
364 81ad8388SMartin Matuska 	return s;
365 81ad8388SMartin Matuska }
366 81ad8388SMartin Matuska 
367 81ad8388SMartin Matuska 
368 81ad8388SMartin Matuska /// Free the memory allocated for a Stream and its Record groups.
369 81ad8388SMartin Matuska static void
370 53200025SRui Paulo index_stream_end(void *node, const lzma_allocator *allocator)
371 81ad8388SMartin Matuska {
372 81ad8388SMartin Matuska 	index_stream *s = node;
373 1456f0f9SXin LI 	index_tree_end(&s->groups, allocator, &lzma_free);
374 1456f0f9SXin LI 	lzma_free(s, allocator);
375 81ad8388SMartin Matuska 	return;
376 81ad8388SMartin Matuska }
377 81ad8388SMartin Matuska 
378 81ad8388SMartin Matuska 
379 81ad8388SMartin Matuska static lzma_index *
380 53200025SRui Paulo index_init_plain(const lzma_allocator *allocator)
381 81ad8388SMartin Matuska {
382 81ad8388SMartin Matuska 	lzma_index *i = lzma_alloc(sizeof(lzma_index), allocator);
383 81ad8388SMartin Matuska 	if (i != NULL) {
384 81ad8388SMartin Matuska 		index_tree_init(&i->streams);
385 81ad8388SMartin Matuska 		i->uncompressed_size = 0;
386 81ad8388SMartin Matuska 		i->total_size = 0;
387 81ad8388SMartin Matuska 		i->record_count = 0;
388 81ad8388SMartin Matuska 		i->index_list_size = 0;
389 81ad8388SMartin Matuska 		i->prealloc = INDEX_GROUP_SIZE;
390 81ad8388SMartin Matuska 		i->checks = 0;
391 81ad8388SMartin Matuska 	}
392 81ad8388SMartin Matuska 
393 81ad8388SMartin Matuska 	return i;
394 81ad8388SMartin Matuska }
395 81ad8388SMartin Matuska 
396 81ad8388SMartin Matuska 
397 81ad8388SMartin Matuska extern LZMA_API(lzma_index *)
398 53200025SRui Paulo lzma_index_init(const lzma_allocator *allocator)
399 81ad8388SMartin Matuska {
400 81ad8388SMartin Matuska 	lzma_index *i = index_init_plain(allocator);
401 e24134bcSMartin Matuska 	if (i == NULL)
402 e24134bcSMartin Matuska 		return NULL;
403 e24134bcSMartin Matuska 
404 81ad8388SMartin Matuska 	index_stream *s = index_stream_init(0, 0, 1, 0, allocator);
405 e24134bcSMartin Matuska 	if (s == NULL) {
406 81ad8388SMartin Matuska 		lzma_free(i, allocator);
407 e24134bcSMartin Matuska 		return NULL;
408 81ad8388SMartin Matuska 	}
409 81ad8388SMartin Matuska 
410 81ad8388SMartin Matuska 	index_tree_append(&i->streams, &s->node);
411 81ad8388SMartin Matuska 
412 81ad8388SMartin Matuska 	return i;
413 81ad8388SMartin Matuska }
414 81ad8388SMartin Matuska 
415 81ad8388SMartin Matuska 
416 81ad8388SMartin Matuska extern LZMA_API(void)
417 53200025SRui Paulo lzma_index_end(lzma_index *i, const lzma_allocator *allocator)
418 81ad8388SMartin Matuska {
419 81ad8388SMartin Matuska 	// NOTE: If you modify this function, check also the bottom
420 81ad8388SMartin Matuska 	// of lzma_index_cat().
421 81ad8388SMartin Matuska 	if (i != NULL) {
422 81ad8388SMartin Matuska 		index_tree_end(&i->streams, allocator, &index_stream_end);
423 81ad8388SMartin Matuska 		lzma_free(i, allocator);
424 81ad8388SMartin Matuska 	}
425 81ad8388SMartin Matuska 
426 81ad8388SMartin Matuska 	return;
427 81ad8388SMartin Matuska }
428 81ad8388SMartin Matuska 
429 81ad8388SMartin Matuska 
430 81ad8388SMartin Matuska extern void
431 81ad8388SMartin Matuska lzma_index_prealloc(lzma_index *i, lzma_vli records)
432 81ad8388SMartin Matuska {
433 81ad8388SMartin Matuska 	if (records > PREALLOC_MAX)
434 81ad8388SMartin Matuska 		records = PREALLOC_MAX;
435 81ad8388SMartin Matuska 
436 81ad8388SMartin Matuska 	i->prealloc = (size_t)(records);
437 81ad8388SMartin Matuska 	return;
438 81ad8388SMartin Matuska }
439 81ad8388SMartin Matuska 
440 81ad8388SMartin Matuska 
441 81ad8388SMartin Matuska extern LZMA_API(uint64_t)
442 81ad8388SMartin Matuska lzma_index_memusage(lzma_vli streams, lzma_vli blocks)
443 81ad8388SMartin Matuska {
444 81ad8388SMartin Matuska 	// This calculates an upper bound that is only a little bit
445 81ad8388SMartin Matuska 	// bigger than the exact maximum memory usage with the given
446 81ad8388SMartin Matuska 	// parameters.
447 81ad8388SMartin Matuska 
448 81ad8388SMartin Matuska 	// Typical malloc() overhead is 2 * sizeof(void *) but we take
449 81ad8388SMartin Matuska 	// a little bit extra just in case. Using LZMA_MEMUSAGE_BASE
450 81ad8388SMartin Matuska 	// instead would give too inaccurate estimate.
451 81ad8388SMartin Matuska 	const size_t alloc_overhead = 4 * sizeof(void *);
452 81ad8388SMartin Matuska 
453 81ad8388SMartin Matuska 	// Amount of memory needed for each Stream base structures.
454 81ad8388SMartin Matuska 	// We assume that every Stream has at least one Block and
455 81ad8388SMartin Matuska 	// thus at least one group.
456 81ad8388SMartin Matuska 	const size_t stream_base = sizeof(index_stream)
457 81ad8388SMartin Matuska 			+ sizeof(index_group) + 2 * alloc_overhead;
458 81ad8388SMartin Matuska 
459 81ad8388SMartin Matuska 	// Amount of memory needed per group.
460 81ad8388SMartin Matuska 	const size_t group_base = sizeof(index_group)
461 81ad8388SMartin Matuska 			+ INDEX_GROUP_SIZE * sizeof(index_record)
462 81ad8388SMartin Matuska 			+ alloc_overhead;
463 81ad8388SMartin Matuska 
464 81ad8388SMartin Matuska 	// Number of groups. There may actually be more, but that overhead
465 81ad8388SMartin Matuska 	// has been taken into account in stream_base already.
466 81ad8388SMartin Matuska 	const lzma_vli groups
467 81ad8388SMartin Matuska 			= (blocks + INDEX_GROUP_SIZE - 1) / INDEX_GROUP_SIZE;
468 81ad8388SMartin Matuska 
469 81ad8388SMartin Matuska 	// Memory used by index_stream and index_group structures.
470 81ad8388SMartin Matuska 	const uint64_t streams_mem = streams * stream_base;
471 81ad8388SMartin Matuska 	const uint64_t groups_mem = groups * group_base;
472 81ad8388SMartin Matuska 
473 81ad8388SMartin Matuska 	// Memory used by the base structure.
474 81ad8388SMartin Matuska 	const uint64_t index_base = sizeof(lzma_index) + alloc_overhead;
475 81ad8388SMartin Matuska 
476 81ad8388SMartin Matuska 	// Validate the arguments and catch integer overflows.
477 81ad8388SMartin Matuska 	// Maximum number of Streams is "only" UINT32_MAX, because
478 81ad8388SMartin Matuska 	// that limit is used by the tree containing the Streams.
479 81ad8388SMartin Matuska 	const uint64_t limit = UINT64_MAX - index_base;
480 81ad8388SMartin Matuska 	if (streams == 0 || streams > UINT32_MAX || blocks > LZMA_VLI_MAX
481 81ad8388SMartin Matuska 			|| streams > limit / stream_base
482 81ad8388SMartin Matuska 			|| groups > limit / group_base
483 81ad8388SMartin Matuska 			|| limit - streams_mem < groups_mem)
484 81ad8388SMartin Matuska 		return UINT64_MAX;
485 81ad8388SMartin Matuska 
486 81ad8388SMartin Matuska 	return index_base + streams_mem + groups_mem;
487 81ad8388SMartin Matuska }
488 81ad8388SMartin Matuska 
489 81ad8388SMartin Matuska 
490 81ad8388SMartin Matuska extern LZMA_API(uint64_t)
491 81ad8388SMartin Matuska lzma_index_memused(const lzma_index *i)
492 81ad8388SMartin Matuska {
493 81ad8388SMartin Matuska 	return lzma_index_memusage(i->streams.count, i->record_count);
494 81ad8388SMartin Matuska }
495 81ad8388SMartin Matuska 
496 81ad8388SMartin Matuska 
497 81ad8388SMartin Matuska extern LZMA_API(lzma_vli)
498 81ad8388SMartin Matuska lzma_index_block_count(const lzma_index *i)
499 81ad8388SMartin Matuska {
500 81ad8388SMartin Matuska 	return i->record_count;
501 81ad8388SMartin Matuska }
502 81ad8388SMartin Matuska 
503 81ad8388SMartin Matuska 
504 81ad8388SMartin Matuska extern LZMA_API(lzma_vli)
505 81ad8388SMartin Matuska lzma_index_stream_count(const lzma_index *i)
506 81ad8388SMartin Matuska {
507 81ad8388SMartin Matuska 	return i->streams.count;
508 81ad8388SMartin Matuska }
509 81ad8388SMartin Matuska 
510 81ad8388SMartin Matuska 
511 81ad8388SMartin Matuska extern LZMA_API(lzma_vli)
512 81ad8388SMartin Matuska lzma_index_size(const lzma_index *i)
513 81ad8388SMartin Matuska {
514 81ad8388SMartin Matuska 	return index_size(i->record_count, i->index_list_size);
515 81ad8388SMartin Matuska }
516 81ad8388SMartin Matuska 
517 81ad8388SMartin Matuska 
518 81ad8388SMartin Matuska extern LZMA_API(lzma_vli)
519 81ad8388SMartin Matuska lzma_index_total_size(const lzma_index *i)
520 81ad8388SMartin Matuska {
521 81ad8388SMartin Matuska 	return i->total_size;
522 81ad8388SMartin Matuska }
523 81ad8388SMartin Matuska 
524 81ad8388SMartin Matuska 
525 81ad8388SMartin Matuska extern LZMA_API(lzma_vli)
526 81ad8388SMartin Matuska lzma_index_stream_size(const lzma_index *i)
527 81ad8388SMartin Matuska {
528 81ad8388SMartin Matuska 	// Stream Header + Blocks + Index + Stream Footer
529 81ad8388SMartin Matuska 	return LZMA_STREAM_HEADER_SIZE + i->total_size
530 81ad8388SMartin Matuska 			+ index_size(i->record_count, i->index_list_size)
531 81ad8388SMartin Matuska 			+ LZMA_STREAM_HEADER_SIZE;
532 81ad8388SMartin Matuska }
533 81ad8388SMartin Matuska 
534 81ad8388SMartin Matuska 
535 81ad8388SMartin Matuska static lzma_vli
536 81ad8388SMartin Matuska index_file_size(lzma_vli compressed_base, lzma_vli unpadded_sum,
537 81ad8388SMartin Matuska 		lzma_vli record_count, lzma_vli index_list_size,
538 81ad8388SMartin Matuska 		lzma_vli stream_padding)
539 81ad8388SMartin Matuska {
540 81ad8388SMartin Matuska 	// Earlier Streams and Stream Paddings + Stream Header
541 81ad8388SMartin Matuska 	// + Blocks + Index + Stream Footer + Stream Padding
542 81ad8388SMartin Matuska 	//
543 81ad8388SMartin Matuska 	// This might go over LZMA_VLI_MAX due to too big unpadded_sum
544 81ad8388SMartin Matuska 	// when this function is used in lzma_index_append().
545 81ad8388SMartin Matuska 	lzma_vli file_size = compressed_base + 2 * LZMA_STREAM_HEADER_SIZE
546 81ad8388SMartin Matuska 			+ stream_padding + vli_ceil4(unpadded_sum);
547 81ad8388SMartin Matuska 	if (file_size > LZMA_VLI_MAX)
548 81ad8388SMartin Matuska 		return LZMA_VLI_UNKNOWN;
549 81ad8388SMartin Matuska 
550 81ad8388SMartin Matuska 	// The same applies here.
551 81ad8388SMartin Matuska 	file_size += index_size(record_count, index_list_size);
552 81ad8388SMartin Matuska 	if (file_size > LZMA_VLI_MAX)
553 81ad8388SMartin Matuska 		return LZMA_VLI_UNKNOWN;
554 81ad8388SMartin Matuska 
555 81ad8388SMartin Matuska 	return file_size;
556 81ad8388SMartin Matuska }
557 81ad8388SMartin Matuska 
558 81ad8388SMartin Matuska 
559 81ad8388SMartin Matuska extern LZMA_API(lzma_vli)
560 81ad8388SMartin Matuska lzma_index_file_size(const lzma_index *i)
561 81ad8388SMartin Matuska {
562 81ad8388SMartin Matuska 	const index_stream *s = (const index_stream *)(i->streams.rightmost);
563 81ad8388SMartin Matuska 	const index_group *g = (const index_group *)(s->groups.rightmost);
564 81ad8388SMartin Matuska 	return index_file_size(s->node.compressed_base,
565 81ad8388SMartin Matuska 			g == NULL ? 0 : g->records[g->last].unpadded_sum,
566 81ad8388SMartin Matuska 			s->record_count, s->index_list_size,
567 81ad8388SMartin Matuska 			s->stream_padding);
568 81ad8388SMartin Matuska }
569 81ad8388SMartin Matuska 
570 81ad8388SMartin Matuska 
571 81ad8388SMartin Matuska extern LZMA_API(lzma_vli)
572 81ad8388SMartin Matuska lzma_index_uncompressed_size(const lzma_index *i)
573 81ad8388SMartin Matuska {
574 81ad8388SMartin Matuska 	return i->uncompressed_size;
575 81ad8388SMartin Matuska }
576 81ad8388SMartin Matuska 
577 81ad8388SMartin Matuska 
578 81ad8388SMartin Matuska extern LZMA_API(uint32_t)
579 81ad8388SMartin Matuska lzma_index_checks(const lzma_index *i)
580 81ad8388SMartin Matuska {
581 81ad8388SMartin Matuska 	uint32_t checks = i->checks;
582 81ad8388SMartin Matuska 
583 81ad8388SMartin Matuska 	// Get the type of the Check of the last Stream too.
584 81ad8388SMartin Matuska 	const index_stream *s = (const index_stream *)(i->streams.rightmost);
585 81ad8388SMartin Matuska 	if (s->stream_flags.version != UINT32_MAX)
586 81ad8388SMartin Matuska 		checks |= UINT32_C(1) << s->stream_flags.check;
587 81ad8388SMartin Matuska 
588 81ad8388SMartin Matuska 	return checks;
589 81ad8388SMartin Matuska }
590 81ad8388SMartin Matuska 
591 81ad8388SMartin Matuska 
592 81ad8388SMartin Matuska extern uint32_t
593 81ad8388SMartin Matuska lzma_index_padding_size(const lzma_index *i)
594 81ad8388SMartin Matuska {
595 81ad8388SMartin Matuska 	return (LZMA_VLI_C(4) - index_size_unpadded(
596 81ad8388SMartin Matuska 			i->record_count, i->index_list_size)) & 3;
597 81ad8388SMartin Matuska }
598 81ad8388SMartin Matuska 
599 81ad8388SMartin Matuska 
600 81ad8388SMartin Matuska extern LZMA_API(lzma_ret)
601 81ad8388SMartin Matuska lzma_index_stream_flags(lzma_index *i, const lzma_stream_flags *stream_flags)
602 81ad8388SMartin Matuska {
603 81ad8388SMartin Matuska 	if (i == NULL || stream_flags == NULL)
604 81ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
605 81ad8388SMartin Matuska 
606 81ad8388SMartin Matuska 	// Validate the Stream Flags.
607 81ad8388SMartin Matuska 	return_if_error(lzma_stream_flags_compare(
608 81ad8388SMartin Matuska 			stream_flags, stream_flags));
609 81ad8388SMartin Matuska 
610 81ad8388SMartin Matuska 	index_stream *s = (index_stream *)(i->streams.rightmost);
611 81ad8388SMartin Matuska 	s->stream_flags = *stream_flags;
612 81ad8388SMartin Matuska 
613 81ad8388SMartin Matuska 	return LZMA_OK;
614 81ad8388SMartin Matuska }
615 81ad8388SMartin Matuska 
616 81ad8388SMartin Matuska 
617 81ad8388SMartin Matuska extern LZMA_API(lzma_ret)
618 81ad8388SMartin Matuska lzma_index_stream_padding(lzma_index *i, lzma_vli stream_padding)
619 81ad8388SMartin Matuska {
620 81ad8388SMartin Matuska 	if (i == NULL || stream_padding > LZMA_VLI_MAX
621 81ad8388SMartin Matuska 			|| (stream_padding & 3) != 0)
622 81ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
623 81ad8388SMartin Matuska 
624 81ad8388SMartin Matuska 	index_stream *s = (index_stream *)(i->streams.rightmost);
625 81ad8388SMartin Matuska 
626 81ad8388SMartin Matuska 	// Check that the new value won't make the file grow too big.
627 81ad8388SMartin Matuska 	const lzma_vli old_stream_padding = s->stream_padding;
628 81ad8388SMartin Matuska 	s->stream_padding = 0;
629 81ad8388SMartin Matuska 	if (lzma_index_file_size(i) + stream_padding > LZMA_VLI_MAX) {
630 81ad8388SMartin Matuska 		s->stream_padding = old_stream_padding;
631 81ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
632 81ad8388SMartin Matuska 	}
633 81ad8388SMartin Matuska 
634 81ad8388SMartin Matuska 	s->stream_padding = stream_padding;
635 81ad8388SMartin Matuska 	return LZMA_OK;
636 81ad8388SMartin Matuska }
637 81ad8388SMartin Matuska 
638 81ad8388SMartin Matuska 
639 81ad8388SMartin Matuska extern LZMA_API(lzma_ret)
640 53200025SRui Paulo lzma_index_append(lzma_index *i, const lzma_allocator *allocator,
641 81ad8388SMartin Matuska 		lzma_vli unpadded_size, lzma_vli uncompressed_size)
642 81ad8388SMartin Matuska {
643 81ad8388SMartin Matuska 	// Validate.
644 81ad8388SMartin Matuska 	if (i == NULL || unpadded_size < UNPADDED_SIZE_MIN
645 81ad8388SMartin Matuska 			|| unpadded_size > UNPADDED_SIZE_MAX
646 81ad8388SMartin Matuska 			|| uncompressed_size > LZMA_VLI_MAX)
647 81ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
648 81ad8388SMartin Matuska 
649 81ad8388SMartin Matuska 	index_stream *s = (index_stream *)(i->streams.rightmost);
650 81ad8388SMartin Matuska 	index_group *g = (index_group *)(s->groups.rightmost);
651 81ad8388SMartin Matuska 
652 81ad8388SMartin Matuska 	const lzma_vli compressed_base = g == NULL ? 0
653 81ad8388SMartin Matuska 			: vli_ceil4(g->records[g->last].unpadded_sum);
654 81ad8388SMartin Matuska 	const lzma_vli uncompressed_base = g == NULL ? 0
655 81ad8388SMartin Matuska 			: g->records[g->last].uncompressed_sum;
656 81ad8388SMartin Matuska 	const uint32_t index_list_size_add = lzma_vli_size(unpadded_size)
657 81ad8388SMartin Matuska 			+ lzma_vli_size(uncompressed_size);
658 81ad8388SMartin Matuska 
659 9e6bbe47SXin LI 	// Check that uncompressed size will not overflow.
660 9e6bbe47SXin LI 	if (uncompressed_base + uncompressed_size > LZMA_VLI_MAX)
661 9e6bbe47SXin LI 		return LZMA_DATA_ERROR;
662 9e6bbe47SXin LI 
663 ca6a6373SXin LI 	// Check that the new unpadded sum will not overflow. This is
664 ca6a6373SXin LI 	// checked again in index_file_size(), but the unpadded sum is
665 ca6a6373SXin LI 	// passed to vli_ceil4() which expects a valid lzma_vli value.
666 ca6a6373SXin LI 	if (compressed_base + unpadded_size > UNPADDED_SIZE_MAX)
667 ca6a6373SXin LI 		return LZMA_DATA_ERROR;
668 ca6a6373SXin LI 
669 81ad8388SMartin Matuska 	// Check that the file size will stay within limits.
670 81ad8388SMartin Matuska 	if (index_file_size(s->node.compressed_base,
671 81ad8388SMartin Matuska 			compressed_base + unpadded_size, s->record_count + 1,
672 81ad8388SMartin Matuska 			s->index_list_size + index_list_size_add,
673 81ad8388SMartin Matuska 			s->stream_padding) == LZMA_VLI_UNKNOWN)
674 81ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
675 81ad8388SMartin Matuska 
676 81ad8388SMartin Matuska 	// The size of the Index field must not exceed the maximum value
677 81ad8388SMartin Matuska 	// that can be stored in the Backward Size field.
678 81ad8388SMartin Matuska 	if (index_size(i->record_count + 1,
679 81ad8388SMartin Matuska 			i->index_list_size + index_list_size_add)
680 81ad8388SMartin Matuska 			> LZMA_BACKWARD_SIZE_MAX)
681 81ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
682 81ad8388SMartin Matuska 
683 81ad8388SMartin Matuska 	if (g != NULL && g->last + 1 < g->allocated) {
684 81ad8388SMartin Matuska 		// There is space in the last group at least for one Record.
685 81ad8388SMartin Matuska 		++g->last;
686 81ad8388SMartin Matuska 	} else {
687 81ad8388SMartin Matuska 		// We need to allocate a new group.
688 81ad8388SMartin Matuska 		g = lzma_alloc(sizeof(index_group)
689 81ad8388SMartin Matuska 				+ i->prealloc * sizeof(index_record),
690 81ad8388SMartin Matuska 				allocator);
691 81ad8388SMartin Matuska 		if (g == NULL)
692 81ad8388SMartin Matuska 			return LZMA_MEM_ERROR;
693 81ad8388SMartin Matuska 
694 81ad8388SMartin Matuska 		g->last = 0;
695 81ad8388SMartin Matuska 		g->allocated = i->prealloc;
696 81ad8388SMartin Matuska 
697 81ad8388SMartin Matuska 		// Reset prealloc so that if the application happens to
698 81ad8388SMartin Matuska 		// add new Records, the allocation size will be sane.
699 81ad8388SMartin Matuska 		i->prealloc = INDEX_GROUP_SIZE;
700 81ad8388SMartin Matuska 
701 81ad8388SMartin Matuska 		// Set the start offsets of this group.
702 81ad8388SMartin Matuska 		g->node.uncompressed_base = uncompressed_base;
703 81ad8388SMartin Matuska 		g->node.compressed_base = compressed_base;
704 81ad8388SMartin Matuska 		g->number_base = s->record_count + 1;
705 81ad8388SMartin Matuska 
706 81ad8388SMartin Matuska 		// Add the new group to the Stream.
707 81ad8388SMartin Matuska 		index_tree_append(&s->groups, &g->node);
708 81ad8388SMartin Matuska 	}
709 81ad8388SMartin Matuska 
710 81ad8388SMartin Matuska 	// Add the new Record to the group.
711 81ad8388SMartin Matuska 	g->records[g->last].uncompressed_sum
712 81ad8388SMartin Matuska 			= uncompressed_base + uncompressed_size;
713 81ad8388SMartin Matuska 	g->records[g->last].unpadded_sum
714 81ad8388SMartin Matuska 			= compressed_base + unpadded_size;
715 81ad8388SMartin Matuska 
716 81ad8388SMartin Matuska 	// Update the totals.
717 81ad8388SMartin Matuska 	++s->record_count;
718 81ad8388SMartin Matuska 	s->index_list_size += index_list_size_add;
719 81ad8388SMartin Matuska 
720 81ad8388SMartin Matuska 	i->total_size += vli_ceil4(unpadded_size);
721 81ad8388SMartin Matuska 	i->uncompressed_size += uncompressed_size;
722 81ad8388SMartin Matuska 	++i->record_count;
723 81ad8388SMartin Matuska 	i->index_list_size += index_list_size_add;
724 81ad8388SMartin Matuska 
725 81ad8388SMartin Matuska 	return LZMA_OK;
726 81ad8388SMartin Matuska }
727 81ad8388SMartin Matuska 
728 81ad8388SMartin Matuska 
729 81ad8388SMartin Matuska /// Structure to pass info to index_cat_helper()
730 81ad8388SMartin Matuska typedef struct {
731 81ad8388SMartin Matuska 	/// Uncompressed size of the destination
732 81ad8388SMartin Matuska 	lzma_vli uncompressed_size;
733 81ad8388SMartin Matuska 
734 81ad8388SMartin Matuska 	/// Compressed file size of the destination
735 81ad8388SMartin Matuska 	lzma_vli file_size;
736 81ad8388SMartin Matuska 
737 81ad8388SMartin Matuska 	/// Same as above but for Block numbers
738 81ad8388SMartin Matuska 	lzma_vli block_number_add;
739 81ad8388SMartin Matuska 
740 81ad8388SMartin Matuska 	/// Number of Streams that were in the destination index before we
741 81ad8388SMartin Matuska 	/// started appending new Streams from the source index. This is
742 81ad8388SMartin Matuska 	/// used to fix the Stream numbering.
743 81ad8388SMartin Matuska 	uint32_t stream_number_add;
744 81ad8388SMartin Matuska 
745 81ad8388SMartin Matuska 	/// Destination index' Stream tree
746 81ad8388SMartin Matuska 	index_tree *streams;
747 81ad8388SMartin Matuska 
748 81ad8388SMartin Matuska } index_cat_info;
749 81ad8388SMartin Matuska 
750 81ad8388SMartin Matuska 
751 81ad8388SMartin Matuska /// Add the Stream nodes from the source index to dest using recursion.
752 81ad8388SMartin Matuska /// Simplest iterative traversal of the source tree wouldn't work, because
753 81ad8388SMartin Matuska /// we update the pointers in nodes when moving them to the destination tree.
754 81ad8388SMartin Matuska static void
755 81ad8388SMartin Matuska index_cat_helper(const index_cat_info *info, index_stream *this)
756 81ad8388SMartin Matuska {
757 81ad8388SMartin Matuska 	index_stream *left = (index_stream *)(this->node.left);
758 81ad8388SMartin Matuska 	index_stream *right = (index_stream *)(this->node.right);
759 81ad8388SMartin Matuska 
760 81ad8388SMartin Matuska 	if (left != NULL)
761 81ad8388SMartin Matuska 		index_cat_helper(info, left);
762 81ad8388SMartin Matuska 
763 81ad8388SMartin Matuska 	this->node.uncompressed_base += info->uncompressed_size;
764 81ad8388SMartin Matuska 	this->node.compressed_base += info->file_size;
765 81ad8388SMartin Matuska 	this->number += info->stream_number_add;
766 81ad8388SMartin Matuska 	this->block_number_base += info->block_number_add;
767 81ad8388SMartin Matuska 	index_tree_append(info->streams, &this->node);
768 81ad8388SMartin Matuska 
769 81ad8388SMartin Matuska 	if (right != NULL)
770 81ad8388SMartin Matuska 		index_cat_helper(info, right);
771 81ad8388SMartin Matuska 
772 81ad8388SMartin Matuska 	return;
773 81ad8388SMartin Matuska }
774 81ad8388SMartin Matuska 
775 81ad8388SMartin Matuska 
776 81ad8388SMartin Matuska extern LZMA_API(lzma_ret)
777 81ad8388SMartin Matuska lzma_index_cat(lzma_index *restrict dest, lzma_index *restrict src,
778 53200025SRui Paulo 		const lzma_allocator *allocator)
779 81ad8388SMartin Matuska {
780 9e6bbe47SXin LI 	if (dest == NULL || src == NULL)
781 9e6bbe47SXin LI 		return LZMA_PROG_ERROR;
782 9e6bbe47SXin LI 
783 81ad8388SMartin Matuska 	const lzma_vli dest_file_size = lzma_index_file_size(dest);
784 81ad8388SMartin Matuska 
785 81ad8388SMartin Matuska 	// Check that we don't exceed the file size limits.
786 81ad8388SMartin Matuska 	if (dest_file_size + lzma_index_file_size(src) > LZMA_VLI_MAX
787 81ad8388SMartin Matuska 			|| dest->uncompressed_size + src->uncompressed_size
788 81ad8388SMartin Matuska 				> LZMA_VLI_MAX)
789 81ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
790 81ad8388SMartin Matuska 
791 81ad8388SMartin Matuska 	// Check that the encoded size of the combined lzma_indexes stays
792 81ad8388SMartin Matuska 	// within limits. In theory, this should be done only if we know
793 81ad8388SMartin Matuska 	// that the user plans to actually combine the Streams and thus
794 81ad8388SMartin Matuska 	// construct a single Index (probably rare). However, exceeding
795 81ad8388SMartin Matuska 	// this limit is quite theoretical, so we do this check always
796 81ad8388SMartin Matuska 	// to simplify things elsewhere.
797 81ad8388SMartin Matuska 	{
798 81ad8388SMartin Matuska 		const lzma_vli dest_size = index_size_unpadded(
799 81ad8388SMartin Matuska 				dest->record_count, dest->index_list_size);
800 81ad8388SMartin Matuska 		const lzma_vli src_size = index_size_unpadded(
801 81ad8388SMartin Matuska 				src->record_count, src->index_list_size);
802 81ad8388SMartin Matuska 		if (vli_ceil4(dest_size + src_size) > LZMA_BACKWARD_SIZE_MAX)
803 81ad8388SMartin Matuska 			return LZMA_DATA_ERROR;
804 81ad8388SMartin Matuska 	}
805 81ad8388SMartin Matuska 
806 81ad8388SMartin Matuska 	// Optimize the last group to minimize memory usage. Allocation has
807 81ad8388SMartin Matuska 	// to be done before modifying dest or src.
808 81ad8388SMartin Matuska 	{
809 81ad8388SMartin Matuska 		index_stream *s = (index_stream *)(dest->streams.rightmost);
810 81ad8388SMartin Matuska 		index_group *g = (index_group *)(s->groups.rightmost);
811 81ad8388SMartin Matuska 		if (g != NULL && g->last + 1 < g->allocated) {
812 81ad8388SMartin Matuska 			assert(g->node.left == NULL);
813 81ad8388SMartin Matuska 			assert(g->node.right == NULL);
814 81ad8388SMartin Matuska 
815 81ad8388SMartin Matuska 			index_group *newg = lzma_alloc(sizeof(index_group)
816 81ad8388SMartin Matuska 					+ (g->last + 1)
817 81ad8388SMartin Matuska 					* sizeof(index_record),
818 81ad8388SMartin Matuska 					allocator);
819 81ad8388SMartin Matuska 			if (newg == NULL)
820 81ad8388SMartin Matuska 				return LZMA_MEM_ERROR;
821 81ad8388SMartin Matuska 
822 81ad8388SMartin Matuska 			newg->node = g->node;
823 81ad8388SMartin Matuska 			newg->allocated = g->last + 1;
824 81ad8388SMartin Matuska 			newg->last = g->last;
825 81ad8388SMartin Matuska 			newg->number_base = g->number_base;
826 81ad8388SMartin Matuska 
827 81ad8388SMartin Matuska 			memcpy(newg->records, g->records, newg->allocated
828 81ad8388SMartin Matuska 					* sizeof(index_record));
829 81ad8388SMartin Matuska 
830 81ad8388SMartin Matuska 			if (g->node.parent != NULL) {
831 81ad8388SMartin Matuska 				assert(g->node.parent->right == &g->node);
832 81ad8388SMartin Matuska 				g->node.parent->right = &newg->node;
833 81ad8388SMartin Matuska 			}
834 81ad8388SMartin Matuska 
835 81ad8388SMartin Matuska 			if (s->groups.leftmost == &g->node) {
836 81ad8388SMartin Matuska 				assert(s->groups.root == &g->node);
837 81ad8388SMartin Matuska 				s->groups.leftmost = &newg->node;
838 81ad8388SMartin Matuska 				s->groups.root = &newg->node;
839 81ad8388SMartin Matuska 			}
840 81ad8388SMartin Matuska 
841 a8675d92SXin LI 			assert(s->groups.rightmost == &g->node);
842 81ad8388SMartin Matuska 			s->groups.rightmost = &newg->node;
843 81ad8388SMartin Matuska 
844 81ad8388SMartin Matuska 			lzma_free(g, allocator);
845 1456f0f9SXin LI 
846 1456f0f9SXin LI 			// NOTE: newg isn't leaked here because
847 1456f0f9SXin LI 			// newg == (void *)&newg->node.
848 81ad8388SMartin Matuska 		}
849 81ad8388SMartin Matuska 	}
850 81ad8388SMartin Matuska 
851 9e6bbe47SXin LI 	// dest->checks includes the check types of all except the last Stream
852 9e6bbe47SXin LI 	// in dest. Set the bit for the check type of the last Stream now so
853 9e6bbe47SXin LI 	// that it won't get lost when Stream(s) from src are appended to dest.
854 9e6bbe47SXin LI 	dest->checks = lzma_index_checks(dest);
855 9e6bbe47SXin LI 
856 81ad8388SMartin Matuska 	// Add all the Streams from src to dest. Update the base offsets
857 81ad8388SMartin Matuska 	// of each Stream from src.
858 81ad8388SMartin Matuska 	const index_cat_info info = {
859 81ad8388SMartin Matuska 		.uncompressed_size = dest->uncompressed_size,
860 81ad8388SMartin Matuska 		.file_size = dest_file_size,
861 81ad8388SMartin Matuska 		.stream_number_add = dest->streams.count,
862 81ad8388SMartin Matuska 		.block_number_add = dest->record_count,
863 81ad8388SMartin Matuska 		.streams = &dest->streams,
864 81ad8388SMartin Matuska 	};
865 81ad8388SMartin Matuska 	index_cat_helper(&info, (index_stream *)(src->streams.root));
866 81ad8388SMartin Matuska 
867 81ad8388SMartin Matuska 	// Update info about all the combined Streams.
868 81ad8388SMartin Matuska 	dest->uncompressed_size += src->uncompressed_size;
869 81ad8388SMartin Matuska 	dest->total_size += src->total_size;
870 81ad8388SMartin Matuska 	dest->record_count += src->record_count;
871 81ad8388SMartin Matuska 	dest->index_list_size += src->index_list_size;
872 9e6bbe47SXin LI 	dest->checks |= src->checks;
873 81ad8388SMartin Matuska 
874 81ad8388SMartin Matuska 	// There's nothing else left in src than the base structure.
875 81ad8388SMartin Matuska 	lzma_free(src, allocator);
876 81ad8388SMartin Matuska 
877 81ad8388SMartin Matuska 	return LZMA_OK;
878 81ad8388SMartin Matuska }
879 81ad8388SMartin Matuska 
880 81ad8388SMartin Matuska 
881 81ad8388SMartin Matuska /// Duplicate an index_stream.
882 81ad8388SMartin Matuska static index_stream *
883 53200025SRui Paulo index_dup_stream(const index_stream *src, const lzma_allocator *allocator)
884 81ad8388SMartin Matuska {
885 81ad8388SMartin Matuska 	// Catch a somewhat theoretical integer overflow.
886 81ad8388SMartin Matuska 	if (src->record_count > PREALLOC_MAX)
887 81ad8388SMartin Matuska 		return NULL;
888 81ad8388SMartin Matuska 
889 81ad8388SMartin Matuska 	// Allocate and initialize a new Stream.
890 81ad8388SMartin Matuska 	index_stream *dest = index_stream_init(src->node.compressed_base,
891 81ad8388SMartin Matuska 			src->node.uncompressed_base, src->number,
892 81ad8388SMartin Matuska 			src->block_number_base, allocator);
893 1456f0f9SXin LI 	if (dest == NULL)
894 1456f0f9SXin LI 		return NULL;
895 81ad8388SMartin Matuska 
896 81ad8388SMartin Matuska 	// Copy the overall information.
897 81ad8388SMartin Matuska 	dest->record_count = src->record_count;
898 81ad8388SMartin Matuska 	dest->index_list_size = src->index_list_size;
899 81ad8388SMartin Matuska 	dest->stream_flags = src->stream_flags;
900 81ad8388SMartin Matuska 	dest->stream_padding = src->stream_padding;
901 81ad8388SMartin Matuska 
902 1456f0f9SXin LI 	// Return if there are no groups to duplicate.
903 1456f0f9SXin LI 	if (src->groups.leftmost == NULL)
904 1456f0f9SXin LI 		return dest;
905 1456f0f9SXin LI 
906 81ad8388SMartin Matuska 	// Allocate memory for the Records. We put all the Records into
907 81ad8388SMartin Matuska 	// a single group. It's simplest and also tends to make
908 81ad8388SMartin Matuska 	// lzma_index_locate() a little bit faster with very big Indexes.
909 81ad8388SMartin Matuska 	index_group *destg = lzma_alloc(sizeof(index_group)
910 81ad8388SMartin Matuska 			+ src->record_count * sizeof(index_record),
911 81ad8388SMartin Matuska 			allocator);
912 81ad8388SMartin Matuska 	if (destg == NULL) {
913 81ad8388SMartin Matuska 		index_stream_end(dest, allocator);
914 81ad8388SMartin Matuska 		return NULL;
915 81ad8388SMartin Matuska 	}
916 81ad8388SMartin Matuska 
917 81ad8388SMartin Matuska 	// Initialize destg.
918 81ad8388SMartin Matuska 	destg->node.uncompressed_base = 0;
919 81ad8388SMartin Matuska 	destg->node.compressed_base = 0;
920 81ad8388SMartin Matuska 	destg->number_base = 1;
921 81ad8388SMartin Matuska 	destg->allocated = src->record_count;
922 81ad8388SMartin Matuska 	destg->last = src->record_count - 1;
923 81ad8388SMartin Matuska 
924 81ad8388SMartin Matuska 	// Go through all the groups in src and copy the Records into destg.
925 81ad8388SMartin Matuska 	const index_group *srcg = (const index_group *)(src->groups.leftmost);
926 81ad8388SMartin Matuska 	size_t i = 0;
927 81ad8388SMartin Matuska 	do {
928 81ad8388SMartin Matuska 		memcpy(destg->records + i, srcg->records,
929 81ad8388SMartin Matuska 				(srcg->last + 1) * sizeof(index_record));
930 81ad8388SMartin Matuska 		i += srcg->last + 1;
931 81ad8388SMartin Matuska 		srcg = index_tree_next(&srcg->node);
932 81ad8388SMartin Matuska 	} while (srcg != NULL);
933 81ad8388SMartin Matuska 
934 81ad8388SMartin Matuska 	assert(i == destg->allocated);
935 81ad8388SMartin Matuska 
936 81ad8388SMartin Matuska 	// Add the group to the new Stream.
937 81ad8388SMartin Matuska 	index_tree_append(&dest->groups, &destg->node);
938 81ad8388SMartin Matuska 
939 81ad8388SMartin Matuska 	return dest;
940 81ad8388SMartin Matuska }
941 81ad8388SMartin Matuska 
942 81ad8388SMartin Matuska 
943 81ad8388SMartin Matuska extern LZMA_API(lzma_index *)
944 53200025SRui Paulo lzma_index_dup(const lzma_index *src, const lzma_allocator *allocator)
945 81ad8388SMartin Matuska {
946 81ad8388SMartin Matuska 	// Allocate the base structure (no initial Stream).
947 81ad8388SMartin Matuska 	lzma_index *dest = index_init_plain(allocator);
948 81ad8388SMartin Matuska 	if (dest == NULL)
949 81ad8388SMartin Matuska 		return NULL;
950 81ad8388SMartin Matuska 
951 81ad8388SMartin Matuska 	// Copy the totals.
952 81ad8388SMartin Matuska 	dest->uncompressed_size = src->uncompressed_size;
953 81ad8388SMartin Matuska 	dest->total_size = src->total_size;
954 81ad8388SMartin Matuska 	dest->record_count = src->record_count;
955 81ad8388SMartin Matuska 	dest->index_list_size = src->index_list_size;
956 81ad8388SMartin Matuska 
957 81ad8388SMartin Matuska 	// Copy the Streams and the groups in them.
958 81ad8388SMartin Matuska 	const index_stream *srcstream
959 81ad8388SMartin Matuska 			= (const index_stream *)(src->streams.leftmost);
960 81ad8388SMartin Matuska 	do {
961 81ad8388SMartin Matuska 		index_stream *deststream = index_dup_stream(
962 81ad8388SMartin Matuska 				srcstream, allocator);
963 81ad8388SMartin Matuska 		if (deststream == NULL) {
964 81ad8388SMartin Matuska 			lzma_index_end(dest, allocator);
965 81ad8388SMartin Matuska 			return NULL;
966 81ad8388SMartin Matuska 		}
967 81ad8388SMartin Matuska 
968 81ad8388SMartin Matuska 		index_tree_append(&dest->streams, &deststream->node);
969 81ad8388SMartin Matuska 
970 81ad8388SMartin Matuska 		srcstream = index_tree_next(&srcstream->node);
971 81ad8388SMartin Matuska 	} while (srcstream != NULL);
972 81ad8388SMartin Matuska 
973 81ad8388SMartin Matuska 	return dest;
974 81ad8388SMartin Matuska }
975 81ad8388SMartin Matuska 
976 81ad8388SMartin Matuska 
977 81ad8388SMartin Matuska /// Indexing for lzma_index_iter.internal[]
978 81ad8388SMartin Matuska enum {
979 81ad8388SMartin Matuska 	ITER_INDEX,
980 81ad8388SMartin Matuska 	ITER_STREAM,
981 81ad8388SMartin Matuska 	ITER_GROUP,
982 81ad8388SMartin Matuska 	ITER_RECORD,
983 81ad8388SMartin Matuska 	ITER_METHOD,
984 81ad8388SMartin Matuska };
985 81ad8388SMartin Matuska 
986 81ad8388SMartin Matuska 
987 81ad8388SMartin Matuska /// Values for lzma_index_iter.internal[ITER_METHOD].s
988 81ad8388SMartin Matuska enum {
989 81ad8388SMartin Matuska 	ITER_METHOD_NORMAL,
990 81ad8388SMartin Matuska 	ITER_METHOD_NEXT,
991 81ad8388SMartin Matuska 	ITER_METHOD_LEFTMOST,
992 81ad8388SMartin Matuska };
993 81ad8388SMartin Matuska 
994 81ad8388SMartin Matuska 
995 81ad8388SMartin Matuska static void
996 81ad8388SMartin Matuska iter_set_info(lzma_index_iter *iter)
997 81ad8388SMartin Matuska {
998 81ad8388SMartin Matuska 	const lzma_index *i = iter->internal[ITER_INDEX].p;
999 81ad8388SMartin Matuska 	const index_stream *stream = iter->internal[ITER_STREAM].p;
1000 81ad8388SMartin Matuska 	const index_group *group = iter->internal[ITER_GROUP].p;
1001 81ad8388SMartin Matuska 	const size_t record = iter->internal[ITER_RECORD].s;
1002 81ad8388SMartin Matuska 
1003 81ad8388SMartin Matuska 	// lzma_index_iter.internal must not contain a pointer to the last
1004 81ad8388SMartin Matuska 	// group in the index, because that may be reallocated by
1005 81ad8388SMartin Matuska 	// lzma_index_cat().
1006 81ad8388SMartin Matuska 	if (group == NULL) {
1007 81ad8388SMartin Matuska 		// There are no groups.
1008 81ad8388SMartin Matuska 		assert(stream->groups.root == NULL);
1009 81ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST;
1010 81ad8388SMartin Matuska 
1011 81ad8388SMartin Matuska 	} else if (i->streams.rightmost != &stream->node
1012 81ad8388SMartin Matuska 			|| stream->groups.rightmost != &group->node) {
1013 81ad8388SMartin Matuska 		// The group is not not the last group in the index.
1014 81ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL;
1015 81ad8388SMartin Matuska 
1016 81ad8388SMartin Matuska 	} else if (stream->groups.leftmost != &group->node) {
1017 81ad8388SMartin Matuska 		// The group isn't the only group in the Stream, thus we
1018 81ad8388SMartin Matuska 		// know that it must have a parent group i.e. it's not
1019 81ad8388SMartin Matuska 		// the root node.
1020 81ad8388SMartin Matuska 		assert(stream->groups.root != &group->node);
1021 81ad8388SMartin Matuska 		assert(group->node.parent->right == &group->node);
1022 81ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_NEXT;
1023 81ad8388SMartin Matuska 		iter->internal[ITER_GROUP].p = group->node.parent;
1024 81ad8388SMartin Matuska 
1025 81ad8388SMartin Matuska 	} else {
1026 81ad8388SMartin Matuska 		// The Stream has only one group.
1027 81ad8388SMartin Matuska 		assert(stream->groups.root == &group->node);
1028 81ad8388SMartin Matuska 		assert(group->node.parent == NULL);
1029 81ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST;
1030 81ad8388SMartin Matuska 		iter->internal[ITER_GROUP].p = NULL;
1031 81ad8388SMartin Matuska 	}
1032 81ad8388SMartin Matuska 
1033 fe50a38eSXin LI 	// NOTE: lzma_index_iter.stream.number is lzma_vli but we use uint32_t
1034 fe50a38eSXin LI 	// internally.
1035 81ad8388SMartin Matuska 	iter->stream.number = stream->number;
1036 81ad8388SMartin Matuska 	iter->stream.block_count = stream->record_count;
1037 81ad8388SMartin Matuska 	iter->stream.compressed_offset = stream->node.compressed_base;
1038 81ad8388SMartin Matuska 	iter->stream.uncompressed_offset = stream->node.uncompressed_base;
1039 81ad8388SMartin Matuska 
1040 81ad8388SMartin Matuska 	// iter->stream.flags will be NULL if the Stream Flags haven't been
1041 81ad8388SMartin Matuska 	// set with lzma_index_stream_flags().
1042 81ad8388SMartin Matuska 	iter->stream.flags = stream->stream_flags.version == UINT32_MAX
1043 81ad8388SMartin Matuska 			? NULL : &stream->stream_flags;
1044 81ad8388SMartin Matuska 	iter->stream.padding = stream->stream_padding;
1045 81ad8388SMartin Matuska 
1046 81ad8388SMartin Matuska 	if (stream->groups.rightmost == NULL) {
1047 81ad8388SMartin Matuska 		// Stream has no Blocks.
1048 81ad8388SMartin Matuska 		iter->stream.compressed_size = index_size(0, 0)
1049 81ad8388SMartin Matuska 				+ 2 * LZMA_STREAM_HEADER_SIZE;
1050 81ad8388SMartin Matuska 		iter->stream.uncompressed_size = 0;
1051 81ad8388SMartin Matuska 	} else {
1052 81ad8388SMartin Matuska 		const index_group *g = (const index_group *)(
1053 81ad8388SMartin Matuska 				stream->groups.rightmost);
1054 81ad8388SMartin Matuska 
1055 81ad8388SMartin Matuska 		// Stream Header + Stream Footer + Index + Blocks
1056 81ad8388SMartin Matuska 		iter->stream.compressed_size = 2 * LZMA_STREAM_HEADER_SIZE
1057 81ad8388SMartin Matuska 				+ index_size(stream->record_count,
1058 81ad8388SMartin Matuska 					stream->index_list_size)
1059 81ad8388SMartin Matuska 				+ vli_ceil4(g->records[g->last].unpadded_sum);
1060 81ad8388SMartin Matuska 		iter->stream.uncompressed_size
1061 81ad8388SMartin Matuska 				= g->records[g->last].uncompressed_sum;
1062 81ad8388SMartin Matuska 	}
1063 81ad8388SMartin Matuska 
1064 81ad8388SMartin Matuska 	if (group != NULL) {
1065 81ad8388SMartin Matuska 		iter->block.number_in_stream = group->number_base + record;
1066 81ad8388SMartin Matuska 		iter->block.number_in_file = iter->block.number_in_stream
1067 81ad8388SMartin Matuska 				+ stream->block_number_base;
1068 81ad8388SMartin Matuska 
1069 81ad8388SMartin Matuska 		iter->block.compressed_stream_offset
1070 81ad8388SMartin Matuska 				= record == 0 ? group->node.compressed_base
1071 81ad8388SMartin Matuska 				: vli_ceil4(group->records[
1072 81ad8388SMartin Matuska 					record - 1].unpadded_sum);
1073 81ad8388SMartin Matuska 		iter->block.uncompressed_stream_offset
1074 81ad8388SMartin Matuska 				= record == 0 ? group->node.uncompressed_base
1075 81ad8388SMartin Matuska 				: group->records[record - 1].uncompressed_sum;
1076 81ad8388SMartin Matuska 
1077 81ad8388SMartin Matuska 		iter->block.uncompressed_size
1078 81ad8388SMartin Matuska 				= group->records[record].uncompressed_sum
1079 81ad8388SMartin Matuska 				- iter->block.uncompressed_stream_offset;
1080 81ad8388SMartin Matuska 		iter->block.unpadded_size
1081 81ad8388SMartin Matuska 				= group->records[record].unpadded_sum
1082 81ad8388SMartin Matuska 				- iter->block.compressed_stream_offset;
1083 81ad8388SMartin Matuska 		iter->block.total_size = vli_ceil4(iter->block.unpadded_size);
1084 81ad8388SMartin Matuska 
1085 81ad8388SMartin Matuska 		iter->block.compressed_stream_offset
1086 81ad8388SMartin Matuska 				+= LZMA_STREAM_HEADER_SIZE;
1087 81ad8388SMartin Matuska 
1088 81ad8388SMartin Matuska 		iter->block.compressed_file_offset
1089 81ad8388SMartin Matuska 				= iter->block.compressed_stream_offset
1090 81ad8388SMartin Matuska 				+ iter->stream.compressed_offset;
1091 81ad8388SMartin Matuska 		iter->block.uncompressed_file_offset
1092 81ad8388SMartin Matuska 				= iter->block.uncompressed_stream_offset
1093 81ad8388SMartin Matuska 				+ iter->stream.uncompressed_offset;
1094 81ad8388SMartin Matuska 	}
1095 81ad8388SMartin Matuska 
1096 81ad8388SMartin Matuska 	return;
1097 81ad8388SMartin Matuska }
1098 81ad8388SMartin Matuska 
1099 81ad8388SMartin Matuska 
1100 81ad8388SMartin Matuska extern LZMA_API(void)
1101 81ad8388SMartin Matuska lzma_index_iter_init(lzma_index_iter *iter, const lzma_index *i)
1102 81ad8388SMartin Matuska {
1103 81ad8388SMartin Matuska 	iter->internal[ITER_INDEX].p = i;
1104 81ad8388SMartin Matuska 	lzma_index_iter_rewind(iter);
1105 81ad8388SMartin Matuska 	return;
1106 81ad8388SMartin Matuska }
1107 81ad8388SMartin Matuska 
1108 81ad8388SMartin Matuska 
1109 81ad8388SMartin Matuska extern LZMA_API(void)
1110 81ad8388SMartin Matuska lzma_index_iter_rewind(lzma_index_iter *iter)
1111 81ad8388SMartin Matuska {
1112 81ad8388SMartin Matuska 	iter->internal[ITER_STREAM].p = NULL;
1113 81ad8388SMartin Matuska 	iter->internal[ITER_GROUP].p = NULL;
1114 81ad8388SMartin Matuska 	iter->internal[ITER_RECORD].s = 0;
1115 81ad8388SMartin Matuska 	iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL;
1116 81ad8388SMartin Matuska 	return;
1117 81ad8388SMartin Matuska }
1118 81ad8388SMartin Matuska 
1119 81ad8388SMartin Matuska 
1120 81ad8388SMartin Matuska extern LZMA_API(lzma_bool)
1121 81ad8388SMartin Matuska lzma_index_iter_next(lzma_index_iter *iter, lzma_index_iter_mode mode)
1122 81ad8388SMartin Matuska {
1123 81ad8388SMartin Matuska 	// Catch unsupported mode values.
1124 81ad8388SMartin Matuska 	if ((unsigned int)(mode) > LZMA_INDEX_ITER_NONEMPTY_BLOCK)
1125 81ad8388SMartin Matuska 		return true;
1126 81ad8388SMartin Matuska 
1127 81ad8388SMartin Matuska 	const lzma_index *i = iter->internal[ITER_INDEX].p;
1128 81ad8388SMartin Matuska 	const index_stream *stream = iter->internal[ITER_STREAM].p;
1129 81ad8388SMartin Matuska 	const index_group *group = NULL;
1130 81ad8388SMartin Matuska 	size_t record = iter->internal[ITER_RECORD].s;
1131 81ad8388SMartin Matuska 
1132 81ad8388SMartin Matuska 	// If we are being asked for the next Stream, leave group to NULL
1133 81ad8388SMartin Matuska 	// so that the rest of the this function thinks that this Stream
1134 81ad8388SMartin Matuska 	// has no groups and will thus go to the next Stream.
1135 81ad8388SMartin Matuska 	if (mode != LZMA_INDEX_ITER_STREAM) {
1136 81ad8388SMartin Matuska 		// Get the pointer to the current group. See iter_set_inf()
1137 81ad8388SMartin Matuska 		// for explanation.
1138 81ad8388SMartin Matuska 		switch (iter->internal[ITER_METHOD].s) {
1139 81ad8388SMartin Matuska 		case ITER_METHOD_NORMAL:
1140 81ad8388SMartin Matuska 			group = iter->internal[ITER_GROUP].p;
1141 81ad8388SMartin Matuska 			break;
1142 81ad8388SMartin Matuska 
1143 81ad8388SMartin Matuska 		case ITER_METHOD_NEXT:
1144 81ad8388SMartin Matuska 			group = index_tree_next(iter->internal[ITER_GROUP].p);
1145 81ad8388SMartin Matuska 			break;
1146 81ad8388SMartin Matuska 
1147 81ad8388SMartin Matuska 		case ITER_METHOD_LEFTMOST:
1148 81ad8388SMartin Matuska 			group = (const index_group *)(
1149 81ad8388SMartin Matuska 					stream->groups.leftmost);
1150 81ad8388SMartin Matuska 			break;
1151 81ad8388SMartin Matuska 		}
1152 81ad8388SMartin Matuska 	}
1153 81ad8388SMartin Matuska 
1154 81ad8388SMartin Matuska again:
1155 81ad8388SMartin Matuska 	if (stream == NULL) {
1156 81ad8388SMartin Matuska 		// We at the beginning of the lzma_index.
1157 81ad8388SMartin Matuska 		// Locate the first Stream.
1158 81ad8388SMartin Matuska 		stream = (const index_stream *)(i->streams.leftmost);
1159 81ad8388SMartin Matuska 		if (mode >= LZMA_INDEX_ITER_BLOCK) {
1160 81ad8388SMartin Matuska 			// Since we are being asked to return information
1161 81ad8388SMartin Matuska 			// about the first a Block, skip Streams that have
1162 81ad8388SMartin Matuska 			// no Blocks.
1163 81ad8388SMartin Matuska 			while (stream->groups.leftmost == NULL) {
1164 81ad8388SMartin Matuska 				stream = index_tree_next(&stream->node);
1165 81ad8388SMartin Matuska 				if (stream == NULL)
1166 81ad8388SMartin Matuska 					return true;
1167 81ad8388SMartin Matuska 			}
1168 81ad8388SMartin Matuska 		}
1169 81ad8388SMartin Matuska 
1170 81ad8388SMartin Matuska 		// Start from the first Record in the Stream.
1171 81ad8388SMartin Matuska 		group = (const index_group *)(stream->groups.leftmost);
1172 81ad8388SMartin Matuska 		record = 0;
1173 81ad8388SMartin Matuska 
1174 81ad8388SMartin Matuska 	} else if (group != NULL && record < group->last) {
1175 81ad8388SMartin Matuska 		// The next Record is in the same group.
1176 81ad8388SMartin Matuska 		++record;
1177 81ad8388SMartin Matuska 
1178 81ad8388SMartin Matuska 	} else {
1179 81ad8388SMartin Matuska 		// This group has no more Records or this Stream has
1180 81ad8388SMartin Matuska 		// no Blocks at all.
1181 81ad8388SMartin Matuska 		record = 0;
1182 81ad8388SMartin Matuska 
1183 81ad8388SMartin Matuska 		// If group is not NULL, this Stream has at least one Block
1184 81ad8388SMartin Matuska 		// and thus at least one group. Find the next group.
1185 81ad8388SMartin Matuska 		if (group != NULL)
1186 81ad8388SMartin Matuska 			group = index_tree_next(&group->node);
1187 81ad8388SMartin Matuska 
1188 81ad8388SMartin Matuska 		if (group == NULL) {
1189 81ad8388SMartin Matuska 			// This Stream has no more Records. Find the next
1190 81ad8388SMartin Matuska 			// Stream. If we are being asked to return information
1191 81ad8388SMartin Matuska 			// about a Block, we skip empty Streams.
1192 81ad8388SMartin Matuska 			do {
1193 81ad8388SMartin Matuska 				stream = index_tree_next(&stream->node);
1194 81ad8388SMartin Matuska 				if (stream == NULL)
1195 81ad8388SMartin Matuska 					return true;
1196 81ad8388SMartin Matuska 			} while (mode >= LZMA_INDEX_ITER_BLOCK
1197 81ad8388SMartin Matuska 					&& stream->groups.leftmost == NULL);
1198 81ad8388SMartin Matuska 
1199 81ad8388SMartin Matuska 			group = (const index_group *)(
1200 81ad8388SMartin Matuska 					stream->groups.leftmost);
1201 81ad8388SMartin Matuska 		}
1202 81ad8388SMartin Matuska 	}
1203 81ad8388SMartin Matuska 
1204 81ad8388SMartin Matuska 	if (mode == LZMA_INDEX_ITER_NONEMPTY_BLOCK) {
1205 81ad8388SMartin Matuska 		// We need to look for the next Block again if this Block
1206 81ad8388SMartin Matuska 		// is empty.
1207 81ad8388SMartin Matuska 		if (record == 0) {
1208 81ad8388SMartin Matuska 			if (group->node.uncompressed_base
1209 81ad8388SMartin Matuska 					== group->records[0].uncompressed_sum)
1210 81ad8388SMartin Matuska 				goto again;
1211 81ad8388SMartin Matuska 		} else if (group->records[record - 1].uncompressed_sum
1212 81ad8388SMartin Matuska 				== group->records[record].uncompressed_sum) {
1213 81ad8388SMartin Matuska 			goto again;
1214 81ad8388SMartin Matuska 		}
1215 81ad8388SMartin Matuska 	}
1216 81ad8388SMartin Matuska 
1217 81ad8388SMartin Matuska 	iter->internal[ITER_STREAM].p = stream;
1218 81ad8388SMartin Matuska 	iter->internal[ITER_GROUP].p = group;
1219 81ad8388SMartin Matuska 	iter->internal[ITER_RECORD].s = record;
1220 81ad8388SMartin Matuska 
1221 81ad8388SMartin Matuska 	iter_set_info(iter);
1222 81ad8388SMartin Matuska 
1223 81ad8388SMartin Matuska 	return false;
1224 81ad8388SMartin Matuska }
1225 81ad8388SMartin Matuska 
1226 81ad8388SMartin Matuska 
1227 81ad8388SMartin Matuska extern LZMA_API(lzma_bool)
1228 81ad8388SMartin Matuska lzma_index_iter_locate(lzma_index_iter *iter, lzma_vli target)
1229 81ad8388SMartin Matuska {
1230 81ad8388SMartin Matuska 	const lzma_index *i = iter->internal[ITER_INDEX].p;
1231 81ad8388SMartin Matuska 
1232 81ad8388SMartin Matuska 	// If the target is past the end of the file, return immediately.
1233 81ad8388SMartin Matuska 	if (i->uncompressed_size <= target)
1234 81ad8388SMartin Matuska 		return true;
1235 81ad8388SMartin Matuska 
1236 81ad8388SMartin Matuska 	// Locate the Stream containing the target offset.
1237 81ad8388SMartin Matuska 	const index_stream *stream = index_tree_locate(&i->streams, target);
1238 81ad8388SMartin Matuska 	assert(stream != NULL);
1239 81ad8388SMartin Matuska 	target -= stream->node.uncompressed_base;
1240 81ad8388SMartin Matuska 
1241 81ad8388SMartin Matuska 	// Locate the group containing the target offset.
1242 81ad8388SMartin Matuska 	const index_group *group = index_tree_locate(&stream->groups, target);
1243 81ad8388SMartin Matuska 	assert(group != NULL);
1244 81ad8388SMartin Matuska 
1245 81ad8388SMartin Matuska 	// Use binary search to locate the exact Record. It is the first
1246 81ad8388SMartin Matuska 	// Record whose uncompressed_sum is greater than target.
1247 9e6bbe47SXin LI 	// This is because we want the rightmost Record that fulfills the
1248 81ad8388SMartin Matuska 	// search criterion. It is possible that there are empty Blocks;
1249 81ad8388SMartin Matuska 	// we don't want to return them.
1250 81ad8388SMartin Matuska 	size_t left = 0;
1251 81ad8388SMartin Matuska 	size_t right = group->last;
1252 81ad8388SMartin Matuska 
1253 81ad8388SMartin Matuska 	while (left < right) {
1254 81ad8388SMartin Matuska 		const size_t pos = left + (right - left) / 2;
1255 81ad8388SMartin Matuska 		if (group->records[pos].uncompressed_sum <= target)
1256 81ad8388SMartin Matuska 			left = pos + 1;
1257 81ad8388SMartin Matuska 		else
1258 81ad8388SMartin Matuska 			right = pos;
1259 81ad8388SMartin Matuska 	}
1260 81ad8388SMartin Matuska 
1261 81ad8388SMartin Matuska 	iter->internal[ITER_STREAM].p = stream;
1262 81ad8388SMartin Matuska 	iter->internal[ITER_GROUP].p = group;
1263 81ad8388SMartin Matuska 	iter->internal[ITER_RECORD].s = left;
1264 81ad8388SMartin Matuska 
1265 81ad8388SMartin Matuska 	iter_set_info(iter);
1266 81ad8388SMartin Matuska 
1267 81ad8388SMartin Matuska 	return false;
1268 81ad8388SMartin Matuska }
1269