Repair vlib API socket server
[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         {
1926           u32 node_index = vlib_get_node (vm,
1927                                           ip4_local_node.index)->
1928             next_nodes[lm->local_next_by_ip_protocol[i]];
1929           vlib_cli_output (vm, "%d: %U", i, format_vlib_node_name, vm,
1930                            node_index);
1931         }
1932     }
1933   return 0;
1934 }
1935
1936
1937
1938 /*?
1939  * Display the set of protocols handled by the local IPv4 stack.
1940  *
1941  * @cliexpar
1942  * Example of how to display local protocol table:
1943  * @cliexstart{show ip local}
1944  * Protocols handled by ip4_local
1945  * 1
1946  * 17
1947  * 47
1948  * @cliexend
1949 ?*/
1950 /* *INDENT-OFF* */
1951 VLIB_CLI_COMMAND (show_ip_local, static) =
1952 {
1953   .path = "show ip local",
1954   .function = show_ip_local_command_fn,
1955   .short_help = "show ip local",
1956 };
1957 /* *INDENT-ON* */
1958
1959 always_inline uword
1960 ip4_arp_inline (vlib_main_t * vm,
1961                 vlib_node_runtime_t * node,
1962                 vlib_frame_t * frame, int is_glean)
1963 {
1964   vnet_main_t *vnm = vnet_get_main ();
1965   ip4_main_t *im = &ip4_main;
1966   ip_lookup_main_t *lm = &im->lookup_main;
1967   u32 *from, *to_next_drop;
1968   uword n_left_from, n_left_to_next_drop, next_index;
1969   static f64 time_last_seed_change = -1e100;
1970   static u32 hash_seeds[3];
1971   static uword hash_bitmap[256 / BITS (uword)];
1972   f64 time_now;
1973
1974   if (node->flags & VLIB_NODE_FLAG_TRACE)
1975     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
1976
1977   time_now = vlib_time_now (vm);
1978   if (time_now - time_last_seed_change > 1e-3)
1979     {
1980       uword i;
1981       u32 *r = clib_random_buffer_get_data (&vm->random_buffer,
1982                                             sizeof (hash_seeds));
1983       for (i = 0; i < ARRAY_LEN (hash_seeds); i++)
1984         hash_seeds[i] = r[i];
1985
1986       /* Mark all hash keys as been no-seen before. */
1987       for (i = 0; i < ARRAY_LEN (hash_bitmap); i++)
1988         hash_bitmap[i] = 0;
1989
1990       time_last_seed_change = time_now;
1991     }
1992
1993   from = vlib_frame_vector_args (frame);
1994   n_left_from = frame->n_vectors;
1995   next_index = node->cached_next_index;
1996   if (next_index == IP4_ARP_NEXT_DROP)
1997     next_index = IP4_ARP_N_NEXT;        /* point to first interface */
1998
1999   while (n_left_from > 0)
2000     {
2001       vlib_get_next_frame (vm, node, IP4_ARP_NEXT_DROP,
2002                            to_next_drop, n_left_to_next_drop);
2003
2004       while (n_left_from > 0 && n_left_to_next_drop > 0)
2005         {
2006           u32 pi0, adj_index0, a0, b0, c0, m0, sw_if_index0, drop0;
2007           ip_adjacency_t *adj0;
2008           vlib_buffer_t *p0;
2009           ip4_header_t *ip0;
2010           uword bm0;
2011
2012           pi0 = from[0];
2013
2014           p0 = vlib_get_buffer (vm, pi0);
2015
2016           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
2017           adj0 = adj_get (adj_index0);
2018           ip0 = vlib_buffer_get_current (p0);
2019
2020           a0 = hash_seeds[0];
2021           b0 = hash_seeds[1];
2022           c0 = hash_seeds[2];
2023
2024           sw_if_index0 = adj0->rewrite_header.sw_if_index;
2025           vnet_buffer (p0)->sw_if_index[VLIB_TX] = sw_if_index0;
2026
2027           if (is_glean)
2028             {
2029               /*
2030                * this is the Glean case, so we are ARPing for the
2031                * packet's destination
2032                */
2033               a0 ^= ip0->dst_address.data_u32;
2034             }
2035           else
2036             {
2037               a0 ^= adj0->sub_type.nbr.next_hop.ip4.data_u32;
2038             }
2039           b0 ^= sw_if_index0;
2040
2041           hash_v3_mix32 (a0, b0, c0);
2042           hash_v3_finalize32 (a0, b0, c0);
2043
2044           c0 &= BITS (hash_bitmap) - 1;
2045           m0 = (uword) 1 << (c0 % BITS (uword));
2046           c0 = c0 / BITS (uword);
2047
2048           bm0 = hash_bitmap[c0];
2049           drop0 = (bm0 & m0) != 0;
2050
2051           /* Mark it as seen. */
2052           hash_bitmap[c0] = bm0 | m0;
2053
2054           from += 1;
2055           n_left_from -= 1;
2056           to_next_drop[0] = pi0;
2057           to_next_drop += 1;
2058           n_left_to_next_drop -= 1;
2059
2060           p0->error =
2061             node->errors[drop0 ? IP4_ARP_ERROR_DROP :
2062                          IP4_ARP_ERROR_REQUEST_SENT];
2063
2064           /*
2065            * the adj has been updated to a rewrite but the node the DPO that got
2066            * us here hasn't - yet. no big deal. we'll drop while we wait.
2067            */
2068           if (IP_LOOKUP_NEXT_REWRITE == adj0->lookup_next_index)
2069             continue;
2070
2071           if (drop0)
2072             continue;
2073
2074           /*
2075            * Can happen if the control-plane is programming tables
2076            * with traffic flowing; at least that's today's lame excuse.
2077            */
2078           if ((is_glean && adj0->lookup_next_index != IP_LOOKUP_NEXT_GLEAN)
2079               || (!is_glean && adj0->lookup_next_index != IP_LOOKUP_NEXT_ARP))
2080             {
2081               p0->error = node->errors[IP4_ARP_ERROR_NON_ARP_ADJ];
2082             }
2083           else
2084             /* Send ARP request. */
2085             {
2086               u32 bi0 = 0;
2087               vlib_buffer_t *b0;
2088               ethernet_arp_header_t *h0;
2089               vnet_hw_interface_t *hw_if0;
2090
2091               h0 =
2092                 vlib_packet_template_get_packet (vm,
2093                                                  &im->ip4_arp_request_packet_template,
2094                                                  &bi0);
2095
2096               /* Add rewrite/encap string for ARP packet. */
2097               vnet_rewrite_one_header (adj0[0], h0,
2098                                        sizeof (ethernet_header_t));
2099
2100               hw_if0 = vnet_get_sup_hw_interface (vnm, sw_if_index0);
2101
2102               /* Src ethernet address in ARP header. */
2103               clib_memcpy (h0->ip4_over_ethernet[0].ethernet,
2104                            hw_if0->hw_address,
2105                            sizeof (h0->ip4_over_ethernet[0].ethernet));
2106
2107               if (is_glean)
2108                 {
2109                   /* The interface's source address is stashed in the Glean Adj */
2110                   h0->ip4_over_ethernet[0].ip4 =
2111                     adj0->sub_type.glean.receive_addr.ip4;
2112
2113                   /* Copy in destination address we are requesting. This is the
2114                    * glean case, so it's the packet's destination.*/
2115                   h0->ip4_over_ethernet[1].ip4.data_u32 =
2116                     ip0->dst_address.data_u32;
2117                 }
2118               else
2119                 {
2120                   /* Src IP address in ARP header. */
2121                   if (ip4_src_address_for_packet (lm, sw_if_index0,
2122                                                   &h0->
2123                                                   ip4_over_ethernet[0].ip4))
2124                     {
2125                       /* No source address available */
2126                       p0->error =
2127                         node->errors[IP4_ARP_ERROR_NO_SOURCE_ADDRESS];
2128                       vlib_buffer_free (vm, &bi0, 1);
2129                       continue;
2130                     }
2131
2132                   /* Copy in destination address we are requesting from the
2133                      incomplete adj */
2134                   h0->ip4_over_ethernet[1].ip4.data_u32 =
2135                     adj0->sub_type.nbr.next_hop.ip4.as_u32;
2136                 }
2137
2138               vlib_buffer_copy_trace_flag (vm, p0, bi0);
2139               b0 = vlib_get_buffer (vm, bi0);
2140               VLIB_BUFFER_TRACE_TRAJECTORY_INIT (b0);
2141               vnet_buffer (b0)->sw_if_index[VLIB_TX] = sw_if_index0;
2142
2143               vlib_buffer_advance (b0, -adj0->rewrite_header.data_bytes);
2144
2145               vlib_set_next_frame_buffer (vm, node,
2146                                           adj0->rewrite_header.next_index,
2147                                           bi0);
2148             }
2149         }
2150
2151       vlib_put_next_frame (vm, node, IP4_ARP_NEXT_DROP, n_left_to_next_drop);
2152     }
2153
2154   return frame->n_vectors;
2155 }
2156
2157 static uword
2158 ip4_arp (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
2159 {
2160   return (ip4_arp_inline (vm, node, frame, 0));
2161 }
2162
2163 static uword
2164 ip4_glean (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
2165 {
2166   return (ip4_arp_inline (vm, node, frame, 1));
2167 }
2168
2169 static char *ip4_arp_error_strings[] = {
2170   [IP4_ARP_ERROR_DROP] = "address overflow drops",
2171   [IP4_ARP_ERROR_REQUEST_SENT] = "ARP requests sent",
2172   [IP4_ARP_ERROR_NON_ARP_ADJ] = "ARPs to non-ARP adjacencies",
2173   [IP4_ARP_ERROR_REPLICATE_DROP] = "ARP replication completed",
2174   [IP4_ARP_ERROR_REPLICATE_FAIL] = "ARP replication failed",
2175   [IP4_ARP_ERROR_NO_SOURCE_ADDRESS] = "no source address for ARP request",
2176 };
2177
2178 VLIB_REGISTER_NODE (ip4_arp_node) =
2179 {
2180   .function = ip4_arp,.name = "ip4-arp",.vector_size =
2181     sizeof (u32),.format_trace = format_ip4_forward_next_trace,.n_errors =
2182     ARRAY_LEN (ip4_arp_error_strings),.error_strings =
2183     ip4_arp_error_strings,.n_next_nodes = IP4_ARP_N_NEXT,.next_nodes =
2184   {
2185   [IP4_ARP_NEXT_DROP] = "error-drop",}
2186 ,};
2187
2188 VLIB_REGISTER_NODE (ip4_glean_node) =
2189 {
2190   .function = ip4_glean,.name = "ip4-glean",.vector_size =
2191     sizeof (u32),.format_trace = format_ip4_forward_next_trace,.n_errors =
2192     ARRAY_LEN (ip4_arp_error_strings),.error_strings =
2193     ip4_arp_error_strings,.n_next_nodes = IP4_ARP_N_NEXT,.next_nodes =
2194   {
2195   [IP4_ARP_NEXT_DROP] = "error-drop",}
2196 ,};
2197
2198 #define foreach_notrace_ip4_arp_error           \
2199 _(DROP)                                         \
2200 _(REQUEST_SENT)                                 \
2201 _(REPLICATE_DROP)                               \
2202 _(REPLICATE_FAIL)
2203
2204 clib_error_t *
2205 arp_notrace_init (vlib_main_t * vm)
2206 {
2207   vlib_node_runtime_t *rt = vlib_node_get_runtime (vm, ip4_arp_node.index);
2208
2209   /* don't trace ARP request packets */
2210 #define _(a)                                    \
2211     vnet_pcap_drop_trace_filter_add_del         \
2212         (rt->errors[IP4_ARP_ERROR_##a],         \
2213          1 /* is_add */);
2214   foreach_notrace_ip4_arp_error;
2215 #undef _
2216   return 0;
2217 }
2218
2219 VLIB_INIT_FUNCTION (arp_notrace_init);
2220
2221
2222 /* Send an ARP request to see if given destination is reachable on given interface. */
2223 clib_error_t *
2224 ip4_probe_neighbor (vlib_main_t * vm, ip4_address_t * dst, u32 sw_if_index)
2225 {
2226   vnet_main_t *vnm = vnet_get_main ();
2227   ip4_main_t *im = &ip4_main;
2228   ethernet_arp_header_t *h;
2229   ip4_address_t *src;
2230   ip_interface_address_t *ia;
2231   ip_adjacency_t *adj;
2232   vnet_hw_interface_t *hi;
2233   vnet_sw_interface_t *si;
2234   vlib_buffer_t *b;
2235   adj_index_t ai;
2236   u32 bi = 0;
2237
2238   si = vnet_get_sw_interface (vnm, sw_if_index);
2239
2240   if (!(si->flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP))
2241     {
2242       return clib_error_return (0, "%U: interface %U down",
2243                                 format_ip4_address, dst,
2244                                 format_vnet_sw_if_index_name, vnm,
2245                                 sw_if_index);
2246     }
2247
2248   src =
2249     ip4_interface_address_matching_destination (im, dst, sw_if_index, &ia);
2250   if (!src)
2251     {
2252       vnm->api_errno = VNET_API_ERROR_NO_MATCHING_INTERFACE;
2253       return clib_error_return
2254         (0,
2255          "no matching interface address for destination %U (interface %U)",
2256          format_ip4_address, dst, format_vnet_sw_if_index_name, vnm,
2257          sw_if_index);
2258     }
2259
2260   h = vlib_packet_template_get_packet (vm,
2261                                        &im->ip4_arp_request_packet_template,
2262                                        &bi);
2263
2264   hi = vnet_get_sup_hw_interface (vnm, sw_if_index);
2265   if (PREDICT_FALSE (!hi->hw_address))
2266     {
2267       return clib_error_return (0, "%U: interface %U do not support ip probe",
2268                                 format_ip4_address, dst,
2269                                 format_vnet_sw_if_index_name, vnm,
2270                                 sw_if_index);
2271     }
2272
2273   clib_memcpy (h->ip4_over_ethernet[0].ethernet, hi->hw_address,
2274                sizeof (h->ip4_over_ethernet[0].ethernet));
2275
2276   h->ip4_over_ethernet[0].ip4 = src[0];
2277   h->ip4_over_ethernet[1].ip4 = dst[0];
2278
2279   b = vlib_get_buffer (vm, bi);
2280   vnet_buffer (b)->sw_if_index[VLIB_RX] =
2281     vnet_buffer (b)->sw_if_index[VLIB_TX] = sw_if_index;
2282
2283   ip46_address_t nh = {
2284     .ip4 = *dst,
2285   };
2286
2287   ai = adj_nbr_add_or_lock (FIB_PROTOCOL_IP4,
2288                             VNET_LINK_IP4, &nh, sw_if_index);
2289   adj = adj_get (ai);
2290
2291   /* Peer has been previously resolved, retrieve glean adj instead */
2292   if (adj->lookup_next_index == IP_LOOKUP_NEXT_REWRITE)
2293     {
2294       adj_unlock (ai);
2295       ai = adj_glean_add_or_lock (FIB_PROTOCOL_IP4, sw_if_index, &nh);
2296       adj = adj_get (ai);
2297     }
2298
2299   /* Add encapsulation string for software interface (e.g. ethernet header). */
2300   vnet_rewrite_one_header (adj[0], h, sizeof (ethernet_header_t));
2301   vlib_buffer_advance (b, -adj->rewrite_header.data_bytes);
2302
2303   {
2304     vlib_frame_t *f = vlib_get_frame_to_node (vm, hi->output_node_index);
2305     u32 *to_next = vlib_frame_vector_args (f);
2306     to_next[0] = bi;
2307     f->n_vectors = 1;
2308     vlib_put_frame_to_node (vm, hi->output_node_index, f);
2309   }
2310
2311   adj_unlock (ai);
2312   return /* no error */ 0;
2313 }
2314
2315 typedef enum
2316 {
2317   IP4_REWRITE_NEXT_DROP,
2318   IP4_REWRITE_NEXT_ICMP_ERROR,
2319 } ip4_rewrite_next_t;
2320
2321 always_inline uword
2322 ip4_rewrite_inline (vlib_main_t * vm,
2323                     vlib_node_runtime_t * node,
2324                     vlib_frame_t * frame,
2325                     int do_counters, int is_midchain, int is_mcast)
2326 {
2327   ip_lookup_main_t *lm = &ip4_main.lookup_main;
2328   u32 *from = vlib_frame_vector_args (frame);
2329   u32 n_left_from, n_left_to_next, *to_next, next_index;
2330   vlib_node_runtime_t *error_node =
2331     vlib_node_get_runtime (vm, ip4_input_node.index);
2332
2333   n_left_from = frame->n_vectors;
2334   next_index = node->cached_next_index;
2335   u32 thread_index = vlib_get_thread_index ();
2336
2337   while (n_left_from > 0)
2338     {
2339       vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
2340
2341       while (n_left_from >= 4 && n_left_to_next >= 2)
2342         {
2343           ip_adjacency_t *adj0, *adj1;
2344           vlib_buffer_t *p0, *p1;
2345           ip4_header_t *ip0, *ip1;
2346           u32 pi0, rw_len0, next0, error0, checksum0, adj_index0;
2347           u32 pi1, rw_len1, next1, error1, checksum1, adj_index1;
2348           u32 tx_sw_if_index0, tx_sw_if_index1;
2349
2350           /* Prefetch next iteration. */
2351           {
2352             vlib_buffer_t *p2, *p3;
2353
2354             p2 = vlib_get_buffer (vm, from[2]);
2355             p3 = vlib_get_buffer (vm, from[3]);
2356
2357             vlib_prefetch_buffer_header (p2, STORE);
2358             vlib_prefetch_buffer_header (p3, STORE);
2359
2360             CLIB_PREFETCH (p2->data, sizeof (ip0[0]), STORE);
2361             CLIB_PREFETCH (p3->data, sizeof (ip0[0]), STORE);
2362           }
2363
2364           pi0 = to_next[0] = from[0];
2365           pi1 = to_next[1] = from[1];
2366
2367           from += 2;
2368           n_left_from -= 2;
2369           to_next += 2;
2370           n_left_to_next -= 2;
2371
2372           p0 = vlib_get_buffer (vm, pi0);
2373           p1 = vlib_get_buffer (vm, pi1);
2374
2375           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
2376           adj_index1 = vnet_buffer (p1)->ip.adj_index[VLIB_TX];
2377
2378           /*
2379            * pre-fetch the per-adjacency counters
2380            */
2381           if (do_counters)
2382             {
2383               vlib_prefetch_combined_counter (&adjacency_counters,
2384                                               thread_index, adj_index0);
2385               vlib_prefetch_combined_counter (&adjacency_counters,
2386                                               thread_index, adj_index1);
2387             }
2388
2389           ip0 = vlib_buffer_get_current (p0);
2390           ip1 = vlib_buffer_get_current (p1);
2391
2392           error0 = error1 = IP4_ERROR_NONE;
2393           next0 = next1 = IP4_REWRITE_NEXT_DROP;
2394
2395           /* Decrement TTL & update checksum.
2396              Works either endian, so no need for byte swap. */
2397           if (PREDICT_TRUE (!(p0->flags & VNET_BUFFER_F_LOCALLY_ORIGINATED)))
2398             {
2399               i32 ttl0 = ip0->ttl;
2400
2401               /* Input node should have reject packets with ttl 0. */
2402               ASSERT (ip0->ttl > 0);
2403
2404               checksum0 = ip0->checksum + clib_host_to_net_u16 (0x0100);
2405               checksum0 += checksum0 >= 0xffff;
2406
2407               ip0->checksum = checksum0;
2408               ttl0 -= 1;
2409               ip0->ttl = ttl0;
2410
2411               /*
2412                * If the ttl drops below 1 when forwarding, generate
2413                * an ICMP response.
2414                */
2415               if (PREDICT_FALSE (ttl0 <= 0))
2416                 {
2417                   error0 = IP4_ERROR_TIME_EXPIRED;
2418                   vnet_buffer (p0)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2419                   icmp4_error_set_vnet_buffer (p0, ICMP4_time_exceeded,
2420                                                ICMP4_time_exceeded_ttl_exceeded_in_transit,
2421                                                0);
2422                   next0 = IP4_REWRITE_NEXT_ICMP_ERROR;
2423                 }
2424
2425               /* Verify checksum. */
2426               ASSERT ((ip0->checksum == ip4_header_checksum (ip0)) ||
2427                       (p0->flags & VNET_BUFFER_F_OFFLOAD_IP_CKSUM));
2428             }
2429           else
2430             {
2431               p0->flags &= ~VNET_BUFFER_F_LOCALLY_ORIGINATED;
2432             }
2433           if (PREDICT_TRUE (!(p1->flags & VNET_BUFFER_F_LOCALLY_ORIGINATED)))
2434             {
2435               i32 ttl1 = ip1->ttl;
2436
2437               /* Input node should have reject packets with ttl 0. */
2438               ASSERT (ip1->ttl > 0);
2439
2440               checksum1 = ip1->checksum + clib_host_to_net_u16 (0x0100);
2441               checksum1 += checksum1 >= 0xffff;
2442
2443               ip1->checksum = checksum1;
2444               ttl1 -= 1;
2445               ip1->ttl = ttl1;
2446
2447               /*
2448                * If the ttl drops below 1 when forwarding, generate
2449                * an ICMP response.
2450                */
2451               if (PREDICT_FALSE (ttl1 <= 0))
2452                 {
2453                   error1 = IP4_ERROR_TIME_EXPIRED;
2454                   vnet_buffer (p1)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2455                   icmp4_error_set_vnet_buffer (p1, ICMP4_time_exceeded,
2456                                                ICMP4_time_exceeded_ttl_exceeded_in_transit,
2457                                                0);
2458                   next1 = IP4_REWRITE_NEXT_ICMP_ERROR;
2459                 }
2460
2461               /* Verify checksum. */
2462               ASSERT ((ip1->checksum == ip4_header_checksum (ip1)) ||
2463                       (p1->flags & VNET_BUFFER_F_OFFLOAD_IP_CKSUM));
2464             }
2465           else
2466             {
2467               p1->flags &= ~VNET_BUFFER_F_LOCALLY_ORIGINATED;
2468             }
2469
2470           /* Rewrite packet header and updates lengths. */
2471           adj0 = adj_get (adj_index0);
2472           adj1 = adj_get (adj_index1);
2473
2474           /* Worth pipelining. No guarantee that adj0,1 are hot... */
2475           rw_len0 = adj0[0].rewrite_header.data_bytes;
2476           rw_len1 = adj1[0].rewrite_header.data_bytes;
2477           vnet_buffer (p0)->ip.save_rewrite_length = rw_len0;
2478           vnet_buffer (p1)->ip.save_rewrite_length = rw_len1;
2479
2480           /* Check MTU of outgoing interface. */
2481           error0 =
2482             (vlib_buffer_length_in_chain (vm, p0) >
2483              adj0[0].
2484              rewrite_header.max_l3_packet_bytes ? IP4_ERROR_MTU_EXCEEDED :
2485              error0);
2486           error1 =
2487             (vlib_buffer_length_in_chain (vm, p1) >
2488              adj1[0].
2489              rewrite_header.max_l3_packet_bytes ? IP4_ERROR_MTU_EXCEEDED :
2490              error1);
2491
2492           /* Don't adjust the buffer for ttl issue; icmp-error node wants
2493            * to see the IP headerr */
2494           if (PREDICT_TRUE (error0 == IP4_ERROR_NONE))
2495             {
2496               next0 = adj0[0].rewrite_header.next_index;
2497               p0->current_data -= rw_len0;
2498               p0->current_length += rw_len0;
2499               tx_sw_if_index0 = adj0[0].rewrite_header.sw_if_index;
2500               vnet_buffer (p0)->sw_if_index[VLIB_TX] = tx_sw_if_index0;
2501
2502               if (PREDICT_FALSE
2503                   (adj0[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2504                 vnet_feature_arc_start (lm->output_feature_arc_index,
2505                                         tx_sw_if_index0, &next0, p0);
2506             }
2507           if (PREDICT_TRUE (error1 == IP4_ERROR_NONE))
2508             {
2509               next1 = adj1[0].rewrite_header.next_index;
2510               p1->current_data -= rw_len1;
2511               p1->current_length += rw_len1;
2512
2513               tx_sw_if_index1 = adj1[0].rewrite_header.sw_if_index;
2514               vnet_buffer (p1)->sw_if_index[VLIB_TX] = tx_sw_if_index1;
2515
2516               if (PREDICT_FALSE
2517                   (adj1[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2518                 vnet_feature_arc_start (lm->output_feature_arc_index,
2519                                         tx_sw_if_index1, &next1, p1);
2520             }
2521
2522           /* Guess we are only writing on simple Ethernet header. */
2523           vnet_rewrite_two_headers (adj0[0], adj1[0],
2524                                     ip0, ip1, sizeof (ethernet_header_t));
2525
2526           /*
2527            * Bump the per-adjacency counters
2528            */
2529           if (do_counters)
2530             {
2531               vlib_increment_combined_counter
2532                 (&adjacency_counters,
2533                  thread_index,
2534                  adj_index0, 1,
2535                  vlib_buffer_length_in_chain (vm, p0) + rw_len0);
2536
2537               vlib_increment_combined_counter
2538                 (&adjacency_counters,
2539                  thread_index,
2540                  adj_index1, 1,
2541                  vlib_buffer_length_in_chain (vm, p1) + rw_len1);
2542             }
2543
2544           if (is_midchain)
2545             {
2546               adj0->sub_type.midchain.fixup_func (vm, adj0, p0);
2547               adj1->sub_type.midchain.fixup_func (vm, adj1, p1);
2548             }
2549           if (is_mcast)
2550             {
2551               /*
2552                * copy bytes from the IP address into the MAC rewrite
2553                */
2554               vnet_fixup_one_header (adj0[0], &ip0->dst_address, ip0);
2555               vnet_fixup_one_header (adj1[0], &ip1->dst_address, ip1);
2556             }
2557
2558           vlib_validate_buffer_enqueue_x2 (vm, node, next_index,
2559                                            to_next, n_left_to_next,
2560                                            pi0, pi1, next0, next1);
2561         }
2562
2563       while (n_left_from > 0 && n_left_to_next > 0)
2564         {
2565           ip_adjacency_t *adj0;
2566           vlib_buffer_t *p0;
2567           ip4_header_t *ip0;
2568           u32 pi0, rw_len0, adj_index0, next0, error0, checksum0;
2569           u32 tx_sw_if_index0;
2570
2571           pi0 = to_next[0] = from[0];
2572
2573           p0 = vlib_get_buffer (vm, pi0);
2574
2575           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
2576
2577           adj0 = adj_get (adj_index0);
2578
2579           ip0 = vlib_buffer_get_current (p0);
2580
2581           error0 = IP4_ERROR_NONE;
2582           next0 = IP4_REWRITE_NEXT_DROP;        /* drop on error */
2583
2584           /* Decrement TTL & update checksum. */
2585           if (PREDICT_TRUE (!(p0->flags & VNET_BUFFER_F_LOCALLY_ORIGINATED)))
2586             {
2587               i32 ttl0 = ip0->ttl;
2588
2589               checksum0 = ip0->checksum + clib_host_to_net_u16 (0x0100);
2590
2591               checksum0 += checksum0 >= 0xffff;
2592
2593               ip0->checksum = checksum0;
2594
2595               ASSERT (ip0->ttl > 0);
2596
2597               ttl0 -= 1;
2598
2599               ip0->ttl = ttl0;
2600
2601               ASSERT ((ip0->checksum == ip4_header_checksum (ip0)) ||
2602                       (p0->flags & VNET_BUFFER_F_OFFLOAD_IP_CKSUM));
2603
2604               if (PREDICT_FALSE (ttl0 <= 0))
2605                 {
2606                   /*
2607                    * If the ttl drops below 1 when forwarding, generate
2608                    * an ICMP response.
2609                    */
2610                   error0 = IP4_ERROR_TIME_EXPIRED;
2611                   next0 = IP4_REWRITE_NEXT_ICMP_ERROR;
2612                   vnet_buffer (p0)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2613                   icmp4_error_set_vnet_buffer (p0, ICMP4_time_exceeded,
2614                                                ICMP4_time_exceeded_ttl_exceeded_in_transit,
2615                                                0);
2616                 }
2617             }
2618           else
2619             {
2620               p0->flags &= ~VNET_BUFFER_F_LOCALLY_ORIGINATED;
2621             }
2622
2623           if (do_counters)
2624             vlib_prefetch_combined_counter (&adjacency_counters,
2625                                             thread_index, adj_index0);
2626
2627           /* Guess we are only writing on simple Ethernet header. */
2628           vnet_rewrite_one_header (adj0[0], ip0, sizeof (ethernet_header_t));
2629           if (is_mcast)
2630             {
2631               /*
2632                * copy bytes from the IP address into the MAC rewrite
2633                */
2634               vnet_fixup_one_header (adj0[0], &ip0->dst_address, ip0);
2635             }
2636
2637           /* Update packet buffer attributes/set output interface. */
2638           rw_len0 = adj0[0].rewrite_header.data_bytes;
2639           vnet_buffer (p0)->ip.save_rewrite_length = rw_len0;
2640
2641           if (do_counters)
2642             vlib_increment_combined_counter
2643               (&adjacency_counters,
2644                thread_index, adj_index0, 1,
2645                vlib_buffer_length_in_chain (vm, p0) + rw_len0);
2646
2647           /* Check MTU of outgoing interface. */
2648           error0 = (vlib_buffer_length_in_chain (vm, p0)
2649                     > adj0[0].rewrite_header.max_l3_packet_bytes
2650                     ? IP4_ERROR_MTU_EXCEEDED : error0);
2651
2652           p0->error = error_node->errors[error0];
2653
2654           /* Don't adjust the buffer for ttl issue; icmp-error node wants
2655            * to see the IP headerr */
2656           if (PREDICT_TRUE (error0 == IP4_ERROR_NONE))
2657             {
2658               p0->current_data -= rw_len0;
2659               p0->current_length += rw_len0;
2660               tx_sw_if_index0 = adj0[0].rewrite_header.sw_if_index;
2661
2662               vnet_buffer (p0)->sw_if_index[VLIB_TX] = tx_sw_if_index0;
2663               next0 = adj0[0].rewrite_header.next_index;
2664
2665               if (is_midchain)
2666                 {
2667                   adj0->sub_type.midchain.fixup_func (vm, adj0, p0);
2668                 }
2669
2670               if (PREDICT_FALSE
2671                   (adj0[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2672                 vnet_feature_arc_start (lm->output_feature_arc_index,
2673                                         tx_sw_if_index0, &next0, p0);
2674
2675             }
2676
2677           from += 1;
2678           n_left_from -= 1;
2679           to_next += 1;
2680           n_left_to_next -= 1;
2681
2682           vlib_validate_buffer_enqueue_x1 (vm, node, next_index,
2683                                            to_next, n_left_to_next,
2684                                            pi0, next0);
2685         }
2686
2687       vlib_put_next_frame (vm, node, next_index, n_left_to_next);
2688     }
2689
2690   /* Need to do trace after rewrites to pick up new packet data. */
2691   if (node->flags & VLIB_NODE_FLAG_TRACE)
2692     ip4_forward_next_trace (vm, node, frame, VLIB_TX);
2693
2694   return frame->n_vectors;
2695 }
2696
2697
2698 /** @brief IPv4 rewrite node.
2699     @node ip4-rewrite
2700
2701     This is the IPv4 transit-rewrite node: decrement TTL, fix the ipv4
2702     header checksum, fetch the ip adjacency, check the outbound mtu,
2703     apply the adjacency rewrite, and send pkts to the adjacency
2704     rewrite header's rewrite_next_index.
2705
2706     @param vm vlib_main_t corresponding to the current thread
2707     @param node vlib_node_runtime_t
2708     @param frame vlib_frame_t whose contents should be dispatched
2709
2710     @par Graph mechanics: buffer metadata, next index usage
2711
2712     @em Uses:
2713     - <code>vnet_buffer(b)->ip.adj_index[VLIB_TX]</code>
2714         - the rewrite adjacency index
2715     - <code>adj->lookup_next_index</code>
2716         - Must be IP_LOOKUP_NEXT_REWRITE or IP_LOOKUP_NEXT_ARP, otherwise
2717           the packet will be dropped.
2718     - <code>adj->rewrite_header</code>
2719         - Rewrite string length, rewrite string, next_index
2720
2721     @em Sets:
2722     - <code>b->current_data, b->current_length</code>
2723         - Updated net of applying the rewrite string
2724
2725     <em>Next Indices:</em>
2726     - <code> adj->rewrite_header.next_index </code>
2727       or @c error-drop
2728 */
2729 static uword
2730 ip4_rewrite (vlib_main_t * vm,
2731              vlib_node_runtime_t * node, vlib_frame_t * frame)
2732 {
2733   if (adj_are_counters_enabled ())
2734     return ip4_rewrite_inline (vm, node, frame, 1, 0, 0);
2735   else
2736     return ip4_rewrite_inline (vm, node, frame, 0, 0, 0);
2737 }
2738
2739 static uword
2740 ip4_midchain (vlib_main_t * vm,
2741               vlib_node_runtime_t * node, vlib_frame_t * frame)
2742 {
2743   if (adj_are_counters_enabled ())
2744     return ip4_rewrite_inline (vm, node, frame, 1, 1, 0);
2745   else
2746     return ip4_rewrite_inline (vm, node, frame, 0, 1, 0);
2747 }
2748
2749 static uword
2750 ip4_rewrite_mcast (vlib_main_t * vm,
2751                    vlib_node_runtime_t * node, vlib_frame_t * frame)
2752 {
2753   if (adj_are_counters_enabled ())
2754     return ip4_rewrite_inline (vm, node, frame, 1, 0, 1);
2755   else
2756     return ip4_rewrite_inline (vm, node, frame, 0, 0, 1);
2757 }
2758
2759 static uword
2760 ip4_mcast_midchain (vlib_main_t * vm,
2761                     vlib_node_runtime_t * node, vlib_frame_t * frame)
2762 {
2763   if (adj_are_counters_enabled ())
2764     return ip4_rewrite_inline (vm, node, frame, 1, 1, 1);
2765   else
2766     return ip4_rewrite_inline (vm, node, frame, 0, 1, 1);
2767 }
2768
2769 /* *INDENT-OFF* */
2770 VLIB_REGISTER_NODE (ip4_rewrite_node) = {
2771   .function = ip4_rewrite,
2772   .name = "ip4-rewrite",
2773   .vector_size = sizeof (u32),
2774
2775   .format_trace = format_ip4_rewrite_trace,
2776
2777   .n_next_nodes = 2,
2778   .next_nodes = {
2779     [IP4_REWRITE_NEXT_DROP] = "error-drop",
2780     [IP4_REWRITE_NEXT_ICMP_ERROR] = "ip4-icmp-error",
2781   },
2782 };
2783 VLIB_NODE_FUNCTION_MULTIARCH (ip4_rewrite_node, ip4_rewrite)
2784
2785 VLIB_REGISTER_NODE (ip4_rewrite_mcast_node) = {
2786   .function = ip4_rewrite_mcast,
2787   .name = "ip4-rewrite-mcast",
2788   .vector_size = sizeof (u32),
2789
2790   .format_trace = format_ip4_rewrite_trace,
2791   .sibling_of = "ip4-rewrite",
2792 };
2793 VLIB_NODE_FUNCTION_MULTIARCH (ip4_rewrite_mcast_node, ip4_rewrite_mcast)
2794
2795 VLIB_REGISTER_NODE (ip4_mcast_midchain_node, static) = {
2796   .function = ip4_mcast_midchain,
2797   .name = "ip4-mcast-midchain",
2798   .vector_size = sizeof (u32),
2799
2800   .format_trace = format_ip4_rewrite_trace,
2801   .sibling_of = "ip4-rewrite",
2802 };
2803 VLIB_NODE_FUNCTION_MULTIARCH (ip4_mcast_midchain_node, ip4_mcast_midchain)
2804
2805 VLIB_REGISTER_NODE (ip4_midchain_node) = {
2806   .function = ip4_midchain,
2807   .name = "ip4-midchain",
2808   .vector_size = sizeof (u32),
2809   .format_trace = format_ip4_forward_next_trace,
2810   .sibling_of =  "ip4-rewrite",
2811 };
2812 VLIB_NODE_FUNCTION_MULTIARCH (ip4_midchain_node, ip4_midchain);
2813 /* *INDENT-ON */
2814
2815 int
2816 ip4_lookup_validate (ip4_address_t * a, u32 fib_index0)
2817 {
2818   ip4_fib_mtrie_t *mtrie0;
2819   ip4_fib_mtrie_leaf_t leaf0;
2820   u32 lbi0;
2821
2822   mtrie0 = &ip4_fib_get (fib_index0)->mtrie;
2823
2824   leaf0 = ip4_fib_mtrie_lookup_step_one (mtrie0, a);
2825   leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, a, 2);
2826   leaf0 = ip4_fib_mtrie_lookup_step (mtrie0, leaf0, a, 3);
2827
2828   lbi0 = ip4_fib_mtrie_leaf_get_adj_index (leaf0);
2829
2830   return lbi0 == ip4_fib_table_lookup_lb (ip4_fib_get (fib_index0), a);
2831 }
2832
2833 static clib_error_t *
2834 test_lookup_command_fn (vlib_main_t * vm,
2835                         unformat_input_t * input, vlib_cli_command_t * cmd)
2836 {
2837   ip4_fib_t *fib;
2838   u32 table_id = 0;
2839   f64 count = 1;
2840   u32 n;
2841   int i;
2842   ip4_address_t ip4_base_address;
2843   u64 errors = 0;
2844
2845   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
2846     {
2847       if (unformat (input, "table %d", &table_id))
2848         {
2849           /* Make sure the entry exists. */
2850           fib = ip4_fib_get (table_id);
2851           if ((fib) && (fib->index != table_id))
2852             return clib_error_return (0, "<fib-index> %d does not exist",
2853                                       table_id);
2854         }
2855       else if (unformat (input, "count %f", &count))
2856         ;
2857
2858       else if (unformat (input, "%U",
2859                          unformat_ip4_address, &ip4_base_address))
2860         ;
2861       else
2862         return clib_error_return (0, "unknown input `%U'",
2863                                   format_unformat_error, input);
2864     }
2865
2866   n = count;
2867
2868   for (i = 0; i < n; i++)
2869     {
2870       if (!ip4_lookup_validate (&ip4_base_address, table_id))
2871         errors++;
2872
2873       ip4_base_address.as_u32 =
2874         clib_host_to_net_u32 (1 +
2875                               clib_net_to_host_u32 (ip4_base_address.as_u32));
2876     }
2877
2878   if (errors)
2879     vlib_cli_output (vm, "%llu errors out of %d lookups\n", errors, n);
2880   else
2881     vlib_cli_output (vm, "No errors in %d lookups\n", n);
2882
2883   return 0;
2884 }
2885
2886 /*?
2887  * Perform a lookup of an IPv4 Address (or range of addresses) in the
2888  * given FIB table to determine if there is a conflict with the
2889  * adjacency table. The fib-id can be determined by using the
2890  * '<em>show ip fib</em>' command. If fib-id is not entered, default value
2891  * of 0 is used.
2892  *
2893  * @todo This command uses fib-id, other commands use table-id (not
2894  * just a name, they are different indexes). Would like to change this
2895  * to table-id for consistency.
2896  *
2897  * @cliexpar
2898  * Example of how to run the test lookup command:
2899  * @cliexstart{test lookup 172.16.1.1 table 1 count 2}
2900  * No errors in 2 lookups
2901  * @cliexend
2902 ?*/
2903 /* *INDENT-OFF* */
2904 VLIB_CLI_COMMAND (lookup_test_command, static) =
2905 {
2906   .path = "test lookup",
2907   .short_help = "test lookup <ipv4-addr> [table <fib-id>] [count <nn>]",
2908   .function = test_lookup_command_fn,
2909 };
2910 /* *INDENT-ON* */
2911
2912 int
2913 vnet_set_ip4_flow_hash (u32 table_id, u32 flow_hash_config)
2914 {
2915   u32 fib_index;
2916
2917   fib_index = fib_table_find (FIB_PROTOCOL_IP4, table_id);
2918
2919   if (~0 == fib_index)
2920     return VNET_API_ERROR_NO_SUCH_FIB;
2921
2922   fib_table_set_flow_hash_config (fib_index, FIB_PROTOCOL_IP4,
2923                                   flow_hash_config);
2924
2925   return 0;
2926 }
2927
2928 static clib_error_t *
2929 set_ip_flow_hash_command_fn (vlib_main_t * vm,
2930                              unformat_input_t * input,
2931                              vlib_cli_command_t * cmd)
2932 {
2933   int matched = 0;
2934   u32 table_id = 0;
2935   u32 flow_hash_config = 0;
2936   int rv;
2937
2938   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
2939     {
2940       if (unformat (input, "table %d", &table_id))
2941         matched = 1;
2942 #define _(a,v) \
2943     else if (unformat (input, #a)) { flow_hash_config |= v; matched=1;}
2944       foreach_flow_hash_bit
2945 #undef _
2946         else
2947         break;
2948     }
2949
2950   if (matched == 0)
2951     return clib_error_return (0, "unknown input `%U'",
2952                               format_unformat_error, input);
2953
2954   rv = vnet_set_ip4_flow_hash (table_id, flow_hash_config);
2955   switch (rv)
2956     {
2957     case 0:
2958       break;
2959
2960     case VNET_API_ERROR_NO_SUCH_FIB:
2961       return clib_error_return (0, "no such FIB table %d", table_id);
2962
2963     default:
2964       clib_warning ("BUG: illegal flow hash config 0x%x", flow_hash_config);
2965       break;
2966     }
2967
2968   return 0;
2969 }
2970
2971 /*?
2972  * Configure the set of IPv4 fields used by the flow hash.
2973  *
2974  * @cliexpar
2975  * Example of how to set the flow hash on a given table:
2976  * @cliexcmd{set ip flow-hash table 7 dst sport dport proto}
2977  * Example of display the configured flow hash:
2978  * @cliexstart{show ip fib}
2979  * ipv4-VRF:0, fib_index 0, flow hash: src dst sport dport proto
2980  * 0.0.0.0/0
2981  *   unicast-ip4-chain
2982  *   [@0]: dpo-load-balance: [index:0 buckets:1 uRPF:0 to:[0:0]]
2983  *     [0] [@0]: dpo-drop ip6
2984  * 0.0.0.0/32
2985  *   unicast-ip4-chain
2986  *   [@0]: dpo-load-balance: [index:1 buckets:1 uRPF:1 to:[0:0]]
2987  *     [0] [@0]: dpo-drop ip6
2988  * 224.0.0.0/8
2989  *   unicast-ip4-chain
2990  *   [@0]: dpo-load-balance: [index:3 buckets:1 uRPF:3 to:[0:0]]
2991  *     [0] [@0]: dpo-drop ip6
2992  * 6.0.1.2/32
2993  *   unicast-ip4-chain
2994  *   [@0]: dpo-load-balance: [index:30 buckets:1 uRPF:29 to:[0:0]]
2995  *     [0] [@3]: arp-ipv4: via 6.0.0.1 af_packet0
2996  * 7.0.0.1/32
2997  *   unicast-ip4-chain
2998  *   [@0]: dpo-load-balance: [index:31 buckets:4 uRPF:30 to:[0:0]]
2999  *     [0] [@3]: arp-ipv4: via 6.0.0.2 af_packet0
3000  *     [1] [@3]: arp-ipv4: via 6.0.0.2 af_packet0
3001  *     [2] [@3]: arp-ipv4: via 6.0.0.2 af_packet0
3002  *     [3] [@3]: arp-ipv4: via 6.0.0.1 af_packet0
3003  * 240.0.0.0/8
3004  *   unicast-ip4-chain
3005  *   [@0]: dpo-load-balance: [index:2 buckets:1 uRPF:2 to:[0:0]]
3006  *     [0] [@0]: dpo-drop ip6
3007  * 255.255.255.255/32
3008  *   unicast-ip4-chain
3009  *   [@0]: dpo-load-balance: [index:4 buckets:1 uRPF:4 to:[0:0]]
3010  *     [0] [@0]: dpo-drop ip6
3011  * ipv4-VRF:7, fib_index 1, flow hash: dst sport dport proto
3012  * 0.0.0.0/0
3013  *   unicast-ip4-chain
3014  *   [@0]: dpo-load-balance: [index:12 buckets:1 uRPF:11 to:[0:0]]
3015  *     [0] [@0]: dpo-drop ip6
3016  * 0.0.0.0/32
3017  *   unicast-ip4-chain
3018  *   [@0]: dpo-load-balance: [index:13 buckets:1 uRPF:12 to:[0:0]]
3019  *     [0] [@0]: dpo-drop ip6
3020  * 172.16.1.0/24
3021  *   unicast-ip4-chain
3022  *   [@0]: dpo-load-balance: [index:17 buckets:1 uRPF:16 to:[0:0]]
3023  *     [0] [@4]: ipv4-glean: af_packet0
3024  * 172.16.1.1/32
3025  *   unicast-ip4-chain
3026  *   [@0]: dpo-load-balance: [index:18 buckets:1 uRPF:17 to:[1:84]]
3027  *     [0] [@2]: dpo-receive: 172.16.1.1 on af_packet0
3028  * 172.16.1.2/32
3029  *   unicast-ip4-chain
3030  *   [@0]: dpo-load-balance: [index:21 buckets:1 uRPF:20 to:[0:0]]
3031  *     [0] [@5]: ipv4 via 172.16.1.2 af_packet0: IP4: 02:fe:9e:70:7a:2b -> 26:a5:f6:9c:3a:36
3032  * 172.16.2.0/24
3033  *   unicast-ip4-chain
3034  *   [@0]: dpo-load-balance: [index:19 buckets:1 uRPF:18 to:[0:0]]
3035  *     [0] [@4]: ipv4-glean: af_packet1
3036  * 172.16.2.1/32
3037  *   unicast-ip4-chain
3038  *   [@0]: dpo-load-balance: [index:20 buckets:1 uRPF:19 to:[0:0]]
3039  *     [0] [@2]: dpo-receive: 172.16.2.1 on af_packet1
3040  * 224.0.0.0/8
3041  *   unicast-ip4-chain
3042  *   [@0]: dpo-load-balance: [index:15 buckets:1 uRPF:14 to:[0:0]]
3043  *     [0] [@0]: dpo-drop ip6
3044  * 240.0.0.0/8
3045  *   unicast-ip4-chain
3046  *   [@0]: dpo-load-balance: [index:14 buckets:1 uRPF:13 to:[0:0]]
3047  *     [0] [@0]: dpo-drop ip6
3048  * 255.255.255.255/32
3049  *   unicast-ip4-chain
3050  *   [@0]: dpo-load-balance: [index:16 buckets:1 uRPF:15 to:[0:0]]
3051  *     [0] [@0]: dpo-drop ip6
3052  * @cliexend
3053 ?*/
3054 /* *INDENT-OFF* */
3055 VLIB_CLI_COMMAND (set_ip_flow_hash_command, static) =
3056 {
3057   .path = "set ip flow-hash",
3058   .short_help =
3059   "set ip flow-hash table <table-id> [src] [dst] [sport] [dport] [proto] [reverse]",
3060   .function = set_ip_flow_hash_command_fn,
3061 };
3062 /* *INDENT-ON* */
3063
3064 int
3065 vnet_set_ip4_classify_intfc (vlib_main_t * vm, u32 sw_if_index,
3066                              u32 table_index)
3067 {
3068   vnet_main_t *vnm = vnet_get_main ();
3069   vnet_interface_main_t *im = &vnm->interface_main;
3070   ip4_main_t *ipm = &ip4_main;
3071   ip_lookup_main_t *lm = &ipm->lookup_main;
3072   vnet_classify_main_t *cm = &vnet_classify_main;
3073   ip4_address_t *if_addr;
3074
3075   if (pool_is_free_index (im->sw_interfaces, sw_if_index))
3076     return VNET_API_ERROR_NO_MATCHING_INTERFACE;
3077
3078   if (table_index != ~0 && pool_is_free_index (cm->tables, table_index))
3079     return VNET_API_ERROR_NO_SUCH_ENTRY;
3080
3081   vec_validate (lm->classify_table_index_by_sw_if_index, sw_if_index);
3082   lm->classify_table_index_by_sw_if_index[sw_if_index] = table_index;
3083
3084   if_addr = ip4_interface_first_address (ipm, sw_if_index, NULL);
3085
3086   if (NULL != if_addr)
3087     {
3088       fib_prefix_t pfx = {
3089         .fp_len = 32,
3090         .fp_proto = FIB_PROTOCOL_IP4,
3091         .fp_addr.ip4 = *if_addr,
3092       };
3093       u32 fib_index;
3094
3095       fib_index = fib_table_get_index_for_sw_if_index (FIB_PROTOCOL_IP4,
3096                                                        sw_if_index);
3097
3098
3099       if (table_index != (u32) ~ 0)
3100         {
3101           dpo_id_t dpo = DPO_INVALID;
3102
3103           dpo_set (&dpo,
3104                    DPO_CLASSIFY,
3105                    DPO_PROTO_IP4,
3106                    classify_dpo_create (DPO_PROTO_IP4, table_index));
3107
3108           fib_table_entry_special_dpo_add (fib_index,
3109                                            &pfx,
3110                                            FIB_SOURCE_CLASSIFY,
3111                                            FIB_ENTRY_FLAG_NONE, &dpo);
3112           dpo_reset (&dpo);
3113         }
3114       else
3115         {
3116           fib_table_entry_special_remove (fib_index,
3117                                           &pfx, FIB_SOURCE_CLASSIFY);
3118         }
3119     }
3120
3121   return 0;
3122 }
3123
3124 static clib_error_t *
3125 set_ip_classify_command_fn (vlib_main_t * vm,
3126                             unformat_input_t * input,
3127                             vlib_cli_command_t * cmd)
3128 {
3129   u32 table_index = ~0;
3130   int table_index_set = 0;
3131   u32 sw_if_index = ~0;
3132   int rv;
3133
3134   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
3135     {
3136       if (unformat (input, "table-index %d", &table_index))
3137         table_index_set = 1;
3138       else if (unformat (input, "intfc %U", unformat_vnet_sw_interface,
3139                          vnet_get_main (), &sw_if_index))
3140         ;
3141       else
3142         break;
3143     }
3144
3145   if (table_index_set == 0)
3146     return clib_error_return (0, "classify table-index must be specified");
3147
3148   if (sw_if_index == ~0)
3149     return clib_error_return (0, "interface / subif must be specified");
3150
3151   rv = vnet_set_ip4_classify_intfc (vm, sw_if_index, table_index);
3152
3153   switch (rv)
3154     {
3155     case 0:
3156       break;
3157
3158     case VNET_API_ERROR_NO_MATCHING_INTERFACE:
3159       return clib_error_return (0, "No such interface");
3160
3161     case VNET_API_ERROR_NO_SUCH_ENTRY:
3162       return clib_error_return (0, "No such classifier table");
3163     }
3164   return 0;
3165 }
3166
3167 /*?
3168  * Assign a classification table to an interface. The classification
3169  * table is created using the '<em>classify table</em>' and '<em>classify session</em>'
3170  * commands. Once the table is create, use this command to filter packets
3171  * on an interface.
3172  *
3173  * @cliexpar
3174  * Example of how to assign a classification table to an interface:
3175  * @cliexcmd{set ip classify intfc GigabitEthernet2/0/0 table-index 1}
3176 ?*/
3177 /* *INDENT-OFF* */
3178 VLIB_CLI_COMMAND (set_ip_classify_command, static) =
3179 {
3180     .path = "set ip classify",
3181     .short_help =
3182     "set ip classify intfc <interface> table-index <classify-idx>",
3183     .function = set_ip_classify_command_fn,
3184 };
3185 /* *INDENT-ON* */
3186
3187 /*
3188  * fd.io coding-style-patch-verification: ON
3189  *
3190  * Local Variables:
3191  * eval: (c-set-style "gnu")
3192  * End:
3193  */