cpu_in_cksum.c revision 1.1.4.2 1 1.1.4.2 mjf /* $NetBSD: cpu_in_cksum.c,v 1.1.4.2 2008/02/18 21:07:08 mjf Exp $ */
2 1.1.4.2 mjf /*-
3 1.1.4.2 mjf * Copyright (c) 2008 Joerg Sonnenberger <joerg (at) NetBSD.org>.
4 1.1.4.2 mjf * All rights reserved.
5 1.1.4.2 mjf *
6 1.1.4.2 mjf * Redistribution and use in source and binary forms, with or without
7 1.1.4.2 mjf * modification, are permitted provided that the following conditions
8 1.1.4.2 mjf * are met:
9 1.1.4.2 mjf *
10 1.1.4.2 mjf * 1. Redistributions of source code must retain the above copyright
11 1.1.4.2 mjf * notice, this list of conditions and the following disclaimer.
12 1.1.4.2 mjf * 2. Redistributions in binary form must reproduce the above copyright
13 1.1.4.2 mjf * notice, this list of conditions and the following disclaimer in
14 1.1.4.2 mjf * the documentation and/or other materials provided with the
15 1.1.4.2 mjf * distribution.
16 1.1.4.2 mjf *
17 1.1.4.2 mjf * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18 1.1.4.2 mjf * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19 1.1.4.2 mjf * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
20 1.1.4.2 mjf * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
21 1.1.4.2 mjf * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
22 1.1.4.2 mjf * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
23 1.1.4.2 mjf * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
24 1.1.4.2 mjf * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
25 1.1.4.2 mjf * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
26 1.1.4.2 mjf * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
27 1.1.4.2 mjf * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28 1.1.4.2 mjf * SUCH DAMAGE.
29 1.1.4.2 mjf */
30 1.1.4.2 mjf
31 1.1.4.2 mjf #include <sys/cdefs.h>
32 1.1.4.2 mjf __KERNEL_RCSID(0, "$NetBSD: cpu_in_cksum.c,v 1.1.4.2 2008/02/18 21:07:08 mjf Exp $");
33 1.1.4.2 mjf
34 1.1.4.2 mjf #include <sys/param.h>
35 1.1.4.2 mjf #include <sys/endian.h>
36 1.1.4.2 mjf #include <sys/mbuf.h>
37 1.1.4.2 mjf #ifdef _KERNEL
38 1.1.4.2 mjf #include <sys/systm.h>
39 1.1.4.2 mjf #else
40 1.1.4.2 mjf #include <assert.h>
41 1.1.4.2 mjf #include <stdbool.h>
42 1.1.4.2 mjf #include <stdio.h>
43 1.1.4.2 mjf
44 1.1.4.2 mjf #define KASSERT(x) assert(x)
45 1.1.4.2 mjf #endif
46 1.1.4.2 mjf
47 1.1.4.2 mjf #include <machine/limits.h>
48 1.1.4.2 mjf
49 1.1.4.2 mjf #include <netinet/in.h>
50 1.1.4.2 mjf
51 1.1.4.2 mjf #ifndef _KERNEL
52 1.1.4.2 mjf int cpu_in_cksum(struct mbuf*, int, int, uint32_t);
53 1.1.4.2 mjf #endif
54 1.1.4.2 mjf
55 1.1.4.2 mjf /*
56 1.1.4.2 mjf * Checksum routine for Internet Protocol family headers (Portable Version).
57 1.1.4.2 mjf *
58 1.1.4.2 mjf * This routine is very heavily used in the network
59 1.1.4.2 mjf * code and should be modified for each CPU to be as fast as possible.
60 1.1.4.2 mjf *
61 1.1.4.2 mjf * A discussion of different implementation techniques can be found in
62 1.1.4.2 mjf * RFC 1071.
63 1.1.4.2 mjf *
64 1.1.4.2 mjf * The default implementation for 32bit architectures is using
65 1.1.4.2 mjf * a 32bit accumulator and operating on 16bit operands.
66 1.1.4.2 mjf *
67 1.1.4.2 mjf * The default implementation for 64bit architectures is using
68 1.1.4.2 mjf * a 64bit accumulator and operating on 32bit operands.
69 1.1.4.2 mjf *
70 1.1.4.2 mjf * Both versions are unrolled to handle 32 Byte / 64 Byte fragments as core
71 1.1.4.2 mjf * of the inner loop. After each iteration of the inner loop, a partial
72 1.1.4.2 mjf * reduction is done to avoid carry in long packets.
73 1.1.4.2 mjf */
74 1.1.4.2 mjf
75 1.1.4.2 mjf #if ULONG_MAX == 0xffffffffUL
76 1.1.4.2 mjf /* 32bit version */
77 1.1.4.2 mjf int
78 1.1.4.2 mjf cpu_in_cksum(struct mbuf *m, int len, int off, uint32_t initial_sum)
79 1.1.4.2 mjf {
80 1.1.4.2 mjf int mlen;
81 1.1.4.2 mjf uint32_t sum, partial;
82 1.1.4.2 mjf unsigned int final_acc;
83 1.1.4.2 mjf uint8_t *data;
84 1.1.4.2 mjf bool needs_swap, started_on_odd;
85 1.1.4.2 mjf
86 1.1.4.2 mjf KASSERT(len >= 0);
87 1.1.4.2 mjf KASSERT(off >= 0);
88 1.1.4.2 mjf
89 1.1.4.2 mjf needs_swap = false;
90 1.1.4.2 mjf started_on_odd = false;
91 1.1.4.2 mjf sum = (initial_sum >> 16) + (initial_sum & 0xffff);
92 1.1.4.2 mjf
93 1.1.4.2 mjf for (;;) {
94 1.1.4.2 mjf if (__predict_false(m == NULL)) {
95 1.1.4.2 mjf printf("in_cksum: out of data\n");
96 1.1.4.2 mjf return -1;
97 1.1.4.2 mjf }
98 1.1.4.2 mjf mlen = m->m_len;
99 1.1.4.2 mjf if (mlen > off) {
100 1.1.4.2 mjf mlen -= off;
101 1.1.4.2 mjf data = mtod(m, uint8_t *) + off;
102 1.1.4.2 mjf goto post_initial_offset;
103 1.1.4.2 mjf }
104 1.1.4.2 mjf off -= mlen;
105 1.1.4.2 mjf if (len == 0)
106 1.1.4.2 mjf break;
107 1.1.4.2 mjf m = m->m_next;
108 1.1.4.2 mjf }
109 1.1.4.2 mjf
110 1.1.4.2 mjf for (; len > 0; m = m->m_next) {
111 1.1.4.2 mjf if (__predict_false(m == NULL)) {
112 1.1.4.2 mjf printf("in_cksum: out of data\n");
113 1.1.4.2 mjf return -1;
114 1.1.4.2 mjf }
115 1.1.4.2 mjf mlen = m->m_len;
116 1.1.4.2 mjf data = mtod(m, uint8_t *);
117 1.1.4.2 mjf post_initial_offset:
118 1.1.4.2 mjf if (mlen == 0)
119 1.1.4.2 mjf continue;
120 1.1.4.2 mjf if (mlen > len)
121 1.1.4.2 mjf mlen = len;
122 1.1.4.2 mjf len -= mlen;
123 1.1.4.2 mjf
124 1.1.4.2 mjf partial = 0;
125 1.1.4.2 mjf if ((uintptr_t)data & 1) {
126 1.1.4.2 mjf /* Align on word boundary */
127 1.1.4.2 mjf started_on_odd = !started_on_odd;
128 1.1.4.2 mjf #if _BYTE_ORDER == _LITTLE_ENDIAN
129 1.1.4.2 mjf partial = *data << 8;
130 1.1.4.2 mjf #else
131 1.1.4.2 mjf partial = *data;
132 1.1.4.2 mjf #endif
133 1.1.4.2 mjf ++data;
134 1.1.4.2 mjf --mlen;
135 1.1.4.2 mjf }
136 1.1.4.2 mjf needs_swap = started_on_odd;
137 1.1.4.2 mjf while (mlen >= 32) {
138 1.1.4.2 mjf __builtin_prefetch(data + 32);
139 1.1.4.2 mjf partial += *(uint16_t *)data;
140 1.1.4.2 mjf partial += *(uint16_t *)(data + 2);
141 1.1.4.2 mjf partial += *(uint16_t *)(data + 4);
142 1.1.4.2 mjf partial += *(uint16_t *)(data + 6);
143 1.1.4.2 mjf partial += *(uint16_t *)(data + 8);
144 1.1.4.2 mjf partial += *(uint16_t *)(data + 10);
145 1.1.4.2 mjf partial += *(uint16_t *)(data + 12);
146 1.1.4.2 mjf partial += *(uint16_t *)(data + 14);
147 1.1.4.2 mjf partial += *(uint16_t *)(data + 16);
148 1.1.4.2 mjf partial += *(uint16_t *)(data + 18);
149 1.1.4.2 mjf partial += *(uint16_t *)(data + 20);
150 1.1.4.2 mjf partial += *(uint16_t *)(data + 22);
151 1.1.4.2 mjf partial += *(uint16_t *)(data + 24);
152 1.1.4.2 mjf partial += *(uint16_t *)(data + 26);
153 1.1.4.2 mjf partial += *(uint16_t *)(data + 28);
154 1.1.4.2 mjf partial += *(uint16_t *)(data + 30);
155 1.1.4.2 mjf data += 32;
156 1.1.4.2 mjf mlen -= 32;
157 1.1.4.2 mjf if (__predict_false(partial & 0xc0000000)) {
158 1.1.4.2 mjf if (needs_swap)
159 1.1.4.2 mjf partial = (partial << 8) + (partial >> 24);
160 1.1.4.2 mjf sum += (partial >> 16);
161 1.1.4.2 mjf sum += (partial & 0xffff);
162 1.1.4.2 mjf partial = 0;
163 1.1.4.2 mjf }
164 1.1.4.2 mjf }
165 1.1.4.2 mjf if (mlen & 16) {
166 1.1.4.2 mjf partial += *(uint16_t *)data;
167 1.1.4.2 mjf partial += *(uint16_t *)(data + 2);
168 1.1.4.2 mjf partial += *(uint16_t *)(data + 4);
169 1.1.4.2 mjf partial += *(uint16_t *)(data + 6);
170 1.1.4.2 mjf partial += *(uint16_t *)(data + 8);
171 1.1.4.2 mjf partial += *(uint16_t *)(data + 10);
172 1.1.4.2 mjf partial += *(uint16_t *)(data + 12);
173 1.1.4.2 mjf partial += *(uint16_t *)(data + 14);
174 1.1.4.2 mjf data += 16;
175 1.1.4.2 mjf mlen -= 16;
176 1.1.4.2 mjf }
177 1.1.4.2 mjf /*
178 1.1.4.2 mjf * mlen is not updated below as the remaining tests
179 1.1.4.2 mjf * are using bit masks, which are not affected.
180 1.1.4.2 mjf */
181 1.1.4.2 mjf if (mlen & 8) {
182 1.1.4.2 mjf partial += *(uint16_t *)data;
183 1.1.4.2 mjf partial += *(uint16_t *)(data + 2);
184 1.1.4.2 mjf partial += *(uint16_t *)(data + 4);
185 1.1.4.2 mjf partial += *(uint16_t *)(data + 6);
186 1.1.4.2 mjf data += 8;
187 1.1.4.2 mjf }
188 1.1.4.2 mjf if (mlen & 4) {
189 1.1.4.2 mjf partial += *(uint16_t *)data;
190 1.1.4.2 mjf partial += *(uint16_t *)(data + 2);
191 1.1.4.2 mjf data += 4;
192 1.1.4.2 mjf }
193 1.1.4.2 mjf if (mlen & 2) {
194 1.1.4.2 mjf partial += *(uint16_t *)data;
195 1.1.4.2 mjf data += 2;
196 1.1.4.2 mjf }
197 1.1.4.2 mjf if (mlen & 1) {
198 1.1.4.2 mjf #if _BYTE_ORDER == _LITTLE_ENDIAN
199 1.1.4.2 mjf partial += *data;
200 1.1.4.2 mjf #else
201 1.1.4.2 mjf partial += *data << 8;
202 1.1.4.2 mjf #endif
203 1.1.4.2 mjf started_on_odd = !started_on_odd;
204 1.1.4.2 mjf }
205 1.1.4.2 mjf
206 1.1.4.2 mjf if (needs_swap)
207 1.1.4.2 mjf partial = (partial << 8) + (partial >> 24);
208 1.1.4.2 mjf sum += (partial >> 16) + (partial & 0xffff);
209 1.1.4.2 mjf /*
210 1.1.4.2 mjf * Reduce sum to allow potential byte swap
211 1.1.4.2 mjf * in the next iteration without carry.
212 1.1.4.2 mjf */
213 1.1.4.2 mjf sum = (sum >> 16) + (sum & 0xffff);
214 1.1.4.2 mjf }
215 1.1.4.2 mjf final_acc = ((sum >> 16) & 0xffff) + (sum & 0xffff);
216 1.1.4.2 mjf final_acc = (final_acc >> 16) + (final_acc & 0xffff);
217 1.1.4.2 mjf return ~final_acc & 0xffff;
218 1.1.4.2 mjf }
219 1.1.4.2 mjf
220 1.1.4.2 mjf #else
221 1.1.4.2 mjf /* 64bit version */
222 1.1.4.2 mjf int
223 1.1.4.2 mjf cpu_in_cksum(struct mbuf *m, int len, int off, uint32_t initial_sum)
224 1.1.4.2 mjf {
225 1.1.4.2 mjf int mlen;
226 1.1.4.2 mjf uint64_t sum, partial;
227 1.1.4.2 mjf unsigned int final_acc;
228 1.1.4.2 mjf uint8_t *data;
229 1.1.4.2 mjf bool needs_swap, started_on_odd;
230 1.1.4.2 mjf
231 1.1.4.2 mjf KASSERT(len >= 0);
232 1.1.4.2 mjf KASSERT(off >= 0);
233 1.1.4.2 mjf
234 1.1.4.2 mjf needs_swap = false;
235 1.1.4.2 mjf started_on_odd = false;
236 1.1.4.2 mjf sum = initial_sum;
237 1.1.4.2 mjf
238 1.1.4.2 mjf for (;;) {
239 1.1.4.2 mjf if (__predict_false(m == NULL)) {
240 1.1.4.2 mjf printf("in_cksum: out of data\n");
241 1.1.4.2 mjf return -1;
242 1.1.4.2 mjf }
243 1.1.4.2 mjf mlen = m->m_len;
244 1.1.4.2 mjf if (mlen > off) {
245 1.1.4.2 mjf mlen -= off;
246 1.1.4.2 mjf data = mtod(m, uint8_t *) + off;
247 1.1.4.2 mjf goto post_initial_offset;
248 1.1.4.2 mjf }
249 1.1.4.2 mjf off -= mlen;
250 1.1.4.2 mjf if (len == 0)
251 1.1.4.2 mjf break;
252 1.1.4.2 mjf m = m->m_next;
253 1.1.4.2 mjf }
254 1.1.4.2 mjf
255 1.1.4.2 mjf for (; len > 0; m = m->m_next) {
256 1.1.4.2 mjf if (__predict_false(m == NULL)) {
257 1.1.4.2 mjf printf("in_cksum: out of data\n");
258 1.1.4.2 mjf return -1;
259 1.1.4.2 mjf }
260 1.1.4.2 mjf mlen = m->m_len;
261 1.1.4.2 mjf data = mtod(m, uint8_t *);
262 1.1.4.2 mjf post_initial_offset:
263 1.1.4.2 mjf if (mlen == 0)
264 1.1.4.2 mjf continue;
265 1.1.4.2 mjf if (mlen > len)
266 1.1.4.2 mjf mlen = len;
267 1.1.4.2 mjf len -= mlen;
268 1.1.4.2 mjf
269 1.1.4.2 mjf partial = 0;
270 1.1.4.2 mjf if ((uintptr_t)data & 1) {
271 1.1.4.2 mjf /* Align on word boundary */
272 1.1.4.2 mjf started_on_odd = !started_on_odd;
273 1.1.4.2 mjf #if _BYTE_ORDER == _LITTLE_ENDIAN
274 1.1.4.2 mjf partial = *data << 8;
275 1.1.4.2 mjf #else
276 1.1.4.2 mjf partial = *data;
277 1.1.4.2 mjf #endif
278 1.1.4.2 mjf ++data;
279 1.1.4.2 mjf --mlen;
280 1.1.4.2 mjf }
281 1.1.4.2 mjf needs_swap = started_on_odd;
282 1.1.4.2 mjf if ((uintptr_t)data & 2) {
283 1.1.4.2 mjf if (mlen < 2)
284 1.1.4.2 mjf goto trailing_bytes;
285 1.1.4.2 mjf partial += *(uint16_t *)data;
286 1.1.4.2 mjf data += 2;
287 1.1.4.2 mjf mlen -= 2;
288 1.1.4.2 mjf }
289 1.1.4.2 mjf while (mlen >= 64) {
290 1.1.4.2 mjf __builtin_prefetch(data + 32);
291 1.1.4.2 mjf __builtin_prefetch(data + 64);
292 1.1.4.2 mjf partial += *(uint32_t *)data;
293 1.1.4.2 mjf partial += *(uint32_t *)(data + 4);
294 1.1.4.2 mjf partial += *(uint32_t *)(data + 8);
295 1.1.4.2 mjf partial += *(uint32_t *)(data + 12);
296 1.1.4.2 mjf partial += *(uint32_t *)(data + 16);
297 1.1.4.2 mjf partial += *(uint32_t *)(data + 20);
298 1.1.4.2 mjf partial += *(uint32_t *)(data + 24);
299 1.1.4.2 mjf partial += *(uint32_t *)(data + 28);
300 1.1.4.2 mjf partial += *(uint32_t *)(data + 32);
301 1.1.4.2 mjf partial += *(uint32_t *)(data + 36);
302 1.1.4.2 mjf partial += *(uint32_t *)(data + 40);
303 1.1.4.2 mjf partial += *(uint32_t *)(data + 44);
304 1.1.4.2 mjf partial += *(uint32_t *)(data + 48);
305 1.1.4.2 mjf partial += *(uint32_t *)(data + 52);
306 1.1.4.2 mjf partial += *(uint32_t *)(data + 56);
307 1.1.4.2 mjf partial += *(uint32_t *)(data + 60);
308 1.1.4.2 mjf data += 64;
309 1.1.4.2 mjf mlen -= 64;
310 1.1.4.2 mjf if (__predict_false(partial & (3ULL << 62))) {
311 1.1.4.2 mjf if (needs_swap)
312 1.1.4.2 mjf partial = (partial << 8) + (partial >> 56);
313 1.1.4.2 mjf sum += (partial >> 32);
314 1.1.4.2 mjf sum += (partial & 0xffffffff);
315 1.1.4.2 mjf partial = 0;
316 1.1.4.2 mjf }
317 1.1.4.2 mjf }
318 1.1.4.2 mjf /*
319 1.1.4.2 mjf * mlen is not updated below as the remaining tests
320 1.1.4.2 mjf * are using bit masks, which are not affected.
321 1.1.4.2 mjf */
322 1.1.4.2 mjf if (mlen & 32) {
323 1.1.4.2 mjf partial += *(uint32_t *)data;
324 1.1.4.2 mjf partial += *(uint32_t *)(data + 4);
325 1.1.4.2 mjf partial += *(uint32_t *)(data + 8);
326 1.1.4.2 mjf partial += *(uint32_t *)(data + 12);
327 1.1.4.2 mjf partial += *(uint32_t *)(data + 16);
328 1.1.4.2 mjf partial += *(uint32_t *)(data + 20);
329 1.1.4.2 mjf partial += *(uint32_t *)(data + 24);
330 1.1.4.2 mjf partial += *(uint32_t *)(data + 28);
331 1.1.4.2 mjf data += 32;
332 1.1.4.2 mjf }
333 1.1.4.2 mjf if (mlen & 16) {
334 1.1.4.2 mjf partial += *(uint32_t *)data;
335 1.1.4.2 mjf partial += *(uint32_t *)(data + 4);
336 1.1.4.2 mjf partial += *(uint32_t *)(data + 8);
337 1.1.4.2 mjf partial += *(uint32_t *)(data + 12);
338 1.1.4.2 mjf data += 16;
339 1.1.4.2 mjf }
340 1.1.4.2 mjf if (mlen & 8) {
341 1.1.4.2 mjf partial += *(uint32_t *)data;
342 1.1.4.2 mjf partial += *(uint32_t *)(data + 4);
343 1.1.4.2 mjf data += 8;
344 1.1.4.2 mjf }
345 1.1.4.2 mjf if (mlen & 4) {
346 1.1.4.2 mjf partial += *(uint32_t *)data;
347 1.1.4.2 mjf data += 4;
348 1.1.4.2 mjf }
349 1.1.4.2 mjf if (mlen & 2) {
350 1.1.4.2 mjf partial += *(uint16_t *)data;
351 1.1.4.2 mjf data += 2;
352 1.1.4.2 mjf }
353 1.1.4.2 mjf trailing_bytes:
354 1.1.4.2 mjf if (mlen & 1) {
355 1.1.4.2 mjf #if _BYTE_ORDER == _LITTLE_ENDIAN
356 1.1.4.2 mjf partial += *data;
357 1.1.4.2 mjf #else
358 1.1.4.2 mjf partial += *data << 8;
359 1.1.4.2 mjf #endif
360 1.1.4.2 mjf started_on_odd = !started_on_odd;
361 1.1.4.2 mjf }
362 1.1.4.2 mjf
363 1.1.4.2 mjf if (needs_swap)
364 1.1.4.2 mjf partial = (partial << 8) + (partial >> 56);
365 1.1.4.2 mjf sum += (partial >> 32) + (partial & 0xffffffff);
366 1.1.4.2 mjf /*
367 1.1.4.2 mjf * Reduce sum to allow potential byte swap
368 1.1.4.2 mjf * in the next iteration without carry.
369 1.1.4.2 mjf */
370 1.1.4.2 mjf sum = (sum >> 32) + (sum & 0xffffffff);
371 1.1.4.2 mjf }
372 1.1.4.2 mjf final_acc = (sum >> 48) + ((sum >> 32) & 0xffff) +
373 1.1.4.2 mjf ((sum >> 16) & 0xffff) + (sum & 0xffff);
374 1.1.4.2 mjf final_acc = (final_acc >> 16) + (final_acc & 0xffff);
375 1.1.4.2 mjf final_acc = (final_acc >> 16) + (final_acc & 0xffff);
376 1.1.4.2 mjf return ~final_acc & 0xffff;
377 1.1.4.2 mjf }
378 1.1.4.2 mjf #endif
379