1 /* Ppmd8.c -- PPMdI codec
2 2016-05-21 : Igor Pavlov : Public domain
3 This code is based on PPMd var.I (2002): Dmitry Shkarin : Public domain */
5 #include "archive_platform.h"
9 #include "archive_ppmd8_private.h"
11 const Byte PPMD8_kExpEscape[16] = { 25, 14, 9, 7, 5, 5, 4, 4, 4, 3, 3, 3, 2, 2, 2, 2 };
12 static const UInt16 kInitBinEsc[] = { 0x3CDD, 0x1F3F, 0x59BF, 0x48F3, 0x64A1, 0x5ABC, 0x6632, 0x6051};
17 #define U2B(nu) ((UInt32)(nu) * UNIT_SIZE)
18 #define U2I(nu) (p->Units2Indx[(nu) - 1])
19 #define I2U(indx) (p->Indx2Units[indx])
22 #define REF(ptr) (ptr)
24 #define REF(ptr) ((UInt32)((Byte *)(ptr) - (p)->Base))
27 #define STATS_REF(ptr) ((CPpmd_State_Ref)REF(ptr))
29 #define CTX(ref) ((CPpmd8_Context *)Ppmd8_GetContext(p, ref))
30 #define STATS(ctx) Ppmd8_GetStats(p, ctx)
31 #define ONE_STATE(ctx) Ppmd8Context_OneState(ctx)
32 #define SUFFIX(ctx) CTX((ctx)->Suffix)
34 #define kTop (1 << 24)
35 #define kBot (1 << 15)
37 typedef CPpmd8_Context * CTX_PTR;
49 typedef struct CPpmd8_Node_
57 #define NODE(ptr) (ptr)
59 #define NODE(offs) ((CPpmd8_Node *)(p->Base + (offs)))
62 #define EMPTY_NODE 0xFFFFFFFF
64 void Ppmd8_Construct(CPpmd8 *p)
70 for (i = 0, k = 0; i < PPMD_NUM_INDEXES; i++)
72 unsigned step = (i >= 12 ? 4 : (i >> 2) + 1);
73 do { p->Units2Indx[k++] = (Byte)i; } while (--step);
74 p->Indx2Units[i] = (Byte)k;
77 p->NS2BSIndx[0] = (0 << 1);
78 p->NS2BSIndx[1] = (1 << 1);
79 memset(p->NS2BSIndx + 2, (2 << 1), 9);
80 memset(p->NS2BSIndx + 11, (3 << 1), 256 - 11);
82 for (i = 0; i < 5; i++)
83 p->NS2Indx[i] = (Byte)i;
84 for (m = i, k = 1; i < 260; i++)
86 p->NS2Indx[i] = (Byte)m;
92 void Ppmd8_Free(CPpmd8 *p)
99 Bool Ppmd8_Alloc(CPpmd8 *p, UInt32 size)
101 if (p->Base == 0 || p->Size != size)
110 if ((p->Base = (Byte *)malloc(p->AlignOffset + size)) == 0)
117 static void InsertNode(CPpmd8 *p, void *node, unsigned indx)
119 ((CPpmd8_Node *)node)->Stamp = EMPTY_NODE;
120 ((CPpmd8_Node *)node)->Next = (CPpmd8_Node_Ref)p->FreeList[indx];
121 ((CPpmd8_Node *)node)->NU = I2U(indx);
122 p->FreeList[indx] = REF(node);
126 static void *RemoveNode(CPpmd8 *p, unsigned indx)
128 CPpmd8_Node *node = NODE((CPpmd8_Node_Ref)p->FreeList[indx]);
129 p->FreeList[indx] = node->Next;
134 static void SplitBlock(CPpmd8 *p, void *ptr, unsigned oldIndx, unsigned newIndx)
136 unsigned i, nu = I2U(oldIndx) - I2U(newIndx);
137 ptr = (Byte *)ptr + U2B(I2U(newIndx));
138 if (I2U(i = U2I(nu)) != nu)
140 unsigned k = I2U(--i);
141 InsertNode(p, ((Byte *)ptr) + U2B(k), nu - k - 1);
143 InsertNode(p, ptr, i);
146 static void GlueFreeBlocks(CPpmd8 *p)
148 CPpmd8_Node_Ref head = 0;
149 CPpmd8_Node_Ref *prev = &head;
152 p->GlueCount = 1 << 13;
153 memset(p->Stamps, 0, sizeof(p->Stamps));
155 /* Order-0 context is always at top UNIT, so we don't need guard NODE at the end.
156 All blocks up to p->LoUnit can be free, so we need guard NODE at LoUnit. */
157 if (p->LoUnit != p->HiUnit)
158 ((CPpmd8_Node *)p->LoUnit)->Stamp = 0;
160 /* Glue free blocks */
161 for (i = 0; i < PPMD_NUM_INDEXES; i++)
163 CPpmd8_Node_Ref next = (CPpmd8_Node_Ref)p->FreeList[i];
167 CPpmd8_Node *node = NODE(next);
172 prev = &(node->Next);
173 while ((node2 = node + node->NU)->Stamp == EMPTY_NODE)
175 node->NU += node2->NU;
184 /* Fill lists of free blocks */
187 CPpmd8_Node *node = NODE(head);
193 for (; nu > 128; nu -= 128, node += 128)
194 InsertNode(p, node, PPMD_NUM_INDEXES - 1);
195 if (I2U(i = U2I(nu)) != nu)
197 unsigned k = I2U(--i);
198 InsertNode(p, node + k, nu - k - 1);
200 InsertNode(p, node, i);
204 static void *AllocUnitsRare(CPpmd8 *p, unsigned indx)
208 if (p->GlueCount == 0)
211 if (p->FreeList[indx] != 0)
212 return RemoveNode(p, indx);
217 if (++i == PPMD_NUM_INDEXES)
219 UInt32 numBytes = U2B(I2U(indx));
221 return ((UInt32)(p->UnitsStart - p->Text) > numBytes) ? (p->UnitsStart -= numBytes) : (NULL);
224 while (p->FreeList[i] == 0);
225 retVal = RemoveNode(p, i);
226 SplitBlock(p, retVal, i, indx);
230 static void *AllocUnits(CPpmd8 *p, unsigned indx)
233 if (p->FreeList[indx] != 0)
234 return RemoveNode(p, indx);
235 numBytes = U2B(I2U(indx));
236 if (numBytes <= (UInt32)(p->HiUnit - p->LoUnit))
238 void *retVal = p->LoUnit;
239 p->LoUnit += numBytes;
242 return AllocUnitsRare(p, indx);
245 #define MyMem12Cpy(dest, src, num) \
246 { UInt32 *d = (UInt32 *)dest; const UInt32 *z = (const UInt32 *)src; UInt32 n = num; \
247 do { d[0] = z[0]; d[1] = z[1]; d[2] = z[2]; z += 3; d += 3; } while (--n); }
249 static void *ShrinkUnits(CPpmd8 *p, void *oldPtr, unsigned oldNU, unsigned newNU)
251 unsigned i0 = U2I(oldNU);
252 unsigned i1 = U2I(newNU);
255 if (p->FreeList[i1] != 0)
257 void *ptr = RemoveNode(p, i1);
258 MyMem12Cpy(ptr, oldPtr, newNU);
259 InsertNode(p, oldPtr, i0);
262 SplitBlock(p, oldPtr, i0, i1);
266 static void FreeUnits(CPpmd8 *p, void *ptr, unsigned nu)
268 InsertNode(p, ptr, U2I(nu));
271 static void SpecialFreeUnit(CPpmd8 *p, void *ptr)
273 if ((Byte *)ptr != p->UnitsStart)
274 InsertNode(p, ptr, 0);
277 #ifdef PPMD8_FREEZE_SUPPORT
278 *(UInt32 *)ptr = EMPTY_NODE; /* it's used for (Flags == 0xFF) check in RemoveBinContexts */
280 p->UnitsStart += UNIT_SIZE;
284 static void *MoveUnitsUp(CPpmd8 *p, void *oldPtr, unsigned nu)
286 unsigned indx = U2I(nu);
288 if ((Byte *)oldPtr > p->UnitsStart + 16 * 1024 || REF(oldPtr) > p->FreeList[indx])
290 ptr = RemoveNode(p, indx);
291 MyMem12Cpy(ptr, oldPtr, nu);
292 if ((Byte*)oldPtr != p->UnitsStart)
293 InsertNode(p, oldPtr, indx);
295 p->UnitsStart += U2B(I2U(indx));
299 static void ExpandTextArea(CPpmd8 *p)
301 UInt32 count[PPMD_NUM_INDEXES];
303 memset(count, 0, sizeof(count));
304 if (p->LoUnit != p->HiUnit)
305 ((CPpmd8_Node *)p->LoUnit)->Stamp = 0;
308 CPpmd8_Node *node = (CPpmd8_Node *)p->UnitsStart;
309 for (; node->Stamp == EMPTY_NODE; node += node->NU)
312 count[U2I(node->NU)]++;
314 p->UnitsStart = (Byte *)node;
317 for (i = 0; i < PPMD_NUM_INDEXES; i++)
319 CPpmd8_Node_Ref *next = (CPpmd8_Node_Ref *)&p->FreeList[i];
320 while (count[i] != 0)
322 CPpmd8_Node *node = NODE(*next);
323 while (node->Stamp == 0)
336 #define SUCCESSOR(p) ((CPpmd_Void_Ref)((p)->SuccessorLow | ((UInt32)(p)->SuccessorHigh << 16)))
338 static void SetSuccessor(CPpmd_State *p, CPpmd_Void_Ref v)
340 (p)->SuccessorLow = (UInt16)((UInt32)(v) & 0xFFFF);
341 (p)->SuccessorHigh = (UInt16)(((UInt32)(v) >> 16) & 0xFFFF);
344 #define RESET_TEXT(offs) { p->Text = p->Base + p->AlignOffset + (offs); }
346 static void RestartModel(CPpmd8 *p)
350 memset(p->FreeList, 0, sizeof(p->FreeList));
351 memset(p->Stamps, 0, sizeof(p->Stamps));
353 p->HiUnit = p->Text + p->Size;
354 p->LoUnit = p->UnitsStart = p->HiUnit - p->Size / 8 / UNIT_SIZE * 7 * UNIT_SIZE;
357 p->OrderFall = p->MaxOrder;
358 p->RunLength = p->InitRL = -(Int32)((p->MaxOrder < 12) ? p->MaxOrder : 12) - 1;
361 p->MinContext = p->MaxContext = (CTX_PTR)(p->HiUnit -= UNIT_SIZE); /* AllocContext(p); */
362 p->MinContext->Suffix = 0;
363 p->MinContext->NumStats = 255;
364 p->MinContext->Flags = 0;
365 p->MinContext->SummFreq = 256 + 1;
366 p->FoundState = (CPpmd_State *)p->LoUnit; /* AllocUnits(p, PPMD_NUM_INDEXES - 1); */
367 p->LoUnit += U2B(256 / 2);
368 p->MinContext->Stats = REF(p->FoundState);
369 for (i = 0; i < 256; i++)
371 CPpmd_State *s = &p->FoundState[i];
377 for (i = m = 0; m < 25; m++)
379 while (p->NS2Indx[i] == m)
381 for (k = 0; k < 8; k++)
383 UInt16 val = (UInt16)(PPMD_BIN_SCALE - kInitBinEsc[k] / (i + 1));
384 UInt16 *dest = p->BinSumm[m] + k;
385 for (r = 0; r < 64; r += 8)
390 for (i = m = 0; m < 24; m++)
392 while (p->NS2Indx[i + 3] == m + 3)
394 for (k = 0; k < 32; k++)
396 CPpmd_See *s = &p->See[m][k];
397 s->Summ = (UInt16)((2 * i + 5) << (s->Shift = PPMD_PERIOD_BITS - 4));
403 void Ppmd8_Init(CPpmd8 *p, unsigned maxOrder, unsigned restoreMethod)
405 p->MaxOrder = maxOrder;
406 p->RestoreMethod = restoreMethod;
408 p->DummySee.Shift = PPMD_PERIOD_BITS;
409 p->DummySee.Summ = 0; /* unused */
410 p->DummySee.Count = 64; /* unused */
413 static void Refresh(CPpmd8 *p, CTX_PTR ctx, unsigned oldNU, unsigned scale)
415 unsigned i = ctx->NumStats, escFreq, sumFreq, flags;
416 CPpmd_State *s = (CPpmd_State *)ShrinkUnits(p, STATS(ctx), oldNU, (i + 2) >> 1);
418 #ifdef PPMD8_FREEZE_SUPPORT
419 /* fixed over Shkarin's code. Fixed code is not compatible with original code for some files in FREEZE mode. */
420 scale |= (ctx->SummFreq >= ((UInt32)1 << 15));
422 flags = (ctx->Flags & (0x10 + 0x04 * scale)) + 0x08 * (s->Symbol >= 0x40);
423 escFreq = ctx->SummFreq - s->Freq;
424 sumFreq = (s->Freq = (Byte)((s->Freq + scale) >> scale));
427 escFreq -= (++s)->Freq;
428 sumFreq += (s->Freq = (Byte)((s->Freq + scale) >> scale));
429 flags |= 0x08 * (s->Symbol >= 0x40);
432 ctx->SummFreq = (UInt16)(sumFreq + ((escFreq + scale) >> scale));
433 ctx->Flags = (Byte)flags;
436 static void SwapStates(CPpmd_State *t1, CPpmd_State *t2)
438 CPpmd_State tmp = *t1;
443 static CPpmd_Void_Ref CutOff(CPpmd8 *p, CTX_PTR ctx, unsigned order)
452 if ((Byte *)Ppmd8_GetPtr(p, SUCCESSOR(s)) >= p->UnitsStart)
454 if (order < p->MaxOrder)
455 SetSuccessor(s, CutOff(p, CTX(SUCCESSOR(s)), order + 1));
458 if (SUCCESSOR(s) || order <= 9) /* O_BOUND */
461 SpecialFreeUnit(p, ctx);
465 ctx->Stats = STATS_REF(MoveUnitsUp(p, STATS(ctx), tmp = ((unsigned)ctx->NumStats + 2) >> 1));
467 for (s = STATS(ctx) + (i = ctx->NumStats); s >= STATS(ctx); s--)
468 if ((Byte *)Ppmd8_GetPtr(p, SUCCESSOR(s)) < p->UnitsStart)
470 CPpmd_State *s2 = STATS(ctx) + (i--);
474 else if (order < p->MaxOrder)
475 SetSuccessor(s, CutOff(p, CTX(SUCCESSOR(s)), order + 1));
479 if (i != ctx->NumStats && order)
481 ctx->NumStats = (Byte)i;
485 FreeUnits(p, s, tmp);
486 SpecialFreeUnit(p, ctx);
491 ctx->Flags = (Byte)((ctx->Flags & 0x10) + 0x08 * (s->Symbol >= 0x40));
492 *ONE_STATE(ctx) = *s;
493 FreeUnits(p, s, tmp);
494 /* 9.31: the code was fixed. It's was not BUG, if Freq <= MAX_FREQ = 124 */
495 ONE_STATE(ctx)->Freq = (Byte)(((unsigned)ONE_STATE(ctx)->Freq + 11) >> 3);
498 Refresh(p, ctx, tmp, ctx->SummFreq > 16 * i);
503 #ifdef PPMD8_FREEZE_SUPPORT
504 static CPpmd_Void_Ref RemoveBinContexts(CPpmd8 *p, CTX_PTR ctx, unsigned order)
510 if ((Byte *)Ppmd8_GetPtr(p, SUCCESSOR(s)) >= p->UnitsStart && order < p->MaxOrder)
511 SetSuccessor(s, RemoveBinContexts(p, CTX(SUCCESSOR(s)), order + 1));
514 /* Suffix context can be removed already, since different (high-order)
515 Successors may refer to same context. So we check Flags == 0xFF (Stamp == EMPTY_NODE) */
516 if (!SUCCESSOR(s) && (!SUFFIX(ctx)->NumStats || SUFFIX(ctx)->Flags == 0xFF))
518 FreeUnits(p, ctx, 1);
525 for (s = STATS(ctx) + ctx->NumStats; s >= STATS(ctx); s--)
526 if ((Byte *)Ppmd8_GetPtr(p, SUCCESSOR(s)) >= p->UnitsStart && order < p->MaxOrder)
527 SetSuccessor(s, RemoveBinContexts(p, CTX(SUCCESSOR(s)), order + 1));
535 static UInt32 GetUsedMemory(const CPpmd8 *p)
539 for (i = 0; i < PPMD_NUM_INDEXES; i++)
540 v += p->Stamps[i] * I2U(i);
541 return p->Size - (UInt32)(p->HiUnit - p->LoUnit) - (UInt32)(p->UnitsStart - p->Text) - U2B(v);
544 #ifdef PPMD8_FREEZE_SUPPORT
545 #define RESTORE_MODEL(c1, fSuccessor) RestoreModel(p, c1, fSuccessor)
547 #define RESTORE_MODEL(c1, fSuccessor) RestoreModel(p, c1)
550 static void RestoreModel(CPpmd8 *p, CTX_PTR c1
551 #ifdef PPMD8_FREEZE_SUPPORT
559 for (c = p->MaxContext; c != c1; c = SUFFIX(c))
560 if (--(c->NumStats) == 0)
563 c->Flags = (Byte)((c->Flags & 0x10) + 0x08 * (s->Symbol >= 0x40));
565 SpecialFreeUnit(p, s);
566 ONE_STATE(c)->Freq = (Byte)(((unsigned)ONE_STATE(c)->Freq + 11) >> 3);
569 Refresh(p, c, (c->NumStats+3) >> 1, 0);
571 for (; c != p->MinContext; c = SUFFIX(c))
573 ONE_STATE(c)->Freq = (Byte)(ONE_STATE(c)->Freq - (ONE_STATE(c)->Freq >> 1));
574 else if ((c->SummFreq += 4) > 128 + 4 * c->NumStats)
575 Refresh(p, c, (c->NumStats + 2) >> 1, 1);
577 #ifdef PPMD8_FREEZE_SUPPORT
578 if (p->RestoreMethod > PPMD8_RESTORE_METHOD_FREEZE)
580 p->MaxContext = fSuccessor;
581 p->GlueCount += !(p->Stamps[1] & 1);
583 else if (p->RestoreMethod == PPMD8_RESTORE_METHOD_FREEZE)
585 while (p->MaxContext->Suffix)
586 p->MaxContext = SUFFIX(p->MaxContext);
587 RemoveBinContexts(p, p->MaxContext, 0);
590 p->OrderFall = p->MaxOrder;
594 if (p->RestoreMethod == PPMD8_RESTORE_METHOD_RESTART || GetUsedMemory(p) < (p->Size >> 1))
598 while (p->MaxContext->Suffix)
599 p->MaxContext = SUFFIX(p->MaxContext);
602 CutOff(p, p->MaxContext, 0);
605 while (GetUsedMemory(p) > 3 * (p->Size >> 2));
607 p->OrderFall = p->MaxOrder;
611 static CTX_PTR CreateSuccessors(CPpmd8 *p, Bool skip, CPpmd_State *s1, CTX_PTR c)
615 CPpmd_Byte_Ref upBranch = (CPpmd_Byte_Ref)SUCCESSOR(p->FoundState);
616 /* fixed over Shkarin's code. Maybe it could work without + 1 too. */
617 CPpmd_State *ps[PPMD8_MAX_ORDER + 1];
621 ps[numPs++] = p->FoundState;
625 CPpmd_Void_Ref successor;
633 else if (c->NumStats != 0)
635 for (s = STATS(c); s->Symbol != p->FoundState->Symbol; s++);
636 if (s->Freq < MAX_FREQ - 9)
645 s->Freq = (Byte)(s->Freq + (!SUFFIX(c)->NumStats & (s->Freq < 24)));
647 successor = SUCCESSOR(s);
648 if (successor != upBranch)
658 upState.Symbol = *(const Byte *)Ppmd8_GetPtr(p, upBranch);
659 SetSuccessor(&upState, upBranch + 1);
660 flags = (Byte)(0x10 * (p->FoundState->Symbol >= 0x40) + 0x08 * (upState.Symbol >= 0x40));
662 if (c->NumStats == 0)
663 upState.Freq = ONE_STATE(c)->Freq;
668 for (s = STATS(c); s->Symbol != upState.Symbol; s++);
670 s0 = c->SummFreq - c->NumStats - cf;
671 upState.Freq = (Byte)(1 + ((2 * cf <= s0) ? (5 * cf > s0) : ((cf + 2 * s0 - 3) / s0)));
677 CTX_PTR c1; /* = AllocContext(p); */
678 if (p->HiUnit != p->LoUnit)
679 c1 = (CTX_PTR)(p->HiUnit -= UNIT_SIZE);
680 else if (p->FreeList[0] != 0)
681 c1 = (CTX_PTR)RemoveNode(p, 0);
684 c1 = (CTX_PTR)AllocUnitsRare(p, 0);
690 *ONE_STATE(c1) = upState;
692 SetSuccessor(ps[--numPs], REF(c1));
700 static CTX_PTR ReduceOrder(CPpmd8 *p, CPpmd_State *s1, CTX_PTR c)
702 CPpmd_State *s = NULL;
704 CPpmd_Void_Ref upBranch = REF(p->Text);
706 #ifdef PPMD8_FREEZE_SUPPORT
707 /* The BUG in Shkarin's code was fixed: ps could overflow in CUT_OFF mode. */
708 CPpmd_State *ps[PPMD8_MAX_ORDER + 1];
710 ps[numPs++] = p->FoundState;
713 SetSuccessor(p->FoundState, upBranch);
728 #ifdef PPMD8_FREEZE_SUPPORT
729 if (p->RestoreMethod > PPMD8_RESTORE_METHOD_FREEZE)
731 do { SetSuccessor(ps[--numPs], REF(c)); } while (numPs);
741 if ((s = STATS(c))->Symbol != p->FoundState->Symbol)
742 do { s++; } while (s->Symbol != p->FoundState->Symbol);
743 if (s->Freq < MAX_FREQ - 9)
752 s->Freq = (Byte)(s->Freq + (s->Freq < 32));
757 #ifdef PPMD8_FREEZE_SUPPORT
760 SetSuccessor(s, upBranch);
764 #ifdef PPMD8_FREEZE_SUPPORT
765 if (p->RestoreMethod > PPMD8_RESTORE_METHOD_FREEZE)
767 c = CTX(SUCCESSOR(s));
768 do { SetSuccessor(ps[--numPs], REF(c)); } while (numPs);
775 if (SUCCESSOR(s) <= upBranch)
778 CPpmd_State *s2 = p->FoundState;
781 successor = CreateSuccessors(p, False, NULL, c);
782 if (successor == NULL)
785 SetSuccessor(s, REF(successor));
789 if (p->OrderFall == 1 && c1 == p->MaxContext)
791 SetSuccessor(p->FoundState, SUCCESSOR(s));
794 if (SUCCESSOR(s) == 0)
796 return CTX(SUCCESSOR(s));
799 static void UpdateModel(CPpmd8 *p)
801 CPpmd_Void_Ref successor, fSuccessor = SUCCESSOR(p->FoundState);
803 unsigned s0, ns, fFreq = p->FoundState->Freq;
804 Byte flag, fSymbol = p->FoundState->Symbol;
805 CPpmd_State *s = NULL;
807 if (p->FoundState->Freq < MAX_FREQ / 4 && p->MinContext->Suffix != 0)
809 c = SUFFIX(p->MinContext);
811 if (c->NumStats == 0)
820 if (s->Symbol != p->FoundState->Symbol)
822 do { s++; } while (s->Symbol != p->FoundState->Symbol);
823 if (s[0].Freq >= s[-1].Freq)
825 SwapStates(&s[0], &s[-1]);
829 if (s->Freq < MAX_FREQ - 9)
838 if (p->OrderFall == 0 && fSuccessor)
840 CTX_PTR cs = CreateSuccessors(p, True, s, p->MinContext);
843 SetSuccessor(p->FoundState, 0);
844 RESTORE_MODEL(c, CTX(fSuccessor));
848 SetSuccessor(p->FoundState, REF(cs));
854 *p->Text++ = p->FoundState->Symbol;
855 successor = REF(p->Text);
856 if (p->Text >= p->UnitsStart)
858 RESTORE_MODEL(c, CTX(fSuccessor)); /* check it */
864 CTX_PTR cs = ReduceOrder(p, s, p->MinContext);
870 fSuccessor = REF(cs);
872 else if ((Byte *)Ppmd8_GetPtr(p, fSuccessor) < p->UnitsStart)
874 CTX_PTR cs = CreateSuccessors(p, False, s, p->MinContext);
880 fSuccessor = REF(cs);
883 if (--p->OrderFall == 0)
885 successor = fSuccessor;
886 p->Text -= (p->MaxContext != p->MinContext);
888 #ifdef PPMD8_FREEZE_SUPPORT
889 else if (p->RestoreMethod > PPMD8_RESTORE_METHOD_FREEZE)
891 successor = fSuccessor;
897 s0 = p->MinContext->SummFreq - (ns = p->MinContext->NumStats) - fFreq;
898 flag = (Byte)(0x08 * (fSymbol >= 0x40));
900 for (; c != p->MinContext; c = SUFFIX(c))
904 if ((ns1 = c->NumStats) != 0)
908 /* Expand for one UNIT */
909 unsigned oldNU = (ns1 + 1) >> 1;
910 unsigned i = U2I(oldNU);
911 if (i != U2I(oldNU + 1))
913 void *ptr = AllocUnits(p, i + 1);
917 RESTORE_MODEL(c, CTX(fSuccessor));
921 MyMem12Cpy(ptr, oldPtr, oldNU);
922 InsertNode(p, oldPtr, i);
923 c->Stats = STATS_REF(ptr);
926 c->SummFreq = (UInt16)(c->SummFreq + (3 * ns1 + 1 < ns));
930 CPpmd_State *s2 = (CPpmd_State*)AllocUnits(p, 0);
933 RESTORE_MODEL(c, CTX(fSuccessor));
938 if (s2->Freq < MAX_FREQ / 4 - 1)
941 s2->Freq = MAX_FREQ - 4;
942 c->SummFreq = (UInt16)(s2->Freq + p->InitEsc + (ns > 2));
944 cf = 2 * fFreq * (c->SummFreq + 6);
945 sf = (UInt32)s0 + c->SummFreq;
948 cf = 1 + (cf > sf) + (cf >= 4 * sf);
953 cf = 4 + (cf > 9 * sf) + (cf > 12 * sf) + (cf > 15 * sf);
954 c->SummFreq = (UInt16)(c->SummFreq + cf);
957 CPpmd_State *s2 = STATS(c) + ns1 + 1;
958 SetSuccessor(s2, successor);
959 s2->Symbol = fSymbol;
962 c->NumStats = (Byte)(ns1 + 1);
965 p->MaxContext = p->MinContext = CTX(fSuccessor);
968 static void Rescale(CPpmd8 *p)
970 unsigned i, adder, sumFreq, escFreq;
971 CPpmd_State *stats = STATS(p->MinContext);
972 CPpmd_State *s = p->FoundState;
974 CPpmd_State tmp = *s;
975 for (; s != stats; s--)
979 escFreq = p->MinContext->SummFreq - s->Freq;
981 adder = (p->OrderFall != 0
982 #ifdef PPMD8_FREEZE_SUPPORT
983 || p->RestoreMethod > PPMD8_RESTORE_METHOD_FREEZE
986 s->Freq = (Byte)((s->Freq + adder) >> 1);
989 i = p->MinContext->NumStats;
992 escFreq -= (++s)->Freq;
993 s->Freq = (Byte)((s->Freq + adder) >> 1);
995 if (s[0].Freq > s[-1].Freq)
998 CPpmd_State tmp = *s1;
1001 while (--s1 != stats && tmp.Freq > s1[-1].Freq);
1009 unsigned numStats = p->MinContext->NumStats;
1011 do { i++; } while ((--s)->Freq == 0);
1013 p->MinContext->NumStats = (Byte)(p->MinContext->NumStats - i);
1014 if (p->MinContext->NumStats == 0)
1016 CPpmd_State tmp = *stats;
1017 tmp.Freq = (Byte)((2 * tmp.Freq + escFreq - 1) / escFreq);
1018 if (tmp.Freq > MAX_FREQ / 3)
1019 tmp.Freq = MAX_FREQ / 3;
1020 InsertNode(p, stats, U2I((numStats + 2) >> 1));
1021 p->MinContext->Flags = (Byte)((p->MinContext->Flags & 0x10) + 0x08 * (tmp.Symbol >= 0x40));
1022 *(p->FoundState = ONE_STATE(p->MinContext)) = tmp;
1025 n0 = (numStats + 2) >> 1;
1026 n1 = (p->MinContext->NumStats + 2) >> 1;
1028 p->MinContext->Stats = STATS_REF(ShrinkUnits(p, stats, n0, n1));
1029 p->MinContext->Flags &= ~0x08;
1030 p->MinContext->Flags |= 0x08 * ((s = STATS(p->MinContext))->Symbol >= 0x40);
1031 i = p->MinContext->NumStats;
1032 do { p->MinContext->Flags |= 0x08*((++s)->Symbol >= 0x40); } while (--i);
1034 p->MinContext->SummFreq = (UInt16)(sumFreq + escFreq - (escFreq >> 1));
1035 p->MinContext->Flags |= 0x4;
1036 p->FoundState = STATS(p->MinContext);
1039 CPpmd_See *Ppmd8_MakeEscFreq(CPpmd8 *p, unsigned numMasked1, UInt32 *escFreq)
1042 if (p->MinContext->NumStats != 0xFF)
1044 see = p->See[(unsigned)p->NS2Indx[(unsigned)p->MinContext->NumStats + 2] - 3] +
1045 (p->MinContext->SummFreq > 11 * ((unsigned)p->MinContext->NumStats + 1)) +
1046 2 * (unsigned)(2 * (unsigned)p->MinContext->NumStats <
1047 ((unsigned)SUFFIX(p->MinContext)->NumStats + numMasked1)) +
1048 p->MinContext->Flags;
1050 unsigned r = (see->Summ >> see->Shift);
1051 see->Summ = (UInt16)(see->Summ - r);
1052 *escFreq = r + (r == 0);
1063 static void NextContext(CPpmd8 *p)
1065 CTX_PTR c = CTX(SUCCESSOR(p->FoundState));
1066 if (p->OrderFall == 0 && (Byte *)c >= p->UnitsStart)
1067 p->MinContext = p->MaxContext = c;
1071 p->MinContext = p->MaxContext;
1075 void Ppmd8_Update1(CPpmd8 *p)
1077 CPpmd_State *s = p->FoundState;
1079 p->MinContext->SummFreq += 4;
1080 if (s[0].Freq > s[-1].Freq)
1082 SwapStates(&s[0], &s[-1]);
1083 p->FoundState = --s;
1084 if (s->Freq > MAX_FREQ)
1090 void Ppmd8_Update1_0(CPpmd8 *p)
1092 p->PrevSuccess = (2 * p->FoundState->Freq >= p->MinContext->SummFreq);
1093 p->RunLength += p->PrevSuccess;
1094 p->MinContext->SummFreq += 4;
1095 if ((p->FoundState->Freq += 4) > MAX_FREQ)
1100 void Ppmd8_UpdateBin(CPpmd8 *p)
1102 p->FoundState->Freq = (Byte)(p->FoundState->Freq + (p->FoundState->Freq < 196));
1108 void Ppmd8_Update2(CPpmd8 *p)
1110 p->MinContext->SummFreq += 4;
1111 if ((p->FoundState->Freq += 4) > MAX_FREQ)
1113 p->RunLength = p->InitRL;
1115 p->MinContext = p->MaxContext;
1118 /* Ppmd8Dec.c -- PPMdI Decoder
1119 2010-04-16 : Igor Pavlov : Public domain
1120 This code is based on:
1121 PPMd var.I (2002): Dmitry Shkarin : Public domain
1122 Carryless rangecoder (1999): Dmitry Subbotin : Public domain */
1124 Bool Ppmd8_RangeDec_Init(CPpmd8 *p)
1128 p->Range = 0xFFFFFFFF;
1130 for (i = 0; i < 4; i++)
1131 p->Code = (p->Code << 8) | p->Stream.In->Read(p->Stream.In);
1132 return (p->Code < 0xFFFFFFFF);
1135 static UInt32 RangeDec_GetThreshold(CPpmd8 *p, UInt32 total)
1137 return p->Code / (p->Range /= total);
1140 static void RangeDec_Decode(CPpmd8 *p, UInt32 start, UInt32 size)
1147 while ((p->Low ^ (p->Low + p->Range)) < kTop ||
1148 (p->Range < kBot && ((p->Range = (0 - p->Low) & (kBot - 1)), 1)))
1150 p->Code = (p->Code << 8) | p->Stream.In->Read(p->Stream.In);
1156 #define MASK(sym) ((signed char *)charMask)[sym]
1158 int Ppmd8_DecodeSymbol(CPpmd8 *p)
1160 size_t charMask[256 / sizeof(size_t)];
1161 if (p->MinContext->NumStats != 0)
1163 CPpmd_State *s = Ppmd8_GetStats(p, p->MinContext);
1165 UInt32 count, hiCnt;
1166 if ((count = RangeDec_GetThreshold(p, p->MinContext->SummFreq)) < (hiCnt = s->Freq))
1169 RangeDec_Decode(p, 0, s->Freq);
1176 i = p->MinContext->NumStats;
1179 if ((hiCnt += (++s)->Freq) > count)
1182 RangeDec_Decode(p, hiCnt - s->Freq, s->Freq);
1190 if (count >= p->MinContext->SummFreq)
1192 RangeDec_Decode(p, hiCnt, p->MinContext->SummFreq - hiCnt);
1193 PPMD_SetAllBitsIn256Bytes(charMask);
1194 MASK(s->Symbol) = 0;
1195 i = p->MinContext->NumStats;
1196 do { MASK((--s)->Symbol) = 0; } while (--i);
1200 UInt16 *prob = Ppmd8_GetBinSumm(p);
1201 if (((p->Code / (p->Range >>= 14)) < *prob))
1204 RangeDec_Decode(p, 0, *prob);
1205 *prob = (UInt16)PPMD_UPDATE_PROB_0(*prob);
1206 symbol = (p->FoundState = Ppmd8Context_OneState(p->MinContext))->Symbol;
1210 RangeDec_Decode(p, *prob, (1 << 14) - *prob);
1211 *prob = (UInt16)PPMD_UPDATE_PROB_1(*prob);
1212 p->InitEsc = PPMD8_kExpEscape[*prob >> 10];
1213 PPMD_SetAllBitsIn256Bytes(charMask);
1214 MASK(Ppmd8Context_OneState(p->MinContext)->Symbol) = 0;
1219 CPpmd_State *ps[256], *s;
1220 UInt32 freqSum, count, hiCnt;
1222 unsigned i, num, numMasked = p->MinContext->NumStats;
1226 if (!p->MinContext->Suffix)
1228 p->MinContext = Ppmd8_GetContext(p, p->MinContext->Suffix);
1230 while (p->MinContext->NumStats == numMasked);
1232 s = Ppmd8_GetStats(p, p->MinContext);
1234 num = p->MinContext->NumStats - numMasked;
1237 int k = (int)(MASK(s->Symbol));
1238 hiCnt += (s->Freq & k);
1244 see = Ppmd8_MakeEscFreq(p, numMasked, &freqSum);
1246 count = RangeDec_GetThreshold(p, freqSum);
1251 CPpmd_State **pps = ps;
1252 for (hiCnt = 0; (hiCnt += (*pps)->Freq) <= count; pps++);
1254 RangeDec_Decode(p, hiCnt - s->Freq, s->Freq);
1255 Ppmd_See_Update(see);
1261 if (count >= freqSum)
1263 RangeDec_Decode(p, hiCnt, freqSum - hiCnt);
1264 see->Summ = (UInt16)(see->Summ + freqSum);
1265 do { MASK(ps[--i]->Symbol) = 0; } while (i != 0);
1271 GlewCount, and Glue method
1274 CreateSuccessors updates more suffix contexts
1279 const IPpmd8 __archive_ppmd8_functions =
1285 &Ppmd8_RangeDec_Init,
1286 &Ppmd8_DecodeSymbol,