crc32.c 12.8 KB
Newer Older
M
Mark Adler 已提交
1
/* crc32.c -- compute the CRC-32 of a data stream
M
Mark Adler 已提交
2
 * Copyright (C) 1995-2006, 2010, 2011, 2012 Mark Adler
M
Mark Adler 已提交
3 4 5 6 7
 * For conditions of distribution and use, see copyright notice in zlib.h
 *
 * Thanks to Rodney Brown <rbrown64@csc.com.au> for his contribution of faster
 * CRC methods: exclusive-oring 32 bits of data at a time, and pre-computing
 * tables for updating the shift register in one step with three exclusive-ors
M
Mark Adler 已提交
8 9
 * instead of four steps with four exclusive-ors.  This results in about a
 * factor of two increase in speed on a Power PC G4 (PPC7455) using gcc -O3.
M
Mark Adler 已提交
10 11
 */

M
Mark Adler 已提交
12
/* @(#) $Id$ */
M
Mark Adler 已提交
13

M
Mark Adler 已提交
14
/*
M
Mark Adler 已提交
15 16 17 18 19
  Note on the use of DYNAMIC_CRC_TABLE: there is no mutex or semaphore
  protection on the static variables used to control the first-use generation
  of the crc tables.  Therefore, if you #define DYNAMIC_CRC_TABLE, you should
  first call get_crc_table() to initialize the tables before allowing more than
  one thread to use crc32().
M
Mark Adler 已提交
20 21

  DYNAMIC_CRC_TABLE and MAKECRCH can be #defined to write out crc32.h.
M
Mark Adler 已提交
22 23
 */

M
Mark Adler 已提交
24 25 26 27 28 29 30
#ifdef MAKECRCH
#  include <stdio.h>
#  ifndef DYNAMIC_CRC_TABLE
#    define DYNAMIC_CRC_TABLE
#  endif /* !DYNAMIC_CRC_TABLE */
#endif /* MAKECRCH */

M
Mark Adler 已提交
31
#include "zutil.h"      /* for STDC and FAR definitions */
M
Mark Adler 已提交
32

M
Mark Adler 已提交
33
#define local static
M
Mark Adler 已提交
34

M
Mark Adler 已提交
35
/* Definitions for doing the crc four data bytes at a time. */
36 37 38
#if !defined(NOBYFOUR) && defined(Z_U4)
#  define BYFOUR
#endif
M
Mark Adler 已提交
39 40 41 42 43 44 45 46 47 48
#ifdef BYFOUR
   local unsigned long crc32_little OF((unsigned long,
                        const unsigned char FAR *, unsigned));
   local unsigned long crc32_big OF((unsigned long,
                        const unsigned char FAR *, unsigned));
#  define TBLS 8
#else
#  define TBLS 1
#endif /* BYFOUR */

M
Mark Adler 已提交
49 50 51 52
/* Local functions for crc concatenation */
local unsigned long gf2_matrix_times OF((unsigned long *mat,
                                         unsigned long vec));
local void gf2_matrix_square OF((unsigned long *square, unsigned long *mat));
M
Mark Adler 已提交
53
local uLong crc32_combine_ OF((uLong crc1, uLong crc2, z_off64_t len2));
M
Mark Adler 已提交
54

M
Mark Adler 已提交
55

M
Mark Adler 已提交
56
#ifdef DYNAMIC_CRC_TABLE
M
Mark Adler 已提交
57

M
Mark Adler 已提交
58
local volatile int crc_table_empty = 1;
59
local z_crc_t FAR crc_table[TBLS][256];
M
Mark Adler 已提交
60
local void make_crc_table OF((void));
M
Mark Adler 已提交
61
#ifdef MAKECRCH
62
   local void write_table OF((FILE *, const z_crc_t FAR *));
M
Mark Adler 已提交
63
#endif /* MAKECRCH */
M
Mark Adler 已提交
64
/*
M
Mark Adler 已提交
65
  Generate tables for a byte-wise 32-bit CRC calculation on the polynomial:
M
Mark Adler 已提交
66
  x^32+x^26+x^23+x^22+x^16+x^12+x^11+x^10+x^8+x^7+x^5+x^4+x^2+x+1.
M
Mark Adler 已提交
67

M
Mark Adler 已提交
68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83
  Polynomials over GF(2) are represented in binary, one bit per coefficient,
  with the lowest powers in the most significant bit.  Then adding polynomials
  is just exclusive-or, and multiplying a polynomial by x is a right shift by
  one.  If we call the above polynomial p, and represent a byte as the
  polynomial q, also with the lowest power in the most significant bit (so the
  byte 0xb1 is the polynomial x^7+x^3+x+1), then the CRC is (q*x^32) mod p,
  where a mod b means the remainder after dividing a by b.

  This calculation is done using the shift-register method of multiplying and
  taking the remainder.  The register is initialized to zero, and for each
  incoming bit, x^32 is added mod p to the register if the bit is a one (where
  x^32 mod p is p+x^32 = x^26+...+1), and the register is multiplied mod p by
  x (which is shifting right by one and adding x^32 mod p if the bit shifted
  out is a one).  We start with the highest power (least significant bit) of
  q and repeat for all eight bits of q.

M
Mark Adler 已提交
84 85 86 87 88
  The first table is simply the CRC of all possible eight bit values.  This is
  all the information needed to generate CRCs on data a byte at a time for all
  combinations of CRC register values and incoming bytes.  The remaining tables
  allow for word-at-a-time CRC calculation for both big-endian and little-
  endian machines, where a word is four bytes.
M
Mark Adler 已提交
89
*/
M
Mark Adler 已提交
90
local void make_crc_table()
M
Mark Adler 已提交
91
{
92
    z_crc_t c;
M
Mark Adler 已提交
93
    int n, k;
94
    z_crc_t poly;                       /* polynomial exclusive-or pattern */
M
Mark Adler 已提交
95
    /* terms of polynomial defining this crc (except x^32): */
M
Mark Adler 已提交
96
    static volatile int first = 1;      /* flag to limit concurrent making */
M
Mark Adler 已提交
97 98
    static const unsigned char p[] = {0,1,2,4,5,7,8,10,11,12,16,22,23,26};

M
Mark Adler 已提交
99 100 101 102 103 104 105
    /* See if another task is already doing this (not thread-safe, but better
       than nothing -- significantly reduces duration of vulnerability in
       case the advice about DYNAMIC_CRC_TABLE is ignored) */
    if (first) {
        first = 0;

        /* make exclusive-or pattern from polynomial (0xedb88320UL) */
M
Mark Adler 已提交
106 107
        poly = 0;
        for (n = 0; n < (int)(sizeof(p)/sizeof(unsigned char)); n++)
108
            poly |= (z_crc_t)1 << (31 - p[n]);
M
Mark Adler 已提交
109 110 111

        /* generate a crc for every 8-bit value */
        for (n = 0; n < 256; n++) {
112
            c = (z_crc_t)n;
M
Mark Adler 已提交
113 114 115 116
            for (k = 0; k < 8; k++)
                c = c & 1 ? poly ^ (c >> 1) : c >> 1;
            crc_table[0][n] = c;
        }
M
Mark Adler 已提交
117 118

#ifdef BYFOUR
M
Mark Adler 已提交
119 120 121 122
        /* generate crc for each value followed by one, two, and three zeros,
           and then the byte reversal of those as well as the first table */
        for (n = 0; n < 256; n++) {
            c = crc_table[0][n];
123
            crc_table[4][n] = ZSWAP32(c);
M
Mark Adler 已提交
124 125 126
            for (k = 1; k < 4; k++) {
                c = crc_table[0][c & 0xff] ^ (c >> 8);
                crc_table[k][n] = c;
127
                crc_table[k + 4][n] = ZSWAP32(c);
M
Mark Adler 已提交
128 129
            }
        }
M
Mark Adler 已提交
130 131
#endif /* BYFOUR */

M
Mark Adler 已提交
132 133 134 135 136 137 138
        crc_table_empty = 0;
    }
    else {      /* not first */
        /* wait for the other guy to finish (not efficient, but rare) */
        while (crc_table_empty)
            ;
    }
M
Mark Adler 已提交
139 140 141 142 143 144 145 146 147 148

#ifdef MAKECRCH
    /* write out CRC tables to crc32.h */
    {
        FILE *out;

        out = fopen("crc32.h", "w");
        if (out == NULL) return;
        fprintf(out, "/* crc32.h -- tables for rapid CRC calculation\n");
        fprintf(out, " * Generated automatically by crc32.c\n */\n\n");
149
        fprintf(out, "local const z_crc_t FAR ");
M
Mark Adler 已提交
150 151 152 153 154 155 156 157 158 159 160 161 162 163
        fprintf(out, "crc_table[TBLS][256] =\n{\n  {\n");
        write_table(out, crc_table[0]);
#  ifdef BYFOUR
        fprintf(out, "#ifdef BYFOUR\n");
        for (k = 1; k < 8; k++) {
            fprintf(out, "  },\n  {\n");
            write_table(out, crc_table[k]);
        }
        fprintf(out, "#endif\n");
#  endif /* BYFOUR */
        fprintf(out, "  }\n};\n");
        fclose(out);
    }
#endif /* MAKECRCH */
M
Mark Adler 已提交
164
}
M
Mark Adler 已提交
165 166 167 168

#ifdef MAKECRCH
local void write_table(out, table)
    FILE *out;
169
    const z_crc_t FAR *table;
M
Mark Adler 已提交
170 171 172 173
{
    int n;

    for (n = 0; n < 256; n++)
M
Mark Adler 已提交
174 175
        fprintf(out, "%s0x%08lxUL%s", n % 5 ? "" : "    ",
                (unsigned long)(table[n]),
M
Mark Adler 已提交
176 177 178 179 180
                n == 255 ? "\n" : (n % 5 == 4 ? ",\n" : ", "));
}
#endif /* MAKECRCH */

#else /* !DYNAMIC_CRC_TABLE */
M
Mark Adler 已提交
181
/* ========================================================================
M
Mark Adler 已提交
182
 * Tables of CRC-32s of all single-byte values, made by make_crc_table().
M
Mark Adler 已提交
183
 */
M
Mark Adler 已提交
184 185
#include "crc32.h"
#endif /* DYNAMIC_CRC_TABLE */
M
Mark Adler 已提交
186

M
Mark Adler 已提交
187 188 189
/* =========================================================================
 * This function can be used by asm versions of crc32()
 */
190
const z_crc_t FAR * ZEXPORT get_crc_table()
M
Mark Adler 已提交
191 192
{
#ifdef DYNAMIC_CRC_TABLE
M
Mark Adler 已提交
193 194
    if (crc_table_empty)
        make_crc_table();
M
Mark Adler 已提交
195
#endif /* DYNAMIC_CRC_TABLE */
196
    return (const z_crc_t FAR *)crc_table;
M
Mark Adler 已提交
197 198 199
}

/* ========================================================================= */
M
Mark Adler 已提交
200 201
#define DO1 crc = crc_table[0][((int)crc ^ (*buf++)) & 0xff] ^ (crc >> 8)
#define DO8 DO1; DO1; DO1; DO1; DO1; DO1; DO1; DO1
M
Mark Adler 已提交
202 203

/* ========================================================================= */
M
Mark Adler 已提交
204 205 206
unsigned long ZEXPORT crc32(crc, buf, len)
    unsigned long crc;
    const unsigned char FAR *buf;
M
Mark Adler 已提交
207
    uInt len;
M
Mark Adler 已提交
208
{
M
Mark Adler 已提交
209 210
    if (buf == Z_NULL) return 0UL;

M
Mark Adler 已提交
211 212
#ifdef DYNAMIC_CRC_TABLE
    if (crc_table_empty)
M
Mark Adler 已提交
213 214 215 216
        make_crc_table();
#endif /* DYNAMIC_CRC_TABLE */

#ifdef BYFOUR
M
Mark Adler 已提交
217
    if (sizeof(void *) == sizeof(ptrdiff_t)) {
218
        z_crc_t endian;
M
Mark Adler 已提交
219 220 221 222 223 224 225

        endian = 1;
        if (*((unsigned char *)(&endian)))
            return crc32_little(crc, buf, len);
        else
            return crc32_big(crc, buf, len);
    }
M
Mark Adler 已提交
226
#endif /* BYFOUR */
M
Mark Adler 已提交
227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251
    crc = crc ^ 0xffffffffUL;
    while (len >= 8) {
        DO8;
        len -= 8;
    }
    if (len) do {
        DO1;
    } while (--len);
    return crc ^ 0xffffffffUL;
}

#ifdef BYFOUR

/* ========================================================================= */
#define DOLIT4 c ^= *buf4++; \
        c = crc_table[3][c & 0xff] ^ crc_table[2][(c >> 8) & 0xff] ^ \
            crc_table[1][(c >> 16) & 0xff] ^ crc_table[0][c >> 24]
#define DOLIT32 DOLIT4; DOLIT4; DOLIT4; DOLIT4; DOLIT4; DOLIT4; DOLIT4; DOLIT4

/* ========================================================================= */
local unsigned long crc32_little(crc, buf, len)
    unsigned long crc;
    const unsigned char FAR *buf;
    unsigned len;
{
252 253
    register z_crc_t c;
    register const z_crc_t FAR *buf4;
M
Mark Adler 已提交
254

255
    c = (z_crc_t)crc;
M
Mark Adler 已提交
256
    c = ~c;
M
Mark Adler 已提交
257
    while (len && ((ptrdiff_t)buf & 3)) {
M
Mark Adler 已提交
258 259 260 261
        c = crc_table[0][(c ^ *buf++) & 0xff] ^ (c >> 8);
        len--;
    }

262
    buf4 = (const z_crc_t FAR *)(const void FAR *)buf;
M
Mark Adler 已提交
263 264 265 266 267 268 269
    while (len >= 32) {
        DOLIT32;
        len -= 32;
    }
    while (len >= 4) {
        DOLIT4;
        len -= 4;
M
Mark Adler 已提交
270
    }
M
Mark Adler 已提交
271 272
    buf = (const unsigned char FAR *)buf4;

M
Mark Adler 已提交
273
    if (len) do {
M
Mark Adler 已提交
274
        c = crc_table[0][(c ^ *buf++) & 0xff] ^ (c >> 8);
M
Mark Adler 已提交
275
    } while (--len);
M
Mark Adler 已提交
276 277
    c = ~c;
    return (unsigned long)c;
M
Mark Adler 已提交
278
}
M
Mark Adler 已提交
279 280

/* ========================================================================= */
281
#define DOBIG4 c ^= *buf4++; \
M
Mark Adler 已提交
282 283 284 285 286 287 288 289 290 291
        c = crc_table[4][c & 0xff] ^ crc_table[5][(c >> 8) & 0xff] ^ \
            crc_table[6][(c >> 16) & 0xff] ^ crc_table[7][c >> 24]
#define DOBIG32 DOBIG4; DOBIG4; DOBIG4; DOBIG4; DOBIG4; DOBIG4; DOBIG4; DOBIG4

/* ========================================================================= */
local unsigned long crc32_big(crc, buf, len)
    unsigned long crc;
    const unsigned char FAR *buf;
    unsigned len;
{
292 293
    register z_crc_t c;
    register const z_crc_t FAR *buf4;
M
Mark Adler 已提交
294

295
    c = ZSWAP32((z_crc_t)crc);
M
Mark Adler 已提交
296
    c = ~c;
M
Mark Adler 已提交
297
    while (len && ((ptrdiff_t)buf & 3)) {
M
Mark Adler 已提交
298 299 300 301
        c = crc_table[4][(c >> 24) ^ *buf++] ^ (c << 8);
        len--;
    }

302
    buf4 = (const z_crc_t FAR *)(const void FAR *)buf;
M
Mark Adler 已提交
303 304 305 306 307 308 309 310 311 312 313 314 315 316
    while (len >= 32) {
        DOBIG32;
        len -= 32;
    }
    while (len >= 4) {
        DOBIG4;
        len -= 4;
    }
    buf = (const unsigned char FAR *)buf4;

    if (len) do {
        c = crc_table[4][(c >> 24) ^ *buf++] ^ (c << 8);
    } while (--len);
    c = ~c;
317
    return (unsigned long)(ZSWAP32(c));
M
Mark Adler 已提交
318 319 320
}

#endif /* BYFOUR */
M
Mark Adler 已提交
321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352

#define GF2_DIM 32      /* dimension of GF(2) vectors (length of CRC) */

/* ========================================================================= */
local unsigned long gf2_matrix_times(mat, vec)
    unsigned long *mat;
    unsigned long vec;
{
    unsigned long sum;

    sum = 0;
    while (vec) {
        if (vec & 1)
            sum ^= *mat;
        vec >>= 1;
        mat++;
    }
    return sum;
}

/* ========================================================================= */
local void gf2_matrix_square(square, mat)
    unsigned long *square;
    unsigned long *mat;
{
    int n;

    for (n = 0; n < GF2_DIM; n++)
        square[n] = gf2_matrix_times(mat, mat[n]);
}

/* ========================================================================= */
M
Mark Adler 已提交
353
local uLong crc32_combine_(crc1, crc2, len2)
M
Mark Adler 已提交
354 355
    uLong crc1;
    uLong crc2;
M
Mark Adler 已提交
356
    z_off64_t len2;
M
Mark Adler 已提交
357 358 359 360 361 362
{
    int n;
    unsigned long row;
    unsigned long even[GF2_DIM];    /* even-power-of-two zeros operator */
    unsigned long odd[GF2_DIM];     /* odd-power-of-two zeros operator */

M
Mark Adler 已提交
363 364
    /* degenerate case (also disallow negative lengths) */
    if (len2 <= 0)
M
Mark Adler 已提交
365 366 367
        return crc1;

    /* put operator for one zero bit in odd */
M
Mark Adler 已提交
368
    odd[0] = 0xedb88320UL;          /* CRC-32 polynomial */
M
Mark Adler 已提交
369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406
    row = 1;
    for (n = 1; n < GF2_DIM; n++) {
        odd[n] = row;
        row <<= 1;
    }

    /* put operator for two zero bits in even */
    gf2_matrix_square(even, odd);

    /* put operator for four zero bits in odd */
    gf2_matrix_square(odd, even);

    /* apply len2 zeros to crc1 (first square will put the operator for one
       zero byte, eight zero bits, in even) */
    do {
        /* apply zeros operator for this bit of len2 */
        gf2_matrix_square(even, odd);
        if (len2 & 1)
            crc1 = gf2_matrix_times(even, crc1);
        len2 >>= 1;

        /* if no more bits set, then done */
        if (len2 == 0)
            break;

        /* another iteration of the loop with odd and even swapped */
        gf2_matrix_square(odd, even);
        if (len2 & 1)
            crc1 = gf2_matrix_times(odd, crc1);
        len2 >>= 1;

        /* if no more bits set, then done */
    } while (len2 != 0);

    /* return combined crc */
    crc1 ^= crc2;
    return crc1;
}
M
Mark Adler 已提交
407 408 409 410 411 412 413 414 415 416 417 418 419

/* ========================================================================= */
uLong ZEXPORT crc32_combine(crc1, crc2, len2)
    uLong crc1;
    uLong crc2;
    z_off_t len2;
{
    return crc32_combine_(crc1, crc2, len2);
}

uLong ZEXPORT crc32_combine64(crc1, crc2, len2)
    uLong crc1;
    uLong crc2;
M
Mark Adler 已提交
420
    z_off64_t len2;
M
Mark Adler 已提交
421 422 423
{
    return crc32_combine_(crc1, crc2, len2);
}