Decision #612 — parser.rs:1249

Status: no_witness

Truth table

rowc0 br 4553c1 br 4555c2 br 4556c3 br 4557outcome
1173FFTFT
1174FFTFT
4213FFTFT
4214FFTFT
7162FFTFT
7163FFTFT
9809FFTFT
9810FFTFT
10957FFTFT
10958FFTFT
12048FFTFT
12049FFTFT
18191FFTFT
18192FFTFT
25909FFTFT
25910FFTFT
31635FFTFT
31636FFTFT
37573FFTFT
37574FFTFT
41167FFTFT
41168FFTFT
44180FFTFT
44181FFTFT
47632FFTFT
47633FFTFT
50707FFTFT
50708FFTFT
59650FFTFT
59651FFTFT
69422FFTFT
69423FFTFT
73621FFTFT
73622FFTFT
77096FFTFT
77097FFTFT
79589FFTFT
79590FFTFT
81020FFTFT
81021FFTFT
82207FFTFT
82208FFTFT
83269FFTFT
83270FFTFT
84538FFTFT
84539FFTFT
86388FFTFT
86389FFTFT
87869FFTFT
87870FFTFT
89726FFTFT
89727FFTFT
91272FFTFT
91273FFTFT
107318FFTFT
107319FFTFT
126181FFTFT
126182FFTFT
130212FFTFT
130213FFTFT
131387FFTFT
131388FFTFT
132714FFTFT
132715FFTFT

Independent-effect pairs

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