Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line | 
|---|---|---|---|
| 26 | pmbaty | 1 | /* ucl_swd.c -- sliding window dictionary | 
| 2 | |||
| 3 | This file is part of the UCL data compression library. | ||
| 4 | |||
| 5 | Copyright (C) 1996-2004 Markus Franz Xaver Johannes Oberhumer | ||
| 6 | All Rights Reserved. | ||
| 7 | |||
| 8 | The UCL library is free software; you can redistribute it and/or | ||
| 9 | modify it under the terms of the GNU General Public License as | ||
| 10 | published by the Free Software Foundation; either version 2 of | ||
| 11 | the License, or (at your option) any later version. | ||
| 12 | |||
| 13 | The UCL library is distributed in the hope that it will be useful, | ||
| 14 | but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
| 15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
| 16 | GNU General Public License for more details. | ||
| 17 | |||
| 18 | You should have received a copy of the GNU General Public License | ||
| 19 | along with the UCL library; see the file COPYING. | ||
| 20 | If not, write to the Free Software Foundation, Inc., | ||
| 21 | 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. | ||
| 22 | |||
| 23 | Markus F.X.J. Oberhumer | ||
| 24 | <markus@oberhumer.com> | ||
| 25 | http://www.oberhumer.com/opensource/ucl/ | ||
| 26 | */ | ||
| 27 | |||
| 28 | |||
| 29 | #if (UCL_UINT_MAX < UCL_0xffffffffL) | ||
| 30 | # error "UCL_UINT_MAX" | ||
| 31 | #endif | ||
| 32 | |||
| 33 | |||
| 34 | /*********************************************************************** | ||
| 35 | // | ||
| 36 | ************************************************************************/ | ||
| 37 | |||
| 38 | /* unsigned type for dictionary access - don't waste memory here */ | ||
| 39 | #if (0UL + SWD_N + SWD_F + SWD_F < 0UL + USHRT_MAX) | ||
| 40 | typedef unsigned short swd_uint; | ||
| 41 | # define SWD_UINT_MAX USHRT_MAX | ||
| 42 | #else | ||
| 43 | typedef ucl_uint swd_uint; | ||
| 44 | # define SWD_UINT_MAX UCL_UINT_MAX | ||
| 45 | #endif | ||
| 46 | #define swd_uintp swd_uint __UCL_MMODEL * | ||
| 47 | #define SWD_UINT(x) ((swd_uint)(x)) | ||
| 48 | |||
| 49 | |||
| 50 | #ifndef SWD_MAX_CHAIN | ||
| 51 | # define SWD_MAX_CHAIN 2048 | ||
| 52 | #endif | ||
| 53 | #define SWD_HSIZE (SWD_HMASK + 1) | ||
| 54 | |||
| 55 | #if !defined(HEAD3) | ||
| 56 | #if 1 | ||
| 57 | # define HEAD3(b,p) \ | ||
| 58 | (((0x9f5f*(((((ucl_uint32)b[p]<<5)^b[p+1])<<5)^b[p+2]))>>5) & SWD_HMASK) | ||
| 59 | #else | ||
| 60 | # define HEAD3(b,p) \ | ||
| 61 | (((0x9f5f*(((((ucl_uint32)b[p+2]<<5)^b[p+1])<<5)^b[p]))>>5) & SWD_HMASK) | ||
| 62 | #endif | ||
| 63 | #endif | ||
| 64 | |||
| 65 | #if !defined(HEAD2) | ||
| 66 | #if (SWD_THRESHOLD == 1) | ||
| 67 | # if 1 && defined(UA_GET2) | ||
| 68 | # define HEAD2(b,p) UA_GET2(&(b[p])) | ||
| 69 | # else | ||
| 70 | # define HEAD2(b,p) (b[p] ^ ((unsigned)b[p+1]<<8)) | ||
| 71 | # endif | ||
| 72 | # define NIL2 SWD_UINT_MAX | ||
| 73 | #endif | ||
| 74 | #endif | ||
| 75 | |||
| 76 | |||
| 77 | #if defined(__UCL_CHECKER) | ||
| 78 | /* malloc arrays of the exact size to detect any overrun */ | ||
| 79 | # ifndef SWD_USE_MALLOC | ||
| 80 | # define SWD_USE_MALLOC | ||
| 81 | # endif | ||
| 82 | #endif | ||
| 83 | |||
| 84 | |||
| 85 | typedef struct | ||
| 86 | { | ||
| 87 | /* public - "built-in" */ | ||
| 88 | ucl_uint n; | ||
| 89 | ucl_uint f; | ||
| 90 | ucl_uint threshold; | ||
| 91 | ucl_uint hmask; | ||
| 92 | |||
| 93 | /* public - configuration */ | ||
| 94 | ucl_uint max_chain; | ||
| 95 | ucl_uint nice_length; | ||
| 96 | ucl_bool use_best_off; | ||
| 97 | ucl_uint lazy_insert; | ||
| 98 | |||
| 99 | /* public - output */ | ||
| 100 | ucl_uint m_len; | ||
| 101 | ucl_uint m_off; | ||
| 102 | ucl_uint look; | ||
| 103 | int b_char; | ||
| 104 | #if defined(SWD_BEST_OFF) | ||
| 105 | ucl_uint best_off[ SWD_BEST_OFF ]; | ||
| 106 | #endif | ||
| 107 | |||
| 108 | /* semi public */ | ||
| 109 | UCL_COMPRESS_T *c; | ||
| 110 | ucl_uint m_pos; | ||
| 111 | #if defined(SWD_BEST_OFF) | ||
| 112 | ucl_uint best_pos[ SWD_BEST_OFF ]; | ||
| 113 | #endif | ||
| 114 | |||
| 115 | /* private */ | ||
| 116 | const ucl_bytep dict; | ||
| 117 | const ucl_bytep dict_end; | ||
| 118 | ucl_uint dict_len; | ||
| 119 | |||
| 120 | /* private */ | ||
| 121 | ucl_uint ip; /* input pointer (lookahead) */ | ||
| 122 | ucl_uint bp; /* buffer pointer */ | ||
| 123 | ucl_uint rp; /* remove pointer */ | ||
| 124 | ucl_uint b_size; | ||
| 125 | |||
| 126 | ucl_bytep b_wrap; | ||
| 127 | |||
| 128 | ucl_uint node_count; | ||
| 129 | ucl_uint first_rp; | ||
| 130 | |||
| 131 | #if defined(SWD_USE_MALLOC) | ||
| 132 | ucl_bytep b; | ||
| 133 | swd_uintp head3; | ||
| 134 | swd_uintp succ3; | ||
| 135 | swd_uintp best3; | ||
| 136 | swd_uintp llen3; | ||
| 137 | #ifdef HEAD2 | ||
| 138 | swd_uintp head2; | ||
| 139 | #ifdef HEAD2_VAR | ||
| 140 | int use_head2; | ||
| 141 | #endif | ||
| 142 | #endif | ||
| 143 | #else | ||
| 144 | unsigned char b [ SWD_N + SWD_F + SWD_F ]; | ||
| 145 | swd_uint head3 [ SWD_HSIZE ]; | ||
| 146 | swd_uint succ3 [ SWD_N + SWD_F ]; | ||
| 147 | swd_uint best3 [ SWD_N + SWD_F ]; | ||
| 148 | swd_uint llen3 [ SWD_HSIZE ]; | ||
| 149 | #ifdef HEAD2 | ||
| 150 | swd_uint head2 [ UCL_UINT32_C(65536) ]; | ||
| 151 | #endif | ||
| 152 | #endif | ||
| 153 | } | ||
| 154 | ucl_swd_t; | ||
| 155 | |||
| 156 | |||
| 157 | /* Access macro for head3. | ||
| 158 | * head3[key] may be uninitialized if the list is emtpy, | ||
| 159 | * but then its value will never be used. | ||
| 160 | */ | ||
| 161 | #if defined(__UCL_CHECKER) | ||
| 162 | # define s_get_head3(s,key) \ | ||
| 163 | ((s->llen3[key] == 0) ? SWD_UINT_MAX : s->head3[key]) | ||
| 164 | #else | ||
| 165 | # define s_get_head3(s,key) s->head3[key] | ||
| 166 | #endif | ||
| 167 | |||
| 168 | |||
| 169 | /*********************************************************************** | ||
| 170 | // | ||
| 171 | ************************************************************************/ | ||
| 172 | |||
| 173 | static | ||
| 174 | void swd_initdict(ucl_swd_t *s, const ucl_bytep dict, ucl_uint dict_len) | ||
| 175 | { | ||
| 176 | s->dict = s->dict_end = NULL; | ||
| 177 | s->dict_len = 0; | ||
| 178 | |||
| 179 | if (!dict || dict_len <= 0) | ||
| 180 | return; | ||
| 181 | if (dict_len > s->n) | ||
| 182 |     { | ||
| 183 | dict += dict_len - s->n; | ||
| 184 | dict_len = s->n; | ||
| 185 | } | ||
| 186 | |||
| 187 | s->dict = dict; | ||
| 188 | s->dict_len = dict_len; | ||
| 189 | s->dict_end = dict + dict_len; | ||
| 190 | ucl_memcpy(s->b,dict,dict_len); | ||
| 191 | s->ip = dict_len; | ||
| 192 | } | ||
| 193 | |||
| 194 | |||
| 195 | static | ||
| 196 | void swd_insertdict(ucl_swd_t *s, ucl_uint node, ucl_uint len) | ||
| 197 | { | ||
| 198 | ucl_uint key; | ||
| 199 | |||
| 200 | s->node_count = s->n - len; | ||
| 201 | s->first_rp = node; | ||
| 202 | |||
| 203 | while (len-- > 0) | ||
| 204 |     { | ||
| 205 | key = HEAD3(s->b,node); | ||
| 206 | s->succ3[node] = s_get_head3(s,key); | ||
| 207 | s->head3[key] = SWD_UINT(node); | ||
| 208 | s->best3[node] = SWD_UINT(s->f + 1); | ||
| 209 | s->llen3[key]++; | ||
| 210 | assert(s->llen3[key] <= s->n); | ||
| 211 | |||
| 212 | #ifdef HEAD2 | ||
| 213 |         IF_HEAD2(s) { | ||
| 214 | key = HEAD2(s->b,node); | ||
| 215 | s->head2[key] = SWD_UINT(node); | ||
| 216 | } | ||
| 217 | #endif | ||
| 218 | |||
| 219 | node++; | ||
| 220 | } | ||
| 221 | } | ||
| 222 | |||
| 223 | |||
| 224 | /*********************************************************************** | ||
| 225 | // | ||
| 226 | ************************************************************************/ | ||
| 227 | |||
| 228 | static | ||
| 229 | int swd_init(ucl_swd_t *s, const ucl_bytep dict, ucl_uint dict_len) | ||
| 230 | { | ||
| 231 | #if defined(SWD_USE_MALLOC) | ||
| 232 | s->b = NULL; | ||
| 233 | s->head3 = NULL; | ||
| 234 | s->succ3 = NULL; | ||
| 235 | s->best3 = NULL; | ||
| 236 | s->llen3 = NULL; | ||
| 237 | #ifdef HEAD2 | ||
| 238 | s->head2 = NULL; | ||
| 239 | #endif | ||
| 240 | #endif | ||
| 241 | |||
| 242 | if (s->n == 0) | ||
| 243 | s->n = SWD_N; | ||
| 244 | if (s->f == 0) | ||
| 245 | s->f = SWD_F; | ||
| 246 | s->threshold = SWD_THRESHOLD; | ||
| 247 | if (s->n > SWD_N || s->f > SWD_F) | ||
| 248 | return UCL_E_INVALID_ARGUMENT; | ||
| 249 | |||
| 250 | #if defined(SWD_USE_MALLOC) | ||
| 251 | s->b = (ucl_bytep) ucl_malloc(s->n + s->f + s->f); | ||
| 252 | s->head3 = (swd_uintp) ucl_alloc(SWD_HSIZE, sizeof(*s->head3)); | ||
| 253 | s->succ3 = (swd_uintp) ucl_alloc(s->n + s->f, sizeof(*s->succ3)); | ||
| 254 | s->best3 = (swd_uintp) ucl_alloc(s->n + s->f, sizeof(*s->best3)); | ||
| 255 | s->llen3 = (swd_uintp) ucl_alloc(SWD_HSIZE, sizeof(*s->llen3)); | ||
| 256 | if (!s->b || !s->head3 || !s->succ3 || !s->best3 || !s->llen3) | ||
| 257 | return UCL_E_OUT_OF_MEMORY; | ||
| 258 | #ifdef HEAD2 | ||
| 259 |     IF_HEAD2(s) { | ||
| 260 | s->head2 = (swd_uintp) ucl_alloc(UCL_UINT32_C(65536), sizeof(*s->head2)); | ||
| 261 | if (!s->head2) | ||
| 262 | return UCL_E_OUT_OF_MEMORY; | ||
| 263 | } | ||
| 264 | #endif | ||
| 265 | #endif | ||
| 266 | |||
| 267 | /* defaults */ | ||
| 268 | s->max_chain = SWD_MAX_CHAIN; | ||
| 269 | s->nice_length = s->f; | ||
| 270 | s->use_best_off = 0; | ||
| 271 | s->lazy_insert = 0; | ||
| 272 | |||
| 273 | s->b_size = s->n + s->f; | ||
| 274 | if (s->b_size + s->f >= SWD_UINT_MAX) | ||
| 275 | return UCL_E_ERROR; | ||
| 276 | s->b_wrap = s->b + s->b_size; | ||
| 277 | s->node_count = s->n; | ||
| 278 | |||
| 279 | ucl_memset(s->llen3, 0, (ucl_uint)sizeof(s->llen3[0]) * SWD_HSIZE); | ||
| 280 | #ifdef HEAD2 | ||
| 281 |     IF_HEAD2(s) { | ||
| 282 | #if 1 | ||
| 283 | ucl_memset(s->head2, 0xff, (ucl_uint)sizeof(s->head2[0]) * UCL_UINT32_C(65536)); | ||
| 284 | assert(s->head2[0] == NIL2); | ||
| 285 | #else | ||
| 286 | ucl_uint32 i; | ||
| 287 | for (i = 0; i < UCL_UINT32_C(65536); i++) | ||
| 288 | s->head2[i] = NIL2; | ||
| 289 | #endif | ||
| 290 | } | ||
| 291 | #endif | ||
| 292 | |||
| 293 | s->ip = 0; | ||
| 294 | swd_initdict(s,dict,dict_len); | ||
| 295 | s->bp = s->ip; | ||
| 296 | s->first_rp = s->ip; | ||
| 297 | |||
| 298 | assert(s->ip + s->f <= s->b_size); | ||
| 299 | #if 1 | ||
| 300 | s->look = (ucl_uint) (s->c->in_end - s->c->ip); | ||
| 301 | if (s->look > 0) | ||
| 302 |     { | ||
| 303 | if (s->look > s->f) | ||
| 304 | s->look = s->f; | ||
| 305 | ucl_memcpy(&s->b[s->ip],s->c->ip,s->look); | ||
| 306 | s->c->ip += s->look; | ||
| 307 | s->ip += s->look; | ||
| 308 | } | ||
| 309 | #else | ||
| 310 | s->look = 0; | ||
| 311 | while (s->look < s->f) | ||
| 312 |     { | ||
| 313 | int c; | ||
| 314 | if ((c = getbyte(*(s->c))) < 0) | ||
| 315 | break; | ||
| 316 | s->b[s->ip] = UCL_BYTE(c); | ||
| 317 | s->ip++; | ||
| 318 | s->look++; | ||
| 319 | } | ||
| 320 | #endif | ||
| 321 | if (s->ip == s->b_size) | ||
| 322 | s->ip = 0; | ||
| 323 | |||
| 324 | if (s->look >= 2 && s->dict_len > 0) | ||
| 325 | swd_insertdict(s,0,s->dict_len); | ||
| 326 | |||
| 327 | s->rp = s->first_rp; | ||
| 328 | if (s->rp >= s->node_count) | ||
| 329 | s->rp -= s->node_count; | ||
| 330 | else | ||
| 331 | s->rp += s->b_size - s->node_count; | ||
| 332 | |||
| 333 | #if defined(__UCL_CHECKER) | ||
| 334 | /* initialize memory for the first few HEAD3 (if s->ip is not far | ||
| 335 | * enough ahead to do this job for us). The value doesn't matter. */ | ||
| 336 | if (s->look < 3) | ||
| 337 | ucl_memset(&s->b[s->bp+s->look],0,3); | ||
| 338 | #endif | ||
| 339 | |||
| 340 | return UCL_E_OK; | ||
| 341 | } | ||
| 342 | |||
| 343 | |||
| 344 | static | ||
| 345 | void swd_exit(ucl_swd_t *s) | ||
| 346 | { | ||
| 347 | #if defined(SWD_USE_MALLOC) | ||
| 348 | /* free in reverse order of allocations */ | ||
| 349 | #ifdef HEAD2 | ||
| 350 | ucl_free(s->head2); s->head2 = NULL; | ||
| 351 | #endif | ||
| 352 | ucl_free(s->llen3); s->llen3 = NULL; | ||
| 353 | ucl_free(s->best3); s->best3 = NULL; | ||
| 354 | ucl_free(s->succ3); s->succ3 = NULL; | ||
| 355 | ucl_free(s->head3); s->head3 = NULL; | ||
| 356 | ucl_free(s->b); s->b = NULL; | ||
| 357 | #else | ||
| 358 | ACC_UNUSED(s); | ||
| 359 | #endif | ||
| 360 | } | ||
| 361 | |||
| 362 | |||
| 363 | #define swd_pos2off(s,pos) \ | ||
| 364 | (s->bp > (pos) ? s->bp - (pos) : s->b_size - ((pos) - s->bp)) | ||
| 365 | |||
| 366 | |||
| 367 | /*********************************************************************** | ||
| 368 | // | ||
| 369 | ************************************************************************/ | ||
| 370 | |||
| 371 | static | ||
| 372 | void swd_getbyte(ucl_swd_t *s) | ||
| 373 | { | ||
| 374 | int c; | ||
| 375 | |||
| 376 | if ((c = getbyte(*(s->c))) < 0) | ||
| 377 |     { | ||
| 378 | if (s->look > 0) | ||
| 379 | --s->look; | ||
| 380 | #if defined(__UCL_CHECKER) | ||
| 381 | /* initialize memory - value doesn't matter */ | ||
| 382 | s->b[s->ip] = 0; | ||
| 383 | if (s->ip < s->f) | ||
| 384 | s->b_wrap[s->ip] = 0; | ||
| 385 | #endif | ||
| 386 | } | ||
| 387 | else | ||
| 388 |     { | ||
| 389 | s->b[s->ip] = UCL_BYTE(c); | ||
| 390 | if (s->ip < s->f) | ||
| 391 | s->b_wrap[s->ip] = UCL_BYTE(c); | ||
| 392 | } | ||
| 393 | if (++s->ip == s->b_size) | ||
| 394 | s->ip = 0; | ||
| 395 | if (++s->bp == s->b_size) | ||
| 396 | s->bp = 0; | ||
| 397 | if (++s->rp == s->b_size) | ||
| 398 | s->rp = 0; | ||
| 399 | } | ||
| 400 | |||
| 401 | |||
| 402 | /*********************************************************************** | ||
| 403 | // remove node from lists | ||
| 404 | ************************************************************************/ | ||
| 405 | |||
| 406 | static | ||
| 407 | void swd_remove_node(ucl_swd_t *s, ucl_uint node) | ||
| 408 | { | ||
| 409 | if (s->node_count == 0) | ||
| 410 |     { | ||
| 411 | ucl_uint key; | ||
| 412 | |||
| 413 | #ifdef UCL_DEBUG | ||
| 414 | if (s->first_rp != UCL_UINT_MAX) | ||
| 415 |         { | ||
| 416 | if (node != s->first_rp) | ||
| 417 |                 printf("Remove %5u: %5u %5u %5u %5u  %6u %6u\n", | ||
| 418 | node, s->rp, s->ip, s->bp, s->first_rp, | ||
| 419 | s->ip - node, s->ip - s->bp); | ||
| 420 | assert(node == s->first_rp); | ||
| 421 | s->first_rp = UCL_UINT_MAX; | ||
| 422 | } | ||
| 423 | #endif | ||
| 424 | |||
| 425 | key = HEAD3(s->b,node); | ||
| 426 | assert(s->llen3[key] > 0); | ||
| 427 | --s->llen3[key]; | ||
| 428 | |||
| 429 | #ifdef HEAD2 | ||
| 430 |         IF_HEAD2(s) { | ||
| 431 | key = HEAD2(s->b,node); | ||
| 432 | assert(s->head2[key] != NIL2); | ||
| 433 | if ((ucl_uint) s->head2[key] == node) | ||
| 434 | s->head2[key] = NIL2; | ||
| 435 | } | ||
| 436 | #endif | ||
| 437 | } | ||
| 438 | else | ||
| 439 | --s->node_count; | ||
| 440 | } | ||
| 441 | |||
| 442 | |||
| 443 | /*********************************************************************** | ||
| 444 | // | ||
| 445 | ************************************************************************/ | ||
| 446 | |||
| 447 | static | ||
| 448 | void swd_accept(ucl_swd_t *s, ucl_uint n) | ||
| 449 | { | ||
| 450 | assert(n <= s->look); | ||
| 451 | |||
| 452 | if (n > 0) do | ||
| 453 |     { | ||
| 454 | ucl_uint key; | ||
| 455 | |||
| 456 | swd_remove_node(s,s->rp); | ||
| 457 | |||
| 458 | /* add bp into HEAD3 */ | ||
| 459 | key = HEAD3(s->b,s->bp); | ||
| 460 | s->succ3[s->bp] = s_get_head3(s,key); | ||
| 461 | s->head3[key] = SWD_UINT(s->bp); | ||
| 462 | s->best3[s->bp] = SWD_UINT(s->f + 1); | ||
| 463 | s->llen3[key]++; | ||
| 464 | assert(s->llen3[key] <= s->n); | ||
| 465 | |||
| 466 | #ifdef HEAD2 | ||
| 467 |         IF_HEAD2(s) { | ||
| 468 | /* add bp into HEAD2 */ | ||
| 469 | key = HEAD2(s->b,s->bp); | ||
| 470 | s->head2[key] = SWD_UINT(s->bp); | ||
| 471 | } | ||
| 472 | #endif | ||
| 473 | |||
| 474 | swd_getbyte(s); | ||
| 475 | } while (--n > 0); | ||
| 476 | } | ||
| 477 | |||
| 478 | |||
| 479 | /*********************************************************************** | ||
| 480 | // | ||
| 481 | ************************************************************************/ | ||
| 482 | |||
| 483 | static | ||
| 484 | void swd_search(ucl_swd_t *s, ucl_uint node, ucl_uint cnt) | ||
| 485 | { | ||
| 486 | const ucl_bytep p1; | ||
| 487 | const ucl_bytep p2; | ||
| 488 | const ucl_bytep px; | ||
| 489 | ucl_uint m_len = s->m_len; | ||
| 490 | const ucl_bytep b = s->b; | ||
| 491 | const ucl_bytep bp = s->b + s->bp; | ||
| 492 | const ucl_bytep bx = s->b + s->bp + s->look; | ||
| 493 | unsigned char scan_end1; | ||
| 494 | |||
| 495 | assert(s->m_len > 0); | ||
| 496 | |||
| 497 | scan_end1 = bp[m_len - 1]; | ||
| 498 | for ( ; cnt-- > 0; node = s->succ3[node]) | ||
| 499 |     { | ||
| 500 | p1 = bp; | ||
| 501 | p2 = b + node; | ||
| 502 | px = bx; | ||
| 503 | |||
| 504 | assert(m_len < s->look); | ||
| 505 | |||
| 506 | if ( | ||
| 507 | #if 1 | ||
| 508 | p2[m_len - 1] == scan_end1 && | ||
| 509 | p2[m_len] == p1[m_len] && | ||
| 510 | #endif | ||
| 511 | p2[0] == p1[0] && | ||
| 512 | p2[1] == p1[1]) | ||
| 513 |         { | ||
| 514 | ucl_uint i; | ||
| 515 | assert(ucl_memcmp(bp,&b[node],3) == 0); | ||
| 516 | |||
| 517 | #if 0 && defined(UA_GET4) | ||
| 518 | p1 += 3; p2 += 3; | ||
| 519 | while (p1 < px && UA_GET4(p1) == UA_GET4(p2)) | ||
| 520 | p1 += 4, p2 += 4; | ||
| 521 | while (p1 < px && *p1 == *p2) | ||
| 522 | p1 += 1, p2 += 1; | ||
| 523 | #else | ||
| 524 | p1 += 2; p2 += 2; | ||
| 525 |             do {} while (++p1 < px && *p1 == *++p2); | ||
| 526 | #endif | ||
| 527 | i = (ucl_uint) (p1 - bp); | ||
| 528 | |||
| 529 | #ifdef UCL_DEBUG | ||
| 530 | if (ucl_memcmp(bp,&b[node],i) != 0) | ||
| 531 |                 printf("%5ld %5ld %02x%02x %02x%02x\n", | ||
| 532 | (long)s->bp, (long) node, | ||
| 533 | bp[0], bp[1], b[node], b[node+1]); | ||
| 534 | #endif | ||
| 535 | assert(ucl_memcmp(bp,&b[node],i) == 0); | ||
| 536 | |||
| 537 | #if defined(SWD_BEST_OFF) | ||
| 538 | if (i < SWD_BEST_OFF) | ||
| 539 |             { | ||
| 540 | if (s->best_pos[i] == 0) | ||
| 541 | s->best_pos[i] = node + 1; | ||
| 542 | } | ||
| 543 | #endif | ||
| 544 | if (i > m_len) | ||
| 545 |             { | ||
| 546 | s->m_len = m_len = i; | ||
| 547 | s->m_pos = node; | ||
| 548 | if (m_len == s->look) | ||
| 549 | return; | ||
| 550 | if (m_len >= s->nice_length) | ||
| 551 | return; | ||
| 552 | if (m_len > (ucl_uint) s->best3[node]) | ||
| 553 | return; | ||
| 554 | scan_end1 = bp[m_len - 1]; | ||
| 555 | } | ||
| 556 | } | ||
| 557 | } | ||
| 558 | } | ||
| 559 | |||
| 560 | |||
| 561 | /*********************************************************************** | ||
| 562 | // | ||
| 563 | ************************************************************************/ | ||
| 564 | |||
| 565 | #ifdef HEAD2 | ||
| 566 | |||
| 567 | static | ||
| 568 | ucl_bool swd_search2(ucl_swd_t *s) | ||
| 569 | { | ||
| 570 | ucl_uint key; | ||
| 571 | |||
| 572 | assert(s->look >= 2); | ||
| 573 | assert(s->m_len > 0); | ||
| 574 | |||
| 575 | key = s->head2[ HEAD2(s->b,s->bp) ]; | ||
| 576 | if (key == NIL2) | ||
| 577 | return 0; | ||
| 578 | #ifdef UCL_DEBUG | ||
| 579 | if (ucl_memcmp(&s->b[s->bp],&s->b[key],2) != 0) | ||
| 580 |         printf("%5ld %5ld %02x%02x %02x%02x\n", (long)s->bp, (long)key, | ||
| 581 | s->b[s->bp], s->b[s->bp+1], s->b[key], s->b[key+1]); | ||
| 582 | #endif | ||
| 583 | assert(ucl_memcmp(&s->b[s->bp],&s->b[key],2) == 0); | ||
| 584 | #if defined(SWD_BEST_OFF) | ||
| 585 | if (s->best_pos[2] == 0) | ||
| 586 | s->best_pos[2] = key + 1; | ||
| 587 | #endif | ||
| 588 | |||
| 589 | if (s->m_len < 2) | ||
| 590 |     { | ||
| 591 | s->m_len = 2; | ||
| 592 | s->m_pos = key; | ||
| 593 | } | ||
| 594 | return 1; | ||
| 595 | } | ||
| 596 | |||
| 597 | #endif | ||
| 598 | |||
| 599 | |||
| 600 | /*********************************************************************** | ||
| 601 | // | ||
| 602 | ************************************************************************/ | ||
| 603 | |||
| 604 | static | ||
| 605 | void swd_findbest(ucl_swd_t *s) | ||
| 606 | { | ||
| 607 | ucl_uint key; | ||
| 608 | ucl_uint cnt, node; | ||
| 609 | ucl_uint len; | ||
| 610 | |||
| 611 | assert(s->m_len > 0); | ||
| 612 | |||
| 613 | /* get current head, add bp into HEAD3 */ | ||
| 614 | key = HEAD3(s->b,s->bp); | ||
| 615 | node = s->succ3[s->bp] = s_get_head3(s,key); | ||
| 616 | cnt = s->llen3[key]++; | ||
| 617 | assert(s->llen3[key] <= s->n + s->f); | ||
| 618 | if (cnt > s->max_chain && s->max_chain > 0) | ||
| 619 | cnt = s->max_chain; | ||
| 620 | s->head3[key] = SWD_UINT(s->bp); | ||
| 621 | |||
| 622 | s->b_char = s->b[s->bp]; | ||
| 623 | len = s->m_len; | ||
| 624 | if (s->m_len >= s->look) | ||
| 625 |     { | ||
| 626 | if (s->look == 0) | ||
| 627 | s->b_char = -1; | ||
| 628 | s->m_off = 0; | ||
| 629 | s->best3[s->bp] = SWD_UINT(s->f + 1); | ||
| 630 | } | ||
| 631 | else | ||
| 632 |     { | ||
| 633 | #if defined(HEAD2_VAR) | ||
| 634 |         if (s->use_head2) { | ||
| 635 | if (swd_search2(s) && s->look >= 3) | ||
| 636 | swd_search(s,node,cnt); | ||
| 637 |         } else { | ||
| 638 | if (s->look >= 3) | ||
| 639 | swd_search(s,node,cnt); | ||
| 640 | } | ||
| 641 | #elif defined(HEAD2) | ||
| 642 | if (swd_search2(s) && s->look >= 3) | ||
| 643 | swd_search(s,node,cnt); | ||
| 644 | #else | ||
| 645 | if (s->look >= 3) | ||
| 646 | swd_search(s,node,cnt); | ||
| 647 | #endif | ||
| 648 | if (s->m_len > len) | ||
| 649 | s->m_off = swd_pos2off(s,s->m_pos); | ||
| 650 | s->best3[s->bp] = SWD_UINT(s->m_len); | ||
| 651 | |||
| 652 | #if defined(SWD_BEST_OFF) | ||
| 653 | if (s->use_best_off) | ||
| 654 |         { | ||
| 655 | int i; | ||
| 656 | for (i = 2; i < SWD_BEST_OFF; i++) | ||
| 657 | if (s->best_pos[i] > 0) | ||
| 658 | s->best_off[i] = swd_pos2off(s,s->best_pos[i]-1); | ||
| 659 | else | ||
| 660 | s->best_off[i] = 0; | ||
| 661 | } | ||
| 662 | #endif | ||
| 663 | } | ||
| 664 | |||
| 665 | swd_remove_node(s,s->rp); | ||
| 666 | |||
| 667 | #ifdef HEAD2 | ||
| 668 | /* add bp into HEAD2 */ | ||
| 669 |     IF_HEAD2(s) { | ||
| 670 | key = HEAD2(s->b,s->bp); | ||
| 671 | s->head2[key] = SWD_UINT(s->bp); | ||
| 672 | } | ||
| 673 | #endif | ||
| 674 | } | ||
| 675 | |||
| 676 | |||
| 677 | #undef HEAD3 | ||
| 678 | #undef HEAD2 | ||
| 679 | #undef IF_HEAD2 | ||
| 680 | #undef s_get_head3 | ||
| 681 | |||
| 682 | |||
| 683 | /* | ||
| 684 | vi:ts=4:et | ||
| 685 | */ | ||
| 686 |