arp/glean: fix hash computation
[vpp.git] / src / vnet / ip / ip4_forward.c
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/ip4_forward.c: IP v4 forwarding
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 #include <vnet/vnet.h>
41 #include <vnet/ip/ip.h>
42 #include <vnet/ethernet/ethernet.h>     /* for ethernet_header_t */
43 #include <vnet/ethernet/arp_packet.h>   /* for ethernet_arp_header_t */
44 #include <vnet/ppp/ppp.h>
45 #include <vnet/srp/srp.h>       /* for srp_hw_interface_class */
46 #include <vnet/api_errno.h>     /* for API error numbers */
47 #include <vnet/fib/fib_table.h> /* for FIB table and entry creation */
48 #include <vnet/fib/fib_entry.h> /* for FIB table and entry creation */
49 #include <vnet/fib/fib_urpf_list.h>     /* for FIB uRPF check */
50 #include <vnet/fib/ip4_fib.h>
51 #include <vnet/dpo/load_balance.h>
52 #include <vnet/dpo/load_balance_map.h>
53 #include <vnet/dpo/classify_dpo.h>
54 #include <vnet/mfib/mfib_table.h>       /* for mFIB table and entry creation */
55
56 /**
57  * @file
58  * @brief IPv4 Forwarding.
59  *
60  * This file contains the source code for IPv4 forwarding.
61  */
62
63 void
64 ip4_forward_next_trace (vlib_main_t * vm,
65                         vlib_node_runtime_t * node,
66                         vlib_frame_t * frame,
67                         vlib_rx_or_tx_t which_adj_index);
68
69 always_inline uword
70 ip4_lookup_inline (vlib_main_t * vm,
71                    vlib_node_runtime_t * node,
72                    vlib_frame_t * frame,
73                    int lookup_for_responses_to_locally_received_packets)
74 {
75   ip4_main_t *im = &ip4_main;
76   vlib_combined_counter_main_t *cm = &load_balance_main.lbm_to_counters;
77   u32 n_left_from, n_left_to_next, *from, *to_next;
78   ip_lookup_next_t next;
79   u32 thread_index = vlib_get_thread_index ();
80
81   from = vlib_frame_vector_args (frame);
82   n_left_from = frame->n_vectors;
83   next = node->cached_next_index;
84
85   while (n_left_from > 0)
86     {
87       vlib_get_next_frame (vm, node, next, to_next, n_left_to_next);
88
89       while (n_left_from >= 8 && n_left_to_next >= 4)
90         {
91           vlib_buffer_t *p0, *p1, *p2, *p3;
92           ip4_header_t *ip0, *ip1, *ip2, *ip3;
93           ip_lookup_next_t next0, next1, next2, next3;
94           const load_balance_t *lb0, *lb1, *lb2, *lb3;
95           ip4_fib_mtrie_t *mtrie0, *mtrie1, *mtrie2, *mtrie3;
96           ip4_fib_mtrie_leaf_t leaf0, leaf1, leaf2, leaf3;
97           ip4_address_t *dst_addr0, *dst_addr1, *dst_addr2, *dst_addr3;
98           u32 pi0, fib_index0, lb_index0;
99           u32 pi1, fib_index1, lb_index1;
100           u32 pi2, fib_index2, lb_index2;
101           u32 pi3, fib_index3, lb_index3;
102           flow_hash_config_t flow_hash_config0, flow_hash_config1;
103           flow_hash_config_t flow_hash_config2, flow_hash_config3;
104           u32 hash_c0, hash_c1, hash_c2, hash_c3;
105           const dpo_id_t *dpo0, *dpo1, *dpo2, *dpo3;
106
107           /* Prefetch next iteration. */
108           {
109             vlib_buffer_t *p4, *p5, *p6, *p7;
110
111             p4 = vlib_get_buffer (vm, from[4]);
112             p5 = vlib_get_buffer (vm, from[5]);
113             p6 = vlib_get_buffer (vm, from[6]);
114             p7 = vlib_get_buffer (vm, from[7]);
115
116             vlib_prefetch_buffer_header (p4, LOAD);
117             vlib_prefetch_buffer_header (p5, LOAD);
118             vlib_prefetch_buffer_header (p6, LOAD);
119             vlib_prefetch_buffer_header (p7, LOAD);
120
121             CLIB_PREFETCH (p4->data, sizeof (ip0[0]), LOAD);
122             CLIB_PREFETCH (p5->data, sizeof (ip0[0]), LOAD);
123             CLIB_PREFETCH (p6->data, sizeof (ip0[0]), LOAD);
124             CLIB_PREFETCH (p7->data, sizeof (ip0[0]), LOAD);
125           }
126
127           pi0 = to_next[0] = from[0];
128           pi1 = to_next[1] = from[1];
129           pi2 = to_next[2] = from[2];
130           pi3 = to_next[3] = from[3];
131
132           from += 4;
133           to_next += 4;
134           n_left_to_next -= 4;
135           n_left_from -= 4;
136
137           p0 = vlib_get_buffer (vm, pi0);
138           p1 = vlib_get_buffer (vm, pi1);
139           p2 = vlib_get_buffer (vm, pi2);
140           p3 = vlib_get_buffer (vm, pi3);
141
142           ip0 = vlib_buffer_get_current (p0);
143           ip1 = vlib_buffer_get_current (p1);
144           ip2 = vlib_buffer_get_current (p2);
145           ip3 = vlib_buffer_get_current (p3);
146
147           dst_addr0 = &ip0->dst_address;
148           dst_addr1 = &ip1->dst_address;
149           dst_addr2 = &ip2->dst_address;
150           dst_addr3 = &ip3->dst_address;
151
152           fib_index0 =
153             vec_elt (im->fib_index_by_sw_if_index,
154                      vnet_buffer (p0)->sw_if_index[VLIB_RX]);
155           fib_index1 =
156             vec_elt (im->fib_index_by_sw_if_index,
157                      vnet_buffer (p1)->sw_if_index[VLIB_RX]);
158           fib_index2 =
159             vec_elt (im->fib_index_by_sw_if_index,
160                      vnet_buffer (p2)->sw_if_index[VLIB_RX]);
161           fib_index3 =
162             vec_elt (im->fib_index_by_sw_if_index,
163                      vnet_buffer (p3)->sw_if_index[VLIB_RX]);
164           fib_index0 =
165             (vnet_buffer (p0)->sw_if_index[VLIB_TX] ==
166              (u32) ~ 0) ? fib_index0 : vnet_buffer (p0)->sw_if_index[VLIB_TX];
167           fib_index1 =
168             (vnet_buffer (p1)->sw_if_index[VLIB_TX] ==
169              (u32) ~ 0) ? fib_index1 : vnet_buffer (p1)->sw_if_index[VLIB_TX];
170           fib_index2 =
171             (vnet_buffer (p2)->sw_if_index[VLIB_TX] ==
172              (u32) ~ 0) ? fib_index2 : vnet_buffer (p2)->sw_if_index[VLIB_TX];
173           fib_index3 =
174             (vnet_buffer (p3)->sw_if_index[VLIB_TX] ==
175              (u32) ~ 0) ? fib_index3 : vnet_buffer (p3)->sw_if_index[VLIB_TX];
176
177
178           if (!lookup_for_responses_to_locally_received_packets)
179             {
180               mtrie0 = &ip4_fib_get (fib_index0)->mtrie;
181               mtrie1 = &ip4_fib_get (fib_index1)->mtrie;
182               mtrie2 = &ip4_fib_get (fib_index2)->mtrie;
183               mtrie3 = &ip4_fib_get (fib_index3)->mtrie;
184
185               leaf0 = ip4_fib_mtrie_lookup_step_one (mtrie0, dst_addr0);
186               leaf1 = ip4_fib_mtrie_lookup_step_one (mtrie1, dst_addr1);
187               leaf2 = ip4_fib_mtrie_lookup_step_one (mtrie2, dst_addr2);
188               leaf3 = ip4_fib_mtrie_lookup_step_one (mtrie3, dst_addr3);
189             }
190
191           if (!lookup_for_responses_to_locally_received_packets)
192             {
193               leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, dst_addr0, 2);
194               leaf1 = ip4_fib_mtrie_lookup_step (mtrie1, leaf1, dst_addr1, 2);
195               leaf2 = ip4_fib_mtrie_lookup_step (mtrie2, leaf2, dst_addr2, 2);
196               leaf3 = ip4_fib_mtrie_lookup_step (mtrie3, leaf3, dst_addr3, 2);
197             }
198
199           if (!lookup_for_responses_to_locally_received_packets)
200             {
201               leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, dst_addr0, 3);
202               leaf1 = ip4_fib_mtrie_lookup_step (mtrie1, leaf1, dst_addr1, 3);
203               leaf2 = ip4_fib_mtrie_lookup_step (mtrie2, leaf2, dst_addr2, 3);
204               leaf3 = ip4_fib_mtrie_lookup_step (mtrie3, leaf3, dst_addr3, 3);
205             }
206
207           if (lookup_for_responses_to_locally_received_packets)
208             {
209               lb_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_RX];
210               lb_index1 = vnet_buffer (p1)->ip.adj_index[VLIB_RX];
211               lb_index2 = vnet_buffer (p2)->ip.adj_index[VLIB_RX];
212               lb_index3 = vnet_buffer (p3)->ip.adj_index[VLIB_RX];
213             }
214           else
215             {
216               lb_index0 = ip4_fib_mtrie_leaf_get_adj_index (leaf0);
217               lb_index1 = ip4_fib_mtrie_leaf_get_adj_index (leaf1);
218               lb_index2 = ip4_fib_mtrie_leaf_get_adj_index (leaf2);
219               lb_index3 = ip4_fib_mtrie_leaf_get_adj_index (leaf3);
220             }
221
222           ASSERT (lb_index0 && lb_index1 && lb_index2 && lb_index3);
223           lb0 = load_balance_get (lb_index0);
224           lb1 = load_balance_get (lb_index1);
225           lb2 = load_balance_get (lb_index2);
226           lb3 = load_balance_get (lb_index3);
227
228           ASSERT (lb0->lb_n_buckets > 0);
229           ASSERT (is_pow2 (lb0->lb_n_buckets));
230           ASSERT (lb1->lb_n_buckets > 0);
231           ASSERT (is_pow2 (lb1->lb_n_buckets));
232           ASSERT (lb2->lb_n_buckets > 0);
233           ASSERT (is_pow2 (lb2->lb_n_buckets));
234           ASSERT (lb3->lb_n_buckets > 0);
235           ASSERT (is_pow2 (lb3->lb_n_buckets));
236
237           /* Use flow hash to compute multipath adjacency. */
238           hash_c0 = vnet_buffer (p0)->ip.flow_hash = 0;
239           hash_c1 = vnet_buffer (p1)->ip.flow_hash = 0;
240           hash_c2 = vnet_buffer (p2)->ip.flow_hash = 0;
241           hash_c3 = vnet_buffer (p3)->ip.flow_hash = 0;
242           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
243             {
244               flow_hash_config0 = lb0->lb_hash_config;
245               hash_c0 = vnet_buffer (p0)->ip.flow_hash =
246                 ip4_compute_flow_hash (ip0, flow_hash_config0);
247               dpo0 =
248                 load_balance_get_fwd_bucket (lb0,
249                                              (hash_c0 &
250                                               (lb0->lb_n_buckets_minus_1)));
251             }
252           else
253             {
254               dpo0 = load_balance_get_bucket_i (lb0, 0);
255             }
256           if (PREDICT_FALSE (lb1->lb_n_buckets > 1))
257             {
258               flow_hash_config1 = lb1->lb_hash_config;
259               hash_c1 = vnet_buffer (p1)->ip.flow_hash =
260                 ip4_compute_flow_hash (ip1, flow_hash_config1);
261               dpo1 =
262                 load_balance_get_fwd_bucket (lb1,
263                                              (hash_c1 &
264                                               (lb1->lb_n_buckets_minus_1)));
265             }
266           else
267             {
268               dpo1 = load_balance_get_bucket_i (lb1, 0);
269             }
270           if (PREDICT_FALSE (lb2->lb_n_buckets > 1))
271             {
272               flow_hash_config2 = lb2->lb_hash_config;
273               hash_c2 = vnet_buffer (p2)->ip.flow_hash =
274                 ip4_compute_flow_hash (ip2, flow_hash_config2);
275               dpo2 =
276                 load_balance_get_fwd_bucket (lb2,
277                                              (hash_c2 &
278                                               (lb2->lb_n_buckets_minus_1)));
279             }
280           else
281             {
282               dpo2 = load_balance_get_bucket_i (lb2, 0);
283             }
284           if (PREDICT_FALSE (lb3->lb_n_buckets > 1))
285             {
286               flow_hash_config3 = lb3->lb_hash_config;
287               hash_c3 = vnet_buffer (p3)->ip.flow_hash =
288                 ip4_compute_flow_hash (ip3, flow_hash_config3);
289               dpo3 =
290                 load_balance_get_fwd_bucket (lb3,
291                                              (hash_c3 &
292                                               (lb3->lb_n_buckets_minus_1)));
293             }
294           else
295             {
296               dpo3 = load_balance_get_bucket_i (lb3, 0);
297             }
298
299           next0 = dpo0->dpoi_next_node;
300           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
301           next1 = dpo1->dpoi_next_node;
302           vnet_buffer (p1)->ip.adj_index[VLIB_TX] = dpo1->dpoi_index;
303           next2 = dpo2->dpoi_next_node;
304           vnet_buffer (p2)->ip.adj_index[VLIB_TX] = dpo2->dpoi_index;
305           next3 = dpo3->dpoi_next_node;
306           vnet_buffer (p3)->ip.adj_index[VLIB_TX] = dpo3->dpoi_index;
307
308           vlib_increment_combined_counter
309             (cm, thread_index, lb_index0, 1,
310              vlib_buffer_length_in_chain (vm, p0));
311           vlib_increment_combined_counter
312             (cm, thread_index, lb_index1, 1,
313              vlib_buffer_length_in_chain (vm, p1));
314           vlib_increment_combined_counter
315             (cm, thread_index, lb_index2, 1,
316              vlib_buffer_length_in_chain (vm, p2));
317           vlib_increment_combined_counter
318             (cm, thread_index, lb_index3, 1,
319              vlib_buffer_length_in_chain (vm, p3));
320
321           vlib_validate_buffer_enqueue_x4 (vm, node, next,
322                                            to_next, n_left_to_next,
323                                            pi0, pi1, pi2, pi3,
324                                            next0, next1, next2, next3);
325         }
326
327       while (n_left_from > 0 && n_left_to_next > 0)
328         {
329           vlib_buffer_t *p0;
330           ip4_header_t *ip0;
331           ip_lookup_next_t next0;
332           const load_balance_t *lb0;
333           ip4_fib_mtrie_t *mtrie0;
334           ip4_fib_mtrie_leaf_t leaf0;
335           ip4_address_t *dst_addr0;
336           u32 pi0, fib_index0, lbi0;
337           flow_hash_config_t flow_hash_config0;
338           const dpo_id_t *dpo0;
339           u32 hash_c0;
340
341           pi0 = from[0];
342           to_next[0] = pi0;
343
344           p0 = vlib_get_buffer (vm, pi0);
345
346           ip0 = vlib_buffer_get_current (p0);
347
348           dst_addr0 = &ip0->dst_address;
349
350           fib_index0 =
351             vec_elt (im->fib_index_by_sw_if_index,
352                      vnet_buffer (p0)->sw_if_index[VLIB_RX]);
353           fib_index0 =
354             (vnet_buffer (p0)->sw_if_index[VLIB_TX] ==
355              (u32) ~ 0) ? fib_index0 : vnet_buffer (p0)->sw_if_index[VLIB_TX];
356
357           if (!lookup_for_responses_to_locally_received_packets)
358             {
359               mtrie0 = &ip4_fib_get (fib_index0)->mtrie;
360
361               leaf0 = ip4_fib_mtrie_lookup_step_one (mtrie0, dst_addr0);
362             }
363
364           if (!lookup_for_responses_to_locally_received_packets)
365             leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, dst_addr0, 2);
366
367           if (!lookup_for_responses_to_locally_received_packets)
368             leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, dst_addr0, 3);
369
370           if (lookup_for_responses_to_locally_received_packets)
371             lbi0 = vnet_buffer (p0)->ip.adj_index[VLIB_RX];
372           else
373             {
374               /* Handle default route. */
375               lbi0 = ip4_fib_mtrie_leaf_get_adj_index (leaf0);
376             }
377
378           ASSERT (lbi0);
379           lb0 = load_balance_get (lbi0);
380
381           ASSERT (lb0->lb_n_buckets > 0);
382           ASSERT (is_pow2 (lb0->lb_n_buckets));
383
384           /* Use flow hash to compute multipath adjacency. */
385           hash_c0 = vnet_buffer (p0)->ip.flow_hash = 0;
386           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
387             {
388               flow_hash_config0 = lb0->lb_hash_config;
389
390               hash_c0 = vnet_buffer (p0)->ip.flow_hash =
391                 ip4_compute_flow_hash (ip0, flow_hash_config0);
392               dpo0 =
393                 load_balance_get_fwd_bucket (lb0,
394                                              (hash_c0 &
395                                               (lb0->lb_n_buckets_minus_1)));
396             }
397           else
398             {
399               dpo0 = load_balance_get_bucket_i (lb0, 0);
400             }
401
402           next0 = dpo0->dpoi_next_node;
403           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
404
405           vlib_increment_combined_counter (cm, thread_index, lbi0, 1,
406                                            vlib_buffer_length_in_chain (vm,
407                                                                         p0));
408
409           from += 1;
410           to_next += 1;
411           n_left_to_next -= 1;
412           n_left_from -= 1;
413
414           if (PREDICT_FALSE (next0 != next))
415             {
416               n_left_to_next += 1;
417               vlib_put_next_frame (vm, node, next, n_left_to_next);
418               next = next0;
419               vlib_get_next_frame (vm, node, next, to_next, n_left_to_next);
420               to_next[0] = pi0;
421               to_next += 1;
422               n_left_to_next -= 1;
423             }
424         }
425
426       vlib_put_next_frame (vm, node, next, n_left_to_next);
427     }
428
429   if (node->flags & VLIB_NODE_FLAG_TRACE)
430     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
431
432   return frame->n_vectors;
433 }
434
435 /** @brief IPv4 lookup node.
436     @node ip4-lookup
437
438     This is the main IPv4 lookup dispatch node.
439
440     @param vm vlib_main_t corresponding to the current thread
441     @param node vlib_node_runtime_t
442     @param frame vlib_frame_t whose contents should be dispatched
443
444     @par Graph mechanics: buffer metadata, next index usage
445
446     @em Uses:
447     - <code>vnet_buffer(b)->sw_if_index[VLIB_RX]</code>
448         - Indicates the @c sw_if_index value of the interface that the
449           packet was received on.
450     - <code>vnet_buffer(b)->sw_if_index[VLIB_TX]</code>
451         - When the value is @c ~0 then the node performs a longest prefix
452           match (LPM) for the packet destination address in the FIB attached
453           to the receive interface.
454         - Otherwise perform LPM for the packet destination address in the
455           indicated FIB. In this case <code>[VLIB_TX]</code> is a FIB index
456           value (0, 1, ...) and not a VRF id.
457
458     @em Sets:
459     - <code>vnet_buffer(b)->ip.adj_index[VLIB_TX]</code>
460         - The lookup result adjacency index.
461
462     <em>Next Index:</em>
463     - Dispatches the packet to the node index found in
464       ip_adjacency_t @c adj->lookup_next_index
465       (where @c adj is the lookup result adjacency).
466 */
467 static uword
468 ip4_lookup (vlib_main_t * vm,
469             vlib_node_runtime_t * node, vlib_frame_t * frame)
470 {
471   return ip4_lookup_inline (vm, node, frame,
472                             /* lookup_for_responses_to_locally_received_packets */
473                             0);
474
475 }
476
477 static u8 *format_ip4_lookup_trace (u8 * s, va_list * args);
478
479 VLIB_REGISTER_NODE (ip4_lookup_node) =
480 {
481 .function = ip4_lookup,.name = "ip4-lookup",.vector_size =
482     sizeof (u32),.format_trace = format_ip4_lookup_trace,.n_next_nodes =
483     IP_LOOKUP_N_NEXT,.next_nodes = IP4_LOOKUP_NEXT_NODES,};
484
485 VLIB_NODE_FUNCTION_MULTIARCH (ip4_lookup_node, ip4_lookup);
486
487 always_inline uword
488 ip4_load_balance (vlib_main_t * vm,
489                   vlib_node_runtime_t * node, vlib_frame_t * frame)
490 {
491   vlib_combined_counter_main_t *cm = &load_balance_main.lbm_via_counters;
492   u32 n_left_from, n_left_to_next, *from, *to_next;
493   ip_lookup_next_t next;
494   u32 thread_index = vlib_get_thread_index ();
495
496   from = vlib_frame_vector_args (frame);
497   n_left_from = frame->n_vectors;
498   next = node->cached_next_index;
499
500   if (node->flags & VLIB_NODE_FLAG_TRACE)
501     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
502
503   while (n_left_from > 0)
504     {
505       vlib_get_next_frame (vm, node, next, to_next, n_left_to_next);
506
507
508       while (n_left_from >= 4 && n_left_to_next >= 2)
509         {
510           ip_lookup_next_t next0, next1;
511           const load_balance_t *lb0, *lb1;
512           vlib_buffer_t *p0, *p1;
513           u32 pi0, lbi0, hc0, pi1, lbi1, hc1;
514           const ip4_header_t *ip0, *ip1;
515           const dpo_id_t *dpo0, *dpo1;
516
517           /* Prefetch next iteration. */
518           {
519             vlib_buffer_t *p2, *p3;
520
521             p2 = vlib_get_buffer (vm, from[2]);
522             p3 = vlib_get_buffer (vm, from[3]);
523
524             vlib_prefetch_buffer_header (p2, STORE);
525             vlib_prefetch_buffer_header (p3, STORE);
526
527             CLIB_PREFETCH (p2->data, sizeof (ip0[0]), STORE);
528             CLIB_PREFETCH (p3->data, sizeof (ip0[0]), STORE);
529           }
530
531           pi0 = to_next[0] = from[0];
532           pi1 = to_next[1] = from[1];
533
534           from += 2;
535           n_left_from -= 2;
536           to_next += 2;
537           n_left_to_next -= 2;
538
539           p0 = vlib_get_buffer (vm, pi0);
540           p1 = vlib_get_buffer (vm, pi1);
541
542           ip0 = vlib_buffer_get_current (p0);
543           ip1 = vlib_buffer_get_current (p1);
544           lbi0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
545           lbi1 = vnet_buffer (p1)->ip.adj_index[VLIB_TX];
546
547           lb0 = load_balance_get (lbi0);
548           lb1 = load_balance_get (lbi1);
549
550           /*
551            * this node is for via FIBs we can re-use the hash value from the
552            * to node if present.
553            * We don't want to use the same hash value at each level in the recursion
554            * graph as that would lead to polarisation
555            */
556           hc0 = hc1 = 0;
557
558           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
559             {
560               if (PREDICT_TRUE (vnet_buffer (p0)->ip.flow_hash))
561                 {
562                   hc0 = vnet_buffer (p0)->ip.flow_hash =
563                     vnet_buffer (p0)->ip.flow_hash >> 1;
564                 }
565               else
566                 {
567                   hc0 = vnet_buffer (p0)->ip.flow_hash =
568                     ip4_compute_flow_hash (ip0, lb0->lb_hash_config);
569                 }
570               dpo0 = load_balance_get_fwd_bucket
571                 (lb0, (hc0 & (lb0->lb_n_buckets_minus_1)));
572             }
573           else
574             {
575               dpo0 = load_balance_get_bucket_i (lb0, 0);
576             }
577           if (PREDICT_FALSE (lb1->lb_n_buckets > 1))
578             {
579               if (PREDICT_TRUE (vnet_buffer (p1)->ip.flow_hash))
580                 {
581                   hc1 = vnet_buffer (p1)->ip.flow_hash =
582                     vnet_buffer (p1)->ip.flow_hash >> 1;
583                 }
584               else
585                 {
586                   hc1 = vnet_buffer (p1)->ip.flow_hash =
587                     ip4_compute_flow_hash (ip1, lb1->lb_hash_config);
588                 }
589               dpo1 = load_balance_get_fwd_bucket
590                 (lb1, (hc1 & (lb1->lb_n_buckets_minus_1)));
591             }
592           else
593             {
594               dpo1 = load_balance_get_bucket_i (lb1, 0);
595             }
596
597           next0 = dpo0->dpoi_next_node;
598           next1 = dpo1->dpoi_next_node;
599
600           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
601           vnet_buffer (p1)->ip.adj_index[VLIB_TX] = dpo1->dpoi_index;
602
603           vlib_increment_combined_counter
604             (cm, thread_index, lbi0, 1, vlib_buffer_length_in_chain (vm, p0));
605           vlib_increment_combined_counter
606             (cm, thread_index, lbi1, 1, vlib_buffer_length_in_chain (vm, p1));
607
608           vlib_validate_buffer_enqueue_x2 (vm, node, next,
609                                            to_next, n_left_to_next,
610                                            pi0, pi1, next0, next1);
611         }
612
613       while (n_left_from > 0 && n_left_to_next > 0)
614         {
615           ip_lookup_next_t next0;
616           const load_balance_t *lb0;
617           vlib_buffer_t *p0;
618           u32 pi0, lbi0, hc0;
619           const ip4_header_t *ip0;
620           const dpo_id_t *dpo0;
621
622           pi0 = from[0];
623           to_next[0] = pi0;
624           from += 1;
625           to_next += 1;
626           n_left_to_next -= 1;
627           n_left_from -= 1;
628
629           p0 = vlib_get_buffer (vm, pi0);
630
631           ip0 = vlib_buffer_get_current (p0);
632           lbi0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
633
634           lb0 = load_balance_get (lbi0);
635
636           hc0 = 0;
637           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
638             {
639               if (PREDICT_TRUE (vnet_buffer (p0)->ip.flow_hash))
640                 {
641                   hc0 = vnet_buffer (p0)->ip.flow_hash =
642                     vnet_buffer (p0)->ip.flow_hash >> 1;
643                 }
644               else
645                 {
646                   hc0 = vnet_buffer (p0)->ip.flow_hash =
647                     ip4_compute_flow_hash (ip0, lb0->lb_hash_config);
648                 }
649               dpo0 = load_balance_get_fwd_bucket
650                 (lb0, (hc0 & (lb0->lb_n_buckets_minus_1)));
651             }
652           else
653             {
654               dpo0 = load_balance_get_bucket_i (lb0, 0);
655             }
656
657           next0 = dpo0->dpoi_next_node;
658           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
659
660           vlib_increment_combined_counter
661             (cm, thread_index, lbi0, 1, vlib_buffer_length_in_chain (vm, p0));
662
663           vlib_validate_buffer_enqueue_x1 (vm, node, next,
664                                            to_next, n_left_to_next,
665                                            pi0, next0);
666         }
667
668       vlib_put_next_frame (vm, node, next, n_left_to_next);
669     }
670
671   return frame->n_vectors;
672 }
673
674 VLIB_REGISTER_NODE (ip4_load_balance_node) =
675 {
676 .function = ip4_load_balance,.name = "ip4-load-balance",.vector_size =
677     sizeof (u32),.sibling_of = "ip4-lookup",.format_trace =
678     format_ip4_lookup_trace,};
679
680 VLIB_NODE_FUNCTION_MULTIARCH (ip4_load_balance_node, ip4_load_balance);
681
682 /* get first interface address */
683 ip4_address_t *
684 ip4_interface_first_address (ip4_main_t * im, u32 sw_if_index,
685                              ip_interface_address_t ** result_ia)
686 {
687   ip_lookup_main_t *lm = &im->lookup_main;
688   ip_interface_address_t *ia = 0;
689   ip4_address_t *result = 0;
690
691   /* *INDENT-OFF* */
692   foreach_ip_interface_address
693     (lm, ia, sw_if_index,
694      1 /* honor unnumbered */ ,
695      ({
696        ip4_address_t * a =
697          ip_interface_address_get_address (lm, ia);
698        result = a;
699        break;
700      }));
701   /* *INDENT-OFF* */
702   if (result_ia)
703     *result_ia = result ? ia : 0;
704   return result;
705 }
706
707 static void
708 ip4_add_interface_routes (u32 sw_if_index,
709                           ip4_main_t * im, u32 fib_index,
710                           ip_interface_address_t * a)
711 {
712   ip_lookup_main_t *lm = &im->lookup_main;
713   ip4_address_t *address = ip_interface_address_get_address (lm, a);
714   fib_prefix_t pfx = {
715     .fp_len = a->address_length,
716     .fp_proto = FIB_PROTOCOL_IP4,
717     .fp_addr.ip4 = *address,
718   };
719
720   if (pfx.fp_len <= 30)
721     {
722       /* a /30 or shorter - add a glean for the network address */
723       fib_table_entry_update_one_path (fib_index, &pfx,
724                                        FIB_SOURCE_INTERFACE,
725                                        (FIB_ENTRY_FLAG_CONNECTED |
726                                         FIB_ENTRY_FLAG_ATTACHED),
727                                        DPO_PROTO_IP4,
728                                        /* No next-hop address */
729                                        NULL,
730                                        sw_if_index,
731                                        // invalid FIB index
732                                        ~0,
733                                        1,
734                                        // no out-label stack
735                                        NULL,
736                                        FIB_ROUTE_PATH_FLAG_NONE);
737
738       /* Add the two broadcast addresses as drop */
739       fib_prefix_t net_pfx = {
740         .fp_len = 32,
741         .fp_proto = FIB_PROTOCOL_IP4,
742         .fp_addr.ip4.as_u32 = address->as_u32 & im->fib_masks[pfx.fp_len],
743       };
744       if (net_pfx.fp_addr.ip4.as_u32 != pfx.fp_addr.ip4.as_u32)
745         fib_table_entry_special_add(fib_index,
746                                     &net_pfx,
747                                     FIB_SOURCE_INTERFACE,
748                                     (FIB_ENTRY_FLAG_DROP |
749                                      FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT));
750       net_pfx.fp_addr.ip4.as_u32 |= ~im->fib_masks[pfx.fp_len];
751       if (net_pfx.fp_addr.ip4.as_u32 != pfx.fp_addr.ip4.as_u32)
752         fib_table_entry_special_add(fib_index,
753                                     &net_pfx,
754                                     FIB_SOURCE_INTERFACE,
755                                     (FIB_ENTRY_FLAG_DROP |
756                                      FIB_ENTRY_FLAG_LOOSE_URPF_EXEMPT));
757     }
758   else if (pfx.fp_len == 31)
759     {
760       u32 mask = clib_host_to_net_u32(1);
761       fib_prefix_t net_pfx = pfx;
762
763       net_pfx.fp_len = 32;
764       net_pfx.fp_addr.ip4.as_u32 ^= mask;
765
766       /* a /31 - add the other end as an attached host */
767       fib_table_entry_update_one_path (fib_index, &net_pfx,
768                                        FIB_SOURCE_INTERFACE,
769                                        (FIB_ENTRY_FLAG_ATTACHED),
770                                        DPO_PROTO_IP4,
771                                        &net_pfx.fp_addr,
772                                        sw_if_index,
773                                        // invalid FIB index
774                                        ~0,
775                                        1,
776                                        NULL,
777                                        FIB_ROUTE_PATH_FLAG_NONE);
778     }
779   pfx.fp_len = 32;
780
781   if (sw_if_index < vec_len (lm->classify_table_index_by_sw_if_index))
782     {
783       u32 classify_table_index =
784         lm->classify_table_index_by_sw_if_index[sw_if_index];
785       if (classify_table_index != (u32) ~ 0)
786         {
787           dpo_id_t dpo = DPO_INVALID;
788
789           dpo_set (&dpo,
790                    DPO_CLASSIFY,
791                    DPO_PROTO_IP4,
792                    classify_dpo_create (DPO_PROTO_IP4, classify_table_index));
793
794           fib_table_entry_special_dpo_add (fib_index,
795                                            &pfx,
796                                            FIB_SOURCE_CLASSIFY,
797                                            FIB_ENTRY_FLAG_NONE, &dpo);
798           dpo_reset (&dpo);
799         }
800     }
801
802   fib_table_entry_update_one_path (fib_index, &pfx,
803                                    FIB_SOURCE_INTERFACE,
804                                    (FIB_ENTRY_FLAG_CONNECTED |
805                                     FIB_ENTRY_FLAG_LOCAL),
806                                    DPO_PROTO_IP4,
807                                    &pfx.fp_addr,
808                                    sw_if_index,
809                                    // invalid FIB index
810                                    ~0,
811                                    1, NULL,
812                                    FIB_ROUTE_PATH_FLAG_NONE);
813 }
814
815 static void
816 ip4_del_interface_routes (ip4_main_t * im,
817                           u32 fib_index,
818                           ip4_address_t * address, u32 address_length)
819 {
820   fib_prefix_t pfx = {
821     .fp_len = address_length,
822     .fp_proto = FIB_PROTOCOL_IP4,
823     .fp_addr.ip4 = *address,
824   };
825
826   if (pfx.fp_len <= 30)
827     {
828       fib_prefix_t net_pfx = {
829         .fp_len = 32,
830         .fp_proto = FIB_PROTOCOL_IP4,
831         .fp_addr.ip4.as_u32 = address->as_u32 & im->fib_masks[pfx.fp_len],
832       };
833       if (net_pfx.fp_addr.ip4.as_u32 != pfx.fp_addr.ip4.as_u32)
834         fib_table_entry_special_remove(fib_index,
835                                        &net_pfx,
836                                        FIB_SOURCE_INTERFACE);
837       net_pfx.fp_addr.ip4.as_u32 |= ~im->fib_masks[pfx.fp_len];
838       if (net_pfx.fp_addr.ip4.as_u32 != pfx.fp_addr.ip4.as_u32)
839         fib_table_entry_special_remove(fib_index,
840                                        &net_pfx,
841                                        FIB_SOURCE_INTERFACE);
842       fib_table_entry_delete (fib_index, &pfx, FIB_SOURCE_INTERFACE);
843     }
844     else if (pfx.fp_len == 31)
845     {
846       u32 mask = clib_host_to_net_u32(1);
847       fib_prefix_t net_pfx = pfx;
848
849       net_pfx.fp_len = 32;
850       net_pfx.fp_addr.ip4.as_u32 ^= mask;
851
852       fib_table_entry_delete (fib_index, &net_pfx, FIB_SOURCE_INTERFACE);
853     }
854
855   pfx.fp_len = 32;
856   fib_table_entry_delete (fib_index, &pfx, FIB_SOURCE_INTERFACE);
857 }
858
859 void
860 ip4_sw_interface_enable_disable (u32 sw_if_index, u32 is_enable)
861 {
862   ip4_main_t *im = &ip4_main;
863
864   vec_validate_init_empty (im->ip_enabled_by_sw_if_index, sw_if_index, 0);
865
866   /*
867    * enable/disable only on the 1<->0 transition
868    */
869   if (is_enable)
870     {
871       if (1 != ++im->ip_enabled_by_sw_if_index[sw_if_index])
872         return;
873     }
874   else
875     {
876       ASSERT (im->ip_enabled_by_sw_if_index[sw_if_index] > 0);
877       if (0 != --im->ip_enabled_by_sw_if_index[sw_if_index])
878         return;
879     }
880   vnet_feature_enable_disable ("ip4-unicast", "ip4-drop", sw_if_index,
881                                !is_enable, 0, 0);
882
883
884   vnet_feature_enable_disable ("ip4-multicast", "ip4-drop",
885                                sw_if_index, !is_enable, 0, 0);
886 }
887
888 static clib_error_t *
889 ip4_add_del_interface_address_internal (vlib_main_t * vm,
890                                         u32 sw_if_index,
891                                         ip4_address_t * address,
892                                         u32 address_length, u32 is_del)
893 {
894   vnet_main_t *vnm = vnet_get_main ();
895   ip4_main_t *im = &ip4_main;
896   ip_lookup_main_t *lm = &im->lookup_main;
897   clib_error_t *error = 0;
898   u32 if_address_index, elts_before;
899   ip4_address_fib_t ip4_af, *addr_fib = 0;
900
901   /* local0 interface doesn't support IP addressing  */
902   if (sw_if_index == 0)
903     {
904       return
905        clib_error_create ("local0 interface doesn't support IP addressing");
906     }
907
908   vec_validate (im->fib_index_by_sw_if_index, sw_if_index);
909   ip4_addr_fib_init (&ip4_af, address,
910                      vec_elt (im->fib_index_by_sw_if_index, sw_if_index));
911   vec_add1 (addr_fib, ip4_af);
912
913   /* FIXME-LATER
914    * there is no support for adj-fib handling in the presence of overlapping
915    * subnets on interfaces. Easy fix - disallow overlapping subnets, like
916    * most routers do.
917    */
918   /* *INDENT-OFF* */
919   if (!is_del)
920     {
921       /* When adding an address check that it does not conflict
922          with an existing address. */
923       ip_interface_address_t *ia;
924       foreach_ip_interface_address
925         (&im->lookup_main, ia, sw_if_index,
926          0 /* honor unnumbered */ ,
927          ({
928            ip4_address_t * x =
929              ip_interface_address_get_address
930              (&im->lookup_main, ia);
931            if (ip4_destination_matches_route
932                (im, address, x, ia->address_length) ||
933                ip4_destination_matches_route (im,
934                                               x,
935                                               address,
936                                               address_length))
937              return
938                clib_error_create
939                ("failed to add %U which conflicts with %U for interface %U",
940                 format_ip4_address_and_length, address,
941                 address_length,
942                 format_ip4_address_and_length, x,
943                 ia->address_length,
944                 format_vnet_sw_if_index_name, vnm,
945                 sw_if_index);
946          }));
947     }
948   /* *INDENT-ON* */
949
950   elts_before = pool_elts (lm->if_address_pool);
951
952   error = ip_interface_address_add_del
953     (lm, sw_if_index, addr_fib, address_length, is_del, &if_address_index);
954   if (error)
955     goto done;
956
957   ip4_sw_interface_enable_disable (sw_if_index, !is_del);
958
959   if (is_del)
960     ip4_del_interface_routes (im, ip4_af.fib_index, address, address_length);
961   else
962     ip4_add_interface_routes (sw_if_index,
963                               im, ip4_af.fib_index,
964                               pool_elt_at_index
965                               (lm->if_address_pool, if_address_index));
966
967   /* If pool did not grow/shrink: add duplicate address. */
968   if (elts_before != pool_elts (lm->if_address_pool))
969     {
970       ip4_add_del_interface_address_callback_t *cb;
971       vec_foreach (cb, im->add_del_interface_address_callbacks)
972         cb->function (im, cb->function_opaque, sw_if_index,
973                       address, address_length, if_address_index, is_del);
974     }
975
976 done:
977   vec_free (addr_fib);
978   return error;
979 }
980
981 clib_error_t *
982 ip4_add_del_interface_address (vlib_main_t * vm,
983                                u32 sw_if_index,
984                                ip4_address_t * address,
985                                u32 address_length, u32 is_del)
986 {
987   return ip4_add_del_interface_address_internal
988     (vm, sw_if_index, address, address_length, is_del);
989 }
990
991 /* Built-in ip4 unicast rx feature path definition */
992 /* *INDENT-OFF* */
993 VNET_FEATURE_ARC_INIT (ip4_unicast, static) =
994 {
995   .arc_name = "ip4-unicast",
996   .start_nodes = VNET_FEATURES ("ip4-input", "ip4-input-no-checksum"),
997   .arc_index_ptr = &ip4_main.lookup_main.ucast_feature_arc_index,
998 };
999
1000 VNET_FEATURE_INIT (ip4_flow_classify, static) =
1001 {
1002   .arc_name = "ip4-unicast",
1003   .node_name = "ip4-flow-classify",
1004   .runs_before = VNET_FEATURES ("ip4-inacl"),
1005 };
1006
1007 VNET_FEATURE_INIT (ip4_inacl, static) =
1008 {
1009   .arc_name = "ip4-unicast",
1010   .node_name = "ip4-inacl",
1011   .runs_before = VNET_FEATURES ("ip4-source-check-via-rx"),
1012 };
1013
1014 VNET_FEATURE_INIT (ip4_source_check_1, static) =
1015 {
1016   .arc_name = "ip4-unicast",
1017   .node_name = "ip4-source-check-via-rx",
1018   .runs_before = VNET_FEATURES ("ip4-source-check-via-any"),
1019 };
1020
1021 VNET_FEATURE_INIT (ip4_source_check_2, static) =
1022 {
1023   .arc_name = "ip4-unicast",
1024   .node_name = "ip4-source-check-via-any",
1025   .runs_before = VNET_FEATURES ("ip4-policer-classify"),
1026 };
1027
1028 VNET_FEATURE_INIT (ip4_source_and_port_range_check_rx, static) =
1029 {
1030   .arc_name = "ip4-unicast",
1031   .node_name = "ip4-source-and-port-range-check-rx",
1032   .runs_before = VNET_FEATURES ("ip4-policer-classify"),
1033 };
1034
1035 VNET_FEATURE_INIT (ip4_policer_classify, static) =
1036 {
1037   .arc_name = "ip4-unicast",
1038   .node_name = "ip4-policer-classify",
1039   .runs_before = VNET_FEATURES ("ipsec-input-ip4"),
1040 };
1041
1042 VNET_FEATURE_INIT (ip4_ipsec, static) =
1043 {
1044   .arc_name = "ip4-unicast",
1045   .node_name = "ipsec-input-ip4",
1046   .runs_before = VNET_FEATURES ("vpath-input-ip4"),
1047 };
1048
1049 VNET_FEATURE_INIT (ip4_vpath, static) =
1050 {
1051   .arc_name = "ip4-unicast",
1052   .node_name = "vpath-input-ip4",
1053   .runs_before = VNET_FEATURES ("ip4-vxlan-bypass"),
1054 };
1055
1056 VNET_FEATURE_INIT (ip4_vxlan_bypass, static) =
1057 {
1058   .arc_name = "ip4-unicast",
1059   .node_name = "ip4-vxlan-bypass",
1060   .runs_before = VNET_FEATURES ("ip4-lookup"),
1061 };
1062
1063 VNET_FEATURE_INIT (ip4_drop, static) =
1064 {
1065   .arc_name = "ip4-unicast",
1066   .node_name = "ip4-drop",
1067   .runs_before = VNET_FEATURES ("ip4-lookup"),
1068 };
1069
1070 VNET_FEATURE_INIT (ip4_lookup, static) =
1071 {
1072   .arc_name = "ip4-unicast",
1073   .node_name = "ip4-lookup",
1074   .runs_before = 0,     /* not before any other features */
1075 };
1076
1077 /* Built-in ip4 multicast rx feature path definition */
1078 VNET_FEATURE_ARC_INIT (ip4_multicast, static) =
1079 {
1080   .arc_name = "ip4-multicast",
1081   .start_nodes = VNET_FEATURES ("ip4-input", "ip4-input-no-checksum"),
1082   .arc_index_ptr = &ip4_main.lookup_main.mcast_feature_arc_index,
1083 };
1084
1085 VNET_FEATURE_INIT (ip4_vpath_mc, static) =
1086 {
1087   .arc_name = "ip4-multicast",
1088   .node_name = "vpath-input-ip4",
1089   .runs_before = VNET_FEATURES ("ip4-mfib-forward-lookup"),
1090 };
1091
1092 VNET_FEATURE_INIT (ip4_mc_drop, static) =
1093 {
1094   .arc_name = "ip4-multicast",
1095   .node_name = "ip4-drop",
1096   .runs_before = VNET_FEATURES ("ip4-mfib-forward-lookup"),
1097 };
1098
1099 VNET_FEATURE_INIT (ip4_lookup_mc, static) =
1100 {
1101   .arc_name = "ip4-multicast",
1102   .node_name = "ip4-mfib-forward-lookup",
1103   .runs_before = 0,     /* last feature */
1104 };
1105
1106 /* Source and port-range check ip4 tx feature path definition */
1107 VNET_FEATURE_ARC_INIT (ip4_output, static) =
1108 {
1109   .arc_name = "ip4-output",
1110   .start_nodes = VNET_FEATURES ("ip4-rewrite", "ip4-midchain"),
1111   .arc_index_ptr = &ip4_main.lookup_main.output_feature_arc_index,
1112 };
1113
1114 VNET_FEATURE_INIT (ip4_source_and_port_range_check_tx, static) =
1115 {
1116   .arc_name = "ip4-output",
1117   .node_name = "ip4-source-and-port-range-check-tx",
1118   .runs_before = VNET_FEATURES ("ipsec-output-ip4"),
1119 };
1120
1121 VNET_FEATURE_INIT (ip4_ipsec_output, static) =
1122 {
1123   .arc_name = "ip4-output",
1124   .node_name = "ipsec-output-ip4",
1125   .runs_before = VNET_FEATURES ("interface-output"),
1126 };
1127
1128 /* Built-in ip4 tx feature path definition */
1129 VNET_FEATURE_INIT (ip4_interface_output, static) =
1130 {
1131   .arc_name = "ip4-output",
1132   .node_name = "interface-output",
1133   .runs_before = 0,     /* not before any other features */
1134 };
1135 /* *INDENT-ON* */
1136
1137 static clib_error_t *
1138 ip4_sw_interface_add_del (vnet_main_t * vnm, u32 sw_if_index, u32 is_add)
1139 {
1140   ip4_main_t *im = &ip4_main;
1141
1142   /* Fill in lookup tables with default table (0). */
1143   vec_validate (im->fib_index_by_sw_if_index, sw_if_index);
1144   vec_validate (im->mfib_index_by_sw_if_index, sw_if_index);
1145
1146   if (!is_add)
1147     {
1148       ip4_main_t *im4 = &ip4_main;
1149       ip_lookup_main_t *lm4 = &im4->lookup_main;
1150       ip_interface_address_t *ia = 0;
1151       ip4_address_t *address;
1152       vlib_main_t *vm = vlib_get_main ();
1153
1154       /* *INDENT-OFF* */
1155       foreach_ip_interface_address (lm4, ia, sw_if_index, 1 /* honor unnumbered */,
1156       ({
1157         address = ip_interface_address_get_address (lm4, ia);
1158         ip4_add_del_interface_address(vm, sw_if_index, address, ia->address_length, 1);
1159       }));
1160       /* *INDENT-ON* */
1161     }
1162
1163   vnet_feature_enable_disable ("ip4-unicast", "ip4-drop", sw_if_index,
1164                                is_add, 0, 0);
1165
1166   vnet_feature_enable_disable ("ip4-multicast", "ip4-drop", sw_if_index,
1167                                is_add, 0, 0);
1168
1169   return /* no error */ 0;
1170 }
1171
1172 VNET_SW_INTERFACE_ADD_DEL_FUNCTION (ip4_sw_interface_add_del);
1173
1174 /* Global IP4 main. */
1175 ip4_main_t ip4_main;
1176
1177 clib_error_t *
1178 ip4_lookup_init (vlib_main_t * vm)
1179 {
1180   ip4_main_t *im = &ip4_main;
1181   clib_error_t *error;
1182   uword i;
1183
1184   if ((error = vlib_call_init_function (vm, vnet_feature_init)))
1185     return error;
1186
1187   for (i = 0; i < ARRAY_LEN (im->fib_masks); i++)
1188     {
1189       u32 m;
1190
1191       if (i < 32)
1192         m = pow2_mask (i) << (32 - i);
1193       else
1194         m = ~0;
1195       im->fib_masks[i] = clib_host_to_net_u32 (m);
1196     }
1197
1198   ip_lookup_init (&im->lookup_main, /* is_ip6 */ 0);
1199
1200   /* Create FIB with index 0 and table id of 0. */
1201   fib_table_find_or_create_and_lock (FIB_PROTOCOL_IP4, 0,
1202                                      FIB_SOURCE_DEFAULT_ROUTE);
1203   mfib_table_find_or_create_and_lock (FIB_PROTOCOL_IP4, 0,
1204                                       MFIB_SOURCE_DEFAULT_ROUTE);
1205
1206   {
1207     pg_node_t *pn;
1208     pn = pg_get_node (ip4_lookup_node.index);
1209     pn->unformat_edit = unformat_pg_ip4_header;
1210   }
1211
1212   {
1213     ethernet_arp_header_t h;
1214
1215     memset (&h, 0, sizeof (h));
1216
1217     /* Set target ethernet address to all zeros. */
1218     memset (h.ip4_over_ethernet[1].ethernet, 0,
1219             sizeof (h.ip4_over_ethernet[1].ethernet));
1220
1221 #define _16(f,v) h.f = clib_host_to_net_u16 (v);
1222 #define _8(f,v) h.f = v;
1223     _16 (l2_type, ETHERNET_ARP_HARDWARE_TYPE_ethernet);
1224     _16 (l3_type, ETHERNET_TYPE_IP4);
1225     _8 (n_l2_address_bytes, 6);
1226     _8 (n_l3_address_bytes, 4);
1227     _16 (opcode, ETHERNET_ARP_OPCODE_request);
1228 #undef _16
1229 #undef _8
1230
1231     vlib_packet_template_init (vm, &im->ip4_arp_request_packet_template,
1232                                /* data */ &h,
1233                                sizeof (h),
1234                                /* alloc chunk size */ 8,
1235                                "ip4 arp");
1236   }
1237
1238   return error;
1239 }
1240
1241 VLIB_INIT_FUNCTION (ip4_lookup_init);
1242
1243 typedef struct
1244 {
1245   /* Adjacency taken. */
1246   u32 dpo_index;
1247   u32 flow_hash;
1248   u32 fib_index;
1249
1250   /* Packet data, possibly *after* rewrite. */
1251   u8 packet_data[64 - 1 * sizeof (u32)];
1252 }
1253 ip4_forward_next_trace_t;
1254
1255 u8 *
1256 format_ip4_forward_next_trace (u8 * s, va_list * args)
1257 {
1258   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
1259   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
1260   ip4_forward_next_trace_t *t = va_arg (*args, ip4_forward_next_trace_t *);
1261   uword indent = format_get_indent (s);
1262   s = format (s, "%U%U",
1263               format_white_space, indent,
1264               format_ip4_header, t->packet_data, sizeof (t->packet_data));
1265   return s;
1266 }
1267
1268 static u8 *
1269 format_ip4_lookup_trace (u8 * s, va_list * args)
1270 {
1271   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
1272   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
1273   ip4_forward_next_trace_t *t = va_arg (*args, ip4_forward_next_trace_t *);
1274   uword indent = format_get_indent (s);
1275
1276   s = format (s, "fib %d dpo-idx %d flow hash: 0x%08x",
1277               t->fib_index, t->dpo_index, t->flow_hash);
1278   s = format (s, "\n%U%U",
1279               format_white_space, indent,
1280               format_ip4_header, t->packet_data, sizeof (t->packet_data));
1281   return s;
1282 }
1283
1284 static u8 *
1285 format_ip4_rewrite_trace (u8 * s, va_list * args)
1286 {
1287   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
1288   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
1289   ip4_forward_next_trace_t *t = va_arg (*args, ip4_forward_next_trace_t *);
1290   uword indent = format_get_indent (s);
1291
1292   s = format (s, "tx_sw_if_index %d dpo-idx %d : %U flow hash: 0x%08x",
1293               t->fib_index, t->dpo_index, format_ip_adjacency,
1294               t->dpo_index, FORMAT_IP_ADJACENCY_NONE, t->flow_hash);
1295   s = format (s, "\n%U%U",
1296               format_white_space, indent,
1297               format_ip_adjacency_packet_data,
1298               t->dpo_index, t->packet_data, sizeof (t->packet_data));
1299   return s;
1300 }
1301
1302 /* Common trace function for all ip4-forward next nodes. */
1303 void
1304 ip4_forward_next_trace (vlib_main_t * vm,
1305                         vlib_node_runtime_t * node,
1306                         vlib_frame_t * frame, vlib_rx_or_tx_t which_adj_index)
1307 {
1308   u32 *from, n_left;
1309   ip4_main_t *im = &ip4_main;
1310
1311   n_left = frame->n_vectors;
1312   from = vlib_frame_vector_args (frame);
1313
1314   while (n_left >= 4)
1315     {
1316       u32 bi0, bi1;
1317       vlib_buffer_t *b0, *b1;
1318       ip4_forward_next_trace_t *t0, *t1;
1319
1320       /* Prefetch next iteration. */
1321       vlib_prefetch_buffer_with_index (vm, from[2], LOAD);
1322       vlib_prefetch_buffer_with_index (vm, from[3], LOAD);
1323
1324       bi0 = from[0];
1325       bi1 = from[1];
1326
1327       b0 = vlib_get_buffer (vm, bi0);
1328       b1 = vlib_get_buffer (vm, bi1);
1329
1330       if (b0->flags & VLIB_BUFFER_IS_TRACED)
1331         {
1332           t0 = vlib_add_trace (vm, node, b0, sizeof (t0[0]));
1333           t0->dpo_index = vnet_buffer (b0)->ip.adj_index[which_adj_index];
1334           t0->flow_hash = vnet_buffer (b0)->ip.flow_hash;
1335           t0->fib_index =
1336             (vnet_buffer (b0)->sw_if_index[VLIB_TX] !=
1337              (u32) ~ 0) ? vnet_buffer (b0)->sw_if_index[VLIB_TX] :
1338             vec_elt (im->fib_index_by_sw_if_index,
1339                      vnet_buffer (b0)->sw_if_index[VLIB_RX]);
1340
1341           clib_memcpy (t0->packet_data,
1342                        vlib_buffer_get_current (b0),
1343                        sizeof (t0->packet_data));
1344         }
1345       if (b1->flags & VLIB_BUFFER_IS_TRACED)
1346         {
1347           t1 = vlib_add_trace (vm, node, b1, sizeof (t1[0]));
1348           t1->dpo_index = vnet_buffer (b1)->ip.adj_index[which_adj_index];
1349           t1->flow_hash = vnet_buffer (b1)->ip.flow_hash;
1350           t1->fib_index =
1351             (vnet_buffer (b1)->sw_if_index[VLIB_TX] !=
1352              (u32) ~ 0) ? vnet_buffer (b1)->sw_if_index[VLIB_TX] :
1353             vec_elt (im->fib_index_by_sw_if_index,
1354                      vnet_buffer (b1)->sw_if_index[VLIB_RX]);
1355           clib_memcpy (t1->packet_data, vlib_buffer_get_current (b1),
1356                        sizeof (t1->packet_data));
1357         }
1358       from += 2;
1359       n_left -= 2;
1360     }
1361
1362   while (n_left >= 1)
1363     {
1364       u32 bi0;
1365       vlib_buffer_t *b0;
1366       ip4_forward_next_trace_t *t0;
1367
1368       bi0 = from[0];
1369
1370       b0 = vlib_get_buffer (vm, bi0);
1371
1372       if (b0->flags & VLIB_BUFFER_IS_TRACED)
1373         {
1374           t0 = vlib_add_trace (vm, node, b0, sizeof (t0[0]));
1375           t0->dpo_index = vnet_buffer (b0)->ip.adj_index[which_adj_index];
1376           t0->flow_hash = vnet_buffer (b0)->ip.flow_hash;
1377           t0->fib_index =
1378             (vnet_buffer (b0)->sw_if_index[VLIB_TX] !=
1379              (u32) ~ 0) ? vnet_buffer (b0)->sw_if_index[VLIB_TX] :
1380             vec_elt (im->fib_index_by_sw_if_index,
1381                      vnet_buffer (b0)->sw_if_index[VLIB_RX]);
1382           clib_memcpy (t0->packet_data, vlib_buffer_get_current (b0),
1383                        sizeof (t0->packet_data));
1384         }
1385       from += 1;
1386       n_left -= 1;
1387     }
1388 }
1389
1390 static uword
1391 ip4_drop_or_punt (vlib_main_t * vm,
1392                   vlib_node_runtime_t * node,
1393                   vlib_frame_t * frame, ip4_error_t error_code)
1394 {
1395   u32 *buffers = vlib_frame_vector_args (frame);
1396   uword n_packets = frame->n_vectors;
1397
1398   vlib_error_drop_buffers (vm, node, buffers,
1399                            /* stride */ 1,
1400                            n_packets,
1401                            /* next */ 0,
1402                            ip4_input_node.index, error_code);
1403
1404   if (node->flags & VLIB_NODE_FLAG_TRACE)
1405     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
1406
1407   return n_packets;
1408 }
1409
1410 static uword
1411 ip4_drop (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
1412 {
1413   return ip4_drop_or_punt (vm, node, frame, IP4_ERROR_ADJACENCY_DROP);
1414 }
1415
1416 static uword
1417 ip4_punt (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
1418 {
1419   return ip4_drop_or_punt (vm, node, frame, IP4_ERROR_ADJACENCY_PUNT);
1420 }
1421
1422 /* *INDENT-OFF* */
1423 VLIB_REGISTER_NODE (ip4_drop_node, static) =
1424 {
1425   .function = ip4_drop,
1426   .name = "ip4-drop",
1427   .vector_size = sizeof (u32),
1428   .format_trace = format_ip4_forward_next_trace,
1429   .n_next_nodes = 1,
1430   .next_nodes = {
1431     [0] = "error-drop",
1432   },
1433 };
1434
1435 VLIB_NODE_FUNCTION_MULTIARCH (ip4_drop_node, ip4_drop);
1436
1437 VLIB_REGISTER_NODE (ip4_punt_node, static) =
1438 {
1439   .function = ip4_punt,
1440   .name = "ip4-punt",
1441   .vector_size = sizeof (u32),
1442   .format_trace = format_ip4_forward_next_trace,
1443   .n_next_nodes = 1,
1444   .next_nodes = {
1445     [0] = "error-punt",
1446   },
1447 };
1448
1449 VLIB_NODE_FUNCTION_MULTIARCH (ip4_punt_node, ip4_punt);
1450 /* *INDENT-ON */
1451
1452 /* Compute TCP/UDP/ICMP4 checksum in software. */
1453 u16
1454 ip4_tcp_udp_compute_checksum (vlib_main_t * vm, vlib_buffer_t * p0,
1455                               ip4_header_t * ip0)
1456 {
1457   ip_csum_t sum0;
1458   u32 ip_header_length, payload_length_host_byte_order;
1459   u32 n_this_buffer, n_bytes_left, n_ip_bytes_this_buffer;
1460   u16 sum16;
1461   void *data_this_buffer;
1462
1463   /* Initialize checksum with ip header. */
1464   ip_header_length = ip4_header_bytes (ip0);
1465   payload_length_host_byte_order =
1466     clib_net_to_host_u16 (ip0->length) - ip_header_length;
1467   sum0 =
1468     clib_host_to_net_u32 (payload_length_host_byte_order +
1469                           (ip0->protocol << 16));
1470
1471   if (BITS (uword) == 32)
1472     {
1473       sum0 =
1474         ip_csum_with_carry (sum0,
1475                             clib_mem_unaligned (&ip0->src_address, u32));
1476       sum0 =
1477         ip_csum_with_carry (sum0,
1478                             clib_mem_unaligned (&ip0->dst_address, u32));
1479     }
1480   else
1481     sum0 =
1482       ip_csum_with_carry (sum0, clib_mem_unaligned (&ip0->src_address, u64));
1483
1484   n_bytes_left = n_this_buffer = payload_length_host_byte_order;
1485   data_this_buffer = (void *) ip0 + ip_header_length;
1486   n_ip_bytes_this_buffer = p0->current_length - (((u8 *) ip0 - p0->data) - p0->current_data);
1487   if (n_this_buffer + ip_header_length > n_ip_bytes_this_buffer)
1488     {
1489       n_this_buffer = n_ip_bytes_this_buffer > ip_header_length ?
1490           n_ip_bytes_this_buffer - ip_header_length : 0;
1491     }
1492   while (1)
1493     {
1494       sum0 = ip_incremental_checksum (sum0, data_this_buffer, n_this_buffer);
1495       n_bytes_left -= n_this_buffer;
1496       if (n_bytes_left == 0)
1497         break;
1498
1499       ASSERT (p0->flags & VLIB_BUFFER_NEXT_PRESENT);
1500       p0 = vlib_get_buffer (vm, p0->next_buffer);
1501       data_this_buffer = vlib_buffer_get_current (p0);
1502       n_this_buffer = p0->current_length;
1503     }
1504
1505   sum16 = ~ip_csum_fold (sum0);
1506
1507   return sum16;
1508 }
1509
1510 u32
1511 ip4_tcp_udp_validate_checksum (vlib_main_t * vm, vlib_buffer_t * p0)
1512 {
1513   ip4_header_t *ip0 = vlib_buffer_get_current (p0);
1514   udp_header_t *udp0;
1515   u16 sum16;
1516
1517   ASSERT (ip0->protocol == IP_PROTOCOL_TCP
1518           || ip0->protocol == IP_PROTOCOL_UDP);
1519
1520   udp0 = (void *) (ip0 + 1);
1521   if (ip0->protocol == IP_PROTOCOL_UDP && udp0->checksum == 0)
1522     {
1523       p0->flags |= (VNET_BUFFER_F_L4_CHECKSUM_COMPUTED
1524                     | VNET_BUFFER_F_L4_CHECKSUM_CORRECT);
1525       return p0->flags;
1526     }
1527
1528   sum16 = ip4_tcp_udp_compute_checksum (vm, p0, ip0);
1529
1530   p0->flags |= (VNET_BUFFER_F_L4_CHECKSUM_COMPUTED
1531                 | ((sum16 == 0) << VNET_BUFFER_F_LOG2_L4_CHECKSUM_CORRECT));
1532
1533   return p0->flags;
1534 }
1535
1536 /* *INDENT-OFF* */
1537 VNET_FEATURE_ARC_INIT (ip4_local) =
1538 {
1539   .arc_name  = "ip4-local",
1540   .start_nodes = VNET_FEATURES ("ip4-local"),
1541 };
1542 /* *INDENT-ON* */
1543
1544 static inline void
1545 ip4_local_validate_l4 (vlib_main_t * vm, vlib_buffer_t * p, ip4_header_t * ip,
1546                        u8 is_udp, u8 * error, u8 * good_tcp_udp)
1547 {
1548   u32 flags0;
1549   flags0 = ip4_tcp_udp_validate_checksum (vm, p);
1550   *good_tcp_udp = (flags0 & VNET_BUFFER_F_L4_CHECKSUM_CORRECT) != 0;
1551   if (is_udp)
1552     {
1553       udp_header_t *udp;
1554       u32 ip_len, udp_len;
1555       i32 len_diff;
1556       udp = ip4_next_header (ip);
1557       /* Verify UDP length. */
1558       ip_len = clib_net_to_host_u16 (ip->length);
1559       udp_len = clib_net_to_host_u16 (udp->length);
1560
1561       len_diff = ip_len - udp_len;
1562       *good_tcp_udp &= len_diff >= 0;
1563       *error = len_diff < 0 ? IP4_ERROR_UDP_LENGTH : *error;
1564     }
1565 }
1566
1567 #define ip4_local_do_l4_check(is_tcp_udp, flags)                        \
1568     (is_tcp_udp && !(flags & VNET_BUFFER_F_L4_CHECKSUM_COMPUTED))
1569
1570 static inline uword
1571 ip4_local_inline (vlib_main_t * vm,
1572                   vlib_node_runtime_t * node,
1573                   vlib_frame_t * frame, int head_of_feature_arc)
1574 {
1575   ip4_main_t *im = &ip4_main;
1576   ip_lookup_main_t *lm = &im->lookup_main;
1577   ip_local_next_t next_index;
1578   u32 *from, *to_next, n_left_from, n_left_to_next;
1579   vlib_node_runtime_t *error_node =
1580     vlib_node_get_runtime (vm, ip4_input_node.index);
1581   u8 arc_index = vnet_feat_arc_ip4_local.feature_arc_index;
1582
1583   from = vlib_frame_vector_args (frame);
1584   n_left_from = frame->n_vectors;
1585   next_index = node->cached_next_index;
1586
1587   if (node->flags & VLIB_NODE_FLAG_TRACE)
1588     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
1589
1590   while (n_left_from > 0)
1591     {
1592       vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
1593
1594       while (n_left_from >= 4 && n_left_to_next >= 2)
1595         {
1596           vlib_buffer_t *p0, *p1;
1597           ip4_header_t *ip0, *ip1;
1598           ip4_fib_mtrie_t *mtrie0, *mtrie1;
1599           ip4_fib_mtrie_leaf_t leaf0, leaf1;
1600           const dpo_id_t *dpo0, *dpo1;
1601           const load_balance_t *lb0, *lb1;
1602           u32 pi0, next0, fib_index0, lbi0;
1603           u32 pi1, next1, fib_index1, lbi1;
1604           u8 error0, is_udp0, is_tcp_udp0, good_tcp_udp0, proto0;
1605           u8 error1, is_udp1, is_tcp_udp1, good_tcp_udp1, proto1;
1606           u32 sw_if_index0, sw_if_index1;
1607
1608           pi0 = to_next[0] = from[0];
1609           pi1 = to_next[1] = from[1];
1610           from += 2;
1611           n_left_from -= 2;
1612           to_next += 2;
1613           n_left_to_next -= 2;
1614
1615           next0 = next1 = IP_LOCAL_NEXT_DROP;
1616           error0 = error1 = IP4_ERROR_UNKNOWN_PROTOCOL;
1617
1618           p0 = vlib_get_buffer (vm, pi0);
1619           p1 = vlib_get_buffer (vm, pi1);
1620
1621           ip0 = vlib_buffer_get_current (p0);
1622           ip1 = vlib_buffer_get_current (p1);
1623
1624           vnet_buffer (p0)->l3_hdr_offset = p0->current_data;
1625           vnet_buffer (p1)->l3_hdr_offset = p1->current_data;
1626
1627           sw_if_index0 = vnet_buffer (p0)->sw_if_index[VLIB_RX];
1628           sw_if_index1 = vnet_buffer (p1)->sw_if_index[VLIB_RX];
1629
1630           /* Treat IP frag packets as "experimental" protocol for now
1631              until support of IP frag reassembly is implemented */
1632           proto0 = ip4_is_fragment (ip0) ? 0xfe : ip0->protocol;
1633           proto1 = ip4_is_fragment (ip1) ? 0xfe : ip1->protocol;
1634
1635           if (head_of_feature_arc == 0)
1636             goto skip_checks;
1637
1638           is_udp0 = proto0 == IP_PROTOCOL_UDP;
1639           is_udp1 = proto1 == IP_PROTOCOL_UDP;
1640           is_tcp_udp0 = is_udp0 || proto0 == IP_PROTOCOL_TCP;
1641           is_tcp_udp1 = is_udp1 || proto1 == IP_PROTOCOL_TCP;
1642
1643           good_tcp_udp0 =
1644             (p0->flags & VNET_BUFFER_F_L4_CHECKSUM_CORRECT) != 0;
1645           good_tcp_udp1 =
1646             (p1->flags & VNET_BUFFER_F_L4_CHECKSUM_CORRECT) != 0;
1647
1648           if (PREDICT_FALSE (ip4_local_do_l4_check (is_tcp_udp0, p0->flags)
1649                              || ip4_local_do_l4_check (is_tcp_udp1,
1650                                                        p1->flags)))
1651             {
1652               if (is_tcp_udp0)
1653                 ip4_local_validate_l4 (vm, p0, ip0, is_udp0, &error0,
1654                                        &good_tcp_udp0);
1655               if (is_tcp_udp1)
1656                 ip4_local_validate_l4 (vm, p1, ip1, is_udp1, &error1,
1657                                        &good_tcp_udp1);
1658             }
1659
1660           ASSERT (IP4_ERROR_TCP_CHECKSUM + 1 == IP4_ERROR_UDP_CHECKSUM);
1661           error0 = (is_tcp_udp0 && !good_tcp_udp0
1662                     ? IP4_ERROR_TCP_CHECKSUM + is_udp0 : error0);
1663           error1 = (is_tcp_udp1 && !good_tcp_udp1
1664                     ? IP4_ERROR_TCP_CHECKSUM + is_udp1 : error1);
1665
1666           fib_index0 = vec_elt (im->fib_index_by_sw_if_index, sw_if_index0);
1667           fib_index0 =
1668             (vnet_buffer (p0)->sw_if_index[VLIB_TX] ==
1669              (u32) ~ 0) ? fib_index0 : vnet_buffer (p0)->sw_if_index[VLIB_TX];
1670
1671           fib_index1 = vec_elt (im->fib_index_by_sw_if_index, sw_if_index1);
1672           fib_index1 =
1673             (vnet_buffer (p1)->sw_if_index[VLIB_TX] ==
1674              (u32) ~ 0) ? fib_index1 : vnet_buffer (p1)->sw_if_index[VLIB_TX];
1675
1676           mtrie0 = &ip4_fib_get (fib_index0)->mtrie;
1677           mtrie1 = &ip4_fib_get (fib_index1)->mtrie;
1678
1679           leaf0 = ip4_fib_mtrie_lookup_step_one (mtrie0, &ip0->src_address);
1680           leaf1 = ip4_fib_mtrie_lookup_step_one (mtrie1, &ip1->src_address);
1681           leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, &ip0->src_address,
1682                                              2);
1683           leaf1 = ip4_fib_mtrie_lookup_step (mtrie1, leaf1, &ip1->src_address,
1684                                              2);
1685           leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, &ip0->src_address,
1686                                              3);
1687           leaf1 = ip4_fib_mtrie_lookup_step (mtrie1, leaf1, &ip1->src_address,
1688                                              3);
1689
1690           vnet_buffer (p0)->ip.adj_index[VLIB_RX] = lbi0 =
1691             ip4_fib_mtrie_leaf_get_adj_index (leaf0);
1692           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = lbi0;
1693
1694           vnet_buffer (p1)->ip.adj_index[VLIB_RX] = lbi1 =
1695             ip4_fib_mtrie_leaf_get_adj_index (leaf1);
1696           vnet_buffer (p1)->ip.adj_index[VLIB_TX] = lbi1;
1697
1698           lb0 = load_balance_get (lbi0);
1699           lb1 = load_balance_get (lbi1);
1700           dpo0 = load_balance_get_bucket_i (lb0, 0);
1701           dpo1 = load_balance_get_bucket_i (lb1, 0);
1702
1703           /*
1704            * Must have a route to source otherwise we drop the packet.
1705            * ip4 broadcasts are accepted, e.g. to make dhcp client work
1706            *
1707            * The checks are:
1708            *  - the source is a recieve => it's from us => bogus, do this
1709            *    first since it sets a different error code.
1710            *  - uRPF check for any route to source - accept if passes.
1711            *  - allow packets destined to the broadcast address from unknown sources
1712            */
1713           error0 = ((error0 == IP4_ERROR_UNKNOWN_PROTOCOL &&
1714                      dpo0->dpoi_type == DPO_RECEIVE) ?
1715                     IP4_ERROR_SPOOFED_LOCAL_PACKETS : error0);
1716           error0 = ((error0 == IP4_ERROR_UNKNOWN_PROTOCOL &&
1717                      !fib_urpf_check_size (lb0->lb_urpf) &&
1718                      ip0->dst_address.as_u32 != 0xFFFFFFFF)
1719                     ? IP4_ERROR_SRC_LOOKUP_MISS : error0);
1720           error1 = ((error1 == IP4_ERROR_UNKNOWN_PROTOCOL &&
1721                      dpo1->dpoi_type == DPO_RECEIVE) ?
1722                     IP4_ERROR_SPOOFED_LOCAL_PACKETS : error1);
1723           error1 = ((error1 == IP4_ERROR_UNKNOWN_PROTOCOL &&
1724                      !fib_urpf_check_size (lb1->lb_urpf) &&
1725                      ip1->dst_address.as_u32 != 0xFFFFFFFF)
1726                     ? IP4_ERROR_SRC_LOOKUP_MISS : error1);
1727
1728         skip_checks:
1729
1730           next0 = lm->local_next_by_ip_protocol[proto0];
1731           next1 = lm->local_next_by_ip_protocol[proto1];
1732
1733           next0 =
1734             error0 != IP4_ERROR_UNKNOWN_PROTOCOL ? IP_LOCAL_NEXT_DROP : next0;
1735           next1 =
1736             error1 != IP4_ERROR_UNKNOWN_PROTOCOL ? IP_LOCAL_NEXT_DROP : next1;
1737
1738           p0->error = error0 ? error_node->errors[error0] : 0;
1739           p1->error = error1 ? error_node->errors[error1] : 0;
1740
1741           if (head_of_feature_arc)
1742             {
1743               if (PREDICT_TRUE (error0 == (u8) IP4_ERROR_UNKNOWN_PROTOCOL))
1744                 vnet_feature_arc_start (arc_index, sw_if_index0, &next0, p0);
1745               if (PREDICT_TRUE (error1 == (u8) IP4_ERROR_UNKNOWN_PROTOCOL))
1746                 vnet_feature_arc_start (arc_index, sw_if_index1, &next1, p1);
1747             }
1748
1749           vlib_validate_buffer_enqueue_x2 (vm, node, next_index, to_next,
1750                                            n_left_to_next, pi0, pi1,
1751                                            next0, next1);
1752         }
1753
1754       while (n_left_from > 0 && n_left_to_next > 0)
1755         {
1756           vlib_buffer_t *p0;
1757           ip4_header_t *ip0;
1758           ip4_fib_mtrie_t *mtrie0;
1759           ip4_fib_mtrie_leaf_t leaf0;
1760           u32 pi0, next0, fib_index0, lbi0;
1761           u8 error0, is_udp0, is_tcp_udp0, good_tcp_udp0, proto0;
1762           load_balance_t *lb0;
1763           const dpo_id_t *dpo0;
1764           u32 sw_if_index0;
1765
1766           pi0 = to_next[0] = from[0];
1767           from += 1;
1768           n_left_from -= 1;
1769           to_next += 1;
1770           n_left_to_next -= 1;
1771
1772           next0 = IP_LOCAL_NEXT_DROP;
1773           error0 = IP4_ERROR_UNKNOWN_PROTOCOL;
1774
1775           p0 = vlib_get_buffer (vm, pi0);
1776           ip0 = vlib_buffer_get_current (p0);
1777           vnet_buffer (p0)->l3_hdr_offset = p0->current_data;
1778           sw_if_index0 = vnet_buffer (p0)->sw_if_index[VLIB_RX];
1779
1780           /* Treat IP frag packets as "experimental" protocol for now
1781              until support of IP frag reassembly is implemented */
1782           proto0 = ip4_is_fragment (ip0) ? 0xfe : ip0->protocol;
1783
1784           if (head_of_feature_arc == 0)
1785             goto skip_check;
1786
1787           is_udp0 = proto0 == IP_PROTOCOL_UDP;
1788           is_tcp_udp0 = is_udp0 || proto0 == IP_PROTOCOL_TCP;
1789           good_tcp_udp0 =
1790             (p0->flags & VNET_BUFFER_F_L4_CHECKSUM_CORRECT) != 0;
1791
1792           if (PREDICT_FALSE (ip4_local_do_l4_check (is_tcp_udp0, p0->flags)))
1793             {
1794               ip4_local_validate_l4 (vm, p0, ip0, is_udp0, &error0,
1795                                      &good_tcp_udp0);
1796             }
1797
1798           ASSERT (IP4_ERROR_TCP_CHECKSUM + 1 == IP4_ERROR_UDP_CHECKSUM);
1799           error0 = (is_tcp_udp0 && !good_tcp_udp0
1800                     ? IP4_ERROR_TCP_CHECKSUM + is_udp0 : error0);
1801
1802           fib_index0 = vec_elt (im->fib_index_by_sw_if_index, sw_if_index0);
1803           fib_index0 =
1804             (vnet_buffer (p0)->sw_if_index[VLIB_TX] ==
1805              (u32) ~ 0) ? fib_index0 : vnet_buffer (p0)->sw_if_index[VLIB_TX];
1806           mtrie0 = &ip4_fib_get (fib_index0)->mtrie;
1807           leaf0 = ip4_fib_mtrie_lookup_step_one (mtrie0, &ip0->src_address);
1808           leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, &ip0->src_address,
1809                                              2);
1810           leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, &ip0->src_address,
1811                                              3);
1812           lbi0 = ip4_fib_mtrie_leaf_get_adj_index (leaf0);
1813           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = lbi0;
1814           vnet_buffer (p0)->ip.adj_index[VLIB_RX] = lbi0;
1815
1816           lb0 = load_balance_get (lbi0);
1817           dpo0 = load_balance_get_bucket_i (lb0, 0);
1818
1819           error0 = ((error0 == IP4_ERROR_UNKNOWN_PROTOCOL &&
1820                      dpo0->dpoi_type == DPO_RECEIVE) ?
1821                     IP4_ERROR_SPOOFED_LOCAL_PACKETS : error0);
1822           error0 = ((error0 == IP4_ERROR_UNKNOWN_PROTOCOL &&
1823                      !fib_urpf_check_size (lb0->lb_urpf) &&
1824                      ip0->dst_address.as_u32 != 0xFFFFFFFF)
1825                     ? IP4_ERROR_SRC_LOOKUP_MISS : error0);
1826
1827         skip_check:
1828           next0 = lm->local_next_by_ip_protocol[proto0];
1829           next0 =
1830             error0 != IP4_ERROR_UNKNOWN_PROTOCOL ? IP_LOCAL_NEXT_DROP : next0;
1831
1832           p0->error = error0 ? error_node->errors[error0] : 0;
1833
1834           if (head_of_feature_arc)
1835             {
1836               if (PREDICT_TRUE (error0 == (u8) IP4_ERROR_UNKNOWN_PROTOCOL))
1837                 vnet_feature_arc_start (arc_index, sw_if_index0, &next0, p0);
1838             }
1839
1840           vlib_validate_buffer_enqueue_x1 (vm, node, next_index, to_next,
1841                                            n_left_to_next, pi0, next0);
1842         }
1843       vlib_put_next_frame (vm, node, next_index, n_left_to_next);
1844     }
1845
1846   return frame->n_vectors;
1847 }
1848
1849 static uword
1850 ip4_local (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
1851 {
1852   return ip4_local_inline (vm, node, frame, 1 /* head of feature arc */ );
1853 }
1854
1855 /* *INDENT-OFF* */
1856 VLIB_REGISTER_NODE (ip4_local_node) =
1857 {
1858   .function = ip4_local,
1859   .name = "ip4-local",
1860   .vector_size = sizeof (u32),
1861   .format_trace = format_ip4_forward_next_trace,
1862   .n_next_nodes = IP_LOCAL_N_NEXT,
1863   .next_nodes =
1864   {
1865     [IP_LOCAL_NEXT_DROP] = "error-drop",
1866     [IP_LOCAL_NEXT_PUNT] = "error-punt",
1867     [IP_LOCAL_NEXT_UDP_LOOKUP] = "ip4-udp-lookup",
1868     [IP_LOCAL_NEXT_ICMP] = "ip4-icmp-input",
1869   },
1870 };
1871 /* *INDENT-ON* */
1872
1873 VLIB_NODE_FUNCTION_MULTIARCH (ip4_local_node, ip4_local);
1874
1875 static uword
1876 ip4_local_end_of_arc (vlib_main_t * vm,
1877                       vlib_node_runtime_t * node, vlib_frame_t * frame)
1878 {
1879   return ip4_local_inline (vm, node, frame, 0 /* head of feature arc */ );
1880 }
1881
1882 /* *INDENT-OFF* */
1883 VLIB_REGISTER_NODE (ip4_local_end_of_arc_node,static) = {
1884   .function = ip4_local_end_of_arc,
1885   .name = "ip4-local-end-of-arc",
1886   .vector_size = sizeof (u32),
1887
1888   .format_trace = format_ip4_forward_next_trace,
1889   .sibling_of = "ip4-local",
1890 };
1891
1892 VLIB_NODE_FUNCTION_MULTIARCH (ip4_local_end_of_arc_node, ip4_local_end_of_arc)
1893
1894 VNET_FEATURE_INIT (ip4_local_end_of_arc, static) = {
1895   .arc_name = "ip4-local",
1896   .node_name = "ip4-local-end-of-arc",
1897   .runs_before = 0, /* not before any other features */
1898 };
1899 /* *INDENT-ON* */
1900
1901 void
1902 ip4_register_protocol (u32 protocol, u32 node_index)
1903 {
1904   vlib_main_t *vm = vlib_get_main ();
1905   ip4_main_t *im = &ip4_main;
1906   ip_lookup_main_t *lm = &im->lookup_main;
1907
1908   ASSERT (protocol < ARRAY_LEN (lm->local_next_by_ip_protocol));
1909   lm->local_next_by_ip_protocol[protocol] =
1910     vlib_node_add_next (vm, ip4_local_node.index, node_index);
1911 }
1912
1913 static clib_error_t *
1914 show_ip_local_command_fn (vlib_main_t * vm,
1915                           unformat_input_t * input, vlib_cli_command_t * cmd)
1916 {
1917   ip4_main_t *im = &ip4_main;
1918   ip_lookup_main_t *lm = &im->lookup_main;
1919   int i;
1920
1921   vlib_cli_output (vm, "Protocols handled by ip4_local");
1922   for (i = 0; i < ARRAY_LEN (lm->local_next_by_ip_protocol); i++)
1923     {
1924       if (lm->local_next_by_ip_protocol[i] != IP_LOCAL_NEXT_PUNT)
1925         vlib_cli_output (vm, "%d", i);
1926     }
1927   return 0;
1928 }
1929
1930
1931
1932 /*?
1933  * Display the set of protocols handled by the local IPv4 stack.
1934  *
1935  * @cliexpar
1936  * Example of how to display local protocol table:
1937  * @cliexstart{show ip local}
1938  * Protocols handled by ip4_local
1939  * 1
1940  * 17
1941  * 47
1942  * @cliexend
1943 ?*/
1944 /* *INDENT-OFF* */
1945 VLIB_CLI_COMMAND (show_ip_local, static) =
1946 {
1947   .path = "show ip local",
1948   .function = show_ip_local_command_fn,
1949   .short_help = "show ip local",
1950 };
1951 /* *INDENT-ON* */
1952
1953 always_inline uword
1954 ip4_arp_inline (vlib_main_t * vm,
1955                 vlib_node_runtime_t * node,
1956                 vlib_frame_t * frame, int is_glean)
1957 {
1958   vnet_main_t *vnm = vnet_get_main ();
1959   ip4_main_t *im = &ip4_main;
1960   ip_lookup_main_t *lm = &im->lookup_main;
1961   u32 *from, *to_next_drop;
1962   uword n_left_from, n_left_to_next_drop, next_index;
1963   static f64 time_last_seed_change = -1e100;
1964   static u32 hash_seeds[3];
1965   static uword hash_bitmap[256 / BITS (uword)];
1966   f64 time_now;
1967
1968   if (node->flags & VLIB_NODE_FLAG_TRACE)
1969     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
1970
1971   time_now = vlib_time_now (vm);
1972   if (time_now - time_last_seed_change > 1e-3)
1973     {
1974       uword i;
1975       u32 *r = clib_random_buffer_get_data (&vm->random_buffer,
1976                                             sizeof (hash_seeds));
1977       for (i = 0; i < ARRAY_LEN (hash_seeds); i++)
1978         hash_seeds[i] = r[i];
1979
1980       /* Mark all hash keys as been no-seen before. */
1981       for (i = 0; i < ARRAY_LEN (hash_bitmap); i++)
1982         hash_bitmap[i] = 0;
1983
1984       time_last_seed_change = time_now;
1985     }
1986
1987   from = vlib_frame_vector_args (frame);
1988   n_left_from = frame->n_vectors;
1989   next_index = node->cached_next_index;
1990   if (next_index == IP4_ARP_NEXT_DROP)
1991     next_index = IP4_ARP_N_NEXT;        /* point to first interface */
1992
1993   while (n_left_from > 0)
1994     {
1995       vlib_get_next_frame (vm, node, IP4_ARP_NEXT_DROP,
1996                            to_next_drop, n_left_to_next_drop);
1997
1998       while (n_left_from > 0 && n_left_to_next_drop > 0)
1999         {
2000           u32 pi0, adj_index0, a0, b0, c0, m0, sw_if_index0, drop0;
2001           ip_adjacency_t *adj0;
2002           vlib_buffer_t *p0;
2003           ip4_header_t *ip0;
2004           uword bm0;
2005
2006           pi0 = from[0];
2007
2008           p0 = vlib_get_buffer (vm, pi0);
2009
2010           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
2011           adj0 = adj_get (adj_index0);
2012           ip0 = vlib_buffer_get_current (p0);
2013
2014           a0 = hash_seeds[0];
2015           b0 = hash_seeds[1];
2016           c0 = hash_seeds[2];
2017
2018           sw_if_index0 = adj0->rewrite_header.sw_if_index;
2019           vnet_buffer (p0)->sw_if_index[VLIB_TX] = sw_if_index0;
2020
2021           if (is_glean)
2022             {
2023               /*
2024                * this is the Glean case, so we are ARPing for the
2025                * packet's destination
2026                */
2027               a0 ^= ip0->dst_address.data_u32;
2028             }
2029           else
2030             {
2031               a0 ^= adj0->sub_type.nbr.next_hop.ip4.data_u32;
2032             }
2033           b0 ^= sw_if_index0;
2034
2035           hash_v3_mix32 (a0, b0, c0);
2036           hash_v3_finalize32 (a0, b0, c0);
2037
2038           c0 &= BITS (hash_bitmap) - 1;
2039           m0 = (uword) 1 << (c0 % BITS (uword));
2040           c0 = c0 / BITS (uword);
2041
2042           bm0 = hash_bitmap[c0];
2043           drop0 = (bm0 & m0) != 0;
2044
2045           /* Mark it as seen. */
2046           hash_bitmap[c0] = bm0 | m0;
2047
2048           from += 1;
2049           n_left_from -= 1;
2050           to_next_drop[0] = pi0;
2051           to_next_drop += 1;
2052           n_left_to_next_drop -= 1;
2053
2054           p0->error =
2055             node->errors[drop0 ? IP4_ARP_ERROR_DROP :
2056                          IP4_ARP_ERROR_REQUEST_SENT];
2057
2058           /*
2059            * the adj has been updated to a rewrite but the node the DPO that got
2060            * us here hasn't - yet. no big deal. we'll drop while we wait.
2061            */
2062           if (IP_LOOKUP_NEXT_REWRITE == adj0->lookup_next_index)
2063             continue;
2064
2065           if (drop0)
2066             continue;
2067
2068           /*
2069            * Can happen if the control-plane is programming tables
2070            * with traffic flowing; at least that's today's lame excuse.
2071            */
2072           if ((is_glean && adj0->lookup_next_index != IP_LOOKUP_NEXT_GLEAN)
2073               || (!is_glean && adj0->lookup_next_index != IP_LOOKUP_NEXT_ARP))
2074             {
2075               p0->error = node->errors[IP4_ARP_ERROR_NON_ARP_ADJ];
2076             }
2077           else
2078             /* Send ARP request. */
2079             {
2080               u32 bi0 = 0;
2081               vlib_buffer_t *b0;
2082               ethernet_arp_header_t *h0;
2083               vnet_hw_interface_t *hw_if0;
2084
2085               h0 =
2086                 vlib_packet_template_get_packet (vm,
2087                                                  &im->ip4_arp_request_packet_template,
2088                                                  &bi0);
2089
2090               /* Add rewrite/encap string for ARP packet. */
2091               vnet_rewrite_one_header (adj0[0], h0,
2092                                        sizeof (ethernet_header_t));
2093
2094               hw_if0 = vnet_get_sup_hw_interface (vnm, sw_if_index0);
2095
2096               /* Src ethernet address in ARP header. */
2097               clib_memcpy (h0->ip4_over_ethernet[0].ethernet,
2098                            hw_if0->hw_address,
2099                            sizeof (h0->ip4_over_ethernet[0].ethernet));
2100
2101               if (is_glean)
2102                 {
2103                   /* The interface's source address is stashed in the Glean Adj */
2104                   h0->ip4_over_ethernet[0].ip4 =
2105                     adj0->sub_type.glean.receive_addr.ip4;
2106
2107                   /* Copy in destination address we are requesting. This is the
2108                    * glean case, so it's the packet's destination.*/
2109                   h0->ip4_over_ethernet[1].ip4.data_u32 =
2110                     ip0->dst_address.data_u32;
2111                 }
2112               else
2113                 {
2114                   /* Src IP address in ARP header. */
2115                   if (ip4_src_address_for_packet (lm, sw_if_index0,
2116                                                   &h0->
2117                                                   ip4_over_ethernet[0].ip4))
2118                     {
2119                       /* No source address available */
2120                       p0->error =
2121                         node->errors[IP4_ARP_ERROR_NO_SOURCE_ADDRESS];
2122                       vlib_buffer_free (vm, &bi0, 1);
2123                       continue;
2124                     }
2125
2126                   /* Copy in destination address we are requesting from the
2127                      incomplete adj */
2128                   h0->ip4_over_ethernet[1].ip4.data_u32 =
2129                     adj0->sub_type.nbr.next_hop.ip4.as_u32;
2130                 }
2131
2132               vlib_buffer_copy_trace_flag (vm, p0, bi0);
2133               b0 = vlib_get_buffer (vm, bi0);
2134               vnet_buffer (b0)->sw_if_index[VLIB_TX] = sw_if_index0;
2135
2136               vlib_buffer_advance (b0, -adj0->rewrite_header.data_bytes);
2137
2138               vlib_set_next_frame_buffer (vm, node,
2139                                           adj0->rewrite_header.next_index,
2140                                           bi0);
2141             }
2142         }
2143
2144       vlib_put_next_frame (vm, node, IP4_ARP_NEXT_DROP, n_left_to_next_drop);
2145     }
2146
2147   return frame->n_vectors;
2148 }
2149
2150 static uword
2151 ip4_arp (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
2152 {
2153   return (ip4_arp_inline (vm, node, frame, 0));
2154 }
2155
2156 static uword
2157 ip4_glean (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
2158 {
2159   return (ip4_arp_inline (vm, node, frame, 1));
2160 }
2161
2162 static char *ip4_arp_error_strings[] = {
2163   [IP4_ARP_ERROR_DROP] = "address overflow drops",
2164   [IP4_ARP_ERROR_REQUEST_SENT] = "ARP requests sent",
2165   [IP4_ARP_ERROR_NON_ARP_ADJ] = "ARPs to non-ARP adjacencies",
2166   [IP4_ARP_ERROR_REPLICATE_DROP] = "ARP replication completed",
2167   [IP4_ARP_ERROR_REPLICATE_FAIL] = "ARP replication failed",
2168   [IP4_ARP_ERROR_NO_SOURCE_ADDRESS] = "no source address for ARP request",
2169 };
2170
2171 VLIB_REGISTER_NODE (ip4_arp_node) =
2172 {
2173   .function = ip4_arp,.name = "ip4-arp",.vector_size =
2174     sizeof (u32),.format_trace = format_ip4_forward_next_trace,.n_errors =
2175     ARRAY_LEN (ip4_arp_error_strings),.error_strings =
2176     ip4_arp_error_strings,.n_next_nodes = IP4_ARP_N_NEXT,.next_nodes =
2177   {
2178   [IP4_ARP_NEXT_DROP] = "error-drop",}
2179 ,};
2180
2181 VLIB_REGISTER_NODE (ip4_glean_node) =
2182 {
2183   .function = ip4_glean,.name = "ip4-glean",.vector_size =
2184     sizeof (u32),.format_trace = format_ip4_forward_next_trace,.n_errors =
2185     ARRAY_LEN (ip4_arp_error_strings),.error_strings =
2186     ip4_arp_error_strings,.n_next_nodes = IP4_ARP_N_NEXT,.next_nodes =
2187   {
2188   [IP4_ARP_NEXT_DROP] = "error-drop",}
2189 ,};
2190
2191 #define foreach_notrace_ip4_arp_error           \
2192 _(DROP)                                         \
2193 _(REQUEST_SENT)                                 \
2194 _(REPLICATE_DROP)                               \
2195 _(REPLICATE_FAIL)
2196
2197 clib_error_t *
2198 arp_notrace_init (vlib_main_t * vm)
2199 {
2200   vlib_node_runtime_t *rt = vlib_node_get_runtime (vm, ip4_arp_node.index);
2201
2202   /* don't trace ARP request packets */
2203 #define _(a)                                    \
2204     vnet_pcap_drop_trace_filter_add_del         \
2205         (rt->errors[IP4_ARP_ERROR_##a],         \
2206          1 /* is_add */);
2207   foreach_notrace_ip4_arp_error;
2208 #undef _
2209   return 0;
2210 }
2211
2212 VLIB_INIT_FUNCTION (arp_notrace_init);
2213
2214
2215 /* Send an ARP request to see if given destination is reachable on given interface. */
2216 clib_error_t *
2217 ip4_probe_neighbor (vlib_main_t * vm, ip4_address_t * dst, u32 sw_if_index)
2218 {
2219   vnet_main_t *vnm = vnet_get_main ();
2220   ip4_main_t *im = &ip4_main;
2221   ethernet_arp_header_t *h;
2222   ip4_address_t *src;
2223   ip_interface_address_t *ia;
2224   ip_adjacency_t *adj;
2225   vnet_hw_interface_t *hi;
2226   vnet_sw_interface_t *si;
2227   vlib_buffer_t *b;
2228   adj_index_t ai;
2229   u32 bi = 0;
2230
2231   si = vnet_get_sw_interface (vnm, sw_if_index);
2232
2233   if (!(si->flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP))
2234     {
2235       return clib_error_return (0, "%U: interface %U down",
2236                                 format_ip4_address, dst,
2237                                 format_vnet_sw_if_index_name, vnm,
2238                                 sw_if_index);
2239     }
2240
2241   src =
2242     ip4_interface_address_matching_destination (im, dst, sw_if_index, &ia);
2243   if (!src)
2244     {
2245       vnm->api_errno = VNET_API_ERROR_NO_MATCHING_INTERFACE;
2246       return clib_error_return
2247         (0,
2248          "no matching interface address for destination %U (interface %U)",
2249          format_ip4_address, dst, format_vnet_sw_if_index_name, vnm,
2250          sw_if_index);
2251     }
2252
2253   ip46_address_t nh = {
2254     .ip4 = *dst,
2255   };
2256
2257   ai = adj_nbr_add_or_lock (FIB_PROTOCOL_IP4,
2258                             VNET_LINK_IP4, &nh, sw_if_index);
2259   adj = adj_get (ai);
2260
2261   h = vlib_packet_template_get_packet (vm,
2262                                        &im->ip4_arp_request_packet_template,
2263                                        &bi);
2264
2265   hi = vnet_get_sup_hw_interface (vnm, sw_if_index);
2266   if (PREDICT_FALSE (!hi->hw_address))
2267     {
2268       return clib_error_return (0, "%U: interface %U do not support ip probe",
2269                                 format_ip4_address, dst,
2270                                 format_vnet_sw_if_index_name, vnm,
2271                                 sw_if_index);
2272     }
2273
2274   clib_memcpy (h->ip4_over_ethernet[0].ethernet, hi->hw_address,
2275                sizeof (h->ip4_over_ethernet[0].ethernet));
2276
2277   h->ip4_over_ethernet[0].ip4 = src[0];
2278   h->ip4_over_ethernet[1].ip4 = dst[0];
2279
2280   b = vlib_get_buffer (vm, bi);
2281   vnet_buffer (b)->sw_if_index[VLIB_RX] =
2282     vnet_buffer (b)->sw_if_index[VLIB_TX] = sw_if_index;
2283
2284   /* Add encapsulation string for software interface (e.g. ethernet header). */
2285   vnet_rewrite_one_header (adj[0], h, sizeof (ethernet_header_t));
2286   vlib_buffer_advance (b, -adj->rewrite_header.data_bytes);
2287
2288   {
2289     vlib_frame_t *f = vlib_get_frame_to_node (vm, hi->output_node_index);
2290     u32 *to_next = vlib_frame_vector_args (f);
2291     to_next[0] = bi;
2292     f->n_vectors = 1;
2293     vlib_put_frame_to_node (vm, hi->output_node_index, f);
2294   }
2295
2296   adj_unlock (ai);
2297   return /* no error */ 0;
2298 }
2299
2300 typedef enum
2301 {
2302   IP4_REWRITE_NEXT_DROP,
2303   IP4_REWRITE_NEXT_ICMP_ERROR,
2304 } ip4_rewrite_next_t;
2305
2306 always_inline uword
2307 ip4_rewrite_inline (vlib_main_t * vm,
2308                     vlib_node_runtime_t * node,
2309                     vlib_frame_t * frame,
2310                     int do_counters, int is_midchain, int is_mcast)
2311 {
2312   ip_lookup_main_t *lm = &ip4_main.lookup_main;
2313   u32 *from = vlib_frame_vector_args (frame);
2314   u32 n_left_from, n_left_to_next, *to_next, next_index;
2315   vlib_node_runtime_t *error_node =
2316     vlib_node_get_runtime (vm, ip4_input_node.index);
2317
2318   n_left_from = frame->n_vectors;
2319   next_index = node->cached_next_index;
2320   u32 thread_index = vlib_get_thread_index ();
2321
2322   while (n_left_from > 0)
2323     {
2324       vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
2325
2326       while (n_left_from >= 4 && n_left_to_next >= 2)
2327         {
2328           ip_adjacency_t *adj0, *adj1;
2329           vlib_buffer_t *p0, *p1;
2330           ip4_header_t *ip0, *ip1;
2331           u32 pi0, rw_len0, next0, error0, checksum0, adj_index0;
2332           u32 pi1, rw_len1, next1, error1, checksum1, adj_index1;
2333           u32 tx_sw_if_index0, tx_sw_if_index1;
2334
2335           /* Prefetch next iteration. */
2336           {
2337             vlib_buffer_t *p2, *p3;
2338
2339             p2 = vlib_get_buffer (vm, from[2]);
2340             p3 = vlib_get_buffer (vm, from[3]);
2341
2342             vlib_prefetch_buffer_header (p2, STORE);
2343             vlib_prefetch_buffer_header (p3, STORE);
2344
2345             CLIB_PREFETCH (p2->data, sizeof (ip0[0]), STORE);
2346             CLIB_PREFETCH (p3->data, sizeof (ip0[0]), STORE);
2347           }
2348
2349           pi0 = to_next[0] = from[0];
2350           pi1 = to_next[1] = from[1];
2351
2352           from += 2;
2353           n_left_from -= 2;
2354           to_next += 2;
2355           n_left_to_next -= 2;
2356
2357           p0 = vlib_get_buffer (vm, pi0);
2358           p1 = vlib_get_buffer (vm, pi1);
2359
2360           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
2361           adj_index1 = vnet_buffer (p1)->ip.adj_index[VLIB_TX];
2362
2363           /*
2364            * pre-fetch the per-adjacency counters
2365            */
2366           if (do_counters)
2367             {
2368               vlib_prefetch_combined_counter (&adjacency_counters,
2369                                               thread_index, adj_index0);
2370               vlib_prefetch_combined_counter (&adjacency_counters,
2371                                               thread_index, adj_index1);
2372             }
2373
2374           ip0 = vlib_buffer_get_current (p0);
2375           ip1 = vlib_buffer_get_current (p1);
2376
2377           error0 = error1 = IP4_ERROR_NONE;
2378           next0 = next1 = IP4_REWRITE_NEXT_DROP;
2379
2380           /* Decrement TTL & update checksum.
2381              Works either endian, so no need for byte swap. */
2382           if (PREDICT_TRUE (!(p0->flags & VNET_BUFFER_F_LOCALLY_ORIGINATED)))
2383             {
2384               i32 ttl0 = ip0->ttl;
2385
2386               /* Input node should have reject packets with ttl 0. */
2387               ASSERT (ip0->ttl > 0);
2388
2389               checksum0 = ip0->checksum + clib_host_to_net_u16 (0x0100);
2390               checksum0 += checksum0 >= 0xffff;
2391
2392               ip0->checksum = checksum0;
2393               ttl0 -= 1;
2394               ip0->ttl = ttl0;
2395
2396               /*
2397                * If the ttl drops below 1 when forwarding, generate
2398                * an ICMP response.
2399                */
2400               if (PREDICT_FALSE (ttl0 <= 0))
2401                 {
2402                   error0 = IP4_ERROR_TIME_EXPIRED;
2403                   vnet_buffer (p0)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2404                   icmp4_error_set_vnet_buffer (p0, ICMP4_time_exceeded,
2405                                                ICMP4_time_exceeded_ttl_exceeded_in_transit,
2406                                                0);
2407                   next0 = IP4_REWRITE_NEXT_ICMP_ERROR;
2408                 }
2409
2410               /* Verify checksum. */
2411               ASSERT ((ip0->checksum == ip4_header_checksum (ip0)) ||
2412                       (p0->flags & VNET_BUFFER_F_OFFLOAD_IP_CKSUM));
2413             }
2414           else
2415             {
2416               p0->flags &= ~VNET_BUFFER_F_LOCALLY_ORIGINATED;
2417             }
2418           if (PREDICT_TRUE (!(p1->flags & VNET_BUFFER_F_LOCALLY_ORIGINATED)))
2419             {
2420               i32 ttl1 = ip1->ttl;
2421
2422               /* Input node should have reject packets with ttl 0. */
2423               ASSERT (ip1->ttl > 0);
2424
2425               checksum1 = ip1->checksum + clib_host_to_net_u16 (0x0100);
2426               checksum1 += checksum1 >= 0xffff;
2427
2428               ip1->checksum = checksum1;
2429               ttl1 -= 1;
2430               ip1->ttl = ttl1;
2431
2432               /*
2433                * If the ttl drops below 1 when forwarding, generate
2434                * an ICMP response.
2435                */
2436               if (PREDICT_FALSE (ttl1 <= 0))
2437                 {
2438                   error1 = IP4_ERROR_TIME_EXPIRED;
2439                   vnet_buffer (p1)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2440                   icmp4_error_set_vnet_buffer (p1, ICMP4_time_exceeded,
2441                                                ICMP4_time_exceeded_ttl_exceeded_in_transit,
2442                                                0);
2443                   next1 = IP4_REWRITE_NEXT_ICMP_ERROR;
2444                 }
2445
2446               /* Verify checksum. */
2447               ASSERT ((ip1->checksum == ip4_header_checksum (ip1)) ||
2448                       (p1->flags & VNET_BUFFER_F_OFFLOAD_IP_CKSUM));
2449             }
2450           else
2451             {
2452               p1->flags &= ~VNET_BUFFER_F_LOCALLY_ORIGINATED;
2453             }
2454
2455           /* Rewrite packet header and updates lengths. */
2456           adj0 = adj_get (adj_index0);
2457           adj1 = adj_get (adj_index1);
2458
2459           /* Worth pipelining. No guarantee that adj0,1 are hot... */
2460           rw_len0 = adj0[0].rewrite_header.data_bytes;
2461           rw_len1 = adj1[0].rewrite_header.data_bytes;
2462           vnet_buffer (p0)->ip.save_rewrite_length = rw_len0;
2463           vnet_buffer (p1)->ip.save_rewrite_length = rw_len1;
2464
2465           /* Check MTU of outgoing interface. */
2466           error0 =
2467             (vlib_buffer_length_in_chain (vm, p0) >
2468              adj0[0].
2469              rewrite_header.max_l3_packet_bytes ? IP4_ERROR_MTU_EXCEEDED :
2470              error0);
2471           error1 =
2472             (vlib_buffer_length_in_chain (vm, p1) >
2473              adj1[0].
2474              rewrite_header.max_l3_packet_bytes ? IP4_ERROR_MTU_EXCEEDED :
2475              error1);
2476
2477           /* Don't adjust the buffer for ttl issue; icmp-error node wants
2478            * to see the IP headerr */
2479           if (PREDICT_TRUE (error0 == IP4_ERROR_NONE))
2480             {
2481               next0 = adj0[0].rewrite_header.next_index;
2482               p0->current_data -= rw_len0;
2483               p0->current_length += rw_len0;
2484               tx_sw_if_index0 = adj0[0].rewrite_header.sw_if_index;
2485               vnet_buffer (p0)->sw_if_index[VLIB_TX] = tx_sw_if_index0;
2486
2487               if (PREDICT_FALSE
2488                   (adj0[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2489                 vnet_feature_arc_start (lm->output_feature_arc_index,
2490                                         tx_sw_if_index0, &next0, p0);
2491             }
2492           if (PREDICT_TRUE (error1 == IP4_ERROR_NONE))
2493             {
2494               next1 = adj1[0].rewrite_header.next_index;
2495               p1->current_data -= rw_len1;
2496               p1->current_length += rw_len1;
2497
2498               tx_sw_if_index1 = adj1[0].rewrite_header.sw_if_index;
2499               vnet_buffer (p1)->sw_if_index[VLIB_TX] = tx_sw_if_index1;
2500
2501               if (PREDICT_FALSE
2502                   (adj1[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2503                 vnet_feature_arc_start (lm->output_feature_arc_index,
2504                                         tx_sw_if_index1, &next1, p1);
2505             }
2506
2507           /* Guess we are only writing on simple Ethernet header. */
2508           vnet_rewrite_two_headers (adj0[0], adj1[0],
2509                                     ip0, ip1, sizeof (ethernet_header_t));
2510
2511           /*
2512            * Bump the per-adjacency counters
2513            */
2514           if (do_counters)
2515             {
2516               vlib_increment_combined_counter
2517                 (&adjacency_counters,
2518                  thread_index,
2519                  adj_index0, 1,
2520                  vlib_buffer_length_in_chain (vm, p0) + rw_len0);
2521
2522               vlib_increment_combined_counter
2523                 (&adjacency_counters,
2524                  thread_index,
2525                  adj_index1, 1,
2526                  vlib_buffer_length_in_chain (vm, p1) + rw_len1);
2527             }
2528
2529           if (is_midchain)
2530             {
2531               adj0->sub_type.midchain.fixup_func (vm, adj0, p0);
2532               adj1->sub_type.midchain.fixup_func (vm, adj1, p1);
2533             }
2534           if (is_mcast)
2535             {
2536               /*
2537                * copy bytes from the IP address into the MAC rewrite
2538                */
2539               vnet_fixup_one_header (adj0[0], &ip0->dst_address, ip0);
2540               vnet_fixup_one_header (adj1[0], &ip1->dst_address, ip1);
2541             }
2542
2543           vlib_validate_buffer_enqueue_x2 (vm, node, next_index,
2544                                            to_next, n_left_to_next,
2545                                            pi0, pi1, next0, next1);
2546         }
2547
2548       while (n_left_from > 0 && n_left_to_next > 0)
2549         {
2550           ip_adjacency_t *adj0;
2551           vlib_buffer_t *p0;
2552           ip4_header_t *ip0;
2553           u32 pi0, rw_len0, adj_index0, next0, error0, checksum0;
2554           u32 tx_sw_if_index0;
2555
2556           pi0 = to_next[0] = from[0];
2557
2558           p0 = vlib_get_buffer (vm, pi0);
2559
2560           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
2561
2562           adj0 = adj_get (adj_index0);
2563
2564           ip0 = vlib_buffer_get_current (p0);
2565
2566           error0 = IP4_ERROR_NONE;
2567           next0 = IP4_REWRITE_NEXT_DROP;        /* drop on error */
2568
2569           /* Decrement TTL & update checksum. */
2570           if (PREDICT_TRUE (!(p0->flags & VNET_BUFFER_F_LOCALLY_ORIGINATED)))
2571             {
2572               i32 ttl0 = ip0->ttl;
2573
2574               checksum0 = ip0->checksum + clib_host_to_net_u16 (0x0100);
2575
2576               checksum0 += checksum0 >= 0xffff;
2577
2578               ip0->checksum = checksum0;
2579
2580               ASSERT (ip0->ttl > 0);
2581
2582               ttl0 -= 1;
2583
2584               ip0->ttl = ttl0;
2585
2586               ASSERT ((ip0->checksum == ip4_header_checksum (ip0)) ||
2587                       (p0->flags & VNET_BUFFER_F_OFFLOAD_IP_CKSUM));
2588
2589               if (PREDICT_FALSE (ttl0 <= 0))
2590                 {
2591                   /*
2592                    * If the ttl drops below 1 when forwarding, generate
2593                    * an ICMP response.
2594                    */
2595                   error0 = IP4_ERROR_TIME_EXPIRED;
2596                   next0 = IP4_REWRITE_NEXT_ICMP_ERROR;
2597                   vnet_buffer (p0)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2598                   icmp4_error_set_vnet_buffer (p0, ICMP4_time_exceeded,
2599                                                ICMP4_time_exceeded_ttl_exceeded_in_transit,
2600                                                0);
2601                 }
2602             }
2603           else
2604             {
2605               p0->flags &= ~VNET_BUFFER_F_LOCALLY_ORIGINATED;
2606             }
2607
2608           if (do_counters)
2609             vlib_prefetch_combined_counter (&adjacency_counters,
2610                                             thread_index, adj_index0);
2611
2612           /* Guess we are only writing on simple Ethernet header. */
2613           vnet_rewrite_one_header (adj0[0], ip0, sizeof (ethernet_header_t));
2614           if (is_mcast)
2615             {
2616               /*
2617                * copy bytes from the IP address into the MAC rewrite
2618                */
2619               vnet_fixup_one_header (adj0[0], &ip0->dst_address, ip0);
2620             }
2621
2622           /* Update packet buffer attributes/set output interface. */
2623           rw_len0 = adj0[0].rewrite_header.data_bytes;
2624           vnet_buffer (p0)->ip.save_rewrite_length = rw_len0;
2625
2626           if (do_counters)
2627             vlib_increment_combined_counter
2628               (&adjacency_counters,
2629                thread_index, adj_index0, 1,
2630                vlib_buffer_length_in_chain (vm, p0) + rw_len0);
2631
2632           /* Check MTU of outgoing interface. */
2633           error0 = (vlib_buffer_length_in_chain (vm, p0)
2634                     > adj0[0].rewrite_header.max_l3_packet_bytes
2635                     ? IP4_ERROR_MTU_EXCEEDED : error0);
2636
2637           p0->error = error_node->errors[error0];
2638
2639           /* Don't adjust the buffer for ttl issue; icmp-error node wants
2640            * to see the IP headerr */
2641           if (PREDICT_TRUE (error0 == IP4_ERROR_NONE))
2642             {
2643               p0->current_data -= rw_len0;
2644               p0->current_length += rw_len0;
2645               tx_sw_if_index0 = adj0[0].rewrite_header.sw_if_index;
2646
2647               vnet_buffer (p0)->sw_if_index[VLIB_TX] = tx_sw_if_index0;
2648               next0 = adj0[0].rewrite_header.next_index;
2649
2650               if (is_midchain)
2651                 {
2652                   adj0->sub_type.midchain.fixup_func (vm, adj0, p0);
2653                 }
2654
2655               if (PREDICT_FALSE
2656                   (adj0[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2657                 vnet_feature_arc_start (lm->output_feature_arc_index,
2658                                         tx_sw_if_index0, &next0, p0);
2659
2660             }
2661
2662           from += 1;
2663           n_left_from -= 1;
2664           to_next += 1;
2665           n_left_to_next -= 1;
2666
2667           vlib_validate_buffer_enqueue_x1 (vm, node, next_index,
2668                                            to_next, n_left_to_next,
2669                                            pi0, next0);
2670         }
2671
2672       vlib_put_next_frame (vm, node, next_index, n_left_to_next);
2673     }
2674
2675   /* Need to do trace after rewrites to pick up new packet data. */
2676   if (node->flags & VLIB_NODE_FLAG_TRACE)
2677     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
2678
2679   return frame->n_vectors;
2680 }
2681
2682
2683 /** @brief IPv4 rewrite node.
2684     @node ip4-rewrite
2685
2686     This is the IPv4 transit-rewrite node: decrement TTL, fix the ipv4
2687     header checksum, fetch the ip adjacency, check the outbound mtu,
2688     apply the adjacency rewrite, and send pkts to the adjacency
2689     rewrite header's rewrite_next_index.
2690
2691     @param vm vlib_main_t corresponding to the current thread
2692     @param node vlib_node_runtime_t
2693     @param frame vlib_frame_t whose contents should be dispatched
2694
2695     @par Graph mechanics: buffer metadata, next index usage
2696
2697     @em Uses:
2698     - <code>vnet_buffer(b)->ip.adj_index[VLIB_TX]</code>
2699         - the rewrite adjacency index
2700     - <code>adj->lookup_next_index</code>
2701         - Must be IP_LOOKUP_NEXT_REWRITE or IP_LOOKUP_NEXT_ARP, otherwise
2702           the packet will be dropped.
2703     - <code>adj->rewrite_header</code>
2704         - Rewrite string length, rewrite string, next_index
2705
2706     @em Sets:
2707     - <code>b->current_data, b->current_length</code>
2708         - Updated net of applying the rewrite string
2709
2710     <em>Next Indices:</em>
2711     - <code> adj->rewrite_header.next_index </code>
2712       or @c error-drop
2713 */
2714 static uword
2715 ip4_rewrite (vlib_main_t * vm,
2716              vlib_node_runtime_t * node, vlib_frame_t * frame)
2717 {
2718   if (adj_are_counters_enabled ())
2719     return ip4_rewrite_inline (vm, node, frame, 1, 0, 0);
2720   else
2721     return ip4_rewrite_inline (vm, node, frame, 0, 0, 0);
2722 }
2723
2724 static uword
2725 ip4_midchain (vlib_main_t * vm,
2726               vlib_node_runtime_t * node, vlib_frame_t * frame)
2727 {
2728   if (adj_are_counters_enabled ())
2729     return ip4_rewrite_inline (vm, node, frame, 1, 1, 0);
2730   else
2731     return ip4_rewrite_inline (vm, node, frame, 0, 1, 0);
2732 }
2733
2734 static uword
2735 ip4_rewrite_mcast (vlib_main_t * vm,
2736                    vlib_node_runtime_t * node, vlib_frame_t * frame)
2737 {
2738   if (adj_are_counters_enabled ())
2739     return ip4_rewrite_inline (vm, node, frame, 1, 0, 1);
2740   else
2741     return ip4_rewrite_inline (vm, node, frame, 0, 0, 1);
2742 }
2743
2744 static uword
2745 ip4_mcast_midchain (vlib_main_t * vm,
2746                     vlib_node_runtime_t * node, vlib_frame_t * frame)
2747 {
2748   if (adj_are_counters_enabled ())
2749     return ip4_rewrite_inline (vm, node, frame, 1, 1, 1);
2750   else
2751     return ip4_rewrite_inline (vm, node, frame, 0, 1, 1);
2752 }
2753
2754 /* *INDENT-OFF* */
2755 VLIB_REGISTER_NODE (ip4_rewrite_node) = {
2756   .function = ip4_rewrite,
2757   .name = "ip4-rewrite",
2758   .vector_size = sizeof (u32),
2759
2760   .format_trace = format_ip4_rewrite_trace,
2761
2762   .n_next_nodes = 2,
2763   .next_nodes = {
2764     [IP4_REWRITE_NEXT_DROP] = "error-drop",
2765     [IP4_REWRITE_NEXT_ICMP_ERROR] = "ip4-icmp-error",
2766   },
2767 };
2768 VLIB_NODE_FUNCTION_MULTIARCH (ip4_rewrite_node, ip4_rewrite)
2769
2770 VLIB_REGISTER_NODE (ip4_rewrite_mcast_node) = {
2771   .function = ip4_rewrite_mcast,
2772   .name = "ip4-rewrite-mcast",
2773   .vector_size = sizeof (u32),
2774
2775   .format_trace = format_ip4_rewrite_trace,
2776   .sibling_of = "ip4-rewrite",
2777 };
2778 VLIB_NODE_FUNCTION_MULTIARCH (ip4_rewrite_mcast_node, ip4_rewrite_mcast)
2779
2780 VLIB_REGISTER_NODE (ip4_mcast_midchain_node, static) = {
2781   .function = ip4_mcast_midchain,
2782   .name = "ip4-mcast-midchain",
2783   .vector_size = sizeof (u32),
2784
2785   .format_trace = format_ip4_rewrite_trace,
2786   .sibling_of = "ip4-rewrite",
2787 };
2788 VLIB_NODE_FUNCTION_MULTIARCH (ip4_mcast_midchain_node, ip4_mcast_midchain)
2789
2790 VLIB_REGISTER_NODE (ip4_midchain_node) = {
2791   .function = ip4_midchain,
2792   .name = "ip4-midchain",
2793   .vector_size = sizeof (u32),
2794   .format_trace = format_ip4_forward_next_trace,
2795   .sibling_of =  "ip4-rewrite",
2796 };
2797 VLIB_NODE_FUNCTION_MULTIARCH (ip4_midchain_node, ip4_midchain);
2798 /* *INDENT-ON */
2799
2800 int
2801 ip4_lookup_validate (ip4_address_t * a, u32 fib_index0)
2802 {
2803   ip4_fib_mtrie_t *mtrie0;
2804   ip4_fib_mtrie_leaf_t leaf0;
2805   u32 lbi0;
2806
2807   mtrie0 = &ip4_fib_get (fib_index0)->mtrie;
2808
2809   leaf0 = ip4_fib_mtrie_lookup_step_one (mtrie0, a);
2810   leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, a, 2);
2811   leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, a, 3);
2812
2813   lbi0 = ip4_fib_mtrie_leaf_get_adj_index (leaf0);
2814
2815   return lbi0 == ip4_fib_table_lookup_lb (ip4_fib_get (fib_index0), a);
2816 }
2817
2818 static clib_error_t *
2819 test_lookup_command_fn (vlib_main_t * vm,
2820                         unformat_input_t * input, vlib_cli_command_t * cmd)
2821 {
2822   ip4_fib_t *fib;
2823   u32 table_id = 0;
2824   f64 count = 1;
2825   u32 n;
2826   int i;
2827   ip4_address_t ip4_base_address;
2828   u64 errors = 0;
2829
2830   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
2831     {
2832       if (unformat (input, "table %d", &table_id))
2833         {
2834           /* Make sure the entry exists. */
2835           fib = ip4_fib_get (table_id);
2836           if ((fib) && (fib->index != table_id))
2837             return clib_error_return (0, "<fib-index> %d does not exist",
2838                                       table_id);
2839         }
2840       else if (unformat (input, "count %f", &count))
2841         ;
2842
2843       else if (unformat (input, "%U",
2844                          unformat_ip4_address, &ip4_base_address))
2845         ;
2846       else
2847         return clib_error_return (0, "unknown input `%U'",
2848                                   format_unformat_error, input);
2849     }
2850
2851   n = count;
2852
2853   for (i = 0; i < n; i++)
2854     {
2855       if (!ip4_lookup_validate (&ip4_base_address, table_id))
2856         errors++;
2857
2858       ip4_base_address.as_u32 =
2859         clib_host_to_net_u32 (1 +
2860                               clib_net_to_host_u32 (ip4_base_address.as_u32));
2861     }
2862
2863   if (errors)
2864     vlib_cli_output (vm, "%llu errors out of %d lookups\n", errors, n);
2865   else
2866     vlib_cli_output (vm, "No errors in %d lookups\n", n);
2867
2868   return 0;
2869 }
2870
2871 /*?
2872  * Perform a lookup of an IPv4 Address (or range of addresses) in the
2873  * given FIB table to determine if there is a conflict with the
2874  * adjacency table. The fib-id can be determined by using the
2875  * '<em>show ip fib</em>' command. If fib-id is not entered, default value
2876  * of 0 is used.
2877  *
2878  * @todo This command uses fib-id, other commands use table-id (not
2879  * just a name, they are different indexes). Would like to change this
2880  * to table-id for consistency.
2881  *
2882  * @cliexpar
2883  * Example of how to run the test lookup command:
2884  * @cliexstart{test lookup 172.16.1.1 table 1 count 2}
2885  * No errors in 2 lookups
2886  * @cliexend
2887 ?*/
2888 /* *INDENT-OFF* */
2889 VLIB_CLI_COMMAND (lookup_test_command, static) =
2890 {
2891   .path = "test lookup",
2892   .short_help = "test lookup <ipv4-addr> [table <fib-id>] [count <nn>]",
2893   .function = test_lookup_command_fn,
2894 };
2895 /* *INDENT-ON* */
2896
2897 int
2898 vnet_set_ip4_flow_hash (u32 table_id, u32 flow_hash_config)
2899 {
2900   u32 fib_index;
2901
2902   fib_index = fib_table_find (FIB_PROTOCOL_IP4, table_id);
2903
2904   if (~0 == fib_index)
2905     return VNET_API_ERROR_NO_SUCH_FIB;
2906
2907   fib_table_set_flow_hash_config (fib_index, FIB_PROTOCOL_IP4,
2908                                   flow_hash_config);
2909
2910   return 0;
2911 }
2912
2913 static clib_error_t *
2914 set_ip_flow_hash_command_fn (vlib_main_t * vm,
2915                              unformat_input_t * input,
2916                              vlib_cli_command_t * cmd)
2917 {
2918   int matched = 0;
2919   u32 table_id = 0;
2920   u32 flow_hash_config = 0;
2921   int rv;
2922
2923   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
2924     {
2925       if (unformat (input, "table %d", &table_id))
2926         matched = 1;
2927 #define _(a,v) \
2928     else if (unformat (input, #a)) { flow_hash_config |= v; matched=1;}
2929       foreach_flow_hash_bit
2930 #undef _
2931         else
2932         break;
2933     }
2934
2935   if (matched == 0)
2936     return clib_error_return (0, "unknown input `%U'",
2937                               format_unformat_error, input);
2938
2939   rv = vnet_set_ip4_flow_hash (table_id, flow_hash_config);
2940   switch (rv)
2941     {
2942     case 0:
2943       break;
2944
2945     case VNET_API_ERROR_NO_SUCH_FIB:
2946       return clib_error_return (0, "no such FIB table %d", table_id);
2947
2948     default:
2949       clib_warning ("BUG: illegal flow hash config 0x%x", flow_hash_config);
2950       break;
2951     }
2952
2953   return 0;
2954 }
2955
2956 /*?
2957  * Configure the set of IPv4 fields used by the flow hash.
2958  *
2959  * @cliexpar
2960  * Example of how to set the flow hash on a given table:
2961  * @cliexcmd{set ip flow-hash table 7 dst sport dport proto}
2962  * Example of display the configured flow hash:
2963  * @cliexstart{show ip fib}
2964  * ipv4-VRF:0, fib_index 0, flow hash: src dst sport dport proto
2965  * 0.0.0.0/0
2966  *   unicast-ip4-chain
2967  *   [@0]: dpo-load-balance: [index:0 buckets:1 uRPF:0 to:[0:0]]
2968  *     [0] [@0]: dpo-drop ip6
2969  * 0.0.0.0/32
2970  *   unicast-ip4-chain
2971  *   [@0]: dpo-load-balance: [index:1 buckets:1 uRPF:1 to:[0:0]]
2972  *     [0] [@0]: dpo-drop ip6
2973  * 224.0.0.0/8
2974  *   unicast-ip4-chain
2975  *   [@0]: dpo-load-balance: [index:3 buckets:1 uRPF:3 to:[0:0]]
2976  *     [0] [@0]: dpo-drop ip6
2977  * 6.0.1.2/32
2978  *   unicast-ip4-chain
2979  *   [@0]: dpo-load-balance: [index:30 buckets:1 uRPF:29 to:[0:0]]
2980  *     [0] [@3]: arp-ipv4: via 6.0.0.1 af_packet0
2981  * 7.0.0.1/32
2982  *   unicast-ip4-chain
2983  *   [@0]: dpo-load-balance: [index:31 buckets:4 uRPF:30 to:[0:0]]
2984  *     [0] [@3]: arp-ipv4: via 6.0.0.2 af_packet0
2985  *     [1] [@3]: arp-ipv4: via 6.0.0.2 af_packet0
2986  *     [2] [@3]: arp-ipv4: via 6.0.0.2 af_packet0
2987  *     [3] [@3]: arp-ipv4: via 6.0.0.1 af_packet0
2988  * 240.0.0.0/8
2989  *   unicast-ip4-chain
2990  *   [@0]: dpo-load-balance: [index:2 buckets:1 uRPF:2 to:[0:0]]
2991  *     [0] [@0]: dpo-drop ip6
2992  * 255.255.255.255/32
2993  *   unicast-ip4-chain
2994  *   [@0]: dpo-load-balance: [index:4 buckets:1 uRPF:4 to:[0:0]]
2995  *     [0] [@0]: dpo-drop ip6
2996  * ipv4-VRF:7, fib_index 1, flow hash: dst sport dport proto
2997  * 0.0.0.0/0
2998  *   unicast-ip4-chain
2999  *   [@0]: dpo-load-balance: [index:12 buckets:1 uRPF:11 to:[0:0]]
3000  *     [0] [@0]: dpo-drop ip6
3001  * 0.0.0.0/32
3002  *   unicast-ip4-chain
3003  *   [@0]: dpo-load-balance: [index:13 buckets:1 uRPF:12 to:[0:0]]
3004  *     [0] [@0]: dpo-drop ip6
3005  * 172.16.1.0/24
3006  *   unicast-ip4-chain
3007  *   [@0]: dpo-load-balance: [index:17 buckets:1 uRPF:16 to:[0:0]]
3008  *     [0] [@4]: ipv4-glean: af_packet0
3009  * 172.16.1.1/32
3010  *   unicast-ip4-chain
3011  *   [@0]: dpo-load-balance: [index:18 buckets:1 uRPF:17 to:[1:84]]
3012  *     [0] [@2]: dpo-receive: 172.16.1.1 on af_packet0
3013  * 172.16.1.2/32
3014  *   unicast-ip4-chain
3015  *   [@0]: dpo-load-balance: [index:21 buckets:1 uRPF:20 to:[0:0]]
3016  *     [0] [@5]: ipv4 via 172.16.1.2 af_packet0: IP4: 02:fe:9e:70:7a:2b -> 26:a5:f6:9c:3a:36
3017  * 172.16.2.0/24
3018  *   unicast-ip4-chain
3019  *   [@0]: dpo-load-balance: [index:19 buckets:1 uRPF:18 to:[0:0]]
3020  *     [0] [@4]: ipv4-glean: af_packet1
3021  * 172.16.2.1/32
3022  *   unicast-ip4-chain
3023  *   [@0]: dpo-load-balance: [index:20 buckets:1 uRPF:19 to:[0:0]]
3024  *     [0] [@2]: dpo-receive: 172.16.2.1 on af_packet1
3025  * 224.0.0.0/8
3026  *   unicast-ip4-chain
3027  *   [@0]: dpo-load-balance: [index:15 buckets:1 uRPF:14 to:[0:0]]
3028  *     [0] [@0]: dpo-drop ip6
3029  * 240.0.0.0/8
3030  *   unicast-ip4-chain
3031  *   [@0]: dpo-load-balance: [index:14 buckets:1 uRPF:13 to:[0:0]]
3032  *     [0] [@0]: dpo-drop ip6
3033  * 255.255.255.255/32
3034  *   unicast-ip4-chain
3035  *   [@0]: dpo-load-balance: [index:16 buckets:1 uRPF:15 to:[0:0]]
3036  *     [0] [@0]: dpo-drop ip6
3037  * @cliexend
3038 ?*/
3039 /* *INDENT-OFF* */
3040 VLIB_CLI_COMMAND (set_ip_flow_hash_command, static) =
3041 {
3042   .path = "set ip flow-hash",
3043   .short_help =
3044   "set ip flow-hash table <table-id> [src] [dst] [sport] [dport] [proto] [reverse]",
3045   .function = set_ip_flow_hash_command_fn,
3046 };
3047 /* *INDENT-ON* */
3048
3049 int
3050 vnet_set_ip4_classify_intfc (vlib_main_t * vm, u32 sw_if_index,
3051                              u32 table_index)
3052 {
3053   vnet_main_t *vnm = vnet_get_main ();
3054   vnet_interface_main_t *im = &vnm->interface_main;
3055   ip4_main_t *ipm = &ip4_main;
3056   ip_lookup_main_t *lm = &ipm->lookup_main;
3057   vnet_classify_main_t *cm = &vnet_classify_main;
3058   ip4_address_t *if_addr;
3059
3060   if (pool_is_free_index (im->sw_interfaces, sw_if_index))
3061     return VNET_API_ERROR_NO_MATCHING_INTERFACE;
3062
3063   if (table_index != ~0 && pool_is_free_index (cm->tables, table_index))
3064     return VNET_API_ERROR_NO_SUCH_ENTRY;
3065
3066   vec_validate (lm->classify_table_index_by_sw_if_index, sw_if_index);
3067   lm->classify_table_index_by_sw_if_index[sw_if_index] = table_index;
3068
3069   if_addr = ip4_interface_first_address (ipm, sw_if_index, NULL);
3070
3071   if (NULL != if_addr)
3072     {
3073       fib_prefix_t pfx = {
3074         .fp_len = 32,
3075         .fp_proto = FIB_PROTOCOL_IP4,
3076         .fp_addr.ip4 = *if_addr,
3077       };
3078       u32 fib_index;
3079
3080       fib_index = fib_table_get_index_for_sw_if_index (FIB_PROTOCOL_IP4,
3081                                                        sw_if_index);
3082
3083
3084       if (table_index != (u32) ~ 0)
3085         {
3086           dpo_id_t dpo = DPO_INVALID;
3087
3088           dpo_set (&dpo,
3089                    DPO_CLASSIFY,
3090                    DPO_PROTO_IP4,
3091                    classify_dpo_create (DPO_PROTO_IP4, table_index));
3092
3093           fib_table_entry_special_dpo_add (fib_index,
3094                                            &pfx,
3095                                            FIB_SOURCE_CLASSIFY,
3096                                            FIB_ENTRY_FLAG_NONE, &dpo);
3097           dpo_reset (&dpo);
3098         }
3099       else
3100         {
3101           fib_table_entry_special_remove (fib_index,
3102                                           &pfx, FIB_SOURCE_CLASSIFY);
3103         }
3104     }
3105
3106   return 0;
3107 }
3108
3109 static clib_error_t *
3110 set_ip_classify_command_fn (vlib_main_t * vm,
3111                             unformat_input_t * input,
3112                             vlib_cli_command_t * cmd)
3113 {
3114   u32 table_index = ~0;
3115   int table_index_set = 0;
3116   u32 sw_if_index = ~0;
3117   int rv;
3118
3119   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
3120     {
3121       if (unformat (input, "table-index %d", &table_index))
3122         table_index_set = 1;
3123       else if (unformat (input, "intfc %U", unformat_vnet_sw_interface,
3124                          vnet_get_main (), &sw_if_index))
3125         ;
3126       else
3127         break;
3128     }
3129
3130   if (table_index_set == 0)
3131     return clib_error_return (0, "classify table-index must be specified");
3132
3133   if (sw_if_index == ~0)
3134     return clib_error_return (0, "interface / subif must be specified");
3135
3136   rv = vnet_set_ip4_classify_intfc (vm, sw_if_index, table_index);
3137
3138   switch (rv)
3139     {
3140     case 0:
3141       break;
3142
3143     case VNET_API_ERROR_NO_MATCHING_INTERFACE:
3144       return clib_error_return (0, "No such interface");
3145
3146     case VNET_API_ERROR_NO_SUCH_ENTRY:
3147       return clib_error_return (0, "No such classifier table");
3148     }
3149   return 0;
3150 }
3151
3152 /*?
3153  * Assign a classification table to an interface. The classification
3154  * table is created using the '<em>classify table</em>' and '<em>classify session</em>'
3155  * commands. Once the table is create, use this command to filter packets
3156  * on an interface.
3157  *
3158  * @cliexpar
3159  * Example of how to assign a classification table to an interface:
3160  * @cliexcmd{set ip classify intfc GigabitEthernet2/0/0 table-index 1}
3161 ?*/
3162 /* *INDENT-OFF* */
3163 VLIB_CLI_COMMAND (set_ip_classify_command, static) =
3164 {
3165     .path = "set ip classify",
3166     .short_help =
3167     "set ip classify intfc <interface> table-index <classify-idx>",
3168     .function = set_ip_classify_command_fn,
3169 };
3170 /* *INDENT-ON* */
3171
3172 /*
3173  * fd.io coding-style-patch-verification: ON
3174  *
3175  * Local Variables:
3176  * eval: (c-set-style "gnu")
3177  * End:
3178  */