Decision #509 — `binary_reader.rs:1012`

Status: no_witness

Truth table

row	c0 br 3677	c1 br 3678	c2 br 3681	c3 br 3682	c4 br 3684	c5 br 3685	c6 br 3686	c7 br 3688	outcome
1121	*	*	*	*	T	*	*	*	T
1122	*	*	*	*	T	*	*	*	T
4161	*	*	*	*	T	*	*	*	T
4162	*	*	*	*	T	*	*	*	T
7110	*	*	*	*	T	*	*	*	T
7111	*	*	*	*	T	*	*	*	T
18162	*	*	F	*	*	*	*	*	T
25880	*	*	F	*	*	*	*	*	T
31608	*	*	F	*	*	*	*	*	T
37546	*	*	F	*	*	*	*	*	T
41139	*	*	*	F	*	*	*	*	T
41140	*	*	*	F	*	*	*	*	T
44152	*	*	*	F	*	*	*	*	T
44153	*	*	*	F	*	*	*	*	T
47604	*	*	*	F	*	*	*	*	T
47605	*	*	*	F	*	*	*	*	T
50679	*	*	*	F	*	*	*	*	T
50680	*	*	*	F	*	*	*	*	T
59621	*	*	F	*	*	*	*	*	T
69393	*	*	F	*	*	*	*	*	T
79576	*	*	*	F	*	*	*	*	T
86323	*	*	*	F	*	*	*	*	T
86324	*	*	*	F	*	*	*	*	T
89640	*	*	*	F	*	*	*	*	T
91221	*	*	F	F	*	*	*	*	T
107287	*	*	F	*	*	*	*	*	T
126150	*	*	F	*	*	*	*	*	T

All 8 conditions live in wasmparser::binary_reader::BinaryReader::visit_operator — 8 br_if