blob: a38b29042dcd78ae6e5474182247d1d2cd75ca75 [file] [log] [blame]
{
"program" : "basic.p4",
"__meta__" : {
"version" : [2, 7],
"compiler" : "https://github.com/p4lang/p4c"
},
"header_types" : [
{
"name" : "scalars_0",
"id" : 0,
"fields" : [
["tmp", 32, false],
["tmp_0", 32, false],
["local_metadata_t.l4_src_port", 16, false],
["local_metadata_t.l4_dst_port", 16, false],
["local_metadata_t.next_hop_id", 16, false],
["local_metadata_t.selector", 16, false]
]
},
{
"name" : "ethernet_t",
"id" : 1,
"fields" : [
["dst_addr", 48, false],
["src_addr", 48, false],
["ether_type", 16, false]
]
},
{
"name" : "ipv4_t",
"id" : 2,
"fields" : [
["version", 4, false],
["ihl", 4, false],
["diffserv", 8, false],
["len", 16, false],
["identification", 16, false],
["flags", 3, false],
["frag_offset", 13, false],
["ttl", 8, false],
["protocol", 8, false],
["hdr_checksum", 16, false],
["src_addr", 32, false],
["dst_addr", 32, false]
]
},
{
"name" : "tcp_t",
"id" : 3,
"fields" : [
["src_port", 16, false],
["dst_port", 16, false],
["seq_no", 32, false],
["ack_no", 32, false],
["data_offset", 4, false],
["res", 3, false],
["ecn", 3, false],
["ctrl", 6, false],
["window", 16, false],
["checksum", 16, false],
["urgent_ptr", 16, false]
]
},
{
"name" : "udp_t",
"id" : 4,
"fields" : [
["src_port", 16, false],
["dst_port", 16, false],
["length_", 16, false],
["checksum", 16, false]
]
},
{
"name" : "packet_out_header_t",
"id" : 5,
"fields" : [
["egress_port", 9, false],
["_padding", 7, false]
]
},
{
"name" : "packet_in_header_t",
"id" : 6,
"fields" : [
["ingress_port", 9, false],
["_padding_0", 7, false]
]
},
{
"name" : "standard_metadata",
"id" : 7,
"fields" : [
["ingress_port", 9, false],
["egress_spec", 9, false],
["egress_port", 9, false],
["clone_spec", 32, false],
["instance_type", 32, false],
["drop", 1, false],
["recirculate_port", 16, false],
["packet_length", 32, false],
["enq_timestamp", 32, false],
["enq_qdepth", 19, false],
["deq_timedelta", 32, false],
["deq_qdepth", 19, false],
["ingress_global_timestamp", 48, false],
["lf_field_list", 32, false],
["mcast_grp", 16, false],
["resubmit_flag", 1, false],
["egress_rid", 16, false],
["checksum_error", 1, false],
["_padding_1", 4, false]
]
}
],
"headers" : [
{
"name" : "scalars",
"id" : 0,
"header_type" : "scalars_0",
"metadata" : true,
"pi_omit" : true
},
{
"name" : "standard_metadata",
"id" : 1,
"header_type" : "standard_metadata",
"metadata" : true,
"pi_omit" : true
},
{
"name" : "ethernet",
"id" : 2,
"header_type" : "ethernet_t",
"metadata" : false,
"pi_omit" : true
},
{
"name" : "ipv4",
"id" : 3,
"header_type" : "ipv4_t",
"metadata" : false,
"pi_omit" : true
},
{
"name" : "tcp",
"id" : 4,
"header_type" : "tcp_t",
"metadata" : false,
"pi_omit" : true
},
{
"name" : "udp",
"id" : 5,
"header_type" : "udp_t",
"metadata" : false,
"pi_omit" : true
},
{
"name" : "packet_out",
"id" : 6,
"header_type" : "packet_out_header_t",
"metadata" : false,
"pi_omit" : true
},
{
"name" : "packet_in",
"id" : 7,
"header_type" : "packet_in_header_t",
"metadata" : false,
"pi_omit" : true
}
],
"header_stacks" : [],
"header_union_types" : [],
"header_unions" : [],
"header_union_stacks" : [],
"field_lists" : [],
"errors" : [
["NoError", 1],
["PacketTooShort", 2],
["NoMatch", 3],
["StackOutOfBounds", 4],
["HeaderTooShort", 5],
["ParserTimeout", 6]
],
"enums" : [],
"parsers" : [
{
"name" : "parser",
"id" : 0,
"init_state" : "start",
"parse_states" : [
{
"name" : "start",
"id" : 0,
"parser_ops" : [],
"transitions" : [
{
"value" : "0x00ff",
"mask" : null,
"next_state" : "parse_packet_out"
},
{
"value" : "default",
"mask" : null,
"next_state" : "parse_ethernet"
}
],
"transition_key" : [
{
"type" : "field",
"value" : ["standard_metadata", "ingress_port"]
}
]
},
{
"name" : "parse_packet_out",
"id" : 1,
"parser_ops" : [
{
"parameters" : [
{
"type" : "regular",
"value" : "packet_out"
}
],
"op" : "extract"
}
],
"transitions" : [
{
"value" : "default",
"mask" : null,
"next_state" : "parse_ethernet"
}
],
"transition_key" : []
},
{
"name" : "parse_ethernet",
"id" : 2,
"parser_ops" : [
{
"parameters" : [
{
"type" : "regular",
"value" : "ethernet"
}
],
"op" : "extract"
}
],
"transitions" : [
{
"value" : "0x0800",
"mask" : null,
"next_state" : "parse_ipv4"
},
{
"value" : "default",
"mask" : null,
"next_state" : null
}
],
"transition_key" : [
{
"type" : "field",
"value" : ["ethernet", "ether_type"]
}
]
},
{
"name" : "parse_ipv4",
"id" : 3,
"parser_ops" : [
{
"parameters" : [
{
"type" : "regular",
"value" : "ipv4"
}
],
"op" : "extract"
}
],
"transitions" : [
{
"value" : "0x06",
"mask" : null,
"next_state" : "parse_tcp"
},
{
"value" : "0x11",
"mask" : null,
"next_state" : "parse_udp"
},
{
"value" : "default",
"mask" : null,
"next_state" : null
}
],
"transition_key" : [
{
"type" : "field",
"value" : ["ipv4", "protocol"]
}
]
},
{
"name" : "parse_tcp",
"id" : 4,
"parser_ops" : [
{
"parameters" : [
{
"type" : "regular",
"value" : "tcp"
}
],
"op" : "extract"
},
{
"parameters" : [
{
"type" : "field",
"value" : ["scalars", "local_metadata_t.l4_src_port"]
},
{
"type" : "field",
"value" : ["tcp", "src_port"]
}
],
"op" : "set"
},
{
"parameters" : [
{
"type" : "field",
"value" : ["scalars", "local_metadata_t.l4_dst_port"]
},
{
"type" : "field",
"value" : ["tcp", "dst_port"]
}
],
"op" : "set"
}
],
"transitions" : [
{
"value" : "default",
"mask" : null,
"next_state" : null
}
],
"transition_key" : []
},
{
"name" : "parse_udp",
"id" : 5,
"parser_ops" : [
{
"parameters" : [
{
"type" : "regular",
"value" : "udp"
}
],
"op" : "extract"
},
{
"parameters" : [
{
"type" : "field",
"value" : ["scalars", "local_metadata_t.l4_src_port"]
},
{
"type" : "field",
"value" : ["udp", "src_port"]
}
],
"op" : "set"
},
{
"parameters" : [
{
"type" : "field",
"value" : ["scalars", "local_metadata_t.l4_dst_port"]
},
{
"type" : "field",
"value" : ["udp", "dst_port"]
}
],
"op" : "set"
}
],
"transitions" : [
{
"value" : "default",
"mask" : null,
"next_state" : null
}
],
"transition_key" : []
}
]
}
],
"deparsers" : [
{
"name" : "deparser",
"id" : 0,
"source_info" : {
"filename" : "include/parsers.p4",
"line" : 72,
"column" : 8,
"source_fragment" : "deparser"
},
"order" : ["packet_in", "ethernet", "ipv4", "tcp", "udp"]
}
],
"meter_arrays" : [],
"counter_arrays" : [
{
"name" : "port_counters_ingress.ingress_port_counter",
"id" : 0,
"source_info" : {
"filename" : "include/port_counters.p4",
"line" : 26,
"column" : 38,
"source_fragment" : "ingress_port_counter"
},
"size" : 511,
"is_direct" : false
},
{
"name" : "table0_control.table0_counter",
"id" : 1,
"is_direct" : true,
"binding" : "table0_control.table0"
},
{
"name" : "wcmp_control.wcmp_table_counter",
"id" : 2,
"is_direct" : true,
"binding" : "wcmp_control.wcmp_table"
},
{
"name" : "port_counters_egress.egress_port_counter",
"id" : 3,
"source_info" : {
"filename" : "include/port_counters.p4",
"line" : 36,
"column" : 38,
"source_fragment" : "egress_port_counter"
},
"size" : 511,
"is_direct" : false
}
],
"register_arrays" : [],
"calculations" : [],
"learn_lists" : [],
"actions" : [
{
"name" : "set_egress_port",
"id" : 0,
"runtime_data" : [
{
"name" : "port",
"bitwidth" : 9
}
],
"primitives" : [
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["standard_metadata", "egress_spec"]
},
{
"type" : "runtime_data",
"value" : 0
}
],
"source_info" : {
"filename" : "include/actions.p4",
"line" : 28,
"column" : 36,
"source_fragment" : "port; ..."
}
}
]
},
{
"name" : "set_egress_port",
"id" : 1,
"runtime_data" : [
{
"name" : "port",
"bitwidth" : 9
}
],
"primitives" : [
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["standard_metadata", "egress_spec"]
},
{
"type" : "runtime_data",
"value" : 0
}
],
"source_info" : {
"filename" : "include/actions.p4",
"line" : 28,
"column" : 36,
"source_fragment" : "port; ..."
}
}
]
},
{
"name" : "send_to_cpu",
"id" : 2,
"runtime_data" : [],
"primitives" : [
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["standard_metadata", "egress_spec"]
},
{
"type" : "hexstr",
"value" : "0x00ff"
}
],
"source_info" : {
"filename" : "include/headers.p4",
"line" : 19,
"column" : 24,
"source_fragment" : "255; ..."
}
}
]
},
{
"name" : "_drop",
"id" : 3,
"runtime_data" : [],
"primitives" : [
{
"op" : "drop",
"parameters" : [],
"source_info" : {
"filename" : "include/actions.p4",
"line" : 32,
"column" : 4,
"source_fragment" : "mark_to_drop()"
}
}
]
},
{
"name" : "NoAction",
"id" : 4,
"runtime_data" : [],
"primitives" : []
},
{
"name" : "table0_control.set_next_hop_id",
"id" : 5,
"runtime_data" : [
{
"name" : "next_hop_id",
"bitwidth" : 16
}
],
"primitives" : [
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["scalars", "local_metadata_t.next_hop_id"]
},
{
"type" : "runtime_data",
"value" : 0
}
],
"source_info" : {
"filename" : "include/table0.p4",
"line" : 30,
"column" : 8,
"source_fragment" : "local_metadata.next_hop_id = next_hop_id"
}
}
]
},
{
"name" : "act",
"id" : 6,
"runtime_data" : [],
"primitives" : [
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["standard_metadata", "egress_spec"]
},
{
"type" : "field",
"value" : ["packet_out", "egress_port"]
}
],
"source_info" : {
"filename" : "include/packet_io.p4",
"line" : 27,
"column" : 12,
"source_fragment" : "standard_metadata.egress_spec = hdr.packet_out.egress_port"
}
},
{
"op" : "remove_header",
"parameters" : [
{
"type" : "header",
"value" : "packet_out"
}
],
"source_info" : {
"filename" : "include/packet_io.p4",
"line" : 28,
"column" : 12,
"source_fragment" : "hdr.packet_out.setInvalid()"
}
}
]
},
{
"name" : "act_0",
"id" : 7,
"runtime_data" : [],
"primitives" : [
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["scalars", "tmp"]
},
{
"type" : "expression",
"value" : {
"type" : "expression",
"value" : {
"op" : "&",
"left" : {
"type" : "field",
"value" : ["standard_metadata", "ingress_port"]
},
"right" : {
"type" : "hexstr",
"value" : "0xffffffff"
}
}
}
}
]
},
{
"op" : "count",
"parameters" : [
{
"type" : "counter_array",
"value" : "port_counters_ingress.ingress_port_counter"
},
{
"type" : "field",
"value" : ["scalars", "tmp"]
}
],
"source_info" : {
"filename" : "include/port_counters.p4",
"line" : 29,
"column" : 8,
"source_fragment" : "ingress_port_counter.count((bit<32>) standard_metadata.ingress_port)"
}
}
]
},
{
"name" : "act_1",
"id" : 8,
"runtime_data" : [],
"primitives" : [
{
"op" : "add_header",
"parameters" : [
{
"type" : "header",
"value" : "packet_in"
}
],
"source_info" : {
"filename" : "include/packet_io.p4",
"line" : 38,
"column" : 12,
"source_fragment" : "hdr.packet_in.setValid()"
}
},
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["packet_in", "ingress_port"]
},
{
"type" : "field",
"value" : ["standard_metadata", "ingress_port"]
}
],
"source_info" : {
"filename" : "include/packet_io.p4",
"line" : 39,
"column" : 12,
"source_fragment" : "hdr.packet_in.ingress_port = standard_metadata.ingress_port"
}
}
]
},
{
"name" : "act_2",
"id" : 9,
"runtime_data" : [],
"primitives" : [
{
"op" : "assign",
"parameters" : [
{
"type" : "field",
"value" : ["scalars", "tmp_0"]
},
{
"type" : "expression",
"value" : {
"type" : "expression",
"value" : {
"op" : "&",
"left" : {
"type" : "field",
"value" : ["standard_metadata", "egress_port"]
},
"right" : {
"type" : "hexstr",
"value" : "0xffffffff"
}
}
}
}
]
},
{
"op" : "count",
"parameters" : [
{
"type" : "counter_array",
"value" : "port_counters_egress.egress_port_counter"
},
{
"type" : "field",
"value" : ["scalars", "tmp_0"]
}
],
"source_info" : {
"filename" : "include/port_counters.p4",
"line" : 39,
"column" : 8,
"source_fragment" : "egress_port_counter.count((bit<32>) standard_metadata.egress_port)"
}
}
]
}
],
"pipelines" : [
{
"name" : "ingress",
"id" : 0,
"source_info" : {
"filename" : "basic.p4",
"line" : 34,
"column" : 8,
"source_fragment" : "ingress"
},
"init_table" : "tbl_act",
"tables" : [
{
"name" : "tbl_act",
"id" : 0,
"key" : [],
"match_type" : "exact",
"type" : "simple",
"max_size" : 1024,
"with_counters" : false,
"support_timeout" : false,
"direct_meters" : null,
"action_ids" : [7],
"actions" : ["act_0"],
"base_default_next" : "node_3",
"next_tables" : {
"act_0" : "node_3"
},
"default_entry" : {
"action_id" : 7,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
}
},
{
"name" : "tbl_act_0",
"id" : 1,
"key" : [],
"match_type" : "exact",
"type" : "simple",
"max_size" : 1024,
"with_counters" : false,
"support_timeout" : false,
"direct_meters" : null,
"action_ids" : [6],
"actions" : ["act"],
"base_default_next" : null,
"next_tables" : {
"act" : null
},
"default_entry" : {
"action_id" : 6,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
}
},
{
"name" : "table0_control.table0",
"id" : 2,
"source_info" : {
"filename" : "include/table0.p4",
"line" : 33,
"column" : 10,
"source_fragment" : "table0"
},
"key" : [
{
"match_type" : "ternary",
"target" : ["standard_metadata", "ingress_port"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["ethernet", "src_addr"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["ethernet", "dst_addr"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["ethernet", "ether_type"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["ipv4", "src_addr"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["ipv4", "dst_addr"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["ipv4", "protocol"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["scalars", "local_metadata_t.l4_src_port"],
"mask" : null
},
{
"match_type" : "ternary",
"target" : ["scalars", "local_metadata_t.l4_dst_port"],
"mask" : null
}
],
"match_type" : "ternary",
"type" : "simple",
"max_size" : 1024,
"support_timeout" : false,
"direct_meters" : null,
"action_ids" : [0, 2, 5, 3],
"actions" : ["set_egress_port", "send_to_cpu", "table0_control.set_next_hop_id", "_drop"],
"base_default_next" : "node_6",
"next_tables" : {
"set_egress_port" : "node_6",
"send_to_cpu" : "node_6",
"table0_control.set_next_hop_id" : "node_6",
"_drop" : "node_6"
},
"default_entry" : {
"action_id" : 3,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
}
},
{
"name" : "wcmp_control.wcmp_table",
"id" : 3,
"source_info" : {
"filename" : "include/wcmp.p4",
"line" : 30,
"column" : 10,
"source_fragment" : "wcmp_table"
},
"key" : [
{
"match_type" : "exact",
"target" : ["scalars", "local_metadata_t.next_hop_id"],
"mask" : null
}
],
"match_type" : "exact",
"type" : "indirect_ws",
"action_profile" : "wcmp_control.wcmp_selector",
"max_size" : 1024,
"support_timeout" : false,
"direct_meters" : null,
"action_ids" : [1, 4],
"actions" : ["set_egress_port", "NoAction"],
"base_default_next" : null,
"next_tables" : {
"set_egress_port" : null,
"NoAction" : null
}
}
],
"action_profiles" : [
{
"name" : "wcmp_control.wcmp_selector",
"id" : 0,
"max_size" : 64,
"selector" : {
"algo" : "crc16",
"input" : [
{
"type" : "field",
"value" : ["ipv4", "src_addr"]
},
{
"type" : "field",
"value" : ["ipv4", "dst_addr"]
},
{
"type" : "field",
"value" : ["ipv4", "protocol"]
},
{
"type" : "field",
"value" : ["scalars", "local_metadata_t.l4_src_port"]
},
{
"type" : "field",
"value" : ["scalars", "local_metadata_t.l4_dst_port"]
}
]
}
}
],
"conditionals" : [
{
"name" : "node_3",
"id" : 0,
"source_info" : {
"filename" : "include/packet_io.p4",
"line" : 26,
"column" : 12,
"source_fragment" : "standard_metadata.ingress_port == CPU_PORT"
},
"expression" : {
"type" : "expression",
"value" : {
"op" : "==",
"left" : {
"type" : "field",
"value" : ["standard_metadata", "ingress_port"]
},
"right" : {
"type" : "hexstr",
"value" : "0x00ff"
}
}
},
"true_next" : "tbl_act_0",
"false_next" : "table0_control.table0"
},
{
"name" : "node_6",
"id" : 1,
"source_info" : {
"filename" : "include/wcmp.p4",
"line" : 48,
"column" : 12,
"source_fragment" : "local_metadata.next_hop_id != 0"
},
"expression" : {
"type" : "expression",
"value" : {
"op" : "!=",
"left" : {
"type" : "field",
"value" : ["scalars", "local_metadata_t.next_hop_id"]
},
"right" : {
"type" : "hexstr",
"value" : "0x0000"
}
}
},
"false_next" : null,
"true_next" : "wcmp_control.wcmp_table"
}
]
},
{
"name" : "egress",
"id" : 1,
"source_info" : {
"filename" : "basic.p4",
"line" : 50,
"column" : 8,
"source_fragment" : "egress"
},
"init_table" : "tbl_act_1",
"tables" : [
{
"name" : "tbl_act_1",
"id" : 4,
"key" : [],
"match_type" : "exact",
"type" : "simple",
"max_size" : 1024,
"with_counters" : false,
"support_timeout" : false,
"direct_meters" : null,
"action_ids" : [9],
"actions" : ["act_2"],
"base_default_next" : "node_11",
"next_tables" : {
"act_2" : "node_11"
},
"default_entry" : {
"action_id" : 9,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
}
},
{
"name" : "tbl_act_2",
"id" : 5,
"key" : [],
"match_type" : "exact",
"type" : "simple",
"max_size" : 1024,
"with_counters" : false,
"support_timeout" : false,
"direct_meters" : null,
"action_ids" : [8],
"actions" : ["act_1"],
"base_default_next" : null,
"next_tables" : {
"act_1" : null
},
"default_entry" : {
"action_id" : 8,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
}
}
],
"action_profiles" : [],
"conditionals" : [
{
"name" : "node_11",
"id" : 2,
"source_info" : {
"filename" : "include/packet_io.p4",
"line" : 37,
"column" : 12,
"source_fragment" : "standard_metadata.egress_port == CPU_PORT"
},
"expression" : {
"type" : "expression",
"value" : {
"op" : "==",
"left" : {
"type" : "field",
"value" : ["standard_metadata", "egress_port"]
},
"right" : {
"type" : "hexstr",
"value" : "0x00ff"
}
}
},
"false_next" : null,
"true_next" : "tbl_act_2"
}
]
}
],
"checksums" : [],
"force_arith" : [],
"extern_instances" : [],
"field_aliases" : [
[
"queueing_metadata.enq_timestamp",
["standard_metadata", "enq_timestamp"]
],
[
"queueing_metadata.enq_qdepth",
["standard_metadata", "enq_qdepth"]
],
[
"queueing_metadata.deq_timedelta",
["standard_metadata", "deq_timedelta"]
],
[
"queueing_metadata.deq_qdepth",
["standard_metadata", "deq_qdepth"]
],
[
"intrinsic_metadata.ingress_global_timestamp",
["standard_metadata", "ingress_global_timestamp"]
],
[
"intrinsic_metadata.lf_field_list",
["standard_metadata", "lf_field_list"]
],
[
"intrinsic_metadata.mcast_grp",
["standard_metadata", "mcast_grp"]
],
[
"intrinsic_metadata.resubmit_flag",
["standard_metadata", "resubmit_flag"]
],
[
"intrinsic_metadata.egress_rid",
["standard_metadata", "egress_rid"]
]
]
}