Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2017-present Open Networking Foundation |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #include <core.p4> |
| 18 | #include <v1model.p4> |
| 19 | |
| 20 | #include "../header.p4" |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 21 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 22 | control Next (inout parsed_headers_t hdr, |
| 23 | inout fabric_metadata_t fabric_metadata, |
| 24 | inout standard_metadata_t standard_metadata) { |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 25 | |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 26 | /* |
| 27 | * General actions. |
| 28 | */ |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 29 | @hidden |
| 30 | action output(port_num_t port_num) { |
| 31 | standard_metadata.egress_spec = port_num; |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 32 | } |
| 33 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 34 | @hidden |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 35 | action rewrite_smac(mac_addr_t smac) { |
| 36 | hdr.ethernet.src_addr = smac; |
| 37 | } |
| 38 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 39 | @hidden |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 40 | action rewrite_dmac(mac_addr_t dmac) { |
| 41 | hdr.ethernet.dst_addr = dmac; |
| 42 | } |
| 43 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 44 | @hidden |
| 45 | action set_mpls_label(mpls_label_t label) { |
| 46 | fabric_metadata.mpls_label = label; |
| 47 | } |
| 48 | |
| 49 | @hidden |
| 50 | action routing(port_num_t port_num, mac_addr_t smac, mac_addr_t dmac) { |
| 51 | rewrite_smac(smac); |
| 52 | rewrite_dmac(dmac); |
| 53 | output(port_num); |
| 54 | } |
| 55 | |
| 56 | @hidden |
| 57 | action mpls_routing(port_num_t port_num, mac_addr_t smac, mac_addr_t dmac, |
| 58 | mpls_label_t label) { |
| 59 | set_mpls_label(label); |
| 60 | routing(port_num, smac, dmac); |
Yi Tseng | 1b154bd | 2017-11-20 17:48:19 -0800 | [diff] [blame] | 61 | } |
| 62 | |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 63 | /* |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 64 | * Next VLAN table. |
| 65 | * Modify VLAN ID based on next ID. |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 66 | */ |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 67 | direct_counter(CounterType.packets_and_bytes) next_vlan_counter; |
Yi Tseng | 1d84267 | 2017-11-28 16:06:52 -0800 | [diff] [blame] | 68 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 69 | action set_vlan(vlan_id_t vlan_id) { |
| 70 | fabric_metadata.vlan_id = vlan_id; |
| 71 | next_vlan_counter.count(); |
Yi Tseng | 1b154bd | 2017-11-20 17:48:19 -0800 | [diff] [blame] | 72 | } |
| 73 | |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 74 | #ifdef WITH_DOUBLE_VLAN_TERMINATION |
| 75 | action set_double_vlan(vlan_id_t outer_vlan_id, vlan_id_t inner_vlan_id) { |
| 76 | set_vlan(outer_vlan_id); |
| 77 | fabric_metadata.push_double_vlan = _TRUE; |
| 78 | fabric_metadata.inner_vlan_id = inner_vlan_id; |
Daniele Moro | b3d199b | 2019-11-01 14:01:46 -0700 | [diff] [blame] | 79 | #ifdef WITH_BNG |
| 80 | fabric_metadata.bng.s_tag = outer_vlan_id; |
| 81 | fabric_metadata.bng.c_tag = inner_vlan_id; |
| 82 | #endif // WITH_BNG |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 83 | } |
| 84 | #endif // WITH_DOUBLE_VLAN_TERMINATION |
| 85 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 86 | table next_vlan { |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 87 | key = { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 88 | fabric_metadata.next_id: exact @name("next_id"); |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 89 | } |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 90 | actions = { |
| 91 | set_vlan; |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 92 | #ifdef WITH_DOUBLE_VLAN_TERMINATION |
| 93 | set_double_vlan; |
| 94 | #endif // WITH_DOUBLE_VLAN_TERMINATION |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 95 | @defaultonly nop; |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 96 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 97 | const default_action = nop(); |
| 98 | counters = next_vlan_counter; |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 99 | size = NEXT_VLAN_TABLE_SIZE; |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 100 | } |
| 101 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 102 | #ifdef WITH_XCONNECT |
| 103 | /* |
| 104 | * Cross-connect table. |
| 105 | * Bidirectional forwarding for the same next id. |
| 106 | */ |
| 107 | direct_counter(CounterType.packets_and_bytes) xconnect_counter; |
| 108 | |
| 109 | action output_xconnect(port_num_t port_num) { |
| 110 | output(port_num); |
| 111 | xconnect_counter.count(); |
| 112 | } |
| 113 | |
| 114 | action set_next_id_xconnect(next_id_t next_id) { |
| 115 | fabric_metadata.next_id = next_id; |
| 116 | xconnect_counter.count(); |
| 117 | } |
| 118 | |
| 119 | table xconnect { |
| 120 | key = { |
| 121 | standard_metadata.ingress_port: exact @name("ig_port"); |
| 122 | fabric_metadata.next_id: exact @name("next_id"); |
| 123 | } |
| 124 | actions = { |
| 125 | output_xconnect; |
| 126 | set_next_id_xconnect; |
| 127 | @defaultonly nop; |
| 128 | } |
| 129 | counters = xconnect_counter; |
| 130 | const default_action = nop(); |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 131 | size = XCONNECT_NEXT_TABLE_SIZE; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 132 | } |
| 133 | #endif // WITH_XCONNECT |
| 134 | |
| 135 | #ifdef WITH_SIMPLE_NEXT |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 136 | /* |
| 137 | * Simple Table. |
| 138 | * Do a single egress action based on next id. |
| 139 | */ |
| 140 | direct_counter(CounterType.packets_and_bytes) simple_counter; |
| 141 | |
| 142 | action output_simple(port_num_t port_num) { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 143 | output(port_num); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 144 | simple_counter.count(); |
| 145 | } |
| 146 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 147 | action routing_simple(port_num_t port_num, mac_addr_t smac, mac_addr_t dmac) { |
| 148 | routing(port_num, smac, dmac); |
| 149 | simple_counter.count(); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 150 | } |
| 151 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 152 | action mpls_routing_simple(port_num_t port_num, mac_addr_t smac, mac_addr_t dmac, |
| 153 | mpls_label_t label) { |
| 154 | mpls_routing(port_num, smac, dmac, label); |
| 155 | simple_counter.count(); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 156 | } |
| 157 | |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 158 | table simple { |
| 159 | key = { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 160 | fabric_metadata.next_id: exact @name("next_id"); |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 161 | } |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 162 | actions = { |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 163 | output_simple; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 164 | routing_simple; |
| 165 | mpls_routing_simple; |
| 166 | @defaultonly nop; |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 167 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 168 | const default_action = nop(); |
Yi Tseng | 3a5731e | 2018-01-22 11:38:58 -0800 | [diff] [blame] | 169 | counters = simple_counter; |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 170 | size = SIMPLE_NEXT_TABLE_SIZE; |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 171 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 172 | #endif // WITH_SIMPLE_NEXT |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 173 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 174 | #ifdef WITH_HASHED_NEXT |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 175 | /* |
| 176 | * Hashed table. |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 177 | * Execute an action profile selector based on next id. |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 178 | */ |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 179 | @max_group_size(HASHED_SELECTOR_MAX_GROUP_SIZE) |
Daniele Moro | 5a2de71 | 2019-09-24 14:34:07 -0700 | [diff] [blame] | 180 | #ifdef _CUSTOM_HASHED_SELECTOR_ANNOTATION |
| 181 | _CUSTOM_HASHED_SELECTOR_ANNOTATION |
| 182 | #endif |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 183 | action_selector(HashAlgorithm.crc16, HASHED_ACT_PROFILE_SIZE, 32w16) hashed_selector; |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 184 | direct_counter(CounterType.packets_and_bytes) hashed_counter; |
| 185 | |
| 186 | action output_hashed(port_num_t port_num) { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 187 | output(port_num); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 188 | hashed_counter.count(); |
| 189 | } |
| 190 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 191 | action routing_hashed(port_num_t port_num, mac_addr_t smac, mac_addr_t dmac) { |
| 192 | routing(port_num, smac, dmac); |
| 193 | hashed_counter.count(); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 194 | } |
| 195 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 196 | action mpls_routing_hashed(port_num_t port_num, mac_addr_t smac, mac_addr_t dmac, |
| 197 | mpls_label_t label) { |
| 198 | mpls_routing(port_num, smac, dmac, label); |
| 199 | hashed_counter.count(); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 200 | } |
| 201 | |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 202 | table hashed { |
| 203 | key = { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 204 | fabric_metadata.next_id: exact @name("next_id"); |
Robert MacDavid | bec6b6a | 2020-05-21 21:32:38 -0400 | [diff] [blame^] | 205 | fabric_metadata.ipv4_src_addr: selector; |
| 206 | fabric_metadata.ipv4_dst_addr: selector; |
Yi Tseng | 1d84267 | 2017-11-28 16:06:52 -0800 | [diff] [blame] | 207 | fabric_metadata.ip_proto: selector; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 208 | fabric_metadata.l4_sport: selector; |
| 209 | fabric_metadata.l4_dport: selector; |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 210 | } |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 211 | actions = { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 212 | output_hashed; |
| 213 | routing_hashed; |
| 214 | mpls_routing_hashed; |
| 215 | @defaultonly nop; |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 216 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 217 | implementation = hashed_selector; |
Yi Tseng | 3a5731e | 2018-01-22 11:38:58 -0800 | [diff] [blame] | 218 | counters = hashed_counter; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 219 | const default_action = nop(); |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 220 | size = HASHED_NEXT_TABLE_SIZE; |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 221 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 222 | #endif // WITH_HASHED_NEXT |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 223 | |
| 224 | /* |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 225 | * Multicast |
| 226 | * Maps next IDs to PRE multicat group IDs. |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 227 | */ |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 228 | direct_counter(CounterType.packets_and_bytes) multicast_counter; |
| 229 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 230 | action set_mcast_group_id(mcast_group_id_t group_id) { |
| 231 | standard_metadata.mcast_grp = group_id; |
Carmelo Cascone | 1e8843f | 2018-07-19 19:01:12 +0200 | [diff] [blame] | 232 | fabric_metadata.is_multicast = _TRUE; |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 233 | multicast_counter.count(); |
Carmelo Cascone | a106140 | 2018-02-03 17:39:59 -0800 | [diff] [blame] | 234 | } |
| 235 | |
Carmelo Cascone | a106140 | 2018-02-03 17:39:59 -0800 | [diff] [blame] | 236 | table multicast { |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 237 | key = { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 238 | fabric_metadata.next_id: exact @name("next_id"); |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 239 | } |
| 240 | actions = { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 241 | set_mcast_group_id; |
| 242 | @defaultonly nop; |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 243 | } |
Carmelo Cascone | a106140 | 2018-02-03 17:39:59 -0800 | [diff] [blame] | 244 | counters = multicast_counter; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 245 | const default_action = nop(); |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 246 | size = MULTICAST_NEXT_TABLE_SIZE; |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 247 | } |
| 248 | |
| 249 | apply { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 250 | #ifdef WITH_XCONNECT |
| 251 | // xconnect might set a new next_id. |
| 252 | xconnect.apply(); |
| 253 | #endif // WITH_XCONNECT |
| 254 | #ifdef WITH_SIMPLE_NEXT |
| 255 | simple.apply(); |
| 256 | #endif // WITH_SIMPLE_NEXT |
| 257 | #ifdef WITH_HASHED_NEXT |
| 258 | hashed.apply(); |
| 259 | #endif // WITH_HASHED_NEXT |
| 260 | multicast.apply(); |
| 261 | next_vlan.apply(); |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 262 | } |
| 263 | } |
| 264 | |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 265 | control EgressNextControl (inout parsed_headers_t hdr, |
| 266 | inout fabric_metadata_t fabric_metadata, |
| 267 | inout standard_metadata_t standard_metadata) { |
| 268 | @hidden |
| 269 | action pop_mpls_if_present() { |
| 270 | hdr.mpls.setInvalid(); |
| 271 | // Assuming there's an IP header after the MPLS one. |
Daniele Moro | 5a2de71 | 2019-09-24 14:34:07 -0700 | [diff] [blame] | 272 | hdr.eth_type.value = fabric_metadata.ip_eth_type; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 273 | } |
| 274 | |
| 275 | @hidden |
| 276 | action set_mpls() { |
| 277 | hdr.mpls.setValid(); |
| 278 | hdr.mpls.label = fabric_metadata.mpls_label; |
| 279 | hdr.mpls.tc = 3w0; |
| 280 | hdr.mpls.bos = 1w1; // BOS = TRUE |
| 281 | hdr.mpls.ttl = fabric_metadata.mpls_ttl; // Decrement after push. |
Daniele Moro | 5a2de71 | 2019-09-24 14:34:07 -0700 | [diff] [blame] | 282 | hdr.eth_type.value = ETHERTYPE_MPLS; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 283 | } |
| 284 | |
| 285 | @hidden |
| 286 | action push_vlan() { |
| 287 | // If VLAN is already valid, we overwrite it with a potentially new VLAN |
| 288 | // ID, and same CFI, PRI, and eth_type values found in ingress. |
| 289 | hdr.vlan_tag.setValid(); |
| 290 | hdr.vlan_tag.cfi = fabric_metadata.vlan_cfi; |
| 291 | hdr.vlan_tag.pri = fabric_metadata.vlan_pri; |
Daniele Moro | 5a2de71 | 2019-09-24 14:34:07 -0700 | [diff] [blame] | 292 | hdr.vlan_tag.eth_type = ETHERTYPE_VLAN; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 293 | hdr.vlan_tag.vlan_id = fabric_metadata.vlan_id; |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 294 | } |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 295 | |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 296 | #ifdef WITH_DOUBLE_VLAN_TERMINATION |
| 297 | @hidden |
| 298 | action push_inner_vlan() { |
Daniele Moro | 5a2de71 | 2019-09-24 14:34:07 -0700 | [diff] [blame] | 299 | // Push inner VLAN TAG, rewriting correclty the outer vlan eth_type |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 300 | hdr.inner_vlan_tag.setValid(); |
| 301 | hdr.inner_vlan_tag.cfi = fabric_metadata.inner_vlan_cfi; |
| 302 | hdr.inner_vlan_tag.pri = fabric_metadata.inner_vlan_pri; |
| 303 | hdr.inner_vlan_tag.vlan_id = fabric_metadata.inner_vlan_id; |
Daniele Moro | 5a2de71 | 2019-09-24 14:34:07 -0700 | [diff] [blame] | 304 | hdr.inner_vlan_tag.eth_type = ETHERTYPE_VLAN; |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 305 | hdr.vlan_tag.eth_type = ETHERTYPE_VLAN; |
| 306 | } |
| 307 | #endif // WITH_DOUBLE_VLAN_TERMINATION |
| 308 | |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 309 | /* |
| 310 | * Egress VLAN Table. |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 311 | * Pops the VLAN tag if the pair egress port and VLAN ID is matched. |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 312 | */ |
| 313 | direct_counter(CounterType.packets_and_bytes) egress_vlan_counter; |
| 314 | |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 315 | action pop_vlan() { |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 316 | hdr.vlan_tag.setInvalid(); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 317 | egress_vlan_counter.count(); |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 318 | } |
| 319 | |
| 320 | table egress_vlan { |
| 321 | key = { |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 322 | fabric_metadata.vlan_id: exact @name("vlan_id"); |
| 323 | standard_metadata.egress_port: exact @name("eg_port"); |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 324 | } |
| 325 | actions = { |
| 326 | pop_vlan; |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 327 | @defaultonly nop; |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 328 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 329 | const default_action = nop(); |
Yi Tseng | 47eac89 | 2018-07-11 02:17:04 +0800 | [diff] [blame] | 330 | counters = egress_vlan_counter; |
Carmelo Cascone | 70e816b | 2019-03-19 16:15:47 -0700 | [diff] [blame] | 331 | size = EGRESS_VLAN_TABLE_SIZE; |
Yi Tseng | 20f9e7b | 2018-05-24 23:27:39 +0800 | [diff] [blame] | 332 | } |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 333 | |
| 334 | apply { |
Carmelo Cascone | 1e8843f | 2018-07-19 19:01:12 +0200 | [diff] [blame] | 335 | if (fabric_metadata.is_multicast == _TRUE |
Carmelo Cascone | a5400af | 2018-07-17 22:11:54 +0200 | [diff] [blame] | 336 | && standard_metadata.ingress_port == standard_metadata.egress_port) { |
Carmelo Cascone | 9b607da | 2019-05-08 14:03:01 -0700 | [diff] [blame] | 337 | mark_to_drop(standard_metadata); |
Carmelo Cascone | a5400af | 2018-07-17 22:11:54 +0200 | [diff] [blame] | 338 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 339 | |
| 340 | if (fabric_metadata.mpls_label == 0) { |
| 341 | if (hdr.mpls.isValid()) pop_mpls_if_present(); |
| 342 | } else { |
| 343 | set_mpls(); |
| 344 | } |
| 345 | |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 346 | #ifdef WITH_DOUBLE_VLAN_TERMINATION |
| 347 | if (fabric_metadata.push_double_vlan == _TRUE) { |
| 348 | // Double VLAN termination. |
| 349 | push_vlan(); |
| 350 | push_inner_vlan(); |
| 351 | } else { |
| 352 | // If no push double vlan, inner_vlan_tag must be popped |
| 353 | hdr.inner_vlan_tag.setInvalid(); |
| 354 | #endif // WITH_DOUBLE_VLAN_TERMINATION |
| 355 | // Port-based VLAN tagging (by default all |
| 356 | // ports are assumed tagged) |
| 357 | if (!egress_vlan.apply().hit) { |
| 358 | // Push VLAN tag if not the default one. |
| 359 | if (fabric_metadata.vlan_id != DEFAULT_VLAN_ID) { |
| 360 | push_vlan(); |
| 361 | } |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 362 | } |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 363 | #ifdef WITH_DOUBLE_VLAN_TERMINATION |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 364 | } |
Daniele Moro | 7c3a002 | 2019-07-12 13:38:34 -0700 | [diff] [blame] | 365 | #endif // WITH_DOUBLE_VLAN_TERMINATION |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 366 | |
| 367 | // TTL decrement and check. |
| 368 | if (hdr.mpls.isValid()) { |
| 369 | hdr.mpls.ttl = hdr.mpls.ttl - 1; |
Carmelo Cascone | 9b607da | 2019-05-08 14:03:01 -0700 | [diff] [blame] | 370 | if (hdr.mpls.ttl == 0) mark_to_drop(standard_metadata); |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 371 | } else { |
| 372 | if(hdr.ipv4.isValid()) { |
| 373 | hdr.ipv4.ttl = hdr.ipv4.ttl - 1; |
Carmelo Cascone | 9b607da | 2019-05-08 14:03:01 -0700 | [diff] [blame] | 374 | if (hdr.ipv4.ttl == 0) mark_to_drop(standard_metadata); |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 375 | } |
| 376 | #ifdef WITH_IPV6 |
| 377 | else if (hdr.ipv6.isValid()) { |
| 378 | hdr.ipv6.hop_limit = hdr.ipv6.hop_limit - 1; |
Carmelo Cascone | 9b607da | 2019-05-08 14:03:01 -0700 | [diff] [blame] | 379 | if (hdr.ipv6.hop_limit == 0) mark_to_drop(standard_metadata); |
Carmelo Cascone | b5324e7 | 2018-11-25 02:26:32 -0800 | [diff] [blame] | 380 | } |
| 381 | #endif // WITH_IPV6 |
| 382 | } |
Yi Tseng | be34205 | 2017-11-03 10:21:23 -0700 | [diff] [blame] | 383 | } |
| 384 | } |