2008-08-28 19:53:15 +00:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
/// \file lzma_encoder_optimum_fast.c
|
|
|
|
//
|
|
|
|
// Copyright (C) 1999-2008 Igor Pavlov
|
|
|
|
//
|
|
|
|
// This library is free software; you can redistribute it and/or
|
|
|
|
// modify it under the terms of the GNU Lesser General Public
|
|
|
|
// License as published by the Free Software Foundation; either
|
|
|
|
// version 2.1 of the License, or (at your option) any later version.
|
|
|
|
//
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
// Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
#include "lzma_encoder_private.h"
|
|
|
|
|
|
|
|
|
|
|
|
#define change_pair(small_dist, big_dist) \
|
|
|
|
(((big_dist) >> 7) > (small_dist))
|
|
|
|
|
|
|
|
|
|
|
|
static inline void
|
|
|
|
literal(const lzma_coder *restrict coder, const uint8_t *restrict buf,
|
|
|
|
uint32_t *restrict back_res, uint32_t *restrict len_res)
|
|
|
|
{
|
|
|
|
// Try short rep0 instead of always coding it as a literal.
|
|
|
|
*back_res = *buf == *(buf - coder->reps[0] - 1) ? 0 : UINT32_MAX;
|
|
|
|
*len_res = 1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
extern void
|
|
|
|
lzma_lzma_optimum_fast(lzma_coder *restrict coder, lzma_mf *restrict mf,
|
|
|
|
uint32_t *restrict back_res, uint32_t *restrict len_res)
|
|
|
|
{
|
2008-09-27 16:09:21 +00:00
|
|
|
const uint32_t nice_len = mf->nice_len;
|
2008-08-28 19:53:15 +00:00
|
|
|
|
|
|
|
uint32_t len_main;
|
|
|
|
uint32_t matches_count;
|
|
|
|
if (mf->read_ahead == 0) {
|
|
|
|
len_main = mf_find(mf, &matches_count, coder->matches);
|
|
|
|
} else {
|
|
|
|
assert(mf->read_ahead == 1);
|
|
|
|
len_main = coder->longest_match_length;
|
|
|
|
matches_count = coder->matches_count;
|
|
|
|
}
|
|
|
|
|
|
|
|
const uint8_t *buf = mf_ptr(mf) - 1;
|
|
|
|
const uint32_t buf_avail = MIN(mf_avail(mf) + 1, MATCH_LEN_MAX);
|
|
|
|
|
|
|
|
if (buf_avail < 2) {
|
|
|
|
// There's not enough input left to encode a match.
|
|
|
|
literal(coder, buf, back_res, len_res);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Look for repeated matches; scan the previous four match distances
|
|
|
|
uint32_t rep_len = 0;
|
|
|
|
uint32_t rep_index = 0;
|
|
|
|
|
|
|
|
for (uint32_t i = 0; i < REP_DISTANCES; ++i) {
|
|
|
|
// Pointer to the beginning of the match candidate
|
|
|
|
const uint8_t *const buf_back = buf - coder->reps[i] - 1;
|
|
|
|
|
|
|
|
// If the first two bytes (2 == MATCH_LEN_MIN) do not match,
|
|
|
|
// this rep is not useful.
|
|
|
|
if (not_equal_16(buf, buf_back))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
// The first two bytes matched.
|
|
|
|
// Calculate the length of the match.
|
|
|
|
uint32_t len;
|
|
|
|
for (len = 2; len < buf_avail
|
|
|
|
&& buf[len] == buf_back[len]; ++len) ;
|
|
|
|
|
|
|
|
// If we have found a repeated match that is at least
|
2008-09-27 16:09:21 +00:00
|
|
|
// nice_len long, return it immediatelly.
|
|
|
|
if (len >= nice_len) {
|
2008-08-28 19:53:15 +00:00
|
|
|
*back_res = i;
|
|
|
|
*len_res = len;
|
|
|
|
mf_skip(mf, len - 1);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (len > rep_len) {
|
|
|
|
rep_index = i;
|
|
|
|
rep_len = len;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// We didn't find a long enough repeated match. Encode it as a normal
|
2008-09-27 16:09:21 +00:00
|
|
|
// match if the match length is at least nice_len.
|
|
|
|
if (len_main >= nice_len) {
|
2008-08-28 19:53:15 +00:00
|
|
|
*back_res = coder->matches[matches_count - 1].dist
|
|
|
|
+ REP_DISTANCES;
|
|
|
|
*len_res = len_main;
|
|
|
|
mf_skip(mf, len_main - 1);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
uint32_t back_main = 0;
|
|
|
|
if (len_main >= 2) {
|
|
|
|
back_main = coder->matches[matches_count - 1].dist;
|
|
|
|
|
|
|
|
while (matches_count > 1 && len_main ==
|
|
|
|
coder->matches[matches_count - 2].len + 1) {
|
|
|
|
if (!change_pair(coder->matches[
|
|
|
|
matches_count - 2].dist,
|
|
|
|
back_main))
|
|
|
|
break;
|
|
|
|
|
|
|
|
--matches_count;
|
|
|
|
len_main = coder->matches[matches_count - 1].len;
|
|
|
|
back_main = coder->matches[matches_count - 1].dist;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (len_main == 2 && back_main >= 0x80)
|
|
|
|
len_main = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (rep_len >= 2) {
|
|
|
|
if (rep_len + 1 >= len_main
|
|
|
|
|| (rep_len + 2 >= len_main
|
|
|
|
&& back_main > (UINT32_C(1) << 9))
|
|
|
|
|| (rep_len + 3 >= len_main
|
|
|
|
&& back_main > (UINT32_C(1) << 15))) {
|
|
|
|
*back_res = rep_index;
|
|
|
|
*len_res = rep_len;
|
|
|
|
mf_skip(mf, rep_len - 1);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (len_main < 2 || buf_avail <= 2) {
|
|
|
|
literal(coder, buf, back_res, len_res);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Get the matches for the next byte. If we find a better match,
|
|
|
|
// the current byte is encoded as a literal.
|
|
|
|
coder->longest_match_length = mf_find(mf,
|
|
|
|
&coder->matches_count, coder->matches);
|
|
|
|
|
|
|
|
if (coder->longest_match_length >= 2) {
|
|
|
|
const uint32_t new_dist = coder->matches[
|
|
|
|
coder->matches_count - 1].dist;
|
|
|
|
|
|
|
|
if ((coder->longest_match_length >= len_main
|
|
|
|
&& new_dist < back_main)
|
|
|
|
|| (coder->longest_match_length == len_main + 1
|
|
|
|
&& !change_pair(back_main, new_dist))
|
|
|
|
|| (coder->longest_match_length > len_main + 1)
|
|
|
|
|| (coder->longest_match_length + 1 >= len_main
|
|
|
|
&& len_main >= 3
|
|
|
|
&& change_pair(new_dist, back_main))) {
|
|
|
|
literal(coder, buf, back_res, len_res);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// In contrast to LZMA SDK, dictionary could not have been moved
|
|
|
|
// between mf_find() calls, thus it is safe to just increment
|
|
|
|
// the old buf pointer instead of recalculating it with mf_ptr().
|
|
|
|
++buf;
|
|
|
|
|
|
|
|
const uint32_t limit = len_main - 1;
|
|
|
|
|
|
|
|
for (uint32_t i = 0; i < REP_DISTANCES; ++i) {
|
|
|
|
const uint8_t *const buf_back = buf - coder->reps[i] - 1;
|
|
|
|
|
|
|
|
if (not_equal_16(buf, buf_back))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
uint32_t len;
|
|
|
|
for (len = 2; len < limit
|
|
|
|
&& buf[len] == buf_back[len]; ++len) ;
|
|
|
|
|
|
|
|
if (len >= limit) {
|
|
|
|
literal(coder, buf - 1, back_res, len_res);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
*back_res = back_main + REP_DISTANCES;
|
|
|
|
*len_res = len_main;
|
|
|
|
mf_skip(mf, len_main - 2);
|
|
|
|
return;
|
|
|
|
}
|