Decision #622 — parser.rs:693

Status: no_witness

Truth table

rowc0 br 4587c1 br 4588c2 br 4589outcome
1177TFFT
1178TFFT
4217TFFT
4218TFFT
7166TFFT
7167TFFT

Independent-effect pairs

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