blob: 64803357d65aa711308195178b3d886a7c46dc5e [file] [log] [blame]
Carmelo Casconec8d34862017-07-30 00:48:23 -04001/*
2 * Copyright 2017-present Open Networking Laboratory
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
Yi Tseng21629932017-06-06 11:17:43 -070017#include <core.p4>
18#include <v1model.p4>
19#include "include/defines.p4"
20#include "include/headers.p4"
Carmelo Cascone3304fd52017-07-30 00:43:01 -040021
22#define SELECTOR_WIDTH 64
23const bit<SELECTOR_WIDTH> ONE = 64w1;
24
25typedef bit<16> group_id_t;
26
27struct wcmp_metadata_t {
28 group_id_t group_id;
29 bit<8> numBits;
30 bit<SELECTOR_WIDTH> selector;
31}
32
33struct metadata_t {
34 wcmp_metadata_t wcmp_metadata;
35 intrinsic_metadata_t intrinsic_metadata;
36}
37
Yi Tseng21629932017-06-06 11:17:43 -070038#include "include/parsers.p4"
39#include "include/port_counters.p4"
40#include "include/checksums.p4"
41#include "include/actions.p4"
Carmelo Cascone837e6452017-07-19 20:35:22 -040042#include "include/packet_io.p4"
Yi Tseng21629932017-06-06 11:17:43 -070043
Carmelo Cascone837e6452017-07-19 20:35:22 -040044control ingress(inout headers_t hdr, inout metadata_t meta, inout standard_metadata_t standard_metadata) {
45
Yi Tseng21629932017-06-06 11:17:43 -070046 direct_counter(CounterType.packets) table0_counter;
47 direct_counter(CounterType.packets) wcmp_group_table_counter;
48
Carmelo Cascone837e6452017-07-19 20:35:22 -040049 action wcmp_group(group_id_t group_id) {
Carmelo Cascone3304fd52017-07-30 00:43:01 -040050 meta.wcmp_metadata.group_id = group_id;
51 hash(meta.wcmp_metadata.numBits, HashAlgorithm.crc16, (bit<64>)2,
Carmelo Cascone837e6452017-07-19 20:35:22 -040052 { hdr.ipv4.srcAddr, hdr.ipv4.dstAddr, hdr.ipv4.protocol, hdr.tcp.srcPort, hdr.tcp.dstPort, hdr.udp.srcPort,
53 hdr.udp.dstPort },
54 (bit<128>)62);
Yi Tseng21629932017-06-06 11:17:43 -070055 }
56
57 action wcmp_set_selector() {
Carmelo Cascone3304fd52017-07-30 00:43:01 -040058 meta.wcmp_metadata.selector = ((ONE << meta.wcmp_metadata.numBits) - ONE) << (SELECTOR_WIDTH - meta.wcmp_metadata.numBits);
Yi Tseng21629932017-06-06 11:17:43 -070059 }
60
61 table table0 {
62 support_timeout = true;
63 actions = {
64 set_egress_port(standard_metadata);
65 wcmp_group;
66 send_to_cpu(standard_metadata);
67 drop(standard_metadata);
68 }
69 key = {
70 standard_metadata.ingress_port: ternary;
71 hdr.ethernet.dstAddr : ternary;
72 hdr.ethernet.srcAddr : ternary;
73 hdr.ethernet.etherType : ternary;
74 }
75 counters = table0_counter;
76 }
77
78 table wcmp_group_table {
79 actions = {
80 set_egress_port(standard_metadata);
81 }
82 key = {
Carmelo Cascone3304fd52017-07-30 00:43:01 -040083 meta.wcmp_metadata.group_id : exact;
84 meta.wcmp_metadata.selector: lpm;
Yi Tseng21629932017-06-06 11:17:43 -070085 }
86 counters = wcmp_group_table_counter;
87 }
88
89 PortCountersControl() port_counters_control;
Carmelo Cascone837e6452017-07-19 20:35:22 -040090 PacketIoIngressControl() packet_io_ingress_control;
91
Yi Tseng21629932017-06-06 11:17:43 -070092 apply {
Carmelo Cascone837e6452017-07-19 20:35:22 -040093 packet_io_ingress_control.apply(hdr, standard_metadata);
94 if (!hdr.packet_out.isValid()) {
95 switch (table0.apply().action_run) {
96 wcmp_group: {
97 wcmp_set_selector();
98 wcmp_group_table.apply();
99 }
Yi Tseng21629932017-06-06 11:17:43 -0700100 }
101 }
102 port_counters_control.apply(hdr, meta, standard_metadata);
103 }
104}
105
Carmelo Cascone837e6452017-07-19 20:35:22 -0400106control egress(inout headers_t hdr, inout metadata_t meta, inout standard_metadata_t standard_metadata) {
107
108 PacketIoEgressControl() packet_io_egress_control;
Yi Tseng21629932017-06-06 11:17:43 -0700109 apply {
Carmelo Cascone837e6452017-07-19 20:35:22 -0400110 packet_io_egress_control.apply(hdr, standard_metadata);
Yi Tseng21629932017-06-06 11:17:43 -0700111 }
112}
113
114V1Switch(ParserImpl(), verifyChecksum(), ingress(), egress(), computeChecksum(), DeparserImpl()) main;