aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorLibravatar Rutger Broekhoff2021-05-22 23:49:01 +0200
committerLibravatar Rutger Broekhoff2021-05-22 23:49:01 +0200
commit52f3c6bc0a3d192d9f6ee9b3bf8c0a096a0e8986 (patch)
tree04c4262d3ae00d5b352747489b76f561348b4076 /src
parent2830f5fc32db7767081beb4b1bb275270608fcab (diff)
downloadzig-nkeys-52f3c6bc0a3d192d9f6ee9b3bf8c0a096a0e8986.tar.gz
zig-nkeys-52f3c6bc0a3d192d9f6ee9b3bf8c0a096a0e8986.zip
Generate CRC-16 table at compile time
Diffstat (limited to 'src')
-rw-r--r--src/crc16.zig60
1 files changed, 22 insertions, 38 deletions
diff --git a/src/crc16.zig b/src/crc16.zig
index 3b66d99..b00c795 100644
--- a/src/crc16.zig
+++ b/src/crc16.zig
@@ -1,45 +1,31 @@
1const Error = error{InvalidChecksum}; 1const Error = error{InvalidChecksum};
2 2
3// TODO(rutgerbrf): generate this table at compile time? 3const crc16tab: [256]u16 = tab: {
4const crc16tab = [256]u16{ 4 @setEvalBranchQuota(10000);
5 0x0000, 0x1021, 0x2042, 0x3063, 0x4084, 0x50a5, 0x60c6, 0x70e7, 5
6 0x8108, 0x9129, 0xa14a, 0xb16b, 0xc18c, 0xd1ad, 0xe1ce, 0xf1ef, 6 // CRC-16-CCITT/XMODEM
7 0x1231, 0x0210, 0x3273, 0x2252, 0x52b5, 0x4294, 0x72f7, 0x62d6, 7 const poly: u32 = 0x1021;
8 0x9339, 0x8318, 0xb37b, 0xa35a, 0xd3bd, 0xc39c, 0xf3ff, 0xe3de, 8 var table: [256]u16 = undefined;
9 0x2462, 0x3443, 0x0420, 0x1401, 0x64e6, 0x74c7, 0x44a4, 0x5485, 9
10 0xa56a, 0xb54b, 0x8528, 0x9509, 0xe5ee, 0xf5cf, 0xc5ac, 0xd58d, 10 for (table) |*crc, i| {
11 0x3653, 0x2672, 0x1611, 0x0630, 0x76d7, 0x66f6, 0x5695, 0x46b4, 11 crc.* = @as(u16, i) << 8;
12 0xb75b, 0xa77a, 0x9719, 0x8738, 0xf7df, 0xe7fe, 0xd79d, 0xc7bc, 12 var j = 0;
13 0x48c4, 0x58e5, 0x6886, 0x78a7, 0x0840, 0x1861, 0x2802, 0x3823, 13 while (j < 8) : (j += 1) {
14 0xc9cc, 0xd9ed, 0xe98e, 0xf9af, 0x8948, 0x9969, 0xa90a, 0xb92b, 14 if (crc.* >> 15 != 0) {
15 0x5af5, 0x4ad4, 0x7ab7, 0x6a96, 0x1a71, 0x0a50, 0x3a33, 0x2a12, 15 crc.* = (crc.* << 1) ^ poly;
16 0xdbfd, 0xcbdc, 0xfbbf, 0xeb9e, 0x9b79, 0x8b58, 0xbb3b, 0xab1a, 16 } else {
17 0x6ca6, 0x7c87, 0x4ce4, 0x5cc5, 0x2c22, 0x3c03, 0x0c60, 0x1c41, 17 crc.* <<= 1;
18 0xedae, 0xfd8f, 0xcdec, 0xddcd, 0xad2a, 0xbd0b, 0x8d68, 0x9d49, 18 }
19 0x7e97, 0x6eb6, 0x5ed5, 0x4ef4, 0x3e13, 0x2e32, 0x1e51, 0x0e70, 19 }
20 0xff9f, 0xefbe, 0xdfdd, 0xcffc, 0xbf1b, 0xaf3a, 0x9f59, 0x8f78, 20 }
21 0x9188, 0x81a9, 0xb1ca, 0xa1eb, 0xd10c, 0xc12d, 0xf14e, 0xe16f, 21
22 0x1080, 0x00a1, 0x30c2, 0x20e3, 0x5004, 0x4025, 0x7046, 0x6067, 22 break :tab table;
23 0x83b9, 0x9398, 0xa3fb, 0xb3da, 0xc33d, 0xd31c, 0xe37f, 0xf35e,
24 0x02b1, 0x1290, 0x22f3, 0x32d2, 0x4235, 0x5214, 0x6277, 0x7256,
25 0xb5ea, 0xa5cb, 0x95a8, 0x8589, 0xf56e, 0xe54f, 0xd52c, 0xc50d,
26 0x34e2, 0x24c3, 0x14a0, 0x0481, 0x7466, 0x6447, 0x5424, 0x4405,
27 0xa7db, 0xb7fa, 0x8799, 0x97b8, 0xe75f, 0xf77e, 0xc71d, 0xd73c,
28 0x26d3, 0x36f2, 0x0691, 0x16b0, 0x6657, 0x7676, 0x4615, 0x5634,
29 0xd94c, 0xc96d, 0xf90e, 0xe92f, 0x99c8, 0x89e9, 0xb98a, 0xa9ab,
30 0x5844, 0x4865, 0x7806, 0x6827, 0x18c0, 0x08e1, 0x3882, 0x28a3,
31 0xcb7d, 0xdb5c, 0xeb3f, 0xfb1e, 0x8bf9, 0x9bd8, 0xabbb, 0xbb9a,
32 0x4a75, 0x5a54, 0x6a37, 0x7a16, 0x0af1, 0x1ad0, 0x2ab3, 0x3a92,
33 0xfd2e, 0xed0f, 0xdd6c, 0xcd4d, 0xbdaa, 0xad8b, 0x9de8, 0x8dc9,
34 0x7c26, 0x6c07, 0x5c64, 0x4c45, 0x3ca2, 0x2c83, 0x1ce0, 0x0cc1,
35 0xef1f, 0xff3e, 0xcf5d, 0xdf7c, 0xaf9b, 0xbfba, 0x8fd9, 0x9ff8,
36 0x6e17, 0x7e36, 0x4e55, 0x5e74, 0x2e93, 0x3eb2, 0x0ed1, 0x1ef0,
37}; 23};
38 24
39pub fn update(crc: u16, with_data: []const u8) u16 { 25pub fn update(crc: u16, with_data: []const u8) u16 {
40 var new_crc = crc; 26 var new_crc = crc;
41 for (with_data) |b| { 27 for (with_data) |b| {
42 new_crc = ((new_crc << 8) & 0xffff) ^ crc16tab[((new_crc >> 8) ^ @as(u16, b)) & 0x00ff]; 28 new_crc = (new_crc << 8) ^ crc16tab[@truncate(u8, new_crc >> 8) ^ b];
43 } 29 }
44 return new_crc; 30 return new_crc;
45} 31}
@@ -51,7 +37,5 @@ pub fn make(data: []const u8) u16 {
51 37
52// validate will check the calculated CRC16 checksum for data against the expected. 38// validate will check the calculated CRC16 checksum for data against the expected.
53pub fn validate(data: []const u8, expected: u16) !void { 39pub fn validate(data: []const u8, expected: u16) !void {
54 if (make(data) != expected) { 40 if (make(data) != expected) return error.InvalidChecksum;
55 return error.InvalidChecksum;
56 }
57} 41}