| Carmelo Cascone | 5db3968 | 2017-09-07 16:36:42 +0200 | [diff] [blame] | 1 | +---------------------------------------------------------------------+ |
| 2 | | Log file: parde.calcfields.log | |
| 3 | | Compiler version: 5.1.0 (fca32d1) | |
| Carmelo Cascone | 133c7b1 | 2017-09-13 15:36:08 +0200 | [diff] [blame] | 4 | | Created on: Wed Sep 13 12:56:56 2017 | |
| Carmelo Cascone | 5db3968 | 2017-09-07 16:36:42 +0200 | [diff] [blame] | 5 | +---------------------------------------------------------------------+ |
| 6 | |
| 7 | Reserving 0 16-bit ingress tphvs for residual checksums |
| 8 | Reserving 0 16-bit egress tphvs for residual checksums |
| 9 | Need 0 POV bits for checksum update control |
| Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 10 | Number of reachable states from state parse_tcp//spilled : 1 |
| 11 | Number of reachable states from state parse_tcp : 2 |
| Carmelo Cascone | 5db3968 | 2017-09-07 16:36:42 +0200 | [diff] [blame] | 12 | Number of reachable states from state parse_udp : 1 |
| Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 13 | Number of reachable states from state parse_ipv4 : 4 |
| 14 | Number of reachable states from state parse_ethernet : 5 |
| 15 | Number of reachable states from state parse_pkt_in : 6 |
| 16 | Number of reachable states from state parse_pkt_out : 6 |
| 17 | Number of reachable states from state default_parser : 7 |
| 18 | Number of reachable states from state start : 9 |
| 19 | Number of reachable states from state <POV initialization>_<Ingress intrinsic metadata>_<Phase 0> : 10 |
| 20 | Number of reachable states from state <Shim start state> : 11 |
| Carmelo Cascone | 5db3968 | 2017-09-07 16:36:42 +0200 | [diff] [blame] | 21 | parser_state_calculations:[ |
| Carmelo Cascone | 133c7b1 | 2017-09-13 15:36:08 +0200 | [diff] [blame] | 22 | parse_tcp_140010997583440 |
| 23 | parse_tcp_140010997847120 |
| 24 | parse_udp_140010997846160 |
| 25 | parse_ipv4_140010997847952 |
| 26 | parse_ethernet_140010989206288 |
| 27 | parse_pkt_in_140010997848144 |
| 28 | parse_pkt_out_140010997662608 |
| 29 | default_parser_140010997662416 |
| 30 | start_140010997848784 |
| 31 | <Phase 0>_140010988485968 |
| 32 | <Ingress intrinsic metadata>_140010988485648 |
| 33 | <POV initialization>_140010988486352 |
| 34 | <Shim start state>_140010988626000 |
| Carmelo Cascone | 5db3968 | 2017-09-07 16:36:42 +0200 | [diff] [blame] | 35 | ] |
| 36 | parser_calculations: [ |
| 37 | |
| 38 | ] |
| 39 | update_calculated_fields: [ |
| 40 | |
| 41 | ] |