Komal Jain

P4TC - Change header fields to network order in C Program

2

Convert all header fields to network order in EBPF C Program. Handle corresponding arithmetic operations with respect to endianness in parser and control block.

PHV allocation issue in Tofino compiler

5

``` struct ingress_metadata_t { bit first_tunnel_id; bit first_ip; bit shift_bits; bit temp_ip_result; bit temp_ipv6_lowest_word; } header vxlan_t { bit flags; bit reserved; bit vni; bit reserved2; } header ipv4_t {...

Local Copy Propogation issue

4

``` void ipip_push(inout headers_t hdr, in metadata_t meta) { hdr.inner = hdr.outer; hdr.outer.srcAddr = meta.src; hdr.outer.dstAddr = meta.dst; hdr.outer.ttl = 64; hdr.outer.protocol = 4; /* IPIP */ /* Assume MTU...

Typedef annotations is not generated correctly

5

``` @tc_type("mac") typedef bit macaddr_t; header ethernet_t { macaddr_t dstAddr; macaddr_t srcAddr; bit etherType; } ``` This should translate to ``` header ethernet_t { @tc_type("mac") bit dstAddr; @tc_type("mac") bit srcAddr;...