Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 1 | +---------------------------------------------------------------------+ |
| 2 | | Log file: parde.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:25:15 2017 | |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 5 | +---------------------------------------------------------------------+ |
| 6 | |
| 7 | ># Begin digest init (pre-PHV) |
| 8 | >## Gress 0 |
| 9 | >## Gress 1 |
| 10 | >## Rewrite CLONE_I2E_DIGEST_RCVR ids |
| 11 | >## Rewrite CLONE_E2E_DIGEST_RCVR ids |
| 12 | ># End digest init (pre-PHV) |
| 13 | ># Begin digest PHV reservations |
| 14 | ># End digest PHV reservations |
| 15 | ># Begin digest init (post-PHV) |
| 16 | ># End digest init (post-PHV) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 17 | Found parser entry point: start |
| 18 | ># Begin unroll of HLIR parse graph |
| 19 | >## Create shadow parse graph and find loops |
| 20 | >## Entrypoint 'p4_parse_state.start' |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 21 | Creating shadow state: 'p4_parse_state.start' -> 'shadow_state (start, 139953897373264)' |
| 22 | Creating shadow state: 'p4_parse_state.parse_pkt_in' -> 'shadow_state (parse_pkt_in, 139953897373136)' |
| 23 | Creating shadow state: 'p4_parse_state.parse_ethernet' -> 'shadow_state (parse_ethernet, 139953905673296)' |
| 24 | Creating shadow state: 'p4_parse_state.parse_ipv4' -> 'shadow_state (parse_ipv4, 139953905672656)' |
| 25 | Creating shadow state: 'p4_parse_state.parse_tcp' -> 'shadow_state (parse_tcp, 139953905673360)' |
| 26 | Creating shadow state: 'p4_parse_state.parse_udp' -> 'shadow_state (parse_udp, 139953905672272)' |
| 27 | Creating shadow state: 'p4_parse_state.default_parser' -> 'shadow_state (default_parser, 139953905673424)' |
| 28 | Creating shadow state: 'p4_parse_state.parse_pkt_out' -> 'shadow_state (parse_pkt_out, 139953905673488)' |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 29 | ># End unroll of HLIR parse graph |
| 30 | ># Begin deparser init |
| 31 | >## Create records for gress 0 |
| 32 | Skipping metadata header 'p4_header_instance.standard_metadata' |
| 33 | Skipping intrinsic header 'p4_header_instance.ig_intr_md' |
| 34 | Skipping intrinsic header 'p4_header_instance.ig_intr_md_for_tm' |
| 35 | Skipping intrinsic header 'p4_header_instance.ig_intr_md_for_mb' |
| 36 | Skipping intrinsic header 'p4_header_instance.eg_intr_md' |
| 37 | Skipping intrinsic header 'p4_header_instance.eg_intr_md_for_mb' |
| 38 | Skipping intrinsic header 'p4_header_instance.eg_intr_md_for_oport' |
| 39 | Created record for 'p4_header_instance.packet_in_hdr' |
| 40 | Created record for 'p4_header_instance.packet_out_hdr' |
| 41 | Created record for 'p4_header_instance.ethernet' |
| 42 | Created record for 'p4_header_instance.ipv4' |
| 43 | Created record for 'p4_header_instance.tcp' |
| 44 | Created record for 'p4_header_instance.udp' |
| 45 | Skipping metadata header 'p4_header_instance.ecmp_metadata' |
| 46 | >## Build record ordering for gress 0 |
| 47 | >## Build field ordering for record 'packet_out_hdr' |
| 48 | >## Build field ordering for record 'packet_in_hdr' |
| 49 | >## Build field ordering for record 'ethernet' |
| 50 | >## Build field ordering for record 'ipv4' |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 51 | >## Build field ordering for record 'udp' |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 52 | >## Build field ordering for record 'tcp' |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 53 | >## Create records for gress 1 |
| 54 | Skipping metadata header 'p4_header_instance.standard_metadata' |
| 55 | Skipping intrinsic header 'p4_header_instance.ig_intr_md' |
| 56 | Skipping intrinsic header 'p4_header_instance.ig_intr_md_for_tm' |
| 57 | Skipping intrinsic header 'p4_header_instance.ig_intr_md_for_mb' |
| 58 | Skipping intrinsic header 'p4_header_instance.eg_intr_md' |
| 59 | Skipping intrinsic header 'p4_header_instance.eg_intr_md_for_mb' |
| 60 | Skipping intrinsic header 'p4_header_instance.eg_intr_md_for_oport' |
| 61 | Created record for 'p4_header_instance.packet_in_hdr' |
| 62 | Created record for 'p4_header_instance.packet_out_hdr' |
| 63 | Created record for 'p4_header_instance.ethernet' |
| 64 | Created record for 'p4_header_instance.ipv4' |
| 65 | Created record for 'p4_header_instance.tcp' |
| 66 | Created record for 'p4_header_instance.udp' |
| 67 | Skipping metadata header 'p4_header_instance.ecmp_metadata' |
| 68 | >## Build record ordering for gress 1 |
| 69 | >## Build field ordering for record 'packet_out_hdr' |
| 70 | >## Build field ordering for record 'packet_in_hdr' |
| 71 | >## Build field ordering for record 'ethernet' |
| 72 | >## Build field ordering for record 'ipv4' |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 73 | >## Build field ordering for record 'udp' |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 74 | >## Build field ordering for record 'tcp' |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 75 | Deparse bmeta_ig_intr_md header |
| 76 | >## Create deparser bridge_ig_intr_md record |
| 77 | Add container 128 for ig_intr_md.resubmit_flag to bmeta_ig_intr_md |
| 78 | Add container 128 for ig_intr_md._pad1 to bmeta_ig_intr_md |
| 79 | Add container 128 for ig_intr_md._pad2 to bmeta_ig_intr_md |
| 80 | Add container 128 for ig_intr_md._pad3 to bmeta_ig_intr_md |
| 81 | Add container 128 for ig_intr_md.ingress_port to bmeta_ig_intr_md |
| 82 | >## Create deparser bridge record |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 83 | ># End deparser init |
| 84 | Constructing parse graph for entry point start on ingress |
| 85 | Constructing parse graph for entry point start on egress |
| 86 | Adding special Egress state to access ingress intrisic metadata |
| 87 | Egress intrinsic metadata unconditional extraction plan: ExtractionPlan { shift 24, extractions ['eg_intr_md.egress_port', 'eg_intr_md.egress_cos'] } |
| 88 | Egress intrinsic metadata conditional extraction plan: ExtractionPlan { shift 0, extractions [] } |
| 89 | Stretch extraction of ingress_port to state <Ingress intrinsic metadata> offset 7 |
| 90 | Stretch extraction of ig_intr_md.ingress_port to state <_parse_bridged_ingress_intrinsic_metadata> offset 7 |
| 91 | ># Begin scraping deparser POV allocation from raw PHV allocation |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 92 | PHV layout: [0, 0, 0, 0, 67, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None] |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 93 | >## Scraping individual POV records |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 94 | POV 35 -> ipv4 |
| 95 | POV 36 -> tcp |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 96 | POV 37 -> udp |
| 97 | POV 32 -> packet_in_hdr |
| 98 | POV 38 -> pov_bmeta |
| 99 | POV 33 -> packet_out_hdr |
| 100 | POV 34 -> ethernet |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 101 | >## Setting up array bits |
| 102 | ># End scraping deparser POV allocation from raw PHV allocation |
| 103 | ># Begin parser POV rewrite |
| 104 | >## Filling in POV init state |
| 105 | >## Rewriting parser POV extractions |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 106 | POV for metadata_bridge -> PHV 67 |= 0x40 |
| 107 | POV for packet_in_hdr -> PHV 67 |= 0x1 |
| 108 | POV for ethernet -> PHV 67 |= 0x4 |
| 109 | POV for ipv4 -> PHV 67 |= 0x8 |
| 110 | POV for tcp -> PHV 67 |= 0x10 |
| 111 | POV for udp -> PHV 67 |= 0x20 |
| 112 | POV for packet_out_hdr -> PHV 67 |= 0x2 |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 113 | POV for ig_intr_md -> dropped (no deparser record) |
| 114 | POV for _bridged_intr_md_ -> PHV 0 |= 0x10000 |
| 115 | >## Sampling not detected, deparsing at least 1 POV byte |
| 116 | >## Adding POV containers to metadata bridge: [0] |
| 117 | >## Set POV skip state's shift amount to 32 |
| 118 | ># Begin scraping deparser POV allocation from raw PHV allocation |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 119 | PHV layout: [81, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None] |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 120 | >## Scraping individual POV records |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 121 | POV 3 -> ipv4 |
| 122 | POV 4 -> tcp |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 123 | POV 5 -> udp |
| 124 | POV 0 -> packet_in_hdr |
| 125 | POV 1 -> packet_out_hdr |
| 126 | POV 2 -> ethernet |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 127 | >## Setting up array bits |
| 128 | ># End scraping deparser POV allocation from raw PHV allocation |
| 129 | ># Begin parser POV rewrite |
| 130 | >## Filling in POV init state |
| 131 | >## Rewriting parser POV extractions |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 132 | POV for packet_in_hdr -> PHV 81 |= 0x1 |
| 133 | POV for ethernet -> PHV 81 |= 0x4 |
| 134 | POV for ipv4 -> PHV 81 |= 0x8 |
| 135 | POV for tcp -> PHV 81 |= 0x10 |
| 136 | POV for udp -> PHV 81 |= 0x20 |
| 137 | POV for packet_out_hdr -> PHV 81 |= 0x2 |
| 138 | Linear Chain parse_tcp -> parse_tcp//spilled |
| 139 | Try merge parse_tcp <- parse_tcp//spilled |
| 140 | merge output at offset 24 |
| 141 | Ran out of 8b extractors |
| 142 | states will not be partially merged since S2 is end of chain |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 143 | Linear Chain parse_pkt_in -> parse_ethernet |
| 144 | Try merge parse_pkt_in <- parse_ethernet |
| 145 | Multiple paths to state S2 : parse_ethernet <- 3 |
| 146 | Linear Chain <POV initialization> -> start |
| 147 | Try merge <POV initialization> <- <Ingress intrinsic metadata> |
| 148 | merge output at offset 0 |
| 149 | Merge s2 constant extraction v=1 phv=0 |
| 150 | merge_offset = 16, complete_merge = True |
| 151 | Before Merge ------ |
| 152 | S1: State : <POV initialization> |
| 153 | shift: 0B |
| 154 | match_reservations: [] |
| 155 | outputs[addr, width]: () |
| 156 | match_extractions: [] |
| 157 | next state <Ingress intrinsic metadata> val 0 mask [False] |
| 158 | parent state <Shim start state> |
| 159 | |
| 160 | |
| 161 | S2: State : <Ingress intrinsic metadata> |
| 162 | shift: 8B |
| 163 | match_reservations: [] |
| 164 | outputs[addr, width]: ([128, 16], [0, 32]) |
| 165 | branch on = None, offset = 0b, dst = <Ingress intrinsic metadata> |
| 166 | branch promise on = ingress_port, offset = 7b, dst = default_parser |
| 167 | match_extractions: [] |
| 168 | next state <Phase 0> val 0 mask [True] |
| 169 | parent state <POV initialization> |
| 170 | |
| 171 | |
| 172 | Full merge done <POV initialization> <- <Ingress intrinsic metadata> |
| 173 | Try merge <POV initialization>_<Ingress intrinsic metadata> <- <Phase 0> |
| 174 | merge_offset = 0, complete_merge = True |
| 175 | Before Merge ------ |
| 176 | S1: State : <POV initialization>_<Ingress intrinsic metadata> |
| 177 | shift: 8B |
| 178 | match_reservations: [] |
| 179 | outputs[addr, width]: ([128, 16], [0, 32]) |
| 180 | branch on = None, offset = 0b, dst = <POV initialization>_<Ingress intrinsic metadata> |
| 181 | branch promise on = ingress_port, offset = 7b, dst = default_parser |
| 182 | match_extractions: [] |
| 183 | next state <Phase 0> val 0 mask [True] |
| 184 | parent state <Shim start state> |
| 185 | |
| 186 | |
| 187 | S2: State : <Phase 0> |
| 188 | shift: 8B |
| 189 | match_reservations: [] |
| 190 | outputs[addr, width]: () |
| 191 | branch on = None, offset = 0b, dst = <Phase 0> |
| 192 | match_extractions: [] |
| 193 | next state start val 0 mask [False] |
| 194 | parent state <POV initialization>_<Ingress intrinsic metadata> |
| 195 | |
| 196 | |
| 197 | Full merge done <POV initialization>_<Ingress intrinsic metadata> <- <Phase 0> |
| 198 | Try merge <POV initialization>_<Ingress intrinsic metadata>_<Phase 0> <- start |
| 199 | Multiple paths to state S2 : start <- 2 |
| 200 | Remove state <Ingress intrinsic metadata> |
| 201 | Remove state <Phase 0> |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 202 | assign ids to 11 states, dir = 0 |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 203 | ------ |
| 204 | State : <Shim start state> |
| 205 | shift: 0B |
| 206 | match_reservations: [] |
| 207 | outputs[addr, width]: () |
| 208 | match_extractions: [] |
| 209 | next state <POV initialization>_<Ingress intrinsic metadata>_<Phase 0> val 0 mask [False] |
| 210 | |
| 211 | ------ |
| 212 | State : parse_pkt_in |
| 213 | shift: 2B |
| 214 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 215 | outputs[addr, width]: ([67, 8], [129, 16]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 216 | match_extractions: [] |
| 217 | next state parse_ethernet val 0 mask [False] |
| 218 | parent state start |
| 219 | |
| 220 | ------ |
| 221 | State : parse_ethernet |
| 222 | shift: 14B |
| 223 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 224 | outputs[addr, width]: ([67, 8], [65, 8], [3, 32], [132, 16], [66, 8], [4, 32], [133, 16]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 225 | branch on = etherType, offset = 96b, dst = parse_ethernet |
| 226 | match_extractions: [match_window(hw_id=0, width=16)] |
| 227 | match key = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15] |
| 228 | next state parse_ipv4 val 2048 mask [True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True] |
| 229 | parent state parse_pkt_in |
| 230 | parent state parse_pkt_out |
| 231 | parent state default_parser |
| 232 | |
| 233 | ------ |
| 234 | State : parse_ipv4 |
| 235 | shift: 20B |
| 236 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 237 | outputs[addr, width]: ([67, 8], [288, 8], [320, 16], [321, 16], [256, 32], [1, 32], [64, 8], [131, 16], [2, 32]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 238 | branch on = fragOffset, offset = 51b, dst = parse_ipv4 |
| 239 | branch on = protocol, offset = 72b, dst = parse_ipv4 |
| 240 | match_extractions: [match_window(hw_id=0, width=16), match_window(hw_id=2, width=8)] |
| 241 | match key = [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, None, None, None] |
| 242 | match key = [0, 1, 2, 3, 4, 5, 6, 7] |
| 243 | next state parse_tcp val 6 mask [True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True] |
| 244 | next state parse_udp val 17 mask [True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True] |
| 245 | parent state parse_ethernet |
| 246 | |
| 247 | ------ |
| 248 | State : parse_tcp |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 249 | shift: 0B |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 250 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 251 | outputs[addr, width]: ([67, 8], [289, 8], [290, 8], [291, 8], [322, 16], [323, 16], [324, 16], [325, 16], [257, 32], [258, 32]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 252 | match_extractions: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 253 | next state parse_tcp//spilled val 0 mask [False] |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 254 | parent state parse_ipv4 |
| 255 | |
| 256 | ------ |
| 257 | State : parse_udp |
| 258 | shift: 8B |
| 259 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 260 | outputs[addr, width]: ([67, 8], [5, 32], [289, 8], [290, 8], [322, 16]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 261 | match_extractions: [] |
| 262 | parent state parse_ipv4 |
| 263 | |
| 264 | ------ |
| 265 | State : default_parser |
| 266 | shift: 0B |
| 267 | match_reservations: [match_window(hw_id=0, width=16)] |
| 268 | outputs[addr, width]: () |
| 269 | branch on = ingress_port, offset = 7b, dst = default_parser |
| 270 | match_extractions: [match_window(hw_id=0, width=16)] |
| 271 | match key = [0, 1, 2, 3, 4, 5, 6, 7, 8, None, None, None, None, None, None, None] |
| 272 | next state parse_pkt_out val 320 mask [True, True, True, True, True, True, True, True, True] |
| 273 | next state parse_ethernet val 0 mask [False] |
| 274 | parent state start |
| 275 | |
| 276 | ------ |
| 277 | State : parse_pkt_out |
| 278 | shift: 2B |
| 279 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 280 | outputs[addr, width]: ([67, 8], [129, 16]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 281 | match_extractions: [] |
| 282 | next state parse_ethernet val 0 mask [False] |
| 283 | parent state default_parser |
| 284 | |
| 285 | ------ |
| 286 | State : <POV initialization>_<Ingress intrinsic metadata>_<Phase 0> |
| 287 | shift: 16B |
| 288 | match_reservations: [] |
| 289 | outputs[addr, width]: ([128, 16], [0, 32]) |
| 290 | branch on = None, offset = 0b, dst = <POV initialization>_<Ingress intrinsic metadata>_<Phase 0> |
| 291 | branch on = None, offset = 64b, dst = <POV initialization>_<Ingress intrinsic metadata>_<Phase 0> |
| 292 | branch promise on = ingress_port, offset = 7b, dst = default_parser |
| 293 | match_extractions: [match_window(hw_id=0, width=16), match_window(hw_id=2, width=8)] |
| 294 | match key = [None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, 8] |
| 295 | match key = [0, 1, 2, 3, 4, 5, 6, 7] |
| 296 | next state start val 0 mask [False] |
| 297 | parent state <Shim start state> |
| 298 | |
| 299 | ------ |
| 300 | State : start |
| 301 | shift: 0B |
| 302 | match_reservations: [match_window(hw_id=0, width=16)] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 303 | outputs[addr, width]: ([67, 8],) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 304 | branch on = None, offset = 96b, dst = start |
| 305 | match_extractions: [match_window(hw_id=2, width=8)] |
| 306 | match key = [0, 1, 2, 3, 4, 5, 6, 7] |
| 307 | next state parse_pkt_in val 0 mask [True, True, True, True, True, True, True, True] |
| 308 | next state default_parser val 0 mask [False] |
| 309 | parent state <POV initialization>_<Ingress intrinsic metadata>_<Phase 0> |
| 310 | |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 311 | ------ |
| 312 | State : parse_tcp//spilled |
| 313 | shift: 20B |
| 314 | match_reservations: [] |
| 315 | outputs[addr, width]: ([292, 8],) |
| 316 | match_extractions: [] |
| 317 | parent state parse_tcp |
| 318 | |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 319 | Linear Chain parse_pkt_in -> parse_ethernet |
| 320 | Try merge parse_pkt_in <- parse_ethernet |
| 321 | Multiple paths to state S2 : parse_ethernet <- 3 |
| 322 | Linear Chain <POV initialization> -> start |
| 323 | Try merge <POV initialization> <- <Egress intrinsic metadata> |
| 324 | merge output at offset 0 |
| 325 | merge output at offset 16 |
| 326 | merge_offset = 24, complete_merge = True |
| 327 | Before Merge ------ |
| 328 | S1: State : <POV initialization> |
| 329 | shift: 0B |
| 330 | match_reservations: [] |
| 331 | outputs[addr, width]: () |
| 332 | match_extractions: [] |
| 333 | next state <Egress intrinsic metadata> val 0 mask [False] |
| 334 | parent state <Shim start state> |
| 335 | |
| 336 | |
| 337 | S2: State : <Egress intrinsic metadata> |
| 338 | shift: 3B |
| 339 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 340 | outputs[addr, width]: ([144, 16], [80, 8]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 341 | branch on = None, offset = 24b, dst = <Egress intrinsic metadata> |
| 342 | match_extractions: [] |
| 343 | next state <POV skip> val 0 mask [False] |
| 344 | parent state <POV initialization> |
| 345 | |
| 346 | |
| 347 | Full merge done <POV initialization> <- <Egress intrinsic metadata> |
| 348 | Try merge <POV initialization>_<Egress intrinsic metadata> <- <POV skip> |
| 349 | merge_offset = 0, complete_merge = True |
| 350 | Before Merge ------ |
| 351 | S1: State : <POV initialization>_<Egress intrinsic metadata> |
| 352 | shift: 3B |
| 353 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 354 | outputs[addr, width]: ([144, 16], [80, 8]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 355 | branch on = None, offset = 24b, dst = <POV initialization>_<Egress intrinsic metadata> |
| 356 | match_extractions: [] |
| 357 | next state <POV skip> val 0 mask [False] |
| 358 | parent state <Shim start state> |
| 359 | |
| 360 | |
| 361 | S2: State : <POV skip> |
| 362 | shift: 4B |
| 363 | match_reservations: [] |
| 364 | outputs[addr, width]: () |
| 365 | match_extractions: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 366 | next state <_parse_bridged_ingress_intrinsic_metadata> val 0 mask [False] |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 367 | parent state <POV initialization>_<Egress intrinsic metadata> |
| 368 | |
| 369 | |
| 370 | Full merge done <POV initialization>_<Egress intrinsic metadata> <- <POV skip> |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 371 | Try merge <POV initialization>_<Egress intrinsic metadata>_<POV skip> <- <_parse_bridged_ingress_intrinsic_metadata> |
| 372 | merge_offset = 0, complete_merge = True |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 373 | Before Merge ------ |
| 374 | S1: State : <POV initialization>_<Egress intrinsic metadata>_<POV skip> |
| 375 | shift: 7B |
| 376 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 377 | outputs[addr, width]: ([144, 16], [80, 8]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 378 | branch on = None, offset = 24b, dst = <POV initialization>_<Egress intrinsic metadata>_<POV skip> |
| 379 | match_extractions: [] |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 380 | next state <_parse_bridged_ingress_intrinsic_metadata> val 0 mask [False] |
| 381 | parent state <Shim start state> |
| 382 | |
| 383 | |
| 384 | S2: State : <_parse_bridged_ingress_intrinsic_metadata> |
| 385 | shift: 2B |
| 386 | match_reservations: [] |
| 387 | outputs[addr, width]: () |
| 388 | branch promise on = ingress_port, offset = 7b, dst = default_parser |
| 389 | match_extractions: [] |
| 390 | next state start val 0 mask [False] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 391 | parent state <POV initialization>_<Egress intrinsic metadata>_<POV skip> |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 392 | |
| 393 | |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 394 | Full merge done <POV initialization>_<Egress intrinsic metadata>_<POV skip> <- <_parse_bridged_ingress_intrinsic_metadata> |
| 395 | Try merge <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata> <- start |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 396 | merge_offset = 0, complete_merge = True |
| 397 | Before Merge ------ |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 398 | S1: State : <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata> |
| 399 | shift: 9B |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 400 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 401 | outputs[addr, width]: ([144, 16], [80, 8]) |
| 402 | branch on = None, offset = 24b, dst = <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata> |
| 403 | branch promise on = ingress_port, offset = 63b, dst = default_parser |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 404 | match_extractions: [] |
| 405 | next state start val 0 mask [False] |
| 406 | parent state <Shim start state> |
| 407 | |
| 408 | |
| 409 | S2: State : start |
| 410 | shift: 0B |
| 411 | match_reservations: [] |
| 412 | outputs[addr, width]: () |
| 413 | branch on = None, offset = 96b, dst = start |
| 414 | match_extractions: [] |
| 415 | next state parse_pkt_in val 0 mask [True, True, True, True, True, True, True, True] |
| 416 | next state default_parser val 0 mask [False] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 417 | parent state <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata> |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 418 | |
| 419 | |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 420 | Full merge done <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata> <- start |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 421 | Remove state <Egress intrinsic metadata> |
| 422 | Remove state <POV skip> |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 423 | Remove state <_parse_bridged_ingress_intrinsic_metadata> |
| 424 | Remove state start |
| 425 | assign ids to 9 states, dir = 1 |
| 426 | ------ |
| 427 | State : <Shim start state> |
| 428 | shift: 0B |
| 429 | match_reservations: [] |
| 430 | outputs[addr, width]: () |
| 431 | match_extractions: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 432 | next state <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata>_start val 0 mask [False] |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 433 | |
| 434 | ------ |
| 435 | State : parse_ethernet |
| 436 | shift: 14B |
| 437 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 438 | outputs[addr, width]: ([81, 8], [300, 8], [270, 32], [338, 16], [301, 8], [271, 32], [339, 16]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 439 | branch on = etherType, offset = 96b, dst = parse_ethernet |
| 440 | match_extractions: [match_window(hw_id=0, width=16)] |
| 441 | match key = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15] |
| 442 | next state parse_ipv4 val 2048 mask [True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True] |
| 443 | parent state parse_pkt_in |
| 444 | parent state parse_pkt_out |
| 445 | parent state default_parser |
| 446 | |
| 447 | ------ |
| 448 | State : parse_ipv4 |
| 449 | shift: 20B |
| 450 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 451 | outputs[addr, width]: ([81, 8], [296, 8], [297, 8], [332, 16], [333, 16], [334, 16], [264, 32], [265, 32], [266, 32]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 452 | branch on = fragOffset, offset = 51b, dst = parse_ipv4 |
| 453 | branch on = protocol, offset = 72b, dst = parse_ipv4 |
| 454 | match_extractions: [match_window(hw_id=0, width=16), match_window(hw_id=2, width=8)] |
| 455 | match key = [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, None, None, None] |
| 456 | match key = [0, 1, 2, 3, 4, 5, 6, 7] |
| 457 | next state parse_tcp val 6 mask [True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True] |
| 458 | next state parse_udp val 17 mask [True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True] |
| 459 | parent state parse_ethernet |
| 460 | |
| 461 | ------ |
| 462 | State : parse_tcp |
| 463 | shift: 20B |
| 464 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 465 | outputs[addr, width]: ([81, 8], [298, 8], [299, 8], [335, 16], [336, 16], [337, 16], [267, 32], [268, 32], [269, 32]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 466 | match_extractions: [] |
| 467 | parent state parse_ipv4 |
| 468 | |
| 469 | ------ |
| 470 | State : parse_udp |
| 471 | shift: 8B |
| 472 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 473 | outputs[addr, width]: ([81, 8], [298, 8], [299, 8], [336, 16], [267, 32]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 474 | match_extractions: [] |
| 475 | parent state parse_ipv4 |
| 476 | |
| 477 | ------ |
| 478 | State : default_parser |
| 479 | shift: 0B |
| 480 | match_reservations: [match_window(hw_id=0, width=16)] |
| 481 | outputs[addr, width]: () |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 482 | branch on = ingress_port, offset = 63b, dst = default_parser |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 483 | match_extractions: [match_window(hw_id=0, width=16)] |
| 484 | match key = [0, 1, 2, 3, 4, 5, 6, 7, 8, None, None, None, None, None, None, None] |
| 485 | next state parse_pkt_out val 320 mask [True, True, True, True, True, True, True, True, True] |
| 486 | next state parse_ethernet val 0 mask [False] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 487 | parent state <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata>_start |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 488 | |
| 489 | ------ |
| 490 | State : parse_pkt_out |
| 491 | shift: 2B |
| 492 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 493 | outputs[addr, width]: ([81, 8], [340, 16]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 494 | match_extractions: [] |
| 495 | next state parse_ethernet val 0 mask [False] |
| 496 | parent state default_parser |
| 497 | |
| 498 | ------ |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 499 | State : <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata>_start |
| 500 | shift: 9B |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 501 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 502 | outputs[addr, width]: ([144, 16], [80, 8]) |
| 503 | branch on = None, offset = 24b, dst = <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata>_start |
| 504 | branch on = None, offset = 168b, dst = <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata>_start |
| 505 | branch promise on = ingress_port, offset = 63b, dst = default_parser |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 506 | match_extractions: [match_window(hw_id=0, width=16), match_window(hw_id=2, width=8), match_window(hw_id=3, width=8)] |
| 507 | match key = [None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None] |
| 508 | match key = [8, 9, 10, 11, 12, 13, 14, 15] |
| 509 | match key = [0, 1, 2, 3, 4, 5, 6, 7] |
| 510 | next state parse_pkt_in val 0 mask [True, True, True, True, True, True, True, True] |
| 511 | next state default_parser val 0 mask [False] |
| 512 | parent state <Shim start state> |
| 513 | |
| 514 | ------ |
| 515 | State : parse_pkt_in |
| 516 | shift: 2B |
| 517 | match_reservations: [] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 518 | outputs[addr, width]: ([81, 8], [340, 16]) |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 519 | match_extractions: [] |
| 520 | next state parse_ethernet val 0 mask [False] |
Brian O'Connor | a6862e0 | 2017-09-08 01:17:39 -0700 | [diff] [blame] | 521 | parent state <POV initialization>_<Egress intrinsic metadata>_<POV skip>_<_parse_bridged_ingress_intrinsic_metadata>_start |
Carmelo Cascone | f1d0a42 | 2017-09-07 17:21:46 +0200 | [diff] [blame] | 522 | |