Merge pull request #127 from jafingerhut/change-deparser-headers-to-d…

…irection-inout Change deparser header struct to direction inout
p4lang · Feb 15, 2024 · 484af95 · 484af95
2 parents dbe1ea7 + 34b65c2
commit 484af95
Show file tree

Hide file tree

Showing 10 changed files with 11 additions and 11 deletions.
diff --git a/PNA.mdk b/PNA.mdk
@@ -763,7 +763,7 @@ the places mentioned in Table [#table-extern-usage].
 |-------------------|----------------------------------------------|
 | `ActionSelector`  | MainControl |
 |-------------------|----------------------------------------------|
-| `Checksum`        | MainParser, MainDeparser |
+| `Checksum`        | MainParser, MainControl, MainDeparser |
 |-------------------|----------------------------------------------|
 | `Counter`         | MainControl |
 |-------------------|----------------------------------------------|
@@ -775,7 +775,7 @@ the places mentioned in Table [#table-extern-usage].
 |-------------------|----------------------------------------------|
 | `Hash`            | MainControl |
 |-------------------|----------------------------------------------|
-| `InternetChecksum` | MainParser, MainDeparser |
+| `InternetChecksum` | MainParser, MainControl, MainDeparser |
 |-------------------|----------------------------------------------|
 | `Meter`           | MainControl |
 |-------------------|----------------------------------------------|

diff --git a/examples/ipsec-acc.p4 b/examples/ipsec-acc.p4
@@ -449,7 +449,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,                // from main control
+    inout headers_t hdr,                // from main control
     in    main_metadata_t user_meta,    // from main control
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/examples/pna-demo-L2-one-table.p4 b/examples/pna-demo-L2-one-table.p4
@@ -97,7 +97,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,
+    inout headers_t hdr,
     in    metadata_t meta,
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/examples/pna-demo-L2-two-tables.p4 b/examples/pna-demo-L2-two-tables.p4
@@ -104,7 +104,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,
+    inout headers_t hdr,
     in    metadata_t meta,
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/examples/pna-demo-last-forwarding-action-wins.p4 b/examples/pna-demo-last-forwarding-action-wins.p4
@@ -137,7 +137,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,
+    inout headers_t hdr,
     in    metadata_t meta,
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/examples/pna-example-tcp-connection-state-tracking-simplified.p4 b/examples/pna-example-tcp-connection-state-tracking-simplified.p4
@@ -231,7 +231,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,
+    inout headers_t hdr,
     in    metadata_t meta,
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/examples/pna-example-tcp-connection-state-tracking.p4 b/examples/pna-example-tcp-connection-state-tracking.p4
@@ -284,7 +284,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,
+    inout headers_t hdr,
     in    metadata_t meta,
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/examples/pna-example-tcp-connection-tracking.p4 b/examples/pna-example-tcp-connection-tracking.p4
@@ -337,7 +337,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,
+    inout headers_t hdr,
     in    metadata_t meta,
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/examples/pna-example-template.p4 b/examples/pna-example-template.p4
@@ -137,7 +137,7 @@ control MainControlImpl(
 
 control MainDeparserImpl(
     packet_out pkt,
-    in    headers_t hdr,                // from main control
+    inout headers_t hdr,                // from main control
     in    main_metadata_t user_meta,    // from main control
     in    pna_main_output_metadata_t ostd)
 {

diff --git a/pna.p4 b/pna.p4
@@ -864,7 +864,7 @@ control MainControlT<MH, MM>(
 
 control MainDeparserT<MH, MM>(
     packet_out pkt,
-    in    MH main_hdr,
+    inout MH main_hdr,
     in    MM main_user_meta,
     in    pna_main_output_metadata_t ostd);