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