| 1 | ingress::parse_inner_ipv6 is split into 2 states: | ||
| 2 | ingress::parse_inner_ipv6 | ||
| 3 | ingress::parse_inner_ipv6.$split_0 | ||
| 4 | ingress::parse_ipv6 is split into 2 states: | ||
| 5 | ingress::parse_ipv6 | ||
| 6 | ingress::parse_ipv6.$split_0 | ||
| 7 | $entry_point.start is split into 2 states: | ||
| 8 | $entry_point.start | ||
| 9 | $entry_point.start.$split_0 | ||
| 10 | egress::parse_inner_ipv6 is split into 2 states: | ||
| 11 | egress::parse_inner_ipv6 | ||
| 12 | egress::parse_inner_ipv6.$split_0 | ||
| 13 | egress::parse_ipv6 is split into 2 states: | ||
| 14 | egress::parse_ipv6 | ||
| 15 | egress::parse_ipv6.$split_0 | ||
| 16 | $entry_point.start is split into 2 states: | ||
| 17 | $entry_point.start | ||
| 18 | $entry_point.start.$split_0 | ||
| 19 | allocated { $byte0 $byte1 } to { [ $entry_point.start.$split_0 : inbuf bit[80..95] hdr.ethernet/ethernet.ether_type; ] } | ||
| 20 | allocated { $byte0 $byte1 } to { [ egress::parse_vlan : inbuf bit[16..31] hdr.vlan/vlan.ether_type; ] } | ||
| 21 | allocated { $byte0 } to { [ egress::parse_ipv4 : inbuf bit[72..79] hdr.ipv4/ipv4.protocol; ] } | ||
| 22 | allocated { $byte0 $byte1 } to { [ egress::parse_udp : inbuf bit[16..31] hdr.udp/udp.dst_port; ] } | ||
| 23 | allocated { $byte0 } to { [ egress::parse_geneve : inbuf bit[2..7] ] } | ||
| 24 | allocated { $byte0 $byte1 } to { [ egress::geneve_parsed : egress::hdr.geneve.protocol; hdr.geneve/geneve.protocol; ] } | ||
| 25 | allocated { $byte0 $byte1 } to { [ egress::parse_inner_eth : inbuf bit[96..111] hdr.inner_eth/inner_eth.ether_type; ] } | ||
| 26 | allocated { $byte0 } to { [ egress::parse_inner_ipv4 : inbuf bit[72..79] hdr.inner_ipv4/inner_ipv4.protocol; ] } | ||
| 27 | allocated { $byte0 } to { [ egress::parse_inner_ipv6.$split_0 : inbuf bit[-208..-201] hdr.inner_ipv6/inner_ipv6.next_hdr; ] } | ||
| 28 | allocated { $byte2 $byte3 } to { [ egress::parse_geneve_opt : inbuf bit[0..15] curr_opt_2 ] } | ||
| 29 | allocated { $byte2 } to { [ egress::parse_geneve_ox_opt : inbuf bit[17..23] curr_opt_3[6:0]; ] } | ||
| 30 | allocated { $byte2 } to { [ egress::parse_geneve_ext_tag : inbuf bit[27..31] hdr.geneve_opts.oxg_ext_tag/oxg_ext_tag.opt_len; ] } | ||
| 31 | allocated { $byte2 } to { [ egress::parse_geneve_mcast_tag : inbuf bit[27..31] hdr.geneve_opts.oxg_mcast_tag/oxg_mcast_tag.opt_len; ] } | ||
| 32 | allocated { $byte2 } to { [ egress::parse_geneve_mss_tag : inbuf bit[27..31] hdr.geneve_opts.oxg_mss_tag/oxg_mss_tag.opt_len; ] } | ||
| 33 | allocated { $byte0 } to { [ egress::parse_ipv6.$split_0 : inbuf bit[-208..-201] hdr.ipv6/ipv6.next_hdr; ] } | ||
| 34 | allocated { $byte0 $byte1 } to { [ $entry_point.start.$split_0 : inbuf bit[96..111] hdr.ethernet/ethernet.ether_type; ] } | ||
| 35 | allocated { $byte0 $byte1 } to { [ ingress::parse_sidecar : inbuf bit[48..63] hdr.sidecar/sidecar.sc_ether_type; ] } | ||
| 36 | allocated { $byte0 $byte1 } to { [ ingress::parse_vlan : inbuf bit[16..31] hdr.vlan/vlan.ether_type; ] } | ||
| 37 | allocated { $byte0 } to { [ ingress::parse_ipv4 : inbuf bit[128..131] hdr.ipv4/ipv4.dst_addr[31:28]; ] } | ||
| 38 | allocated { $byte2 $byte3 } to { [ ingress::validate_ipv4_mcast1_2 : ingress::hdr.ethernet.dst_mac[47:40]; hdr.ethernet/ethernet.dst_mac[47:40]; ] [ ingress::validate_ipv4_mcast1_2 : ingress::hdr.ethernet.dst_mac[39:32]; hdr.ethernet/ethernet.dst_mac[39:32]; ] } | ||
| 39 | allocated { $save_byte2 } to { [ ingress::validate_ipv4_mcast_3 : ingress::hdr.ethernet.dst_mac[31:24]; hdr.ethernet/ethernet.dst_mac[31:24]; ] } | ||
| 40 | allocated { $byte0 } to { [ ingress::validate_ipv4_mcast_3 : inbuf bit[488..495] ] } | ||
| 41 | allocated { $byte1 } to { [ ingress::set_mcast_ipv4 : inbuf bit[-96..-89] hdr.ipv4/ipv4.ttl; ] } | ||
| 42 | allocated { $save_byte0 } to { [ ingress::goto_proto_ipv4 : inbuf bit[-88..-81] hdr.ipv4/ipv4.protocol; ] } | ||
| 43 | allocated { $byte0 } to { [ ingress::goto_proto_ipv4 : inbuf bit[504..511] ] } | ||
| 44 | allocated { $byte0 $byte1 } to { [ ingress::parse_udp : inbuf bit[16..31] hdr.udp/udp.dst_port; ] } | ||
| 45 | allocated { $byte0 } to { [ ingress::parse_geneve : inbuf bit[2..7] ] } | ||
| 46 | allocated { $byte0 $byte1 } to { [ ingress::geneve_parsed : ingress::hdr.geneve.protocol; hdr.geneve/geneve.protocol; ] } | ||
| 47 | allocated { $byte0 $byte1 } to { [ ingress::parse_inner_eth : inbuf bit[96..111] hdr.inner_eth/inner_eth.ether_type; ] } | ||
| 48 | allocated { $byte0 } to { [ ingress::parse_inner_ipv4 : inbuf bit[72..79] hdr.inner_ipv4/inner_ipv4.protocol; ] } | ||
| 49 | allocated { $byte0 } to { [ ingress::parse_inner_ipv6.$split_0 : inbuf bit[-208..-201] hdr.inner_ipv6/inner_ipv6.next_hdr; ] } | ||
| 50 | allocated { $byte2 $byte3 } to { [ ingress::parse_geneve_opt : inbuf bit[0..15] curr_opt_0 ] } | ||
| 51 | allocated { $byte2 } to { [ ingress::parse_geneve_ox_opt : inbuf bit[17..23] curr_opt_1[6:0]; ] } | ||
| 52 | allocated { $byte2 } to { [ ingress::parse_geneve_ext_tag : inbuf bit[27..31] hdr.geneve_opts.oxg_ext_tag/oxg_ext_tag.opt_len; ] } | ||
| 53 | allocated { $byte2 } to { [ ingress::parse_geneve_mcast_tag : inbuf bit[27..31] hdr.geneve_opts.oxg_mcast_tag/oxg_mcast_tag.opt_len; ] } | ||
| 54 | allocated { $byte2 } to { [ ingress::parse_geneve_mss_tag : inbuf bit[27..31] hdr.geneve_opts.oxg_mss_tag/oxg_mss_tag.opt_len; ] } | ||
| 55 | allocated { $byte1 } to { [ ingress::validate_ttl : inbuf bit[-96..-89] hdr.ipv4/ipv4.ttl; ] } | ||
| 56 | allocated { $byte0 $byte1 } to { [ ingress::parse_ipv6.$split_0 : inbuf bit[-64..-49] hdr.ipv6/ipv6.dst_addr[127:112]; ] } | ||
| 57 | allocated { $byte2 } to { [ ingress::set_link_local_mcast : inbuf bit[-264..-257] hdr.ipv6/ipv6.hop_limit; ] } | ||
| 58 | allocated { $byte3 } to { [ ingress::goto_proto_ipv6 : inbuf bit[-272..-265] hdr.ipv6/ipv6.next_hdr; ] } | ||
| 59 | allocated { $save_byte0 } to { [ ingress::check_ipv6_mcast : inbuf bit[-128..-121] hdr.ipv6/ipv6.dst_addr[127:120]; ] } | ||
| 60 | allocated { $byte0 } to { [ ingress::check_ipv6_mcast : inbuf bit[504..511] ] } | ||
| 61 | allocated { $byte2 } to { [ ingress::set_mcast_ipv6 : inbuf bit[-264..-257] hdr.ipv6/ipv6.hop_limit; ] } | ||
| 62 | allocated { $byte2 } to { [ ingress::validate_hop_limit : inbuf bit[-264..-257] hdr.ipv6/ipv6.hop_limit; ] } | ||
| 63 | need to allocate 3 logical checksum calculations to ingress parser | ||
| 64 | allocated parser checksum unit 0 to nat_checksum_0 | ||
| 65 | allocated parser checksum unit 1 to icmp_checksum_0 | ||
| 66 | allocated parser checksum unit 1 to ipv4_checksum_0 | ||
| 67 | need to allocate 2 logical checksum calculations to egress parser | ||
| 68 | allocated parser checksum unit 2 to $clot_5_csum | ||
| 69 | allocated parser checksum unit 3 to $clot_12_csum | ||
| 70 | need to allocate 3 logical checksum calculations to ingress parser | ||
| 71 | allocated parser checksum unit 0 to nat_checksum_0 | ||
| 72 | allocated parser checksum unit 1 to icmp_checksum_0 | ||
| 73 | allocated parser checksum unit 1 to ipv4_checksum_0 | ||
| 74 | need to allocate 2 logical checksum calculations to egress parser | ||
| 75 | allocated parser checksum unit 2 to $clot_5_csum | ||
| 76 | allocated parser checksum unit 3 to $clot_12_csum | ||