xref: /freebsd/contrib/xz/src/liblzma/common/index.c (revision fe50a38eb029e6e551fef9f6cf6ffa515f1897fa)
181ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
281ad8388SMartin Matuska //
381ad8388SMartin Matuska /// \file       index.c
481ad8388SMartin Matuska /// \brief      Handling of .xz Indexes and some other Stream information
581ad8388SMartin Matuska //
681ad8388SMartin Matuska //  Author:     Lasse Collin
781ad8388SMartin Matuska //
881ad8388SMartin Matuska //  This file has been put into the public domain.
981ad8388SMartin Matuska //  You can do whatever you want with this file.
1081ad8388SMartin Matuska //
1181ad8388SMartin Matuska ///////////////////////////////////////////////////////////////////////////////
1281ad8388SMartin Matuska 
1381ad8388SMartin Matuska #include "index.h"
1481ad8388SMartin Matuska #include "stream_flags_common.h"
1581ad8388SMartin Matuska 
1681ad8388SMartin Matuska 
1781ad8388SMartin Matuska /// \brief      How many Records to allocate at once
1881ad8388SMartin Matuska ///
1981ad8388SMartin Matuska /// This should be big enough to avoid making lots of tiny allocations
2081ad8388SMartin Matuska /// but small enough to avoid too much unused memory at once.
21542aef48SMartin Matuska #define INDEX_GROUP_SIZE 512
2281ad8388SMartin Matuska 
2381ad8388SMartin Matuska 
2481ad8388SMartin Matuska /// \brief      How many Records can be allocated at once at maximum
2581ad8388SMartin Matuska #define PREALLOC_MAX ((SIZE_MAX - sizeof(index_group)) / sizeof(index_record))
2681ad8388SMartin Matuska 
2781ad8388SMartin Matuska 
2881ad8388SMartin Matuska /// \brief      Base structure for index_stream and index_group structures
2981ad8388SMartin Matuska typedef struct index_tree_node_s index_tree_node;
3081ad8388SMartin Matuska struct index_tree_node_s {
3181ad8388SMartin Matuska 	/// Uncompressed start offset of this Stream (relative to the
3281ad8388SMartin Matuska 	/// beginning of the file) or Block (relative to the beginning
3381ad8388SMartin Matuska 	/// of the Stream)
3481ad8388SMartin Matuska 	lzma_vli uncompressed_base;
3581ad8388SMartin Matuska 
3681ad8388SMartin Matuska 	/// Compressed start offset of this Stream or Block
3781ad8388SMartin Matuska 	lzma_vli compressed_base;
3881ad8388SMartin Matuska 
3981ad8388SMartin Matuska 	index_tree_node *parent;
4081ad8388SMartin Matuska 	index_tree_node *left;
4181ad8388SMartin Matuska 	index_tree_node *right;
4281ad8388SMartin Matuska };
4381ad8388SMartin Matuska 
4481ad8388SMartin Matuska 
4581ad8388SMartin Matuska /// \brief      AVL tree to hold index_stream or index_group structures
4681ad8388SMartin Matuska typedef struct {
4781ad8388SMartin Matuska 	/// Root node
4881ad8388SMartin Matuska 	index_tree_node *root;
4981ad8388SMartin Matuska 
5081ad8388SMartin Matuska 	/// Leftmost node. Since the tree will be filled sequentially,
5181ad8388SMartin Matuska 	/// this won't change after the first node has been added to
5281ad8388SMartin Matuska 	/// the tree.
5381ad8388SMartin Matuska 	index_tree_node *leftmost;
5481ad8388SMartin Matuska 
5581ad8388SMartin Matuska 	/// The rightmost node in the tree. Since the tree is filled
5681ad8388SMartin Matuska 	/// sequentially, this is always the node where to add the new data.
5781ad8388SMartin Matuska 	index_tree_node *rightmost;
5881ad8388SMartin Matuska 
5981ad8388SMartin Matuska 	/// Number of nodes in the tree
6081ad8388SMartin Matuska 	uint32_t count;
6181ad8388SMartin Matuska 
6281ad8388SMartin Matuska } index_tree;
6381ad8388SMartin Matuska 
6481ad8388SMartin Matuska 
6581ad8388SMartin Matuska typedef struct {
6681ad8388SMartin Matuska 	lzma_vli uncompressed_sum;
6781ad8388SMartin Matuska 	lzma_vli unpadded_sum;
6881ad8388SMartin Matuska } index_record;
6981ad8388SMartin Matuska 
7081ad8388SMartin Matuska 
7181ad8388SMartin Matuska typedef struct {
7281ad8388SMartin Matuska 	/// Every Record group is part of index_stream.groups tree.
7381ad8388SMartin Matuska 	index_tree_node node;
7481ad8388SMartin Matuska 
7581ad8388SMartin Matuska 	/// Number of Blocks in this Stream before this group.
7681ad8388SMartin Matuska 	lzma_vli number_base;
7781ad8388SMartin Matuska 
7881ad8388SMartin Matuska 	/// Number of Records that can be put in records[].
7981ad8388SMartin Matuska 	size_t allocated;
8081ad8388SMartin Matuska 
8181ad8388SMartin Matuska 	/// Index of the last Record in use.
8281ad8388SMartin Matuska 	size_t last;
8381ad8388SMartin Matuska 
8481ad8388SMartin Matuska 	/// The sizes in this array are stored as cumulative sums relative
8581ad8388SMartin Matuska 	/// to the beginning of the Stream. This makes it possible to
8681ad8388SMartin Matuska 	/// use binary search in lzma_index_locate().
8781ad8388SMartin Matuska 	///
8881ad8388SMartin Matuska 	/// Note that the cumulative summing is done specially for
8981ad8388SMartin Matuska 	/// unpadded_sum: The previous value is rounded up to the next
9081ad8388SMartin Matuska 	/// multiple of four before adding the Unpadded Size of the new
9181ad8388SMartin Matuska 	/// Block. The total encoded size of the Blocks in the Stream
9281ad8388SMartin Matuska 	/// is records[last].unpadded_sum in the last Record group of
9381ad8388SMartin Matuska 	/// the Stream.
9481ad8388SMartin Matuska 	///
9581ad8388SMartin Matuska 	/// For example, if the Unpadded Sizes are 39, 57, and 81, the
9681ad8388SMartin Matuska 	/// stored values are 39, 97 (40 + 57), and 181 (100 + 181).
9781ad8388SMartin Matuska 	/// The total encoded size of these Blocks is 184.
9881ad8388SMartin Matuska 	///
9981ad8388SMartin Matuska 	/// This is a flexible array, because it makes easy to optimize
10081ad8388SMartin Matuska 	/// memory usage in case someone concatenates many Streams that
10181ad8388SMartin Matuska 	/// have only one or few Blocks.
10281ad8388SMartin Matuska 	index_record records[];
10381ad8388SMartin Matuska 
10481ad8388SMartin Matuska } index_group;
10581ad8388SMartin Matuska 
10681ad8388SMartin Matuska 
10781ad8388SMartin Matuska typedef struct {
10881ad8388SMartin Matuska 	/// Every index_stream is a node in the tree of Sreams.
10981ad8388SMartin Matuska 	index_tree_node node;
11081ad8388SMartin Matuska 
11181ad8388SMartin Matuska 	/// Number of this Stream (first one is 1)
11281ad8388SMartin Matuska 	uint32_t number;
11381ad8388SMartin Matuska 
11481ad8388SMartin Matuska 	/// Total number of Blocks before this Stream
11581ad8388SMartin Matuska 	lzma_vli block_number_base;
11681ad8388SMartin Matuska 
11781ad8388SMartin Matuska 	/// Record groups of this Stream are stored in a tree.
11881ad8388SMartin Matuska 	/// It's a T-tree with AVL-tree balancing. There are
11981ad8388SMartin Matuska 	/// INDEX_GROUP_SIZE Records per node by default.
12081ad8388SMartin Matuska 	/// This keeps the number of memory allocations reasonable
12181ad8388SMartin Matuska 	/// and finding a Record is fast.
12281ad8388SMartin Matuska 	index_tree groups;
12381ad8388SMartin Matuska 
12481ad8388SMartin Matuska 	/// Number of Records in this Stream
12581ad8388SMartin Matuska 	lzma_vli record_count;
12681ad8388SMartin Matuska 
12781ad8388SMartin Matuska 	/// Size of the List of Records field in this Stream. This is used
12881ad8388SMartin Matuska 	/// together with record_count to calculate the size of the Index
12981ad8388SMartin Matuska 	/// field and thus the total size of the Stream.
13081ad8388SMartin Matuska 	lzma_vli index_list_size;
13181ad8388SMartin Matuska 
13281ad8388SMartin Matuska 	/// Stream Flags of this Stream. This is meaningful only if
13381ad8388SMartin Matuska 	/// the Stream Flags have been told us with lzma_index_stream_flags().
13481ad8388SMartin Matuska 	/// Initially stream_flags.version is set to UINT32_MAX to indicate
13581ad8388SMartin Matuska 	/// that the Stream Flags are unknown.
13681ad8388SMartin Matuska 	lzma_stream_flags stream_flags;
13781ad8388SMartin Matuska 
13881ad8388SMartin Matuska 	/// Amount of Stream Padding after this Stream. This defaults to
13981ad8388SMartin Matuska 	/// zero and can be set with lzma_index_stream_padding().
14081ad8388SMartin Matuska 	lzma_vli stream_padding;
14181ad8388SMartin Matuska 
14281ad8388SMartin Matuska } index_stream;
14381ad8388SMartin Matuska 
14481ad8388SMartin Matuska 
14581ad8388SMartin Matuska struct lzma_index_s {
14681ad8388SMartin Matuska 	/// AVL-tree containing the Stream(s). Often there is just one
14781ad8388SMartin Matuska 	/// Stream, but using a tree keeps lookups fast even when there
14881ad8388SMartin Matuska 	/// are many concatenated Streams.
14981ad8388SMartin Matuska 	index_tree streams;
15081ad8388SMartin Matuska 
15181ad8388SMartin Matuska 	/// Uncompressed size of all the Blocks in the Stream(s)
15281ad8388SMartin Matuska 	lzma_vli uncompressed_size;
15381ad8388SMartin Matuska 
15481ad8388SMartin Matuska 	/// Total size of all the Blocks in the Stream(s)
15581ad8388SMartin Matuska 	lzma_vli total_size;
15681ad8388SMartin Matuska 
15781ad8388SMartin Matuska 	/// Total number of Records in all Streams in this lzma_index
15881ad8388SMartin Matuska 	lzma_vli record_count;
15981ad8388SMartin Matuska 
16081ad8388SMartin Matuska 	/// Size of the List of Records field if all the Streams in this
16181ad8388SMartin Matuska 	/// lzma_index were packed into a single Stream (makes it simpler to
16281ad8388SMartin Matuska 	/// take many .xz files and combine them into a single Stream).
16381ad8388SMartin Matuska 	///
16481ad8388SMartin Matuska 	/// This value together with record_count is needed to calculate
16581ad8388SMartin Matuska 	/// Backward Size that is stored into Stream Footer.
16681ad8388SMartin Matuska 	lzma_vli index_list_size;
16781ad8388SMartin Matuska 
16881ad8388SMartin Matuska 	/// How many Records to allocate at once in lzma_index_append().
16981ad8388SMartin Matuska 	/// This defaults to INDEX_GROUP_SIZE but can be overriden with
17081ad8388SMartin Matuska 	/// lzma_index_prealloc().
17181ad8388SMartin Matuska 	size_t prealloc;
17281ad8388SMartin Matuska 
17381ad8388SMartin Matuska 	/// Bitmask indicating what integrity check types have been used
17481ad8388SMartin Matuska 	/// as set by lzma_index_stream_flags(). The bit of the last Stream
17581ad8388SMartin Matuska 	/// is not included here, since it is possible to change it by
17681ad8388SMartin Matuska 	/// calling lzma_index_stream_flags() again.
17781ad8388SMartin Matuska 	uint32_t checks;
17881ad8388SMartin Matuska };
17981ad8388SMartin Matuska 
18081ad8388SMartin Matuska 
18181ad8388SMartin Matuska static void
18281ad8388SMartin Matuska index_tree_init(index_tree *tree)
18381ad8388SMartin Matuska {
18481ad8388SMartin Matuska 	tree->root = NULL;
18581ad8388SMartin Matuska 	tree->leftmost = NULL;
18681ad8388SMartin Matuska 	tree->rightmost = NULL;
18781ad8388SMartin Matuska 	tree->count = 0;
18881ad8388SMartin Matuska 	return;
18981ad8388SMartin Matuska }
19081ad8388SMartin Matuska 
19181ad8388SMartin Matuska 
19281ad8388SMartin Matuska /// Helper for index_tree_end()
19381ad8388SMartin Matuska static void
19453200025SRui Paulo index_tree_node_end(index_tree_node *node, const lzma_allocator *allocator,
19553200025SRui Paulo 		void (*free_func)(void *node, const lzma_allocator *allocator))
19681ad8388SMartin Matuska {
19781ad8388SMartin Matuska 	// The tree won't ever be very huge, so recursion should be fine.
19881ad8388SMartin Matuska 	// 20 levels in the tree is likely quite a lot already in practice.
19981ad8388SMartin Matuska 	if (node->left != NULL)
20081ad8388SMartin Matuska 		index_tree_node_end(node->left, allocator, free_func);
20181ad8388SMartin Matuska 
20281ad8388SMartin Matuska 	if (node->right != NULL)
20381ad8388SMartin Matuska 		index_tree_node_end(node->right, allocator, free_func);
20481ad8388SMartin Matuska 
20581ad8388SMartin Matuska 	if (free_func != NULL)
20681ad8388SMartin Matuska 		free_func(node, allocator);
20781ad8388SMartin Matuska 
20881ad8388SMartin Matuska 	lzma_free(node, allocator);
20981ad8388SMartin Matuska 	return;
21081ad8388SMartin Matuska }
21181ad8388SMartin Matuska 
21281ad8388SMartin Matuska 
21381ad8388SMartin Matuska /// Free the meory allocated for a tree. If free_func is not NULL,
21481ad8388SMartin Matuska /// it is called on each node before freeing the node. This is used
21581ad8388SMartin Matuska /// to free the Record groups from each index_stream before freeing
21681ad8388SMartin Matuska /// the index_stream itself.
21781ad8388SMartin Matuska static void
21853200025SRui Paulo index_tree_end(index_tree *tree, const lzma_allocator *allocator,
21953200025SRui Paulo 		void (*free_func)(void *node, const lzma_allocator *allocator))
22081ad8388SMartin Matuska {
22181ad8388SMartin Matuska 	if (tree->root != NULL)
22281ad8388SMartin Matuska 		index_tree_node_end(tree->root, allocator, free_func);
22381ad8388SMartin Matuska 
22481ad8388SMartin Matuska 	return;
22581ad8388SMartin Matuska }
22681ad8388SMartin Matuska 
22781ad8388SMartin Matuska 
22881ad8388SMartin Matuska /// Add a new node to the tree. node->uncompressed_base and
22981ad8388SMartin Matuska /// node->compressed_base must have been set by the caller already.
23081ad8388SMartin Matuska static void
23181ad8388SMartin Matuska index_tree_append(index_tree *tree, index_tree_node *node)
23281ad8388SMartin Matuska {
23381ad8388SMartin Matuska 	node->parent = tree->rightmost;
23481ad8388SMartin Matuska 	node->left = NULL;
23581ad8388SMartin Matuska 	node->right = NULL;
23681ad8388SMartin Matuska 
23781ad8388SMartin Matuska 	++tree->count;
23881ad8388SMartin Matuska 
23981ad8388SMartin Matuska 	// Handle the special case of adding the first node.
24081ad8388SMartin Matuska 	if (tree->root == NULL) {
24181ad8388SMartin Matuska 		tree->root = node;
24281ad8388SMartin Matuska 		tree->leftmost = node;
24381ad8388SMartin Matuska 		tree->rightmost = node;
24481ad8388SMartin Matuska 		return;
24581ad8388SMartin Matuska 	}
24681ad8388SMartin Matuska 
24781ad8388SMartin Matuska 	// The tree is always filled sequentially.
24881ad8388SMartin Matuska 	assert(tree->rightmost->uncompressed_base <= node->uncompressed_base);
24981ad8388SMartin Matuska 	assert(tree->rightmost->compressed_base < node->compressed_base);
25081ad8388SMartin Matuska 
25181ad8388SMartin Matuska 	// Add the new node after the rightmost node. It's the correct
25281ad8388SMartin Matuska 	// place due to the reason above.
25381ad8388SMartin Matuska 	tree->rightmost->right = node;
25481ad8388SMartin Matuska 	tree->rightmost = node;
25581ad8388SMartin Matuska 
25681ad8388SMartin Matuska 	// Balance the AVL-tree if needed. We don't need to keep the balance
25781ad8388SMartin Matuska 	// factors in nodes, because we always fill the tree sequentially,
25881ad8388SMartin Matuska 	// and thus know the state of the tree just by looking at the node
25981ad8388SMartin Matuska 	// count. From the node count we can calculate how many steps to go
26081ad8388SMartin Matuska 	// up in the tree to find the rotation root.
26181ad8388SMartin Matuska 	uint32_t up = tree->count ^ (UINT32_C(1) << bsr32(tree->count));
26281ad8388SMartin Matuska 	if (up != 0) {
26381ad8388SMartin Matuska 		// Locate the root node for the rotation.
26481ad8388SMartin Matuska 		up = ctz32(tree->count) + 2;
26581ad8388SMartin Matuska 		do {
26681ad8388SMartin Matuska 			node = node->parent;
26781ad8388SMartin Matuska 		} while (--up > 0);
26881ad8388SMartin Matuska 
26981ad8388SMartin Matuska 		// Rotate left using node as the rotation root.
27081ad8388SMartin Matuska 		index_tree_node *pivot = node->right;
27181ad8388SMartin Matuska 
27281ad8388SMartin Matuska 		if (node->parent == NULL) {
27381ad8388SMartin Matuska 			tree->root = pivot;
27481ad8388SMartin Matuska 		} else {
27581ad8388SMartin Matuska 			assert(node->parent->right == node);
27681ad8388SMartin Matuska 			node->parent->right = pivot;
27781ad8388SMartin Matuska 		}
27881ad8388SMartin Matuska 
27981ad8388SMartin Matuska 		pivot->parent = node->parent;
28081ad8388SMartin Matuska 
28181ad8388SMartin Matuska 		node->right = pivot->left;
28281ad8388SMartin Matuska 		if (node->right != NULL)
28381ad8388SMartin Matuska 			node->right->parent = node;
28481ad8388SMartin Matuska 
28581ad8388SMartin Matuska 		pivot->left = node;
28681ad8388SMartin Matuska 		node->parent = pivot;
28781ad8388SMartin Matuska 	}
28881ad8388SMartin Matuska 
28981ad8388SMartin Matuska 	return;
29081ad8388SMartin Matuska }
29181ad8388SMartin Matuska 
29281ad8388SMartin Matuska 
29381ad8388SMartin Matuska /// Get the next node in the tree. Return NULL if there are no more nodes.
29481ad8388SMartin Matuska static void *
29581ad8388SMartin Matuska index_tree_next(const index_tree_node *node)
29681ad8388SMartin Matuska {
29781ad8388SMartin Matuska 	if (node->right != NULL) {
29881ad8388SMartin Matuska 		node = node->right;
29981ad8388SMartin Matuska 		while (node->left != NULL)
30081ad8388SMartin Matuska 			node = node->left;
30181ad8388SMartin Matuska 
30281ad8388SMartin Matuska 		return (void *)(node);
30381ad8388SMartin Matuska 	}
30481ad8388SMartin Matuska 
30581ad8388SMartin Matuska 	while (node->parent != NULL && node->parent->right == node)
30681ad8388SMartin Matuska 		node = node->parent;
30781ad8388SMartin Matuska 
30881ad8388SMartin Matuska 	return (void *)(node->parent);
30981ad8388SMartin Matuska }
31081ad8388SMartin Matuska 
31181ad8388SMartin Matuska 
31281ad8388SMartin Matuska /// Locate a node that contains the given uncompressed offset. It is
31381ad8388SMartin Matuska /// caller's job to check that target is not bigger than the uncompressed
31481ad8388SMartin Matuska /// size of the tree (the last node would be returned in that case still).
31581ad8388SMartin Matuska static void *
31681ad8388SMartin Matuska index_tree_locate(const index_tree *tree, lzma_vli target)
31781ad8388SMartin Matuska {
31881ad8388SMartin Matuska 	const index_tree_node *result = NULL;
31981ad8388SMartin Matuska 	const index_tree_node *node = tree->root;
32081ad8388SMartin Matuska 
32181ad8388SMartin Matuska 	assert(tree->leftmost == NULL
32281ad8388SMartin Matuska 			|| tree->leftmost->uncompressed_base == 0);
32381ad8388SMartin Matuska 
32481ad8388SMartin Matuska 	// Consecutive nodes may have the same uncompressed_base.
32581ad8388SMartin Matuska 	// We must pick the rightmost one.
32681ad8388SMartin Matuska 	while (node != NULL) {
32781ad8388SMartin Matuska 		if (node->uncompressed_base > target) {
32881ad8388SMartin Matuska 			node = node->left;
32981ad8388SMartin Matuska 		} else {
33081ad8388SMartin Matuska 			result = node;
33181ad8388SMartin Matuska 			node = node->right;
33281ad8388SMartin Matuska 		}
33381ad8388SMartin Matuska 	}
33481ad8388SMartin Matuska 
33581ad8388SMartin Matuska 	return (void *)(result);
33681ad8388SMartin Matuska }
33781ad8388SMartin Matuska 
33881ad8388SMartin Matuska 
33981ad8388SMartin Matuska /// Allocate and initialize a new Stream using the given base offsets.
34081ad8388SMartin Matuska static index_stream *
34181ad8388SMartin Matuska index_stream_init(lzma_vli compressed_base, lzma_vli uncompressed_base,
342*fe50a38eSXin LI 		uint32_t stream_number, lzma_vli block_number_base,
34353200025SRui Paulo 		const lzma_allocator *allocator)
34481ad8388SMartin Matuska {
34581ad8388SMartin Matuska 	index_stream *s = lzma_alloc(sizeof(index_stream), allocator);
34681ad8388SMartin Matuska 	if (s == NULL)
34781ad8388SMartin Matuska 		return NULL;
34881ad8388SMartin Matuska 
34981ad8388SMartin Matuska 	s->node.uncompressed_base = uncompressed_base;
35081ad8388SMartin Matuska 	s->node.compressed_base = compressed_base;
35181ad8388SMartin Matuska 	s->node.parent = NULL;
35281ad8388SMartin Matuska 	s->node.left = NULL;
35381ad8388SMartin Matuska 	s->node.right = NULL;
35481ad8388SMartin Matuska 
35581ad8388SMartin Matuska 	s->number = stream_number;
35681ad8388SMartin Matuska 	s->block_number_base = block_number_base;
35781ad8388SMartin Matuska 
35881ad8388SMartin Matuska 	index_tree_init(&s->groups);
35981ad8388SMartin Matuska 
36081ad8388SMartin Matuska 	s->record_count = 0;
36181ad8388SMartin Matuska 	s->index_list_size = 0;
36281ad8388SMartin Matuska 	s->stream_flags.version = UINT32_MAX;
36381ad8388SMartin Matuska 	s->stream_padding = 0;
36481ad8388SMartin Matuska 
36581ad8388SMartin Matuska 	return s;
36681ad8388SMartin Matuska }
36781ad8388SMartin Matuska 
36881ad8388SMartin Matuska 
36981ad8388SMartin Matuska /// Free the memory allocated for a Stream and its Record groups.
37081ad8388SMartin Matuska static void
37153200025SRui Paulo index_stream_end(void *node, const lzma_allocator *allocator)
37281ad8388SMartin Matuska {
37381ad8388SMartin Matuska 	index_stream *s = node;
37481ad8388SMartin Matuska 	index_tree_end(&s->groups, allocator, NULL);
37581ad8388SMartin Matuska 	return;
37681ad8388SMartin Matuska }
37781ad8388SMartin Matuska 
37881ad8388SMartin Matuska 
37981ad8388SMartin Matuska static lzma_index *
38053200025SRui Paulo index_init_plain(const lzma_allocator *allocator)
38181ad8388SMartin Matuska {
38281ad8388SMartin Matuska 	lzma_index *i = lzma_alloc(sizeof(lzma_index), allocator);
38381ad8388SMartin Matuska 	if (i != NULL) {
38481ad8388SMartin Matuska 		index_tree_init(&i->streams);
38581ad8388SMartin Matuska 		i->uncompressed_size = 0;
38681ad8388SMartin Matuska 		i->total_size = 0;
38781ad8388SMartin Matuska 		i->record_count = 0;
38881ad8388SMartin Matuska 		i->index_list_size = 0;
38981ad8388SMartin Matuska 		i->prealloc = INDEX_GROUP_SIZE;
39081ad8388SMartin Matuska 		i->checks = 0;
39181ad8388SMartin Matuska 	}
39281ad8388SMartin Matuska 
39381ad8388SMartin Matuska 	return i;
39481ad8388SMartin Matuska }
39581ad8388SMartin Matuska 
39681ad8388SMartin Matuska 
39781ad8388SMartin Matuska extern LZMA_API(lzma_index *)
39853200025SRui Paulo lzma_index_init(const lzma_allocator *allocator)
39981ad8388SMartin Matuska {
40081ad8388SMartin Matuska 	lzma_index *i = index_init_plain(allocator);
401e24134bcSMartin Matuska 	if (i == NULL)
402e24134bcSMartin Matuska 		return NULL;
403e24134bcSMartin Matuska 
40481ad8388SMartin Matuska 	index_stream *s = index_stream_init(0, 0, 1, 0, allocator);
405e24134bcSMartin Matuska 	if (s == NULL) {
40681ad8388SMartin Matuska 		lzma_free(i, allocator);
407e24134bcSMartin Matuska 		return NULL;
40881ad8388SMartin Matuska 	}
40981ad8388SMartin Matuska 
41081ad8388SMartin Matuska 	index_tree_append(&i->streams, &s->node);
41181ad8388SMartin Matuska 
41281ad8388SMartin Matuska 	return i;
41381ad8388SMartin Matuska }
41481ad8388SMartin Matuska 
41581ad8388SMartin Matuska 
41681ad8388SMartin Matuska extern LZMA_API(void)
41753200025SRui Paulo lzma_index_end(lzma_index *i, const lzma_allocator *allocator)
41881ad8388SMartin Matuska {
41981ad8388SMartin Matuska 	// NOTE: If you modify this function, check also the bottom
42081ad8388SMartin Matuska 	// of lzma_index_cat().
42181ad8388SMartin Matuska 	if (i != NULL) {
42281ad8388SMartin Matuska 		index_tree_end(&i->streams, allocator, &index_stream_end);
42381ad8388SMartin Matuska 		lzma_free(i, allocator);
42481ad8388SMartin Matuska 	}
42581ad8388SMartin Matuska 
42681ad8388SMartin Matuska 	return;
42781ad8388SMartin Matuska }
42881ad8388SMartin Matuska 
42981ad8388SMartin Matuska 
43081ad8388SMartin Matuska extern void
43181ad8388SMartin Matuska lzma_index_prealloc(lzma_index *i, lzma_vli records)
43281ad8388SMartin Matuska {
43381ad8388SMartin Matuska 	if (records > PREALLOC_MAX)
43481ad8388SMartin Matuska 		records = PREALLOC_MAX;
43581ad8388SMartin Matuska 
43681ad8388SMartin Matuska 	i->prealloc = (size_t)(records);
43781ad8388SMartin Matuska 	return;
43881ad8388SMartin Matuska }
43981ad8388SMartin Matuska 
44081ad8388SMartin Matuska 
44181ad8388SMartin Matuska extern LZMA_API(uint64_t)
44281ad8388SMartin Matuska lzma_index_memusage(lzma_vli streams, lzma_vli blocks)
44381ad8388SMartin Matuska {
44481ad8388SMartin Matuska 	// This calculates an upper bound that is only a little bit
44581ad8388SMartin Matuska 	// bigger than the exact maximum memory usage with the given
44681ad8388SMartin Matuska 	// parameters.
44781ad8388SMartin Matuska 
44881ad8388SMartin Matuska 	// Typical malloc() overhead is 2 * sizeof(void *) but we take
44981ad8388SMartin Matuska 	// a little bit extra just in case. Using LZMA_MEMUSAGE_BASE
45081ad8388SMartin Matuska 	// instead would give too inaccurate estimate.
45181ad8388SMartin Matuska 	const size_t alloc_overhead = 4 * sizeof(void *);
45281ad8388SMartin Matuska 
45381ad8388SMartin Matuska 	// Amount of memory needed for each Stream base structures.
45481ad8388SMartin Matuska 	// We assume that every Stream has at least one Block and
45581ad8388SMartin Matuska 	// thus at least one group.
45681ad8388SMartin Matuska 	const size_t stream_base = sizeof(index_stream)
45781ad8388SMartin Matuska 			+ sizeof(index_group) + 2 * alloc_overhead;
45881ad8388SMartin Matuska 
45981ad8388SMartin Matuska 	// Amount of memory needed per group.
46081ad8388SMartin Matuska 	const size_t group_base = sizeof(index_group)
46181ad8388SMartin Matuska 			+ INDEX_GROUP_SIZE * sizeof(index_record)
46281ad8388SMartin Matuska 			+ alloc_overhead;
46381ad8388SMartin Matuska 
46481ad8388SMartin Matuska 	// Number of groups. There may actually be more, but that overhead
46581ad8388SMartin Matuska 	// has been taken into account in stream_base already.
46681ad8388SMartin Matuska 	const lzma_vli groups
46781ad8388SMartin Matuska 			= (blocks + INDEX_GROUP_SIZE - 1) / INDEX_GROUP_SIZE;
46881ad8388SMartin Matuska 
46981ad8388SMartin Matuska 	// Memory used by index_stream and index_group structures.
47081ad8388SMartin Matuska 	const uint64_t streams_mem = streams * stream_base;
47181ad8388SMartin Matuska 	const uint64_t groups_mem = groups * group_base;
47281ad8388SMartin Matuska 
47381ad8388SMartin Matuska 	// Memory used by the base structure.
47481ad8388SMartin Matuska 	const uint64_t index_base = sizeof(lzma_index) + alloc_overhead;
47581ad8388SMartin Matuska 
47681ad8388SMartin Matuska 	// Validate the arguments and catch integer overflows.
47781ad8388SMartin Matuska 	// Maximum number of Streams is "only" UINT32_MAX, because
47881ad8388SMartin Matuska 	// that limit is used by the tree containing the Streams.
47981ad8388SMartin Matuska 	const uint64_t limit = UINT64_MAX - index_base;
48081ad8388SMartin Matuska 	if (streams == 0 || streams > UINT32_MAX || blocks > LZMA_VLI_MAX
48181ad8388SMartin Matuska 			|| streams > limit / stream_base
48281ad8388SMartin Matuska 			|| groups > limit / group_base
48381ad8388SMartin Matuska 			|| limit - streams_mem < groups_mem)
48481ad8388SMartin Matuska 		return UINT64_MAX;
48581ad8388SMartin Matuska 
48681ad8388SMartin Matuska 	return index_base + streams_mem + groups_mem;
48781ad8388SMartin Matuska }
48881ad8388SMartin Matuska 
48981ad8388SMartin Matuska 
49081ad8388SMartin Matuska extern LZMA_API(uint64_t)
49181ad8388SMartin Matuska lzma_index_memused(const lzma_index *i)
49281ad8388SMartin Matuska {
49381ad8388SMartin Matuska 	return lzma_index_memusage(i->streams.count, i->record_count);
49481ad8388SMartin Matuska }
49581ad8388SMartin Matuska 
49681ad8388SMartin Matuska 
49781ad8388SMartin Matuska extern LZMA_API(lzma_vli)
49881ad8388SMartin Matuska lzma_index_block_count(const lzma_index *i)
49981ad8388SMartin Matuska {
50081ad8388SMartin Matuska 	return i->record_count;
50181ad8388SMartin Matuska }
50281ad8388SMartin Matuska 
50381ad8388SMartin Matuska 
50481ad8388SMartin Matuska extern LZMA_API(lzma_vli)
50581ad8388SMartin Matuska lzma_index_stream_count(const lzma_index *i)
50681ad8388SMartin Matuska {
50781ad8388SMartin Matuska 	return i->streams.count;
50881ad8388SMartin Matuska }
50981ad8388SMartin Matuska 
51081ad8388SMartin Matuska 
51181ad8388SMartin Matuska extern LZMA_API(lzma_vli)
51281ad8388SMartin Matuska lzma_index_size(const lzma_index *i)
51381ad8388SMartin Matuska {
51481ad8388SMartin Matuska 	return index_size(i->record_count, i->index_list_size);
51581ad8388SMartin Matuska }
51681ad8388SMartin Matuska 
51781ad8388SMartin Matuska 
51881ad8388SMartin Matuska extern LZMA_API(lzma_vli)
51981ad8388SMartin Matuska lzma_index_total_size(const lzma_index *i)
52081ad8388SMartin Matuska {
52181ad8388SMartin Matuska 	return i->total_size;
52281ad8388SMartin Matuska }
52381ad8388SMartin Matuska 
52481ad8388SMartin Matuska 
52581ad8388SMartin Matuska extern LZMA_API(lzma_vli)
52681ad8388SMartin Matuska lzma_index_stream_size(const lzma_index *i)
52781ad8388SMartin Matuska {
52881ad8388SMartin Matuska 	// Stream Header + Blocks + Index + Stream Footer
52981ad8388SMartin Matuska 	return LZMA_STREAM_HEADER_SIZE + i->total_size
53081ad8388SMartin Matuska 			+ index_size(i->record_count, i->index_list_size)
53181ad8388SMartin Matuska 			+ LZMA_STREAM_HEADER_SIZE;
53281ad8388SMartin Matuska }
53381ad8388SMartin Matuska 
53481ad8388SMartin Matuska 
53581ad8388SMartin Matuska static lzma_vli
53681ad8388SMartin Matuska index_file_size(lzma_vli compressed_base, lzma_vli unpadded_sum,
53781ad8388SMartin Matuska 		lzma_vli record_count, lzma_vli index_list_size,
53881ad8388SMartin Matuska 		lzma_vli stream_padding)
53981ad8388SMartin Matuska {
54081ad8388SMartin Matuska 	// Earlier Streams and Stream Paddings + Stream Header
54181ad8388SMartin Matuska 	// + Blocks + Index + Stream Footer + Stream Padding
54281ad8388SMartin Matuska 	//
54381ad8388SMartin Matuska 	// This might go over LZMA_VLI_MAX due to too big unpadded_sum
54481ad8388SMartin Matuska 	// when this function is used in lzma_index_append().
54581ad8388SMartin Matuska 	lzma_vli file_size = compressed_base + 2 * LZMA_STREAM_HEADER_SIZE
54681ad8388SMartin Matuska 			+ stream_padding + vli_ceil4(unpadded_sum);
54781ad8388SMartin Matuska 	if (file_size > LZMA_VLI_MAX)
54881ad8388SMartin Matuska 		return LZMA_VLI_UNKNOWN;
54981ad8388SMartin Matuska 
55081ad8388SMartin Matuska 	// The same applies here.
55181ad8388SMartin Matuska 	file_size += index_size(record_count, index_list_size);
55281ad8388SMartin Matuska 	if (file_size > LZMA_VLI_MAX)
55381ad8388SMartin Matuska 		return LZMA_VLI_UNKNOWN;
55481ad8388SMartin Matuska 
55581ad8388SMartin Matuska 	return file_size;
55681ad8388SMartin Matuska }
55781ad8388SMartin Matuska 
55881ad8388SMartin Matuska 
55981ad8388SMartin Matuska extern LZMA_API(lzma_vli)
56081ad8388SMartin Matuska lzma_index_file_size(const lzma_index *i)
56181ad8388SMartin Matuska {
56281ad8388SMartin Matuska 	const index_stream *s = (const index_stream *)(i->streams.rightmost);
56381ad8388SMartin Matuska 	const index_group *g = (const index_group *)(s->groups.rightmost);
56481ad8388SMartin Matuska 	return index_file_size(s->node.compressed_base,
56581ad8388SMartin Matuska 			g == NULL ? 0 : g->records[g->last].unpadded_sum,
56681ad8388SMartin Matuska 			s->record_count, s->index_list_size,
56781ad8388SMartin Matuska 			s->stream_padding);
56881ad8388SMartin Matuska }
56981ad8388SMartin Matuska 
57081ad8388SMartin Matuska 
57181ad8388SMartin Matuska extern LZMA_API(lzma_vli)
57281ad8388SMartin Matuska lzma_index_uncompressed_size(const lzma_index *i)
57381ad8388SMartin Matuska {
57481ad8388SMartin Matuska 	return i->uncompressed_size;
57581ad8388SMartin Matuska }
57681ad8388SMartin Matuska 
57781ad8388SMartin Matuska 
57881ad8388SMartin Matuska extern LZMA_API(uint32_t)
57981ad8388SMartin Matuska lzma_index_checks(const lzma_index *i)
58081ad8388SMartin Matuska {
58181ad8388SMartin Matuska 	uint32_t checks = i->checks;
58281ad8388SMartin Matuska 
58381ad8388SMartin Matuska 	// Get the type of the Check of the last Stream too.
58481ad8388SMartin Matuska 	const index_stream *s = (const index_stream *)(i->streams.rightmost);
58581ad8388SMartin Matuska 	if (s->stream_flags.version != UINT32_MAX)
58681ad8388SMartin Matuska 		checks |= UINT32_C(1) << s->stream_flags.check;
58781ad8388SMartin Matuska 
58881ad8388SMartin Matuska 	return checks;
58981ad8388SMartin Matuska }
59081ad8388SMartin Matuska 
59181ad8388SMartin Matuska 
59281ad8388SMartin Matuska extern uint32_t
59381ad8388SMartin Matuska lzma_index_padding_size(const lzma_index *i)
59481ad8388SMartin Matuska {
59581ad8388SMartin Matuska 	return (LZMA_VLI_C(4) - index_size_unpadded(
59681ad8388SMartin Matuska 			i->record_count, i->index_list_size)) & 3;
59781ad8388SMartin Matuska }
59881ad8388SMartin Matuska 
59981ad8388SMartin Matuska 
60081ad8388SMartin Matuska extern LZMA_API(lzma_ret)
60181ad8388SMartin Matuska lzma_index_stream_flags(lzma_index *i, const lzma_stream_flags *stream_flags)
60281ad8388SMartin Matuska {
60381ad8388SMartin Matuska 	if (i == NULL || stream_flags == NULL)
60481ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
60581ad8388SMartin Matuska 
60681ad8388SMartin Matuska 	// Validate the Stream Flags.
60781ad8388SMartin Matuska 	return_if_error(lzma_stream_flags_compare(
60881ad8388SMartin Matuska 			stream_flags, stream_flags));
60981ad8388SMartin Matuska 
61081ad8388SMartin Matuska 	index_stream *s = (index_stream *)(i->streams.rightmost);
61181ad8388SMartin Matuska 	s->stream_flags = *stream_flags;
61281ad8388SMartin Matuska 
61381ad8388SMartin Matuska 	return LZMA_OK;
61481ad8388SMartin Matuska }
61581ad8388SMartin Matuska 
61681ad8388SMartin Matuska 
61781ad8388SMartin Matuska extern LZMA_API(lzma_ret)
61881ad8388SMartin Matuska lzma_index_stream_padding(lzma_index *i, lzma_vli stream_padding)
61981ad8388SMartin Matuska {
62081ad8388SMartin Matuska 	if (i == NULL || stream_padding > LZMA_VLI_MAX
62181ad8388SMartin Matuska 			|| (stream_padding & 3) != 0)
62281ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
62381ad8388SMartin Matuska 
62481ad8388SMartin Matuska 	index_stream *s = (index_stream *)(i->streams.rightmost);
62581ad8388SMartin Matuska 
62681ad8388SMartin Matuska 	// Check that the new value won't make the file grow too big.
62781ad8388SMartin Matuska 	const lzma_vli old_stream_padding = s->stream_padding;
62881ad8388SMartin Matuska 	s->stream_padding = 0;
62981ad8388SMartin Matuska 	if (lzma_index_file_size(i) + stream_padding > LZMA_VLI_MAX) {
63081ad8388SMartin Matuska 		s->stream_padding = old_stream_padding;
63181ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
63281ad8388SMartin Matuska 	}
63381ad8388SMartin Matuska 
63481ad8388SMartin Matuska 	s->stream_padding = stream_padding;
63581ad8388SMartin Matuska 	return LZMA_OK;
63681ad8388SMartin Matuska }
63781ad8388SMartin Matuska 
63881ad8388SMartin Matuska 
63981ad8388SMartin Matuska extern LZMA_API(lzma_ret)
64053200025SRui Paulo lzma_index_append(lzma_index *i, const lzma_allocator *allocator,
64181ad8388SMartin Matuska 		lzma_vli unpadded_size, lzma_vli uncompressed_size)
64281ad8388SMartin Matuska {
64381ad8388SMartin Matuska 	// Validate.
64481ad8388SMartin Matuska 	if (i == NULL || unpadded_size < UNPADDED_SIZE_MIN
64581ad8388SMartin Matuska 			|| unpadded_size > UNPADDED_SIZE_MAX
64681ad8388SMartin Matuska 			|| uncompressed_size > LZMA_VLI_MAX)
64781ad8388SMartin Matuska 		return LZMA_PROG_ERROR;
64881ad8388SMartin Matuska 
64981ad8388SMartin Matuska 	index_stream *s = (index_stream *)(i->streams.rightmost);
65081ad8388SMartin Matuska 	index_group *g = (index_group *)(s->groups.rightmost);
65181ad8388SMartin Matuska 
65281ad8388SMartin Matuska 	const lzma_vli compressed_base = g == NULL ? 0
65381ad8388SMartin Matuska 			: vli_ceil4(g->records[g->last].unpadded_sum);
65481ad8388SMartin Matuska 	const lzma_vli uncompressed_base = g == NULL ? 0
65581ad8388SMartin Matuska 			: g->records[g->last].uncompressed_sum;
65681ad8388SMartin Matuska 	const uint32_t index_list_size_add = lzma_vli_size(unpadded_size)
65781ad8388SMartin Matuska 			+ lzma_vli_size(uncompressed_size);
65881ad8388SMartin Matuska 
65981ad8388SMartin Matuska 	// Check that the file size will stay within limits.
66081ad8388SMartin Matuska 	if (index_file_size(s->node.compressed_base,
66181ad8388SMartin Matuska 			compressed_base + unpadded_size, s->record_count + 1,
66281ad8388SMartin Matuska 			s->index_list_size + index_list_size_add,
66381ad8388SMartin Matuska 			s->stream_padding) == LZMA_VLI_UNKNOWN)
66481ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
66581ad8388SMartin Matuska 
66681ad8388SMartin Matuska 	// The size of the Index field must not exceed the maximum value
66781ad8388SMartin Matuska 	// that can be stored in the Backward Size field.
66881ad8388SMartin Matuska 	if (index_size(i->record_count + 1,
66981ad8388SMartin Matuska 			i->index_list_size + index_list_size_add)
67081ad8388SMartin Matuska 			> LZMA_BACKWARD_SIZE_MAX)
67181ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
67281ad8388SMartin Matuska 
67381ad8388SMartin Matuska 	if (g != NULL && g->last + 1 < g->allocated) {
67481ad8388SMartin Matuska 		// There is space in the last group at least for one Record.
67581ad8388SMartin Matuska 		++g->last;
67681ad8388SMartin Matuska 	} else {
67781ad8388SMartin Matuska 		// We need to allocate a new group.
67881ad8388SMartin Matuska 		g = lzma_alloc(sizeof(index_group)
67981ad8388SMartin Matuska 				+ i->prealloc * sizeof(index_record),
68081ad8388SMartin Matuska 				allocator);
68181ad8388SMartin Matuska 		if (g == NULL)
68281ad8388SMartin Matuska 			return LZMA_MEM_ERROR;
68381ad8388SMartin Matuska 
68481ad8388SMartin Matuska 		g->last = 0;
68581ad8388SMartin Matuska 		g->allocated = i->prealloc;
68681ad8388SMartin Matuska 
68781ad8388SMartin Matuska 		// Reset prealloc so that if the application happens to
68881ad8388SMartin Matuska 		// add new Records, the allocation size will be sane.
68981ad8388SMartin Matuska 		i->prealloc = INDEX_GROUP_SIZE;
69081ad8388SMartin Matuska 
69181ad8388SMartin Matuska 		// Set the start offsets of this group.
69281ad8388SMartin Matuska 		g->node.uncompressed_base = uncompressed_base;
69381ad8388SMartin Matuska 		g->node.compressed_base = compressed_base;
69481ad8388SMartin Matuska 		g->number_base = s->record_count + 1;
69581ad8388SMartin Matuska 
69681ad8388SMartin Matuska 		// Add the new group to the Stream.
69781ad8388SMartin Matuska 		index_tree_append(&s->groups, &g->node);
69881ad8388SMartin Matuska 	}
69981ad8388SMartin Matuska 
70081ad8388SMartin Matuska 	// Add the new Record to the group.
70181ad8388SMartin Matuska 	g->records[g->last].uncompressed_sum
70281ad8388SMartin Matuska 			= uncompressed_base + uncompressed_size;
70381ad8388SMartin Matuska 	g->records[g->last].unpadded_sum
70481ad8388SMartin Matuska 			= compressed_base + unpadded_size;
70581ad8388SMartin Matuska 
70681ad8388SMartin Matuska 	// Update the totals.
70781ad8388SMartin Matuska 	++s->record_count;
70881ad8388SMartin Matuska 	s->index_list_size += index_list_size_add;
70981ad8388SMartin Matuska 
71081ad8388SMartin Matuska 	i->total_size += vli_ceil4(unpadded_size);
71181ad8388SMartin Matuska 	i->uncompressed_size += uncompressed_size;
71281ad8388SMartin Matuska 	++i->record_count;
71381ad8388SMartin Matuska 	i->index_list_size += index_list_size_add;
71481ad8388SMartin Matuska 
71581ad8388SMartin Matuska 	return LZMA_OK;
71681ad8388SMartin Matuska }
71781ad8388SMartin Matuska 
71881ad8388SMartin Matuska 
71981ad8388SMartin Matuska /// Structure to pass info to index_cat_helper()
72081ad8388SMartin Matuska typedef struct {
72181ad8388SMartin Matuska 	/// Uncompressed size of the destination
72281ad8388SMartin Matuska 	lzma_vli uncompressed_size;
72381ad8388SMartin Matuska 
72481ad8388SMartin Matuska 	/// Compressed file size of the destination
72581ad8388SMartin Matuska 	lzma_vli file_size;
72681ad8388SMartin Matuska 
72781ad8388SMartin Matuska 	/// Same as above but for Block numbers
72881ad8388SMartin Matuska 	lzma_vli block_number_add;
72981ad8388SMartin Matuska 
73081ad8388SMartin Matuska 	/// Number of Streams that were in the destination index before we
73181ad8388SMartin Matuska 	/// started appending new Streams from the source index. This is
73281ad8388SMartin Matuska 	/// used to fix the Stream numbering.
73381ad8388SMartin Matuska 	uint32_t stream_number_add;
73481ad8388SMartin Matuska 
73581ad8388SMartin Matuska 	/// Destination index' Stream tree
73681ad8388SMartin Matuska 	index_tree *streams;
73781ad8388SMartin Matuska 
73881ad8388SMartin Matuska } index_cat_info;
73981ad8388SMartin Matuska 
74081ad8388SMartin Matuska 
74181ad8388SMartin Matuska /// Add the Stream nodes from the source index to dest using recursion.
74281ad8388SMartin Matuska /// Simplest iterative traversal of the source tree wouldn't work, because
74381ad8388SMartin Matuska /// we update the pointers in nodes when moving them to the destination tree.
74481ad8388SMartin Matuska static void
74581ad8388SMartin Matuska index_cat_helper(const index_cat_info *info, index_stream *this)
74681ad8388SMartin Matuska {
74781ad8388SMartin Matuska 	index_stream *left = (index_stream *)(this->node.left);
74881ad8388SMartin Matuska 	index_stream *right = (index_stream *)(this->node.right);
74981ad8388SMartin Matuska 
75081ad8388SMartin Matuska 	if (left != NULL)
75181ad8388SMartin Matuska 		index_cat_helper(info, left);
75281ad8388SMartin Matuska 
75381ad8388SMartin Matuska 	this->node.uncompressed_base += info->uncompressed_size;
75481ad8388SMartin Matuska 	this->node.compressed_base += info->file_size;
75581ad8388SMartin Matuska 	this->number += info->stream_number_add;
75681ad8388SMartin Matuska 	this->block_number_base += info->block_number_add;
75781ad8388SMartin Matuska 	index_tree_append(info->streams, &this->node);
75881ad8388SMartin Matuska 
75981ad8388SMartin Matuska 	if (right != NULL)
76081ad8388SMartin Matuska 		index_cat_helper(info, right);
76181ad8388SMartin Matuska 
76281ad8388SMartin Matuska 	return;
76381ad8388SMartin Matuska }
76481ad8388SMartin Matuska 
76581ad8388SMartin Matuska 
76681ad8388SMartin Matuska extern LZMA_API(lzma_ret)
76781ad8388SMartin Matuska lzma_index_cat(lzma_index *restrict dest, lzma_index *restrict src,
76853200025SRui Paulo 		const lzma_allocator *allocator)
76981ad8388SMartin Matuska {
77081ad8388SMartin Matuska 	const lzma_vli dest_file_size = lzma_index_file_size(dest);
77181ad8388SMartin Matuska 
77281ad8388SMartin Matuska 	// Check that we don't exceed the file size limits.
77381ad8388SMartin Matuska 	if (dest_file_size + lzma_index_file_size(src) > LZMA_VLI_MAX
77481ad8388SMartin Matuska 			|| dest->uncompressed_size + src->uncompressed_size
77581ad8388SMartin Matuska 				> LZMA_VLI_MAX)
77681ad8388SMartin Matuska 		return LZMA_DATA_ERROR;
77781ad8388SMartin Matuska 
77881ad8388SMartin Matuska 	// Check that the encoded size of the combined lzma_indexes stays
77981ad8388SMartin Matuska 	// within limits. In theory, this should be done only if we know
78081ad8388SMartin Matuska 	// that the user plans to actually combine the Streams and thus
78181ad8388SMartin Matuska 	// construct a single Index (probably rare). However, exceeding
78281ad8388SMartin Matuska 	// this limit is quite theoretical, so we do this check always
78381ad8388SMartin Matuska 	// to simplify things elsewhere.
78481ad8388SMartin Matuska 	{
78581ad8388SMartin Matuska 		const lzma_vli dest_size = index_size_unpadded(
78681ad8388SMartin Matuska 				dest->record_count, dest->index_list_size);
78781ad8388SMartin Matuska 		const lzma_vli src_size = index_size_unpadded(
78881ad8388SMartin Matuska 				src->record_count, src->index_list_size);
78981ad8388SMartin Matuska 		if (vli_ceil4(dest_size + src_size) > LZMA_BACKWARD_SIZE_MAX)
79081ad8388SMartin Matuska 			return LZMA_DATA_ERROR;
79181ad8388SMartin Matuska 	}
79281ad8388SMartin Matuska 
79381ad8388SMartin Matuska 	// Optimize the last group to minimize memory usage. Allocation has
79481ad8388SMartin Matuska 	// to be done before modifying dest or src.
79581ad8388SMartin Matuska 	{
79681ad8388SMartin Matuska 		index_stream *s = (index_stream *)(dest->streams.rightmost);
79781ad8388SMartin Matuska 		index_group *g = (index_group *)(s->groups.rightmost);
79881ad8388SMartin Matuska 		if (g != NULL && g->last + 1 < g->allocated) {
79981ad8388SMartin Matuska 			assert(g->node.left == NULL);
80081ad8388SMartin Matuska 			assert(g->node.right == NULL);
80181ad8388SMartin Matuska 
80281ad8388SMartin Matuska 			index_group *newg = lzma_alloc(sizeof(index_group)
80381ad8388SMartin Matuska 					+ (g->last + 1)
80481ad8388SMartin Matuska 					* sizeof(index_record),
80581ad8388SMartin Matuska 					allocator);
80681ad8388SMartin Matuska 			if (newg == NULL)
80781ad8388SMartin Matuska 				return LZMA_MEM_ERROR;
80881ad8388SMartin Matuska 
80981ad8388SMartin Matuska 			newg->node = g->node;
81081ad8388SMartin Matuska 			newg->allocated = g->last + 1;
81181ad8388SMartin Matuska 			newg->last = g->last;
81281ad8388SMartin Matuska 			newg->number_base = g->number_base;
81381ad8388SMartin Matuska 
81481ad8388SMartin Matuska 			memcpy(newg->records, g->records, newg->allocated
81581ad8388SMartin Matuska 					* sizeof(index_record));
81681ad8388SMartin Matuska 
81781ad8388SMartin Matuska 			if (g->node.parent != NULL) {
81881ad8388SMartin Matuska 				assert(g->node.parent->right == &g->node);
81981ad8388SMartin Matuska 				g->node.parent->right = &newg->node;
82081ad8388SMartin Matuska 			}
82181ad8388SMartin Matuska 
82281ad8388SMartin Matuska 			if (s->groups.leftmost == &g->node) {
82381ad8388SMartin Matuska 				assert(s->groups.root == &g->node);
82481ad8388SMartin Matuska 				s->groups.leftmost = &newg->node;
82581ad8388SMartin Matuska 				s->groups.root = &newg->node;
82681ad8388SMartin Matuska 			}
82781ad8388SMartin Matuska 
82881ad8388SMartin Matuska 			if (s->groups.rightmost == &g->node)
82981ad8388SMartin Matuska 				s->groups.rightmost = &newg->node;
83081ad8388SMartin Matuska 
83181ad8388SMartin Matuska 			lzma_free(g, allocator);
83281ad8388SMartin Matuska 		}
83381ad8388SMartin Matuska 	}
83481ad8388SMartin Matuska 
83581ad8388SMartin Matuska 	// Add all the Streams from src to dest. Update the base offsets
83681ad8388SMartin Matuska 	// of each Stream from src.
83781ad8388SMartin Matuska 	const index_cat_info info = {
83881ad8388SMartin Matuska 		.uncompressed_size = dest->uncompressed_size,
83981ad8388SMartin Matuska 		.file_size = dest_file_size,
84081ad8388SMartin Matuska 		.stream_number_add = dest->streams.count,
84181ad8388SMartin Matuska 		.block_number_add = dest->record_count,
84281ad8388SMartin Matuska 		.streams = &dest->streams,
84381ad8388SMartin Matuska 	};
84481ad8388SMartin Matuska 	index_cat_helper(&info, (index_stream *)(src->streams.root));
84581ad8388SMartin Matuska 
84681ad8388SMartin Matuska 	// Update info about all the combined Streams.
84781ad8388SMartin Matuska 	dest->uncompressed_size += src->uncompressed_size;
84881ad8388SMartin Matuska 	dest->total_size += src->total_size;
84981ad8388SMartin Matuska 	dest->record_count += src->record_count;
85081ad8388SMartin Matuska 	dest->index_list_size += src->index_list_size;
85181ad8388SMartin Matuska 	dest->checks = lzma_index_checks(dest) | src->checks;
85281ad8388SMartin Matuska 
85381ad8388SMartin Matuska 	// There's nothing else left in src than the base structure.
85481ad8388SMartin Matuska 	lzma_free(src, allocator);
85581ad8388SMartin Matuska 
85681ad8388SMartin Matuska 	return LZMA_OK;
85781ad8388SMartin Matuska }
85881ad8388SMartin Matuska 
85981ad8388SMartin Matuska 
86081ad8388SMartin Matuska /// Duplicate an index_stream.
86181ad8388SMartin Matuska static index_stream *
86253200025SRui Paulo index_dup_stream(const index_stream *src, const lzma_allocator *allocator)
86381ad8388SMartin Matuska {
86481ad8388SMartin Matuska 	// Catch a somewhat theoretical integer overflow.
86581ad8388SMartin Matuska 	if (src->record_count > PREALLOC_MAX)
86681ad8388SMartin Matuska 		return NULL;
86781ad8388SMartin Matuska 
86881ad8388SMartin Matuska 	// Allocate and initialize a new Stream.
86981ad8388SMartin Matuska 	index_stream *dest = index_stream_init(src->node.compressed_base,
87081ad8388SMartin Matuska 			src->node.uncompressed_base, src->number,
87181ad8388SMartin Matuska 			src->block_number_base, allocator);
87281ad8388SMartin Matuska 
87381ad8388SMartin Matuska 	// Return immediately if allocation failed or if there are
87481ad8388SMartin Matuska 	// no groups to duplicate.
87581ad8388SMartin Matuska 	if (dest == NULL || src->groups.leftmost == NULL)
87681ad8388SMartin Matuska 		return dest;
87781ad8388SMartin Matuska 
87881ad8388SMartin Matuska 	// Copy the overall information.
87981ad8388SMartin Matuska 	dest->record_count = src->record_count;
88081ad8388SMartin Matuska 	dest->index_list_size = src->index_list_size;
88181ad8388SMartin Matuska 	dest->stream_flags = src->stream_flags;
88281ad8388SMartin Matuska 	dest->stream_padding = src->stream_padding;
88381ad8388SMartin Matuska 
88481ad8388SMartin Matuska 	// Allocate memory for the Records. We put all the Records into
88581ad8388SMartin Matuska 	// a single group. It's simplest and also tends to make
88681ad8388SMartin Matuska 	// lzma_index_locate() a little bit faster with very big Indexes.
88781ad8388SMartin Matuska 	index_group *destg = lzma_alloc(sizeof(index_group)
88881ad8388SMartin Matuska 			+ src->record_count * sizeof(index_record),
88981ad8388SMartin Matuska 			allocator);
89081ad8388SMartin Matuska 	if (destg == NULL) {
89181ad8388SMartin Matuska 		index_stream_end(dest, allocator);
89281ad8388SMartin Matuska 		return NULL;
89381ad8388SMartin Matuska 	}
89481ad8388SMartin Matuska 
89581ad8388SMartin Matuska 	// Initialize destg.
89681ad8388SMartin Matuska 	destg->node.uncompressed_base = 0;
89781ad8388SMartin Matuska 	destg->node.compressed_base = 0;
89881ad8388SMartin Matuska 	destg->number_base = 1;
89981ad8388SMartin Matuska 	destg->allocated = src->record_count;
90081ad8388SMartin Matuska 	destg->last = src->record_count - 1;
90181ad8388SMartin Matuska 
90281ad8388SMartin Matuska 	// Go through all the groups in src and copy the Records into destg.
90381ad8388SMartin Matuska 	const index_group *srcg = (const index_group *)(src->groups.leftmost);
90481ad8388SMartin Matuska 	size_t i = 0;
90581ad8388SMartin Matuska 	do {
90681ad8388SMartin Matuska 		memcpy(destg->records + i, srcg->records,
90781ad8388SMartin Matuska 				(srcg->last + 1) * sizeof(index_record));
90881ad8388SMartin Matuska 		i += srcg->last + 1;
90981ad8388SMartin Matuska 		srcg = index_tree_next(&srcg->node);
91081ad8388SMartin Matuska 	} while (srcg != NULL);
91181ad8388SMartin Matuska 
91281ad8388SMartin Matuska 	assert(i == destg->allocated);
91381ad8388SMartin Matuska 
91481ad8388SMartin Matuska 	// Add the group to the new Stream.
91581ad8388SMartin Matuska 	index_tree_append(&dest->groups, &destg->node);
91681ad8388SMartin Matuska 
91781ad8388SMartin Matuska 	return dest;
91881ad8388SMartin Matuska }
91981ad8388SMartin Matuska 
92081ad8388SMartin Matuska 
92181ad8388SMartin Matuska extern LZMA_API(lzma_index *)
92253200025SRui Paulo lzma_index_dup(const lzma_index *src, const lzma_allocator *allocator)
92381ad8388SMartin Matuska {
92481ad8388SMartin Matuska 	// Allocate the base structure (no initial Stream).
92581ad8388SMartin Matuska 	lzma_index *dest = index_init_plain(allocator);
92681ad8388SMartin Matuska 	if (dest == NULL)
92781ad8388SMartin Matuska 		return NULL;
92881ad8388SMartin Matuska 
92981ad8388SMartin Matuska 	// Copy the totals.
93081ad8388SMartin Matuska 	dest->uncompressed_size = src->uncompressed_size;
93181ad8388SMartin Matuska 	dest->total_size = src->total_size;
93281ad8388SMartin Matuska 	dest->record_count = src->record_count;
93381ad8388SMartin Matuska 	dest->index_list_size = src->index_list_size;
93481ad8388SMartin Matuska 
93581ad8388SMartin Matuska 	// Copy the Streams and the groups in them.
93681ad8388SMartin Matuska 	const index_stream *srcstream
93781ad8388SMartin Matuska 			= (const index_stream *)(src->streams.leftmost);
93881ad8388SMartin Matuska 	do {
93981ad8388SMartin Matuska 		index_stream *deststream = index_dup_stream(
94081ad8388SMartin Matuska 				srcstream, allocator);
94181ad8388SMartin Matuska 		if (deststream == NULL) {
94281ad8388SMartin Matuska 			lzma_index_end(dest, allocator);
94381ad8388SMartin Matuska 			return NULL;
94481ad8388SMartin Matuska 		}
94581ad8388SMartin Matuska 
94681ad8388SMartin Matuska 		index_tree_append(&dest->streams, &deststream->node);
94781ad8388SMartin Matuska 
94881ad8388SMartin Matuska 		srcstream = index_tree_next(&srcstream->node);
94981ad8388SMartin Matuska 	} while (srcstream != NULL);
95081ad8388SMartin Matuska 
95181ad8388SMartin Matuska 	return dest;
95281ad8388SMartin Matuska }
95381ad8388SMartin Matuska 
95481ad8388SMartin Matuska 
95581ad8388SMartin Matuska /// Indexing for lzma_index_iter.internal[]
95681ad8388SMartin Matuska enum {
95781ad8388SMartin Matuska 	ITER_INDEX,
95881ad8388SMartin Matuska 	ITER_STREAM,
95981ad8388SMartin Matuska 	ITER_GROUP,
96081ad8388SMartin Matuska 	ITER_RECORD,
96181ad8388SMartin Matuska 	ITER_METHOD,
96281ad8388SMartin Matuska };
96381ad8388SMartin Matuska 
96481ad8388SMartin Matuska 
96581ad8388SMartin Matuska /// Values for lzma_index_iter.internal[ITER_METHOD].s
96681ad8388SMartin Matuska enum {
96781ad8388SMartin Matuska 	ITER_METHOD_NORMAL,
96881ad8388SMartin Matuska 	ITER_METHOD_NEXT,
96981ad8388SMartin Matuska 	ITER_METHOD_LEFTMOST,
97081ad8388SMartin Matuska };
97181ad8388SMartin Matuska 
97281ad8388SMartin Matuska 
97381ad8388SMartin Matuska static void
97481ad8388SMartin Matuska iter_set_info(lzma_index_iter *iter)
97581ad8388SMartin Matuska {
97681ad8388SMartin Matuska 	const lzma_index *i = iter->internal[ITER_INDEX].p;
97781ad8388SMartin Matuska 	const index_stream *stream = iter->internal[ITER_STREAM].p;
97881ad8388SMartin Matuska 	const index_group *group = iter->internal[ITER_GROUP].p;
97981ad8388SMartin Matuska 	const size_t record = iter->internal[ITER_RECORD].s;
98081ad8388SMartin Matuska 
98181ad8388SMartin Matuska 	// lzma_index_iter.internal must not contain a pointer to the last
98281ad8388SMartin Matuska 	// group in the index, because that may be reallocated by
98381ad8388SMartin Matuska 	// lzma_index_cat().
98481ad8388SMartin Matuska 	if (group == NULL) {
98581ad8388SMartin Matuska 		// There are no groups.
98681ad8388SMartin Matuska 		assert(stream->groups.root == NULL);
98781ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST;
98881ad8388SMartin Matuska 
98981ad8388SMartin Matuska 	} else if (i->streams.rightmost != &stream->node
99081ad8388SMartin Matuska 			|| stream->groups.rightmost != &group->node) {
99181ad8388SMartin Matuska 		// The group is not not the last group in the index.
99281ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL;
99381ad8388SMartin Matuska 
99481ad8388SMartin Matuska 	} else if (stream->groups.leftmost != &group->node) {
99581ad8388SMartin Matuska 		// The group isn't the only group in the Stream, thus we
99681ad8388SMartin Matuska 		// know that it must have a parent group i.e. it's not
99781ad8388SMartin Matuska 		// the root node.
99881ad8388SMartin Matuska 		assert(stream->groups.root != &group->node);
99981ad8388SMartin Matuska 		assert(group->node.parent->right == &group->node);
100081ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_NEXT;
100181ad8388SMartin Matuska 		iter->internal[ITER_GROUP].p = group->node.parent;
100281ad8388SMartin Matuska 
100381ad8388SMartin Matuska 	} else {
100481ad8388SMartin Matuska 		// The Stream has only one group.
100581ad8388SMartin Matuska 		assert(stream->groups.root == &group->node);
100681ad8388SMartin Matuska 		assert(group->node.parent == NULL);
100781ad8388SMartin Matuska 		iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST;
100881ad8388SMartin Matuska 		iter->internal[ITER_GROUP].p = NULL;
100981ad8388SMartin Matuska 	}
101081ad8388SMartin Matuska 
1011*fe50a38eSXin LI 	// NOTE: lzma_index_iter.stream.number is lzma_vli but we use uint32_t
1012*fe50a38eSXin LI 	// internally.
101381ad8388SMartin Matuska 	iter->stream.number = stream->number;
101481ad8388SMartin Matuska 	iter->stream.block_count = stream->record_count;
101581ad8388SMartin Matuska 	iter->stream.compressed_offset = stream->node.compressed_base;
101681ad8388SMartin Matuska 	iter->stream.uncompressed_offset = stream->node.uncompressed_base;
101781ad8388SMartin Matuska 
101881ad8388SMartin Matuska 	// iter->stream.flags will be NULL if the Stream Flags haven't been
101981ad8388SMartin Matuska 	// set with lzma_index_stream_flags().
102081ad8388SMartin Matuska 	iter->stream.flags = stream->stream_flags.version == UINT32_MAX
102181ad8388SMartin Matuska 			? NULL : &stream->stream_flags;
102281ad8388SMartin Matuska 	iter->stream.padding = stream->stream_padding;
102381ad8388SMartin Matuska 
102481ad8388SMartin Matuska 	if (stream->groups.rightmost == NULL) {
102581ad8388SMartin Matuska 		// Stream has no Blocks.
102681ad8388SMartin Matuska 		iter->stream.compressed_size = index_size(0, 0)
102781ad8388SMartin Matuska 				+ 2 * LZMA_STREAM_HEADER_SIZE;
102881ad8388SMartin Matuska 		iter->stream.uncompressed_size = 0;
102981ad8388SMartin Matuska 	} else {
103081ad8388SMartin Matuska 		const index_group *g = (const index_group *)(
103181ad8388SMartin Matuska 				stream->groups.rightmost);
103281ad8388SMartin Matuska 
103381ad8388SMartin Matuska 		// Stream Header + Stream Footer + Index + Blocks
103481ad8388SMartin Matuska 		iter->stream.compressed_size = 2 * LZMA_STREAM_HEADER_SIZE
103581ad8388SMartin Matuska 				+ index_size(stream->record_count,
103681ad8388SMartin Matuska 					stream->index_list_size)
103781ad8388SMartin Matuska 				+ vli_ceil4(g->records[g->last].unpadded_sum);
103881ad8388SMartin Matuska 		iter->stream.uncompressed_size
103981ad8388SMartin Matuska 				= g->records[g->last].uncompressed_sum;
104081ad8388SMartin Matuska 	}
104181ad8388SMartin Matuska 
104281ad8388SMartin Matuska 	if (group != NULL) {
104381ad8388SMartin Matuska 		iter->block.number_in_stream = group->number_base + record;
104481ad8388SMartin Matuska 		iter->block.number_in_file = iter->block.number_in_stream
104581ad8388SMartin Matuska 				+ stream->block_number_base;
104681ad8388SMartin Matuska 
104781ad8388SMartin Matuska 		iter->block.compressed_stream_offset
104881ad8388SMartin Matuska 				= record == 0 ? group->node.compressed_base
104981ad8388SMartin Matuska 				: vli_ceil4(group->records[
105081ad8388SMartin Matuska 					record - 1].unpadded_sum);
105181ad8388SMartin Matuska 		iter->block.uncompressed_stream_offset
105281ad8388SMartin Matuska 				= record == 0 ? group->node.uncompressed_base
105381ad8388SMartin Matuska 				: group->records[record - 1].uncompressed_sum;
105481ad8388SMartin Matuska 
105581ad8388SMartin Matuska 		iter->block.uncompressed_size
105681ad8388SMartin Matuska 				= group->records[record].uncompressed_sum
105781ad8388SMartin Matuska 				- iter->block.uncompressed_stream_offset;
105881ad8388SMartin Matuska 		iter->block.unpadded_size
105981ad8388SMartin Matuska 				= group->records[record].unpadded_sum
106081ad8388SMartin Matuska 				- iter->block.compressed_stream_offset;
106181ad8388SMartin Matuska 		iter->block.total_size = vli_ceil4(iter->block.unpadded_size);
106281ad8388SMartin Matuska 
106381ad8388SMartin Matuska 		iter->block.compressed_stream_offset
106481ad8388SMartin Matuska 				+= LZMA_STREAM_HEADER_SIZE;
106581ad8388SMartin Matuska 
106681ad8388SMartin Matuska 		iter->block.compressed_file_offset
106781ad8388SMartin Matuska 				= iter->block.compressed_stream_offset
106881ad8388SMartin Matuska 				+ iter->stream.compressed_offset;
106981ad8388SMartin Matuska 		iter->block.uncompressed_file_offset
107081ad8388SMartin Matuska 				= iter->block.uncompressed_stream_offset
107181ad8388SMartin Matuska 				+ iter->stream.uncompressed_offset;
107281ad8388SMartin Matuska 	}
107381ad8388SMartin Matuska 
107481ad8388SMartin Matuska 	return;
107581ad8388SMartin Matuska }
107681ad8388SMartin Matuska 
107781ad8388SMartin Matuska 
107881ad8388SMartin Matuska extern LZMA_API(void)
107981ad8388SMartin Matuska lzma_index_iter_init(lzma_index_iter *iter, const lzma_index *i)
108081ad8388SMartin Matuska {
108181ad8388SMartin Matuska 	iter->internal[ITER_INDEX].p = i;
108281ad8388SMartin Matuska 	lzma_index_iter_rewind(iter);
108381ad8388SMartin Matuska 	return;
108481ad8388SMartin Matuska }
108581ad8388SMartin Matuska 
108681ad8388SMartin Matuska 
108781ad8388SMartin Matuska extern LZMA_API(void)
108881ad8388SMartin Matuska lzma_index_iter_rewind(lzma_index_iter *iter)
108981ad8388SMartin Matuska {
109081ad8388SMartin Matuska 	iter->internal[ITER_STREAM].p = NULL;
109181ad8388SMartin Matuska 	iter->internal[ITER_GROUP].p = NULL;
109281ad8388SMartin Matuska 	iter->internal[ITER_RECORD].s = 0;
109381ad8388SMartin Matuska 	iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL;
109481ad8388SMartin Matuska 	return;
109581ad8388SMartin Matuska }
109681ad8388SMartin Matuska 
109781ad8388SMartin Matuska 
109881ad8388SMartin Matuska extern LZMA_API(lzma_bool)
109981ad8388SMartin Matuska lzma_index_iter_next(lzma_index_iter *iter, lzma_index_iter_mode mode)
110081ad8388SMartin Matuska {
110181ad8388SMartin Matuska 	// Catch unsupported mode values.
110281ad8388SMartin Matuska 	if ((unsigned int)(mode) > LZMA_INDEX_ITER_NONEMPTY_BLOCK)
110381ad8388SMartin Matuska 		return true;
110481ad8388SMartin Matuska 
110581ad8388SMartin Matuska 	const lzma_index *i = iter->internal[ITER_INDEX].p;
110681ad8388SMartin Matuska 	const index_stream *stream = iter->internal[ITER_STREAM].p;
110781ad8388SMartin Matuska 	const index_group *group = NULL;
110881ad8388SMartin Matuska 	size_t record = iter->internal[ITER_RECORD].s;
110981ad8388SMartin Matuska 
111081ad8388SMartin Matuska 	// If we are being asked for the next Stream, leave group to NULL
111181ad8388SMartin Matuska 	// so that the rest of the this function thinks that this Stream
111281ad8388SMartin Matuska 	// has no groups and will thus go to the next Stream.
111381ad8388SMartin Matuska 	if (mode != LZMA_INDEX_ITER_STREAM) {
111481ad8388SMartin Matuska 		// Get the pointer to the current group. See iter_set_inf()
111581ad8388SMartin Matuska 		// for explanation.
111681ad8388SMartin Matuska 		switch (iter->internal[ITER_METHOD].s) {
111781ad8388SMartin Matuska 		case ITER_METHOD_NORMAL:
111881ad8388SMartin Matuska 			group = iter->internal[ITER_GROUP].p;
111981ad8388SMartin Matuska 			break;
112081ad8388SMartin Matuska 
112181ad8388SMartin Matuska 		case ITER_METHOD_NEXT:
112281ad8388SMartin Matuska 			group = index_tree_next(iter->internal[ITER_GROUP].p);
112381ad8388SMartin Matuska 			break;
112481ad8388SMartin Matuska 
112581ad8388SMartin Matuska 		case ITER_METHOD_LEFTMOST:
112681ad8388SMartin Matuska 			group = (const index_group *)(
112781ad8388SMartin Matuska 					stream->groups.leftmost);
112881ad8388SMartin Matuska 			break;
112981ad8388SMartin Matuska 		}
113081ad8388SMartin Matuska 	}
113181ad8388SMartin Matuska 
113281ad8388SMartin Matuska again:
113381ad8388SMartin Matuska 	if (stream == NULL) {
113481ad8388SMartin Matuska 		// We at the beginning of the lzma_index.
113581ad8388SMartin Matuska 		// Locate the first Stream.
113681ad8388SMartin Matuska 		stream = (const index_stream *)(i->streams.leftmost);
113781ad8388SMartin Matuska 		if (mode >= LZMA_INDEX_ITER_BLOCK) {
113881ad8388SMartin Matuska 			// Since we are being asked to return information
113981ad8388SMartin Matuska 			// about the first a Block, skip Streams that have
114081ad8388SMartin Matuska 			// no Blocks.
114181ad8388SMartin Matuska 			while (stream->groups.leftmost == NULL) {
114281ad8388SMartin Matuska 				stream = index_tree_next(&stream->node);
114381ad8388SMartin Matuska 				if (stream == NULL)
114481ad8388SMartin Matuska 					return true;
114581ad8388SMartin Matuska 			}
114681ad8388SMartin Matuska 		}
114781ad8388SMartin Matuska 
114881ad8388SMartin Matuska 		// Start from the first Record in the Stream.
114981ad8388SMartin Matuska 		group = (const index_group *)(stream->groups.leftmost);
115081ad8388SMartin Matuska 		record = 0;
115181ad8388SMartin Matuska 
115281ad8388SMartin Matuska 	} else if (group != NULL && record < group->last) {
115381ad8388SMartin Matuska 		// The next Record is in the same group.
115481ad8388SMartin Matuska 		++record;
115581ad8388SMartin Matuska 
115681ad8388SMartin Matuska 	} else {
115781ad8388SMartin Matuska 		// This group has no more Records or this Stream has
115881ad8388SMartin Matuska 		// no Blocks at all.
115981ad8388SMartin Matuska 		record = 0;
116081ad8388SMartin Matuska 
116181ad8388SMartin Matuska 		// If group is not NULL, this Stream has at least one Block
116281ad8388SMartin Matuska 		// and thus at least one group. Find the next group.
116381ad8388SMartin Matuska 		if (group != NULL)
116481ad8388SMartin Matuska 			group = index_tree_next(&group->node);
116581ad8388SMartin Matuska 
116681ad8388SMartin Matuska 		if (group == NULL) {
116781ad8388SMartin Matuska 			// This Stream has no more Records. Find the next
116881ad8388SMartin Matuska 			// Stream. If we are being asked to return information
116981ad8388SMartin Matuska 			// about a Block, we skip empty Streams.
117081ad8388SMartin Matuska 			do {
117181ad8388SMartin Matuska 				stream = index_tree_next(&stream->node);
117281ad8388SMartin Matuska 				if (stream == NULL)
117381ad8388SMartin Matuska 					return true;
117481ad8388SMartin Matuska 			} while (mode >= LZMA_INDEX_ITER_BLOCK
117581ad8388SMartin Matuska 					&& stream->groups.leftmost == NULL);
117681ad8388SMartin Matuska 
117781ad8388SMartin Matuska 			group = (const index_group *)(
117881ad8388SMartin Matuska 					stream->groups.leftmost);
117981ad8388SMartin Matuska 		}
118081ad8388SMartin Matuska 	}
118181ad8388SMartin Matuska 
118281ad8388SMartin Matuska 	if (mode == LZMA_INDEX_ITER_NONEMPTY_BLOCK) {
118381ad8388SMartin Matuska 		// We need to look for the next Block again if this Block
118481ad8388SMartin Matuska 		// is empty.
118581ad8388SMartin Matuska 		if (record == 0) {
118681ad8388SMartin Matuska 			if (group->node.uncompressed_base
118781ad8388SMartin Matuska 					== group->records[0].uncompressed_sum)
118881ad8388SMartin Matuska 				goto again;
118981ad8388SMartin Matuska 		} else if (group->records[record - 1].uncompressed_sum
119081ad8388SMartin Matuska 				== group->records[record].uncompressed_sum) {
119181ad8388SMartin Matuska 			goto again;
119281ad8388SMartin Matuska 		}
119381ad8388SMartin Matuska 	}
119481ad8388SMartin Matuska 
119581ad8388SMartin Matuska 	iter->internal[ITER_STREAM].p = stream;
119681ad8388SMartin Matuska 	iter->internal[ITER_GROUP].p = group;
119781ad8388SMartin Matuska 	iter->internal[ITER_RECORD].s = record;
119881ad8388SMartin Matuska 
119981ad8388SMartin Matuska 	iter_set_info(iter);
120081ad8388SMartin Matuska 
120181ad8388SMartin Matuska 	return false;
120281ad8388SMartin Matuska }
120381ad8388SMartin Matuska 
120481ad8388SMartin Matuska 
120581ad8388SMartin Matuska extern LZMA_API(lzma_bool)
120681ad8388SMartin Matuska lzma_index_iter_locate(lzma_index_iter *iter, lzma_vli target)
120781ad8388SMartin Matuska {
120881ad8388SMartin Matuska 	const lzma_index *i = iter->internal[ITER_INDEX].p;
120981ad8388SMartin Matuska 
121081ad8388SMartin Matuska 	// If the target is past the end of the file, return immediately.
121181ad8388SMartin Matuska 	if (i->uncompressed_size <= target)
121281ad8388SMartin Matuska 		return true;
121381ad8388SMartin Matuska 
121481ad8388SMartin Matuska 	// Locate the Stream containing the target offset.
121581ad8388SMartin Matuska 	const index_stream *stream = index_tree_locate(&i->streams, target);
121681ad8388SMartin Matuska 	assert(stream != NULL);
121781ad8388SMartin Matuska 	target -= stream->node.uncompressed_base;
121881ad8388SMartin Matuska 
121981ad8388SMartin Matuska 	// Locate the group containing the target offset.
122081ad8388SMartin Matuska 	const index_group *group = index_tree_locate(&stream->groups, target);
122181ad8388SMartin Matuska 	assert(group != NULL);
122281ad8388SMartin Matuska 
122381ad8388SMartin Matuska 	// Use binary search to locate the exact Record. It is the first
122481ad8388SMartin Matuska 	// Record whose uncompressed_sum is greater than target.
122581ad8388SMartin Matuska 	// This is because we want the rightmost Record that fullfills the
122681ad8388SMartin Matuska 	// search criterion. It is possible that there are empty Blocks;
122781ad8388SMartin Matuska 	// we don't want to return them.
122881ad8388SMartin Matuska 	size_t left = 0;
122981ad8388SMartin Matuska 	size_t right = group->last;
123081ad8388SMartin Matuska 
123181ad8388SMartin Matuska 	while (left < right) {
123281ad8388SMartin Matuska 		const size_t pos = left + (right - left) / 2;
123381ad8388SMartin Matuska 		if (group->records[pos].uncompressed_sum <= target)
123481ad8388SMartin Matuska 			left = pos + 1;
123581ad8388SMartin Matuska 		else
123681ad8388SMartin Matuska 			right = pos;
123781ad8388SMartin Matuska 	}
123881ad8388SMartin Matuska 
123981ad8388SMartin Matuska 	iter->internal[ITER_STREAM].p = stream;
124081ad8388SMartin Matuska 	iter->internal[ITER_GROUP].p = group;
124181ad8388SMartin Matuska 	iter->internal[ITER_RECORD].s = left;
124281ad8388SMartin Matuska 
124381ad8388SMartin Matuska 	iter_set_info(iter);
124481ad8388SMartin Matuska 
124581ad8388SMartin Matuska 	return false;
124681ad8388SMartin Matuska }
1247