annotate crc32x86.c @ 1:90cb48b87dcc

*: don't hardcode the list of impls in multiple places
author Paper <paper@tflc.us>
date Mon, 09 Feb 2026 01:18:06 -0500
parents 422835bc1aca
children ead9f84d11db
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
1 /* x86-specific CRC routines */
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
2
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
3 #include "crc32.h"
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
4 #include "crc32i.h"
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
5 #include <stdio.h>
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
6 #include <immintrin.h>
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
7
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
8 #define BITREVERSE64EX(THIS) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
9 ( \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
10 (((THIS) & 0x0000000000000001) << 63) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
11 | (((THIS) & 0x0000000000000002) << 61) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
12 | (((THIS) & 0x0000000000000004) << 59) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
13 | (((THIS) & 0x0000000000000008) << 57) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
14 | (((THIS) & 0x0000000000000010) << 55) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
15 | (((THIS) & 0x0000000000000020) << 53) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
16 | (((THIS) & 0x0000000000000040) << 51) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
17 | (((THIS) & 0x0000000000000080) << 49) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
18 | (((THIS) & 0x0000000000000100) << 47) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
19 | (((THIS) & 0x0000000000000200) << 45) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
20 | (((THIS) & 0x0000000000000400) << 43) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
21 | (((THIS) & 0x0000000000000800) << 41) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
22 | (((THIS) & 0x0000000000001000) << 39) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
23 | (((THIS) & 0x0000000000002000) << 37) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
24 | (((THIS) & 0x0000000000004000) << 35) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
25 | (((THIS) & 0x0000000000008000) << 33) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
26 | (((THIS) & 0x0000000000010000) << 31) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
27 | (((THIS) & 0x0000000000020000) << 29) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
28 | (((THIS) & 0x0000000000040000) << 27) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
29 | (((THIS) & 0x0000000000080000) << 25) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
30 | (((THIS) & 0x0000000000100000) << 23) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
31 | (((THIS) & 0x0000000000200000) << 21) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
32 | (((THIS) & 0x0000000000400000) << 19) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
33 | (((THIS) & 0x0000000000800000) << 17) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
34 | (((THIS) & 0x0000000001000000) << 15) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
35 | (((THIS) & 0x0000000002000000) << 13) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
36 | (((THIS) & 0x0000000004000000) << 11) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
37 | (((THIS) & 0x0000000008000000) << 9) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
38 | (((THIS) & 0x0000000010000000) << 7) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
39 | (((THIS) & 0x0000000020000000) << 5) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
40 | (((THIS) & 0x0000000040000000) << 3) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
41 | (((THIS) & 0x0000000080000000) << 1) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
42 | (((THIS) & 0x0000000100000000) >> 1) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
43 | (((THIS) & 0x0000000200000000) >> 3) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
44 | (((THIS) & 0x0000000400000000) >> 5) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
45 | (((THIS) & 0x0000000800000000) >> 7) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
46 | (((THIS) & 0x0000001000000000) >> 9) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
47 | (((THIS) & 0x0000002000000000) >> 11) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
48 | (((THIS) & 0x0000004000000000) >> 13) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
49 | (((THIS) & 0x0000008000000000) >> 15) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
50 | (((THIS) & 0x0000010000000000) >> 17) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
51 | (((THIS) & 0x0000020000000000) >> 19) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
52 | (((THIS) & 0x0000040000000000) >> 21) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
53 | (((THIS) & 0x0000080000000000) >> 23) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
54 | (((THIS) & 0x0000100000000000) >> 25) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
55 | (((THIS) & 0x0000200000000000) >> 27) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
56 | (((THIS) & 0x0000400000000000) >> 29) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
57 | (((THIS) & 0x0000800000000000) >> 31) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
58 | (((THIS) & 0x0001000000000000) >> 33) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
59 | (((THIS) & 0x0002000000000000) >> 35) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
60 | (((THIS) & 0x0004000000000000) >> 37) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
61 | (((THIS) & 0x0008000000000000) >> 39) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
62 | (((THIS) & 0x0010000000000000) >> 41) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
63 | (((THIS) & 0x0020000000000000) >> 43) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
64 | (((THIS) & 0x0040000000000000) >> 45) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
65 | (((THIS) & 0x0080000000000000) >> 47) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
66 | (((THIS) & 0x0100000000000000) >> 49) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
67 | (((THIS) & 0x0200000000000000) >> 51) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
68 | (((THIS) & 0x0400000000000000) >> 53) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
69 | (((THIS) & 0x0800000000000000) >> 55) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
70 | (((THIS) & 0x1000000000000000) >> 57) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
71 | (((THIS) & 0x2000000000000000) >> 59) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
72 | (((THIS) & 0x4000000000000000) >> 61) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
73 | (((THIS) & 0x8000000000000000) >> 63) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
74 )
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
75
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
76 #define BITREVERSE64(THIS) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
77 (BITREVERSE64EX((uint64_t)(THIS)))
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
78
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
79 #define BITREVERSE32EX(THIS) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
80 ( \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
81 (((THIS) & 0x00000001) << 31) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
82 | (((THIS) & 0x00000002) << 29) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
83 | (((THIS) & 0x00000004) << 27) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
84 | (((THIS) & 0x00000008) << 25) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
85 | (((THIS) & 0x00000010) << 23) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
86 | (((THIS) & 0x00000020) << 21) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
87 | (((THIS) & 0x00000040) << 19) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
88 | (((THIS) & 0x00000080) << 17) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
89 | (((THIS) & 0x00000100) << 15) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
90 | (((THIS) & 0x00000200) << 13) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
91 | (((THIS) & 0x00000400) << 11) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
92 | (((THIS) & 0x00000800) << 9) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
93 | (((THIS) & 0x00001000) << 7) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
94 | (((THIS) & 0x00002000) << 5) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
95 | (((THIS) & 0x00004000) << 3) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
96 | (((THIS) & 0x00008000) << 1) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
97 | (((THIS) & 0x00010000) >> 1) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
98 | (((THIS) & 0x00020000) >> 3) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
99 | (((THIS) & 0x00040000) >> 5) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
100 | (((THIS) & 0x00080000) >> 7) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
101 | (((THIS) & 0x00100000) >> 9) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
102 | (((THIS) & 0x00200000) >> 11) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
103 | (((THIS) & 0x00400000) >> 13) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
104 | (((THIS) & 0x00800000) >> 15) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
105 | (((THIS) & 0x01000000) >> 17) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
106 | (((THIS) & 0x02000000) >> 19) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
107 | (((THIS) & 0x04000000) >> 21) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
108 | (((THIS) & 0x08000000) >> 23) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
109 | (((THIS) & 0x10000000) >> 25) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
110 | (((THIS) & 0x20000000) >> 27) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
111 | (((THIS) & 0x40000000) >> 29) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
112 | (((THIS) & 0x80000000) >> 31) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
113 )
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
114
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
115 #define BITREVERSE32(THIS) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
116 (BITREVERSE32EX((uint32_t)(THIS)))
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
117
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
118 enum {
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
119 XNDIVP_RK08F = (BITREVERSE32(CRC32_POLYNOMIAL)) | 0x100000000ull,
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
120 XNDIVP_RK08R = (BITREVERSE64(XNDIVP_RK08F) >> 31) | 1,
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
121
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
122 /* The beginning ... */
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
123 XNDIVP_MOD_ITER_0 = XNDIVP_RK08F,
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
124 XNDIVP_DIV_ITER_0 = 1,
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
125
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
126 /* to generate table, run this:
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
127
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
128 #include <stdio.h>
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
129 int main(void)
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
130 {
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
131 unsigned i;
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
132
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
133 for (i = 1; i <= (4*128+32); i++) {
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
134 printf("XNDIVP_MOD_ITER(%u, %u)\n", i, i - 1);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
135 printf("XNDIVP_DIV_ITER(%u, %u)\n", i, i - 1);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
136 }
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
137
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
138 return 0;
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
139 }
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
140 */
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
141
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
142 #define XNDIVP_MOD_ITER(This, last) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
143 XNDIVP_MOD_ITER_##This = (uint64_t)((XNDIVP_MOD_ITER_##last << 1) ^ ((XNDIVP_MOD_ITER_##last & 0x80000000) ? (XNDIVP_RK08F) : 0)),
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
144
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
145 #define XNDIVP_DIV_ITER(This, last) \
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
146 XNDIVP_DIV_ITER_##This = (uint64_t)(((uint64_t)XNDIVP_DIV_ITER_##last << 1) | ((XNDIVP_MOD_ITER_##last & 0x80000000ull) ? 1 : 0)),
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
147
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
148 #include "crc32x86-tab.h"
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
149
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
150 #undef XNDIVP_MOD_ITER
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
151 #undef XNDIVP_DIV_ITER
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
152
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
153 #define FIXUPCONSTANTS(x) (BITREVERSE64(x) >> 31)
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
154 RK01 = FIXUPCONSTANTS(XNDIVP_MOD_ITER_64),
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
155 RK02 = FIXUPCONSTANTS(XNDIVP_MOD_ITER_128),
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
156 RK05 = FIXUPCONSTANTS(XNDIVP_MOD_ITER_64),
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
157 RK06 = FIXUPCONSTANTS(XNDIVP_MOD_ITER_32),
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
158 RK07 = FIXUPCONSTANTS(XNDIVP_DIV_ITER_32),
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
159 RK08 = XNDIVP_RK08R,
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
160 #undef FIXUPCONSTANTS
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
161 };
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
162
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
163 __attribute__((__target__("vpclmulqdq")))
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
164 uint32_t crc32x86_vpclmulqdq_r(uint32_t crc, const unsigned char *msg, size_t sz)
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
165 {
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
166 /* This actually works for 16-byte buffers too, but whether it's actually
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
167 * useful or faster is another question entirely */
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
168 if (sz >= 32) {
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
169 static const __attribute__((__aligned__(16))) uint64_t rk01[2] = {RK01, RK02},
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
170 rk05[2] = {RK05, RK06},
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
171 rk07[2] = {RK07, RK08},
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
172 mask2[2] = {0xFFFFFFFF00000000, 0xFFFFFFFFFFFFFFFF};
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
173 __m128i rk, msgxmm;
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
174
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
175 msgxmm = _mm_xor_si128(_mm_load_si128((__m128i *)msg), _mm_cvtsi32_si128(crc));
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
176
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
177 rk = _mm_load_si128((__m128i *)rk01);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
178
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
179 for (msg += 16, sz -= 16; sz >= 16; msg += 16, sz -= 16) {
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
180 msgxmm = _mm_xor_si128(_mm_xor_si128(_mm_clmulepi64_si128(msgxmm, rk, 0x10), _mm_clmulepi64_si128(msgxmm, rk, 0x01)), _mm_load_si128((__m128i *)msg));
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
181 }
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
182
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
183 rk = _mm_load_si128((__m128i *)rk05);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
184
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
185 msgxmm = _mm_xor_si128(_mm_clmulepi64_si128(msgxmm, rk, 0x00), _mm_srli_si128(msgxmm, 8));
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
186
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
187 msgxmm = _mm_xor_si128(_mm_clmulepi64_si128(_mm_slli_si128(msgxmm, 12), rk, 0x11), _mm_and_si128(msgxmm, _mm_load_si128((__m128i *)mask2)));
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
188
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
189 /* Barrett Reduction */
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
190 rk = _mm_load_si128((__m128i *)rk07);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
191 msgxmm = _mm_xor_si128(_mm_clmulepi64_si128(_mm_clmulepi64_si128(msgxmm, rk, 0x00), rk, 0x10), msgxmm);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
192
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
193 crc = _mm_extract_epi32(msgxmm, 2);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
194 }
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
195
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
196 if (!sz) return crc;
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
197
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
198 /* We were already aligned on a 16-byte boundary going in (hopefully
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
199 * or else it will break), and we process 16-bytes at a time. This
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
200 * means `msg` is aligned 16-bytes, a multiple of 4-byte, so we don't
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
201 * need to align any more (or use crc32c_r). */
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
202 return crc32qw_r(crc, msg, sz);
422835bc1aca *: checkin
Paper <paper@tflc.us>
parents:
diff changeset
203 }