| 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:24:30 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_140004581269072 |
| 23 | parse_tcp_140004588184656 |
| 24 | parse_udp_140004588183696 |
| 25 | parse_ipv4_140004588185488 |
| 26 | parse_ethernet_140004582443984 |
| 27 | parse_pkt_in_140004588185680 |
| 28 | parse_pkt_out_140004588358736 |
| 29 | default_parser_140004588358928 |
| 30 | start_140004588186320 |
| 31 | <Phase 0>_140004583263632 |
| 32 | <Ingress intrinsic metadata>_140004583263312 |
| 33 | <POV initialization>_140004583264016 |
| 34 | <Shim start state>_140004583329936 |
| Carmelo Cascone | 5db3968 | 2017-09-07 16:36:42 +0200 | [diff] [blame] | 35 | ] |
| 36 | parser_calculations: [ |
| 37 | |
| 38 | ] |
| 39 | update_calculated_fields: [ |
| 40 | |
| 41 | ] |