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