Rebased from upstream

midend/midEndLast.h

@@ -24,7 +24,7 @@ namespace P4 {
 class MidEndLast : public Inspector {
  public:
     MidEndLast() { setName("MidEndLast"); }
-    bool preorder(const IR::P4Program* program) override
+    bool preorder(const IR::P4Program*) override
     { return false; }
 };
 

testdata/p4_16_samples_outputs/interface-midend.p4

@@ -9,6 +9,9 @@ extern Crc16<T> {
 }
 
 control p() {
+    @name("crc0") Crc16<bit<32>>() crc0;
+    @name("crc1") Crc16<int<32>>(32s0) crc1;
+    @name("crc2") Crc16<int<32>>() crc2;
     apply {
     }
 }

testdata/p4_16_samples_outputs/interface1-midend.p4

@@ -9,6 +9,8 @@ extern Y {
 }
 
 parser p() {
+    @name("x") X<int<32>>() x;
+    @name("y") Y() y;
     state start {
         transition accept;
     }

testdata/p4_16_samples_outputs/issue364-bmv2-midend.p4

@@ -0,0 +1,60 @@
+#include <core.p4>
+#include <v1model.p4>
+
+header hdr {
+    bit<32> a;
+}
+
+struct Headers {
+    hdr h;
+}
+
+struct Meta {
+}
+
+parser p(packet_in b, out Headers h, inout Meta m, inout standard_metadata_t sm) {
+    state start {
+        b.extract<hdr>(h.h);
+        transition accept;
+    }
+}
+
+control vrfy(in Headers h, inout Meta m) {
+    apply {
+    }
+}
+
+control update(inout Headers h, inout Meta m) {
+    apply {
+    }
+}
+
+control egress(inout Headers h, inout Meta m, inout standard_metadata_t sm) {
+    apply {
+    }
+}
+
+control deparser(packet_out b, in Headers h) {
+    apply {
+        b.emit<hdr>(h.h);
+    }
+}
+
+control ingress(inout Headers h, inout Meta m, inout standard_metadata_t sm) {
+    @name("c") direct_counter(CounterType.packets) c;
+    @name("my_action") action my_action_0(bit<32> a) {
+        sm.egress_spec = (bit<9>)a;
+    }
+    @name("t") table t {
+        actions = {
+            my_action_0();
+        }
+        const default_action = my_action_0(32w0);
+        counters = c;
+    }
+    apply {
+        t.apply();
+    }
+}
+
+V1Switch<Headers, Meta>(p(), vrfy(), ingress(), egress(), update(), deparser()) main;

testdata/p4_16_samples_outputs/spec-ex16-midend.p4

@@ -15,3 +15,4 @@ control Map1(in bit<32> d) {
 }
 
 Switch<bit<32>>(P(), Map1()) main;
+Switch<bit<32>>(P(), Map1()) main1;

testdata/p4_16_samples_outputs/unused-counter-bmv2-midend.p4

@@ -0,0 +1,61 @@
+#include <core.p4>
+#include <v1model.p4>
+
+header hdr {
+    bit<32> a;
+}
+
+struct Headers {
+    hdr h;
+}
+
+struct Meta {
+}
+
+parser p(packet_in b, out Headers h, inout Meta m, inout standard_metadata_t sm) {
+    state start {
+        b.extract<hdr>(h.h);
+        transition accept;
+    }
+}
+
+control vrfy(in Headers h, inout Meta m) {
+    apply {
+    }
+}
+
+control update(inout Headers h, inout Meta m) {
+    apply {
+    }
+}
+
+control egress(inout Headers h, inout Meta m, inout standard_metadata_t sm) {
+    apply {
+    }
+}
+
+control deparser(packet_out b, in Headers h) {
+    apply {
+        b.emit<hdr>(h.h);
+    }
+}
+
+control ingress(inout Headers h, inout Meta m, inout standard_metadata_t sm) {
+    @name("c") direct_counter(CounterType.packets) c;
+    @name("c1") direct_counter(CounterType.packets) c1;
+    @name("my_action") action my_action_0(bit<32> a) {
+        sm.egress_spec = (bit<9>)a;
+    }
+    @name("t") table t {
+        actions = {
+            my_action_0();
+        }
+        const default_action = my_action_0(32w0);
+        counters = c;
+    }
+    apply {
+        t.apply();
+    }
+}
+
+V1Switch<Headers, Meta>(p(), vrfy(), ingress(), egress(), update(), deparser()) main;