forked from p4lang/p4c
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Support of is_net_port and is_host_port externs.
Signed-off-by: Komal Jain <[email protected]>
- Loading branch information
Showing
22 changed files
with
1,691 additions
and
15 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,128 @@ | ||
| /* -*- P4_16 -*- */ | ||
|
|
||
| #include <core.p4> | ||
| #include <tc/pna.p4> | ||
|
|
||
| #define PORT_TABLE_SIZE 262144 | ||
|
|
||
| /* | ||
| * Standard ethernet header | ||
| */ | ||
| header ethernet_t { | ||
| @tc_type ("macaddr") bit<48> dstAddr; | ||
| @tc_type ("macaddr") bit<48> srcAddr; | ||
| bit<16> etherType; | ||
| } | ||
|
|
||
| header ipv4_t { | ||
| bit<4> version; | ||
| bit<4> ihl; | ||
| bit<8> diffserv; | ||
| bit<16> totalLen; | ||
| bit<16> identification; | ||
| bit<3> flags; | ||
| bit<13> fragOffset; | ||
| bit<8> ttl; | ||
| bit<8> protocol; | ||
| bit<16> hdrChecksum; | ||
| bit<32> srcAddr; | ||
| bit<32> dstAddr; | ||
| } | ||
|
|
||
| struct my_ingress_headers_t { | ||
| ethernet_t ethernet; | ||
| ipv4_t ipv4; | ||
| } | ||
|
|
||
| /****** G L O B A L I N G R E S S M E T A D A T A *********/ | ||
|
|
||
| struct my_ingress_metadata_t { | ||
| } | ||
|
|
||
| struct empty_metadata_t { | ||
| } | ||
|
|
||
| /*********************** P A R S E R **************************/ | ||
|
|
||
| parser Ingress_Parser( | ||
| packet_in pkt, | ||
| out my_ingress_headers_t hdr, | ||
| inout my_ingress_metadata_t meta, | ||
| in pna_main_parser_input_metadata_t istd) | ||
| { | ||
| const bit<16> ETHERTYPE_IPV4 = 0x0800; | ||
|
|
||
| state start { | ||
| transition parse_ethernet; | ||
| } | ||
| state parse_ethernet { | ||
| pkt.extract(hdr.ethernet); | ||
| transition select(hdr.ethernet.etherType) { | ||
| ETHERTYPE_IPV4 : parse_ipv4; | ||
| default : reject; | ||
| } | ||
| } | ||
| state parse_ipv4 { | ||
| pkt.extract(hdr.ipv4); | ||
| transition accept; | ||
| } | ||
| } | ||
|
|
||
| /***************** M A T C H - A C T I O N *********************/ | ||
|
|
||
| control ingress( | ||
| inout my_ingress_headers_t hdr, | ||
| inout my_ingress_metadata_t meta, | ||
| in pna_main_input_metadata_t istd, | ||
| inout pna_main_output_metadata_t ostd | ||
| ) | ||
| { | ||
| action send_nh(@tc_type("dev") PortId_t port_id, @tc_type("macaddr") bit<48> dmac, @tc_type("macaddr") bit<48> smac) { | ||
| hdr.ethernet.srcAddr = smac; | ||
| hdr.ethernet.dstAddr = dmac; | ||
| send_to_port(port_id); | ||
| } | ||
| action drop() { | ||
| drop_packet(); | ||
| } | ||
|
|
||
| table nh_table { | ||
| key = { | ||
| hdr.ipv4.srcAddr : exact @tc_type ("ipv4"); | ||
| } | ||
| actions = { | ||
| send_nh; | ||
| drop; | ||
| } | ||
| size = PORT_TABLE_SIZE; | ||
| const default_action = drop; | ||
| } | ||
|
|
||
| apply { | ||
| if (hdr.ipv4.isValid() && is_host_port(istd.input_port)) { | ||
| nh_table.apply(); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| /********************* D E P A R S E R ************************/ | ||
|
|
||
| control Ingress_Deparser( | ||
| packet_out pkt, | ||
| inout my_ingress_headers_t hdr, | ||
| in my_ingress_metadata_t meta, | ||
| in pna_main_output_metadata_t ostd) | ||
| { | ||
| apply { | ||
| pkt.emit(hdr.ethernet); | ||
| pkt.emit(hdr.ipv4); | ||
| } | ||
| } | ||
|
|
||
| /************ F I N A L P A C K A G E ******************************/ | ||
|
|
||
| PNA_NIC( | ||
| Ingress_Parser(), | ||
| ingress(), | ||
| Ingress_Deparser() | ||
| ) main; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,128 @@ | ||
| /* -*- P4_16 -*- */ | ||
|
|
||
| #include <core.p4> | ||
| #include <tc/pna.p4> | ||
|
|
||
| #define PORT_TABLE_SIZE 262144 | ||
|
|
||
| /* | ||
| * Standard ethernet header | ||
| */ | ||
| header ethernet_t { | ||
| @tc_type ("macaddr") bit<48> dstAddr; | ||
| @tc_type ("macaddr") bit<48> srcAddr; | ||
| bit<16> etherType; | ||
| } | ||
|
|
||
| header ipv4_t { | ||
| bit<4> version; | ||
| bit<4> ihl; | ||
| bit<8> diffserv; | ||
| bit<16> totalLen; | ||
| bit<16> identification; | ||
| bit<3> flags; | ||
| bit<13> fragOffset; | ||
| bit<8> ttl; | ||
| bit<8> protocol; | ||
| bit<16> hdrChecksum; | ||
| bit<32> srcAddr; | ||
| bit<32> dstAddr; | ||
| } | ||
|
|
||
| struct my_ingress_headers_t { | ||
| ethernet_t ethernet; | ||
| ipv4_t ipv4; | ||
| } | ||
|
|
||
| /****** G L O B A L I N G R E S S M E T A D A T A *********/ | ||
|
|
||
| struct my_ingress_metadata_t { | ||
| } | ||
|
|
||
| struct empty_metadata_t { | ||
| } | ||
|
|
||
| /*********************** P A R S E R **************************/ | ||
|
|
||
| parser Ingress_Parser( | ||
| packet_in pkt, | ||
| out my_ingress_headers_t hdr, | ||
| inout my_ingress_metadata_t meta, | ||
| in pna_main_parser_input_metadata_t istd) | ||
| { | ||
| const bit<16> ETHERTYPE_IPV4 = 0x0800; | ||
|
|
||
| state start { | ||
| transition parse_ethernet; | ||
| } | ||
| state parse_ethernet { | ||
| pkt.extract(hdr.ethernet); | ||
| transition select(hdr.ethernet.etherType) { | ||
| ETHERTYPE_IPV4 : parse_ipv4; | ||
| default : reject; | ||
| } | ||
| } | ||
| state parse_ipv4 { | ||
| pkt.extract(hdr.ipv4); | ||
| transition accept; | ||
| } | ||
| } | ||
|
|
||
| /***************** M A T C H - A C T I O N *********************/ | ||
|
|
||
| control ingress( | ||
| inout my_ingress_headers_t hdr, | ||
| inout my_ingress_metadata_t meta, | ||
| in pna_main_input_metadata_t istd, | ||
| inout pna_main_output_metadata_t ostd | ||
| ) | ||
| { | ||
| action send_nh(@tc_type("dev") PortId_t port_id, @tc_type("macaddr") bit<48> dmac, @tc_type("macaddr") bit<48> smac) { | ||
| hdr.ethernet.srcAddr = smac; | ||
| hdr.ethernet.dstAddr = dmac; | ||
| send_to_port(port_id); | ||
| } | ||
| action drop() { | ||
| drop_packet(); | ||
| } | ||
|
|
||
| table nh_table { | ||
| key = { | ||
| hdr.ipv4.srcAddr : exact @tc_type ("ipv4"); | ||
| } | ||
| actions = { | ||
| send_nh; | ||
| drop; | ||
| } | ||
| size = PORT_TABLE_SIZE; | ||
| const default_action = drop; | ||
| } | ||
|
|
||
| apply { | ||
| if (hdr.ipv4.isValid() && is_net_port(istd.input_port)) { | ||
| nh_table.apply(); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| /********************* D E P A R S E R ************************/ | ||
|
|
||
| control Ingress_Deparser( | ||
| packet_out pkt, | ||
| inout my_ingress_headers_t hdr, | ||
| in my_ingress_metadata_t meta, | ||
| in pna_main_output_metadata_t ostd) | ||
| { | ||
| apply { | ||
| pkt.emit(hdr.ethernet); | ||
| pkt.emit(hdr.ipv4); | ||
| } | ||
| } | ||
|
|
||
| /************ F I N A L P A C K A G E ******************************/ | ||
|
|
||
| PNA_NIC( | ||
| Ingress_Parser(), | ||
| ingress(), | ||
| Ingress_Deparser() | ||
| ) main; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.