Arduino CRC-32

I needed to compute the standard CRC-32 on the Arduino for the flash loader in the original Gameduino.

The excellent pycrc makes it easy to generate almost any CRC-32 variant, and in the case of the Arduino it is good to balance speed against code space.

So a 16-entry lookup table speeds up the calculation. The code below places this table in flash to avoid using precious Arduino RAM.

#include <avr/pgmspace.h>

static PROGMEM prog_uint32_t crc_table[16] = {
    0x00000000, 0x1db71064, 0x3b6e20c8, 0x26d930ac,
    0x76dc4190, 0x6b6b51f4, 0x4db26158, 0x5005713c,
    0xedb88320, 0xf00f9344, 0xd6d6a3e8, 0xcb61b38c,
    0x9b64c2b0, 0x86d3d2d4, 0xa00ae278, 0xbdbdf21c
};

unsigned long crc_update(unsigned long crc, byte data)
{
    byte tbl_idx;
    tbl_idx = crc ^ (data >> (0 * 4));
    crc = pgm_read_dword_near(crc_table + (tbl_idx & 0x0f)) ^ (crc >> 4);
    tbl_idx = crc ^ (data >> (1 * 4));
    crc = pgm_read_dword_near(crc_table + (tbl_idx & 0x0f)) ^ (crc >> 4);
    return crc;
}

unsigned long crc_string(char *s)
{
  unsigned long crc = ~0L;
  while (*s)
    crc = crc_update(crc, *s++);
  crc = ~crc;
  return crc;
}

void setup()
{
  Serial.println(crc_string("HELLO"), HEX);
}

void loop()
{
}

produces:

c1446436

As validation, Python's binascii.crc32 gives the same result:

>>> import binascii
>>> hex(binascii.crc32("HELLO") & 0xffffffff)
'0xc1446436L'