Lines Matching refs:assert
49 assert(ip + 8 <= iend); /* condition for ZSTD_hashPtr */ in ZSTD_updateDUBT()
52 assert(idx >= ms->window.dictLimit); /* condition for valid base+idx */ in ZSTD_updateDUBT()
104 assert(curr >= btLow); in ZSTD_insertDUBT1()
105 assert(ip < iend); /* condition for ZSTD_count */ in ZSTD_insertDUBT1()
110 assert(matchIndex < curr); in ZSTD_insertDUBT1()
121 …assert( (matchIndex+matchLength >= dictLimit) /* might be wrong if extDict is incorrectly set to… in ZSTD_insertDUBT1()
198 assert(dictMode == ZSTD_dictMatchState); in ZSTD_DUBT_findBetterDictMatch()
273 assert(ip <= iend-8); /* required for h calculation */ in ZSTD_DUBT_findBestMatch()
274 assert(dictMode != ZSTD_dedicatedDictSearch); in ZSTD_DUBT_findBestMatch()
373 assert(nbCompares <= (1U << ZSTD_SEARCHLOG_MAX)); /* Check we haven't underflowed. */ in ZSTD_DUBT_findBestMatch()
381 assert(matchEndIdx > curr+8); /* ensure nextToUpdate is increased */ in ZSTD_DUBT_findBestMatch()
438 assert(ms->cParams.chainLog <= 24); in ZSTD_dedicatedDictSearch_lazy_loadDictionary()
439 assert(ms->cParams.hashLog > ms->cParams.chainLog); in ZSTD_dedicatedDictSearch_lazy_loadDictionary()
440 assert(idx != 0); in ZSTD_dedicatedDictSearch_lazy_loadDictionary()
441 assert(tmpMinChain <= minChain); in ZSTD_dedicatedDictSearch_lazy_loadDictionary()
498 assert(chainPos <= chainSize); /* I believe this is guaranteed... */ in ZSTD_dedicatedDictSearch_lazy_loadDictionary()
568 assert(matchIndex >= ddsLowestIndex); in ZSTD_dedicatedDictSearch_lazy_search()
569 assert(match+4 <= ddsEnd); in ZSTD_dedicatedDictSearch_lazy_search()
605 assert(matchIndex >= ddsLowestIndex); in ZSTD_dedicatedDictSearch_lazy_search()
606 assert(match+4 <= ddsEnd); in ZSTD_dedicatedDictSearch_lazy_search()
713 … assert(matchIndex >= dictLimit); /* ensures this is true if dictMode != ZSTD_extDict */ in ZSTD_HcFindBestMatch()
719 assert(match+4 <= dictEnd); in ZSTD_HcFindBestMatch()
735 assert(nbAttempts <= (1U << ZSTD_SEARCHLOG_MAX)); /* Check we haven't underflowed. */ in ZSTD_HcFindBestMatch()
755 assert(match+4 <= dmsEnd); in ZSTD_HcFindBestMatch()
762 assert(curr > matchIndex + dmsIndexDelta); in ZSTD_HcFindBestMatch()
810 assert((align & (align - 1)) == 0); in ZSTD_isAligned()
827 assert(rowLog == 4 || rowLog == 5 || rowLog == 6); in ZSTD_row_prefetch()
828 …assert(ZSTD_isAligned(hashTable + relRow, 64)); /* prefetched hash row always 64-b… in ZSTD_row_prefetch()
829 …assert(ZSTD_isAligned(tagTable + relRow, (size_t)1 << rowLog)); /* prefetched tagRow sits on corre… in ZSTD_row_prefetch()
905 …assert(hash == ZSTD_hashPtrSalted(base + updateStartIdx, hashLog + ZSTD_ROW_HASH_TAG_BITS, mls, ms… in ZSTD_row_update_internalImpl()
941 assert(target >= idx); in ZSTD_row_update_internal()
966 assert((rowEntries == 16) || (rowEntries == 32) || rowEntries == 64); in ZSTD_row_matchMaskGroupWidth()
967 assert(rowEntries <= ZSTD_ROW_HASH_MAX_ENTRIES); in ZSTD_row_matchMaskGroupWidth()
994 assert(nbChunks == 1 || nbChunks == 2 || nbChunks == 4); in ZSTD_row_getSSEMask()
1002 assert(nbChunks == 4); in ZSTD_row_getSSEMask()
1011 assert((rowEntries == 16) || (rowEntries == 32) || rowEntries == 64); in ZSTD_row_getNEONMask()
1065 assert((rowEntries == 16) || (rowEntries == 32) || rowEntries == 64); in ZSTD_row_getMatchMask()
1066 assert(rowEntries <= ZSTD_ROW_HASH_MAX_ENTRIES); in ZSTD_row_getMatchMask()
1067 assert(ZSTD_row_matchMaskGroupWidth(rowEntries) * rowEntries <= sizeof(ZSTD_VecMask) * 8); in ZSTD_row_getMatchMask()
1090 assert((sizeof(size_t) == 4) || (sizeof(size_t) == 8)); in ZSTD_row_getMatchMask()
1234 assert(numMatches < rowEntries); in ZSTD_RowFindBestMatch()
1258 assert(matchIndex < curr); in ZSTD_RowFindBestMatch()
1259 assert(matchIndex >= lowLimit); in ZSTD_RowFindBestMatch()
1263 … assert(matchIndex >= dictLimit); /* ensures this is true if dictMode != ZSTD_extDict */ in ZSTD_RowFindBestMatch()
1269 assert(match+4 <= dictEnd); in ZSTD_RowFindBestMatch()
1283 assert(nbAttempts <= (1U << ZSTD_SEARCHLOG_MAX)); /* Check we haven't underflowed. */ in ZSTD_RowFindBestMatch()
1316 assert(matchIndex >= dmsLowestIndex); in ZSTD_RowFindBestMatch()
1317 assert(matchIndex < curr); in ZSTD_RowFindBestMatch()
1320 assert(match+4 <= dmsEnd); in ZSTD_RowFindBestMatch()
1327 assert(curr > matchIndex + dmsIndexDelta); in ZSTD_RowFindBestMatch()
1372 assert(MAX(4, MIN(6, ms->cParams.minMatch)) == mls); \
1382 assert(MAX(4, MIN(6, ms->cParams.minMatch)) == mls); \
1392 assert(MAX(4, MIN(6, ms->cParams.minMatch)) == mls); \
1393 assert(MAX(4, MIN(6, ms->cParams.searchLog)) == rowLog); \
1563 assert(offset_1 <= dictAndPrefixLength); in ZSTD_compressBlock_lazy_generic()
1564 assert(offset_2 <= dictAndPrefixLength); in ZSTD_compressBlock_lazy_generic()