Update P4 programs to compile with most recent p4c
Change-Id: Iced2e9af53dca2dcfd4e6a5de22a45241c264886
(cherry picked from commit 040d6d8c748b6399b74b56abde5894d254eb6383)
diff --git a/pipelines/basic/src/main/resources/include/actions.p4 b/pipelines/basic/src/main/resources/include/actions.p4
index 9f8bd4f..03ac5b9 100644
--- a/pipelines/basic/src/main/resources/include/actions.p4
+++ b/pipelines/basic/src/main/resources/include/actions.p4
@@ -20,10 +20,6 @@
#include "headers.p4"
#include "defines.p4"
-action _drop() {
- mark_to_drop();
-}
-
action nop() {
NoAction();
}
diff --git a/pipelines/basic/src/main/resources/include/host_meter_table.p4 b/pipelines/basic/src/main/resources/include/host_meter_table.p4
index 9aa2dfc..0e50e4a 100644
--- a/pipelines/basic/src/main/resources/include/host_meter_table.p4
+++ b/pipelines/basic/src/main/resources/include/host_meter_table.p4
@@ -45,7 +45,7 @@
apply {
host_meter_table.apply();
if (meter_tag == MeterColor_RED) {
- mark_to_drop();
+ mark_to_drop(standard_metadata);
}
}
}
diff --git a/pipelines/basic/src/main/resources/include/port_meters.p4 b/pipelines/basic/src/main/resources/include/port_meters.p4
index b9cb2db..b9d88ff 100644
--- a/pipelines/basic/src/main/resources/include/port_meters.p4
+++ b/pipelines/basic/src/main/resources/include/port_meters.p4
@@ -26,7 +26,7 @@
apply {
ingress_port_meter.execute_meter<MeterColor>((bit<32>)standard_metadata.ingress_port, ingress_color);
if (ingress_color == MeterColor_RED) {
- mark_to_drop();
+ mark_to_drop(standard_metadata);
}
}
}
@@ -40,7 +40,7 @@
apply {
egress_port_meter.execute_meter<MeterColor>((bit<32>)standard_metadata.egress_port, egress_color);
if (egress_color == MeterColor_RED) {
- mark_to_drop();
+ mark_to_drop(standard_metadata);
}
}
}
diff --git a/pipelines/basic/src/main/resources/include/table0.p4 b/pipelines/basic/src/main/resources/include/table0.p4
index 27e1f8a..9b820e1 100644
--- a/pipelines/basic/src/main/resources/include/table0.p4
+++ b/pipelines/basic/src/main/resources/include/table0.p4
@@ -38,6 +38,10 @@
standard_metadata.egress_spec = port;
}
+ action drop() {
+ mark_to_drop(standard_metadata);
+ }
+
table table0 {
key = {
standard_metadata.ingress_port : ternary;
@@ -54,9 +58,9 @@
set_egress_port;
send_to_cpu;
set_next_hop_id;
- _drop;
+ drop;
}
- const default_action = _drop();
+ const default_action = drop();
counters = table0_counter;
}
diff --git a/pipelines/basic/src/main/resources/p4c-out/bmv2/basic.json b/pipelines/basic/src/main/resources/p4c-out/bmv2/basic.json
index b6df5b6..fcc8ce9 100644
--- a/pipelines/basic/src/main/resources/p4c-out/bmv2/basic.json
+++ b/pipelines/basic/src/main/resources/p4c-out/bmv2/basic.json
@@ -38,10 +38,11 @@
["mcast_grp", 16, false],
["resubmit_flag", 32, false],
["egress_rid", 16, false],
- ["checksum_error", 1, false],
["recirculate_flag", 32, false],
+ ["checksum_error", 1, false],
["parser_error", 32, false],
- ["_padding_0", 5, false]
+ ["priority", 3, false],
+ ["_padding_0", 2, false]
]
},
{
@@ -180,12 +181,13 @@
"header_union_stacks" : [],
"field_lists" : [],
"errors" : [
- ["NoError", 1],
- ["PacketTooShort", 2],
- ["NoMatch", 3],
- ["StackOutOfBounds", 4],
- ["HeaderTooShort", 5],
- ["ParserTimeout", 6]
+ ["NoError", 0],
+ ["PacketTooShort", 1],
+ ["NoMatch", 2],
+ ["StackOutOfBounds", 3],
+ ["HeaderTooShort", 4],
+ ["ParserTimeout", 5],
+ ["ParserInvalidArgument", 6]
],
"enums" : [],
"parsers" : [
@@ -593,21 +595,10 @@
"learn_lists" : [],
"actions" : [
{
- "name" : "_drop",
+ "name" : "NoAction",
"id" : 0,
"runtime_data" : [],
- "primitives" : [
- {
- "op" : "drop",
- "parameters" : [],
- "source_info" : {
- "filename" : "include/actions.p4",
- "line" : 24,
- "column" : 4,
- "source_fragment" : "mark_to_drop()"
- }
- }
- ]
+ "primitives" : []
},
{
"name" : "NoAction",
@@ -616,14 +607,8 @@
"primitives" : []
},
{
- "name" : "NoAction",
- "id" : 2,
- "runtime_data" : [],
- "primitives" : []
- },
- {
"name" : "ingress.table0_control.set_next_hop_id",
- "id" : 3,
+ "id" : 2,
"runtime_data" : [
{
"name" : "next_hop_id",
@@ -654,7 +639,7 @@
},
{
"name" : "ingress.table0_control.send_to_cpu",
- "id" : 4,
+ "id" : 3,
"runtime_data" : [],
"primitives" : [
{
@@ -680,7 +665,7 @@
},
{
"name" : "ingress.table0_control.set_egress_port",
- "id" : 5,
+ "id" : 4,
"runtime_data" : [
{
"name" : "port",
@@ -710,6 +695,28 @@
]
},
{
+ "name" : "ingress.table0_control.drop",
+ "id" : 5,
+ "runtime_data" : [],
+ "primitives" : [
+ {
+ "op" : "mark_to_drop",
+ "parameters" : [
+ {
+ "type" : "header",
+ "value" : "standard_metadata"
+ }
+ ],
+ "source_info" : {
+ "filename" : "include/table0.p4",
+ "line" : 42,
+ "column" : 8,
+ "source_fragment" : "mark_to_drop(standard_metadata)"
+ }
+ }
+ ]
+ },
+ {
"name" : "ingress.host_meter_control.read_meter",
"id" : 6,
"runtime_data" : [],
@@ -752,13 +759,18 @@
"runtime_data" : [],
"primitives" : [
{
- "op" : "drop",
- "parameters" : [],
+ "op" : "mark_to_drop",
+ "parameters" : [
+ {
+ "type" : "header",
+ "value" : "standard_metadata"
+ }
+ ],
"source_info" : {
"filename" : "include/port_meters.p4",
"line" : 29,
"column" : 12,
- "source_fragment" : "mark_to_drop()"
+ "source_fragment" : "mark_to_drop(standard_metadata)"
}
}
]
@@ -914,6 +926,16 @@
"column" : 12,
"source_fragment" : "hdr.packet_out.setInvalid()"
}
+ },
+ {
+ "op" : "exit",
+ "parameters" : [],
+ "source_info" : {
+ "filename" : "include/packet_io.p4",
+ "line" : 29,
+ "column" : 12,
+ "source_fragment" : "exit"
+ }
}
]
},
@@ -949,13 +971,18 @@
"runtime_data" : [],
"primitives" : [
{
- "op" : "drop",
- "parameters" : [],
+ "op" : "mark_to_drop",
+ "parameters" : [
+ {
+ "type" : "header",
+ "value" : "standard_metadata"
+ }
+ ],
"source_info" : {
"filename" : "include/host_meter_table.p4",
"line" : 48,
"column" : 12,
- "source_fragment" : "mark_to_drop()"
+ "source_fragment" : "mark_to_drop(standard_metadata)"
}
}
]
@@ -966,13 +993,18 @@
"runtime_data" : [],
"primitives" : [
{
- "op" : "drop",
- "parameters" : [],
+ "op" : "mark_to_drop",
+ "parameters" : [
+ {
+ "type" : "header",
+ "value" : "standard_metadata"
+ }
+ ],
"source_info" : {
"filename" : "include/port_meters.p4",
"line" : 43,
"column" : 12,
- "source_fragment" : "mark_to_drop()"
+ "source_fragment" : "mark_to_drop(standard_metadata)"
}
}
]
@@ -1147,6 +1179,12 @@
{
"name" : "tbl_act",
"id" : 0,
+ "source_info" : {
+ "filename" : "include/port_counters.p4",
+ "line" : 29,
+ "column" : 8,
+ "source_fragment" : "ingress_port_counter.count((bit<32>) standard_metadata.ingress_port); ..."
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1170,6 +1208,12 @@
{
"name" : "tbl_act_0",
"id" : 1,
+ "source_info" : {
+ "filename" : "include/port_meters.p4",
+ "line" : 29,
+ "column" : 12,
+ "source_fragment" : "mark_to_drop(standard_metadata)"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1193,6 +1237,12 @@
{
"name" : "tbl_act_1",
"id" : 2,
+ "source_info" : {
+ "filename" : "include/packet_io.p4",
+ "line" : 27,
+ "column" : 42,
+ "source_fragment" : "= hdr.packet_out.egress_port; ..."
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1202,9 +1252,9 @@
"direct_meters" : null,
"action_ids" : [10],
"actions" : ["act_1"],
- "base_default_next" : null,
+ "base_default_next" : "ingress.table0_control.table0",
"next_tables" : {
- "act_1" : null
+ "act_1" : "ingress.table0_control.table0"
},
"default_entry" : {
"action_id" : 10,
@@ -1218,7 +1268,7 @@
"id" : 3,
"source_info" : {
"filename" : "include/table0.p4",
- "line" : 41,
+ "line" : 45,
"column" : 10,
"source_fragment" : "table0"
},
@@ -1284,17 +1334,17 @@
"with_counters" : true,
"support_timeout" : false,
"direct_meters" : null,
- "action_ids" : [5, 4, 3, 0],
- "actions" : ["ingress.table0_control.set_egress_port", "ingress.table0_control.send_to_cpu", "ingress.table0_control.set_next_hop_id", "_drop"],
+ "action_ids" : [4, 3, 2, 5],
+ "actions" : ["ingress.table0_control.set_egress_port", "ingress.table0_control.send_to_cpu", "ingress.table0_control.set_next_hop_id", "ingress.table0_control.drop"],
"base_default_next" : "tbl_act_2",
"next_tables" : {
"ingress.table0_control.set_egress_port" : "tbl_act_2",
"ingress.table0_control.send_to_cpu" : "tbl_act_2",
"ingress.table0_control.set_next_hop_id" : "tbl_act_2",
- "_drop" : "tbl_act_2"
+ "ingress.table0_control.drop" : "tbl_act_2"
},
"default_entry" : {
- "action_id" : 0,
+ "action_id" : 5,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
@@ -1303,6 +1353,12 @@
{
"name" : "tbl_act_2",
"id" : 4,
+ "source_info" : {
+ "filename" : "include/host_meter_table.p4",
+ "line" : 26,
+ "column" : 4,
+ "source_fragment" : "MeterColor meter_tag = MeterColor_GREEN;"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1346,7 +1402,7 @@
"with_counters" : false,
"support_timeout" : false,
"direct_meters" : "ingress.host_meter_control.host_meter",
- "action_ids" : [6, 1],
+ "action_ids" : [6, 0],
"actions" : ["ingress.host_meter_control.read_meter", "NoAction"],
"base_default_next" : "node_10",
"next_tables" : {
@@ -1354,7 +1410,7 @@
"NoAction" : "node_10"
},
"default_entry" : {
- "action_id" : 1,
+ "action_id" : 0,
"action_const" : false,
"action_data" : [],
"action_entry_const" : false
@@ -1363,6 +1419,12 @@
{
"name" : "tbl_act_3",
"id" : 6,
+ "source_info" : {
+ "filename" : "include/host_meter_table.p4",
+ "line" : 48,
+ "column" : 12,
+ "source_fragment" : "mark_to_drop(standard_metadata)"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1407,7 +1469,7 @@
"with_counters" : true,
"support_timeout" : false,
"direct_meters" : null,
- "action_ids" : [7, 2],
+ "action_ids" : [7, 1],
"actions" : ["ingress.wcmp_control.set_egress_port", "NoAction"],
"base_default_next" : null,
"next_tables" : {
@@ -1575,6 +1637,12 @@
{
"name" : "tbl_act_4",
"id" : 8,
+ "source_info" : {
+ "filename" : "include/port_counters.p4",
+ "line" : 39,
+ "column" : 8,
+ "source_fragment" : "egress_port_counter.count((bit<32>) standard_metadata.egress_port); ..."
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1598,6 +1666,12 @@
{
"name" : "tbl_act_5",
"id" : 9,
+ "source_info" : {
+ "filename" : "include/port_meters.p4",
+ "line" : 43,
+ "column" : 12,
+ "source_fragment" : "mark_to_drop(standard_metadata)"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1621,6 +1695,12 @@
{
"name" : "tbl_act_6",
"id" : 10,
+ "source_info" : {
+ "filename" : "include/packet_io.p4",
+ "line" : 38,
+ "column" : 12,
+ "source_fragment" : "hdr.packet_in.setValid(); ..."
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -1773,6 +1853,10 @@
[
"intrinsic_metadata.recirculate_flag",
["standard_metadata", "recirculate_flag"]
+ ],
+ [
+ "intrinsic_metadata.priority",
+ ["standard_metadata", "priority"]
]
],
"program" : "basic.p4",
diff --git a/pipelines/basic/src/main/resources/p4c-out/bmv2/basic_p4info.txt b/pipelines/basic/src/main/resources/p4c-out/bmv2/basic_p4info.txt
index 353f0ab..ad110c2 100644
--- a/pipelines/basic/src/main/resources/p4c-out/bmv2/basic_p4info.txt
+++ b/pipelines/basic/src/main/resources/p4c-out/bmv2/basic_p4info.txt
@@ -71,9 +71,9 @@
id: 16777316
}
action_refs {
- id: 16784184
+ id: 16815319
}
- const_default_action_id: 16784184
+ const_default_action_id: 16815319
direct_resource_ids: 318816189
size: 1024
}
@@ -124,13 +124,6 @@
}
actions {
preamble {
- id: 16784184
- name: "_drop"
- alias: "_drop"
- }
-}
-actions {
- preamble {
id: 16800567
name: "NoAction"
alias: "NoAction"
@@ -169,6 +162,13 @@
}
actions {
preamble {
+ id: 16815319
+ name: "ingress.table0_control.drop"
+ alias: "drop"
+ }
+}
+actions {
+ preamble {
id: 16823832
name: "ingress.host_meter_control.read_meter"
alias: "read_meter"
diff --git a/pipelines/basic/src/main/resources/p4c-out/bmv2/int.json b/pipelines/basic/src/main/resources/p4c-out/bmv2/int.json
index ee0c37f..038ad74 100644
--- a/pipelines/basic/src/main/resources/p4c-out/bmv2/int.json
+++ b/pipelines/basic/src/main/resources/p4c-out/bmv2/int.json
@@ -46,10 +46,11 @@
["mcast_grp", 16, false],
["resubmit_flag", 32, false],
["egress_rid", 16, false],
- ["checksum_error", 1, false],
["recirculate_flag", 32, false],
+ ["checksum_error", 1, false],
["parser_error", 32, false],
- ["_padding_0", 5, false]
+ ["priority", 3, false],
+ ["_padding_0", 2, false]
]
},
{
@@ -547,26 +548,31 @@
},
{
"type" : "field",
- "value" : ["standard_metadata", "checksum_error"]
- },
- {
- "type" : "field",
"value" : ["standard_metadata", "recirculate_flag"]
},
{
"type" : "field",
+ "value" : ["standard_metadata", "checksum_error"]
+ },
+ {
+ "type" : "field",
"value" : ["standard_metadata", "parser_error"]
+ },
+ {
+ "type" : "field",
+ "value" : ["standard_metadata", "priority"]
}
]
}
],
"errors" : [
- ["NoError", 1],
- ["PacketTooShort", 2],
- ["NoMatch", 3],
- ["StackOutOfBounds", 4],
- ["HeaderTooShort", 5],
- ["ParserTimeout", 6]
+ ["NoError", 0],
+ ["PacketTooShort", 1],
+ ["NoMatch", 2],
+ ["StackOutOfBounds", 3],
+ ["HeaderTooShort", 4],
+ ["ParserTimeout", 5],
+ ["ParserInvalidArgument", 6]
],
"enums" : [],
"parsers" : [
@@ -1163,21 +1169,10 @@
"learn_lists" : [],
"actions" : [
{
- "name" : "_drop",
+ "name" : "nop",
"id" : 0,
"runtime_data" : [],
- "primitives" : [
- {
- "op" : "drop",
- "parameters" : [],
- "source_info" : {
- "filename" : "include/actions.p4",
- "line" : 24,
- "column" : 4,
- "source_fragment" : "mark_to_drop()"
- }
- }
- ]
+ "primitives" : []
},
{
"name" : "nop",
@@ -1192,14 +1187,8 @@
"primitives" : []
},
{
- "name" : "nop",
- "id" : 3,
- "runtime_data" : [],
- "primitives" : []
- },
- {
"name" : "ingress.table0_control.set_next_hop_id",
- "id" : 4,
+ "id" : 3,
"runtime_data" : [
{
"name" : "next_hop_id",
@@ -1230,7 +1219,7 @@
},
{
"name" : "ingress.table0_control.send_to_cpu",
- "id" : 5,
+ "id" : 4,
"runtime_data" : [],
"primitives" : [
{
@@ -1256,7 +1245,7 @@
},
{
"name" : "ingress.table0_control.set_egress_port",
- "id" : 6,
+ "id" : 5,
"runtime_data" : [
{
"name" : "port",
@@ -1286,6 +1275,28 @@
]
},
{
+ "name" : "ingress.table0_control.drop",
+ "id" : 6,
+ "runtime_data" : [],
+ "primitives" : [
+ {
+ "op" : "mark_to_drop",
+ "parameters" : [
+ {
+ "type" : "header",
+ "value" : "standard_metadata"
+ }
+ ],
+ "source_info" : {
+ "filename" : "include/table0.p4",
+ "line" : 42,
+ "column" : 8,
+ "source_fragment" : "mark_to_drop(standard_metadata)"
+ }
+ }
+ ]
+ },
+ {
"name" : "ingress.process_int_source_sink.int_set_source",
"id" : 7,
"runtime_data" : [],
@@ -1896,6 +1907,16 @@
"column" : 12,
"source_fragment" : "hdr.packet_out.setInvalid()"
}
+ },
+ {
+ "op" : "exit",
+ "parameters" : [],
+ "source_info" : {
+ "filename" : "include/packet_io.p4",
+ "line" : 29,
+ "column" : 12,
+ "source_fragment" : "exit"
+ }
}
]
},
@@ -10142,6 +10163,12 @@
{
"name" : "tbl_act",
"id" : 0,
+ "source_info" : {
+ "filename" : "include/port_counters.p4",
+ "line" : 29,
+ "column" : 8,
+ "source_fragment" : "ingress_port_counter.count((bit<32>) standard_metadata.ingress_port)"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -10165,6 +10192,12 @@
{
"name" : "tbl_act_0",
"id" : 1,
+ "source_info" : {
+ "filename" : "include/packet_io.p4",
+ "line" : 27,
+ "column" : 42,
+ "source_fragment" : "= hdr.packet_out.egress_port; ..."
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -10174,9 +10207,9 @@
"direct_meters" : null,
"action_ids" : [10],
"actions" : ["act"],
- "base_default_next" : null,
+ "base_default_next" : "ingress.table0_control.table0",
"next_tables" : {
- "act" : null
+ "act" : "ingress.table0_control.table0"
},
"default_entry" : {
"action_id" : 10,
@@ -10190,7 +10223,7 @@
"id" : 2,
"source_info" : {
"filename" : "include/table0.p4",
- "line" : 41,
+ "line" : 45,
"column" : 10,
"source_fragment" : "table0"
},
@@ -10256,17 +10289,17 @@
"with_counters" : true,
"support_timeout" : false,
"direct_meters" : null,
- "action_ids" : [6, 5, 4, 0],
- "actions" : ["ingress.table0_control.set_egress_port", "ingress.table0_control.send_to_cpu", "ingress.table0_control.set_next_hop_id", "_drop"],
+ "action_ids" : [5, 4, 3, 6],
+ "actions" : ["ingress.table0_control.set_egress_port", "ingress.table0_control.send_to_cpu", "ingress.table0_control.set_next_hop_id", "ingress.table0_control.drop"],
"base_default_next" : "ingress.process_int_source_sink.tb_set_source",
"next_tables" : {
"ingress.table0_control.set_egress_port" : "ingress.process_int_source_sink.tb_set_source",
"ingress.table0_control.send_to_cpu" : "ingress.process_int_source_sink.tb_set_source",
"ingress.table0_control.set_next_hop_id" : "ingress.process_int_source_sink.tb_set_source",
- "_drop" : "ingress.process_int_source_sink.tb_set_source"
+ "ingress.table0_control.drop" : "ingress.process_int_source_sink.tb_set_source"
},
"default_entry" : {
- "action_id" : 0,
+ "action_id" : 6,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
@@ -10295,7 +10328,7 @@
"with_counters" : true,
"support_timeout" : false,
"direct_meters" : null,
- "action_ids" : [7, 1],
+ "action_ids" : [7, 0],
"actions" : ["ingress.process_int_source_sink.int_set_source", "nop"],
"base_default_next" : "ingress.process_int_source_sink.tb_set_sink",
"next_tables" : {
@@ -10303,7 +10336,7 @@
"nop" : "ingress.process_int_source_sink.tb_set_sink"
},
"default_entry" : {
- "action_id" : 1,
+ "action_id" : 0,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
@@ -10332,7 +10365,7 @@
"with_counters" : true,
"support_timeout" : false,
"direct_meters" : null,
- "action_ids" : [8, 2],
+ "action_ids" : [8, 1],
"actions" : ["ingress.process_int_source_sink.int_set_sink", "nop"],
"base_default_next" : "node_8",
"next_tables" : {
@@ -10340,7 +10373,7 @@
"nop" : "node_8"
},
"default_entry" : {
- "action_id" : 2,
+ "action_id" : 1,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
@@ -10387,7 +10420,7 @@
"with_counters" : true,
"support_timeout" : false,
"direct_meters" : null,
- "action_ids" : [9, 3],
+ "action_ids" : [9, 2],
"actions" : ["ingress.process_int_source.int_source_dscp", "nop"],
"base_default_next" : "node_10",
"next_tables" : {
@@ -10395,7 +10428,7 @@
"nop" : "node_10"
},
"default_entry" : {
- "action_id" : 3,
+ "action_id" : 2,
"action_const" : true,
"action_data" : [],
"action_entry_const" : true
@@ -10404,6 +10437,12 @@
{
"name" : "tbl_act_1",
"id" : 6,
+ "source_info" : {
+ "filename" : "int.p4",
+ "line" : 56,
+ "column" : 12,
+ "source_fragment" : "clone3(CloneType.I2E, REPORT_MIRROR_SESSION_ID, standard_metadata)"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -10612,6 +10651,12 @@
{
"name" : "tbl_act_3",
"id" : 9,
+ "source_info" : {
+ "filename" : "include/int_transit.p4",
+ "line" : 416,
+ "column" : 12,
+ "source_fragment" : "return"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11351,6 +11396,12 @@
{
"name" : "tbl_act_4",
"id" : 12,
+ "source_info" : {
+ "filename" : "include/int_transit.p4",
+ "line" : 422,
+ "column" : 41,
+ "source_fragment" : "="
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11374,6 +11425,12 @@
{
"name" : "tbl_act_5",
"id" : 13,
+ "source_info" : {
+ "filename" : "include/int_transit.p4",
+ "line" : 426,
+ "column" : 25,
+ "source_fragment" : "="
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11397,6 +11454,12 @@
{
"name" : "tbl_act_6",
"id" : 14,
+ "source_info" : {
+ "filename" : "include/int_transit.p4",
+ "line" : 429,
+ "column" : 28,
+ "source_fragment" : "="
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11420,6 +11483,12 @@
{
"name" : "tbl_act_7",
"id" : 15,
+ "source_info" : {
+ "filename" : "include/int_transit.p4",
+ "line" : 432,
+ "column" : 31,
+ "source_fragment" : "="
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11480,6 +11549,12 @@
{
"name" : "tbl_process_int_sink_restore_header",
"id" : 17,
+ "source_info" : {
+ "filename" : "include/int_sink.p4",
+ "line" : 51,
+ "column" : 8,
+ "source_fragment" : "restore_header()"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11503,6 +11578,12 @@
{
"name" : "tbl_process_int_sink_int_sink",
"id" : 18,
+ "source_info" : {
+ "filename" : "include/int_sink.p4",
+ "line" : 52,
+ "column" : 8,
+ "source_fragment" : "int_sink()"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11526,6 +11607,12 @@
{
"name" : "tbl_act_8",
"id" : 19,
+ "source_info" : {
+ "filename" : "include/port_counters.p4",
+ "line" : 39,
+ "column" : 8,
+ "source_fragment" : "egress_port_counter.count((bit<32>) standard_metadata.egress_port)"
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11549,6 +11636,12 @@
{
"name" : "tbl_act_9",
"id" : 20,
+ "source_info" : {
+ "filename" : "include/packet_io.p4",
+ "line" : 38,
+ "column" : 12,
+ "source_fragment" : "hdr.packet_in.setValid(); ..."
+ },
"key" : [],
"match_type" : "exact",
"type" : "simple",
@@ -11929,6 +12022,10 @@
[
"intrinsic_metadata.recirculate_flag",
["standard_metadata", "recirculate_flag"]
+ ],
+ [
+ "intrinsic_metadata.priority",
+ ["standard_metadata", "priority"]
]
],
"program" : "int.p4",
diff --git a/pipelines/basic/src/main/resources/p4c-out/bmv2/int_p4info.txt b/pipelines/basic/src/main/resources/p4c-out/bmv2/int_p4info.txt
index ad17d1e..ad37813 100644
--- a/pipelines/basic/src/main/resources/p4c-out/bmv2/int_p4info.txt
+++ b/pipelines/basic/src/main/resources/p4c-out/bmv2/int_p4info.txt
@@ -71,9 +71,9 @@
id: 16777316
}
action_refs {
- id: 16784184
+ id: 16815319
}
- const_default_action_id: 16784184
+ const_default_action_id: 16815319
direct_resource_ids: 318816189
size: 1024
}
@@ -214,13 +214,6 @@
}
actions {
preamble {
- id: 16784184
- name: "_drop"
- alias: "_drop"
- }
-}
-actions {
- preamble {
id: 16819938
name: "nop"
alias: "nop"
@@ -259,6 +252,13 @@
}
actions {
preamble {
+ id: 16815319
+ name: "ingress.table0_control.drop"
+ alias: "drop"
+ }
+}
+actions {
+ preamble {
id: 16801076
name: "ingress.process_int_source_sink.int_set_source"
alias: "int_set_source"