1*6777b538SAndroid Build Coastguard Worker /* Copyright 2013 Google Inc. All Rights Reserved.
2*6777b538SAndroid Build Coastguard Worker
3*6777b538SAndroid Build Coastguard Worker Distributed under MIT license.
4*6777b538SAndroid Build Coastguard Worker See file LICENSE for detail or copy at https://opensource.org/licenses/MIT
5*6777b538SAndroid Build Coastguard Worker */
6*6777b538SAndroid Build Coastguard Worker
7*6777b538SAndroid Build Coastguard Worker #include <brotli/decode.h>
8*6777b538SAndroid Build Coastguard Worker
9*6777b538SAndroid Build Coastguard Worker #include <stdlib.h> /* free, malloc */
10*6777b538SAndroid Build Coastguard Worker #include <string.h> /* memcpy, memset */
11*6777b538SAndroid Build Coastguard Worker
12*6777b538SAndroid Build Coastguard Worker #include "../common/constants.h"
13*6777b538SAndroid Build Coastguard Worker #include "../common/context.h"
14*6777b538SAndroid Build Coastguard Worker #include "../common/dictionary.h"
15*6777b538SAndroid Build Coastguard Worker #include "../common/platform.h"
16*6777b538SAndroid Build Coastguard Worker #include "../common/shared_dictionary_internal.h"
17*6777b538SAndroid Build Coastguard Worker #include "../common/transform.h"
18*6777b538SAndroid Build Coastguard Worker #include "../common/version.h"
19*6777b538SAndroid Build Coastguard Worker #include "bit_reader.h"
20*6777b538SAndroid Build Coastguard Worker #include "huffman.h"
21*6777b538SAndroid Build Coastguard Worker #include "prefix.h"
22*6777b538SAndroid Build Coastguard Worker #include "state.h"
23*6777b538SAndroid Build Coastguard Worker
24*6777b538SAndroid Build Coastguard Worker #if defined(BROTLI_TARGET_NEON)
25*6777b538SAndroid Build Coastguard Worker #include <arm_neon.h>
26*6777b538SAndroid Build Coastguard Worker #endif
27*6777b538SAndroid Build Coastguard Worker
28*6777b538SAndroid Build Coastguard Worker #if defined(__cplusplus) || defined(c_plusplus)
29*6777b538SAndroid Build Coastguard Worker extern "C" {
30*6777b538SAndroid Build Coastguard Worker #endif
31*6777b538SAndroid Build Coastguard Worker
32*6777b538SAndroid Build Coastguard Worker #define BROTLI_FAILURE(CODE) (BROTLI_DUMP(), CODE)
33*6777b538SAndroid Build Coastguard Worker
34*6777b538SAndroid Build Coastguard Worker #define BROTLI_LOG_UINT(name) \
35*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[%s] %s = %lu\n", __func__, #name, (unsigned long)(name)))
36*6777b538SAndroid Build Coastguard Worker #define BROTLI_LOG_ARRAY_INDEX(array_name, idx) \
37*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[%s] %s[%lu] = %lu\n", __func__, #array_name, \
38*6777b538SAndroid Build Coastguard Worker (unsigned long)(idx), (unsigned long)array_name[idx]))
39*6777b538SAndroid Build Coastguard Worker
40*6777b538SAndroid Build Coastguard Worker #define HUFFMAN_TABLE_BITS 8U
41*6777b538SAndroid Build Coastguard Worker #define HUFFMAN_TABLE_MASK 0xFF
42*6777b538SAndroid Build Coastguard Worker
43*6777b538SAndroid Build Coastguard Worker /* We need the slack region for the following reasons:
44*6777b538SAndroid Build Coastguard Worker - doing up to two 16-byte copies for fast backward copying
45*6777b538SAndroid Build Coastguard Worker - inserting transformed dictionary word:
46*6777b538SAndroid Build Coastguard Worker 255 prefix + 32 base + 255 suffix */
47*6777b538SAndroid Build Coastguard Worker static const uint32_t kRingBufferWriteAheadSlack = 542;
48*6777b538SAndroid Build Coastguard Worker
49*6777b538SAndroid Build Coastguard Worker static const uint8_t kCodeLengthCodeOrder[BROTLI_CODE_LENGTH_CODES] = {
50*6777b538SAndroid Build Coastguard Worker 1, 2, 3, 4, 0, 5, 17, 6, 16, 7, 8, 9, 10, 11, 12, 13, 14, 15,
51*6777b538SAndroid Build Coastguard Worker };
52*6777b538SAndroid Build Coastguard Worker
53*6777b538SAndroid Build Coastguard Worker /* Static prefix code for the complex code length code lengths. */
54*6777b538SAndroid Build Coastguard Worker static const uint8_t kCodeLengthPrefixLength[16] = {
55*6777b538SAndroid Build Coastguard Worker 2, 2, 2, 3, 2, 2, 2, 4, 2, 2, 2, 3, 2, 2, 2, 4,
56*6777b538SAndroid Build Coastguard Worker };
57*6777b538SAndroid Build Coastguard Worker
58*6777b538SAndroid Build Coastguard Worker static const uint8_t kCodeLengthPrefixValue[16] = {
59*6777b538SAndroid Build Coastguard Worker 0, 4, 3, 2, 0, 4, 3, 1, 0, 4, 3, 2, 0, 4, 3, 5,
60*6777b538SAndroid Build Coastguard Worker };
61*6777b538SAndroid Build Coastguard Worker
BrotliDecoderSetParameter(BrotliDecoderState * state,BrotliDecoderParameter p,uint32_t value)62*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL BrotliDecoderSetParameter(
63*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* state, BrotliDecoderParameter p, uint32_t value) {
64*6777b538SAndroid Build Coastguard Worker if (state->state != BROTLI_STATE_UNINITED) return BROTLI_FALSE;
65*6777b538SAndroid Build Coastguard Worker switch (p) {
66*6777b538SAndroid Build Coastguard Worker case BROTLI_DECODER_PARAM_DISABLE_RING_BUFFER_REALLOCATION:
67*6777b538SAndroid Build Coastguard Worker state->canny_ringbuffer_allocation = !!value ? 0 : 1;
68*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
69*6777b538SAndroid Build Coastguard Worker
70*6777b538SAndroid Build Coastguard Worker case BROTLI_DECODER_PARAM_LARGE_WINDOW:
71*6777b538SAndroid Build Coastguard Worker state->large_window = TO_BROTLI_BOOL(!!value);
72*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
73*6777b538SAndroid Build Coastguard Worker
74*6777b538SAndroid Build Coastguard Worker default: return BROTLI_FALSE;
75*6777b538SAndroid Build Coastguard Worker }
76*6777b538SAndroid Build Coastguard Worker }
77*6777b538SAndroid Build Coastguard Worker
BrotliDecoderCreateInstance(brotli_alloc_func alloc_func,brotli_free_func free_func,void * opaque)78*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* BrotliDecoderCreateInstance(
79*6777b538SAndroid Build Coastguard Worker brotli_alloc_func alloc_func, brotli_free_func free_func, void* opaque) {
80*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* state = 0;
81*6777b538SAndroid Build Coastguard Worker if (!alloc_func && !free_func) {
82*6777b538SAndroid Build Coastguard Worker state = (BrotliDecoderState*)malloc(sizeof(BrotliDecoderState));
83*6777b538SAndroid Build Coastguard Worker } else if (alloc_func && free_func) {
84*6777b538SAndroid Build Coastguard Worker state = (BrotliDecoderState*)alloc_func(opaque, sizeof(BrotliDecoderState));
85*6777b538SAndroid Build Coastguard Worker }
86*6777b538SAndroid Build Coastguard Worker if (state == 0) {
87*6777b538SAndroid Build Coastguard Worker BROTLI_DUMP();
88*6777b538SAndroid Build Coastguard Worker return 0;
89*6777b538SAndroid Build Coastguard Worker }
90*6777b538SAndroid Build Coastguard Worker if (!BrotliDecoderStateInit(state, alloc_func, free_func, opaque)) {
91*6777b538SAndroid Build Coastguard Worker BROTLI_DUMP();
92*6777b538SAndroid Build Coastguard Worker if (!alloc_func && !free_func) {
93*6777b538SAndroid Build Coastguard Worker free(state);
94*6777b538SAndroid Build Coastguard Worker } else if (alloc_func && free_func) {
95*6777b538SAndroid Build Coastguard Worker free_func(opaque, state);
96*6777b538SAndroid Build Coastguard Worker }
97*6777b538SAndroid Build Coastguard Worker return 0;
98*6777b538SAndroid Build Coastguard Worker }
99*6777b538SAndroid Build Coastguard Worker return state;
100*6777b538SAndroid Build Coastguard Worker }
101*6777b538SAndroid Build Coastguard Worker
102*6777b538SAndroid Build Coastguard Worker /* Deinitializes and frees BrotliDecoderState instance. */
BrotliDecoderDestroyInstance(BrotliDecoderState * state)103*6777b538SAndroid Build Coastguard Worker void BrotliDecoderDestroyInstance(BrotliDecoderState* state) {
104*6777b538SAndroid Build Coastguard Worker if (!state) {
105*6777b538SAndroid Build Coastguard Worker return;
106*6777b538SAndroid Build Coastguard Worker } else {
107*6777b538SAndroid Build Coastguard Worker brotli_free_func free_func = state->free_func;
108*6777b538SAndroid Build Coastguard Worker void* opaque = state->memory_manager_opaque;
109*6777b538SAndroid Build Coastguard Worker BrotliDecoderStateCleanup(state);
110*6777b538SAndroid Build Coastguard Worker free_func(opaque, state);
111*6777b538SAndroid Build Coastguard Worker }
112*6777b538SAndroid Build Coastguard Worker }
113*6777b538SAndroid Build Coastguard Worker
114*6777b538SAndroid Build Coastguard Worker /* Saves error code and converts it to BrotliDecoderResult. */
SaveErrorCode(BrotliDecoderState * s,BrotliDecoderErrorCode e)115*6777b538SAndroid Build Coastguard Worker static BROTLI_NOINLINE BrotliDecoderResult SaveErrorCode(
116*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, BrotliDecoderErrorCode e) {
117*6777b538SAndroid Build Coastguard Worker s->error_code = (int)e;
118*6777b538SAndroid Build Coastguard Worker switch (e) {
119*6777b538SAndroid Build Coastguard Worker case BROTLI_DECODER_SUCCESS:
120*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_RESULT_SUCCESS;
121*6777b538SAndroid Build Coastguard Worker
122*6777b538SAndroid Build Coastguard Worker case BROTLI_DECODER_NEEDS_MORE_INPUT:
123*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_RESULT_NEEDS_MORE_INPUT;
124*6777b538SAndroid Build Coastguard Worker
125*6777b538SAndroid Build Coastguard Worker case BROTLI_DECODER_NEEDS_MORE_OUTPUT:
126*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_RESULT_NEEDS_MORE_OUTPUT;
127*6777b538SAndroid Build Coastguard Worker
128*6777b538SAndroid Build Coastguard Worker default:
129*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_RESULT_ERROR;
130*6777b538SAndroid Build Coastguard Worker }
131*6777b538SAndroid Build Coastguard Worker }
132*6777b538SAndroid Build Coastguard Worker
133*6777b538SAndroid Build Coastguard Worker /* Decodes WBITS by reading 1 - 7 bits, or 0x11 for "Large Window Brotli".
134*6777b538SAndroid Build Coastguard Worker Precondition: bit-reader accumulator has at least 8 bits. */
DecodeWindowBits(BrotliDecoderState * s,BrotliBitReader * br)135*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode DecodeWindowBits(BrotliDecoderState* s,
136*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br) {
137*6777b538SAndroid Build Coastguard Worker uint32_t n;
138*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL large_window = s->large_window;
139*6777b538SAndroid Build Coastguard Worker s->large_window = BROTLI_FALSE;
140*6777b538SAndroid Build Coastguard Worker BrotliTakeBits(br, 1, &n);
141*6777b538SAndroid Build Coastguard Worker if (n == 0) {
142*6777b538SAndroid Build Coastguard Worker s->window_bits = 16;
143*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
144*6777b538SAndroid Build Coastguard Worker }
145*6777b538SAndroid Build Coastguard Worker BrotliTakeBits(br, 3, &n);
146*6777b538SAndroid Build Coastguard Worker if (n != 0) {
147*6777b538SAndroid Build Coastguard Worker s->window_bits = 17 + n;
148*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
149*6777b538SAndroid Build Coastguard Worker }
150*6777b538SAndroid Build Coastguard Worker BrotliTakeBits(br, 3, &n);
151*6777b538SAndroid Build Coastguard Worker if (n == 1) {
152*6777b538SAndroid Build Coastguard Worker if (large_window) {
153*6777b538SAndroid Build Coastguard Worker BrotliTakeBits(br, 1, &n);
154*6777b538SAndroid Build Coastguard Worker if (n == 1) {
155*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_WINDOW_BITS);
156*6777b538SAndroid Build Coastguard Worker }
157*6777b538SAndroid Build Coastguard Worker s->large_window = BROTLI_TRUE;
158*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
159*6777b538SAndroid Build Coastguard Worker } else {
160*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_WINDOW_BITS);
161*6777b538SAndroid Build Coastguard Worker }
162*6777b538SAndroid Build Coastguard Worker }
163*6777b538SAndroid Build Coastguard Worker if (n != 0) {
164*6777b538SAndroid Build Coastguard Worker s->window_bits = 8 + n;
165*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
166*6777b538SAndroid Build Coastguard Worker }
167*6777b538SAndroid Build Coastguard Worker s->window_bits = 17;
168*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
169*6777b538SAndroid Build Coastguard Worker }
170*6777b538SAndroid Build Coastguard Worker
memmove16(uint8_t * dst,uint8_t * src)171*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void memmove16(uint8_t* dst, uint8_t* src) {
172*6777b538SAndroid Build Coastguard Worker #if defined(BROTLI_TARGET_NEON)
173*6777b538SAndroid Build Coastguard Worker vst1q_u8(dst, vld1q_u8(src));
174*6777b538SAndroid Build Coastguard Worker #else
175*6777b538SAndroid Build Coastguard Worker uint32_t buffer[4];
176*6777b538SAndroid Build Coastguard Worker memcpy(buffer, src, 16);
177*6777b538SAndroid Build Coastguard Worker memcpy(dst, buffer, 16);
178*6777b538SAndroid Build Coastguard Worker #endif
179*6777b538SAndroid Build Coastguard Worker }
180*6777b538SAndroid Build Coastguard Worker
181*6777b538SAndroid Build Coastguard Worker /* Decodes a number in the range [0..255], by reading 1 - 11 bits. */
DecodeVarLenUint8(BrotliDecoderState * s,BrotliBitReader * br,uint32_t * value)182*6777b538SAndroid Build Coastguard Worker static BROTLI_NOINLINE BrotliDecoderErrorCode DecodeVarLenUint8(
183*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, BrotliBitReader* br, uint32_t* value) {
184*6777b538SAndroid Build Coastguard Worker uint32_t bits;
185*6777b538SAndroid Build Coastguard Worker switch (s->substate_decode_uint8) {
186*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_DECODE_UINT8_NONE:
187*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(!BrotliSafeReadBits(br, 1, &bits))) {
188*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
189*6777b538SAndroid Build Coastguard Worker }
190*6777b538SAndroid Build Coastguard Worker if (bits == 0) {
191*6777b538SAndroid Build Coastguard Worker *value = 0;
192*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
193*6777b538SAndroid Build Coastguard Worker }
194*6777b538SAndroid Build Coastguard Worker /* Fall through. */
195*6777b538SAndroid Build Coastguard Worker
196*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_DECODE_UINT8_SHORT:
197*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(!BrotliSafeReadBits(br, 3, &bits))) {
198*6777b538SAndroid Build Coastguard Worker s->substate_decode_uint8 = BROTLI_STATE_DECODE_UINT8_SHORT;
199*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
200*6777b538SAndroid Build Coastguard Worker }
201*6777b538SAndroid Build Coastguard Worker if (bits == 0) {
202*6777b538SAndroid Build Coastguard Worker *value = 1;
203*6777b538SAndroid Build Coastguard Worker s->substate_decode_uint8 = BROTLI_STATE_DECODE_UINT8_NONE;
204*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
205*6777b538SAndroid Build Coastguard Worker }
206*6777b538SAndroid Build Coastguard Worker /* Use output value as a temporary storage. It MUST be persisted. */
207*6777b538SAndroid Build Coastguard Worker *value = bits;
208*6777b538SAndroid Build Coastguard Worker /* Fall through. */
209*6777b538SAndroid Build Coastguard Worker
210*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_DECODE_UINT8_LONG:
211*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(!BrotliSafeReadBits(br, *value, &bits))) {
212*6777b538SAndroid Build Coastguard Worker s->substate_decode_uint8 = BROTLI_STATE_DECODE_UINT8_LONG;
213*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
214*6777b538SAndroid Build Coastguard Worker }
215*6777b538SAndroid Build Coastguard Worker *value = (1U << *value) + bits;
216*6777b538SAndroid Build Coastguard Worker s->substate_decode_uint8 = BROTLI_STATE_DECODE_UINT8_NONE;
217*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
218*6777b538SAndroid Build Coastguard Worker
219*6777b538SAndroid Build Coastguard Worker default:
220*6777b538SAndroid Build Coastguard Worker return
221*6777b538SAndroid Build Coastguard Worker BROTLI_FAILURE(BROTLI_DECODER_ERROR_UNREACHABLE); /* COV_NF_LINE */
222*6777b538SAndroid Build Coastguard Worker }
223*6777b538SAndroid Build Coastguard Worker }
224*6777b538SAndroid Build Coastguard Worker
225*6777b538SAndroid Build Coastguard Worker /* Decodes a metablock length and flags by reading 2 - 31 bits. */
DecodeMetaBlockLength(BrotliDecoderState * s,BrotliBitReader * br)226*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode BROTLI_NOINLINE DecodeMetaBlockLength(
227*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, BrotliBitReader* br) {
228*6777b538SAndroid Build Coastguard Worker uint32_t bits;
229*6777b538SAndroid Build Coastguard Worker int i;
230*6777b538SAndroid Build Coastguard Worker for (;;) {
231*6777b538SAndroid Build Coastguard Worker switch (s->substate_metablock_header) {
232*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_NONE:
233*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 1, &bits)) {
234*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
235*6777b538SAndroid Build Coastguard Worker }
236*6777b538SAndroid Build Coastguard Worker s->is_last_metablock = bits ? 1 : 0;
237*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len = 0;
238*6777b538SAndroid Build Coastguard Worker s->is_uncompressed = 0;
239*6777b538SAndroid Build Coastguard Worker s->is_metadata = 0;
240*6777b538SAndroid Build Coastguard Worker if (!s->is_last_metablock) {
241*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_NIBBLES;
242*6777b538SAndroid Build Coastguard Worker break;
243*6777b538SAndroid Build Coastguard Worker }
244*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_EMPTY;
245*6777b538SAndroid Build Coastguard Worker /* Fall through. */
246*6777b538SAndroid Build Coastguard Worker
247*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_EMPTY:
248*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 1, &bits)) {
249*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
250*6777b538SAndroid Build Coastguard Worker }
251*6777b538SAndroid Build Coastguard Worker if (bits) {
252*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_NONE;
253*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
254*6777b538SAndroid Build Coastguard Worker }
255*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_NIBBLES;
256*6777b538SAndroid Build Coastguard Worker /* Fall through. */
257*6777b538SAndroid Build Coastguard Worker
258*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_NIBBLES:
259*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 2, &bits)) {
260*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
261*6777b538SAndroid Build Coastguard Worker }
262*6777b538SAndroid Build Coastguard Worker s->size_nibbles = (uint8_t)(bits + 4);
263*6777b538SAndroid Build Coastguard Worker s->loop_counter = 0;
264*6777b538SAndroid Build Coastguard Worker if (bits == 3) {
265*6777b538SAndroid Build Coastguard Worker s->is_metadata = 1;
266*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_RESERVED;
267*6777b538SAndroid Build Coastguard Worker break;
268*6777b538SAndroid Build Coastguard Worker }
269*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_SIZE;
270*6777b538SAndroid Build Coastguard Worker /* Fall through. */
271*6777b538SAndroid Build Coastguard Worker
272*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_SIZE:
273*6777b538SAndroid Build Coastguard Worker i = s->loop_counter;
274*6777b538SAndroid Build Coastguard Worker for (; i < (int)s->size_nibbles; ++i) {
275*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 4, &bits)) {
276*6777b538SAndroid Build Coastguard Worker s->loop_counter = i;
277*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
278*6777b538SAndroid Build Coastguard Worker }
279*6777b538SAndroid Build Coastguard Worker if (i + 1 == (int)s->size_nibbles && s->size_nibbles > 4 &&
280*6777b538SAndroid Build Coastguard Worker bits == 0) {
281*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_EXUBERANT_NIBBLE);
282*6777b538SAndroid Build Coastguard Worker }
283*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len |= (int)(bits << (i * 4));
284*6777b538SAndroid Build Coastguard Worker }
285*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header =
286*6777b538SAndroid Build Coastguard Worker BROTLI_STATE_METABLOCK_HEADER_UNCOMPRESSED;
287*6777b538SAndroid Build Coastguard Worker /* Fall through. */
288*6777b538SAndroid Build Coastguard Worker
289*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_UNCOMPRESSED:
290*6777b538SAndroid Build Coastguard Worker if (!s->is_last_metablock) {
291*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 1, &bits)) {
292*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
293*6777b538SAndroid Build Coastguard Worker }
294*6777b538SAndroid Build Coastguard Worker s->is_uncompressed = bits ? 1 : 0;
295*6777b538SAndroid Build Coastguard Worker }
296*6777b538SAndroid Build Coastguard Worker ++s->meta_block_remaining_len;
297*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_NONE;
298*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
299*6777b538SAndroid Build Coastguard Worker
300*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_RESERVED:
301*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 1, &bits)) {
302*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
303*6777b538SAndroid Build Coastguard Worker }
304*6777b538SAndroid Build Coastguard Worker if (bits != 0) {
305*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_RESERVED);
306*6777b538SAndroid Build Coastguard Worker }
307*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_BYTES;
308*6777b538SAndroid Build Coastguard Worker /* Fall through. */
309*6777b538SAndroid Build Coastguard Worker
310*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_BYTES:
311*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 2, &bits)) {
312*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
313*6777b538SAndroid Build Coastguard Worker }
314*6777b538SAndroid Build Coastguard Worker if (bits == 0) {
315*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_NONE;
316*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
317*6777b538SAndroid Build Coastguard Worker }
318*6777b538SAndroid Build Coastguard Worker s->size_nibbles = (uint8_t)bits;
319*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_METADATA;
320*6777b538SAndroid Build Coastguard Worker /* Fall through. */
321*6777b538SAndroid Build Coastguard Worker
322*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_METADATA:
323*6777b538SAndroid Build Coastguard Worker i = s->loop_counter;
324*6777b538SAndroid Build Coastguard Worker for (; i < (int)s->size_nibbles; ++i) {
325*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 8, &bits)) {
326*6777b538SAndroid Build Coastguard Worker s->loop_counter = i;
327*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
328*6777b538SAndroid Build Coastguard Worker }
329*6777b538SAndroid Build Coastguard Worker if (i + 1 == (int)s->size_nibbles && s->size_nibbles > 1 &&
330*6777b538SAndroid Build Coastguard Worker bits == 0) {
331*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(
332*6777b538SAndroid Build Coastguard Worker BROTLI_DECODER_ERROR_FORMAT_EXUBERANT_META_NIBBLE);
333*6777b538SAndroid Build Coastguard Worker }
334*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len |= (int)(bits << (i * 8));
335*6777b538SAndroid Build Coastguard Worker }
336*6777b538SAndroid Build Coastguard Worker ++s->meta_block_remaining_len;
337*6777b538SAndroid Build Coastguard Worker s->substate_metablock_header = BROTLI_STATE_METABLOCK_HEADER_NONE;
338*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
339*6777b538SAndroid Build Coastguard Worker
340*6777b538SAndroid Build Coastguard Worker default:
341*6777b538SAndroid Build Coastguard Worker return
342*6777b538SAndroid Build Coastguard Worker BROTLI_FAILURE(BROTLI_DECODER_ERROR_UNREACHABLE); /* COV_NF_LINE */
343*6777b538SAndroid Build Coastguard Worker }
344*6777b538SAndroid Build Coastguard Worker }
345*6777b538SAndroid Build Coastguard Worker }
346*6777b538SAndroid Build Coastguard Worker
347*6777b538SAndroid Build Coastguard Worker /* Decodes the Huffman code.
348*6777b538SAndroid Build Coastguard Worker This method doesn't read data from the bit reader, BUT drops the amount of
349*6777b538SAndroid Build Coastguard Worker bits that correspond to the decoded symbol.
350*6777b538SAndroid Build Coastguard Worker bits MUST contain at least 15 (BROTLI_HUFFMAN_MAX_CODE_LENGTH) valid bits. */
DecodeSymbol(uint32_t bits,const HuffmanCode * table,BrotliBitReader * br)351*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE uint32_t DecodeSymbol(uint32_t bits,
352*6777b538SAndroid Build Coastguard Worker const HuffmanCode* table,
353*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br) {
354*6777b538SAndroid Build Coastguard Worker BROTLI_HC_MARK_TABLE_FOR_FAST_LOAD(table);
355*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(table, bits & HUFFMAN_TABLE_MASK);
356*6777b538SAndroid Build Coastguard Worker if (BROTLI_HC_FAST_LOAD_BITS(table) > HUFFMAN_TABLE_BITS) {
357*6777b538SAndroid Build Coastguard Worker uint32_t nbits = BROTLI_HC_FAST_LOAD_BITS(table) - HUFFMAN_TABLE_BITS;
358*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, HUFFMAN_TABLE_BITS);
359*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(table,
360*6777b538SAndroid Build Coastguard Worker BROTLI_HC_FAST_LOAD_VALUE(table) +
361*6777b538SAndroid Build Coastguard Worker ((bits >> HUFFMAN_TABLE_BITS) & BitMask(nbits)));
362*6777b538SAndroid Build Coastguard Worker }
363*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, BROTLI_HC_FAST_LOAD_BITS(table));
364*6777b538SAndroid Build Coastguard Worker return BROTLI_HC_FAST_LOAD_VALUE(table);
365*6777b538SAndroid Build Coastguard Worker }
366*6777b538SAndroid Build Coastguard Worker
367*6777b538SAndroid Build Coastguard Worker /* Reads and decodes the next Huffman code from bit-stream.
368*6777b538SAndroid Build Coastguard Worker This method peeks 16 bits of input and drops 0 - 15 of them. */
ReadSymbol(const HuffmanCode * table,BrotliBitReader * br)369*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE uint32_t ReadSymbol(const HuffmanCode* table,
370*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br) {
371*6777b538SAndroid Build Coastguard Worker return DecodeSymbol(BrotliGet16BitsUnmasked(br), table, br);
372*6777b538SAndroid Build Coastguard Worker }
373*6777b538SAndroid Build Coastguard Worker
374*6777b538SAndroid Build Coastguard Worker /* Same as DecodeSymbol, but it is known that there is less than 15 bits of
375*6777b538SAndroid Build Coastguard Worker input are currently available. */
SafeDecodeSymbol(const HuffmanCode * table,BrotliBitReader * br,uint32_t * result)376*6777b538SAndroid Build Coastguard Worker static BROTLI_NOINLINE BROTLI_BOOL SafeDecodeSymbol(
377*6777b538SAndroid Build Coastguard Worker const HuffmanCode* table, BrotliBitReader* br, uint32_t* result) {
378*6777b538SAndroid Build Coastguard Worker uint32_t val;
379*6777b538SAndroid Build Coastguard Worker uint32_t available_bits = BrotliGetAvailableBits(br);
380*6777b538SAndroid Build Coastguard Worker BROTLI_HC_MARK_TABLE_FOR_FAST_LOAD(table);
381*6777b538SAndroid Build Coastguard Worker if (available_bits == 0) {
382*6777b538SAndroid Build Coastguard Worker if (BROTLI_HC_FAST_LOAD_BITS(table) == 0) {
383*6777b538SAndroid Build Coastguard Worker *result = BROTLI_HC_FAST_LOAD_VALUE(table);
384*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
385*6777b538SAndroid Build Coastguard Worker }
386*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE; /* No valid bits at all. */
387*6777b538SAndroid Build Coastguard Worker }
388*6777b538SAndroid Build Coastguard Worker val = (uint32_t)BrotliGetBitsUnmasked(br);
389*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(table, val & HUFFMAN_TABLE_MASK);
390*6777b538SAndroid Build Coastguard Worker if (BROTLI_HC_FAST_LOAD_BITS(table) <= HUFFMAN_TABLE_BITS) {
391*6777b538SAndroid Build Coastguard Worker if (BROTLI_HC_FAST_LOAD_BITS(table) <= available_bits) {
392*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, BROTLI_HC_FAST_LOAD_BITS(table));
393*6777b538SAndroid Build Coastguard Worker *result = BROTLI_HC_FAST_LOAD_VALUE(table);
394*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
395*6777b538SAndroid Build Coastguard Worker } else {
396*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE; /* Not enough bits for the first level. */
397*6777b538SAndroid Build Coastguard Worker }
398*6777b538SAndroid Build Coastguard Worker }
399*6777b538SAndroid Build Coastguard Worker if (available_bits <= HUFFMAN_TABLE_BITS) {
400*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE; /* Not enough bits to move to the second level. */
401*6777b538SAndroid Build Coastguard Worker }
402*6777b538SAndroid Build Coastguard Worker
403*6777b538SAndroid Build Coastguard Worker /* Speculatively drop HUFFMAN_TABLE_BITS. */
404*6777b538SAndroid Build Coastguard Worker val = (val & BitMask(BROTLI_HC_FAST_LOAD_BITS(table))) >> HUFFMAN_TABLE_BITS;
405*6777b538SAndroid Build Coastguard Worker available_bits -= HUFFMAN_TABLE_BITS;
406*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(table, BROTLI_HC_FAST_LOAD_VALUE(table) + val);
407*6777b538SAndroid Build Coastguard Worker if (available_bits < BROTLI_HC_FAST_LOAD_BITS(table)) {
408*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE; /* Not enough bits for the second level. */
409*6777b538SAndroid Build Coastguard Worker }
410*6777b538SAndroid Build Coastguard Worker
411*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, HUFFMAN_TABLE_BITS + BROTLI_HC_FAST_LOAD_BITS(table));
412*6777b538SAndroid Build Coastguard Worker *result = BROTLI_HC_FAST_LOAD_VALUE(table);
413*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
414*6777b538SAndroid Build Coastguard Worker }
415*6777b538SAndroid Build Coastguard Worker
SafeReadSymbol(const HuffmanCode * table,BrotliBitReader * br,uint32_t * result)416*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL SafeReadSymbol(
417*6777b538SAndroid Build Coastguard Worker const HuffmanCode* table, BrotliBitReader* br, uint32_t* result) {
418*6777b538SAndroid Build Coastguard Worker uint32_t val;
419*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_TRUE(BrotliSafeGetBits(br, 15, &val))) {
420*6777b538SAndroid Build Coastguard Worker *result = DecodeSymbol(val, table, br);
421*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
422*6777b538SAndroid Build Coastguard Worker }
423*6777b538SAndroid Build Coastguard Worker return SafeDecodeSymbol(table, br, result);
424*6777b538SAndroid Build Coastguard Worker }
425*6777b538SAndroid Build Coastguard Worker
426*6777b538SAndroid Build Coastguard Worker /* Makes a look-up in first level Huffman table. Peeks 8 bits. */
PreloadSymbol(int safe,const HuffmanCode * table,BrotliBitReader * br,uint32_t * bits,uint32_t * value)427*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void PreloadSymbol(int safe,
428*6777b538SAndroid Build Coastguard Worker const HuffmanCode* table,
429*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br,
430*6777b538SAndroid Build Coastguard Worker uint32_t* bits,
431*6777b538SAndroid Build Coastguard Worker uint32_t* value) {
432*6777b538SAndroid Build Coastguard Worker if (safe) {
433*6777b538SAndroid Build Coastguard Worker return;
434*6777b538SAndroid Build Coastguard Worker }
435*6777b538SAndroid Build Coastguard Worker BROTLI_HC_MARK_TABLE_FOR_FAST_LOAD(table);
436*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(table, BrotliGetBits(br, HUFFMAN_TABLE_BITS));
437*6777b538SAndroid Build Coastguard Worker *bits = BROTLI_HC_FAST_LOAD_BITS(table);
438*6777b538SAndroid Build Coastguard Worker *value = BROTLI_HC_FAST_LOAD_VALUE(table);
439*6777b538SAndroid Build Coastguard Worker }
440*6777b538SAndroid Build Coastguard Worker
441*6777b538SAndroid Build Coastguard Worker /* Decodes the next Huffman code using data prepared by PreloadSymbol.
442*6777b538SAndroid Build Coastguard Worker Reads 0 - 15 bits. Also peeks 8 following bits. */
ReadPreloadedSymbol(const HuffmanCode * table,BrotliBitReader * br,uint32_t * bits,uint32_t * value)443*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE uint32_t ReadPreloadedSymbol(const HuffmanCode* table,
444*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br,
445*6777b538SAndroid Build Coastguard Worker uint32_t* bits,
446*6777b538SAndroid Build Coastguard Worker uint32_t* value) {
447*6777b538SAndroid Build Coastguard Worker uint32_t result = *value;
448*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(*bits > HUFFMAN_TABLE_BITS)) {
449*6777b538SAndroid Build Coastguard Worker uint32_t val = BrotliGet16BitsUnmasked(br);
450*6777b538SAndroid Build Coastguard Worker const HuffmanCode* ext = table + (val & HUFFMAN_TABLE_MASK) + *value;
451*6777b538SAndroid Build Coastguard Worker uint32_t mask = BitMask((*bits - HUFFMAN_TABLE_BITS));
452*6777b538SAndroid Build Coastguard Worker BROTLI_HC_MARK_TABLE_FOR_FAST_LOAD(ext);
453*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, HUFFMAN_TABLE_BITS);
454*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(ext, (val >> HUFFMAN_TABLE_BITS) & mask);
455*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, BROTLI_HC_FAST_LOAD_BITS(ext));
456*6777b538SAndroid Build Coastguard Worker result = BROTLI_HC_FAST_LOAD_VALUE(ext);
457*6777b538SAndroid Build Coastguard Worker } else {
458*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, *bits);
459*6777b538SAndroid Build Coastguard Worker }
460*6777b538SAndroid Build Coastguard Worker PreloadSymbol(0, table, br, bits, value);
461*6777b538SAndroid Build Coastguard Worker return result;
462*6777b538SAndroid Build Coastguard Worker }
463*6777b538SAndroid Build Coastguard Worker
Log2Floor(uint32_t x)464*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE uint32_t Log2Floor(uint32_t x) {
465*6777b538SAndroid Build Coastguard Worker uint32_t result = 0;
466*6777b538SAndroid Build Coastguard Worker while (x) {
467*6777b538SAndroid Build Coastguard Worker x >>= 1;
468*6777b538SAndroid Build Coastguard Worker ++result;
469*6777b538SAndroid Build Coastguard Worker }
470*6777b538SAndroid Build Coastguard Worker return result;
471*6777b538SAndroid Build Coastguard Worker }
472*6777b538SAndroid Build Coastguard Worker
473*6777b538SAndroid Build Coastguard Worker /* Reads (s->symbol + 1) symbols.
474*6777b538SAndroid Build Coastguard Worker Totally 1..4 symbols are read, 1..11 bits each.
475*6777b538SAndroid Build Coastguard Worker The list of symbols MUST NOT contain duplicates. */
ReadSimpleHuffmanSymbols(uint32_t alphabet_size_max,uint32_t alphabet_size_limit,BrotliDecoderState * s)476*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode ReadSimpleHuffmanSymbols(
477*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size_max, uint32_t alphabet_size_limit,
478*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
479*6777b538SAndroid Build Coastguard Worker /* max_bits == 1..11; symbol == 0..3; 1..44 bits will be read. */
480*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
481*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
482*6777b538SAndroid Build Coastguard Worker uint32_t max_bits = Log2Floor(alphabet_size_max - 1);
483*6777b538SAndroid Build Coastguard Worker uint32_t i = h->sub_loop_counter;
484*6777b538SAndroid Build Coastguard Worker uint32_t num_symbols = h->symbol;
485*6777b538SAndroid Build Coastguard Worker while (i <= num_symbols) {
486*6777b538SAndroid Build Coastguard Worker uint32_t v;
487*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(!BrotliSafeReadBits(br, max_bits, &v))) {
488*6777b538SAndroid Build Coastguard Worker h->sub_loop_counter = i;
489*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_SIMPLE_READ;
490*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
491*6777b538SAndroid Build Coastguard Worker }
492*6777b538SAndroid Build Coastguard Worker if (v >= alphabet_size_limit) {
493*6777b538SAndroid Build Coastguard Worker return
494*6777b538SAndroid Build Coastguard Worker BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_SIMPLE_HUFFMAN_ALPHABET);
495*6777b538SAndroid Build Coastguard Worker }
496*6777b538SAndroid Build Coastguard Worker h->symbols_lists_array[i] = (uint16_t)v;
497*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(h->symbols_lists_array[i]);
498*6777b538SAndroid Build Coastguard Worker ++i;
499*6777b538SAndroid Build Coastguard Worker }
500*6777b538SAndroid Build Coastguard Worker
501*6777b538SAndroid Build Coastguard Worker for (i = 0; i < num_symbols; ++i) {
502*6777b538SAndroid Build Coastguard Worker uint32_t k = i + 1;
503*6777b538SAndroid Build Coastguard Worker for (; k <= num_symbols; ++k) {
504*6777b538SAndroid Build Coastguard Worker if (h->symbols_lists_array[i] == h->symbols_lists_array[k]) {
505*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_SIMPLE_HUFFMAN_SAME);
506*6777b538SAndroid Build Coastguard Worker }
507*6777b538SAndroid Build Coastguard Worker }
508*6777b538SAndroid Build Coastguard Worker }
509*6777b538SAndroid Build Coastguard Worker
510*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
511*6777b538SAndroid Build Coastguard Worker }
512*6777b538SAndroid Build Coastguard Worker
513*6777b538SAndroid Build Coastguard Worker /* Process single decoded symbol code length:
514*6777b538SAndroid Build Coastguard Worker A) reset the repeat variable
515*6777b538SAndroid Build Coastguard Worker B) remember code length (if it is not 0)
516*6777b538SAndroid Build Coastguard Worker C) extend corresponding index-chain
517*6777b538SAndroid Build Coastguard Worker D) reduce the Huffman space
518*6777b538SAndroid Build Coastguard Worker E) update the histogram */
ProcessSingleCodeLength(uint32_t code_len,uint32_t * symbol,uint32_t * repeat,uint32_t * space,uint32_t * prev_code_len,uint16_t * symbol_lists,uint16_t * code_length_histo,int * next_symbol)519*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void ProcessSingleCodeLength(uint32_t code_len,
520*6777b538SAndroid Build Coastguard Worker uint32_t* symbol, uint32_t* repeat, uint32_t* space,
521*6777b538SAndroid Build Coastguard Worker uint32_t* prev_code_len, uint16_t* symbol_lists,
522*6777b538SAndroid Build Coastguard Worker uint16_t* code_length_histo, int* next_symbol) {
523*6777b538SAndroid Build Coastguard Worker *repeat = 0;
524*6777b538SAndroid Build Coastguard Worker if (code_len != 0) { /* code_len == 1..15 */
525*6777b538SAndroid Build Coastguard Worker symbol_lists[next_symbol[code_len]] = (uint16_t)(*symbol);
526*6777b538SAndroid Build Coastguard Worker next_symbol[code_len] = (int)(*symbol);
527*6777b538SAndroid Build Coastguard Worker *prev_code_len = code_len;
528*6777b538SAndroid Build Coastguard Worker *space -= 32768U >> code_len;
529*6777b538SAndroid Build Coastguard Worker code_length_histo[code_len]++;
530*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[ReadHuffmanCode] code_length[%d] = %d\n",
531*6777b538SAndroid Build Coastguard Worker (int)*symbol, (int)code_len));
532*6777b538SAndroid Build Coastguard Worker }
533*6777b538SAndroid Build Coastguard Worker (*symbol)++;
534*6777b538SAndroid Build Coastguard Worker }
535*6777b538SAndroid Build Coastguard Worker
536*6777b538SAndroid Build Coastguard Worker /* Process repeated symbol code length.
537*6777b538SAndroid Build Coastguard Worker A) Check if it is the extension of previous repeat sequence; if the decoded
538*6777b538SAndroid Build Coastguard Worker value is not BROTLI_REPEAT_PREVIOUS_CODE_LENGTH, then it is a new
539*6777b538SAndroid Build Coastguard Worker symbol-skip
540*6777b538SAndroid Build Coastguard Worker B) Update repeat variable
541*6777b538SAndroid Build Coastguard Worker C) Check if operation is feasible (fits alphabet)
542*6777b538SAndroid Build Coastguard Worker D) For each symbol do the same operations as in ProcessSingleCodeLength
543*6777b538SAndroid Build Coastguard Worker
544*6777b538SAndroid Build Coastguard Worker PRECONDITION: code_len == BROTLI_REPEAT_PREVIOUS_CODE_LENGTH or
545*6777b538SAndroid Build Coastguard Worker code_len == BROTLI_REPEAT_ZERO_CODE_LENGTH */
ProcessRepeatedCodeLength(uint32_t code_len,uint32_t repeat_delta,uint32_t alphabet_size,uint32_t * symbol,uint32_t * repeat,uint32_t * space,uint32_t * prev_code_len,uint32_t * repeat_code_len,uint16_t * symbol_lists,uint16_t * code_length_histo,int * next_symbol)546*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void ProcessRepeatedCodeLength(uint32_t code_len,
547*6777b538SAndroid Build Coastguard Worker uint32_t repeat_delta, uint32_t alphabet_size, uint32_t* symbol,
548*6777b538SAndroid Build Coastguard Worker uint32_t* repeat, uint32_t* space, uint32_t* prev_code_len,
549*6777b538SAndroid Build Coastguard Worker uint32_t* repeat_code_len, uint16_t* symbol_lists,
550*6777b538SAndroid Build Coastguard Worker uint16_t* code_length_histo, int* next_symbol) {
551*6777b538SAndroid Build Coastguard Worker uint32_t old_repeat;
552*6777b538SAndroid Build Coastguard Worker uint32_t extra_bits = 3; /* for BROTLI_REPEAT_ZERO_CODE_LENGTH */
553*6777b538SAndroid Build Coastguard Worker uint32_t new_len = 0; /* for BROTLI_REPEAT_ZERO_CODE_LENGTH */
554*6777b538SAndroid Build Coastguard Worker if (code_len == BROTLI_REPEAT_PREVIOUS_CODE_LENGTH) {
555*6777b538SAndroid Build Coastguard Worker new_len = *prev_code_len;
556*6777b538SAndroid Build Coastguard Worker extra_bits = 2;
557*6777b538SAndroid Build Coastguard Worker }
558*6777b538SAndroid Build Coastguard Worker if (*repeat_code_len != new_len) {
559*6777b538SAndroid Build Coastguard Worker *repeat = 0;
560*6777b538SAndroid Build Coastguard Worker *repeat_code_len = new_len;
561*6777b538SAndroid Build Coastguard Worker }
562*6777b538SAndroid Build Coastguard Worker old_repeat = *repeat;
563*6777b538SAndroid Build Coastguard Worker if (*repeat > 0) {
564*6777b538SAndroid Build Coastguard Worker *repeat -= 2;
565*6777b538SAndroid Build Coastguard Worker *repeat <<= extra_bits;
566*6777b538SAndroid Build Coastguard Worker }
567*6777b538SAndroid Build Coastguard Worker *repeat += repeat_delta + 3U;
568*6777b538SAndroid Build Coastguard Worker repeat_delta = *repeat - old_repeat;
569*6777b538SAndroid Build Coastguard Worker if (*symbol + repeat_delta > alphabet_size) {
570*6777b538SAndroid Build Coastguard Worker BROTLI_DUMP();
571*6777b538SAndroid Build Coastguard Worker *symbol = alphabet_size;
572*6777b538SAndroid Build Coastguard Worker *space = 0xFFFFF;
573*6777b538SAndroid Build Coastguard Worker return;
574*6777b538SAndroid Build Coastguard Worker }
575*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[ReadHuffmanCode] code_length[%d..%d] = %d\n",
576*6777b538SAndroid Build Coastguard Worker (int)*symbol, (int)(*symbol + repeat_delta - 1), (int)*repeat_code_len));
577*6777b538SAndroid Build Coastguard Worker if (*repeat_code_len != 0) {
578*6777b538SAndroid Build Coastguard Worker unsigned last = *symbol + repeat_delta;
579*6777b538SAndroid Build Coastguard Worker int next = next_symbol[*repeat_code_len];
580*6777b538SAndroid Build Coastguard Worker do {
581*6777b538SAndroid Build Coastguard Worker symbol_lists[next] = (uint16_t)*symbol;
582*6777b538SAndroid Build Coastguard Worker next = (int)*symbol;
583*6777b538SAndroid Build Coastguard Worker } while (++(*symbol) != last);
584*6777b538SAndroid Build Coastguard Worker next_symbol[*repeat_code_len] = next;
585*6777b538SAndroid Build Coastguard Worker *space -= repeat_delta << (15 - *repeat_code_len);
586*6777b538SAndroid Build Coastguard Worker code_length_histo[*repeat_code_len] =
587*6777b538SAndroid Build Coastguard Worker (uint16_t)(code_length_histo[*repeat_code_len] + repeat_delta);
588*6777b538SAndroid Build Coastguard Worker } else {
589*6777b538SAndroid Build Coastguard Worker *symbol += repeat_delta;
590*6777b538SAndroid Build Coastguard Worker }
591*6777b538SAndroid Build Coastguard Worker }
592*6777b538SAndroid Build Coastguard Worker
593*6777b538SAndroid Build Coastguard Worker /* Reads and decodes symbol codelengths. */
ReadSymbolCodeLengths(uint32_t alphabet_size,BrotliDecoderState * s)594*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode ReadSymbolCodeLengths(
595*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size, BrotliDecoderState* s) {
596*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
597*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
598*6777b538SAndroid Build Coastguard Worker uint32_t symbol = h->symbol;
599*6777b538SAndroid Build Coastguard Worker uint32_t repeat = h->repeat;
600*6777b538SAndroid Build Coastguard Worker uint32_t space = h->space;
601*6777b538SAndroid Build Coastguard Worker uint32_t prev_code_len = h->prev_code_len;
602*6777b538SAndroid Build Coastguard Worker uint32_t repeat_code_len = h->repeat_code_len;
603*6777b538SAndroid Build Coastguard Worker uint16_t* symbol_lists = h->symbol_lists;
604*6777b538SAndroid Build Coastguard Worker uint16_t* code_length_histo = h->code_length_histo;
605*6777b538SAndroid Build Coastguard Worker int* next_symbol = h->next_symbol;
606*6777b538SAndroid Build Coastguard Worker if (!BrotliWarmupBitReader(br)) {
607*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
608*6777b538SAndroid Build Coastguard Worker }
609*6777b538SAndroid Build Coastguard Worker while (symbol < alphabet_size && space > 0) {
610*6777b538SAndroid Build Coastguard Worker const HuffmanCode* p = h->table;
611*6777b538SAndroid Build Coastguard Worker uint32_t code_len;
612*6777b538SAndroid Build Coastguard Worker BROTLI_HC_MARK_TABLE_FOR_FAST_LOAD(p);
613*6777b538SAndroid Build Coastguard Worker if (!BrotliCheckInputAmount(br, BROTLI_SHORT_FILL_BIT_WINDOW_READ)) {
614*6777b538SAndroid Build Coastguard Worker h->symbol = symbol;
615*6777b538SAndroid Build Coastguard Worker h->repeat = repeat;
616*6777b538SAndroid Build Coastguard Worker h->prev_code_len = prev_code_len;
617*6777b538SAndroid Build Coastguard Worker h->repeat_code_len = repeat_code_len;
618*6777b538SAndroid Build Coastguard Worker h->space = space;
619*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
620*6777b538SAndroid Build Coastguard Worker }
621*6777b538SAndroid Build Coastguard Worker BrotliFillBitWindow16(br);
622*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(p, BrotliGetBitsUnmasked(br) &
623*6777b538SAndroid Build Coastguard Worker BitMask(BROTLI_HUFFMAN_MAX_CODE_LENGTH_CODE_LENGTH));
624*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, BROTLI_HC_FAST_LOAD_BITS(p)); /* Use 1..5 bits. */
625*6777b538SAndroid Build Coastguard Worker code_len = BROTLI_HC_FAST_LOAD_VALUE(p); /* code_len == 0..17 */
626*6777b538SAndroid Build Coastguard Worker if (code_len < BROTLI_REPEAT_PREVIOUS_CODE_LENGTH) {
627*6777b538SAndroid Build Coastguard Worker ProcessSingleCodeLength(code_len, &symbol, &repeat, &space,
628*6777b538SAndroid Build Coastguard Worker &prev_code_len, symbol_lists, code_length_histo, next_symbol);
629*6777b538SAndroid Build Coastguard Worker } else { /* code_len == 16..17, extra_bits == 2..3 */
630*6777b538SAndroid Build Coastguard Worker uint32_t extra_bits =
631*6777b538SAndroid Build Coastguard Worker (code_len == BROTLI_REPEAT_PREVIOUS_CODE_LENGTH) ? 2 : 3;
632*6777b538SAndroid Build Coastguard Worker uint32_t repeat_delta =
633*6777b538SAndroid Build Coastguard Worker (uint32_t)BrotliGetBitsUnmasked(br) & BitMask(extra_bits);
634*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, extra_bits);
635*6777b538SAndroid Build Coastguard Worker ProcessRepeatedCodeLength(code_len, repeat_delta, alphabet_size,
636*6777b538SAndroid Build Coastguard Worker &symbol, &repeat, &space, &prev_code_len, &repeat_code_len,
637*6777b538SAndroid Build Coastguard Worker symbol_lists, code_length_histo, next_symbol);
638*6777b538SAndroid Build Coastguard Worker }
639*6777b538SAndroid Build Coastguard Worker }
640*6777b538SAndroid Build Coastguard Worker h->space = space;
641*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
642*6777b538SAndroid Build Coastguard Worker }
643*6777b538SAndroid Build Coastguard Worker
SafeReadSymbolCodeLengths(uint32_t alphabet_size,BrotliDecoderState * s)644*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode SafeReadSymbolCodeLengths(
645*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size, BrotliDecoderState* s) {
646*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
647*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
648*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL get_byte = BROTLI_FALSE;
649*6777b538SAndroid Build Coastguard Worker while (h->symbol < alphabet_size && h->space > 0) {
650*6777b538SAndroid Build Coastguard Worker const HuffmanCode* p = h->table;
651*6777b538SAndroid Build Coastguard Worker uint32_t code_len;
652*6777b538SAndroid Build Coastguard Worker uint32_t available_bits;
653*6777b538SAndroid Build Coastguard Worker uint32_t bits = 0;
654*6777b538SAndroid Build Coastguard Worker BROTLI_HC_MARK_TABLE_FOR_FAST_LOAD(p);
655*6777b538SAndroid Build Coastguard Worker if (get_byte && !BrotliPullByte(br)) return BROTLI_DECODER_NEEDS_MORE_INPUT;
656*6777b538SAndroid Build Coastguard Worker get_byte = BROTLI_FALSE;
657*6777b538SAndroid Build Coastguard Worker available_bits = BrotliGetAvailableBits(br);
658*6777b538SAndroid Build Coastguard Worker if (available_bits != 0) {
659*6777b538SAndroid Build Coastguard Worker bits = (uint32_t)BrotliGetBitsUnmasked(br);
660*6777b538SAndroid Build Coastguard Worker }
661*6777b538SAndroid Build Coastguard Worker BROTLI_HC_ADJUST_TABLE_INDEX(p,
662*6777b538SAndroid Build Coastguard Worker bits & BitMask(BROTLI_HUFFMAN_MAX_CODE_LENGTH_CODE_LENGTH));
663*6777b538SAndroid Build Coastguard Worker if (BROTLI_HC_FAST_LOAD_BITS(p) > available_bits) {
664*6777b538SAndroid Build Coastguard Worker get_byte = BROTLI_TRUE;
665*6777b538SAndroid Build Coastguard Worker continue;
666*6777b538SAndroid Build Coastguard Worker }
667*6777b538SAndroid Build Coastguard Worker code_len = BROTLI_HC_FAST_LOAD_VALUE(p); /* code_len == 0..17 */
668*6777b538SAndroid Build Coastguard Worker if (code_len < BROTLI_REPEAT_PREVIOUS_CODE_LENGTH) {
669*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, BROTLI_HC_FAST_LOAD_BITS(p));
670*6777b538SAndroid Build Coastguard Worker ProcessSingleCodeLength(code_len, &h->symbol, &h->repeat, &h->space,
671*6777b538SAndroid Build Coastguard Worker &h->prev_code_len, h->symbol_lists, h->code_length_histo,
672*6777b538SAndroid Build Coastguard Worker h->next_symbol);
673*6777b538SAndroid Build Coastguard Worker } else { /* code_len == 16..17, extra_bits == 2..3 */
674*6777b538SAndroid Build Coastguard Worker uint32_t extra_bits = code_len - 14U;
675*6777b538SAndroid Build Coastguard Worker uint32_t repeat_delta = (bits >> BROTLI_HC_FAST_LOAD_BITS(p)) &
676*6777b538SAndroid Build Coastguard Worker BitMask(extra_bits);
677*6777b538SAndroid Build Coastguard Worker if (available_bits < BROTLI_HC_FAST_LOAD_BITS(p) + extra_bits) {
678*6777b538SAndroid Build Coastguard Worker get_byte = BROTLI_TRUE;
679*6777b538SAndroid Build Coastguard Worker continue;
680*6777b538SAndroid Build Coastguard Worker }
681*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, BROTLI_HC_FAST_LOAD_BITS(p) + extra_bits);
682*6777b538SAndroid Build Coastguard Worker ProcessRepeatedCodeLength(code_len, repeat_delta, alphabet_size,
683*6777b538SAndroid Build Coastguard Worker &h->symbol, &h->repeat, &h->space, &h->prev_code_len,
684*6777b538SAndroid Build Coastguard Worker &h->repeat_code_len, h->symbol_lists, h->code_length_histo,
685*6777b538SAndroid Build Coastguard Worker h->next_symbol);
686*6777b538SAndroid Build Coastguard Worker }
687*6777b538SAndroid Build Coastguard Worker }
688*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
689*6777b538SAndroid Build Coastguard Worker }
690*6777b538SAndroid Build Coastguard Worker
691*6777b538SAndroid Build Coastguard Worker /* Reads and decodes 15..18 codes using static prefix code.
692*6777b538SAndroid Build Coastguard Worker Each code is 2..4 bits long. In total 30..72 bits are used. */
ReadCodeLengthCodeLengths(BrotliDecoderState * s)693*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode ReadCodeLengthCodeLengths(BrotliDecoderState* s) {
694*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
695*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
696*6777b538SAndroid Build Coastguard Worker uint32_t num_codes = h->repeat;
697*6777b538SAndroid Build Coastguard Worker unsigned space = h->space;
698*6777b538SAndroid Build Coastguard Worker uint32_t i = h->sub_loop_counter;
699*6777b538SAndroid Build Coastguard Worker for (; i < BROTLI_CODE_LENGTH_CODES; ++i) {
700*6777b538SAndroid Build Coastguard Worker const uint8_t code_len_idx = kCodeLengthCodeOrder[i];
701*6777b538SAndroid Build Coastguard Worker uint32_t ix;
702*6777b538SAndroid Build Coastguard Worker uint32_t v;
703*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(!BrotliSafeGetBits(br, 4, &ix))) {
704*6777b538SAndroid Build Coastguard Worker uint32_t available_bits = BrotliGetAvailableBits(br);
705*6777b538SAndroid Build Coastguard Worker if (available_bits != 0) {
706*6777b538SAndroid Build Coastguard Worker ix = BrotliGetBitsUnmasked(br) & 0xF;
707*6777b538SAndroid Build Coastguard Worker } else {
708*6777b538SAndroid Build Coastguard Worker ix = 0;
709*6777b538SAndroid Build Coastguard Worker }
710*6777b538SAndroid Build Coastguard Worker if (kCodeLengthPrefixLength[ix] > available_bits) {
711*6777b538SAndroid Build Coastguard Worker h->sub_loop_counter = i;
712*6777b538SAndroid Build Coastguard Worker h->repeat = num_codes;
713*6777b538SAndroid Build Coastguard Worker h->space = space;
714*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_COMPLEX;
715*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
716*6777b538SAndroid Build Coastguard Worker }
717*6777b538SAndroid Build Coastguard Worker }
718*6777b538SAndroid Build Coastguard Worker v = kCodeLengthPrefixValue[ix];
719*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, kCodeLengthPrefixLength[ix]);
720*6777b538SAndroid Build Coastguard Worker h->code_length_code_lengths[code_len_idx] = (uint8_t)v;
721*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_ARRAY_INDEX(h->code_length_code_lengths, code_len_idx);
722*6777b538SAndroid Build Coastguard Worker if (v != 0) {
723*6777b538SAndroid Build Coastguard Worker space = space - (32U >> v);
724*6777b538SAndroid Build Coastguard Worker ++num_codes;
725*6777b538SAndroid Build Coastguard Worker ++h->code_length_histo[v];
726*6777b538SAndroid Build Coastguard Worker if (space - 1U >= 32U) {
727*6777b538SAndroid Build Coastguard Worker /* space is 0 or wrapped around. */
728*6777b538SAndroid Build Coastguard Worker break;
729*6777b538SAndroid Build Coastguard Worker }
730*6777b538SAndroid Build Coastguard Worker }
731*6777b538SAndroid Build Coastguard Worker }
732*6777b538SAndroid Build Coastguard Worker if (!(num_codes == 1 || space == 0)) {
733*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_CL_SPACE);
734*6777b538SAndroid Build Coastguard Worker }
735*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
736*6777b538SAndroid Build Coastguard Worker }
737*6777b538SAndroid Build Coastguard Worker
738*6777b538SAndroid Build Coastguard Worker /* Decodes the Huffman tables.
739*6777b538SAndroid Build Coastguard Worker There are 2 scenarios:
740*6777b538SAndroid Build Coastguard Worker A) Huffman code contains only few symbols (1..4). Those symbols are read
741*6777b538SAndroid Build Coastguard Worker directly; their code lengths are defined by the number of symbols.
742*6777b538SAndroid Build Coastguard Worker For this scenario 4 - 49 bits will be read.
743*6777b538SAndroid Build Coastguard Worker
744*6777b538SAndroid Build Coastguard Worker B) 2-phase decoding:
745*6777b538SAndroid Build Coastguard Worker B.1) Small Huffman table is decoded; it is specified with code lengths
746*6777b538SAndroid Build Coastguard Worker encoded with predefined entropy code. 32 - 74 bits are used.
747*6777b538SAndroid Build Coastguard Worker B.2) Decoded table is used to decode code lengths of symbols in resulting
748*6777b538SAndroid Build Coastguard Worker Huffman table. In worst case 3520 bits are read. */
ReadHuffmanCode(uint32_t alphabet_size_max,uint32_t alphabet_size_limit,HuffmanCode * table,uint32_t * opt_table_size,BrotliDecoderState * s)749*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode ReadHuffmanCode(uint32_t alphabet_size_max,
750*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size_limit,
751*6777b538SAndroid Build Coastguard Worker HuffmanCode* table,
752*6777b538SAndroid Build Coastguard Worker uint32_t* opt_table_size,
753*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
754*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
755*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
756*6777b538SAndroid Build Coastguard Worker /* State machine. */
757*6777b538SAndroid Build Coastguard Worker for (;;) {
758*6777b538SAndroid Build Coastguard Worker switch (h->substate_huffman) {
759*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_NONE:
760*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 2, &h->sub_loop_counter)) {
761*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
762*6777b538SAndroid Build Coastguard Worker }
763*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(h->sub_loop_counter);
764*6777b538SAndroid Build Coastguard Worker /* The value is used as follows:
765*6777b538SAndroid Build Coastguard Worker 1 for simple code;
766*6777b538SAndroid Build Coastguard Worker 0 for no skipping, 2 skips 2 code lengths, 3 skips 3 code lengths */
767*6777b538SAndroid Build Coastguard Worker if (h->sub_loop_counter != 1) {
768*6777b538SAndroid Build Coastguard Worker h->space = 32;
769*6777b538SAndroid Build Coastguard Worker h->repeat = 0; /* num_codes */
770*6777b538SAndroid Build Coastguard Worker memset(&h->code_length_histo[0], 0, sizeof(h->code_length_histo[0]) *
771*6777b538SAndroid Build Coastguard Worker (BROTLI_HUFFMAN_MAX_CODE_LENGTH_CODE_LENGTH + 1));
772*6777b538SAndroid Build Coastguard Worker memset(&h->code_length_code_lengths[0], 0,
773*6777b538SAndroid Build Coastguard Worker sizeof(h->code_length_code_lengths));
774*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_COMPLEX;
775*6777b538SAndroid Build Coastguard Worker continue;
776*6777b538SAndroid Build Coastguard Worker }
777*6777b538SAndroid Build Coastguard Worker /* Fall through. */
778*6777b538SAndroid Build Coastguard Worker
779*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_SIMPLE_SIZE:
780*6777b538SAndroid Build Coastguard Worker /* Read symbols, codes & code lengths directly. */
781*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 2, &h->symbol)) { /* num_symbols */
782*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_SIMPLE_SIZE;
783*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
784*6777b538SAndroid Build Coastguard Worker }
785*6777b538SAndroid Build Coastguard Worker h->sub_loop_counter = 0;
786*6777b538SAndroid Build Coastguard Worker /* Fall through. */
787*6777b538SAndroid Build Coastguard Worker
788*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_SIMPLE_READ: {
789*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result =
790*6777b538SAndroid Build Coastguard Worker ReadSimpleHuffmanSymbols(alphabet_size_max, alphabet_size_limit, s);
791*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
792*6777b538SAndroid Build Coastguard Worker return result;
793*6777b538SAndroid Build Coastguard Worker }
794*6777b538SAndroid Build Coastguard Worker }
795*6777b538SAndroid Build Coastguard Worker /* Fall through. */
796*6777b538SAndroid Build Coastguard Worker
797*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_SIMPLE_BUILD: {
798*6777b538SAndroid Build Coastguard Worker uint32_t table_size;
799*6777b538SAndroid Build Coastguard Worker if (h->symbol == 3) {
800*6777b538SAndroid Build Coastguard Worker uint32_t bits;
801*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 1, &bits)) {
802*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_SIMPLE_BUILD;
803*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
804*6777b538SAndroid Build Coastguard Worker }
805*6777b538SAndroid Build Coastguard Worker h->symbol += bits;
806*6777b538SAndroid Build Coastguard Worker }
807*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(h->symbol);
808*6777b538SAndroid Build Coastguard Worker table_size = BrotliBuildSimpleHuffmanTable(
809*6777b538SAndroid Build Coastguard Worker table, HUFFMAN_TABLE_BITS, h->symbols_lists_array, h->symbol);
810*6777b538SAndroid Build Coastguard Worker if (opt_table_size) {
811*6777b538SAndroid Build Coastguard Worker *opt_table_size = table_size;
812*6777b538SAndroid Build Coastguard Worker }
813*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_NONE;
814*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
815*6777b538SAndroid Build Coastguard Worker }
816*6777b538SAndroid Build Coastguard Worker
817*6777b538SAndroid Build Coastguard Worker /* Decode Huffman-coded code lengths. */
818*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_COMPLEX: {
819*6777b538SAndroid Build Coastguard Worker uint32_t i;
820*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result = ReadCodeLengthCodeLengths(s);
821*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
822*6777b538SAndroid Build Coastguard Worker return result;
823*6777b538SAndroid Build Coastguard Worker }
824*6777b538SAndroid Build Coastguard Worker BrotliBuildCodeLengthsHuffmanTable(h->table,
825*6777b538SAndroid Build Coastguard Worker h->code_length_code_lengths,
826*6777b538SAndroid Build Coastguard Worker h->code_length_histo);
827*6777b538SAndroid Build Coastguard Worker memset(&h->code_length_histo[0], 0, sizeof(h->code_length_histo));
828*6777b538SAndroid Build Coastguard Worker for (i = 0; i <= BROTLI_HUFFMAN_MAX_CODE_LENGTH; ++i) {
829*6777b538SAndroid Build Coastguard Worker h->next_symbol[i] = (int)i - (BROTLI_HUFFMAN_MAX_CODE_LENGTH + 1);
830*6777b538SAndroid Build Coastguard Worker h->symbol_lists[h->next_symbol[i]] = 0xFFFF;
831*6777b538SAndroid Build Coastguard Worker }
832*6777b538SAndroid Build Coastguard Worker
833*6777b538SAndroid Build Coastguard Worker h->symbol = 0;
834*6777b538SAndroid Build Coastguard Worker h->prev_code_len = BROTLI_INITIAL_REPEATED_CODE_LENGTH;
835*6777b538SAndroid Build Coastguard Worker h->repeat = 0;
836*6777b538SAndroid Build Coastguard Worker h->repeat_code_len = 0;
837*6777b538SAndroid Build Coastguard Worker h->space = 32768;
838*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_LENGTH_SYMBOLS;
839*6777b538SAndroid Build Coastguard Worker }
840*6777b538SAndroid Build Coastguard Worker /* Fall through. */
841*6777b538SAndroid Build Coastguard Worker
842*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_LENGTH_SYMBOLS: {
843*6777b538SAndroid Build Coastguard Worker uint32_t table_size;
844*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result = ReadSymbolCodeLengths(
845*6777b538SAndroid Build Coastguard Worker alphabet_size_limit, s);
846*6777b538SAndroid Build Coastguard Worker if (result == BROTLI_DECODER_NEEDS_MORE_INPUT) {
847*6777b538SAndroid Build Coastguard Worker result = SafeReadSymbolCodeLengths(alphabet_size_limit, s);
848*6777b538SAndroid Build Coastguard Worker }
849*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
850*6777b538SAndroid Build Coastguard Worker return result;
851*6777b538SAndroid Build Coastguard Worker }
852*6777b538SAndroid Build Coastguard Worker
853*6777b538SAndroid Build Coastguard Worker if (h->space != 0) {
854*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[ReadHuffmanCode] space = %d\n", (int)h->space));
855*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_HUFFMAN_SPACE);
856*6777b538SAndroid Build Coastguard Worker }
857*6777b538SAndroid Build Coastguard Worker table_size = BrotliBuildHuffmanTable(
858*6777b538SAndroid Build Coastguard Worker table, HUFFMAN_TABLE_BITS, h->symbol_lists, h->code_length_histo);
859*6777b538SAndroid Build Coastguard Worker if (opt_table_size) {
860*6777b538SAndroid Build Coastguard Worker *opt_table_size = table_size;
861*6777b538SAndroid Build Coastguard Worker }
862*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_NONE;
863*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
864*6777b538SAndroid Build Coastguard Worker }
865*6777b538SAndroid Build Coastguard Worker
866*6777b538SAndroid Build Coastguard Worker default:
867*6777b538SAndroid Build Coastguard Worker return
868*6777b538SAndroid Build Coastguard Worker BROTLI_FAILURE(BROTLI_DECODER_ERROR_UNREACHABLE); /* COV_NF_LINE */
869*6777b538SAndroid Build Coastguard Worker }
870*6777b538SAndroid Build Coastguard Worker }
871*6777b538SAndroid Build Coastguard Worker }
872*6777b538SAndroid Build Coastguard Worker
873*6777b538SAndroid Build Coastguard Worker /* Decodes a block length by reading 3..39 bits. */
ReadBlockLength(const HuffmanCode * table,BrotliBitReader * br)874*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE uint32_t ReadBlockLength(const HuffmanCode* table,
875*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br) {
876*6777b538SAndroid Build Coastguard Worker uint32_t code;
877*6777b538SAndroid Build Coastguard Worker uint32_t nbits;
878*6777b538SAndroid Build Coastguard Worker code = ReadSymbol(table, br);
879*6777b538SAndroid Build Coastguard Worker nbits = _kBrotliPrefixCodeRanges[code].nbits; /* nbits == 2..24 */
880*6777b538SAndroid Build Coastguard Worker return _kBrotliPrefixCodeRanges[code].offset + BrotliReadBits24(br, nbits);
881*6777b538SAndroid Build Coastguard Worker }
882*6777b538SAndroid Build Coastguard Worker
883*6777b538SAndroid Build Coastguard Worker /* WARNING: if state is not BROTLI_STATE_READ_BLOCK_LENGTH_NONE, then
884*6777b538SAndroid Build Coastguard Worker reading can't be continued with ReadBlockLength. */
SafeReadBlockLength(BrotliDecoderState * s,uint32_t * result,const HuffmanCode * table,BrotliBitReader * br)885*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL SafeReadBlockLength(
886*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, uint32_t* result, const HuffmanCode* table,
887*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br) {
888*6777b538SAndroid Build Coastguard Worker uint32_t index;
889*6777b538SAndroid Build Coastguard Worker if (s->substate_read_block_length == BROTLI_STATE_READ_BLOCK_LENGTH_NONE) {
890*6777b538SAndroid Build Coastguard Worker if (!SafeReadSymbol(table, br, &index)) {
891*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
892*6777b538SAndroid Build Coastguard Worker }
893*6777b538SAndroid Build Coastguard Worker } else {
894*6777b538SAndroid Build Coastguard Worker index = s->block_length_index;
895*6777b538SAndroid Build Coastguard Worker }
896*6777b538SAndroid Build Coastguard Worker {
897*6777b538SAndroid Build Coastguard Worker uint32_t bits;
898*6777b538SAndroid Build Coastguard Worker uint32_t nbits = _kBrotliPrefixCodeRanges[index].nbits;
899*6777b538SAndroid Build Coastguard Worker uint32_t offset = _kBrotliPrefixCodeRanges[index].offset;
900*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, nbits, &bits)) {
901*6777b538SAndroid Build Coastguard Worker s->block_length_index = index;
902*6777b538SAndroid Build Coastguard Worker s->substate_read_block_length = BROTLI_STATE_READ_BLOCK_LENGTH_SUFFIX;
903*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
904*6777b538SAndroid Build Coastguard Worker }
905*6777b538SAndroid Build Coastguard Worker *result = offset + bits;
906*6777b538SAndroid Build Coastguard Worker s->substate_read_block_length = BROTLI_STATE_READ_BLOCK_LENGTH_NONE;
907*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
908*6777b538SAndroid Build Coastguard Worker }
909*6777b538SAndroid Build Coastguard Worker }
910*6777b538SAndroid Build Coastguard Worker
911*6777b538SAndroid Build Coastguard Worker /* Transform:
912*6777b538SAndroid Build Coastguard Worker 1) initialize list L with values 0, 1,... 255
913*6777b538SAndroid Build Coastguard Worker 2) For each input element X:
914*6777b538SAndroid Build Coastguard Worker 2.1) let Y = L[X]
915*6777b538SAndroid Build Coastguard Worker 2.2) remove X-th element from L
916*6777b538SAndroid Build Coastguard Worker 2.3) prepend Y to L
917*6777b538SAndroid Build Coastguard Worker 2.4) append Y to output
918*6777b538SAndroid Build Coastguard Worker
919*6777b538SAndroid Build Coastguard Worker In most cases max(Y) <= 7, so most of L remains intact.
920*6777b538SAndroid Build Coastguard Worker To reduce the cost of initialization, we reuse L, remember the upper bound
921*6777b538SAndroid Build Coastguard Worker of Y values, and reinitialize only first elements in L.
922*6777b538SAndroid Build Coastguard Worker
923*6777b538SAndroid Build Coastguard Worker Most of input values are 0 and 1. To reduce number of branches, we replace
924*6777b538SAndroid Build Coastguard Worker inner for loop with do-while. */
InverseMoveToFrontTransform(uint8_t * v,uint32_t v_len,BrotliDecoderState * state)925*6777b538SAndroid Build Coastguard Worker static BROTLI_NOINLINE void InverseMoveToFrontTransform(
926*6777b538SAndroid Build Coastguard Worker uint8_t* v, uint32_t v_len, BrotliDecoderState* state) {
927*6777b538SAndroid Build Coastguard Worker /* Reinitialize elements that could have been changed. */
928*6777b538SAndroid Build Coastguard Worker uint32_t i = 1;
929*6777b538SAndroid Build Coastguard Worker uint32_t upper_bound = state->mtf_upper_bound;
930*6777b538SAndroid Build Coastguard Worker uint32_t* mtf = &state->mtf[1]; /* Make mtf[-1] addressable. */
931*6777b538SAndroid Build Coastguard Worker uint8_t* mtf_u8 = (uint8_t*)mtf;
932*6777b538SAndroid Build Coastguard Worker /* Load endian-aware constant. */
933*6777b538SAndroid Build Coastguard Worker const uint8_t b0123[4] = {0, 1, 2, 3};
934*6777b538SAndroid Build Coastguard Worker uint32_t pattern;
935*6777b538SAndroid Build Coastguard Worker memcpy(&pattern, &b0123, 4);
936*6777b538SAndroid Build Coastguard Worker
937*6777b538SAndroid Build Coastguard Worker /* Initialize list using 4 consequent values pattern. */
938*6777b538SAndroid Build Coastguard Worker mtf[0] = pattern;
939*6777b538SAndroid Build Coastguard Worker do {
940*6777b538SAndroid Build Coastguard Worker pattern += 0x04040404; /* Advance all 4 values by 4. */
941*6777b538SAndroid Build Coastguard Worker mtf[i] = pattern;
942*6777b538SAndroid Build Coastguard Worker i++;
943*6777b538SAndroid Build Coastguard Worker } while (i <= upper_bound);
944*6777b538SAndroid Build Coastguard Worker
945*6777b538SAndroid Build Coastguard Worker /* Transform the input. */
946*6777b538SAndroid Build Coastguard Worker upper_bound = 0;
947*6777b538SAndroid Build Coastguard Worker for (i = 0; i < v_len; ++i) {
948*6777b538SAndroid Build Coastguard Worker int index = v[i];
949*6777b538SAndroid Build Coastguard Worker uint8_t value = mtf_u8[index];
950*6777b538SAndroid Build Coastguard Worker upper_bound |= v[i];
951*6777b538SAndroid Build Coastguard Worker v[i] = value;
952*6777b538SAndroid Build Coastguard Worker mtf_u8[-1] = value;
953*6777b538SAndroid Build Coastguard Worker do {
954*6777b538SAndroid Build Coastguard Worker index--;
955*6777b538SAndroid Build Coastguard Worker mtf_u8[index + 1] = mtf_u8[index];
956*6777b538SAndroid Build Coastguard Worker } while (index >= 0);
957*6777b538SAndroid Build Coastguard Worker }
958*6777b538SAndroid Build Coastguard Worker /* Remember amount of elements to be reinitialized. */
959*6777b538SAndroid Build Coastguard Worker state->mtf_upper_bound = upper_bound >> 2;
960*6777b538SAndroid Build Coastguard Worker }
961*6777b538SAndroid Build Coastguard Worker
962*6777b538SAndroid Build Coastguard Worker /* Decodes a series of Huffman table using ReadHuffmanCode function. */
HuffmanTreeGroupDecode(HuffmanTreeGroup * group,BrotliDecoderState * s)963*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode HuffmanTreeGroupDecode(
964*6777b538SAndroid Build Coastguard Worker HuffmanTreeGroup* group, BrotliDecoderState* s) {
965*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
966*6777b538SAndroid Build Coastguard Worker if (h->substate_tree_group != BROTLI_STATE_TREE_GROUP_LOOP) {
967*6777b538SAndroid Build Coastguard Worker h->next = group->codes;
968*6777b538SAndroid Build Coastguard Worker h->htree_index = 0;
969*6777b538SAndroid Build Coastguard Worker h->substate_tree_group = BROTLI_STATE_TREE_GROUP_LOOP;
970*6777b538SAndroid Build Coastguard Worker }
971*6777b538SAndroid Build Coastguard Worker while (h->htree_index < group->num_htrees) {
972*6777b538SAndroid Build Coastguard Worker uint32_t table_size;
973*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result = ReadHuffmanCode(group->alphabet_size_max,
974*6777b538SAndroid Build Coastguard Worker group->alphabet_size_limit, h->next, &table_size, s);
975*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) return result;
976*6777b538SAndroid Build Coastguard Worker group->htrees[h->htree_index] = h->next;
977*6777b538SAndroid Build Coastguard Worker h->next += table_size;
978*6777b538SAndroid Build Coastguard Worker ++h->htree_index;
979*6777b538SAndroid Build Coastguard Worker }
980*6777b538SAndroid Build Coastguard Worker h->substate_tree_group = BROTLI_STATE_TREE_GROUP_NONE;
981*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
982*6777b538SAndroid Build Coastguard Worker }
983*6777b538SAndroid Build Coastguard Worker
984*6777b538SAndroid Build Coastguard Worker /* Decodes a context map.
985*6777b538SAndroid Build Coastguard Worker Decoding is done in 4 phases:
986*6777b538SAndroid Build Coastguard Worker 1) Read auxiliary information (6..16 bits) and allocate memory.
987*6777b538SAndroid Build Coastguard Worker In case of trivial context map, decoding is finished at this phase.
988*6777b538SAndroid Build Coastguard Worker 2) Decode Huffman table using ReadHuffmanCode function.
989*6777b538SAndroid Build Coastguard Worker This table will be used for reading context map items.
990*6777b538SAndroid Build Coastguard Worker 3) Read context map items; "0" values could be run-length encoded.
991*6777b538SAndroid Build Coastguard Worker 4) Optionally, apply InverseMoveToFront transform to the resulting map. */
DecodeContextMap(uint32_t context_map_size,uint32_t * num_htrees,uint8_t ** context_map_arg,BrotliDecoderState * s)992*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode DecodeContextMap(uint32_t context_map_size,
993*6777b538SAndroid Build Coastguard Worker uint32_t* num_htrees,
994*6777b538SAndroid Build Coastguard Worker uint8_t** context_map_arg,
995*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
996*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
997*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result = BROTLI_DECODER_SUCCESS;
998*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
999*6777b538SAndroid Build Coastguard Worker
1000*6777b538SAndroid Build Coastguard Worker switch ((int)h->substate_context_map) {
1001*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MAP_NONE:
1002*6777b538SAndroid Build Coastguard Worker result = DecodeVarLenUint8(s, br, num_htrees);
1003*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
1004*6777b538SAndroid Build Coastguard Worker return result;
1005*6777b538SAndroid Build Coastguard Worker }
1006*6777b538SAndroid Build Coastguard Worker (*num_htrees)++;
1007*6777b538SAndroid Build Coastguard Worker h->context_index = 0;
1008*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(context_map_size);
1009*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(*num_htrees);
1010*6777b538SAndroid Build Coastguard Worker *context_map_arg =
1011*6777b538SAndroid Build Coastguard Worker (uint8_t*)BROTLI_DECODER_ALLOC(s, (size_t)context_map_size);
1012*6777b538SAndroid Build Coastguard Worker if (*context_map_arg == 0) {
1013*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_ALLOC_CONTEXT_MAP);
1014*6777b538SAndroid Build Coastguard Worker }
1015*6777b538SAndroid Build Coastguard Worker if (*num_htrees <= 1) {
1016*6777b538SAndroid Build Coastguard Worker memset(*context_map_arg, 0, (size_t)context_map_size);
1017*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
1018*6777b538SAndroid Build Coastguard Worker }
1019*6777b538SAndroid Build Coastguard Worker h->substate_context_map = BROTLI_STATE_CONTEXT_MAP_READ_PREFIX;
1020*6777b538SAndroid Build Coastguard Worker /* Fall through. */
1021*6777b538SAndroid Build Coastguard Worker
1022*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MAP_READ_PREFIX: {
1023*6777b538SAndroid Build Coastguard Worker uint32_t bits;
1024*6777b538SAndroid Build Coastguard Worker /* In next stage ReadHuffmanCode uses at least 4 bits, so it is safe
1025*6777b538SAndroid Build Coastguard Worker to peek 4 bits ahead. */
1026*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeGetBits(br, 5, &bits)) {
1027*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
1028*6777b538SAndroid Build Coastguard Worker }
1029*6777b538SAndroid Build Coastguard Worker if ((bits & 1) != 0) { /* Use RLE for zeros. */
1030*6777b538SAndroid Build Coastguard Worker h->max_run_length_prefix = (bits >> 1) + 1;
1031*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, 5);
1032*6777b538SAndroid Build Coastguard Worker } else {
1033*6777b538SAndroid Build Coastguard Worker h->max_run_length_prefix = 0;
1034*6777b538SAndroid Build Coastguard Worker BrotliDropBits(br, 1);
1035*6777b538SAndroid Build Coastguard Worker }
1036*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(h->max_run_length_prefix);
1037*6777b538SAndroid Build Coastguard Worker h->substate_context_map = BROTLI_STATE_CONTEXT_MAP_HUFFMAN;
1038*6777b538SAndroid Build Coastguard Worker }
1039*6777b538SAndroid Build Coastguard Worker /* Fall through. */
1040*6777b538SAndroid Build Coastguard Worker
1041*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MAP_HUFFMAN: {
1042*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size = *num_htrees + h->max_run_length_prefix;
1043*6777b538SAndroid Build Coastguard Worker result = ReadHuffmanCode(alphabet_size, alphabet_size,
1044*6777b538SAndroid Build Coastguard Worker h->context_map_table, NULL, s);
1045*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) return result;
1046*6777b538SAndroid Build Coastguard Worker h->code = 0xFFFF;
1047*6777b538SAndroid Build Coastguard Worker h->substate_context_map = BROTLI_STATE_CONTEXT_MAP_DECODE;
1048*6777b538SAndroid Build Coastguard Worker }
1049*6777b538SAndroid Build Coastguard Worker /* Fall through. */
1050*6777b538SAndroid Build Coastguard Worker
1051*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MAP_DECODE: {
1052*6777b538SAndroid Build Coastguard Worker uint32_t context_index = h->context_index;
1053*6777b538SAndroid Build Coastguard Worker uint32_t max_run_length_prefix = h->max_run_length_prefix;
1054*6777b538SAndroid Build Coastguard Worker uint8_t* context_map = *context_map_arg;
1055*6777b538SAndroid Build Coastguard Worker uint32_t code = h->code;
1056*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL skip_preamble = (code != 0xFFFF);
1057*6777b538SAndroid Build Coastguard Worker while (context_index < context_map_size || skip_preamble) {
1058*6777b538SAndroid Build Coastguard Worker if (!skip_preamble) {
1059*6777b538SAndroid Build Coastguard Worker if (!SafeReadSymbol(h->context_map_table, br, &code)) {
1060*6777b538SAndroid Build Coastguard Worker h->code = 0xFFFF;
1061*6777b538SAndroid Build Coastguard Worker h->context_index = context_index;
1062*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
1063*6777b538SAndroid Build Coastguard Worker }
1064*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(code);
1065*6777b538SAndroid Build Coastguard Worker
1066*6777b538SAndroid Build Coastguard Worker if (code == 0) {
1067*6777b538SAndroid Build Coastguard Worker context_map[context_index++] = 0;
1068*6777b538SAndroid Build Coastguard Worker continue;
1069*6777b538SAndroid Build Coastguard Worker }
1070*6777b538SAndroid Build Coastguard Worker if (code > max_run_length_prefix) {
1071*6777b538SAndroid Build Coastguard Worker context_map[context_index++] =
1072*6777b538SAndroid Build Coastguard Worker (uint8_t)(code - max_run_length_prefix);
1073*6777b538SAndroid Build Coastguard Worker continue;
1074*6777b538SAndroid Build Coastguard Worker }
1075*6777b538SAndroid Build Coastguard Worker } else {
1076*6777b538SAndroid Build Coastguard Worker skip_preamble = BROTLI_FALSE;
1077*6777b538SAndroid Build Coastguard Worker }
1078*6777b538SAndroid Build Coastguard Worker /* RLE sub-stage. */
1079*6777b538SAndroid Build Coastguard Worker {
1080*6777b538SAndroid Build Coastguard Worker uint32_t reps;
1081*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, code, &reps)) {
1082*6777b538SAndroid Build Coastguard Worker h->code = code;
1083*6777b538SAndroid Build Coastguard Worker h->context_index = context_index;
1084*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
1085*6777b538SAndroid Build Coastguard Worker }
1086*6777b538SAndroid Build Coastguard Worker reps += 1U << code;
1087*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(reps);
1088*6777b538SAndroid Build Coastguard Worker if (context_index + reps > context_map_size) {
1089*6777b538SAndroid Build Coastguard Worker return
1090*6777b538SAndroid Build Coastguard Worker BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_CONTEXT_MAP_REPEAT);
1091*6777b538SAndroid Build Coastguard Worker }
1092*6777b538SAndroid Build Coastguard Worker do {
1093*6777b538SAndroid Build Coastguard Worker context_map[context_index++] = 0;
1094*6777b538SAndroid Build Coastguard Worker } while (--reps);
1095*6777b538SAndroid Build Coastguard Worker }
1096*6777b538SAndroid Build Coastguard Worker }
1097*6777b538SAndroid Build Coastguard Worker }
1098*6777b538SAndroid Build Coastguard Worker /* Fall through. */
1099*6777b538SAndroid Build Coastguard Worker
1100*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MAP_TRANSFORM: {
1101*6777b538SAndroid Build Coastguard Worker uint32_t bits;
1102*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 1, &bits)) {
1103*6777b538SAndroid Build Coastguard Worker h->substate_context_map = BROTLI_STATE_CONTEXT_MAP_TRANSFORM;
1104*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
1105*6777b538SAndroid Build Coastguard Worker }
1106*6777b538SAndroid Build Coastguard Worker if (bits != 0) {
1107*6777b538SAndroid Build Coastguard Worker InverseMoveToFrontTransform(*context_map_arg, context_map_size, s);
1108*6777b538SAndroid Build Coastguard Worker }
1109*6777b538SAndroid Build Coastguard Worker h->substate_context_map = BROTLI_STATE_CONTEXT_MAP_NONE;
1110*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
1111*6777b538SAndroid Build Coastguard Worker }
1112*6777b538SAndroid Build Coastguard Worker
1113*6777b538SAndroid Build Coastguard Worker default:
1114*6777b538SAndroid Build Coastguard Worker return
1115*6777b538SAndroid Build Coastguard Worker BROTLI_FAILURE(BROTLI_DECODER_ERROR_UNREACHABLE); /* COV_NF_LINE */
1116*6777b538SAndroid Build Coastguard Worker }
1117*6777b538SAndroid Build Coastguard Worker }
1118*6777b538SAndroid Build Coastguard Worker
1119*6777b538SAndroid Build Coastguard Worker /* Decodes a command or literal and updates block type ring-buffer.
1120*6777b538SAndroid Build Coastguard Worker Reads 3..54 bits. */
DecodeBlockTypeAndLength(int safe,BrotliDecoderState * s,int tree_type)1121*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL DecodeBlockTypeAndLength(
1122*6777b538SAndroid Build Coastguard Worker int safe, BrotliDecoderState* s, int tree_type) {
1123*6777b538SAndroid Build Coastguard Worker uint32_t max_block_type = s->num_block_types[tree_type];
1124*6777b538SAndroid Build Coastguard Worker const HuffmanCode* type_tree = &s->block_type_trees[
1125*6777b538SAndroid Build Coastguard Worker tree_type * BROTLI_HUFFMAN_MAX_SIZE_258];
1126*6777b538SAndroid Build Coastguard Worker const HuffmanCode* len_tree = &s->block_len_trees[
1127*6777b538SAndroid Build Coastguard Worker tree_type * BROTLI_HUFFMAN_MAX_SIZE_26];
1128*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
1129*6777b538SAndroid Build Coastguard Worker uint32_t* ringbuffer = &s->block_type_rb[tree_type * 2];
1130*6777b538SAndroid Build Coastguard Worker uint32_t block_type;
1131*6777b538SAndroid Build Coastguard Worker if (max_block_type <= 1) {
1132*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1133*6777b538SAndroid Build Coastguard Worker }
1134*6777b538SAndroid Build Coastguard Worker
1135*6777b538SAndroid Build Coastguard Worker /* Read 0..15 + 3..39 bits. */
1136*6777b538SAndroid Build Coastguard Worker if (!safe) {
1137*6777b538SAndroid Build Coastguard Worker block_type = ReadSymbol(type_tree, br);
1138*6777b538SAndroid Build Coastguard Worker s->block_length[tree_type] = ReadBlockLength(len_tree, br);
1139*6777b538SAndroid Build Coastguard Worker } else {
1140*6777b538SAndroid Build Coastguard Worker BrotliBitReaderState memento;
1141*6777b538SAndroid Build Coastguard Worker BrotliBitReaderSaveState(br, &memento);
1142*6777b538SAndroid Build Coastguard Worker if (!SafeReadSymbol(type_tree, br, &block_type)) return BROTLI_FALSE;
1143*6777b538SAndroid Build Coastguard Worker if (!SafeReadBlockLength(s, &s->block_length[tree_type], len_tree, br)) {
1144*6777b538SAndroid Build Coastguard Worker s->substate_read_block_length = BROTLI_STATE_READ_BLOCK_LENGTH_NONE;
1145*6777b538SAndroid Build Coastguard Worker BrotliBitReaderRestoreState(br, &memento);
1146*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1147*6777b538SAndroid Build Coastguard Worker }
1148*6777b538SAndroid Build Coastguard Worker }
1149*6777b538SAndroid Build Coastguard Worker
1150*6777b538SAndroid Build Coastguard Worker if (block_type == 1) {
1151*6777b538SAndroid Build Coastguard Worker block_type = ringbuffer[1] + 1;
1152*6777b538SAndroid Build Coastguard Worker } else if (block_type == 0) {
1153*6777b538SAndroid Build Coastguard Worker block_type = ringbuffer[0];
1154*6777b538SAndroid Build Coastguard Worker } else {
1155*6777b538SAndroid Build Coastguard Worker block_type -= 2;
1156*6777b538SAndroid Build Coastguard Worker }
1157*6777b538SAndroid Build Coastguard Worker if (block_type >= max_block_type) {
1158*6777b538SAndroid Build Coastguard Worker block_type -= max_block_type;
1159*6777b538SAndroid Build Coastguard Worker }
1160*6777b538SAndroid Build Coastguard Worker ringbuffer[0] = ringbuffer[1];
1161*6777b538SAndroid Build Coastguard Worker ringbuffer[1] = block_type;
1162*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1163*6777b538SAndroid Build Coastguard Worker }
1164*6777b538SAndroid Build Coastguard Worker
DetectTrivialLiteralBlockTypes(BrotliDecoderState * s)1165*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void DetectTrivialLiteralBlockTypes(
1166*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
1167*6777b538SAndroid Build Coastguard Worker size_t i;
1168*6777b538SAndroid Build Coastguard Worker for (i = 0; i < 8; ++i) s->trivial_literal_contexts[i] = 0;
1169*6777b538SAndroid Build Coastguard Worker for (i = 0; i < s->num_block_types[0]; i++) {
1170*6777b538SAndroid Build Coastguard Worker size_t offset = i << BROTLI_LITERAL_CONTEXT_BITS;
1171*6777b538SAndroid Build Coastguard Worker size_t error = 0;
1172*6777b538SAndroid Build Coastguard Worker size_t sample = s->context_map[offset];
1173*6777b538SAndroid Build Coastguard Worker size_t j;
1174*6777b538SAndroid Build Coastguard Worker for (j = 0; j < (1u << BROTLI_LITERAL_CONTEXT_BITS);) {
1175*6777b538SAndroid Build Coastguard Worker BROTLI_REPEAT(4, error |= s->context_map[offset + j++] ^ sample;)
1176*6777b538SAndroid Build Coastguard Worker }
1177*6777b538SAndroid Build Coastguard Worker if (error == 0) {
1178*6777b538SAndroid Build Coastguard Worker s->trivial_literal_contexts[i >> 5] |= 1u << (i & 31);
1179*6777b538SAndroid Build Coastguard Worker }
1180*6777b538SAndroid Build Coastguard Worker }
1181*6777b538SAndroid Build Coastguard Worker }
1182*6777b538SAndroid Build Coastguard Worker
PrepareLiteralDecoding(BrotliDecoderState * s)1183*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void PrepareLiteralDecoding(BrotliDecoderState* s) {
1184*6777b538SAndroid Build Coastguard Worker uint8_t context_mode;
1185*6777b538SAndroid Build Coastguard Worker size_t trivial;
1186*6777b538SAndroid Build Coastguard Worker uint32_t block_type = s->block_type_rb[1];
1187*6777b538SAndroid Build Coastguard Worker uint32_t context_offset = block_type << BROTLI_LITERAL_CONTEXT_BITS;
1188*6777b538SAndroid Build Coastguard Worker s->context_map_slice = s->context_map + context_offset;
1189*6777b538SAndroid Build Coastguard Worker trivial = s->trivial_literal_contexts[block_type >> 5];
1190*6777b538SAndroid Build Coastguard Worker s->trivial_literal_context = (trivial >> (block_type & 31)) & 1;
1191*6777b538SAndroid Build Coastguard Worker s->literal_htree = s->literal_hgroup.htrees[s->context_map_slice[0]];
1192*6777b538SAndroid Build Coastguard Worker context_mode = s->context_modes[block_type] & 3;
1193*6777b538SAndroid Build Coastguard Worker s->context_lookup = BROTLI_CONTEXT_LUT(context_mode);
1194*6777b538SAndroid Build Coastguard Worker }
1195*6777b538SAndroid Build Coastguard Worker
1196*6777b538SAndroid Build Coastguard Worker /* Decodes the block type and updates the state for literal context.
1197*6777b538SAndroid Build Coastguard Worker Reads 3..54 bits. */
DecodeLiteralBlockSwitchInternal(int safe,BrotliDecoderState * s)1198*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL DecodeLiteralBlockSwitchInternal(
1199*6777b538SAndroid Build Coastguard Worker int safe, BrotliDecoderState* s) {
1200*6777b538SAndroid Build Coastguard Worker if (!DecodeBlockTypeAndLength(safe, s, 0)) {
1201*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1202*6777b538SAndroid Build Coastguard Worker }
1203*6777b538SAndroid Build Coastguard Worker PrepareLiteralDecoding(s);
1204*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1205*6777b538SAndroid Build Coastguard Worker }
1206*6777b538SAndroid Build Coastguard Worker
DecodeLiteralBlockSwitch(BrotliDecoderState * s)1207*6777b538SAndroid Build Coastguard Worker static void BROTLI_NOINLINE DecodeLiteralBlockSwitch(BrotliDecoderState* s) {
1208*6777b538SAndroid Build Coastguard Worker DecodeLiteralBlockSwitchInternal(0, s);
1209*6777b538SAndroid Build Coastguard Worker }
1210*6777b538SAndroid Build Coastguard Worker
SafeDecodeLiteralBlockSwitch(BrotliDecoderState * s)1211*6777b538SAndroid Build Coastguard Worker static BROTLI_BOOL BROTLI_NOINLINE SafeDecodeLiteralBlockSwitch(
1212*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
1213*6777b538SAndroid Build Coastguard Worker return DecodeLiteralBlockSwitchInternal(1, s);
1214*6777b538SAndroid Build Coastguard Worker }
1215*6777b538SAndroid Build Coastguard Worker
1216*6777b538SAndroid Build Coastguard Worker /* Block switch for insert/copy length.
1217*6777b538SAndroid Build Coastguard Worker Reads 3..54 bits. */
DecodeCommandBlockSwitchInternal(int safe,BrotliDecoderState * s)1218*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL DecodeCommandBlockSwitchInternal(
1219*6777b538SAndroid Build Coastguard Worker int safe, BrotliDecoderState* s) {
1220*6777b538SAndroid Build Coastguard Worker if (!DecodeBlockTypeAndLength(safe, s, 1)) {
1221*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1222*6777b538SAndroid Build Coastguard Worker }
1223*6777b538SAndroid Build Coastguard Worker s->htree_command = s->insert_copy_hgroup.htrees[s->block_type_rb[3]];
1224*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1225*6777b538SAndroid Build Coastguard Worker }
1226*6777b538SAndroid Build Coastguard Worker
DecodeCommandBlockSwitch(BrotliDecoderState * s)1227*6777b538SAndroid Build Coastguard Worker static void BROTLI_NOINLINE DecodeCommandBlockSwitch(BrotliDecoderState* s) {
1228*6777b538SAndroid Build Coastguard Worker DecodeCommandBlockSwitchInternal(0, s);
1229*6777b538SAndroid Build Coastguard Worker }
1230*6777b538SAndroid Build Coastguard Worker
SafeDecodeCommandBlockSwitch(BrotliDecoderState * s)1231*6777b538SAndroid Build Coastguard Worker static BROTLI_BOOL BROTLI_NOINLINE SafeDecodeCommandBlockSwitch(
1232*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
1233*6777b538SAndroid Build Coastguard Worker return DecodeCommandBlockSwitchInternal(1, s);
1234*6777b538SAndroid Build Coastguard Worker }
1235*6777b538SAndroid Build Coastguard Worker
1236*6777b538SAndroid Build Coastguard Worker /* Block switch for distance codes.
1237*6777b538SAndroid Build Coastguard Worker Reads 3..54 bits. */
DecodeDistanceBlockSwitchInternal(int safe,BrotliDecoderState * s)1238*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL DecodeDistanceBlockSwitchInternal(
1239*6777b538SAndroid Build Coastguard Worker int safe, BrotliDecoderState* s) {
1240*6777b538SAndroid Build Coastguard Worker if (!DecodeBlockTypeAndLength(safe, s, 2)) {
1241*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1242*6777b538SAndroid Build Coastguard Worker }
1243*6777b538SAndroid Build Coastguard Worker s->dist_context_map_slice = s->dist_context_map +
1244*6777b538SAndroid Build Coastguard Worker (s->block_type_rb[5] << BROTLI_DISTANCE_CONTEXT_BITS);
1245*6777b538SAndroid Build Coastguard Worker s->dist_htree_index = s->dist_context_map_slice[s->distance_context];
1246*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1247*6777b538SAndroid Build Coastguard Worker }
1248*6777b538SAndroid Build Coastguard Worker
DecodeDistanceBlockSwitch(BrotliDecoderState * s)1249*6777b538SAndroid Build Coastguard Worker static void BROTLI_NOINLINE DecodeDistanceBlockSwitch(BrotliDecoderState* s) {
1250*6777b538SAndroid Build Coastguard Worker DecodeDistanceBlockSwitchInternal(0, s);
1251*6777b538SAndroid Build Coastguard Worker }
1252*6777b538SAndroid Build Coastguard Worker
SafeDecodeDistanceBlockSwitch(BrotliDecoderState * s)1253*6777b538SAndroid Build Coastguard Worker static BROTLI_BOOL BROTLI_NOINLINE SafeDecodeDistanceBlockSwitch(
1254*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
1255*6777b538SAndroid Build Coastguard Worker return DecodeDistanceBlockSwitchInternal(1, s);
1256*6777b538SAndroid Build Coastguard Worker }
1257*6777b538SAndroid Build Coastguard Worker
UnwrittenBytes(const BrotliDecoderState * s,BROTLI_BOOL wrap)1258*6777b538SAndroid Build Coastguard Worker static size_t UnwrittenBytes(const BrotliDecoderState* s, BROTLI_BOOL wrap) {
1259*6777b538SAndroid Build Coastguard Worker size_t pos = wrap && s->pos > s->ringbuffer_size ?
1260*6777b538SAndroid Build Coastguard Worker (size_t)s->ringbuffer_size : (size_t)(s->pos);
1261*6777b538SAndroid Build Coastguard Worker size_t partial_pos_rb = (s->rb_roundtrips * (size_t)s->ringbuffer_size) + pos;
1262*6777b538SAndroid Build Coastguard Worker return partial_pos_rb - s->partial_pos_out;
1263*6777b538SAndroid Build Coastguard Worker }
1264*6777b538SAndroid Build Coastguard Worker
1265*6777b538SAndroid Build Coastguard Worker /* Dumps output.
1266*6777b538SAndroid Build Coastguard Worker Returns BROTLI_DECODER_NEEDS_MORE_OUTPUT only if there is more output to push
1267*6777b538SAndroid Build Coastguard Worker and either ring-buffer is as big as window size, or |force| is true. */
WriteRingBuffer(BrotliDecoderState * s,size_t * available_out,uint8_t ** next_out,size_t * total_out,BROTLI_BOOL force)1268*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode BROTLI_NOINLINE WriteRingBuffer(
1269*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, size_t* available_out, uint8_t** next_out,
1270*6777b538SAndroid Build Coastguard Worker size_t* total_out, BROTLI_BOOL force) {
1271*6777b538SAndroid Build Coastguard Worker uint8_t* start =
1272*6777b538SAndroid Build Coastguard Worker s->ringbuffer + (s->partial_pos_out & (size_t)s->ringbuffer_mask);
1273*6777b538SAndroid Build Coastguard Worker size_t to_write = UnwrittenBytes(s, BROTLI_TRUE);
1274*6777b538SAndroid Build Coastguard Worker size_t num_written = *available_out;
1275*6777b538SAndroid Build Coastguard Worker if (num_written > to_write) {
1276*6777b538SAndroid Build Coastguard Worker num_written = to_write;
1277*6777b538SAndroid Build Coastguard Worker }
1278*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len < 0) {
1279*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_BLOCK_LENGTH_1);
1280*6777b538SAndroid Build Coastguard Worker }
1281*6777b538SAndroid Build Coastguard Worker if (next_out && !*next_out) {
1282*6777b538SAndroid Build Coastguard Worker *next_out = start;
1283*6777b538SAndroid Build Coastguard Worker } else {
1284*6777b538SAndroid Build Coastguard Worker if (next_out) {
1285*6777b538SAndroid Build Coastguard Worker memcpy(*next_out, start, num_written);
1286*6777b538SAndroid Build Coastguard Worker *next_out += num_written;
1287*6777b538SAndroid Build Coastguard Worker }
1288*6777b538SAndroid Build Coastguard Worker }
1289*6777b538SAndroid Build Coastguard Worker *available_out -= num_written;
1290*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(to_write);
1291*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(num_written);
1292*6777b538SAndroid Build Coastguard Worker s->partial_pos_out += num_written;
1293*6777b538SAndroid Build Coastguard Worker if (total_out) {
1294*6777b538SAndroid Build Coastguard Worker *total_out = s->partial_pos_out;
1295*6777b538SAndroid Build Coastguard Worker }
1296*6777b538SAndroid Build Coastguard Worker if (num_written < to_write) {
1297*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer_size == (1 << s->window_bits) || force) {
1298*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_OUTPUT;
1299*6777b538SAndroid Build Coastguard Worker } else {
1300*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
1301*6777b538SAndroid Build Coastguard Worker }
1302*6777b538SAndroid Build Coastguard Worker }
1303*6777b538SAndroid Build Coastguard Worker /* Wrap ring buffer only if it has reached its maximal size. */
1304*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer_size == (1 << s->window_bits) &&
1305*6777b538SAndroid Build Coastguard Worker s->pos >= s->ringbuffer_size) {
1306*6777b538SAndroid Build Coastguard Worker s->pos -= s->ringbuffer_size;
1307*6777b538SAndroid Build Coastguard Worker s->rb_roundtrips++;
1308*6777b538SAndroid Build Coastguard Worker s->should_wrap_ringbuffer = (size_t)s->pos != 0 ? 1 : 0;
1309*6777b538SAndroid Build Coastguard Worker }
1310*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
1311*6777b538SAndroid Build Coastguard Worker }
1312*6777b538SAndroid Build Coastguard Worker
WrapRingBuffer(BrotliDecoderState * s)1313*6777b538SAndroid Build Coastguard Worker static void BROTLI_NOINLINE WrapRingBuffer(BrotliDecoderState* s) {
1314*6777b538SAndroid Build Coastguard Worker if (s->should_wrap_ringbuffer) {
1315*6777b538SAndroid Build Coastguard Worker memcpy(s->ringbuffer, s->ringbuffer_end, (size_t)s->pos);
1316*6777b538SAndroid Build Coastguard Worker s->should_wrap_ringbuffer = 0;
1317*6777b538SAndroid Build Coastguard Worker }
1318*6777b538SAndroid Build Coastguard Worker }
1319*6777b538SAndroid Build Coastguard Worker
1320*6777b538SAndroid Build Coastguard Worker /* Allocates ring-buffer.
1321*6777b538SAndroid Build Coastguard Worker
1322*6777b538SAndroid Build Coastguard Worker s->ringbuffer_size MUST be updated by BrotliCalculateRingBufferSize before
1323*6777b538SAndroid Build Coastguard Worker this function is called.
1324*6777b538SAndroid Build Coastguard Worker
1325*6777b538SAndroid Build Coastguard Worker Last two bytes of ring-buffer are initialized to 0, so context calculation
1326*6777b538SAndroid Build Coastguard Worker could be done uniformly for the first two and all other positions. */
BrotliEnsureRingBuffer(BrotliDecoderState * s)1327*6777b538SAndroid Build Coastguard Worker static BROTLI_BOOL BROTLI_NOINLINE BrotliEnsureRingBuffer(
1328*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
1329*6777b538SAndroid Build Coastguard Worker uint8_t* old_ringbuffer = s->ringbuffer;
1330*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer_size == s->new_ringbuffer_size) {
1331*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1332*6777b538SAndroid Build Coastguard Worker }
1333*6777b538SAndroid Build Coastguard Worker
1334*6777b538SAndroid Build Coastguard Worker s->ringbuffer = (uint8_t*)BROTLI_DECODER_ALLOC(s,
1335*6777b538SAndroid Build Coastguard Worker (size_t)(s->new_ringbuffer_size) + kRingBufferWriteAheadSlack);
1336*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer == 0) {
1337*6777b538SAndroid Build Coastguard Worker /* Restore previous value. */
1338*6777b538SAndroid Build Coastguard Worker s->ringbuffer = old_ringbuffer;
1339*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1340*6777b538SAndroid Build Coastguard Worker }
1341*6777b538SAndroid Build Coastguard Worker s->ringbuffer[s->new_ringbuffer_size - 2] = 0;
1342*6777b538SAndroid Build Coastguard Worker s->ringbuffer[s->new_ringbuffer_size - 1] = 0;
1343*6777b538SAndroid Build Coastguard Worker
1344*6777b538SAndroid Build Coastguard Worker if (!!old_ringbuffer) {
1345*6777b538SAndroid Build Coastguard Worker memcpy(s->ringbuffer, old_ringbuffer, (size_t)s->pos);
1346*6777b538SAndroid Build Coastguard Worker BROTLI_DECODER_FREE(s, old_ringbuffer);
1347*6777b538SAndroid Build Coastguard Worker }
1348*6777b538SAndroid Build Coastguard Worker
1349*6777b538SAndroid Build Coastguard Worker s->ringbuffer_size = s->new_ringbuffer_size;
1350*6777b538SAndroid Build Coastguard Worker s->ringbuffer_mask = s->new_ringbuffer_size - 1;
1351*6777b538SAndroid Build Coastguard Worker s->ringbuffer_end = s->ringbuffer + s->ringbuffer_size;
1352*6777b538SAndroid Build Coastguard Worker
1353*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1354*6777b538SAndroid Build Coastguard Worker }
1355*6777b538SAndroid Build Coastguard Worker
CopyUncompressedBlockToOutput(size_t * available_out,uint8_t ** next_out,size_t * total_out,BrotliDecoderState * s)1356*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode BROTLI_NOINLINE CopyUncompressedBlockToOutput(
1357*6777b538SAndroid Build Coastguard Worker size_t* available_out, uint8_t** next_out, size_t* total_out,
1358*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
1359*6777b538SAndroid Build Coastguard Worker /* TODO(eustas): avoid allocation for single uncompressed block. */
1360*6777b538SAndroid Build Coastguard Worker if (!BrotliEnsureRingBuffer(s)) {
1361*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_ALLOC_RING_BUFFER_1);
1362*6777b538SAndroid Build Coastguard Worker }
1363*6777b538SAndroid Build Coastguard Worker
1364*6777b538SAndroid Build Coastguard Worker /* State machine */
1365*6777b538SAndroid Build Coastguard Worker for (;;) {
1366*6777b538SAndroid Build Coastguard Worker switch (s->substate_uncompressed) {
1367*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_UNCOMPRESSED_NONE: {
1368*6777b538SAndroid Build Coastguard Worker int nbytes = (int)BrotliGetRemainingBytes(&s->br);
1369*6777b538SAndroid Build Coastguard Worker if (nbytes > s->meta_block_remaining_len) {
1370*6777b538SAndroid Build Coastguard Worker nbytes = s->meta_block_remaining_len;
1371*6777b538SAndroid Build Coastguard Worker }
1372*6777b538SAndroid Build Coastguard Worker if (s->pos + nbytes > s->ringbuffer_size) {
1373*6777b538SAndroid Build Coastguard Worker nbytes = s->ringbuffer_size - s->pos;
1374*6777b538SAndroid Build Coastguard Worker }
1375*6777b538SAndroid Build Coastguard Worker /* Copy remaining bytes from s->br.buf_ to ring-buffer. */
1376*6777b538SAndroid Build Coastguard Worker BrotliCopyBytes(&s->ringbuffer[s->pos], &s->br, (size_t)nbytes);
1377*6777b538SAndroid Build Coastguard Worker s->pos += nbytes;
1378*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len -= nbytes;
1379*6777b538SAndroid Build Coastguard Worker if (s->pos < 1 << s->window_bits) {
1380*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len == 0) {
1381*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
1382*6777b538SAndroid Build Coastguard Worker }
1383*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
1384*6777b538SAndroid Build Coastguard Worker }
1385*6777b538SAndroid Build Coastguard Worker s->substate_uncompressed = BROTLI_STATE_UNCOMPRESSED_WRITE;
1386*6777b538SAndroid Build Coastguard Worker }
1387*6777b538SAndroid Build Coastguard Worker /* Fall through. */
1388*6777b538SAndroid Build Coastguard Worker
1389*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_UNCOMPRESSED_WRITE: {
1390*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result;
1391*6777b538SAndroid Build Coastguard Worker result = WriteRingBuffer(
1392*6777b538SAndroid Build Coastguard Worker s, available_out, next_out, total_out, BROTLI_FALSE);
1393*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
1394*6777b538SAndroid Build Coastguard Worker return result;
1395*6777b538SAndroid Build Coastguard Worker }
1396*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer_size == 1 << s->window_bits) {
1397*6777b538SAndroid Build Coastguard Worker s->max_distance = s->max_backward_distance;
1398*6777b538SAndroid Build Coastguard Worker }
1399*6777b538SAndroid Build Coastguard Worker s->substate_uncompressed = BROTLI_STATE_UNCOMPRESSED_NONE;
1400*6777b538SAndroid Build Coastguard Worker break;
1401*6777b538SAndroid Build Coastguard Worker }
1402*6777b538SAndroid Build Coastguard Worker }
1403*6777b538SAndroid Build Coastguard Worker }
1404*6777b538SAndroid Build Coastguard Worker BROTLI_DCHECK(0); /* Unreachable */
1405*6777b538SAndroid Build Coastguard Worker }
1406*6777b538SAndroid Build Coastguard Worker
AttachCompoundDictionary(BrotliDecoderState * state,const uint8_t * data,size_t size)1407*6777b538SAndroid Build Coastguard Worker static BROTLI_BOOL AttachCompoundDictionary(
1408*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* state, const uint8_t* data, size_t size) {
1409*6777b538SAndroid Build Coastguard Worker BrotliDecoderCompoundDictionary* addon = state->compound_dictionary;
1410*6777b538SAndroid Build Coastguard Worker if (state->state != BROTLI_STATE_UNINITED) return BROTLI_FALSE;
1411*6777b538SAndroid Build Coastguard Worker if (!addon) {
1412*6777b538SAndroid Build Coastguard Worker addon = (BrotliDecoderCompoundDictionary*)BROTLI_DECODER_ALLOC(
1413*6777b538SAndroid Build Coastguard Worker state, sizeof(BrotliDecoderCompoundDictionary));
1414*6777b538SAndroid Build Coastguard Worker if (!addon) return BROTLI_FALSE;
1415*6777b538SAndroid Build Coastguard Worker addon->num_chunks = 0;
1416*6777b538SAndroid Build Coastguard Worker addon->total_size = 0;
1417*6777b538SAndroid Build Coastguard Worker addon->br_length = 0;
1418*6777b538SAndroid Build Coastguard Worker addon->br_copied = 0;
1419*6777b538SAndroid Build Coastguard Worker addon->block_bits = -1;
1420*6777b538SAndroid Build Coastguard Worker addon->chunk_offsets[0] = 0;
1421*6777b538SAndroid Build Coastguard Worker state->compound_dictionary = addon;
1422*6777b538SAndroid Build Coastguard Worker }
1423*6777b538SAndroid Build Coastguard Worker if (addon->num_chunks == 15) return BROTLI_FALSE;
1424*6777b538SAndroid Build Coastguard Worker addon->chunks[addon->num_chunks] = data;
1425*6777b538SAndroid Build Coastguard Worker addon->num_chunks++;
1426*6777b538SAndroid Build Coastguard Worker addon->total_size += (int)size;
1427*6777b538SAndroid Build Coastguard Worker addon->chunk_offsets[addon->num_chunks] = addon->total_size;
1428*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1429*6777b538SAndroid Build Coastguard Worker }
1430*6777b538SAndroid Build Coastguard Worker
EnsureCoumpoundDictionaryInitialized(BrotliDecoderState * state)1431*6777b538SAndroid Build Coastguard Worker static void EnsureCoumpoundDictionaryInitialized(BrotliDecoderState* state) {
1432*6777b538SAndroid Build Coastguard Worker BrotliDecoderCompoundDictionary* addon = state->compound_dictionary;
1433*6777b538SAndroid Build Coastguard Worker /* 256 = (1 << 8) slots in block map. */
1434*6777b538SAndroid Build Coastguard Worker int block_bits = 8;
1435*6777b538SAndroid Build Coastguard Worker int cursor = 0;
1436*6777b538SAndroid Build Coastguard Worker int index = 0;
1437*6777b538SAndroid Build Coastguard Worker if (addon->block_bits != -1) return;
1438*6777b538SAndroid Build Coastguard Worker while (((addon->total_size - 1) >> block_bits) != 0) block_bits++;
1439*6777b538SAndroid Build Coastguard Worker block_bits -= 8;
1440*6777b538SAndroid Build Coastguard Worker addon->block_bits = block_bits;
1441*6777b538SAndroid Build Coastguard Worker while (cursor < addon->total_size) {
1442*6777b538SAndroid Build Coastguard Worker while (addon->chunk_offsets[index + 1] < cursor) index++;
1443*6777b538SAndroid Build Coastguard Worker addon->block_map[cursor >> block_bits] = (uint8_t)index;
1444*6777b538SAndroid Build Coastguard Worker cursor += 1 << block_bits;
1445*6777b538SAndroid Build Coastguard Worker }
1446*6777b538SAndroid Build Coastguard Worker }
1447*6777b538SAndroid Build Coastguard Worker
InitializeCompoundDictionaryCopy(BrotliDecoderState * s,int address,int length)1448*6777b538SAndroid Build Coastguard Worker static BROTLI_BOOL InitializeCompoundDictionaryCopy(BrotliDecoderState* s,
1449*6777b538SAndroid Build Coastguard Worker int address, int length) {
1450*6777b538SAndroid Build Coastguard Worker BrotliDecoderCompoundDictionary* addon = s->compound_dictionary;
1451*6777b538SAndroid Build Coastguard Worker int index;
1452*6777b538SAndroid Build Coastguard Worker EnsureCoumpoundDictionaryInitialized(s);
1453*6777b538SAndroid Build Coastguard Worker index = addon->block_map[address >> addon->block_bits];
1454*6777b538SAndroid Build Coastguard Worker while (address >= addon->chunk_offsets[index + 1]) index++;
1455*6777b538SAndroid Build Coastguard Worker if (addon->total_size < address + length) return BROTLI_FALSE;
1456*6777b538SAndroid Build Coastguard Worker /* Update the recent distances cache. */
1457*6777b538SAndroid Build Coastguard Worker s->dist_rb[s->dist_rb_idx & 3] = s->distance_code;
1458*6777b538SAndroid Build Coastguard Worker ++s->dist_rb_idx;
1459*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len -= length;
1460*6777b538SAndroid Build Coastguard Worker addon->br_index = index;
1461*6777b538SAndroid Build Coastguard Worker addon->br_offset = address - addon->chunk_offsets[index];
1462*6777b538SAndroid Build Coastguard Worker addon->br_length = length;
1463*6777b538SAndroid Build Coastguard Worker addon->br_copied = 0;
1464*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1465*6777b538SAndroid Build Coastguard Worker }
1466*6777b538SAndroid Build Coastguard Worker
GetCompoundDictionarySize(BrotliDecoderState * s)1467*6777b538SAndroid Build Coastguard Worker static int GetCompoundDictionarySize(BrotliDecoderState* s) {
1468*6777b538SAndroid Build Coastguard Worker return s->compound_dictionary ? s->compound_dictionary->total_size : 0;
1469*6777b538SAndroid Build Coastguard Worker }
1470*6777b538SAndroid Build Coastguard Worker
CopyFromCompoundDictionary(BrotliDecoderState * s,int pos)1471*6777b538SAndroid Build Coastguard Worker static int CopyFromCompoundDictionary(BrotliDecoderState* s, int pos) {
1472*6777b538SAndroid Build Coastguard Worker BrotliDecoderCompoundDictionary* addon = s->compound_dictionary;
1473*6777b538SAndroid Build Coastguard Worker int orig_pos = pos;
1474*6777b538SAndroid Build Coastguard Worker while (addon->br_length != addon->br_copied) {
1475*6777b538SAndroid Build Coastguard Worker uint8_t* copy_dst = &s->ringbuffer[pos];
1476*6777b538SAndroid Build Coastguard Worker const uint8_t* copy_src =
1477*6777b538SAndroid Build Coastguard Worker addon->chunks[addon->br_index] + addon->br_offset;
1478*6777b538SAndroid Build Coastguard Worker int space = s->ringbuffer_size - pos;
1479*6777b538SAndroid Build Coastguard Worker int rem_chunk_length = (addon->chunk_offsets[addon->br_index + 1] -
1480*6777b538SAndroid Build Coastguard Worker addon->chunk_offsets[addon->br_index]) - addon->br_offset;
1481*6777b538SAndroid Build Coastguard Worker int length = addon->br_length - addon->br_copied;
1482*6777b538SAndroid Build Coastguard Worker if (length > rem_chunk_length) length = rem_chunk_length;
1483*6777b538SAndroid Build Coastguard Worker if (length > space) length = space;
1484*6777b538SAndroid Build Coastguard Worker memcpy(copy_dst, copy_src, (size_t)length);
1485*6777b538SAndroid Build Coastguard Worker pos += length;
1486*6777b538SAndroid Build Coastguard Worker addon->br_offset += length;
1487*6777b538SAndroid Build Coastguard Worker addon->br_copied += length;
1488*6777b538SAndroid Build Coastguard Worker if (length == rem_chunk_length) {
1489*6777b538SAndroid Build Coastguard Worker addon->br_index++;
1490*6777b538SAndroid Build Coastguard Worker addon->br_offset = 0;
1491*6777b538SAndroid Build Coastguard Worker }
1492*6777b538SAndroid Build Coastguard Worker if (pos == s->ringbuffer_size) break;
1493*6777b538SAndroid Build Coastguard Worker }
1494*6777b538SAndroid Build Coastguard Worker return pos - orig_pos;
1495*6777b538SAndroid Build Coastguard Worker }
1496*6777b538SAndroid Build Coastguard Worker
BrotliDecoderAttachDictionary(BrotliDecoderState * state,BrotliSharedDictionaryType type,size_t data_size,const uint8_t data[BROTLI_ARRAY_PARAM (data_size)])1497*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL BrotliDecoderAttachDictionary(
1498*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* state, BrotliSharedDictionaryType type,
1499*6777b538SAndroid Build Coastguard Worker size_t data_size, const uint8_t data[BROTLI_ARRAY_PARAM(data_size)]) {
1500*6777b538SAndroid Build Coastguard Worker uint32_t i;
1501*6777b538SAndroid Build Coastguard Worker uint32_t num_prefix_before = state->dictionary->num_prefix;
1502*6777b538SAndroid Build Coastguard Worker if (state->state != BROTLI_STATE_UNINITED) return BROTLI_FALSE;
1503*6777b538SAndroid Build Coastguard Worker if (!BrotliSharedDictionaryAttach(state->dictionary, type, data_size, data)) {
1504*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1505*6777b538SAndroid Build Coastguard Worker }
1506*6777b538SAndroid Build Coastguard Worker for (i = num_prefix_before; i < state->dictionary->num_prefix; i++) {
1507*6777b538SAndroid Build Coastguard Worker if (!AttachCompoundDictionary(
1508*6777b538SAndroid Build Coastguard Worker state, state->dictionary->prefix[i],
1509*6777b538SAndroid Build Coastguard Worker state->dictionary->prefix_size[i])) {
1510*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1511*6777b538SAndroid Build Coastguard Worker }
1512*6777b538SAndroid Build Coastguard Worker }
1513*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1514*6777b538SAndroid Build Coastguard Worker }
1515*6777b538SAndroid Build Coastguard Worker
1516*6777b538SAndroid Build Coastguard Worker /* Calculates the smallest feasible ring buffer.
1517*6777b538SAndroid Build Coastguard Worker
1518*6777b538SAndroid Build Coastguard Worker If we know the data size is small, do not allocate more ring buffer
1519*6777b538SAndroid Build Coastguard Worker size than needed to reduce memory usage.
1520*6777b538SAndroid Build Coastguard Worker
1521*6777b538SAndroid Build Coastguard Worker When this method is called, metablock size and flags MUST be decoded. */
BrotliCalculateRingBufferSize(BrotliDecoderState * s)1522*6777b538SAndroid Build Coastguard Worker static void BROTLI_NOINLINE BrotliCalculateRingBufferSize(
1523*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
1524*6777b538SAndroid Build Coastguard Worker int window_size = 1 << s->window_bits;
1525*6777b538SAndroid Build Coastguard Worker int new_ringbuffer_size = window_size;
1526*6777b538SAndroid Build Coastguard Worker /* We need at least 2 bytes of ring buffer size to get the last two
1527*6777b538SAndroid Build Coastguard Worker bytes for context from there */
1528*6777b538SAndroid Build Coastguard Worker int min_size = s->ringbuffer_size ? s->ringbuffer_size : 1024;
1529*6777b538SAndroid Build Coastguard Worker int output_size;
1530*6777b538SAndroid Build Coastguard Worker
1531*6777b538SAndroid Build Coastguard Worker /* If maximum is already reached, no further extension is retired. */
1532*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer_size == window_size) {
1533*6777b538SAndroid Build Coastguard Worker return;
1534*6777b538SAndroid Build Coastguard Worker }
1535*6777b538SAndroid Build Coastguard Worker
1536*6777b538SAndroid Build Coastguard Worker /* Metadata blocks does not touch ring buffer. */
1537*6777b538SAndroid Build Coastguard Worker if (s->is_metadata) {
1538*6777b538SAndroid Build Coastguard Worker return;
1539*6777b538SAndroid Build Coastguard Worker }
1540*6777b538SAndroid Build Coastguard Worker
1541*6777b538SAndroid Build Coastguard Worker if (!s->ringbuffer) {
1542*6777b538SAndroid Build Coastguard Worker output_size = 0;
1543*6777b538SAndroid Build Coastguard Worker } else {
1544*6777b538SAndroid Build Coastguard Worker output_size = s->pos;
1545*6777b538SAndroid Build Coastguard Worker }
1546*6777b538SAndroid Build Coastguard Worker output_size += s->meta_block_remaining_len;
1547*6777b538SAndroid Build Coastguard Worker min_size = min_size < output_size ? output_size : min_size;
1548*6777b538SAndroid Build Coastguard Worker
1549*6777b538SAndroid Build Coastguard Worker if (!!s->canny_ringbuffer_allocation) {
1550*6777b538SAndroid Build Coastguard Worker /* Reduce ring buffer size to save memory when server is unscrupulous.
1551*6777b538SAndroid Build Coastguard Worker In worst case memory usage might be 1.5x bigger for a short period of
1552*6777b538SAndroid Build Coastguard Worker ring buffer reallocation. */
1553*6777b538SAndroid Build Coastguard Worker while ((new_ringbuffer_size >> 1) >= min_size) {
1554*6777b538SAndroid Build Coastguard Worker new_ringbuffer_size >>= 1;
1555*6777b538SAndroid Build Coastguard Worker }
1556*6777b538SAndroid Build Coastguard Worker }
1557*6777b538SAndroid Build Coastguard Worker
1558*6777b538SAndroid Build Coastguard Worker s->new_ringbuffer_size = new_ringbuffer_size;
1559*6777b538SAndroid Build Coastguard Worker }
1560*6777b538SAndroid Build Coastguard Worker
1561*6777b538SAndroid Build Coastguard Worker /* Reads 1..256 2-bit context modes. */
ReadContextModes(BrotliDecoderState * s)1562*6777b538SAndroid Build Coastguard Worker static BrotliDecoderErrorCode ReadContextModes(BrotliDecoderState* s) {
1563*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
1564*6777b538SAndroid Build Coastguard Worker int i = s->loop_counter;
1565*6777b538SAndroid Build Coastguard Worker
1566*6777b538SAndroid Build Coastguard Worker while (i < (int)s->num_block_types[0]) {
1567*6777b538SAndroid Build Coastguard Worker uint32_t bits;
1568*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 2, &bits)) {
1569*6777b538SAndroid Build Coastguard Worker s->loop_counter = i;
1570*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_NEEDS_MORE_INPUT;
1571*6777b538SAndroid Build Coastguard Worker }
1572*6777b538SAndroid Build Coastguard Worker s->context_modes[i] = (uint8_t)bits;
1573*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_ARRAY_INDEX(s->context_modes, i);
1574*6777b538SAndroid Build Coastguard Worker i++;
1575*6777b538SAndroid Build Coastguard Worker }
1576*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_SUCCESS;
1577*6777b538SAndroid Build Coastguard Worker }
1578*6777b538SAndroid Build Coastguard Worker
TakeDistanceFromRingBuffer(BrotliDecoderState * s)1579*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void TakeDistanceFromRingBuffer(BrotliDecoderState* s) {
1580*6777b538SAndroid Build Coastguard Worker int offset = s->distance_code - 3;
1581*6777b538SAndroid Build Coastguard Worker if (s->distance_code <= 3) {
1582*6777b538SAndroid Build Coastguard Worker /* Compensate double distance-ring-buffer roll for dictionary items. */
1583*6777b538SAndroid Build Coastguard Worker s->distance_context = 1 >> s->distance_code;
1584*6777b538SAndroid Build Coastguard Worker s->distance_code = s->dist_rb[(s->dist_rb_idx - offset) & 3];
1585*6777b538SAndroid Build Coastguard Worker s->dist_rb_idx -= s->distance_context;
1586*6777b538SAndroid Build Coastguard Worker } else {
1587*6777b538SAndroid Build Coastguard Worker int index_delta = 3;
1588*6777b538SAndroid Build Coastguard Worker int delta;
1589*6777b538SAndroid Build Coastguard Worker int base = s->distance_code - 10;
1590*6777b538SAndroid Build Coastguard Worker if (s->distance_code < 10) {
1591*6777b538SAndroid Build Coastguard Worker base = s->distance_code - 4;
1592*6777b538SAndroid Build Coastguard Worker } else {
1593*6777b538SAndroid Build Coastguard Worker index_delta = 2;
1594*6777b538SAndroid Build Coastguard Worker }
1595*6777b538SAndroid Build Coastguard Worker /* Unpack one of six 4-bit values. */
1596*6777b538SAndroid Build Coastguard Worker delta = ((0x605142 >> (4 * base)) & 0xF) - 3;
1597*6777b538SAndroid Build Coastguard Worker s->distance_code = s->dist_rb[(s->dist_rb_idx + index_delta) & 0x3] + delta;
1598*6777b538SAndroid Build Coastguard Worker if (s->distance_code <= 0) {
1599*6777b538SAndroid Build Coastguard Worker /* A huge distance will cause a BROTLI_FAILURE() soon.
1600*6777b538SAndroid Build Coastguard Worker This is a little faster than failing here. */
1601*6777b538SAndroid Build Coastguard Worker s->distance_code = 0x7FFFFFFF;
1602*6777b538SAndroid Build Coastguard Worker }
1603*6777b538SAndroid Build Coastguard Worker }
1604*6777b538SAndroid Build Coastguard Worker }
1605*6777b538SAndroid Build Coastguard Worker
SafeReadBits(BrotliBitReader * const br,uint32_t n_bits,uint32_t * val)1606*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL SafeReadBits(
1607*6777b538SAndroid Build Coastguard Worker BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) {
1608*6777b538SAndroid Build Coastguard Worker if (n_bits != 0) {
1609*6777b538SAndroid Build Coastguard Worker return BrotliSafeReadBits(br, n_bits, val);
1610*6777b538SAndroid Build Coastguard Worker } else {
1611*6777b538SAndroid Build Coastguard Worker *val = 0;
1612*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1613*6777b538SAndroid Build Coastguard Worker }
1614*6777b538SAndroid Build Coastguard Worker }
1615*6777b538SAndroid Build Coastguard Worker
SafeReadBits32(BrotliBitReader * const br,uint32_t n_bits,uint32_t * val)1616*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL SafeReadBits32(
1617*6777b538SAndroid Build Coastguard Worker BrotliBitReader* const br, uint32_t n_bits, uint32_t* val) {
1618*6777b538SAndroid Build Coastguard Worker if (n_bits != 0) {
1619*6777b538SAndroid Build Coastguard Worker return BrotliSafeReadBits32(br, n_bits, val);
1620*6777b538SAndroid Build Coastguard Worker } else {
1621*6777b538SAndroid Build Coastguard Worker *val = 0;
1622*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1623*6777b538SAndroid Build Coastguard Worker }
1624*6777b538SAndroid Build Coastguard Worker }
1625*6777b538SAndroid Build Coastguard Worker
1626*6777b538SAndroid Build Coastguard Worker /*
1627*6777b538SAndroid Build Coastguard Worker RFC 7932 Section 4 with "..." shortenings and "[]" emendations.
1628*6777b538SAndroid Build Coastguard Worker
1629*6777b538SAndroid Build Coastguard Worker Each distance ... is represented with a pair <distance code, extra bits>...
1630*6777b538SAndroid Build Coastguard Worker The distance code is encoded using a prefix code... The number of extra bits
1631*6777b538SAndroid Build Coastguard Worker can be 0..24... Two additional parameters: NPOSTFIX (0..3), and ...
1632*6777b538SAndroid Build Coastguard Worker NDIRECT (0..120) ... are encoded in the meta-block header...
1633*6777b538SAndroid Build Coastguard Worker
1634*6777b538SAndroid Build Coastguard Worker The first 16 distance symbols ... reference past distances... ring buffer ...
1635*6777b538SAndroid Build Coastguard Worker Next NDIRECT distance symbols ... represent distances from 1 to NDIRECT...
1636*6777b538SAndroid Build Coastguard Worker [For] distance symbols 16 + NDIRECT and greater ... the number of extra bits
1637*6777b538SAndroid Build Coastguard Worker ... is given by the following formula:
1638*6777b538SAndroid Build Coastguard Worker
1639*6777b538SAndroid Build Coastguard Worker [ xcode = dcode - NDIRECT - 16 ]
1640*6777b538SAndroid Build Coastguard Worker ndistbits = 1 + [ xcode ] >> (NPOSTFIX + 1)
1641*6777b538SAndroid Build Coastguard Worker
1642*6777b538SAndroid Build Coastguard Worker ...
1643*6777b538SAndroid Build Coastguard Worker */
1644*6777b538SAndroid Build Coastguard Worker
1645*6777b538SAndroid Build Coastguard Worker /*
1646*6777b538SAndroid Build Coastguard Worker RFC 7932 Section 9.2 with "..." shortenings and "[]" emendations.
1647*6777b538SAndroid Build Coastguard Worker
1648*6777b538SAndroid Build Coastguard Worker ... to get the actual value of the parameter NDIRECT, left-shift this
1649*6777b538SAndroid Build Coastguard Worker four-bit number by NPOSTFIX bits ...
1650*6777b538SAndroid Build Coastguard Worker */
1651*6777b538SAndroid Build Coastguard Worker
1652*6777b538SAndroid Build Coastguard Worker /* Remaining formulas from RFC 7932 Section 4 could be rewritten as following:
1653*6777b538SAndroid Build Coastguard Worker
1654*6777b538SAndroid Build Coastguard Worker alphabet_size = 16 + NDIRECT + (max_distbits << (NPOSTFIX + 1))
1655*6777b538SAndroid Build Coastguard Worker
1656*6777b538SAndroid Build Coastguard Worker half = ((xcode >> NPOSTFIX) & 1) << ndistbits
1657*6777b538SAndroid Build Coastguard Worker postfix = xcode & ((1 << NPOSTFIX) - 1)
1658*6777b538SAndroid Build Coastguard Worker range_start = 2 * (1 << ndistbits - 1 - 1)
1659*6777b538SAndroid Build Coastguard Worker
1660*6777b538SAndroid Build Coastguard Worker distance = (range_start + half + extra) << NPOSTFIX + postfix + NDIRECT + 1
1661*6777b538SAndroid Build Coastguard Worker
1662*6777b538SAndroid Build Coastguard Worker NB: ndistbits >= 1 -> range_start >= 0
1663*6777b538SAndroid Build Coastguard Worker NB: range_start has factor 2, as the range is covered by 2 "halves"
1664*6777b538SAndroid Build Coastguard Worker NB: extra -1 offset in range_start formula covers the absence of
1665*6777b538SAndroid Build Coastguard Worker ndistbits = 0 case
1666*6777b538SAndroid Build Coastguard Worker NB: when NPOSTFIX = 0, NDIRECT is not greater than 15
1667*6777b538SAndroid Build Coastguard Worker
1668*6777b538SAndroid Build Coastguard Worker In other words, xcode has the following binary structure - XXXHPPP:
1669*6777b538SAndroid Build Coastguard Worker - XXX represent the number of extra distance bits
1670*6777b538SAndroid Build Coastguard Worker - H selects upper / lower range of distances
1671*6777b538SAndroid Build Coastguard Worker - PPP represent "postfix"
1672*6777b538SAndroid Build Coastguard Worker
1673*6777b538SAndroid Build Coastguard Worker "Regular" distance encoding has NPOSTFIX = 0; omitting the postfix part
1674*6777b538SAndroid Build Coastguard Worker simplifies distance calculation.
1675*6777b538SAndroid Build Coastguard Worker
1676*6777b538SAndroid Build Coastguard Worker Using NPOSTFIX > 0 allows cheaper encoding of regular structures, e.g. where
1677*6777b538SAndroid Build Coastguard Worker most of distances have the same reminder of division by 2/4/8. For example,
1678*6777b538SAndroid Build Coastguard Worker the table of int32_t values that come from different sources; if it is likely
1679*6777b538SAndroid Build Coastguard Worker that 3 highest bytes of values from the same source are the same, then
1680*6777b538SAndroid Build Coastguard Worker copy distance often looks like 4x + y.
1681*6777b538SAndroid Build Coastguard Worker
1682*6777b538SAndroid Build Coastguard Worker Distance calculation could be rewritten to:
1683*6777b538SAndroid Build Coastguard Worker
1684*6777b538SAndroid Build Coastguard Worker ndistbits = NDISTBITS(NDIRECT, NPOSTFIX)[dcode]
1685*6777b538SAndroid Build Coastguard Worker distance = OFFSET(NDIRECT, NPOSTFIX)[dcode] + extra << NPOSTFIX
1686*6777b538SAndroid Build Coastguard Worker
1687*6777b538SAndroid Build Coastguard Worker NDISTBITS and OFFSET could be pre-calculated, as NDIRECT and NPOSTFIX could
1688*6777b538SAndroid Build Coastguard Worker change only once per meta-block.
1689*6777b538SAndroid Build Coastguard Worker */
1690*6777b538SAndroid Build Coastguard Worker
1691*6777b538SAndroid Build Coastguard Worker /* Calculates distance lookup table.
1692*6777b538SAndroid Build Coastguard Worker NB: it is possible to have all 64 tables precalculated. */
CalculateDistanceLut(BrotliDecoderState * s)1693*6777b538SAndroid Build Coastguard Worker static void CalculateDistanceLut(BrotliDecoderState* s) {
1694*6777b538SAndroid Build Coastguard Worker BrotliMetablockBodyArena* b = &s->arena.body;
1695*6777b538SAndroid Build Coastguard Worker uint32_t npostfix = s->distance_postfix_bits;
1696*6777b538SAndroid Build Coastguard Worker uint32_t ndirect = s->num_direct_distance_codes;
1697*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size_limit = s->distance_hgroup.alphabet_size_limit;
1698*6777b538SAndroid Build Coastguard Worker uint32_t postfix = 1u << npostfix;
1699*6777b538SAndroid Build Coastguard Worker uint32_t j;
1700*6777b538SAndroid Build Coastguard Worker uint32_t bits = 1;
1701*6777b538SAndroid Build Coastguard Worker uint32_t half = 0;
1702*6777b538SAndroid Build Coastguard Worker
1703*6777b538SAndroid Build Coastguard Worker /* Skip short codes. */
1704*6777b538SAndroid Build Coastguard Worker uint32_t i = BROTLI_NUM_DISTANCE_SHORT_CODES;
1705*6777b538SAndroid Build Coastguard Worker
1706*6777b538SAndroid Build Coastguard Worker /* Fill direct codes. */
1707*6777b538SAndroid Build Coastguard Worker for (j = 0; j < ndirect; ++j) {
1708*6777b538SAndroid Build Coastguard Worker b->dist_extra_bits[i] = 0;
1709*6777b538SAndroid Build Coastguard Worker b->dist_offset[i] = j + 1;
1710*6777b538SAndroid Build Coastguard Worker ++i;
1711*6777b538SAndroid Build Coastguard Worker }
1712*6777b538SAndroid Build Coastguard Worker
1713*6777b538SAndroid Build Coastguard Worker /* Fill regular distance codes. */
1714*6777b538SAndroid Build Coastguard Worker while (i < alphabet_size_limit) {
1715*6777b538SAndroid Build Coastguard Worker uint32_t base = ndirect + ((((2 + half) << bits) - 4) << npostfix) + 1;
1716*6777b538SAndroid Build Coastguard Worker /* Always fill the complete group. */
1717*6777b538SAndroid Build Coastguard Worker for (j = 0; j < postfix; ++j) {
1718*6777b538SAndroid Build Coastguard Worker b->dist_extra_bits[i] = (uint8_t)bits;
1719*6777b538SAndroid Build Coastguard Worker b->dist_offset[i] = base + j;
1720*6777b538SAndroid Build Coastguard Worker ++i;
1721*6777b538SAndroid Build Coastguard Worker }
1722*6777b538SAndroid Build Coastguard Worker bits = bits + half;
1723*6777b538SAndroid Build Coastguard Worker half = half ^ 1;
1724*6777b538SAndroid Build Coastguard Worker }
1725*6777b538SAndroid Build Coastguard Worker }
1726*6777b538SAndroid Build Coastguard Worker
1727*6777b538SAndroid Build Coastguard Worker /* Precondition: s->distance_code < 0. */
ReadDistanceInternal(int safe,BrotliDecoderState * s,BrotliBitReader * br)1728*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL ReadDistanceInternal(
1729*6777b538SAndroid Build Coastguard Worker int safe, BrotliDecoderState* s, BrotliBitReader* br) {
1730*6777b538SAndroid Build Coastguard Worker BrotliMetablockBodyArena* b = &s->arena.body;
1731*6777b538SAndroid Build Coastguard Worker uint32_t code;
1732*6777b538SAndroid Build Coastguard Worker uint32_t bits;
1733*6777b538SAndroid Build Coastguard Worker BrotliBitReaderState memento;
1734*6777b538SAndroid Build Coastguard Worker HuffmanCode* distance_tree = s->distance_hgroup.htrees[s->dist_htree_index];
1735*6777b538SAndroid Build Coastguard Worker if (!safe) {
1736*6777b538SAndroid Build Coastguard Worker code = ReadSymbol(distance_tree, br);
1737*6777b538SAndroid Build Coastguard Worker } else {
1738*6777b538SAndroid Build Coastguard Worker BrotliBitReaderSaveState(br, &memento);
1739*6777b538SAndroid Build Coastguard Worker if (!SafeReadSymbol(distance_tree, br, &code)) {
1740*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1741*6777b538SAndroid Build Coastguard Worker }
1742*6777b538SAndroid Build Coastguard Worker }
1743*6777b538SAndroid Build Coastguard Worker --s->block_length[2];
1744*6777b538SAndroid Build Coastguard Worker /* Convert the distance code to the actual distance by possibly
1745*6777b538SAndroid Build Coastguard Worker looking up past distances from the s->dist_rb. */
1746*6777b538SAndroid Build Coastguard Worker s->distance_context = 0;
1747*6777b538SAndroid Build Coastguard Worker if ((code & ~0xFu) == 0) {
1748*6777b538SAndroid Build Coastguard Worker s->distance_code = (int)code;
1749*6777b538SAndroid Build Coastguard Worker TakeDistanceFromRingBuffer(s);
1750*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1751*6777b538SAndroid Build Coastguard Worker }
1752*6777b538SAndroid Build Coastguard Worker if (!safe) {
1753*6777b538SAndroid Build Coastguard Worker bits = BrotliReadBits32(br, b->dist_extra_bits[code]);
1754*6777b538SAndroid Build Coastguard Worker } else {
1755*6777b538SAndroid Build Coastguard Worker if (!SafeReadBits32(br, b->dist_extra_bits[code], &bits)) {
1756*6777b538SAndroid Build Coastguard Worker ++s->block_length[2];
1757*6777b538SAndroid Build Coastguard Worker BrotliBitReaderRestoreState(br, &memento);
1758*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1759*6777b538SAndroid Build Coastguard Worker }
1760*6777b538SAndroid Build Coastguard Worker }
1761*6777b538SAndroid Build Coastguard Worker s->distance_code =
1762*6777b538SAndroid Build Coastguard Worker (int)(b->dist_offset[code] + (bits << s->distance_postfix_bits));
1763*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1764*6777b538SAndroid Build Coastguard Worker }
1765*6777b538SAndroid Build Coastguard Worker
ReadDistance(BrotliDecoderState * s,BrotliBitReader * br)1766*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void ReadDistance(
1767*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, BrotliBitReader* br) {
1768*6777b538SAndroid Build Coastguard Worker ReadDistanceInternal(0, s, br);
1769*6777b538SAndroid Build Coastguard Worker }
1770*6777b538SAndroid Build Coastguard Worker
SafeReadDistance(BrotliDecoderState * s,BrotliBitReader * br)1771*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL SafeReadDistance(
1772*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, BrotliBitReader* br) {
1773*6777b538SAndroid Build Coastguard Worker return ReadDistanceInternal(1, s, br);
1774*6777b538SAndroid Build Coastguard Worker }
1775*6777b538SAndroid Build Coastguard Worker
ReadCommandInternal(int safe,BrotliDecoderState * s,BrotliBitReader * br,int * insert_length)1776*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL ReadCommandInternal(
1777*6777b538SAndroid Build Coastguard Worker int safe, BrotliDecoderState* s, BrotliBitReader* br, int* insert_length) {
1778*6777b538SAndroid Build Coastguard Worker uint32_t cmd_code;
1779*6777b538SAndroid Build Coastguard Worker uint32_t insert_len_extra = 0;
1780*6777b538SAndroid Build Coastguard Worker uint32_t copy_length;
1781*6777b538SAndroid Build Coastguard Worker CmdLutElement v;
1782*6777b538SAndroid Build Coastguard Worker BrotliBitReaderState memento;
1783*6777b538SAndroid Build Coastguard Worker if (!safe) {
1784*6777b538SAndroid Build Coastguard Worker cmd_code = ReadSymbol(s->htree_command, br);
1785*6777b538SAndroid Build Coastguard Worker } else {
1786*6777b538SAndroid Build Coastguard Worker BrotliBitReaderSaveState(br, &memento);
1787*6777b538SAndroid Build Coastguard Worker if (!SafeReadSymbol(s->htree_command, br, &cmd_code)) {
1788*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1789*6777b538SAndroid Build Coastguard Worker }
1790*6777b538SAndroid Build Coastguard Worker }
1791*6777b538SAndroid Build Coastguard Worker v = kCmdLut[cmd_code];
1792*6777b538SAndroid Build Coastguard Worker s->distance_code = v.distance_code;
1793*6777b538SAndroid Build Coastguard Worker s->distance_context = v.context;
1794*6777b538SAndroid Build Coastguard Worker s->dist_htree_index = s->dist_context_map_slice[s->distance_context];
1795*6777b538SAndroid Build Coastguard Worker *insert_length = v.insert_len_offset;
1796*6777b538SAndroid Build Coastguard Worker if (!safe) {
1797*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(v.insert_len_extra_bits != 0)) {
1798*6777b538SAndroid Build Coastguard Worker insert_len_extra = BrotliReadBits24(br, v.insert_len_extra_bits);
1799*6777b538SAndroid Build Coastguard Worker }
1800*6777b538SAndroid Build Coastguard Worker copy_length = BrotliReadBits24(br, v.copy_len_extra_bits);
1801*6777b538SAndroid Build Coastguard Worker } else {
1802*6777b538SAndroid Build Coastguard Worker if (!SafeReadBits(br, v.insert_len_extra_bits, &insert_len_extra) ||
1803*6777b538SAndroid Build Coastguard Worker !SafeReadBits(br, v.copy_len_extra_bits, ©_length)) {
1804*6777b538SAndroid Build Coastguard Worker BrotliBitReaderRestoreState(br, &memento);
1805*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
1806*6777b538SAndroid Build Coastguard Worker }
1807*6777b538SAndroid Build Coastguard Worker }
1808*6777b538SAndroid Build Coastguard Worker s->copy_length = (int)copy_length + v.copy_len_offset;
1809*6777b538SAndroid Build Coastguard Worker --s->block_length[1];
1810*6777b538SAndroid Build Coastguard Worker *insert_length += (int)insert_len_extra;
1811*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1812*6777b538SAndroid Build Coastguard Worker }
1813*6777b538SAndroid Build Coastguard Worker
ReadCommand(BrotliDecoderState * s,BrotliBitReader * br,int * insert_length)1814*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE void ReadCommand(
1815*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, BrotliBitReader* br, int* insert_length) {
1816*6777b538SAndroid Build Coastguard Worker ReadCommandInternal(0, s, br, insert_length);
1817*6777b538SAndroid Build Coastguard Worker }
1818*6777b538SAndroid Build Coastguard Worker
SafeReadCommand(BrotliDecoderState * s,BrotliBitReader * br,int * insert_length)1819*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL SafeReadCommand(
1820*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, BrotliBitReader* br, int* insert_length) {
1821*6777b538SAndroid Build Coastguard Worker return ReadCommandInternal(1, s, br, insert_length);
1822*6777b538SAndroid Build Coastguard Worker }
1823*6777b538SAndroid Build Coastguard Worker
CheckInputAmount(int safe,BrotliBitReader * const br,size_t num)1824*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BROTLI_BOOL CheckInputAmount(
1825*6777b538SAndroid Build Coastguard Worker int safe, BrotliBitReader* const br, size_t num) {
1826*6777b538SAndroid Build Coastguard Worker if (safe) {
1827*6777b538SAndroid Build Coastguard Worker return BROTLI_TRUE;
1828*6777b538SAndroid Build Coastguard Worker }
1829*6777b538SAndroid Build Coastguard Worker return BrotliCheckInputAmount(br, num);
1830*6777b538SAndroid Build Coastguard Worker }
1831*6777b538SAndroid Build Coastguard Worker
1832*6777b538SAndroid Build Coastguard Worker #define BROTLI_SAFE(METHOD) \
1833*6777b538SAndroid Build Coastguard Worker { \
1834*6777b538SAndroid Build Coastguard Worker if (safe) { \
1835*6777b538SAndroid Build Coastguard Worker if (!Safe##METHOD) { \
1836*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT; \
1837*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn; \
1838*6777b538SAndroid Build Coastguard Worker } \
1839*6777b538SAndroid Build Coastguard Worker } else { \
1840*6777b538SAndroid Build Coastguard Worker METHOD; \
1841*6777b538SAndroid Build Coastguard Worker } \
1842*6777b538SAndroid Build Coastguard Worker }
1843*6777b538SAndroid Build Coastguard Worker
ProcessCommandsInternal(int safe,BrotliDecoderState * s)1844*6777b538SAndroid Build Coastguard Worker static BROTLI_INLINE BrotliDecoderErrorCode ProcessCommandsInternal(
1845*6777b538SAndroid Build Coastguard Worker int safe, BrotliDecoderState* s) {
1846*6777b538SAndroid Build Coastguard Worker int pos = s->pos;
1847*6777b538SAndroid Build Coastguard Worker int i = s->loop_counter;
1848*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result = BROTLI_DECODER_SUCCESS;
1849*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
1850*6777b538SAndroid Build Coastguard Worker int compound_dictionary_size = GetCompoundDictionarySize(s);
1851*6777b538SAndroid Build Coastguard Worker
1852*6777b538SAndroid Build Coastguard Worker if (!CheckInputAmount(safe, br, 28)) {
1853*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
1854*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1855*6777b538SAndroid Build Coastguard Worker }
1856*6777b538SAndroid Build Coastguard Worker if (!safe) {
1857*6777b538SAndroid Build Coastguard Worker BROTLI_UNUSED(BrotliWarmupBitReader(br));
1858*6777b538SAndroid Build Coastguard Worker }
1859*6777b538SAndroid Build Coastguard Worker
1860*6777b538SAndroid Build Coastguard Worker /* Jump into state machine. */
1861*6777b538SAndroid Build Coastguard Worker if (s->state == BROTLI_STATE_COMMAND_BEGIN) {
1862*6777b538SAndroid Build Coastguard Worker goto CommandBegin;
1863*6777b538SAndroid Build Coastguard Worker } else if (s->state == BROTLI_STATE_COMMAND_INNER) {
1864*6777b538SAndroid Build Coastguard Worker goto CommandInner;
1865*6777b538SAndroid Build Coastguard Worker } else if (s->state == BROTLI_STATE_COMMAND_POST_DECODE_LITERALS) {
1866*6777b538SAndroid Build Coastguard Worker goto CommandPostDecodeLiterals;
1867*6777b538SAndroid Build Coastguard Worker } else if (s->state == BROTLI_STATE_COMMAND_POST_WRAP_COPY) {
1868*6777b538SAndroid Build Coastguard Worker goto CommandPostWrapCopy;
1869*6777b538SAndroid Build Coastguard Worker } else {
1870*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_UNREACHABLE); /* COV_NF_LINE */
1871*6777b538SAndroid Build Coastguard Worker }
1872*6777b538SAndroid Build Coastguard Worker
1873*6777b538SAndroid Build Coastguard Worker CommandBegin:
1874*6777b538SAndroid Build Coastguard Worker if (safe) {
1875*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_BEGIN;
1876*6777b538SAndroid Build Coastguard Worker }
1877*6777b538SAndroid Build Coastguard Worker if (!CheckInputAmount(safe, br, 28)) { /* 156 bits + 7 bytes */
1878*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_BEGIN;
1879*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
1880*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1881*6777b538SAndroid Build Coastguard Worker }
1882*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(s->block_length[1] == 0)) {
1883*6777b538SAndroid Build Coastguard Worker BROTLI_SAFE(DecodeCommandBlockSwitch(s));
1884*6777b538SAndroid Build Coastguard Worker goto CommandBegin;
1885*6777b538SAndroid Build Coastguard Worker }
1886*6777b538SAndroid Build Coastguard Worker /* Read the insert/copy length in the command. */
1887*6777b538SAndroid Build Coastguard Worker BROTLI_SAFE(ReadCommand(s, br, &i));
1888*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[ProcessCommandsInternal] pos = %d insert = %d copy = %d\n",
1889*6777b538SAndroid Build Coastguard Worker pos, i, s->copy_length));
1890*6777b538SAndroid Build Coastguard Worker if (i == 0) {
1891*6777b538SAndroid Build Coastguard Worker goto CommandPostDecodeLiterals;
1892*6777b538SAndroid Build Coastguard Worker }
1893*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len -= i;
1894*6777b538SAndroid Build Coastguard Worker
1895*6777b538SAndroid Build Coastguard Worker CommandInner:
1896*6777b538SAndroid Build Coastguard Worker if (safe) {
1897*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_INNER;
1898*6777b538SAndroid Build Coastguard Worker }
1899*6777b538SAndroid Build Coastguard Worker /* Read the literals in the command. */
1900*6777b538SAndroid Build Coastguard Worker if (s->trivial_literal_context) {
1901*6777b538SAndroid Build Coastguard Worker uint32_t bits;
1902*6777b538SAndroid Build Coastguard Worker uint32_t value;
1903*6777b538SAndroid Build Coastguard Worker PreloadSymbol(safe, s->literal_htree, br, &bits, &value);
1904*6777b538SAndroid Build Coastguard Worker do {
1905*6777b538SAndroid Build Coastguard Worker if (!CheckInputAmount(safe, br, 28)) { /* 162 bits + 7 bytes */
1906*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_INNER;
1907*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
1908*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1909*6777b538SAndroid Build Coastguard Worker }
1910*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(s->block_length[0] == 0)) {
1911*6777b538SAndroid Build Coastguard Worker BROTLI_SAFE(DecodeLiteralBlockSwitch(s));
1912*6777b538SAndroid Build Coastguard Worker PreloadSymbol(safe, s->literal_htree, br, &bits, &value);
1913*6777b538SAndroid Build Coastguard Worker if (!s->trivial_literal_context) goto CommandInner;
1914*6777b538SAndroid Build Coastguard Worker }
1915*6777b538SAndroid Build Coastguard Worker if (!safe) {
1916*6777b538SAndroid Build Coastguard Worker s->ringbuffer[pos] =
1917*6777b538SAndroid Build Coastguard Worker (uint8_t)ReadPreloadedSymbol(s->literal_htree, br, &bits, &value);
1918*6777b538SAndroid Build Coastguard Worker } else {
1919*6777b538SAndroid Build Coastguard Worker uint32_t literal;
1920*6777b538SAndroid Build Coastguard Worker if (!SafeReadSymbol(s->literal_htree, br, &literal)) {
1921*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
1922*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1923*6777b538SAndroid Build Coastguard Worker }
1924*6777b538SAndroid Build Coastguard Worker s->ringbuffer[pos] = (uint8_t)literal;
1925*6777b538SAndroid Build Coastguard Worker }
1926*6777b538SAndroid Build Coastguard Worker --s->block_length[0];
1927*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_ARRAY_INDEX(s->ringbuffer, pos);
1928*6777b538SAndroid Build Coastguard Worker ++pos;
1929*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(pos == s->ringbuffer_size)) {
1930*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_INNER_WRITE;
1931*6777b538SAndroid Build Coastguard Worker --i;
1932*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1933*6777b538SAndroid Build Coastguard Worker }
1934*6777b538SAndroid Build Coastguard Worker } while (--i != 0);
1935*6777b538SAndroid Build Coastguard Worker } else {
1936*6777b538SAndroid Build Coastguard Worker uint8_t p1 = s->ringbuffer[(pos - 1) & s->ringbuffer_mask];
1937*6777b538SAndroid Build Coastguard Worker uint8_t p2 = s->ringbuffer[(pos - 2) & s->ringbuffer_mask];
1938*6777b538SAndroid Build Coastguard Worker do {
1939*6777b538SAndroid Build Coastguard Worker const HuffmanCode* hc;
1940*6777b538SAndroid Build Coastguard Worker uint8_t context;
1941*6777b538SAndroid Build Coastguard Worker if (!CheckInputAmount(safe, br, 28)) { /* 162 bits + 7 bytes */
1942*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_INNER;
1943*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
1944*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1945*6777b538SAndroid Build Coastguard Worker }
1946*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(s->block_length[0] == 0)) {
1947*6777b538SAndroid Build Coastguard Worker BROTLI_SAFE(DecodeLiteralBlockSwitch(s));
1948*6777b538SAndroid Build Coastguard Worker if (s->trivial_literal_context) goto CommandInner;
1949*6777b538SAndroid Build Coastguard Worker }
1950*6777b538SAndroid Build Coastguard Worker context = BROTLI_CONTEXT(p1, p2, s->context_lookup);
1951*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(context);
1952*6777b538SAndroid Build Coastguard Worker hc = s->literal_hgroup.htrees[s->context_map_slice[context]];
1953*6777b538SAndroid Build Coastguard Worker p2 = p1;
1954*6777b538SAndroid Build Coastguard Worker if (!safe) {
1955*6777b538SAndroid Build Coastguard Worker p1 = (uint8_t)ReadSymbol(hc, br);
1956*6777b538SAndroid Build Coastguard Worker } else {
1957*6777b538SAndroid Build Coastguard Worker uint32_t literal;
1958*6777b538SAndroid Build Coastguard Worker if (!SafeReadSymbol(hc, br, &literal)) {
1959*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
1960*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1961*6777b538SAndroid Build Coastguard Worker }
1962*6777b538SAndroid Build Coastguard Worker p1 = (uint8_t)literal;
1963*6777b538SAndroid Build Coastguard Worker }
1964*6777b538SAndroid Build Coastguard Worker s->ringbuffer[pos] = p1;
1965*6777b538SAndroid Build Coastguard Worker --s->block_length[0];
1966*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->context_map_slice[context]);
1967*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_ARRAY_INDEX(s->ringbuffer, pos & s->ringbuffer_mask);
1968*6777b538SAndroid Build Coastguard Worker ++pos;
1969*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(pos == s->ringbuffer_size)) {
1970*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_INNER_WRITE;
1971*6777b538SAndroid Build Coastguard Worker --i;
1972*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1973*6777b538SAndroid Build Coastguard Worker }
1974*6777b538SAndroid Build Coastguard Worker } while (--i != 0);
1975*6777b538SAndroid Build Coastguard Worker }
1976*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->meta_block_remaining_len);
1977*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(s->meta_block_remaining_len <= 0)) {
1978*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
1979*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
1980*6777b538SAndroid Build Coastguard Worker }
1981*6777b538SAndroid Build Coastguard Worker
1982*6777b538SAndroid Build Coastguard Worker CommandPostDecodeLiterals:
1983*6777b538SAndroid Build Coastguard Worker if (safe) {
1984*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_POST_DECODE_LITERALS;
1985*6777b538SAndroid Build Coastguard Worker }
1986*6777b538SAndroid Build Coastguard Worker if (s->distance_code >= 0) {
1987*6777b538SAndroid Build Coastguard Worker /* Implicit distance case. */
1988*6777b538SAndroid Build Coastguard Worker s->distance_context = s->distance_code ? 0 : 1;
1989*6777b538SAndroid Build Coastguard Worker --s->dist_rb_idx;
1990*6777b538SAndroid Build Coastguard Worker s->distance_code = s->dist_rb[s->dist_rb_idx & 3];
1991*6777b538SAndroid Build Coastguard Worker } else {
1992*6777b538SAndroid Build Coastguard Worker /* Read distance code in the command, unless it was implicitly zero. */
1993*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(s->block_length[2] == 0)) {
1994*6777b538SAndroid Build Coastguard Worker BROTLI_SAFE(DecodeDistanceBlockSwitch(s));
1995*6777b538SAndroid Build Coastguard Worker }
1996*6777b538SAndroid Build Coastguard Worker BROTLI_SAFE(ReadDistance(s, br));
1997*6777b538SAndroid Build Coastguard Worker }
1998*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[ProcessCommandsInternal] pos = %d distance = %d\n",
1999*6777b538SAndroid Build Coastguard Worker pos, s->distance_code));
2000*6777b538SAndroid Build Coastguard Worker if (s->max_distance != s->max_backward_distance) {
2001*6777b538SAndroid Build Coastguard Worker s->max_distance =
2002*6777b538SAndroid Build Coastguard Worker (pos < s->max_backward_distance) ? pos : s->max_backward_distance;
2003*6777b538SAndroid Build Coastguard Worker }
2004*6777b538SAndroid Build Coastguard Worker i = s->copy_length;
2005*6777b538SAndroid Build Coastguard Worker /* Apply copy of LZ77 back-reference, or static dictionary reference if
2006*6777b538SAndroid Build Coastguard Worker the distance is larger than the max LZ77 distance */
2007*6777b538SAndroid Build Coastguard Worker if (s->distance_code > s->max_distance) {
2008*6777b538SAndroid Build Coastguard Worker /* The maximum allowed distance is BROTLI_MAX_ALLOWED_DISTANCE = 0x7FFFFFFC.
2009*6777b538SAndroid Build Coastguard Worker With this choice, no signed overflow can occur after decoding
2010*6777b538SAndroid Build Coastguard Worker a special distance code (e.g., after adding 3 to the last distance). */
2011*6777b538SAndroid Build Coastguard Worker if (s->distance_code > BROTLI_MAX_ALLOWED_DISTANCE) {
2012*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("Invalid backward reference. pos: %d distance: %d "
2013*6777b538SAndroid Build Coastguard Worker "len: %d bytes left: %d\n",
2014*6777b538SAndroid Build Coastguard Worker pos, s->distance_code, i, s->meta_block_remaining_len));
2015*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_DISTANCE);
2016*6777b538SAndroid Build Coastguard Worker }
2017*6777b538SAndroid Build Coastguard Worker if (s->distance_code - s->max_distance - 1 < compound_dictionary_size) {
2018*6777b538SAndroid Build Coastguard Worker int address = compound_dictionary_size -
2019*6777b538SAndroid Build Coastguard Worker (s->distance_code - s->max_distance);
2020*6777b538SAndroid Build Coastguard Worker if (!InitializeCompoundDictionaryCopy(s, address, i)) {
2021*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_COMPOUND_DICTIONARY);
2022*6777b538SAndroid Build Coastguard Worker }
2023*6777b538SAndroid Build Coastguard Worker pos += CopyFromCompoundDictionary(s, pos);
2024*6777b538SAndroid Build Coastguard Worker if (pos >= s->ringbuffer_size) {
2025*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_POST_WRITE_1;
2026*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
2027*6777b538SAndroid Build Coastguard Worker }
2028*6777b538SAndroid Build Coastguard Worker } else if (i >= SHARED_BROTLI_MIN_DICTIONARY_WORD_LENGTH &&
2029*6777b538SAndroid Build Coastguard Worker i <= SHARED_BROTLI_MAX_DICTIONARY_WORD_LENGTH) {
2030*6777b538SAndroid Build Coastguard Worker uint8_t p1 = s->ringbuffer[(pos - 1) & s->ringbuffer_mask];
2031*6777b538SAndroid Build Coastguard Worker uint8_t p2 = s->ringbuffer[(pos - 2) & s->ringbuffer_mask];
2032*6777b538SAndroid Build Coastguard Worker uint8_t dict_id = s->dictionary->context_based ?
2033*6777b538SAndroid Build Coastguard Worker s->dictionary->context_map[BROTLI_CONTEXT(p1, p2, s->context_lookup)]
2034*6777b538SAndroid Build Coastguard Worker : 0;
2035*6777b538SAndroid Build Coastguard Worker const BrotliDictionary* words = s->dictionary->words[dict_id];
2036*6777b538SAndroid Build Coastguard Worker const BrotliTransforms* transforms = s->dictionary->transforms[dict_id];
2037*6777b538SAndroid Build Coastguard Worker int offset = (int)words->offsets_by_length[i];
2038*6777b538SAndroid Build Coastguard Worker uint32_t shift = words->size_bits_by_length[i];
2039*6777b538SAndroid Build Coastguard Worker int address =
2040*6777b538SAndroid Build Coastguard Worker s->distance_code - s->max_distance - 1 - compound_dictionary_size;
2041*6777b538SAndroid Build Coastguard Worker int mask = (int)BitMask(shift);
2042*6777b538SAndroid Build Coastguard Worker int word_idx = address & mask;
2043*6777b538SAndroid Build Coastguard Worker int transform_idx = address >> shift;
2044*6777b538SAndroid Build Coastguard Worker /* Compensate double distance-ring-buffer roll. */
2045*6777b538SAndroid Build Coastguard Worker s->dist_rb_idx += s->distance_context;
2046*6777b538SAndroid Build Coastguard Worker offset += word_idx * i;
2047*6777b538SAndroid Build Coastguard Worker /* If the distance is out of bound, select a next static dictionary if
2048*6777b538SAndroid Build Coastguard Worker there exist multiple. */
2049*6777b538SAndroid Build Coastguard Worker if ((transform_idx >= (int)transforms->num_transforms ||
2050*6777b538SAndroid Build Coastguard Worker words->size_bits_by_length[i] == 0) &&
2051*6777b538SAndroid Build Coastguard Worker s->dictionary->num_dictionaries > 1) {
2052*6777b538SAndroid Build Coastguard Worker uint8_t dict_id2;
2053*6777b538SAndroid Build Coastguard Worker int dist_remaining = address -
2054*6777b538SAndroid Build Coastguard Worker (int)(((1u << shift) & ~1u)) * (int)transforms->num_transforms;
2055*6777b538SAndroid Build Coastguard Worker for (dict_id2 = 0; dict_id2 < s->dictionary->num_dictionaries;
2056*6777b538SAndroid Build Coastguard Worker dict_id2++) {
2057*6777b538SAndroid Build Coastguard Worker const BrotliDictionary* words2 = s->dictionary->words[dict_id2];
2058*6777b538SAndroid Build Coastguard Worker if (dict_id2 != dict_id && words2->size_bits_by_length[i] != 0) {
2059*6777b538SAndroid Build Coastguard Worker const BrotliTransforms* transforms2 =
2060*6777b538SAndroid Build Coastguard Worker s->dictionary->transforms[dict_id2];
2061*6777b538SAndroid Build Coastguard Worker uint32_t shift2 = words2->size_bits_by_length[i];
2062*6777b538SAndroid Build Coastguard Worker int num = (int)((1u << shift2) & ~1u) *
2063*6777b538SAndroid Build Coastguard Worker (int)transforms2->num_transforms;
2064*6777b538SAndroid Build Coastguard Worker if (dist_remaining < num) {
2065*6777b538SAndroid Build Coastguard Worker dict_id = dict_id2;
2066*6777b538SAndroid Build Coastguard Worker words = words2;
2067*6777b538SAndroid Build Coastguard Worker transforms = transforms2;
2068*6777b538SAndroid Build Coastguard Worker address = dist_remaining;
2069*6777b538SAndroid Build Coastguard Worker shift = shift2;
2070*6777b538SAndroid Build Coastguard Worker mask = (int)BitMask(shift);
2071*6777b538SAndroid Build Coastguard Worker word_idx = address & mask;
2072*6777b538SAndroid Build Coastguard Worker transform_idx = address >> shift;
2073*6777b538SAndroid Build Coastguard Worker offset = (int)words->offsets_by_length[i] + word_idx * i;
2074*6777b538SAndroid Build Coastguard Worker break;
2075*6777b538SAndroid Build Coastguard Worker }
2076*6777b538SAndroid Build Coastguard Worker dist_remaining -= num;
2077*6777b538SAndroid Build Coastguard Worker }
2078*6777b538SAndroid Build Coastguard Worker }
2079*6777b538SAndroid Build Coastguard Worker }
2080*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(words->size_bits_by_length[i] == 0)) {
2081*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("Invalid backward reference. pos: %d distance: %d "
2082*6777b538SAndroid Build Coastguard Worker "len: %d bytes left: %d\n",
2083*6777b538SAndroid Build Coastguard Worker pos, s->distance_code, i, s->meta_block_remaining_len));
2084*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_DICTIONARY);
2085*6777b538SAndroid Build Coastguard Worker }
2086*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(!words->data)) {
2087*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_DICTIONARY_NOT_SET);
2088*6777b538SAndroid Build Coastguard Worker }
2089*6777b538SAndroid Build Coastguard Worker if (transform_idx < (int)transforms->num_transforms) {
2090*6777b538SAndroid Build Coastguard Worker const uint8_t* word = &words->data[offset];
2091*6777b538SAndroid Build Coastguard Worker int len = i;
2092*6777b538SAndroid Build Coastguard Worker if (transform_idx == transforms->cutOffTransforms[0]) {
2093*6777b538SAndroid Build Coastguard Worker memcpy(&s->ringbuffer[pos], word, (size_t)len);
2094*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[ProcessCommandsInternal] dictionary word: [%.*s]\n",
2095*6777b538SAndroid Build Coastguard Worker len, word));
2096*6777b538SAndroid Build Coastguard Worker } else {
2097*6777b538SAndroid Build Coastguard Worker len = BrotliTransformDictionaryWord(&s->ringbuffer[pos], word, len,
2098*6777b538SAndroid Build Coastguard Worker transforms, transform_idx);
2099*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("[ProcessCommandsInternal] dictionary word: [%.*s],"
2100*6777b538SAndroid Build Coastguard Worker " transform_idx = %d, transformed: [%.*s]\n",
2101*6777b538SAndroid Build Coastguard Worker i, word, transform_idx, len, &s->ringbuffer[pos]));
2102*6777b538SAndroid Build Coastguard Worker if (len == 0 && s->distance_code <= 120) {
2103*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("Invalid length-0 dictionary word after transform\n"));
2104*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_TRANSFORM);
2105*6777b538SAndroid Build Coastguard Worker }
2106*6777b538SAndroid Build Coastguard Worker }
2107*6777b538SAndroid Build Coastguard Worker pos += len;
2108*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len -= len;
2109*6777b538SAndroid Build Coastguard Worker if (pos >= s->ringbuffer_size) {
2110*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_POST_WRITE_1;
2111*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
2112*6777b538SAndroid Build Coastguard Worker }
2113*6777b538SAndroid Build Coastguard Worker } else {
2114*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("Invalid backward reference. pos: %d distance: %d "
2115*6777b538SAndroid Build Coastguard Worker "len: %d bytes left: %d\n",
2116*6777b538SAndroid Build Coastguard Worker pos, s->distance_code, i, s->meta_block_remaining_len));
2117*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_TRANSFORM);
2118*6777b538SAndroid Build Coastguard Worker }
2119*6777b538SAndroid Build Coastguard Worker } else {
2120*6777b538SAndroid Build Coastguard Worker BROTLI_LOG(("Invalid backward reference. pos: %d distance: %d "
2121*6777b538SAndroid Build Coastguard Worker "len: %d bytes left: %d\n",
2122*6777b538SAndroid Build Coastguard Worker pos, s->distance_code, i, s->meta_block_remaining_len));
2123*6777b538SAndroid Build Coastguard Worker return BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_DICTIONARY);
2124*6777b538SAndroid Build Coastguard Worker }
2125*6777b538SAndroid Build Coastguard Worker } else {
2126*6777b538SAndroid Build Coastguard Worker int src_start = (pos - s->distance_code) & s->ringbuffer_mask;
2127*6777b538SAndroid Build Coastguard Worker uint8_t* copy_dst = &s->ringbuffer[pos];
2128*6777b538SAndroid Build Coastguard Worker uint8_t* copy_src = &s->ringbuffer[src_start];
2129*6777b538SAndroid Build Coastguard Worker int dst_end = pos + i;
2130*6777b538SAndroid Build Coastguard Worker int src_end = src_start + i;
2131*6777b538SAndroid Build Coastguard Worker /* Update the recent distances cache. */
2132*6777b538SAndroid Build Coastguard Worker s->dist_rb[s->dist_rb_idx & 3] = s->distance_code;
2133*6777b538SAndroid Build Coastguard Worker ++s->dist_rb_idx;
2134*6777b538SAndroid Build Coastguard Worker s->meta_block_remaining_len -= i;
2135*6777b538SAndroid Build Coastguard Worker /* There are 32+ bytes of slack in the ring-buffer allocation.
2136*6777b538SAndroid Build Coastguard Worker Also, we have 16 short codes, that make these 16 bytes irrelevant
2137*6777b538SAndroid Build Coastguard Worker in the ring-buffer. Let's copy over them as a first guess. */
2138*6777b538SAndroid Build Coastguard Worker memmove16(copy_dst, copy_src);
2139*6777b538SAndroid Build Coastguard Worker if (src_end > pos && dst_end > src_start) {
2140*6777b538SAndroid Build Coastguard Worker /* Regions intersect. */
2141*6777b538SAndroid Build Coastguard Worker goto CommandPostWrapCopy;
2142*6777b538SAndroid Build Coastguard Worker }
2143*6777b538SAndroid Build Coastguard Worker if (dst_end >= s->ringbuffer_size || src_end >= s->ringbuffer_size) {
2144*6777b538SAndroid Build Coastguard Worker /* At least one region wraps. */
2145*6777b538SAndroid Build Coastguard Worker goto CommandPostWrapCopy;
2146*6777b538SAndroid Build Coastguard Worker }
2147*6777b538SAndroid Build Coastguard Worker pos += i;
2148*6777b538SAndroid Build Coastguard Worker if (i > 16) {
2149*6777b538SAndroid Build Coastguard Worker if (i > 32) {
2150*6777b538SAndroid Build Coastguard Worker memcpy(copy_dst + 16, copy_src + 16, (size_t)(i - 16));
2151*6777b538SAndroid Build Coastguard Worker } else {
2152*6777b538SAndroid Build Coastguard Worker /* This branch covers about 45% cases.
2153*6777b538SAndroid Build Coastguard Worker Fixed size short copy allows more compiler optimizations. */
2154*6777b538SAndroid Build Coastguard Worker memmove16(copy_dst + 16, copy_src + 16);
2155*6777b538SAndroid Build Coastguard Worker }
2156*6777b538SAndroid Build Coastguard Worker }
2157*6777b538SAndroid Build Coastguard Worker }
2158*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->meta_block_remaining_len);
2159*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len <= 0) {
2160*6777b538SAndroid Build Coastguard Worker /* Next metablock, if any. */
2161*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
2162*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
2163*6777b538SAndroid Build Coastguard Worker } else {
2164*6777b538SAndroid Build Coastguard Worker goto CommandBegin;
2165*6777b538SAndroid Build Coastguard Worker }
2166*6777b538SAndroid Build Coastguard Worker CommandPostWrapCopy:
2167*6777b538SAndroid Build Coastguard Worker {
2168*6777b538SAndroid Build Coastguard Worker int wrap_guard = s->ringbuffer_size - pos;
2169*6777b538SAndroid Build Coastguard Worker while (--i >= 0) {
2170*6777b538SAndroid Build Coastguard Worker s->ringbuffer[pos] =
2171*6777b538SAndroid Build Coastguard Worker s->ringbuffer[(pos - s->distance_code) & s->ringbuffer_mask];
2172*6777b538SAndroid Build Coastguard Worker ++pos;
2173*6777b538SAndroid Build Coastguard Worker if (BROTLI_PREDICT_FALSE(--wrap_guard == 0)) {
2174*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_POST_WRITE_2;
2175*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
2176*6777b538SAndroid Build Coastguard Worker }
2177*6777b538SAndroid Build Coastguard Worker }
2178*6777b538SAndroid Build Coastguard Worker }
2179*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len <= 0) {
2180*6777b538SAndroid Build Coastguard Worker /* Next metablock, if any. */
2181*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
2182*6777b538SAndroid Build Coastguard Worker goto saveStateAndReturn;
2183*6777b538SAndroid Build Coastguard Worker } else {
2184*6777b538SAndroid Build Coastguard Worker goto CommandBegin;
2185*6777b538SAndroid Build Coastguard Worker }
2186*6777b538SAndroid Build Coastguard Worker
2187*6777b538SAndroid Build Coastguard Worker saveStateAndReturn:
2188*6777b538SAndroid Build Coastguard Worker s->pos = pos;
2189*6777b538SAndroid Build Coastguard Worker s->loop_counter = i;
2190*6777b538SAndroid Build Coastguard Worker return result;
2191*6777b538SAndroid Build Coastguard Worker }
2192*6777b538SAndroid Build Coastguard Worker
2193*6777b538SAndroid Build Coastguard Worker #undef BROTLI_SAFE
2194*6777b538SAndroid Build Coastguard Worker
ProcessCommands(BrotliDecoderState * s)2195*6777b538SAndroid Build Coastguard Worker static BROTLI_NOINLINE BrotliDecoderErrorCode ProcessCommands(
2196*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
2197*6777b538SAndroid Build Coastguard Worker return ProcessCommandsInternal(0, s);
2198*6777b538SAndroid Build Coastguard Worker }
2199*6777b538SAndroid Build Coastguard Worker
SafeProcessCommands(BrotliDecoderState * s)2200*6777b538SAndroid Build Coastguard Worker static BROTLI_NOINLINE BrotliDecoderErrorCode SafeProcessCommands(
2201*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s) {
2202*6777b538SAndroid Build Coastguard Worker return ProcessCommandsInternal(1, s);
2203*6777b538SAndroid Build Coastguard Worker }
2204*6777b538SAndroid Build Coastguard Worker
BrotliDecoderDecompress(size_t encoded_size,const uint8_t encoded_buffer[BROTLI_ARRAY_PARAM (encoded_size)],size_t * decoded_size,uint8_t decoded_buffer[BROTLI_ARRAY_PARAM (* decoded_size)])2205*6777b538SAndroid Build Coastguard Worker BrotliDecoderResult BrotliDecoderDecompress(
2206*6777b538SAndroid Build Coastguard Worker size_t encoded_size,
2207*6777b538SAndroid Build Coastguard Worker const uint8_t encoded_buffer[BROTLI_ARRAY_PARAM(encoded_size)],
2208*6777b538SAndroid Build Coastguard Worker size_t* decoded_size,
2209*6777b538SAndroid Build Coastguard Worker uint8_t decoded_buffer[BROTLI_ARRAY_PARAM(*decoded_size)]) {
2210*6777b538SAndroid Build Coastguard Worker BrotliDecoderState s;
2211*6777b538SAndroid Build Coastguard Worker BrotliDecoderResult result;
2212*6777b538SAndroid Build Coastguard Worker size_t total_out = 0;
2213*6777b538SAndroid Build Coastguard Worker size_t available_in = encoded_size;
2214*6777b538SAndroid Build Coastguard Worker const uint8_t* next_in = encoded_buffer;
2215*6777b538SAndroid Build Coastguard Worker size_t available_out = *decoded_size;
2216*6777b538SAndroid Build Coastguard Worker uint8_t* next_out = decoded_buffer;
2217*6777b538SAndroid Build Coastguard Worker if (!BrotliDecoderStateInit(&s, 0, 0, 0)) {
2218*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_RESULT_ERROR;
2219*6777b538SAndroid Build Coastguard Worker }
2220*6777b538SAndroid Build Coastguard Worker result = BrotliDecoderDecompressStream(
2221*6777b538SAndroid Build Coastguard Worker &s, &available_in, &next_in, &available_out, &next_out, &total_out);
2222*6777b538SAndroid Build Coastguard Worker *decoded_size = total_out;
2223*6777b538SAndroid Build Coastguard Worker BrotliDecoderStateCleanup(&s);
2224*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_RESULT_SUCCESS) {
2225*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_RESULT_ERROR;
2226*6777b538SAndroid Build Coastguard Worker }
2227*6777b538SAndroid Build Coastguard Worker return result;
2228*6777b538SAndroid Build Coastguard Worker }
2229*6777b538SAndroid Build Coastguard Worker
2230*6777b538SAndroid Build Coastguard Worker /* Invariant: input stream is never overconsumed:
2231*6777b538SAndroid Build Coastguard Worker - invalid input implies that the whole stream is invalid -> any amount of
2232*6777b538SAndroid Build Coastguard Worker input could be read and discarded
2233*6777b538SAndroid Build Coastguard Worker - when result is "needs more input", then at least one more byte is REQUIRED
2234*6777b538SAndroid Build Coastguard Worker to complete decoding; all input data MUST be consumed by decoder, so
2235*6777b538SAndroid Build Coastguard Worker client could swap the input buffer
2236*6777b538SAndroid Build Coastguard Worker - when result is "needs more output" decoder MUST ensure that it doesn't
2237*6777b538SAndroid Build Coastguard Worker hold more than 7 bits in bit reader; this saves client from swapping input
2238*6777b538SAndroid Build Coastguard Worker buffer ahead of time
2239*6777b538SAndroid Build Coastguard Worker - when result is "success" decoder MUST return all unused data back to input
2240*6777b538SAndroid Build Coastguard Worker buffer; this is possible because the invariant is held on enter */
BrotliDecoderDecompressStream(BrotliDecoderState * s,size_t * available_in,const uint8_t ** next_in,size_t * available_out,uint8_t ** next_out,size_t * total_out)2241*6777b538SAndroid Build Coastguard Worker BrotliDecoderResult BrotliDecoderDecompressStream(
2242*6777b538SAndroid Build Coastguard Worker BrotliDecoderState* s, size_t* available_in, const uint8_t** next_in,
2243*6777b538SAndroid Build Coastguard Worker size_t* available_out, uint8_t** next_out, size_t* total_out) {
2244*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode result = BROTLI_DECODER_SUCCESS;
2245*6777b538SAndroid Build Coastguard Worker BrotliBitReader* br = &s->br;
2246*6777b538SAndroid Build Coastguard Worker /* Ensure that |total_out| is set, even if no data will ever be pushed out. */
2247*6777b538SAndroid Build Coastguard Worker if (total_out) {
2248*6777b538SAndroid Build Coastguard Worker *total_out = s->partial_pos_out;
2249*6777b538SAndroid Build Coastguard Worker }
2250*6777b538SAndroid Build Coastguard Worker /* Do not try to process further in a case of unrecoverable error. */
2251*6777b538SAndroid Build Coastguard Worker if ((int)s->error_code < 0) {
2252*6777b538SAndroid Build Coastguard Worker return BROTLI_DECODER_RESULT_ERROR;
2253*6777b538SAndroid Build Coastguard Worker }
2254*6777b538SAndroid Build Coastguard Worker if (*available_out && (!next_out || !*next_out)) {
2255*6777b538SAndroid Build Coastguard Worker return SaveErrorCode(
2256*6777b538SAndroid Build Coastguard Worker s, BROTLI_FAILURE(BROTLI_DECODER_ERROR_INVALID_ARGUMENTS));
2257*6777b538SAndroid Build Coastguard Worker }
2258*6777b538SAndroid Build Coastguard Worker if (!*available_out) next_out = 0;
2259*6777b538SAndroid Build Coastguard Worker if (s->buffer_length == 0) { /* Just connect bit reader to input stream. */
2260*6777b538SAndroid Build Coastguard Worker br->avail_in = *available_in;
2261*6777b538SAndroid Build Coastguard Worker br->next_in = *next_in;
2262*6777b538SAndroid Build Coastguard Worker } else {
2263*6777b538SAndroid Build Coastguard Worker /* At least one byte of input is required. More than one byte of input may
2264*6777b538SAndroid Build Coastguard Worker be required to complete the transaction -> reading more data must be
2265*6777b538SAndroid Build Coastguard Worker done in a loop -> do it in a main loop. */
2266*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
2267*6777b538SAndroid Build Coastguard Worker br->next_in = &s->buffer.u8[0];
2268*6777b538SAndroid Build Coastguard Worker }
2269*6777b538SAndroid Build Coastguard Worker /* State machine */
2270*6777b538SAndroid Build Coastguard Worker for (;;) {
2271*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2272*6777b538SAndroid Build Coastguard Worker /* Error, needs more input/output. */
2273*6777b538SAndroid Build Coastguard Worker if (result == BROTLI_DECODER_NEEDS_MORE_INPUT) {
2274*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer != 0) { /* Pro-actively push output. */
2275*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode intermediate_result = WriteRingBuffer(s,
2276*6777b538SAndroid Build Coastguard Worker available_out, next_out, total_out, BROTLI_TRUE);
2277*6777b538SAndroid Build Coastguard Worker /* WriteRingBuffer checks s->meta_block_remaining_len validity. */
2278*6777b538SAndroid Build Coastguard Worker if ((int)intermediate_result < 0) {
2279*6777b538SAndroid Build Coastguard Worker result = intermediate_result;
2280*6777b538SAndroid Build Coastguard Worker break;
2281*6777b538SAndroid Build Coastguard Worker }
2282*6777b538SAndroid Build Coastguard Worker }
2283*6777b538SAndroid Build Coastguard Worker if (s->buffer_length != 0) { /* Used with internal buffer. */
2284*6777b538SAndroid Build Coastguard Worker if (br->avail_in == 0) {
2285*6777b538SAndroid Build Coastguard Worker /* Successfully finished read transaction.
2286*6777b538SAndroid Build Coastguard Worker Accumulator contains less than 8 bits, because internal buffer
2287*6777b538SAndroid Build Coastguard Worker is expanded byte-by-byte until it is enough to complete read. */
2288*6777b538SAndroid Build Coastguard Worker s->buffer_length = 0;
2289*6777b538SAndroid Build Coastguard Worker /* Switch to input stream and restart. */
2290*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_SUCCESS;
2291*6777b538SAndroid Build Coastguard Worker br->avail_in = *available_in;
2292*6777b538SAndroid Build Coastguard Worker br->next_in = *next_in;
2293*6777b538SAndroid Build Coastguard Worker continue;
2294*6777b538SAndroid Build Coastguard Worker } else if (*available_in != 0) {
2295*6777b538SAndroid Build Coastguard Worker /* Not enough data in buffer, but can take one more byte from
2296*6777b538SAndroid Build Coastguard Worker input stream. */
2297*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_SUCCESS;
2298*6777b538SAndroid Build Coastguard Worker s->buffer.u8[s->buffer_length] = **next_in;
2299*6777b538SAndroid Build Coastguard Worker s->buffer_length++;
2300*6777b538SAndroid Build Coastguard Worker br->avail_in = s->buffer_length;
2301*6777b538SAndroid Build Coastguard Worker (*next_in)++;
2302*6777b538SAndroid Build Coastguard Worker (*available_in)--;
2303*6777b538SAndroid Build Coastguard Worker /* Retry with more data in buffer. */
2304*6777b538SAndroid Build Coastguard Worker continue;
2305*6777b538SAndroid Build Coastguard Worker }
2306*6777b538SAndroid Build Coastguard Worker /* Can't finish reading and no more input. */
2307*6777b538SAndroid Build Coastguard Worker break;
2308*6777b538SAndroid Build Coastguard Worker } else { /* Input stream doesn't contain enough input. */
2309*6777b538SAndroid Build Coastguard Worker /* Copy tail to internal buffer and return. */
2310*6777b538SAndroid Build Coastguard Worker *next_in = br->next_in;
2311*6777b538SAndroid Build Coastguard Worker *available_in = br->avail_in;
2312*6777b538SAndroid Build Coastguard Worker while (*available_in) {
2313*6777b538SAndroid Build Coastguard Worker s->buffer.u8[s->buffer_length] = **next_in;
2314*6777b538SAndroid Build Coastguard Worker s->buffer_length++;
2315*6777b538SAndroid Build Coastguard Worker (*next_in)++;
2316*6777b538SAndroid Build Coastguard Worker (*available_in)--;
2317*6777b538SAndroid Build Coastguard Worker }
2318*6777b538SAndroid Build Coastguard Worker break;
2319*6777b538SAndroid Build Coastguard Worker }
2320*6777b538SAndroid Build Coastguard Worker /* Unreachable. */
2321*6777b538SAndroid Build Coastguard Worker }
2322*6777b538SAndroid Build Coastguard Worker
2323*6777b538SAndroid Build Coastguard Worker /* Fail or needs more output. */
2324*6777b538SAndroid Build Coastguard Worker
2325*6777b538SAndroid Build Coastguard Worker if (s->buffer_length != 0) {
2326*6777b538SAndroid Build Coastguard Worker /* Just consumed the buffered input and produced some output. Otherwise
2327*6777b538SAndroid Build Coastguard Worker it would result in "needs more input". Reset internal buffer. */
2328*6777b538SAndroid Build Coastguard Worker s->buffer_length = 0;
2329*6777b538SAndroid Build Coastguard Worker } else {
2330*6777b538SAndroid Build Coastguard Worker /* Using input stream in last iteration. When decoder switches to input
2331*6777b538SAndroid Build Coastguard Worker stream it has less than 8 bits in accumulator, so it is safe to
2332*6777b538SAndroid Build Coastguard Worker return unused accumulator bits there. */
2333*6777b538SAndroid Build Coastguard Worker BrotliBitReaderUnload(br);
2334*6777b538SAndroid Build Coastguard Worker *available_in = br->avail_in;
2335*6777b538SAndroid Build Coastguard Worker *next_in = br->next_in;
2336*6777b538SAndroid Build Coastguard Worker }
2337*6777b538SAndroid Build Coastguard Worker break;
2338*6777b538SAndroid Build Coastguard Worker }
2339*6777b538SAndroid Build Coastguard Worker switch (s->state) {
2340*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_UNINITED:
2341*6777b538SAndroid Build Coastguard Worker /* Prepare to the first read. */
2342*6777b538SAndroid Build Coastguard Worker if (!BrotliWarmupBitReader(br)) {
2343*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
2344*6777b538SAndroid Build Coastguard Worker break;
2345*6777b538SAndroid Build Coastguard Worker }
2346*6777b538SAndroid Build Coastguard Worker /* Decode window size. */
2347*6777b538SAndroid Build Coastguard Worker result = DecodeWindowBits(s, br); /* Reads 1..8 bits. */
2348*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2349*6777b538SAndroid Build Coastguard Worker break;
2350*6777b538SAndroid Build Coastguard Worker }
2351*6777b538SAndroid Build Coastguard Worker if (s->large_window) {
2352*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_LARGE_WINDOW_BITS;
2353*6777b538SAndroid Build Coastguard Worker break;
2354*6777b538SAndroid Build Coastguard Worker }
2355*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_INITIALIZE;
2356*6777b538SAndroid Build Coastguard Worker break;
2357*6777b538SAndroid Build Coastguard Worker
2358*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_LARGE_WINDOW_BITS:
2359*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 6, &s->window_bits)) {
2360*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
2361*6777b538SAndroid Build Coastguard Worker break;
2362*6777b538SAndroid Build Coastguard Worker }
2363*6777b538SAndroid Build Coastguard Worker if (s->window_bits < BROTLI_LARGE_MIN_WBITS ||
2364*6777b538SAndroid Build Coastguard Worker s->window_bits > BROTLI_LARGE_MAX_WBITS) {
2365*6777b538SAndroid Build Coastguard Worker result = BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_WINDOW_BITS);
2366*6777b538SAndroid Build Coastguard Worker break;
2367*6777b538SAndroid Build Coastguard Worker }
2368*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_INITIALIZE;
2369*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2370*6777b538SAndroid Build Coastguard Worker
2371*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_INITIALIZE:
2372*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->window_bits);
2373*6777b538SAndroid Build Coastguard Worker /* Maximum distance, see section 9.1. of the spec. */
2374*6777b538SAndroid Build Coastguard Worker s->max_backward_distance = (1 << s->window_bits) - BROTLI_WINDOW_GAP;
2375*6777b538SAndroid Build Coastguard Worker
2376*6777b538SAndroid Build Coastguard Worker /* Allocate memory for both block_type_trees and block_len_trees. */
2377*6777b538SAndroid Build Coastguard Worker s->block_type_trees = (HuffmanCode*)BROTLI_DECODER_ALLOC(s,
2378*6777b538SAndroid Build Coastguard Worker sizeof(HuffmanCode) * 3 *
2379*6777b538SAndroid Build Coastguard Worker (BROTLI_HUFFMAN_MAX_SIZE_258 + BROTLI_HUFFMAN_MAX_SIZE_26));
2380*6777b538SAndroid Build Coastguard Worker if (s->block_type_trees == 0) {
2381*6777b538SAndroid Build Coastguard Worker result = BROTLI_FAILURE(BROTLI_DECODER_ERROR_ALLOC_BLOCK_TYPE_TREES);
2382*6777b538SAndroid Build Coastguard Worker break;
2383*6777b538SAndroid Build Coastguard Worker }
2384*6777b538SAndroid Build Coastguard Worker s->block_len_trees =
2385*6777b538SAndroid Build Coastguard Worker s->block_type_trees + 3 * BROTLI_HUFFMAN_MAX_SIZE_258;
2386*6777b538SAndroid Build Coastguard Worker
2387*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_BEGIN;
2388*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2389*6777b538SAndroid Build Coastguard Worker
2390*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_BEGIN:
2391*6777b538SAndroid Build Coastguard Worker BrotliDecoderStateMetablockBegin(s);
2392*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->pos);
2393*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_HEADER;
2394*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2395*6777b538SAndroid Build Coastguard Worker
2396*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER:
2397*6777b538SAndroid Build Coastguard Worker result = DecodeMetaBlockLength(s, br); /* Reads 2 - 31 bits. */
2398*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2399*6777b538SAndroid Build Coastguard Worker break;
2400*6777b538SAndroid Build Coastguard Worker }
2401*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->is_last_metablock);
2402*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->meta_block_remaining_len);
2403*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->is_metadata);
2404*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->is_uncompressed);
2405*6777b538SAndroid Build Coastguard Worker if (s->is_metadata || s->is_uncompressed) {
2406*6777b538SAndroid Build Coastguard Worker if (!BrotliJumpToByteBoundary(br)) {
2407*6777b538SAndroid Build Coastguard Worker result = BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_PADDING_1);
2408*6777b538SAndroid Build Coastguard Worker break;
2409*6777b538SAndroid Build Coastguard Worker }
2410*6777b538SAndroid Build Coastguard Worker }
2411*6777b538SAndroid Build Coastguard Worker if (s->is_metadata) {
2412*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METADATA;
2413*6777b538SAndroid Build Coastguard Worker break;
2414*6777b538SAndroid Build Coastguard Worker }
2415*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len == 0) {
2416*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
2417*6777b538SAndroid Build Coastguard Worker break;
2418*6777b538SAndroid Build Coastguard Worker }
2419*6777b538SAndroid Build Coastguard Worker BrotliCalculateRingBufferSize(s);
2420*6777b538SAndroid Build Coastguard Worker if (s->is_uncompressed) {
2421*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_UNCOMPRESSED;
2422*6777b538SAndroid Build Coastguard Worker break;
2423*6777b538SAndroid Build Coastguard Worker }
2424*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_BEFORE_COMPRESSED_METABLOCK_HEADER;
2425*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2426*6777b538SAndroid Build Coastguard Worker
2427*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_BEFORE_COMPRESSED_METABLOCK_HEADER: {
2428*6777b538SAndroid Build Coastguard Worker BrotliMetablockHeaderArena* h = &s->arena.header;
2429*6777b538SAndroid Build Coastguard Worker s->loop_counter = 0;
2430*6777b538SAndroid Build Coastguard Worker /* Initialize compressed metablock header arena. */
2431*6777b538SAndroid Build Coastguard Worker h->sub_loop_counter = 0;
2432*6777b538SAndroid Build Coastguard Worker /* Make small negative indexes addressable. */
2433*6777b538SAndroid Build Coastguard Worker h->symbol_lists =
2434*6777b538SAndroid Build Coastguard Worker &h->symbols_lists_array[BROTLI_HUFFMAN_MAX_CODE_LENGTH + 1];
2435*6777b538SAndroid Build Coastguard Worker h->substate_huffman = BROTLI_STATE_HUFFMAN_NONE;
2436*6777b538SAndroid Build Coastguard Worker h->substate_tree_group = BROTLI_STATE_TREE_GROUP_NONE;
2437*6777b538SAndroid Build Coastguard Worker h->substate_context_map = BROTLI_STATE_CONTEXT_MAP_NONE;
2438*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_HUFFMAN_CODE_0;
2439*6777b538SAndroid Build Coastguard Worker }
2440*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2441*6777b538SAndroid Build Coastguard Worker
2442*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_CODE_0:
2443*6777b538SAndroid Build Coastguard Worker if (s->loop_counter >= 3) {
2444*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_HEADER_2;
2445*6777b538SAndroid Build Coastguard Worker break;
2446*6777b538SAndroid Build Coastguard Worker }
2447*6777b538SAndroid Build Coastguard Worker /* Reads 1..11 bits. */
2448*6777b538SAndroid Build Coastguard Worker result = DecodeVarLenUint8(s, br, &s->num_block_types[s->loop_counter]);
2449*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2450*6777b538SAndroid Build Coastguard Worker break;
2451*6777b538SAndroid Build Coastguard Worker }
2452*6777b538SAndroid Build Coastguard Worker s->num_block_types[s->loop_counter]++;
2453*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->num_block_types[s->loop_counter]);
2454*6777b538SAndroid Build Coastguard Worker if (s->num_block_types[s->loop_counter] < 2) {
2455*6777b538SAndroid Build Coastguard Worker s->loop_counter++;
2456*6777b538SAndroid Build Coastguard Worker break;
2457*6777b538SAndroid Build Coastguard Worker }
2458*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_HUFFMAN_CODE_1;
2459*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2460*6777b538SAndroid Build Coastguard Worker
2461*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_CODE_1: {
2462*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size = s->num_block_types[s->loop_counter] + 2;
2463*6777b538SAndroid Build Coastguard Worker int tree_offset = s->loop_counter * BROTLI_HUFFMAN_MAX_SIZE_258;
2464*6777b538SAndroid Build Coastguard Worker result = ReadHuffmanCode(alphabet_size, alphabet_size,
2465*6777b538SAndroid Build Coastguard Worker &s->block_type_trees[tree_offset], NULL, s);
2466*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) break;
2467*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_HUFFMAN_CODE_2;
2468*6777b538SAndroid Build Coastguard Worker }
2469*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2470*6777b538SAndroid Build Coastguard Worker
2471*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_CODE_2: {
2472*6777b538SAndroid Build Coastguard Worker uint32_t alphabet_size = BROTLI_NUM_BLOCK_LEN_SYMBOLS;
2473*6777b538SAndroid Build Coastguard Worker int tree_offset = s->loop_counter * BROTLI_HUFFMAN_MAX_SIZE_26;
2474*6777b538SAndroid Build Coastguard Worker result = ReadHuffmanCode(alphabet_size, alphabet_size,
2475*6777b538SAndroid Build Coastguard Worker &s->block_len_trees[tree_offset], NULL, s);
2476*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) break;
2477*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_HUFFMAN_CODE_3;
2478*6777b538SAndroid Build Coastguard Worker }
2479*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2480*6777b538SAndroid Build Coastguard Worker
2481*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_HUFFMAN_CODE_3: {
2482*6777b538SAndroid Build Coastguard Worker int tree_offset = s->loop_counter * BROTLI_HUFFMAN_MAX_SIZE_26;
2483*6777b538SAndroid Build Coastguard Worker if (!SafeReadBlockLength(s, &s->block_length[s->loop_counter],
2484*6777b538SAndroid Build Coastguard Worker &s->block_len_trees[tree_offset], br)) {
2485*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
2486*6777b538SAndroid Build Coastguard Worker break;
2487*6777b538SAndroid Build Coastguard Worker }
2488*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->block_length[s->loop_counter]);
2489*6777b538SAndroid Build Coastguard Worker s->loop_counter++;
2490*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_HUFFMAN_CODE_0;
2491*6777b538SAndroid Build Coastguard Worker break;
2492*6777b538SAndroid Build Coastguard Worker }
2493*6777b538SAndroid Build Coastguard Worker
2494*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_UNCOMPRESSED: {
2495*6777b538SAndroid Build Coastguard Worker result = CopyUncompressedBlockToOutput(
2496*6777b538SAndroid Build Coastguard Worker available_out, next_out, total_out, s);
2497*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2498*6777b538SAndroid Build Coastguard Worker break;
2499*6777b538SAndroid Build Coastguard Worker }
2500*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
2501*6777b538SAndroid Build Coastguard Worker break;
2502*6777b538SAndroid Build Coastguard Worker }
2503*6777b538SAndroid Build Coastguard Worker
2504*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METADATA:
2505*6777b538SAndroid Build Coastguard Worker for (; s->meta_block_remaining_len > 0; --s->meta_block_remaining_len) {
2506*6777b538SAndroid Build Coastguard Worker uint32_t bits;
2507*6777b538SAndroid Build Coastguard Worker /* Read one byte and ignore it. */
2508*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 8, &bits)) {
2509*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
2510*6777b538SAndroid Build Coastguard Worker break;
2511*6777b538SAndroid Build Coastguard Worker }
2512*6777b538SAndroid Build Coastguard Worker }
2513*6777b538SAndroid Build Coastguard Worker if (result == BROTLI_DECODER_SUCCESS) {
2514*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
2515*6777b538SAndroid Build Coastguard Worker }
2516*6777b538SAndroid Build Coastguard Worker break;
2517*6777b538SAndroid Build Coastguard Worker
2518*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_HEADER_2: {
2519*6777b538SAndroid Build Coastguard Worker uint32_t bits;
2520*6777b538SAndroid Build Coastguard Worker if (!BrotliSafeReadBits(br, 6, &bits)) {
2521*6777b538SAndroid Build Coastguard Worker result = BROTLI_DECODER_NEEDS_MORE_INPUT;
2522*6777b538SAndroid Build Coastguard Worker break;
2523*6777b538SAndroid Build Coastguard Worker }
2524*6777b538SAndroid Build Coastguard Worker s->distance_postfix_bits = bits & BitMask(2);
2525*6777b538SAndroid Build Coastguard Worker bits >>= 2;
2526*6777b538SAndroid Build Coastguard Worker s->num_direct_distance_codes = bits << s->distance_postfix_bits;
2527*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->num_direct_distance_codes);
2528*6777b538SAndroid Build Coastguard Worker BROTLI_LOG_UINT(s->distance_postfix_bits);
2529*6777b538SAndroid Build Coastguard Worker s->context_modes =
2530*6777b538SAndroid Build Coastguard Worker (uint8_t*)BROTLI_DECODER_ALLOC(s, (size_t)s->num_block_types[0]);
2531*6777b538SAndroid Build Coastguard Worker if (s->context_modes == 0) {
2532*6777b538SAndroid Build Coastguard Worker result = BROTLI_FAILURE(BROTLI_DECODER_ERROR_ALLOC_CONTEXT_MODES);
2533*6777b538SAndroid Build Coastguard Worker break;
2534*6777b538SAndroid Build Coastguard Worker }
2535*6777b538SAndroid Build Coastguard Worker s->loop_counter = 0;
2536*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_CONTEXT_MODES;
2537*6777b538SAndroid Build Coastguard Worker }
2538*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2539*6777b538SAndroid Build Coastguard Worker
2540*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MODES:
2541*6777b538SAndroid Build Coastguard Worker result = ReadContextModes(s);
2542*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2543*6777b538SAndroid Build Coastguard Worker break;
2544*6777b538SAndroid Build Coastguard Worker }
2545*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_CONTEXT_MAP_1;
2546*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2547*6777b538SAndroid Build Coastguard Worker
2548*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MAP_1:
2549*6777b538SAndroid Build Coastguard Worker result = DecodeContextMap(
2550*6777b538SAndroid Build Coastguard Worker s->num_block_types[0] << BROTLI_LITERAL_CONTEXT_BITS,
2551*6777b538SAndroid Build Coastguard Worker &s->num_literal_htrees, &s->context_map, s);
2552*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2553*6777b538SAndroid Build Coastguard Worker break;
2554*6777b538SAndroid Build Coastguard Worker }
2555*6777b538SAndroid Build Coastguard Worker DetectTrivialLiteralBlockTypes(s);
2556*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_CONTEXT_MAP_2;
2557*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2558*6777b538SAndroid Build Coastguard Worker
2559*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_CONTEXT_MAP_2: {
2560*6777b538SAndroid Build Coastguard Worker uint32_t npostfix = s->distance_postfix_bits;
2561*6777b538SAndroid Build Coastguard Worker uint32_t ndirect = s->num_direct_distance_codes;
2562*6777b538SAndroid Build Coastguard Worker uint32_t distance_alphabet_size_max = BROTLI_DISTANCE_ALPHABET_SIZE(
2563*6777b538SAndroid Build Coastguard Worker npostfix, ndirect, BROTLI_MAX_DISTANCE_BITS);
2564*6777b538SAndroid Build Coastguard Worker uint32_t distance_alphabet_size_limit = distance_alphabet_size_max;
2565*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL allocation_success = BROTLI_TRUE;
2566*6777b538SAndroid Build Coastguard Worker if (s->large_window) {
2567*6777b538SAndroid Build Coastguard Worker BrotliDistanceCodeLimit limit = BrotliCalculateDistanceCodeLimit(
2568*6777b538SAndroid Build Coastguard Worker BROTLI_MAX_ALLOWED_DISTANCE, npostfix, ndirect);
2569*6777b538SAndroid Build Coastguard Worker distance_alphabet_size_max = BROTLI_DISTANCE_ALPHABET_SIZE(
2570*6777b538SAndroid Build Coastguard Worker npostfix, ndirect, BROTLI_LARGE_MAX_DISTANCE_BITS);
2571*6777b538SAndroid Build Coastguard Worker distance_alphabet_size_limit = limit.max_alphabet_size;
2572*6777b538SAndroid Build Coastguard Worker }
2573*6777b538SAndroid Build Coastguard Worker result = DecodeContextMap(
2574*6777b538SAndroid Build Coastguard Worker s->num_block_types[2] << BROTLI_DISTANCE_CONTEXT_BITS,
2575*6777b538SAndroid Build Coastguard Worker &s->num_dist_htrees, &s->dist_context_map, s);
2576*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2577*6777b538SAndroid Build Coastguard Worker break;
2578*6777b538SAndroid Build Coastguard Worker }
2579*6777b538SAndroid Build Coastguard Worker allocation_success &= BrotliDecoderHuffmanTreeGroupInit(
2580*6777b538SAndroid Build Coastguard Worker s, &s->literal_hgroup, BROTLI_NUM_LITERAL_SYMBOLS,
2581*6777b538SAndroid Build Coastguard Worker BROTLI_NUM_LITERAL_SYMBOLS, s->num_literal_htrees);
2582*6777b538SAndroid Build Coastguard Worker allocation_success &= BrotliDecoderHuffmanTreeGroupInit(
2583*6777b538SAndroid Build Coastguard Worker s, &s->insert_copy_hgroup, BROTLI_NUM_COMMAND_SYMBOLS,
2584*6777b538SAndroid Build Coastguard Worker BROTLI_NUM_COMMAND_SYMBOLS, s->num_block_types[1]);
2585*6777b538SAndroid Build Coastguard Worker allocation_success &= BrotliDecoderHuffmanTreeGroupInit(
2586*6777b538SAndroid Build Coastguard Worker s, &s->distance_hgroup, distance_alphabet_size_max,
2587*6777b538SAndroid Build Coastguard Worker distance_alphabet_size_limit, s->num_dist_htrees);
2588*6777b538SAndroid Build Coastguard Worker if (!allocation_success) {
2589*6777b538SAndroid Build Coastguard Worker return SaveErrorCode(s,
2590*6777b538SAndroid Build Coastguard Worker BROTLI_FAILURE(BROTLI_DECODER_ERROR_ALLOC_TREE_GROUPS));
2591*6777b538SAndroid Build Coastguard Worker }
2592*6777b538SAndroid Build Coastguard Worker s->loop_counter = 0;
2593*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_TREE_GROUP;
2594*6777b538SAndroid Build Coastguard Worker }
2595*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2596*6777b538SAndroid Build Coastguard Worker
2597*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_TREE_GROUP: {
2598*6777b538SAndroid Build Coastguard Worker HuffmanTreeGroup* hgroup = NULL;
2599*6777b538SAndroid Build Coastguard Worker switch (s->loop_counter) {
2600*6777b538SAndroid Build Coastguard Worker case 0: hgroup = &s->literal_hgroup; break;
2601*6777b538SAndroid Build Coastguard Worker case 1: hgroup = &s->insert_copy_hgroup; break;
2602*6777b538SAndroid Build Coastguard Worker case 2: hgroup = &s->distance_hgroup; break;
2603*6777b538SAndroid Build Coastguard Worker default: return SaveErrorCode(s, BROTLI_FAILURE(
2604*6777b538SAndroid Build Coastguard Worker BROTLI_DECODER_ERROR_UNREACHABLE)); /* COV_NF_LINE */
2605*6777b538SAndroid Build Coastguard Worker }
2606*6777b538SAndroid Build Coastguard Worker result = HuffmanTreeGroupDecode(hgroup, s);
2607*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) break;
2608*6777b538SAndroid Build Coastguard Worker s->loop_counter++;
2609*6777b538SAndroid Build Coastguard Worker if (s->loop_counter < 3) {
2610*6777b538SAndroid Build Coastguard Worker break;
2611*6777b538SAndroid Build Coastguard Worker }
2612*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_BEFORE_COMPRESSED_METABLOCK_BODY;
2613*6777b538SAndroid Build Coastguard Worker }
2614*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2615*6777b538SAndroid Build Coastguard Worker
2616*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_BEFORE_COMPRESSED_METABLOCK_BODY:
2617*6777b538SAndroid Build Coastguard Worker PrepareLiteralDecoding(s);
2618*6777b538SAndroid Build Coastguard Worker s->dist_context_map_slice = s->dist_context_map;
2619*6777b538SAndroid Build Coastguard Worker s->htree_command = s->insert_copy_hgroup.htrees[0];
2620*6777b538SAndroid Build Coastguard Worker if (!BrotliEnsureRingBuffer(s)) {
2621*6777b538SAndroid Build Coastguard Worker result = BROTLI_FAILURE(BROTLI_DECODER_ERROR_ALLOC_RING_BUFFER_2);
2622*6777b538SAndroid Build Coastguard Worker break;
2623*6777b538SAndroid Build Coastguard Worker }
2624*6777b538SAndroid Build Coastguard Worker CalculateDistanceLut(s);
2625*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_BEGIN;
2626*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2627*6777b538SAndroid Build Coastguard Worker
2628*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_COMMAND_BEGIN:
2629*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2630*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_COMMAND_INNER:
2631*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2632*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_COMMAND_POST_DECODE_LITERALS:
2633*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2634*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_COMMAND_POST_WRAP_COPY:
2635*6777b538SAndroid Build Coastguard Worker result = ProcessCommands(s);
2636*6777b538SAndroid Build Coastguard Worker if (result == BROTLI_DECODER_NEEDS_MORE_INPUT) {
2637*6777b538SAndroid Build Coastguard Worker result = SafeProcessCommands(s);
2638*6777b538SAndroid Build Coastguard Worker }
2639*6777b538SAndroid Build Coastguard Worker break;
2640*6777b538SAndroid Build Coastguard Worker
2641*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_COMMAND_INNER_WRITE:
2642*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2643*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_COMMAND_POST_WRITE_1:
2644*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2645*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_COMMAND_POST_WRITE_2:
2646*6777b538SAndroid Build Coastguard Worker result = WriteRingBuffer(
2647*6777b538SAndroid Build Coastguard Worker s, available_out, next_out, total_out, BROTLI_FALSE);
2648*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2649*6777b538SAndroid Build Coastguard Worker break;
2650*6777b538SAndroid Build Coastguard Worker }
2651*6777b538SAndroid Build Coastguard Worker WrapRingBuffer(s);
2652*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer_size == 1 << s->window_bits) {
2653*6777b538SAndroid Build Coastguard Worker s->max_distance = s->max_backward_distance;
2654*6777b538SAndroid Build Coastguard Worker }
2655*6777b538SAndroid Build Coastguard Worker if (s->state == BROTLI_STATE_COMMAND_POST_WRITE_1) {
2656*6777b538SAndroid Build Coastguard Worker BrotliDecoderCompoundDictionary* addon = s->compound_dictionary;
2657*6777b538SAndroid Build Coastguard Worker if (addon && (addon->br_length != addon->br_copied)) {
2658*6777b538SAndroid Build Coastguard Worker s->pos += CopyFromCompoundDictionary(s, s->pos);
2659*6777b538SAndroid Build Coastguard Worker if (s->pos >= s->ringbuffer_size) continue;
2660*6777b538SAndroid Build Coastguard Worker }
2661*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len == 0) {
2662*6777b538SAndroid Build Coastguard Worker /* Next metablock, if any. */
2663*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
2664*6777b538SAndroid Build Coastguard Worker } else {
2665*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_BEGIN;
2666*6777b538SAndroid Build Coastguard Worker }
2667*6777b538SAndroid Build Coastguard Worker break;
2668*6777b538SAndroid Build Coastguard Worker } else if (s->state == BROTLI_STATE_COMMAND_POST_WRITE_2) {
2669*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_POST_WRAP_COPY;
2670*6777b538SAndroid Build Coastguard Worker } else { /* BROTLI_STATE_COMMAND_INNER_WRITE */
2671*6777b538SAndroid Build Coastguard Worker if (s->loop_counter == 0) {
2672*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len == 0) {
2673*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_DONE;
2674*6777b538SAndroid Build Coastguard Worker } else {
2675*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_POST_DECODE_LITERALS;
2676*6777b538SAndroid Build Coastguard Worker }
2677*6777b538SAndroid Build Coastguard Worker break;
2678*6777b538SAndroid Build Coastguard Worker }
2679*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_COMMAND_INNER;
2680*6777b538SAndroid Build Coastguard Worker }
2681*6777b538SAndroid Build Coastguard Worker break;
2682*6777b538SAndroid Build Coastguard Worker
2683*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_METABLOCK_DONE:
2684*6777b538SAndroid Build Coastguard Worker if (s->meta_block_remaining_len < 0) {
2685*6777b538SAndroid Build Coastguard Worker result = BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_BLOCK_LENGTH_2);
2686*6777b538SAndroid Build Coastguard Worker break;
2687*6777b538SAndroid Build Coastguard Worker }
2688*6777b538SAndroid Build Coastguard Worker BrotliDecoderStateCleanupAfterMetablock(s);
2689*6777b538SAndroid Build Coastguard Worker if (!s->is_last_metablock) {
2690*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_METABLOCK_BEGIN;
2691*6777b538SAndroid Build Coastguard Worker break;
2692*6777b538SAndroid Build Coastguard Worker }
2693*6777b538SAndroid Build Coastguard Worker if (!BrotliJumpToByteBoundary(br)) {
2694*6777b538SAndroid Build Coastguard Worker result = BROTLI_FAILURE(BROTLI_DECODER_ERROR_FORMAT_PADDING_2);
2695*6777b538SAndroid Build Coastguard Worker break;
2696*6777b538SAndroid Build Coastguard Worker }
2697*6777b538SAndroid Build Coastguard Worker if (s->buffer_length == 0) {
2698*6777b538SAndroid Build Coastguard Worker BrotliBitReaderUnload(br);
2699*6777b538SAndroid Build Coastguard Worker *available_in = br->avail_in;
2700*6777b538SAndroid Build Coastguard Worker *next_in = br->next_in;
2701*6777b538SAndroid Build Coastguard Worker }
2702*6777b538SAndroid Build Coastguard Worker s->state = BROTLI_STATE_DONE;
2703*6777b538SAndroid Build Coastguard Worker /* Fall through. */
2704*6777b538SAndroid Build Coastguard Worker
2705*6777b538SAndroid Build Coastguard Worker case BROTLI_STATE_DONE:
2706*6777b538SAndroid Build Coastguard Worker if (s->ringbuffer != 0) {
2707*6777b538SAndroid Build Coastguard Worker result = WriteRingBuffer(
2708*6777b538SAndroid Build Coastguard Worker s, available_out, next_out, total_out, BROTLI_TRUE);
2709*6777b538SAndroid Build Coastguard Worker if (result != BROTLI_DECODER_SUCCESS) {
2710*6777b538SAndroid Build Coastguard Worker break;
2711*6777b538SAndroid Build Coastguard Worker }
2712*6777b538SAndroid Build Coastguard Worker }
2713*6777b538SAndroid Build Coastguard Worker return SaveErrorCode(s, result);
2714*6777b538SAndroid Build Coastguard Worker }
2715*6777b538SAndroid Build Coastguard Worker }
2716*6777b538SAndroid Build Coastguard Worker return SaveErrorCode(s, result);
2717*6777b538SAndroid Build Coastguard Worker }
2718*6777b538SAndroid Build Coastguard Worker
BrotliDecoderHasMoreOutput(const BrotliDecoderState * s)2719*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL BrotliDecoderHasMoreOutput(const BrotliDecoderState* s) {
2720*6777b538SAndroid Build Coastguard Worker /* After unrecoverable error remaining output is considered nonsensical. */
2721*6777b538SAndroid Build Coastguard Worker if ((int)s->error_code < 0) {
2722*6777b538SAndroid Build Coastguard Worker return BROTLI_FALSE;
2723*6777b538SAndroid Build Coastguard Worker }
2724*6777b538SAndroid Build Coastguard Worker return TO_BROTLI_BOOL(
2725*6777b538SAndroid Build Coastguard Worker s->ringbuffer != 0 && UnwrittenBytes(s, BROTLI_FALSE) != 0);
2726*6777b538SAndroid Build Coastguard Worker }
2727*6777b538SAndroid Build Coastguard Worker
BrotliDecoderTakeOutput(BrotliDecoderState * s,size_t * size)2728*6777b538SAndroid Build Coastguard Worker const uint8_t* BrotliDecoderTakeOutput(BrotliDecoderState* s, size_t* size) {
2729*6777b538SAndroid Build Coastguard Worker uint8_t* result = 0;
2730*6777b538SAndroid Build Coastguard Worker size_t available_out = *size ? *size : 1u << 24;
2731*6777b538SAndroid Build Coastguard Worker size_t requested_out = available_out;
2732*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode status;
2733*6777b538SAndroid Build Coastguard Worker if ((s->ringbuffer == 0) || ((int)s->error_code < 0)) {
2734*6777b538SAndroid Build Coastguard Worker *size = 0;
2735*6777b538SAndroid Build Coastguard Worker return 0;
2736*6777b538SAndroid Build Coastguard Worker }
2737*6777b538SAndroid Build Coastguard Worker WrapRingBuffer(s);
2738*6777b538SAndroid Build Coastguard Worker status = WriteRingBuffer(s, &available_out, &result, 0, BROTLI_TRUE);
2739*6777b538SAndroid Build Coastguard Worker /* Either WriteRingBuffer returns those "success" codes... */
2740*6777b538SAndroid Build Coastguard Worker if (status == BROTLI_DECODER_SUCCESS ||
2741*6777b538SAndroid Build Coastguard Worker status == BROTLI_DECODER_NEEDS_MORE_OUTPUT) {
2742*6777b538SAndroid Build Coastguard Worker *size = requested_out - available_out;
2743*6777b538SAndroid Build Coastguard Worker } else {
2744*6777b538SAndroid Build Coastguard Worker /* ... or stream is broken. Normally this should be caught by
2745*6777b538SAndroid Build Coastguard Worker BrotliDecoderDecompressStream, this is just a safeguard. */
2746*6777b538SAndroid Build Coastguard Worker if ((int)status < 0) SaveErrorCode(s, status);
2747*6777b538SAndroid Build Coastguard Worker *size = 0;
2748*6777b538SAndroid Build Coastguard Worker result = 0;
2749*6777b538SAndroid Build Coastguard Worker }
2750*6777b538SAndroid Build Coastguard Worker return result;
2751*6777b538SAndroid Build Coastguard Worker }
2752*6777b538SAndroid Build Coastguard Worker
BrotliDecoderIsUsed(const BrotliDecoderState * s)2753*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL BrotliDecoderIsUsed(const BrotliDecoderState* s) {
2754*6777b538SAndroid Build Coastguard Worker return TO_BROTLI_BOOL(s->state != BROTLI_STATE_UNINITED ||
2755*6777b538SAndroid Build Coastguard Worker BrotliGetAvailableBits(&s->br) != 0);
2756*6777b538SAndroid Build Coastguard Worker }
2757*6777b538SAndroid Build Coastguard Worker
BrotliDecoderIsFinished(const BrotliDecoderState * s)2758*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL BrotliDecoderIsFinished(const BrotliDecoderState* s) {
2759*6777b538SAndroid Build Coastguard Worker return TO_BROTLI_BOOL(s->state == BROTLI_STATE_DONE) &&
2760*6777b538SAndroid Build Coastguard Worker !BrotliDecoderHasMoreOutput(s);
2761*6777b538SAndroid Build Coastguard Worker }
2762*6777b538SAndroid Build Coastguard Worker
BrotliDecoderGetErrorCode(const BrotliDecoderState * s)2763*6777b538SAndroid Build Coastguard Worker BrotliDecoderErrorCode BrotliDecoderGetErrorCode(const BrotliDecoderState* s) {
2764*6777b538SAndroid Build Coastguard Worker return (BrotliDecoderErrorCode)s->error_code;
2765*6777b538SAndroid Build Coastguard Worker }
2766*6777b538SAndroid Build Coastguard Worker
BrotliDecoderErrorString(BrotliDecoderErrorCode c)2767*6777b538SAndroid Build Coastguard Worker const char* BrotliDecoderErrorString(BrotliDecoderErrorCode c) {
2768*6777b538SAndroid Build Coastguard Worker switch (c) {
2769*6777b538SAndroid Build Coastguard Worker #define BROTLI_ERROR_CODE_CASE_(PREFIX, NAME, CODE) \
2770*6777b538SAndroid Build Coastguard Worker case BROTLI_DECODER ## PREFIX ## NAME: return #NAME;
2771*6777b538SAndroid Build Coastguard Worker #define BROTLI_NOTHING_
2772*6777b538SAndroid Build Coastguard Worker BROTLI_DECODER_ERROR_CODES_LIST(BROTLI_ERROR_CODE_CASE_, BROTLI_NOTHING_)
2773*6777b538SAndroid Build Coastguard Worker #undef BROTLI_ERROR_CODE_CASE_
2774*6777b538SAndroid Build Coastguard Worker #undef BROTLI_NOTHING_
2775*6777b538SAndroid Build Coastguard Worker default: return "INVALID";
2776*6777b538SAndroid Build Coastguard Worker }
2777*6777b538SAndroid Build Coastguard Worker }
2778*6777b538SAndroid Build Coastguard Worker
BrotliDecoderVersion()2779*6777b538SAndroid Build Coastguard Worker uint32_t BrotliDecoderVersion() {
2780*6777b538SAndroid Build Coastguard Worker return BROTLI_VERSION;
2781*6777b538SAndroid Build Coastguard Worker }
2782*6777b538SAndroid Build Coastguard Worker
2783*6777b538SAndroid Build Coastguard Worker /* Escalate internal functions visibility; for testing purposes only. */
2784*6777b538SAndroid Build Coastguard Worker #if defined(BROTLI_TEST)
2785*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL SafeReadSymbolForTest(
2786*6777b538SAndroid Build Coastguard Worker const HuffmanCode*, BrotliBitReader*, uint32_t*);
SafeReadSymbolForTest(const HuffmanCode * table,BrotliBitReader * br,uint32_t * result)2787*6777b538SAndroid Build Coastguard Worker BROTLI_BOOL SafeReadSymbolForTest(
2788*6777b538SAndroid Build Coastguard Worker const HuffmanCode* table, BrotliBitReader* br, uint32_t* result) {
2789*6777b538SAndroid Build Coastguard Worker return SafeReadSymbol(table, br, result);
2790*6777b538SAndroid Build Coastguard Worker }
2791*6777b538SAndroid Build Coastguard Worker
2792*6777b538SAndroid Build Coastguard Worker void InverseMoveToFrontTransformForTest(
2793*6777b538SAndroid Build Coastguard Worker uint8_t*, uint32_t, BrotliDecoderState*);
InverseMoveToFrontTransformForTest(uint8_t * v,uint32_t l,BrotliDecoderState * s)2794*6777b538SAndroid Build Coastguard Worker void InverseMoveToFrontTransformForTest(
2795*6777b538SAndroid Build Coastguard Worker uint8_t* v, uint32_t l, BrotliDecoderState* s) {
2796*6777b538SAndroid Build Coastguard Worker InverseMoveToFrontTransform(v, l, s);
2797*6777b538SAndroid Build Coastguard Worker }
2798*6777b538SAndroid Build Coastguard Worker #endif
2799*6777b538SAndroid Build Coastguard Worker
2800*6777b538SAndroid Build Coastguard Worker #if defined(__cplusplus) || defined(c_plusplus)
2801*6777b538SAndroid Build Coastguard Worker } /* extern "C" */
2802*6777b538SAndroid Build Coastguard Worker #endif
2803