Decision #617 — parser.rs:1272

Status: no_witness

Truth table

rowc0 br 4570c1 br 4571c2 br 4572c3 br 4573outcome
84540FFFTT
84541FFFTT
86390FFFTT
86391FFFTT
87871FFFTT
87872FFFTT
89728FFFTT
89729FFFTT
91274FFFTT
91275FFFTT

Independent-effect pairs

All 4 conditions live in wasmparser::binary_reader::BinaryReader::skip — 4 br_if