2 * bzip2 is written by Julian Seward <jseward@bzip.org>.
3 * Adapted for busybox by Denys Vlasenko <vda.linux@googlemail.com>.
4 * See README and LICENSE files in this directory for more information.
7 /*-------------------------------------------------------------*/
8 /*--- Compression machinery (not incl block sorting) ---*/
10 /*-------------------------------------------------------------*/
12 /* ------------------------------------------------------------------
13 This file is part of bzip2/libbzip2, a program and library for
14 lossless, block-sorting data compression.
16 bzip2/libbzip2 version 1.0.4 of 20 December 2006
17 Copyright (C) 1996-2006 Julian Seward <jseward@bzip.org>
19 Please read the WARNING, DISCLAIMER and PATENTS sections in the
22 This program is released under the terms of the license contained
24 ------------------------------------------------------------------ */
27 * 0.9.0 -- original version.
28 * 0.9.0a/b -- no changes in this file.
29 * 0.9.0c -- changed setting of nGroups in sendMTFValues()
30 * so as to do a bit better on small files
33 /* #include "bzlib_private.h" */
35 /*---------------------------------------------------*/
36 /*--- Bit stream I/O ---*/
37 /*---------------------------------------------------*/
39 /*---------------------------------------------------*/
41 void BZ2_bsInitWrite(EState* s)
48 /*---------------------------------------------------*/
50 void bsFinishWrite(EState* s)
52 while (s->bsLive > 0) {
53 s->zbits[s->numZ] = (UChar)(s->bsBuff >> 24);
61 /*---------------------------------------------------*/
63 /* Forced inlining results in +600 bytes code,
64 * 2% faster compression. Not worth it. */
66 void bsW(EState* s, int32_t n, uint32_t v)
68 while (s->bsLive >= 8) {
69 s->zbits[s->numZ] = (UChar)(s->bsBuff >> 24);
74 s->bsBuff |= (v << (32 - s->bsLive - n));
79 /*---------------------------------------------------*/
81 void bsPutU32(EState* s, uint32_t u)
83 bsW(s, 8, (u >> 24) & 0xff);
84 bsW(s, 8, (u >> 16) & 0xff);
85 bsW(s, 8, (u >> 8) & 0xff);
90 /*---------------------------------------------------*/
92 void bsPutUChar(EState* s, UChar c)
94 bsW(s, 8, (uint32_t)c);
98 /*---------------------------------------------------*/
99 /*--- The back end proper ---*/
100 /*---------------------------------------------------*/
102 /*---------------------------------------------------*/
104 void makeMaps_e(EState* s)
108 for (i = 0; i < 256; i++) {
110 s->unseqToSeq[i] = s->nInUse;
117 /*---------------------------------------------------*/
119 void generateMTFValues(EState* s)
128 * After sorting (eg, here),
129 * s->arr1[0 .. s->nblock-1] holds sorted order,
131 * ((UChar*)s->arr2)[0 .. s->nblock-1]
132 * holds the original block data.
134 * The first thing to do is generate the MTF values,
136 * ((uint16_t*)s->arr1)[0 .. s->nblock-1].
137 * Because there are strictly fewer or equal MTF values
138 * than block values, ptr values in this area are overwritten
139 * with MTF values only when they are no longer needed.
141 * The final compressed bitstream is generated into the
143 * (UChar*) (&((UChar*)s->arr2)[s->nblock])
145 * These storage aliases are set up in bzCompressInit(),
146 * except for the last one, which is arranged in
149 uint32_t* ptr = s->ptr;
150 UChar* block = s->block;
151 uint16_t* mtfv = s->mtfv;
156 for (i = 0; i <= EOB; i++)
161 for (i = 0; i < s->nInUse; i++)
164 for (i = 0; i < s->nblock; i++) {
166 AssertD(wr <= i, "generateMTFValues(1)");
170 ll_i = s->unseqToSeq[block[j]];
171 AssertD(ll_i < s->nInUse, "generateMTFValues(2a)");
180 mtfv[wr] = BZ_RUNB; wr++;
181 s->mtfFreq[BZ_RUNB]++;
183 mtfv[wr] = BZ_RUNA; wr++;
184 s->mtfFreq[BZ_RUNA]++;
186 if (zPend < 2) break;
187 zPend = (zPend - 2) / 2;
193 register UChar* ryy_j;
194 register UChar rll_i;
199 while (rll_i != rtmp) {
200 register UChar rtmp2;
207 j = ryy_j - &(yy[0]);
220 mtfv[wr] = BZ_RUNB; wr++;
221 s->mtfFreq[BZ_RUNB]++;
223 mtfv[wr] = BZ_RUNA; wr++;
224 s->mtfFreq[BZ_RUNA]++;
228 zPend = (zPend - 2) / 2;
241 /*---------------------------------------------------*/
242 #define BZ_LESSER_ICOST 0
243 #define BZ_GREATER_ICOST 15
246 void sendMTFValues(EState* s)
248 int32_t v, t, i, j, gs, ge, totc, bt, bc, iter;
249 int32_t nSelectors, alphaSize, minLen, maxLen, selCtr;
250 int32_t nGroups, nBytes;
253 * UChar len [BZ_N_GROUPS][BZ_MAX_ALPHA_SIZE];
254 * is a global since the decoder also needs it.
256 * int32_t code[BZ_N_GROUPS][BZ_MAX_ALPHA_SIZE];
257 * int32_t rfreq[BZ_N_GROUPS][BZ_MAX_ALPHA_SIZE];
258 * are also globals only used in this proc.
259 * Made global to keep stack frame size small.
262 uint16_t cost[BZ_N_GROUPS];
263 int32_t fave[BZ_N_GROUPS];
265 uint16_t* mtfv = s->mtfv;
267 alphaSize = s->nInUse+2;
268 for (t = 0; t < BZ_N_GROUPS; t++)
269 for (v = 0; v < alphaSize; v++)
270 s->len[t][v] = BZ_GREATER_ICOST;
272 /*--- Decide how many coding tables to use ---*/
273 AssertH(s->nMTF > 0, 3001);
274 if (s->nMTF < 200) nGroups = 2; else
275 if (s->nMTF < 600) nGroups = 3; else
276 if (s->nMTF < 1200) nGroups = 4; else
277 if (s->nMTF < 2400) nGroups = 5; else
280 /*--- Generate an initial set of coding tables ---*/
282 int32_t nPart, remF, tFreq, aFreq;
288 tFreq = remF / nPart;
291 while (aFreq < tFreq && ge < alphaSize-1) {
293 aFreq += s->mtfFreq[ge];
297 && nPart != nGroups && nPart != 1
298 && ((nGroups-nPart) % 2 == 1)
300 aFreq -= s->mtfFreq[ge];
304 for (v = 0; v < alphaSize; v++)
305 if (v >= gs && v <= ge)
306 s->len[nPart-1][v] = BZ_LESSER_ICOST;
308 s->len[nPart-1][v] = BZ_GREATER_ICOST;
317 * Iterate up to BZ_N_ITERS times to improve the tables.
319 for (iter = 0; iter < BZ_N_ITERS; iter++) {
320 for (t = 0; t < nGroups; t++)
323 for (t = 0; t < nGroups; t++)
324 for (v = 0; v < alphaSize; v++)
329 * Set up an auxiliary length table which is used to fast-track
330 * the common case (nGroups == 6).
333 for (v = 0; v < alphaSize; v++) {
334 s->len_pack[v][0] = (s->len[1][v] << 16) | s->len[0][v];
335 s->len_pack[v][1] = (s->len[3][v] << 16) | s->len[2][v];
336 s->len_pack[v][2] = (s->len[5][v] << 16) | s->len[4][v];
345 /*--- Set group start & end marks. --*/
348 ge = gs + BZ_G_SIZE - 1;
353 * Calculate the cost of this group as coded
354 * by each of the coding tables.
356 for (t = 0; t < nGroups; t++)
359 if (nGroups == 6 && 50 == ge-gs+1) {
360 /*--- fast track the common case ---*/
361 register uint32_t cost01, cost23, cost45;
362 register uint16_t icv;
363 cost01 = cost23 = cost45 = 0;
364 #define BZ_ITER(nn) \
365 icv = mtfv[gs+(nn)]; \
366 cost01 += s->len_pack[icv][0]; \
367 cost23 += s->len_pack[icv][1]; \
368 cost45 += s->len_pack[icv][2];
369 BZ_ITER(0); BZ_ITER(1); BZ_ITER(2); BZ_ITER(3); BZ_ITER(4);
370 BZ_ITER(5); BZ_ITER(6); BZ_ITER(7); BZ_ITER(8); BZ_ITER(9);
371 BZ_ITER(10); BZ_ITER(11); BZ_ITER(12); BZ_ITER(13); BZ_ITER(14);
372 BZ_ITER(15); BZ_ITER(16); BZ_ITER(17); BZ_ITER(18); BZ_ITER(19);
373 BZ_ITER(20); BZ_ITER(21); BZ_ITER(22); BZ_ITER(23); BZ_ITER(24);
374 BZ_ITER(25); BZ_ITER(26); BZ_ITER(27); BZ_ITER(28); BZ_ITER(29);
375 BZ_ITER(30); BZ_ITER(31); BZ_ITER(32); BZ_ITER(33); BZ_ITER(34);
376 BZ_ITER(35); BZ_ITER(36); BZ_ITER(37); BZ_ITER(38); BZ_ITER(39);
377 BZ_ITER(40); BZ_ITER(41); BZ_ITER(42); BZ_ITER(43); BZ_ITER(44);
378 BZ_ITER(45); BZ_ITER(46); BZ_ITER(47); BZ_ITER(48); BZ_ITER(49);
380 cost[0] = cost01 & 0xffff; cost[1] = cost01 >> 16;
381 cost[2] = cost23 & 0xffff; cost[3] = cost23 >> 16;
382 cost[4] = cost45 & 0xffff; cost[5] = cost45 >> 16;
387 /*--- slow version which correctly handles all situations ---*/
388 for (i = gs; i <= ge; i++) {
389 uint16_t icv = mtfv[i];
390 for (t = 0; t < nGroups; t++)
391 cost[t] += s->len[t][icv];
395 * Find the coding table which is best for this group,
396 * and record its identity in the selector table.
402 for (t = 0; t < nGroups; t++) {
410 s->selector[nSelectors] = bt;
414 * Increment the symbol frequencies for the selected table.
416 /* ~0.5% faster compress. +800 bytes */
418 if (nGroups == 6 && 50 == ge-gs+1) {
419 /*--- fast track the common case ---*/
420 #define BZ_ITUR(nn) s->rfreq[bt][mtfv[gs + (nn)]]++
421 BZ_ITUR(0); BZ_ITUR(1); BZ_ITUR(2); BZ_ITUR(3); BZ_ITUR(4);
422 BZ_ITUR(5); BZ_ITUR(6); BZ_ITUR(7); BZ_ITUR(8); BZ_ITUR(9);
423 BZ_ITUR(10); BZ_ITUR(11); BZ_ITUR(12); BZ_ITUR(13); BZ_ITUR(14);
424 BZ_ITUR(15); BZ_ITUR(16); BZ_ITUR(17); BZ_ITUR(18); BZ_ITUR(19);
425 BZ_ITUR(20); BZ_ITUR(21); BZ_ITUR(22); BZ_ITUR(23); BZ_ITUR(24);
426 BZ_ITUR(25); BZ_ITUR(26); BZ_ITUR(27); BZ_ITUR(28); BZ_ITUR(29);
427 BZ_ITUR(30); BZ_ITUR(31); BZ_ITUR(32); BZ_ITUR(33); BZ_ITUR(34);
428 BZ_ITUR(35); BZ_ITUR(36); BZ_ITUR(37); BZ_ITUR(38); BZ_ITUR(39);
429 BZ_ITUR(40); BZ_ITUR(41); BZ_ITUR(42); BZ_ITUR(43); BZ_ITUR(44);
430 BZ_ITUR(45); BZ_ITUR(46); BZ_ITUR(47); BZ_ITUR(48); BZ_ITUR(49);
436 /*--- slow version which correctly handles all situations ---*/
438 s->rfreq[bt][mtfv[gs]]++;
441 /* already is: gs = ge+1; */
446 * Recompute the tables based on the accumulated frequencies.
448 /* maxLen was changed from 20 to 17 in bzip2-1.0.3. See
449 * comment in huffman.c for details. */
450 for (t = 0; t < nGroups; t++)
451 BZ2_hbMakeCodeLengths(&(s->len[t][0]), &(s->rfreq[t][0]), alphaSize, 17 /*20*/);
454 AssertH(nGroups < 8, 3002);
455 AssertH(nSelectors < 32768 && nSelectors <= (2 + (900000 / BZ_G_SIZE)), 3003);
457 /*--- Compute MTF values for the selectors. ---*/
459 UChar pos[BZ_N_GROUPS], ll_i, tmp2, tmp;
461 for (i = 0; i < nGroups; i++)
463 for (i = 0; i < nSelectors; i++) {
464 ll_i = s->selector[i];
467 while (ll_i != tmp) {
474 s->selectorMtf[i] = j;
478 /*--- Assign actual codes for the tables. --*/
479 for (t = 0; t < nGroups; t++) {
482 for (i = 0; i < alphaSize; i++) {
483 if (s->len[t][i] > maxLen) maxLen = s->len[t][i];
484 if (s->len[t][i] < minLen) minLen = s->len[t][i];
486 AssertH(!(maxLen > 17 /*20*/), 3004);
487 AssertH(!(minLen < 1), 3005);
488 BZ2_hbAssignCodes(&(s->code[t][0]), &(s->len[t][0]), minLen, maxLen, alphaSize);
491 /*--- Transmit the mapping table. ---*/
494 for (i = 0; i < 16; i++) {
496 for (j = 0; j < 16; j++)
497 if (s->inUse[i * 16 + j])
502 for (i = 0; i < 16; i++) {
509 for (i = 0; i < 16; i++) {
511 for (j = 0; j < 16; j++) {
512 if (s->inUse[i * 16 + j])
521 /*--- Now the selectors. ---*/
524 bsW(s, 15, nSelectors);
525 for (i = 0; i < nSelectors; i++) {
526 for (j = 0; j < s->selectorMtf[i]; j++)
531 /*--- Now the coding tables. ---*/
534 for (t = 0; t < nGroups; t++) {
535 int32_t curr = s->len[t][0];
537 for (i = 0; i < alphaSize; i++) {
538 while (curr < s->len[t][i]) { bsW(s, 2, 2); curr++; /* 10 */ };
539 while (curr > s->len[t][i]) { bsW(s, 2, 3); curr--; /* 11 */ };
544 /*--- And finally, the block data proper ---*/
551 ge = gs + BZ_G_SIZE - 1;
554 AssertH(s->selector[selCtr] < nGroups, 3006);
556 /* Costs 1300 bytes and is _slower_ (on Intel Core 2) */
558 if (nGroups == 6 && 50 == ge-gs+1) {
559 /*--- fast track the common case ---*/
561 UChar* s_len_sel_selCtr = &(s->len[s->selector[selCtr]][0]);
562 int32_t* s_code_sel_selCtr = &(s->code[s->selector[selCtr]][0]);
563 #define BZ_ITAH(nn) \
564 mtfv_i = mtfv[gs+(nn)]; \
565 bsW(s, s_len_sel_selCtr[mtfv_i], s_code_sel_selCtr[mtfv_i])
566 BZ_ITAH(0); BZ_ITAH(1); BZ_ITAH(2); BZ_ITAH(3); BZ_ITAH(4);
567 BZ_ITAH(5); BZ_ITAH(6); BZ_ITAH(7); BZ_ITAH(8); BZ_ITAH(9);
568 BZ_ITAH(10); BZ_ITAH(11); BZ_ITAH(12); BZ_ITAH(13); BZ_ITAH(14);
569 BZ_ITAH(15); BZ_ITAH(16); BZ_ITAH(17); BZ_ITAH(18); BZ_ITAH(19);
570 BZ_ITAH(20); BZ_ITAH(21); BZ_ITAH(22); BZ_ITAH(23); BZ_ITAH(24);
571 BZ_ITAH(25); BZ_ITAH(26); BZ_ITAH(27); BZ_ITAH(28); BZ_ITAH(29);
572 BZ_ITAH(30); BZ_ITAH(31); BZ_ITAH(32); BZ_ITAH(33); BZ_ITAH(34);
573 BZ_ITAH(35); BZ_ITAH(36); BZ_ITAH(37); BZ_ITAH(38); BZ_ITAH(39);
574 BZ_ITAH(40); BZ_ITAH(41); BZ_ITAH(42); BZ_ITAH(43); BZ_ITAH(44);
575 BZ_ITAH(45); BZ_ITAH(46); BZ_ITAH(47); BZ_ITAH(48); BZ_ITAH(49);
581 /*--- slow version which correctly handles all situations ---*/
582 /* code is bit bigger, but moves multiply out of the loop */
583 UChar* s_len_sel_selCtr = &(s->len [s->selector[selCtr]][0]);
584 int32_t* s_code_sel_selCtr = &(s->code[s->selector[selCtr]][0]);
587 s_len_sel_selCtr[mtfv[gs]],
588 s_code_sel_selCtr[mtfv[gs]]
592 /* already is: gs = ge+1; */
596 AssertH(selCtr == nSelectors, 3007);
600 /*---------------------------------------------------*/
602 void BZ2_compressBlock(EState* s, Bool is_last_block)
605 BZ_FINALISE_CRC(s->blockCRC);
606 s->combinedCRC = (s->combinedCRC << 1) | (s->combinedCRC >> 31);
607 s->combinedCRC ^= s->blockCRC;
614 s->zbits = (UChar*) (&((UChar*)s->arr2)[s->nblock]);
616 /*-- If this is the first block, create the stream header. --*/
617 if (s->blockNo == 1) {
619 /*bsPutUChar(s, BZ_HDR_B);*/
620 /*bsPutUChar(s, BZ_HDR_Z);*/
621 /*bsPutUChar(s, BZ_HDR_h);*/
622 /*bsPutUChar(s, (UChar)(BZ_HDR_0 + s->blockSize100k));*/
623 bsPutU32(s, BZ_HDR_BZh0 + s->blockSize100k);
627 /*bsPutUChar(s, 0x31);*/
628 /*bsPutUChar(s, 0x41);*/
629 /*bsPutUChar(s, 0x59);*/
630 /*bsPutUChar(s, 0x26);*/
631 bsPutU32(s, 0x31415926);
635 /*-- Now the block's CRC, so it is in a known place. --*/
636 bsPutU32(s, s->blockCRC);
639 * Now a single bit indicating (non-)randomisation.
640 * As of version 0.9.5, we use a better sorting algorithm
641 * which makes randomisation unnecessary. So always set
642 * the randomised bit to 'no'. Of course, the decoder
643 * still needs to be able to handle randomised blocks
644 * so as to maintain backwards compatibility with
645 * older versions of bzip2.
649 bsW(s, 24, s->origPtr);
650 generateMTFValues(s);
654 /*-- If this is the last block, add the stream trailer. --*/
656 /*bsPutUChar(s, 0x17);*/
657 /*bsPutUChar(s, 0x72);*/
658 /*bsPutUChar(s, 0x45);*/
659 /*bsPutUChar(s, 0x38);*/
660 bsPutU32(s, 0x17724538);
663 bsPutU32(s, s->combinedCRC);
669 /*-------------------------------------------------------------*/
670 /*--- end compress.c ---*/
671 /*-------------------------------------------------------------*/