| Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +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:26:04 2017 | |
| Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +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 | f1d0a42 | 2017-09-07 17:21:46 +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 | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 21 | parser_state_calculations:[ |
| Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame^] | 22 | parse_tcp_140162566980432 |
| 23 | parse_tcp_140162565529552 |
| 24 | parse_udp_140162565528592 |
| 25 | parse_ipv4_140162562411728 |
| 26 | parse_ethernet_140162562408656 |
| 27 | parse_pkt_in_140162562411664 |
| 28 | parse_pkt_out_140162565527504 |
| 29 | default_parser_140162565527696 |
| 30 | start_140162562410704 |
| 31 | <Phase 0>_140162562277968 |
| 32 | <Ingress intrinsic metadata>_140162562277648 |
| 33 | <POV initialization>_140162562278352 |
| 34 | <Shim start state>_140162562278672 |
| Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 35 | ] |
| 36 | parser_calculations: [ |
| 37 | |
| 38 | ] |
| 39 | update_calculated_fields: [ |
| 40 | |
| 41 | ] |