Support compiling fabric.p4 with arbitrary table sizes
By using preprocessor macros. Also, change expected location of tofino
compiler outputs when building the pipeconf.
Change-Id: I98ea95b61d57e725c88e52a3bfd95618f3c407cb
diff --git a/pipelines/fabric/src/main/resources/p4c-out/fabric-int/bmv2/default/bmv2.json b/pipelines/fabric/src/main/resources/p4c-out/fabric-int/bmv2/default/bmv2.json
index bae36b5..2730427 100644
--- a/pipelines/fabric/src/main/resources/p4c-out/fabric-int/bmv2/default/bmv2.json
+++ b/pipelines/fabric/src/main/resources/p4c-out/fabric-int/bmv2/default/bmv2.json
@@ -1093,7 +1093,7 @@
"binding" : "FabricIngress.filtering.fwd_classifier",
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 79,
+ "line" : 80,
"column" : 50,
"source_fragment" : "fwd_classifier_counter"
}
@@ -1117,7 +1117,7 @@
"binding" : "FabricIngress.forwarding.mpls",
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 59,
+ "line" : 63,
"column" : 50,
"source_fragment" : "mpls_counter"
}
@@ -1129,7 +1129,7 @@
"binding" : "FabricIngress.forwarding.routing_v4",
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 82,
+ "line" : 87,
"column" : 50,
"source_fragment" : "routing_v4_counter"
}
@@ -1165,7 +1165,7 @@
"binding" : "FabricIngress.next.xconnect",
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 91,
+ "line" : 92,
"column" : 50,
"source_fragment" : "xconnect_counter"
}
@@ -1177,7 +1177,7 @@
"binding" : "FabricIngress.next.hashed",
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 162,
+ "line" : 166,
"column" : 50,
"source_fragment" : "hashed_counter"
}
@@ -1189,7 +1189,7 @@
"binding" : "FabricIngress.next.multicast",
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 205,
+ "line" : 210,
"column" : 50,
"source_fragment" : "multicast_counter"
}
@@ -1237,7 +1237,7 @@
"binding" : "FabricEgress.egress_next.egress_vlan",
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 277,
+ "line" : 283,
"column" : 50,
"source_fragment" : "egress_vlan_counter"
}
@@ -1580,7 +1580,7 @@
],
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 82,
+ "line" : 83,
"column" : 33,
"source_fragment" : "= fwd_type; ..."
}
@@ -1642,7 +1642,7 @@
],
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 62,
+ "line" : 66,
"column" : 35,
"source_fragment" : "= 0; ..."
}
@@ -1965,7 +1965,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 99,
+ "line" : 100,
"column" : 32,
"source_fragment" : "= next_id; ..."
}
@@ -2204,7 +2204,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 208,
+ "line" : 213,
"column" : 8,
"source_fragment" : "standard_metadata.mcast_grp = group_id"
}
@@ -2233,7 +2233,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 209,
+ "line" : 214,
"column" : 37,
"source_fragment" : "= true; ..."
}
@@ -2329,7 +2329,7 @@
],
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 103,
+ "line" : 105,
"column" : 37,
"source_fragment" : "= hdr.vlan_tag.eth_type; ..."
}
@@ -2348,7 +2348,7 @@
],
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 104,
+ "line" : 106,
"column" : 36,
"source_fragment" : "= hdr.vlan_tag.vlan_id; ..."
}
@@ -2367,7 +2367,7 @@
],
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 105,
+ "line" : 107,
"column" : 37,
"source_fragment" : "= hdr.vlan_tag.pri; ..."
}
@@ -2386,7 +2386,7 @@
],
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 106,
+ "line" : 108,
"column" : 37,
"source_fragment" : "= hdr.vlan_tag.cfi; ..."
}
@@ -2412,7 +2412,7 @@
],
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 113,
+ "line" : 115,
"column" : 37,
"source_fragment" : "= DEFAULT_MPLS_TTL + 1; ..."
}
@@ -9005,7 +9005,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 246,
+ "line" : 252,
"column" : 8,
"source_fragment" : "hdr.mpls.setInvalid()"
}
@@ -9024,7 +9024,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 248,
+ "line" : 254,
"column" : 33,
"source_fragment" : "= fabric_metadata.ip_eth_type; ..."
}
@@ -9046,7 +9046,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 253,
+ "line" : 259,
"column" : 8,
"source_fragment" : "hdr.mpls.setValid()"
}
@@ -9065,7 +9065,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 254,
+ "line" : 260,
"column" : 8,
"source_fragment" : "hdr.mpls.label = fabric_metadata.mpls_label; ..."
}
@@ -9084,7 +9084,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 255,
+ "line" : 261,
"column" : 8,
"source_fragment" : "hdr.mpls.tc = 3w0"
}
@@ -9103,7 +9103,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 256,
+ "line" : 262,
"column" : 8,
"source_fragment" : "hdr.mpls.bos = 1w1"
}
@@ -9122,7 +9122,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 257,
+ "line" : 263,
"column" : 8,
"source_fragment" : "hdr.mpls.ttl = fabric_metadata.mpls_ttl; // Decrement after push. ..."
}
@@ -9163,7 +9163,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 265,
+ "line" : 271,
"column" : 8,
"source_fragment" : "hdr.vlan_tag.setValid()"
}
@@ -9182,7 +9182,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 266,
+ "line" : 272,
"column" : 8,
"source_fragment" : "hdr.vlan_tag.cfi = fabric_metadata.vlan_cfi; ..."
}
@@ -9201,7 +9201,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 267,
+ "line" : 273,
"column" : 8,
"source_fragment" : "hdr.vlan_tag.pri = fabric_metadata.vlan_pri; ..."
}
@@ -9220,7 +9220,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 268,
+ "line" : 274,
"column" : 8,
"source_fragment" : "hdr.vlan_tag.eth_type = fabric_metadata.eth_type; ..."
}
@@ -9239,7 +9239,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 269,
+ "line" : 275,
"column" : 8,
"source_fragment" : "hdr.vlan_tag.vlan_id = fabric_metadata.vlan_id; ..."
}
@@ -9284,7 +9284,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 280,
+ "line" : 286,
"column" : 8,
"source_fragment" : "hdr.ethernet.eth_type = fabric_metadata.eth_type; ..."
}
@@ -9299,7 +9299,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 281,
+ "line" : 287,
"column" : 8,
"source_fragment" : "hdr.vlan_tag.setInvalid()"
}
@@ -9374,7 +9374,7 @@
"parameters" : [],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 301,
+ "line" : 308,
"column" : 12,
"source_fragment" : "mark_to_drop()"
}
@@ -9451,7 +9451,7 @@
"parameters" : [],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 320,
+ "line" : 327,
"column" : 35,
"source_fragment" : "mark_to_drop()"
}
@@ -9500,7 +9500,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 319,
+ "line" : 326,
"column" : 12,
"source_fragment" : "hdr.mpls.ttl = hdr.mpls.ttl - 1"
}
@@ -9517,7 +9517,7 @@
"parameters" : [],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 324,
+ "line" : 331,
"column" : 39,
"source_fragment" : "mark_to_drop()"
}
@@ -9566,7 +9566,7 @@
],
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 323,
+ "line" : 330,
"column" : 16,
"source_fragment" : "hdr.ipv4.ttl = hdr.ipv4.ttl - 1"
}
@@ -9842,7 +9842,7 @@
"id" : 0,
"source_info" : {
"filename" : "fabric.p4",
- "line" : 41,
+ "line" : 42,
"column" : 8,
"source_fragment" : "FabricIngress"
},
@@ -9972,7 +9972,7 @@
"id" : 4,
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 86,
+ "line" : 87,
"column" : 10,
"source_fragment" : "fwd_classifier"
},
@@ -10020,7 +10020,7 @@
"id" : 5,
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 43,
+ "line" : 46,
"column" : 10,
"source_fragment" : "bridging"
},
@@ -10063,7 +10063,7 @@
"id" : 6,
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 67,
+ "line" : 71,
"column" : 10,
"source_fragment" : "mpls"
},
@@ -10100,7 +10100,7 @@
"id" : 7,
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 93,
+ "line" : 101,
"column" : 10,
"source_fragment" : "routing_v4"
},
@@ -10218,7 +10218,7 @@
],
"match_type" : "ternary",
"type" : "simple",
- "max_size" : 128,
+ "max_size" : 1024,
"with_counters" : true,
"support_timeout" : false,
"direct_meters" : null,
@@ -10244,7 +10244,7 @@
"id" : 9,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 103,
+ "line" : 104,
"column" : 10,
"source_fragment" : "xconnect"
},
@@ -10288,7 +10288,7 @@
"id" : 10,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 180,
+ "line" : 184,
"column" : 10,
"source_fragment" : "hashed"
},
@@ -10322,7 +10322,7 @@
"id" : 11,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 213,
+ "line" : 218,
"column" : 10,
"source_fragment" : "multicast"
},
@@ -10481,11 +10481,11 @@
"id" : 0,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 161,
- "column" : 55,
+ "line" : 165,
+ "column" : 57,
"source_fragment" : "hashed_selector"
},
- "max_size" : 64,
+ "max_size" : 1024,
"selector" : {
"algo" : "crc16",
"input" : [
@@ -10542,7 +10542,7 @@
"id" : 1,
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 102,
+ "line" : 104,
"column" : 12,
"source_fragment" : "hdr.vlan_tag.isValid()"
},
@@ -10565,7 +10565,7 @@
"id" : 2,
"source_info" : {
"filename" : "include/control/filtering.p4",
- "line" : 108,
+ "line" : 110,
"column" : 12,
"source_fragment" : "!hdr.mpls.isValid()"
},
@@ -10595,7 +10595,7 @@
"id" : 3,
"source_info" : {
"filename" : "fabric.p4",
- "line" : 66,
+ "line" : 67,
"column" : 12,
"source_fragment" : "fabric_metadata.skip_forwarding == false"
},
@@ -10628,7 +10628,7 @@
"id" : 4,
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 131,
+ "line" : 141,
"column" : 12,
"source_fragment" : "fabric_metadata.fwd_type == FWD_BRIDGING"
},
@@ -10654,7 +10654,7 @@
"id" : 5,
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 132,
+ "line" : 142,
"column" : 17,
"source_fragment" : "fabric_metadata.fwd_type == FWD_MPLS"
},
@@ -10680,7 +10680,7 @@
"id" : 6,
"source_info" : {
"filename" : "include/control/forwarding.p4",
- "line" : 133,
+ "line" : 143,
"column" : 17,
"source_fragment" : "fabric_metadata.fwd_type == FWD_IPV4_UNICAST"
},
@@ -10706,7 +10706,7 @@
"id" : 7,
"source_info" : {
"filename" : "fabric.p4",
- "line" : 70,
+ "line" : 71,
"column" : 12,
"source_fragment" : "fabric_metadata.skip_next == false"
},
@@ -10793,7 +10793,7 @@
"id" : 1,
"source_info" : {
"filename" : "fabric.p4",
- "line" : 84,
+ "line" : 85,
"column" : 8,
"source_fragment" : "FabricEgress"
},
@@ -10919,7 +10919,7 @@
"id" : 21,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 285,
+ "line" : 291,
"column" : 10,
"source_fragment" : "egress_vlan"
},
@@ -12191,7 +12191,7 @@
"id" : 13,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 299,
+ "line" : 306,
"column" : 12,
"source_fragment" : "fabric_metadata.is_multicast == true ..."
},
@@ -12244,7 +12244,7 @@
"id" : 14,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 304,
+ "line" : 311,
"column" : 12,
"source_fragment" : "fabric_metadata.mpls_label == 0"
},
@@ -12270,7 +12270,7 @@
"id" : 15,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 305,
+ "line" : 312,
"column" : 16,
"source_fragment" : "hdr.mpls.isValid()"
},
@@ -12293,7 +12293,7 @@
"id" : 16,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 310,
+ "line" : 317,
"column" : 12,
"source_fragment" : "!egress_vlan.apply().hit"
},
@@ -12323,7 +12323,7 @@
"id" : 17,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 312,
+ "line" : 319,
"column" : 16,
"source_fragment" : "fabric_metadata.vlan_id != DEFAULT_VLAN_ID"
},
@@ -12349,7 +12349,7 @@
"id" : 18,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 318,
+ "line" : 325,
"column" : 12,
"source_fragment" : "hdr.mpls.isValid()"
},
@@ -12372,7 +12372,7 @@
"id" : 19,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 320,
+ "line" : 327,
"column" : 16,
"source_fragment" : "hdr.mpls.ttl == 0"
},
@@ -12398,7 +12398,7 @@
"id" : 20,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 322,
+ "line" : 329,
"column" : 15,
"source_fragment" : "hdr.ipv4.isValid()"
},
@@ -12421,7 +12421,7 @@
"id" : 21,
"source_info" : {
"filename" : "include/control/next.p4",
- "line" : 324,
+ "line" : 331,
"column" : 20,
"source_fragment" : "hdr.ipv4.ttl == 0"
},