Lines Matching refs:assert
64 assert(hb + BITCOST_ACCURACY < 31); in ZSTD_fracWeight()
111 assert(shift < 30); in ZSTD_downscaleStats()
129 assert(logTarget < 30); in ZSTD_scaleStats()
158 assert(optPtr->symbolCosts != NULL); in ZSTD_rescaleFreqs()
167 assert(optPtr->litFreq != NULL); in ZSTD_rescaleFreqs()
172 assert(bitCost <= scaleLog); in ZSTD_rescaleFreqs()
184 assert(bitCost < scaleLog); in ZSTD_rescaleFreqs()
196 assert(bitCost < scaleLog); in ZSTD_rescaleFreqs()
208 assert(bitCost < scaleLog); in ZSTD_rescaleFreqs()
215 assert(optPtr->litFreq != NULL); in ZSTD_rescaleFreqs()
284 assert(optPtr->litSumBasePrice >= BITCOST_MULTIPLIER); in ZSTD_rawLiteralsCost()
298 assert(litLength <= ZSTD_BLOCKSIZE_MAX); in ZSTD_litLengthPrice()
333 assert(matchLength >= MINMATCH); in ZSTD_getMatchPrice()
377 assert(offCode <= MaxOff); in ZSTD_updateStats()
422 assert(hashLog3 > 0); in ZSTD_insertAndFindFirstIndexHash3()
485 assert(curr <= target); in ZSTD_insertBt1()
486 assert(ip <= iend-8); /* required for h calculation */ in ZSTD_insertBt1()
489 assert(windowLow > 0); in ZSTD_insertBt1()
493 assert(matchIndex < curr); in ZSTD_insertBt1()
517 assert(matchIndex+matchLength >= dictLimit); /* might be wrong if actually extDict */ in ZSTD_insertBt1()
556 assert(matchEndIdx > curr + 8); in ZSTD_insertBt1()
576 assert(idx < (U32)(idx + forward)); in ZSTD_updateTree_internal()
579 assert((size_t)(ip - base) <= (size_t)(U32)(-1)); in ZSTD_updateTree_internal()
580 assert((size_t)(iend - base) <= (size_t)(U32)(-1)); in ZSTD_updateTree_internal()
646 assert(ll0 <= 1); /* necessarily 1 or 0 */ in ZSTD_insertBtAndGetAllMatches()
653 assert(curr >= dictLimit); in ZSTD_insertBtAndGetAllMatches()
665 assert(curr >= windowLow); in ZSTD_insertBtAndGetAllMatches()
710 assert(curr > matchIndex3); in ZSTD_insertBtAndGetAllMatches()
711 assert(mnum==0); /* no prior solution */ in ZSTD_insertBtAndGetAllMatches()
729 assert(curr > matchIndex); in ZSTD_insertBtAndGetAllMatches()
732 … assert(matchIndex+matchLength >= dictLimit); /* ensure the condition is correct when !extDict */ in ZSTD_insertBtAndGetAllMatches()
734 …if (matchIndex >= dictLimit) assert(memcmp(match, ip, matchLength) == 0); /* ensure early section… in ZSTD_insertBtAndGetAllMatches()
738 …assert(memcmp(match, ip, matchLength) == 0); /* ensure early section of match is equal as expecte… in ZSTD_insertBtAndGetAllMatches()
747 assert(matchEndIdx > matchIndex); in ZSTD_insertBtAndGetAllMatches()
777 assert(nbCompares <= (1U << ZSTD_SEARCHLOG_MAX)); /* Check we haven't underflowed. */ in ZSTD_insertBtAndGetAllMatches()
816 assert(matchEndIdx > curr+8); in ZSTD_insertBtAndGetAllMatches()
845 assert(BOUNDED(3, ms->cParams.minMatch, 6) == mls); in ZSTD_btGetAllMatches_internal()
898 assert((U32)dictMode < 3);
899 assert(mls - 3 < 4);
959 assert(optLdm->seqStore.posInSequence <= currSeq.litLength + currSeq.matchLength); in ZSTD_opt_getNextMatchAndUpdateSeqStore()
1115 assert(optLevel <= 2); in ZSTD_compressBlock_opt_generic()
1173 assert(opt[0].price >= 0); in ZSTD_compressBlock_opt_generic()
1203 assert(cur <= ZSTD_OPT_NUM); in ZSTD_compressBlock_opt_generic()
1211 assert(price < 1000000000); /* overflow check */ in ZSTD_compressBlock_opt_generic()
1235 assert(cur >= prevMatch.mlen); in ZSTD_compressBlock_opt_generic()
1256 assert(cur >= opt[cur].mlen); in ZSTD_compressBlock_opt_generic()
1275 assert(opt[cur].price >= 0); in ZSTD_compressBlock_opt_generic()
1342 assert(cur >= lastStretch.mlen); in ZSTD_compressBlock_opt_generic()
1346 assert(opt[0].mlen == 0); in ZSTD_compressBlock_opt_generic()
1347 assert(last_pos >= lastStretch.mlen); in ZSTD_compressBlock_opt_generic()
1348 assert(cur == last_pos - lastStretch.mlen); in ZSTD_compressBlock_opt_generic()
1352 assert(lastStretch.litlen == (ip - anchor) + last_pos); in ZSTD_compressBlock_opt_generic()
1356 assert(lastStretch.off > 0); in ZSTD_compressBlock_opt_generic()
1365 assert(cur >= lastStretch.litlen); in ZSTD_compressBlock_opt_generic()
1383 assert(storeEnd < ZSTD_OPT_SIZE); in ZSTD_compressBlock_opt_generic()
1407 assert(nextStretch.litlen + nextStretch.mlen <= stretchPos); in ZSTD_compressBlock_opt_generic()
1423 assert(storePos == storeEnd); /* must be last sequence */ in ZSTD_compressBlock_opt_generic()
1428 assert(anchor + llen <= iend); in ZSTD_compressBlock_opt_generic()
1494 assert(ms->opt.litLengthSum == 0); /* first block */ in ZSTD_initStats_ultra()
1495 assert(seqStore->sequences == seqStore->sequencesStart); /* no ldm */ in ZSTD_initStats_ultra()
1496 assert(ms->window.dictLimit == ms->window.lowLimit); /* no dictionary */ in ZSTD_initStats_ultra()
1497 …assert(ms->window.dictLimit - ms->nextToUpdate <= 1); /* no prefix (note: intentional overflow, d… in ZSTD_initStats_ultra()
1533 assert(srcSize <= ZSTD_BLOCKSIZE_MAX); in ZSTD_compressBlock_btultra2()