Fix assert issue in ip_csum_add_even()
[vpp.git] / src / vnet / ip / ip_packet.h
1 /*
2  * Copyright (c) 2015 Cisco and/or its affiliates.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15 /*
16  * ip/ip_packet.h: packet format common between ip4 & ip6
17  *
18  * Copyright (c) 2008 Eliot Dresselhaus
19  *
20  * Permission is hereby granted, free of charge, to any person obtaining
21  * a copy of this software and associated documentation files (the
22  * "Software"), to deal in the Software without restriction, including
23  * without limitation the rights to use, copy, modify, merge, publish,
24  * distribute, sublicense, and/or sell copies of the Software, and to
25  * permit persons to whom the Software is furnished to do so, subject to
26  * the following conditions:
27  *
28  * The above copyright notice and this permission notice shall be
29  * included in all copies or substantial portions of the Software.
30  *
31  *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
32  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
33  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
34  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
35  *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
36  *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
37  *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
38  */
39
40 #ifndef included_ip_packet_h
41 #define included_ip_packet_h
42
43 #include <vppinfra/byte_order.h>
44 #include <vppinfra/error.h>
45
46 typedef enum ip_protocol
47 {
48 #define ip_protocol(n,s) IP_PROTOCOL_##s = n,
49 #include "protocols.def"
50 #undef ip_protocol
51 } ip_protocol_t;
52
53 /* TCP/UDP ports. */
54 typedef enum
55 {
56 #define ip_port(s,n) IP_PORT_##s = n,
57 #include "ports.def"
58 #undef ip_port
59 } ip_port_t;
60
61 /* Classifies protocols into UDP, ICMP or other. */
62 typedef enum
63 {
64   IP_BUILTIN_PROTOCOL_UDP,
65   IP_BUILTIN_PROTOCOL_ICMP,
66   IP_BUILTIN_PROTOCOL_UNKNOWN,
67 } ip_builtin_protocol_t;
68
69 #define foreach_ip_builtin_multicast_group      \
70   _ (1, all_hosts_on_subnet)                    \
71   _ (2, all_routers_on_subnet)                  \
72   _ (4, dvmrp)                                  \
73   _ (5, ospf_all_routers)                       \
74   _ (6, ospf_designated_routers)                \
75   _ (13, pim)                                   \
76   _ (18, vrrp)                                  \
77   _ (102, hsrp)                                 \
78   _ (22, igmp_v3)
79
80 typedef enum
81 {
82 #define _(n,f) IP_MULTICAST_GROUP_##f = n,
83   foreach_ip_builtin_multicast_group
84 #undef _
85 } ip_multicast_group_t;
86
87 /* IP checksum support. */
88
89 /* Incremental checksum update. */
90 typedef uword ip_csum_t;
91
92 always_inline ip_csum_t
93 ip_csum_with_carry (ip_csum_t sum, ip_csum_t x)
94 {
95   ip_csum_t t = sum + x;
96   return t + (t < x);
97 }
98
99 /* Update checksum changing field at even byte offset from x -> 0. */
100 always_inline ip_csum_t
101 ip_csum_add_even (ip_csum_t c, ip_csum_t x)
102 {
103   ip_csum_t d;
104
105   d = c - x;
106
107   /* Fold in carry from high bit. */
108   d -= d > c;
109
110   ip_csum_t t = ip_csum_with_carry (d, x);
111   ASSERT ((t - c == 0) || (t - c == ~0));
112
113   return d;
114 }
115
116 /* Update checksum changing field at even byte offset from 0 -> x. */
117 always_inline ip_csum_t
118 ip_csum_sub_even (ip_csum_t c, ip_csum_t x)
119 {
120   return ip_csum_with_carry (c, x);
121 }
122
123 always_inline ip_csum_t
124 ip_csum_update_inline (ip_csum_t sum, ip_csum_t old, ip_csum_t new,
125                        u32 field_byte_offset, u32 field_n_bytes)
126 {
127   /* For even 1-byte fields on big-endian and odd 1-byte fields on little endian
128      we need to shift byte into place for checksum. */
129   if ((field_n_bytes % 2)
130       && (field_byte_offset % 2) == CLIB_ARCH_IS_LITTLE_ENDIAN)
131     {
132       old = old << 8;
133       new = new << 8;
134     }
135   sum = ip_csum_sub_even (sum, old);
136   sum = ip_csum_add_even (sum, new);
137   return sum;
138 }
139
140 #define ip_csum_update(sum,old,new,type,field)                  \
141   ip_csum_update_inline ((sum), (old), (new),                   \
142                          STRUCT_OFFSET_OF (type, field),        \
143                          STRUCT_SIZE_OF (type, field))
144
145 always_inline u16
146 ip_csum_fold (ip_csum_t c)
147 {
148   /* Reduce to 16 bits. */
149 #if uword_bits == 64
150   c = (c & (ip_csum_t) 0xffffffff) + (c >> (ip_csum_t) 32);
151   c = (c & 0xffff) + (c >> 16);
152 #endif
153
154   c = (c & 0xffff) + (c >> 16);
155   c = (c & 0xffff) + (c >> 16);
156
157   return c;
158 }
159
160 extern ip_csum_t (*vnet_incremental_checksum_fp) (ip_csum_t, void *, uword);
161
162 always_inline ip_csum_t
163 ip_incremental_checksum (ip_csum_t sum, void *_data, uword n_bytes)
164 {
165   return (*vnet_incremental_checksum_fp) (sum, _data, n_bytes);
166 }
167
168 always_inline u16
169 ip_csum_and_memcpy_fold (ip_csum_t sum, void *dst)
170 {
171   return ip_csum_fold (sum);
172 }
173
174 /* Checksum routine. */
175 ip_csum_t ip_incremental_checksum (ip_csum_t sum, void *data, uword n_bytes);
176
177 #endif /* included_ip_packet_h */
178
179 /*
180  * fd.io coding-style-patch-verification: ON
181  *
182  * Local Variables:
183  * eval: (c-set-style "gnu")
184  * End:
185  */