Browse Source

re-enable other code that might not trigger compiler bug

master
Nico Schottelius 4 years ago
parent
commit
809466cf61
  1. 2
      doc/plan.org
  2. 34
      p4src/minip4_solution.p4

2
doc/plan.org

@ -6787,7 +6787,7 @@ action delta_udp_from_v6_to_v4()
#+END_CENTER
*** TODO 2019-07-25: BUG overwrite
*** TODO 2019-07-25: BUG overwrite: calling v4_networks.apply(); twice
#+BEGIN_CENTER
make -C src/
make[1]: Entering directory '/home/nico/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/projects/minip4/src'

34
p4src/minip4_solution.p4

@ -132,23 +132,23 @@ control RealMain(
exit; /* no further v6 processing */
}
} else if(hdr.ipv4.isValid()) {
// if(nat46.apply().hit) {
// if(hdr.icmp.isValid()) {
// nat46_icmp_generic();
// if(hdr.icmp.type == ICMP_ECHO_REPLY) {
// hdr.icmp6.type = ICMP6_ECHO_REPLY;
// }
// if(hdr.icmp.type == ICMP_ECHO_REQUEST) {
// hdr.icmp6.type = ICMP6_ECHO_REQUEST;
// }
// }
// if(hdr.udp.isValid()) {
// delta_udp_from_v4_to_v6
// }
// if(hdr.tcp.isValid()) {
// delta_tcp_from_v4_to_v6
// }
if(nat46.apply().hit) {
if(hdr.icmp.isValid()) {
nat46_icmp_generic();
if(hdr.icmp.type == ICMP_ECHO_REPLY) {
hdr.icmp6.type = ICMP6_ECHO_REPLY;
}
if(hdr.icmp.type == ICMP_ECHO_REQUEST) {
hdr.icmp6.type = ICMP6_ECHO_REQUEST;
}
}
if(hdr.udp.isValid()) {
delta_udp_from_v4_to_v6
}
if(hdr.tcp.isValid()) {
delta_tcp_from_v4_to_v6
}
// v6_networks.apply();
// exit;

Loading…
Cancel
Save