Coverage Report

Created: 2026-10-28 08:05

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/ghostpdl/brotli/c/enc/encode.c
Line
Count
Source
1
/* Copyright 2013 Google Inc. All Rights Reserved.
2
3
   Distributed under MIT license.
4
   See file LICENSE for detail or copy at https://opensource.org/licenses/MIT
5
*/
6
7
/* Implementation of Brotli compressor. */
8
9
#include <brotli/encode.h>
10
11
#include "../common/constants.h"
12
#include "../common/context.h"
13
#include "../common/platform.h"
14
#include <brotli/shared_dictionary.h>
15
#include "../common/version.h"
16
#include "backward_references_hq.h"
17
#include "backward_references.h"
18
#include "bit_cost.h"
19
#include "brotli_bit_stream.h"
20
#include "command.h"
21
#include "compound_dictionary.h"
22
#include "compress_fragment_two_pass.h"
23
#include "compress_fragment.h"
24
#include "dictionary_hash.h"
25
#include "encoder_dict.h"
26
#include "fast_log.h"
27
#include "hash.h"
28
#include "histogram.h"
29
#include "memory.h"
30
#include "metablock.h"
31
#include "params.h"
32
#include "quality.h"
33
#include "ringbuffer.h"
34
#include "state.h"
35
#include "static_init.h"
36
#include "utf8_util.h"
37
#include "write_bits.h"
38
39
#if defined(__cplusplus) || defined(c_plusplus)
40
extern "C" {
41
#endif
42
43
0
#define COPY_ARRAY(dst, src) memcpy(dst, src, sizeof(src));
44
45
0
static size_t InputBlockSize(BrotliEncoderState* s) {
46
0
  return (size_t)1 << s->params.lgblock;
47
0
}
48
49
0
static uint64_t UnprocessedInputSize(BrotliEncoderState* s) {
50
0
  return s->input_pos_ - s->last_processed_pos_;
51
0
}
52
53
0
static size_t RemainingInputBlockSize(BrotliEncoderState* s) {
54
0
  const uint64_t delta = UnprocessedInputSize(s);
55
0
  size_t block_size = InputBlockSize(s);
56
0
  if (delta >= block_size) return 0;
57
0
  return block_size - (size_t)delta;
58
0
}
59
60
BROTLI_BOOL BrotliEncoderSetParameter(
61
0
    BrotliEncoderState* state, BrotliEncoderParameter p, uint32_t value) {
62
  /* Changing parameters on the fly is not implemented yet. */
63
0
  if (state->is_initialized_) return BROTLI_FALSE;
64
  /* TODO(eustas): Validate/clamp parameters here. */
65
0
  switch (p) {
66
0
    case BROTLI_PARAM_MODE:
67
0
      state->params.mode = (BrotliEncoderMode)value;
68
0
      return BROTLI_TRUE;
69
70
0
    case BROTLI_PARAM_QUALITY:
71
0
      state->params.quality = (int)value;
72
0
      return BROTLI_TRUE;
73
74
0
    case BROTLI_PARAM_LGWIN:
75
0
      state->params.lgwin = (int)value;
76
0
      return BROTLI_TRUE;
77
78
0
    case BROTLI_PARAM_LGBLOCK:
79
0
      state->params.lgblock = (int)value;
80
0
      return BROTLI_TRUE;
81
82
0
    case BROTLI_PARAM_DISABLE_LITERAL_CONTEXT_MODELING:
83
0
      if ((value != 0) && (value != 1)) return BROTLI_FALSE;
84
0
      state->params.disable_literal_context_modeling = TO_BROTLI_BOOL(!!value);
85
0
      return BROTLI_TRUE;
86
87
0
    case BROTLI_PARAM_SIZE_HINT:
88
0
      state->params.size_hint = value;
89
0
      return BROTLI_TRUE;
90
91
0
    case BROTLI_PARAM_LARGE_WINDOW:
92
0
      state->params.large_window = TO_BROTLI_BOOL(!!value);
93
0
      return BROTLI_TRUE;
94
95
0
    case BROTLI_PARAM_NPOSTFIX:
96
0
      state->params.dist.distance_postfix_bits = value;
97
0
      return BROTLI_TRUE;
98
99
0
    case BROTLI_PARAM_NDIRECT:
100
0
      state->params.dist.num_direct_distance_codes = value;
101
0
      return BROTLI_TRUE;
102
103
0
    case BROTLI_PARAM_STREAM_OFFSET:
104
0
      if (value > (1u << 30)) return BROTLI_FALSE;
105
0
      state->params.stream_offset = value;
106
0
      return BROTLI_TRUE;
107
108
0
    case BROTLI_PARAM_BASE64_MODE:
109
0
      state->params.base64_mode = (int)(value & 1);
110
0
      return BROTLI_TRUE;
111
112
0
    case BROTLI_PARAM_MAX_BASE64_REGIONS:
113
0
      state->params.max_base64_regions = value;
114
0
      return BROTLI_TRUE;
115
116
0
    case BROTLI_PARAM_MIN_BASE64_REGION_LEN:
117
0
      state->params.min_base64_region_len = value;
118
0
      return BROTLI_TRUE;
119
120
0
    case BROTLI_PARAM_SIMD_HASHER:
121
0
      if (value > 2) return BROTLI_FALSE;
122
0
      state->params.simd_hasher = (BrotliEncoderSimdHasher)value;
123
0
      return BROTLI_TRUE;
124
125
0
    case BROTLI_PARAM_HASHER_OPT:
126
0
      if ((value != 0) && (value != 1)) return BROTLI_FALSE;
127
0
      state->params.hasher_opt = TO_BROTLI_BOOL(value);
128
0
      return BROTLI_TRUE;
129
130
0
    default: return BROTLI_FALSE;
131
0
  }
132
0
}
133
134
/* Wraps 64-bit input position to 32-bit ring-buffer position preserving
135
   "not-a-first-lap" feature. */
136
0
static uint32_t WrapPosition(uint64_t position) {
137
0
  uint32_t result = (uint32_t)position;
138
0
  uint64_t gb = position >> 30;
139
0
  if (gb > 2) {
140
    /* Wrap every 2GiB; The first 3GB are continuous. */
141
0
    result = (result & ((1u << 30) - 1)) | ((uint32_t)((gb - 1) & 1) + 1) << 30;
142
0
  }
143
0
  return result;
144
0
}
145
146
static uint8_t* GetBrotliStorage(BrotliEncoderState* s, size_t size) {
147
  MemoryManager* m = &s->memory_manager_;
148
  if (s->storage_size_ < size) {
149
    BROTLI_FREE(m, s->storage_);
150
    s->storage_ = BROTLI_ALLOC(m, uint8_t, size);
151
    if (BROTLI_IS_OOM(m) || BROTLI_IS_NULL(s->storage_)) return NULL;
152
    s->storage_size_ = size;
153
  }
154
  return s->storage_;
155
}
156
157
0
static size_t HashTableSize(size_t max_table_size, size_t input_size) {
158
0
  size_t htsize = 256;
159
0
  while (htsize < max_table_size && htsize < input_size) {
160
0
    htsize <<= 1;
161
0
  }
162
0
  return htsize;
163
0
}
164
165
static int* GetHashTable(BrotliEncoderState* s, int quality,
166
                         size_t input_size, size_t* table_size) {
167
  /* Use smaller hash table when input.size() is smaller, since we
168
     fill the table, incurring O(hash table size) overhead for
169
     compression, and if the input is short, we won't need that
170
     many hash table entries anyway. */
171
  MemoryManager* m = &s->memory_manager_;
172
  const size_t max_table_size = MaxHashTableSize(quality);
173
  size_t htsize = HashTableSize(max_table_size, input_size);
174
  int* table;
175
  BROTLI_DCHECK(max_table_size >= 256);
176
  if (quality == FAST_ONE_PASS_COMPRESSION_QUALITY) {
177
    /* Only odd shifts are supported by fast-one-pass. */
178
    if ((htsize & 0xAAAAA) == 0) {
179
      htsize <<= 1;
180
    }
181
  }
182
183
  if (htsize <= sizeof(s->small_table_) / sizeof(s->small_table_[0])) {
184
    table = s->small_table_;
185
  } else {
186
    if (htsize > s->large_table_size_) {
187
      s->large_table_size_ = htsize;
188
      BROTLI_FREE(m, s->large_table_);
189
      s->large_table_ = BROTLI_ALLOC(m, int, htsize);
190
      if (BROTLI_IS_OOM(m) || BROTLI_IS_NULL(s->large_table_)) return 0;
191
    }
192
    table = s->large_table_;
193
  }
194
195
  *table_size = htsize;
196
  memset(table, 0, htsize * sizeof(*table));
197
  return table;
198
}
199
200
static void EncodeWindowBits(int lgwin, BROTLI_BOOL large_window,
201
0
    uint16_t* last_bytes, uint8_t* last_bytes_bits) {
202
0
  if (large_window) {
203
0
    *last_bytes = (uint16_t)(((lgwin & 0x3F) << 8) | 0x11);
204
0
    *last_bytes_bits = 14;
205
0
  } else {
206
0
    if (lgwin == 16) {
207
0
      *last_bytes = 0;
208
0
      *last_bytes_bits = 1;
209
0
    } else if (lgwin == 17) {
210
0
      *last_bytes = 1;
211
0
      *last_bytes_bits = 7;
212
0
    } else if (lgwin > 17) {
213
0
      *last_bytes = (uint16_t)(((lgwin - 17) << 1) | 0x01);
214
0
      *last_bytes_bits = 4;
215
0
    } else {
216
0
      *last_bytes = (uint16_t)(((lgwin - 8) << 4) | 0x01);
217
0
      *last_bytes_bits = 7;
218
0
    }
219
0
  }
220
0
}
221
222
/* TODO(eustas): move to compress_fragment.c? */
223
/* Initializes the command and distance prefix codes for the first block. */
224
0
static void InitCommandPrefixCodes(BrotliOnePassArena* s) {
225
0
  static const BROTLI_MODEL("small") uint8_t kDefaultCommandDepths[128] = {
226
0
    0, 4, 4, 5, 6, 6, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8,
227
0
    0, 0, 0, 4, 4, 4, 4, 4, 5, 5, 6, 6, 6, 6, 7, 7,
228
0
    7, 7, 10, 10, 10, 10, 10, 10, 0, 4, 4, 5, 5, 5, 6, 6,
229
0
    7, 8, 8, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
230
0
    5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
231
0
    6, 6, 6, 6, 6, 6, 5, 5, 5, 5, 5, 5, 4, 4, 4, 4,
232
0
    4, 4, 4, 5, 5, 5, 5, 5, 5, 6, 6, 7, 7, 7, 8, 10,
233
0
    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
234
0
  };
235
0
  static const BROTLI_MODEL("small") uint16_t kDefaultCommandBits[128] = {
236
0
    0,   0,   8,   9,   3,  35,   7,   71,
237
0
    39, 103,  23,  47, 175, 111, 239,   31,
238
0
    0,   0,   0,   4,  12,   2,  10,    6,
239
0
    13,  29,  11,  43,  27,  59,  87,   55,
240
0
    15,  79, 319, 831, 191, 703, 447,  959,
241
0
    0,  14,   1,  25,   5,  21,  19,   51,
242
0
    119, 159,  95, 223, 479, 991,  63,  575,
243
0
    127, 639, 383, 895, 255, 767, 511, 1023,
244
0
    14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
245
0
    27, 59, 7, 39, 23, 55, 30, 1, 17, 9, 25, 5, 0, 8, 4, 12,
246
0
    2, 10, 6, 21, 13, 29, 3, 19, 11, 15, 47, 31, 95, 63, 127, 255,
247
0
    767, 2815, 1791, 3839, 511, 2559, 1535, 3583, 1023, 3071, 2047, 4095,
248
0
  };
249
0
  static const BROTLI_MODEL("small") uint8_t kDefaultCommandCode[] = {
250
0
    0xff, 0x77, 0xd5, 0xbf, 0xe7, 0xde, 0xea, 0x9e, 0x51, 0x5d, 0xde, 0xc6,
251
0
    0x70, 0x57, 0xbc, 0x58, 0x58, 0x58, 0xd8, 0xd8, 0x58, 0xd5, 0xcb, 0x8c,
252
0
    0xea, 0xe0, 0xc3, 0x87, 0x1f, 0x83, 0xc1, 0x60, 0x1c, 0x67, 0xb2, 0xaa,
253
0
    0x06, 0x83, 0xc1, 0x60, 0x30, 0x18, 0xcc, 0xa1, 0xce, 0x88, 0x54, 0x94,
254
0
    0x46, 0xe1, 0xb0, 0xd0, 0x4e, 0xb2, 0xf7, 0x04, 0x00,
255
0
  };
256
0
  static const size_t kDefaultCommandCodeNumBits = 448;
257
0
  COPY_ARRAY(s->cmd_depth, kDefaultCommandDepths);
258
0
  COPY_ARRAY(s->cmd_bits, kDefaultCommandBits);
259
260
  /* Initialize the pre-compressed form of the command and distance prefix
261
     codes. */
262
0
  COPY_ARRAY(s->cmd_code, kDefaultCommandCode);
263
0
  s->cmd_code_numbits = kDefaultCommandCodeNumBits;
264
0
}
265
266
/* TODO(eustas): avoid FP calculations. */
267
0
static double EstimateEntropy(const uint32_t* population, size_t size) {
268
0
  size_t total = 0;
269
0
  double result = 0;
270
0
  size_t i;
271
0
  for (i = 0; i < size; ++i) {
272
0
    uint32_t p = population[i];
273
0
    total += p;
274
0
    result += (double)p * FastLog2(p);
275
0
  }
276
0
  result = (double)total * FastLog2(total) - result;
277
0
  return result;
278
0
}
279
280
/* Decide about the context map based on the ability of the prediction
281
   ability of the previous byte UTF8-prefix on the next byte. The
282
   prediction ability is calculated as Shannon entropy. Here we need
283
   Shannon entropy instead of 'BrotliBitsEntropy' since the prefix will be
284
   encoded with the remaining 6 bits of the following byte, and
285
   BrotliBitsEntropy will assume that symbol to be stored alone using Huffman
286
   coding. */
287
static void ChooseContextMap(int quality,
288
                             uint32_t* bigram_histo,
289
                             size_t* num_literal_contexts,
290
0
                             const uint32_t** literal_context_map) {
291
0
  static const BROTLI_MODEL("small")
292
0
  uint32_t kStaticContextMapContinuation[64] = {
293
0
    1, 1, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
294
0
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
295
0
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
296
0
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
297
0
  };
298
0
  static const BROTLI_MODEL("small")
299
0
  uint32_t kStaticContextMapSimpleUTF8[64] = {
300
0
    0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
301
0
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
302
0
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
303
0
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
304
0
  };
305
306
0
  uint32_t monogram_histo[3] = { 0 };
307
0
  uint32_t two_prefix_histo[6] = { 0 };
308
0
  size_t total;
309
0
  size_t i;
310
0
  double entropy[4];
311
0
  for (i = 0; i < 9; ++i) {
312
0
    monogram_histo[i % 3] += bigram_histo[i];
313
0
    two_prefix_histo[i % 6] += bigram_histo[i];
314
0
  }
315
0
  entropy[1] = EstimateEntropy(monogram_histo, 3);
316
0
  entropy[2] = (EstimateEntropy(two_prefix_histo, 3) +
317
0
                EstimateEntropy(two_prefix_histo + 3, 3));
318
0
  entropy[3] = 0;
319
0
  for (i = 0; i < 3; ++i) {
320
0
    entropy[3] += EstimateEntropy(bigram_histo + 3 * i, 3);
321
0
  }
322
323
0
  total = monogram_histo[0] + monogram_histo[1] + monogram_histo[2];
324
0
  BROTLI_DCHECK(total != 0);
325
0
  entropy[0] = 1.0 / (double)total;
326
0
  entropy[1] *= entropy[0];
327
0
  entropy[2] *= entropy[0];
328
0
  entropy[3] *= entropy[0];
329
330
0
  if (quality < MIN_QUALITY_FOR_HQ_CONTEXT_MODELING) {
331
    /* 3 context models is a bit slower, don't use it at lower qualities. */
332
0
    entropy[3] = entropy[1] * 10;
333
0
  }
334
  /* If expected savings by symbol are less than 0.2 bits, skip the
335
     context modeling -- in exchange for faster decoding speed. */
336
0
  if (entropy[1] - entropy[2] < 0.2 &&
337
0
      entropy[1] - entropy[3] < 0.2) {
338
0
    *num_literal_contexts = 1;
339
0
  } else if (entropy[2] - entropy[3] < 0.02) {
340
0
    *num_literal_contexts = 2;
341
0
    *literal_context_map = kStaticContextMapSimpleUTF8;
342
0
  } else {
343
0
    *num_literal_contexts = 3;
344
0
    *literal_context_map = kStaticContextMapContinuation;
345
0
  }
346
0
}
347
348
/* Decide if we want to use a more complex static context map containing 13
349
   context values, based on the entropy reduction of histograms over the
350
   first 5 bits of literals. */
351
static BROTLI_BOOL ShouldUseComplexStaticContextMap(const uint8_t* input,
352
    size_t start_pos, size_t length, size_t mask, int quality, size_t size_hint,
353
    size_t* num_literal_contexts, const uint32_t** literal_context_map,
354
0
    uint32_t* arena) {
355
0
  static const BROTLI_MODEL("small")
356
0
  uint32_t kStaticContextMapComplexUTF8[64] = {
357
0
    11, 11, 12, 12, /* 0 special */
358
0
    0, 0, 0, 0, /* 4 lf */
359
0
    1, 1, 9, 9, /* 8 space */
360
0
    2, 2, 2, 2, /* !, first after space/lf and after something else. */
361
0
    1, 1, 1, 1, /* " */
362
0
    8, 3, 3, 3, /* % */
363
0
    1, 1, 1, 1, /* ({[ */
364
0
    2, 2, 2, 2, /* }]) */
365
0
    8, 4, 4, 4, /* :; */
366
0
    8, 7, 4, 4, /* . */
367
0
    8, 0, 0, 0, /* > */
368
0
    3, 3, 3, 3, /* [0..9] */
369
0
    5, 5, 10, 5, /* [A-Z] */
370
0
    5, 5, 10, 5,
371
0
    6, 6, 6, 6, /* [a-z] */
372
0
    6, 6, 6, 6,
373
0
  };
374
0
  BROTLI_UNUSED(quality);
375
  /* Try the more complex static context map only for long data. */
376
0
  if (size_hint < (1 << 20)) {
377
0
    return BROTLI_FALSE;
378
0
  } else {
379
0
    const size_t end_pos = start_pos + length;
380
    /* To make entropy calculations faster, we collect histograms
381
       over the 5 most significant bits of literals. One histogram
382
       without context and 13 additional histograms for each context value. */
383
0
    uint32_t* BROTLI_RESTRICT const combined_histo = arena;
384
0
    uint32_t* BROTLI_RESTRICT const context_histo = arena + 32;
385
0
    uint32_t total = 0;
386
0
    double entropy[3];
387
0
    size_t i;
388
0
    ContextLut utf8_lut = BROTLI_CONTEXT_LUT(CONTEXT_UTF8);
389
0
    memset(arena, 0, sizeof(arena[0]) * 32 * (BROTLI_MAX_STATIC_CONTEXTS + 1));
390
0
    for (; start_pos + 64 <= end_pos; start_pos += 4096) {
391
0
      const size_t stride_end_pos = start_pos + 64;
392
0
      uint8_t prev2 = input[start_pos & mask];
393
0
      uint8_t prev1 = input[(start_pos + 1) & mask];
394
0
      size_t pos;
395
      /* To make the analysis of the data faster we only examine 64 byte long
396
         strides at every 4kB intervals. */
397
0
      for (pos = start_pos + 2; pos < stride_end_pos; ++pos) {
398
0
        const uint8_t literal = input[pos & mask];
399
0
        const uint8_t context = (uint8_t)kStaticContextMapComplexUTF8[
400
0
            BROTLI_CONTEXT(prev1, prev2, utf8_lut)];
401
0
        ++total;
402
0
        ++combined_histo[literal >> 3];
403
0
        ++context_histo[(context << 5) + (literal >> 3)];
404
0
        prev2 = prev1;
405
0
        prev1 = literal;
406
0
      }
407
0
    }
408
0
    entropy[1] = EstimateEntropy(combined_histo, 32);
409
0
    entropy[2] = 0;
410
0
    for (i = 0; i < BROTLI_MAX_STATIC_CONTEXTS; ++i) {
411
0
      entropy[2] += EstimateEntropy(context_histo + (i << 5), 32);
412
0
    }
413
0
    entropy[0] = 1.0 / (double)total;
414
0
    entropy[1] *= entropy[0];
415
0
    entropy[2] *= entropy[0];
416
    /* The triggering heuristics below were tuned by compressing the individual
417
       files of the silesia corpus. If we skip this kind of context modeling
418
       for not very well compressible input (i.e. entropy using context modeling
419
       is 60% of maximal entropy) or if expected savings by symbol are less
420
       than 0.2 bits, then in every case when it triggers, the final compression
421
       ratio is improved. Note however that this heuristics might be too strict
422
       for some cases and could be tuned further. */
423
0
    if (entropy[2] > 3.0 || entropy[1] - entropy[2] < 0.2) {
424
0
      return BROTLI_FALSE;
425
0
    } else {
426
0
      *num_literal_contexts = BROTLI_MAX_STATIC_CONTEXTS;
427
0
      *literal_context_map = kStaticContextMapComplexUTF8;
428
0
      return BROTLI_TRUE;
429
0
    }
430
0
  }
431
0
}
432
433
static void DecideOverLiteralContextModeling(const uint8_t* input,
434
    size_t start_pos, size_t length, size_t mask, int quality, size_t size_hint,
435
    size_t* num_literal_contexts, const uint32_t** literal_context_map,
436
0
    uint32_t* arena) {
437
0
  if (quality < MIN_QUALITY_FOR_CONTEXT_MODELING || length < 64) {
438
0
    return;
439
0
  } else if (ShouldUseComplexStaticContextMap(
440
0
      input, start_pos, length, mask, quality, size_hint,
441
0
      num_literal_contexts, literal_context_map, arena)) {
442
    /* Context map was already set, nothing else to do. */
443
0
  } else {
444
    /* Gather bi-gram data of the UTF8 byte prefixes. To make the analysis of
445
       UTF8 data faster we only examine 64 byte long strides at every 4kB
446
       intervals. */
447
0
    const size_t end_pos = start_pos + length;
448
0
    uint32_t* BROTLI_RESTRICT const bigram_prefix_histo = arena;
449
0
    memset(bigram_prefix_histo, 0, sizeof(arena[0]) * 9);
450
0
    for (; start_pos + 64 <= end_pos; start_pos += 4096) {
451
0
      static const int lut[4] = { 0, 0, 1, 2 };
452
0
      const size_t stride_end_pos = start_pos + 64;
453
0
      int prev = lut[input[start_pos & mask] >> 6] * 3;
454
0
      size_t pos;
455
0
      for (pos = start_pos + 1; pos < stride_end_pos; ++pos) {
456
0
        const uint8_t literal = input[pos & mask];
457
0
        ++bigram_prefix_histo[prev + lut[literal >> 6]];
458
0
        prev = lut[literal >> 6] * 3;
459
0
      }
460
0
    }
461
0
    ChooseContextMap(quality, &bigram_prefix_histo[0], num_literal_contexts,
462
0
                     literal_context_map);
463
0
  }
464
0
}
465
466
static BROTLI_BOOL ShouldCompress(
467
    const uint8_t* data, const size_t mask, const uint64_t last_flush_pos,
468
0
    const size_t bytes, const size_t num_literals, const size_t num_commands) {
469
  /* TODO(eustas): find more precise minimal block overhead. */
470
0
  if (bytes <= 2) return BROTLI_FALSE;
471
0
  if (num_commands < (bytes >> 8) + 2) {
472
0
    if ((double)num_literals > 0.99 * (double)bytes) {
473
0
      uint32_t literal_histo[256] = { 0 };
474
0
      static const uint32_t kSampleRate = 13;
475
0
      static const double kInvSampleRate = 1.0 / 13.0;
476
0
      static const double kMinEntropy = 7.92;
477
0
      const double bit_cost_threshold =
478
0
          (double)bytes * kMinEntropy * kInvSampleRate;
479
0
      size_t t = (bytes + kSampleRate - 1) / kSampleRate;
480
0
      uint32_t pos = (uint32_t)last_flush_pos;
481
0
      size_t i;
482
0
      for (i = 0; i < t; i++) {
483
0
        ++literal_histo[data[pos & mask]];
484
0
        pos += kSampleRate;
485
0
      }
486
0
      if (BrotliBitsEntropy(literal_histo, 256) > bit_cost_threshold) {
487
0
        return BROTLI_FALSE;
488
0
      }
489
0
    }
490
0
  }
491
0
  return BROTLI_TRUE;
492
0
}
493
494
/* Chooses the literal context mode for a metablock */
495
static ContextType ChooseContextMode(const BrotliEncoderParams* params,
496
    const uint8_t* data, const size_t pos, const size_t mask,
497
0
    const size_t length) {
498
  /* We only do the computation for the option of something else than
499
     CONTEXT_UTF8 for the highest qualities */
500
0
  if (params->quality >= MIN_QUALITY_FOR_HQ_BLOCK_SPLITTING &&
501
0
      !BrotliIsMostlyUTF8(data, pos, mask, length, kMinUTF8Ratio)) {
502
0
    return CONTEXT_SIGNED;
503
0
  }
504
0
  return CONTEXT_UTF8;
505
0
}
506
507
static void WriteMetaBlockInternal(MemoryManager* m,
508
                                   const uint8_t* data,
509
                                   const size_t mask,
510
                                   const uint64_t last_flush_pos,
511
                                   const size_t bytes,
512
                                   const BROTLI_BOOL is_last,
513
                                   const Base64Region* base64_regions,
514
                                   size_t num_base64_regions,
515
                                   ContextType literal_context_mode,
516
                                   const BrotliEncoderParams* params,
517
                                   const uint8_t prev_byte,
518
                                   const uint8_t prev_byte2,
519
                                   const size_t num_literals,
520
                                   const size_t num_commands,
521
                                   Command* commands,
522
                                   const int* saved_dist_cache,
523
                                   int* dist_cache,
524
                                   size_t* storage_ix,
525
0
                                   uint8_t* storage) {
526
0
  const uint32_t wrapped_last_flush_pos = WrapPosition(last_flush_pos);
527
0
  uint16_t last_bytes;
528
0
  uint8_t last_bytes_bits;
529
0
  ContextLut literal_context_lut = BROTLI_CONTEXT_LUT(literal_context_mode);
530
0
  BrotliEncoderParams block_params = *params;
531
532
0
  if (bytes == 0) {
533
    /* Write the ISLAST and ISEMPTY bits. */
534
0
    BrotliWriteBits(2, 3, storage_ix, storage);
535
0
    *storage_ix = (*storage_ix + 7u) & ~7u;
536
0
    return;
537
0
  }
538
539
0
  if (!ShouldCompress(data, mask, last_flush_pos, bytes,
540
0
                      num_literals, num_commands)) {
541
    /* Restore the distance cache, as its last update by
542
       CreateBackwardReferences is now unused. */
543
0
    memcpy(dist_cache, saved_dist_cache, 4 * sizeof(dist_cache[0]));
544
0
    BrotliStoreUncompressedMetaBlock(is_last, data,
545
0
                                     wrapped_last_flush_pos, mask, bytes,
546
0
                                     storage_ix, storage);
547
0
    return;
548
0
  }
549
550
0
  BROTLI_DCHECK(*storage_ix <= 14);
551
0
  last_bytes = (uint16_t)((storage[1] << 8) | storage[0]);
552
0
  last_bytes_bits = (uint8_t)(*storage_ix);
553
0
  if (params->quality <= MAX_QUALITY_FOR_STATIC_ENTROPY_CODES) {
554
0
    BrotliStoreMetaBlockFast(m, data, wrapped_last_flush_pos,
555
0
                             bytes, mask, is_last, params,
556
0
                             commands, num_commands,
557
0
                             storage_ix, storage);
558
0
    if (BROTLI_IS_OOM(m)) return;
559
0
  } else if (params->quality < MIN_QUALITY_FOR_BLOCK_SPLIT) {
560
0
    BrotliStoreMetaBlockTrivial(m, data, wrapped_last_flush_pos,
561
0
                                bytes, mask, is_last, params,
562
0
                                commands, num_commands,
563
0
                                storage_ix, storage);
564
0
    if (BROTLI_IS_OOM(m)) return;
565
0
  } else {
566
0
    MetaBlockSplit mb;
567
0
    InitMetaBlockSplit(&mb);
568
0
    if (params->quality < MIN_QUALITY_FOR_HQ_BLOCK_SPLITTING) {
569
0
      size_t num_literal_contexts = 1;
570
0
      const uint32_t* literal_context_map = NULL;
571
0
      if (!params->disable_literal_context_modeling) {
572
        /* TODO(eustas): pull to higher level and reuse. */
573
0
        uint32_t* arena =
574
0
            BROTLI_ALLOC(m, uint32_t, 32 * (BROTLI_MAX_STATIC_CONTEXTS + 1));
575
0
        if (BROTLI_IS_OOM(m) || BROTLI_IS_NULL(arena)) return;
576
0
        DecideOverLiteralContextModeling(
577
0
            data, wrapped_last_flush_pos, bytes, mask, params->quality,
578
0
            params->size_hint, &num_literal_contexts,
579
0
            &literal_context_map, arena);
580
0
        BROTLI_FREE(m, arena);
581
0
      }
582
0
      BrotliBuildMetaBlockGreedy(m, data, wrapped_last_flush_pos, mask,
583
0
          base64_regions, num_base64_regions,
584
0
          prev_byte, prev_byte2, literal_context_lut, num_literal_contexts,
585
0
          literal_context_map, commands, num_commands, &mb);
586
0
      if (BROTLI_IS_OOM(m)) return;
587
0
    } else {
588
0
      BrotliBuildMetaBlock(m, data, wrapped_last_flush_pos, mask,
589
0
                           base64_regions, num_base64_regions,
590
0
                           &block_params,
591
0
                           prev_byte, prev_byte2,
592
0
                           commands, num_commands,
593
0
                           literal_context_mode,
594
0
                           &mb);
595
0
      if (BROTLI_IS_OOM(m)) return;
596
0
    }
597
0
    if (params->quality >= MIN_QUALITY_FOR_OPTIMIZE_HISTOGRAMS) {
598
      /* The number of distance symbols effectively used for distance
599
         histograms. It might be less than distance alphabet size
600
         for "Large Window Brotli" (32-bit). */
601
0
      BrotliOptimizeHistograms(block_params.dist.alphabet_size_limit, &mb);
602
0
    }
603
0
    BrotliStoreMetaBlock(m, data, wrapped_last_flush_pos, bytes, mask,
604
0
                         prev_byte, prev_byte2,
605
0
                         is_last,
606
0
                         &block_params,
607
0
                         literal_context_mode,
608
0
                         commands, num_commands,
609
0
                         &mb,
610
0
                         storage_ix, storage);
611
0
    if (BROTLI_IS_OOM(m)) return;
612
0
    DestroyMetaBlockSplit(m, &mb);
613
0
  }
614
0
  if (bytes + 4 < (*storage_ix >> 3)) {
615
    /* Restore the distance cache and last byte. */
616
0
    memcpy(dist_cache, saved_dist_cache, 4 * sizeof(dist_cache[0]));
617
0
    storage[0] = (uint8_t)last_bytes;
618
0
    storage[1] = (uint8_t)(last_bytes >> 8);
619
0
    *storage_ix = last_bytes_bits;
620
0
    BrotliStoreUncompressedMetaBlock(is_last, data,
621
0
                                     wrapped_last_flush_pos, mask,
622
0
                                     bytes, storage_ix, storage);
623
0
  }
624
0
}
625
626
0
static void ChooseDistanceParams(BrotliEncoderParams* params) {
627
0
  uint32_t distance_postfix_bits = 0;
628
0
  uint32_t num_direct_distance_codes = 0;
629
630
0
  if (params->quality >= MIN_QUALITY_FOR_NONZERO_DISTANCE_PARAMS) {
631
0
    uint32_t ndirect_msb;
632
0
    if (params->mode == BROTLI_MODE_FONT) {
633
0
      distance_postfix_bits = 1;
634
0
      num_direct_distance_codes = 12;
635
0
    } else {
636
0
      distance_postfix_bits = params->dist.distance_postfix_bits;
637
0
      num_direct_distance_codes = params->dist.num_direct_distance_codes;
638
0
    }
639
0
    ndirect_msb = (num_direct_distance_codes >> distance_postfix_bits) & 0x0F;
640
0
    if (distance_postfix_bits > BROTLI_MAX_NPOSTFIX ||
641
0
        num_direct_distance_codes > BROTLI_MAX_NDIRECT ||
642
0
        (ndirect_msb << distance_postfix_bits) != num_direct_distance_codes) {
643
0
      distance_postfix_bits = 0;
644
0
      num_direct_distance_codes = 0;
645
0
    }
646
0
  }
647
648
0
  BrotliInitDistanceParams(&params->dist, distance_postfix_bits,
649
0
                           num_direct_distance_codes, params->large_window);
650
0
}
651
652
0
static BROTLI_BOOL EnsureInitialized(BrotliEncoderState* s) {
653
0
  MemoryManager* m = &s->memory_manager_;
654
0
  if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
655
0
  if (s->is_initialized_) return BROTLI_TRUE;
656
657
0
  s->last_bytes_bits_ = 0;
658
0
  s->last_bytes_ = 0;
659
0
  s->flint_ = BROTLI_FLINT_DONE;
660
0
  s->remaining_metadata_bytes_ = BROTLI_UINT32_MAX;
661
662
0
  SanitizeParams(&s->params);
663
0
  s->params.lgblock = ComputeLgBlock(&s->params);
664
0
  ChooseDistanceParams(&s->params);
665
666
0
  if (s->params.stream_offset != 0) {
667
0
    s->flint_ = BROTLI_FLINT_NEEDS_2_BYTES;
668
    /* Poison the distance cache. -16 +- 3 is still less than zero (invalid). */
669
0
    s->dist_cache_[0] = -16;
670
0
    s->dist_cache_[1] = -16;
671
0
    s->dist_cache_[2] = -16;
672
0
    s->dist_cache_[3] = -16;
673
0
    memcpy(s->saved_dist_cache_, s->dist_cache_, sizeof(s->saved_dist_cache_));
674
0
  }
675
676
0
  RingBufferSetup(&s->params, &s->ringbuffer_);
677
678
  /* Initialize last byte with stream header. */
679
0
  {
680
0
    int lgwin = s->params.lgwin;
681
0
    if (s->params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY ||
682
0
        s->params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY) {
683
0
      lgwin = BROTLI_MAX(int, lgwin, 18);
684
0
    }
685
0
    if (s->params.stream_offset == 0) {
686
0
      EncodeWindowBits(lgwin, s->params.large_window,
687
0
                       &s->last_bytes_, &s->last_bytes_bits_);
688
0
    } else {
689
      /* Bigger values have the same effect, but could cause overflows. */
690
0
      s->params.stream_offset = BROTLI_MIN(size_t,
691
0
          s->params.stream_offset, BROTLI_MAX_BACKWARD_LIMIT(lgwin));
692
0
    }
693
0
  }
694
695
0
  if (s->params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY) {
696
0
    s->one_pass_arena_ = BROTLI_ALLOC(m, BrotliOnePassArena, 1);
697
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
698
0
    InitCommandPrefixCodes(s->one_pass_arena_);
699
0
  } else if (s->params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY) {
700
0
    s->two_pass_arena_ = BROTLI_ALLOC(m, BrotliTwoPassArena, 1);
701
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
702
0
  }
703
704
0
  s->is_initialized_ = BROTLI_TRUE;
705
0
  return BROTLI_TRUE;
706
0
}
707
708
0
static void BrotliEncoderInitParams(BrotliEncoderParams* params) {
709
0
  params->mode = BROTLI_DEFAULT_MODE;
710
0
  params->large_window = BROTLI_FALSE;
711
0
  params->quality = BROTLI_DEFAULT_QUALITY;
712
0
  params->lgwin = BROTLI_DEFAULT_WINDOW;
713
0
  params->lgblock = 0;
714
0
  params->stream_offset = 0;
715
0
  params->size_hint = 0;
716
0
  params->disable_literal_context_modeling = BROTLI_FALSE;
717
0
  BrotliInitSharedEncoderDictionary(&params->dictionary);
718
0
  params->base64_mode = (int)BROTLI_DEFAULT_BASE64_MODE;
719
0
  params->max_base64_regions = BROTLI_DEFAULT_MAX_BASE64_REGIONS;
720
0
  params->min_base64_region_len = BROTLI_DEFAULT_MIN_BASE64_REGION_LEN;
721
0
  params->simd_hasher = BROTLI_DEFAULT_SIMD_HASHER;
722
0
  params->hasher_opt = BROTLI_FALSE;
723
0
  params->dist.distance_postfix_bits = 0;
724
0
  params->dist.num_direct_distance_codes = 0;
725
0
  params->dist.alphabet_size_max =
726
0
      BROTLI_DISTANCE_ALPHABET_SIZE(0, 0, BROTLI_MAX_DISTANCE_BITS);
727
0
  params->dist.alphabet_size_limit = params->dist.alphabet_size_max;
728
0
  params->dist.max_distance = BROTLI_MAX_DISTANCE;
729
0
}
730
731
static void BrotliEncoderCleanupParams(MemoryManager* m,
732
0
    BrotliEncoderParams* params) {
733
0
  BrotliCleanupSharedEncoderDictionary(m, &params->dictionary);
734
0
}
735
736
#ifdef BROTLI_REPORTING
737
/* When BROTLI_REPORTING is defined extra reporting module have to be linked. */
738
void BrotliEncoderOnStart(const BrotliEncoderState* s);
739
void BrotliEncoderOnFinish(const BrotliEncoderState* s);
740
#define BROTLI_ENCODER_ON_START(s) BrotliEncoderOnStart(s);
741
#define BROTLI_ENCODER_ON_FINISH(s) BrotliEncoderOnFinish(s);
742
#else
743
#if !defined(BROTLI_ENCODER_ON_START)
744
0
#define BROTLI_ENCODER_ON_START(s) (void)(s);
745
#endif
746
#if !defined(BROTLI_ENCODER_ON_FINISH)
747
0
#define BROTLI_ENCODER_ON_FINISH(s) (void)(s);
748
#endif
749
#endif
750
751
0
static void BrotliEncoderInitState(BrotliEncoderState* s) {
752
0
  BROTLI_ENCODER_ON_START(s);
753
0
  BrotliEncoderInitParams(&s->params);
754
0
  s->input_pos_ = 0;
755
0
  s->num_commands_ = 0;
756
0
  s->num_literals_ = 0;
757
0
  s->last_insert_len_ = 0;
758
0
  s->last_flush_pos_ = 0;
759
0
  s->last_processed_pos_ = 0;
760
0
  s->prev_byte_ = 0;
761
0
  s->prev_byte2_ = 0;
762
0
  s->storage_size_ = 0;
763
0
  s->storage_ = 0;
764
0
  HasherInit(&s->hasher_);
765
0
  s->large_table_ = NULL;
766
0
  s->large_table_size_ = 0;
767
0
  s->one_pass_arena_ = NULL;
768
0
  s->two_pass_arena_ = NULL;
769
0
  s->command_buf_ = NULL;
770
0
  s->literal_buf_ = NULL;
771
0
  s->total_in_ = 0;
772
0
  s->next_out_ = NULL;
773
0
  s->available_out_ = 0;
774
0
  s->total_out_ = 0;
775
0
  s->stream_state_ = BROTLI_STREAM_PROCESSING;
776
0
  s->is_last_block_emitted_ = BROTLI_FALSE;
777
0
  s->is_initialized_ = BROTLI_FALSE;
778
779
0
  RingBufferInit(&s->ringbuffer_);
780
781
0
  s->commands_ = 0;
782
0
  s->cmd_alloc_size_ = 0;
783
784
  /* Initialize distance cache. */
785
0
  s->dist_cache_[0] = 4;
786
0
  s->dist_cache_[1] = 11;
787
0
  s->dist_cache_[2] = 15;
788
0
  s->dist_cache_[3] = 16;
789
  /* Save the state of the distance cache in case we need to restore it for
790
     emitting an uncompressed block. */
791
0
  memcpy(s->saved_dist_cache_, s->dist_cache_, sizeof(s->saved_dist_cache_));
792
0
  s->hasher_.common.num_base64_regions = 0;
793
0
}
794
795
BrotliEncoderState* BrotliEncoderCreateInstance(
796
0
    brotli_alloc_func alloc_func, brotli_free_func free_func, void* opaque) {
797
0
  BrotliEncoderState* state;
798
0
  BROTLI_BOOL healthy = BrotliEncoderEnsureStaticInit();
799
0
  if (!healthy) {
800
0
    return 0;
801
0
  }
802
0
  state = (BrotliEncoderState*)BrotliBootstrapAlloc(
803
0
      sizeof(BrotliEncoderState), alloc_func, free_func, opaque);
804
0
  if (state == NULL) {
805
    /* BROTLI_DUMP(); */
806
0
    return 0;
807
0
  }
808
0
  BrotliInitMemoryManager(
809
0
      &state->memory_manager_, alloc_func, free_func, opaque);
810
0
  BrotliEncoderInitState(state);
811
0
  return state;
812
0
}
813
814
0
static void BrotliEncoderCleanupState(BrotliEncoderState* s) {
815
0
  MemoryManager* m = &s->memory_manager_;
816
817
0
  BROTLI_ENCODER_ON_FINISH(s);
818
819
0
  if (BROTLI_IS_OOM(m)) {
820
0
    BrotliWipeOutMemoryManager(m);
821
0
    return;
822
0
  }
823
824
0
  BROTLI_FREE(m, s->storage_);
825
0
  BROTLI_FREE(m, s->commands_);
826
0
  RingBufferFree(m, &s->ringbuffer_);
827
0
  DestroyHasher(m, &s->hasher_);
828
0
  BROTLI_FREE(m, s->large_table_);
829
0
  BROTLI_FREE(m, s->one_pass_arena_);
830
0
  BROTLI_FREE(m, s->two_pass_arena_);
831
0
  BROTLI_FREE(m, s->command_buf_);
832
0
  BROTLI_FREE(m, s->literal_buf_);
833
0
  BrotliEncoderCleanupParams(m, &s->params);
834
0
}
835
836
/* Deinitializes and frees BrotliEncoderState instance. */
837
0
void BrotliEncoderDestroyInstance(BrotliEncoderState* state) {
838
0
  if (!state) {
839
0
    return;
840
0
  } else {
841
0
    BrotliEncoderCleanupState(state);
842
0
    BrotliBootstrapFree(state, &state->memory_manager_);
843
0
  }
844
0
}
845
846
/*
847
   Copies the given input data to the internal ring buffer of the compressor.
848
   No processing of the data occurs at this time and this function can be
849
   called multiple times before calling WriteBrotliData() to process the
850
   accumulated input. At most input_block_size() bytes of input data can be
851
   copied to the ring buffer, otherwise the next WriteBrotliData() will fail.
852
 */
853
static void CopyInputToRingBuffer(BrotliEncoderState* s,
854
                                  const size_t input_size,
855
0
                                  const uint8_t* input_buffer) {
856
0
  RingBuffer* ringbuffer_ = &s->ringbuffer_;
857
0
  MemoryManager* m = &s->memory_manager_;
858
0
  RingBufferWrite(m, input_buffer, input_size, ringbuffer_);
859
0
  if (BROTLI_IS_OOM(m)) return;
860
0
  s->input_pos_ += input_size;
861
862
  /* TL;DR: If needed, initialize 7 more bytes in the ring buffer to make the
863
     hashing not depend on uninitialized data. This makes compression
864
     deterministic and it prevents uninitialized memory warnings in Valgrind.
865
     Even without erasing, the output would be valid (but nondeterministic).
866
867
     Background information: The compressor stores short (at most 8 bytes)
868
     substrings of the input already read in a hash table, and detects
869
     repetitions by looking up such substrings in the hash table. If it
870
     can find a substring, it checks whether the substring is really there
871
     in the ring buffer (or it's just a hash collision). Should the hash
872
     table become corrupt, this check makes sure that the output is
873
     still valid, albeit the compression ratio would be bad.
874
875
     The compressor populates the hash table from the ring buffer as it's
876
     reading new bytes from the input. However, at the last few indexes of
877
     the ring buffer, there are not enough bytes to build full-length
878
     substrings from. Since the hash table always contains full-length
879
     substrings, we overwrite with zeros here to make sure that those
880
     substrings will contain zeros at the end instead of uninitialized
881
     data.
882
883
     Please note that erasing is not necessary (because the
884
     memory region is already initialized since he ring buffer
885
     has a `tail' that holds a copy of the beginning,) so we
886
     skip erasing if we have already gone around at least once in
887
     the ring buffer.
888
889
     Only clear during the first round of ring-buffer writes. On
890
     subsequent rounds data in the ring-buffer would be affected. */
891
0
  if (ringbuffer_->pos_ <= ringbuffer_->mask_) {
892
    /* This is the first time when the ring buffer is being written.
893
       We clear 7 bytes just after the bytes that have been copied from
894
       the input buffer.
895
896
       The ring-buffer has a "tail" that holds a copy of the beginning,
897
       but only once the ring buffer has been fully written once, i.e.,
898
       pos <= mask. For the first time, we need to write values
899
       in this tail (where index may be larger than mask), so that
900
       we have exactly defined behavior and don't read uninitialized
901
       memory. Due to performance reasons, hashing reads data using a
902
       LOAD64, which can go 7 bytes beyond the bytes written in the
903
       ring-buffer. */
904
0
    memset(ringbuffer_->buffer_ + ringbuffer_->pos_, 0, 7);
905
0
  }
906
0
}
907
908
/* Marks all input as processed.
909
   Returns true if position wrapping occurs. */
910
0
static BROTLI_BOOL UpdateLastProcessedPos(BrotliEncoderState* s) {
911
0
  uint32_t wrapped_last_processed_pos = WrapPosition(s->last_processed_pos_);
912
0
  uint32_t wrapped_input_pos = WrapPosition(s->input_pos_);
913
0
  s->last_processed_pos_ = s->input_pos_;
914
0
  return TO_BROTLI_BOOL(wrapped_input_pos < wrapped_last_processed_pos);
915
0
}
916
917
static void ExtendLastCommand(BrotliEncoderState* s, uint32_t* bytes,
918
0
                              uint32_t* wrapped_last_processed_pos) {
919
0
  Command* last_command = &s->commands_[s->num_commands_ - 1];
920
0
  const uint8_t* data = s->ringbuffer_.buffer_;
921
0
  const uint32_t mask = s->ringbuffer_.mask_;
922
0
  uint64_t max_backward_distance =
923
0
      (((uint64_t)1) << s->params.lgwin) - BROTLI_WINDOW_GAP;
924
0
  uint64_t last_copy_len = last_command->copy_len_ & 0x1FFFFFF;
925
0
  uint64_t last_processed_pos = s->last_processed_pos_ - last_copy_len;
926
0
  uint64_t max_distance = last_processed_pos < max_backward_distance ?
927
0
      last_processed_pos : max_backward_distance;
928
0
  uint64_t cmd_dist = (uint64_t)s->dist_cache_[0];
929
0
  uint32_t distance_code = CommandRestoreDistanceCode(last_command,
930
0
                                                      &s->params.dist);
931
0
  const CompoundDictionary* dict = &s->params.dictionary.compound;
932
0
  size_t compound_dictionary_size = dict->total_size;
933
0
  if (distance_code < BROTLI_NUM_DISTANCE_SHORT_CODES ||
934
0
      distance_code - (BROTLI_NUM_DISTANCE_SHORT_CODES - 1) == cmd_dist) {
935
0
    if (cmd_dist <= max_distance) {
936
0
      while (*bytes != 0 && data[*wrapped_last_processed_pos & mask] ==
937
0
             data[(*wrapped_last_processed_pos - cmd_dist) & mask]) {
938
0
        last_command->copy_len_++;
939
0
        (*bytes)--;
940
0
        (*wrapped_last_processed_pos)++;
941
0
      }
942
0
    } else {
943
0
      if ((cmd_dist - max_distance - 1) < compound_dictionary_size &&
944
0
          last_copy_len < cmd_dist - max_distance) {
945
0
        size_t address =
946
0
            compound_dictionary_size - (size_t)(cmd_dist - max_distance) +
947
0
            (size_t)last_copy_len;
948
0
        size_t br_index = 0;
949
0
        size_t br_offset;
950
0
        const uint8_t* chunk;
951
0
        size_t chunk_length;
952
0
        while (address >= dict->chunk_offsets[br_index + 1]) br_index++;
953
0
        br_offset = address - dict->chunk_offsets[br_index];
954
0
        chunk = dict->chunk_source[br_index];
955
0
        chunk_length =
956
0
            dict->chunk_offsets[br_index + 1] - dict->chunk_offsets[br_index];
957
0
        while (*bytes != 0 && data[*wrapped_last_processed_pos & mask] ==
958
0
               chunk[br_offset]) {
959
0
          last_command->copy_len_++;
960
0
          (*bytes)--;
961
0
          (*wrapped_last_processed_pos)++;
962
0
          if (++br_offset == chunk_length) {
963
0
            br_index++;
964
0
            br_offset = 0;
965
0
            if (br_index != dict->num_chunks) {
966
0
              chunk = dict->chunk_source[br_index];
967
0
              chunk_length = dict->chunk_offsets[br_index + 1] -
968
0
                  dict->chunk_offsets[br_index];
969
0
            } else {
970
0
              break;
971
0
            }
972
0
          }
973
0
        }
974
0
      }
975
0
    }
976
    /* The copy length is at most the metablock size, and thus expressible. */
977
0
    GetLengthCode(last_command->insert_len_,
978
0
                  (size_t)((int)(last_command->copy_len_ & 0x1FFFFFF) +
979
0
                           (int)(last_command->copy_len_ >> 25)),
980
0
                  TO_BROTLI_BOOL((last_command->dist_prefix_ & 0x3FF) == 0),
981
0
                  &last_command->cmd_prefix_);
982
0
  }
983
0
}
984
985
/*
986
   Processes the accumulated input data and sets |*out_size| to the length of
987
   the new output meta-block, or to zero if no new output meta-block has been
988
   created (in this case the processed input data is buffered internally).
989
   If |*out_size| is positive, |*output| points to the start of the output
990
   data. If |is_last| or |force_flush| is BROTLI_TRUE, an output meta-block is
991
   always created. However, until |is_last| is BROTLI_TRUE encoder may retain up
992
   to 7 bits of the last byte of output. Byte-alignment could be enforced by
993
   emitting an empty meta-data block.
994
   Returns BROTLI_FALSE if the size of the input data is larger than
995
   input_block_size().
996
 */
997
static BROTLI_BOOL EncodeData(
998
    BrotliEncoderState* s, const BROTLI_BOOL is_last,
999
0
    const BROTLI_BOOL force_flush, size_t* out_size, uint8_t** output) {
1000
0
  const uint64_t delta = UnprocessedInputSize(s);
1001
0
  uint32_t bytes = (uint32_t)delta;
1002
0
  uint32_t wrapped_last_processed_pos = WrapPosition(s->last_processed_pos_);
1003
0
  uint8_t* data;
1004
0
  uint32_t mask;
1005
0
  MemoryManager* m = &s->memory_manager_;
1006
0
  ContextType literal_context_mode;
1007
0
  ContextLut literal_context_lut;
1008
0
  BROTLI_BOOL fast_compress =
1009
0
      s->params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY ||
1010
0
      s->params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY;
1011
1012
0
  data = s->ringbuffer_.buffer_;
1013
0
  mask = s->ringbuffer_.mask_;
1014
1015
0
  if (delta == 0) {  /* No new input; still might want to flush or finish. */
1016
0
    if (!data) {  /* No input has been processed so far. */
1017
0
      if (is_last) {  /* Emit complete finalized stream. */
1018
0
        BROTLI_DCHECK(s->last_bytes_bits_ <= 14);
1019
0
        s->last_bytes_ |= (uint16_t)(3u << s->last_bytes_bits_);
1020
0
        s->last_bytes_bits_ = (uint8_t)(s->last_bytes_bits_ + 2u);
1021
0
        s->tiny_buf_.u8[0] = (uint8_t)s->last_bytes_;
1022
0
        s->tiny_buf_.u8[1] = (uint8_t)(s->last_bytes_ >> 8);
1023
0
        *output = s->tiny_buf_.u8;
1024
0
        *out_size = (s->last_bytes_bits_ + 7u) >> 3u;
1025
0
        return BROTLI_TRUE;
1026
0
      } else {  /* No data, not last -> no-op. */
1027
0
        *out_size = 0;
1028
0
        return BROTLI_TRUE;
1029
0
      }
1030
0
    } else {
1031
      /* Fast compress performs flush every block -> flush is no-op. */
1032
0
      if (!is_last && (!force_flush || fast_compress)) {  /* Another no-op. */
1033
0
        *out_size = 0;
1034
0
        return BROTLI_TRUE;
1035
0
      }
1036
0
    }
1037
0
  }
1038
0
  BROTLI_DCHECK(data);
1039
1040
0
  if (s->params.quality > s->params.dictionary.max_quality) return BROTLI_FALSE;
1041
  /* Adding more blocks after "last" block is forbidden. */
1042
0
  if (s->is_last_block_emitted_) return BROTLI_FALSE;
1043
0
  if (is_last) s->is_last_block_emitted_ = BROTLI_TRUE;
1044
1045
0
  if (delta > InputBlockSize(s)) {
1046
0
    return BROTLI_FALSE;
1047
0
  }
1048
0
  if (s->params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY &&
1049
0
      !s->command_buf_) {
1050
0
    s->command_buf_ =
1051
0
        BROTLI_ALLOC(m, uint32_t, kCompressFragmentTwoPassBlockSize);
1052
0
    s->literal_buf_ =
1053
0
        BROTLI_ALLOC(m, uint8_t, kCompressFragmentTwoPassBlockSize);
1054
0
    if (BROTLI_IS_OOM(m) || BROTLI_IS_NULL(s->command_buf_) ||
1055
0
        BROTLI_IS_NULL(s->literal_buf_)) {
1056
0
      return BROTLI_FALSE;
1057
0
    }
1058
0
  }
1059
1060
0
  if (fast_compress) {
1061
0
    uint8_t* storage;
1062
0
    size_t storage_ix = s->last_bytes_bits_;
1063
0
    size_t table_size;
1064
0
    int* table;
1065
1066
0
    storage = GetBrotliStorage(s, 2 * bytes + 503);
1067
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1068
0
    storage[0] = (uint8_t)s->last_bytes_;
1069
0
    storage[1] = (uint8_t)(s->last_bytes_ >> 8);
1070
0
    table = GetHashTable(s, s->params.quality, bytes, &table_size);
1071
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1072
0
    if (s->params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY) {
1073
0
      BrotliCompressFragmentFast(
1074
0
          s->one_pass_arena_, &data[wrapped_last_processed_pos & mask],
1075
0
          bytes, is_last,
1076
0
          table, table_size,
1077
0
          &storage_ix, storage);
1078
0
      if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1079
0
    } else {
1080
0
      BrotliCompressFragmentTwoPass(
1081
0
          s->two_pass_arena_, &data[wrapped_last_processed_pos & mask],
1082
0
          bytes, is_last,
1083
0
          s->command_buf_, s->literal_buf_,
1084
0
          table, table_size,
1085
0
          &storage_ix, storage);
1086
0
      if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1087
0
    }
1088
0
    s->last_bytes_ = (uint16_t)(storage[storage_ix >> 3]);
1089
0
    s->last_bytes_bits_ = storage_ix & 7u;
1090
0
    UpdateLastProcessedPos(s);
1091
0
    *output = &storage[0];
1092
0
    *out_size = storage_ix >> 3;
1093
0
    return BROTLI_TRUE;
1094
0
  }
1095
1096
0
  {
1097
    /* Theoretical max number of commands is 1 per 2 bytes. */
1098
0
    size_t newsize = s->num_commands_ + bytes / 2 + 1;
1099
0
    if (newsize > s->cmd_alloc_size_) {
1100
0
      Command* new_commands;
1101
      /* Reserve a bit more memory to allow merging with a next block
1102
         without reallocation: that would impact speed. */
1103
0
      newsize += (bytes / 4) + 16;
1104
0
      s->cmd_alloc_size_ = newsize;
1105
0
      new_commands = BROTLI_ALLOC(m, Command, newsize);
1106
0
      if (BROTLI_IS_OOM(m) || BROTLI_IS_NULL(new_commands)) return BROTLI_FALSE;
1107
0
      if (s->commands_) {
1108
0
        memcpy(new_commands, s->commands_, sizeof(Command) * s->num_commands_);
1109
0
        BROTLI_FREE(m, s->commands_);
1110
0
      }
1111
0
      s->commands_ = new_commands;
1112
0
    }
1113
0
  }
1114
1115
0
  InitOrStitchToPreviousBlock(m, &s->hasher_, data, mask, &s->params,
1116
0
      wrapped_last_processed_pos, bytes, is_last);
1117
1118
0
  literal_context_mode = ChooseContextMode(
1119
0
      &s->params, data, WrapPosition(s->last_flush_pos_),
1120
0
      mask, (size_t)(s->input_pos_ - s->last_flush_pos_));
1121
0
  literal_context_lut = BROTLI_CONTEXT_LUT(literal_context_mode);
1122
1123
0
  if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1124
1125
0
  if (s->num_commands_ && s->last_insert_len_ == 0) {
1126
0
    ExtendLastCommand(s, &bytes, &wrapped_last_processed_pos);
1127
0
  }
1128
1129
0
  if (s->params.quality == ZOPFLIFICATION_QUALITY) {
1130
0
    BROTLI_DCHECK(s->params.hasher.type == 10);
1131
0
    BrotliCreateZopfliBackwardReferences(m, bytes, wrapped_last_processed_pos,
1132
0
        data, mask, literal_context_lut, &s->params,
1133
0
        &s->hasher_, s->dist_cache_,
1134
0
        &s->last_insert_len_, &s->commands_[s->num_commands_],
1135
0
        &s->num_commands_, &s->num_literals_);
1136
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1137
0
  } else if (s->params.quality == HQ_ZOPFLIFICATION_QUALITY) {
1138
0
    BROTLI_DCHECK(s->params.hasher.type == 10);
1139
0
    BrotliCreateHqZopfliBackwardReferences(m, bytes, wrapped_last_processed_pos,
1140
0
        data, mask, literal_context_lut, &s->params,
1141
0
        &s->hasher_, s->dist_cache_,
1142
0
        &s->last_insert_len_, &s->commands_[s->num_commands_],
1143
0
        &s->num_commands_, &s->num_literals_);
1144
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1145
0
  } else {
1146
0
    BrotliCreateBackwardReferences(bytes, wrapped_last_processed_pos,
1147
0
        data, mask, literal_context_lut, &s->params,
1148
0
        &s->hasher_, s->dist_cache_,
1149
0
        &s->last_insert_len_, &s->commands_[s->num_commands_],
1150
0
        &s->num_commands_, &s->num_literals_);
1151
0
  }
1152
1153
0
  {
1154
0
    const size_t max_length = MaxMetablockSize(&s->params);
1155
0
    const size_t max_literals = max_length / 8;
1156
0
    const size_t max_commands = max_length / 8;
1157
0
    const size_t processed_bytes = (size_t)(s->input_pos_ - s->last_flush_pos_);
1158
    /* If maximal possible additional block doesn't fit metablock, flush now. */
1159
    /* TODO(eustas): Postpone decision until next block arrives? */
1160
0
    const BROTLI_BOOL next_input_fits_metablock = TO_BROTLI_BOOL(
1161
0
        processed_bytes + InputBlockSize(s) <= max_length);
1162
    /* If block splitting is not used, then flush as soon as there is some
1163
       amount of commands / literals produced. */
1164
0
    const BROTLI_BOOL should_flush = TO_BROTLI_BOOL(
1165
0
        s->params.quality < MIN_QUALITY_FOR_BLOCK_SPLIT &&
1166
0
        s->num_literals_ + s->num_commands_ >= MAX_NUM_DELAYED_SYMBOLS);
1167
0
    if (!is_last && !force_flush && !should_flush &&
1168
0
        next_input_fits_metablock &&
1169
0
        s->num_literals_ < max_literals &&
1170
0
        s->num_commands_ < max_commands) {
1171
      /* Merge with next input block. Everything will happen later. */
1172
0
      if (UpdateLastProcessedPos(s)) {
1173
0
        HasherReset(&s->hasher_);
1174
0
      }
1175
0
      *out_size = 0;
1176
0
      return BROTLI_TRUE;
1177
0
    }
1178
0
  }
1179
1180
  /* Create the last insert-only command. */
1181
0
  if (s->last_insert_len_ > 0) {
1182
0
    InitInsertCommand(&s->commands_[s->num_commands_++], s->last_insert_len_);
1183
0
    s->num_literals_ += s->last_insert_len_;
1184
0
    s->last_insert_len_ = 0;
1185
0
  }
1186
1187
0
  if (!is_last && s->input_pos_ == s->last_flush_pos_) {
1188
    /* We have no new input data and we don't have to finish the stream, so
1189
       nothing to do. */
1190
0
    *out_size = 0;
1191
0
    return BROTLI_TRUE;
1192
0
  }
1193
0
  BROTLI_DCHECK(s->input_pos_ >= s->last_flush_pos_);
1194
0
  BROTLI_DCHECK(s->input_pos_ > s->last_flush_pos_ || is_last);
1195
0
  BROTLI_DCHECK(s->input_pos_ - s->last_flush_pos_ <= 1u << 24);
1196
0
  {
1197
0
    const uint32_t metablock_size =
1198
0
        (uint32_t)(s->input_pos_ - s->last_flush_pos_);
1199
0
    uint8_t* storage = GetBrotliStorage(s, 2 * metablock_size + 503);
1200
0
    size_t storage_ix = s->last_bytes_bits_;
1201
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1202
0
    storage[0] = (uint8_t)s->last_bytes_;
1203
0
    storage[1] = (uint8_t)(s->last_bytes_ >> 8);
1204
0
    WriteMetaBlockInternal(
1205
0
        m, data, mask, s->last_flush_pos_, metablock_size, is_last,
1206
0
        s->hasher_.common.base64_regions, s->hasher_.common.num_base64_regions,
1207
0
        literal_context_mode, &s->params, s->prev_byte_, s->prev_byte2_,
1208
0
        s->num_literals_, s->num_commands_, s->commands_, s->saved_dist_cache_,
1209
0
        s->dist_cache_, &storage_ix, storage);
1210
0
    if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1211
0
    s->hasher_.common.num_base64_regions = 0;
1212
0
    s->last_bytes_ = (uint16_t)(storage[storage_ix >> 3]);
1213
0
    s->last_bytes_bits_ = storage_ix & 7u;
1214
0
    s->last_flush_pos_ = s->input_pos_;
1215
0
    if (UpdateLastProcessedPos(s)) {
1216
0
      HasherReset(&s->hasher_);
1217
0
    }
1218
0
    if (s->last_flush_pos_ > 0) {
1219
0
      s->prev_byte_ = data[((uint32_t)s->last_flush_pos_ - 1) & mask];
1220
0
    }
1221
0
    if (s->last_flush_pos_ > 1) {
1222
0
      s->prev_byte2_ = data[(uint32_t)(s->last_flush_pos_ - 2) & mask];
1223
0
    }
1224
0
    s->num_commands_ = 0;
1225
0
    s->num_literals_ = 0;
1226
    /* Save the state of the distance cache in case we need to restore it for
1227
       emitting an uncompressed block. */
1228
0
    memcpy(s->saved_dist_cache_, s->dist_cache_, sizeof(s->saved_dist_cache_));
1229
0
    *output = &storage[0];
1230
0
    *out_size = storage_ix >> 3;
1231
0
    return BROTLI_TRUE;
1232
0
  }
1233
0
}
1234
1235
/* Dumps remaining output bits and metadata header to |header|.
1236
   Returns number of produced bytes.
1237
   REQUIRED: |header| should be 8-byte aligned and at least 16 bytes long.
1238
   REQUIRED: |block_size| <= (1 << 24). */
1239
static size_t WriteMetadataHeader(
1240
0
    BrotliEncoderState* s, const size_t block_size, uint8_t* header) {
1241
0
  size_t storage_ix;
1242
0
  storage_ix = s->last_bytes_bits_;
1243
0
  header[0] = (uint8_t)s->last_bytes_;
1244
0
  header[1] = (uint8_t)(s->last_bytes_ >> 8);
1245
0
  s->last_bytes_ = 0;
1246
0
  s->last_bytes_bits_ = 0;
1247
1248
0
  BrotliWriteBits(1, 0, &storage_ix, header);
1249
0
  BrotliWriteBits(2, 3, &storage_ix, header);
1250
0
  BrotliWriteBits(1, 0, &storage_ix, header);
1251
0
  if (block_size == 0) {
1252
0
    BrotliWriteBits(2, 0, &storage_ix, header);
1253
0
  } else {
1254
0
    uint32_t nbits = (block_size == 1) ? 1 :
1255
0
        (Log2FloorNonZero((uint32_t)block_size - 1) + 1);
1256
0
    uint32_t nbytes = (nbits + 7) / 8;
1257
0
    BrotliWriteBits(2, nbytes, &storage_ix, header);
1258
0
    BrotliWriteBits(8 * nbytes, block_size - 1, &storage_ix, header);
1259
0
  }
1260
0
  return (storage_ix + 7u) >> 3;
1261
0
}
1262
1263
0
size_t BrotliEncoderMaxCompressedSize(size_t input_size) {
1264
  /* [window bits / empty metadata] + N * [uncompressed] + [last empty] */
1265
0
  size_t num_large_blocks = input_size >> 14;
1266
0
  size_t overhead = 2 + (4 * num_large_blocks) + 3 + 1;
1267
0
  size_t result = input_size + overhead;
1268
0
  if (input_size == 0) return 2;
1269
0
  return (result < input_size) ? 0 : result;
1270
0
}
1271
1272
/* Wraps data to uncompressed brotli stream with minimal window size.
1273
   |output| should point at region with at least BrotliEncoderMaxCompressedSize
1274
   addressable bytes.
1275
   Returns the length of stream. */
1276
static size_t MakeUncompressedStream(
1277
0
    const uint8_t* input, size_t input_size, uint8_t* output) {
1278
0
  size_t size = input_size;
1279
0
  size_t result = 0;
1280
0
  size_t offset = 0;
1281
0
  if (input_size == 0) {
1282
0
    output[0] = 6;
1283
0
    return 1;
1284
0
  }
1285
0
  output[result++] = 0x21;  /* window bits = 10, is_last = false */
1286
0
  output[result++] = 0x03;  /* empty metadata, padding */
1287
0
  while (size > 0) {
1288
0
    uint32_t nibbles = 0;
1289
0
    uint32_t chunk_size;
1290
0
    uint32_t bits;
1291
0
    chunk_size = (size > (1u << 24)) ? (1u << 24) : (uint32_t)size;
1292
0
    if (chunk_size > (1u << 16)) nibbles = (chunk_size > (1u << 20)) ? 2 : 1;
1293
0
    bits =
1294
0
        (nibbles << 1) | ((chunk_size - 1) << 3) | (1u << (19 + 4 * nibbles));
1295
0
    output[result++] = (uint8_t)bits;
1296
0
    output[result++] = (uint8_t)(bits >> 8);
1297
0
    output[result++] = (uint8_t)(bits >> 16);
1298
0
    if (nibbles == 2) output[result++] = (uint8_t)(bits >> 24);
1299
0
    memcpy(&output[result], &input[offset], chunk_size);
1300
0
    result += chunk_size;
1301
0
    offset += chunk_size;
1302
0
    size -= chunk_size;
1303
0
  }
1304
0
  output[result++] = 3;
1305
0
  return result;
1306
0
}
1307
1308
BROTLI_BOOL BrotliEncoderCompress(
1309
    int quality, int lgwin, BrotliEncoderMode mode, size_t input_size,
1310
    const uint8_t input_buffer[BROTLI_ARRAY_PARAM(input_size)],
1311
    size_t* encoded_size,
1312
0
    uint8_t encoded_buffer[BROTLI_ARRAY_PARAM(*encoded_size)]) {
1313
0
  BrotliEncoderState* s;
1314
0
  size_t out_size = *encoded_size;
1315
0
  const uint8_t* input_start = input_buffer;
1316
0
  uint8_t* output_start = encoded_buffer;
1317
0
  size_t max_out_size = BrotliEncoderMaxCompressedSize(input_size);
1318
0
  if (out_size == 0) {
1319
    /* Output buffer needs at least one byte. */
1320
0
    return BROTLI_FALSE;
1321
0
  }
1322
0
  if (input_size == 0) {
1323
    /* Handle the special case of empty input. */
1324
0
    *encoded_size = 1;
1325
0
    *encoded_buffer = 6;
1326
0
    return BROTLI_TRUE;
1327
0
  }
1328
1329
0
  s = BrotliEncoderCreateInstance(0, 0, 0);
1330
0
  if (!s) {
1331
0
    return BROTLI_FALSE;
1332
0
  } else {
1333
0
    size_t available_in = input_size;
1334
0
    const uint8_t* next_in = input_buffer;
1335
0
    size_t available_out = *encoded_size;
1336
0
    uint8_t* next_out = encoded_buffer;
1337
0
    size_t total_out = 0;
1338
0
    BROTLI_BOOL result = BROTLI_FALSE;
1339
    /* TODO(eustas): check that parameters are sane. */
1340
0
    BrotliEncoderSetParameter(s, BROTLI_PARAM_QUALITY, (uint32_t)quality);
1341
0
    BrotliEncoderSetParameter(s, BROTLI_PARAM_LGWIN, (uint32_t)lgwin);
1342
0
    BrotliEncoderSetParameter(s, BROTLI_PARAM_MODE, (uint32_t)mode);
1343
0
    BrotliEncoderSetParameter(s, BROTLI_PARAM_SIZE_HINT, (uint32_t)input_size);
1344
0
    if (lgwin > BROTLI_MAX_WINDOW_BITS) {
1345
0
      BrotliEncoderSetParameter(s, BROTLI_PARAM_LARGE_WINDOW, BROTLI_TRUE);
1346
0
    }
1347
0
    result = BrotliEncoderCompressStream(s, BROTLI_OPERATION_FINISH,
1348
0
        &available_in, &next_in, &available_out, &next_out, &total_out);
1349
0
    if (!BrotliEncoderIsFinished(s)) result = 0;
1350
0
    *encoded_size = total_out;
1351
0
    BrotliEncoderDestroyInstance(s);
1352
0
    if (!result || (max_out_size && *encoded_size > max_out_size)) {
1353
0
      goto fallback;
1354
0
    }
1355
0
    return BROTLI_TRUE;
1356
0
  }
1357
0
fallback:
1358
0
  *encoded_size = 0;
1359
0
  if (!max_out_size) return BROTLI_FALSE;
1360
0
  if (out_size >= max_out_size) {
1361
0
    *encoded_size =
1362
0
        MakeUncompressedStream(input_start, input_size, output_start);
1363
0
    return BROTLI_TRUE;
1364
0
  }
1365
0
  return BROTLI_FALSE;
1366
0
}
1367
1368
0
static void InjectBytePaddingBlock(BrotliEncoderState* s) {
1369
0
  uint32_t seal = s->last_bytes_;
1370
0
  size_t seal_bits = s->last_bytes_bits_;
1371
0
  uint8_t* destination;
1372
0
  s->last_bytes_ = 0;
1373
0
  s->last_bytes_bits_ = 0;
1374
  /* is_last = 0, data_nibbles = 11, reserved = 0, meta_nibbles = 00 */
1375
0
  seal |= 0x6u << seal_bits;
1376
0
  seal_bits += 6;
1377
  /* If we have already created storage, then append to it.
1378
     Storage is valid until next block is being compressed. */
1379
0
  if (s->next_out_) {
1380
0
    destination = s->next_out_ + s->available_out_;
1381
0
  } else {
1382
0
    destination = s->tiny_buf_.u8;
1383
0
    s->next_out_ = destination;
1384
0
  }
1385
0
  destination[0] = (uint8_t)seal;
1386
0
  if (seal_bits > 8) destination[1] = (uint8_t)(seal >> 8);
1387
0
  if (seal_bits > 16) destination[2] = (uint8_t)(seal >> 16);
1388
0
  s->available_out_ += (seal_bits + 7) >> 3;
1389
0
}
1390
1391
/* Fills the |total_out|, if it is not NULL. */
1392
0
static void SetTotalOut(BrotliEncoderState* s, size_t* total_out) {
1393
0
  if (total_out) {
1394
    /* Saturating conversion uint64_t -> size_t */
1395
0
    size_t result = (size_t)-1;
1396
0
    if (s->total_out_ < result) {
1397
0
      result = (size_t)s->total_out_;
1398
0
    }
1399
0
    *total_out = result;
1400
0
  }
1401
0
}
1402
1403
/* Injects padding bits or pushes compressed data to output.
1404
   Returns false if nothing is done. */
1405
static BROTLI_BOOL InjectFlushOrPushOutput(BrotliEncoderState* s,
1406
0
    size_t* available_out, uint8_t** next_out, size_t* total_out) {
1407
0
  if (s->stream_state_ == BROTLI_STREAM_FLUSH_REQUESTED &&
1408
0
      s->last_bytes_bits_ != 0) {
1409
0
    InjectBytePaddingBlock(s);
1410
0
    return BROTLI_TRUE;
1411
0
  }
1412
1413
0
  if (s->available_out_ != 0 && *available_out != 0) {
1414
0
    size_t copy_output_size =
1415
0
        BROTLI_MIN(size_t, s->available_out_, *available_out);
1416
0
    memcpy(*next_out, s->next_out_, copy_output_size);
1417
0
    *next_out += copy_output_size;
1418
0
    *available_out -= copy_output_size;
1419
0
    s->next_out_ += copy_output_size;
1420
0
    s->available_out_ -= copy_output_size;
1421
0
    s->total_out_ += copy_output_size;
1422
0
    SetTotalOut(s, total_out);
1423
0
    return BROTLI_TRUE;
1424
0
  }
1425
1426
0
  return BROTLI_FALSE;
1427
0
}
1428
1429
0
static void CheckFlushComplete(BrotliEncoderState* s) {
1430
0
  if (s->stream_state_ == BROTLI_STREAM_FLUSH_REQUESTED &&
1431
0
      s->available_out_ == 0) {
1432
0
    s->stream_state_ = BROTLI_STREAM_PROCESSING;
1433
0
    s->next_out_ = 0;
1434
0
  }
1435
0
}
1436
1437
static BROTLI_BOOL BrotliEncoderCompressStreamFast(
1438
    BrotliEncoderState* s, BrotliEncoderOperation op, size_t* available_in,
1439
    const uint8_t** next_in, size_t* available_out, uint8_t** next_out,
1440
0
    size_t* total_out) {
1441
0
  const size_t block_size_limit = (size_t)1 << s->params.lgwin;
1442
0
  const size_t buf_size = BROTLI_MIN(size_t, kCompressFragmentTwoPassBlockSize,
1443
0
      BROTLI_MIN(size_t, *available_in, block_size_limit));
1444
0
  uint32_t* tmp_command_buf = NULL;
1445
0
  uint32_t* command_buf = NULL;
1446
0
  uint8_t* tmp_literal_buf = NULL;
1447
0
  uint8_t* literal_buf = NULL;
1448
0
  MemoryManager* m = &s->memory_manager_;
1449
0
  if (s->params.quality != FAST_ONE_PASS_COMPRESSION_QUALITY &&
1450
0
      s->params.quality != FAST_TWO_PASS_COMPRESSION_QUALITY) {
1451
0
    return BROTLI_FALSE;
1452
0
  }
1453
0
  if (s->params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY) {
1454
0
    if (!s->command_buf_ && buf_size == kCompressFragmentTwoPassBlockSize) {
1455
0
      s->command_buf_ =
1456
0
          BROTLI_ALLOC(m, uint32_t, kCompressFragmentTwoPassBlockSize);
1457
0
      s->literal_buf_ =
1458
0
          BROTLI_ALLOC(m, uint8_t, kCompressFragmentTwoPassBlockSize);
1459
0
      if (BROTLI_IS_OOM(m) || BROTLI_IS_NULL(s->command_buf_) ||
1460
0
          BROTLI_IS_NULL(s->literal_buf_)) {
1461
0
        return BROTLI_FALSE;
1462
0
      }
1463
0
    }
1464
0
    if (s->command_buf_) {
1465
0
      command_buf = s->command_buf_;
1466
0
      literal_buf = s->literal_buf_;
1467
0
    } else {
1468
0
      tmp_command_buf = BROTLI_ALLOC(m, uint32_t, buf_size);
1469
0
      tmp_literal_buf = BROTLI_ALLOC(m, uint8_t, buf_size);
1470
0
      if (BROTLI_IS_OOM(m) || BROTLI_IS_NULL(tmp_command_buf) ||
1471
0
          BROTLI_IS_NULL(tmp_literal_buf)) {
1472
0
        return BROTLI_FALSE;
1473
0
      }
1474
0
      command_buf = tmp_command_buf;
1475
0
      literal_buf = tmp_literal_buf;
1476
0
    }
1477
0
  }
1478
1479
0
  while (BROTLI_TRUE) {
1480
0
    if (InjectFlushOrPushOutput(s, available_out, next_out, total_out)) {
1481
0
      continue;
1482
0
    }
1483
1484
    /* Compress block only when internal output buffer is empty, stream is not
1485
       finished, there is no pending flush request, and there is either
1486
       additional input or pending operation. */
1487
0
    if (s->available_out_ == 0 &&
1488
0
        s->stream_state_ == BROTLI_STREAM_PROCESSING &&
1489
0
        (*available_in != 0 || op != BROTLI_OPERATION_PROCESS)) {
1490
0
      size_t block_size = BROTLI_MIN(size_t, block_size_limit, *available_in);
1491
0
      BROTLI_BOOL is_last =
1492
0
          (*available_in == block_size) && (op == BROTLI_OPERATION_FINISH);
1493
0
      BROTLI_BOOL force_flush =
1494
0
          (*available_in == block_size) && (op == BROTLI_OPERATION_FLUSH);
1495
0
      size_t max_out_size = 2 * block_size + 503;
1496
0
      BROTLI_BOOL inplace = BROTLI_TRUE;
1497
0
      uint8_t* storage = NULL;
1498
0
      size_t storage_ix = s->last_bytes_bits_;
1499
0
      size_t table_size;
1500
0
      int* table;
1501
1502
0
      if (force_flush && block_size == 0) {
1503
0
        s->stream_state_ = BROTLI_STREAM_FLUSH_REQUESTED;
1504
0
        continue;
1505
0
      }
1506
0
      if (max_out_size <= *available_out) {
1507
0
        storage = *next_out;
1508
0
      } else {
1509
0
        inplace = BROTLI_FALSE;
1510
0
        storage = GetBrotliStorage(s, max_out_size);
1511
0
        if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1512
0
      }
1513
0
      storage[0] = (uint8_t)s->last_bytes_;
1514
0
      storage[1] = (uint8_t)(s->last_bytes_ >> 8);
1515
0
      table = GetHashTable(s, s->params.quality, block_size, &table_size);
1516
0
      if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1517
1518
0
      if (s->params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY) {
1519
0
        BrotliCompressFragmentFast(s->one_pass_arena_, *next_in, block_size,
1520
0
            is_last, table, table_size, &storage_ix, storage);
1521
0
        if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1522
0
      } else {
1523
0
        BrotliCompressFragmentTwoPass(s->two_pass_arena_, *next_in, block_size,
1524
0
            is_last, command_buf, literal_buf, table, table_size,
1525
0
            &storage_ix, storage);
1526
0
        if (BROTLI_IS_OOM(m)) return BROTLI_FALSE;
1527
0
      }
1528
0
      if (block_size != 0) {
1529
0
        *next_in += block_size;
1530
0
        *available_in -= block_size;
1531
0
        s->total_in_ += block_size;
1532
0
      }
1533
0
      if (inplace) {
1534
0
        size_t out_bytes = storage_ix >> 3;
1535
0
        BROTLI_DCHECK(out_bytes <= *available_out);
1536
0
        BROTLI_DCHECK((storage_ix & 7) == 0 || out_bytes < *available_out);
1537
0
        *next_out += out_bytes;
1538
0
        *available_out -= out_bytes;
1539
0
        s->total_out_ += out_bytes;
1540
0
        SetTotalOut(s, total_out);
1541
0
      } else {
1542
0
        size_t out_bytes = storage_ix >> 3;
1543
0
        s->next_out_ = storage;
1544
0
        s->available_out_ = out_bytes;
1545
0
      }
1546
0
      s->last_bytes_ = (uint16_t)(storage[storage_ix >> 3]);
1547
0
      s->last_bytes_bits_ = storage_ix & 7u;
1548
1549
0
      if (force_flush) s->stream_state_ = BROTLI_STREAM_FLUSH_REQUESTED;
1550
0
      if (is_last) s->stream_state_ = BROTLI_STREAM_FINISHED;
1551
0
      continue;
1552
0
    }
1553
0
    break;
1554
0
  }
1555
0
  BROTLI_FREE(m, tmp_command_buf);
1556
0
  BROTLI_FREE(m, tmp_literal_buf);
1557
0
  CheckFlushComplete(s);
1558
0
  return BROTLI_TRUE;
1559
0
}
1560
1561
static BROTLI_BOOL ProcessMetadata(
1562
    BrotliEncoderState* s, size_t* available_in, const uint8_t** next_in,
1563
0
    size_t* available_out, uint8_t** next_out, size_t* total_out) {
1564
0
  if (*available_in > (1u << 24)) return BROTLI_FALSE;
1565
  /* Switch to metadata block workflow, if required. */
1566
0
  if (s->stream_state_ == BROTLI_STREAM_PROCESSING) {
1567
0
    s->remaining_metadata_bytes_ = (uint32_t)*available_in;
1568
0
    s->stream_state_ = BROTLI_STREAM_METADATA_HEAD;
1569
0
  }
1570
0
  if (s->stream_state_ != BROTLI_STREAM_METADATA_HEAD &&
1571
0
      s->stream_state_ != BROTLI_STREAM_METADATA_BODY) {
1572
0
    return BROTLI_FALSE;
1573
0
  }
1574
1575
0
  while (BROTLI_TRUE) {
1576
0
    if (InjectFlushOrPushOutput(s, available_out, next_out, total_out)) {
1577
0
      continue;
1578
0
    }
1579
0
    if (s->available_out_ != 0) break;
1580
1581
0
    if (s->input_pos_ != s->last_flush_pos_) {
1582
0
      BROTLI_BOOL result = EncodeData(s, BROTLI_FALSE, BROTLI_TRUE,
1583
0
          &s->available_out_, &s->next_out_);
1584
0
      if (!result) return BROTLI_FALSE;
1585
0
      continue;
1586
0
    }
1587
1588
0
    if (s->stream_state_ == BROTLI_STREAM_METADATA_HEAD) {
1589
0
      s->next_out_ = s->tiny_buf_.u8;
1590
0
      s->available_out_ =
1591
0
          WriteMetadataHeader(s, s->remaining_metadata_bytes_, s->next_out_);
1592
0
      s->stream_state_ = BROTLI_STREAM_METADATA_BODY;
1593
0
      continue;
1594
0
    } else {
1595
      /* Exit workflow only when there is no more input and no more output.
1596
         Otherwise client may continue producing empty metadata blocks. */
1597
0
      if (s->remaining_metadata_bytes_ == 0) {
1598
0
        s->remaining_metadata_bytes_ = BROTLI_UINT32_MAX;
1599
0
        s->stream_state_ = BROTLI_STREAM_PROCESSING;
1600
0
        break;
1601
0
      }
1602
0
      if (*available_out) {
1603
        /* Directly copy input to output. */
1604
0
        uint32_t copy = (uint32_t)BROTLI_MIN(
1605
0
            size_t, s->remaining_metadata_bytes_, *available_out);
1606
0
        memcpy(*next_out, *next_in, copy);
1607
0
        *next_in += copy;
1608
0
        *available_in -= copy;
1609
0
        s->total_in_ += copy;  /* not actually data input, though */
1610
0
        s->remaining_metadata_bytes_ -= copy;
1611
0
        *next_out += copy;
1612
0
        *available_out -= copy;
1613
0
      } else {
1614
        /* This guarantees progress in "TakeOutput" workflow. */
1615
0
        uint32_t copy = BROTLI_MIN(uint32_t, s->remaining_metadata_bytes_, 16);
1616
0
        s->next_out_ = s->tiny_buf_.u8;
1617
0
        memcpy(s->next_out_, *next_in, copy);
1618
0
        *next_in += copy;
1619
0
        *available_in -= copy;
1620
0
        s->total_in_ += copy;  /* not actually data input, though */
1621
0
        s->remaining_metadata_bytes_ -= copy;
1622
0
        s->available_out_ = copy;
1623
0
      }
1624
0
      continue;
1625
0
    }
1626
0
  }
1627
1628
0
  return BROTLI_TRUE;
1629
0
}
1630
1631
0
static void UpdateSizeHint(BrotliEncoderState* s, size_t available_in) {
1632
0
  if (s->params.size_hint == 0) {
1633
0
    uint64_t delta = UnprocessedInputSize(s);
1634
0
    uint64_t tail = available_in;
1635
0
    uint32_t limit = 1u << 30;
1636
0
    uint32_t total;
1637
0
    if ((delta >= limit) || (tail >= limit) || ((delta + tail) >= limit)) {
1638
0
      total = limit;
1639
0
    } else {
1640
0
      total = (uint32_t)(delta + tail);
1641
0
    }
1642
0
    s->params.size_hint = total;
1643
0
  }
1644
0
}
1645
1646
BROTLI_BOOL BrotliEncoderCompressStream(
1647
    BrotliEncoderState* s, BrotliEncoderOperation op, size_t* available_in,
1648
    const uint8_t** next_in, size_t* available_out, uint8_t** next_out,
1649
0
    size_t* total_out) {
1650
0
  if (!EnsureInitialized(s)) return BROTLI_FALSE;
1651
1652
  /* Unfinished metadata block; check requirements. */
1653
0
  if (s->remaining_metadata_bytes_ != BROTLI_UINT32_MAX) {
1654
0
    if (*available_in != s->remaining_metadata_bytes_) return BROTLI_FALSE;
1655
0
    if (op != BROTLI_OPERATION_EMIT_METADATA) return BROTLI_FALSE;
1656
0
  }
1657
1658
0
  if (op == BROTLI_OPERATION_EMIT_METADATA) {
1659
0
    UpdateSizeHint(s, 0);  /* First data metablock might be emitted here. */
1660
0
    return ProcessMetadata(
1661
0
        s, available_in, next_in, available_out, next_out, total_out);
1662
0
  }
1663
1664
0
  if (s->stream_state_ == BROTLI_STREAM_METADATA_HEAD ||
1665
0
      s->stream_state_ == BROTLI_STREAM_METADATA_BODY) {
1666
0
    return BROTLI_FALSE;
1667
0
  }
1668
1669
0
  if (s->stream_state_ != BROTLI_STREAM_PROCESSING && *available_in != 0) {
1670
0
    return BROTLI_FALSE;
1671
0
  }
1672
0
  if (s->params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY ||
1673
0
      s->params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY) {
1674
0
    return BrotliEncoderCompressStreamFast(s, op, available_in, next_in,
1675
0
        available_out, next_out, total_out);
1676
0
  }
1677
0
  while (BROTLI_TRUE) {
1678
0
    size_t remaining_block_size = RemainingInputBlockSize(s);
1679
    /* Shorten input to flint size. */
1680
0
    if (s->flint_ >= 0 && remaining_block_size > (size_t)s->flint_) {
1681
0
      remaining_block_size = (size_t)s->flint_;
1682
0
    }
1683
1684
0
    if (remaining_block_size != 0 && *available_in != 0) {
1685
0
      size_t copy_input_size =
1686
0
          BROTLI_MIN(size_t, remaining_block_size, *available_in);
1687
0
      CopyInputToRingBuffer(s, copy_input_size, *next_in);
1688
0
      *next_in += copy_input_size;
1689
0
      *available_in -= copy_input_size;
1690
0
      s->total_in_ += copy_input_size;
1691
0
      if (s->flint_ > 0) s->flint_ = (int8_t)(s->flint_ - (int)copy_input_size);
1692
0
      continue;
1693
0
    }
1694
1695
0
    if (InjectFlushOrPushOutput(s, available_out, next_out, total_out)) {
1696
      /* Exit the "emit flint" workflow. */
1697
0
      if (s->flint_ == BROTLI_FLINT_WAITING_FOR_FLUSHING) {
1698
0
        CheckFlushComplete(s);
1699
0
        if (s->stream_state_ == BROTLI_STREAM_PROCESSING) {
1700
0
          s->flint_ = BROTLI_FLINT_DONE;
1701
0
        }
1702
0
      }
1703
0
      continue;
1704
0
    }
1705
1706
    /* Compress data only when internal output buffer is empty, stream is not
1707
       finished and there is no pending flush request. */
1708
0
    if (s->available_out_ == 0 &&
1709
0
        s->stream_state_ == BROTLI_STREAM_PROCESSING) {
1710
0
      if (remaining_block_size == 0 || op != BROTLI_OPERATION_PROCESS) {
1711
0
        BROTLI_BOOL is_last = TO_BROTLI_BOOL(
1712
0
            (*available_in == 0) && op == BROTLI_OPERATION_FINISH);
1713
0
        BROTLI_BOOL force_flush = TO_BROTLI_BOOL(
1714
0
            (*available_in == 0) && op == BROTLI_OPERATION_FLUSH);
1715
0
        BROTLI_BOOL result;
1716
        /* Force emitting (uncompressed) piece containing flint. */
1717
0
        if (!is_last && s->flint_ == 0) {
1718
0
          s->flint_ = BROTLI_FLINT_WAITING_FOR_FLUSHING;
1719
0
          force_flush = BROTLI_TRUE;
1720
0
        }
1721
0
        UpdateSizeHint(s, *available_in);
1722
0
        result = EncodeData(s, is_last, force_flush,
1723
0
            &s->available_out_, &s->next_out_);
1724
0
        if (!result) return BROTLI_FALSE;
1725
0
        if (force_flush) s->stream_state_ = BROTLI_STREAM_FLUSH_REQUESTED;
1726
0
        if (is_last) s->stream_state_ = BROTLI_STREAM_FINISHED;
1727
0
        continue;
1728
0
      }
1729
0
    }
1730
0
    break;
1731
0
  }
1732
0
  CheckFlushComplete(s);
1733
0
  return BROTLI_TRUE;
1734
0
}
1735
1736
0
BROTLI_BOOL BrotliEncoderIsFinished(BrotliEncoderState* s) {
1737
0
  return TO_BROTLI_BOOL(s->stream_state_ == BROTLI_STREAM_FINISHED &&
1738
0
      !BrotliEncoderHasMoreOutput(s));
1739
0
}
1740
1741
0
BROTLI_BOOL BrotliEncoderHasMoreOutput(BrotliEncoderState* s) {
1742
0
  return TO_BROTLI_BOOL(s->available_out_ != 0);
1743
0
}
1744
1745
0
const uint8_t* BrotliEncoderTakeOutput(BrotliEncoderState* s, size_t* size) {
1746
0
  size_t consumed_size = s->available_out_;
1747
0
  uint8_t* result = s->next_out_;
1748
0
  if (*size) {
1749
0
    consumed_size = BROTLI_MIN(size_t, *size, s->available_out_);
1750
0
  }
1751
0
  if (consumed_size) {
1752
0
    s->next_out_ += consumed_size;
1753
0
    s->available_out_ -= consumed_size;
1754
0
    s->total_out_ += consumed_size;
1755
0
    CheckFlushComplete(s);
1756
0
    *size = consumed_size;
1757
0
  } else {
1758
0
    *size = 0;
1759
0
    result = 0;
1760
0
  }
1761
0
  return result;
1762
0
}
1763
1764
0
uint32_t BrotliEncoderVersion(void) {
1765
0
  return BROTLI_VERSION;
1766
0
}
1767
1768
BrotliEncoderPreparedDictionary* BrotliEncoderPrepareDictionary(
1769
    BrotliSharedDictionaryType type, size_t size,
1770
    const uint8_t data[BROTLI_ARRAY_PARAM(size)], int quality,
1771
0
    brotli_alloc_func alloc_func, brotli_free_func free_func, void* opaque) {
1772
0
  ManagedDictionary* managed_dictionary = NULL;
1773
0
  BROTLI_BOOL type_is_known = BROTLI_FALSE;
1774
0
  type_is_known |= (type == BROTLI_SHARED_DICTIONARY_RAW);
1775
#if defined(BROTLI_EXPERIMENTAL)
1776
  type_is_known |= (type == BROTLI_SHARED_DICTIONARY_SERIALIZED);
1777
#endif  /* BROTLI_EXPERIMENTAL */
1778
0
  if (!type_is_known) {
1779
0
    return NULL;
1780
0
  }
1781
0
  managed_dictionary =
1782
0
      BrotliCreateManagedDictionary(alloc_func, free_func, opaque);
1783
0
  if (managed_dictionary == NULL) {
1784
0
    return NULL;
1785
0
  }
1786
0
  if (type == BROTLI_SHARED_DICTIONARY_RAW) {
1787
0
    managed_dictionary->dictionary = (uint32_t*)CreatePreparedDictionary(
1788
0
        &managed_dictionary->memory_manager_, data, size);
1789
0
  }
1790
#if defined(BROTLI_EXPERIMENTAL)
1791
  if (type == BROTLI_SHARED_DICTIONARY_SERIALIZED) {
1792
    SharedEncoderDictionary* dict = (SharedEncoderDictionary*)BrotliAllocate(
1793
        &managed_dictionary->memory_manager_, sizeof(SharedEncoderDictionary));
1794
    managed_dictionary->dictionary = (uint32_t*)dict;
1795
    if (dict != NULL) {
1796
      BROTLI_BOOL ok = BrotliInitCustomSharedEncoderDictionary(
1797
          &managed_dictionary->memory_manager_, data, size, quality, dict);
1798
      if (!ok) {
1799
        BrotliFree(&managed_dictionary->memory_manager_, dict);
1800
        managed_dictionary->dictionary = NULL;
1801
      }
1802
    }
1803
  }
1804
#else  /* BROTLI_EXPERIMENTAL */
1805
0
  (void)quality;
1806
0
#endif  /* BROTLI_EXPERIMENTAL */
1807
0
  if (managed_dictionary->dictionary == NULL) {
1808
0
    BrotliDestroyManagedDictionary(managed_dictionary);
1809
0
    return NULL;
1810
0
  }
1811
0
  return (BrotliEncoderPreparedDictionary*)managed_dictionary;
1812
0
}
1813
1814
void BROTLI_COLD BrotliEncoderDestroyPreparedDictionary(
1815
0
    BrotliEncoderPreparedDictionary* dictionary) {
1816
0
  ManagedDictionary* dict = (ManagedDictionary*)dictionary;
1817
0
  if (!dictionary) return;
1818
  /* First field of dictionary structs. */
1819
  /* Only managed dictionaries are eligible for destruction by this method. */
1820
0
  if (dict->magic != kManagedDictionaryMagic) {
1821
0
    return;
1822
0
  }
1823
0
  if (dict->dictionary == NULL) {
1824
    /* This should never ever happen. */
1825
0
  } else if (*dict->dictionary == kLeanPreparedDictionaryMagic) {
1826
0
    DestroyPreparedDictionary(
1827
0
        &dict->memory_manager_, (PreparedDictionary*)dict->dictionary);
1828
0
  } else if (*dict->dictionary == kSharedDictionaryMagic) {
1829
0
    BrotliCleanupSharedEncoderDictionary(&dict->memory_manager_,
1830
0
        (SharedEncoderDictionary*)dict->dictionary);
1831
0
    BrotliFree(&dict->memory_manager_, dict->dictionary);
1832
0
  } else {
1833
    /* There is also kPreparedDictionaryMagic, but such instances should be
1834
     * constructed and destroyed by different means. */
1835
0
  }
1836
0
  dict->dictionary = NULL;
1837
0
  BrotliDestroyManagedDictionary(dict);
1838
0
}
1839
1840
BROTLI_BOOL BROTLI_COLD BrotliEncoderAttachPreparedDictionary(
1841
    BrotliEncoderState* state,
1842
0
    const BrotliEncoderPreparedDictionary* dictionary) {
1843
  /* First field of dictionary structs */
1844
0
  const BrotliEncoderPreparedDictionary* dict = dictionary;
1845
0
  uint32_t magic = *((const uint32_t*)dict);
1846
0
  SharedEncoderDictionary* current = NULL;
1847
0
  if (magic == kManagedDictionaryMagic) {
1848
    /* Unwrap managed dictionary. */
1849
0
    ManagedDictionary* managed_dictionary = (ManagedDictionary*)dict;
1850
0
    magic = *managed_dictionary->dictionary;
1851
0
    dict = (BrotliEncoderPreparedDictionary*)managed_dictionary->dictionary;
1852
0
  }
1853
0
  current = &state->params.dictionary;
1854
0
  if (magic == kPreparedDictionaryMagic ||
1855
0
      magic == kLeanPreparedDictionaryMagic) {
1856
0
    const PreparedDictionary* prepared = (const PreparedDictionary*)dict;
1857
0
    if (!AttachPreparedDictionary(&current->compound, prepared)) {
1858
0
      return BROTLI_FALSE;
1859
0
    }
1860
0
  } else if (magic == kSharedDictionaryMagic) {
1861
0
    const SharedEncoderDictionary* attached =
1862
0
        (const SharedEncoderDictionary*)dict;
1863
0
    BROTLI_BOOL was_default = !current->contextual.context_based &&
1864
0
        current->contextual.num_dictionaries == 1 &&
1865
0
        current->contextual.dict[0]->hash_table_words ==
1866
0
        kStaticDictionaryHashWords &&
1867
0
        current->contextual.dict[0]->hash_table_lengths ==
1868
0
        kStaticDictionaryHashLengths;
1869
0
    BROTLI_BOOL new_default = !attached->contextual.context_based &&
1870
0
        attached->contextual.num_dictionaries == 1 &&
1871
0
        attached->contextual.dict[0]->hash_table_words ==
1872
0
        kStaticDictionaryHashWords &&
1873
0
        attached->contextual.dict[0]->hash_table_lengths ==
1874
0
        kStaticDictionaryHashLengths;
1875
0
    size_t i;
1876
0
    if (state->is_initialized_) return BROTLI_FALSE;
1877
0
    current->max_quality =
1878
0
        BROTLI_MIN(int, current->max_quality, attached->max_quality);
1879
0
    for (i = 0; i < attached->compound.num_chunks; i++) {
1880
0
      if (!AttachPreparedDictionary(&current->compound,
1881
0
          attached->compound.chunks[i])) {
1882
0
        return BROTLI_FALSE;
1883
0
      }
1884
0
    }
1885
0
    if (!new_default) {
1886
0
      if (!was_default) return BROTLI_FALSE;
1887
      /* Copy by value, but then set num_instances_ to 0 because their memory
1888
      is managed by attached, not by current */
1889
0
      current->contextual = attached->contextual;
1890
0
      current->contextual.num_instances_ = 0;
1891
0
    }
1892
0
  } else {
1893
0
    return BROTLI_FALSE;
1894
0
  }
1895
0
  return BROTLI_TRUE;
1896
0
}
1897
1898
size_t BROTLI_COLD BrotliEncoderEstimatePeakMemoryUsage(int quality, int lgwin,
1899
0
                                                        size_t input_size) {
1900
0
  BrotliEncoderParams params;
1901
0
  size_t memory_manager_slots = BROTLI_ENCODER_MEMORY_MANAGER_SLOTS;
1902
0
  size_t memory_manager_size = memory_manager_slots * sizeof(void*);
1903
0
  BrotliEncoderInitParams(&params);
1904
0
  params.quality = quality;
1905
0
  params.lgwin = lgwin;
1906
0
  params.size_hint = input_size;
1907
0
  params.large_window = lgwin > BROTLI_MAX_WINDOW_BITS;
1908
0
  SanitizeParams(&params);
1909
0
  params.lgblock = ComputeLgBlock(&params);
1910
0
  ChooseHasher(&params, &params.hasher);
1911
0
  if (params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY ||
1912
0
      params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY) {
1913
0
    size_t state_size = sizeof(BrotliEncoderState);
1914
0
    size_t block_size = BROTLI_MIN(size_t, input_size, ((size_t)1ul << params.lgwin));
1915
0
    size_t hash_table_size =
1916
0
        HashTableSize(MaxHashTableSize(params.quality), block_size);
1917
0
    size_t hash_size =
1918
0
        (hash_table_size < (1u << 10)) ? 0 : sizeof(int) * hash_table_size;
1919
0
    size_t cmdbuf_size = params.quality == FAST_TWO_PASS_COMPRESSION_QUALITY ?
1920
0
        5 * BROTLI_MIN(size_t, block_size, 1ul << 17) : 0;
1921
0
    if (params.quality == FAST_ONE_PASS_COMPRESSION_QUALITY) {
1922
0
      state_size += sizeof(BrotliOnePassArena);
1923
0
    } else {
1924
0
      state_size += sizeof(BrotliTwoPassArena);
1925
0
    }
1926
0
    return hash_size + cmdbuf_size + state_size;
1927
0
  } else {
1928
0
    size_t short_ringbuffer_size = (size_t)1 << params.lgblock;
1929
0
    int ringbuffer_bits = ComputeRbBits(&params);
1930
0
    size_t ringbuffer_size = input_size < short_ringbuffer_size ?
1931
0
        input_size : ((size_t)1u << ringbuffer_bits) + short_ringbuffer_size;
1932
0
    size_t hash_size[4] = {0};
1933
0
    size_t metablock_size =
1934
0
        BROTLI_MIN(size_t, input_size, MaxMetablockSize(&params));
1935
0
    size_t inputblock_size =
1936
0
        BROTLI_MIN(size_t, input_size, (size_t)1 << params.lgblock);
1937
0
    size_t cmdbuf_size = metablock_size * 2 + inputblock_size * 6;
1938
0
    size_t outbuf_size = metablock_size * 2 + 503;
1939
0
    size_t histogram_size = 0;
1940
0
    HasherSize(&params, BROTLI_TRUE, input_size, hash_size);
1941
0
    if (params.quality < MIN_QUALITY_FOR_BLOCK_SPLIT) {
1942
0
      cmdbuf_size = BROTLI_MIN(size_t, cmdbuf_size,
1943
0
          MAX_NUM_DELAYED_SYMBOLS * sizeof(Command) + inputblock_size * 12);
1944
0
    }
1945
0
    if (params.quality >= MIN_QUALITY_FOR_HQ_BLOCK_SPLITTING) {
1946
      /* Only a very rough estimation, based on enwik8. */
1947
0
      histogram_size = 200 << 20;
1948
0
    } else if (params.quality >= MIN_QUALITY_FOR_BLOCK_SPLIT) {
1949
0
      size_t literal_histograms =
1950
0
          BROTLI_MIN(size_t, metablock_size / 6144, 256);
1951
0
      size_t command_histograms =
1952
0
          BROTLI_MIN(size_t, metablock_size / 6144, 256);
1953
0
      size_t distance_histograms =
1954
0
          BROTLI_MIN(size_t, metablock_size / 6144, 256);
1955
0
      histogram_size = literal_histograms * sizeof(HistogramLiteral) +
1956
0
                       command_histograms * sizeof(HistogramCommand) +
1957
0
                       distance_histograms * sizeof(HistogramDistance);
1958
0
    }
1959
0
    return (memory_manager_size + ringbuffer_size +
1960
0
            hash_size[0] + hash_size[1] + hash_size[2] + hash_size[3] +
1961
0
            cmdbuf_size +
1962
0
            outbuf_size +
1963
0
            histogram_size);
1964
0
  }
1965
0
}
1966
size_t BROTLI_COLD BrotliEncoderGetPreparedDictionarySize(
1967
0
    const BrotliEncoderPreparedDictionary* prepared_dictionary) {
1968
  /* First field of dictionary structs */
1969
0
  const BrotliEncoderPreparedDictionary* prepared = prepared_dictionary;
1970
0
  uint32_t magic = *((const uint32_t*)prepared);
1971
0
  size_t overhead = 0;
1972
0
  if (magic == kManagedDictionaryMagic) {
1973
0
    const ManagedDictionary* managed = (const ManagedDictionary*)prepared;
1974
0
    overhead = sizeof(ManagedDictionary);
1975
0
    magic = *managed->dictionary;
1976
0
    prepared = (const BrotliEncoderPreparedDictionary*)managed->dictionary;
1977
0
  }
1978
1979
0
  if (magic == kPreparedDictionaryMagic) {
1980
0
    const PreparedDictionary* dictionary =
1981
0
        (const PreparedDictionary*)prepared;
1982
    /* Keep in sync with step 3 of CreatePreparedDictionary */
1983
0
    return sizeof(PreparedDictionary) + dictionary->source_size +
1984
0
        (sizeof(uint32_t) << dictionary->slot_bits) +
1985
0
        (sizeof(uint16_t) << dictionary->bucket_bits) +
1986
0
        (sizeof(uint32_t) * dictionary->num_items) + overhead;
1987
0
  } else if (magic == kLeanPreparedDictionaryMagic) {
1988
0
    const PreparedDictionary* dictionary =
1989
0
        (const PreparedDictionary*)prepared;
1990
    /* Keep in sync with step 3 of CreatePreparedDictionary */
1991
0
    return sizeof(PreparedDictionary) + sizeof(uint8_t*) +
1992
0
        (sizeof(uint32_t) << dictionary->slot_bits) +
1993
0
        (sizeof(uint16_t) << dictionary->bucket_bits) +
1994
0
        (sizeof(uint32_t) * dictionary->num_items) + overhead;
1995
0
  } else if (magic == kSharedDictionaryMagic) {
1996
0
    const SharedEncoderDictionary* dictionary =
1997
0
        (const SharedEncoderDictionary*)prepared;
1998
0
    const CompoundDictionary* compound = &dictionary->compound;
1999
0
    const ContextualEncoderDictionary* contextual = &dictionary->contextual;
2000
0
    size_t result = sizeof(*dictionary);
2001
0
    size_t i;
2002
0
    size_t num_instances;
2003
0
    const BrotliEncoderDictionary* instances;
2004
0
    for (i = 0; i < compound->num_prepared_instances_; i++) {
2005
0
      size_t size = BrotliEncoderGetPreparedDictionarySize(
2006
0
          (const BrotliEncoderPreparedDictionary*)
2007
0
          compound->prepared_instances_[i]);
2008
0
      if (!size) return 0;  /* error */
2009
0
      result += size;
2010
0
    }
2011
0
    if (contextual->context_based) {
2012
0
      num_instances = contextual->num_instances_;
2013
0
      instances = contextual->instances_;
2014
0
      result += sizeof(*instances) * num_instances;
2015
0
    } else {
2016
0
      num_instances = 1;
2017
0
      instances = &contextual->instance_;
2018
0
    }
2019
0
    for (i = 0; i < num_instances; i++) {
2020
0
      const BrotliEncoderDictionary* dict = &instances[i];
2021
0
      result += dict->trie.pool_capacity * sizeof(BrotliTrieNode);
2022
0
      if (dict->hash_table_data_words_) {
2023
0
        result += sizeof(kStaticDictionaryHashWords);
2024
0
      }
2025
0
      if (dict->hash_table_data_lengths_) {
2026
0
        result += sizeof(kStaticDictionaryHashLengths);
2027
0
      }
2028
0
      if (dict->buckets_data_) {
2029
0
        result += sizeof(*dict->buckets_data_) * dict->buckets_alloc_size_;
2030
0
      }
2031
0
      if (dict->dict_words_data_) {
2032
0
        result += sizeof(*dict->dict_words) * dict->dict_words_alloc_size_;
2033
0
      }
2034
0
      if (dict->words_instance_) {
2035
0
        result += sizeof(*dict->words_instance_);
2036
        /* data_size not added here: it is never allocated by the
2037
           SharedEncoderDictionary, instead it always points to the file
2038
           already loaded in memory. So if the caller wants to include
2039
           this memory as well, add the size of the loaded dictionary
2040
           file to this. */
2041
0
      }
2042
0
    }
2043
0
    return result + overhead;
2044
0
  }
2045
0
  return 0;  /* error */
2046
0
}
2047
2048
#if defined(BROTLI_TEST)
2049
size_t BrotliMakeUncompressedStreamForTest(const uint8_t*, size_t, uint8_t*);
2050
size_t BrotliMakeUncompressedStreamForTest(
2051
    const uint8_t* input, size_t input_size, uint8_t* output) {
2052
  return MakeUncompressedStream(input, input_size, output);
2053
}
2054
#endif
2055
2056
#if defined(__cplusplus) || defined(c_plusplus)
2057
}  /* extern "C" */
2058
#endif