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) | |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 4 | | Created on: Fri Sep 8 08:23:45 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:[ |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 22 | parse_tcp_140209192795728 |
| 23 | parse_tcp_140209191822416 |
| 24 | parse_udp_140209191821456 |
| 25 | parse_ipv4_140209191823248 |
| 26 | parse_ethernet_140209182763984 |
| 27 | parse_pkt_in_140209191823440 |
| 28 | parse_pkt_out_140209191924688 |
| 29 | default_parser_140209191924496 |
| 30 | start_140209191824080 |
| 31 | <Phase 0>_140209187540368 |
| 32 | <Ingress intrinsic metadata>_140209187540048 |
| 33 | <POV initialization>_140209187540752 |
| 34 | <Shim start state>_140209187721360 |
Carmelo Cascone | 5db3968 | 2017-09-07 16:36:42 +0200 | [diff] [blame] | 35 | ] |
| 36 | parser_calculations: [ |
| 37 | |
| 38 | ] |
| 39 | update_calculated_fields: [ |
| 40 | |
| 41 | ] |